-4*o + 5, 3*z = -5*o + 128. Is z a multiple of 20?
False
Let c(k) = -k**2 - 16*k + 7. Is 21 a factor of c(-15)?
False
Is (-144)/(-20)*(-4 + 3)*-30 a multiple of 24?
True
Let s(m) be the third derivative of 1/24*m**4 + 1/120*m**6 + 1/6*m**3 - 3/20*m**5 + 0*m + 0 + 3*m**2. Is s(9) a multiple of 5?
True
Suppose -y - c + 5 = 1, -c - 21 = -4*y. Suppose k + y = -5*s, 3*s = -4*k + 9*k - 115. Is k a multiple of 20?
True
Suppose 2*g - 483 = -131. Suppose -49 = -5*j + g. Is 21 a factor of j?
False
Let g(j) = 35*j**3 - 3*j**2 + j + 1. Let o be g(1). Let x = o + -25. Is x a multiple of 3?
True
Let b = -46 + 84. Does 19 divide b?
True
Suppose -2*s = -6*s + 68. Is s even?
False
Suppose -2*k + 155 = 57. Let i = k - -20. Let x = i + -39. Does 15 divide x?
True
Let s = 18 - 30. Is 2 + (-5)/(10/s) a multiple of 4?
True
Let o be (18/(-4))/((-2)/92). Let d = -117 + o. Suppose -5*t + d = -2*t. Does 11 divide t?
False
Let w(o) = o**2 - 3*o - 16. Is w(-9) a multiple of 19?
False
Let l(k) = -3*k + 92. Is l(-17) a multiple of 13?
True
Suppose 2*t - 545 = -5*l, 410 = 4*l + 3*t - 26. Let i = l - 54. Is 20 a factor of i?
False
Suppose -2*b - 5*v = 134, -4*v = 4*b + v + 248. Let t = b - -83. Is t a multiple of 19?
False
Let g = -93 + 158. Let b(u) = u**2 + 3*u + 4. Let a be b(-3). Suppose -a*o = o + 3*z - g, z - 5 = 0. Is o a multiple of 10?
True
Suppose 0 = -0*j - j + 3*h + 26, 29 = 4*j + 3*h. Suppose -5*b = 9 + j. Is 4 a factor of 2/b*-11*2?
False
Let t be (2 + 1)*(-2 + 3). Suppose 8*i - t*i + 3*o = 9, -6 = -2*o. Suppose 0 = -q - i*q + 14. Does 7 divide q?
True
Let v = 53 - -5. Does 9 divide v?
False
Let p = 55 - 42. Is p a multiple of 13?
True
Let n(r) = r**2 + 24. Is n(0) a multiple of 6?
True
Let y(w) = -1 + 8 + 6*w - 7*w**2 + 6*w**2. Let z = 13 - 7. Does 4 divide y(z)?
False
Suppose -3*f + 70 = 5*g, -4*g + 9*g + 170 = 5*f. Suppose 2*d + 4 - f = 0. Is 5 a factor of d?
False
Suppose 153 = 2*m + m. Let f = 83 - m. Is f a multiple of 16?
True
Let j be 6 + 1 + -1 + -1. Suppose 0 = -5*g - 4*x + 139, 2*g - x + 5*x - 58 = 0. Suppose 0*d + 3*w = 2*d - 11, -j*w = -4*d + g. Is 10 a factor of d?
False
Suppose -5*k + 32 = -4*k. Is k a multiple of 13?
False
Let o = 33 + -19. Let h be 22 - 1/(-1 + 2). Suppose -5*d + h = -o. Does 4 divide d?
False
Let t(g) = g**3 + 9*g**2 + 6*g - 8. Let n = 17 - 23. Does 17 divide t(n)?
False
Suppose 2*w = 4*b + 228, -4*w + 96 = 2*b - 410. Is w a multiple of 31?
True
Let x be 35*(16/10)/2. Let r = x - 22. Does 6 divide r?
True
Suppose 45 = a - 2*r - 17, 4*r = 0. Is a a multiple of 17?
False
Suppose 4*z = 4 + 16. Suppose z*c = c. Suppose 5*u + 0*u - 5*p - 30 = c, -u + 3*p = -12. Is u even?
False
Let w = 8 - -14. Is w a multiple of 3?
False
Let z(p) = -3*p + 5 - 2 - 4*p - 2. Let d be 1*(-4)/2 - 1. Does 11 divide z(d)?
True
Let p(s) = s**3 - 5*s**2 - 6*s + 4. Suppose 4*m + 0*i = -5*i - 29, m + 6 = -i. Let l be (-1 + m - -5)*2. Does 2 divide p(l)?
True
Let g(b) = 43*b - 1. Let y(u) = -u**2 + 11*u - 6. Let o be y(10). Let k = o - 3. Is g(k) a multiple of 18?
False
Suppose -5*c - 2*j = -39, 2*c + 10 = j + 31. Is c a multiple of 9?
True
Suppose -r - 120 = -3*r. Does 12 divide r?
True
Suppose 0 = f + 3*f - 36. Is f a multiple of 2?
False
Suppose 0 = -t - 4*t + 130. Does 13 divide t?
True
Suppose 4*z + 4*u + 76 + 4 = 0, -80 = 4*z - 5*u. Let t be -2*1/5*z. Suppose -14 = -5*q - 3*h + t, -2 = 2*h. Is 2 a factor of q?
False
Suppose -4*l = -5*l - 4, -5*r = 2*l - 377. Let z = r - 45. Does 16 divide z?
True
Let q(n) = -n**3 - 7*n**2 - 8*n + 6. Let a be q(-6). Suppose -a = -3*y + 12. Does 6 divide 2/y - (-49)/5?
False
Suppose j = 2*j + 5*s + 13, 0 = 5*j + s + 17. Let g(c) = c**2 + 2*c - 2. Let d be g(j). Suppose -4*o + d = m - 3, -3*m + 56 = o. Is m a multiple of 13?
False
Let t = 32 + -60. Is -1 - t/(-3 + 5) a multiple of 5?
False
Suppose -4*n - 1 = -j - 13, -2*n = -4*j + 22. Is 8 a factor of j?
True
Suppose 0 = m - 25 - 7. Does 8 divide m?
True
Let t(v) = -5*v - 14. Is t(-7) a multiple of 7?
True
Let l(p) = p**2 + 3*p - 3. Let x(q) = -q**2 - 9*q - 4. Let s be x(-9). Let f be l(s). Suppose n - f = 3*a, 4*n - a = -0*n + 37. Is n a multiple of 4?
False
Let o = 5 + -2. Let a be o*1*(-4)/(-12). Suppose -3*n + 4*g = -7*n + 60, g - a = 0. Is 8 a factor of n?
False
Let p be 2*1*(-2)/(-4). Is ((-28)/p)/((-6)/9) a multiple of 24?
False
Let o = 36 - -21. Does 5 divide o?
False
Suppose 0*b = -b. Let i(l) = 4*l + 2*l + l + 6 - 6*l. Does 6 divide i(b)?
True
Let p = 106 - 58. Is p a multiple of 6?
True
Suppose -z - 1 = 3. Let r = z + 8. Does 3 divide r?
False
Suppose -2*q = -5*l - 77, 3*q - 57 = -2*l + 30. Is q a multiple of 4?
False
Let u(y) = y**2 - 3*y - 4. Let b be (-1)/(-2) + 59/2. Suppose -5 = 5*a - b. Is 3 a factor of u(a)?
True
Let c(t) be the third derivative of 5*t**4/24 + t**3/6 - t**2. Is 6 a factor of c(1)?
True
Suppose 4*f = 8*f. Suppose 5*b + 4*t - 261 - 45 = f, -5*b - t + 309 = 0. Does 31 divide b?
True
Suppose -71 = -4*p + 145. Let z be p/24 + 1/(-4). Suppose -z*y + 7*y = 120. Is y a multiple of 11?
False
Suppose 8*o = -2*o + 120. Does 8 divide o?
False
Let s(t) = -3*t**3 + 2*t**2 - 1. Let i = -2 + 1. Let r be s(i). Suppose -2*w - 4*u + 84 = 0, r*w + 2*u - 118 = w. Does 14 divide w?
False
Suppose 3*l - l = -36. Let k = -24 + 53. Let y = l + k. Is 9 a factor of y?
False
Let f = 0 - -4. Suppose f*s + 4*k = 16, 2*s - 4*k + 5 = 1. Suppose 0 = -0*w + s*w - 14. Is w a multiple of 7?
True
Suppose 0 = -c - 4, t - c = 121. Does 9 divide t?
True
Let n be ((-828)/8)/((-9)/24). Suppose 4*r - n = -3*f, -2*f + r + 2*r + 167 = 0. Is 14 a factor of f?
False
Let f(i) = i**3 + 11*i**2 - 3*i - 11. Suppose 0*u - 33 = 3*u. Does 22 divide f(u)?
True
Let m = -23 + 53. Is 17 a factor of 4 + 1 + m + -1?
True
Suppose -m + 2*p + 28 = 0, 2*m - 2*p = p + 51. Is m a multiple of 9?
True
Let g be ((-12)/(-9))/4*477. Suppose 4*b - 3*w - g = -0*w, -4*b + w = -149. Does 12 divide b?
True
Suppose 0 = y - 1 - 36. Let s = y + 1. Does 14 divide s?
False
Suppose -31 = 3*x + f, -x + 5*f = -2*x - 15. Suppose 3*o - 34 = -2*i + o, -i - 5*o + 9 = 0. Let d = x + i. Is 7 a factor of d?
False
Suppose -141*p + 484 = -137*p. Is 14 a factor of p?
False
Let w = -276 - -447. Suppose -2*u = u - w. Is 21 a factor of u?
False
Is 13 a factor of 4*10*5*(-3)/(-30)?
False
Let t(i) be the third derivative of 1/30*i**5 + 0*i + 3*i**2 - 5/6*i**3 + 0 - 1/4*i**4. Is t(6) a multiple of 13?
False
Let f = -4 + 7. Suppose 4*t = 2*t - 10, t = f*a - 65. Is 10 a factor of a?
True
Let j = -68 + 200. Suppose -2*o - 2*o = -j. Is 8 a factor of o?
False
Let o(s) = 2*s**2 - 2*s + 3. Let b be o(3). Suppose -3*f - b = -0*f. Is 0 + (2 - 3) - f a multiple of 2?
True
Let q be (-2)/12 - 1338/(-36). Let b = q + -14. Does 11 divide b?
False
Let s = 22 - 31. Let o = -7 - s. Is 6/o*(-39)/(-9) a multiple of 13?
True
Suppose 1 = -q + 3. Suppose -3*k + 2*n - 2 = -31, -2*k + 51 = 5*n. Suppose b - k = -q. Does 5 divide b?
False
Let o = -58 + 170. Is o a multiple of 16?
True
Does 18 divide (-1)/(-2)*0 + 72?
True
Let a(t) = 5*t + 5. Let n = 147 + -41. Let i be 8/44 - n/(-22). Is 15 a factor of a(i)?
True
Let k(u) = u**3 - 3*u**2 + 2*u - 4. Let n be k(3). Suppose -j + 18 = n*j. Is j even?
True
Suppose 0 = 8*w - 11*w + 591. Suppose 5*g + w = 542. Is 23 a factor of g?
True
Let v be (0 - -3 - 3)/(-2). Let b = v + 10. Is 5 a factor of b?
True
Is 12 a factor of (2 + -1)*2*8?
False
Let l be (-52)/(-14) - (-6)/21. Suppose 11 = -2*n + 4*g + 69, l*n = 4*g + 112. Is n a multiple of 9?
True
Let u(b) = -b. Let n be (40/6)/((-1)/3). Let q = n - -12. Is 4 a factor of u(q)?
True
Let x(v) = -v**2 + v - 1. Let h be x(1). Is 9 a factor of ((-9)/18)/(h/38)?
False
Suppose 0 = -5*f - 0*f + 4*r + 36, -4 = 2*f + 3*r. Is f a multiple of 3?
False
Suppose 4*v = -10 - 2. Let b = v + 29. Is b a multiple of 13?
True
Let f(x) = 8*x**2 - 3*x**2 - 5*x + 2 + x**2 - x**3. Suppose -6*q = -3*q + n - 16, 4*q = -n + 21. Is f(q) even?
True
Let b(u) be the third derivative of -u**6/60 - u**5/60 + u**4/6 - u**3/6 - 2*u**2. Is b(-3) a multiple of 30?
False
Let t(b) = -6*b + 4. Let s(y) = y + 3. Let i be s(0). Suppose -q = i*q + 20. Is 15 a factor of t(q)?
False
Let d(n) = 73*n**2 - 4*n + 7. Suppose -4*y - 4*u = 7 - 39, -y - 3*u = -18. Let z(c) = -36*c**2 + 2*c - 4. Let b(h) = y*d(h) + 5*z(h)