3 - 5*z**2 - 4*z + 1. Let h be b(-4). Let k be f(h). Suppose 3*d + 13 = k. Does 14 divide d?
False
Let r(j) be the first derivative of -j**4/4 + j**3 - 3*j**2 + 9*j - 11. Let n be r(-6). Does 10 divide (1/3)/(3/n)?
False
Suppose 3020 = -506*r + 516*r. Does 2 divide r?
True
Let r(z) = 23*z**3 - z**2 - z - 2. Let j be r(-2). Let n be (-36)/8 + 2/4. Does 12 divide (j/6)/(n/6)?
False
Suppose -1 - 15 = -2*o. Let l(q) = q**3 - q**2 + o*q + 29 - 8*q. Is 19 a factor of l(0)?
False
Let w(c) = c**2. Suppose -2*f - 5*g = 1, -3*g - 9 = -0*f - 3*f. Let k be f + -8 - (1 + -5). Is w(k) a multiple of 4?
True
Suppose -2*v + 150 = -b + 4*b, 0 = -4*b - v + 195. Is b a multiple of 3?
True
Let v(k) = 67*k + 16*k**2 - 7 + 5 - 74*k. Is 19 a factor of v(-2)?
True
Let s = -776 + 1898. Is s a multiple of 11?
True
Let r(b) = -b + 283. Is 11 a factor of r(0)?
False
Let a(y) = y**2 - 4*y + 182. Does 34 divide a(32)?
False
Suppose -3 + 11 = 4*u. Suppose 6*t - u*t = 20. Suppose -2*q = -0*q + 5*y - 11, -4*q - t*y = -47. Is q a multiple of 9?
True
Let y(j) = 140*j + 61. Is 13 a factor of y(4)?
False
Let q = -16 + 23. Suppose -10*r + q = -9*r. Suppose 0 = -0*k + k - r. Is 7 a factor of k?
True
Suppose 13*v - 97 = 59. Suppose 2*a = 16 + v. Is a a multiple of 7?
True
Suppose 0 = -50*m + 31930 + 13320. Is m a multiple of 12?
False
Suppose -4*z - 5*w = 567, 2*z + 612 = -2*z + 4*w. Let b = z - -228. Is 10 a factor of b?
True
Let u = -14 + 24. Let y be (2 - -70)/((-3)/u). Is 2/(-3) + y/(-36) a multiple of 3?
True
Suppose -2*d + 2*t + 2507 = -373, 5*d = -t + 7200. Is d a multiple of 48?
True
Let b(l) = 3 + 15*l**3 - 17*l**3 + 12*l**3 - 2 - 3*l. Is 25 a factor of b(2)?
True
Let n(b) = b**3 + 5*b**2 - 19*b - 12. Let o be n(-7). Suppose 5*l + 3 - 112 = -3*c, -l - c = -o. Is l a multiple of 10?
True
Let b = 451 - -143. Does 2 divide b?
True
Is 1226/30 - (-4)/30 a multiple of 2?
False
Let t be (-6 - -5)*(-3 - 0). Suppose t*b - 262 = -55. Let i = b - 39. Is 7 a factor of i?
False
Let m(p) = p**3 + 38*p**2 - 38*p - 55. Does 32 divide m(-37)?
True
Suppose 7 = 2*d - 1. Suppose d*l + 4*a = 5*a + 184, 4*l = 2*a + 188. Is 15 a factor of l?
True
Is (5/2)/((-8)/(-720)) a multiple of 75?
True
Let f = 28 - 52. Let x be (-855)/(-12) + 6/f. Let l = x - 38. Is l a multiple of 14?
False
Let g(z) = z**3 - 4*z**2 - z - 3. Let x be g(-3). Let l = x - -128. Suppose -5*w = 4*u - l, -3*u + u + 25 = -5*w. Does 15 divide u?
True
Let a = 5755 + -2799. Is 29 a factor of a?
False
Let p = 73 - 69. Let r = 8 + p. Does 3 divide r?
True
Let m = 1852 - 791. Is 14 a factor of m?
False
Let d = -639 - -847. Does 13 divide d?
True
Let g(k) = k**3 + 17*k**2 + 10*k + 10. Let a = -76 + 60. Is 11 a factor of g(a)?
False
Let u(f) = f**2 - 5*f + 8. Let z be u(-7). Suppose 5*t + 23 - z = w, 2*t + 2*w - 30 = 0. Suppose 2*a - t = 26. Does 13 divide a?
False
Suppose z = 114 - 79. Let u = z + -9. Does 14 divide u?
False
Let m(g) = g**2 + 24*g - 1. Let d(v) = 2*v**2 + 49*v - 1. Let s(o) = 2*d(o) - 5*m(o). Is 5 a factor of s(-17)?
False
Let q = -13 - -62. Suppose 0 = -53*d + q*d + 48. Is d a multiple of 4?
True
Suppose 177 = 11*f - 1022. Is 109 a factor of f?
True
Let i(h) = -9*h - 5. Let w be i(-1). Suppose 12*y = w*y + 240. Does 3 divide y?
True
Suppose j = y + 47, -2*j - 2*y + 0 = -74. Let q be 6/j - 114/14. Let s = 49 + q. Is s a multiple of 24?
False
Let v = -274 + 599. Is 13 a factor of v?
True
Let w be (10/25)/((-2)/(-10)). Suppose -a = -x, 5*a = 3*a + x - w. Is (-3 - 7/a)*54 a multiple of 9?
True
Let k be 178/(-4)*(-6)/1. Suppose -82 + k = j. Does 33 divide j?
False
Suppose -3*h - 3*w + 12 = -2*h, -20 = -3*h - w. Is 592/80 - h/(-10) even?
True
Let k(c) be the second derivative of 5*c**4/12 + 2*c**3/3 + 2*c. Let r be k(-3). Suppose -148 = -4*y - x - 3*x, y - r = -3*x. Is y a multiple of 26?
False
Let c(t) = -t**3 - 10*t**2 - 11*t - 6. Let y be c(-10). Let n = y + -69. Is n a multiple of 30?
False
Suppose -3*f + j - 4757 = -13350, 4*f = 3*j + 11464. Is f a multiple of 88?
False
Let w be 4/(-26) - 93/(-13). Let l(y) = y**3 - 3*y - 12. Is 20 a factor of l(w)?
False
Let j(g) = -g**2 - 21. Let s be j(0). Let k = s - -46. Let x = k - 16. Is 8 a factor of x?
False
Suppose x - 104 = -5*h + 275, -4*x + 5*h + 1566 = 0. Does 14 divide x?
False
Let t = 1623 - 1128. Does 3 divide t?
True
Let z be (-4)/(-10) - (-207)/45. Suppose h - 11 = -h - j, 3*h + 16 = z*j. Suppose -u - 4*u - 56 = -g, -u = -h*g + 140. Is 16 a factor of g?
False
Let p = -178 - -286. Suppose -13*j + 4*j = -p. Is j a multiple of 4?
True
Let j = -277 + 367. Is j a multiple of 15?
True
Let o = -133 + 78. Let b = 78 + o. Let r = 37 - b. Does 7 divide r?
True
Suppose 5*q - g - 10724 = 0, -2469 = -3*q - 4*g + 3947. Is q a multiple of 10?
False
Let j(f) = -f**3 - 10*f**2 + 2*f + 23. Let v be j(-10). Suppose -k - 44 - 180 = -v*x, -x + 92 = 4*k. Does 16 divide x?
False
Suppose -10*d + 22638 = -16962. Is d a multiple of 18?
True
Is 32 a factor of (210/(-175))/(6/(-2720))?
True
Let l be 12*(4*1 - (-24)/(-8)). Is -2 + (-3)/l + (-3172)/(-16) a multiple of 28?
True
Is 191826/306 + (-4)/102*-3 a multiple of 33?
True
Suppose -51 = -3*g - 2*l, l + 17 = g - 0*l. Suppose -3*w - a = 2 - g, 5*w = 5*a + 5. Suppose w*q = -5*n + 225, 43 = n + 5*q - 2. Does 12 divide n?
False
Let s = 0 + 2. Suppose s*l - 8 = 3*l. Does 4 divide 19/2 - (-4)/l?
False
Suppose 4*g + m - 127 - 358 = 0, -3*m = 4*g - 495. Is g a multiple of 18?
False
Let n(t) = t**3 + 5*t**2 - t - 6. Let p be n(-5). Let k be (p - 7)/((-8)/28). Let a = k - -18. Is 12 a factor of a?
False
Let m be (-11)/(-2) + (-9)/6. Suppose -102 = m*u - u. Let r = -16 - u. Does 5 divide r?
False
Does 50 divide 959 - (2 + 0) - 8?
False
Suppose 5*v - 2*f = 8728 - 607, -4860 = -3*v - 3*f. Does 16 divide v?
False
Let z be 3/(162/(-12)) + (-47)/(-9). Suppose 3*y - 3*f + f - 218 = 0, -5 = z*f. Is 8 a factor of y?
True
Let w = -286 + 730. Is 23 a factor of w?
False
Suppose 96*q - 99*q + 6090 = 0. Does 14 divide q?
True
Suppose 2*f - 6*f + 16 = 0. Suppose f*i = 8*i - 16. Let h = i - -6. Is h a multiple of 10?
True
Is (-13872)/(-36) + 3/(-9) a multiple of 32?
False
Suppose 4*s - 2*s = 0. Let i be 2 + (-2 - (s + -2)). Suppose 7*x - i*x - 40 = 0. Is 4 a factor of x?
True
Let i = 43 - 37. Suppose -i*a - 42 = a. Is (-30)/(4/a*3) a multiple of 3?
True
Does 8 divide ((-12)/(-3) + -255)/(2/(-2))?
False
Suppose -2 = 3*r - 5*l + 11, 3*r - l - 7 = 0. Suppose -r*u + 8*u = 0. Suppose u = -2*a - a + 27. Is 5 a factor of a?
False
Suppose -7*p + 2*p = 20, -2*s = -5*p - 26. Suppose s*t - 263 = -7*w + 2*w, -4*w + 268 = 3*t. Is 15 a factor of t?
False
Let z be (-3)/(-6)*(1 + 9). Let x(c) = c**3 - 5*c**2 + 4*c - 4. Is x(z) a multiple of 4?
True
Suppose -2*v - 6 = 0, 1 = 2*c + v - 4. Suppose 4*o + 4*p - 18 = 2*p, -c*o - p = -15. Suppose k = j + 21, -5*k + 70 + o = 3*j. Is k a multiple of 11?
False
Suppose -23027 = -9*r + 1858. Is 35 a factor of r?
True
Let w(h) = -h**3 + h**2 - h + 27. Let m(c) = c**2 + c - 3. Let g be m(-3). Suppose -4*p = -g*p. Does 9 divide w(p)?
True
Is 80 - -1 - (0/7)/(-6) a multiple of 3?
True
Let n(i) = 11*i**3 + 3*i**2 - 9*i - 3. Suppose -2*c - h = -11, 2*h - 4 = 2*c - 0*h. Does 42 divide n(c)?
True
Suppose -4*h + 85 = -3743. Is h a multiple of 21?
False
Does 36 divide 28/(-3)*4050/(-175)?
True
Let b = -644 + 1381. Is b a multiple of 11?
True
Let h = 2 + 4. Let s(b) = 14*b - 12. Is 16 a factor of s(h)?
False
Let h = -1427 + 2957. Is h a multiple of 45?
True
Let l(t) = -17*t + 4. Is l(-10) a multiple of 6?
True
Let t(m) = -11*m**2 + 2 + 50*m**2 - 3. Let l be t(1). Suppose 3*p = -4*w + l, w + 55 = 4*p + 2*w. Does 7 divide p?
True
Let b(w) = w**2 - 7*w + 5. Let s(n) = 3*n**2 - 18*n + 12. Let q(c) = -12*b(c) + 5*s(c). Let f(h) = h**2 - 26*h - 49. Let y be f(28). Is 35 a factor of q(y)?
True
Does 3 divide (-126)/567 - (-1631)/9?
False
Let w(c) = 7*c**2 + 14*c + 63. Is 27 a factor of w(9)?
True
Let k(m) = m + 3. Let t be k(-6). Does 4 divide t + 2 - 10/(-1)?
False
Suppose 0 = -7*g - 61 + 180. Let c(i) = -12*i**2 + 5 - g*i**3 + 8*i**3 - 16*i + 8*i**3. Does 9 divide c(-11)?
False
Let k(v) = 3*v**3 + 6*v**2 - 4. Let t(n) = 3*n**3 + 7*n**2 - 5. Let i(f) = -5*k(f) + 4*t(f). Let z = -9 + 7. Does 11 divide i(z)?
False
Let d be 0 + -3 + -1 + -2. Let u(z) = z**2 - 1. Le