be c(5). Let b = 36 - 35. Does 4 divide (b/q)/((-12)/(-408))?
False
Let j = -2444 - -4279. Is 39 a factor of j?
False
Suppose 20*o - 1763 = 577. Does 3 divide o?
True
Does 7 divide ((-53)/3)/(12/(-432))?
False
Let c = 1947 + -1083. Does 48 divide c?
True
Let l(h) = -3*h**2 + 10*h. Let x(n) = n**2 - 3*n. Let d(c) = 4*l(c) + 14*x(c). Is 20 a factor of d(-4)?
True
Let a = -4 + 8. Let c be ((-96)/a)/(4/6). Is 9/(c/(-232)) + 2 a multiple of 15?
True
Let q(n) = 5*n**2 - 24*n - 109. Is q(-8) a multiple of 31?
True
Let c(b) = -37*b**3 + 3*b**2 - b + 26. Is c(-5) a multiple of 14?
False
Suppose 2*l + 393 = -b, 0 = 3*l - 1 + 7. Let j = -169 - b. Is 20 a factor of j?
True
Suppose -19*i + 11*i + 10200 = 0. Is i a multiple of 85?
True
Suppose 0*l - 3*q - 77 = -2*l, 4*l - 148 = 4*q. Suppose -5*c + 37 = -0*i + i, 4*c = -4*i + 20. Let o = l + c. Is 14 a factor of o?
True
Let u(t) = -28*t + 8. Let s be u(-4). Let f = s - 58. Is 17 a factor of f?
False
Let m be (3/4)/(13/(-52)). Let a be 1 + 2 - m/3. Suppose -124 = -4*r - a*v, -6*r = -2*r + 5*v - 128. Is 27 a factor of r?
True
Suppose 4*x + 115 = -3*w, 75 = -5*x + x + 5*w. Let a = x - -63. Does 19 divide a?
True
Suppose -5*w - 5485 = -5*m, -5488 = -5*m + w + 3*w. Is m a multiple of 11?
True
Let u(n) = -n**2 + 11*n - 12. Let d be u(9). Let k be (11 + 1)*(-3)/d. Let w = k - -12. Is 6 a factor of w?
True
Let h(d) = 3*d**2 + 6*d - 1. Let u = 29 - 33. Is 23 a factor of h(u)?
True
Let x be (-42 - -2)*28/35. Let l = 8 - x. Suppose 3*p - l = 38. Is p a multiple of 13?
True
Let o(b) = -14*b**2 + 2. Let f be o(2). Suppose 0 = 2*s + s - 360. Let n = s + f. Does 14 divide n?
False
Suppose 8 = 3*k + 2. Let t(j) = 14*j**3 + 2*j**2 - j. Let s be t(2). Suppose -k*g = -5*g - 4*r + s, 0 = -4*g - 5*r + 156. Does 23 divide g?
False
Let d(k) be the third derivative of 0*k + 0 + k**2 + 1/12*k**4 + 11/6*k**3 - 13/60*k**5 + 1/120*k**6. Does 17 divide d(13)?
False
Is 27 a factor of 520 - 6/(12/10)?
False
Is ((-26028)/(-144))/((-2)/(-8)) a multiple of 9?
False
Is (9/(-4))/((-39)/1820) a multiple of 2?
False
Let m(d) = 3 + 0*d - d**2 + 1 + 16*d + 6. Does 17 divide m(10)?
False
Suppose 0 = -3*i + 2*p + 965, -i - 4*p = -353 + 22. Suppose 2*k = -4*u + i + 111, -4*k = u - 840. Is 27 a factor of k?
False
Suppose 0 = -2*p - 2*v + 8, -2*p = -6*v + v - 1. Suppose p*k - 3*m - 141 = 0, -k - 3*m = -0*m - 47. Does 31 divide k?
False
Let y = -16 + -1. Let j be -3 - ((0 - -6) + -10). Let i = j - y. Is i a multiple of 4?
False
Let x(l) = l**3 + 4*l**2 + 2*l - 1. Let m be x(-2). Suppose -21 = -5*w + 2*y - 8, m*w = -3*y + 12. Suppose w*z - 6*z = -18. Is z even?
True
Let w(q) = 7*q + 2. Let z be w(-12). Let l = z + 210. Suppose -l + 48 = -2*j. Does 17 divide j?
False
Suppose 0 = -14*z + 6*z + 1944. Does 27 divide z?
True
Let y(a) = -5*a + 2*a + 2 + a + 7*a**2. Let u(s) = 2*s**3 - 37*s**2 + 7*s + 200. Let r be u(18). Is y(r) a multiple of 13?
True
Let g(t) = t**3 + 10*t**2 - 3*t + 3. Let m be g(-10). Does 11 divide -4*4/((-24)/m)?
True
Let l(z) = 2*z**2 + 5*z + 3. Let w be l(-4). Let n be (-8)/(-6) + 10/w. Is 1 - 0/n - -76 a multiple of 12?
False
Does 9 divide 2/((-5280)/2646 - -2)?
True
Let i be (-72)/(-20) - 4 - (-942)/5. Suppose -2*g - 53 = -s, 4*s = -g + 3*g + i. Does 9 divide s?
True
Suppose 0 = -2*b - 71 + 21. Let j = 70 + b. Is 9 a factor of j?
True
Is 5 a factor of (2 - (-231)/(-147)) + (-3732)/(-14)?
False
Let r = -192 - -419. Does 14 divide r?
False
Let q = 2690 - 1778. Does 114 divide q?
True
Suppose 0*u + 4*u = -4*u. Let x(c) = c**2 + 5*c + 1. Let j be x(-4). Does 11 divide u - -12 - j/(-3)?
True
Let d = 32 - 36. Let j(l) = -3*l**3 - 5*l**2 + 3*l + 6. Does 8 divide j(d)?
False
Let b = 1123 + -642. Is 15 a factor of b?
False
Suppose 3*p = 2*p + 568. Is p a multiple of 14?
False
Let t = 31 - 10. Does 7 divide t?
True
Let v = 155 + 253. Is v a multiple of 51?
True
Let q(z) = 12*z**2 + 1. Suppose 0*x - 4*x = 48. Let t be x/(-30) + (-14)/10. Is q(t) a multiple of 13?
True
Suppose -645 = 5*z - 5*u, 2*z - u + 69 = -190. Let v = z - -194. Does 23 divide v?
False
Let j(l) = -6*l**3 - 4*l**2 - l + 1. Let b(n) = -n**3 - n - 1. Let k(r) = 5*b(r) - j(r). Let s(c) = -c**2 - 6*c - 4. Let d be s(-6). Is k(d) a multiple of 5?
True
Let k = -1116 - -1655. Is k a multiple of 77?
True
Let r(z) = z**3 - 5*z**2. Let g be r(5). Let a(w) = w**3 - w + 3. Let q be a(g). Is 11/(11/24) - q a multiple of 21?
True
Let h(y) = 18*y + 0 - 11*y + 15 + 20*y. Let m be h(5). Suppose -m = -4*i + 74. Is 14 a factor of i?
True
Suppose -5*s + 4*q = -7 - 23, -5*s + q = -45. Let n(a) = -a**2 + 13*a - 20. Is n(s) a multiple of 5?
True
Let n be 2/(-10)*-5*7. Does 22 divide (-6)/(-42) + 741/n?
False
Suppose 15*c + 3 = 12*c. Let h be -9 + c - 0/2. Let y = h + 19. Is 2 a factor of y?
False
Let m = -793 - -3173. Does 14 divide m?
True
Let k(x) = -21 + 2 + 3*x + 0*x. Is 7 a factor of k(12)?
False
Let r be (1/(-2) - 0)*6*9. Let p = 25 - r. Is 13 a factor of p?
True
Let a be 84/48 - (-2)/8. Suppose 0 = -3*i - 4*b - 30, a*i - 3*b + 21 = -3*i. Is 21 a factor of (-376)/i - (-5)/15?
True
Is 450 + (-12)/(-42)*14 a multiple of 16?
False
Suppose 4*w - 5*w = -244. Suppose w = -k - 4*k + z, -2*k - 100 = -z. Let c = k + 114. Is c a multiple of 31?
False
Let t(u) = 7*u + 155. Is 25 a factor of t(57)?
False
Let w = -1784 - -1223. Let u = -401 - w. Is u a multiple of 20?
True
Let j(f) = f**2 - 4*f. Let q = 29 + -24. Suppose -a = -2*i + 7, q*a - i + 25 = 8. Is j(a) a multiple of 21?
True
Let h(g) = 4*g**2 + g + 4. Let q be h(4). Suppose -3*c - 11 + 65 = -5*n, -4*c + q = n. Is 9 a factor of c?
True
Let v(b) = 119*b**3 + 8*b**2 - 2*b - 5. Is 11 a factor of v(2)?
False
Suppose 15*v - 45*v + 21390 = 0. Is 16 a factor of v?
False
Suppose 104*v - 115*v = -1408. Is 4 a factor of v?
True
Let a(g) = 5*g**2 - 8*g + 5. Let s be a(5). Let x(c) = -3*c**2 - 4*c + 2. Let l be x(3). Let r = l + s. Is r a multiple of 19?
False
Suppose 0 = -5*f + 5*p + 1100, -9*f + 212 = -8*f + p. Does 27 divide f?
True
Let t = -15 + 27. Suppose -4*h = 4*i - 12, i - 9 = h + h. Is 12 a factor of h/t - 219/(-18)?
True
Let b(n) = -n**2 - 23*n - 33. Is 5 a factor of b(-13)?
False
Suppose -5*q - 233 = 2*y + 76, 4*q = -4*y - 240. Is (q + -3)/(3/(-10)) a multiple of 23?
False
Suppose -k - 105 - 1 = -2*c, 5*c + 590 = -5*k. Let u be 4 - 2 - k - 0. Let s = -80 + u. Does 11 divide s?
False
Let n(m) = -10*m - 2. Is 2 a factor of n(-3)?
True
Is 33 a factor of (-22)/((-10)/45*(-15)/(-320))?
True
Suppose -3*b = -2*o + 2*b + 962, 3*o - 1443 = 5*b. Is o a multiple of 13?
True
Let j be 22/(-77) - 23/(-7). Suppose 0*w + j*w - 93 = 0. Is w a multiple of 8?
False
Is 2622/76*(-1 - -17 - 2) a multiple of 21?
True
Let p(s) = 2*s**3 + 27*s**2 + 2*s + 23. Is p(-12) a multiple of 3?
False
Suppose 3*q = -q. Suppose -d + 153 = y + y, 4*d + 4*y - 628 = q. Is d a multiple of 42?
False
Suppose -12 = 3*c, l - 6*l + 74 = 4*c. Does 19 divide 188 + (-4 - l/(-3))?
True
Let y be (-42)/(-14)*(-8)/(-6). Suppose y*d - 5*l = 53, -5*l = d + d + 11. Suppose 33 + d = 2*p. Does 10 divide p?
True
Suppose 4*x = -q + 4*q + 2809, -4*q = -x + 712. Does 14 divide x?
True
Suppose 4*j - 2*j - 3*b = 12, -5*j + 5 = 5*b. Suppose 3*y - 206 = -3*g + g, j*g - 134 = -2*y. Is y a multiple of 14?
True
Suppose -2*k = -6*k. Suppose k*i = -5*i + 10. Suppose i*t - 48 = 34. Is 13 a factor of t?
False
Let k = -27 + 20. Let d(a) = -a**3 - 7*a**2 - 7*a - 7. Does 21 divide d(k)?
True
Let t = 12 + -15. Let i = t - 1. Let u(w) = w**2 + 3*w + 5. Is 3 a factor of u(i)?
True
Let j be (9/2)/(4/8). Let d = j + -11. Is 10 a factor of 6/(-9)*-57 + d?
False
Let c = 350 + 98. Suppose -4*y = -2*r + 292, c = 5*r - 2*r - y. Is r a multiple of 25?
True
Suppose 0 = 15*o - 13*o - 206. Suppose -4*i = -w + o - 31, 0 = -4*w + 5*i + 244. Does 7 divide w?
True
Let b be 6*(4 - (-20)/(-12)). Suppose n = 3*i - b, -3*i + 4*n = i - 16. Suppose -i*j + 184 = -76. Does 26 divide j?
True
Let t be 4 + ((-3)/1 - 2). Does 17 divide t/(-4) - 1365/(-28)?
False
Let g be -3 - (-590)/((-8)/(-4)). Does 6 divide (-10)/(-35) - g/(-7)?
True
Suppose 0 = -2*h - 27 - 31. Let f = h + 50. Is 17 a factor of (28/f)/(4/78)?
False
Let n(p) be the first derivative of p**3/3 - 2*p**2 + 11*p - 12. Is n(5) even?
True
Let w = -577 - -995. Is 19 a factor of ((-3)/(-2