iple of 14?
False
Let g(d) = -3*d**2 - 2*d + 1. Let x be g(-2). Let f = -1 - x. Is f a multiple of 3?
True
Let g(o) be the first derivative of 2*o**2 - 3*o + 1. Let v be g(2). Suppose v*p - 315 = -55. Does 20 divide p?
False
Let t = 8 + 0. Does 8 divide t?
True
Let a = 184 - 124. Suppose 0 = 3*s - 90 - a. Suppose -s + 14 = -4*b. Is b a multiple of 3?
True
Let m(s) = -9*s - 4. Suppose 0 = -6*o + 3*o - 12. Is 16 a factor of m(o)?
True
Suppose -3*p = -p + 12. Let o be (-3)/9 - 164/p. Let w = 58 - o. Is w a multiple of 12?
False
Suppose -2*b = -7*b + 5*t + 205, 0 = -4*t - 8. Suppose 5*h = b + 6. Is h a multiple of 9?
True
Let o(b) = b - 7. Let i be o(5). Let q be 2 - 1*-4 - i. Suppose 2*h - 3*p = -q*p + 33, 4*p = 2*h - 6. Is h a multiple of 6?
False
Suppose -473 = -5*f - 78. Let d = 121 - f. Is d a multiple of 14?
True
Suppose -23 = 4*y - 279. Is 4 a factor of y?
True
Suppose -4*u - 4 = -16. Suppose -u*o + 24 = -30. Is o a multiple of 11?
False
Suppose 5 = l - 24. Suppose -l = -4*m + 23. Is 13 a factor of m?
True
Let s be 4/2 - (0 - 3). Suppose 0*r + 3*r - 5*v = -71, -5*r = s*v + 105. Let y = r + 39. Does 15 divide y?
False
Let d = -27 + 44. Suppose -2*l = a - 12, 5*a - 32 - d = l. Does 7 divide a?
False
Suppose -5*f + 3*z + 496 = 0, -3*f + 286 = -0*f + 4*z. Is 14 a factor of f?
True
Let r(x) = -6*x + 6. Does 31 divide r(-8)?
False
Suppose -43 - 35 = 2*l. Let v = 84 + l. Is v a multiple of 15?
True
Suppose 4*w - 39 = 9. Suppose -3 = -u + w. Is 10 a factor of u?
False
Suppose 3*a + 5*j = 132 + 195, 2*a - 5*j = 193. Is 26 a factor of a?
True
Let j = -140 + 240. Is j a multiple of 20?
True
Is 33 + 6/(-3)*-1 a multiple of 19?
False
Suppose -400 = -7*t + 1000. Is 25 a factor of t?
True
Let x(w) = w**2 + 4*w + 6. Let k be x(-8). Suppose 4*i = -2*j + k, 57 = 3*j - 0*i + 2*i. Is j a multiple of 19?
True
Suppose 3*x - 81 = -3*a, -49 = -3*x + 3*a + 26. Does 13 divide x?
True
Suppose 0*a + a - 4*n - 88 = 0, -4*n + 104 = a. Does 16 divide a?
True
Let r be 0 + 0 - (17 + -20). Suppose -22 = -r*t + 14. Is 4 a factor of t?
True
Let j = 203 - 83. Is 20 a factor of j?
True
Suppose -k + 2*s - 103 = 0, -3*k - 4*s = -3*s + 344. Let b = k + 158. Does 15 divide b?
True
Let q(x) be the second derivative of 17*x**3/6 + 9*x. Is 17 a factor of q(2)?
True
Suppose 2*y - 6*y = 0. Suppose 2*t + 37 + 19 = y. Let o = 44 + t. Is o a multiple of 12?
False
Suppose -2*g = -s - 6, -5*s + g = -0*g - 6. Suppose -7*r + 135 = -s*r. Is r a multiple of 9?
True
Let l = 4 + -4. Let c = 2 + l. Suppose -3*r + 180 = c*r. Is r a multiple of 14?
False
Let x(t) = t**2 + 2*t - 5. Suppose -3*d - 3 = 9. Let f be x(d). Suppose 0 = 3*v + b - 20 - 15, -39 = -f*v + 3*b. Is v a multiple of 4?
True
Suppose -3*n + 4*q = 18, -2*n + 2*q - 7 = 5. Let b = 31 + n. Does 25 divide b?
True
Let w = 9 - 7. Suppose -2*d + 10 = w. Suppose 6*h - 2*h = -d*o + 92, h - o - 17 = 0. Does 7 divide h?
False
Let x(t) = -t**2 - t + 1. Let s be x(0). Let m be s/(-3) + 13010/6. Does 17 divide m/56 + 4/14?
False
Let d = -6 - -21. Let n = d - 28. Let y = n - -45. Is 16 a factor of y?
True
Let b be (12/8)/((-6)/8). Let o = 16 - b. Is o a multiple of 7?
False
Let a be 1 + 2 - (0 + 4). Is 6 a factor of ((-12)/(-18))/(a/(-9))?
True
Let m = -21 + 49. Is m a multiple of 28?
True
Suppose -3*w + 403 = -23. Does 14 divide w?
False
Suppose -5 = 5*a, -5*m - 3*a - a + 996 = 0. Is 20 a factor of m?
True
Is 14 a factor of (15/30)/((-1)/(-2)) - -41?
True
Let m = -1223 - -1737. Suppose -5*v + m = -a - 0*a, 2*a + 8 = 0. Is v a multiple of 27?
False
Let s(x) = -x**3 - 4*x**2 - 3*x - 5. Let u = 11 + -15. Is s(u) a multiple of 7?
True
Let a = 20 - 12. Does 7 divide a?
False
Let f(a) = a - 9. Let j be f(7). Is 21 - (3 - (-2)/j) a multiple of 9?
False
Let t be -3*(0 - (1 - 0)). Let x(k) = 3*k + 7. Let b(z) = 5*z + 10. Let p(o) = -5*b(o) + 8*x(o). Does 3 divide p(t)?
True
Suppose -11*d + 6*d + 1300 = 0. Does 13 divide d?
True
Let u be 1/2*(10 - -2). Suppose 0 = -o - 0*i + 2*i - 2, -2*o = i - u. Let p(r) = 2*r**3 - 3*r**2 - r + 2. Is p(o) even?
True
Suppose i + 16 = 3*i - 2*m, -i + 2*m = -12. Does 2 divide i?
True
Suppose -50 = -4*q + 14. Suppose 0 = -5*y - h + q, y - 6 = h + 2. Suppose 11 = d - y. Is d a multiple of 14?
False
Let d = -27 + 45. Let x = -12 + d. Is 2 a factor of x?
True
Let g(s) = 36*s - 2. Is 16 a factor of g(1)?
False
Let q(a) = a**3 - 6*a**2 + 9*a - 9. Does 9 divide q(6)?
True
Suppose -8*y = -175 - 577. Does 8 divide y?
False
Let w(k) = k + 2. Let s be w(-5). Is 25 a factor of (-345)/(-5) + (-1 - s)?
False
Let z(o) = o**3 - 6*o**2 + 6*o + 6. Is z(5) a multiple of 2?
False
Is (-1 + -201)*(4 - 9)/5 a multiple of 21?
False
Let b(v) = -2*v - 6. Is b(-6) a multiple of 2?
True
Let x be ((-4)/3 - -1)*-9. Let y(a) = -a**3 + 3*a**2 + 4*a - 2. Is 5 a factor of y(x)?
True
Let b = -11 - -15. Suppose -b*z = z - 30. Does 2 divide z?
True
Suppose p - 6*j = -j + 769, 0 = 4*j + 12. Does 15 divide 6/10 - p/(-10)?
False
Suppose -q + 15 = -5*m, -2*q = -0*q - m + 15. Let o = 19 - 26. Let i = o - q. Is i a multiple of 2?
False
Suppose -19*j + 556 = -15*j. Is 19 a factor of j?
False
Is (-147)/(-12) - (-15)/20 a multiple of 4?
False
Let j be 0 - (-5 - (-1 + 1)). Suppose o + 196 = j*k, 2*o + 2*o = -4*k + 152. Does 12 divide k?
False
Let l(v) = 25*v + 2. Is l(6) a multiple of 14?
False
Suppose -4*o + 44 = -176. Suppose o = 2*a - 9. Is 8 a factor of a?
True
Let a = -3 + 6. Suppose -2*d + 11 = a. Suppose -2*u - d + 1 = 3*x, 2*u + x = 3. Is 2 a factor of u?
False
Let m be 0*2/6 - -4. Suppose -v - 2*b = -9, -m*v + b + 31 = 4*b. Does 3 divide v?
False
Suppose -3*h = -7*h + 12. Suppose -2*f - 7*c + 2*c + 32 = 0, 0 = -f - h*c + 18. Does 6 divide f?
True
Let u = -61 + 94. Let q(b) = 2*b**2 + 2*b - 3. Let v be q(3). Let i = u - v. Is 6 a factor of i?
True
Let g = -3 + 1. Does 2 divide (-1)/(2 - (-5)/g)?
True
Let l(q) = -q**3 - 9*q**2 - 10*q - 7. Is l(-8) even?
False
Let k = -225 - -369. Is 24 a factor of k?
True
Let x(n) = n - 8. Let h be x(10). Suppose 0 = q + h*q - 21. Is q a multiple of 3?
False
Let m = 158 - 92. Suppose -2*l = -4*y + 3*y + m, 0 = -2*y - 4*l + 132. Is 17 a factor of y?
False
Does 13 divide (0 + -2)*3/((-12)/254)?
False
Let v(u) = -7*u + 20. Is v(-10) a multiple of 27?
False
Let h be 7/28 - 18/8. Is 15 a factor of 32 - (h*1 + 4)?
True
Suppose 9 = -4*r - 7. Let y be -3*r*1/3. Suppose y*c + 0*c = 40. Is 5 a factor of c?
True
Let d(r) = -r**2 + 2*r - 3. Let t be d(4). Let j be t/(-4) - 12/16. Suppose -f + 4*b = -21, j*b = f - 0*b - 17. Does 6 divide f?
False
Let j(t) = 2*t**2 + 8*t + 9. Is 17 a factor of j(-7)?
True
Let k(h) = h**2 + h + 2*h - h - h - 7. Suppose -5*y = 5*s + 40, 2*y + 7 = s - 0*s. Is 13 a factor of k(y)?
True
Let p = 25 + -7. Does 3 divide p?
True
Let d(c) = -9*c - 68. Does 65 divide d(-22)?
True
Let i(z) = z**3 + z**2. Let n(c) = -2*c**3 + 4*c**2 - 2*c - 1. Let s(u) = -6*i(u) + n(u). Does 4 divide s(-1)?
False
Suppose 3*g - 25 = -2*g. Is 6 a factor of g*(18/15 + 2)?
False
Let t(x) = x**3 + 8*x**2 - 10*x + 6. Does 13 divide t(-8)?
False
Suppose -79 - 81 = -5*n. Is 8 a factor of n?
True
Let q(s) = -2*s**3 - 7*s**2 + s + 5. Let u be q(-5). Let w = -37 + u. Is 19 a factor of w?
True
Let n(a) = -a**2 + 5. Let s be n(-4). Let i be (-548)/s + (-2)/(-11). Is (4/(-10))/((-5)/i) even?
True
Suppose 0 = -m + 2*m + 9. Let k(n) be the second derivative of n**3/6 + 15*n**2/2 + 4*n. Is 4 a factor of k(m)?
False
Let w(b) = -4 + b + 0*b + 7*b**2 + 11*b**3 + 1 - 10*b**3. Does 21 divide w(-3)?
False
Let a(j) = j**2 + 2*j - 6. Let c be a(-6). Let m be (-284)/(-6) - (-6)/9. Is 12 a factor of c/(-4)*m/(-18)?
True
Let a = -44 + 31. Let i = a + 22. Does 3 divide ((-2)/(-6))/(1/i)?
True
Let r = -8 + 13. Suppose f - 3*s = -2*f + 9, 4*s + 16 = r*f. Does 4 divide f?
True
Let p(t) = -3*t + 1. Let y be p(-1). Suppose k + y*w = -7, 4*k - 5*w = -0*k - 7. Let j = 6 + k. Does 3 divide j?
True
Let i = 19 - 37. Let m be -12*2*141/i. Suppose 4*l + 36 - m = 0. Does 15 divide l?
False
Let p = -34 - -61. Suppose -u = 2*b - 3, -p = -3*b - 2*b + 4*u. Is 2 a factor of b?
False
Suppose -10*o + 8 = -6*o. Let x be (-392)/(-10) - 1/5. Does 10 divide x - o - 1/1?
False
Suppose 5*g = g - 24. Let s be 535/3 + 2/g. Is 16 a factor of s/11 - (-4)/(-22)?
True
Let i(r) be the first derivat