 4 divide f?
True
Suppose -3*u + g + 6 = -1, 1 = -g. Suppose -2 = -5*y + 23, 21 = u*b + 3*y. Suppose -b*x + 11 = -13. Is 8 a factor of x?
True
Is 7742/42 + (-2)/6 a multiple of 8?
True
Let i = 100 + -23. Is 18 a factor of i?
False
Suppose -5*j = -134 + 29. Does 2 divide j?
False
Let g(c) = -64*c**3 - c**2 - 3*c - 2. Is g(-1) a multiple of 9?
False
Let h = -3 + 4. Let b = -1 + h. Suppose 2*k = -b + 32. Does 10 divide k?
False
Suppose -5*g + g = 4*s - 164, -2*s + 78 = 3*g. Is s a multiple of 9?
True
Let k(y) = 11*y**3 - 1. Let m be k(-1). Let s = -4 - m. Is s a multiple of 6?
False
Let k = -5 + 10. Suppose 2*v + 5*z = -3*v, -k*z = -3*v + 16. Suppose v*j = -5*o - 0 - 1, -4*j + 28 = 4*o. Is j a multiple of 12?
True
Let f = 870 - 611. Does 45 divide f?
False
Suppose -2*i - 9 - 1 = 0. Let y = 7 - i. Let c(l) = 2*l + 12. Is c(y) a multiple of 12?
True
Suppose -4*s + 0*d + 48 = -4*d, -4*s + 49 = -5*d. Is s a multiple of 11?
True
Let i(b) = -b**2 - 7*b + 4. Let c be i(-7). Suppose -c*m + 15 = m. Suppose 0 = 2*d - m*j - 60, -d - j + 30 = -4*j. Is d a multiple of 15?
True
Let b(r) = -r**3 - 4*r**2 - r + 3. Let m be b(-4). Let n(l) = l + 3. Let p be n(m). Suppose -5*y + p = -70. Is y a multiple of 8?
True
Let f = -2 - -4. Suppose -f*k = y - 7, 0*y - 5*y + 3*k - 4 = 0. Let r(i) = 13*i**3 - i + 1. Is 13 a factor of r(y)?
True
Let l(x) = 3*x**3 - 3*x**2 + 3*x + 2. Is 10 a factor of l(2)?
True
Suppose -5*g + 8*g = 270. Is 30 a factor of g?
True
Suppose z - 3*g = -0*z + 44, -5*z = -5*g - 200. Is z a multiple of 10?
False
Let g(v) be the second derivative of v**5/120 + 17*v**4/24 + v**3/3 + v. Let h(f) be the second derivative of g(f). Does 4 divide h(-9)?
True
Suppose 4*z + 94 - 326 = 0. Is z a multiple of 4?
False
Let m be 336/10 + 9/(-15). Let x(h) = -h**2 - 3*h + 3. Let d be x(-4). Let j = m - d. Is 17 a factor of j?
True
Suppose -3*x - 49 = -2*o, 4*o + 3*x + x - 68 = 0. Is 10 a factor of o?
True
Let l be ((-2)/(-3))/((-5)/(-75)). Suppose 0 = x - 2 - l. Is x a multiple of 12?
True
Let f(m) be the second derivative of -m**5/20 + 5*m**4/12 + 3*m**2/2 + 2*m. Let k be f(5). Suppose -2*i = 3*z - 9, -z - k*z + 11 = 3*i. Is 3 a factor of z?
False
Let w = 9 + 35. Suppose -6*j = -2*j - 5*i - w, -2 = 3*j + 5*i. Is (8/(-3))/(j/(-45)) a multiple of 20?
True
Is -4 + 14 - -1 - 4 a multiple of 2?
False
Suppose -r - 160 = -3*r. Suppose 5*n + r = -0*n. Does 3 divide 3*(-3)/(18/n)?
False
Let a(q) = -q**2 + q + 1. Let m(c) = -4*c**2 - 8*c - 5. Let x(g) = -3*a(g) + m(g). Let b be x(-10). Suppose 54 = b*l + l. Is 8 a factor of l?
False
Let s(r) = -r**2 - 5*r + 4*r - 5*r + 10. Is s(-7) even?
False
Let a = 22 - 10. Is 4 a factor of a?
True
Let p be (1 + 0)*113/1. Let u = -73 + p. Suppose u + 8 = n. Does 17 divide n?
False
Let h be -1*(-2 - (-8)/(-2)). Let m(b) = -b**3 + 3*b**2 + 6*b + 1. Let j(q) = -2*q**3 + 7*q**2 + 11*q + 3. Let a(p) = 3*j(p) - 5*m(p). Is 11 a factor of a(h)?
True
Let x be (-6)/10 - 4630/(-50). Let v = -60 + x. Does 8 divide v?
True
Let q be (-5874)/(-54) + 4/18. Let i = -49 + q. Is 20 a factor of i?
True
Let r(h) be the first derivative of h**2/2 + h - 3. Let o be r(2). Suppose i - 6 = -c, 0 = -0*i + o*i - 2*c - 38. Is 10 a factor of i?
True
Suppose 9*z = 8*z + 30. Does 10 divide z?
True
Let z(a) = 2*a**3 - 6*a**2 + 2. Let i be z(4). Does 11 divide (-2)/6 - i/(-3)?
True
Suppose 3 = -4*k - 4*x - 5, x - 4 = -3*k. Suppose 5*w - 99 = k*y, -3*y = 2*w - 4*y - 39. Is w a multiple of 5?
False
Let q = -3 + 12. Is 10 a factor of ((-48)/q + 2)*-3?
True
Let d = -6 + 9. Let j = -2 + d. Does 8 divide -4*((-2 - j) + 1)?
True
Suppose 570 + 142 = 4*q. Suppose -3 = 5*f - q. Is 12 a factor of f?
False
Suppose 0 = -29*h + 11*h + 3798. Is h a multiple of 20?
False
Let q(i) = -i**2 + 13*i + 11. Is q(6) a multiple of 16?
False
Let a = 32 + -3. Is a a multiple of 17?
False
Let s = -4 + 9. Let y(j) = 7*j - 11. Is 24 a factor of y(s)?
True
Is 23 a factor of -598*(60/(-24) - -2*1)?
True
Suppose 2*g = y - 124, 4*y - 3*g - 508 = 2*g. Let h = y + -71. Does 23 divide h?
False
Suppose q = -2*q + 9. Suppose -g = -q*g + 8. Suppose 2*u - 56 = -g*m, 3*u - 56 = -3*m - 2*u. Is 7 a factor of m?
False
Suppose -10*y + 196 = -3*y. Is y a multiple of 5?
False
Suppose -10 = -4*j + 3*j. Suppose -6*n + 4*n + j = 0. Suppose 0*q - n*q = -120. Is q a multiple of 13?
False
Let i(c) = -2*c - 2. Let o be i(7). Let a = o + 10. Let v(z) = -z**2 - 8*z + 5. Does 7 divide v(a)?
False
Suppose 5595 = -p + 16*p. Is 13 a factor of p?
False
Let r(h) = 3*h**2 - 3*h - 6. Does 26 divide r(-5)?
False
Is 13 + 32 - (-1 - -4) a multiple of 21?
True
Is 7 a factor of ((-66)/8 + 3)*(-80)/6?
True
Suppose 5*p + 0*p - 15 = 0. Is p a multiple of 3?
True
Suppose 3*x + 20 = 7*x. Let w = 1 - 1. Is -3 + x - (w + -10) a multiple of 5?
False
Suppose -6*v + 9*v + 4*l - 94 = 0, 5*l = v - 25. Is v a multiple of 3?
True
Let u = -8 - -11. Suppose r - i = 8, -r - i = -u*r + 21. Does 13 divide r?
True
Let f = 359 + -167. Is 32 a factor of f?
True
Let c = 12 - -121. Is c a multiple of 21?
False
Let q(b) = -53*b + 2. Does 12 divide q(-1)?
False
Let f = 4 + 79. Does 8 divide f?
False
Let j = -6 - -8. Let o(q) = q**3 + 3 - 2*q**3 + 5*q**j - 7 - 2*q. Does 8 divide o(3)?
True
Does 8 divide 40/7*(-28)/(-8)?
False
Let s be (1 - 0) + (3 - 2). Suppose 0 = l + s*l + t - 7, -4*l + 2 = 5*t. Is 14 a factor of (l + 0)*14/3?
True
Let m(k) = -3*k - 3. Let y be m(-4). Let h = y - 9. Suppose i + 3 = 0, h = 2*c - 0*i - i - 45. Does 21 divide c?
True
Let i(o) = -o**3 + o**2 + 50. Is 23 a factor of i(0)?
False
Let j(d) = 63*d**3 + d**2 + d - 2. Is 21 a factor of j(1)?
True
Let i = -28 + 11. Does 6 divide 2*(-3 - (-2 + i))?
False
Let x = 11 + -7. Suppose -5 + 1 = -x*b, 2*v - 2*b = 122. Is v a multiple of 20?
False
Suppose 5 = 5*r - 0. Suppose 2*l - 5 = r. Suppose -3*t = -2*f + 4*f - 36, f = l*t. Does 8 divide f?
False
Let o be 9/(-1)*6/(-18). Let q(g) = 3*g**3 - 7*g. Let b(r) = -2*r**3 - r**2 + 6*r - 1. Let n(k) = -4*b(k) - 3*q(k). Is 4 a factor of n(o)?
True
Let n = 1 - -138. Is 17 a factor of n?
False
Suppose 2*n - 9 - 9 = 0. Suppose 0 = 3*f + 45 - n. Is (-20)/f - 1/(-3) even?
True
Let v(g) = -g**3 + 2*g**2 - g. Is 25 a factor of v(-4)?
True
Suppose 9*a - 120 = 60. Is a a multiple of 2?
True
Let a be 79 + (-2)/2 + 3. Suppose -19 = j - a. Does 31 divide j?
True
Let l be (7 - 1)/(6/4). Suppose -4*f + 64 = -3*a, -2*f - l*a + 32 = -0*f. Is f a multiple of 8?
True
Let g = 3 + -1. Suppose 4*n = g*v + 10, 0*n - 10 = n + 2*v. Suppose -40 = -0*j - j - 2*p, n = p. Is 20 a factor of j?
True
Suppose -3*z + 60 = 6. Let m be z/5 + 6/15. Suppose -m*d + 28 = 2*u, 0 = -0*u + 4*u + d - 56. Is u a multiple of 14?
True
Let w be 3 - (-2 + 3 - 1). Suppose -1 = -i + w. Is 4 a factor of i?
True
Let j(l) = 2*l**3 - 5*l**2 + 3*l - 2. Let r be j(3). Suppose -t = -8 - r. Is t a multiple of 12?
True
Let k be ((-1)/(-2))/((-1)/(-12)). Let q be k/18 + (-1)/3. Suppose 2*s + q*s = 4*v + 94, -2*s - v = -74. Is 14 a factor of s?
False
Let g(c) = -c**3 + 6*c**2 + 6. Let d be 84/15 - 2/(-5). Let s be g(d). Suppose s = 2*u - 4. Is 2 a factor of u?
False
Let p(k) = 7 - 3*k - 4*k**2 + 0*k**2 - 2 + 5*k**2. Is 5 a factor of p(4)?
False
Suppose 4*u - 44 = -0*u. Suppose -5*y + 4 = -4*l, 3*l + y = -u - 11. Let w = 13 - l. Does 7 divide w?
False
Suppose 2*p - 36 = -0*p. Is 11 a factor of ((-6)/p)/((-1)/129)?
False
Suppose w + w - 23 = 5*c, 4*w - c = 37. Does 2 divide w?
False
Suppose 0 = -6*x + 2*x + 12. Suppose l - 3*l = x*a - 35, 0 = 5*a - 5*l - 50. Is a a multiple of 11?
True
Suppose 0 = 4*s - 6*k + 3*k - 10, 5*s - 5*k - 15 = 0. Suppose -3 = 4*a - 3*a. Does 8 divide (a + s)/((-8)/44)?
False
Suppose 0 = -5*b - 2*i + 709, 0 = -5*b - i + 128 + 579. Does 17 divide b?
False
Let x = -41 - -68. Is x a multiple of 5?
False
Let j(d) = -d + 1. Let o be j(-1). Suppose 2*i + 1 = 11. Suppose -4*q + o = -i*k + 21, -5*q + 20 = 0. Is k a multiple of 3?
False
Let a(v) = v**2 + 2*v + 3. Let y(t) = 4*t + 2. Let z be y(-2). Does 7 divide a(z)?
False
Let d(q) be the third derivative of -q**2 + 0 + 1/120*q**6 + 5/24*q**4 + 7/6*q**3 - 7/60*q**5 + 0*q. Does 21 divide d(7)?
True
Let q(i) = 4*i**2 + 8*i - 16. Does 10 divide q(-6)?
True
Let m = 6 + -2. Let g be (-6)/m - 6/(-4). Is g + 9*(-8)/(-2) a multiple of 13?
False
Suppose 0 =