the first derivative of 5*o**2/2 + 3*o - 2. Let r be b(-2). Let x = r + 40. Does 11 divide x?
True
Suppose 31 = 4*j - 5*n - 0*n, -2*n = 6. Let k be (-188)/(-36) + j/(-18). Suppose 5*o = 3*p - 7, -13 = -3*p + p - k*o. Does 4 divide p?
True
Suppose 0 = 3*k - 9 - 12. Let p(m) = m**2. Let f be p(-2). Suppose -f*a + k*a + 4*t - 110 = 0, a + 4*t - 50 = 0. Does 15 divide a?
True
Let n = 96 - 54. Suppose -n = -g - 2*g. Is g a multiple of 8?
False
Suppose -5*g = -5*a - 460, -2*g + 2*a = -2*a - 176. Is 17 a factor of g?
False
Suppose -3*c - 279 = -3*s, -2*s - 2*s + 404 = 4*c. Does 39 divide s?
False
Let z(u) = -u**3 - 7*u**2 + 8*u - 1. Let a be z(-8). Let w = a - -3. Suppose 100 = 4*s - w*s. Is 15 a factor of s?
False
Is 20 a factor of 15*(8/(-6) + 4)?
True
Let c = 10 - 8. Suppose -5 = -c*b - 1. Suppose b*w - 4 = 20. Is 12 a factor of w?
True
Is 3/(-9) + 4205/15 a multiple of 20?
True
Does 35 divide ((-3)/(9/3))/((-1)/209)?
False
Let y = -10 - -12. Suppose -2*h + 34 = 5*f, -f + 10 = -y*h + 68. Does 6 divide h?
False
Let o(n) = 4*n**2 + 10*n + 7. Let b(l) = -5*l**2 - 11*l - 8. Let s(d) = 5*b(d) + 6*o(d). Let i be s(4). Suppose -24 + i = -3*f. Does 6 divide f?
True
Suppose -8*q + 5*q = 3*n - 519, -4*n = q - 173. Is 20 a factor of q?
False
Suppose -131 + 114 = -g. Is 17 a factor of g?
True
Let v be 2*((-15)/(-6))/1. Suppose -4*t - 6 + 18 = 0, 17 = 4*w - v*t. Is w*(99/12)/3 a multiple of 13?
False
Let d(j) = -j**3 - 2*j**2 + 4*j - 2. Let g = -3 - -7. Suppose 4*o + 2*s = 6*s, 4*o + 32 = -g*s. Does 14 divide d(o)?
True
Suppose 2*l - 5 + 11 = 0. Let p(r) = -r**2 + r - 1. Let s be p(1). Does 20 divide (-8)/(s + l/(-5))?
True
Let f(z) = z**3 - z**2 + 12*z. Does 42 divide f(6)?
True
Suppose -5*k = -1857 + 677. Is k a multiple of 15?
False
Let h(y) = 10*y + 28. Does 12 divide h(8)?
True
Let o(t) = 2*t - 6. Let v be o(4). Let f be (-2)/(-4)*v - -2. Suppose f*p + r + 4 = 11, -4*p + 22 = -5*r. Is 3 a factor of p?
True
Suppose 1 - 4 = -f. Suppose f*b = -4*r + 37, 2*r + r - 3 = 0. Suppose 2*a - a = b. Is 4 a factor of a?
False
Suppose 0 = -4*k + 3*f + 10, 5*k - 3*f - 2*f - 10 = 0. Let s be ((-18)/(-7))/(1/7). Does 13 divide (-428)/(-18) + k/s?
False
Suppose -5*h - 5*n - 140 = -8*h, -4*h = 4*n - 144. Is h a multiple of 10?
True
Suppose 6 = 3*w, -c + 13 = -3*w - 31. Is 25 a factor of c?
True
Let n(c) = -4*c. Let r be n(-2). Let t = r + 8. Is t a multiple of 6?
False
Suppose -y = 5*m - 702, 0*m - 3*m - 2*y = -417. Does 31 divide m?
False
Suppose -4*r - 12 = s - 32, 0 = -r - s + 5. Suppose -4*u + 3*x + 19 = -20, -5*u - 5*x = -r. Is u a multiple of 3?
True
Let m be ((-2)/6)/(8/(-120)). Suppose 5*h + 8*j - 4*j - 180 = 0, -2*h = m*j - 72. Does 9 divide h?
True
Let j(h) = h**2 + 6*h + 28. Is 27 a factor of j(-13)?
False
Let n(b) = 2*b**3 + 3*b - 6. Let r be n(4). Suppose 0 = 4*w - 26 - r. Does 20 divide w?
True
Suppose 236 + 934 = 5*q. Is q a multiple of 26?
True
Let b = 96 - 16. Does 14 divide b?
False
Suppose -6*d + 3*d + 453 = 0. Let p = d - 91. Is 30 a factor of p?
True
Let w(f) = f**3 + 3*f**2 - 4*f + 3. Let q(h) = -h**3 - 9*h**2 + 3. Let k be q(-9). Suppose 13 = -k*c + y, 6*c + 18 = c - 2*y. Is w(c) even?
False
Let k(j) be the second derivative of j**3/3 + 2*j**2 + j. Let o(c) = c**3 + 5*c**2 - c - 2. Let d be o(-5). Does 5 divide k(d)?
True
Let t = -2 - -6. Let y be (-8)/t + 2/1. Let r(c) = -c**2 - c + 12. Is 10 a factor of r(y)?
False
Suppose -2*u + 38 = -3*p, 73 = 5*u - 0*p - 2*p. Suppose u*g - 10*g - 165 = 0. Is 25 a factor of g?
False
Suppose -5*s + 11 = -9. Suppose 155 - 41 = 4*y + 5*a, s*y - 3*a = 130. Suppose 2*h + 3*v = 6*v + y, h = 5*v + 33. Does 8 divide h?
True
Let s(u) = u**2 + 5*u + 4. Let v be s(-5). Let h(k) = k**3 - 2*k**2 - 5. Does 10 divide h(v)?
False
Let k(q) = 2*q + 119. Does 39 divide k(0)?
False
Let m(d) = 5*d. Let o = -5 + 7. Is 5 a factor of m(o)?
True
Let g = -3 + 5. Suppose g*n - 261 = 39. Suppose 5*p - x - n = -5*x, 4*x - 90 = -3*p. Is 15 a factor of p?
True
Suppose 0 = -4*g + 51 + 49. Is g a multiple of 5?
True
Let o = 107 - 44. Does 12 divide o?
False
Let b(c) = -c**3 + 5*c**2 - 4*c + 5. Let l be b(4). Suppose p + l + 0 = 0. Let x = -3 - p. Is x even?
True
Does 13 divide -3 + (-5)/((-5)/54)?
False
Let w be (-2)/4 - 218/(-4). Suppose o - w = -o. Suppose 4*y = o + 25. Does 13 divide y?
True
Let v(w) = w**3 + 8*w**2 + 9*w - 2. Let i be v(-7). Is 2 a factor of (-81)/(-12) + (-4)/i?
False
Let t be -2*-2*2/8. Suppose 6*f - 11*f - 50 = 0. Let u = t - f. Does 10 divide u?
False
Let q(v) = 2*v. Let b be q(1). Suppose b*s - 3*s + 32 = 0. Is 16 a factor of s?
True
Suppose 315 + 37 = 4*o. Is 10 a factor of o?
False
Let g be (-786)/(-4)*(4 - 8). Is (-4)/(-14) - g/42 a multiple of 19?
True
Let s be 2/3 - (-16)/3. Let c = 8 - s. Is c/(-1 - 5/(-3)) a multiple of 2?
False
Does 19 divide 6/14 + (-8656)/(-56)?
False
Let s be 27/5 + 9/15. Let p be 14/(-8) + 1/(-4). Does 11 divide (s/15)/(p/(-110))?
True
Let l = 79 + -62. Does 2 divide l?
False
Suppose -6*j = -j - 3*q, 2*j - 14 = 4*q. Let b be 4/(j*(-1)/36). Suppose b = 2*f + f. Is f a multiple of 6?
False
Let j be (-2)/6 + (-256)/(-3). Let n = j + -60. Does 25 divide n?
True
Suppose -59 = -3*w + p + 65, -w + 48 = p. Is 23 a factor of w - -6*1/2?
True
Let x = 10 - 12. Is 6/x - -1 - -26 a multiple of 14?
False
Is 3/(3 - (-63)/(-22)) a multiple of 7?
False
Let c = 127 - 93. Does 18 divide c?
False
Let x(o) = 0*o + 2*o**3 + 4*o + o - 5*o**3 + 4 - 2*o**2. Is 16 a factor of x(-3)?
False
Let h(s) = -7*s - s**2 - 1 + 2*s + 6 + 10*s. Is h(4) a multiple of 5?
False
Let p = -9 + 8. Let t be 1/((-2)/(-92)) + p. Let h = -23 + t. Does 22 divide h?
True
Let l = -24 + 44. Is l a multiple of 14?
False
Suppose 80 = -3*k - 10. Does 9 divide 20/k*(1 + -67)?
False
Let k(c) = -2*c**3 + 3*c**2 + c - 2. Let y = 10 + -12. Is k(y) a multiple of 12?
True
Let r be ((-6)/7)/((-1)/7). Suppose 5*z = m + 8, m = 4*z - r + 2. Suppose -3*f = -0*f - m, -5*i = 5*f - 160. Is 15 a factor of i?
False
Suppose -3*y + 10 = 2*y, 5*l + 3*y = -329. Let g = 113 + l. Does 13 divide g?
False
Suppose -2 + 6 = z. Suppose 5*f + y = 121, 120 = -0*f + z*f - 5*y. Does 10 divide f?
False
Let m = -100 + 390. Does 38 divide m?
False
Let x be 14 + 3 - -1*2. Let o = -3 + x. Is o a multiple of 16?
True
Let s(r) = -r**2 - 14*r - 9. Suppose -1 - 25 = 2*m. Does 2 divide s(m)?
True
Suppose -2*q + 0*q + 3*u = -104, 5*u + 154 = 3*q. Is 29 a factor of q?
True
Suppose -f = 22 - 83. Is 7 a factor of f?
False
Suppose 33 = 5*s + 13. Let a be 0 - (30/(-2) + -2). Suppose 0 = -s*f + 5*f - a. Is 14 a factor of f?
False
Let k(j) = -9*j**3 - j + 1. Let g(x) = -4*x**3 - x. Let v(c) = 7*g(c) - 3*k(c). Is 13 a factor of v(-2)?
True
Suppose -81*h + 260 = -76*h. Does 9 divide h?
False
Suppose 5*g - 244 = 76. Does 13 divide g?
False
Let a be 36/30*5/2. Suppose a*l + 117 = 3*z - z, z = 5*l + 69. Is z a multiple of 18?
True
Let y(j) = -74*j - 1. Let u be y(-2). Suppose -4*f + 0*d + 3*d = u, 3*d = -3*f - 105. Let z = 55 + f. Does 12 divide z?
False
Suppose -5*l + 3*j + 40 = 0, -2*j + 0*j - 32 = -4*l. Let i be 1/2 + (-130)/20. Is 9 a factor of 66/l + i/(-8)?
True
Suppose 109 = 6*t - 2*t - n, -5*t = -2*n - 134. Is 8 a factor of t?
False
Suppose 3*y + 1 = -17. Let j(w) = -2*w - 8. Let p be j(y). Suppose -5*k + p*u + 34 = 0, -5*k + 0*u + 2*u = -42. Does 5 divide k?
True
Suppose -y + 6 + 11 = 0. Suppose -3 + y = 2*t. Suppose -r - 2*x + t*x = -66, -2*r = x - 88. Is 23 a factor of r?
True
Let c(b) = 18*b - 20. Let h(l) = -9*l + 10. Let t(u) = -2*c(u) - 5*h(u). Let x(k) = -k - 1. Let z(f) = t(f) - 6*x(f). Is z(4) a multiple of 19?
False
Suppose 32*c + 220 = 37*c. Is c a multiple of 22?
True
Let y be (-2 - -2)/(1 - 2). Let z(v) = -v + 4. Let q be z(y). Suppose -2*l - 96 = -4*a, -4*a + q*l + 36 = -2*a. Does 13 divide a?
True
Suppose 5*x + 7 = -3. Is -1*(-9)/(-6)*x a multiple of 2?
False
Suppose q + 4*x = -x - 4, -36 = -3*q - 3*x. Does 9 divide q?
False
Suppose 0*c + 5*c - 80 = 0. Is 8 a factor of c?
True
Let q(g) = -g**3 - g + 2. Let j be q(-2). Let s be 131/2 + (-6)/j. Suppose -4*k = -6*z + z - 35, -s = -5*k + 2*z. Is 5 a factor of k?
True
Let r(j) = 4*j**2 + j - 1. Is r(4) a multiple of 12?
False
Suppose 0 = -l + d + 4, 20 = 3*l + 3*d + 2*d. Suppose 0 = l*y - 2*y - 90. Is 20 a factor of y?
False
Su