 h?
False
Let q = 10 - 5. Suppose 0 = -3*w + q*w - 26. Does 8 divide w?
False
Suppose 0 = 4*i + 2*l - 596, -8 = -l + 5*l. Let p be (15/(-3))/((-1)/6). Suppose p + i = 5*w. Is w a multiple of 12?
True
Suppose 3*j - 5 = 2*j. Suppose j*u = -18 + 158. Does 11 divide u?
False
Let n = -34 - -60. Suppose -k + 5*i = -18 - 9, -4*i - n = -3*k. Does 12 divide (5 + -17)/(k/(-6))?
True
Suppose i - 5 = 0, -3*w - 2*i = -3*i - 19. Let s(l) = -7*l - 1. Let a be s(w). Let k = -9 - a. Is k a multiple of 24?
True
Let l(f) = -10*f + 2. Let p(m) = -9*m + 3. Let y(h) = 5*l(h) - 6*p(h). Does 8 divide y(8)?
True
Is 12 a factor of 2/13 + 11495/65 - -3?
True
Suppose -135*n = -138*n + 117. Does 3 divide n?
True
Let x = -3 + 2. Let t = x - -4. Suppose t*f + 0*h - 3*h = 9, h + 19 = 5*f. Does 2 divide f?
True
Suppose 0*d - 9 = 3*d. Let h = d - -28. Suppose -5*t = -0*t - h. Is t even?
False
Is 2 a factor of (-1 + 1)/(-5) - -11?
False
Let o(l) be the first derivative of -l**3/3 - 7*l**2/2 - 6*l - 1. Suppose -w + 2 = 4*x - 2, -4*x + 12 = -w. Does 3 divide o(w)?
True
Let n(t) = -2*t**2 + 4*t + 2. Let p be n(4). Let j = 50 - p. Suppose 2*m - 5*q = j, 3*m - 56 = q + 40. Does 17 divide m?
False
Suppose 2*k = -0*k - 52. Does 8 divide (1 - k) + (0 - 3)?
True
Let o(z) = z**2 - 2. Suppose 1 = 3*k - 5, 4 = -l + k. Let x be o(l). Suppose x*i - 72 = -i. Is 8 a factor of i?
True
Suppose 16 + 13 = 5*t - 4*w, -4*w - 4 = 0. Suppose 3*l - 4 = t*v - 6, 0 = 5*l - v - 26. Is 6 a factor of l?
True
Let i(x) = 4*x + 12. Is i(7) a multiple of 10?
True
Suppose -3*m - 21 = 3*c, 2*m = -c - m - 13. Let u = c - -6. Suppose 0*a - 8 = -a - u*s, -4*a - 5*s + 35 = 0. Does 10 divide a?
True
Let w = -98 + 297. Does 13 divide w?
False
Let o(t) be the second derivative of -t**3/6 - 41*t**2/2 - 2*t. Let u be o(0). Let v = u - -62. Is v a multiple of 8?
False
Suppose 0 = 5*l - 4*z - 20, 5*l - 16 = 3*z + 9. Let m be ((-2)/(-4))/(1/l). Is 18 a factor of -1 + (-2)/m*-98?
False
Suppose 0 = -0*w + 4*w. Let h = 0 + w. Suppose 3*z + 14 - 38 = h. Is 4 a factor of z?
True
Suppose -4*k + 156 = -4*h, -h = -3*k + 116 - 1. Does 7 divide k?
False
Let o(f) = -f**3 - 7*f**2 + 6*f - 10. Let i be o(-8). Let u = i + -2. Suppose -u*n = -62 - 10. Is n a multiple of 18?
True
Let o(j) = 5*j - 8 + 4 + j**2 + j - j. Is 10 a factor of o(3)?
True
Suppose -222 = -5*n - 2. Is n a multiple of 11?
True
Suppose 2*m + 2*o + 158 = 406, 5*m = -4*o + 621. Suppose 4*n - m = -n + 5*d, 5*n - 125 = -5*d. Suppose s = n - 6. Does 19 divide s?
True
Does 12 divide 3 - (0 + -83) - 2?
True
Let i = 32 - 2. Is i a multiple of 15?
True
Suppose -240 = -5*a - 5*p, a - 14 = -5*p + 18. Is a a multiple of 26?
True
Let k = 42 - 3. Is k a multiple of 13?
True
Let c = -136 - -245. Is 32 a factor of c?
False
Let s = -14 - 8. Does 18 divide (s - -1)*70/(-21)?
False
Let c(b) = 4*b. Let m be c(1). Suppose 2*q - m = 0, 5*w + q - 46 = -2*q. Is w a multiple of 7?
False
Let g be (-832)/(-18) + 8/(-36). Suppose -5 = -o + g. Suppose o = 3*b - 30. Does 11 divide b?
False
Suppose -5*v + 2*v = -3. Let q = 4 - v. Suppose -q*h - 4*u + 58 = 0, 0 = 5*h + u - 27 - 47. Is h a multiple of 7?
True
Let t(y) = -y**3 + 8*y**2 + 8*y + 13. Let u be t(9). Suppose u*r = -0*r + 80. Is 18 a factor of r?
False
Let y be (15/10)/(1/2). Suppose 0*c = y*c - 9. Suppose 15 - c = a. Is a a multiple of 6?
True
Let c be (-2 + -6)/((-2)/6). Suppose 0 = -o + 2 + c. Is 9 a factor of o?
False
Suppose -3*u + 29 = 2*u + a, 0 = u + 5*a - 25. Suppose 0 = -f + 79 + 95. Suppose u*p = -2*o + f, 2*p = -0*p + 2*o + 78. Is p a multiple of 18?
True
Let g be (60/25)/((-3)/(-50)). Suppose 2*x - 3*x = -g. Suppose -h - 6 = -x. Is 17 a factor of h?
True
Let f(n) = n**2 + 6*n - 4. Let o be f(-8). Suppose 4*d - o = 3*d. Is d a multiple of 6?
True
Let k = -5 + 13. Is 8 a factor of k?
True
Suppose -3*v = 3*l - 279, 3*l + 372 = 4*v + l. Suppose 5*c = -3*a + v, -3*c + 6*c = 9. Is 13 a factor of a?
True
Suppose -32 = -o - 3*o. Is 6 a factor of o?
False
Suppose 2*k - 5*y + 6 = 0, k = 5*y + 5 - 13. Suppose -4*q + 7*p - 3*p = -68, -k*q + 54 = 2*p. Is 11 a factor of q?
True
Let h(q) = -q**2 - 11*q + 1. Let y be h(-9). Suppose u + y - 49 = 0. Is 15 a factor of u?
True
Suppose 2*o = -f + 2, -5*f + o + 7 = -14. Suppose 24 = f*c - 0*c. Is 14 a factor of 10*-1*c/(-3)?
False
Suppose 3*f - 58 = 2*t + 31, -4*f - 2*t = -128. Is f a multiple of 16?
False
Suppose 3*w - 152 = 2*x, 5*x - 245 = -4*w - w. Is 22 a factor of w?
False
Let y = -16 - -34. Is y a multiple of 4?
False
Let r = -48 + 173. Let o = r - 89. Does 12 divide o?
True
Let w be -1 + 10 - (9 + -8). Suppose 4*u - w*u = -120. Is u a multiple of 10?
True
Suppose 0 = -c + 310 - 86. Is c a multiple of 28?
True
Suppose g + 26 = 2*g - 4*r, -4*g = -3*r - 169. Suppose -3*x - g - 20 = 0. Let q = x - -39. Is q a multiple of 17?
True
Let u = 674 + -476. Is 32 a factor of u?
False
Let t = -3 + 5. Suppose t*p - p = 0, 4*r + 16 = 3*p. Is 14 a factor of (-42)/r*(-4)/(-3)?
True
Let a be -3*(-1)/(-3)*-2. Let j = -2 + a. Suppose j = 4*z - 5*c + 2*c - 101, 0 = 4*z - 2*c - 102. Is z a multiple of 13?
True
Let t be (5 - (1 + -1)) + -1. Suppose 3*u = 2*p - 19, -2*p + t*u + 2 = -p. Suppose h = p + 10. Is 10 a factor of h?
False
Let g be 8/6*(9 + 27). Let u = 86 - g. Is u a multiple of 22?
False
Let u be ((-29)/2)/((-5)/(-10)). Let s = -17 - u. Suppose y - 4*y + s = 0. Is 3 a factor of y?
False
Is 19 a factor of 8*(206/40 + (-12)/30)?
True
Let c(i) = 2*i + 32. Is 30 a factor of c(29)?
True
Suppose -5*h + 0 = -15. Suppose 0 = h*k + 1 - 22. Let t(o) = 3*o - 7. Is t(k) a multiple of 7?
True
Suppose -2*t = 4*p - 175 + 27, 0 = 5*t - 4*p - 342. Is 25 a factor of t?
False
Suppose -68 = -2*r + m + 4*m, r + m = 20. Let i be 16/r - (-176)/6. Suppose -72 = -4*b - 3*t - t, -i = -b + 5*t. Does 6 divide b?
False
Let q be 6948/30 - (-2)/5. Suppose -3*g - 2*g = -10, -g = 5*j - q. Is j a multiple of 23?
True
Suppose 4*v = -0*v - 8. Does 3 divide 0 - (-1 + 0) - v?
True
Let a = 6 + -3. Let c be (a/4)/(6/48). Suppose c*i + 26 = 8*i. Does 5 divide i?
False
Suppose 0 = -4*d - 16 + 4. Let m(x) = 5*x**2 + 4. Let u(h) = -5*h**2 - h - 4. Let c(v) = -3*m(v) - 4*u(v). Does 20 divide c(d)?
False
Suppose 0*j - 2*j = 394. Let p = -133 - j. Suppose -3*r + 2*f = -p, 3*r + 2*f = -0*f + 80. Is 12 a factor of r?
True
Let u be 42/8 - (-4)/(-16). Suppose 4*t - 13 = o, 29 = 3*o + u*t - 17. Let a(m) = -m**2 + 9*m - 5. Is a(o) a multiple of 3?
True
Let l = -87 + 177. Is 18 a factor of l?
True
Let j = 9 + -8. Let f be ((-12)/(-15))/(j/(-5)). Let w = f - -11. Is w a multiple of 7?
True
Let x = 33 - 103. Let h = x - -106. Does 17 divide h?
False
Let h(o) = 5*o**2 + 3*o + 2. Let x be h(-2). Suppose -5*g - t - 4*t + 130 = 0, g - 4*t = x. Suppose -k = -5*y - 6, -k = -5*k + y + g. Does 3 divide k?
True
Let s(r) = 45*r**3 + 1. Let n = 1 + 0. Is 24 a factor of s(n)?
False
Let o(h) = -15*h - 48. Is 48 a factor of o(-16)?
True
Let z(m) = -2*m - 2. Let j be z(1). Let i(a) = a**2 - 3*a. Is i(j) a multiple of 14?
True
Suppose 8*i + 5*t - 960 = 3*i, -2*i + t + 378 = 0. Does 38 divide i?
True
Suppose -j - 141 = 5*t, -t - 4*t + 5*j - 165 = 0. Let n be (-3)/12 + t/(-4). Is (-9)/(-6) + n/2 a multiple of 5?
True
Let w(r) = r**3 - 8*r**2 + 10. Is w(8) even?
True
Let f(a) = a. Let d be f(4). Is 9 a factor of 33/2 - d/(-8)?
False
Suppose -5*m = 4*z - 2*m - 22, 3*z - 13 = -4*m. Suppose -z - 5 = -3*l. Is 3 a factor of l?
False
Suppose 0*q - 3*q = -78. Let k = q - -2. Does 14 divide k?
True
Suppose 0 = -4*p + 8. Suppose -p*a + 2*d + 6 = 0, 3*a - d - 1 - 12 = 0. Is a even?
False
Let o(u) = u**2 + u. Let m be o(0). Suppose -4*a = 5*w - 64, m = w + 2*w + 12. Is 7 a factor of a?
True
Suppose -35 + 1 = j. Let z = 42 - j. Suppose -4*k - 12 + z = 0. Is k a multiple of 8?
True
Let l be (-6)/(-24) - (-286)/8. Let a = 54 - l. Let o = a + -8. Does 10 divide o?
True
Suppose -2*b + 0*q + 3*q + 3135 = 0, -q + 7795 = 5*b. Let u = -640 + b. Is 13 a factor of (-2)/(-10) - u/(-25)?
False
Suppose 4*b - 75 = 61. Let l = -22 + b. Is l a multiple of 4?
True
Suppose 0 = 3*i, -2*i - 5 - 1 = -2*h. Suppose -h*t + 163 = 5*a + 9, 15 = 5*t. Let j = a + -5. Is j a multiple of 7?
False
Let p(t) = t**2 + 4*t - 1. Let h be p(-5). Suppose -4*c + 5*d = -132, 62 = h*c + 2*d - 98. Is 19 a factor of c?
True
Let 