(a) = 6*a - a + 8*a - a**2. Suppose 0 = 3*t + t - 32. Does 20 divide h(t)?
True
Let v = -6 - -9. Suppose c + 80 = v*c. Suppose 0 = -4*a - 5*d + 50, 4*a + 5*d = 6*a - c. Is 15 a factor of a?
True
Let i(g) = -g**3 + 10*g**2 + 5*g - 7. Let y be i(10). Let u(d) = 4 - 3*d + y*d - 5. Does 13 divide u(1)?
True
Is 4 a factor of (-140)/6*(-24)/20?
True
Let y(l) = 6*l**2 - 2*l. Is 8 a factor of y(-1)?
True
Suppose 2*s - 7 = -1. Suppose 0*q + 21 = s*q. Is q a multiple of 7?
True
Suppose 0 = 4*r - 3*s - 106, 3*r - 5*s - 110 = -r. Is 6 a factor of r?
False
Suppose r = 3*b + 3, 0 = -3*b + 4 + 2. Let g(k) = 10 + r - k + k**3 + 3. Is 10 a factor of g(0)?
False
Let w be (16/(-3))/(8/(-24)). Let o = -5 + w. Does 6 divide o?
False
Is 2*(-1)/(-2) - (-208)/4 a multiple of 9?
False
Let f(b) = 10*b - 9. Let y(x) = x - 1. Let c(u) = 2*f(u) - 14*y(u). Is 3 a factor of c(3)?
False
Let r = 30 + -27. Is 2 a factor of r?
False
Let f(p) = -p + 20. Does 32 divide f(-12)?
True
Let g be (6/9*9)/2. Suppose 4*l + 3*j + 13 = 0, 2*l + 8 - g = -j. Let k = 6 - l. Is k a multiple of 7?
True
Is 3 a factor of 5 - 1 - (-30)/6?
True
Let v(m) = 18*m + 0*m**2 - 3*m**2 - 53*m**3 - 20*m. Does 26 divide v(-1)?
True
Suppose 0 = -i - 3*i + 572. Is 26 a factor of i?
False
Suppose 5*p = 7*p. Suppose p*r - s - 129 = -4*r, -15 = -5*s. Is r a multiple of 9?
False
Let k = -8 + 19. Is 5 a factor of k?
False
Suppose 5 + 1 = 2*r. Let s be (3 + -3)/2 - r. Let n = s + 21. Is 15 a factor of n?
False
Let f be (-4)/10 - 4383/(-45). Let u = f + -26. Is 22 a factor of u?
False
Suppose -s + 6*s = 10. Suppose -1 + 5 = s*v. Suppose -4*x + 93 = -5*y + 253, 0 = v*y + x - 64. Is y a multiple of 16?
True
Suppose 33 = x - 3*s, 5*s + 12 = x - 19. Let o = 69 - x. Is o a multiple of 13?
False
Let r(u) be the third derivative of -u**6/120 + u**5/60 - u**4/24 + 2*u**3/3 - u**2. Let w be r(0). Let f(i) = 3*i**2 - 2*i + 5. Is 22 a factor of f(w)?
False
Suppose 0 = 2*i - i - 53. Does 14 divide i?
False
Suppose -3*l + 0*j + 342 = -2*j, 3*j - 456 = -4*l. Is 19 a factor of l?
True
Let t = 15 + -2. Let j(y) = -2*y**3 + 2*y**2 - y. Let i be j(2). Let w = i + t. Does 3 divide w?
True
Suppose 3*v - 168 = -0*v. Is v a multiple of 11?
False
Suppose 3*h + 44 = 7*h. Let q = 8 + h. Is q a multiple of 9?
False
Let f = -5 - -69. Is f a multiple of 16?
True
Let f = -3 - -27. Does 16 divide f?
False
Suppose 3*y + 0*a - 4*a = 229, 5*y = 3*a + 378. Suppose 0 = -5*j + y + 15. Is 8 a factor of j?
False
Suppose 7*f - 8 = 3*f. Suppose 0 = -4*w - 5*b + 101, 3*b + 23 = w + f*b. Is 12 a factor of w?
True
Does 4 divide 8 - 4/(1 + 0)?
True
Let z be 40/(-12)*(-66)/5. Let p = -13 + z. Is p a multiple of 16?
False
Suppose -128 = -7*r + 117. Does 7 divide r?
True
Suppose -4*v = -9*v + 30. Is 10 a factor of (-57 + v)*2/(-6)?
False
Suppose -5*m - 130 + 29 = -3*h, -3*m + 93 = 3*h. Is 9 a factor of h?
False
Let o(x) = -6*x**2 + x - 1. Let f be o(1). Does 22 divide (-134)/f - 3/9?
True
Is 17 a factor of 2 - (28 + 4)*-1?
True
Let y = 137 + -89. Is 16 a factor of y?
True
Let k(y) = -y**3 + 3*y**2 + 2*y - 1. Suppose 5*w + 11 = 26. Let j be k(w). Suppose j = -5*g, 0*o - 4*o = 4*g - 108. Is o a multiple of 17?
False
Suppose 3*a - 5*a + 6 = 0. Suppose -t = -a*t + 46. Suppose -16 = 4*p, t = -5*c - 3*p + 81. Is 7 a factor of c?
True
Let j = -11 - -7. Let q(b) = 2 + 3*b + b**2 + b**2 - 7. Is q(j) a multiple of 15?
True
Suppose 66 = 4*z + 6. Suppose -z = 3*v - 6*v. Is 3 a factor of v?
False
Let y = 106 - 68. Is 9 a factor of y?
False
Suppose 2*f - 144 = -32. Suppose -4*i + 40 + 24 = 4*r, 5*r + f = 3*i. Does 17 divide i?
True
Does 20 divide 58 + (-9)/3 + 5?
True
Does 16 divide ((-89)/2)/(1/(-2))?
False
Let p(c) = -c - 4. Let z be p(-9). Suppose -z*y - m = -275, 3*y = -0*m - m + 167. Is y a multiple of 22?
False
Let b = -30 + 57. Let i be 3/1 - (3 - 1). Let k = b - i. Is 13 a factor of k?
True
Let w(u) = 60*u - 3. Does 39 divide w(2)?
True
Let z(n) = -n**3 - 3*n**2 - 4*n - 2. Let u be z(-2). Suppose 0 = -2*x - u*x + 168. Is 13 a factor of x?
False
Let g = 106 + 14. Is g a multiple of 15?
True
Suppose 3*w = -2*w + 805. Is 23 a factor of w?
True
Let p be 28/3*36/(-8). Is (-2)/(-7) + (-282)/p a multiple of 7?
True
Let g(p) = -5*p + 2. Suppose 0 = 4*c + v + 3 - 66, -3*v = 3. Suppose 4*k + 0 = -c. Is 11 a factor of g(k)?
True
Let b = 3 - -17. Is 10 a factor of b?
True
Let y be 2*4/(-8) - -6. Let i(k) be the first derivative of -k**4/4 + 7*k**3/3 - 7*k**2/2 + 2*k + 1. Does 7 divide i(y)?
False
Suppose d - 4 = 16. Suppose -2*i + 7*i = d. Is i a multiple of 2?
True
Suppose -2*g - j + 4*j = 87, 2*j = -2*g - 62. Let v = -5 - g. Does 12 divide v?
False
Let j be (-2)/(-8) - 50/8. Let s be (-2 - -5)*(1 - -3). Let t = j + s. Is 3 a factor of t?
True
Let l = -8 - -90. Is 21 a factor of l?
False
Let h be (-15)/(-5)*(-177)/(-9). Let w = h + -35. Is w a multiple of 15?
False
Suppose 3*b + 890 = 5*o, -8*o + 4*o + 699 = -5*b. Is o a multiple of 9?
False
Let g = 24 - 10. Let y = 83 - g. Is y a multiple of 23?
True
Does 6 divide 19 - (-4 + (4 - 2))?
False
Let o(x) = x**3 - 14*x**2 + 18*x - 13. Is 8 a factor of o(13)?
False
Let c = 162 - 52. Does 22 divide c?
True
Let q be 6/(-27) + 1444/18. Suppose 2*k - q = -4*s + 3*k, -k = -s + 23. Does 7 divide s?
False
Let j(v) = v**2 - 1. Let n be j(-2). Suppose -n*s = -0*s - 9. Suppose -a = 2*k - 61, 0 = 4*k + k - s*a - 147. Does 16 divide k?
False
Let k = -6 + 0. Does 8 divide -44*1*3/k?
False
Let d be ((-8)/(-6))/((-1)/(-3)). Does 3 divide d/(-2)*-5 + -3?
False
Suppose -2*b + 183 = 3*i - 15, -104 = -b - 4*i. Suppose b = -x + 30. Let h = -33 - x. Does 13 divide h?
False
Suppose -3*j = j - 4, 3 = -5*y + 3*j. Let q = 3 + y. Suppose q*h = -a + 92, -4*h - 4*a + 27 = -3*h. Is 12 a factor of h?
False
Suppose 411 = 5*v + 156. Does 11 divide v?
False
Suppose 0 = -3*f - 3*k + 153, -f - 3*f - 3*k = -199. Is f a multiple of 12?
False
Suppose 4 = 3*t - 8. Suppose 5*f - 19 + t = 0. Is 3 a factor of f?
True
Let u(o) = -9*o**3 + 3*o**2 + 3*o + 5. Let l(f) = -4*f**3 + 2*f**2 + 2*f + 3. Let x(t) = -7*l(t) + 4*u(t). Let w be x(-1). Does 14 divide 4/(-14) - (-261)/w?
False
Let c = 55 - -17. Is 9 a factor of c?
True
Let t be 3/(2/((-8)/(-6))). Suppose -t*d - 7 = -31. Is d a multiple of 6?
True
Let y(a) = -a**2 - 5*a - 7. Let j be y(-5). Let x = j - -11. Is 10 a factor of (-5)/20 - (-97)/x?
False
Let k(m) = 5*m**3 - 2*m - 1. Let j be k(-1). Let z be (27/2)/(j/(-8)). Suppose s - 4*s = -z. Is 6 a factor of s?
False
Suppose -3*w = -0*w + 3*y - 132, w + 2*y = 43. Suppose h - w = -2*h. Is h a multiple of 13?
False
Is 5 a factor of (12/(-7))/((-4)/70)?
True
Let s = -14 - -20. Does 6 divide s?
True
Suppose -6*t = 3*t - 1314. Does 28 divide t?
False
Is (-8)/(-3)*(-45)/(-6) a multiple of 9?
False
Suppose -3*h - 5*n - 11 = -4*h, 5*h - 79 = n. Does 9 divide 374/14 - h/(-56)?
True
Let x = 0 - 0. Let l = 63 - 52. Suppose x*h - l = -h. Does 4 divide h?
False
Let s(z) = z**2 + 6*z + 33. Is 24 a factor of s(-15)?
True
Let n = -6 + 256. Does 10 divide n?
True
Suppose 5*o + 129 = i - 7, 0 = 2*i - 5*o - 252. Does 29 divide i?
True
Let t(y) = -y**3. Let p be t(-1). Let i(g) = g + 1. Let j(z) = z**2 - 4*z + 29. Let o(a) = p*j(a) + 3*i(a). Is 17 a factor of o(0)?
False
Let k(r) = 4*r**2 - 8. Is k(-4) a multiple of 6?
False
Let t = 4 + -2. Suppose 0 = t*k - 0*k - 12. Suppose 2*h + 56 = k*h. Is 14 a factor of h?
True
Let b be 4/12 - 13/3. Does 3 divide ((-10)/b)/(-5)*-6?
True
Suppose 50*u - 159 = 47*u. Does 18 divide u?
False
Is ((-9)/(-3))/((-4)/(-12)) a multiple of 9?
True
Let d(s) = -6*s. Does 5 divide d(-2)?
False
Let f(j) = j + 1. Let c be f(1). Suppose -5*a = 3*k, -c*a = 4*k - 4*a - 26. Suppose -t + 0*i - i + 8 = 0, k*t = -2*i + 55. Is 13 a factor of t?
True
Let o = 6 + -6. Suppose -i + 4*i + 66 = o. Let v = i - -38. Is v a multiple of 6?
False
Let o(x) = 4 + 6 + x**2 - 5 - 2. Does 20 divide o(6)?
False
Let j(r) = -r + 13. Let t be j(6). Suppose -t = -5*g - 117. Let h = -16 - g. Is h a multiple of 6?
True
Let l = -2 - -13. Suppose -2*f + 11 = -l. Is f a multiple of 11?
True
Suppose 10*v = 13*v - 9, 3*a - 4*v - 600 = 0. Does 34 divide a?
True
Let i(t) = -t**2 + 5*t + 4. Let j be i(5). Suppose -19 - 386 = -3*u. Suppose l = -j*l + u. Is 14 a factor of l?
False
Let y be 12/(-10)*5/(-2). Sup