ltiple of 36?
False
Let h = -32 + 152. Is h a multiple of 12?
True
Let g(f) = -8*f - 18. Let j(p) = p + 1. Let i(w) = g(w) + 12*j(w). Does 13 divide i(8)?
True
Let i = -5 + 7. Suppose i*k = -0*k. Suppose l = -k*l + 13. Is l a multiple of 10?
False
Let y(v) = v - 3. Let b be y(0). Let r be (3 - 9)/(b/2). Suppose r*a - 52 - 52 = 0. Is a a multiple of 13?
True
Let q(x) = -5*x + 5. Let g(b) = 7*b + 1 + 0 + 0. Let y be g(-1). Is q(y) a multiple of 13?
False
Suppose 2*b + 458 = 6*q - 2*q, q = 3*b + 127. Is q a multiple of 16?
True
Let i(c) = -6*c**3 + 0*c**3 + 2*c**2 - c + 2*c + 3 - 1. Does 10 divide i(-2)?
False
Let s = -6 - -5. Let n be (-5)/s*(-36)/(-20). Suppose 45 + n = 3*q. Does 13 divide q?
False
Let d(b) = 6*b**3 - b**2 - 5*b + 6. Does 25 divide d(2)?
False
Suppose 3*v = 0, -4*h + 8 = -0*h - 5*v. Suppose 57 = h*j + j. Is 19 a factor of j?
True
Let t be 0 - (5 + -2 + 3). Let c = t + 20. Is c a multiple of 8?
False
Let n(w) = -w**2 + 11*w - 4. Let c(k) = -k**2 + 5*k - 4. Let h be c(6). Let q = 0 - h. Does 4 divide n(q)?
False
Suppose -4*j - j + 10 = 0. Is 4 a factor of 6 - ((-2 - -1) + j)?
False
Suppose -4*n + 13 = -5*d - 15, -5*n = 4*d + 6. Let r = 6 + d. Is 18 a factor of 14 + r - (-5 + 3)?
True
Suppose 0 = 78*n - 81*n + 84. Is n a multiple of 2?
True
Suppose 6*x - 2*x = 0. Let o(w) = -w**2 + 23. Does 7 divide o(x)?
False
Suppose -8 = -4*u + 4*g + 52, 2*u + 5*g = 30. Is u a multiple of 5?
True
Suppose -11 = -2*d + 229. Does 15 divide d?
True
Let w(h) = -29*h**3 + h**2. Suppose j = -0 + 4. Suppose -4*o + 19 = -3*d - 0*o, j*o - 17 = d. Is w(d) a multiple of 10?
True
Suppose 3*b + b = 260. Is b a multiple of 25?
False
Let n(q) = q**2 + q + 1. Is 2 a factor of n(-2)?
False
Let p(k) = -k + 8. Let l be p(4). Suppose l*n - 220 = 4*q, -3*n + 173 = -2*q + q. Is 16 a factor of n?
False
Suppose 3*o = m + 132, 200 = 5*o + m + 4*m. Does 15 divide o?
False
Let k(j) be the second derivative of j**4/4 + 5*j**3/6 + j**2 - 5*j. Is k(-4) a multiple of 10?
True
Let f be ((-3)/6)/(1/16). Let v = 0 - -6. Let y = v - f. Does 7 divide y?
True
Let d(t) = 3 - 3*t - 1 - 7. Is 5 a factor of d(-6)?
False
Suppose -4*h = -71 - 73. Is h a multiple of 12?
True
Let y = 18 - 9. Does 3 divide y?
True
Let h be (5/15)/((-2)/(-744)). Does 12 divide h/2 - 4/(-1)?
False
Suppose -2 = -2*n - 4. Let o(h) = 19*h - 9. Let p be o(2). Let i = p - n. Is 10 a factor of i?
True
Let o be (5 - -3)/(-1 - 0). Let y be o/2 + -2 + -1. Is 410/35 - 2/y a multiple of 12?
True
Suppose 0 = v - 3*f + 4, 0 = -5*f + 2 + 8. Let y = v - -4. Does 6 divide y?
True
Suppose 6*o + 72 = 2*o. Is (27/o)/(2/(-4)) a multiple of 2?
False
Let q be 17/(-2) - (-3)/6. Let b be (-5)/(-15) - q/3. Is 0 - (-21 + (4 - b)) a multiple of 20?
True
Suppose -5*m = 20 + 35. Let t = m + 62. Is 18 a factor of t?
False
Let g(j) = 2*j + j - j**3 - j - 1. Let n be g(-2). Suppose 0 = 4*c - 5*b - 0*b - 54, -n*c + 43 = -5*b. Is 11 a factor of c?
True
Let j(n) = 2*n**2 - 5*n + 2. Let w(z) = -z**3 + 7*z**2 - 21*z + 9. Let r(v) = 9*j(v) - 2*w(v). Suppose 3*s = 5*i + 7 - 20, 4*s = -2*i. Does 13 divide r(i)?
True
Let z(k) = k**2 - 5*k - 3. Let t be z(5). Let a be ((-2)/t)/((-1)/(-3)). Suppose 0 = -a*i + 7*i - 70. Does 14 divide i?
True
Let w(f) = -f**3 + 9*f**2 - f + 10. Does 22 divide w(8)?
True
Suppose -3*l = -5*n + 728, -3*n - 5*l = -l - 431. Is n a multiple of 8?
False
Let v = 184 + -129. Is 10 a factor of v?
False
Suppose 0 = 2*l - 3*l. Suppose l = -u + 5 + 6. Does 11 divide u?
True
Suppose -n - 4*w = 3*n - 28, 4*w = 3*n. Does 5 divide (-15)/6*(0 - n)?
True
Does 11 divide 40/5 + 3*(2 + -1)?
True
Let x = 15 + -11. Suppose -i - s + 10 = s, -48 = -x*i - 4*s. Is 14 a factor of i?
True
Let w = -130 - -192. Let g = w + -28. Is g a multiple of 17?
True
Suppose -8*w = -137 - 287. Is w a multiple of 5?
False
Let x(t) = t**2 - 5*t + 2. Let p be x(6). Let h = p - 4. Let a(f) = 6*f + 4. Is 15 a factor of a(h)?
False
Let b(t) = -t**3 - 6*t**2 + 7*t + 1. Let u be b(-7). Let g(y) = 19*y**3 - y**2. Is g(u) a multiple of 18?
True
Let h(b) = -b**3 + 7*b**2 - 6*b + 10. Is 9 a factor of h(5)?
False
Suppose 8 = -g + 5*g. Suppose v + g*v = 6. Suppose 0 = v*i + i - 24. Is i a multiple of 4?
True
Let v be 63/12 + (-4)/16. Suppose 0 = v*x - 12 - 18. Let m(u) = -u**3 + 6*u**2 + 7*u - 6. Does 12 divide m(x)?
True
Suppose 2*a + 2 - 12 = 0. Suppose 5*m = -15, k + a*m - 19 - 13 = 0. Let h = -8 + k. Does 13 divide h?
True
Let j be (-3)/(((-27)/6)/3). Suppose -z - j*z + 96 = 0. Does 20 divide z?
False
Let g(a) = a**3 - 10*a**2 + 11*a + 7. Is g(9) a multiple of 7?
False
Let u = -47 + 84. Is 15 a factor of u?
False
Let p = -10 - -15. Suppose 0 = -t - 2*l + 1, 35 = p*t - l + 8. Is t a multiple of 5?
True
Let w be (-4 - -5)*(-1 + 5). Let b = w + -2. Suppose 140 = 4*c + 4*m, -2*m - 18 - 48 = -b*c. Is c a multiple of 17?
True
Let o(t) = -t**3 - t**2 - t - 1. Let j(x) = 4*x**3 + 9*x**2 + x + 1. Let r(q) = -j(q) - 5*o(q). Let a be r(5). Let v = a + -27. Is 11 a factor of v?
True
Let y be (-29)/(-6) + (-1)/(-6). Suppose y*p - 120 - 60 = 0. Does 18 divide p?
True
Let z(d) = -7*d**3 + d**2 + d + 1. Suppose 5*v + 2 + 3 = 0. Let x be z(v). Let r(o) = o - 4. Is r(x) a multiple of 2?
True
Let m = -14 - -8. Does 9 divide (-9)/(-3)*(-100)/m?
False
Suppose -272 = -4*o - 0*o. Is 26 a factor of o?
False
Let a(d) = d**2 - 5. Let f(j) = 1. Let w(t) = a(t) + 4*f(t). Let o be w(0). Let u = o - -35. Is 17 a factor of u?
True
Let j(m) = 2 + 3*m - 5*m**2 + 8*m - 4*m - m**3. Let k be j(-6). Is 0 - k*(-38)/(-4) a multiple of 15?
False
Let y be (-5)/(-4)*(9 - 5). Suppose 0 = 2*c + c - y*r - 79, 142 = 5*c + 2*r. Is c a multiple of 28?
True
Suppose -u = u - 4*t - 258, -3*t - 526 = -4*u. Does 19 divide u?
True
Let d(o) = o**2 + 4*o + 3. Let y be -1 - 9/(4 + -1). Let g be d(y). Suppose 5*l - g*l + 2*n - 6 = 0, -3*l = 4*n - 8. Does 2 divide l?
True
Let x = 6 + -4. Suppose -x = k - 8. Does 3 divide k?
True
Let v(d) = 2*d - 7. Let r be v(6). Suppose 14 = r*c + 4*s - 22, 4*s = 4*c. Let x = 12 - c. Is x a multiple of 3?
False
Let d = 13 - 9. Let l(m) = m**2 + 2. Is l(d) a multiple of 18?
True
Let c(o) = 11*o**3 + 41*o**2 + 23. Let d(v) = v**2 + 8*v + 7. Let q be d(-5). Let j(a) = 4*a**3 + 14*a**2 + 8. Let w(n) = q*j(n) + 3*c(n). Does 3 divide w(-11)?
False
Is 332/6*6/4 a multiple of 21?
False
Let a be (-3)/1 + 3 + -3. Let g = a - -5. Is g a multiple of 2?
True
Let b be (0/(-1))/(1/(-1)). Suppose -2*v = 8, 2*g - 4*g + v + 64 = b. Does 12 divide g?
False
Suppose -f + 2*z = -32, -3*f - 6*z + z = -85. Let x = 75 - f. Does 22 divide x?
False
Let t be 1/(-1*(3 + -4)). Let q = t - -8. Is q a multiple of 9?
True
Let k(t) = 7*t - 5. Is k(4) a multiple of 10?
False
Let g = 9 - -4. Let l(m) = m**2 - 12*m + 19. Is 8 a factor of l(g)?
True
Let b(z) = -z**3 + 4*z**2 - z - 2. Let l be b(3). Suppose 12 = -n + l*n. Suppose -3*q = y - 45, n*y + 147 = 8*y + q. Does 12 divide y?
True
Let z = 23 - 7. Suppose 5*k = 3*k - z. Does 3 divide (9/(-12))/(1/k)?
True
Let l(x) = -x - 3. Let g be l(-4). Suppose -a + g = 5*f, 4*f = 2*a - 24 - 20. Does 5 divide a?
False
Suppose 0 = v - 2 + 1. Suppose 4*f + 4*q = 20, 2*f = 3*f - 3*q - v. Suppose -f*x + 2 = -22. Is x a multiple of 6?
True
Let w(n) be the second derivative of n**4/12 - 7*n**3/6 + 3*n**2 + n. Let x be w(6). Suppose k + d - 33 = 2*d, 5*d - 5 = x. Is 13 a factor of k?
False
Let c = 43 - 16. Does 5 divide c?
False
Let d(a) = 18*a**2 + 3*a + 4. Is 9 a factor of d(-2)?
False
Suppose -5*h + 41 + 1044 = 0. Does 15 divide h?
False
Let u = 2 + 14. Let z = u + 22. Is z a multiple of 19?
True
Let l(b) = b**2 - 5*b - 3. Let j be l(6). Suppose 0*o + o - j = 0. Suppose 6 = 6*a - o*a. Is 2 a factor of a?
True
Is (-2 + (-92)/(-2))/2 a multiple of 11?
True
Let p(h) = -2*h - 6. Let g be p(-5). Let o be g/(-6)*(-6)/(-2). Is 3 a factor of (14 + 1)*o/(-6)?
False
Suppose 4*j = -4*i - i + 1000, -j - 1000 = -5*i. Is i a multiple of 49?
False
Let m be 0/((-2 + 1)/(-1)). Suppose m = 3*t + t - 32. Does 8 divide t?
True
Let r be (1*-2)/(6/147). Let x = r - -77. Does 14 divide x?
True
Suppose -5*u + 127 = 3*b, 0 = -u + 4*u + b - 77. Suppose 3*t - 2*k = 76 + u, 58 = 2*t + 2*k. Does 16 divide t?
True
Let y = 108 + -63. Is y a multiple of 14?
False
Suppose -4*f - 80 = -9*f. Is 3 a factor of f?
False
Let n(i