h = a, -3*y - 4*h = -31 - 26. Does 17 divide y?
False
Suppose -2*l = 5*m - 0*m - 437, 4*m = 4. Suppose -l = b - 5*b. Does 18 divide b?
True
Let t = -10 - -13. Does 21 divide t*123/9 - -1?
True
Suppose -83 = -i + d - 29, i + 3*d - 54 = 0. Is i a multiple of 8?
False
Suppose 2*w - 10 = -2*y, -w = 2*y - 6*w - 3. Suppose y*n - 13 - 95 = 0. Does 9 divide (-4 - -2)/((-6)/n)?
True
Suppose -4*v - 6*q + q = -41, 0 = 4*v + 2*q - 38. Let t be -2*3*(-129)/v. Suppose 4*s = -0*s + 2*a + t, -4*s + 121 = 5*a. Is s a multiple of 17?
False
Let o = 11 + -18. Let v = o - -11. Suppose -5*d + 23 = 3*j, v*j + j + 2*d - 70 = 0. Is 6 a factor of j?
False
Let l = 6 - -96. Suppose -t = t - l. Is 18 a factor of t?
False
Let s(o) = -o**3 + o**2 - 2*o + 83. Is 8 a factor of s(0)?
False
Suppose -4*w = -16, -5*r = w - 5*w - 9. Suppose -42 = 2*t + 4*i + 110, -3*t + r*i - 272 = 0. Let a = -42 - t. Is 14 a factor of a?
True
Let a(b) = -b**3 + 9*b**2 + 4*b - 4. Suppose -o = -4*t + 41, -2*t = o + 2 - 15. Is a(t) a multiple of 13?
False
Suppose 3*z = 5*z - 16. Is 8 a factor of z?
True
Let u be 205/9 - (-4)/18. Suppose 2*p = -5*h - 7, 0 = 2*p - 6*h + h - u. Suppose -3*s - 5*n + 28 = 0, 4*n - 5*n = -s + p. Is 3 a factor of s?
True
Suppose -4*t - 2*f = 287 + 1, 2*f = 5*t + 369. Let z = -31 - t. Does 14 divide z?
True
Suppose 2*h + 2*h + 12 = 0. Let t be 0*h/9 - -1. Is 15 a factor of 2 - 84/(-3*t)?
True
Let o(z) = -2*z + 8. Does 5 divide o(-6)?
True
Let p(x) = x**2 - 2*x + 1. Let y be p(2). Let z = y - 3. Let i(a) = 9*a**2 + a - 1. Is i(z) a multiple of 18?
False
Let d = 37 - 20. Is 2 a factor of d?
False
Let i be ((-2)/4)/(4/(-24)). Let j(o) = -7*o**2 - 9*o + 8. Let k(q) = -4*q**2 - 5*q + 4. Let n(d) = -3*j(d) + 5*k(d). Is 7 a factor of n(i)?
False
Let k be 2*12 + (0 - 0). Let v = k + -60. Is (2/3)/((-1)/v) a multiple of 12?
True
Let d be (2 - 2)/(1/1). Suppose 0 = b - d*b + 28. Let r = 44 + b. Does 9 divide r?
False
Let p(j) = j**2 + 4*j + 4. Let r be p(-3). Let k be (3/r)/((-3)/(-4)). Let s(l) = l**2 + 2*l + 2. Is s(k) a multiple of 13?
True
Suppose -4*s + 161 = -5*g, -2*g - 197 + 0 = -5*s. Is 13 a factor of s?
True
Let i = -12 - -6. Let v(d) = -2*d. Let n be v(i). Is 10 a factor of (-62)/(-6) - 4/n?
True
Let r be ((-4)/2)/((-2)/(-4)). Is (38/(-8))/(1/r) a multiple of 14?
False
Suppose w - 37 = -3*q + 35, 152 = 2*w + 4*q. Suppose 4*r - 176 = w. Does 18 divide r?
False
Let b(t) = 5*t**3 + 3 + 7*t**2 + 9*t - 4*t**3 - 4*t**3 + 4*t**3. Is b(-5) a multiple of 2?
True
Let t = -3 - -36. Is 11 a factor of t?
True
Is -1 - 1 - (-100)/4 a multiple of 15?
False
Let c = 59 + -42. Suppose 0*v + c = i - 3*v, 0 = 3*i + 5*v - 79. Does 9 divide i?
False
Let j(u) = u**3 + 6*u**2 - u - 2. Let i be (-4 + 6)*50/(-4). Let h be 10/i - 46/10. Is j(h) a multiple of 14?
True
Suppose 0*s - 4*z = -2*s - 6, 2*s - 3*z = -2. Suppose 0 = -y - 4*x + 5, 0*x - 2*x = -s*y + 69. Is 13 a factor of y?
True
Suppose -7 = -3*t - 2*i, 0 = 4*i + 16. Suppose 0*l = 4*y + 3*l - 240, 4*l - 299 = -t*y. Is y a multiple of 21?
True
Let w(b) = 3*b**2 - 2*b - 2. Does 5 divide w(-3)?
False
Suppose 0 = -3*g - 0*g + 12. Is 2 a factor of g?
True
Let u = 8 + -8. Let a = u - -14. Let i = a + 27. Is i a multiple of 15?
False
Let c = 7 + -13. Is (-1 - (c - -3)) + 23 a multiple of 8?
False
Let l(d) = d**3 - 4*d**2 + 4*d - 2. Does 9 divide l(4)?
False
Let x(c) = c + 7. Does 23 divide x(16)?
True
Let g be (-3 + -1)*(-27)/4. Suppose -126 = -3*y - g. Does 11 divide y?
True
Let f(b) be the first derivative of b**3/3 - b**2 - b + 2. Does 3 divide f(-2)?
False
Let k = -61 - -94. Suppose -2*n + k + 113 = 0. Is n a multiple of 13?
False
Let f(x) = -2*x**2 + 2. Let g be f(4). Let k = g + 65. Is k a multiple of 16?
False
Let p(l) be the third derivative of l**5/15 + l**4/24 + l**2. Let s be p(-1). Is 10 a factor of s*(14/6 + 2)?
False
Let l = 204 + -144. Is 30 a factor of l?
True
Suppose 6 = -n + 2*x - 2, -4*x + 28 = -4*n. Let h(g) = -2*g**2 - 4*g - g**3 + 8*g - 3*g**2. Is h(n) a multiple of 4?
True
Is 24 - -16 - (-4)/1 a multiple of 22?
True
Let l be 2 - ((-2)/(-2) - 46). Let o = -10 + l. Is o a multiple of 13?
False
Let y = 0 - -2. Suppose 3*c + 2*o + 4 = 12, -5*o = y*c - 20. Suppose c = 2*t - 3*t + 3. Is 2 a factor of t?
False
Let c(b) = b**3 + 2*b**2 - 2*b. Suppose 0 = 3*o - 2*o - 3. Let t = 1 - o. Does 4 divide c(t)?
True
Suppose y = 2*y + 40. Is (-16)/y - (-256)/10 a multiple of 13?
True
Let k = -37 - -66. Let m = 44 - k. Does 11 divide m?
False
Suppose 2*k = 4*i + 336, 3*i + 71 = k - 92. Does 20 divide k?
False
Suppose -5*c + 10 = -20. Is 3 a factor of c?
True
Let w be -3*(-10)/9*-3. Let v = 0 - w. Is 5 a factor of v?
True
Suppose -4*d = 0, -695 = -5*q + 6*d - d. Does 20 divide q?
False
Let r(m) = -3*m + 15. Is r(-15) a multiple of 10?
True
Suppose 0 = 4*c - 5*p - 952, -528 = -2*c + 5*p - 52. Is 34 a factor of c?
True
Suppose -1 = 3*h - 22. Let l(j) = j**2 - 6*j - 3. Is l(h) a multiple of 4?
True
Let a(h) = h + 21. Suppose -4*f = 3*s + 11 - 51, 5*f + 4*s - 51 = 0. Let i(z) = -z**3 + 8*z**2 - 7*z. Let p be i(f). Does 10 divide a(p)?
False
Let o(n) = 65*n + 1. Does 33 divide o(1)?
True
Suppose -5*h + 20 = -0*h. Suppose 2*y - h*n + 14 = 34, 4*y + n = 67. Suppose 4*p + y = 6*p. Is 4 a factor of p?
True
Let n = -25 + 57. Does 16 divide n?
True
Suppose -840 = 15*w - 22*w. Is w a multiple of 20?
True
Suppose 4*g = x - 22, 0 = -2*g - 3*x - 12 - 6. Is 6 a factor of (-76)/g + (-12)/18?
True
Let j(d) = -3*d + 9. Is 10 a factor of j(-4)?
False
Let j = -94 - -64. Let f = 70 + j. Suppose 3*a = -2*l + 60, a - l - f = -a. Is a a multiple of 9?
False
Suppose -5*r + 25 = -0*r. Suppose -r*l + 64 = -4*v, -2*l = -5*l + 4*v + 40. Suppose l = 2*s + s, n = -4*s + 28. Is 12 a factor of n?
True
Let k(d) = -d**3 - 6*d**2 - 2*d + 7. Suppose -u = -3 - 0. Let h be ((-4)/10)/(u/45). Is k(h) a multiple of 8?
False
Let s = 0 - -112. Does 16 divide s?
True
Suppose -1 = -2*m + 15. Is m even?
True
Let d = 8 + -6. Suppose d*n + n = 0. Let o(l) = -l**3 + 48. Is o(n) a multiple of 17?
False
Let n = -7 + 12. Suppose 4*a + 217 = 3*t + 2*a, 0 = n*a + 25. Is 23 a factor of t?
True
Let t(f) = -66*f. Is t(-1) a multiple of 22?
True
Suppose -4*o - 18 = 102. Is 7 a factor of (-1)/2 + o/(-4)?
True
Is 47 - 0 - 11/11 a multiple of 10?
False
Let i = 10 + -6. Suppose i*q = 4*d + 2*q - 52, -4*d + 46 = -5*q. Is 7 a factor of d?
True
Let b(x) = -2*x + 0*x + 3*x. Is 12 a factor of b(12)?
True
Let z(b) = -72*b + 1. Let j be z(-2). Suppose -3*s - 5*h + j = 0, -s - 4*s = 4*h - 259. Is s a multiple of 26?
False
Let s be (8/32)/((-2)/(-24)). Suppose s*d = x, d + 22 = 4*x - 0*d. Does 5 divide 105/12 + x/(-8)?
False
Let c be 1*((1 - 2) + 1). Let r = c - -8. Is 8 a factor of r?
True
Suppose -8*h + 13*h - 385 = 0. Suppose -5*f + 18 = -h. Is 19 a factor of f?
True
Let i(g) = 3*g**2 - g. Let k be i(1). Suppose -k*z + 25 = -23. Does 12 divide z?
True
Suppose 2*z = 7*z - 50. Is 8 a factor of z?
False
Let f(s) = s - 16. Let p be f(11). Let v(k) = -k**2 + 5 + 6*k + k + 3*k**2. Is v(p) a multiple of 20?
True
Let n = 116 + -44. Is n a multiple of 15?
False
Let z(a) = -a**3 - 14*a**2 - 14. Is 22 a factor of z(-15)?
False
Does 9 divide (-1)/(-2 - 326/(-164)) + 1?
False
Suppose 3*q + 1 = 2*v, 2*q = 6*q - 3*v + 1. Let y = q + 2. Let l = y - -10. Is 11 a factor of l?
True
Let c = 67 + -35. Let k = c - 9. Does 23 divide k?
True
Let p = 13 + -21. Is (-3 + (-3)/1)*p a multiple of 24?
True
Let c = -5 + 10. Let s = 7 + -4. Suppose 5*g = s*h + 64, 0 = -2*g + c*h - 0*h + 37. Is g a multiple of 6?
False
Let x be (1/3)/(2/12). Suppose 0*m - 5*m = 3*y - 83, x*m + 2*y - 34 = 0. Suppose -4*s + m = -44. Does 15 divide s?
True
Suppose -3*q = h - 15, -7*h - 3*q = -2*h - 75. Let p = h - -10. Is 16 a factor of p?
False
Suppose 15 = 3*h - 2*n, -4*n + 25 = 2*h + 3*h. Let l = 0 + 2. Suppose -h*f + l*f = -24. Does 4 divide f?
True
Let d(u) = -21*u. Does 11 divide d(-1)?
False
Let w be 8/10*(-10)/(-4). Suppose -o = w*o - 36. Does 12 divide o?
True
Suppose -5*w - 360 = -1620. Does 27 divide w/3 + 4 + -7?
True
Suppose 0 = z + 5*y - 9 - 2, -4*z = -5*y - 19. Suppose -4*k = -z*k + 32. Is 7 a factor of k?
False
Let b = -6 + 17. Does 11 divide b?
True
Suppose 2*v = 3*v. Suppose -5*i = -3*q + 5*q - 25, 2*i - q - 19 = v. Suppose h + 27 = j, -i*j = -