 of a?
False
Let q = -52 + 62. Does 21 divide (-2)/q*21*(-30 + 0)?
True
Let q(m) = m**3 - 9*m**2 + 9*m + 8. Suppose -2*u - 4*u = -48. Does 4 divide q(u)?
True
Suppose -115*g + 43758 = -16*g. Is g a multiple of 21?
False
Let h be ((-12)/10)/(2/(20/(-3))). Suppose -4*y = -2*g + 15 + 109, y + 283 = h*g. Is 9 a factor of g?
True
Let m = 8126 - 2031. Is m a multiple of 53?
True
Let y = 2228 - 1861. Is 31 a factor of y?
False
Does 26 divide 3/12 + 67383/36?
True
Let t = 418 - 379. Does 2 divide t?
False
Let p = -1104 - -2236. Is 25 a factor of p?
False
Let t(w) be the second derivative of 13*w**6/120 - w**5/60 - w**4/24 - w**3/3 - 3*w. Let y(r) be the second derivative of t(r). Is 11 a factor of y(-1)?
False
Let y be (-10)/20 - (-3)/6. Suppose -5*f = -y*f + 4*a - 620, -f + 3*a + 143 = 0. Does 8 divide f?
True
Let n be 3/54*-3 - 681/18. Let j = n + 69. Is j a multiple of 9?
False
Let z(w) = 9*w + 21. Suppose -5*x = 5*b - 20, -3 = -x - 2*b - 1. Is 15 a factor of z(x)?
True
Let n be -4 - 2/4*-166. Does 4 divide (n - 5) + 6/2?
False
Suppose 0 = -3*u + 3, -3*u + 44 = 3*a + 2*u. Suppose -8*b - a = -205. Is 9 a factor of b?
False
Let t = -5 - 25. Suppose -4*g - 154 = 146. Is g/2*20/t a multiple of 6?
False
Suppose -3 = -5*a + 4*a. Let p(c) = -c**2 + 7*c - 2. Let j be p(6). Suppose -4*b + j*q + 44 = 2*q, a*q = 3*b - 30. Is b a multiple of 6?
True
Let z(s) = 40*s**2 - 24*s + 38. Is 6 a factor of z(-4)?
True
Let j = -4 - -8. Let o = 7 - j. Suppose -o*u = -5*k - 28 - 144, -5*u - 2*k + 328 = 0. Is u a multiple of 16?
True
Let i(m) = -21*m**3 + 1. Suppose -6*k + 2*k = 4. Let b be i(k). Suppose 0 = r - b - 19. Does 13 divide r?
False
Let x = -28 - -32. Suppose x*l + f - 949 = 0, -491 = -5*l + 3*l + 5*f. Is 12 a factor of l?
False
Suppose -3*w - 125 - 19 = 4*y, 0 = 4*y + w + 144. Is (-25)/(-10)*y/(0 + -1) a multiple of 13?
False
Does 7 divide (-4 - 0/(-2))/(2/(-56))?
True
Suppose 50576 = 105*p - 25129. Is p a multiple of 7?
True
Let s = -1002 + 1974. Is 36 a factor of s?
True
Let n(j) = -2*j**3 + j**2 + 2*j + 2. Let p be 1 + 0 + -1 + 3. Suppose l + 0 = -p. Is n(l) a multiple of 20?
False
Is 1*85*(-210)/(-175) a multiple of 3?
True
Let l(y) = y**2 - 11*y + 21. Let p be l(16). Let g = p + 59. Is g a multiple of 8?
True
Let j be 527/119 - 8/(-14). Suppose 3*y - 2*w + 39 - 130 = 0, -j*y + 5*w + 145 = 0. Is y a multiple of 7?
False
Let m = -24 + 17. Let n(v) = -6*v - 10. Does 16 divide n(m)?
True
Let v = -215 - -453. Is 17 a factor of v?
True
Let g(u) = u**3 + 13*u**2 + 11*u - 2. Let b be g(-12). Suppose b*t + 159 = 11*t. Suppose -t = -5*f + 66. Is 15 a factor of f?
True
Let u be (-2)/(706/236 - 3). Suppose -30 = -239*c + u*c. Is 5 a factor of c?
True
Let h be 6/(-27) - ((-1880)/36 - -4). Suppose 0*l + l = -5*v + h, 2*v + 186 = 5*l. Is l a multiple of 19?
True
Let h(m) = 15*m - 3. Let b be h(1). Suppose -b*y + 141 = -9*y. Does 8 divide y?
False
Suppose k - 30 = -2*k - m, 0 = -m. Let u = k + -5. Suppose -4*h = -3*p + 54, 3*p - 54 = -0*p - u*h. Does 5 divide p?
False
Let d = -955 - -2832. Is 71 a factor of d?
False
Let x(t) = 22*t + 20. Let s be x(-8). Let q = 285 + s. Is q a multiple of 43?
True
Is -1*(-114)/(-9)*(-112 + 7) a multiple of 10?
True
Suppose 5*d - 2448 = -12*d. Does 18 divide d?
True
Let v = 91 - 19. Does 9 divide v?
True
Suppose 0 = 10*f - 8 - 352. Does 9 divide f?
True
Let s = -203 - -590. Is s a multiple of 60?
False
Suppose 4*t - 24 = -4*h, 16 = -2*t + 8*h - 3*h. Suppose 2*x = -t*x - 64. Let i = -8 - x. Is i a multiple of 8?
True
Suppose -4*o + 216 = 5*w, -4*w + 4*o + 24 = -3*w. Suppose -3*y + 5*v = -18, -5*v - 9 + 39 = 5*y. Suppose 2*j - y = u - 6*u, 4*u = 4*j - w. Is 4 a factor of j?
True
Let o = -652 + 1085. Suppose w - 69 = -4*f, -2*f - o = -5*w - 22. Suppose w = 3*u - 36. Does 13 divide u?
True
Suppose -4*g - 6 = -4*u + 14, -4*g - 12 = -2*u. Does 10 divide (150/(-9))/(g/3)?
True
Let p = 74 - -189. Let b = p - 153. Is 22 a factor of b?
True
Let o = -8 + -13. Let u = -112 + 64. Let f = o - u. Is f a multiple of 4?
False
Let d(m) = -4*m - 13. Let w be d(-6). Suppose 2*t - t = w. Is 11 a factor of t?
True
Let o(y) = y + 5. Let b be o(-5). Suppose b = -3*p + 5*p - 6. Suppose -u = p*u - 72. Does 10 divide u?
False
Let s be 0 + -1 - (0 - 5). Suppose -2*z - 2*q - q = 17, -s*q = -4. Is z/(-45) - 824/(-18) a multiple of 23?
True
Suppose -14*j + 10*j - 80 = 0. Does 9 divide 4/(-2) - (j + (-5 - -4))?
False
Let n be -1 + 15 - 5 - 5. Suppose s - 232 = -s - 4*u, n*s - 449 = -5*u. Is 17 a factor of s?
False
Let o(n) = n**3 + 3*n**2 - 3*n - 7. Let a be o(-3). Suppose k - 70 = -a*c, 4*k - 292 = -11*c + 6*c. Is k a multiple of 48?
False
Let w = 27 - -163. Is w a multiple of 8?
False
Suppose 5*n - 3*n - 38 = 0. Suppose -60 = -r - n. Does 9 divide r?
False
Let m(n) = -4 + 13*n**3 - 23*n**3 + 10*n**2 - 13*n + 11*n**3. Let h be 33/(-6)*2/1. Is 9 a factor of m(h)?
True
Let r(s) = s**3 + 9*s**2 - 20*s + 10. Let v be -15*((-10)/(-15))/1. Is r(v) a multiple of 9?
False
Suppose -2*y - a + 15 = 0, 3*y + 2*a = -8 + 30. Let m(c) = -c**3 + 9*c**2 - 4*c + 4. Does 9 divide m(y)?
True
Is 16 a factor of 8 - (-23)/((-69)/(-4392))?
True
Suppose -5*b - 18 - 7 = 0. Let v = 456 - 448. Let p = v + b. Is p a multiple of 2?
False
Let l(s) be the first derivative of -s**5/40 - 5*s**4/8 + 8*s**3/3 + 4. Let m(d) be the third derivative of l(d). Does 7 divide m(-13)?
False
Let h(n) = n + 8. Suppose -z = 2*s + 10, -4*s = 3*z + 10 + 14. Let c be h(s). Suppose 2*a - 28 = -i, -6 = -c*a + 4. Is 12 a factor of i?
True
Does 13 divide 5*10/425 + 28503/51?
True
Let g = -1 + -21. Let f = g + 32. Let d = f + 41. Is 11 a factor of d?
False
Does 94 divide (-8420)/(-15) - 4/12?
False
Suppose 0 = 5*v - 4*h - 8262, -20*v + 2*h = -17*v - 4956. Is v a multiple of 22?
True
Let t = -339 + 491. Suppose 3*h - t = 136. Does 36 divide h?
False
Let u(j) = j**3 - 2*j**2 + 4*j - 4. Let r be u(2). Let f = 67 - 1. Suppose -278 + f = -r*h. Does 9 divide h?
False
Let y be (-1)/7 - (-394)/14. Suppose -121 = 5*o - 2*x, -3*o - 4*x = -0*o + 57. Let f = y + o. Is 4 a factor of f?
False
Let a be 14/4 + (-3)/(-6). Suppose -g - 4*v = -10 + 4, -4*v + a = 0. Suppose 5*s - 7*l = -g*l + 85, -29 = -2*s + l. Is s a multiple of 4?
True
Suppose -3*q + 12 = -6. Let a(d) be the third derivative of d**5/30 - d**4/4 - 5*d**3/6 + 28*d**2. Does 12 divide a(q)?
False
Let f(b) = 5*b**2 - 2*b - 15. Does 5 divide f(5)?
True
Let m = 220 + -189. Is m a multiple of 11?
False
Is 13 a factor of (-75)/525 + (-2704)/(-14)?
False
Suppose 3*d - 3*y - 3447 = 0, 4*d - 26*y - 4578 = -31*y. Does 28 divide d?
False
Let u(a) = -2*a + 34. Let f be u(17). Does 4 divide 1 + (f - 1) + (9 - 1)?
True
Suppose -1 = -p + 2, -p = l - 8. Suppose -l*w = -9*w + 16. Suppose -w*v = -5*v + 4*o + 20, 0 = o. Is v a multiple of 10?
True
Let c(s) = 3*s**2 - 18*s + 18. Suppose i + 8 = 2*i. Does 11 divide c(i)?
True
Is 18 a factor of 168 - (6/(-10))/(24/(-240))?
True
Let j = -1759 - -2504. Suppose 3*g - 423 = -5*v, -4*v = -5*g + v + j. Suppose 4*s + 3*b = g, 5*s + 77 = -3*b + 258. Is 7 a factor of s?
True
Suppose -126 - 142 = -2*k + 3*u, -2*u = -5*k + 659. Does 3 divide k?
False
Suppose j - 8*j = 2*j. Suppose j + 22 = 2*y. Is 6 a factor of y?
False
Suppose -5*r = 4*d - r, 2*r = 4*d - 12. Suppose 15 = -6*c + 27. Suppose 3*o - c*m = 39, -6*m + 26 = d*o - 2*m. Is o a multiple of 2?
False
Let t(a) = -a**2 - 18*a - 47. Let m be t(-11). Suppose r - 5*z = -7*z + m, 0 = -5*r + z + 150. Is r a multiple of 15?
True
Let n(f) = f + 5. Let r be n(0). Suppose 5*p - 2*p + t - 8 = 0, p - r*t = -8. Suppose 0*j + 3*j - 81 = -5*g, 3*j = p*g - 24. Is 15 a factor of g?
True
Suppose -9*z = -10*z + 27. Suppose 0 = -3*h - 5*o + 21, 2*h + 3*o - z = -h. Is 12 a factor of h?
True
Suppose 0 = 2*l + u - 2541, -3*u + 4*u + 5091 = 4*l. Let w = -800 + l. Does 22 divide ((-2)/(-4))/(4/w)?
False
Let w(i) = 5*i**2 - 6*i + 7. Let m be w(3). Suppose 38*j = m*j + 872. Is 37 a factor of j?
False
Suppose 9 = g + 2*g. Suppose 5*j + 10*d = 8*d + 194, -4*d = -2*j + 68. Suppose -g*u = -4*u + j. Does 19 divide u?
True
Let w(i) = -82*i - 10. Is w(-1) a multiple of 24?
True
Suppose -10*j + 1462 = -2848. Is 8 a factor of j?
False
Let f(r) = -2077*r**3 - 2. Does 79 divide f(-1)?
False
Suppose -5*p = -5 - 10. Suppose -3*s - p*g = -