 n = 212 - 2. Does 42 divide n?
True
Let f(w) be the first derivative of -5*w**2/2 + 145*w + 26. Is f(0) a multiple of 20?
False
Let u(x) = -2*x**3 + 12*x**2 + 2*x. Let p be u(6). Suppose -l - 66 = -3*l. Let t = p + l. Is 9 a factor of t?
True
Let f = -3 - -18. Let s = -15 + f. Suppose 8*a - 3*a - 60 = s. Does 3 divide a?
True
Let x = -5 - -9. Suppose -92 = -x*y + 4*l, 27 = -2*y + 3*l + 69. Is y + 2/((-4)/(-6)) a multiple of 15?
True
Let l = -156 + 244. Does 3 divide l?
False
Suppose 5*v = -z + 713, 0 = -8*v + 5*v - 3. Is z a multiple of 11?
False
Suppose r + 18 = 5*g, -11*r - 26 = -14*r - 5*g. Is r/(9/((-3699)/(-6))) a multiple of 24?
False
Suppose d - 4*d - 3*t = 36, -3*t = 9. Is 13 a factor of 1530/14 - d/((-63)/2)?
False
Let f = -35 - 37. Is 12 a factor of (-5)/(-2)*f/(-15)?
True
Let g = 28 + -13. Let t be 6/(-15) - 129/g. Let x = t + 58. Is 12 a factor of x?
False
Suppose 4*o = -2*z + 192, -5*o - 3*z - z = -246. Let r be (o*-1)/(2/(-3)). Suppose 0 = -8*x + 3*x + 2*w + r, 3*x - 43 = 2*w. Is 6 a factor of x?
False
Let f = -592 - -1042. Is f a multiple of 18?
True
Let l(j) = j + 2*j**2 - 8 - j**2 + 0 + j**3. Does 19 divide l(4)?
True
Let c(p) = 5*p + 3. Suppose 3*s - 5*y = 15, 2*s + 3*y = s + 5. Is c(s) a multiple of 8?
False
Suppose 4*g = 3*g + 4*p + 11, -4*p - 56 = 4*g. Let r(t) = -t**2 - 11*t + 3. Let c be r(g). Suppose 2*v - 7 = -7*q + 2*q, -v + q + c = 0. Is v a multiple of 7?
False
Let o(r) = -85*r**3 - 6*r**2 - 12*r - 23. Is 63 a factor of o(-3)?
False
Let x = 2747 + -732. Is 13 a factor of x?
True
Let a(g) = 7*g + 6. Let t be a(-6). Is 8 a factor of (1 - 5)*9/(t/16)?
True
Suppose -5*x - 5*c = -2270, 2*x + 6*c = 3*c + 906. Is 38 a factor of x?
True
Let g(t) = -8*t - 4. Let j be g(-3). Is (-6)/(48/j)*-12 a multiple of 10?
True
Suppose 3*c - 2114 - 1741 = 0. Let i = c - 581. Is i/24 + (-2)/6 a multiple of 8?
False
Let d(z) = 13*z**2 + 3*z - 1. Let a be d(2). Let b = a + -9. Is -44*3*(-20)/b a multiple of 17?
False
Let i be (-6)/9*9/6. Does 26 divide (2142/27 - 1) + i/3?
True
Suppose 0 = 3*r - i - 465, -3*r + 0*r + 3*i = -465. Suppose -8*y + 3*y + r = 0. Does 6 divide y?
False
Let h(c) = 2*c**2 + 7 - c + 2*c**2 - 7*c - 10. Does 13 divide h(-2)?
False
Let a(k) = -25*k - 5. Let x be a(-2). Suppose 0 = 4*p - x - 195. Does 13 divide p?
False
Let b = 535 + -453. Is b a multiple of 4?
False
Let u(p) = -5*p - 6. Let m(j) = 11*j + 11. Let r(l) = -4*m(l) - 9*u(l). Let z be r(-7). Suppose 3*v - 3*i = -2*i + 82, -z*v = 4*i - 92. Does 7 divide v?
True
Suppose 0 = 5*q - 3*z - 29, 0*z = -4*q - 4*z + 4. Suppose -q*p - 5*c + 181 = -4*c, -133 = -3*p + 2*c. Does 4 divide p?
False
Let z = -168 - -353. Suppose -5*j = -4*a - z, 2*j + 8 = -2*a + 100. Does 13 divide j?
False
Let t(r) = -r + 4*r - 69 + 71 + 5*r + 6*r**2. Does 8 divide t(-3)?
True
Is (-5403)/(-6) + 30/12 a multiple of 14?
False
Does 15 divide 6/(-15) + 45030/75?
True
Let s = -23 + 32. Let z = 12 - s. Suppose o = 6*o - z*t - 40, 5*t - 25 = 0. Does 3 divide o?
False
Suppose -s - 6 = -p, -5*p - 6*s + 4*s = -9. Suppose -p*h - l + 320 = 0, h - 64 = 2*l + 52. Suppose 3*b + 5*j - 25 = 2*b, 3*b = -4*j + h. Is 10 a factor of b?
True
Suppose 0 = 4*v + 20, 3*o + 47 = -2*v - 5. Let w = o + 31. Let h = w + -5. Is 12 a factor of h?
True
Suppose -1683 - 695 = -2*h. Is h a multiple of 105?
False
Suppose -l - 40 = -6*l. Let m(j) = -3*j - 13*j + 7*j + 11*j + 3. Does 19 divide m(l)?
True
Let q = 3 + 1. Suppose -2*c + 26 = -4*l, 2*l - q*c + 2*c = -18. Does 5 divide (-1)/l - 35/(-4)?
False
Let i(j) be the second derivative of -j**5/20 + 13*j**4/12 - 7*j**3/3 + 5*j**2/2 - 232*j. Suppose 5*o = 42 + 13. Does 16 divide i(o)?
False
Let m = 110 - 103. Suppose m*q - 5*q - 4 = 0. Is q a multiple of 2?
True
Let b = 24 - 43. Let i = b - -39. Suppose l - i = -l. Is l a multiple of 7?
False
Let p(m) = -75*m - 270. Does 5 divide p(-7)?
True
Let o(f) = 4*f + 2. Let b(s) = -s**3 + s**2 + s + 1. Let w(q) = -8*q**3 + 7*q**2 + 3*q + 6. Let y(g) = 5*b(g) - w(g). Let l be y(1). Is o(l) a multiple of 10?
True
Suppose y - 2*y + 104 = 0. Suppose -108*o + 432 = -y*o. Is 18 a factor of o?
True
Let r be (-340)/(-90) - 2/(-9). Suppose -2*c + 5*f + 10 = 0, -2*f - 20 = -r*c - 3*f. Does 9 divide 728/20 - 2/c?
True
Suppose 0*y - 2013 = -4*f + y, 3*y = 3*f - 1503. Is f a multiple of 24?
True
Let z(g) = 8*g**2 + 2 - g**3 + 0 + 10 + 10*g. Suppose 4*x - 7 = -3*a, 0*a + 33 = 2*a - 3*x. Is 15 a factor of z(a)?
False
Let q(r) = 23*r - 39. Let u = -5 - -14. Does 14 divide q(u)?
True
Let y(i) = 8*i - 1. Suppose -3*j + 0*j - 15 = 0. Let z be y(j). Let h = z + 57. Is h a multiple of 5?
False
Suppose 1312 + 928 = 8*v. Is v a multiple of 8?
True
Suppose n + 0*n = 4*l + 21, -2*n + 22 = -3*l. Suppose z = n, -d - z + 20 = -0*d. Let f = d + -6. Does 2 divide f?
False
Suppose -4*w + 167 = 5*v, -v - 2*w = 2*v - 99. Suppose v*a = 29*a + 70. Does 8 divide a?
False
Let a(v) = 204*v + 12. Does 6 divide a(1)?
True
Let x be 80/60*6/4. Let j(b) = -4*b - 3*b + 3 - x - 3. Is 10 a factor of j(-6)?
True
Let k(d) be the third derivative of 27*d**4/8 + 5*d**3/6 - 30*d**2. Is 41 a factor of k(1)?
False
Let u(h) = -196*h + 9. Let w be u(-4). Suppose -f + w - 107 = 4*a, -a + f + 174 = 0. Does 24 divide a?
False
Let a = 12 - -42. Let s = 58 - a. Is s a multiple of 3?
False
Suppose -40 = 3*s - 7*s. Suppose 0 = -5*a - 2*l + 7*l + 315, s = 2*l. Is a a multiple of 4?
True
Let k(q) = 5*q. Let i be k(3). Let a = i - 11. Let u = 9 - a. Does 5 divide u?
True
Suppose f - 109 = 4. Suppose f = -2*a + 363. Is a a multiple of 25?
True
Let m = 161 - 87. Suppose -5*s - m = -5*w + 4*w, -5*w - 4*s = -312. Suppose 4*l - 25 = 4*d + 71, -2*l - 2*d = -w. Is 9 a factor of l?
False
Suppose k - 13 = 7. Suppose 3*b - 10 = k. Suppose 0 = 5*x - 5 - b. Is x a multiple of 2?
False
Let h = 7 + -7. Suppose 4*c + 2*c - 228 = h. Does 6 divide c?
False
Suppose -4*j + 8 + 11 = 5*k, j + 11 = 4*k. Suppose -2*s - 7*n + k*n + 390 = 0, -3*n = s - 191. Does 29 divide s?
True
Let r(z) = -50*z - 2. Let f = 82 + -83. Does 16 divide r(f)?
True
Let p(b) = -b**3 - b**2 - b + 1. Let r be (-2 - (-15)/6)*2. Let m be p(r). Does 11 divide 78/3 + (m - -5)?
False
Let w(o) = o. Let x be w(7). Let d = 15 - x. Suppose -2*s - 3*i + d = -25, -5*s = 3*i - 96. Does 6 divide s?
False
Let p = 42 + -43. Does 3 divide (8/((-4)/p))/((-2)/(-21))?
True
Suppose -5*j = 3*p - 676 - 90, -10 = -5*p. Let v = j - 65. Let m = v + -51. Is 12 a factor of m?
True
Let v(t) = 14*t**2 - 10*t + 7. Does 3 divide v(-3)?
False
Is (1/2)/((-2)/1800*-5) a multiple of 19?
False
Suppose -3*i + 29 = 4*l, -3*i + 28 = 5*l - 6. Suppose l*t - 8 = 3*t. Suppose t*x = -x + 120. Does 12 divide x?
True
Suppose -5*l + 32 = -8. Let n(f) = f**3 - 7*f**2 + 4*f + 1. Let a be n(l). Let k = -69 + a. Is 6 a factor of k?
False
Let o be (-5 - -5)*1/1. Suppose 3*c - 3*f = 567, o = -5*c - 4*f + 624 + 321. Is c a multiple of 63?
True
Suppose 3*j + 4 = -4*u, -3 = -4*j - u - 4. Let q = -34 + 56. Suppose j = -4*p + 22 + q. Is 3 a factor of p?
False
Let t = -4 + 4. Suppose 13 = 5*j + 3*k, 0 = -4*j - t*j - 4*k + 12. Is (-2086)/(-35) - j/(-5) a multiple of 10?
True
Suppose 6*n = n - 15. Does 17 divide n*17/3*-1?
True
Suppose -y + 16 = -5*y, -5*y = 2*v - 156. Suppose -3*k + 38 = -v. Is 14 a factor of k?
True
Suppose 2*f - c = 4*f + 104, f - 5*c = -41. Let o = 79 + f. Is o a multiple of 8?
False
Let u = 17 - 38. Let t = u - -35. Is t a multiple of 9?
False
Let z(c) = -c**3 - 14*c**2 + c - 2. Let i be z(-11). Let d = -138 - i. Is d a multiple of 17?
True
Suppose -6*l = -l - 15. Suppose -l*y = y - 60. Is (-1 + -5)/(y/(-50)) a multiple of 10?
True
Let k be 2/(-9) - (-130)/18. Let l be (-41929)/69 + ((-20)/(-12) - 1). Is 16 a factor of 2/k - l/7?
False
Suppose -q - 1 = 0, y - 17 = -4*q + 10. Does 14 divide y?
False
Let b(i) = i**2 + 19*i - 4. Let y be b(-4). Let v = y - -93. Is v a multiple of 11?
False
Is (35/2)/(-1*6/(-156)) a multiple of 35?
True
Let w = 103 + -23. Suppose -w - 20 = -3*q + 4*f, -110 = -3*q - f. Does 18 divide q?
True
Let x = 20 - 25. Let c(y) = 5*y**2 + 4*y + 2. Is c(x) a multiple of 15?
False
Let l(o) be the first derivative of o**3/3 - o**2/2 + 3*o - 23. Does 4 divide l(-2)?
False
Let s(q) = -3*q - 9 + 7*q - 9 + q**2. Let p be s(-6). Is p/(-21) - 1056/(-28) a multiple of 15?
Fal