p(c) = 68*c**2 - 3. Is 6 a factor of p(-2)?
False
Suppose -4*s = -3*s. Let x = 4 + s. Suppose x*h + 72 = 5*h. Is 15 a factor of h?
False
Let j = -179 - -319. Is j a multiple of 20?
True
Let s = -72 - -171. Let n = -67 + s. Is n a multiple of 9?
False
Suppose -w + 1831 = -4*s, -12*s = -5*w - 8*s + 9235. Does 10 divide w?
False
Suppose x = 3*k + k + 5, 3*x + 3*k - 15 = 0. Suppose 4*n - 104 = v - 3*v, x*v - n = 271. Is v a multiple of 19?
False
Suppose -3*q - 2136 = -d, -d - 8*q = -10*q - 2139. Is d a multiple of 15?
True
Suppose 14190 = 20*y + 5570. Is 48 a factor of y?
False
Suppose 0 = -4*l - 0*l + 36. Suppose s + 0*s - 3*j = l, 4*s = 3*j + 81. Does 6 divide (-90)/(-4) - 12/s?
False
Let a(c) = 115*c**2 - 72*c - 4. Is a(4) a multiple of 18?
True
Suppose 0 = 2*a - 4*a - 30. Let i = -21 - a. Is 12 a factor of (-413)/(-21) - (-4)/i?
False
Let c be (11 - -734)*(-1)/(-5). Let g = c - 87. Does 31 divide -2*g*(-1)/2?
True
Does 10 divide (2/4 + -3)/((-4)/80)?
True
Let j = 65 - -38. Suppose -3*k - 40 = -j. Is 7 a factor of k?
True
Does 10 divide 2 + 5/(45/6912)?
True
Suppose -34*d = -36*d + 8. Suppose 0 = y + 2*r - 21, -149 = -d*y - 3*r - 50. Is y a multiple of 3?
True
Let i = 6 + -1. Suppose 3*q = -4*y - 11, i*y + 0*q + q = -22. Let l(h) = -h + 1. Is 2 a factor of l(y)?
True
Does 15 divide 257600/420 - (-1 + (-4)/6)?
True
Let q be (-25)/(-2 + -3) - 2. Let k(z) = 21*z**2 - 2. Is 41 a factor of k(q)?
False
Suppose 3*z = 3*c - 112 - 275, 0 = -3*z - 15. Suppose 0 = 2*j + 3*j + 275. Let o = j + c. Is 16 a factor of o?
False
Let j(c) = 2*c - 10. Let l be j(8). Let y(w) = 6*w**2 - 6*w + 9. Does 27 divide y(l)?
True
Let t(b) = -16*b - 4. Let j(i) = 3*i + 2. Let a(u) = 4*u + 3. Let k(r) = -2*a(r) + 3*j(r). Let p(f) = -12*k(f) - t(f). Is 10 a factor of p(7)?
False
Let g be 10/45 + 4/(-18). Let q(n) = 2*n - 14. Let d be q(10). Suppose -d*o + o + 120 = g. Does 22 divide o?
False
Suppose -2*h - 24 = -8*h. Suppose -o - 898 = -2*v + 3*o, 4*v = -5*o + 1861. Suppose -87 = -z - h*d, -5*z + 3*d + d = -v. Is 22 a factor of z?
False
Let t(z) = z**3 - 24*z**2 + z + 1. Is t(24) a multiple of 9?
False
Let z(l) = l**3 - 4*l**2 - 4*l - 1. Let t be z(5). Suppose -b = 4*j - 269 - 134, -2*b - 394 = -t*j. Let q = -47 + j. Does 20 divide q?
False
Let p(f) = -f**3 + 5*f**2 - f + 12. Let s be p(5). Let d(n) = n**3 - 9*n**2 + 16*n - 4. Is d(s) a multiple of 2?
True
Let c(l) = -l**3 - 14*l**2 - 3*l + 18. Let d(g) = -2*g**2 - g + 1. Suppose 2 = -5*m + 2*v - 3, -5*m = 5*v + 40. Let b be d(m). Does 15 divide c(b)?
True
Suppose 3*o + 12 = 4*o. Let c = 743 + -740. Let j = o - c. Is 9 a factor of j?
True
Let u be (16/24 + (-526)/(-12))*-2. Let w = 165 + u. Is 10 a factor of w?
False
Let x(y) = -y**2 + 4*y + 3. Let z be x(4). Suppose -3*b - 321 = -z*h - 6*b, -2*h + 2*b + 218 = 0. Let m = -68 + h. Is m a multiple of 8?
True
Let w(a) = -2*a**2 + 19*a + 47. Is 4 a factor of w(8)?
False
Suppose -7*i = -12*i - 3*u + 21210, -3*i + 12755 = -4*u. Is 83 a factor of i?
False
Let x = -113 + 123. Suppose -c = -1 - 14. Let j = c - x. Is j a multiple of 2?
False
Let j(p) = -8*p - 3. Let n be j(9). Let r = 257 + n. Does 26 divide r?
True
Let y(d) = -8*d**3 + 17*d**2 - 5*d - 9. Let j(v) = -2*v**3 + 4*v**2 - v - 2. Let l(t) = -9*j(t) + 2*y(t). Is 6 a factor of l(2)?
True
Let x be (-14 - -13) + (-1 - -4). Suppose -x*c - 33 = 27. Is (-1 - 92)*10/c a multiple of 11?
False
Suppose k - 3*j - 32 = 0, 0*k - 2*k + 43 = j. Let p be (k*6 - 3)*-1. Let x = -79 - p. Is x a multiple of 14?
True
Suppose 0 = -37*y + 55*y - 16794. Is 10 a factor of y?
False
Let k(h) = -7*h**2 - 5*h + 38. Let r(m) = 4*m**2 + 3*m - 19. Let f be ((-12)/8 - -2)*10. Let w(p) = f*r(p) + 3*k(p). Is w(0) a multiple of 17?
False
Does 6 divide 40 - (-30)/(-12)*2?
False
Suppose 0 = 6*b - 1797 - 471. Is b a multiple of 21?
True
Let s = 6080 - 2868. Does 70 divide s?
False
Let l(m) = -140*m**3 - 19*m**2 - 43*m - 5. Is 45 a factor of l(-2)?
True
Suppose -15904 = -24*u + 10*u. Is 16 a factor of u?
True
Is 4 a factor of (18336/18)/8*6/4?
False
Suppose 0 = 4*h + 3*z + 81 - 8, -4*h = z + 75. Is 14 a factor of 14382/171 + 2/h?
True
Let w(c) = c**2 - 4*c + 3. Let k = 9 + 1. Is 21 a factor of w(k)?
True
Let l(u) = u**2 - 3*u - 14. Let c be l(0). Is 204/21 + (-4)/c a multiple of 5?
True
Suppose 0 = -7*v + 8*v + 72. Let q = 93 + v. Is q a multiple of 10?
False
Let h = 11 - 11. Suppose 5*g - 3*g - 50 = h. Suppose 0 = x - g + 14. Does 9 divide x?
False
Let r(m) = 237*m - 3. Let s be r(1). Let j = s + -133. Does 32 divide j?
False
Let r be 9/3 + (-2)/(-2). Let d = 1 - r. Let u(w) = -4*w - 4. Is 8 a factor of u(d)?
True
Let d = -11 - -11. Let u(b) be the first derivative of -b**4/4 - b**2/2 + 55*b - 8. Does 8 divide u(d)?
False
Let p(w) be the second derivative of w**4/6 - 5*w**3/6 + 9*w**2/2 - 5*w. Let b(a) be the first derivative of p(a). Is 2 a factor of b(4)?
False
Suppose 5*u = 5*w - 7880, -5*u = -0*w - 3*w + 4728. Is 54 a factor of w?
False
Let g be (-70)/21 - -3 - (-170)/(-3). Let r = g - -73. Is r a multiple of 16?
True
Suppose 2*q + 886 = 7*s - 5*s, 2*s + q = 874. Does 59 divide s?
False
Let m(l) = -l - 3. Let z be m(-7). Suppose 2*s - 20 = -5*i, -4*i - 5*s = -3*i - z. Suppose i*y - 40 = -0*y. Is 10 a factor of y?
True
Let g(x) = 4 - 14 + 3 - 2*x. Let n be g(4). Let a = 39 + n. Does 24 divide a?
True
Suppose 10*h = 5*h + 670. Let q = 237 - h. Is q a multiple of 45?
False
Let d(r) = -r**3 - 12*r**2 - 29*r + 14. Does 13 divide d(-10)?
True
Let n(z) be the third derivative of -3*z**2 - 1/120*z**6 + 0*z - 5/24*z**4 - 1/10*z**5 + 1/3*z**3 + 0. Is 2 a factor of n(-5)?
True
Let b(f) = f**3 - 3*f**2 - 5*f + 14. Does 14 divide b(8)?
True
Let a = -81 + 107. Does 13 divide a*(2 + 4/(3 + -7))?
True
Suppose -7*b = -2*b - 15. Suppose -b*c + 5*j - 9 = 0, -c = 2*j + j - 11. Suppose -h = 3*r + h - 86, 52 = c*r - 4*h. Is 14 a factor of r?
True
Suppose -7*a = -5*a - 14. Suppose a*u - 11*u = 8. Does 6 divide 154/8 - u/(-8)?
False
Let h be -2 + 3 - (-165)/5. Let s = -15 + h. Is s a multiple of 3?
False
Let a(m) = -22*m + 4. Let j be a(-10). Let w = j - 152. Let h = 111 - w. Is h a multiple of 13?
True
Let z be 49/14 - (-2)/(-4). Suppose -u + z = -0*u. Is u a multiple of 3?
True
Suppose -21 = 2*l - l. Suppose -26 = a - b, -4*a + 3*b = 105 + 4. Let c = l - a. Does 10 divide c?
True
Suppose l - 4*a - 24 = 0, l = 2*a - 6 + 40. Suppose 0 = l*g - 46*g + 36. Is g a multiple of 7?
False
Does 4 divide (-22995)/(-42) + 1/2?
True
Suppose -2*m = 86 - 94. Suppose 4*v + 45 = 5*g, -m = 2*g + 3*v + 1. Is g even?
False
Suppose 6 + 6 = 6*v. Suppose -b + 4*b - 48 = -v*x, 3*x = -b + 65. Is x a multiple of 7?
True
Let x(v) = v**3 - 4*v**2 - 26*v + 6. Let a(m) = -10*m - 12. Let f be a(-2). Is x(f) a multiple of 6?
True
Suppose -16 = -2*x + z - 78, 2*z + 107 = -3*x. Let j = x + -32. Let d = j - -101. Does 9 divide d?
True
Let o(z) = 8*z + 1. Let h be o(4). Let u = 58 - h. Is 9 a factor of u + 4 - (3 + -1)?
True
Let k(d) = -d**2 - 5*d - 6. Let w be k(-4). Let g be w/4*(-158 + 8). Let m = g + -42. Is 11 a factor of m?
True
Suppose 4*t - 12 = 2*g + 2*t, -4*g - 4*t = 16. Is (g - 172/(-36)) + (-436)/(-18) a multiple of 6?
True
Let i = 9 + 25. Suppose -20 = -2*h + i. Does 9 divide h?
True
Is 41 a factor of ((-54)/(-33))/9 - (-14613)/33?
False
Let o be 10*(-1)/((-20)/8). Suppose o*a = 5*i - 412, 4*i - 326 = -0*i + 5*a. Does 28 divide i?
True
Let u(l) = 4*l**2 - 3*l + 5. Suppose -5*s + 80 = -5*k, k = 5*s - 95 + 15. Let c = -12 + s. Is 13 a factor of u(c)?
False
Suppose -3*s + 557 = -1324. Does 76 divide s?
False
Suppose 3*w - 3 = 0, 2*w - 3*w = -v + 6. Let z = 145 + -135. Suppose v*n = z*n - 48. Is n a multiple of 8?
True
Suppose -p - 2*h + 527 = 0, -p + 17 + 519 = -h. Is 7 a factor of p?
False
Let q(v) = -5*v**2 + 3*v + 12. Let o be q(4). Let m = 32 - o. Is 22 a factor of m?
True
Let p = -89 - -91. Let a be 8/((-1*2)/(-14)). Suppose a - p = l. Is 18 a factor of l?
True
Suppose 4*q + 44 = 5*q - 4*s, 0 = q + 2*s - 74. Suppose q = y + 7*y. Is y a multiple of 4?
True
Let m = -272 - -290. Is 2 a factor of m?
True
Let j = -4 - -4. Suppose -4*o = -f - j*f - 5, 0 = -3*f - 3*o. Does 2 divide 1*(0 - -2 - f)?
False
Suppose 3*x - 8*x + 1220 = 5*m, 5*m - 5 = 0. Does 28 divide x?
False
Let r(p) be the third derivative o