(z). Is 2 a factor of l(1)?
False
Let w(t) = -2*t**3 + 12*t**2 - 4*t - 6. Is w(5) a multiple of 24?
True
Let j(v) = v**2 - 7*v - 11. Let t be j(9). Suppose -t*a + 4 = -6*a. Suppose -3*z + a*z - 33 = 0. Is z a multiple of 27?
False
Let f be (2 + -4)/(2/3) - 6. Is -12 - f - (-92 - 1) a multiple of 13?
False
Let h = -45 + 50. Suppose -7 = -h*x + 28. Is 5 a factor of x?
False
Suppose 2*m - 6 = 6. Suppose u + u = m. Suppose 1 + u = c. Does 3 divide c?
False
Let a be 4 - 1*(-4 + 1). Suppose -4*r + a*r = 264. Does 8 divide r?
True
Suppose -88 = t + 2*a, 2*t + 5*a - 297 = 5*t. Let x = t - -175. Is x a multiple of 27?
True
Let r be 1/(4/(-32)) - 0. Let i = -3 - r. Suppose 4*d - 2*s - 124 = 2*s, 4*d + i*s = 79. Is 6 a factor of d?
False
Let a(u) = 4*u - 19. Let g be a(6). Suppose g*w - 260 = w. Does 13 divide w?
True
Suppose -2 = a + 3*b - 5*b, -2*a + 2*b + 4 = 0. Let g(n) = n**2 + n + 3. Is g(a) a multiple of 9?
True
Is 19 a factor of (114*10/(-80))/(3/(-40))?
True
Let n = 345 + -204. Is n a multiple of 29?
False
Let z = 19 + 536. Suppose -z = 8*x - 3*x. Let m = -45 - x. Does 22 divide m?
True
Let x(n) = n**2 - 12*n + 13. Let b be x(10). Let h(m) = m + 7. Let j be h(b). Suppose j = -5*o + 3*o + 60. Is o a multiple of 20?
False
Let n = 1264 + -1222. Is 14 a factor of n?
True
Let j be (-48)/(-20) - 2 - 348/(-5). Suppose -4*f + 2*x = 23 + 119, -94 = 3*f + x. Let b = j + f. Does 10 divide b?
False
Let s(t) be the first derivative of -t**4/2 - t**3/3 + 9*t**2/2 + t + 2. Let l be s(-4). Suppose 0 = h - l - 46. Is h a multiple of 16?
False
Let x(j) = 2*j**3 + j**2 - j + 1. Let b(d) = -27*d**3 - 4*d**2 + 4*d - 1. Let t(s) = b(s) + 4*x(s). Does 31 divide t(-2)?
True
Suppose w = 5 - 3. Let c = -58 + w. Let z = c - -86. Is z a multiple of 10?
True
Let u(q) = -495*q**3 + 4*q**2 - 3. Does 8 divide u(-1)?
True
Let p(x) = x**2 - 14*x + 13. Let i(f) = -2*f**2 + 28*f - 25. Let g = -18 + 23. Let t(z) = g*p(z) + 3*i(z). Is t(11) a multiple of 6?
False
Let k = -7304 - -11809. Is 11 a factor of k?
False
Let i(q) = -q**3 - 10*q**2 + 2*q + 4. Let t be i(-8). Is 9*(t/6)/(-7) a multiple of 6?
True
Suppose 43 = 9*j + 7. Suppose -5*g = j*d - 67, -3 - 1 = 2*d. Is 7 a factor of g?
False
Let h(o) = 3*o**3 - 3*o**2 - 4*o - 3. Let x(u) = 17*u - 11*u**3 + 5 + 4*u**3 + 6*u**2 - 8*u. Let k(m) = 5*h(m) + 2*x(m). Is 3 a factor of k(4)?
True
Suppose -90 = t - 5*v, -4*v = 5*t + 186 + 206. Does 30 divide (t/(-12))/(4/18)?
True
Suppose 0 = -r + 29*r - 10920. Does 43 divide r?
False
Let u be (32/(-6))/((-1)/(-15)). Let j(g) = -2*g**2 + 21*g + 39. Let y be j(13). Let q = y - u. Is 18 a factor of q?
True
Suppose 3*l + 5 = 2*u, 0 = -4*l - 0*l + u. Does 30 divide 7*6*l/((-21)/(-90))?
True
Suppose -2*v + 8*v - 12 = 0. Let y = v + 20. Is y a multiple of 6?
False
Suppose 49*k - 770 = 27*k. Is 2 a factor of k?
False
Let x = -138 + 146. Does 24 divide 7/(14/x) - (0 - 116)?
True
Suppose i + 264 = 4*r, -i = -2*r - 3*i + 132. Suppose 3*s - 78 = r. Does 22 divide s?
False
Suppose -8 = 2*s, -17 = -5*y - 2*s + 85. Is 3 a factor of 2 - ((-246)/y + 2/11)?
False
Suppose -12 = -4*i, -x + 2*i - 7*i = -472. Suppose -x = 3*c - 5*c + h, c - 211 = 4*h. Is c a multiple of 50?
False
Let o(w) = -w**2 - 5*w + 6. Let m be o(-6). Suppose m = -3*u + 19 + 8. Let n = u + 31. Is 10 a factor of n?
True
Suppose -2*w + 4*w = 162. Let o = 201 - w. Is 30 a factor of o?
True
Suppose 0 = -6*p + 3*p + 24. Let r(m) = 5*m + 2. Let a be r(p). Suppose -a = -2*n - n. Does 14 divide n?
True
Let m = -2 - -4. Let g be (-88)/(-33)*(-3)/(-2). Suppose -184 = m*c - g*c. Does 25 divide c?
False
Let i = 147 + -216. Let d = i - -106. Is 6 a factor of d?
False
Let o(n) = 21*n**3 + 3*n**2 - 4*n - 1. Is 19 a factor of o(2)?
True
Let i = 191 - 100. Let m = -67 + i. Is 9 a factor of m?
False
Suppose 33*x = 29*x + 16. Suppose 2*l + 3 - 1 = 0. Does 2 divide 6 + (-2 + x)*l?
True
Suppose -2*s = 3*y - 1364, -2*s - 492 = -3*y + 892. Is y a multiple of 42?
False
Let t = -7 + 7. Suppose 828 = -t*m + 9*m. Does 23 divide m?
True
Let i = -36 + 0. Let u = i + 90. Does 11 divide u?
False
Is (66 + -3)/((-5)/(-445)) a multiple of 63?
True
Let l = -615 - -1106. Does 74 divide l?
False
Does 7 divide 2 + 463 + -47 + 56?
False
Suppose 10*h - 7*h = -b + 176, -2*b + h = -324. Is b a multiple of 5?
False
Let u(v) = 217*v - 215. Is u(5) a multiple of 29?
True
Let q(h) = 6*h - 2. Let l(m) = m - 7. Let x be (-70)/(-15)*18/7. Let d be l(x). Is q(d) a multiple of 14?
True
Let w(m) = -2*m. Let r be w(-2). Let p(y) = 83*y**2 - 5*y - 7. Let n be p(-1). Suppose 2*v + 4*g = 60, 5*g = r*v - 0*v - n. Does 12 divide v?
True
Let x(g) = -16*g + 80. Is x(4) a multiple of 16?
True
Suppose 2*f - 16 = -a, -5*a + 0*f + 105 = 5*f. Is (-47 - -1)*(-13)/a a multiple of 13?
False
Suppose 4856 = 4*l - 3*g, l = -4*g + 530 + 703. Is l a multiple of 19?
False
Suppose -31 = -10*k + 39. Let r(g) = g. Let o(i) = -i**2 + 9*i - 4. Let n(h) = -o(h) + 2*r(h). Does 2 divide n(k)?
True
Suppose -72 = -s - 57. Let c = s - -15. Does 10 divide c?
True
Suppose 2*x - 3498 = 3*m, 5*x = -3*m + 5352 + 3414. Is x a multiple of 73?
True
Suppose 0 = -2*m - 4 + 4. Suppose m*l + 95 = 5*l. Does 3 divide l?
False
Let g(o) be the first derivative of -o**4/4 - 2*o**3/3 + 3*o**2 + 3*o + 2. Let z = -12 + 8. Is 11 a factor of g(z)?
True
Suppose -5*f + 797 = 2*i, 2*i - 4*f - 453 - 353 = 0. Suppose 2*u - i = 85. Does 13 divide u?
False
Let u be (-4)/24*-3*-16. Let f = 18 + u. Does 5 divide f?
True
Suppose -8*h - 4 = -6*h. Let i be -23 - (0 + h - 1). Is i/(1*(-1)/2) a multiple of 10?
True
Suppose 41*v + 4*w - 503 = 40*v, -4*v + 3*w = -1936. Does 24 divide v?
False
Let b(s) = 2*s**2 - 3*s + 8. Let q = -47 + 54. Is 13 a factor of b(q)?
False
Suppose 0*x - 136 = 4*x. Let k = x + 37. Is 21 a factor of 20/k*(34 - 16)?
False
Let z = -294 + 1702. Is 57 a factor of z?
False
Let i(t) = -t**2 - 3*t. Let q be i(-6). Let u = q - -30. Is u a multiple of 12?
True
Suppose -3*v + 2848 = 5*y, -3*v - v - 4*y = -3792. Does 86 divide v?
True
Let l = 2233 + -1191. Is 46 a factor of l?
False
Let o = -304 - -419. Does 9 divide o?
False
Let v = -25 - -45. Suppose 2*b = -5*l - v, -3*l + 4*l + b = -4. Is 1 + (l - -7) - -60 a multiple of 12?
False
Let p(y) = 5*y**3 - 37*y**2 + 22*y - 1. Is p(10) a multiple of 7?
True
Let a(p) = p. Let q(w) = -w - 4. Let o = -14 - -5. Let l be q(o). Is 3 a factor of a(l)?
False
Suppose -13*o - 20 = -9*o, d - 2*o = 19. Is d a multiple of 2?
False
Let r = 1772 + -1695. Is 7 a factor of r?
True
Suppose 19 = -8*h + 1939. Suppose -4*r + 9*r - h = 0. Is r a multiple of 16?
True
Let j(p) = p**3 + 11*p**2 + 9*p - 6. Let n be j(-10). Suppose s - 30 = -n*s. Suppose 0 = -3*k + s*k - 27. Is k a multiple of 4?
False
Suppose w = 3, 252 = 3*r - 17*w + 18*w. Is r a multiple of 30?
False
Let y = 6 + -12. Let w = y - -8. Suppose 4*q - 148 = -4*u, -2*u + 71 = q + w*q. Does 20 divide u?
True
Let l(a) = -1 - 15*a - 16*a + 30*a. Let x(i) = i**3 + 11*i**2 + 10*i - 8. Let z(c) = 3*l(c) + x(c). Is 8 a factor of z(-10)?
False
Let z(p) = 2*p**2 + p - 3. Let b be (6 - 9) + 0 + -4. Let d be z(b). Does 22 divide ((-8)/(-2))/(16/d)?
True
Suppose 114*t = 119*t - 1715. Is t a multiple of 49?
True
Let a(l) be the first derivative of -5*l**2/2 + 6*l - 9. Let n be a(-3). Does 5 divide -2 + (n - (-4 - -8))?
True
Let x(b) = 0 + 24*b**3 - 1 - 3*b**3. Suppose -3*u = -2*i - 7*u + 6, -3*u = 5*i - 8. Is 6 a factor of x(i)?
False
Suppose -4*a + 10*a + 216 = 0. Does 9 divide 9/3 + 0 - a?
False
Let i(a) = 18*a**2 - 3*a - 30. Is i(14) a multiple of 27?
True
Suppose 0 = -110*n + 112*n - 480. Does 16 divide n?
True
Suppose 3*q - 45 + 39 = 0. Suppose -5*u + u - 2*g + 304 = 0, u = -q*g + 79. Is 12 a factor of u?
False
Let a = -44 - -48. Does 21 divide (1 - -17)*a/((-48)/(-42))?
True
Let o(v) = 2*v - 1. Let x be o(2). Suppose -x*b - 20 = -7*b. Suppose -3*h = -0*h - 3*c, 0 = -b*h - 2*c + 35. Is 2 a factor of h?
False
Is (1225 + -2)*(45 - 44) a multiple of 5?
False
Suppose 6 = 2*n - 0*n. Suppose -2*c - 54 = -2*h, 2*h - 5*h = n*c - 57. Suppose 2*x + h = r - x, 2*r - 55 = -3*x. Is 7 a factor of r?
False
Suppose 16 = -f + 42. Suppose -5*z = -7*z + f. Let m = z - 0. Is 6 a factor of m?
False
Suppose 1016 = 5*b - 2*a, -5*b = -b + 3*a - 799. Does 5 divide b?
False
Let w(q) be the thir