rue
Suppose -4*v + 76 = 3*o, 4*o - v - 71 = o. Is 24 a factor of o?
True
Suppose -41*c = -38*c - 480. Is c a multiple of 40?
True
Let h = 7 + -11. Is 3 a factor of (-3)/1*h/2?
True
Let o = -63 - -103. Let h = o + -118. Does 11 divide (-4)/3*h/4?
False
Suppose 0 = -4*j - 3*c - 1, -c = j - 0*j + 1. Suppose -5*y + 0*y = -20, -y = -j*g - 2. Suppose 2*a - g = 47. Does 24 divide a?
True
Let p be ((-4)/12)/(3/27). Suppose 3*g - 2 - 275 = 5*x, -g + 5*x = -89. Is 5 a factor of g/8 + p/(-12)?
False
Suppose -2*z = -3*b + 13, 4*b + 8*z - 2 = 3*z. Let l(f) = b*f**2 + 4*f**2 + 10*f**2 + f. Is 7 a factor of l(-1)?
False
Suppose 5*g + 20 = -10. Let p(q) = -q**3 - 5*q**2 + 5*q + 6. Is p(g) a multiple of 5?
False
Suppose -7*r + 12 = -6*r. Is 4 a factor of r?
True
Let k(m) = m**3 + 5*m**2 - m - 5. Is k(3) a multiple of 28?
False
Let c(x) be the second derivative of -x**5/20 - 11*x**4/12 - 2*x**3 - 2*x**2 - 6*x. Is 7 a factor of c(-10)?
False
Suppose 3*y = 9, -4*f - y = -8*f + 17. Suppose r - 9 = -q + 9, f*q = r + 114. Is q a multiple of 11?
True
Suppose -5*x = -3*x + 6. Is 24 a factor of 72 + -3 + 0 - x?
True
Is 5 a factor of (1/(-1) + -1 - 1)*-2?
False
Let f(x) = -2*x**2 - 4*x - 6. Suppose -5*h + 2*v = 6*v + 4, 0 = h - 2*v + 12. Let l be f(h). Let q = -11 - l. Does 3 divide q?
False
Suppose 0 = 2*w - 3*k + 6, k + k - 15 = 5*w. Let c = w + 7. Is c a multiple of 4?
True
Let u(y) = -5*y + 3. Suppose 5*q = -9 - 6. Does 7 divide u(q)?
False
Is 3 + (-42 + 0)*-1 a multiple of 20?
False
Suppose 0 = 6*g - 12*g + 660. Is 3 a factor of g?
False
Let g = -7 - -9. Let v = 3 + g. Is v a multiple of 5?
True
Is 8 a factor of ((-84)/(-70))/((-6)/(-40))?
True
Let w(c) = c**2 + 2*c - c - 6*c - 4*c. Let i = -12 - -22. Does 8 divide w(i)?
False
Suppose 4*n = 7*n - 30. Is n a multiple of 5?
True
Let d = -7 + 3. Let k = 10 - d. Let w = k + -10. Is 2 a factor of w?
True
Let c be ((-28)/16)/((-2)/(-8)). Let d(m) = 2*m**2 + 7*m + 16. Let h(x) = x**2 + 4*x + 8. Let r(j) = -2*d(j) + 5*h(j). Does 8 divide r(c)?
False
Let b be -3*(1 + 2 + -13). Is 2/12 + 1135/b a multiple of 13?
False
Let u = 0 + 2. Suppose -u*n - t + 14 = 0, 0*t - 3*t = 0. Does 3 divide n?
False
Let k be (2 - (-3 - 21)) + -2. Suppose -5*g + 21 = -k. Is g a multiple of 6?
False
Is 23 a factor of ((-604)/6)/(6/(-9) + 0)?
False
Suppose -3*s + 55 = -l, -5*s - 2*l + 84 = -4. Is s a multiple of 6?
True
Suppose 5*h - 2*l - 929 = 0, -3*h + l = -2*h - 184. Is 11 a factor of h?
True
Let c = 6 + -3. Let y = 10 + c. Is 4 a factor of y?
False
Is 20 a factor of ((-4)/((-48)/513))/(12/64)?
False
Let h(r) = r**2 + r - 2. Let m = 10 + -15. Is 18 a factor of h(m)?
True
Suppose -23*l + 85 = -18*l. Suppose x + 6 + 6 = -y, x - 8 = 4*y. Let c = x + l. Is 5 a factor of c?
False
Suppose 0*u + 4*u - 460 = 0. Suppose 0 = -4*s - 19 + u. Is s a multiple of 7?
False
Suppose 0 = 3*o - o. Suppose o = -u - 2*d - 5 + 20, -3*u + 5*d = 10. Suppose -2*v - u*a = v - 100, -4 = -2*a. Is v a multiple of 15?
True
Let x be -2 + 94 + (-2 - 2). Suppose -2*i + 0*i - x = -2*a, 0 = -2*a - 2*i + 68. Is 13 a factor of a?
True
Let b(f) = 19*f**3 + 4*f**2 - 2. Let m(x) = 28*x**3 + 6*x**2 - 3. Let v(p) = 8*b(p) - 5*m(p). Is 10 a factor of v(1)?
False
Suppose -3*i - 4 = -5*g, 4*i + i + g = -16. Is (2/i)/(8/(-324)) a multiple of 10?
False
Suppose 2*v + 2*v = 12, -2*x = 3*v - 185. Does 22 divide x?
True
Suppose 7*a = 171 + 137. Let d = -4 - -8. Suppose -6*f = -d*f - a. Does 22 divide f?
True
Suppose -91 = -2*z - 1. Is z a multiple of 10?
False
Let c(q) = 7*q**2 - 2. Let m be c(-3). Let l = -181 + 275. Let h = l - m. Is 14 a factor of h?
False
Let i(t) = 3*t**3 - 2*t - 3. Does 12 divide i(3)?
True
Let p(i) = -3*i + 6. Is 9 a factor of p(-10)?
True
Let s = 5 - 9. Let h = s + 13. Suppose -k - 1 + h = 0. Does 8 divide k?
True
Let y(p) = p**2 - 3*p + 4. Is y(3) a multiple of 3?
False
Let s = 11 - 1. Let c(i) = -i**3 + 11*i**2 - 7*i + 1. Does 25 divide c(s)?
False
Let d be (8/(-10))/((-4)/(-10)). Is 4 a factor of (-70)/(-6) - d/6?
True
Let o(t) be the second derivative of t**4/6 + 7*t**3/6 - t**2 + 4*t. Is 5 a factor of o(-5)?
False
Suppose -3*q = -0*q - 12. Suppose -m + q*m - 117 = 0. Let w = -4 + m. Is 12 a factor of w?
False
Suppose -5*q - 9 = 1. Let m be (50/(-4))/(q/(-4)). Does 7 divide (2 - (-14)/(-5))*m?
False
Suppose -4*p = 3*a - 123, 5*a - 35 + 149 = 3*p. Is p a multiple of 8?
False
Suppose 9 = -d - 2*d + 3*o, -5*o = -d - 23. Suppose -d*y = y + 5*h + 22, 3*y = -h - 2. Is 0/(-2 + y) - -17 a multiple of 8?
False
Let j(n) = -n**2 - 2*n + 83. Let d be j(0). Let l(t) = -2*t**3 - 2*t**2 - t. Let w be l(-1). Suppose 0 = 4*m - w - d. Is m a multiple of 10?
False
Let g = 13 - 8. Does 5 divide g?
True
Does 10 divide 57 - -2*3/2?
True
Suppose 2*a = -3*r + 4*a + 99, 0 = 3*r - 4*a - 105. Is r even?
False
Let j = 71 - 36. Let u = 56 - j. Does 7 divide u?
True
Let w = 7 + -1. Is 6 a factor of w?
True
Let k(w) = 4*w + 25. Let u be k(-6). Suppose -z = -5 + 1, -l - z + 6 = 0. Suppose -l*b + 23 = -u. Is 9 a factor of b?
False
Let l = -8 - -11. Suppose -4*g = -l*k + 2*k - 33, -4*g + 2*k = -30. Is 4 a factor of g?
False
Let k be 1/((-3)/45*-3). Let y(d) = 7*d - 6. Let m be y(k). Let w = -9 + m. Is w a multiple of 15?
False
Let j(q) = q + 7. Let t be j(-4). Suppose 0 = t*d + 9, 2*c = 3*c - 5*d - 16. Is -2 + (-10 + c)/(-1) a multiple of 7?
True
Let d = -2 - -11. Let v be 41/3 - 6/d. Let l = 29 - v. Is 8 a factor of l?
True
Let c(a) = 49*a - 74. Is 29 a factor of c(7)?
False
Let c be ((-8)/6)/(2/(-3)). Suppose c*p = -3*p - x - 30, -2*p - 25 = 3*x. Is (-2)/p + (-256)/(-10) a multiple of 17?
False
Suppose 0 = x - 3*x + k + 26, 2*x - 38 = -5*k. Let u = x + -4. Is u a multiple of 10?
True
Let y(h) = -h**3 + h**2 + 3*h - 4. Let q be 1/(-6) - 145/30. Let i be q/2 + 3/(-6). Is y(i) a multiple of 15?
False
Suppose z = 2*s + 2, 9 - 3 = 3*z + 4*s. Suppose 4*n - 16 = 0, 5*p - 2*n = z*n - 36. Is 12 a factor of 0 + 1 + 39 + p?
True
Suppose 0 = h + 2*h - 3. Is 48/(-2)*(h - 2) a multiple of 8?
True
Let r be (-186)/4*(-4)/6. Let h = 19 + r. Is h a multiple of 26?
False
Let y = 11 - -7. Is y a multiple of 9?
True
Let i = 8 + -8. Suppose -n - 4*a - 8 = i, -3*a - 58 + 19 = -2*n. Is n a multiple of 6?
True
Let z(x) = x**3 + 5*x**2 + x + 3. Let t be z(-5). Does 15 divide 2*t/(-8)*56?
False
Let z(h) = 43*h + 2. Let n be z(2). Let v = n + 97. Suppose l = -4*l + v. Is 18 a factor of l?
False
Suppose 12*f - 42 = 11*f. Is 12 a factor of f?
False
Let r = 3 - 4. Let v be -3 - -3 - (-2 - r). Is 6 a factor of 4 - 3 - -11*v?
True
Let c be (0 - 0)/(-5 + 3). Suppose c = 4*j + 45 + 23. Let q = 44 + j. Does 10 divide q?
False
Suppose 5*b = 5*j + 1105, 0 = 3*b - 5*j - 501 - 170. Let r = -8 - b. Is 2/4 + r/(-10) a multiple of 8?
False
Let p be 2/4 + (-36)/(-24). Does 5 divide (p - 4 - -4) + 13?
True
Let m(p) = 2*p + 27. Let v be m(-11). Suppose v*w = 8*w - 177. Does 15 divide w?
False
Suppose -1535 = 5*q - 10*q. Suppose 2*b + 2*z - 146 = 0, 0 = -4*b - 0*b + z + q. Is 16 a factor of b?
False
Let k be (5/(-5) - -7)/(6/(-4)). Let q(l) = -2*l**2 + 4*l - 1. Let c(z) = 3*z**2 - 4*z + 1. Let p(b) = 4*c(b) + 5*q(b). Does 6 divide p(k)?
False
Let p(v) = 3*v**2 + 5*v - 18. Let t be p(9). Suppose 3*j = 5*d + 194, -4*j + t = j + 5*d. Is j a multiple of 13?
False
Let x(v) = -v**2 - 8*v - 8. Let m(n) = -2*n + 2. Let y be m(3). Does 8 divide x(y)?
True
Let l be 6/(-27) + 76/18. Suppose 4*r + 2*h = 5 + 223, -220 = -4*r - l*h. Does 15 divide r?
False
Suppose -4*l - 4 + 12 = 0. Suppose 0 = -o - 4*o + 5*p + 35, 3*o - l*p = 26. Suppose -o = a - 5*a. Is a a multiple of 3?
True
Is 378/(-7)*(-9)/6 a multiple of 9?
True
Suppose -17*x + 9*x = -1344. Does 21 divide x?
True
Suppose -2*h - 27 = 7*i - 2*i, 5*h + i = -10. Let d(b) = 5*b**3 - 2*b**2 - b. Let y be d(h). Does 11 divide 455/21 + (-2)/y?
True
Suppose -y + f + 7 = 2, -19 = -2*y + 5*f. Let q be y/3 - (-140)/(-21). Does 8 divide -3*(0 - (-16)/q)?
True
Suppose 4*p - 11 = -3*s, s = 2*s - 3*p - 21. Let d(t) = -14*t - t**2 + 6*t - 2 + s. Is 7 a factor of d(-7)?
True
Suppose -t - 4 + 0 = 0. Does 2 divide (2 - 0)/(t/(-14))?
False
Let z(l) = -11*l**3 + 24*l**2 + 22*l - 3. Let w(i) = 7*i**3 - 16*i**2 - 15*i + 2. Let p(y) = -8*w(y) - 5*z(y). Is p(9) a multiple of 8?
True
Let a be 2 + (-2 - (-3 - 2)). Suppose 