 9 a factor of d?
True
Let d = 6 - 1. Let t = d + -2. Is t even?
False
Let n(v) = 23*v - 1. Let o be n(1). Suppose -4*m + 2*c + 0*c + o = 0, 0 = 5*c - 5. Is (-1)/2 - (-51)/m a multiple of 4?
True
Suppose 98 = 3*a - 52. Is 10 a factor of a?
True
Suppose -5*b = 5*n + 425, -2*b - 2*b - 316 = -4*n. Suppose -200 = -0*q + 4*q. Let z = q - b. Does 16 divide z?
True
Let b(u) = 14*u - 4. Let r be b(7). Suppose 24 = 2*y + 3*f - 33, 3*y - 4*f = r. Does 15 divide y?
True
Suppose 0 = -5*n - 0*n + 290. Is 17 a factor of n?
False
Let n be 2/(-3)*(-198)/12. Suppose 2*j = -5*l + 6*j + 22, 2*l + n = -5*j. Does 11 divide 3/(l - (-26)/(-14))?
False
Let o = -59 + 38. Let r be (-162)/o + (-2)/(-7). Suppose -3*p = -p - r. Does 3 divide p?
False
Let o = 57 + -27. Is 18 a factor of o?
False
Let k = 41 + 43. Is k a multiple of 10?
False
Let y = 8 - -40. Is y a multiple of 8?
True
Let n be 10/(-15) + (-2)/(-3). Suppose 0 = -p - h + 94, -p = 4*h - n*h - 94. Does 12 divide -3*p/(-6) + -1?
False
Let a = -191 - -280. Does 18 divide a?
False
Suppose n + 5*r - 17 - 36 = 0, r = -2*n + 142. Suppose 4*w = o + 10 + n, 5*w - 104 = o. Does 10 divide 5*w/(0 - -3)?
False
Suppose q + 16 = -3*g - 3*q, 0 = -3*g - 2*q - 8. Suppose g = -3*b - 5*n + 151, -5*n - 5 = -0. Let y = b + -31. Does 21 divide y?
True
Let g be 203/(-7)*(1 + -2). Suppose -3*y = -2*y + 2*l - g, -3*y + l + 122 = 0. Does 13 divide y?
True
Suppose 4*t + 19 = 55. Is 28 a factor of ((-6)/t)/(4/(-666))?
False
Is (0 + -46)*-4*9/6 a multiple of 23?
True
Let i be -4*(2/4)/(-1). Suppose i*h - 5 - 25 = 0. Is 8 a factor of h?
False
Suppose 2*b + 52 = 4*b. Is 13 a factor of b?
True
Let a(c) = c**2 - 3*c - 7. Let b be (-40)/(-7) + 2/7. Does 11 divide a(b)?
True
Suppose 2*a + 12 = s + 1, -5*s + 69 = -3*a. Suppose -3*t = -s - 30. Does 9 divide t?
False
Let y = -11 + 5. Let r be (3 - 3 - y) + -3. Does 12 divide (-2*r)/((-1)/6)?
True
Suppose -2*o - 2*o + 40 = 0. Let p be (o/4)/((-2)/(-4)). Suppose -4*x + 13 = -2*a - 1, 0 = -p*x + 2*a + 20. Is x a multiple of 6?
True
Suppose -w - 12 = -5. Let o(q) = -q**3 - 7*q**2 - 2*q - 4. Is 6 a factor of o(w)?
False
Let l = 158 - 142. Is 8 a factor of l?
True
Does 12 divide (-88)/((-8)/(-4))*-2?
False
Let l(r) = r**3 + 6*r**2 - 7*r - 6. Let u(n) = n**3 + 6*n**2 - 6*n - 6. Let p(g) = 2*l(g) - 3*u(g). Does 11 divide p(-7)?
False
Suppose 2*h - 2*a = -6, -3 = 2*h + h + 3*a. Let o be (-1)/h*-2 + 22. Suppose 2*d - 3 = o. Is d a multiple of 12?
True
Let k = 147 + -38. Does 12 divide k?
False
Suppose -3*f = -0*f - 36. Does 6 divide f?
True
Suppose -y + 656 = 3*y. Suppose 0*j - j - y = 0. Let a = -117 - j. Is a a multiple of 20?
False
Let z(x) = -2*x**3 + 3*x + 2. Let r be z(-2). Let j(w) = -w**3 + 5*w**2 - 5*w + 2. Let q be j(3). Suppose p + r = q*p. Is p a multiple of 3?
True
Suppose 0*l + 40 = 2*l. Suppose -w = -2*t + w + l, 4*t - 64 = -2*w. Is 12 a factor of t?
False
Let m be (-2)/3 + (-622)/(-6). Suppose -5*b - i = -m - 12, -2*i - 23 = -b. Does 11 divide b?
False
Suppose 3 + 5 = -2*w. Let l = -13 - w. Let g = l - -11. Is 2 a factor of g?
True
Suppose 5*u = 18 + 2. Suppose -u*s = -3*s. Suppose s = 3*m - 5*f - 47, -5*m = -4*f + 17 - 91. Is 7 a factor of m?
True
Let h be ((-2)/4)/((-5)/(-40)). Let y = h + 11. Suppose -166 = -5*t - 3*v, -y*t + 156 = -2*t - 2*v. Is t a multiple of 10?
False
Let x(c) = -4*c - 11. Is x(-12) a multiple of 7?
False
Suppose 3*t - 3*p - 36 = -0*t, 3*t = -4*p + 50. Suppose 0 = 3*a - t - 28. Is 14 a factor of a?
True
Let b(r) be the second derivative of -13*r**5/20 + r**4/12 + r**3/3 + r**2/2 + 7*r. Is 5 a factor of b(-1)?
False
Let o = 36 + -26. Let i = o - -10. Is i a multiple of 10?
True
Suppose 0 = 3*s - 4*y - 7, -s + 7 = -5*y + 1. Let p(t) = t**3 - 3*t**2 + 3*t - 3. Let c be p(3). Is c/(-3) - -7*s a multiple of 3?
False
Suppose -1174 + 324 = -17*t. Does 31 divide t?
False
Let q be 7 + 4/4 - 4. Let o = 81 - 25. Suppose -5*k = -2*a - 138, q*k + a - 44 - o = 0. Does 13 divide k?
True
Let v(y) be the third derivative of y**4/8 - 4*y**3/3 + 4*y**2. Suppose -1 + 7 = f. Is 8 a factor of v(f)?
False
Let y be (-1 - 4/2)*-1. Let a = 0 + y. Let f = a - -21. Does 12 divide f?
True
Let j be 15 + 3*(-4)/(-12). Let y = j + 8. Does 24 divide y?
True
Suppose -y - y = 0. Suppose s + 5*m = y, -m = 2*s + 3*s - 96. Is 4 a factor of s?
True
Let n(s) = -3 - s**2 + s**3 + 0*s**2 - s**2 + 2*s. Let m be n(2). Suppose 0 = x - m - 3. Is 2 a factor of x?
True
Suppose 0 = 5*y + 3*p - 413, p = 3*y - 2*p - 267. Does 13 divide y?
False
Let y = 279 + -111. Suppose y = 3*t - 3*r, 0 = -8*r + 3*r + 20. Is t a multiple of 18?
False
Let s(c) = -24*c + 6. Let n(u) = 23*u - 5. Let b(t) = 5*n(t) + 4*s(t). Is b(1) a multiple of 8?
False
Let d(z) = -z**3 + z + 8. Suppose -t - 3*t = 0. Does 8 divide d(t)?
True
Let x(h) = -h**3 + h**2 + 2. Let b be x(0). Suppose -3*v + 41 = -5*t, -3*v = -2*v - 3*t - 11. Suppose -v - 23 = -b*a. Does 20 divide a?
True
Suppose 4*m + 0*m + 2*y - 2 = 0, 3*m - 5*y = 21. Suppose 18 = m*t - 0*t. Suppose 4*p + t - 57 = 0. Does 5 divide p?
False
Suppose 1 = 2*u + 2*g - 1, u - 3 = -2*g. Let p be (-1)/(3/39) - u. Does 6 divide (p/(-5))/(4/20)?
True
Suppose 2*n - 442 = 6*s - 4*s, 4*n + 3*s = 877. Suppose -6*h + n = -2*h. Is 11 a factor of h?
True
Suppose 7*g + 3*g - 240 = 0. Does 8 divide g?
True
Let s(q) = 3*q - 3. Let b be s(2). Suppose -b + 1 = -d. Does 2 divide 1 + (-3)/((-3)/d)?
False
Let g(z) = 2*z + 0*z + z + 2*z**2. Does 3 divide g(-3)?
True
Let u(r) be the second derivative of -4*r + 0 - 2*r**2 - 4/3*r**3. Does 14 divide u(-4)?
True
Is 4 a factor of -4 - (-19 - 4/4)?
True
Suppose 0*w = -2*w - 12. Suppose -2 = -0*v + 2*v. Does 4 divide (-4)/(((-4)/w)/v)?
False
Suppose 0 = -m - 3*m - 4*z + 24, 3*z = -4*m + 23. Suppose 15 = m*o + 5*g, -2*o - 3*g + 1 = -5. Is 2 a factor of o?
False
Let v = -13 + 18. Suppose 3*t + v*x - 147 = -17, -2*t - 5*x + 90 = 0. Is t a multiple of 12?
False
Suppose -5*m = -346 - 59. Is m a multiple of 8?
False
Let m = -735 - -1204. Is 48 a factor of m?
False
Let m = 49 - 43. Is 3 a factor of m?
True
Let l(u) = -u + 5. Let y(v) = v - 4. Let a(w) = 5*l(w) + 6*y(w). Is a(3) a multiple of 2?
True
Suppose -4*d + n + 19 = 0, -d + 4*d - 3*n = 3. Is d even?
True
Let k(i) = 2*i**2 + 9*i + 7. Let l(j) be the first derivative of -j**4/2 + 2*j**3/3 + j**2 - 2*j + 2. Let v be l(2). Does 10 divide k(v)?
False
Let m = -3 - -5. Suppose m*x - 81 = -13. Is x a multiple of 17?
True
Let f = 2 + -4. Is 12 a factor of (-3)/(3/(-26)) + f?
True
Let j(a) = 2*a**2 - 3*a + 26 + 4*a - a**2 - 24. Let n(s) = -s + 1. Let h(z) = j(z) + 2*n(z). Is 19 a factor of h(6)?
False
Suppose 0*i - 3 = -i. Suppose i*d - 5 = 13. Suppose t - 11 = d. Is t a multiple of 17?
True
Let j = -471 - -697. Let c = j - 151. Does 25 divide c?
True
Suppose 0*p = -2*p + 86. Suppose -p - 309 = -4*v. Suppose f + 5*n - 5 - 9 = 0, v = 4*f + 4*n. Does 12 divide f?
True
Let o be ((-2)/6)/((-3)/(-45)). Let a = 8 - o. Does 7 divide a?
False
Let o be (48/9)/1*-3. Let i = o - -32. Is 13 a factor of i?
False
Suppose -2*h + 16 = 3*x, -x - 2*h = 3*x - 22. Let o(s) be the second derivative of 5*s**3/6 + 3*s**2/2 - 3*s. Is 12 a factor of o(x)?
False
Suppose 5*d + 4*x - 850 = 0, 5*d - 832 - 18 = -2*x. Is 6 a factor of d?
False
Let c(b) = b + 1. Let u be ((2 - -2) + 0)*1. Is 2 a factor of c(u)?
False
Suppose -5*z = 2*v - 20, -5*z - 7 = 3*v - 32. Suppose -h + 2 = -z*w, -w + 3 = -4*w - 4*h. Let u = 7 + w. Is u a multiple of 3?
True
Suppose 0 = 7*v - 6*v - 77. Is 11 a factor of v?
True
Let t be 55/(-2)*(-8)/(-10). Let w = -32 - t. Let b = w - -21. Does 4 divide b?
False
Let y(n) = -n + 40. Is 15 a factor of y(17)?
False
Does 28 divide 11616/102 + (-4)/(-34)?
False
Suppose 5*k = 7*k - 186. Does 15 divide k?
False
Suppose -4*i - 4*o = 12, 4*i = -2*o + 3*o + 13. Suppose -2*r + i*v = -r + 22, 5*r = v - 65. Is 21 a factor of r*(2 - 45/12)?
True
Let p(b) = 9*b - 21. Is 13 a factor of p(12)?
False
Is (-2)/8 - 931/(-28) a multiple of 11?
True
Is ((-12)/(-30))/((-2)/(-110)) a multiple of 10?
False
Suppose y + 716 = 5*y - v, -5*v - 880 = -5*y. Is y a multiple of 16?
False
Suppose -3*j - f = -50, 3*j + 2*f - 33 = 19. Is 3 a factor of j?
False
Suppose 2*n = 4*l - n - 32, 5*l + 2*n - 63 = 0. Let b(k) = -k**3 + 4*k**2 - 3*k - 2. Let m be b(3). Let t = m + l. Is 