13 = 0. Is l a multiple of 72?
True
Let r(k) = 5*k**2 + 5*k + 5. Let p be r(-1). Is 25 a factor of 398/((-55)/(-10) - p) + 4?
True
Let z be (-1)/(4/(-6)*9/12). Suppose -f - 326 = -4*s + z*s, 4*f = 5*s - 818. Suppose 6*c - 12*c = -s. Is c a multiple of 7?
False
Is 201603/85 - 8/(-40) a multiple of 8?
False
Let r = -997 + 3838. Does 23 divide r?
False
Suppose -41*g + 21*g - 24*g = -453376. Does 8 divide g?
True
Let c = 269 - 266. Let v be 1/6 + 509/6. Suppose -c*z = -v - 14. Is z a multiple of 2?
False
Suppose -163*l = -162*l - 2. Is 17 a factor of l/(-15) + (-41205)/(-225)?
False
Suppose 150 = -2*v + 40. Let c = -25 - v. Let t = 40 - c. Is 10 a factor of t?
True
Let z(w) = -522*w - 29. Suppose 0 = 95*k - 93*k + 2. Is z(k) a multiple of 17?
True
Let m = 38541 - 23376. Is 27 a factor of m?
False
Suppose 1080 = 25*x - 10*x. Is 15 a factor of (123/9 - 7)*x?
True
Let d be -5 - ((-40725)/36 + 3/12). Suppose 2*k - 5547 = -5*p, 3*p - d - 2227 = 5*k. Is p a multiple of 35?
False
Suppose 489*j - 412*j - 1715560 = 0. Is 20 a factor of j?
True
Let v = -132 - -237. Let b = 11 - 8. Suppose -4*c - s = -454, -s - v = -c + b*s. Is 18 a factor of c?
False
Suppose -7*z = -11*z + 5660. Let b = z + -665. Does 26 divide b?
False
Let g be (396/(-231))/((-2)/7). Let o(w) = 24*w - 102. Is o(g) a multiple of 42?
True
Suppose 3*o + 43 = 2*o + 2*p, p + 204 = -5*o. Let d(x) = x**2 + 41*x + 108. Does 4 divide d(o)?
True
Suppose 0 = -2*h - 4*x + 40, -27 - 40 = -5*h + x. Suppose -1381 = -h*l + 1979. Does 8 divide l?
True
Let t(m) = 3*m**2 - 10. Suppose 0*a = q + 2*a, -5*a - 10 = 0. Let v be t(q). Suppose -x + 146 = v. Is x a multiple of 54?
True
Suppose -2*c - 390 = 2*f, 2*f = 3*c - c - 398. Suppose -4*s + 2*i = 1410, -i - 1250 + 190 = 3*s. Let u = f - s. Does 39 divide u?
True
Suppose -87 = -4*k + 9. Suppose 7*t + k = 108. Is (t/7)/((-14)/(-147)) a multiple of 4?
False
Let f = 356 + -359. Is 21/(-3) + (-219)/f a multiple of 2?
True
Let c = -10285 + 18725. Does 40 divide c?
True
Is (-13 - 4302/10)/(12/(-210)) a multiple of 28?
True
Suppose -2*c + 3232 = 139*b - 143*b, -2*b = -13*c + 20888. Does 10 divide c?
False
Let x be (66/18)/((-4)/(-24)). Suppose -69*i - x = -70*i. Is i a multiple of 8?
False
Let w = -7 + 10. Let s = 749 + -626. Suppose -w*b + 96 + s = 0. Is 20 a factor of b?
False
Let o = 4644 + -4064. Is o a multiple of 116?
True
Suppose -13*j + 20422 + 11402 = 0. Is j a multiple of 48?
True
Let k(d) = 14*d + 6174. Does 205 divide k(-90)?
False
Let a = 2249 - -22857. Is 204 a factor of a?
False
Let k be 3/(((-8 + 5)/(-3))/(-463)). Let t = -911 - k. Is 47 a factor of t?
False
Let c = -75 + -318. Let f = -215 - c. Does 4 divide f?
False
Let j = 3030 - -1968. Is 7 a factor of j?
True
Suppose -6*q = 8*q - 2156. Suppose q*a = 155*a - 39. Does 13 divide a?
True
Let s(p) = 2*p + 13. Let t be s(-4). Suppose t*f + h + 267 - 23 = 0, 0 = -f - 5*h - 44. Let l = -12 - f. Is 14 a factor of l?
False
Suppose 574*g = 579*g - 1195. Is 28 a factor of g?
False
Let m = -2271 - -4834. Does 11 divide m?
True
Suppose -91*s + 60198 = -32*s - 284716. Does 3 divide s?
False
Is 21 a factor of 4900 - ((-2)/(-13) - (-336)/182)?
False
Let o be (56/5)/((-46)/(-115)). Let d = -26 + o. Suppose -4*t + 532 = d*r, -222 - 29 = -r + t. Is r a multiple of 34?
False
Suppose -831*k = -827*k + d - 49712, -4*d = -5*k + 62140. Is 13 a factor of k?
True
Let a = 17977 + -15436. Does 69 divide a?
False
Let o(y) = 24*y - 1. Let h(l) = -l**3 + 9*l**2 - 6*l - 9. Let g be h(8). Suppose -d - g*j + 5 = -3*j, j = d. Does 10 divide o(d)?
False
Suppose -27*i + 462988 + 126146 = 15*i. Is i a multiple of 13?
True
Let r be -4*(173 + -5 + (-44)/(-8)). Let g = -544 - r. Is 50 a factor of g?
True
Let w = 971 + 508. Suppose 57*b - w = 54*b. Is b a multiple of 49?
False
Let k(h) be the third derivative of -21*h**4/2 + 33*h**3/2 - 19*h**2. Let j(w) = -63*w + 25. Let n(p) = 15*j(p) - 4*k(p). Does 21 divide n(3)?
True
Suppose -2*h - 13 = -3*f + 290, -h = 2*f + 155. Let z = h + 187. Is z a multiple of 18?
False
Suppose -q - 4640 - 7352 = -9*q. Is 275 a factor of q?
False
Does 7 divide 2 + 20/(-8) - 52355/(-74)?
True
Let y = 874 + -426. Suppose -1312 = -32*s + y. Is s a multiple of 5?
True
Suppose 0 = -81*x + 502524 + 168966. Does 20 divide x?
False
Let x be 11286/55 + (-1)/5. Suppose 16*g - x = 11*g. Is g a multiple of 7?
False
Suppose -b = -4*d + 3620, -41*d - 3*b - 3628 = -45*d. Is 84 a factor of d?
False
Let m = 66 + -17. Let i(u) = u**2 + 46*u + 518. Let n be i(-20). Let r = n + m. Is 4 a factor of r?
False
Let s(f) = -f - 3. Let o be s(-5). Suppose -o*g - k - 7 = 0, -5*g + 5*k + 0 + 5 = 0. Is (-8)/(-4)*9 + g a multiple of 4?
True
Let g = -141 + 141. Suppose -8*q + 608 + 1488 = g. Does 9 divide q?
False
Suppose q = -2*f + 3661, f + 2*q + 3915 = 5747. Is f a multiple of 30?
True
Let f = 38712 - 22540. Is 32 a factor of f?
False
Does 264 divide (-1)/4 + 14070638/568?
False
Suppose -z + 15 = 10. Suppose 0 = z*y - 20, 5*f + 0*y = -3*y + 22. Does 23 divide (3 + (-15)/6 + 11)*f?
True
Let x(j) = 3*j - 2*j + 26*j. Let m be x(4). Suppose -3*p + m = -0*p. Does 11 divide p?
False
Let q(x) = x**3 + 11*x**2 + 2*x + 25. Let w = 10 + -21. Let u be q(w). Suppose 13*b - u*b - 1620 = 0. Is b a multiple of 18?
True
Suppose -4*q - c + 144483 = 0, -3*q - 45*c + 43*c = -108361. Is q a multiple of 31?
False
Let t(h) = 76*h**3 + 12*h**2 - 122*h + 20. Does 70 divide t(6)?
False
Suppose 0*i + 2*i + 76 = 0. Let x = -33 - i. Suppose x*s + 5*h - 175 = 0, -4*s + 3*h + 170 = h. Is s a multiple of 8?
True
Let c(m) = m**3 - m**2 + 2. Let k be c(0). Suppose -3*y = -0*y + k*f, -5*y + 4*f = -22. Suppose 53 = y*l - 87. Does 7 divide l?
True
Let b be (-1)/8 - (-10761)/136. Suppose 82*g - b*g - 4*d - 354 = 0, -5*d = 0. Is g a multiple of 59?
True
Let c(h) = 0*h**2 - 2*h**2 + 13*h - 3*h**2 + 4*h**2 + 11. Let j be c(10). Let d = j - 30. Is 2 a factor of d?
False
Let x(q) = 5*q**3 + 5*q + 2 + 4 + 9*q**2 + 3 + 4*q. Let y be x(-4). Let m = y - -503. Does 25 divide m?
True
Suppose 162 = -17*b + 77. Is 24 a factor of (-1915)/b - -1 - -5?
False
Suppose j = 3*z - 4, -2*j = z + j - 18. Suppose 2231 = z*w - p + 3*p, -3689 = -5*w + 4*p. Does 10 divide w?
False
Suppose 28 = -2*u + 20, 0 = -3*z + u + 127. Let b = z + -14. Is b a multiple of 2?
False
Suppose -18016 = -4*m - 2*v, 0 = 5*m + 3*v + 13744 - 36268. Is m a multiple of 15?
True
Let b(k) = 16*k - 13. Let v be b(1). Suppose v*o = -3*h + 285, 5*h - 152 = 3*o + 283. Does 10 divide h?
True
Let v = 4363 - 3788. Does 2 divide v?
False
Suppose 4800 = 59*i - 1985. Is 50 a factor of i?
False
Let x = 353 + -967. Let l be (-2)/54*-6 - x/(-9). Let t = l + 171. Is 14 a factor of t?
False
Let q = 42 + -54. Let f = q + 9. Does 10 divide (44/12)/(f/(-63))?
False
Is 2 a factor of 1260 - 88/16*-2?
False
Let t = 58582 + -32992. Does 151 divide t?
False
Is 1170/((70/(-21) - -2) + 2) a multiple of 16?
False
Suppose 10836*l = 10859*l - 200031. Does 130 divide l?
False
Suppose 2*n = 3*q + 16 + 13, n + q - 12 = 0. Let d(j) = n + 3*j - 9*j + 12 + 5. Is d(-9) a multiple of 12?
True
Suppose 2*g - u - 177 = 0, 5*g = 2*g + u + 266. Let t = -44 + g. Let q = -13 + t. Is 11 a factor of q?
False
Let l = -49 - -52. Is 49 + 0 + l*(-2 - -3) a multiple of 5?
False
Let s(v) = v**3 + 78*v**2 - 67*v - 384. Is 324 a factor of s(-29)?
True
Is 10 - (8 + -2562 + -1) a multiple of 57?
True
Let d(y) = 4*y + 73. Let t be d(-17). Suppose -h + 470 = -t*p, 0*p - 1370 = -3*h - 5*p. Is h a multiple of 10?
True
Suppose -2*a = 0, -4*a - 1 = -i - 4. Does 19 divide 0 + (i + (3 - 6))*-19?
True
Let a = 2988 - 2826. Is a a multiple of 6?
True
Suppose 250 + 492 = 4*o - 794. Does 96 divide o?
True
Suppose 3*j + 15031 = c, 0*c - c - j = -15031. Is 78 a factor of c?
False
Let f = -17480 - -17835. Is 3 a factor of f?
False
Let n = -7064 + 10424. Is n a multiple of 160?
True
Let a(p) = 61*p - 301. Suppose -2*x + 2 = -16. Is a(x) a multiple of 11?
False
Suppose 7*i = 4*i - 39. Let p = -14 + i. Let x(n) = -n**3 - 27*n**2 - 7*n + 1. Is 22 a factor of x(p)?
False
Suppose -7896*n + 7905*n = 439649 + 260686. Is 25 a factor of n?
False
Let n(c) = -654*c + 7276. Is 37 a factor of n(-91)?
False
Is 112 a factor of 14614 - (-30 - (7 - 30))?
False
Let w be (-5)/(5/(-294)) - 0. Suppose r + 4 = 3*i, 