*r = 230. Suppose -3*j + s = -0*j. Is 5 a factor of j?
True
Suppose -14*m + 893 + 1151 = 0. Does 8 divide m?
False
Let z be (24/(-2))/((-9)/27). Suppose 10*j - 12*j + z = 0. Does 10 divide j?
False
Let o(c) = -2*c**3 + 48*c**2 - 41*c + 33. Is o(23) a multiple of 6?
False
Suppose 4*j = -220 + 428. Is j even?
True
Let l = 51 - 49. Is (1 - (2 - l)) + 16 + -2 a multiple of 11?
False
Let j = 59 + -37. Suppose z - j = -z. Suppose 0 = h - 8 - z. Is 16 a factor of h?
False
Let g(h) = -7*h**2 - 3*h - 4. Let w(s) = -28*s**2 - 13*s - 17. Let o(z) = -9*g(z) + 2*w(z). Suppose -21 = 2*n + 5*x, 5*x + 83 = 58. Is o(n) a multiple of 16?
True
Let y = -2100 + 1935. Let d(o) = 4*o**3 + 3*o**2 - 3*o - 4. Let f be d(-3). Let u = f - y. Is 25 a factor of u?
False
Let v(g) = -3*g**2 + 13*g + 4. Let d(u) = -7*u**2 + 27*u + 9. Let q(m) = -2*d(m) + 5*v(m). Let z be q(10). Suppose -z = 2*x - 3*x. Is 12 a factor of x?
True
Suppose 6460 = 258*i - 239*i. Is i a multiple of 17?
True
Let f = -25 - -32. Let q(h) = h**2 - 8*h + 15. Is q(f) a multiple of 5?
False
Let l = 1044 - 569. Is l a multiple of 19?
True
Let g(c) = 3*c**3 - 4*c**2 + 2*c - 18. Is 13 a factor of g(4)?
False
Suppose -v + 3*v - 4*x = -32, 5*v = 4*x - 50. Let j be 8/12 + (-8)/v. Suppose t - 2*t = -3*k + 8, t + j*k = 12. Is 2 a factor of t?
True
Let o(y) = y**2 + 5*y - 4. Suppose -5*l + j = 34, -3*j = 5*l - 0*j + 18. Let p be o(l). Suppose -p*r - 2*c = 15 - 151, r - 58 = c. Does 18 divide r?
False
Let r(n) = -n**3 - 45*n**2 - 134*n - 8. Is 11 a factor of r(-42)?
False
Let h = -197 + 669. Is 7 a factor of h?
False
Suppose y - 2402 = -4*c, 2*c - 4*c + 1196 = -2*y. Is 30 a factor of c?
True
Suppose -1110 = 13*d - 18*d. Let x = 200 - 76. Let j = d - x. Is j a multiple of 28?
False
Does 100 divide 1495 - 4*(-25)/20?
True
Let m(d) = d**3 - 9*d**2 - 2*d + 26. Is m(12) a multiple of 9?
False
Is 3810/135 + (-1)/((-18)/(-4)) a multiple of 18?
False
Let g = 37 + -48. Let u be (-14)/(-1)*(-5 + 9). Let h = g + u. Does 9 divide h?
True
Suppose 4*l - 2*d - 60 = 0, d + 62 = 4*l - 0*l. Suppose -l*x + 576 = -7*x. Does 16 divide x?
True
Is 15 a factor of (-94)/(-705) + ((-77384)/30)/(-4)?
True
Let r be 1/((-3)/36)*1. Let p = -10 - r. Suppose 0 = -p*v - 5 + 21. Is 3 a factor of v?
False
Let a(d) = d**3 - d**2 + d + 18. Let w = 29 - 25. Suppose -5*l - i - w = -3*i, -4 = -3*l - 2*i. Does 12 divide a(l)?
False
Suppose 516 = 5*p - 3*f, -4*p + 2*f + 418 = -3*f. Suppose p = j - 34. Is j a multiple of 19?
False
Let d(t) = -2*t + 2. Let v be d(1). Suppose v = -18*r + 23*r - 475. Suppose 2*q = -m + r, -3*q = -0*q + m - 145. Does 24 divide q?
False
Let h(o) = 2*o**2 - 10*o + 4. Let k(p) = p**2 + p. Let r(b) = h(b) + 3*k(b). Is r(4) a multiple of 24?
False
Let s(b) = -2*b**3 - 2*b**2 + 3*b + 1. Suppose -2*j + 4*j - 21 = 5*w, -5*w = 4*j + 3. Let n be s(j). Let y = n + 97. Is y a multiple of 9?
False
Let k(p) be the second derivative of -p**4/12 - p**3/2 + 4*p**2 - 8*p. Is k(-4) a multiple of 4?
True
Let n = -189 - -85. Let m = n - -248. Is 24 a factor of m?
True
Suppose 2*s = 3*i + 67 - 457, 4*s - 390 = -3*i. Is i a multiple of 13?
True
Suppose 34 = 4*k - 86. Does 26 divide ((-610)/k)/(1/(-12)*2)?
False
Suppose -3*g - 2*g = 0. Let h(f) = -10*f + 1 - 7 + g*f. Does 17 divide h(-7)?
False
Let y(v) = -v**3 + v**2 - 1. Let s(n) = -2*n**3 - 12*n**2 - 19*n - 13. Let f(a) = -s(a) + y(a). Let p be f(-12). Let w = -19 - p. Does 10 divide w?
False
Let l(m) = -m**3 - m**2 + 2*m - 4. Let z = -14 + 10. Let y be l(z). Does 9 divide (-54)/(-4)*y/27?
True
Let z = -13 - -9. Let j = z + 4. Suppose -7*a + 5*a + 74 = j. Is 14 a factor of a?
False
Let t(k) be the first derivative of -k**4/4 - 10*k**3/3 + 21*k**2/2 + 15*k + 18. Is 6 a factor of t(-12)?
False
Let t be (-3)/6 - 1/(-2). Suppose t*r = 3*x - r, 2*r = -2*x. Suppose s + 2*n - 14 = 5, x = -3*s - 4*n + 59. Does 5 divide s?
False
Let v be 1*7/(14/(-6)). Is (-37)/((-5)/v - 2) a multiple of 37?
True
Suppose 71*p - 5106 = 25*p. Is p a multiple of 25?
False
Let k(m) = 3*m - 12. Let c be k(6). Let d(j) = 19*j + 15. Let n(a) = -10*a - 8. Let h(t) = c*d(t) + 11*n(t). Is 18 a factor of h(4)?
True
Does 20 divide -10*((-141)/3 + -2 + 3)?
True
Let x(c) = -c**2 - 18*c + 7. Suppose 0*k = -2*s + 3*k + 6, 4*k - 3 = -s. Suppose -3*z - s = 39. Does 21 divide x(z)?
True
Let v be 16/(-12)*(-153)/2. Suppose -4*j = -5*u - 64 - 77, -3*j + v = -3*u. Is 8 a factor of j?
False
Suppose 0*z + 20 = 2*v - 4*z, z = 5*v - 5. Suppose v = -n + 17 - 4. Let c = n + -8. Is c even?
False
Is 2/(-16) - 9870/(-240) a multiple of 8?
False
Let t = 20 + -11. Does 2 divide (8 + -1)*16/84*t?
True
Let z = 99 - 41. Is z a multiple of 16?
False
Let b(j) = j**2 + 62*j + 277. Does 17 divide b(-63)?
True
Let c(r) = 128*r. Let y be c(9). Suppose -8*s + y = s. Does 16 divide s?
True
Suppose -14 = -2*o - 8. Does 2 divide o?
False
Let h(f) = -38*f - 6. Suppose 2*m + 4*z = -4, -6*m - 17 = -2*m - z. Is 35 a factor of h(m)?
False
Suppose 8*b - 1445 = 1435. Let j = b - 232. Is j a multiple of 23?
False
Let l = 12 + -7. Let f be (2/l)/(5/25). Suppose 2*m = 4*j - 284, j - 71 = -0*j + f*m. Is j a multiple of 19?
False
Let n = -161 - -333. Is n a multiple of 43?
True
Suppose 4 = 3*p - 3*h - 2, -2 = -p + 3*h. Suppose 18 = 4*b + p. Is b*((-108)/8)/(-3) a multiple of 6?
True
Let i = 6 + -2. Suppose -o - 2 = -i. Is o/(-4) - 33/(-6) a multiple of 3?
False
Suppose -4*m - 4*v + 175 = -625, 3*m + 4*v = 604. Does 28 divide m?
True
Suppose 0 = 3*p + 3*h + 474, 2*p + p + 498 = 3*h. Let u = p - -298. Is u a multiple of 27?
False
Suppose 5*u + 230 = 3*r, -r = -3*r + 5*u + 160. Does 70 divide r?
True
Suppose -2*x = -315 - 53. Suppose 10*o = 11*o - x. Is 8 a factor of o?
True
Let m(g) = 3*g + 9. Suppose o - 4 = q, -17 = 3*q - o + 1. Let y be m(q). Let b = y - -22. Does 4 divide b?
False
Let j(d) be the third derivative of -d**4/3 - 3*d**3 + 20*d**2 + 2. Is j(-9) a multiple of 9?
True
Suppose 3*u + 173 = 4*c - 281, 5*c - 585 = -5*u. Is 11 a factor of c?
False
Suppose 0*t - 2*t = -4*d - 16, -5*t + 28 = -4*d. Suppose -5*c + 563 - 11 = u, 438 = t*c - u. Is c a multiple of 22?
True
Let x be 32/(8 + -11 + (-35)/(-11)). Let y = -74 + x. Does 41 divide y?
False
Suppose 0 = -2*h - 2, 2*h - 12 = -4*r + 22. Suppose -u = -4*u + 18. Is (u/4)/(r/312) a multiple of 13?
True
Suppose 2*b + 143*y - 139*y = 318, y - 759 = -5*b. Is 2 a factor of b?
False
Let i be (0 + -3)*2/(-1). Let k = 6 + i. Suppose m - k = -0*m. Does 4 divide m?
True
Let b(t) = 5*t - 13. Is 14 a factor of b(25)?
True
Suppose 420 = 177*w - 171*w. Is 10 a factor of w?
True
Suppose 0 = 4*m + 4*c - 380 - 204, -2*c = -2*m + 308. Is 15 a factor of m?
True
Is 792/(-14)*28/(-6) a multiple of 35?
False
Let b(n) = -66*n + 29. Let v be b(3). Let d = v + 251. Does 6 divide d?
False
Let l = -49 + 21. Let x = 76 + l. Does 24 divide x?
True
Let w = -85 + 1225. Suppose -8*i = 4*i - w. Is 27 a factor of i?
False
Let r = -125 - -193. Is 36 a factor of r?
False
Suppose -11*d + 9 + 13 = 0. Let q be (-68)/(-11) + (-4)/22. Does 5 divide q + (3 - 0/d)?
False
Let j be 5*2 + (-16)/8. Suppose 5*i = 2*h + 3 - 1, 2*i - 20 = -4*h. Suppose -j*d = -h*d - 28. Is d a multiple of 7?
True
Let d = -465 - -735. Is d a multiple of 23?
False
Let m = -36 + 81. Is 15 a factor of m?
True
Let l(d) = d**3 - 33*d**2 - 40*d - 180. Does 58 divide l(35)?
True
Let w(p) = 3*p - 22. Let r be w(11). Suppose -r*h - 224 = -15*h. Is h a multiple of 22?
False
Let g(i) = 428*i - 326. Is g(7) a multiple of 89?
True
Suppose 0 = -3*n + 9, 2*n = 5*q + 4*n - 116. Is 8 a factor of q?
False
Let b = -13 - -16. Let p(a) = 7*a**2 - 2. Is 16 a factor of p(b)?
False
Let j = -346 + 219. Let r = 22 - 83. Let p = r - j. Is 22 a factor of p?
True
Let p(m) = 6*m**2 - 4*m - 13. Let g be p(6). Let b = g - 119. Does 10 divide b?
True
Let h = -172 + 306. Let s = 96 - h. Let n = s - -65. Is 11 a factor of n?
False
Let j(q) = 33*q - 1. Let d be j(1). Suppose -2*w = -2*r - 0*w - d, 4*r + 57 = -3*w. Let t = r + 69. Is 18 a factor of t?
True
Let v(o) = o + 21. Let s be v(-16). Suppose 0 = -3*g + s*d + 169, 5*d - 160 = -4*g + 7. Is g a multiple of 6?
True
Suppose -v + 461 = q - 1387, 4*v = -5*q + 9244. Is 86 a factor of q?
False
Let j = 4 + -1. Let k be 4/(-48)*3 - (-34)/8. Suppose j*u = 4*u - k. Is u a multiple