4) + (-12)/w?
False
Let g = 126 - 18. Let w = g - -167. Is w a multiple of 46?
False
Let q = -1624 - -3527. Does 16 divide q?
False
Suppose 3*s - 4*p = -25, 3 = 3*s + 3*p - 0. Is 9 a factor of (21*(-6)/(-5))/(s/(-15))?
True
Suppose 3*n - 2*n = 4. Suppose -n*z + 2*s - s + 31 = 0, 3*z = 3*s + 12. Suppose -3*o - z + 27 = 0. Is 5 a factor of o?
False
Suppose -5545 = -7*g + 3*q, 0 = -g - 3*q + q + 797. Is g a multiple of 61?
True
Let n = 149 - 78. Suppose w + 4*w = -165. Let u = w + n. Does 13 divide u?
False
Suppose -2*t - 40 = -0*t. Let r be (58/(-5))/(4/t). Let p = r - 16. Is p a multiple of 21?
True
Suppose 14 = 2*k - 4*n, -2*k + 4*k - 3*n = 12. Let c be (-15)/2*(-4)/6. Suppose -k*a - 50 = -c*a. Is 10 a factor of a?
False
Suppose 0 = 3*u - q + 2*q + 82, q = u + 22. Let o = u - -12. Does 12 divide (-4)/(-14) + (-234)/o?
False
Let a(r) be the second derivative of r**4/4 - r**3/2 - r**2/2 - 5*r. Let d(c) = -c**3 + 5*c**2 - 2. Let w be d(5). Is 14 a factor of a(w)?
False
Suppose 2*n = -2*g - 2*g - 2, 3*g = -3*n + 3. Let f(x) be the first derivative of -9*x**4/4 + 2*x**3/3 - x**2 - 3*x - 2. Is 27 a factor of f(g)?
True
Suppose -8 = 9*i + 1. Let j(y) = y + 7. Let a be j(-6). Is 30*(a/(-5) - i) a multiple of 12?
True
Let j be (27/(-2))/(2/8). Let v = -34 - j. Is v a multiple of 7?
False
Let g(n) be the second derivative of -n**3/6 - 9*n**2/2 + n. Let r be g(7). Does 9 divide (-204)/r - (-1)/4?
False
Is 35 - (-8 + 7 - (-2)/(-1)) a multiple of 19?
True
Let o(n) = 5*n**2 - 20*n + 22. Let h(k) = -14*k**2 + 59*k - 66. Let d(f) = 6*h(f) + 17*o(f). Does 10 divide d(-16)?
True
Let b = -175 + 123. Let c be 8/b - (-2)/13. Suppose c = u + 1 - 34. Is u a multiple of 11?
True
Let v(i) = -i + 56. Is v(12) a multiple of 11?
True
Let h(s) = 210*s - 39. Is h(3) a multiple of 34?
False
Let f = -545 + 800. Is 85 a factor of f?
True
Suppose 3*n - 153 = -s, -4*s = -0*n + 3*n - 144. Let j = -31 + n. Is 4 a factor of j?
False
Let k be 1 + (-7)/((-21)/(-12)). Let f be (2 - -1)*(-2)/k. Does 12 divide -3 - (f + 1 - 27)?
False
Let u(j) = 2*j + 11. Let b be u(-5). Let z be (-25)/4 + b/4. Is 20 a factor of 6/(-4)*240/z?
True
Let v = -60 - -65. Suppose -v*j + 88 = -72. Does 16 divide j?
True
Let n(z) = -5 - 3*z + 2 - 2. Let k be (1/((-3)/(-21)))/(-1). Is 8 a factor of n(k)?
True
Let n(a) = -2*a**3 + 4*a - 3. Let q be n(3). Let g = -251 - q. Is 4/14 + g/(-14) a multiple of 7?
False
Suppose -18762 = -29*j + 17198. Is j a multiple of 20?
True
Suppose 5*g - 2*m - 241 = 0, 5*g + 2*m - 219 = 10. Suppose 6*j - 2*j - 136 = -4*q, -5*j - g = -2*q. Is q a multiple of 6?
False
Let m(w) = w**2 - 7*w + 10. Let o = -2 - -8. Let v be m(o). Suppose 7*x - v*x - 18 = 0. Is 5 a factor of x?
False
Let m = -84 - -172. Is 11 a factor of m?
True
Let c = -32 - -36. Suppose -c*d = -0*d - 352. Is d a multiple of 12?
False
Let d(u) = u**2 - 12*u + 14. Let b be d(11). Suppose -288 = -3*z - r + 91, -b*r + 507 = 4*z. Is 17 a factor of z?
False
Let i = 460 - 743. Let m = -136 - i. Is 21 a factor of m?
True
Let g be -1*(2 + -1) - -5. Let k(v) be the second derivative of v**5/20 - v**4/3 + v**3/2 + 3*v**2/2 + 21*v. Does 7 divide k(g)?
False
Let z(p) = -4*p**2 - 46*p + 6. Is 7 a factor of z(-4)?
True
Let k(q) = 6*q**3 - 28*q**2 + 7*q + 6. Is k(7) a multiple of 15?
False
Suppose 0 = -2*s + d + 11, -5*d + 34 = 3*s - 10*d. Suppose -q - s = 3*l, -4*l - 39 = -5*q - l. Suppose -q*o - o + 91 = 0. Is 13 a factor of o?
True
Suppose -5*r = 4*f + f - 1805, -4*r = -f + 361. Suppose -3*z + 227 = 3*t + z, 2*z = 5*t - f. Is 9 a factor of t?
False
Let r(y) = -y**3 + 12*y**2 + 4. Let g be r(12). Suppose g*q = -4*i + 76, -2*i - 26 - 21 = -3*q. Does 10 divide q?
False
Suppose -2*k - 16 = -4*k - 3*b, b = -4*k + 12. Suppose 0 = 3*w - k - 7. Suppose 5*c - 2 = 3, 0 = -5*y - w*c + 168. Is y a multiple of 7?
False
Let r = 177 + -59. Suppose -4*z + 2 = -r. Is z a multiple of 6?
True
Let q(c) = c**3 + 23*c**2 + 20*c - 53. Let y be q(-22). Let u(v) be the first derivative of v**4/4 + 8*v**3/3 - 11*v**2/2 - 2*v - 1. Is 8 a factor of u(y)?
True
Let u(w) be the first derivative of -w**4/4 - w**3/3 - w**2/2 - 3*w + 1. Does 6 divide u(-3)?
True
Let u(n) = 8*n**3 - 2*n**2 + n - 2. Does 3 divide u(2)?
False
Suppose 2*d + 117 = -d. Let f = d - -61. Does 11 divide f?
True
Let h = 1 + -1. Let p be 9 - (h - -2 - 3). Let v(j) = j - 6. Is v(p) a multiple of 4?
True
Let i(b) = 2*b**3 - 7*b**2 + 2*b - 6. Let z be i(6). Suppose -42 = -7*p - 28. Suppose 2*t + 4*u = -p*t + 216, z = 4*t - 2*u. Is 9 a factor of t?
False
Let c(v) = -15*v - 22. Suppose -3*z + 40 = -4*j, 20 = -2*j + z + 2*z. Is 16 a factor of c(j)?
True
Let k(g) be the second derivative of 17*g**3/6 - 11*g**2/2 + g. Is 19 a factor of k(5)?
False
Suppose -8*l + 15 = -25. Suppose -l*o = -3*a + 4*a - 598, 4*o = 3*a + 467. Is 17 a factor of o?
True
Suppose -5*s - w + 65 = -0*w, -w = -2*s + 26. Let g = s + 3. Does 4 divide g?
True
Let b = -19 - -121. Suppose 0 = i + t - 21, -2*t + 0*t - b = -4*i. Does 5 divide i?
False
Is 26 a factor of 2 + (-1 - (-7 - 460))?
True
Suppose 2*p = -18*w + 14*w + 2606, -5*w = -5*p - 3265. Is 19 a factor of w?
False
Suppose 2*g - 4*x = 16, 2 = 4*g - 0*x + 2*x. Let u be (0/(-4 + 1))/g. Let z = 24 + u. Does 24 divide z?
True
Let x be -3*(3 + -2) + 1. Let u be (-125)/(-30) - x/(-12). Suppose 4*j - 5*z = 88, -4*j - 2*z + u + 112 = 0. Does 8 divide j?
False
Let x be (-4)/(-5) + (-116)/20. Let j = 20 + x. Is 14 a factor of j?
False
Suppose -57 = u + 53. Let w = 28 - u. Is w a multiple of 24?
False
Suppose 0 = v + 4*c - 136, -4*v - 522 = -8*v - 5*c. Is 16 a factor of v?
True
Let h be 2*(135/(-6))/(-9). Suppose 0 = 5*q - h*r - 235, 3*q = 4*q - 3*r - 51. Is 9 a factor of q?
True
Let k = 55 + -53. Suppose 5*y = b - 8 - 58, -4*b = -k*y - 228. Is b a multiple of 24?
False
Suppose 0 = 5*t + j - 1201, 2*t - 5*j + 3*j = 478. Is 27 a factor of t?
False
Suppose 0 = 3*o - 25 + 109. Let n = -17 - o. Is n a multiple of 8?
False
Let g be 6*2/(-1 + -1). Let p = g + 12. Suppose -3*i + 111 = -4*f + p*f, 0 = -f - 5*i + 73. Is 24 a factor of f?
True
Suppose d - 26 = 3*d. Let y(n) = -2*n - 16. Does 5 divide y(d)?
True
Let u = 24 - 22. Suppose -3 = -b - 6, -4*f - u*b = -1050. Suppose -c + 3*y = -0*c - 42, 0 = -5*c - 3*y + f. Does 17 divide c?
True
Let y = 21 + -27. Let t = -4 - y. Let g = 14 - t. Is g a multiple of 4?
True
Let v = 89 + -37. Is 4 a factor of v?
True
Let q(j) = -2*j + 14. Let u be q(-10). Let h = 53 - u. Suppose h = i - 2*n, 3*i - 7 = -4*n - 0. Is 2 a factor of i?
False
Suppose -s - s - 5*m = -13, 11 = 2*s + 3*m. Suppose 5*b - 2 - 14 = s*x, 16 = -4*x + 2*b. Is 16 a factor of x/22 + 1590/33?
True
Suppose -39 + 45 = -3*a. Let l(x) be the first derivative of -3*x**4/2 + x**3/3 - 3*x**2/2 - 2*x - 2. Does 18 divide l(a)?
False
Suppose -2*u + 15 = 63. Let c = u + 30. Is c a multiple of 3?
True
Let x = 22 - 39. Let q = 8 + x. Is 11 a factor of 24/(-108) - 398/q?
True
Let j be 4/(((-4)/(-248))/1). Suppose 0*i = 5*i - 2*y - j, 2*y = i - 48. Does 25 divide i?
True
Let n = 7092 + -4917. Is n a multiple of 87?
True
Let k = 600 + -340. Is k a multiple of 13?
True
Let j = 121 + -8. Is j a multiple of 35?
False
Let b = -4 - -6. Let h be (-1)/(b + -1)*0. Suppose -g + 15 + 29 = h. Does 22 divide g?
True
Let j = 36 + -34. Suppose j*b - 11*b = -360. Is 8 a factor of b?
True
Let t(u) = 3*u**2 + 23*u + 76. Is 3 a factor of t(-14)?
True
Let d(i) = 3 - 5 - 2*i + 2. Let o be d(-5). Let r = o - -34. Does 10 divide r?
False
Let g(f) = 3*f**2 - 12*f - 7*f**2 + 3*f**2 - 19 - 9*f. Is 17 a factor of g(-8)?
True
Let i = 19 + -15. Suppose -2*v - 4*d + 476 = 0, 6*v = v + 2*d + 1190. Suppose -i*w + v = -18. Is w a multiple of 23?
False
Suppose -1862 = -4*z - j, -419 = -2*z + 5*j + 523. Is z a multiple of 18?
False
Let c(t) = t**2 + 8*t - 14. Let l be c(-14). Suppose 2*q - 184 = 4*o, 0 = -2*q - o + 109 + l. Does 15 divide q?
True
Is 39 a factor of (2694/54 - 4) + 2/18?
False
Suppose 0 = -3*i + i + 6, 5*s - 523 = -i. Is 7 a factor of s?
False
Let c(m) = 19*m - 13. Suppose -6*y + 2*y + 28 = 0. Is 30 a factor of c(y)?
True
Suppose 3*f - 4*p + 12 = 0, 3 + 2 = -f + p. Is 6/f + 4620/16 a multiple of 36?
True
Suppose -q - 27 = -2*f - 0*q, -2*f = 5*q - 33. Let h be (-2 - (-1 - 2))*f. Suppose 5*g - 26 = h. Is g a multiple of 