a multiple of 5?
False
Suppose -2*a + 1600 = 2*a. Suppose 5*q = -5*t + a, -5*t + 163 = -3*q - 197. Suppose 5*m - 55 = t. Does 10 divide m?
False
Suppose -5*l + w + 59 = 0, -4 = w - 0. Let p(y) = 2*y**2 - 4*y - 12. Is 31 a factor of p(l)?
True
Let f(b) = -b**2 - 50*b + 35. Is 16 a factor of f(-19)?
True
Suppose -314 = -3*c + 7. Suppose 5*y - 4*i = c, 4*y + 2*i - 61 = -3*i. Suppose 3*l - y - 20 = 0. Does 13 divide l?
True
Let z(t) = 9*t**2 + 13*t. Does 12 divide z(6)?
False
Suppose 2*l - l = 4*p - 20, 2*l - 25 = -5*p. Suppose -6*w + w + 170 = l. Is 17 a factor of w?
True
Suppose -4*a - 37 = -c - 108, -2*a = -c - 37. Let q(b) be the third derivative of b**4/24 - b**3 + 103*b**2. Is q(a) a multiple of 11?
True
Let g = 141 + -38. Is 2 a factor of g?
False
Let s = 538 + 1472. Does 51 divide s?
False
Let k(j) = j**3 + j**2 - j. Let b be k(1). Let x(c) = 11*c**3 - 2*c**2 + 2*c - 1. Let h be x(b). Suppose 167 = 3*a - h. Is 10 a factor of a?
False
Let x be 5 - 3/6*0. Let y be (-1 - x)*(-10)/3. Suppose -3*p = -2*p - y. Does 14 divide p?
False
Let w = 27 - 27. Suppose w = 48*o - 43*o - 40. Is o a multiple of 3?
False
Let f(p) = 4*p + 1. Let a(m) = -m**3 + 2*m + 1. Let i be a(0). Let g be f(i). Suppose 0 = -g*c - 3*b + 128, b - 26 = -c - 0*b. Is c a multiple of 22?
False
Suppose 109*s + 3119 = 133919. Does 30 divide s?
True
Suppose 2*y - 348 = i + i, 2*i - 842 = -5*y. Suppose 5*z + 2*r - 287 = 0, 5*z - r - y = 2*z. Does 33 divide z?
False
Let l(b) = -b**2 - 8*b + 11. Let f be l(-9). Suppose 2*u = s + f, -s = -1 + 3. Suppose u*d = 3*d - 168. Does 10 divide d?
False
Suppose 0 = -q + 2*q - 18. Let f = q + -16. Suppose -46 = -f*c - 2*m + 6*m, 0 = -c + 3*m + 20. Is 17 a factor of c?
False
Let b be (18/42)/(1/7). Suppose 5*i + 486 - 39 = 4*l, -b*l + 374 = 4*i. Suppose -3*t = -l - 56. Does 14 divide t?
False
Suppose 4*q + 6 = 2*u, 3*u + u - 5*q - 15 = 0. Suppose -3*o - 3*a + 51 = 0, 0 = -0*a - u*a + 20. Is o even?
False
Suppose -4*k - 5*p + 130 = 0, 5*p - 160 = -0*k - 5*k. Suppose -15 = 5*j, n = 2*n - 4*j - k. Is 6 a factor of n?
True
Let m be 49/(-14)*-1*2. Suppose r = m*r - 330. Does 11 divide r?
True
Let j(h) be the third derivative of 2*h**2 - 1/24*h**4 + 0 + 0*h + 7/2*h**3. Is 3 a factor of j(16)?
False
Let s(b) = b**2 - 3*b - 4. Let n be s(-3). Let a = n + -10. Is 24 a factor of 66/(((-16)/a)/(-4))?
False
Let z(a) = -80*a + 42. Is 46 a factor of z(-15)?
True
Let h(g) = -25*g**2 - g + 18. Let s be h(-9). Is 10 a factor of (-5)/(75/s) + 6/(-30)?
False
Let n = -72 + 83. Suppose -2*w = n*w - 1326. Is w a multiple of 6?
True
Suppose -2*p + 56 = 3*k - 3*p, -3*k + 4*p + 44 = 0. Suppose -2*i = 5*z - k, -23 = -3*i - 3*z - z. Suppose i*y - 144 = -14. Does 8 divide y?
False
Suppose -173 = -5*k + 77. Let m be k - (-2 + 0 + 1). Suppose -3*q + 3 = 0, -q = -5*f + 23 + m. Is 8 a factor of f?
False
Let t(j) = -32*j**2 - 2*j. Let x be t(1). Let i = x - -84. Does 14 divide i?
False
Let f(u) = -u**2 - 25*u - 21. Let n be f(-17). Let q = -35 + n. Is 10 a factor of q?
True
Suppose 4*p = -5*m - p - 370, 10 = -5*p. Suppose -6*k + 390 = -3*k. Let q = m + k. Is q a multiple of 16?
False
Suppose 4*v = 4*i + 6648, 1659 = -2*v + i + 4986. Is 111 a factor of v?
True
Let w(b) = -b**2 + 10*b + 9 + 8 + 4 + 7*b. Is w(11) a multiple of 19?
False
Let p = -1 - -2. Suppose 4*s = -2*d + 54, 2*s + s - 5*d = 60. Let v = s - p. Is 2 a factor of v?
True
Suppose 3*l + 5*z - 6279 = -1073, 5*z + 8650 = 5*l. Is 59 a factor of l?
False
Is (-3 + -7)*(-297)/15 a multiple of 9?
True
Let d(w) = 133*w**2 - w. Let h be d(1). Suppose 3*g - h = -c, -6*c - g + 561 = -2*c. Does 19 divide c?
False
Let v be (1/(-3))/(6/(-18)) + 13. Does 24 divide v/(-119) + (-2452)/(-34)?
True
Suppose -3*d + y + 150 = -2*y, -5*d - 2*y + 271 = 0. Let z = d - -98. Is 5 a factor of z/6 + (-2)/12?
True
Let u(h) = -h + 84. Is u(-21) a multiple of 3?
True
Suppose 0 = 5*q + 393 - 1028. Does 3 divide q?
False
Let c be 6/(-10) + 520/(-50). Let n(f) = f**2 + 9*f - 11. Let d be n(c). Suppose d*i = 9*i + 8. Does 4 divide i?
True
Let r be (-2)/12 - (4837/(-42) - 2). Let j = r + -77. Is 8 a factor of j?
True
Let h be 27/(-6)*(-8)/6. Let t(m) be the second derivative of 2*m**3/3 - 7*m**2/2 + 5*m. Is t(h) a multiple of 17?
True
Let h be (699/(-6))/((-3)/(-6)). Is 7/4 + -2 - h/4 a multiple of 7?
False
Suppose 10*u + 4*x = 8*u + 5748, -4*u + 11529 = -3*x. Is u a multiple of 90?
True
Suppose 0 = -2*k - 2*k - 8, -3*i = 4*k - 13. Let b(x) be the first derivative of -x**4/4 + 7*x**3/3 + x**2/2 - x + 14. Is b(i) a multiple of 2?
True
Suppose 4*i - 4*v + 12 = 0, 22 - 10 = 4*v. Let n(f) = f**3 - f**2 - f + 6. Is n(i) a multiple of 2?
True
Let g(f) = f**2 - 9*f + 10. Let q(y) = 2*y**2 - 18*y + 21. Let p = 0 - 9. Let w(b) = p*g(b) + 4*q(b). Is w(6) a multiple of 4?
True
Suppose 4*b - 5*p = 34, 2*p - 14 = -2*b + 3*p. Let x be 4/b*(-72)/(-4). Suppose -k - k = -x. Does 6 divide k?
True
Suppose -l = -101 - 53. Suppose 7*h - 202 = 400. Let w = l - h. Is 26 a factor of w?
False
Let x(o) = 2*o - 25. Let m be x(-11). Let c = -32 - m. Does 5 divide c?
True
Let j be (-2)/(-11) + (-2061)/(-99). Suppose 2*i = -3*y - 2*y - j, i + 2*y + 12 = 0. Let s = i - -39. Is s a multiple of 21?
True
Let k be 2/(-8) - 510/40. Let o(b) = b**2 + 12*b - 14. Let t be o(k). Is -14*(-3)/(4 + t) a multiple of 8?
False
Let a(y) = -12 - 4*y + 0*y**2 + 0*y**2 - 7*y - y**2. Let p be a(-9). Is p/15 - (-196)/10 a multiple of 10?
True
Suppose -4*g + 48 = -3*c + 12, 0 = 5*c - 3*g + 49. Let a(b) = -b**3 - 8*b**2 - 6*b - 15. Does 3 divide a(c)?
True
Let g(u) be the first derivative of u**4/4 + 5*u**3/3 + 14*u - 33. Is g(-4) a multiple of 15?
True
Suppose -5*o = -2*b - 30, 6*b - 2*b = -20. Suppose -o = -2*i - 6. Does 9 divide i/(1/(-27)*3)?
True
Let o(m) = -11*m**3 + m**2 - 11*m - 4. Does 19 divide o(-4)?
True
Is (2 + (-72)/16)*(-1376)/4 a multiple of 43?
True
Let u(j) = -j + 10. Let p be u(7). Suppose -5*i + 116 = s + 41, 4*s = -p*i + 45. Is 6 a factor of i?
False
Let h(j) = 2*j**2 + 41*j + 25. Is h(13) a multiple of 56?
True
Let k = 1661 - 679. Is 99 a factor of k?
False
Suppose -2*d - 5*m + 312 = 0, 0*d + 2*m = -d + 158. Is d a multiple of 58?
False
Let l = 0 + 12. Suppose 0 = l*b - 16*b. Suppose -5*i - 4*z + 75 - 17 = b, -5*z = -4*i + 30. Is i a multiple of 10?
True
Suppose 104 = -y + 9*y. Suppose -w - y = -o - 59, 0 = 2*w + 4*o - 62. Is 30 a factor of w?
False
Suppose -3*n - 29 = -5*t, -19 = -3*t + 2*n - 1. Suppose 5*g - 16 = t*g. Does 14 divide g?
False
Suppose 0 = 10*c - 92 - 178. Does 27 divide c?
True
Let z be ((-15)/(-10))/(9/12). Let g be z/(-4) - 248/(-16). Does 31 divide 2/g - (-13920)/225?
True
Suppose 5*q - l + 11 = 0, -6*l - 26 = 2*q - l. Let x(a) = -8*a + 2. Does 7 divide x(q)?
False
Let v(y) be the third derivative of 9/20*y**5 - 3*y**2 + 0 + 0*y**3 + 0*y + 1/24*y**4. Is 13 a factor of v(-1)?
True
Let g = 19 + -17. Suppose g*y + 8 + 8 = 0. Let z(t) = t**2 - 2*t - 4. Is z(y) a multiple of 19?
True
Let u(b) = b**3 + 5*b**2 - 8*b - 9. Suppose 0 = -5*m + 4*s - 38, -21 + 1 = 2*m - 4*s. Let a be u(m). Is (-304)/(-10) + a/5 a multiple of 4?
False
Suppose 2*i = 4*z + 1471 - 327, 3*i = 4*z + 1712. Is 28 a factor of i?
False
Suppose -j - 68 - 557 = -5*r, -2*r - j = -243. Is r a multiple of 3?
False
Let a(d) = d**3 - d**2 + 45*d - 29. Is a(13) a multiple of 38?
True
Suppose 0 = 6*v + 3 - 21. Let n = 22 + v. Let r = 33 - n. Does 8 divide r?
True
Suppose 0 = d - 2*d - 1. Is d + 3/6 - (-884)/8 a multiple of 11?
True
Let t be (4/6)/((-3)/(-90)). Does 22 divide (t/(-15) + (-740)/(-6))/2?
False
Let m = -286 + 78. Let h = 485 + m. Suppose 0 = 5*w - 742 + h. Is w a multiple of 31?
True
Let k(u) = -5*u - 1. Let y be k(-1). Suppose 5*l = t + 4*t - 200, 3*t = -3*l + 126. Suppose -43 - t = -y*v. Is 7 a factor of v?
True
Let i = -40 + 45. Suppose i*h - 231 = 349. Is 18 a factor of h?
False
Let t = 2882 + -2033. Is 17 a factor of t?
False
Let q(p) = -2*p**2 + 19*p - 15. Let w be q(8). Suppose w*i - 270 = 3*i. Is i a multiple of 3?
True
Is 22 a factor of (-2)/(((-196)/161)/7)*162?
False
Let d(r) = 4*r**2 - 3 + 39*r - 53*r + 30*r. Does 4 divide d(-7)?
False
Suppose -11088 = -43*j + 6241. Is 10 a factor of j?
False
Suppose -5*g + 3*s = s - 66, 3*g - 50 = -4*s. Is 6 a factor of (-50)/(-2) + (g - 15)?
True
Su