Let p(y) = -y**3 - 10*y**2 - 12*y - 8. Let u be p(-9). Suppose 2*q - u = q. Does 15 divide q?
False
Let s(v) = -v**2 + 9*v + 3. Let o be s(10). Let d(a) = -2*a + 4. Let c be d(o). Is (c/(-12))/((-3)/28) a multiple of 7?
True
Let i(f) = -f**3 - 2*f**2 + f - 2. Let y be i(-3). Let v(o) = -8*o + 4 - y. Is 16 a factor of v(-2)?
True
Let g = -30 + 21. Let i(x) be the second derivative of -x**3/6 + 3*x**2/2 - x. Does 6 divide i(g)?
True
Let a be 286/9 - (-12)/54. Suppose -2*t + 38 = -8. Let k = a - t. Does 4 divide k?
False
Let x be ((-6)/(-4))/((-13)/26). Let o = x - -9. Is 3 a factor of o?
True
Suppose -7 = -2*c - 3, -520 = -4*l - 2*c. Does 17 divide l?
False
Let q = -15 - -15. Suppose 3*o - 5*o + 108 = q. Is 27 a factor of o?
True
Let p = -4 - 14. Suppose -5*g - 3*u - 49 = -4*u, -u = 2*g + 21. Let x = g - p. Does 4 divide x?
True
Suppose -5*b - 26 = -11. Does 11 divide 1 - b/(-3)*-51?
False
Suppose 2 + 8 = p. Is 2 + (-24)/(-4)*p a multiple of 22?
False
Let b = 211 + -103. Is 12 a factor of b?
True
Suppose -4*d = s - 7, -4*d = -5*s - 1 - 12. Let z be (-5 - -8) + (6 - s). Suppose 4*i + z = 70. Is i a multiple of 9?
False
Let t = 9 - -4. Suppose -8*f + 126 = -5*f. Let h = f - t. Is 12 a factor of h?
False
Let d = -55 + 22. Let w = 15 + d. Does 7 divide (-122)/w + (-2)/(-9)?
True
Suppose 0 = 3*m - s - 5 - 9, -3*s = 2*m + 9. Let x = -3 + m. Is x - (0 - (-4)/(-2)) even?
True
Let s be (0 - -16) + -1 + -1. Let v = 9 - s. Let q = v - -17. Is q a multiple of 6?
True
Suppose 2*r + 1 = 3. Let f be r/(3*1/15). Suppose -4*i + g + 88 = 3*g, -3*i - f*g + 80 = 0. Does 18 divide i?
False
Let a = 1 - -4. Suppose -3*m - a*l = -2, 5*l + 43 = -0*m + 2*m. Does 6 divide 6/m - 32/(-6)?
True
Suppose -176 = -4*c - 0*c. Does 4 divide c?
True
Suppose -3*v - 3*x = -0*x - 63, -137 = -5*v + 3*x. Does 10 divide v?
False
Let l = -231 - -352. Suppose h - 14 = 2*x + 18, 0 = -3*h + x + l. Is h a multiple of 21?
True
Suppose 149 = 6*o - 607. Does 14 divide o?
True
Let v be (8/6)/((-9)/(-27)). Let o(a) = a**3 - 4*a**2 - 5*a + 3. Let x be o(v). Let z = -9 - x. Is 7 a factor of z?
False
Suppose 168 - 54 = s. Let j = s + -66. Does 18 divide j?
False
Let o(y) = 14*y - 20. Is o(4) a multiple of 36?
True
Suppose 4*b - 535 = 377. Suppose 3*k - 9*k = -b. Does 19 divide k?
True
Suppose t = -0*t + 7. Let x(v) = -v**2 - v**2 - 3*v + v**3 - 4*v**2 + 9. Is 16 a factor of x(t)?
False
Suppose 5*c = 0, 0*l - 4*l + 328 = -c. Does 17 divide l?
False
Let c = 11 - 11. Suppose c*x - 3*x = -33. Is x a multiple of 11?
True
Let x = -29 + 34. Let o(p) = 9*p + 3. Does 16 divide o(x)?
True
Let n = -7 + 9. Suppose -99 = -3*l - 5*j, 24 = -n*l + 4*j + 68. Is l a multiple of 11?
False
Suppose 0 = -q - 4 + 13. Let n = q + 9. Is 12 a factor of n?
False
Let t(d) = d**2 + 3. Let c be t(-3). Let b = 3 + -3. Let k = b + c. Does 6 divide k?
True
Let j = 36 - 29. Does 4 divide j?
False
Suppose -3*h + 105 - 36 = s, 2*s = 5*h + 193. Is 21 a factor of s?
True
Let i(a) = -24*a**2 - 6*a + 5. Let g(v) = 24*v**2 + 5*v - 4. Let h(n) = 6*g(n) + 5*i(n). Does 12 divide h(1)?
False
Let k = -6 - -8. Let s be 8 - (-3)/(k + 1). Suppose 2 - 4 = -x, -s = -c + x. Is 9 a factor of c?
False
Suppose -3*s - 102 = -0*s. Let p = -12 - s. Is 11 a factor of p?
True
Let r be (4*-3)/(4/10). Let k = 74 + r. Suppose 2*x - x - 18 = 5*y, 0 = -3*x + 5*y + k. Does 6 divide x?
False
Suppose -3*o + 5*o - 4 = 0. Let w = o + 0. Suppose -s + w*s = 28. Is s a multiple of 14?
True
Suppose 4*f - 200 - 664 = 0. Is f a multiple of 12?
True
Suppose 0 = 4*l - 5*l + 45. Does 11 divide l?
False
Suppose -3*m + 0*m - 70 = -5*l, 0 = -3*m. Is l a multiple of 7?
True
Suppose 60 = 3*l - 0*l. Does 10 divide (l/8)/((-2)/(-20))?
False
Suppose -4*v = -3*f - 6*v + 104, 3*v = 5*f - 205. Suppose -2*u + 92 = -n, u - 3*n + 2 = f. Is 15 a factor of u?
False
Does 2 divide (-1 - -7)*1*4/3?
True
Suppose -5*y = -478 - 62. Is y a multiple of 27?
True
Let w(v) be the third derivative of v**9/30240 - v**8/6720 + v**5/60 + 2*v**2. Let g(k) be the third derivative of w(k). Is g(2) a multiple of 2?
True
Let l(h) = -h**3 + 5*h**2 - 2*h - 2. Let w be l(4). Suppose w*v - v - 145 = 0. Does 10 divide v?
False
Let o = 89 - 64. Suppose 0*a + 36 = -4*a. Let n = a + o. Is 8 a factor of n?
True
Suppose 4*f = 9*f + 5*v - 145, 5*f - 154 = -2*v. Is 4 a factor of f?
True
Suppose 15 - 3 = p. Is p a multiple of 12?
True
Let t(j) = 3*j**2 - 9*j - 4. Is t(6) a multiple of 50?
True
Suppose -5*o = -4*j - 56, 2*j = -j - 12. Let h = -4 + o. Is h a multiple of 2?
True
Let y(w) = -w**2 + 9*w + 6. Is y(9) even?
True
Let r(j) = j**3 + 12*j**2 - 5*j. Let l be r(-12). Suppose 0 = -a - 3*a + l. Is a a multiple of 15?
True
Let d(u) = u**3 - 6*u**2 + 2*u + 6. Is d(6) a multiple of 9?
True
Let h = -91 + 151. Suppose -3*y + 8*y - h = 0. Is y a multiple of 7?
False
Let c(s) be the second derivative of s**3/6 - 3*s**2/2 - s. Let a be c(7). Suppose -2*w - 40 = -a*w. Is w a multiple of 12?
False
Let w = 51 - 35. Does 4 divide w?
True
Suppose 2*b - 3 = 3*k, -4*b - k + 15 = -12. Suppose b*i = i. Let a(y) = y**3 + y**2 - y + 24. Is 12 a factor of a(i)?
True
Let z(b) = -b**2 + b - 1. Let n(i) = i**2 + 2*i + 2. Let y(p) = -n(p) - 2*z(p). Let a be y(5). Suppose -a*h + h = -16. Does 4 divide h?
True
Let j(d) = -d**3 + 6*d**2 + 9*d - 6. Let w(f) = -f - 1. Let g(l) = j(l) - 2*w(l). Does 18 divide g(7)?
False
Suppose 2*c = 6*c - 36. Is 5 a factor of c?
False
Let n = -7 + 8. Let b be n/(-3) - (-76)/12. Suppose -84 = 2*c - b*c. Is 9 a factor of c?
False
Suppose -3*j = t - 114, 6*j + 4*t - 105 = 3*j. Is j a multiple of 11?
False
Suppose 3*o = 5*y - 36, -2*y + 22 = 2*y + o. Does 4 divide y?
False
Let a(x) = -x**3 - 6*x**2 + 8*x - 10. Let q(t) = t. Let c(v) = a(v) + 2*q(v). Is c(-8) a multiple of 11?
False
Let l(q) = -20*q**3 - 17*q**2 + 37. Let h(n) = -7*n**3 - 6*n**2 + 12. Let i(b) = 17*h(b) - 6*l(b). Let g be i(0). Is 4/g - (-222)/27 a multiple of 4?
True
Let t be 9/(((-9)/2)/(-3)). Suppose -4*w - 8 = -t*w. Is 4 a factor of w?
True
Let b = 18 - 7. Let j = b - 8. Does 3 divide j?
True
Let j(q) = 2*q - 2. Let s be j(3). Suppose 0 = s*d - 53 - 3. Let u = 20 - d. Is u a multiple of 3?
True
Let o(g) = 13*g**3 + 7*g**2 + 6*g + 6. Let d(h) = -h**3 - h**2 - h - 1. Let q(p) = -6*d(p) - o(p). Let f be (-3 - -2)/(4 + -3). Is q(f) a multiple of 6?
True
Let y = -137 + 82. Let m = y + 89. Suppose -3*b + 41 = d + 16, -2*b = 2*d - m. Is 13 a factor of d?
True
Let i be ((-2)/6)/(4/(-48)). Suppose 5*k - b - 78 = 0, -i*k + 64 + 8 = -4*b. Does 5 divide k?
True
Suppose -5*a = 6 - 1. Let m(o) = -o**3 - 2*o - 1. Let p be m(a). Does 10 divide p/(-5) + 264/10?
False
Suppose -20 = -0*z - 5*z. Suppose -z*h + 7*h = -45. Let w = h + 68. Is w a multiple of 15?
False
Let n(q) = 220*q**2 - 12*q + 11. Does 11 divide n(1)?
False
Suppose -m - r = -0*m - 106, -528 = -5*m - 3*r. Is 5 a factor of m/(-14)*4/(-6)?
True
Let p be 61/(-3) - 16/24. Does 10 divide (-4)/14 - 573/p?
False
Let n(c) = -c**3 - c**2 - 4. Let l be n(0). Let a = 12 - l. Let i = a - 10. Does 4 divide i?
False
Let j = 37 - 11. Is j a multiple of 13?
True
Let g be 198/(-12)*(-4)/3. Suppose 3*d - g = 14. Is d a multiple of 7?
False
Suppose -16*k = -12*k - 156. Does 11 divide k?
False
Suppose -2*k + 8 = -4*f, 4*k + 9 = f + 32. Let c be 3*2/k - 4. Is 6 a factor of 8*(c/12 - -1)?
True
Does 11 divide ((-330)/(-12))/((-1)/(-2))?
True
Let s be (-2 + 0 - -4) + 2. Suppose -s*k - 4 = 3*z, -2*z + 3 - 1 = -2*k. Suppose -d - 3*d = 2*t - 10, z = 5*t + 4*d - 31. Is t a multiple of 7?
True
Let i be (45/(-15))/(1/(-3)). Suppose -2*z + 80 = 4*v, 4*z + v = 179 + i. Is 16 a factor of z?
True
Let p be 50/8 + 2/(-8). Let x = p - -4. Does 10 divide x?
True
Suppose -c + 1274 = 5*z, -3*z + 313 + 461 = 3*c. Is 58 a factor of z?
False
Let a = 437 - -268. Suppose 2*r = -2*b + 270, -b - 4*b = -5*r - a. Let h = b + -94. Does 12 divide h?
False
Let c(l) = -l**3 - 2*l**2 + 2*l - 8. Is c(-4) a multiple of 16?
True
Let b(g) be the first derivative of -g - 2 - 2/3*g**3 + g**2 + 7/4*g**4. Is 5 a factor of b(1)?
False
Suppose 0*y - 18 = -5*v + 3*y, v = 5*y - 14. Does 2 divide v?
True
Let f(j) = -4*j - 12. Let v = 2 - 11. Is 12 a factor of f(v)?
True
Let c be (-3)/(-1 + 0/3). Suppose 2*g - w - 30 = 0, 5*g = -w - c*w + 75. Is g a multiple of 6?
Fal