 0 = -4*c + 138 + 222. Is c a multiple of 6?
True
Let r = -4 + 9. Suppose 4*z - a = -3 + 7, 5*a - 10 = r*z. Suppose -4*d - z*v = -32, -2*v - 4 = -4*v. Is d a multiple of 7?
True
Let h(r) be the first derivative of 9*r**2 - 3*r + 6. Is h(2) a multiple of 12?
False
Suppose -2*g - 2*z + 241 = -81, -628 = -4*g + 4*z. Is g a multiple of 21?
False
Suppose -3*v - 4*z + 280 = -0*v, v - 5*z = 106. Is v a multiple of 16?
True
Does 50 divide (7 + -3 + -1)/((-12)/(-800))?
True
Suppose -3*i - 16 = -5*n, i = 3*i - 3*n + 9. Suppose i = 3*g, -l + 12 = -g - 2. Is 342/l - 2/(-10) a multiple of 8?
False
Let y(d) = d**2 + 7*d - 10. Is y(9) a multiple of 35?
False
Suppose -5*o = -29 - 11. Let m be 53/3 + o/(-12). Does 6 divide m + (0 + 1 - 1)?
False
Let b = -5 - -5. Suppose s + 0*s + 3 = b. Does 8 divide 126/8 - s/(-4)?
False
Let f(c) = -c**2 + 6*c + 1. Let r be f(6). Let g be (r - -6)*(6 - -1). Suppose 5*i = -j - 13, 0 + g = 2*j - 5*i. Is 11 a factor of j?
False
Suppose -5 = -b + 3. Does 4 divide b?
True
Let j(r) be the second derivative of -r**5/20 + r**4/2 - r**3/3 + 5*r**2/2 - 4*r. Does 20 divide j(5)?
True
Let u be 5*(2 + 14/2). Let w = u - 10. Is 20 a factor of w?
False
Let z = -137 - -197. Is 30 a factor of z?
True
Let w(i) be the second derivative of i**3/6 + 9*i**2/2 - i. Let m be w(-9). Suppose m = -y + 17 + 6. Does 23 divide y?
True
Let l = -150 - -398. Does 14 divide l?
False
Let m = -14 + 17. Is 4 a factor of 42/m - (1 + -2)?
False
Let w(t) be the third derivative of -3*t**6/20 - t**3/6 + t**2. Is w(-1) a multiple of 9?
False
Let u(q) = q**3 + 7*q**2 + 3 - 2*q - 3 + 2. Is u(-7) a multiple of 7?
False
Let t = 435 - 262. Is 14 a factor of t?
False
Suppose -145 = -2*u - 3*n, -3*n + 22 = u - 58. Suppose -5*h - 2*l = u, -2*h + l + 0*l = 26. Let p = h - -25. Does 10 divide p?
False
Suppose 4*p - 696 = -2*p. Is p a multiple of 29?
True
Suppose 5*g - 196 = t, 0*g + 2*g - 4*t = 82. Does 4 divide g?
False
Suppose -87 = 4*r + p, 4*r + 60 = -2*p - 22. Let t(x) = x**2 - 7*x + 3. Let z be t(-4). Let o = r + z. Is o a multiple of 12?
True
Let k(u) = -2*u**3 + 3*u**2 - 2*u + 3. Let f be k(2). Let w = 9 + f. Is w a multiple of 4?
True
Suppose -j - 4*s = -2*j + 11, 0 = -4*j + 2*s + 58. Let l = -1 + j. Does 9 divide l?
False
Let o(b) = b**2 - 8*b + 5. Let i be o(7). Let s = i - -23. Is 12 a factor of s?
False
Let r(s) = -6*s - 11. Is r(-6) a multiple of 5?
True
Suppose n = 3*b + 105, -323 = -2*n + 3*b - 98. Does 30 divide n?
True
Suppose 0*x + 130 = 2*o - x, 320 = 5*o - 5*x. Is o a multiple of 11?
True
Suppose 2*s - 43 - 29 = 0. Is 21 a factor of s?
False
Suppose r + 5*a = 47, 3*r - 108 = -r - 4*a. Suppose 5*g = r + 43. Does 13 divide g?
True
Suppose -2*v + 15 = -63. Is v a multiple of 10?
False
Suppose -194 = -4*p + 2*p + q, -4*p = 3*q - 378. Does 48 divide p?
True
Let k(i) = 46*i**2 - 4*i - 7. Does 11 divide k(-2)?
False
Let y = 86 + 38. Suppose -3*a + a - d = -62, 4*d + y = 4*a. Is a a multiple of 31?
True
Let j = -19 - -47. Let u = j + -16. Is 12 a factor of u?
True
Suppose 5*v - 23 = 17. Is v a multiple of 4?
True
Let p be -5 + (2 - -1 - 1). Let t be ((-16)/(-3))/(p/(-9)). Let c = t + -6. Does 10 divide c?
True
Suppose -12 = k + 4*y - y, k - 2*y - 13 = 0. Suppose k*h = 7*h - 16. Suppose 2*a + h = 0, a + 20 = -0*b + 2*b. Is 6 a factor of b?
False
Suppose 9*n = 12*n - 108. Is n a multiple of 16?
False
Let s be ((-3)/(-3) - 87) + 0. Does 14 divide (-1 + 2)/((-2)/s)?
False
Let o(h) = h**2 - 4*h - 10. Is 8 a factor of o(8)?
False
Let g = -17 + 107. Suppose -k + g = 2*k. Is k a multiple of 10?
True
Suppose -3*v - 3 = 0, -2*v + 206 = 2*t - 78. Is t a multiple of 11?
True
Let c(s) be the second derivative of -s**5/20 + 7*s**4/6 - 11*s**3/6 + 13*s**2/2 - 10*s. Is 13 a factor of c(13)?
True
Let k(v) = -14*v - 4. Let r be k(-5). Suppose -4*g + 6 + r = 0. Is 6 a factor of g?
True
Suppose -5*k + 4*k = -2. Suppose -68 = -k*v - 2*m, -4*v + 170 = v - m. Is v a multiple of 26?
False
Let c be 3*(26/6 - -2). Suppose 0 = -5*o + 4*o + c. Does 19 divide o?
True
Suppose -4*j = 4*c - 24, 5*c + 0*j = 2*j + 9. Suppose a - 2*x = c*a - 26, 6 = 2*x. Suppose 0 = -2*m + 7*m - a. Does 2 divide m?
True
Let i = -29 - -15. Suppose -2*o - 4 = -78. Let s = o + i. Is 15 a factor of s?
False
Suppose 5*n = n + 4. Let w = n - -4. Does 5 divide w?
True
Let z(s) = -2*s + s**2 + 0*s**2 + 0*s + 7*s. Let d be z(-4). Let m = -2 - d. Is m a multiple of 2?
True
Let r = -202 + 306. Is 13 a factor of r?
True
Suppose -16 = -4*n, -2*t = -3*n + 6*n - 24. Let l(k) = -k + 6. Let o be l(t). Suppose -s - s + 36 = o. Is s a multiple of 9?
True
Let p be (-2)/(-6) + (-8)/(-12). Let g be p*5 - (2 + -1). Is 16 a factor of 178/g - (-5)/(-10)?
False
Suppose 4*w = 3*y + 44, 2*y - 4*w + 32 = -0*y. Let b = -18 + 2. Does 13 divide b/(-6)*(-63)/y?
False
Let s(g) = -5*g**3 + 4*g**3 + 1 + 3*g**3 - g**3 + 4*g - 2*g**2. Does 19 divide s(4)?
False
Suppose -2*g + 56 = 5*g. Is 8 a factor of g?
True
Let q(t) = t**3 - 7*t**2 + 10*t + 2. Is q(7) a multiple of 18?
True
Let w(r) = -4*r + 138. Is w(0) a multiple of 41?
False
Suppose -4*t + 26 = 8*j - 3*j, -5*j = -4*t + 6. Is 32 a factor of 4 + 91 - j/(-2)?
True
Let n be 3 + (1 - (3 - 3)). Suppose -u + 85 = n*m, 2*m + 4*u - 80 = -m. Is m a multiple of 10?
True
Suppose 1 + 4 = 5*i. Suppose y = i + 2. Is 1 - (2 - 84/y) a multiple of 9?
True
Let f(v) = v - 2. Let t be f(6). Suppose -4*x + 7*m + 3 = 2*m, x = -2*m + 4. Suppose -t = x*k - 16. Is k even?
True
Suppose 5*u - 352 = 4*h, u + u - 5*h - 151 = 0. Is 17 a factor of u?
True
Suppose 4*a - p - 457 = 0, a + 4*a + 4*p = 545. Suppose -5*x - 23 = z - a, 0 = 5*z. Is 9 a factor of x?
True
Let j = 143 + -79. Suppose -j = 5*c - 9*c. Does 12 divide c?
False
Suppose 3*i = 6*i - 102. Does 18 divide i?
False
Let c = 146 - 86. Is 5 a factor of c?
True
Let q(l) = -10*l + 24. Is q(-6) a multiple of 21?
True
Let d = 18 - 14. Let q(a) = a**3 - 3*a**2 + 6*a. Is q(d) a multiple of 20?
True
Let i(u) = -10*u - 4. Let p be i(-10). Suppose -2*m - a = 2*m - 81, 4*a - p = -4*m. Is 6 a factor of m?
False
Let d(q) be the third derivative of q**9/3780 - q**8/10080 + q**7/5040 - q**5/30 - q**2. Let j(m) be the third derivative of d(m). Does 15 divide j(1)?
True
Suppose -a = 4*t + t - 4, 0 = 3*t - 4*a + 16. Suppose 2*h - 3*v - 75 = t, -35 = -2*h - 2*v + 25. Suppose -6*c - h = -9*c. Is c a multiple of 5?
False
Let o be ((-1)/3)/((-1)/21). Suppose -o*q + 4*q = -33. Is q a multiple of 11?
True
Let y(h) = -5*h. Let c(s) = -6*s + 1. Let i(x) = -3*c(x) + 4*y(x). Let f be i(6). Let w = f + 28. Is w a multiple of 13?
True
Let s = -127 + 187. Does 5 divide s?
True
Suppose 277 = 5*h + 2*x, 0*x + 2*x = -8. Does 19 divide h?
True
Let x(g) = -4*g + 12. Is x(-3) a multiple of 5?
False
Suppose 2*l + 3*l + 3*f + 121 = 0, 0 = -2*l - 4*f - 40. Let d = -16 - l. Suppose j - d = -j. Is 2 a factor of j?
False
Let l = 424 + 24. Is l a multiple of 12?
False
Let d = 1 - -3. Suppose -p + h = 3*h - 23, d*h - 115 = -5*p. Is 12 a factor of p?
False
Suppose -a + 42 = -15. Is 35 a factor of a?
False
Let n(x) = 0*x + 3 - x**2 + x**3 + x + 3 + 0*x**3. Is n(0) a multiple of 4?
False
Let q(l) = -l**3 - 4*l**2 - 2*l + 3. Let g be q(-4). Let r = 21 - 9. Let i = r + g. Is i a multiple of 11?
False
Suppose 345 = 8*z - 3*z. Is z a multiple of 24?
False
Let n(j) = j**3 + 14*j**2 - 19*j - 17. Does 8 divide n(-15)?
False
Suppose -12 = 3*z - 18. Suppose -2*v + z*b = -5 - 53, 5*b = 2*v - 52. Does 8 divide v?
False
Let a be ((-6)/(-4))/(2/4). Suppose -2*t + 61 + 215 = 0. Suppose h = -z + 26, 0*z + a*z = 5*h - t. Is h a multiple of 10?
False
Let x(d) = 4*d**2 + 2*d - 1. Let f be x(1). Let a = f + 1. Let w = a - 1. Is 2 a factor of w?
False
Let r = -69 + 168. Is r a multiple of 21?
False
Is 11 a factor of (28/112)/(1/68)?
False
Let z be (-1 + 0)/((-2)/14). Let j(x) = -x**2 + 8*x - 5. Let f be j(z). Suppose -3*o = -f*o - 40. Is o a multiple of 20?
True
Let z(t) = 2*t**2 - 4. Is z(5) a multiple of 23?
True
Let r be (-2)/9 + 200/90. Suppose -3*t + 10 = 2*t - 5*d, -r*t + 4*d = 0. Is t a multiple of 2?
True
Let n be 4/2 + (-8)/(-1). Let d(p) = n*p - 8 - p**2 + 2*p - 5*p + 4*p. Is d(10) even?
True
Let k(h) = h**2 - h + 54. Does 18 divide k(0)?
True
Let b(w) = w**3 + 7*w**2 + w + 10. Let i be b(-7). Suppose i*l - 96 = 2*a, -4*