+ s. Does 21 divide b?
False
Is (-3 + 36)*(-68)/(-12) + -3 a multiple of 12?
False
Suppose 0 = -2*c + 8*c - 192. Does 8 divide c?
True
Suppose 3*j = 3*k + j - 74, 0 = 3*j - 15. Is 4 a factor of k?
True
Is 3 a factor of (1 + (-23 - 2))/(-1)?
True
Let w(q) = 0*q**2 - 6 - q**2 + 2*q**2. Let f(y) = -y**3 + y**2 + 5*y - 3. Let j be f(3). Does 19 divide w(j)?
False
Let j(i) = -9*i**2 + 3*i - 1. Let k be j(2). Suppose 4*o + 3 + 20 = 5*f, 3*f = -3*o - 24. Let q = o - k. Is q a multiple of 14?
False
Let z(x) = -2*x**3 - 5*x**2 + 4*x - 15. Is z(-5) a multiple of 10?
True
Let o = 265 - 145. Is 8 a factor of o?
True
Let d(f) = -8*f**2 - 10 - f**3 - 6*f - 9*f + 0*f**2 - 3*f**2. Is d(-10) a multiple of 20?
True
Let j(a) = -a - 2. Let d be j(-9). Is (48/7)/(1/d) a multiple of 13?
False
Suppose -12 = -m + 2*v, 0*v + 4*v + 42 = 3*m. Is m a multiple of 6?
True
Suppose 4*m + 0*m + 576 = 5*n, 3*n = 3*m + 348. Suppose 7*v - n = 3*v. Is 9 a factor of v?
False
Let w(g) = g**3 + g**2 - g - 2. Let l be w(-2). Does 19 divide (-9)/(-6) + (-206)/l?
False
Let h(c) = -19*c - 44. Is 17 a factor of h(-5)?
True
Let r(h) = -h + 2. Let z be r(4). Does 8 divide 17 + (z - 1)/3?
True
Let u(c) = 2*c**2 + 2*c + 54. Does 18 divide u(0)?
True
Let q = -5 + 10. Let r = q + 8. Is 4 a factor of r?
False
Let g = 21 + -12. Does 3 divide g?
True
Suppose 0 = -3*q - 1 + 13. Let m(h) = 5*h - 3 - 3 + 2*h. Is 12 a factor of m(q)?
False
Let f(w) = -w + 7. Let m be f(5). Suppose y + m*y + d = 52, -5*y + 80 = 5*d. Is 9 a factor of y?
True
Suppose 0 = -6*p + 2*p + 100. Let s = p - 15. Is 10 a factor of s?
True
Let b be 2/(-1 + 15/9). Suppose 40 = 5*s - 0*h - 4*h, 0 = b*s - 2*h - 26. Is s a multiple of 8?
False
Suppose 14 - 54 = -4*l. Let t = l - 6. Is t a multiple of 4?
True
Suppose -5*u = 3*d - 77, d - u - 23 = -0*u. Does 17 divide d?
False
Is 6 a factor of -24 + 21 + 70 + 1?
False
Let o(u) = 28*u**2 + 2*u - 1. Is 29 a factor of o(1)?
True
Let v = 231 - 114. Is 13 a factor of v?
True
Let k(s) = s - 1. Let h be k(-10). Let y = h + 29. Is 18 a factor of y?
True
Suppose r = 0, 2*s + r = 25 + 127. Does 38 divide s?
True
Let h = 8 - 12. Let u = 26 - h. Is u a multiple of 10?
True
Let m = -27 - -12. Does 4 divide (m/(-6))/((-1)/(-2))?
False
Suppose -h - 4*h = -15. Suppose h*j - 20 = -2*y + j, 0 = 4*y - 4*j - 56. Suppose -3*u + u = -y. Does 3 divide u?
True
Let d(j) = -j**2 - 9*j + 8. Suppose -9 = 2*u + 25. Let w = -25 - u. Does 12 divide d(w)?
False
Suppose -2*f = 2*o - 4*f - 78, 78 = 2*o - 4*f. Does 9 divide o?
False
Let c be (-9)/(-15) + 33/(-5). Suppose -d = d - 22. Let f = d + c. Does 3 divide f?
False
Let i(r) = -r + 14. Let w = 17 - 39. Let h(q) = 3. Let k(f) = w*h(f) + 4*i(f). Is k(-10) a multiple of 10?
True
Is 6 a factor of -12*(3 + 14/(-4))?
True
Is ((-4)/(-12))/((-2)/(-84)) a multiple of 4?
False
Is 5*20/25*18 a multiple of 8?
True
Let b be -2 + (-2)/(-3 - -2). Is 9*(b + 8/3) a multiple of 12?
True
Suppose -7*n + 4*n = -15. Let q(b) = b**3 - 4*b**2 - b - 2. Does 16 divide q(n)?
False
Let m(x) = 6*x**2 + 3*x. Does 6 divide m(-2)?
True
Suppose -15 = -4*k + 9*k. Let p = 30 - k. Does 11 divide p?
True
Let a = 17 - 14. Let p = 12 + -7. Suppose 0 = 4*o - 5*g - 20, -a*o - p*g - 10 = -5*o. Is o even?
False
Let z be ((-2)/2)/(1/3). Let l(s) = 7*s**2 - 2. Is l(z) a multiple of 17?
False
Let k(o) = -o**2 - 1. Let r(w) = -7*w**2 - 2*w - 1. Let n(p) = 6*k(p) - r(p). Suppose -15 = -2*s + 5*s. Is 6 a factor of n(s)?
False
Let q = 15 - 12. Suppose -2*b = -2*x + 42, -q*x - 75 = -7*x - 5*b. Is 5 a factor of x?
True
Suppose 4*z - 502 = 4*k - 190, -3*z = 3*k - 228. Let i = z - 37. Is i a multiple of 18?
False
Let c be 3*((-4)/3 - 0). Let q = c - -7. Suppose q*b = 2*b + 5*k + 11, 0 = 3*b - 5*k - 83. Does 20 divide b?
False
Is (5 - (3 + 29))/(-1) a multiple of 3?
True
Let c = 18 + -15. Suppose 0 = -5*a + u + 266, 5*a + 64 = c*u + 322. Is 18 a factor of a?
True
Let r be (-4)/2*(-46)/(-4). Let t = r + 47. Is t a multiple of 8?
True
Let r = 3 + 1. Suppose 5*y = 2*k + k - 29, 0 = -r*k + 4*y + 36. Is k a multiple of 8?
True
Let f(z) = z**3 - 7*z**2 - z + 10. Let c be f(7). Suppose -c*w + 66 = -w. Is 11 a factor of w?
True
Let p(v) = 13*v - 3. Let k be p(3). Suppose l + k = 5*l. Does 3 divide l?
True
Suppose 4*z = 828 - 156. Is z a multiple of 24?
True
Suppose 3*f + 20 = 5*q + f, 5*f = -4*q + 16. Suppose -q*y + u = y - 18, 3 = -3*y - 4*u. Suppose y*o + 39 = 6*m - 3*m, 0 = 4*o - 20. Is 18 a factor of m?
True
Suppose 0 = 4*u + 1 - 21. Let o = u + -2. Suppose -o*n = -32 - 13. Is n a multiple of 15?
True
Suppose -7*x = 3*x - 1930. Is 44 a factor of x?
False
Let u(o) = o + 5. Is u(3) a multiple of 2?
True
Suppose 1 + 14 = 3*a. Suppose 4*u - a = 35. Does 3 divide u?
False
Let t(l) = 2*l**3 - 5*l**2 + l**2 - l**3 + l - 5. Let r be t(4). Is 23 a factor of (-172)/(-4) - (r + -2)?
True
Let j = -15 - -23. Let x = j - 4. Suppose 0 = x*z - 90 + 22. Does 11 divide z?
False
Let y = 389 - 239. Is 10 a factor of y?
True
Is (-5)/(30/(-183))*2 a multiple of 14?
False
Let o(q) = -3*q**2 - 2*q - 1. Let s be o(-1). Let y(u) = -27*u - 3. Is y(s) a multiple of 15?
False
Suppose w + 0*w = 4. Suppose -w*m - 19 = 5*p, 0 = 4*m - 9*m - 5*p - 25. Is 4/m*(-24)/1 a multiple of 8?
True
Suppose 2*t = -3*m + 10, -2*t + 12 = 3*m + m. Suppose 0 = -5*x + 25, -m*g - 2*x + 4 = -26. Does 3 divide g?
False
Let q(w) = -w + 3. Let d be 21*1*(-3)/(-9). Let l be q(d). Is 2 a factor of (-20)/15*6/l?
True
Is -4*7*(-2 - 1) a multiple of 18?
False
Is 28 a factor of -2 + (-3)/((-6)/826)?
False
Let k = -4 + 4. Let s(g) = -g - 6. Let n be s(k). Is (7/2)/((-3)/n) a multiple of 3?
False
Let q(s) = 3*s**3 - 10*s + 6. Is q(3) a multiple of 57?
True
Let h be (-196)/(-12) + (-2)/6. Let y = h - 9. Is 7 a factor of y?
True
Suppose y - 184 = -3*y - 4*x, 31 = y + 4*x. Is 23 a factor of y?
False
Suppose c - 1 = 9. Let k be c/6*(-270)/(-3). Let v = -102 + k. Is v a multiple of 20?
False
Let a(r) = -r**3 - 13*r**2 - 13*r + 12. Let n be a(-12). Suppose 6*g + n = 7*g. Is 6 a factor of g?
True
Suppose h + 2*h = -4*q + 303, q - 77 = -h. Is 13 a factor of q?
False
Suppose 4*r + 50 = 2*r + 4*k, 0 = -4*k + 4. Let p = r + 47. Does 12 divide p?
True
Let c be 8/5*(-32 - 3). Is 21 a factor of (c/(-10))/(2/15)?
True
Let n be 2 + -17 + 9/(-3). Let z = n + 36. Suppose -3*x + 5*x = z. Is x a multiple of 7?
False
Let m be (1 - 2) + (7 - 2). Suppose b + k - 3 = 5, m*k - 27 = -3*b. Suppose -b*j = -j - 48. Is 8 a factor of j?
False
Let n(c) = c**2 + 9*c + 12. Let r be n(-8). Suppose r*b - b = 96. Does 18 divide b?
False
Let d be 16 + (-2 - (-3 + 1)). Suppose -96 = -4*y + r, -3*y = r - d - 56. Let v = y - 0. Is v a multiple of 12?
True
Suppose 0*i = -i + 3*g + 10, -5*i - 3*g + 14 = 0. Suppose -3*x + i*x = 22. Does 14 divide x?
False
Let t be (1 + 3)/1*1. Let r = 11 + t. Is 7 a factor of r?
False
Is ((-2948)/(-55))/(2/10) a multiple of 30?
False
Let g = 21 + -14. Is g a multiple of 2?
False
Suppose 0 = j - 38 - 18. Is j a multiple of 28?
True
Let m(w) = -w**2 + 11*w + 3. Is m(6) a multiple of 11?
True
Let x = 14 - 10. Suppose -4*j + x = 0, -2*y + 154 = 2*y - 2*j. Is y a multiple of 14?
False
Suppose -5*a + 5*t + 9 = -16, -2*t + 22 = 2*a. Suppose 4*r + 182 = a*r - p, -4*r = p - 178. Is r a multiple of 15?
True
Let k(g) = 0 + 0*g + 5 + g. Let b be k(0). Suppose 65 = 5*f + b*m, f - 23 = -2*m + 3*m. Is f a multiple of 9?
True
Suppose -y - 5 = -2*y. Suppose t + 156 = y*d, -2*d - 63 = -4*d + t. Is d a multiple of 15?
False
Suppose 2*f = -4*y - 24, f - 3*y = 11 - 3. Let l be (-26)/f - 2/(-4). Let b(p) = 7*p. Is 21 a factor of b(l)?
False
Let h(q) = -4*q - 38. Does 6 divide h(-27)?
False
Let b(c) = -c - 3. Let r(d) = d. Let p(q) = b(q) + 4*r(q). Let l be p(3). Suppose 3*f = 5*a - l + 20, -a = f - 10. Is 8 a factor of f?
True
Let c(r) = r**3 - 4*r**2 - 6*r - 6. Let k be c(5). Let t = -5 - k. Suppose -f = -p + 36, -2*f - 96 = -2*p - t*f. Is 16 a factor of p?
False
Let n(h) be the third derivative of -h**5/60 - h**3/6 - h**2. Let y(c) = 2*c**2 - 5*c - 1. Let f(s) = -6*n(s) - 2*y(s). Is 10 a factor of f(-6)?
True
Let k(s) = s**3 + 4*s**2 - 3*s + 12. Let z(f) = f**3 + 3*f**2 - 2*f + 12. Let m(o) = -2*k(o) + 3*z(o). Let a be m(0). Let l = a - 9. Is l a multiple of 3?
True
Suppose -5*c + 112 = 12. Is c a multiple of 