-12 - -9) a multiple of 25?
True
Let o(u) = u**3 + 39. Does 20 divide o(0)?
False
Let y = 97 - 53. Suppose 3*p - y = -p. Is 8 a factor of p?
False
Suppose -372 = -12*u + 11*u. Is u a multiple of 12?
True
Let f = 30 - 33. Let o(d) be the second derivative of d**5/20 + 5*d**4/12 + 5*d**3/6 + 2*d**2 - d. Is o(f) a multiple of 7?
True
Let a = 9 + -5. Suppose -a*i = 164 - 16. Let p = i + 55. Is p a multiple of 12?
False
Let t = -6 + 8. Suppose -5*c + t*c = -180. Does 20 divide c?
True
Let h(s) = s + 8. Let d(x) = -x - 8. Let b(n) = -5*d(n) - 4*h(n). Is 8 a factor of b(7)?
False
Suppose r - 5*g = 2 - 1, -3*g = -9. Is 8 a factor of r?
True
Let a = -31 + 58. Let k = 70 - a. Is k a multiple of 12?
False
Suppose 2*v + 5*y = 29, 5*v - 4*v - 17 = -3*y. Suppose v*s + 4*g = 6*s - 92, 0 = 5*s + 5*g - 65. Does 6 divide s?
True
Let r = 3 - -51. Is 14 a factor of r?
False
Let x = 14 + 67. Is x a multiple of 27?
True
Let z = 77 - 41. Does 18 divide z?
True
Let o = 11 + -5. Let g be (2 - 0/1) + -8. Let b = o - g. Is 7 a factor of b?
False
Suppose 4*v = -0*v + 616. Does 43 divide v?
False
Suppose 0 = 3*p - 5*p. Suppose p*g = -g + 27. Does 7 divide g?
False
Suppose -4*y = -2*r - 26, 2*r - 2*y - 65 = 7*r. Let h = r - -27. Does 7 divide h?
True
Let q(o) be the first derivative of 77*o**3/3 - o**2/2 + o - 4. Is q(1) a multiple of 31?
False
Suppose -1 = -4*t + 11. Suppose d - 20 = -t. Is 17 a factor of d?
True
Let f(v) = v**3 - 6*v**2 - 12*v + 1. Does 11 divide f(8)?
True
Let v be (-40)/(2*4/(-12)). Suppose 4*f = m - 3 - 9, 4*m - 20 = 2*f. Suppose -3*w + v = m*z, -3*w + z = -w - 51. Does 14 divide w?
False
Let a = 67 + -13. Let t = 102 - a. Is 16 a factor of t?
True
Let f be 19 - (-1 + (0 - -4)). Suppose f = h - 54. Is h a multiple of 24?
False
Suppose -2 + 6 = 2*a. Suppose -2*v + 20 = a. Is 7 a factor of v?
False
Let n(k) = k + 1. Let a be n(6). Let i = 11 - a. Suppose i*c - c = 12. Does 2 divide c?
True
Suppose 3*t = h + 3*h - 639, -t + 151 = h. Is 26 a factor of h?
True
Let n = 210 - 114. Is 11 a factor of n?
False
Suppose -2*i + 22 = -4*d, 0*d + 6 = -2*d. Suppose 3*a + 4*f + 149 = 6*a, i*a + 5*f = 225. Let k = a + -34. Is 8 a factor of k?
False
Is 8 a factor of 194/10 + (-4)/10?
False
Suppose 3*q - 285 = -81. Does 30 divide q?
False
Let v be 1 - (3/1 + 20). Let c = v - -32. Is 4 a factor of c?
False
Let s be (-46)/3*15/(-10). Suppose 0 = -2*t + 3*t - s. Is 14 a factor of t?
False
Suppose -3 = -2*c - 3*j, 4*c + 2*j = j + 1. Suppose -5*s = -c*s. Suppose q = -s*q + 12. Does 8 divide q?
False
Let u(x) = -2*x**3 - 1 + 4*x**3 - x**3 + 5*x - 5*x**2. Let a be u(4). Is 14 a factor of (1*2)/(a/45)?
False
Let v be 15/2*4/6. Suppose -410 = -0*x - v*x. Suppose 3*z + 74 = 6*h - 2*h, -4*h + x = z. Is 10 a factor of h?
True
Suppose -4*g = -o - 0*o - 5, -g = 3*o + 15. Let r(t) = -4*t - t**3 + 1 - t - 5*t**2 + t. Is 6 a factor of r(o)?
False
Let t(i) = i**3 - i. Let q(h) = 2*h**3 - 4*h + 2. Let a(u) = q(u) - 3*t(u). Let b be a(2). Does 11 divide (b/(-20))/((-1)/(-55))?
True
Let k be -1 - -6 - 2/1. Is k/(-2)*156/(-9) a multiple of 13?
True
Let g(m) = m + 22. Is 4 a factor of g(6)?
True
Let g(r) = 5 - 3 - 2*r**3 + 2 - 3 - 6*r. Let j(s) = s**3 + 3*s. Let d(u) = -2*g(u) - 5*j(u). Is d(-2) a multiple of 6?
True
Suppose -2*b + 0 = -6. Let o(s) = -5*s**b + 4*s**2 + 6*s**3 + 7*s + 4*s**2 + 6. Is o(-7) a multiple of 3?
True
Let j(g) = g**2 + 5*g + 9. Does 10 divide j(-7)?
False
Let w(m) = -3*m + 1 + 3*m**2 - 2*m - m - m**2. Let l be w(6). Suppose l = v + 11. Is v a multiple of 13?
True
Let g(k) = -k**2 + 7*k + 2. Let t be g(6). Suppose 0 = -t*n + 2*n + 60. Is 5 a factor of n?
True
Suppose 0*v = 5*v - 260. Is v a multiple of 13?
True
Suppose -5*l - 134 = 126. Is 17 a factor of -1 - 3 - (l + -4)?
False
Suppose -50 = -w - 4*w. Suppose -29 = -m - w. Is m a multiple of 12?
False
Let p = 3 + -1. Suppose -5*g + 22 = -p*f, -3*g - 4*f + 3 = -5. Suppose 3*q + 14 = g*q. Is q a multiple of 14?
True
Let x = 1 + -1. Suppose x = -9*h + 4*h + 40. Suppose 4*y - 5*v = 16, -y - v + h = y. Is 2 a factor of y?
True
Let t(f) = f**3 - 2*f**2 - 5*f - 2. Let l(r) = r**3 - 2*r**2 - 4*r - 1. Let b(v) = 6*l(v) - 5*t(v). Is b(3) a multiple of 16?
True
Let a(q) = -q**3 - 6*q**2 + 11*q. Let c be a(-8). Suppose 154 = 2*s + c. Is s a multiple of 18?
False
Suppose -15*d + 16*d - 47 = 0. Is 5 a factor of d?
False
Suppose -5*c = -v - 282, -v - 118 = -2*c + 2*v. Does 4 divide c?
True
Let r(u) = -u + 3. Let v be r(-6). Let w(l) = 3*l + 1 + v + l**2 + 0*l**2. Does 19 divide w(-7)?
True
Let s be (-6)/(-9) - (-13)/3. Suppose 5*w = -k + 37, -3*w + 12 + 27 = -s*k. Does 4 divide w?
True
Is ((-160)/6)/((-2)/6) a multiple of 16?
True
Suppose 30*i = 37*i - 1127. Is i a multiple of 18?
False
Suppose -12*u + 13*u - 49 = 0. Does 7 divide u?
True
Let k = -107 - -265. Let h = k - 93. Does 19 divide h?
False
Let o(s) = s**3 + 6*s**2 - 3*s - 5. Is o(-5) a multiple of 11?
False
Let j(f) = -f**2 + 2*f. Let c be j(-2). Is 21 a factor of 141/4 + 2/c?
False
Suppose 5*k = j - 31, 4*k - 21 - 18 = -5*j. Let w(g) = g**3 - g**2 - g. Let y be w(1). Let t = y + j. Is t a multiple of 3?
False
Let o(v) = -2*v - 3. Let j be o(-9). Let p = j + 0. Suppose p = 2*i + i. Is 5 a factor of i?
True
Let x be (4 + 2)*2/6. Is -3*(1/3 - x) even?
False
Let s(c) = -13*c + 6. Is s(-3) a multiple of 15?
True
Let s(y) = 6*y**2 - y - 1. Suppose 1 = 3*w + 4*p, w + 2*p + 1 = 2. Let a be s(w). Let z = 11 - a. Does 2 divide z?
False
Let k be 6/(-9) + 16/(-3). Suppose t + 4*q + 21 = 0, 2*t = 7*t + 3*q + 173. Let v = k - t. Is v a multiple of 11?
False
Let m(j) = j**3 + 5*j**2 + j - 5. Let t be m(-4). Suppose -3*q = -t*q + 132. Does 26 divide q?
False
Does 26 divide (-3 - -3)/4 + 121?
False
Let q = -40 + 19. Let c = q - -15. Is (-68)/c - 2/(-3) a multiple of 12?
True
Suppose k - 3*k + 4 = -h, -h = 2*k - 4. Is k - 6/3 - -18 a multiple of 10?
False
Let k be (-4)/(-6)*46*3. Suppose 223 - 31 = 3*l. Let o = k - l. Is o a multiple of 14?
True
Let d = 2 - 3. Let a = d + 8. Is 7 a factor of a?
True
Let a be (9/(-6))/((-3)/4). Suppose -a*b = -3*b + 49. Let k = -33 + b. Is k a multiple of 8?
True
Let k(n) = -n**3 - 6*n**2 - 5*n + 2. Let p be k(-5). Suppose 0 = f + 5 + p. Let v(j) = -j**3 - 6*j**2 + 7*j + 4. Does 4 divide v(f)?
True
Let k = 9 - -1. Let n = 16 - k. Let r(w) = 2*w + 4. Does 8 divide r(n)?
True
Let h be (-4)/(0 - (-3 - -2)). Let y = h - -6. Let i = y + 16. Does 9 divide i?
True
Suppose 4*k - 5*x = -2*x + 36, -4*k - 4*x = -64. Suppose k = 2*z + z. Suppose 7*h = 2*h - 3*d + 92, -2*d = z*h - 72. Is h a multiple of 12?
False
Let j be (-24)/(-36) + 116/6. Suppose -3*n + 4*f + j + 27 = 0, -2*f + 113 = 5*n. Is n a multiple of 7?
True
Let z(q) = 3*q - 23. Is 4 a factor of z(9)?
True
Suppose -52 = -4*k + 5*r, -2*k - 3*r + 4*r = -26. Suppose -5*h + k = -12. Suppose -h*s = -4*w + 36 + 15, -3*s + 3 = 0. Does 7 divide w?
True
Let z = 16 + 464. Suppose 4*t - z = -72. Is 34 a factor of t?
True
Suppose y - 111 = -2*b + 238, 0 = 5*b - y - 862. Is 10 a factor of b?
False
Suppose -60 = -5*y + y. Suppose -3*q - 2*k + 238 = 0, 4*q + 90 = -5*k + 398. Suppose -4*t = -4*b - y + 103, 2*t - q = -4*b. Does 7 divide b?
True
Let l(v) = 2*v**2 + 6*v - 6. Let p be (-6)/(-15) + (-14)/10. Let m be -1 + p + -2 - 2. Is l(m) a multiple of 15?
True
Suppose -3*z - 22 = -4*z. Suppose n + 7 - z = -l, -5*l = 2*n - 90. Is 5 a factor of l?
True
Let x(f) = f**3 + 18*f**2 - 25*f - 29. Is x(-19) a multiple of 19?
False
Let i = -20 - -13. Let y = 13 + i. Is y a multiple of 4?
False
Is 19 a factor of 0 - (-2 + -274)/4?
False
Let p(d) = d**3 + 3*d**2 - 8*d + 7. Let h be p(5). Suppose -4*v + h = -5*s, -3*s + 366 = 5*v + 148. Is 10 a factor of v?
False
Let y(g) = g**3 - 5*g**2 + g - 2. Let x be y(5). Suppose 0 = 3*c - 2*c + 2, -x*b = -4*c - 122. Let i = 22 + b. Does 23 divide i?
False
Let x = 215 + -169. Is 23 a factor of x?
True
Suppose 4*b = 4*g + 284 + 172, 3*b - 334 = -g. Is 21 a factor of 8768/b - (-4)/(-14)?
False
Suppose -29 = -3*k + 265. Does 7 divide k?
True
Suppose -4*j + 127 = -57. Is 9 a factor of j?
False
Is 924/9 + (-2)/(-6) a multiple of 18?
False
Let x(c) = -6*c**2 - 4*c. Let u(i) = 17*i**2 + 11*i - 1. Let s(n) = 4*u(n) + 11*x(n). Is 7 a factor of s(-3)?
True
Let h = -68 - -94. Is 20 a factor of h?
False
Supp