 of -1/2*b**2 - 1 + 1/3*b**3 + 2*b. Is g(0) a multiple of 2?
True
Suppose -a = 4*o - 0*o + 3, o - 5*a = -27. Let f(d) = -9*d**2 - d + 4. Let p(i) = 8*i**2 + i - 3. Let n(c) = 4*f(c) + 5*p(c). Is n(o) a multiple of 11?
False
Let i(u) = 7 + 3 + 4 + u. Is i(-6) a multiple of 8?
True
Let c = -183 + 83. Is ((1 - 3) + c)/(-2) a multiple of 17?
True
Suppose 41 = 3*u - f - 46, -3*u = 2*f - 87. Suppose -3*b - 3*p + 6 = 0, -b - 2*b + 5 = 4*p. Let a = b + u. Does 16 divide a?
True
Suppose -6*q + 85 = -5*q. Is q a multiple of 10?
False
Let q = 10 + -6. Let g = 6 - q. Suppose -g*h = 27 - 81. Does 13 divide h?
False
Let p = 25 - -92. Does 9 divide p?
True
Let g(t) = t**2 + t - 6. Let b be g(5). Suppose -b = -n - 9. Is 5 a factor of n?
True
Let n(u) = 9*u + 5. Let r be n(6). Suppose 4*y - 25 = -y. Suppose -2*m + x - r = -y*m, -m = -4*x - 24. Does 10 divide m?
True
Let y be ((-3)/(-2))/(3/6). Suppose -s + 11 + y = 0. Is s a multiple of 6?
False
Let q(r) = -3*r**2. Let w be q(1). Let t = 23 - 22. Does 4 divide 3/(w/t)*-5?
False
Let w be 11/(-44) + 545/4. Suppose -4*s + 268 = -3*p + 6*p, -2*p = 2*s - w. Is s a multiple of 12?
False
Let u = 7 + -5. Suppose 0 = -u*w + 6. Does 2 divide w?
False
Suppose 120 = 7*p - 2*p. Does 8 divide p?
True
Let l = -4 + 10. Suppose 0 - 2 = -a. Suppose 3*b = a*b + l. Does 4 divide b?
False
Let v be (-3 + 7)*(-1)/(-2). Let a(f) = -f - v*f**3 + 2 + 0*f + 5*f**2 + 3*f**3 - f. Does 13 divide a(-4)?
True
Let i be (9/6)/(-1)*-60. Suppose 110 = 4*l - i. Suppose 2*k = 3*v + 3*k - 47, 4*v - l = 5*k. Is 9 a factor of v?
False
Let x = 81 + 129. Is 14 a factor of x?
True
Let k(j) = -j**2 - 2*j + 28. Does 28 divide k(0)?
True
Let b = -130 + 210. Is 20 a factor of b?
True
Let x = -68 + 178. Does 15 divide x?
False
Let u(o) = -12*o - 2. Does 45 divide u(-7)?
False
Let n = 118 - 94. Is 6 a factor of n?
True
Let x(w) = w**3 + 6*w**2 + 2*w + 2. Let b = -4 - 0. Is x(b) a multiple of 12?
False
Let k = 21 - 10. Suppose 0 = d + 3*q - k, 5*d + 5*q = q + 55. Suppose -d = -2*o + 31. Does 7 divide o?
True
Suppose 2*t - 2*j = 0, -4*j + 9 + 3 = 2*t. Let p(r) = -r + 2*r - 3 + 4*r**t + 2. Is 10 a factor of p(-2)?
False
Suppose 55 = 7*b - 6*b + 5*o, 3*b + 3*o - 117 = 0. Is b a multiple of 16?
False
Suppose 5*n - 5 = 5. Let f(t) = n*t**2 - 5*t + 1 + 2*t - t. Is 2 a factor of f(3)?
False
Let u(f) = -99*f**3 - f**2 - f - 1. Does 19 divide u(-1)?
False
Let h(v) = v**3 - 5*v**2 + 2*v + 3. Let b be h(4). Let w(q) = -q**2 - 7*q - 7. Let d be w(b). Let m = 11 + d. Is m a multiple of 7?
True
Suppose 0 = 12*w - 5*w - 784. Is w a multiple of 22?
False
Suppose 6*j - 3*j + 3*x - 3 = 0, -5 = 5*x. Suppose -j*o - 86 = -0. Let p = 65 + o. Does 9 divide p?
False
Suppose -17 = 5*a - 7. Let c(g) = -7*g**3 - g**2 + 4*g + 3. Let l be c(a). Let t = -32 + l. Is t a multiple of 9?
False
Suppose 32*b = 27*b + 105. Is 21 a factor of b?
True
Suppose 0 = 4*d - 3 - 13. Suppose -c + 14 = 3*u, 2*c - d*u - 35 = c. Does 20 divide c?
False
Suppose -5*r + 656 - 178 = 3*t, 2*t + 5*r - 322 = 0. Is 12 a factor of t?
True
Let g = -13 - -22. Does 2 divide g?
False
Is (-4)/34 - 17892/(-357) a multiple of 10?
True
Suppose 5*r - 14 - 61 = 0. Is 15 a factor of r?
True
Let v(r) = 25*r**2 - r - 3. Is 33 a factor of v(-2)?
True
Let x be 52/10 + (-5)/25. Suppose 0 = x*m + n - 82, -2*n + 34 + 50 = 5*m. Is m a multiple of 6?
False
Is (-2)/(-4)*1/(5/60) a multiple of 3?
True
Suppose -3*k = -570 + 234. Is ((-3)/(-2))/(12/k) a multiple of 7?
True
Suppose -3*s - u + 65 = -116, s - 56 = 4*u. Is 20 a factor of s?
True
Suppose 0 = -2*h + 4*h - 84. Is h a multiple of 13?
False
Suppose -a - 1 = a - 5*c, 2 = -a + 4*c. Suppose v - 5 = -2. Suppose 2*j - 50 = v*y - y, -a*y + 85 = 3*j. Does 10 divide j?
False
Let l = 9 - -22. Suppose -5*j = 2*w - 206, 3*j - 2*w - 99 = l. Does 9 divide j?
False
Is 14 a factor of (-508)/(-18) - (-4)/(-18)?
True
Let p = 206 - 102. Is 26 a factor of p?
True
Does 4 divide (-16)/12*-15 + -2?
False
Suppose 72 = -6*f + f - n, 0 = 4*n - 12. Let u = 52 + f. Is u a multiple of 18?
False
Suppose -3*x = 0, 2*i + 4*x + 144 = 6*i. Let m = 95 - i. Does 23 divide m?
False
Let r(m) = m + 15. Does 4 divide r(-5)?
False
Suppose 153 = 5*g + v, 5*v - 14 = -g + 7. Is g a multiple of 13?
False
Let n(b) = -3*b**2 + b**3 + 3*b + 3*b**2 - b. Let j be n(2). Let a = 2 + j. Is a a multiple of 14?
True
Suppose -x + 18 = a, 0 = 2*x + 2*x - 3*a - 72. Is 6 a factor of x?
True
Let i(k) = -9*k**3 + k**2 - k - 1. Suppose 5*v = 2*l + 3, 2*v - l = v + 3. Does 10 divide i(v)?
True
Is (90/(-27))/((-2)/72*2) a multiple of 12?
True
Let u(c) = -c**3 + 6*c**2 + 3. Let p be u(6). Suppose -6*a = -p*a - 48. Is 8 a factor of a?
True
Let z = -52 + 83. Let x = z + -9. Is 17 a factor of x?
False
Let l(k) = 4*k**3 + k + 5*k**2 - 2 - 4*k**2 + k**2 - 5*k**2. Is l(2) a multiple of 10?
True
Suppose 0 = 4*w - 0*w - 20. Suppose -3*d - d = -72. Suppose -66 = -w*u + 3*n, -3*n = u - 2*u + d. Does 6 divide u?
True
Let i = 12 + -7. Suppose -57 = -5*w - 4*a + i*a, -3*w + 21 = -5*a. Is w a multiple of 9?
False
Let r = -86 - -194. Suppose -3*c - 4*b = -r, -2*b + 3*b = c - 36. Is c a multiple of 18?
True
Let z(y) = 3*y + 2. Let v(o) = -4 + 2 + 0*o - 2*o. Let c(w) = -5*v(w) - 4*z(w). Is c(-7) a multiple of 16?
True
Let v = 15 + -10. Suppose 3 = -s + v. Suppose 4*m - 3*r = 46, 3*m + 5*r = s*m. Does 10 divide m?
True
Let z(u) = u**3 + 8*u**2 + 3*u - 2. Let y be z(-5). Suppose -2*g - 2*a = 2*a - 32, 5*a = -4*g + y. Is 6 a factor of ((-3)/(-2))/(3/g)?
True
Let b = 14 - 11. Suppose -5*l = -2*j + b*j - 202, 0 = -5*l + 5*j + 190. Is 20 a factor of l?
True
Suppose -9*s + 821 = -979. Does 25 divide s?
True
Suppose 0 = -7*t + 12*t - 235. Is t a multiple of 16?
False
Let v = -43 - -114. Does 16 divide v?
False
Is 37 a factor of (740/(-8))/(-2*(-1)/(-4))?
True
Suppose -3*z + 3*t - t = 2, 4*z - 5*t + 12 = 0. Suppose m = -z*m + 45. Suppose 27 = l + 2*p, p + m = l - 9. Does 11 divide l?
False
Suppose -2*z + 50 = 14. Is z a multiple of 9?
True
Let r be 0/(((-4)/2)/(-2)). Let g = 2 - r. Suppose 0 = -6*s + 2*s - g*v + 34, -28 = -3*s - v. Does 4 divide s?
False
Let c(o) = 2*o - 2. Let v = -1 + 4. Let t = v - -3. Is 9 a factor of c(t)?
False
Is 3 a factor of 4/(-22) + (-2212)/(-308)?
False
Suppose 0 = h + 3*v - 8, -3*h + 2*v + 3*v = -24. Suppose 0 = 5*q - 28 + h. Suppose -q*a = 5*y - 19, 1 + 33 = 5*a - 4*y. Does 3 divide a?
True
Suppose 2*v = b - 11, b + 2*b + 4*v - 3 = 0. Suppose 3*m - 7 = b, 2*z - 76 = -3*m. Does 18 divide z?
False
Let o be (-472)/(-14) - 4/(-14). Suppose -3*x = z - 4*x - 3, 2*x = -3*z + o. Suppose -5*r = -4*f - 36, 0 = -2*r - 2*r - 2*f + z. Is 2 a factor of r?
True
Let n(m) = -4*m - 8. Let c(p) = p**2 + 9*p + 17. Let g(u) = 2*c(u) + 5*n(u). Does 15 divide g(-5)?
False
Suppose -130 = 2*y + 3*y. Let d = 33 - -6. Let n = y + d. Does 8 divide n?
False
Let k(w) = -3*w**2 - 2*w**2 - 1 - 4 - 7*w + 4*w**2. Is 7 a factor of k(-4)?
True
Suppose -2*j - 77 = -r - 12, -2*r + 85 = 5*j. Is 11 a factor of r?
True
Let g(o) be the second derivative of o**4/3 - o**2/2 - o. Let p be -1 - (3 - 3)/(-3). Is g(p) a multiple of 2?
False
Let d be 1*(-3 + 2)*3. Does 20 divide 4/d*(-4 + -11)?
True
Suppose -5*q + q = -4*b + 508, 0 = -5*b + 3*q + 631. Is 23 a factor of b?
False
Let f(t) = t + 46. Let g be f(0). Suppose 3*y - g - 59 = 0. Let k = 49 - y. Is k a multiple of 7?
True
Suppose 115 = 4*p - 177. Suppose -p - 42 = -5*b. Suppose 5*f = -2*k - 0*k - 11, -4*k + 5*f + b = 0. Is 2 a factor of k?
True
Let k be (3 + (-6 - 1))*1. Let y(q) = -5*q - 8. Is 5 a factor of y(k)?
False
Let g(u) = -u**3 + 20*u**2 + 11*u - 40. Does 30 divide g(20)?
True
Suppose -65 - 54 = -u. Is u a multiple of 18?
False
Let l(p) = -p + 3. Suppose -v - 1 = -3. Let u be l(v). Let c = 16 - u. Is 10 a factor of c?
False
Does 13 divide 29 - (-1 + 0)*-1?
False
Let n(m) = m**3 + 13*m**2 - 41*m - 8. Does 17 divide n(-15)?
False
Suppose 3*g + 91 + 155 = 0. Does 12 divide (-4)/(-14) - g/7?
True
Let c(t) = t**2 - 6*t - 2. Let a be c(7). Let p be (-5*1)/((-1)/a). Let s = p + -14. Is s a multiple of 11?
True
Let n(b) = -b**2 + 16*b. Does 11 divide n(11)?
True
Suppose -t = x - 5, -2*t = -2*x + 1 + 1. Let a = -4 - -10. Suppose a*d - 24 = x*d. Is 3 a factor of d?
False
Suppose 0 = -o - 0 + 11. Is o a multiple of 10?
False
Let 