-5*c - i. Suppose 0 = 2*r + 2*r + 5*t - 64, c*r - t = 18. Is 11 a factor of r?
True
Let f(o) = 4*o**2 + 5*o. Is f(-5) a multiple of 15?
True
Let v = 27 - 19. Is 8 a factor of v?
True
Let v = -3 - -10. Let t = 3 - v. Let w = t + 9. Is 5 a factor of w?
True
Let g(i) = i**3 + 6*i**2 - 5*i + 2. Let y be g(-7). Let x(t) = t**2 + 2*t - 1. Let l be x(-3). Let q = l - y. Is 6 a factor of q?
False
Let m(z) = 4*z**3 - 2*z**2 + z - 1. Let y be ((-5)/(-10))/(2/8). Is m(y) a multiple of 8?
False
Suppose 2*o - 9 = -o. Is (o/(-5))/((-9)/135) a multiple of 3?
True
Suppose j - 50 = -j. Is j a multiple of 21?
False
Let z be (28/20 + -2)*5. Let h(q) = -4 - 4*q - 2*q**2 + q**2 - 3*q. Is 8 a factor of h(z)?
True
Suppose 25 = -3*a - 2*a. Is ((-4)/a)/(5/150) a multiple of 10?
False
Let u(o) = o + 6. Let t be u(-6). Suppose -2*b - 3*h + 10 = -0*b, t = 5*b - 4*h - 2. Suppose b*d = -d + 114. Is d a multiple of 19?
True
Let q be (0 - -1)/2*4. Suppose -q*z + 27 = z. Let n = z + 3. Is 7 a factor of n?
False
Suppose 67 = 2*i - 115. Does 13 divide i?
True
Let w(v) = -37*v + 1. Does 4 divide w(-1)?
False
Suppose 2*n = 5*t - n - 216, 0 = -4*t + n + 170. Is 14 a factor of t?
True
Suppose 0 = 4*u - 4 - 8. Suppose u*s = -81 + 6. Is 15 a factor of (170/s)/((-1)/5)?
False
Let z = 176 + -50. Let g = z - 246. Is g/(-25)*5*1 a multiple of 8?
True
Let o = 0 - 20. Let d = 32 + o. Is 6 a factor of d?
True
Let m(s) = 2*s - 7. Let v be m(5). Let h(d) = 0*d + v*d + 3*d + 5 + 4*d**2. Is 17 a factor of h(-4)?
False
Let p(f) = -32*f**2 - 9*f + 11. Let l(i) = -16*i**2 - 4*i + 5. Let n(k) = -13*l(k) + 6*p(k). Does 5 divide n(1)?
True
Suppose -148 = -7*d - 1. Is 7 a factor of d?
True
Let u(n) = n**3 - n**2 + n + 127. Let k be u(0). Let m = 233 - k. Let v = m - 70. Is 20 a factor of v?
False
Let v be 3 - 1 - 203/(-7). Let q = v - -14. Is q a multiple of 18?
False
Let h = 46 + 13. Let n = -12 + h. Is 25 a factor of n?
False
Let y(s) = s**3 - 6*s**2 + s - 2. Let f be y(6). Is 14 a factor of -6*(f - (-40)/(-3))?
True
Suppose 3*f - 549 = -3*r, r + 2*f - 198 = 6*f. Suppose -4*k + r = 5*p - 2*k, 0 = -p + 2*k + 30. Is p a multiple of 12?
True
Let s = 30 + 38. Suppose t + s = 3*m, 7*t = -2*m + 2*t + 68. Is 12 a factor of m?
True
Is 10 a factor of (6/(-18))/(2/(-150))?
False
Let v(o) = -o**3 + 8*o**2 + 11*o - 4. Does 7 divide v(9)?
True
Let o be (4 + -3)*(-1 + 1). Suppose -29 = -4*a + a + m, o = 4*a + m - 48. Is a a multiple of 11?
True
Suppose 178 = -4*g + 2*g. Let m = g + 149. Suppose 0*k - m = -3*k. Is 8 a factor of k?
False
Let x = 31 - 23. Is 5 a factor of x?
False
Let x = 60 + -48. Is 6 a factor of x?
True
Let p be (-291)/6 + (-3)/6. Let a = p + 94. Is 15 a factor of a?
True
Let u be (-10)/25 + 8/(-5). Let m(r) = 7*r**3 + 2*r**2 + 3*r + 2. Let n be m(u). Is 1/((-2)/n) - -2 a multiple of 12?
False
Is 3 a factor of ((-6)/(-7))/((54/63)/6)?
True
Suppose -5*n + 2*n + 198 = 0. Suppose 4*l = d - n, -114 = d - 3*d + 2*l. Is d/(3/6*3) a multiple of 12?
True
Suppose 4*w + w = 0. Suppose 2*f + 3*f - 155 = w. Is 17 a factor of f?
False
Suppose -3*y + 0*y = -q - 14, -8 = -2*q. Let p(z) = 5*z - 6. Is p(y) a multiple of 8?
True
Suppose 0 = -2*d + d - 3. Let a = 1 + d. Is 1 - ((-30)/2 - a) a multiple of 13?
False
Suppose -5*n + 3*c = -4*n + 11, 5*n - 5*c = -15. Is 6 a factor of n/((3 - 6)/(-48))?
False
Suppose 3*i - 12 = -0*i. Does 2 divide i?
True
Let v(p) = -13*p + 16. Is 14 a factor of v(-2)?
True
Suppose 3*d = 8 + 40. Does 12 divide d?
False
Let u(v) = 23*v + 17. Is u(9) a multiple of 8?
True
Let k(h) = 4*h**3 - 3*h**2 + 2*h - 2. Let z be (-1)/(-4) - (-28)/16. Let b be k(z). Let g = b - 7. Does 15 divide g?
True
Let u(w) = -w. Let s be u(-6). Suppose -4 = -5*g + s. Suppose 12 = g*a - 0*a. Is 2 a factor of a?
True
Let v = 84 - 48. Suppose -5*x = -96 + v. Is 6 a factor of x?
True
Suppose 2*r - 3*q = 92, -2*q + 176 = 3*r + 3*q. Suppose 3*x - 2*f = 51, -5*x = -5*f - r - 28. Does 10 divide x?
False
Let s(g) = 59*g + 10. Let i(x) = -20*x - 3. Let n(h) = -17*i(h) - 6*s(h). Does 16 divide n(-6)?
False
Let c(v) = -35*v. Let h be c(-1). Suppose 5*u + h = -5*y, 3*y - 2*u - 3*u = 19. Is 30 + (6/y)/3 a multiple of 21?
False
Let x(d) = d + 11. Suppose -3*q + 13 = -2*w, 2*q - 3*w + 1 = 3. Let o be 116/(-14) - (-2)/q. Does 2 divide x(o)?
False
Suppose -f + 10 = -8. Suppose 38 + f = 4*w. Does 5 divide w?
False
Suppose -5*s - 3*m = -54, -5*m - 21 = -3*s - s. Let o = -6 + s. Is 2 a factor of o?
False
Let w be 1/(21/(-6) - -4). Suppose 220 = 5*a - 5*c, w*a = -2*c - 41 + 121. Is a a multiple of 14?
True
Suppose 4*v - 1466 = -218. Let o be 6/(-21) + v/14. Suppose -73 - o = -5*u. Does 11 divide u?
False
Let l = -7 - -13. Suppose u + 200 = l*u. Is u a multiple of 12?
False
Let o be -2*1/(2/(-21)). Suppose -7*p + 6*p = -o. Is p a multiple of 15?
False
Does 4 divide (-40)/(-1) + 3 + 1?
True
Let x(i) = i**3 - i + 22. Suppose 4*r = 2*r. Is 17 a factor of x(r)?
False
Suppose 2*t + 4*b = -3*t + 575, -3*b - 15 = 0. Does 18 divide t?
False
Let b(p) = 5*p**2 + 0 + 4*p - p**2 - 3*p**2 - 1. Let k be b(-5). Suppose 2*j + k = r, -j + 52 = 3*r + 3*j. Is r a multiple of 12?
True
Let l = 6 - 4. Suppose 0 = l*w - w - 1. Does 4 divide 2 + 8 + (w - 1)?
False
Let c(j) = j**3 + 10*j**2 + 2. Does 2 divide c(-10)?
True
Let r = 49 - 30. Is r a multiple of 19?
True
Suppose 3*h - 401 = -53. Does 8 divide h?
False
Let q(x) be the second derivative of 0 + 0*x**2 + 0*x**3 + 7/12*x**4 + x. Does 5 divide q(1)?
False
Does 12 divide (-1)/(-3) - 321/(-9)?
True
Suppose -4*a + 0*a = 40. Let c = a - -14. Is 4 a factor of c?
True
Let o = 209 + -132. Let x = -140 + o. Let y = -43 - x. Is 9 a factor of y?
False
Let m(c) = 2*c**2 + c + 0 + 2*c + 1. Let k = 1 + -5. Is 12 a factor of m(k)?
False
Suppose -3*r - y + 615 = 0, r - 4*y + 1018 = 6*r. Does 16 divide r?
False
Suppose 0*s = 3*s + 3*v - 63, 27 = s + 4*v. Is s a multiple of 9?
False
Suppose -123 - 147 = -5*z. Suppose 4 = -4*j, -6*j = 4*a - 4*j - z. Does 7 divide a?
True
Suppose 0 = x - 1 + 2. Let z be 6 - 1*(x + -1). Does 12 divide ((-6)/z)/((-5)/180)?
False
Let b be (2/6)/(7/105). Suppose 5*v = 5*k + 6 + 84, -k + 60 = b*v. Is v a multiple of 7?
False
Suppose 23 = -4*g - 177. Let d = -20 - g. Is 29 a factor of d?
False
Let q(t) = -2*t + 2. Let u be q(3). Let z = u - -22. Suppose p = -0*p + z. Does 18 divide p?
True
Suppose g - m - 28 = -3*g, -5*m - 50 = -5*g. Does 2 divide g?
True
Suppose 0 = -3*k - z + 20, -4*k - 5*z - 18 = -63. Let a(b) = 5*b - 12. Does 13 divide a(k)?
True
Suppose -140 = 4*a - 12. Is (2 - a/(-6))*-6 a multiple of 5?
True
Does 3 divide 3*(-1 - 0)*-5?
True
Suppose -v + 0*v + 14 = 0. Is v a multiple of 2?
True
Let h(b) = b**2 - b. Is h(8) a multiple of 20?
False
Suppose 11*f - 231 - 737 = 0. Does 22 divide f?
True
Suppose 0 = -0*g + 2*g - 266. Suppose -7 = -4*b + g. Is b a multiple of 10?
False
Let b = 17 - -14. Is 18 a factor of b?
False
Let j(t) = -t + 10. Let s be j(10). Let y = 2 + s. Let c = 17 - y. Is c a multiple of 15?
True
Suppose -4*l = l - 10. Suppose -1 - 3 = c. Is (l - 1)*3 - c a multiple of 7?
True
Let o be 2/(-6) + (-78)/(-18). Let q be (2 - 1)*0/(-6). Suppose 0*r + 3*n - 132 = -3*r, o*r + 3*n - 177 = q. Is r a multiple of 15?
True
Suppose -5*v = -v - 168. Suppose 15 = 5*o, 2*p = o - 5*o + v. Is 6 a factor of p?
False
Suppose 5*d - 7*d = -126. Is 12 a factor of d?
False
Suppose v = -v + 8. Let b(f) = v*f**2 + f - 2 - f. Does 13 divide b(2)?
False
Let y = -13 + 8. Let f(n) = n**2 - 7. Does 9 divide f(y)?
True
Let t be (13/3)/(3/9). Let a be 10/(-3)*(-33)/(-22). Let j = t + a. Is j a multiple of 8?
True
Suppose 0 = -0*h + 11*h - 1298. Is h a multiple of 29?
False
Suppose 35 + 65 = -4*v. Let h = -13 - v. Let i = h + 6. Is 18 a factor of i?
True
Suppose 5*t - 736 = t. Is 33 a factor of t?
False
Let o(h) = h**3 - 5*h**2 - h + 7. Is o(6) a multiple of 11?
False
Let d = -3 + 3. Let h be -52*(d - (-3)/(-6)). Suppose 0 = -l + h - 6. Is 10 a factor of l?
True
Let x = -8 + 14. Suppose -x*q = -10*q + 204. Is 17 a factor of q?
True
Suppose 3*s - 6*s + 15 = 0. Does 15 divide ((-6)/s)/((-1)/25)?
True
Suppose 4*u + 2*s - 12 = -2*s, u = -2*s. Is u a multiple of 3?
True
Suppose -5*d - 32 = -6*d. Does 8 divide d?
True
Let s = 4 - -9. Suppose -1 + s = a. Is 6 a factor of a?
True
Let c(j) = 2*j + 4. Let 