h a multiple of 16?
False
Let b(x) = -x - 1. Let h be b(-7). Suppose 0 = -3*i + 6 + 27. Let o = h + i. Is o a multiple of 8?
False
Let a(z) = z**2 + 2*z + 3. Let h be a(-5). Let u be (-25)/9 - 4/h. Is 14 a factor of (-7)/(2*u/12)?
True
Let t = 678 - 386. Suppose -4*a = 5*z - 581, -2*a - 3*z - z = -t. Suppose -4*m + 68 + a = 0. Is 19 a factor of m?
False
Suppose 3*c + 2 = 4*c. Let z(a) = -a**3 + 2*a**2 + 2*a - 1. Let p be z(c). Suppose 0 = -p*v - 3*l + 33, v + v - 4*l = 28. Is v a multiple of 6?
True
Suppose 3*r = 134 - 29. Let t = r - 9. Is t a multiple of 26?
True
Let g be 872/(-14) - (-4)/14. Let c = -26 - g. Is 20 a factor of c?
False
Let c be 1/1 + (8 - 5). Suppose -q + 29 + c = 0. Does 13 divide q?
False
Let a(f) = -6*f - 2. Let b be a(-1). Suppose -22 = -d + 4*n, d - 148 = -3*d + b*n. Is 16 a factor of d?
False
Let m(z) = z**3 - 3*z**2 - 5*z + 1. Let o be -5*(2 + -5 - -2). Does 7 divide m(o)?
False
Suppose -d = 5*c + 3*d - 35, -3*d = -5*c. Suppose c*l + 2*l = 175. Does 7 divide l?
True
Suppose -6*x = -2*x - 24. Suppose 0 = -2*o - 5*b + 2, 4*b - x = -5*o + 33. Is o a multiple of 3?
False
Let q(n) = 19*n**3 - n**2 + n - 1. Let z(c) = -2*c**3 - 2*c**2 + 1. Let b be z(-1). Does 9 divide q(b)?
True
Let b = 175 - 123. Is b a multiple of 3?
False
Is ((-6)/(-2))/((-24)/(-1088)) a multiple of 7?
False
Suppose 3*w - 2*a - 25 = 26, 0 = -4*w - 3*a + 68. Let j = w - 7. Does 10 divide j?
True
Suppose -2*s = -2*n - 18, 3*n = -19 + 4. Suppose -62 - 58 = -s*k. Is 28 a factor of k?
False
Let y be (-8)/(-3) - 1/(-3). Suppose y*w - 15 = 30. Suppose 3*v + w = -n + 7*v, 2*v + 15 = 5*n. Does 5 divide n?
True
Let g = 6 + -6. Let c = 3 + g. Is c even?
False
Let i(a) = -3 + 0*a - 4*a + 5*a. Let x be i(5). Suppose -13 = -t - n, 0*n = 5*t - x*n - 30. Is t a multiple of 6?
False
Suppose -2*o = 5*x - 8, -o - x + 4 = -0*x. Suppose -o*g + 88 = -2*q, 0*g - q - 20 = -g. Does 8 divide g?
True
Let j be 6/(-1*2/(-7)). Let u(i) = -i**3 + 10*i**2 - 9*i - 11. Let g be u(8). Let t = g - j. Is t a multiple of 12?
True
Let m = -5 - -24. Is 6 a factor of m?
False
Suppose 0 = 4*w - 6 - 18. Let t(l) = w*l + 11*l + 2 - 1. Is t(1) a multiple of 7?
False
Suppose -4*u + 8*u = -4*y + 384, 3*y + 5*u = 288. Suppose 0*b + y = 4*b. Is 9 a factor of b?
False
Suppose 0 = -4*r + 3*r + 1. Does 3 divide 60/12 + (-1 - r)?
True
Let i = -5 - -7. Suppose -c + 7 = -i. Does 9 divide c?
True
Suppose 2*d = 4*x - 76, -x - d + 0*d = -22. Suppose -3*s + 2*s = a + 2, 2*s + 7 = -a. Suppose i - x = -a. Is 7 a factor of i?
False
Let v(p) = -p**2 + 10*p - 3. Is v(7) a multiple of 6?
True
Suppose -4*o = -o - 15. Let r(w) be the second derivative of -w**5/20 + 7*w**4/12 - w**3/2 + w**2/2 + 22*w. Is 18 a factor of r(o)?
True
Let r = 11 - -58. Is 12 a factor of r?
False
Let p(v) = -v**3 + 7*v**2 - 6*v + 9. Suppose -22 = -5*w + 8. Is 4 a factor of p(w)?
False
Suppose -n = -u + 50, 0*n - 2 = -2*n. Is 9 a factor of u?
False
Let g = -104 + 151. Does 11 divide g?
False
Suppose 4*w = -y - 1, 0 = 5*w - 2*y - 2*y - 4. Suppose t - 5 - 7 = w. Is 3 a factor of t?
True
Is (33/(-9) - -3) + 256/6 a multiple of 7?
True
Let h(x) = -1 - 7 - 2 - 1 + 3*x. Does 8 divide h(9)?
True
Suppose 4*k + k + 339 = 3*l, 0 = -4*k + 12. Is 20 a factor of l?
False
Let f = -85 - -165. Is 13 a factor of f?
False
Let v(h) = h - 1. Let t be v(3). Let o be 980/55 - t/(-11). Suppose 3*y - o = 39. Does 8 divide y?
False
Suppose -8 = 4*h + 8. Let x be (-5)/(15/6)*h. Does 17 divide 2/8 + 246/x?
False
Does 26 divide (-7)/((-3)/(-33)*-1) + 1?
True
Suppose -s = s - 6. Let c = s + 2. Suppose -4*v - 158 = -c*b - 2*v, 2*b - 60 = 4*v. Is 16 a factor of b?
True
Suppose -3*l = -2*b - 6 + 1, -2*l - 2 = -4*b. Suppose 2*z - 162 = -2*z + g, -4*g = -l*z + 128. Does 10 divide z?
True
Suppose -u - 3*v = -v - 99, -5*v = 0. Does 23 divide u?
False
Let n = -14 - -59. Is n a multiple of 15?
True
Suppose -3*y = y - 104. Is 13 a factor of y?
True
Let f(i) = -i**3 + 11*i**2 + 14*i + 2. Is 18 a factor of f(12)?
False
Suppose -25 = -3*c + 5. Let w = c - 6. Suppose -t + 30 = -w*x, x = 3 - 5. Is 10 a factor of t?
False
Let q be ((-27)/(-21) + -3)*-7. Suppose -2*v + q = -10. Is v a multiple of 4?
False
Let u = -2 - -17. Does 3 divide u?
True
Let t(m) = m**3 - 7*m**2 - 3*m + 6. Let o be t(6). Is (-12)/((9/o)/1) a multiple of 32?
True
Let x(o) = o + 35. Is 7 a factor of x(0)?
True
Is ((-76)/(-3) - 2)*(-30)/(-25) a multiple of 14?
True
Let a(x) = x**3 - 2*x**2 + x. Let p be a(2). Suppose p*i + 12 = 3*i. Suppose -i = -5*f + 188. Is 18 a factor of f?
False
Let x = 35 + -25. Suppose -2*i = 2*i - 2*m + x, 3*i + 8 = 2*m. Is 3 a factor of (-1 - 8)/(-3) - i?
False
Suppose 5*c = -p - 3*p + 481, 368 = 4*c - p. Is 16 a factor of c?
False
Suppose s = 4*z + 42, -z - 3*z = 16. Suppose 2*o - s = -0. Suppose -i = -o - 26. Is 13 a factor of i?
True
Let q be 36/24*20/3. Does 9 divide ((-84)/q)/(6/(-15))?
False
Let y(d) = -2*d - 5. Let m be y(-4). Suppose m*h = h + 14. Is 6 a factor of h?
False
Let x be 0 + (-2)/(-6)*0. Suppose 0*a - 36 = -3*a. Let h = a - x. Does 6 divide h?
True
Suppose 3*a - 4*o - 37 = -3*o, 3*a = -2*o + 25. Suppose 4*k = -2*f + 80, -a = -4*f - 4*k + 133. Suppose w - f = -3*w. Is w a multiple of 4?
True
Suppose -5*y = -5 - 10. Let l(g) = 2*g + 2*g**y - 1 - 6*g**2 + 0*g - g**3. Does 9 divide l(6)?
False
Suppose -2*r = -0 - 2, -4*b + 4*r + 28 = 0. Suppose -b*q + 6*q + 36 = 0. Is 6 a factor of q?
True
Suppose 4*i - 59 = 25. Suppose -d + 4*d - i = 0. Is 5 a factor of d?
False
Suppose 4*p + 0*p + 295 = 5*t, 0 = -2*t - 2*p + 136. Does 13 divide t?
False
Suppose j + 3*k = 50, k - 150 = -3*j + 4*k. Is 10 a factor of j?
True
Let d = -10 - -15. Let j(l) = 5*l**2 - l + 4. Let c be j(d). Suppose 4*w + 20 - c = 0. Is w a multiple of 10?
False
Suppose 5*s = -3*g + 27, 2*g - 8 = -0*g. Suppose 3*w = -2*n + 36 - 4, -5*w - 86 = -s*n. Is n a multiple of 10?
False
Let r(t) = 2*t - 7. Let h be r(5). Suppose -h*y - 3 = -5*d, 3*d + 0*y = -2*y + 17. Is d a multiple of 2?
False
Let s be 54/8 - (-1)/4. Let c(v) = 5*v - 5. Is c(s) a multiple of 15?
True
Let n = 122 + -89. Is 26 a factor of n?
False
Let w be (-5)/(10/(-3))*2. Suppose 0 = -4*i - i + x + 127, -w*i - 4*x = -90. Does 13 divide i?
True
Suppose 0 = -2*c - 5*x - 5, 32 = 5*c - x + 4. Does 5 divide c?
True
Is -12 - -82 - 0/(-2) a multiple of 11?
False
Let t = -171 - -112. Let o = t - -87. Is 14 a factor of o?
True
Suppose -4*k - 2*r = -4*r - 552, -5*k + r + 696 = 0. Does 35 divide k?
True
Let o = 0 + 2. Is (-2 + 1)*o*-6 a multiple of 7?
False
Suppose -3*x = 2*x - 50. Let s = x - 2. Is 8 a factor of s?
True
Suppose -6 = -2*d, 2*d = f + 2*f - 72. Is 13 a factor of f?
True
Let z = 11 + -9. Let p = 1 + z. Is 3 a factor of p?
True
Let j(k) = 4*k**2 + 9*k - 13. Does 33 divide j(5)?
True
Suppose -40*m + 756 = -31*m. Is 28 a factor of m?
True
Does 14 divide (-12)/42 - (-760)/14?
False
Let b(c) = 9*c - 1. Let z be b(5). Let d be (-1)/((-2)/(z + 0)). Let i = -10 + d. Is i a multiple of 4?
True
Let q(b) = -8*b + 30. Does 22 divide q(-10)?
True
Suppose 2*n + 1 = -c - 0, -3*n + 5*c + 31 = 0. Suppose -3*w - 204 = -5*k - 0*w, 0 = n*k + 2*w - 88. Does 14 divide k?
True
Let k(j) = 3*j. Let l be k(-1). Let q(f) be the third derivative of f**6/120 + f**5/15 - f**4/6 - 4*f**2. Does 8 divide q(l)?
False
Suppose 5*f - 5 = -m, f = -0*f + 4*m + 22. Suppose 2*v - 46 = f*b, 3*b = 5*v - 30 - 87. Suppose 3*k - v = 2*k. Is k a multiple of 12?
True
Suppose -7*t = -3*t + 160. Is 30/2*t/(-12) a multiple of 9?
False
Does 20 divide (1 + -41)*-3 - 0?
True
Suppose -2*o - 2*o = -16. Let a(t) = 2*t**2 - 2*t**2 - 2*t - 2*t**2 + t**3. Does 7 divide a(o)?
False
Suppose 0 = i - 6*i + 540. Suppose -4*g = -5*u - i, 3*g = -5*u + 26 + 20. Does 11 divide g?
True
Is 50 a factor of (-1 + 3)/(12/1200)?
True
Suppose 0 = 5*k - 20, -67 = 4*a - 3*k + 1. Let j be (0 + -1)*(-1 - -2). Is j*a/(-4)*-2 a multiple of 7?
True
Suppose 2 = w - 3*w, -4*w - 24 = -4*g. Suppose -3*i + 142 + 20 = g*n, 0 = -2*i - n + 115. Is i a multiple of 12?
False
Suppose 150 = 3*k + 3*t - 84, -2*t - 294 = -4*k. Does 15 divide k?
True
Let v(w) = -48*w - 5. Let a be v(-4). Suppose 185 = 5*r - c - 128, 3*r = c + a. Is r a multiple of 21?
True
Suppose -2*i = 2*i. Suppose 2*t - 2 = -6*z + z, -t - z + 4 = i. Is 5 a factor of t?
False
Supp