1)?
False
Does 4 divide 5 - (-10 + 9 - 34)?
True
Let y be (-1282)/8 - (0 - (-6)/(-24)). Suppose -5*m - 495 = -l, m - 2*l = -m - 190. Let i = m - y. Is 20 a factor of i?
True
Does 29 divide (-9 - 27)/(-4) + 1315?
False
Let s = 522 - 336. Does 6 divide s?
True
Let a(l) = 2 - 14*l - 13 + 3*l. Is 11 a factor of a(-6)?
True
Let v be 11/((-4)/(-108)*3). Let o = v + -42. Is o a multiple of 14?
False
Let d(r) = r**3 - 3*r**2 - 3*r + 7. Suppose 5*u = 4*s + u - 40, -3*u + 10 = 5*s. Let v be d(s). Let t = -26 + v. Is 10 a factor of t?
False
Let k(r) = 152*r + 109. Is k(6) a multiple of 47?
False
Let d(h) = 17*h**2 - 9*h**2 - h**2 + 3 + 3*h. Let c(y) = y**3 - 7*y**2 + 6*y - 3. Let x be c(6). Does 11 divide d(x)?
False
Is 12 a factor of 168*((-20)/8)/(-5)?
True
Let m(a) = -24*a**3 - 11*a**2 - 3*a + 3. Is m(-5) a multiple of 13?
True
Is 15 a factor of ((-60)/14)/((-36)/504)?
True
Does 14 divide 140/6*(4 + (-24)/(-3))?
True
Does 26 divide (3/(-5))/(21/(-52815))?
False
Let w(r) = -r**3 - 17*r**2 + 23*r - 9. Is w(-19) a multiple of 63?
False
Suppose 5*g = -5*t, 3*g - 18 = 5*t - 2. Does 18 divide (-13)/g*(-4 + -2) + -3?
True
Suppose 2*k - 71 = -5*s, -4*s + 30 = -5*k + 290. Let x = 20 + 86. Let t = x - k. Is 20 a factor of t?
False
Suppose 53*o = 48*o + 1330. Is o a multiple of 14?
True
Let s = -29 + 21. Let d = s - -19. Is d a multiple of 3?
False
Suppose 5*d = -11 - 49. Let a be (-6)/(-8) - 915/d. Suppose 232 = 5*o + a. Does 7 divide o?
False
Let w = 294 + -224. Is w a multiple of 10?
True
Let a = -35 - -8. Is ((-1896)/a - -4) + (-4)/18 a multiple of 11?
False
Suppose -14 = s - 4*s + 4*p, 4*s - 4*p = 20. Suppose 8 = -2*z + s*z. Suppose 2*i - 288 = -z*i. Is i a multiple of 24?
True
Does 32 divide 1423/5 - 8/(-20)?
False
Suppose 10*f - 1365 = 5*f. Suppose -4*a + 91 = -f. Is a a multiple of 36?
False
Let j(k) = k**3 + 6*k**2 + 9. Let b be j(-6). Let h(g) = g**2 - 9. Is h(b) a multiple of 12?
True
Let s(f) = -f**2 + 2*f + 28. Let y be s(0). Suppose y*v - 72 = 26*v. Does 18 divide v?
True
Suppose -j + 18 + 21 = 0. Suppose 0 = -3*i + 6*i - 3. Suppose -i = u - j. Is u a multiple of 20?
False
Let l(c) = -169*c - 59. Does 56 divide l(-3)?
True
Let u(o) = 2*o - 6. Let w(z) = z - 7. Let k(y) = 2*u(y) - 3*w(y). Let v be k(-4). Suppose -v*p - 91 = -5*x + 49, 0 = 3*x - p - 92. Does 8 divide x?
True
Suppose 5*z = j + 10233, 3 = 3*j - 4*j. Is z a multiple of 22?
True
Let h(d) = d**3 + 2*d**2 + 4*d + 21. Let s be h(0). Suppose 3*j = -4*i - s + 174, -3*i + 3*j = -141. Does 42 divide i?
True
Let w = 8 + -28. Suppose -6*q - 35 = -q. Let u = q - w. Is u a multiple of 13?
True
Let f(a) = a**2 - 2*a - 19. Suppose -4*o = 1 + 15. Is 3 a factor of f(o)?
False
Let d be 18 - (3 + -1 - 2). Let q be (-4)/d + 79/(-9). Is 8 a factor of 120/q*(-12)/10?
True
Let q(t) = 5*t**2 - 3*t - 339. Is 13 a factor of q(-17)?
True
Let c = -68 - -145. Does 21 divide c?
False
Let s(t) = 2*t + 6. Let u(c) = 4*c + 2*c + 17 + 0. Let i(v) = 8*s(v) - 3*u(v). Is i(-6) a multiple of 3?
True
Suppose 2116 = 6*c - 128. Is c a multiple of 22?
True
Suppose -o - 2*o = 0. Let u = -11 + o. Let z = u + 23. Is z a multiple of 12?
True
Suppose -4*m + 16 = 0, -4*i - m + 12 = -2*m. Let a be 91/14 + (-6)/i. Suppose -3*b + 3*x = -192, -b + a*x = -0*b - 48. Does 17 divide b?
True
Suppose 0 = f - 53 - 2. Suppose 3*o - f - 146 = -5*x, 5*o + 3*x = 351. Does 8 divide o?
True
Suppose -5*a = -1294 - 286. Does 21 divide a?
False
Suppose 6*h - 5*h - 28 = 0. Let l be 42/h*(-8)/(-3). Suppose 0 = l*n - 77 - 171. Is n a multiple of 8?
False
Suppose 3*b - 25 = 155. Let t = b + -56. Does 3 divide t?
False
Let y be (-13)/(-1 - 0/(-4)). Suppose -8*x = -y*x + 90. Suppose 4*d = 2*m - x, -2*d - 26 = -0*m - 2*m. Is 17 a factor of m?
True
Is 15 a factor of ((-6)/(-18))/(3/3582)?
False
Suppose 5*y = 68*y - 150381. Does 57 divide y?
False
Let a = -14 - -20. Let w be 274/18 + a/(-27). Suppose w = 2*x - 49. Is x a multiple of 8?
True
Let r(v) = -6*v**2 - 2*v + 3. Let c be r(2). Let u be 6/10 + 15/c. Suppose 4*g - 221 - 95 = u. Does 13 divide g?
False
Suppose -1370 = -9*c + 511. Is 2 a factor of c?
False
Suppose 32 = 4*p + 4*p. Suppose p*i - 8*i + 60 = 0. Suppose -85 + i = -b. Is b a multiple of 35?
True
Suppose -233 = i - 2*i + 4*s, -5*s = -4*i + 888. Is 31 a factor of i?
True
Let a(v) = -v - 1. Let i be a(-2). Let u = i - -2. Suppose -52 = -u*x + x. Is 13 a factor of x?
True
Let s(g) = 6*g**2 + 26*g - 55. Is 8 a factor of s(6)?
False
Let n be (1 - (1 + -1 + 1))/(-2). Let s(o) = o**2 + 36. Is s(n) a multiple of 18?
True
Let m(a) = 28*a**2 - 26*a - 5. Does 77 divide m(6)?
True
Let a = 1572 + -702. Is a a multiple of 28?
False
Suppose -4*i - 91 = 5. Suppose z - 148 = -z. Let j = z + i. Does 21 divide j?
False
Suppose -9*a = 2880 - 12249. Does 86 divide a?
False
Suppose -b + 5 = 2. Let y be b/((-12)/(-140)) - 0. Let o = y - 21. Does 7 divide o?
True
Let c = 8 + -7. Let h(d) = 616*d**3 - d**2 + 2*d - 1. Let a be h(c). Is 15 a factor of 2/3 - a/(-21)?
True
Let y(d) = d**3 - 6*d**2 + 3*d - 2. Let r be y(5). Let q be -2*(-4 - r/4). Suppose -q*h + 10 = -10. Is 10 a factor of h?
True
Let y = 32 + -40. Let f = 43 + y. Does 7 divide f?
True
Let q(b) = 80*b - 11. Let p be q(-4). Let h = -196 - p. Is h a multiple of 27?
True
Let j = -15 - -19. Suppose 8*k = -5*l + 4*k + 207, 12 = j*k. Is l a multiple of 13?
True
Suppose -171*i = -168*i - 168. Is i a multiple of 14?
True
Let h(o) = -2*o**3 - 3*o**2 - 22*o + 14. Is h(-5) a multiple of 23?
True
Let h be 3/(-4) + 330/88. Suppose -q + 7 + 113 = -2*b, -4*b + 370 = h*q. Is q a multiple of 7?
False
Is 350 + 10/(-5) + 0 a multiple of 7?
False
Suppose -15 = 2*d + 33. Let q = d - 40. Let b = q + 106. Does 11 divide b?
False
Suppose q + 198 = -4*y, -2*q + 3*q = 3*y + 152. Is 2 a factor of (y/3)/(36/(-54))?
False
Suppose 4*y + 4*n = -3254 + 9290, 0 = -4*n + 8. Does 39 divide y?
False
Suppose -10 = -2*o, -2*m + 688 = -2*o - 678. Does 6 divide m?
False
Let c = -232 - -166. Let v = c + 83. Does 7 divide v?
False
Let a(q) be the first derivative of -11*q**2/2 + q - 2. Suppose -13 - 2 = 3*p. Is 14 a factor of a(p)?
True
Let q(d) = d**3 + 23*d**2 + 22*d + 72. Does 24 divide q(-21)?
False
Let n(j) = -j**3 - 4*j**2 + 4*j + 1. Let h(v) = -5*v**2 + v + 1. Let k be h(-1). Let z be n(k). Suppose -2*a + a + z = 0. Is 2 a factor of a?
True
Let d be (1 + 5)/(2 + (-4)/1). Suppose -s - 104 = -0. Does 13 divide 3/d - s/4?
False
Suppose -4*s - 3*f = -6351, s = 4*f + 81 + 1483. Does 8 divide s?
True
Let f(b) = b**2 - 7*b + 2. Let r(t) = -3*t**2 + 15*t - 5. Let w(l) = -9*f(l) - 4*r(l). Suppose 9 = 16*q - 19*q. Is 4 a factor of w(q)?
True
Suppose l - 3*x - 96 + 4 = 0, -4*l + 2*x = -338. Does 41 divide l?
False
Let f(w) = -w - 9. Let a be f(-10). Let n = 33 + a. Does 34 divide n?
True
Suppose -v - 2*v - 3 = 0. Let b be ((3 + -5)*2)/v. Suppose 2*o - 25 = -g + 4*o, b*g - 104 = 4*o. Is 7 a factor of g?
False
Let c(k) = -2*k**3 - 14*k**2 + 10*k - 13. Is c(-8) a multiple of 3?
False
Suppose -6*r = -9*r + 6. Suppose -o - 19 = 5*a, 2*o + r*a + 54 = -0*a. Let s = o - -51. Is 11 a factor of s?
True
Suppose -2*y + 4 = 4*a, -6*y + 3*y = 2*a - 2. Suppose -b + 3*b - s - 5 = y, -4*b - 5*s = 25. Let g(d) = -d**3 + d**2 - d + 4. Is g(b) even?
True
Suppose -34*k = 5*k - 19266. Does 38 divide k?
True
Let i = 1035 + 519. Is 42 a factor of i?
True
Let n(o) = -2*o**2 - 15*o - 6. Suppose 2*d + 2*d + 24 = 0. Does 2 divide n(d)?
True
Suppose -4*w + 2*w + 6 = 0. Let q be 1/w + 395/3. Let u = q + -94. Does 10 divide u?
False
Let s(m) = m - 4. Let f be s(6). Let l(v) = -v**3 - 17*v**2 - 13*v - 12. Let t be l(-16). Is 10 a factor of (4/(-10))/(f/t)?
False
Let n(f) = -1 + 20 + 12*f - 17*f + 17. Is n(-18) a multiple of 38?
False
Suppose 0 = -3*y - y + 28. Let h = y + -7. Let z(v) = -v**2 + v + 22. Is z(h) a multiple of 7?
False
Let w(b) = -14*b + 7. Let n be w(5). Let g(k) = -k**3 + 12*k**2 - k - 34. Let r be g(10). Let m = n + r. Is 31 a factor of m?
True
Let f(w) = 3*w**2 + 2 + 6*w + 6*w + 6*w + 4*w. Does 15 divide f(-10)?
False
Let v be (0 + 1 + 494/(-2))/(-1). Suppose -10*n + 4*n = -v. Is 41 a factor of n?
True
Let l = 42 + -39. Is l/2*24/18 even?
True
Let g = -115 - -118. Let i(s) = 28*s + 5. Does 8 divide i(g)?
False
Let z = -2336 + 3289. Does 5 divide z?
False
Suppose 2