. Is c a multiple of 2?
True
Let p(u) = u**2 - 6*u - 7. Let m be 2 + -3 - 24/(-3). Let k be p(m). Is 3 + (k/(-3) - -19) a multiple of 9?
False
Let d(g) = 19*g**2 - 18*g + 23. Is 33 a factor of d(4)?
False
Let z = -451 - -641. Does 42 divide z?
False
Let a(s) = -s**3 - 5*s**2 + 26*s + 90. Does 8 divide a(-12)?
False
Let r be (-2)/(-11) - (-136115)/55. Is r/22 + (-3)/2 a multiple of 17?
False
Let t = 52 + -16. Suppose -22 + 2 = -s. Let h = t - s. Is h a multiple of 3?
False
Let a = 1622 - 542. Does 27 divide a?
True
Suppose -5*v - 94 - 36 = 3*w, 0 = 2*w + 2*v + 88. Let s = w + 86. Is 4 a factor of s?
False
Is 7 - (-3460 + 99/11) a multiple of 133?
True
Suppose -29*d + 332 = -30*d. Suppose 22 = -o + 3*h, 2*o = 5*o - 5*h + 74. Is d/o - (-2)/14 a multiple of 6?
True
Suppose 3*j - 19 = 20. Suppose -j*m = -8*m - 45. Is m a multiple of 4?
False
Let p(o) = -o + 8. Let c be p(7). Is 44 a factor of (c - 2)/(-1) - (-4147)/29?
False
Let x(v) be the second derivative of v**6/120 + 3*v**5/20 + v**4/24 + 2*v**3 + v**2 - 3*v. Let f(b) be the first derivative of x(b). Is f(-9) a multiple of 2?
False
Let l = -67 + 69. Suppose 150 = l*k + 3*k. Is 5 a factor of k?
True
Let a(b) = -b**3 + 19*b**2 - 12*b - 80. Does 13 divide a(14)?
False
Suppose 15*y = 34*y - 1425. Is 5 a factor of y?
True
Suppose n = -3, 0*n - 4*n - 12 = 3*z. Suppose -2*w + 4*k = -36, -3*w + 7*w + 5*k - 46 = z. Does 7 divide w?
True
Suppose -4*s = -3*s. Let p = 4 - s. Suppose 0 = -3*u + p*u - 13. Is u a multiple of 8?
False
Suppose 0 = -1322*m + 1320*m + 46. Is m a multiple of 6?
False
Let u be 1 + 7 + 0 - 1*4. Suppose -432 = -3*r - 3*d, u*r + 302 = 6*r - 5*d. Is 48 a factor of r?
False
Suppose 0 = -4*l, -3*l + 105 + 75 = -2*k. Is 20 a factor of k*((-6)/5)/((-9)/(-6))?
False
Let p(v) = -v**2 + 5 - 4*v + 2 - 5. Is p(-2) a multiple of 2?
True
Suppose 0*z + 3*z = 405. Suppose -10*g + 7*g = -36. Is 4 a factor of (g/10)/(6/z)?
False
Is 18 a factor of 76/16*-8*(-4 - 7)?
False
Let c(j) = -7*j**2 - 4. Let u(d) = -d**2 - d. Let y(i) = -c(i) - 2*u(i). Is 28 a factor of y(-4)?
True
Let m = 1811 - 1471. Does 5 divide m?
True
Let a(n) = -5*n + 5. Let q be a(0). Suppose q*t + x - 1366 = 0, -2*t - x = 4*x - 551. Does 27 divide t?
False
Let m = -101 + 368. Suppose -3*n - 252 = -u, 942 = 5*u + 2*n - m. Is u a multiple of 27?
True
Let c(s) = 8*s - 8. Suppose -3*m = -4*g - 17, 0 = -2*m + 3*g - 5*g + 2. Is c(m) a multiple of 3?
False
Is 19 a factor of (-35)/5 - 498/(-6)?
True
Let c(p) be the third derivative of -p**4/24 + 13*p**3/6 - 9*p**2. Let g be c(11). Is -8*(-1)/g + 14 a multiple of 13?
False
Let l(k) be the second derivative of k**4/4 + 10*k**3/3 + 3*k**2 - 8*k. Let j(z) = z**2 + z - 1. Let v(n) = -4*j(n) + l(n). Does 10 divide v(16)?
True
Is (-3 + 149)*((-1482)/(-12))/13 a multiple of 55?
False
Let q(m) = -m**2 - 14*m - 33. Suppose 7*c + 32 = -24. Does 2 divide q(c)?
False
Let d(c) = 9*c**3 + c**2 - 3*c + 1. Let a be d(1). Suppose -40 = -a*t + 4*t. Suppose 4*o = 2*g - g - 1, -t = -2*g + 4*o. Is g a multiple of 3?
True
Suppose -y - 1666 = -2*n - 2*y, 0 = 3*n - 4*y - 2510. Suppose 0 = -6*a - 36 + n. Does 19 divide a?
True
Let x be 1383/(-51) - (-8)/68. Let z = 87 + x. Is z a multiple of 15?
True
Let s = 154 + -154. Suppose s = 11*j - 2147 - 570. Is j a multiple of 19?
True
Let y(k) = 6*k**2 - 13*k - 62. Is 14 a factor of y(-5)?
False
Let b(j) = j**3 - 9*j**2 - 3*j + 2. Let x(f) = -f**2 - 9*f + 10. Let v be x(-9). Does 36 divide b(v)?
True
Let f = 1548 + -620. Is 6 a factor of f?
False
Let l = 33 - 21. Suppose 6*z = 8*z + 20. Let r = z + l. Does 2 divide r?
True
Let k(x) = -34*x**3 + 2*x**2 + x - 12. Is k(-3) a multiple of 12?
False
Let t(p) = 4*p**2 + 2*p + 1. Let w be t(-1). Suppose -w*g + 10 = 4. Suppose -5*a + 3*b - 2*b = -115, a = g*b + 14. Is a a multiple of 6?
True
Let w(r) = -5*r - 2. Let k be w(-6). Suppose k = -13*o + 14*o. Is 12 a factor of o?
False
Suppose -2*s - 5 = 2*b + 3*s, -2*b = -2*s - 16. Suppose b*y = 554 + 386. Is 50 a factor of y?
False
Let a = 20 + -20. Suppose w - 12 + 6 = a. Let j = 24 - w. Does 10 divide j?
False
Let t = -3 - -6. Let p(s) = -23*s - 34. Let z be p(-5). Suppose -3*o + z - 291 = -t*j, j - 5*o - 86 = 0. Is j a multiple of 22?
True
Let p = 285 - 197. Let u = -10 + p. Is 13 a factor of u?
True
Let r be 8/6 - (-2)/3. Let q(u) = -4*u + 17*u - 4*u + 1 - 4*u. Does 6 divide q(r)?
False
Let w = -13 - -22. Suppose -3*b - 2*c = 1 + 5, b - 3*c - w = 0. Suppose -5*j + 47 + 38 = b. Does 8 divide j?
False
Suppose -5*w + 130 - 21 = 3*t, 0 = -2*w - 4*t + 52. Suppose 3*u - 28 - w = 0. Is u a multiple of 16?
True
Let g(h) = 9*h**2 + 4*h + 42. Let j(z) = 5*z**2 + 2*z + 21. Let a(d) = -6*g(d) + 11*j(d). Is a(7) a multiple of 14?
True
Let w(o) = o**2 + 5*o + 11. Let a = 39 + -44. Is 2 a factor of w(a)?
False
Let i(h) = h + 1. Let j(z) = -4. Let c = 11 - 9. Let p(b) = c*j(b) + 4*i(b). Does 16 divide p(5)?
True
Suppose -766 = -5*i - m, -22*i + 3*m = -20*i - 320. Is i a multiple of 7?
True
Let c be (-36)/1*1/(-3). Let u = c - 8. Is 8 a factor of 18 + -4 + u + 4?
False
Let v be (-91 - (0 - 4))/(-1). Let y = v - 184. Let d = -17 - y. Is d a multiple of 20?
True
Suppose f - 2*f + r = -383, -f - 4*r = -363. Does 36 divide f?
False
Let r(w) = -w**3 - 3*w**2 - 2. Let m(l) = l**3 + 5*l**2 + 5*l. Let v be m(-4). Let q be (2/v)/((-1)/(-10)). Is r(q) a multiple of 12?
True
Let t(c) = 3*c + 0*c - 3*c - 3*c + 4. Let n(j) = -j. Let a(l) = 6*n(l) - 3*t(l). Does 10 divide a(8)?
False
Suppose 2*a - 246 = -3*n, 0*n = -4*a + 2*n + 508. Suppose 2*y - 190 = -4*t, 5*y = 5*t - a - 74. Is 15 a factor of t?
True
Suppose 0 = 3*n - 5*v - 27, -4*v + 0 = 2*n + 4. Suppose 0 = -n*x + 9 + 7. Suppose -x*r = -296 + 68. Is 19 a factor of r?
True
Is 71 a factor of 7/(-2)*(-34 + -202) + 0?
False
Is 52 a factor of (1/((-6)/388))/((-235)/2820)?
False
Suppose -2*v = 2*c - 0 + 2, 0 = 5*c + 3*v + 11. Let m = c - -5. Is m + 11 - 21/7 a multiple of 5?
False
Let f(n) = 2*n + 17. Let z(q) = -q**2 - 13*q + 3. Let y be z(-13). Let t(r) = -r**3 + 3*r**2 - 6. Let o be t(y). Does 3 divide f(o)?
False
Let v = -4 + 6. Suppose -v*a = -a. Suppose 2*p - 95 + 25 = a. Is 10 a factor of p?
False
Suppose -4*a = -5 + 21. Let u = 6 + a. Suppose -u*z = -116 - 34. Does 25 divide z?
True
Suppose 0 = 2*g - 20*g + 4842. Is g a multiple of 15?
False
Suppose -5*u + 2700 = 3*h + 2*h, 3*h = 4*u - 2132. Suppose -2*y - 6*y + u = 0. Is 12 a factor of y?
False
Does 5 divide 148 + ((-15)/30)/((-1)/4)?
True
Suppose 0 = 2*s - q - 13, 2*s = 4*s + 3*q + 7. Does 5 divide 83/9 - s - 4/18?
True
Suppose -53*h + 897 = -40*h. Does 18 divide h?
False
Suppose 30 = v - 4*v. Let x = -8 - v. Is 12 a factor of x/(-7) - (-510)/21?
True
Let a = -1461 + 2571. Does 23 divide a?
False
Suppose 96 + 12 = 2*d. Does 3 divide d?
True
Suppose -k + 2*a + 70 = 2*k, 0 = -5*k + 3*a + 115. Is k a multiple of 4?
True
Is (-544)/(-952) + (-430)/(-7) a multiple of 3?
False
Suppose -52 = -12*s - s. Suppose -405 = -3*d - g, d - s*g - g = 135. Is d a multiple of 15?
True
Let i = -15 + 28. Let w(p) = -p**2 + 14*p + 4. Is 3 a factor of w(i)?
False
Let s be ((-1)/4)/(6/(-120)). Suppose -4*j - s*x = -0*j - 185, -x + 47 = j. Is j a multiple of 16?
False
Let f be 1/(1 + (-4)/5). Let h be -3 - 2*f/(-2). Suppose -3*k + h*n = -108, 2*n = -3*n. Does 18 divide k?
True
Let g(x) = x**3 - 6*x**2 + 9*x. Let s be g(4). Suppose y - 26 = 3*c, 4*y = -0*c + s*c + 32. Does 2 divide 6/(-4)*30/c?
False
Let z = -12 + -7. Let f = -15 - z. Is f even?
True
Is (756/(-2))/(30/(-6) - -4) a multiple of 25?
False
Let t = 45 - 74. Let v = -18 - t. Let d(a) = -a**3 + 12*a**2 - 10*a - 7. Is d(v) a multiple of 2?
True
Let d = 22 + -29. Let c = 10 + d. Is 3 a factor of c?
True
Let c = -1200 - -1812. Is 36 a factor of c?
True
Let d(k) = 2*k + 14 - 21 + 3 + 13. Let f be d(-3). Suppose -3*h = 2*h - 10, -5*q - f*h = -56. Is 4 a factor of q?
False
Let f be -23 + 22 - -2*3. Is 24 a factor of 140*3*(0 - (-2)/f)?
True
Let s(a) = -111*a + 3. Let o be s(-3). Suppose 2*u + o = 6*u. Does 14 divide u?
True
Let f(w) = 27*w + 78. Is 13 a factor of f(-2)?
False
Is 45/5*31 - (-4)/4 a multiple of 70?
True
Suppose -4*k - a = -1704, -5*k + 2130 = 5*a - 0*a. Is k/10 - (-2 + 26/10) a multiple of 7?
True
Let n(s) = 8*s + 576. Is 96 a factor of n(0)?
True
Let o(x) 