20*u**6 + 0*u. Is y(-8) a multiple of 16?
False
Suppose 4*l = 2*d - 0*d + 2, -14 = -4*d - l. Let j = -5 + d. Let h = j - -29. Does 10 divide h?
False
Let m = 13 - 23. Let u = m - -15. Let p(h) = -h**3 + 7*h**2 - 8*h + 5. Is p(u) a multiple of 15?
True
Suppose -1 = t - 2*b - 4, 3*t = -b + 16. Let m(k) = k**3 - 5*k**2 + 4*k - 4. Let v be m(t). Is 2*1 + (v - 2) a multiple of 16?
True
Suppose s + 5*s = 30. Is 3 a factor of s?
False
Suppose -3*m + 4*f = -22, m + 4*f = -2*m + 14. Suppose -3*g = -m*g. Is (4 + g)*(-23)/(-4) a multiple of 10?
False
Suppose p + 115 = 3*w, w + 4*p = -p + 65. Does 15 divide w?
False
Suppose 0 = -2*v - v + 144. Suppose -3*f + 82 + 8 = 0. Let z = v - f. Is 18 a factor of z?
True
Suppose -12 = -4*x + 8. Suppose -5*y + 83 = v, x*y - 3*v = -v + 74. Is 8 a factor of y?
True
Let c(q) = -3*q - 27. Is 5 a factor of c(-17)?
False
Let i(r) = 0 - r - 6 + 2*r. Let m be i(4). Does 9 divide (m - (-1 + 1)) + 20?
True
Let z(p) = 5*p**2 - 4*p - 6. Let l(m) = -4*m**2 + 4*m + 6. Let k(b) = 6*l(b) + 5*z(b). Is 2 a factor of k(-4)?
True
Is (-3)/(-12)*-2 - 1111/(-22) a multiple of 50?
True
Suppose 3*b + 0 - 34 = -4*q, 0 = -5*q + 5. Is b a multiple of 2?
True
Let x(u) = 2*u - 6. Let r be x(5). Suppose g + 1 = -s - 1, -2*s + r*g + 26 = 0. Suppose -s*p + 35 = 2*p. Is p a multiple of 4?
False
Let v be (-2)/6*(-45)/3. Suppose -8*a + 5*n + 85 = -3*a, 4*n = v*a - 86. Let d = a + -11. Is 7 a factor of d?
True
Let o be 6 + -3 - 3*12. Let m = o - -60. Is 11 a factor of m?
False
Let m be -1 + 0/2 + 3. Suppose 3*j - 6 = -0. Suppose 2*n = j, m*w + 0*n = n + 47. Is 12 a factor of w?
True
Let f(h) = h**2 - 7*h. Let b be f(7). Suppose b = -2*y + 3*y + 15. Is 12 a factor of (12/y)/((-1)/45)?
True
Let j be (-25)/(-10) - 2/4. Suppose -2*h - 2*o + 26 = 0, -5*o - 22 = -j*h - 3*o. Is h a multiple of 4?
True
Let f = -20 + 128. Does 12 divide f?
True
Suppose -3*o + 5*c + 197 = 0, -2*c - 2*c - 68 = -o. Suppose 3*m + 10 = o. Is 9 a factor of m?
True
Is 6 a factor of ((-3)/(9/(-2)))/(5/225)?
True
Let x(u) = -2*u**3 - u**2 - u - 2. Does 4 divide x(-2)?
True
Suppose 2*c = 110 + 10. Is 30 a factor of c?
True
Let o(u) = 10*u + 3. Does 3 divide o(1)?
False
Suppose -4*l = 5*a - 39, a + 36 = 5*l + 3*a. Does 3 divide l?
True
Let u be -1 + -8*(-1)/2. Suppose -2*w - w = -u, -3*d + w = -26. Does 2 divide d?
False
Suppose 0 = -4*w - 4*p + 552, 2*p + 75 + 54 = w. Does 15 divide w?
True
Let n(d) = d**2 + 6*d - 7. Let q be n(-7). Suppose q = -5*c + 6*c - 1. Is 1*-141*c/(-3) a multiple of 17?
False
Suppose 3*k - 2 = -2*u + 2*k, k = -4. Let x = u - -1. Suppose -y + 3*y - 18 = -p, -y + x*p = 0. Is 6 a factor of y?
False
Let u be 15/(-3)*(1 - 12). Suppose 0 = -b - 4*b - 2*o + 72, 0 = -4*b + o + u. Does 14 divide b?
True
Let y be 2/(-4)*(1 - 3). Let a be (0 + y)/((-1)/(-4)). Suppose -2*i = -2*p - 68, -a*p - p = 5*i - 130. Is 13 a factor of i?
False
Let o(r) = 2*r**2 + 8*r + 7. Let d be o(-5). Suppose 0 = -4*z + 5*z - d. Is z a multiple of 5?
False
Suppose -365 = -m - 4*m. Let y = -8 + 13. Suppose 17 + m = 5*r + 5*p, y*r = 5*p + 130. Is 11 a factor of r?
True
Let w = -40 - -63. Let g = w - 16. Suppose g = 2*k - 5. Is k a multiple of 6?
True
Suppose -2 = 2*z + 2. Let q = 40 - z. Is q a multiple of 14?
True
Suppose -66 = 2*m - 336. Let n = m - 221. Let i = -60 - n. Is i a multiple of 13?
True
Let s(w) = -w**2 - 7*w + 3. Let m be s(-7). Suppose -3*l = l + 4*k + 132, 3*k - 69 = m*l. Does 10 divide 0 - (-2 - 0) - l?
True
Let x(j) = -2 + 1 + j - 3*j. Let l be x(-2). Suppose -48 = -l*s + s. Is 10 a factor of s?
False
Is 25 a factor of 891/12 + (-1)/(-4)*3?
True
Suppose 0*t - 2*t + 2 = 4*f, 5*f + 11 = 2*t. Suppose -u + 4*u - 3*g - 204 = 0, 2*u - 161 = -t*g. Let s = u + -18. Is 15 a factor of s?
False
Suppose -3*x = -5*x - 4. Let n(g) = g**2 - 4*g - 3. Is n(x) a multiple of 9?
True
Suppose -2*n - 5*z = -5*n + 241, 2*z + 10 = 0. Is 12 a factor of n?
True
Let t = -38 - -92. Is 3 a factor of t?
True
Suppose k - 3*y = -6, -k - 2*k - 10 = -5*y. Let a = k + 0. Suppose s - n - 6 = a, -3*s - 4*n + 4 - 7 = 0. Is 2 a factor of s?
False
Suppose w + w = 0. Suppose 0 = -3*c + 3*i + 141, 4*c - i + 37 - 228 = w. Does 14 divide c?
False
Suppose 3*t - 2*g - 104 = 3*g, t - 5*g - 48 = 0. Let v = t - -19. Is 10 a factor of v?
False
Suppose -2*l - z = -2 + 1, 3*l = -4*z - 6. Suppose 4 = -l*o + 4*o. Suppose 0 = -o*c - c + 21. Is c a multiple of 3?
False
Suppose -2*d = -5*r + 15, -4*r + 10 = -4*d - 2. Suppose d = 6*u - 2*u + 12. Does 9 divide (-22)/u*(-9)/(-6)?
False
Suppose 3*v = 2*x - 1, -3*v + 7 = -0*x - 4*x. Let p(g) = -g**3 - 5*g**2 - 6*g - 5. Is 3 a factor of p(x)?
True
Let i be (-4)/10 - (-6)/15. Suppose i = w - 3*w + 38. Is w a multiple of 13?
False
Let m = 16 - -5. Let x = 21 + m. Does 18 divide x?
False
Suppose -3*l + 279 + 324 = 2*d, -4*d + 1246 = -2*l. Does 19 divide d?
False
Does 21 divide (-7200)/(-175) + (-6)/(-7)?
True
Suppose 6 = 2*o - 4. Suppose 3 = j, o*f + 3*j - 53 = 3*f. Is 11 a factor of f?
True
Let i = -1 - -3. Suppose 4*a = 4*o, -3*a = -4*o + 2*a - i. Is o a multiple of 2?
True
Let r(d) = d**3 + 6*d**2 - 8*d - 6. Let m be r(-7). Suppose 5 = h - 2*q, q - m = -h + 13. Does 4 divide h?
False
Let f be (2/6)/(4/24). Suppose 1 = q + 3*r - 1, 56 = -4*q + 4*r. Is 8 a factor of f/5 + (-76)/q?
True
Let n(i) = i**2 + i - 4. Let b be -3 + 4 - -1*5. Let p be (-8)/(-12) - 28/b. Is 8 a factor of n(p)?
True
Suppose -5*t + 3*m + 8 = -14, 0 = -5*m - 20. Let u be ((-122)/4)/((-1)/t). Let h = u - 39. Does 11 divide h?
True
Suppose 6*c = 10*c + 24. Let z be (-4)/c + 20/15. Suppose 6 - z = 2*d. Is d a multiple of 2?
True
Let m(c) = 2*c**2 - 2. Let d be m(-3). Suppose -d = 4*g, -g - 4*g = 3*a - 163. Is 26 a factor of a?
False
Suppose -2*f = 2*x - 66, f = 2*x - 2*f - 56. Suppose 5*g - 54 - x = 0. Is 10 a factor of g?
False
Suppose g = -5*l + 35, 2*l - 25 = -g + 1. Does 20 divide g?
True
Let z be (5/(-2) + 2)*-56. Suppose 3*q = q + z. Is 7 a factor of q?
True
Let u(b) = 5*b**2 + b. Let n be u(-1). Suppose -n*a + 68 = 28. Is 10 a factor of a?
True
Let o(s) = s**2 - 4*s - 3. Let n be -1 - 1 - 0/4. Let q be o(n). Is 174/q - 1/3 a multiple of 7?
False
Let z(p) = p**3 + 7*p**2 + 4*p - 3. Let y be z(-6). Suppose -u + 10 = -y. Does 10 divide u?
False
Let h = 6 - -5. Suppose 5*r - 3*j - 177 = h, 2*j = -2*r + 88. Is 10 a factor of r?
True
Let f(t) be the second derivative of 0 + t + 1/2*t**2 + 1/2*t**3. Is 4 a factor of f(1)?
True
Suppose 576 = 2*v + 10*v. Is 16 a factor of v?
True
Suppose 2*o + 2*o - 80 = 0. Is o a multiple of 11?
False
Let w(c) = -29*c + 3. Is w(-3) a multiple of 15?
True
Suppose 7*w - 660 = 2*w. Does 11 divide w?
True
Suppose 2*v = r - 2*r + 45, 5*v + 5*r - 120 = 0. Is 21 a factor of v?
True
Suppose -j + 0 = 2. Let h be (-384)/(-21) + j/7. Let u = -9 + h. Is 8 a factor of u?
False
Let w(k) = 2*k**2 - 3*k + 1. Does 14 divide w(-3)?
True
Suppose 0 = 2*x + 4*k - 14, -2*x + 2*k - 8 = -4*x. Let q(h) = h - 3 + 4*h**2 - x + 3 + 0*h. Is q(3) a multiple of 13?
False
Let y(t) = 3*t**2 + 3*t. Is y(-5) a multiple of 15?
True
Suppose -2*n - v + 201 = -n, 0 = 5*n - 5*v - 995. Let o be 2/6 + n/30. Suppose -2*i + o*i - 140 = 0. Is i a multiple of 14?
True
Suppose -2 = 2*u - 4*u. Is 3 a factor of u/(-1) + 5 + 2?
True
Suppose -2*z + 13 + 77 = 0. Is z even?
False
Let s = 28 - -2. Is 10 a factor of s?
True
Suppose s + 4*s + 9 = f, 54 = 4*f - 2*s. Suppose 2*g - f = 6. Is 4 a factor of g?
False
Suppose -2*l - 3*g + 0*g + 8 = 0, -2*l + 8 = -5*g. Let p = 13 + 7. Suppose 2*t + l = p. Is t a multiple of 8?
True
Let p be 620/45 - (-2)/9. Is (17 - p)*13/3 a multiple of 5?
False
Suppose 0 = -3*x + 4*u - 11, 5*x + 5 = 6*u - 2*u. Let o = 0 + x. Suppose 42 = o*n - 147. Is n a multiple of 21?
True
Let y(n) = -n + 1 - 8 + 3*n. Is 6 a factor of y(7)?
False
Let x(k) = -k**3 - 11*k**2 + 6. Let w be x(-11). Suppose 3*l + 30 = -2*l. Let h = w - l. Is h a multiple of 12?
True
Let a(u) be the third derivative of u**4/2 - 5*u**3/6 - u**2. Let n be a(7). Suppose -t + 3*t - n = 3*d, 191 = 5*t - d. Does 11 divide t?
False
Suppose -2*x = 3*x. Suppose -5*u + 2*a + 21 = x, -4*u - 4*a + 2*a + 24 = 0. Suppose -32 = s - u*s. Is s a multiple of 4?
True
Let a = 9 - -94. Is a a multiple of 12?
False
Suppose 3*w = 1 + 2. Suppose 0 = -5*l + x + 2*x + 402, -w = -x