2)/z + (6 - 8) a multiple of 9?
False
Let c = 60 - 56. Suppose -5*h + 0*g + 480 = 2*g, h - g = 89. Suppose 2*w = -2*y + h, -92 = 5*y - c*w - 327. Is 10 a factor of y?
False
Let w = -44 + 55. Suppose -3 + w = l. Does 2 divide l?
True
Let p = 50 + -145. Does 33 divide (-2 - -14)/3 - p?
True
Let o(h) = -8*h**3 + 4*h**2 + 10*h + 24. Is o(-3) a multiple of 51?
False
Suppose 2*b + 0 = 4. Suppose 3*z = -b*z + 255. Is 7 a factor of z?
False
Let b(r) be the first derivative of r**4/4 + 13*r**3/3 - r**2/2 - 11*r + 7. Let w be b(-13). Suppose w*d = -54 + 142. Is 22 a factor of d?
True
Let m(w) = -w**3 - 11*w**2 - 15*w + 58. Is m(-14) a multiple of 52?
False
Let z be (-6)/(54/13 - 4). Let n = z + 79. Let v = 95 - n. Does 11 divide v?
True
Let z = -2 - -7. Suppose -4*q = -7*q - 5*b + 22, -4*q + 31 = z*b. Suppose q = 2*v + 1. Is 2 a factor of v?
True
Let u = 57 - -32. Let t be 0 - (-2 + 5 + (-42 - 0)). Suppose 3*r + 5*y = r + t, -u = -4*r + y. Is r a multiple of 9?
False
Let d(g) = g**2 - 6*g + 1. Let u be d(9). Let p = -10 + u. Does 6 divide p?
True
Let v be 2/(-4) - 82/(-4). Suppose -2*r - 4*a = -20, -4*a = -4*r - 0*a - v. Let d = 5 + r. Does 2 divide d?
False
Let a(c) = -16*c - 7. Let z(p) = -11*p - 5. Let q(m) = 5*a(m) - 7*z(m). Let l be q(-1). Suppose 63 = 3*d - 6*r + l*r, 0 = 3*r + 15. Is d a multiple of 16?
True
Suppose -10 = -3*f - 4. Suppose -v + 45 = f*n - 4*v, 25 = n + v. Is n a multiple of 9?
False
Let a = -72 + 86. Suppose 4*o = a*o - 1680. Is 21 a factor of o?
True
Does 59 divide (1*120 + -2)*(-111)/(-74)?
True
Let o(x) = 38*x**2 - 8*x - 23. Is o(-3) a multiple of 49?
True
Let i = 21 - 46. Let k = i - -13. Does 2 divide k/(-60) - (-19)/5?
True
Suppose 3*l - 1428 = -3*w, -8*l - 952 = -2*w - 11*l. Does 17 divide w?
True
Suppose -a = -n - 6, -n - 4*n - 10 = 0. Let i(s) = 3*s**2 - 8*s + 4. Does 4 divide i(a)?
True
Is ((-18 - 16) + -11)/((-2)/36) a multiple of 87?
False
Is 65 a factor of (-14 + (-804)/10)/(2/(-15))?
False
Let p(r) = -r**3 - 8*r**2 + 9*r + 4. Let f be p(-9). Is 0 + 5 + f/(-3)*-3 even?
False
Suppose -150 = -12*b + 2730. Is b a multiple of 40?
True
Let b(s) = s**2 - 12*s + 35. Let y be b(8). Suppose -5*h + 7 + 34 = y*k, 2*k - h = 10. Is k a multiple of 5?
False
Is 4 - -1 - (-441 + -4) a multiple of 30?
True
Let f be 5*2*(-3)/(-6). Suppose f*l + 5*a = 340, -4*l - 3*a + 171 = -99. Does 14 divide l?
False
Suppose -2*r + 222 = 46. Suppose 0 = 5*w - 2 - r. Let d = 26 - w. Does 8 divide d?
True
Let q(z) = z**3 - z**2 + 2*z + 4. Let l be q(3). Suppose -l - 23 = -3*k. Does 2 divide k?
False
Suppose -89859 = 74*u - 151*u. Does 19 divide u?
False
Is 14 a factor of 510 + (-7)/((-35)/(-30))?
True
Let q(l) = 2*l**2 + 2. Let a = 24 + -20. Does 18 divide q(a)?
False
Let k(y) = 15*y - 81. Does 13 divide k(34)?
True
Is 29 a factor of 756/432*(2202 + 2)?
True
Let l(f) = -113*f**3 + 2*f**2 + f - 1. Is 3 a factor of l(-1)?
False
Suppose 3*x + 12*x - 1275 = 0. Is x a multiple of 19?
False
Suppose -y + 3*y - 208 = 0. Suppose 8*s - y = 4*s. Is 13 a factor of s?
True
Let c = -775 - -958. Is c a multiple of 37?
False
Let l(a) = -68*a - 181. Is l(-4) a multiple of 3?
False
Is 4 a factor of (9/18)/(3/1374)?
False
Suppose d = a - 20, 0 = -d - d + 5*a - 55. Let s = d + 51. Is 18 a factor of s?
True
Suppose 4*k - 2*k + 6 = 0. Let o be 0/k - -4 - -114. Suppose 2*r = 2*m - 82, -3*r = 4*m - o - 11. Is m a multiple of 10?
False
Suppose 2905 = 13*m + 292. Let d = -68 - 51. Let x = d + m. Does 21 divide x?
False
Suppose -10*h - 1933 = -2*o - 11*h, 2*h - 4835 = -5*o. Is o a multiple of 51?
True
Let n be 188 + 3/1 + -1. Suppose 3*v - 170 = -v - 2*w, 5*v - 2*w - n = 0. Is v a multiple of 20?
True
Let m = 39 - 32. Is 24 a factor of (3 - 0) + 84 + m?
False
Let b(n) = -111*n + 142. Does 22 divide b(-16)?
False
Let l(n) = -1241*n + 136. Let o(z) = -46*z + 5. Suppose d - 275 = 2*b, b = -b + 3*d - 281. Let u(c) = b*o(c) + 5*l(c). Is 10 a factor of u(1)?
False
Suppose q + 3*q = 80. Suppose 3*f - y + 0*y = q, 3*f + 4*y = -5. Suppose 12 = -5*t + 2, -f*o + t = -247. Is o a multiple of 26?
False
Suppose -3*q = d - 10, -1 = -5*d + 19. Suppose -q*a = 2*a. Is 13 a factor of 66/1 + -1 + a?
True
Does 84 divide 7/((-7535)/(-2508) + -3)?
True
Let u(p) = -p**2 - 14*p + 2. Let h be (4/3)/((-8)/84). Let n be u(h). Suppose v = 2*m - 2, 0*m + m = v - n. Is 6 a factor of v?
True
Suppose -4*q + l = -9, -q - 3*q + 3*l + 3 = 0. Suppose 4*j = -5*s - 6, -2 + 0 = q*s + 2*j. Is (23 - -1)*(-1 + s) a multiple of 22?
False
Suppose 5*r - 5*t = 35, -r - 2*t + 36 = 2*r. Let c = -1 + 6. Suppose -205 = -r*l + c*l. Is 8 a factor of l?
False
Let r = 1033 - 994. Does 2 divide r?
False
Suppose 2*f = 4*f + 426. Does 12 divide 6/(-12) - (-1 - f/(-6))?
True
Let b(q) = q + 12. Let w be b(-8). Suppose -l - 512 = 3*l - w*o, -4*l = -2*o + 522. Let c = -63 - l. Is 18 a factor of c?
False
Does 69 divide 1900/28 + (-8)/(-7)?
True
Let h be 27/6 - 1/(-2). Suppose 8*l - 96 = h*l. Suppose -l = 3*p - 7*p. Does 3 divide p?
False
Let p be 0 + (25/(-5))/(-1). Does 30 divide 3/(135/(-12))*p*-90?
True
Let s(j) = -46*j - 49. Is s(-7) a multiple of 49?
False
Let z be -3 - -1 - 3*5. Let u = z + 20. Suppose u*x + 38 = 194. Is 26 a factor of x?
True
Suppose -3*g - 2 = 1, g + 491 = t. Is t a multiple of 48?
False
Suppose q + 5*d + 57 = 2*q, -4*d = 2*q - 44. Let s = 8 - q. Let m = s - -84. Is m a multiple of 18?
False
Suppose 0 = -38*i + 54*i - 688. Is i a multiple of 12?
False
Let c be (-215)/(-6) + 3/18. Let s = c + -21. Does 5 divide s?
True
Let t(c) = c**3 - 22*c**2 - 20*c + 6. Is t(23) a multiple of 15?
True
Let j be -1 + (-2 - 1 - -6). Suppose j*m - 6*p = -3*p + 45, 97 = 4*m + p. Is m a multiple of 10?
False
Suppose -f + 3*f = 4. Suppose 74*w = 77*w - 6. Suppose f*k + 165 = 5*r, w*r - 5*k - 32 = 55. Does 11 divide r?
False
Suppose 0 = 2*r + n - 85, -6*r + 5*n + 160 = -3*r. Is 5 a factor of r?
True
Suppose 0 = -i + 5 + 3. Let s be (-21)/(-6)*2560/280. Is (-6)/i + 184/s even?
False
Suppose -19 = -2*w - d, -w + 6*w = 4*d + 80. Suppose -14*p = -w*p - 196. Is p a multiple of 14?
True
Suppose -3*v - 936 = -6*v. Suppose 0 = -15*q + 11*q + v. Is 14 a factor of q?
False
Is -5 + 71 + (-21)/3 a multiple of 5?
False
Let l(m) = -m**3 + 10*m**2 - 8*m - 4. Let u be l(6). Suppose -16*k + 11*k - 235 = 0. Let d = k + u. Does 14 divide d?
False
Let m be ((-20)/9)/10 + 1876/18. Suppose -z = -m - 28. Does 33 divide z?
True
Let v be ((-6)/9)/((-4)/18). Suppose 3*d + v*t = -2*d + 18, -3*t + 12 = 3*d. Suppose d - 11 = 4*g, -2*q + 2*g = -26. Is 3 a factor of q?
False
Let p = -360 - -555. Let j = p - -17. Does 29 divide j?
False
Suppose -823 = 51*q - 3220. Is q a multiple of 27?
False
Suppose -z - o = 3, 3*z + o = 2*o - 29. Let j(y) = -19*y - 8. Is 12 a factor of j(z)?
True
Let g be ((-10)/3)/(8/(-120)). Suppose 4*s = -t + g + 30, 3*t + 7 = s. Is 19 a factor of s?
True
Suppose 3*s - 3*s = 4*s. Suppose -2*x = -s*x - 234. Does 13 divide x?
True
Does 14 divide (4 - (-36)/(-10)) + 14544/15?
False
Let d(x) = -x**2 + 7*x - 4. Let u be d(5). Let f(p) = -p**3 + 4*p**2 - u*p + 8*p - p**2. Is 8 a factor of f(-2)?
True
Let a be -4 - -4 - -3 - 0. Let p(l) = 15*l - 3. Does 7 divide p(a)?
True
Suppose a - 2*a + 148 = 0. Let u = -43 + a. Suppose 15 = 3*j - u. Does 10 divide j?
True
Let u = 4448 + -2303. Is 15 a factor of u?
True
Does 7 divide (245/(-42) - -6) + 3417/18?
False
Let j(n) be the first derivative of n**4/2 - 11*n**3 + 23*n**2/2 + 4*n + 8. Is j(16) a multiple of 13?
False
Is ((-19)/2 - -10)*1062 a multiple of 9?
True
Is 36 a factor of (-10 + 9)*(-1045 + 1)?
True
Let d be (2/((-1)/1))/(-2). Suppose 5*w = 26 - d. Suppose -5*h - w = -5*m, -4*h - 3 = 2*m - 7*h. Is m a multiple of 2?
True
Let c = -8 - -16. Suppose c*i - 3*i - 2*w - 11 = 0, 1 = -3*i + 5*w. Suppose 0 = -i*m + 20 + 7. Does 9 divide m?
True
Suppose 4*r - 3*o + 4 = 0, -o - o = 5*r - 18. Suppose 3*s = -r*s + 420. Is 21 a factor of s?
True
Suppose 3*o + 1253 = 10*o. Suppose 18*t - 17*t - o = 0. Does 14 divide t?
False
Let z = 3 - 2. Suppose -2*h + 80 = -5*w, w = 3*h - 5*h - 16. Let g = z - w. Is 9 a factor of g?
False
Suppose 0 = -3*s - 22 + 319. Suppose 0 = -2*u + 25 + s. Does 31 divide u?
True
Let z(f) = f - 3. Let c be z(5). Suppose -2*m + 32 = c*m. Is 12 a factor of 2/8 + 382/m?
True
Let p(m) = -m**3 