w?
True
Let f(i) = i**3 - i + 1. Let z be f(2). Suppose -z*q + 180 = -2*q. Is 18 a factor of q?
True
Suppose -5*y + 3*t = -0*t - 700, -5*y = 5*t - 700. Is y a multiple of 14?
True
Suppose -306 = 19*i - 22*i. Is i a multiple of 17?
True
Let s(i) = 3*i + 32 - 3*i + 4*i - 3*i + i**2. Is 11 a factor of s(0)?
False
Suppose -5*q + 176 = -64. Is 11 a factor of q?
False
Let o(b) = -b - 1. Suppose -1 = -2*h + 3*h. Let y be o(h). Suppose -36 = -4*w - y*w. Is 6 a factor of w?
False
Is 2 a factor of 3/(3/(-24)*-4)?
True
Let o = 4 - 3. Let u = o - -1. Suppose 3*f + 3*l - 26 = u*l, -5*f + 2*l + 47 = 0. Is f a multiple of 9?
True
Let x(s) = -s**3 - s**2 + 4*s - 12. Let q(d) = -d**3 - d**2 + 3*d - 11. Let w(r) = -5*q(r) + 4*x(r). Let v = -3 + 3. Is 4 a factor of w(v)?
False
Suppose -3*w + 74 - 28 = -2*n, 3*n + 15 = 0. Is w a multiple of 12?
True
Is (-7)/14 - (-107)/2 a multiple of 31?
False
Let q(i) = i**3 + 8*i**2 - 4*i. Let g = 27 + -3. Suppose -z = 2*z + g. Is q(z) a multiple of 13?
False
Is (120/(-25))/((-4)/20) a multiple of 23?
False
Let o be (-3 - -3) + (-15)/(-3). Suppose -3*q = o*c - 75 - 62, -2*q = -3*c + 86. Does 6 divide c?
False
Suppose g = -a + 3*g + 11, -a - 4*g = -5. Is 9 a factor of a?
True
Let z be 13/5 - (-4)/10. Suppose -z*p = 4*l - 24, 0 = -l + 6*l - 2*p - 7. Is 2*l/3 + 1 even?
False
Let g be (1 - 4/2)*6. Let f(d) = 6*d**2 + 5*d + 4. Let i(j) = 17*j**2 + 16*j + 12. Let u(z) = -11*f(z) + 4*i(z). Is u(g) a multiple of 8?
False
Let t(y) = 6*y**2 - 6*y - 24. Is t(-7) a multiple of 13?
True
Let w(q) = -q**3 - 31*q**2 - 40*q - 68. Is 29 a factor of w(-30)?
True
Let t(z) = -z - 2. Let x be t(-6). Suppose 4*k = -0*k - x, 0 = 4*n - 2*k + 10. Let c = n - -7. Is 2 a factor of c?
True
Suppose 2*g - 8 = 22. Is 5 a factor of g?
True
Let c = -71 + 121. Is c a multiple of 28?
False
Let a(s) be the first derivative of -1 - s + 1/2*s**2. Is a(4) even?
False
Suppose 3*w + 0*w + 2*i = 17, 4*w = 3*i. Suppose -w*g + 34 = -77. Does 11 divide g?
False
Let q(z) = z - 5. Let k be q(6). Does 13 divide k/(-1) - 19*-1?
False
Let r = 1 + -1. Suppose r = -4*j - 15 + 87. Let l = -6 + j. Is 6 a factor of l?
True
Let y = 65 + -44. Suppose s - 33 = y. Suppose 2*q = v + s - 20, -5*q + 76 = 2*v. Is 7 a factor of q?
False
Suppose 0 = z - 0 + 10. Let m(h) = -2*h - 10. Is m(z) a multiple of 5?
True
Suppose 3*x = 191 + 43. Is 9 a factor of x?
False
Suppose y - 10 = 49. Does 23 divide y?
False
Let o be (4 + 1)*127 - -1. Is 7 a factor of o/18 - 3/9?
True
Suppose 8*g = 3*g. Suppose 4*d + b = -7, g = -0*d + d + b - 2. Let s = d + 10. Is s a multiple of 7?
True
Suppose 0 = 2*l - 20. Is 5 a factor of l?
True
Suppose -5*o + 2 + 5 = -4*m, -5*o + 4 = -3*m. Let b = 1 + 1. Is b/m*42/(-4) a multiple of 7?
True
Suppose -6*f = -5*f - 4. Let h = 27 - f. Is 3 + -2 + 2 + h a multiple of 16?
False
Suppose 1750 = 14*w - 7*w. Is w a multiple of 45?
False
Let l = -63 - -91. Suppose 0*p - 5 = 2*p - 5*x, l = 5*p + x. Suppose 3*h = -p*i - 2*h + 50, 0 = 4*i - 2*h - 46. Is i a multiple of 7?
False
Let q(m) = 9*m**2 + 3*m. Let o be q(3). Let h = o + -59. Is 8 a factor of h?
False
Let n(r) = -r**2 - 12*r - 7. Let t be n(-11). Suppose -t*m = -5*z - 87, z = -m - 2*z + 43. Does 14 divide m?
True
Let l(b) = -2*b**2 + 6*b - 6. Let v be l(4). Suppose -5*z - 2 = -4*z. Is 13 a factor of v/8*(-14 - z)?
False
Let u(i) = -6*i**2 + 20*i**2 + 9*i**2 + 1. Suppose 4*c - 16 = -4*h - 0*h, -5*c + 5*h - 30 = 0. Does 9 divide u(c)?
False
Let p(d) = 5*d + 5. Let j be p(7). Suppose 0 = 7*q - 2*q - j. Is q a multiple of 5?
False
Is ((-275)/20)/((-1)/4) a multiple of 9?
False
Let t(a) = a**2 + 2*a. Let y be t(-2). Suppose -c + 3*p = 1, -3*c + y*p = -p - 5. Is 5 a factor of 11 - (-2)/(0 - c)?
True
Suppose -5*w + 556 = -w. Suppose 3*s + w = 406. Is 20 a factor of s?
False
Let h(f) be the third derivative of f**5/30 + 3*f**4/8 + f**2. Let z(i) = -i**3 + 3*i**2 - i - 3. Let l be z(3). Does 13 divide h(l)?
False
Let q = -6 + 154. Does 44 divide q?
False
Let d(a) = a**2 + 8*a - 4. Let f be d(-7). Is (f/2)/((-6)/36) a multiple of 14?
False
Suppose 190 = 3*w + 40. Does 10 divide w?
True
Let g = -2 + 17. Is 3 a factor of g?
True
Suppose -2*m + 829 = 37. Is m a multiple of 33?
True
Suppose 2*d = -5*q + 3*d + 410, -5*q + 4*d = -395. Is q a multiple of 8?
False
Is (-26)/(-65) - 173/(-5) a multiple of 8?
False
Let d be 12/9 + 19/(-3). Let g(h) = -6*h**2 - 3*h - 12. Let y(i) = -i**2 + i - 1. Let t(f) = g(f) - 5*y(f). Is t(d) a multiple of 6?
False
Let b = -5 + 13. Let q = b + -6. Suppose -56 = -2*g - q*g. Is g a multiple of 14?
True
Suppose 2*i - i = 0. Suppose i*r = -r + 6. Is r a multiple of 6?
True
Let d(k) = -k**3 + 4*k**2 + 5*k - 1. Does 15 divide d(4)?
False
Suppose 0 = 2*q + q. Suppose 65 = 2*b + v, -6*b + 2*b - 4*v + 140 = q. Is 10 a factor of b?
True
Let x be (30/9)/(6/9). Suppose x*h = 117 - 27. Is h a multiple of 18?
True
Suppose 0 = -3*t - 0*t - 63. Let v = 43 + t. Is 11 a factor of v?
True
Does 16 divide (268 - 2) + (3 - 6)?
False
Let g(v) = -v**3 - 4*v + 2*v - 5 + 2*v**3 - 3*v**2. Is 3 a factor of g(4)?
True
Suppose 3 = 2*i - 5. Does 10 divide 86/4 - 2/i?
False
Suppose -2*n = -4*w - 0*n - 206, -3*w = -n + 157. Let d = 90 + w. Is d a multiple of 12?
True
Let t(o) = 27*o - 3. Let q(s) = -81*s + 8. Let n(d) = 4*q(d) + 11*t(d). Does 13 divide n(-1)?
True
Let i = -3 + 7. Does 4 divide i?
True
Let y = 2 + 16. Is y a multiple of 18?
True
Suppose 7*o - 41 = 50. Is 3 a factor of o?
False
Let q = 38 + -18. Suppose -30 - q = -2*v. Is 9 a factor of v?
False
Is 12 a factor of 36/(-10)*40/(-6)?
True
Let j(w) = -2*w - 14. Let f be j(-5). Let m(d) = -5*d**2 - 5*d - 8. Let i(k) = k**2 - k + 1. Let p(x) = 4*i(x) + m(x). Does 8 divide p(f)?
True
Suppose c - 26 = -5*d, 3*d + 2*d + 29 = 4*c. Let f = c - 9. Suppose 2*a - f*b = 30, 4*a - a = 4*b + 50. Is 5 a factor of a?
True
Let j = -29 - -17. Let w = j - -6. Is (w/(-15))/(2/80) a multiple of 16?
True
Let u(a) = a**2 - 4*a + 5. Let q be u(4). Let x(s) be the second derivative of -s**4/12 + 7*s**3/6 + s**2 - s. Is x(q) a multiple of 5?
False
Let u be ((-27)/12)/((-6)/16). Let a(s) = s + 4*s**2 + 3*s**3 - u*s + 2*s. Is a(2) a multiple of 12?
False
Let t be 8 - (2 + -2 - -2). Let i = 5 + -9. Is 11 a factor of i/(8/t) - -34?
False
Suppose 28 = q - 52. Does 20 divide q?
True
Let m = 592 - 303. Is m a multiple of 32?
False
Let p be (3/(-4))/(2/(-8)). Suppose i - 60 = -p*i. Does 5 divide i?
True
Let v = -2 - -3. Let p = 4 + v. Let l = 9 - p. Is 2 a factor of l?
True
Suppose 4*b = 21 - 9. Suppose -2*r - b*r = -60. Does 4 divide r?
True
Let y = -10 + 45. Does 10 divide y?
False
Let n(m) = m**2 + 12*m + 3. Let k = -35 + 23. Let w be n(k). Suppose 8*f - 4*f - 52 = -w*a, 2*f - 26 = -a. Is f a multiple of 13?
True
Suppose 1 - 16 = -3*i. Suppose 0 = 4*t - 4*v + 148, 4*t - 3*t + i*v = -43. Is 3 a factor of t/(-4) - 4/(-8)?
False
Let v(u) = -15*u + 5. Does 13 divide v(-4)?
True
Let j be 3/(-6) - 10/(-4). Let c = 3 - j. Let m(k) = 5*k**3 + k**2 - k + 1. Is m(c) a multiple of 6?
True
Let s(h) = 0 + 0 - 4 - 15*h. Let c be s(4). Let r = c + 94. Is r a multiple of 13?
False
Let y = 13 - 11. Suppose -5*m + y*m = -180. Is m a multiple of 12?
True
Suppose -2*h + 4*v = h - 120, 3*h - 5*v - 120 = 0. Does 26 divide h?
False
Suppose 9*v - 5*v = 616. Let w = -47 + v. Does 19 divide w?
False
Let o = -3 - -3. Suppose 4*a + 3*t - 62 = o, -58 = -4*a + 2*t - 3*t. Does 14 divide a?
True
Let x(j) be the third derivative of 1/60*j**5 + 2*j**2 + 0 + 7/6*j**3 + 0*j + 1/3*j**4. Is x(-10) a multiple of 17?
False
Does 30 divide (-2363)/(-17) + 0/(-1 + 2)?
False
Let g(p) = p**3 - 5*p**2 + 2. Let n(z) = -z**3 + 5*z**2 - 2. Let u(c) = -4*g(c) - 3*n(c). Does 8 divide u(4)?
False
Let o(q) = q**3 - 2*q**2 + 4*q - 5. Does 8 divide o(3)?
True
Let s(o) = 30*o + 48. Is s(6) a multiple of 37?
False
Let c(o) = o**2 + 2*o + 3*o**3 - 3*o - 4*o**3 + 2*o - 507. Let l be c(0). Is l/(-27) + (-4)/(-18) a multiple of 5?
False
Let b = -423 + 16. Does 22 divide b/(-5) - 12/30?
False
Suppose 3*l = -5*d + 92, 0 = -d - 2*d - l + 52. Suppose 0 = u - 3*u + d. Is 4 a factor of u?
True
Let x = 9 + 16. Is 4 a factor of x?
False
Let x(u) = -3*u - 21. Let n be x(-10). Suppose p = 3*m - 75, m - 25 = -n*p + 4*p. Is 12 a factor of m?
False
Let w be -7 + 0 + (-1 - 1). Let 