 v(-16)?
True
Is 9 a factor of 1 + 142 - (11 - 10) - -3?
False
Let j(o) = o**3 + 5*o**2 - 7*o - 4. Let p be j(-6). Let g be ((-236)/16)/(p/(-8)). Is -1*2 + (g - 11) a multiple of 21?
False
Let f = -1516 - -2196. Is 21 a factor of f?
False
Let o be (-48)/3*531/6. Does 36 divide 28*(o/(-189) + 2/9)?
True
Suppose 52*g + 315 = 59*g. Is 9 a factor of g?
True
Let h(j) = j**2 + 7*j + 5. Let n be h(-6). Is 8/(-2) - (-13 - n) a multiple of 2?
True
Let q be (-8 - 2)/(-2)*1. Suppose -3*p + 6 = 4*r - 10, 4*r - 16 = 0. Suppose -5*t = q*x - 130, -t + 0*x - 5*x + 10 = p. Is t a multiple of 15?
True
Suppose r + 15 = 4*x, -2*x + 15 = -2*r + 3*r. Suppose -r*s + 45 = -0*s. Suppose s*u = 14*u - 150. Does 5 divide u?
True
Suppose -14 = 4*h - 62. Suppose -h*b - 3*b = -585. Is b a multiple of 13?
True
Suppose 8*k + 6 = 5*k. Let d(t) = -3*t + 2 - 4*t**3 + 2*t + 2*t**3 - 4*t**3 - t**2. Does 20 divide d(k)?
False
Suppose -9*u = -7*u - 2120. Suppose -3*p + r + 788 = 0, 5*r = -4*p + 16 + u. Is p a multiple of 22?
True
Let x(s) = 20*s**2 + 16*s - 20. Is 80 a factor of x(5)?
True
Let v = -306 + 544. Is 6 a factor of v?
False
Let w(g) = 3*g - 7. Let k = -19 - -36. Suppose -3*h = -2*h - k. Is w(h) a multiple of 9?
False
Let s(f) = 2*f + 9. Let l(u) = 2*u + 9. Let o(t) = -4*l(t) + 3*s(t). Let d be o(-7). Suppose 0*j + 46 = a - d*j, -3*j = 6. Is 18 a factor of a?
True
Suppose -5*d + 0*d = -25. Let o(m) = 2*m**2 - m + 22. Does 6 divide o(d)?
False
Let w(n) = -28*n - 4. Let r be w(-1). Suppose -2*c = 4 - r. Is 5 a factor of c?
True
Let f = -21 + 10. Let d = f + 47. Does 9 divide d?
True
Does 7 divide 6/(-2) - (-150 + -18)?
False
Suppose -5*c + 6750 = 2*x, -3*c + 3266 = -5*x - 815. Is c a multiple of 53?
False
Suppose -d - 142 = -3*d - 4*k, 4*k + 174 = 2*d. Is d a multiple of 20?
False
Suppose 0*o - 8 = -4*o. Suppose o*k - 266 = -0*k. Is 35 a factor of k?
False
Suppose -25 = -4*f + 3. Let s be 367 + (2 - -4 - (9 + -8)). Suppose f*n = n + s. Is n a multiple of 17?
False
Let r = 127 + -62. Is 13 a factor of r?
True
Suppose -12*g + 32646 + 5598 = 0. Is g a multiple of 29?
False
Suppose 46*k = 42*k - 44. Let w(a) = -20*a - 10. Is w(k) a multiple of 30?
True
Let d be (-1)/(-5) - 190/(-50) - 3. Suppose d + 3 = -4*v, 0 = 2*l - 2*v - 124. Does 9 divide l?
False
Let u be (-5)/(2*(-1)/4). Let l be u/(-20)*0/1. Suppose l = 2*j + j - 48. Does 16 divide j?
True
Let n = -9 - -6. Let z = n + 6. Suppose 69 = 4*l + z*o - 6*o, 5*l - 95 = -5*o. Is 12 a factor of l?
False
Suppose 4*q = 7*q - 15. Let m(u) = 17*u - 8*u - q*u + u - 13. Does 15 divide m(16)?
False
Let y(k) = k**2 - 5*k + 8. Let q be y(-6). Suppose w - q = 27. Suppose -46 = -2*u - 2*s, -5*u - 3*s + 16 = -w. Is u a multiple of 12?
True
Suppose -2*x + 4242 = 1476. Suppose -17*k + x + 232 = 0. Is k a multiple of 8?
False
Suppose 3*s - 8 = -4*o - s, -2*s = -3*o + 16. Suppose o*c = -c - 2*q, 2*q = -10. Does 4 divide 96/18*3/c?
True
Suppose -v - 27 = -48. Does 7 divide v?
True
Let h = 2 + 3. Suppose 2*f + 436 = 2*o + 96, -h*o + 2*f + 838 = 0. Does 26 divide o?
False
Does 17 divide 1*-1 + 175/28*12?
False
Let r(l) = 10*l + 39. Let i(o) = 52*o + 200. Let j(x) = -3*i(x) + 16*r(x). Let t(y) = y**3 + 7*y**2 + 6*y - 6. Let u be t(-5). Does 12 divide j(u)?
False
Let l(c) = -c**2 - 12*c + 15. Let z be l(-13). Suppose -168 = z*o - 3*i, -7*i = -5*o - 2*i - 415. Let p = -45 - o. Is 18 a factor of p?
True
Let d be (4/3)/((-3)/(-9)) + -4336. Does 20 divide d/(-54) + (-6)/27?
True
Suppose -4*o + 4*a = -6*o - 8, -2*o + 10 = -5*a. Suppose 4*z - 512 = -o*z + 4*i, -4*i = -5*z + 635. Is 13 a factor of z?
False
Let v = 7 - 9. Let y(q) = -3*q**3 - 2*q**2 + q + 1. Let r be y(v). Suppose -g = -2*k - 2*k + 295, 0 = -5*g - r. Does 19 divide k?
False
Let v = 57 + -93. Is 9 a factor of -4*(-1)/(-6)*v?
False
Let j(x) = -x**3 - 3*x**2 - 4*x - 10. Let v be 25*(0 + 3 + -2). Suppose 5*z + 4*s + 36 = z, v = -5*z - s. Is 16 a factor of j(z)?
False
Let z = -1 - -6. Suppose -h + 4*h - 4*i = -z, -3*i = -5*h + 10. Suppose 2*r + h*o - 93 = 0, -4*r + o + 155 = 24. Is 9 a factor of r?
False
Let g = -65 - -263. Is g a multiple of 11?
True
Let m(y) = -32*y - 157. Is 4 a factor of m(-17)?
False
Suppose 2*x = 3*t + 2 + 8, 0 = -t + x - 3. Does 19 divide (48/(-30))/(t/190)?
True
Suppose 2*i = -84 - 12. Is 6 a factor of (-3 - 0)*(i/9 - -1)?
False
Let q(c) be the first derivative of -c**3/3 + 4*c**2 + 9*c + 34. Is q(8) a multiple of 2?
False
Suppose 0 = h + 14 - 0. Let y = 4 - h. Is 3 a factor of y?
True
Let c(v) = -v**2 + 16*v + 1. Let d be c(16). Suppose -d = -z + 3. Suppose i + z = 0, k - 3*k - 3*i + 32 = 0. Is 5 a factor of k?
False
Suppose 4 = 2*g + 10. Let w(m) = -9*m + 24. Does 4 divide w(g)?
False
Let w be 26 - ((4 - 6) + 5). Let g = w - 15. Suppose 6 = a - g. Is a a multiple of 5?
False
Let v(z) = -z**3 - 33*z**2 - 67*z + 25. Is 60 a factor of v(-31)?
True
Let v(q) = -3*q + 9. Let f(k) = 4*k + 3. Let m(l) = -l**3 + 6*l**2 - 2. Let a be m(6). Let j be f(a). Is v(j) a multiple of 8?
True
Suppose 33*r = 37*r - 20. Suppose 16*k = r*k + 143. Is k a multiple of 5?
False
Let x(s) = -3*s + 3. Let z be x(12). Let u = z + 54. Is u a multiple of 4?
False
Suppose 3*n = 6*n - 3*l - 243, -72 = -n - 2*l. Does 4 divide n?
False
Let v(o) = o**3 + 2*o**2 - 3*o. Let n be v(-3). Suppose -4*w - 5*i = -360, i - 281 = -3*w - n*i. Is w a multiple of 19?
True
Suppose l = -n + 35, -2*n + 12 - 32 = -l. Suppose 0 = -o - 4*c + 24, -3*c - l = -o - c. Does 20 divide o?
False
Suppose -o = -5*v - 92, 2*o - v - 202 = -0*o. Is 22 a factor of o?
False
Let t(n) = 5*n**3 - 8*n**2 + 10*n + 29. Does 27 divide t(7)?
False
Let m(t) = -4*t - 12 + 11*t - 4*t + 2*t**2. Let i be m(-7). Suppose -i - 91 = -4*x. Does 8 divide x?
False
Let j = -11 - -17. Let n = -4 + j. Suppose 372 = c + n*c. Is c a multiple of 31?
True
Let n(q) = q**2 + 2*q - 1. Let r be n(-3). Does 7 divide (r/(-3))/((-12)/252)?
True
Suppose -2*a = -4*a + 3*i + 8, -a + 2*i + 4 = 0. Suppose -a*w + n = -384, -3*w = 3*n - 283 - 5. Suppose -4*f + 3 = 3*q - 69, -4*q + w = -4*f. Does 24 divide q?
True
Let f be (-40)/(-6) + (-4)/6. Let g be (32/20)/4*15. Suppose -g = -8*p + f*p. Does 3 divide p?
True
Suppose 0 = -5*g + 3*m + 295 - 111, -5*m = 3*g - 90. Let f be (-3 - 0)*(-16)/3. Suppose -3*b + f + g = 0. Is b a multiple of 17?
True
Suppose 0 = -2*h - u + 1133, -4*u = -2*h - 2*u + 1118. Suppose 4*o = -5*c + 558, 2*c + 3*c = -2*o + h. Does 19 divide c?
True
Let y(h) = 8*h**2 - 6*h - 32. Is y(8) a multiple of 80?
False
Suppose 8*t - 4*t - 480 = 0. Is 42 a factor of t?
False
Is 27 a factor of ((-405)/2)/((-58)/232)?
True
Suppose 4*l - 3*l = -k + 38, -4*k + 4*l = -112. Suppose -2*x + 121 + 61 = 0. Suppose -5*s = 3*q - x, 0 = -4*s + 2*q + k + 31. Is s a multiple of 16?
False
Let f(d) = d**2 + d - 14. Let m be ((-9)/(-5))/(9/30). Let q be f(m). Suppose -3*b + 68 = -q. Does 8 divide b?
True
Let m be 1*(30/(-2))/(-3). Let j(t) = t**2 + 3*t - 2. Let b be j(-5). Suppose m = g - b. Is 11 a factor of g?
False
Let w(r) = r**3 - 12*r**2 - 12*r + 3. Let y be w(13). Suppose -n = -a - y, 4*n + a - 78 = -2*a. Is 3 a factor of n?
True
Let c be (-1 - 1)/(5/(-10)). Let m be 92/28 - c/14. Suppose o = -m*u + 35, o - 49 = -o + u. Does 26 divide o?
True
Let g(y) = -4*y**2 - 4*y - 20. Let q(h) = -5*h - 1 + 0*h**2 + 3*h - h**2 + h. Let d(w) = -g(w) + 5*q(w). Is 15 a factor of d(0)?
True
Let m(y) = 3*y + 15. Let g be m(-5). Suppose -84 = -g*k - 3*k. Is 14 a factor of k?
True
Let m = -54 - -48. Let f(d) = d**3 + 15*d**2 + 27*d + 1. Does 34 divide f(m)?
False
Suppose 2*z - 11340 = -25*z. Is z a multiple of 21?
True
Suppose -3*a = 2*a - 25. Suppose -14 - 246 = -a*x. Is x a multiple of 13?
True
Let h = 3 + 26. Suppose 0 = -5*i + 26 + h. Is i a multiple of 4?
False
Suppose -u = u + 4*p - 542, -5*u - 5*p = -1370. Suppose -u - 81 = -2*z. Is 18 a factor of z?
False
Let o(z) = 4*z**3 + 2*z**2 - 7*z + 58. Is 14 a factor of o(6)?
True
Let b(d) = -2*d**2 - d + 483. Is 7 a factor of b(0)?
True
Suppose 79*t - 119*t + 129360 = 0. Is t a multiple of 98?
True
Let i = 288 - 27. Suppose i = 5*n + 3*l, 5*l - 3*l = -3*n + 156. Is n a multiple of 6?
True
Does 47 divide (-1998948)/(-868) + (-2)/(-31)?
True
Let o(f) = f**2 - 4*f - 7. Let h be o(-4). Suppose u - h = -u + c, 2*u - 24 = 2*c. Suppose -15 = -m + u. Is m a