18 a factor of f(o)?
False
Is 2 + 7/(-3) + 1009/3 a multiple of 28?
True
Suppose 0 = -4*d + 5*b, -2*d = 3*d + 5*b. Let k = d + -1. Does 2 divide (0 - k)/(4/20)?
False
Let r(q) = 3*q - 5. Does 4 divide r(11)?
True
Suppose 5*z = -c - c + 24, 3*z - 54 = -3*c. Is 11 a factor of c?
True
Let g(m) = -m**3 - 3*m**2 - 5*m - 2. Is g(-2) a multiple of 2?
True
Does 6 divide 249/21 + 1/7?
True
Suppose -2*q - 50 = -2*n, 4*q - q + 127 = 5*n. Does 23 divide n?
False
Let h = -6 + 3. Let n be (-4)/(-3)*12/(-4). Is 13 a factor of (-12)/n*(-23)/h?
False
Let n be (-15)/(-10)*(1 - -1). Suppose n*m + 15 = 6*m. Suppose 0 = -5*t - 3*s + 58, 2*t - 5*s = m*t - 38. Is t a multiple of 3?
False
Let i = 2 - 2. Let k be ((-33)/(-6))/((-1)/(-2)). Suppose i = 5*y - 29 - k. Is y a multiple of 3?
False
Let d(h) = h**2 - 3*h + 4. Is d(7) a multiple of 16?
True
Let x(u) = u**2 + 9*u + 5. Let p be x(-10). Let o be p*3*2/6. Let r = o + 3. Does 18 divide r?
True
Let a(p) = -6*p + p**3 + 2 + p + 2 - 3*p**2. Let z be a(4). Is 12 - (z - 1 - -3) a multiple of 5?
True
Suppose -2*i = -s + 2*i - 14, -16 = -4*s - 2*i. Suppose n = 4*o + 56, -5*n + 340 = -7*o + s*o. Does 24 divide n?
True
Let x(n) = -2*n + 4. Let g be x(2). Suppose g = -f + 2, -s + 35 = -5*f - 0*f. Is s a multiple of 12?
False
Let y be 3 + (0 - 0 - -1). Let f be y/4 - 94/(-2). Suppose k + 2*j - 16 = 0, j + f = 4*k + 5*j. Is k a multiple of 5?
False
Let u = 0 - 1. Does 6 divide 35/2 + u/2?
False
Suppose -5*m = -2278 + 658. Does 54 divide m?
True
Suppose 0 = -4*w - m + 347, 10*w + 2*m = 5*w + 430. Let h = 152 - w. Let q = h - 44. Is q a multiple of 13?
False
Let m = 72 + 60. Is 32 a factor of m?
False
Suppose -9*g + 3 = -8*g. Suppose -g*a - 220 = 2*a. Let j = a + 66. Is 22 a factor of j?
True
Let f(w) be the first derivative of w**3/3 - 2*w**2 - 9*w - 2. Is f(7) a multiple of 6?
True
Let q = 206 + -118. Is 22 a factor of q?
True
Does 25 divide 6/4 + (-726)/(-12) + -2?
False
Suppose 5*z + 10 - 30 = 0. Suppose -z*n = -3*m - 96, 0*n + 3*n - 51 = -3*m. Is n a multiple of 21?
True
Let n = 108 - 36. Does 24 divide n?
True
Let z(y) = 2*y**2 - y - 2. Suppose 4*v = 0, -5*f + 3*v + 15 = v. Suppose 0 = f*p - 2*p - 2. Is 4 a factor of z(p)?
True
Let y(a) = 3*a - 18. Is y(10) a multiple of 12?
True
Suppose -2*n = 3*n + 25. Let h = 4 - n. Does 3 divide h?
True
Suppose -4*f - 22 = -0*q - q, 2*q + 4*f + 16 = 0. Is 3 a factor of q/(-12) + 67/6?
False
Suppose -j + 0*j - v + 6 = 0, 0 = j - 5*v + 18. Let m be j/1*(-3)/(-2). Suppose m*q + 2*q - 180 = 0. Does 18 divide q?
True
Let a(v) = 48*v - 6. Is 15 a factor of a(2)?
True
Suppose a = 4*g - 58 - 159, g + 4*a - 33 = 0. Is 14 a factor of g + 0 + 1 - -2?
True
Suppose -50 = -7*d + 2*d. Suppose 5*x + 50 = 5*z + x, 2*x = -d. Suppose -c - z = -28. Does 11 divide c?
True
Suppose 2*m - 20 = 4. Suppose -5*l = -2*a + a - m, -4*a = -4*l. Is 10 a factor of ((-3)/l - 1) + 22?
True
Suppose 0 = -3*d - 0*d. Suppose 5*p - 5*z + d*z - 35 = 0, 4*p - 2*z = 38. Is p a multiple of 12?
True
Suppose 3*o + 337 = 8869. Suppose w - 1828 - 1728 = -5*m, 4*m = -w + o. Does 18 divide m/20 + 4/10?
True
Suppose 2*j - 282 = -5*u + u, j = -3*u + 211. Does 7 divide u?
True
Suppose -4*q - 302 = -5*l - 1337, -3*l = -3*q + 777. Let h = q + -137. Suppose 51 = -4*j + h. Does 6 divide j?
True
Suppose -2*x + 6*x - 192 = 0. Does 6 divide x?
True
Suppose -2*v - 13 = -105. Is v a multiple of 22?
False
Suppose 2*s = -0*s - 10. Let q(v) = -v - 2. Let p be q(s). Does 9 divide (-7)/(-2 - p/(-2))?
False
Suppose 2*n - 6 = -n. Is (117/3)/(2/n) a multiple of 23?
False
Let b(t) = 16*t - 2. Does 7 divide b(1)?
True
Let p(m) = -3*m**3 + m**2 + 4*m - 5. Let i be p(-5). Suppose 4*s = -5*l + 380, 5*l = s - 4*s + i. Is 13 a factor of l?
False
Suppose -2*w = 5*h - 75, 2*w - 2*h - 87 = -3*h. Is w a multiple of 5?
True
Suppose 32 = j - x + 4*x, 4*j = -x + 106. Is j a multiple of 5?
False
Let m(c) = 7*c**2 - 3*c**2 - 2 - 2*c**2 + 2*c. Does 4 divide m(2)?
False
Let v be 1/(-3 - (1 - 5)). Suppose -2*r = -4*o - v - 7, 2*r = -o + 23. Is 5 a factor of r?
True
Let p = 13 - -29. Is p a multiple of 3?
True
Let o be 16 - (0 - -2) - 2. Suppose 0 = 5*i - 97 + o. Is i a multiple of 14?
False
Is 13 a factor of (4 - (-1 - -4))/((-2)/(-58))?
False
Suppose -3*k + 2*k + 24 = 0. Suppose -4*j - 28 = 3*f - 81, -4*f + 4*j = -k. Suppose -2*t + f = -5. Is t a multiple of 5?
False
Suppose 7 = -m - m + 5*q, 4*q + 45 = -3*m. Let l(j) = -7*j - 12. Is 17 a factor of l(m)?
False
Let g be -1 + -1 + -39 - 0. Let d = g - -68. Is 9 a factor of d?
True
Let b = -1 + 3. Suppose -3 + 43 = b*y. Is 9 a factor of y?
False
Suppose -16*b - 36 = -20*b. Is 3 a factor of b?
True
Is 1*17*(-48)/(-16) a multiple of 51?
True
Suppose -q + 290 = 2*y - 141, -4*y = -3*q + 1323. Let p = q + -305. Suppose d - 5*d = -p. Is 16 a factor of d?
False
Let o be (-1)/(-2*1/22). Suppose 2*f - 2*b - o = 21, -f = 5*b + 14. Does 7 divide (6 - 4) + f + 1?
True
Suppose -r + 5*c + 0 - 4 = 0, 0 = 3*r + 5*c + 12. Is (-6)/r*(2 - 0) a multiple of 2?
False
Suppose 2017 = 19*h - 605. Is 14 a factor of h?
False
Let n = 41 + 29. Does 7 divide n?
True
Suppose -q - 2*q + 224 = 4*j, 5*q + 112 = 2*j. Let h = -34 + j. Does 6 divide h?
False
Let h = -1 - -116. Suppose 200 = 5*z - h. Is z a multiple of 21?
True
Suppose 0 = -4*s + 8, -s + 4 = q + 3. Let n = q + 4. Suppose -n*l = c - 0*c + 6, 29 = c - 4*l. Does 4 divide c?
False
Suppose -p - 2*p = -3*g - 237, 399 = 5*p - 4*g. Let c = p + -23. Is c a multiple of 24?
False
Suppose -5*b + 3*l + 125 = 0, -2*l = -2*b + 2*l + 50. Suppose 2*i = 4*f - 48, -5*f - 4*i + 3*i = -67. Let g = b - f. Is g a multiple of 6?
True
Let a = 22 + -17. Suppose 5*f - 60 = -2*v - 0, 0 = -2*f + 3*v + a. Does 3 divide f?
False
Suppose 0 + 48 = 3*b. Is 3 a factor of b?
False
Suppose 2*a - 44 - 28 = -2*d, 0 = 2*a + 3*d - 77. Is a a multiple of 5?
False
Let n = 3 + 0. Suppose -n*i - 5 = -4*i. Is i a multiple of 3?
False
Suppose 0 = 4*s - s - 165. Let d = 86 - s. Does 12 divide d?
False
Let i = -51 - -133. Does 37 divide i?
False
Let c = 10 - 16. Let h(p) be the first derivative of 2*p**3/3 + 3*p**2 - 8*p + 4. Is h(c) a multiple of 14?
True
Suppose x + 0*x - 51 = 0. Let r = 0 + x. Is r a multiple of 13?
False
Suppose -119 = 3*x - 308. Is x a multiple of 6?
False
Let w be (9/27)/(2/(-6)). Is (-37)/w - (2 - 5) a multiple of 16?
False
Let m(o) = 2*o - 1. Let w be m(4). Let s(f) = f**2 - 7*f - 9. Let q be s(w). Is q*((-4)/6 - 0) a multiple of 2?
True
Let y = 35 - 20. Is 3 a factor of y?
True
Let h be (-22)/2*(-4 + -5). Suppose 0*t - h = -3*t. Is 14 a factor of t?
False
Suppose 1010 = 4*p - 130. Suppose 2*r = 7*r - p. Is 19 a factor of r?
True
Suppose t + 5*z + 7 = -11, -2*z - 4 = 2*t. Suppose -1 = -3*s + t. Let r = 14 - s. Is 5 a factor of r?
False
Let n be (4/(-10))/(5/(-100)). Let k be n/(-2)*(-4)/2. Let x = 25 + k. Does 9 divide x?
False
Suppose -81 - 16 = -b. Suppose -3*d + b + 86 = 2*t, 3*d - t = 183. Does 21 divide d?
False
Let g(t) = -2*t**3 - 8*t**2 + 11. Let o(a) = 5*a**3 + 23*a**2 + a - 32. Let v(m) = -8*g(m) - 3*o(m). Is v(6) a multiple of 13?
True
Let o = 0 + 15. Is 7 a factor of o?
False
Let s = -6 - -3. Let j(f) = -20*f**3 + 8*f**2 + 8*f - 8. Let b(q) = -7*q**3 + 3*q**2 + 3*q - 3. Let d(y) = -17*b(y) + 6*j(y). Is d(s) a multiple of 6?
True
Suppose 3*u + 2*u + 3*v = 24, 0 = 2*u - 3*v + 3. Let h(n) = -n**2 + u*n**2 + n**3 + n + 4*n**2. Does 10 divide h(-5)?
True
Let w(d) = -d**3 + 2*d**2 + 5*d. Let n(l) = -l**2 + l - 3. Let t be n(0). Does 10 divide w(t)?
True
Let u(w) = 2*w**2 - 4*w + 13. Let k be u(10). Suppose k = 5*f + 2*j - 3*j, -80 = -2*f + 4*j. Is f a multiple of 7?
False
Is 12 a factor of (-2)/4 - (-338)/4?
True
Suppose 5*p - 3*g - 96 = 0, 4*g = 4*p - 41 - 31. Is 10 a factor of p?
False
Let b(k) = 3*k**2 + 29*k - 8. Is 6 a factor of b(-11)?
True
Let z = -31 - -21. Let f(l) = -l - 4. Let m be f(-5). Let n = m - z. Does 11 divide n?
True
Let q be ((-5)/5)/((-2)/22). Let x = q - 4. Suppose 108 = 11*w - x*w. Does 9 divide w?
True
Suppose 25 = -3*h + 97. Is (-14 - 7)*h/(-14) a multiple of 12?
True
Suppose -5*t + 299 = -196. Is 18 a factor of t?
False
Suppose -4*h + 5 + 87 = -5*j, 3*h + j - 50 = 0. Suppose -h = -n + z, -2*n - 3*z + 21 = -0*z. Does 4 divide n?
False
Does 14 divide (-6)/(-36) + 317/6?
False
Let f(v