 4*w**3. Is 15 a factor of g(-6)?
True
Let m(b) be the third derivative of b**5/30 - 7*b**3/6 - 2*b**2. Let f be m(-5). Let u = f - 30. Does 13 divide u?
True
Let w = 7 - 3. Is 2 a factor of w?
True
Does 7 divide 63/27*(2 + 4)?
True
Suppose 11 + 105 = 4*f. Is 29 a factor of f?
True
Suppose 5*c + 4*f = 357, -4*c + 2*f + 288 = 4*f. Is c a multiple of 31?
False
Let a(x) = -2*x - 12. Is a(-11) a multiple of 5?
True
Let o = -4 + 6. Suppose -2*r - 4 = 3*s, 0*s + 4 = -o*r - s. Does 3 divide 1/2 - 17/r?
True
Let m(d) be the first derivative of -d**2/2 + 8*d + 1. Let u = -20 + 14. Does 14 divide m(u)?
True
Suppose -3*c + 114 = 27. Is 9 a factor of c?
False
Let y = -60 + 102. Is y a multiple of 14?
True
Suppose -g + 2 = 8. Let d be (-2)/g + (-10)/(-6). Suppose 66 = d*b - 18. Does 15 divide b?
False
Let k = 252 + -140. Is k a multiple of 16?
True
Let w(i) = -2*i - i**3 - 2 + i**2 - i**2 + 0*i - 2*i**2. Let y be w(-2). Suppose -y*j + 5 + 21 = 0. Does 13 divide j?
True
Let j = 46 - 18. Suppose 0 = -0*t - 2*t + j. Does 14 divide t?
True
Let h = -114 - -186. Does 36 divide h?
True
Suppose 0 = z - 5*x - 111, -8*z + 5*z + 351 = 3*x. Does 29 divide z?
True
Suppose 0 = -4*o - u + 238, -2*o - 4*u = 21 - 133. Suppose 2*v + o = 5*v. Is v a multiple of 10?
True
Suppose 0 = -2*b + 28 + 36. Suppose 5*k - 78 = -3*w, -w + b = -2*k + 4*k. Does 9 divide k?
True
Suppose 6 = 2*n - 12. Let r(h) = h**2 - 6*h - 11. Is r(n) a multiple of 12?
False
Let d(x) = x. Let s be d(4). Let f(c) be the second derivative of 4*c**3/3 - c**2 - 2*c. Is f(s) a multiple of 12?
False
Suppose 5*l - 3*x - 14 - 333 = 0, 0 = 4*l + 4*x - 284. Suppose 6*k = 2*f + 2*k - l, 47 = f - 5*k. Is f a multiple of 9?
True
Let s(q) = -q**3 - 13*q**2 - q - 9. Is 3 a factor of s(-13)?
False
Suppose 5*u - 50 = -3*c - 0*u, 5*u - 10 = -c. Does 4 divide c?
True
Suppose 3*p = 4*w + 134, 5*p - 299 = 5*w - 79. Is p a multiple of 31?
False
Let l(k) = k**3 + 3*k**2 - 3*k - 4. Let g be l(-4). Is (18/g)/((-3)/12) a multiple of 9?
True
Let n(u) = 7*u - 12. Suppose -o + 29 = 3*t + 11, 2*o + 4 = 4*t. Is n(o) a multiple of 15?
True
Let b(p) = -7*p + 55. Does 29 divide b(-17)?
True
Let g(m) = -m - 3. Let k be g(-5). Let x be ((-3)/(-6))/((-1)/k). Does 5 divide (-240)/(-18) - x/(-3)?
False
Let s be (-2)/10 - (-2)/10. Suppose s*i + 5*i - 150 = 0. Suppose 0 = -2*d - 5*g + i, d - g - 26 = 2*g. Does 10 divide d?
True
Suppose 355 - 100 = 5*c. Does 5 divide c?
False
Let k(s) = 43*s + 1. Let w be k(2). Suppose -3*z = -w + 30. Is 13 a factor of z?
False
Let f = 58 - 30. Does 12 divide f?
False
Let p = -9 + 14. Suppose -4*l - 62 = -6*l + p*v, -2*l = -2*v - 50. Is l a multiple of 7?
True
Suppose 0 = j + s + s - 12, j + 18 = 4*s. Suppose g + 3*a - 73 = 0, -j*a = -3*g + 241 - 33. Does 14 divide g?
True
Let j(z) = -z**3 - 11*z**2 + 14*z + 18. Let x be j(-12). Does 2 divide 3*1/((-3)/x)?
True
Suppose -27 = -2*h + 43. Suppose 4*r - h - 1 = 0. Is 8 a factor of r?
False
Suppose -2*o = o - j - 59, 3*o - 47 = -5*j. Suppose -3*u + o = -u + s, -u + 5*s = -4. Is u a multiple of 5?
False
Let o = -68 + 113. Is 15 a factor of o?
True
Suppose 2*f - c = c + 2, -f - 5*c = -13. Suppose -3*s - 5*k = 6 + f, -k = -3*s + 9. Suppose -3*d + 8 = -s*d. Is d a multiple of 7?
False
Suppose -4*n = 2*c - 8, -3*n + 4 = 2*c - n. Suppose 2*g + b - 37 = 4, -4*b + 4 = c. Is g a multiple of 20?
True
Let g(o) = -o**3 - 4*o**2 + 8*o + 8. Let c be g(-6). Suppose -2 + c = 5*h. Is 5 a factor of h?
False
Suppose -10 = c - 6*c. Let r = c + 1. Is r a multiple of 2?
False
Let v = 2 + -4. Let j(h) = -6*h - 1. Is 4 a factor of j(v)?
False
Suppose 0 = -3*h - 8 + 23. Suppose -r + v - 173 = -6*r, r = -h*v + 49. Does 11 divide r?
False
Let g(h) = h**2 + 15*h - 10. Suppose -10 = d + 6. Does 4 divide g(d)?
False
Let s = 10 + -7. Let w(a) = a**2 + 26*a + 52. Let q be w(-24). Suppose 4*j - 22 = s*h, q*j + 4*h - 22 = 2*j. Is 7 a factor of j?
True
Suppose 2*a - 162 = -4*a. Does 9 divide a?
True
Let k be (21 - -2 - 0) + 2. Suppose -k = -d + 34. Is 16 a factor of d?
False
Suppose 26 - 127 = -3*y - 4*l, 0 = 5*l + 5. Is 7 a factor of y?
True
Let t = -24 - -39. Does 10 divide t?
False
Let v(u) = u**2 - 12*u + 15. Let y be v(11). Let q(g) = g**3 - 3*g**2 - g - 3. Does 2 divide q(y)?
False
Let g(m) = -m**3 + 10*m**2 + 15*m + 5. Let b be g(11). Let p = 69 - b. Is 19 a factor of p?
False
Let b be -2*(-15)/(-10) - -3. Let h(w) = 2*w - 8. Let r be h(6). Suppose -r*k + 64 = -b*k. Is 16 a factor of k?
True
Let x = 46 - -6. Is 26 a factor of x?
True
Let l(y) = -y**2 + 4*y + 5. Let t = 9 + -5. Let c be l(t). Suppose -c*s = 2*q - 35, s = 2*q + 5*s - 36. Is 10 a factor of q?
True
Is (1*-1)/((-22)/792) a multiple of 21?
False
Let z = 32 + -1. Does 16 divide z?
False
Let f be (-1)/(0 + -1) + 39. Let z(v) = -v**2 - 12*v - 8. Let i be z(-12). Let n = f + i. Does 16 divide n?
True
Is 6 a factor of (-1)/(4 - 987/246)?
False
Suppose 2*v - 74 = -0*v. Suppose -4*o + 5*m + 71 = -35, -o - 4*m + v = 0. Is o a multiple of 18?
False
Let c(x) = -2*x**3 + 3*x**2 + x - 1. Is c(-2) a multiple of 25?
True
Suppose 2 + 12 = w. Is 7 a factor of w?
True
Let r(i) = -i**2 - 4*i + 3. Let a be r(-6). Let c(j) = 14 - 5 - j**2 + 7*j + 2*j**2. Is 10 a factor of c(a)?
False
Suppose 0 = -g + 3*g - 10. Suppose 0*u + 15 = g*u. Is ((-190)/15)/((-2)/u) a multiple of 19?
True
Suppose -2*q - 3*q = -3*p + 407, 5*p - 3*q - 705 = 0. Does 12 divide p?
True
Let h(r) = 4*r**3 + 3*r**2 - 5*r - 3. Does 36 divide h(4)?
False
Let d = 214 - 102. Let h = d - 34. Is h a multiple of 25?
False
Let u = -3 - -13. Suppose 32 + u = 2*w. Is 6 a factor of w?
False
Is 11 a factor of -1 - -2*(-12)/(-2)?
True
Suppose 4*n = 2*z - 14 + 268, n - 46 = -3*z. Is n a multiple of 14?
False
Suppose 0*r - r = -4*g - 136, -5*r - g = -785. Does 16 divide r?
False
Suppose 3*d + 2*f = -3*f + 3, -d + 9 = -f. Suppose 3*c = d + 33. Is 13 a factor of c?
True
Let g(k) = 30*k**2 + 7*k + 9. Is g(-2) a multiple of 19?
False
Suppose 0*c - 4*c + 4 = 0. Let o be 3 - 2*(3 + -8) - -3. Suppose m + c - o = 0. Is m a multiple of 15?
True
Let w(z) = -z**2 - 6*z - 5. Let r be w(-5). Suppose 3*f - 3*v - 3 = -12, r = 3*f - v + 7. Is 10 a factor of 10*1/(-2)*f?
True
Suppose 20 = 4*v - 160. Does 5 divide v?
True
Suppose 0 = -q - 0*q + 6. Let j(g) = 3*g + 8 - 6*g**2 - 2*g**2 + 2*g**2 + g**3. Does 13 divide j(q)?
True
Suppose -7*j + 5*j + 10 = 0. Let k(w) = 3*w**2 - 11*w + 7. Does 10 divide k(j)?
False
Suppose -61 = -5*g - a, 5*g = -2*a - 12 + 74. Let f be 32/g - 2/(-6). Suppose 0 = 5*v - f*r - 23, v + r = 2 + 1. Is v a multiple of 2?
True
Let d be -1*(14/(-2) + 2). Suppose 5*n + d*l - 65 = 0, 4*l = -3*n + 3*l + 31. Let k = n + -1. Does 8 divide k?
True
Let p = 60 - 37. Let k = p + -16. Is 2 a factor of k?
False
Let r be 12/8 + (-2)/(-4). Suppose 2*t - 37 = 1. Suppose v + t = r*v. Is v a multiple of 10?
False
Let r = 298 - 134. Is r a multiple of 41?
True
Let v(f) = 4*f + 5. Let b(i) = i - 1. Let s(q) = -4*b(q) - v(q). Let t be s(-1). Let r(h) = h**2 - 4*h - 9. Does 6 divide r(t)?
True
Let v = 1 - -1. Let y(b) = b**2 - 2*b + 3. Let u be y(v). Suppose u*q - 43 = -13. Does 5 divide q?
True
Let y be (-3)/9 + 399/9. Suppose 3*k = x + 33, 3*x + 2*k + y = -0*x. Let s = x - -31. Does 9 divide s?
False
Suppose 8 = 4*i - 4, -i - 153 = -4*b. Does 9 divide b?
False
Let m(p) = p**2 - 2*p - 9. Let f be ((-2)/5)/(1/(-5)). Suppose -4*l = -f*t + l + 9, t - 2 = 5*l. Does 8 divide m(t)?
False
Let s = 37 + 18. Does 27 divide s?
False
Suppose 5*a + 25 = 5*w, 3*w = -a + 27 + 8. Suppose -w = 5*q - 160. Is 16 a factor of q?
False
Let j = -83 - -119. Suppose 14 + j = 2*w. Is 90/w*(-10)/(-2) a multiple of 18?
True
Let p = -7 - -28. Suppose x + 33 = 3*m, 2*x - p - 21 = -3*m. Is 5 a factor of 1*(-4)/(m/(-15))?
True
Let r(y) = 1 + 4*y**2 - 4*y**2 + y**2 + 5 + 5*y. Is r(-5) even?
True
Let k = 24 - 0. Does 24 divide k?
True
Suppose -l = 9 + 1. Does 9 divide l/((2/(-3))/1)?
False
Let s = -12 + 7. Is (s/(-2))/((-5)/(-10)) a multiple of 4?
False
Let b = 86 - 16. Does 7 divide b?
True
Let t(b) = -5 - 15*b + 20*b + 26*b + 16*b. Let i be t(5). Suppose i = 4*v + v. Is v a multiple of 18?
False
Suppose 2*v - 96 = a, 2*a - v + 34 = -146. Let s be (-2)/3 - a/6. Let f = 6 + s. Is 9 a factor of f?
False
Suppose 0 = -p - 4*p + 10. Does 2 divide p?
T