+ 31?
True
Suppose 5*f = -2*g + 639, -4*g - 5*f + 1236 = -9*f. Is g a multiple of 52?
True
Is 0 - (-10)/(-1 - -6) - -313 a multiple of 26?
False
Let p(a) = -5*a**3 + 2*a**2 + a. Let m be p(-1). Suppose 0 = 2*f - m - 2. Suppose -8*k = -4*d - 4*k + 200, f*k = -2*d + 106. Is 17 a factor of d?
True
Let t = 186 - 62. Suppose 4*h + t = 436. Is h a multiple of 23?
False
Suppose 0 = 2*i + 4*j + 6, -10*j = 5*i - 5*j - 5. Suppose 0*v - i*v = -5*c + 385, c - 86 = 4*v. Is 37 a factor of c?
True
Suppose 2*r = -z + 976, 0 = -2*z - 3*z + r + 4825. Does 14 divide z?
True
Let j(x) = 81*x**2 - 54*x**2 + 69*x**2. Does 32 divide j(1)?
True
Let b = 639 - 383. Does 64 divide b?
True
Let r(n) = 6*n + 91. Is r(-14) a multiple of 3?
False
Let n(d) = 45*d**3 - 2*d**2 + 2*d - 1. Let a be ((-2)/(-4))/(1/24). Let l = -11 + a. Does 22 divide n(l)?
True
Let t(h) = h**3 - 2*h**2 - 8*h - 14. Let v be t(6). Let c = 98 - v. Is 3 a factor of c?
False
Suppose 2*y - 5*i + 2*i - 30 = 0, -5*i = y - 41. Let b = 33 - y. Suppose n = b - 5. Does 7 divide n?
True
Let h be (-2)/8 - (-123)/12. Suppose 100 + 420 = h*s. Is s a multiple of 4?
True
Let c = 2084 - 1172. Does 48 divide c?
True
Suppose -3190 = -n + u, -506 = -n - u + 2674. Is 13 a factor of n?
True
Let q(s) = 28*s + 24. Is 47 a factor of q(11)?
False
Is 17 a factor of (6 + -3)*(-100)/(-3)?
False
Suppose 63*a - 128 = 59*a. Does 2 divide a?
True
Let i be 2 - 5 - (-4 + -3). Let x be 66/(-44) + (-6)/i. Does 14 divide (-54)/x*(-14)/(-6)?
True
Let b be (15/(-20))/(2 + 313/(-156)). Suppose 3*y + 22 = -110. Let r = y + b. Is r a multiple of 14?
False
Let u be 1311/38*2/(-3). Does 12 divide 4/8 + u/(-2)?
True
Let v(s) = s**2 + 3*s - 2. Let y be v(1). Suppose -y*d + 6*d = 5*b - 220, 0 = -5*d. Suppose -3*c + 178 + b = 0. Does 37 divide c?
True
Let i = -382 - -756. Does 6 divide i?
False
Let j(n) = -n**3 - 9*n**2 - 3*n + 9. Let f be j(-9). Is (2 - 3/(-9))*f a multiple of 21?
True
Suppose -3*h - 2 = -2*h, -v + 73 = -5*h. Suppose -v = -l - 0*l. Does 9 divide l?
True
Let n = 11 - 2. Suppose -1 = -y, n = -3*x + 2*y + 1. Is 9 a factor of (28/(-12) - x)*-27?
True
Suppose 0*z = 5*z - 15. Suppose 0 = -2*h + z*b + 10, 2*h + 4*b - 26 = -b. Let d(g) = -g**2 + 14*g - 18. Is 15 a factor of d(h)?
True
Let y = 447 + 841. Is y a multiple of 14?
True
Let g = -325 - -483. Is g a multiple of 14?
False
Let x(r) = -5*r + 3*r - 4 + 3*r**2 + 0. Suppose 13 - 1 = -4*m. Is x(m) a multiple of 29?
True
Let z(h) = -h + 14. Let j be z(9). Suppose -x + j*x = -12. Is ((-4)/x)/((-2)/(-27)) a multiple of 6?
True
Is 13 a factor of 790/6 + 23/69?
False
Let l be 0 + (-6)/(-1) + -3. Suppose -l*f - 24 + 114 = 0. Let d = 50 - f. Is d a multiple of 10?
True
Let a be 0*(2 + (-2 - -1))*-1. Suppose w = -1 + 2, a = 5*h - 5*w - 535. Is 32 a factor of h?
False
Let b(r) = 16*r**2 + 15*r - 17. Is b(-5) a multiple of 44?
True
Let g(l) = 14*l**3 - 14*l**2 - 28*l - 5. Is 38 a factor of g(6)?
False
Let z(g) = 2*g**2 - 7*g + 26. Let m(p) = p**2 - 4*p + 13. Let l(u) = 5*m(u) - 2*z(u). Does 13 divide l(-8)?
False
Let h(a) = -6*a - 18. Let j(f) = 24*f + 72. Let i(l) = 15*h(l) + 4*j(l). Is 20 a factor of i(26)?
False
Suppose 3 = l - 4*u, 4*u = 5*l + 6*u - 59. Let i = l + -6. Suppose -w + 38 = i*c, 2*c + w - 15 + 1 = 0. Does 3 divide c?
False
Let f = 1 - 3. Let b = 19 - 20. Is 12 + (0 - b) - f a multiple of 5?
True
Let h(o) = o**3 + 4*o**2 + o + 1. Suppose 4*f - 8 = 6*f. Let x be h(f). Let y(b) = -12*b + 2. Is 19 a factor of y(x)?
True
Let t(g) = -g**3 - 27*g**2 - 54*g + 48. Does 4 divide t(-25)?
True
Let v(k) be the third derivative of 7/24*k**4 + 4*k**2 + 1/30*k**5 + 0*k + 0 + 0*k**3. Is 15 a factor of v(-6)?
True
Suppose -r + 60 = -2*x, -3*x - 262 + 27 = -4*r. Suppose 2*z + 206 = 4*l, 0 = l + 4*z + 11 - r. Let k = 37 + l. Does 25 divide k?
False
Is -3 - (9/54 - 2629/6) a multiple of 29?
True
Suppose -j + 3*j = 1026. Suppose -4*c + j = o, 639 = 5*c - o - 0*o. Suppose 140 = 4*l - c. Does 22 divide l?
False
Suppose -3*x = -n - 1110, -4*x - 8*n + 1499 = -3*n. Does 7 divide x?
True
Let y(q) = -q**3 - 5*q**2 - 3*q - 10. Let x be y(-6). Suppose 3*k - 5*k + x = 0. Is 5 a factor of k?
False
Let u be 208/39*6/4. Suppose -165 = -u*g + 19. Is 10 a factor of g?
False
Let b be 2*-8 - (0 - -1). Let o = 33 + b. Let u = -8 + o. Is u a multiple of 2?
True
Let f = -5 - 69. Does 25 divide (-3)/15*-5 - f?
True
Let r = 19 + -7. Let k(b) = b**3 - 13*b**2 + 13*b + 16. Does 7 divide k(r)?
True
Suppose 2*f - 42 = -t - 3*t, -3*t = 3*f - 60. Suppose -f*s = -15*s - 324. Is s a multiple of 27?
True
Suppose w = 2*w - 2*f - 12, -3*w + 4*f = -26. Is 14 a factor of w/(-8)*-2*168/1?
True
Let f(s) = -s**2 - 5*s + 3. Let v be f(-5). Suppose -v*c = -0*c. Suppose -p + 0*p - n + 44 = 0, p - 3*n - 44 = c. Does 11 divide p?
True
Suppose 0 = 4*b + r - 32 - 152, 0 = -4*b + 5*r + 208. Let o = b + -74. Let v = o - -40. Is 4 a factor of v?
False
Suppose 2*y + 2*t - 2332 = -3*t, 4*y + t - 4664 = 0. Is 19 a factor of y?
False
Suppose -4*i + 16 = -4*o, 5*o = -2*i + 49 - 13. Suppose -i*c + 540 = c. Is 20 a factor of c?
True
Let x(z) be the first derivative of -z**4/4 - 3*z**3 - z**2/2 - 4*z + 6. Let c be x(-9). Suppose 0 = c*s - 16 - 24. Does 8 divide s?
True
Let x = -146 - -245. Is 11 a factor of x?
True
Let z be (15/4)/((-6)/(-304)). Suppose t + t = -5*g + 376, -2*g = t - z. Is 29 a factor of t?
False
Suppose -271 = 9*c - 1423. Does 8 divide c?
True
Let a(z) = 10*z + 104. Let y be a(27). Suppose 17*o = 15*o + y. Is o a multiple of 17?
True
Suppose -8*u + 866 = -678. Let c = -136 + u. Is 9 a factor of c?
False
Let b(j) = -j**3 + 6*j**2 - 6*j + 7. Let w be b(5). Suppose -q + 0*s = s - 8, -w*q + 19 = s. Is q even?
False
Let u(a) = 10*a**2 - 2*a + 1. Let z be u(1). Let o(y) = -y + 11. Let k be o(z). Suppose 0 = -k*t + 7 + 19. Does 13 divide t?
True
Let d = 18 + -16. Let f be 14/3*d*-3. Let w = -13 - f. Does 3 divide w?
True
Let n be 1/(1*2/(-6)). Let i(a) = -4*a**3. Let m be i(n). Suppose -2*d + 2*p + m = 0, -5*d + 2*p + 276 + 3 = 0. Does 19 divide d?
True
Suppose 3*x - 668 = 7*x. Let n = 282 + x. Suppose 0 = -2*t + 5*z + n, -2*z + 10 = -0. Is t a multiple of 14?
True
Let w(c) = 14*c + 7. Let m(u) = 5*u + 2. Let o(j) = -11*m(j) + 4*w(j). Let i be o(-4). Suppose i*t = -0*t + 38. Is 19 a factor of t?
True
Let j(b) = 5*b + 84. Let w be j(0). Let p = 166 - w. Is p a multiple of 15?
False
Let n(s) = 3*s**2 + 4*s + 8. Does 3 divide n(-2)?
True
Let m(o) = o**3 + 33*o**2 - 69*o + 52. Is m(-34) a multiple of 27?
True
Let m = 38 - 26. Let f be (m/(-9))/((-16)/36). Suppose f*t + 34 = 4*t - 2*o, 4*t - 150 = o. Is 14 a factor of t?
False
Let x(a) = a + 10. Let n be x(-8). Let p = -5 - -9. Let f = p + n. Is 6 a factor of f?
True
Does 11 divide (-408)/(-34)*(-88)/(-6)?
True
Suppose h + 1325 = 2*v, 2*v + 0*v + 4*h - 1300 = 0. Does 20 divide v?
True
Let f = -293 - -629. Does 42 divide f?
True
Suppose 0 = -160*z + 41*z + 336175. Does 96 divide z?
False
Let c(b) = -11*b + 25. Let f be c(16). Let w = -108 - f. Is 9 a factor of w?
False
Let n = 123 + -107. Does 16 divide n?
True
Let u(v) = 61*v**2 + 53*v + 16. Is u(9) a multiple of 143?
True
Suppose 3*r - 35 = 4*r. Suppose 0 = 6*h - h + 25. Is 3/h - 126/r a multiple of 3?
True
Let k(q) = -56*q - 203. Does 49 divide k(-15)?
True
Let f(g) = -2*g - 16. Let j be f(10). Let w be 359/6 + (-6)/j. Suppose 25 = n - w. Is 17 a factor of n?
True
Let g = -12 + 12. Suppose z + 4*t = 3*z - 124, -5*z + t + 346 = g. Is 8 a factor of z?
False
Let w be (-13)/(-3) - 2/(-3). Let j be -6*(-2)/(-8)*-4. Suppose 5*l = j*l, 0 = w*b + l - 420. Is 31 a factor of b?
False
Let w(z) = -z**2 + 7*z + 20. Let g be w(9). Suppose 2*j - u - 39 = 0, -j = -3*u - 15 - g. Is j a multiple of 9?
False
Suppose 5991 = 78*m - 12261. Does 8 divide m?
False
Let a(r) = -6*r - 8. Let n(q) = q + 1. Let i(f) = a(f) - 5*n(f). Let y be 7/14 + 13/(-2). Is 29 a factor of i(y)?
False
Let t = 61 + 17. Suppose -4*c = -5*w + t, 3*w + 10 = 4*w + 2*c. Suppose -3*b = -2*b - w. Is b a multiple of 6?
False
Let r(w) = 8*w - 35. Is 7 a factor of r(16)?
False
Suppose 0*x - g + 39 = -3*x, -3*x + 4*g = 39. Let w = 21 + x. Suppose w = l - 8. Is 4 a factor of l?
True
Let x = 2200 - 679. Is 49 a factor of x?
False
Let q(s) be the second derivative of s**5/20 + 5*s**4/6 + 4*s**3/3 - 6*