33 - -85. Is j a multiple of 18?
False
Suppose -6*j - 432 = -9*j. Is j a multiple of 36?
True
Let g(i) = -2*i**3 - 5*i**2 - 2*i - 1. Let l = -5 + 2. Let m be g(l). Suppose -b = b - m. Is b a multiple of 2?
False
Suppose 0 = 12*l - 14*l + 4. Let a(z) = z**3 - 4*z**2 - 2*z + 1. Let y be a(5). Suppose y - 46 = -l*m. Does 15 divide m?
True
Let a(t) = -7 + 5 - t**3 + 3*t**2 - t + 2*t**2. Does 9 divide a(4)?
False
Let k(o) = -o**2 - 21*o - 29. Does 23 divide k(-14)?
True
Let o be 2 + (0 - (-1 - -3)). Let g be (-8)/20*(o + -5). Is 14 a factor of 11*-4*(-1)/g?
False
Let u be -6*(-3)/(-6) - -21. Suppose 4*q = u + 74. Is q a multiple of 7?
False
Suppose 5*d - 1 - 12 = j, j = -2*d + 1. Does 2 divide d?
True
Let y(b) = -2*b**3 + 5*b**2 + 4*b - 1. Let l(u) = -u**3 + 6*u**2 + 4*u. Let a(h) = -3*l(h) + 2*y(h). Let x be a(-8). Suppose -3*p + 9 = -x. Does 13 divide p?
True
Let j(l) = -18*l - 1. Let d be 1 + 0 + -2 + 0. Does 6 divide j(d)?
False
Suppose -630 = -4*z - z. Is z a multiple of 21?
True
Let v(a) = -9*a + 1. Let s(d) = d. Let x(o) = -4*s(o) - v(o). Does 14 divide x(7)?
False
Suppose 0 = -3*c + 12, 5*d - 12 - 28 = 5*c. Is 4 a factor of ((-6)/(-1))/(d/16)?
True
Let c be 104/(-10) + (-18)/(-45). Let q(d) = d**2 + 9*d + 1. Is q(c) a multiple of 6?
False
Suppose 6*y - 12*y + 66 = 0. Is 11 a factor of y?
True
Suppose -1350 = 3*y - 12*y. Is 10 a factor of y?
True
Is 3 a factor of (-60)/21*14/(-4)?
False
Let s = 604 - 300. Is 19 a factor of s?
True
Does 4 divide (133/(-28))/(((-2)/(-8))/(-1))?
False
Suppose 3*d - 2*i = -30 + 106, 0 = -3*d - i + 70. Is d a multiple of 12?
True
Let y be 20/6*1*-57. Suppose m + 0*m + 29 = 2*q, -2*q = -5*m - 129. Is y/m - 4/(-10) a multiple of 3?
False
Let l(g) be the first derivative of -44*g**3/3 + g + 2. Let t be l(1). Let v = t - -72. Is v a multiple of 25?
False
Suppose 216 = -d + 2*d. Is d a multiple of 27?
True
Let w = 77 + -72. Does 5 divide w?
True
Let s be (-67)/(-13) - (-2)/(-13). Suppose -2*o + 122 = 2*j, -s*o = 2*j - 5*j + 215. Does 19 divide j?
False
Is 13 a factor of (23 + -10)/((-2 - -3)/6)?
True
Suppose 3*s = 292 - 58. Suppose 2*q + q = s. Does 10 divide q?
False
Let q(v) = -v**3 + 10*v**2 - 8*v + 9. Does 29 divide q(4)?
False
Let k(v) = 14*v - 23. Is k(10) a multiple of 39?
True
Let w(z) = -z**2 - z + 4. Let h be w(0). Let m = 8 - h. Let u = 8 + m. Is 6 a factor of u?
True
Let y(n) = -n**2 + 56. Does 14 divide y(0)?
True
Let t(v) = -v + 20. Let p(z) = -3*z + 3. Let y be p(3). Let d be 2 + 1/(3/y). Is 20 a factor of t(d)?
True
Let x be (-124)/(1 - 0 - 3). Is 3 + (-2)/(-4)*x a multiple of 17?
True
Suppose 0 = s - v - 3*v + 20, 5*s - 4*v = -36. Let c = 7 + s. Suppose j + 15 = 4*j + c*w, 0 = j - 3*w - 5. Does 2 divide j?
False
Suppose -4*h = r - 33, h = -0*h - 1. Is (-8)/(-12) - r/(-3) a multiple of 13?
True
Is 17 + -6*(-2)/6 a multiple of 3?
False
Is 4 a factor of (-1 - -4 - 4)/(1/(-46))?
False
Let a(b) = b**3 - 4*b**2 + b - 2. Is 14 a factor of a(5)?
True
Let t(z) = -5*z**3 - z**2 + 2*z - 1. Let j be t(1). Let k = 24 + j. Is 9 a factor of k?
False
Let q be 3 + 0 - (-2 + 5). Does 2 divide 4/((q - -3) + -2)?
True
Let d be (-210)/(-4) - 12/8. Suppose -100 = -3*z + 2*t, -d = -z + 2*t - 11. Is 15 a factor of z?
True
Let d = -9 + 5. Suppose 5*c = 4*c + 8. Is (c/(-3))/(d/12) a multiple of 8?
True
Let s = 26 + -9. Suppose 0 = o + s - 57. Is 10 a factor of o?
True
Suppose 3*y - 88 = -4. Suppose 0 = -3*g + g + y. Is 7 a factor of g?
True
Let u(t) = t**3 - 4*t**2 - 7*t + 7. Does 8 divide u(6)?
False
Suppose -4*o + 2*j = -j - 3, -4*o = 3*j + 3. Suppose 12 = 2*m + 3*h - 6, -4*m + 5*h - 8 = o. Is m even?
False
Let l = 1 + -3. Let b be 4 - -5 - 4/l. Suppose b = -3*j + p + 44, 2*j - 3*p = 22. Is j a multiple of 11?
True
Let v = -29 + 60. Is v a multiple of 3?
False
Let s = 30 + -16. Is s even?
True
Let w = 9 + -2. Suppose 5*q - 44 = -49. Let m = w + q. Is m a multiple of 3?
True
Suppose 0 = 3*t + 3*d, -d + 4*d = 3*t - 12. Suppose t*n - 18 = -0*n. Does 4 divide n?
False
Suppose 3*z + 27 = 4*v, -5*z = -1 + 26. Suppose 6 = v*t - 3*w, -2*t + 4*w = 5 - 1. Is t a multiple of 3?
True
Suppose -5*r = 2*x + 9 - 72, 2*x - r - 57 = 0. Suppose -x = 2*q - 89. Is 10 a factor of q?
True
Let m(u) = -u + 7. Let w be m(8). Let x be 322/2 - w/(-1). Suppose -3*f + x = f + 3*a, -4*f = 5*a - 160. Is 20 a factor of f?
True
Let j(d) = 8 + 3*d - 7*d + 9*d. Is 10 a factor of j(7)?
False
Does 8 divide (1 + (-10)/6)/((-12)/1008)?
True
Suppose 5*q + 0*q = 10. Does 15 divide 60 - -10 - q/1?
False
Let u(q) = 13*q - 1. Let n be u(4). Is n + (-6)/4*2 a multiple of 24?
True
Let p(s) = -5*s + 0*s + 2*s**3 - 1 + 2*s + s**2. Let i be p(-2). Is (-68)/i + (-2)/(-7) a multiple of 4?
False
Let a be (19 - 2) + (2 - 1). Suppose -2*v + 2*u = -84, -60 = -v - u - a. Is 14 a factor of v?
True
Let x = -10 + 15. Let h(y) = 3*y**2 - 5*y + 1. Let d be h(x). Let l = d - 5. Does 25 divide l?
False
Let m(u) = 2*u**2 - 2*u - 1. Let i be m(6). Let n = i + -35. Does 8 divide n?
True
Let f be (-1*3)/(1/(-2)). Let w = 10 - f. Is 4 a factor of w?
True
Suppose 70 - 436 = -6*y. Is y a multiple of 46?
False
Let o be 2 + -6*(2 + -1). Let g(y) = 4*y**2 - 2*y - 1. Does 18 divide g(o)?
False
Let h be ((-8)/(-3))/((-4)/12). Let f = -3 - h. Suppose f*m = 3*b + 269, -4*b - 6 = -2*b. Does 18 divide m?
False
Let t(v) = -10 + 5*v**2 + v - 3*v**2 + 5*v - v**2. Is t(-8) a multiple of 2?
True
Let v = 14 - 7. Let p(o) = o - 1. Is p(v) a multiple of 4?
False
Let n = 11 + -6. Suppose -n*y - 3*i - 19 - 2 = 0, 2*y + 3*i = -12. Is 3 a factor of 10 - y/(-6)*2?
True
Let l = 1 + 2. Suppose -3*m = -3, 4*r + l*m - m = 310. Is r a multiple of 20?
False
Suppose 2*v - 5*v = 4*u - 204, -v = 2*u - 66. Does 12 divide v?
True
Let l(n) = 3*n - 9. Does 5 divide l(8)?
True
Suppose 0*m + 759 = 11*m. Does 23 divide m?
True
Is 6 a factor of (-62)/(-2) - (2 + -1)?
True
Suppose -4*w = -3*w + p + 2, 4*w + 10 = -5*p. Suppose 2*h = 5*i - 10 - 5, -5*h = w. Is 3 a factor of i?
True
Suppose -4 + 0 = -2*n, -3*d - 2*n - 2 = 0. Let h = d + 4. Is 2 a factor of h?
True
Is 3/(-12) + -706*(-2)/16 a multiple of 44?
True
Let b = 9 + -18. Let z = 39 - 25. Let a = z - b. Is 14 a factor of a?
False
Suppose -9 + 3 = -3*o. Suppose 4 = o*i - 4. Is 4 a factor of i?
True
Suppose -a + h = -2*h - 36, -a - h = -16. Does 21 divide a?
True
Suppose -16 - 2 = -2*c + 4*g, 0 = -2*c + 3*g + 16. Suppose -p = c*k - 83, -20 = p - 4*k - 103. Suppose -72 = -5*m + p. Does 14 divide m?
False
Suppose 5*p - 5*g = 365, 5*p - 333 = -0*p - 3*g. Does 23 divide p?
True
Let z(i) = -i**2 + 15*i + 3. Let b be z(15). Is -54*(b - 39/9) a multiple of 18?
True
Let x(a) = a**2 - 1. Let s be x(-1). Suppose s = g + j + 3*j - 28, 4*g + 5*j = 68. Is 3 a factor of g?
True
Let v(z) = -z**3 + 11*z**2 - 11*z + 10. Let b be v(10). Suppose 0 = -2*i + w + 11, b = 3*i + 4*w - 33. Is i a multiple of 7?
True
Let g = 264 + -158. Is g a multiple of 16?
False
Suppose 2*f = 7*f - 140. Let x = 19 - f. Let u = 17 + x. Is u a multiple of 8?
True
Is 12 a factor of ((-3)/1)/(1/(-7))?
False
Let p be 40/15 + 2/6. Is 5 a factor of 8/12 - (-40)/p?
False
Suppose 3*a = 107 + 40. Suppose 0 = -5*h + 189 - a. Does 11 divide h?
False
Let o(m) = 2*m**2 - m. Is o(7) a multiple of 15?
False
Suppose v - 5*o = 226, -4*o = 3*v - 166 - 588. Does 19 divide v?
False
Suppose -2*l - 94 = -3*z - 4*l, 3*z - 4*l = 100. Does 7 divide z?
False
Suppose -2*p + p = 3. Let z = p + 3. Suppose 4*m - 2*l = -z*m + 16, 2*m - 20 = -5*l. Is m a multiple of 5?
True
Let p = -54 + 138. Suppose -2*y - 24 = -p. Is y a multiple of 15?
True
Let c(i) = -i**2 + 10*i - 6. Suppose 0 = -5*q + 10, -5*q + 15 = -4*w + 41. Let y be c(w). Let k(h) = h**3 - 2*h**2 + h - 4. Is k(y) a multiple of 4?
True
Let s(i) = i**2 - 13*i - 24. Is s(16) a multiple of 12?
True
Let g be ((-1)/(-2))/(9/90). Let a = 10 - g. Suppose -v + 9 + a = 0. Is 14 a factor of v?
True
Let a = 129 + -63. Suppose 4*j + 26 = a. Is 10 a factor of j?
True
Suppose 30 = 3*g - 2*p - 139, 3*p + 111 = 2*g. Is g a multiple of 19?
True
Let u(x) = x**2 + 4*x - 2. Let j be u(-5). Let q be -2 - j/6*0. Let y = 17 + q. Is 15 a factor of y?
True
Suppose 7 = 4*n - 1. Suppose 103 = 3*m + 4*l, 6*m + n*l = 3*m + 95. Is m a multiple of 9?
False
Let h be 0 + 0/(-3) - -2. Suppose 0*r + 2*r = 3*m + h, 3*m - 26 