- 2 = 0, -4*b - 3*t = b - 18. Suppose -s + 220 = 5*w - 0*s, b*s = -2*w + 75. Is w a multiple of 15?
True
Suppose -y + 505 = 4*y. Let n = y + -69. Does 23 divide n?
False
Suppose 4 - 8 = r. Let j = 16 + r. Suppose j = 3*s - 78. Does 11 divide s?
False
Let u be (-27)/(-6)*(-156)/(-9). Suppose 0*i + 5*i - 220 = 0. Let t = u - i. Is t a multiple of 17?
True
Let t = -7 - -39. Is 11 a factor of t?
False
Let a = -13 - -29. Does 16 divide a?
True
Suppose 2*h = -0*h - 2, -2*h = 3*u + 23. Let s(f) = 2*f**2 + 8*f - 6. Let r be s(u). Suppose x = -3*x + r. Does 7 divide x?
False
Let l(j) = -j**3 + 5*j**2 + 4. Let u be l(4). Let f = -13 + 33. Suppose -2*m + u = i - 20, f = 4*m. Is 15 a factor of i?
True
Let o(a) be the second derivative of a**4/3 - 4*a**2 + 3*a. Is o(4) a multiple of 28?
True
Let j be -183 + (-3 + 1 - -2). Let v be 2/(-7) + j/21. Let x = v - -20. Does 11 divide x?
True
Let v(a) be the second derivative of 0 - 3/2*a**2 - 5/3*a**3 - 1/20*a**5 - 2/3*a**4 + a. Is v(-7) a multiple of 9?
True
Is 10 a factor of -3 + 2 + 0 + 81?
True
Let q(b) = b**3 - b**2 + b + 19. Is q(0) a multiple of 13?
False
Let a be (-164)/(-14) - (-2)/7. Suppose -48 = -6*z + 66. Suppose 4*k + 0 = 4*n - a, -n + z = 3*k. Is n a multiple of 7?
True
Let v be (-4)/(-10) + 178/5. Suppose -84 - v = -5*f. Suppose -f = -5*i + 71. Is i a multiple of 15?
False
Does 37 divide 32/12*(-777)/(-14)?
True
Let k(o) = o**3 - 7*o**2 - 7*o - 5. Let g be k(8). Suppose 5*u + 5*i = 80, -g*u - i + 9 = -45. Is u a multiple of 6?
False
Let r(t) = -t**2 + 6*t - 6. Let k be r(6). Let d = k + -36. Let q = 66 + d. Is q a multiple of 12?
True
Let o(u) = 2*u + 1. Let f be o(2). Suppose x + r = 0, x + f*r + 35 = 3*x. Let s(b) = 2*b**2 - 7*b + 6. Is 7 a factor of s(x)?
True
Suppose -4*k = 4*q - 1188, 0*q + 5*q + 2*k - 1473 = 0. Suppose -4*h + 0*h + 8 = 0. Suppose h*v - 122 = -0*v + 2*a, -5*v + 2*a = -q. Is v a multiple of 20?
False
Let h = 73 - -1. Suppose 4*d = h + 78. Does 16 divide d?
False
Let l(t) = -2*t + 6. Let r be l(-7). Suppose 3*j = r + 16. Is 6 a factor of j?
True
Let p be 16/3 + (-8)/(-12). Let r be (-1 + (7 - 2))/(-1). Let v = r + p. Is 2 a factor of v?
True
Let u = 19 + -3. Suppose 5*x = -4*j + 80, -2*j + 7*j = -x + u. Does 4 divide x?
True
Let r be 40/(-30)*6/(-4). Let g(q) = 0*q**2 - 4*q - q**2 + q + r*q**2. Is 6 a factor of g(5)?
False
Let s = 11 - 7. Suppose -s*z + 15 = -41. Is z a multiple of 7?
True
Let q be 1*(-34)/(-6)*-3. Let v = -6 - q. Suppose -4*f + 39 = 4*x + v, 5*f = 5*x + 15. Is f even?
False
Let f(o) = -o**2 - 19*o + 20. Let b be f(-16). Let k be 1*(-1 + -45)*-1. Suppose i = -3*t + b, t + i - k = -t. Is 9 a factor of t?
False
Suppose 246 = 3*d + 2*d - y, 2*d - y - 96 = 0. Suppose -5*z + 2*a + 266 = 0, -3*z + 5*a + d = -102. Is z a multiple of 18?
True
Let l = -11 + 133. Suppose 2*q = -2*m + l, 2*m + 48 = -4*q + 284. Is q a multiple of 22?
False
Let r(z) = -12*z**2 - 7*z + 9. Let a(k) = k**2 + k - 1. Let j(n) = -22*a(n) - 2*r(n). Does 14 divide j(6)?
True
Suppose -4*d = -8*d + 64. Suppose 0 = 4*l - 0*l - d. Suppose 0 = l*o + 51 - 163. Does 15 divide o?
False
Let n(i) be the second derivative of i**3/3 + 3*i**2 + 2*i. Does 14 divide n(6)?
False
Is 657*(-4)/9*51/(-34) a multiple of 41?
False
Let j(f) = 3 - 2*f - 2*f - 1 + 3*f. Let o be j(-3). Suppose o*x = 41 + 39. Does 8 divide x?
True
Let p = -218 - -319. Does 8 divide p?
False
Let x = 15 - 10. Suppose -x*j - 4*o + o - 80 = 0, 0 = -4*o. Let k = j - -34. Does 13 divide k?
False
Let f be 2/(-4) + 271/2. Suppose -b + 5*i = -55, 2*i - f = -5*b - i. Is b a multiple of 15?
True
Suppose -2*k - 3*k - 25 = 0. Let y(z) = -z**3 - 3*z**2 + 2*z + 2. Is 15 a factor of y(k)?
False
Let b = 5 - 1. Suppose -131 - 60 = b*f - 5*q, 0 = -5*f - 3*q - 248. Let r = -25 - f. Is 12 a factor of r?
True
Let b(v) = 3*v**2 - v - 15. Is 26 a factor of b(7)?
False
Let i = -91 - -161. Is i a multiple of 14?
True
Suppose -546 = -90*s + 88*s. Does 21 divide s?
True
Let d be ((-1)/2)/(2/(-12)). Suppose 2*m + 3*m = t - 92, -d*t - 2*m + 259 = 0. Does 26 divide t?
False
Let j = -141 + 231. Is j a multiple of 30?
True
Let g(d) = 3*d - 13. Is 3 a factor of g(9)?
False
Suppose -38 = -z + 36. Let q = 108 - z. Is q a multiple of 10?
False
Let a = 1 - -2. Suppose -5*s = -5*d - 50, 2*d = a*s - 7 - 11. Is 1 + (2 - 0 - d) a multiple of 14?
False
Suppose 10*d - 5*d + 270 = 0. Is (2/6)/((-3)/d) a multiple of 6?
True
Let b(g) be the third derivative of -g**6/120 + g**5/15 + g**4/4 + g**3/6 - 2*g**2. Let s be b(5). Does 8 divide 4/s - (-34)/3?
False
Suppose -8 = -2*h, -2*h + 47 + 13 = 4*r. Let s be (-6)/39 - (-2)/r. Let i(c) = c**3 + c**2 + c + 31. Is i(s) a multiple of 13?
False
Suppose u = 6*u + 20, t - 2*u = 50. Is t a multiple of 18?
False
Let h be (18/(-15))/((-6)/40). Does 16 divide (h*3)/((-12)/(-16))?
True
Let x(i) = 7*i**2 - 12*i - 11. Let z(p) = -3*p**2 + 6*p + 5. Let c(q) = 2*x(q) + 5*z(q). Is c(4) a multiple of 4?
False
Suppose 0 = 4*c + 2*l - 0*l - 132, -c + 30 = -l. Is 16 a factor of c?
True
Let x = 0 + -1. Is 8/4 + x + 15 a multiple of 4?
True
Is 34 a factor of (-2842)/(-22) + 44/(-242)?
False
Let r = 6 + 0. Suppose -r*b = -b - 135. Is b a multiple of 10?
False
Let g = 44 + -3. Is g a multiple of 8?
False
Suppose 10*x = 5*x - 15. Let j(a) = 2*a**2 - 4*a + 1. Let b be j(x). Let w = -19 + b. Does 7 divide w?
False
Suppose -c + 3 = 0, -44 = 2*k + 2*c + 60. Let g = k - -30. Let f = g - -38. Is f a multiple of 6?
False
Suppose -w = c - 1 + 6, -5*w + 3*c - 9 = 0. Is (2 + w)/(1/(-84)) a multiple of 22?
False
Let c(p) = -160*p - 7. Is c(-1) a multiple of 32?
False
Let c = 29 - -86. Suppose -5 = 3*o + c. Let n = o + 57. Does 7 divide n?
False
Let h = -22 - -38. Let b = -11 + h. Is b a multiple of 2?
False
Suppose -3*n + 3*o + 51 = 0, 5*n - 4*o + 9*o - 135 = 0. Is n a multiple of 11?
True
Let i(u) = u**3 - 9*u**2 + 12*u - 12. Does 14 divide i(8)?
False
Suppose 4*p + 6*j = j + 122, 93 = 3*p + 3*j. Is p a multiple of 12?
False
Suppose 0 = -2*f + 78 - 2. Is 21 a factor of f?
False
Let p be (11/((-44)/24))/2. Is 3 a factor of (-33)/(-5) - p/(-5)?
True
Is 5 a factor of (-6)/(3 + (-60)/16)?
False
Suppose -2*a - a + 4*m - 81 = 0, -m - 20 = a. Does 7 divide (6 - 2)/4 - a?
False
Suppose -3 = -5*i + 2*i. Let p = i + 7. Does 8 divide p?
True
Let w(i) = 77*i. Does 31 divide w(2)?
False
Suppose 4*o = 3*g - 193, 0 = 5*g - 3*g - o - 132. Is g a multiple of 11?
False
Suppose -117*b + 1015 = -112*b. Does 29 divide b?
True
Let u = -51 + 79. Is 11 a factor of u?
False
Let z = 3 - -9. Let x be 478/z - 1/(-6). Does 13 divide x*(0 + (-3)/(-4))?
False
Suppose -o + 3*r + 51 = 0, 4*r = -2*o + 5*o - 158. Let i = 142 - o. Is i a multiple of 27?
False
Suppose 0 = 4*l + 6 + 6. Let j = -2 - -3. Is 10 a factor of j + (2 + l)*-9?
True
Let i be (0/(0 + 2))/1. Suppose -2*q + 40 = -i*q. Does 10 divide q?
True
Let k = 161 - 45. Is k a multiple of 12?
False
Let p(j) = 4*j - 10. Let u = -5 + 15. Is 30 a factor of p(u)?
True
Suppose 4*d - 3*z = 273 + 58, 407 = 5*d + 3*z. Is d a multiple of 12?
False
Let q = 15 + -7. Let n(c) = c**3 - 7*c**2 - 5*c - 8. Is 7 a factor of n(q)?
False
Let i = -209 - -426. Is 34 a factor of i?
False
Suppose -5*q + 20 = 65. Let s = 13 + q. Suppose -198 + 70 = -s*g. Is g a multiple of 16?
True
Let g(h) = -9*h + 9. Let l(r) = -r - 7. Let i be l(0). Let f be g(i). Let j = 112 - f. Is j a multiple of 20?
True
Let b = -64 - -39. Let p = b - -35. Suppose -p = -2*u + 4*q + 12, -1 = q. Is 8 a factor of u?
False
Let v = -126 - -206. Does 8 divide v?
True
Let a = 3 - 0. Suppose -6*k = -a*k - 18. Is k a multiple of 4?
False
Suppose -5*l + 10 = -10. Suppose 5*j - l*j = 27. Is 7 a factor of j?
False
Let a(v) = v + v**2 + 6*v + 10 + 2. Is a(-8) a multiple of 10?
True
Let q(j) = -j**3 - 5*j**2 - 5*j - 1. Let d be q(-4). Suppose d*m + 0*u - 3*u = 99, -2*u = 5*m - 144. Does 10 divide m?
True
Is (2*4/(-10))/(3/(-480)) a multiple of 32?
True
Let w = 31 + 90. Is w a multiple of 37?
False
Suppose 4*i - 3*h = -3, -4 - 1 = 5*i - 5*h. Suppose i = -2*z + 9 + 5. Does 3 divide z?
False
Let j = 13 + 72. Suppose 0 = -x - 2*c + 4 + 25, 0 = 5*x - 2*c - j. Is x a multiple of 19?
True
Let n(w) be the first derivative of -2*w**3 - 2*w**2 + 2*w - 3. Let o(u) be the first derivative of n(u). Is 22 a factor of o(-4)?
T