(0). Let n = l - g. Is 23 a factor of n?
False
Suppose f + 25 = -3*p, -5*p - f = 2*f + 43. Let g = p + -1. Does 15 divide ((-6)/g)/(4/90)?
True
Suppose -g + 1101 - 328 = 4*c, -c + 1511 = 2*g. Is 14 a factor of g?
False
Let a(b) = 6*b**3 - 2*b**2 - 9. Let t(d) = -d**3 - d. Let y(m) = a(m) + 4*t(m). Is y(3) a multiple of 14?
False
Does 18 divide (-3)/((-45)/(-10))*-27?
True
Let z(g) = -8*g - 2 - g**3 + 20*g**2 - 6 + 5*g + 19*g. Let n be z(20). Suppose -21*t = -17*t - n. Is 20 a factor of t?
False
Let f be 2 + -5 + 2 + 1. Let m = 5 + f. Let k(s) = s**2 + 3*s - 12. Does 12 divide k(m)?
False
Let z(g) = -g + 2. Let k be z(0). Suppose -2*i - 35 = k*j - 101, 0 = -2*j + 5*i + 101. Does 19 divide j?
True
Suppose 0 = u - 4. Suppose -u*v + 9 + 123 = 0. Does 13 divide v?
False
Suppose m = 11*m - 5050. Does 61 divide m?
False
Let c(s) = -s**2 - 14*s - 13. Suppose -3*f = g - 5, -5*g + 5*f = -g - 3. Suppose -g*a = -a + 10. Is 14 a factor of c(a)?
False
Is 55 a factor of (180/9)/(-4) - -665?
True
Let v be (-48)/20 + 6/15. Let t = 8 + v. Does 4 divide 9/(27/6) + t?
True
Let j(y) = 15*y**2 + 6*y + 17. Is 19 a factor of j(-3)?
False
Does 3 divide (-6)/(-6*3)*90?
True
Suppose 0 = -59*x + 7*x + 50960. Does 28 divide x?
True
Let d(r) = 45*r + 33 + 31*r - 67*r. Does 30 divide d(13)?
True
Suppose 339 = 4*q + 99. Is q a multiple of 60?
True
Suppose 0 = -2*m + t + 4, -2*m + t = m - 7. Suppose 3*n - 48 = -2*f, 2*f - 74 = -m*f + 4*n. Is f a multiple of 4?
False
Is (-45)/(-36) + ((-2188)/(-16) - 2) a multiple of 5?
False
Let p = 948 - 545. Does 13 divide p?
True
Suppose h - 6*h + d - 274 = 0, 0 = -2*d - 2. Let j = -29 - h. Is 15 a factor of j?
False
Let d be (0 - -2)*(-1)/(-2). Suppose 5*u - 9 = d. Is 11 a factor of 12 + u/(2/(-1))?
True
Let n(t) = -t**2 + 3*t + 4. Let d be n(3). Let c(f) be the first derivative of -f**4/4 + 5*f**3/3 + f**2 - 4*f - 2. Is c(d) a multiple of 7?
False
Let o(r) = 95*r + 86. Is 37 a factor of o(10)?
True
Let t(w) = -3*w - 19. Let o be t(-8). Suppose -o*v + b + 17 = -3*v, 2*v + 3*b = 13. Is 3 a factor of v?
False
Let b be ((-12)/18)/((-4)/18). Suppose -n + 20 = -0*n + 3*c, b*n - 2*c - 104 = 0. Is n a multiple of 3?
False
Suppose 4*b + n = 5802, 0 = -3*b + 6*n - 4*n + 4346. Is b a multiple of 50?
True
Suppose 3*q + 117 = 3*y, 0*y - 2*q + 160 = 5*y. Suppose c + 6 = -v, -3*v = 5*c - 4 + y. Let t(d) = -4*d. Does 12 divide t(c)?
True
Let g(y) = y**3 - 10*y**2 + 11*y - 6. Let k be g(9). Is (-1 + 3)/(k/120) a multiple of 20?
True
Let q be (-2 - (-1026)/3)*1. Suppose -2*c + q = -4*l, 3*c + 2*l - 268 = 202. Suppose -5*u = -u - c. Does 8 divide u?
True
Suppose 0 = -46*v + 43041 - 9553. Is v a multiple of 56?
True
Let m(a) = -57*a - 26. Let q(z) = z + 1. Let n(j) = -m(j) - 4*q(j). Is n(2) a multiple of 27?
False
Suppose 0 = 2*s + s + 60. Let v = 20 + s. Suppose -3*h + 2*h + 17 = v. Is h a multiple of 10?
False
Is ((-8)/80*-738)/(12/40) a multiple of 9?
False
Suppose 3*d - 2*s - 6161 = 0, -1731 = -d - s + 326. Is d a multiple of 137?
True
Let f(o) = 2*o**3 - 23*o**2 + 56*o + 52. Does 15 divide f(12)?
False
Let k(u) = u**2 - 18*u - 14. Let p be k(15). Does 30 divide (p - (-3 + -1))*-1?
False
Let z = 16 + -14. Suppose -z*a + 2*q + 646 = 0, -2*a - 141 = 4*q - 769. Suppose -3*i - 2*i + a = 0. Does 32 divide i?
True
Let x be -1*(-12)/(-14)*7. Let k(w) = 2*w**2 - 13*w - 28. Is k(x) a multiple of 16?
False
Let w(x) = -x. Let n be w(-5). Suppose n*v - 2*v = -63. Let p = 37 + v. Is p a multiple of 8?
True
Suppose 19*a - 8885 = -3*i + 23*a, i = 4*a + 2951. Is i a multiple of 8?
False
Suppose 3*i + i - 228 = 0. Let l = 68 - i. Is 3 a factor of l?
False
Suppose -315*w + 308*w + 8806 = 0. Is 17 a factor of w?
True
Let s = -90 + 246. Suppose 2*t = 3*x + 63, 2*t - s = -2*t - 4*x. Is 12 a factor of t?
True
Let j(f) = 193*f**2 - 4*f + 41. Is 21 a factor of j(-4)?
False
Does 41 divide 153439/195 - 4/(-30)?
False
Let r = -354 + 2148. Is 78 a factor of r?
True
Let w(b) be the first derivative of 1/3*b**3 - 10*b + 6*b**2 - 2. Is 13 a factor of w(-16)?
False
Suppose 3*o = -v + 1218 - 220, 0 = -3*v + 15. Is o a multiple of 6?
False
Let y = -1175 - -2345. Does 30 divide y?
True
Suppose -6*r + 53 + 55 = 0. Is 994/63 - (-4)/r a multiple of 10?
False
Does 91 divide (-1821)/(-5) + (11/(-55) - 0)?
True
Let r be 168/(-63)*(-153)/4. Suppose -169 + r = -k. Is k a multiple of 11?
False
Suppose -4*o + 109 = 4*q - 3*q, 0 = 3*o + 5*q - 103. Suppose 19*d - o*d + 203 = 0. Is 10 a factor of d?
False
Let i be 18429/(-18) - 1/6. Is 16 a factor of i/(-48)*(-30)/(-4)?
True
Suppose -r - 508 = -5*r. Suppose -41 = -3*v + 3*k + r, -5*v + k = -260. Is v + 2 + (-3 - -4) a multiple of 24?
False
Let f(r) = -r - 12. Let o be f(9). Suppose -138 - 34 = 4*n. Let v = o - n. Is v a multiple of 7?
False
Let d(f) = f**3 + 14*f**2 + 17*f. Let t be d(-11). Let w be (-2)/(-4) + 597/6. Let u = t - w. Is 20 a factor of u?
False
Let h(u) = u**2 - 4*u + 15. Suppose -3*d + 31 = 5*b, 2*b - 9 = -2*d + b. Suppose 2*a - o = -0*o + 10, d*a = -4*o + 20. Is 9 a factor of h(a)?
True
Suppose -4*h - o = -1069, 6*h - 9*h - 4*o + 792 = 0. Is h a multiple of 5?
False
Suppose -s = 4*s. Suppose s = -5*n - 0*n + 20. Suppose -n*x - 3*m + 55 = 0, -m = x - 5*x + 51. Is 13 a factor of x?
True
Let g = -11 + 8. Let h(o) = o**3 + o**2 - o + 1. Let i(u) = -7*u**3 - 7*u**2 + 3*u - 1. Let f(s) = 4*h(s) + i(s). Is 30 a factor of f(g)?
True
Let w(i) = 131*i - 409. Is 27 a factor of w(6)?
False
Let r be (2/(-3))/(12/(-18)). Let p be 4 - r - 0 - 15. Let b = 30 + p. Is b a multiple of 5?
False
Let n(u) = -2*u**2 - 72*u - 89. Let g be n(-35). Let w = 0 + -6. Let t = w - g. Does 4 divide t?
False
Let n(z) = 10*z**2. Let a(g) be the third derivative of g**5/60 + 5*g**4/24 + g**3/2 + 8*g**2. Let q be a(-2). Does 15 divide n(q)?
True
Let w be 10/(-45) - 38/(-9). Let y(d) = -d**2 + 11*d + 4. Let c be y(8). Suppose 12 - c = -w*h. Is h a multiple of 3?
False
Let x(f) = -12*f + 12. Let a be x(10). Let d be ((-4)/(-6))/((-8)/a). Let p = 25 - d. Does 11 divide p?
False
Let y = -728 - -1350. Is y a multiple of 3?
False
Let h(l) be the first derivative of 25*l**2/2 - 3*l + 5. Is h(4) a multiple of 13?
False
Is 19 a factor of ((-26)/3)/((-12)/342)?
True
Let s = 512 - 223. Is s a multiple of 6?
False
Suppose -5*v = -0*w + 2*w + 9, 4*w - 2*v - 18 = 0. Suppose w*q - 172 = -4*b, 4*q - 3*b + 70 = 266. Is q a multiple of 12?
False
Let g(v) = -2*v + 22. Let b be g(9). Suppose -2 - 2 = -4*r + b*z, -2*z = -2. Suppose c - 130 = -5*j, -5*c = r*j - 25 - 50. Is 5 a factor of j?
True
Let p(a) = -a + 12. Let j be p(8). Let i be 8/2*29/j. Let z = i - 10. Is z a multiple of 4?
False
Let m = -48 + -11. Let w = 6 + -3. Is 6/(1 - w) - m a multiple of 17?
False
Suppose -4*h - 2*j + 554 = 0, 6*h - 686 = h + 4*j. Is h a multiple of 18?
False
Let j(c) = 15*c**2 + 34*c + 2. Is 13 a factor of j(2)?
True
Suppose -825 = -3*q - 2*q. Suppose x = -4*x - s + 372, 5*s + q = 2*x. Suppose 10*t - x = 5*t. Is t a multiple of 6?
False
Let q = 1852 - 508. Is q a multiple of 71?
False
Let s be (-10)/(-20)*(2 + 8). Suppose -s*a = 53 + 142. Let g = -3 - a. Does 6 divide g?
True
Suppose -19 = -n + h, 2*n + 2*h = 7*n - 89. Let y = n + -12. Suppose 103 = y*f - 7. Does 7 divide f?
False
Is 11 + -2 + -4 + 13 even?
True
Let v(j) = j**2 + 1. Let z be v(1). Suppose -3*l = -5*l. Suppose l = w + z*w - 102. Is 14 a factor of w?
False
Let i be -1 - 1/((-4)/(-80)). Let c = 26 + i. Is c a multiple of 5?
True
Suppose -295 = -3*v - 2*v. Let y = v + -180. Let x = y + 182. Is x a multiple of 17?
False
Let t = -2879 + 4510. Is 17 a factor of t?
False
Suppose -25*a = -28*a + 2*v - 164, 4*v + 8 = 0. Let y = -87 + 61. Let g = y - a. Does 6 divide g?
True
Let r be ((-18)/10)/(4/(-60)). Suppose 0 = -y - 5*f + r, -35 = y - 2*y + 3*f. Does 8 divide y?
True
Let z(q) = -16*q - 7. Let f be z(-3). Suppose 45*a - f*a - 240 = 0. Does 6 divide a?
True
Let j = 1417 + -505. Is j a multiple of 27?
False
Suppose 5*o = 7*o - 2. Is 31/o + (-13 - -11) a multiple of 14?
False
Let i(r) = -14*r. Let w be i(-2). Suppose -4*d + w = -48. Suppose -4 = -o + d. Is o a multiple of 8?
False
Let d(g) be the second derivative of -43*g**3/3 + 2*g**2 - 39*g. Is d(-2) a multiple of 60?
False
Let s(v) = 3*v**2 + 3*v**3 - 5*v + 1 + 4 - 5*v + 5*v. Is s(2) a mu