ose 0 = -2*i + 6*p - 8*p + 50, -5*i + 5*p + 135 = 0. Is i a multiple of 11?
False
Let f(c) = -4 + c - 11*c**3 - 2*c - 25*c**3 + 3. Does 18 divide f(-1)?
True
Let s = 97 + -91. Does 3 divide s?
True
Let n = 74 - 40. Does 11 divide n?
False
Let y(u) = -18*u**3 + 4*u + 4. Let k(x) = -18*x**3 + 5*x + 5. Let g(j) = -3*k(j) + 4*y(j). Does 6 divide g(-1)?
True
Let q(k) = k**3 - 3*k**2 + k. Does 31 divide q(5)?
False
Let o(c) = 11*c**2 - 29*c - 1. Let y(s) = -7*s**2 + 19*s + 1. Let r(q) = 5*o(q) + 8*y(q). Let f be r(6). Suppose 0 = 3*m - 18 - f. Is m a multiple of 7?
False
Suppose -2*a + 12 = -26. Is 9 a factor of a?
False
Let p = 174 + -114. Is 15 a factor of p?
True
Suppose -r + 2*r = 24. Suppose s + 14 = 5*l + 2, -3*l = 5*s - r. Suppose -l*u + c = 3*c - 78, -26 = -u - 4*c. Does 12 divide u?
False
Suppose -w + 5*l + 77 = 0, -3*w - 99 = -5*w - l. Does 26 divide w?
True
Let w = 10 + -8. Suppose -w*u - 2*n + 15 = -n, 12 = 4*n. Does 5 divide u?
False
Suppose 3*b + 20 = -v, -4*v = 5*b - 0*v + 38. Let w = b - -33. Is 10 a factor of w?
False
Suppose -80 = -5*j + 55. Let h(q) = q**3 - 4*q**2 + q - 3. Let w be h(4). Let z = j - w. Is 13 a factor of z?
True
Is 2 a factor of (-9)/2*(-60)/45?
True
Let q(c) = -c**3 + 5*c**2 - 2*c - 1. Let a be q(2). Suppose 5*i - a = -2*n + 18, 20 = -4*n. Is i even?
False
Suppose 178*n + 84 = 181*n. Does 14 divide n?
True
Suppose 18*n - 152 = 28. Is 2 a factor of n?
True
Suppose p + 5*j = -1, -p + 8 = p + 5*j. Is p a multiple of 9?
True
Let p(j) = -j**3 + 13*j**2 - 12*j - 10. Let z be p(12). Let s(b) = b**2 + 8*b - 10. Is 6 a factor of s(z)?
False
Let s = -4 - -5. Let n(y) = -2*y + s + 0*y - 8. Is 4 a factor of n(-9)?
False
Suppose 0 = 5*y + 2*v - 223 + 88, -2*y = -5*v - 25. Is y a multiple of 9?
False
Let b(m) = -20*m**2 - 6*m + 3. Let s(o) = 7*o**2 + 2*o - 1. Let a(l) = -4*b(l) - 11*s(l). Is 16 a factor of a(3)?
True
Let m = -22 - -10. Let s(u) = 128*u**3 - u + 15 + 12*u**2 + u - 127*u**3. Is 8 a factor of s(m)?
False
Let u(s) = 7*s + 7. Let f be 100/28 + (-12)/(-28). Is 20 a factor of u(f)?
False
Is 13 a factor of 11*6 - (8 - 7)?
True
Let v(i) = i - 1. Suppose -s - 3*r = -10, 2*s + 3*r = 1 + 4. Let p be v(s). Is (3 - -18)*(-2)/p a multiple of 2?
False
Let c = 3 - 1. Suppose 5*p - c*p - 48 = 3*j, -59 = -4*p + 3*j. Does 5 divide p?
False
Suppose r = 5*v + 7, r + 2*v = -3*r + 6. Suppose 3*p - 5*y = 90, -p - r*p + 2*y + 81 = 0. Suppose p = 2*m - m. Does 9 divide m?
False
Let g(f) = 2*f**2 + 2*f - 1. Let h be g(-2). Suppose -5*y + h*m + 177 + 0 = 0, 5*y - 181 = 4*m. Is 11 a factor of y?
True
Suppose -10 = -5*l, 49 - 137 = -2*x - 4*l. Does 5 divide x?
True
Suppose -b = -3 - 6. Suppose 2*f - b = -f. Suppose 3*u = f*h + 105, 3*u - 101 = 3*h - 4*h. Does 13 divide u?
False
Suppose -5 = 2*c + 9. Is (-110)/c + 6/21 a multiple of 16?
True
Suppose -15 = 3*p + 2*p. Let s be (-7 - p)*(-6)/8. Suppose 2*c = -s*c + 120. Is c a multiple of 12?
True
Let t = -2 - -4. Suppose -2*u + t*d = 3*u - 16, 4*d = -4*u - 4. Suppose -v = -2*q + 44, u*q - 26 = 4*v + 18. Is q a multiple of 11?
True
Let l be (-4 + 6)*2/(-4). Let o = l + -1. Is (-30)/o - (1 - 2) a multiple of 8?
True
Suppose 0 = p - 1, -4*u + 5*p - 23 = 18. Let x = u + 11. Suppose -8 - 8 = -x*q. Is q a multiple of 6?
False
Suppose -30 = 5*y - 7*c + 2*c, 4*c - 16 = 0. Does 11 divide 21 - (-2)/y*-3?
False
Does 19 divide 70 - (7 - 4 - 4)?
False
Let f be (-2)/2*(-10 + -3). Let y be (0 - -6)/(6/(-4)). Let n = y + f. Does 9 divide n?
True
Let v(w) = 11*w**2 - 3*w - 2. Is v(3) a multiple of 21?
False
Let c be (-15)/(-6) - 2/4. Suppose 5*l + 68 = -342. Does 19 divide c/(-8)*2*l?
False
Let b(y) = -y**3 - 3*y**2 - 4*y - 3. Let x be b(-2). Let i(v) be the first derivative of 9*v**4/4 - v**3/3 - 6. Is 3 a factor of i(x)?
False
Let k be 25/4*(15 + 1). Let m = k - 22. Is 26 a factor of m?
True
Suppose 0 = 3*g + 2*g + 50. Let w = 15 + g. Is w a multiple of 2?
False
Suppose 0 = 5*l - 96 - 134. Does 23 divide l?
True
Let x = 9 - -7. Is 8 a factor of x?
True
Let j be (-1692)/24 + 2/(-4). Does 26 divide -1*(1 + 0)*j?
False
Let p be (-25)/(-10)*(-4)/5. Let l = 3 - p. Does 5 divide l?
True
Let s be (-4 - -5)/(2/6). Let z be 8/(-12) - (-28)/6. Suppose 9*b = z*b - s*d + 68, 2*b - 2*d = 24. Is 5 a factor of b?
False
Does 30 divide 421/7 - (-3)/(-21)?
True
Suppose -4*a = d - 9, 2*a - 21 = 2*d - d. Let j = 1 - d. Is 3 a factor of (-2)/(-12)*3*j?
True
Let m be 19*2*(-4)/(-8). Let b = 13 - m. Does 12 divide (-2)/b + (-70)/(-6)?
True
Let o be (-6)/(-15) + 74/(-10). Is 6 a factor of (18/o)/(12/(-56))?
True
Let d = 376 - 268. Suppose -2*z - 2*z + 108 = -2*g, -4*g - d = -4*z. Is 27 a factor of z?
True
Let o(l) = 3*l - 1. Let s be 28*(1 - 1/2). Let t be s/5 + (-10)/(-50). Does 4 divide o(t)?
True
Let j(f) = 35*f - 3. Is j(1) a multiple of 15?
False
Let j = -21 - -9. Let d = -4 - j. Does 4 divide d?
True
Let h = 15 + -11. Suppose -h*o + 50 = -2*t, 7*o = 2*o + t + 70. Is o a multiple of 5?
True
Let q be (-26)/3*3/2. Let l = 1 + -1. Let h = l - q. Does 7 divide h?
False
Suppose -4 = -2*m + 6. Suppose m*o = 115 + 205. Is o a multiple of 11?
False
Let q(b) = -4*b**2 - 8*b + 7. Let c(t) = -3*t**2 - 8*t + 7. Let a(x) = 5*c(x) - 4*q(x). Is a(8) a multiple of 4?
False
Let h(j) = 2*j**2 - 3*j - 9. Does 15 divide h(6)?
True
Let c = -87 + 47. Does 13 divide (-1432)/c + 1/5?
False
Let u(w) = -w + 6. Let y be u(3). Suppose -2*d - 4*n = 8, 0 = -0*d - 2*d - 3*n - 3. Let q = d - y. Is q a multiple of 3?
True
Let y(i) = -2*i + 10. Let c be y(7). Let a be 164/14 + c/(-14). Is 11 a factor of (87/a)/((-2)/(-8))?
False
Suppose 0 = -0*p - 2*p - 4*j + 160, -2*p + 2*j = -172. Is 14 a factor of p?
True
Let i = 2 + 4. Suppose 2*p - i*p = -112. Is (-8)/p - (-23)/7 a multiple of 2?
False
Suppose 19*o = 15*o + 128. Is o a multiple of 6?
False
Let k be 48/18*(-6)/(-4). Suppose -4*l + 24 - k = 0. Suppose -q = -0*n + 5*n - 5, -65 = -4*q - l*n. Is 16 a factor of q?
False
Suppose -3*v - 158 = -0*v - i, -97 = 2*v + i. Let k = v - -77. Is k a multiple of 13?
True
Suppose -35 = 2*l - 179. Is 18 a factor of l?
True
Let n = 31 - 17. Suppose z - 1 = n. Suppose 0*c - c = -z. Is 10 a factor of c?
False
Let j be 2/(-6) + (-28)/(-21). Suppose -m + 4*a = -8, m + 3*a = j - 0. Suppose -m*o - 15 = -111. Does 12 divide o?
True
Let h = -30 + 37. Is h a multiple of 7?
True
Let q = 4 - 37. Let k = -19 - q. Is 11 a factor of -2 - (-2 - -3 - k)?
True
Let t = 18 - -45. Does 10 divide t?
False
Let x(j) = 18*j - 1. Let f be x(2). Let s = -16 + f. Is 9 a factor of s?
False
Let v = -3 - 0. Does 30 divide (1 + v)*(-702)/36?
False
Suppose -5*l = 39 - 14. Let x = 11 + l. Is (7/3)/(2/x) a multiple of 4?
False
Let f be 0 - ((-6)/1)/3. Suppose f*k + 9 = 3*k. Is k a multiple of 3?
True
Let f(m) = -13*m**3 - 5*m**2 - 5*m - 6. Is f(-2) a multiple of 11?
True
Suppose 59 = 5*y - 21. Is 4 a factor of y?
True
Is 18 a factor of (-756)/(-16) - (-1)/(-4)?
False
Is 1/(-2) - (-468)/24 a multiple of 19?
True
Let q(i) = -2*i - 5. Let b be q(-4). Let x = b - 8. Let t(v) = -v**3 - 3*v**2 + 7*v + 1. Is 8 a factor of t(x)?
True
Let s(r) = r**3 - 5*r**2 + 6*r - 6. Let n be (-2 - 13) + 2/1. Let x = -9 - n. Is s(x) even?
True
Suppose 4*i - 20 = 2*i. Suppose -4*x - 5*a = 25, -i = a + a. Does 6 divide 9 + x - (-6)/(-2)?
True
Let k = -12 - -20. Does 13 divide -6*-10*2/k?
False
Does 21 divide (20 - -4)*(9 + -2)?
True
Suppose 3*i = -i + 8. Suppose 5*t + g = 11, -2*g - 20 = -5*t + t. Suppose 19 = d + 4*m - i*m, t*m + 30 = 3*d. Is 13 a factor of d?
True
Suppose -d = -2*v + 102, 0*v - 204 = -4*v + 5*d. Is 15 a factor of v?
False
Suppose 6*f + 85 = 7*f - j, f - 77 = 5*j. Is 27 a factor of f?
False
Let v(d) = -d - 1. Let k be v(0). Let l be (1/3)/(k/(-147)). Suppose -5*j = 4*i - 75, -l = -3*j + 2*i - 4. Does 8 divide j?
False
Let c be -3 - (-60)/2 - 3. Let f = c + 18. Does 11 divide f?
False
Let y be 2/(-4) - (-15)/(-6). Does 9 divide (y/(-6))/((-2)/(-68))?
False
Let g be 10/(-3 + 31/10). Suppose -g = -3*k - 5*c, -158 = -5*k - 5*c + 2. Does 15 divide k?
True
Suppose 4*m + 30 - 6 = 0. Does 10 divide 2/m + 665/15?
False
Let c(v) = -5*v - 17. Does 6 divide c(-7)?
True
Suppose 0 = -q - q. Suppose q = -0*c - 2*c + k + 143, -4*c = -3*k - 285. Is c a multiple of 21?
False
Let j(h) = -4*h**2 + 9*h - 6. Let y be j(6). Let g be 