of w?
False
Let b(x) = -x**3 - 9*x**2 + 6*x - 29. Is b(-11) a multiple of 12?
False
Suppose 4*j + 25 = -3*l - 114, 4*j = -2*l - 94. Let i be 2/4 + l/2. Let o = i - -34. Does 4 divide o?
True
Let o be -4*(-256)/14 + 5/(-35). Suppose -139 = -3*f - o. Does 11 divide f?
True
Let k be 2 + -1 - -108 - (-4 - -5). Let g = k + 36. Does 16 divide g?
True
Suppose l + 2*o - 1876 = 0, -3*o - 7 - 5 = 0. Is 50 a factor of l?
False
Let m be (-13)/(4/4 + -2). Suppose 5*c - 4*g = 16, -g + m = -c + 4*c. Suppose c*f = 14 + 50. Does 12 divide f?
False
Let s(j) = j**3 - 3*j**2 + 4. Suppose -41 = -2*r - 3*z, 0 = -0*r - 4*r + 3*z + 55. Suppose 5*g = r + 4. Does 12 divide s(g)?
False
Suppose -3*u + 4*q + 1178 = 0, -4*u = 5*q - 4*q - 1577. Let y = -231 + u. Suppose -3*n + 37 = d + 2*n, 5*d + 3*n = y. Does 8 divide d?
True
Suppose n - 277 = -2*c, -3*c + 3*n + 471 = 42. Does 20 divide c?
True
Suppose -3*n = -168 - 300. Let v = n - 85. Let d = v + -42. Is d a multiple of 16?
False
Suppose 5*c = 2*a - 4885, 4*a - 34*c = -39*c + 9845. Does 107 divide a?
False
Let b = 93 - 80. Let h = b + 33. Does 2 divide h?
True
Let q = 3 + -3. Suppose -3*g + 4 + 2 = q. Suppose -30 = -g*b + 6. Is b a multiple of 9?
True
Suppose 5*w = 44 + 71. Is 20 a factor of w?
False
Let a(l) = -l**2 + 12*l - 15. Let t be a(11). Let x be 4/t*3 - 29. Let j = 68 + x. Is j a multiple of 6?
True
Let g = -6 - -5. Let v = 3 - g. Suppose 0 = 3*a - 5*q - 60, -5*a + q - v*q + 134 = 0. Does 8 divide a?
False
Let l(s) = -100*s**3 - 4*s - 3. Suppose 10*w + 5 = 5*w. Does 8 divide l(w)?
False
Let g = -29 - 11. Let f = g + 14. Let x = 78 + f. Is 15 a factor of x?
False
Let a(g) = 389*g - 5. Does 8 divide a(1)?
True
Let v be (-5)/(40/(-41)) + (-3)/24. Suppose v*w - 170 = s - 6*s, 5*w + 3*s = 170. Is 17 a factor of w?
True
Let g(v) = -v**3 + 5*v**2 + 3. Let r be g(4). Let o = 57 - r. Suppose 4*z = 5*z - o. Does 16 divide z?
False
Let u(f) = -f**3 + 12*f**2 + 13*f + 21. Let y = -13 + 25. Is 40 a factor of u(y)?
False
Let y(g) = -2*g**2 + g + 1. Let d be y(1). Suppose d = -4*l + 43 + 509. Is l a multiple of 23?
True
Let a = 1508 - 771. Is a a multiple of 67?
True
Let c(m) = -m**3 - 10*m**2 - m - 3. Let h be c(-10). Suppose 0*v + 4*v + 4 = 0, -4*g = 5*v - h. Let i(d) = 2*d**3 - 3*d**2 + d - 1. Does 28 divide i(g)?
False
Suppose 2*r + 5*r = r. Suppose -5*x - 3*a + r*a = -48, -4*a = -x + 28. Is 12 a factor of x?
True
Let r be (-5)/(195/(-189)) + 2/13. Let z(y) = -3*y**2 + 2*y + 3*y**2 + 10 - y**2 + 4*y. Does 3 divide z(r)?
True
Let l(b) = 23*b**2 - 14*b - 4. Does 22 divide l(4)?
True
Suppose -b = -5*x + 1819, 4*x - 3*b - 1771 = -307. Suppose 0*v = 3*v - x. Suppose 43 = z + 4*t, v - 26 = 5*z - 4*t. Is 23 a factor of z?
True
Suppose 0 = 2*m - 4*m - b + 45, -3*m - b = -65. Let f = 6 + m. Is f a multiple of 13?
True
Suppose 69 = 370*k - 369*k. Is k a multiple of 5?
False
Suppose -4*l = -7*l - 348. Is -1 + (3 + -7 - l) a multiple of 37?
True
Is 55 a factor of (-5)/(-7 - 3002/(-231) - 6)?
True
Suppose -b - 2*j = -3, b + 25 = -0*b + 5*j. Let s = 10 - b. Is s a multiple of 3?
True
Let y be 11/((-22)/(-696)) - 0. Suppose y = 2*x - 0*x. Does 29 divide ((-6)/(-6))/(3/x)?
True
Suppose -32 = -3*g - g. Suppose -g = 2*r, 5*y + 4*r + 4 = 2*y. Suppose -4*q - 6*k + 88 = -2*k, 3*q + y*k - 61 = 0. Does 27 divide q?
True
Let w = -36 - -47. Suppose w*c - 1147 = 107. Is c a multiple of 19?
True
Let c(f) = -f**3 - 3*f**2 - 7*f - 8. Suppose -116*o + 113*o - 15 = 0. Is 11 a factor of c(o)?
True
Let l(o) = -o - 4. Let m be l(-7). Suppose 4*d - 252 = -m*d. Does 7 divide d?
False
Suppose -2*t + 5*r - 10*r + 1212 = 0, 2*t - 1194 = 4*r. Is t a multiple of 8?
False
Let a be (-1 - -3) + 3 - 1. Suppose -h = 4*h - 3*p - 81, 0 = -2*h - a*p + 48. Does 14 divide h?
False
Let q(a) = -a - 15. Let j be q(-17). Suppose -3*z - 15 = 2*l - 74, -j*l + 13 = z. Is 3 a factor of z?
False
Let j(c) = 6*c + 36. Let f be j(-6). Let d(n) = 6*n + 16. Is 4 a factor of d(f)?
True
Let f = -76 - -109. Suppose -2*g = -5*v - 33, -9 = -2*g - 4*v + f. Is g a multiple of 4?
False
Suppose -2*v + 6*f + 1396 = 4*f, -3*v - 3*f + 2094 = 0. Does 14 divide v?
False
Let p = -45 - -39. Let c = p + 19. Does 9 divide c?
False
Let c be 142/(-9) + (-2)/9. Let y(r) = -r**2 - 16*r + 11. Does 11 divide y(c)?
True
Suppose 19*q - 10220 = 9*q. Is q a multiple of 7?
True
Let h = -782 + 1157. Is 15 a factor of h?
True
Let x = 24 - 2. Suppose i - 4*v + 0*v - 25 = 0, i - x = 3*v. Is i a multiple of 13?
True
Let g = 4435 + -2695. Does 60 divide g?
True
Let n(u) = 3*u**2. Let g be n(1). Suppose 4*k = -2*s + s - 11, -4*k = g*s - 7. Is 21 a factor of -3*s/1*-1?
False
Suppose 10*j - 5017 = 5513. Does 9 divide j?
True
Let z be (141/(-9))/(1/3). Let i = -19 - z. Is 4 a factor of i?
True
Suppose -181 + 1 = -5*y. Let u = y + -26. Is 5 a factor of u?
True
Let o(i) = 55*i + 48. Is 23 a factor of o(8)?
False
Let r = 52 + -49. Suppose 5*g - r*g = 176. Does 22 divide g?
True
Suppose 9*f - 3*f - 78 = 0. Suppose -3*s - 215 = f. Is 30/(-4 - s/16) a multiple of 8?
True
Let c = 28 + -29. Let r be 6 - c/((-3)/12). Does 13 divide (-31 + 5)/(r/(-5))?
True
Suppose 5*k + 1704 = 8*k. Is k a multiple of 10?
False
Is 30 a factor of (-62 + 34)/((-4)/46)?
False
Let k = 2765 - 927. Does 21 divide k?
False
Let n(z) = -z**3 + 12*z**2 - 18*z + 2. Is n(9) a multiple of 5?
False
Suppose -2 = 3*l - 11, 0 = 5*n + 5*l - 25. Let t be (-6)/(-24) + (-309)/(-12). Does 27 divide n*1/2 + t?
True
Suppose -5*a = -3*h + h + 19, 4*h + 4*a = -4. Suppose 2*z - 9 + 3 = -2*t, t = -h*z + 8. Is 26 - ((-6)/(-3) + t) a multiple of 13?
True
Let p(z) = 202*z**2 + 13*z + 18. Is 20 a factor of p(-2)?
True
Suppose -2*b + 216 = b. Suppose -b = 2*y - 272. Does 14 divide y?
False
Let v(o) = -o + 9. Let x be (3/(-6))/(3/(-42)). Let m be v(x). Suppose 4*n + n = -3*g + 28, m*n + 4*g = 0. Is 2 a factor of n?
True
Suppose -m + 33 = k + 2*m, -99 = -2*k + 5*m. Is 42 a factor of k?
True
Suppose 0 = -3*o - 6, -2*o - 2*o - 16 = -2*c. Suppose -c*y + 68 = -4*w, -62 = w + 3*w - y. Let p = 27 + w. Does 4 divide p?
True
Let y = 460 + 437. Is 21 a factor of y?
False
Suppose -3*c + 1 = b, 0 = c + 5*b - 0*b + 23. Suppose -c*y - 91 = -275. Does 16 divide y?
False
Suppose 0 = -5*m + 13 + 7. Suppose 252 = -a + m*a. Does 12 divide a?
True
Suppose -p + 242 = -532. Is p a multiple of 9?
True
Let u(b) = -3*b**3 + b**2 - 72. Let r(s) = s**3. Let f(a) = -4*r(a) - u(a). Let z = -30 - -30. Is f(z) a multiple of 24?
True
Let q(g) = 4*g - 5*g + 15 + 5 + 3. Is 3 a factor of q(12)?
False
Let c(h) = -42*h + 159. Is 11 a factor of c(3)?
True
Suppose -4*u = 2*j - 8, -5*u = -3*j + 2*j + 11. Suppose 2*s = -s + j. Is 2 + 45 - (s - 3) a multiple of 16?
True
Let i(k) = 58*k**2 + 22*k - 68. Does 79 divide i(4)?
True
Suppose -3*n + 12 = g + 3, 4*g - 20 = -4*n. Suppose -g*f + 6*f = -90. Let a = -17 - f. Is a a multiple of 13?
True
Let k = 141 + -141. Suppose k = -7*c + 6*c + 26. Is c a multiple of 3?
False
Let c(r) = 14*r - 28. Let t be c(3). Suppose -9*s + t*s = 1140. Is s a multiple of 12?
True
Let m(l) = 20*l - 13. Let p be m(3). Suppose 3*j - 13 = p. Does 4 divide j?
True
Let d = 117 - 93. Let r(w) = w**2 - 22*w. Is 12 a factor of r(d)?
True
Let w(h) = 1 + 8*h**2 + 55*h - 51*h + 1. Let p be w(-2). Suppose -2*y + 2*c + p = 0, 3*c + 54 = 4*y - 2*c. Does 8 divide y?
False
Let k be 1 + (-3 - (0 - (-3 + 5))). Does 5 divide 20*(k + -1)*(-15)/20?
True
Let o = 26 - 48. Let s = -16 - o. Let x(f) = 3*f - 4. Is 7 a factor of x(s)?
True
Suppose -1822*x = -1817*x - 1710. Is 57 a factor of x?
True
Suppose -y + 4*m - 13 = 0, -2*m = 6*y - y - 23. Suppose 5*n = -2*j - j + 9, -3*j - y*n + 9 = 0. Suppose j*i = 39 + 33. Does 6 divide i?
True
Let p be (4 - 3)/(2/6). Suppose -p*f + 5*r + 65 = 0, 56 = 3*f - 2*r - 24. Suppose 5*b - 7*b = -f. Does 10 divide b?
False
Let x be (0 - 2/(-2)) + 43. Let b be x + (1 - -3 - 1). Suppose -9 = -4*k + b. Does 6 divide k?
False
Suppose -2*f + 3*s + 11 + 2 = 0, 3*s + 7 = -f. Suppose -192 = -f*q + 108. Does 25 divide q?
True
Suppose 0 = 4*p - 16, 2*k - 1219 = k - 4*p. Does 29 divide k?
False
Let v = 17 - 17. Let r = v - -2. Suppose r*h - 26 = 2. Does 4 divide h?
False
Suppose 2*q + 5*c = 895, -5*q + 3*c + 376 = -1877. Is 13 a factor of q?
False
Suppose 12*w - 15*w + 26 = 5*p, 5*p + 2*w - 29 = 0. I