e of 5?
False
Let k be -183*(-55)/10*-8. Is k/(-18) + (-8)/24 a multiple of 62?
False
Suppose -4*g - g - 5*o = -80, 3*g = -4*o + 52. Let m(d) = -2*d**3 - 1 - 14*d + 3*d**3 + 3*d - g*d**2 - 6. Is m(13) a multiple of 4?
False
Let i(x) = x**3 + 7*x**2 - 3*x - 20. Suppose 5 = 5*s + 40. Let q be i(s). Does 7 divide (2 + q + -1 + 3)*14?
True
Let r = -49 - -51. Suppose 5*g - 1140 = -4*j, g - r*g - 3*j + 239 = 0. Is g a multiple of 16?
True
Let o(a) = -a + 14. Let v(q) = q + 8. Let k be v(4). Let j be o(k). Suppose 4*u - j*u - 134 = 0. Is u a multiple of 27?
False
Is 11 a factor of (-592704)/(-2448) + (-2)/17?
True
Suppose 0 = 20*l - 22*l + 4. Does 17 divide -9 + 2/l - -1195?
False
Suppose -674754 - 64302 - 51444 = -204*k. Is k a multiple of 31?
True
Does 12 divide (63663/(-255) - (-2)/34)*(-234 - 1)?
True
Let q(u) be the third derivative of u**5/60 - u**4/24 + 9*u**3 + 7*u**2. Let d be q(0). Suppose -4*a + 5*o + 35 = 0, 4*a - 2*o - d = -16. Is 8 a factor of a?
False
Let f be (-63)/(-4 + 9/2). Let g = 188 + f. Is g a multiple of 9?
False
Let q(b) be the first derivative of -11*b**2 + 86*b + 59. Is q(-10) a multiple of 17?
True
Suppose -v - 19*w = -3737, 3*v - 18858 + 7647 = 5*w. Is 37 a factor of v?
True
Suppose 14*f + 456 = -5*f. Let g be ((-12)/14)/((-8)/672). Let n = g + f. Is n a multiple of 24?
True
Let u(r) = 4*r**2 + 39*r + 1196. Does 47 divide u(-27)?
False
Suppose -32*u + 9*u = -46. Suppose -4183 = -5*c - 4*n, -2*c + 845 = -c - u*n. Is 52 a factor of c?
False
Suppose -7*q + 5*q = -a - 63, -a + 5*q = 69. Suppose -2*t + 3*s + 5 = -54, -3*s + 53 = 2*t. Let v = t - a. Is 29 a factor of v?
True
Let k be 1 + -28*(-3)/6. Let y(m) = -m**3 + 15*m**2 + m - 6. Let q be y(k). Is 7 a factor of 0 + 3*84/q?
True
Let w(r) = r**2 + 3*r + 6. Let q be w(-3). Let z(y) = -16*y - 10. Let p be z(q). Let i = 154 + p. Is 8 a factor of i?
True
Let i = 17636 + 13158. Is 4 a factor of i?
False
Let t be 1195 + -11 + -3*3. Suppose 3*h - 992 = 4*q, -3*h + t = q + 208. Is 6 a factor of h?
True
Let t(r) = -23*r + 59. Let s be t(17). Let l = s - -747. Is 14 a factor of l?
False
Suppose 2160 = -5*t + 6465. Suppose -300 = 3*m + 3*c - t, 3*m - 586 = 2*c. Is 16 a factor of m?
True
Let h(q) = 6*q**2 + 33*q - 57. Is h(9) a multiple of 16?
False
Let f(j) = j + 11. Let d be (0 - 2)*(-123)/(-82). Does 4 divide f(d)?
True
Let h be (25/(-2))/((-65)/10 - -6). Suppose -h = 5*x - 0*x, 0 = -5*q + 5*x + 465. Let s = 122 + q. Is 30 a factor of s?
True
Let n = 276 - 470. Let m = -159 - n. Is 3 a factor of m?
False
Let n(m) = -3*m**2 + 49*m + 3. Let c(i) = -16*i**2 + 244*i + 16. Let v(t) = -2*c(t) + 11*n(t). Does 83 divide v(27)?
False
Let d be (7/5)/((-7 + 14)/175). Suppose d*r - 14440 = 15*r. Does 19 divide r?
True
Let b(j) be the third derivative of 0 + 169/6*j**3 - 1/6*j**4 - 11*j**2 + 0*j. Does 15 divide b(0)?
False
Let m(l) = 51*l**3 + 2*l**2 - 2*l - 3. Let j be m(-1). Let w = j - -50. Does 2 divide 21 - w - 3/3?
True
Let u be (-3)/(33/2) + (-24)/(-132). Suppose 12 = -u*t + 3*t. Does 14 divide (t - (-15)/(-6))*106?
False
Let k = 13 + 41. Let i(b) = -b**2 + 5*b - 3. Let j be i(3). Suppose 4*y - 34 = -3*w, 5*w - k = -y - j*y. Is w a multiple of 5?
True
Let c be 52/2*80/5. Suppose 94*z = 92*z + c. Is z a multiple of 11?
False
Let o(k) = 81*k**2 + 28*k + 16. Is 2 a factor of o(-3)?
False
Let t(y) = -y**3 - 11*y**2 + 12*y + 4. Let w be -8 + 0 - (9 + -5). Let a be t(w). Let b(n) = 2*n**3 + 6*n**2 - 15*n + 8. Does 43 divide b(a)?
True
Let p(d) = -6*d - 6. Let t be p(-4). Suppose 2*u + 5*u = 0. Suppose u = -3*i + 60 + t. Is i a multiple of 21?
False
Let t be 10 - (0 + -2 + 3). Suppose t + 3 = 4*f. Suppose 2*j + x - 150 = -x, f*j - 2*x = 200. Is 10 a factor of j?
True
Let l(n) = -8*n**3 + 0*n**3 - 4*n**3 - 2*n**2 + 4*n**3 + 2 - n. Let k be l(-2). Suppose -12*b + 10*b + k = 0. Does 10 divide b?
True
Let i be (-6)/4*21084/(-63). Let v = -260 + i. Does 11 divide v?
True
Suppose -5*u = 497 - 47. Let r be 8/(-6)*u/24. Suppose 2*o + 724 = 4*i - 0*i, -r*i - 3*o + 927 = 0. Does 43 divide i?
False
Let g(m) = 147*m**2 - 3. Let u be g(-4). Suppose -10*n = -n - u. Suppose -n = -3*r - 0*r. Is r a multiple of 13?
False
Suppose 121*w + 24*w - 32899 = 12776. Is 2 a factor of w?
False
Suppose 5*u + 9 + 11 = 0. Let k(q) be the first derivative of -q**4/4 + q**3 + 13*q**2/2 - 3*q + 469. Is k(u) a multiple of 13?
False
Let x = 8165 - -624. Is x a multiple of 66?
False
Let m be (-3 - 2 - -5)*(-2)/2. Suppose -2*n + 193 = d + 3*n, m = -d - 4*n + 188. Suppose -d = -5*h + 72. Is h a multiple of 27?
False
Let u(d) = -4*d**3 - 3*d**2 - d + 6. Let t be (-130)/(-3)*(10/(-4) + 4). Let n = t - 68. Does 17 divide u(n)?
False
Suppose -15 + 6 = -3*o. Suppose -t + f = t + 2, t + o*f - 13 = 0. Suppose -4*i + 132 = 4*a, -i + 42 = 3*a + t. Is i a multiple of 14?
False
Let x = 10 + -9. Let b(a) = 678*a + 0*a**2 + 3 + 65*a**3 + 0*a**3 - a**2 - 679*a. Is 33 a factor of b(x)?
True
Suppose 5*q - 61 = 34. Suppose -7*k = -8*k, -f = -3*k - q. Does 19 divide f?
True
Suppose 13 = 5*q - 2. Suppose -2*c + 20 = 3*m, q*c + 0*m = 4*m - 4. Let a = 18 + c. Does 3 divide a?
False
Suppose 337 = 5*i + 267. Suppose i = y + 4*h, -h - 2 + 1 = 0. Is y a multiple of 4?
False
Let z(j) be the third derivative of -17*j**4/24 - 17*j**3/6 + 2*j**2. Suppose -4*q + 71*y - 48 = 66*y, 4*q = -3*y - 16. Is z(q) a multiple of 14?
False
Let z(h) be the first derivative of 16*h**2 - 3*h - 28. Is 5 a factor of z(4)?
True
Let o be (-72)/(-6)*-1*(-1)/3. Suppose 0*q = 2*k + o*q - 74, -4*k - 5*q = -142. Let u = k + -23. Is u a multiple of 2?
True
Let r(d) = 7*d**3 + 3*d**2 - 9*d + 31. Let l(i) = -i**2 - 3*i**3 - 1 + 4*i + 5 - 7 - 12. Let b(g) = -5*l(g) - 2*r(g). Is b(0) even?
False
Suppose -4*u = -0*u + 3*r - 20, 0 = 3*u - 3*r - 15. Suppose 0 = -4*m - m - u. Does 34 divide ((-71)/2*m)/(8/32)?
False
Let z(a) = 2*a**2 - 25*a + 1242. Does 27 divide z(0)?
True
Suppose -4*d = 78 + 346. Let k = d - -318. Let u = k - 140. Is u a multiple of 9?
True
Let o = 47 - -229. Let l = 4 + o. Does 14 divide l?
True
Let k(j) = 2*j**2 - 32*j - 22. Does 11 divide k(44)?
True
Let o = -3197 + 4726. Suppose 0*r - g + o = 3*r, 0 = 2*r + 5*g - 1002. Suppose 9*w - r = 587. Is 28 a factor of w?
False
Suppose -11*z = -20*z - 4617. Let n = z - -647. Is n a multiple of 51?
False
Suppose 5*c - 4678 = -3*d, -3*c - 3110 = -2*d - 2*c. Suppose -5*n + d = -n. Does 7 divide n?
False
Suppose 29*l + 23*l - 7965 = -1205. Does 5 divide l?
True
Let h(y) be the second derivative of -4*y**3/3 + 43*y**2 - 27*y. Does 12 divide h(-21)?
False
Suppose 56 = -5*u + 56. Let d be (-12)/(u + -2)*4. Is d/(-15)*((-250)/4)/1 a multiple of 8?
False
Suppose 0 = -57*c + 52*c + 5040. Does 56 divide c?
True
Suppose -6*n + 1327 - 235 = 0. Suppose 3*l - n = 61. Suppose 45 = 2*k - l. Is k a multiple of 19?
False
Let f = 188 + -186. Suppose 0 = 4*z - f*l + 19 - 1739, -4*z + 1714 = l. Is 11 a factor of z?
True
Let r(x) = 3*x + 39. Suppose 6*k + 55 = -17. Let y be r(k). Does 14 divide 24*(y/(-6) - -3 - -1)?
True
Is 15 a factor of (-117*39 + 2)*(105 - 106)?
False
Let s(q) = 19*q**2 + 242*q - 3720. Is s(16) a multiple of 57?
True
Let w = -35267 - -58852. Is 185 a factor of w?
False
Let o = -24 + -52. Let d = 78 + o. Suppose 6 = 3*j, -3*u = -4*j + d*j - 317. Is 8 a factor of u?
False
Let x = -41 + 45. Suppose 3*b - 4 = -x. Is 34 a factor of 6 - 9 - (-139 + b)?
True
Let q(f) = -6*f + 48. Let k be q(4). Is 3057/3 - k/(-24) a multiple of 12?
True
Let t be (4/(-16))/(0 + 3/(-228)). Suppose v - 28 = 3*s + 2, -5*v + 90 = 5*s. Let x = t + v. Is 10 a factor of x?
True
Suppose 5*l - 4*l - 3*v + 12 = 0, 12 = 5*l + 3*v. Suppose l = -4*f - 3 + 15. Suppose -f*y - 2*b = 2*b - 86, -46 = -y + 3*b. Does 17 divide y?
True
Suppose 5*a - 487 = -2*r - 62, -a + 3 = 0. Let x = r - 79. Is 29 a factor of x?
False
Is 6 a factor of (-3)/((-9)/(-428))*((-86)/4 + -1)?
True
Let q(b) = -b**3 - 50*b**2 - 123*b - 61. Is q(-51) a multiple of 7?
True
Suppose -8 + 24 = -8*o. Let a be (-3 + -177)/5 - o. Is (-268)/a - (4 - 70/17) a multiple of 4?
True
Suppose -3*u - 70 - 68 = 0. Let r = u + 54. Does 3 divide (5/((-60)/16))/(r/(-108))?
True
Let p = 9726 - 4952. Is 11 a factor of p?
True
Let v = 19 - 0. Suppose 2*z - v = 183. Is z a multiple of 27?
False
Suppose -4*b + 12 = -5*v, -3