-1). Suppose -y + 2*y + 33 = i. Let t = 12 - y. Does 14 divide t?
False
Suppose -5*j + 2075 = -0*j. Suppose 5*s - 19 = m - 90, 5*s - j = -5*m. Suppose -3*u + 7*c - 3*c + 114 = 0, c = 2*u - m. Does 21 divide u?
True
Let a(g) = -g**3 + 4*g**2 + 6*g + 3. Let t be a(5). Suppose y = 4*x + t - 142, x = 3*y + 28. Does 11 divide x?
False
Let t = -1 - -1. Suppose 3*z - 22 = 4*y, 2*y - 24 = -z - t*z. Does 14 divide z?
True
Suppose -z - 2*z = 5*y + 256, 236 = -3*z + 5*y. Let l be 1/(-1)*(-2 + z). Suppose 0 = -2*g - 3*g + n + 123, 4*g + 4*n = l. Is g a multiple of 12?
True
Suppose 0 = 2*d + 4*t + 12, 0*t = 5*d + 5*t + 15. Suppose v - 8 = -d*v. Is 8 a factor of v?
True
Let b = 12 + -17. Let w = 11 - b. Does 10 divide w?
False
Let q(i) = -i**3 - 5*i**2 + 3*i - 5. Let h be q(-6). Suppose -2*b + 22 = 2*k, b + 5*k - h = 14. Does 7 divide b?
True
Suppose -228 = -4*j + j. Suppose -20 = -3*o + j. Is o a multiple of 15?
False
Suppose 3*u = 3*y - 19 + 4, 2*u - 4*y + 20 = 0. Suppose x - 24 = -u*x. Is x a multiple of 12?
True
Let p(q) = -20*q. Let a be p(1). Let s = 30 + a. Does 8 divide s?
False
Suppose -b = -3*b - 42. Let j be 6/b + (-1082)/(-14). Suppose j = 5*p - 13. Does 12 divide p?
False
Let a(t) = -272*t + 271*t - 4 + 2 + t**2. Is 7 a factor of a(6)?
True
Let f(u) = u**2 + 11*u + 2. Suppose 18 = -4*n - 26. Let i be f(n). Suppose -5*s + 22 = 2*p, -2 = 2*s + i. Is 16 a factor of p?
True
Let k be (4 - 3)*-2 + 21. Suppose -4*w = -k - 9. Is w a multiple of 7?
True
Let f(k) = -k**3 - 6*k**2 + 5. Let p be f(-6). Suppose p*o - 39 = 11. Is o a multiple of 2?
True
Suppose 0 = s + 5*b + 4, 4*s - 2*b = -3*b + 79. Is s a multiple of 7?
True
Let d = 61 + -28. Is d a multiple of 11?
True
Suppose -c + 2*m + 4 = 0, 5*c - 3*c = -m + 13. Let b = c - 2. Suppose t = 2*q + 20, -b*q + 1 = t + 5. Does 10 divide t?
False
Suppose 8*w - 35 = 3*w + 4*h, -10 = 5*w + 5*h. Suppose 0 = -0*m + 4*m, u = w*m - 5. Let j = 21 - u. Does 13 divide j?
True
Suppose 0 = 5*o + 12 - 152. Is o a multiple of 28?
True
Let m(c) = 2*c + 5. Let y be m(0). Suppose -5*h + 335 = 5*u, y*h - 281 = 2*u + 82. Does 19 divide h?
False
Let z(p) = -p + 1. Let d be z(3). Let o(h) = -2*h**3 - 3*h**2 + 2. Let a be o(d). Does 15 divide (-2)/3 - (-184)/a?
True
Suppose 4*c + c = 20. Suppose 0 - 20 = -c*t. Suppose 20 + 25 = t*i. Is i a multiple of 3?
True
Let l(g) = g**2 - 6*g + 10. Let i be l(4). Let o = 7 + 0. Let q = i + o. Does 7 divide q?
False
Suppose -w = -2*h - 6*w + 84, 5*h - 4*w - 210 = 0. Is h a multiple of 7?
True
Suppose -4*o + 2*a = -16, -4*a - 2 - 4 = 5*o. Suppose 0 = o*w + 4*l - 0 - 10, -3*w + 42 = -3*l. Is 10 a factor of w?
False
Let w(x) = -x**3 - 4*x**2 - 4*x + 1. Let v be w(-3). Suppose -v*m + 5*z = -137, -m + 5*z = 4*m - 165. Is m a multiple of 14?
True
Let l(r) = -4*r - 4. Let o be l(-5). Suppose -2*a + o = -64. Does 8 divide a?
True
Suppose -2 = -5*x + 23. Is x a multiple of 4?
False
Suppose -22 = -a - 3*a + 2*k, -3*k = 2*a + 1. Suppose -2*s - 72 = -a*s. Is 12 a factor of s?
True
Let i(z) = -12*z + 1. Suppose 0 = -3*o - 2*o + 10. Let f be i(o). Let y = 38 + f. Is y a multiple of 7?
False
Let d(o) = 2*o - 5. Let y(z) = z**3 + 12*z**2 + 12*z + 13. Let k be y(-11). Suppose q + q = k*r + 22, 0 = -3*q - 3*r + 9. Is d(q) a multiple of 5?
False
Suppose -4*n - 205 = -9*n. Let b = 1 - -2. Suppose 4*o + 3*w = n, o - b*w + 1 = -0*o. Is o a multiple of 3?
False
Let p(t) = 8*t**2 + 4*t + 8. Is p(-3) a multiple of 7?
False
Let c(b) = 6*b. Let k be c(-2). Let m = 8 - -18. Let r = k + m. Is 6 a factor of r?
False
Suppose -17 = -5*s - 2. Let v be 30/4*16/s. Suppose -3*b - v = -8*b. Is 5 a factor of b?
False
Suppose 0 = o - 5*t + 17, 4*o = -t - 2*t - 91. Let q be o/(-4)*(-2 - -6). Does 11 divide (0 - (q + 1))*-1?
False
Let s = -5 + 7. Suppose s*t + t = 66. Suppose -2*g + p = -3*p - 24, 3*p + t = 2*g. Is g a multiple of 5?
False
Let k(d) = -d**2 + 3*d + 3. Let u be k(4). Let i be -1 + (-80)/2 + u. Let l = -9 - i. Is l a multiple of 15?
False
Is 16 a factor of (-2)/5 - 771/(-15)?
False
Let i = 5 - 8. Let t be (-30)/(-8) + i/(-12). Suppose -2*a = 2*k - 2 - 18, -25 = -3*a - t*k. Is 8 a factor of a?
False
Is 94 + ((-2)/(-5))/((-5)/(-25)) a multiple of 6?
True
Let m be 12*(1 + (-10)/6). Let x = 2 - 3. Let p = x - m. Is 7 a factor of p?
True
Let j = -141 - -206. Does 13 divide j?
True
Suppose -15*k + 11*k - 4*p + 1192 = 0, 0 = 2*p - 8. Is 17 a factor of k?
False
Suppose -4*h - 2*y = -14, 5*h - 19 - 4 = 3*y. Suppose 3*k = h*q + 68, k - 5*q + 0*q = 8. Is k a multiple of 10?
False
Let g(w) be the third derivative of -w**5/60 - 13*w**4/24 + 11*w**3/6 - 3*w**2. Is g(-12) a multiple of 22?
False
Suppose -q + 2*z - 7 = z, z - 43 = 4*q. Let s = q + 26. Is s a multiple of 10?
False
Let v(y) be the third derivative of y**6/120 + y**5/60 - y**4/24 + 5*y**3/2 + y**2. Is 15 a factor of v(0)?
True
Suppose -2*f + 127 = 4*t + 33, -f + 38 = 5*t. Let v = f - 33. Let b = v - 14. Is b a multiple of 4?
False
Let v = 16 + 29. Is v a multiple of 24?
False
Let l = -17 + 20. Suppose 3*o - l*t = 60, -2*o - 40 = -4*o - 4*t. Is o a multiple of 5?
True
Suppose s = 1, -4*q = -2*q - s - 77. Is 39 a factor of q?
True
Let w = -8 + 3. Let i be (-2)/((-2)/(-39)*-3). Let z = i - w. Is z a multiple of 9?
True
Let w = -10 + 23. Let f = 12 - -13. Let x = f - w. Is 11 a factor of x?
False
Let j be (-6)/(-2) - (-3)/(-3). Is 4 a factor of (13 + -2 - j) + 2?
False
Let o = 54 - 6. Suppose p - 4*p = -3*r - o, p = -r + 6. Is p a multiple of 11?
True
Let i(u) = -u**2 - 21*u - 4. Is 16 a factor of i(-17)?
True
Let i(q) = -q**3 + 9*q**2 - 4*q + 5. Is i(8) a multiple of 8?
False
Let y(t) = 5*t**2 - t + 10. Let p(d) = -6*d**2 + 2*d - 11. Let w(r) = 4*p(r) + 5*y(r). Let m be w(-4). Let g = 31 - m. Does 11 divide g?
False
Let d(i) = -9*i**2 - 4. Let y be d(-5). Let s be (-4)/(-6) - y/3. Let j = s - 50. Is j a multiple of 14?
False
Suppose 25 = 10*q - 5. Does 3 divide q?
True
Suppose 3*r = 58 - 16. Let d = r - -21. Let y = -25 + d. Is y a multiple of 10?
True
Suppose -5*g - 78 = -213. Is g a multiple of 15?
False
Suppose 4*d = t - 4*t + 4, 0 = t + d - 3. Let c = -2 - -3. Let a = t + c. Does 8 divide a?
False
Let h(r) = -11*r**3 - 3*r**2 - 7*r - 2. Is h(-2) a multiple of 8?
True
Is 17 a factor of (-1491)/(-7) - 5/(5/4)?
False
Suppose 3*m = 3*d - 294, -2*m - 291 = -2*d - d. Is 19 a factor of d?
True
Let p = -9 + 9. Suppose p = -3*y - 2*y + 380. Let l = y + -42. Is 17 a factor of l?
True
Let w be 10 + 98 - (0 - -1). Let d = -44 + w. Does 21 divide d?
True
Suppose -4 - 8 = 3*g. Let i(q) = q**3 + 3*q**2 - 6*q - 1. Does 2 divide i(g)?
False
Suppose -3*l + 13 = 2*p, -l + 2*l + p - 6 = 0. Let v be ((-132)/16)/(l/4). Let q = -11 - v. Does 12 divide q?
False
Let w = 1 + -3. Let d be w/4*2/1. Is 2 + -2 + 23 + d a multiple of 6?
False
Let r = -199 - -389. Does 20 divide r?
False
Let d(v) = 36*v - 28. Is 13 a factor of d(8)?
True
Let w = -27 + 53. Let o = 44 - w. Is o a multiple of 15?
False
Is 19 a factor of (-476)/(-5) - (-9)/(-45)?
True
Suppose -5*k + 17 + 8 = 0. Suppose 0*w - k*w = -4*n + 236, w + 220 = 4*n. Is n a multiple of 14?
False
Let i = 53 + -31. Does 22 divide i?
True
Let c = 7 - 12. Let n(j) = -5*j - 5. Is n(c) a multiple of 20?
True
Let t = 397 + -221. Does 19 divide t?
False
Let n(u) = -2*u - 4. Let r be n(-3). Suppose -t - t = 2*h, 0 = h - t - 10. Suppose 5*m = -h*q + 85, -r*q - 3*m + 0*m = -34. Is q a multiple of 17?
True
Suppose -78 = -41*w + 38*w. Does 13 divide w?
True
Suppose 2*h - 3*h = 0. Let t = 0 - h. Suppose t*j = j - 36. Does 16 divide j?
False
Let z = 379 + -227. Is z a multiple of 12?
False
Let c(z) = -4*z + 2. Let h be c(-3). Suppose 2*r - h = 20. Does 13 divide r?
False
Let m be (-3)/2*(-4 - 0). Suppose 0 = -g + m*g + 15. Does 13 divide 1 - (6 + g + -15)?
True
Let j(z) = -6*z + z - 6*z - 4*z. Let q be j(-1). Let s = -7 + q. Is s a multiple of 4?
True
Let z be (-1 - 2/1) + 0. Is (1 + -10)/(z/9) a multiple of 13?
False
Let r = 5 + -1. Suppose 0 = -3*c + 2*c - r*l + 21, 2*c - 58 = -4*l. Is c a multiple of 12?
False
Suppose 76 = 35*d - 34*d. Is d a multiple of 13?
False
Suppose 4*h + 2*l = 132, 0 = -0*l - l + 2. Does 8 divide h?
True
Let i = 81 + -61. Is 5 a factor of i?
True
Let i(y) = y**3 + 3*y**2 + 2. Let h be i(-3). Suppose 2*d + h*d + 12 = 0. Does 4 divid