?
True
Suppose -36 + 12 = -3*l. Let m(k) = 9*k**2 + 2*k**3 - 3*k**3 + 0*k**3 - 7*k. Does 4 divide m(l)?
True
Let n(x) = -10*x + 1. Let w be n(-1). Suppose 0 = -w*k + 16*k - 490. Is k a multiple of 25?
False
Let g(r) = -r - 4. Let i be g(-8). Suppose 0*k + i*k = 84. Is k a multiple of 7?
True
Suppose 6*c - c - 2*z - 12 = 0, -c = -4*z - 6. Suppose i = -r + 10, 4*r - c*r = 5*i - 71. Does 7 divide i?
False
Is (-8)/12 + (-220)/(-6) a multiple of 6?
True
Let c(l) = -9*l**2 - 4*l + 4. Let h(d) = d**2. Let f(t) = -c(t) - 6*h(t). Let p be f(4). Is 7 a factor of p/9 - (-1)/3?
True
Let q = -15 - -18. Suppose 2*w - 15 = -q. Is w even?
True
Let k = -3 - 3. Does 2 divide (-38)/k + 1/(-3)?
True
Suppose 5*i = 2*c - 4*c + 49, -2*i + 46 = 2*c. Is 16 a factor of c?
False
Let s = 78 + -172. Let g = s + 185. Does 22 divide g?
False
Let n = 5 - 3. Suppose -c + 0*c = -n*b - 51, -3*c + 159 = -3*b. Does 23 divide c?
False
Let w(s) = 3*s**2 - 4*s - 5. Is 30 a factor of w(-5)?
True
Let k = 6 + -10. Let p(d) = -d - 9. Let g be p(k). Let n = g + 10. Does 2 divide n?
False
Let l(k) = 4. Let z(y) = -y + 16. Let j(h) = 22*l(h) - 6*z(h). Does 14 divide j(6)?
True
Suppose 4*s - 33 = s. Let a(w) = 6*w + 0*w + 3 - s*w. Is 6 a factor of a(-3)?
True
Let t be 1*(3 - -20)*5. Suppose 5*d + 0*d - t = 0. Is d a multiple of 23?
True
Let n = 14 + -8. Is 6 a factor of n?
True
Let m(h) be the third derivative of h**6/60 + h**5/120 - h**4/24 - h**3/2 - 4*h**2. Let y(s) be the first derivative of m(s). Does 6 divide y(1)?
True
Let p be -10*(3/(-6) + 0). Suppose -p*c = -3*c - 144. Is c a multiple of 36?
True
Let i(b) = b**3 + 7*b**2 - 8*b - 8. Let v be 40/(-30) + (-14)/3. Does 10 divide i(v)?
False
Suppose 3*b - 33 = 2*b. Suppose 2*d = b + 89. Is d a multiple of 20?
False
Suppose 5*z + 32 = 3*b, 11 + 5 = z + 5*b. Let i = 9 + z. Suppose 50 = i*p + 15. Is 7 a factor of p?
True
Let i(b) = -b**3 - 10*b**2 + b + 14. Is 4 a factor of i(-10)?
True
Let h(g) = -g**3 + g**2 + 153. Does 17 divide h(0)?
True
Let w(b) = -b + 8. Let t be w(6). Suppose 2*r = -t*r + 16. Is 3 a factor of r?
False
Let x = 9 + -4. Suppose 0 = -4*i - x + 93. Is 11 a factor of i?
True
Let u be -1*(0/(-3))/(-2). Let t = u - -5. Suppose -t*q + 28 = 2*o, 0 = -o + 5*o - 3*q - 56. Is 14 a factor of o?
True
Let k be -5 + 3 + 1 - -12. Suppose -k - 1 = -2*q. Is 3 a factor of q?
True
Suppose 10 = 4*g - 2. Suppose -8*l = -g*l - 30. Let t = l - -2. Is 8 a factor of t?
True
Let z(q) = -11*q - 18. Is z(-4) a multiple of 13?
True
Suppose -x - 6*y + 76 = -y, -x + 68 = y. Let p = 106 - x. Is 20 a factor of p?
True
Let f(m) = 114*m + 8. Is 24 a factor of f(1)?
False
Let y = -1 - -1. Suppose -2*t + q + 16 + 0 = y, -q + 4 = 0. Does 10 divide t?
True
Let z(r) be the third derivative of -r**5/30 + 3*r**4/8 - 2*r**3/3 + r**2. Let l be z(6). Let m = -15 - l. Is m a multiple of 7?
True
Let j(v) = -9*v - 5*v + 4 - 5 - 2*v. Let w be j(-4). Suppose 5*x - w = 2*x. Does 21 divide x?
True
Does 12 divide 1 + (-8)/10 - 297/(-15)?
False
Suppose 0 = 4*b - 5*b + 37. Suppose 4*y - 30 = 2*j, -2 = j + 3. Let o = b + y. Is 15 a factor of o?
False
Let a = 217 + -100. Is 13 a factor of a?
True
Suppose -3*i = 12, 2*j = -3*j + 3*i + 47. Let f be 1*(0 - 1)*27. Let p = j - f. Is 18 a factor of p?
False
Suppose 0 = 6*h + 25 - 445. Is 17 a factor of h?
False
Suppose -2 = -x, 2*x + 2*x = 3*t - 22. Let b = -1 + t. Does 4 divide (-93)/(-12) - b/12?
False
Let p be ((-9)/(-6))/(9/12). Let c(r) = 2 + 2*r + 6*r**p - 2 - 1. Is 21 a factor of c(-3)?
False
Let n(h) be the third derivative of h**7/252 - h**6/720 - h**5/120 + h**4/24 - 3*h**2. Let d(l) be the second derivative of n(l). Does 5 divide d(-1)?
True
Suppose 4 = -4*h - 12. Let s = h + 7. Suppose 5*f - 59 = 3*j, -2*f + j + 63 = s*f. Is f a multiple of 12?
False
Suppose 4*k - m - 30 = 0, -4*m + 2 = -5*k + 45. Is 3 a factor of k?
False
Let j = 116 + -59. Suppose -a - 3*x = -2, -4*a + j = -4*x - 15. Let u = a - -3. Is u a multiple of 17?
True
Let o be (14 + -10)/(2/(-3)). Let j be 1/(2/o*1). Let g = j - -19. Is g a multiple of 9?
False
Let r(p) = -p**3 - 5*p**2 + 5*p - 7. Let d be r(-6). Let m(u) be the second derivative of -13*u**5/20 + u**3/6 + 2*u. Is m(d) a multiple of 12?
True
Suppose -3*o = 0, 0 = 4*r - 2*o + 59 + 9. Let z = 33 + r. Is z a multiple of 4?
True
Let d = 24 - 14. Is d a multiple of 5?
True
Suppose q + 4*s + 3 - 6 = 0, 0 = 4*q + 4*s - 12. Is 3 a factor of q?
True
Suppose o + 3*k = 6*o + 9, 2*k = -5*o + 6. Suppose -4*d + 15 + 45 = o. Is d a multiple of 15?
True
Let s be 24/(-40) + (-898)/(-5). Suppose -5*t = -51 - s. Is 19 a factor of t?
False
Suppose -3*m = -5*n - 42, -4*n + 1 = 2*m + 17. Let t = n - -9. Suppose -5*h + 49 = t*g - 0*g, 0 = -h - 3*g + 17. Is h a multiple of 8?
True
Let u(o) = 2*o**2 + 4*o + 3. Let f be u(-2). Suppose 0 = f*i - 2*t - 169, -i + 6*i - 280 = 5*t. Suppose -103 = -5*q + i. Does 16 divide q?
True
Suppose 10*h + 85 = 15*h. Is h a multiple of 10?
False
Let r(u) = 2*u**2 + u - 2. Let z be r(-4). Suppose -b - z = 5*n, -10 - 1 = b + 2*n. Is 4 a factor of (1 + 0 + -14)/b?
False
Let k(a) = -18*a**3 + a**2 + a + 1. Let c be k(-1). Suppose -p + c = -6. Is 9 a factor of p?
False
Is 14 a factor of 10/65 - (-1088)/26?
True
Suppose 5*k - 15 = 0, p = -3*p - 3*k - 23. Let b = -2 - p. Suppose 5*j - 40 = 5*d, 0 = b*j - j - 4*d - 40. Does 6 divide j?
False
Suppose 2*x + 3*z = 67, -4*x - x = 2*z - 195. Suppose -5*v + x = -4*v. Is v a multiple of 11?
False
Let r(y) = 12*y + 6. Does 46 divide r(11)?
True
Let g(l) be the second derivative of l**5/20 - l**4/6 + l**3/2 - l**2 + 6*l. Is 5 a factor of g(3)?
False
Let a = 64 - 28. Does 5 divide a?
False
Suppose m = 5 - 2. Suppose 4*i - 5 - m = 0. Suppose 0 = -i*b + 3*b + 4*z - 45, 0 = 4*b - 2*z - 90. Is 12 a factor of b?
False
Suppose -2*s - 3*s = -40. Let t(p) = 3*p + 3. Is 9 a factor of t(s)?
True
Let r be (-6)/(-1)*4/3. Is r/10*(-170)/(-4) a multiple of 9?
False
Let c(h) be the second derivative of h**4/6 - 4*h**3/3 + 3*h**2 - 3*h. Is 14 a factor of c(5)?
False
Let g(r) = r**3 + 2*r**2 - 2*r. Is g(2) a multiple of 12?
True
Let x(c) = 10*c - 2. Suppose 4 + 4 = 4*f. Let a = 0 + f. Does 13 divide x(a)?
False
Let t(w) = -w - 4. Suppose i = -4 - 6. Is 3 a factor of t(i)?
True
Suppose 20 = 6*w - 2*w, h = -4*w + 56. Is 4 a factor of h?
True
Suppose -4*n = 5*y - 24, y = -0*n - 2*n + 6. Suppose 0*v = -y*v + 88. Does 22 divide v?
True
Suppose 3*m - 2*m - 4*s - 16 = 0, 5*s = -m - 2. Suppose -v + m = v. Suppose x + v*h + 7 = -6, -x = -3*h - 15. Is 3 a factor of x?
True
Let g be 1 - (-4)/(-1) - -5. Suppose z = -2*w - 0*z + 245, 0 = 2*w - g*z - 242. Suppose 27 = j + a, -4*j = -3*a - w - 7. Does 15 divide j?
True
Let v = 32 - 17. Is v a multiple of 4?
False
Let s(g) = -3*g. Does 6 divide s(-12)?
True
Suppose 0 = 4*p - 9 + 1. Let u(f) = f**2 + 3*f - 1. Let l be u(-4). Suppose 62 = p*c + 2*v - 4*v, -5*c - l*v = -131. Is 14 a factor of c?
True
Let f(l) = l**2 + 4. Let n be f(-3). Suppose 15 = 2*m - n. Is 7 a factor of m?
True
Let c(q) = -q**3 + 5*q**2 + 3*q + 6. Let v be c(6). Is 2 - 2*v*1 a multiple of 13?
True
Let k(b) = 2*b**2 - 7*b + 5. Let u be k(5). Let r(f) = -f**2 - 3*f. Let s be r(-2). Suppose -u = -s*j + j. Is 13 a factor of j?
False
Suppose -3*m + 8*m = 875. Suppose -4*o + 9*o = m. Suppose -y - 4*r + 8*r = -5, 2*r + o = 3*y. Does 10 divide y?
False
Let k(i) = -i**2 - 6*i + 7. Does 5 divide k(-6)?
False
Suppose 434 = 5*b - 11. Suppose -7 + b = f. Suppose -4*r + 72 + 54 = 3*p, -f = -3*r + 4*p. Does 14 divide r?
False
Let w(v) = -3*v**3 + v**2 - v + 2. Let q be w(4). Does 6 divide (-2)/(-15) + q/(-15)?
True
Suppose -2*t = -3*t + 4. Suppose -2*z = -4*o + z + 73, -t*z - 12 = 0. Is o a multiple of 10?
False
Let p = 1 - -2. Suppose 0 = 4*w + 4, p*v - 5*w + 23 = 4*v. Does 14 divide v?
True
Let c be (-1)/2*2/(-1). Is c - 1 - (-3 + -3) even?
True
Suppose -2*z = -4*u - 0*u - 6, -5 = -z + 4*u. Let k be 4/(z + (-147)/141). Let m = k - -160. Is 26 a factor of m?
False
Let n be (-20)/3*198/(-4). Suppose 0 = 5*a - 4*h - n, -2*h - 132 = -2*a + h. Suppose 2*d = -5*v + a, 2*v - 45 = -3*v + 5*d. Does 12 divide v?
True
Let a = -6 + 10. Let n(r) = -r**2 + 10*r - 2. Is 13 a factor of n(a)?
False
Let d be 1/4 + (-126)/(-8). Let i(q) = -q**3 + q**2 - q - 6. Let g be i(0). Let s = d + g. D