*z + 2. Does 4 divide -2*z/(-9)*6?
True
Suppose 8 = -2*n + 30. Does 11 divide n?
True
Let m = -43 - -67. Is m a multiple of 24?
True
Let r(g) = 3*g**3 + 2*g - 3. Let i be 4 + (1 - 4 - -1). Is 10 a factor of r(i)?
False
Let b(t) = -t**3 - 9*t**2 + 2*t + 1. Is b(-10) a multiple of 26?
False
Let v(q) = q - 4. Let z = -12 - -21. Let y be v(z). Suppose y*p - 85 - 145 = 0. Is 12 a factor of p?
False
Is 7 a factor of (-142)/(-4) - (-7)/(-14)?
True
Let v = -8 + 36. Let j be (-5)/(-2) - 4/8. Suppose j*p - 4*p = -v. Is p a multiple of 7?
True
Suppose c = 4, 4*t + 2 + 2 = -2*c. Let r(w) = -18*w**2 - 2*w. Let u be r(-2). Does 10 divide u/(-6) + (-2)/t?
False
Suppose -3*n + 29 = -5*r, -10 + 38 = 4*n - 4*r. Suppose o - 5 - n = 0. Does 4 divide o/(-3)*(-9)/6?
True
Let u = -22 - -54. Does 7 divide u?
False
Let c = 1 - 0. Is -3*(21/(-9) - c) a multiple of 5?
True
Let h(p) = -p**3 - 5*p**2 - 5*p - 1. Let o be h(-4). Suppose 0*f = -f + o. Suppose -f*m - 2*m + 95 = 0. Does 6 divide m?
False
Suppose -2*b + 0*b = 3*s + 18, -4*s - 5*b - 31 = 0. Let d = -11 - s. Let i = 3 - d. Is 10 a factor of i?
True
Let m = 1 + 31. Does 13 divide m?
False
Let m be 0/((3 - 3) + -2). Is 24 a factor of 24 + m/((-9)/(-3))?
True
Let k = 21 + -8. Is 2 a factor of k?
False
Let n be 268/(-6) + (-7)/21. Let f = -23 - n. Does 11 divide f?
True
Let h = 25 - 34. Is 13 a factor of 76/(-3)*h/6?
False
Suppose 2*o = 2*b + 6, 3*o - b - 3 = -0*b. Suppose 2*t = -o + 10. Is 3 a factor of t?
False
Let t(w) be the first derivative of -w**2/2 - 30*w + 1. Let l be t(0). Let m = -15 - l. Is m a multiple of 15?
True
Suppose 3*r - o - 177 = 0, 132 = 2*r + 2*o + 2*o. Does 5 divide r?
True
Let t(n) = n**2 + 8*n - 1. Suppose 11 + 73 = -7*w. Is t(w) a multiple of 18?
False
Let m(t) = 102*t + 3. Let l be m(3). Does 13 divide 2/8 + l/12?
True
Let d(y) = y**2 + 24*y + 54. Is 36 a factor of d(-26)?
False
Does 12 divide (-6)/(-14) + (-400)/(-14)?
False
Let p be (-14)/(-4)*(-24)/(-14). Suppose p*q = 2*q + 84. Is 7 a factor of q?
True
Let z(w) = -w**3 - w**2 + w. Let h(b) = 33*b**3 - 4*b**2 + 3*b. Let a(y) = h(y) - 4*z(y). Is 12 a factor of a(1)?
True
Suppose 2*a + 5 = k - 3, -16 = k + 4*a. Suppose k = -4*p + 2*h + 16, -3*h + 12 = 5*p - 8. Suppose -b + 3*u + 2 = 0, 0 = b + p*u - 6 - 10. Is b a multiple of 4?
True
Suppose -4*d - 5*f + 28 = 0, d - 2*f = -0*d - 6. Let w = d - -1. Suppose w*l = -x - 38 + 121, -2*l = -4*x - 46. Is l a multiple of 10?
False
Let j = -3 - -8. Suppose -j*y + 16 = -y. Suppose y*o - 47 - 41 = 0. Is o a multiple of 11?
True
Suppose 0 = -3*v + 3*x + 176 + 43, -288 = -4*v + 5*x. Does 7 divide v?
True
Let p(o) = -o**2 - 5*o - 15. Let v be p(-6). Let b = 1 - v. Is b a multiple of 11?
True
Does 43 divide (-13)/(52/(-744)) + -4?
False
Let x(z) = 17*z**3 - 2*z**2 - z. Let m = -1 + 0. Let b be x(m). Does 10 divide (b/15)/(-1)*30?
False
Suppose 4*b = 3*y + 5*b - 2, 0 = -2*y - 4*b - 12. Suppose -3*c = 2*c - 60. Suppose -y*i + 6 = -c. Does 9 divide i?
True
Let y = 228 - 121. Is 15 a factor of y?
False
Is 102 - ((-2)/(-5))/(4/20) a multiple of 50?
True
Let d = 6 - 4. Is (-2 + d/(-5))*-5 a multiple of 4?
True
Suppose 0 = -2*o + 2*r + 58, -5*r + 86 = 2*o - 0*o. Suppose 2*v = s + 39, -v + o = 3*s + s. Is v a multiple of 8?
False
Suppose -4*m + u + 16 = 0, 3*m - u - 3 = 2*u. Suppose 0*y - 2*y + 64 = 0. Suppose m*c + 0*f = -3*f + 40, -4*c + y = -4*f. Does 4 divide c?
True
Let a = 75 - 46. Suppose q = 2*q. Suppose 3*o - s - a = q, 5 = -0*o + o - 5*s. Does 10 divide o?
True
Is 7 a factor of (46 + 0)*7/14?
False
Suppose -30 + 3 = -3*l. Let i = -4 + l. Let f(r) = -r**2 + 6*r + 4. Is 9 a factor of f(i)?
True
Let a(m) = -9*m**2 + 4*m - 1. Let u be a(3). Let n = u + 112. Does 18 divide n?
False
Suppose -o = -4*t - 0*o + 119, 0 = -2*t + 3*o + 47. Let y = t + -13. Is y a multiple of 6?
True
Suppose o + 2*t - 1 - 11 = 0, -5*o = -4*t - 60. Suppose -3*w = o, 2*f - 88 = -2*f - w. Is f a multiple of 22?
False
Suppose 3*m = -0*m + 3. Let y(t) = 4*t**2 - t + 1. Let b be y(m). Suppose 0 = -j + 4*l + b, 0 + 16 = 4*j + l. Is 4 a factor of j?
True
Let s(t) = -t**3 - 7*t**2 - t - 5. Let k be s(-7). Suppose 0 = k*g - 0*g. Suppose w + g*w - 14 = 0. Is w a multiple of 7?
True
Suppose -3*t = -2*l - 0 + 13, 0 = -t - 3. Let x(q) = 5*q**2 - 3*q + 7. Let o be x(5). Suppose -3*h - o = -3*w, l*h = -5*w + 24 + 136. Is w a multiple of 15?
False
Let y = -5 + 8. Suppose -y*s - 17 + 65 = 0. Does 16 divide s?
True
Let j = 11 - 5. Is 3 a factor of j?
True
Let k = 157 + -17. Does 20 divide k?
True
Let l = -9 - -18. Suppose l*z = 4*z + 240. Is z a multiple of 19?
False
Let o(r) = -r**3 + 3*r**2 + r - 3. Let k be o(3). Let v = 124 - 52. Suppose k = -l + 3*l - v. Is 18 a factor of l?
True
Suppose 2*o - 5*k - 133 = 0, -8*o + 280 = -3*o + 5*k. Let r = 89 - o. Is 15 a factor of r?
True
Let m = -15 + 31. Let l = -6 + m. Does 5 divide l?
True
Let y(t) = 46*t**3 + t. Let p be y(-1). Let s = -8 + -24. Let b = s - p. Does 15 divide b?
True
Let k(z) = z**2 - 5*z + 2. Let f be k(5). Suppose f*b + 5*s - 17 = -b, 3*b - 11 = s. Let d = 12 - b. Is d a multiple of 8?
True
Is (-1)/7 + 58/14 a multiple of 2?
True
Suppose 3*l - 148 = -4*r, 3*l + 2*l - 239 = r. Does 12 divide l?
True
Let l = 268 + -58. Let a = -73 + l. Is a a multiple of 28?
False
Suppose -5 = 5*o, -2*z + 3*o + 11 = -0*o. Let b = z + 2. Is 6 a factor of b?
True
Does 18 divide 1190/49 - (-2)/(-7)?
False
Let u(g) = g**3 - 10*g**2 + 14*g - 9. Does 9 divide u(9)?
True
Let r = -17 - -121. Suppose -3*y - 135 = -5*k + r, 5*y = -4*k + 206. Does 14 divide k?
False
Let s = 82 + -40. Let c = s - 12. Is 28 a factor of c?
False
Suppose -2*m = 2*b - 212, -3*m - 2*m - 4*b = -529. Suppose 0 = -5*k, m = 5*h - 5*k - 0*k. Does 7 divide h?
True
Let f = -11 + 28. Does 5 divide f?
False
Let n = -86 - -136. Suppose -3*z = -8*z + n. Is 10 a factor of z?
True
Let s = -2 - -3. Let v(h) = h + 6. Let m be v(-5). Let x = s + m. Does 2 divide x?
True
Let s be (1/(-2))/(1/38). Let d be s/(-4) - (-6)/(-8). Suppose -10 + 66 = d*t. Is 13 a factor of t?
False
Let g(s) = -8*s - 21. Let w(n) = 7*n + 22. Let d(f) = -3*g(f) - 4*w(f). Is 5 a factor of d(-10)?
True
Suppose 3*u = -s + 90 + 61, 4*u - 192 = s. Is 12 a factor of u?
False
Does 27 divide (1848/(-60))/(4/(-10))?
False
Let b = 23 - -38. Let z be b/(-3) - (-2)/(-3). Let v = 35 + z. Is 7 a factor of v?
True
Suppose 4*i = 8*i - 332. Is 19 a factor of i?
False
Suppose -105 = -4*m - 1. Does 9 divide m?
False
Suppose 2*w + 20 = -4*j, 4*w = 5*w - 3*j. Let o = w - -8. Suppose 0 = -l - o*l + 93. Is 16 a factor of l?
False
Let u = 6 - 5. Let i(v) = 45*v**3 - v + 1. Is i(u) a multiple of 12?
False
Suppose 2*j - 34 - 26 = 0. Is 10 a factor of j*(-2 - -3)*1?
True
Suppose 2*m - 4*z = 4, 3*z = -z + 4. Let a = 6 + -22. Does 2 divide 17/m + 4/a?
True
Suppose 5*m + 4*v = 253, 2*m + 104 = 4*m + 3*v. Does 3 divide m?
False
Does 24 divide 2088/16 - ((-9)/(-6) + -1)?
False
Let d(q) = 7*q + 15. Is 16 a factor of d(5)?
False
Suppose -2*m + 276 = 3*s, -5*m - 51 = -5*s + 384. Does 35 divide s?
False
Suppose -6 = -5*t + 14, 0 = k - 3*t - 198. Is 21 a factor of k?
True
Let z(q) = 7*q + 11. Is 17 a factor of z(13)?
True
Suppose -21 = b + 5*l, -5*l + 0*l - 23 = 3*b. Let i(p) = p**2 - 4*p - 6. Let r be i(6). Let j = r + b. Does 2 divide j?
False
Let n(h) = -h**2 + 4*h + 6. Let i be n(6). Let x be 50*3/((-45)/i). Suppose 2*j = -2*w + x, 4*j = -2*w - w + 34. Is 3 a factor of w?
True
Suppose -4*l - 20 = -8*l. Is 3 a factor of l?
False
Let u = -5 + 11. Suppose -2*m + u*m - 20 = 0. Is m even?
False
Let n(c) = -3*c**3 - 5*c**2 - 4*c - 10. Let x(l) = -7*l**3 - 11*l**2 - 9*l - 20. Let j(g) = -9*n(g) + 4*x(g). Is 10 a factor of j(0)?
True
Suppose 16 = 2*t - 3*v, -5*v = -t - t + 20. Let k(i) = 4*i**2 + t*i**2 - 3*i + 3*i**2. Is k(2) a multiple of 22?
False
Let z(v) = v**3 + 16*v**2 - 6*v - 48. Does 4 divide z(-16)?
True
Let f = 60 - 45. Is f a multiple of 15?
True
Let y(o) = -10*o**2 + 3*o - 1. Let f(c) = 29*c**2 - 8*c + 3. Let g(v) = 6*f(v) + 17*y(v). Let q(k) = -k**2 - 1. Let x(r) = g(r) + 3*q(r). Does 8 divide x(-6)?
True
Suppose 4*o + 2*k - 24 = 2*o, -o + k = -14. Is 3 a factor of o?
False
Let o(n) = -n**2 - 13*n - 3. Is o(-12) a multiple of 9?
True
Let b = 48 + -18. Is b a multiple of 8?
False
Let t(g) = 10*g + 1. Let