- -2) + q/2 a multiple of 10?
True
Suppose 7*j - 8*j + 73 = 0. Does 6 divide j?
False
Suppose 63 = -5*y - 2*t - 118, 3*y + 109 = -t. Let m = -22 - y. Is 15 a factor of m?
True
Let j be (-6)/(-4) + (-972)/(-24). Let a = j + -28. Is a a multiple of 7?
True
Suppose 3*w = 6 - 3. Let n = 4 - w. Suppose 0 = x - 2*x + n. Does 2 divide x?
False
Suppose 2*v = 17 + 5. Suppose 2*y - 4*k = 4, 2*k - v = -4*y + 7*k. Is 2 a factor of (1 + 0)*(1 + y)?
False
Let d = -389 + 696. Let z = 478 - d. Suppose z = 5*n - 79. Is n a multiple of 16?
False
Suppose 4*b - x - 31 = 0, b + x = -4*b + 32. Let f(t) be the third derivative of t**6/120 - t**5/10 - t**4/6 + 3*t**3/2 + t**2. Is f(b) a multiple of 17?
False
Let t(i) = i + 4. Let l be t(-5). Let x be l/(-2) + (-18)/(-4). Suppose x*k - k - 120 = 0. Is 16 a factor of k?
False
Let l(c) = c**2 - 4*c - 3. Let f be l(5). Suppose -j - f*j = -36. Does 3 divide j?
True
Is 4 a factor of (16/(-14))/(3/(-21))?
True
Suppose -2*x = -8 - 6. Suppose r = -y + 11, -y + r = 6*r - x. Does 4 divide y?
True
Let c = -13 - -50. Suppose 2*b = 63 + c. Is b a multiple of 14?
False
Suppose 0 = 4*x - 2*m - 20, 4*x - 18 = 4*m - 3*m. Let t = -4 + x. Suppose -3*p - 15 = -t, -8 = -2*b - 2*p. Is 4 a factor of b?
False
Let c(s) = -s**3 - 3*s**2 + 3*s - 3. Let q be c(-4). Let r be (2/(-4))/(q/(-30)). Is 9 a factor of (-6)/r + (-174)/(-10)?
False
Suppose 3*j - 6*j = -294. Does 14 divide j?
True
Let t(x) = x**2 - 4*x + 1. Let h be t(4). Let n = 3 + h. Suppose v = 3 + n. Is v a multiple of 2?
False
Suppose 5*s + 944 = 3*p, 0*s + 2*s = 2*p - 624. Suppose -77 = -x - m, -5*x + x - m + p = 0. Is x a multiple of 26?
False
Let b(g) be the first derivative of -3*g + 1/4*g**4 + 0*g**2 - 3 + 8/3*g**3. Is b(-7) a multiple of 12?
False
Suppose 0 = 2*n + 5*t - 21, n - 10 - 3 = -5*t. Does 8 divide n?
True
Suppose 0*o + 5*h + 22 = -o, 5*o + h - 10 = 0. Suppose 0 = -o*g + 4*g - 6. Is g/(-21) - 200/(-14) a multiple of 7?
True
Let v = 36 + -12. Is v a multiple of 24?
True
Is 33 + 4 + 1*3 a multiple of 10?
True
Let i(f) = f + 7. Suppose 0 = 2*p + 2*p + 20. Let d be i(p). Is 12 a factor of d*3/15*30?
True
Let m = 5 + 4. Does 6 divide m?
False
Let n = 24 + -10. Does 7 divide n?
True
Let m(b) = 11*b**2 - 1. Let s = -7 + 6. Is m(s) a multiple of 5?
True
Let o(c) be the second derivative of -3*c**3/2 + 13*c**2/2 + 2*c. Does 19 divide o(-6)?
False
Let n = 15 - 14. Does 6 divide ((-21)/(-9))/(n/3)?
False
Suppose 3*b + 675 = 4*k, 470 = 3*k + 6*b - b. Does 24 divide k?
False
Suppose 0 = -4*b + 17 + 7. Let t be (-3)/b + 3/6. Suppose -s - s + 8 = t. Is 2 a factor of s?
True
Suppose -7*y = -25*y + 1782. Does 33 divide y?
True
Suppose 0 = -2*n - 2 - 2. Let g = 7 + n. Does 4 divide g?
False
Suppose -7 = -2*i + 1. Suppose j = 4*w + i, -4*w = 2*j - w - 41. Does 8 divide j?
True
Does 4 divide (-42)/(-3) - 3/1?
False
Let u = 39 + -5. Does 16 divide u?
False
Let n(j) = -j**3 + 3*j**2 + 3*j. Is n(3) a multiple of 9?
True
Let f = -7 + 6. Does 4 divide (-6)/(f - (-2)/(-4))?
True
Let h(g) = 2*g - g - g - g. Let a = -3 - 1. Is h(a) a multiple of 3?
False
Suppose 3*c = 86 - 17. Let p = c - 16. Is p a multiple of 3?
False
Let j(f) = -4*f - 3. Let t = 16 + -9. Let p be (-30)/t + 8/28. Does 13 divide j(p)?
True
Suppose -5*n = 5*v - 215, 3*n + 0*v - 132 = -2*v. Is n a multiple of 16?
False
Let l(o) = -7*o - 7. Let j be l(-6). Suppose -q + 32 = -2*m, -4*m - j = -q + m. Is 15 a factor of q?
True
Is (-4 + 5 - -13)*(-36)/(-14) a multiple of 6?
True
Let u(a) be the third derivative of -3*a**4/8 + a**3/6 + 3*a**2. Does 10 divide u(-1)?
True
Suppose -4*n - 104 = -2*i, -4*i + 306 = -4*n + 118. Does 7 divide i?
True
Suppose 0*j = 2*j + 2*v - 198, -3*v = 3. Suppose 0 = -5*y + j + 85. Suppose y + 11 = 3*u. Is 7 a factor of u?
False
Let i = 3 + -5. Let a be i/6 - (-140)/15. Suppose -4*r + m + 58 = 0, 3*m - 3 = -a. Is 12 a factor of r?
False
Let g(f) = 18*f**2 - 4. Does 14 divide g(2)?
False
Let q(u) = -u**2 + 12*u - 8. Let p be q(11). Let w be (-159)/(-6) + (-1)/2. Suppose -2*c = -p*c + w. Is 8 a factor of c?
False
Let g(t) = -t**2 + 5*t - 3. Let s be g(2). Let w = -5 + 7. Does 10 divide -2*(-11 + (s - w))?
True
Suppose 0 = -2*k - 3*k + 340. Suppose 4*t = 84 + k. Is 19 a factor of t?
True
Suppose 2*l - 47 = 185. Does 24 divide l?
False
Let i(s) = s + 4. Let k be i(0). Suppose 0*q - k*q + 16 = 0. Is (q/6)/((-4)/(-294)) a multiple of 20?
False
Suppose 0 = 2*q + 5*l + 21, 5*q - 5*l - 54 = -19. Suppose 3 = -q*c + c. Let m(w) = -2*w**3 - 5*w**2 - 3*w - 2. Is 8 a factor of m(c)?
True
Let h be ((-3)/6)/((-1)/16). Let z be 1/h*18*-4. Let r = z - -15. Is 4 a factor of r?
False
Suppose 4*u = -71 - 1. Let v(t) = -t**3 - 6*t**2 + 10*t - 2. Let n be v(-8). Let f = u + n. Is 14 a factor of f?
True
Suppose -2*l = -0*l. Suppose l = 2*z - 28 - 12. Is 10 a factor of z?
True
Let h = 205 + -82. Let a = h - 49. Is 22 a factor of a?
False
Let i(n) = n**3 + 17*n**2 + 19*n - 29. Is i(-15) a multiple of 8?
True
Let w = -30 - -45. Is w a multiple of 5?
True
Suppose 11*s - s = 800. Does 12 divide s?
False
Suppose 5 = 5*n - 0. Suppose 0 = l - n - 5. Is 6 a factor of l?
True
Suppose 4*s = 26 + 22. Let u be (8/s)/((-4)/(-30)). Suppose 5*b + 44 + 10 = 4*z, -z + u = 3*b. Does 11 divide z?
True
Let m(s) = -s + 5*s + 4*s - s. Let y be m(-1). Let c = 10 - y. Is 17 a factor of c?
True
Let z(w) be the third derivative of w**6/120 - 7*w**5/60 - 11*w**4/24 - w**3/2 - 6*w**2. Does 30 divide z(9)?
True
Is ((-19)/(-2))/(135/(-70) - -2) a multiple of 17?
False
Let l = 55 - -15. Let q = 4 + -8. Is 14 a factor of (4/(-5))/(q/l)?
True
Let w = -9 + 41. Suppose 0 = -2*k + 2*m - 30, -4*k - 87 = k + m. Let n = w + k. Does 12 divide n?
False
Let j = -3 - -24. Suppose -5*z + z - 2*f = -12, -z + j = -4*f. Does 5 divide 6/z*160/12?
False
Let p(d) = -2*d**3 - 2*d**2 + 2*d. Suppose -2*x - i - 4 = -0, -5*i - 4 = 2*x. Let j be p(x). Suppose -2*c + j*c + 10 = 0, 12 = -4*w - 4*c. Is w even?
True
Suppose -3*q = 2*q - 35. Is 5 a factor of q?
False
Let g(z) = 5*z + 6. Suppose 3*c - 25 = y, 5*c - 31 = -y + 8. Let j be g(c). Suppose 4*p - l = -4*l + 228, -p = -2*l - j. Is p a multiple of 17?
False
Suppose -q - 15 = 4*q. Let d be (5 + q)/(2/13). Suppose -2*h = -d - 23. Is 18 a factor of h?
True
Suppose -4*x + 2*h + 0*h = 38, 4*x - 5*h + 47 = 0. Let l(z) = -5*z - 10. Let i be l(x). Suppose 5*j - i - 75 = 0. Is 21 a factor of j?
True
Suppose 9 = 3*i + 3*z, -3*i + 3*z = 5 + 16. Is (-243)/(-24) + i/16 a multiple of 5?
True
Let c(q) = q**3 + 7*q**2 + 4*q. Let w be c(-6). Suppose 0 = -3*n + 2*r + 17, 3*n - 11 = -r + 12. Let i = w + n. Does 19 divide i?
True
Let g be 4/14 + 66/14. Suppose g*r + 4*t = 3*t - 5, 0 = -5*r + 2*t + 10. Suppose v + r*v - 24 = 0. Is v a multiple of 9?
False
Suppose -510 = -12*v + 10*v. Is v a multiple of 15?
True
Let f(v) = -v**2 - 13*v. Let g be f(-6). Suppose -2*k = -2*j - g, -13 = -0*k - k + 5*j. Suppose -5*i = -4*i - k. Does 23 divide i?
True
Let p be (2/(-6) - -1)*6. Suppose w - p*r = 36, w = 4*r + r + 38. Is 14 a factor of w?
True
Let j be 4/6 - (-11)/(-3). Is 7 a factor of j/(-1) - 9/(-1)?
False
Let s(f) = 7*f**2 - 2*f - 3. Is s(-1) a multiple of 3?
True
Suppose 13*f = 8*f + 100. Is 5 a factor of f?
True
Let g be 66/((1 - 1) + 2). Let b = 158 - g. Suppose 5*d - 140 - b = 0. Is 21 a factor of d?
False
Let j(t) = 5*t. Suppose 2 = 3*r - 1. Let z be j(r). Suppose o - 60 = -3*o - z*c, 4*o - 20 = 5*c. Is 9 a factor of o?
False
Let y = 343 - 43. Is y a multiple of 30?
True
Let h = -103 - -130. Is h a multiple of 2?
False
Let h(u) = -5*u**2 + 44*u - 27. Let l(g) = g**2 - 11*g + 7. Let z(f) = -2*h(f) - 9*l(f). Is z(-14) a multiple of 7?
False
Let g(i) be the first derivative of -7*i**2/2 + 2*i + 1. Let s = 1 + -5. Is 15 a factor of g(s)?
True
Let j be (-278)/6 - (-10)/(-15). Let x = 69 + j. Is x a multiple of 11?
True
Let q = 45 - 28. Suppose -w + q = -16. Is 17 a factor of w?
False
Does 18 divide (1 - (-61)/(-5))*(-705)/94?
False
Let q = 9 - 6. Suppose -2*s + 4 = -4. Suppose s*b - q = 29. Is b a multiple of 8?
True
Suppose 45 = 3*d - 6. Suppose -2*z + j + d = 0, 0*j = -z + 4*j - 2. Let h = z - 5. Is h a multiple of 5?
True
Let f(h) = -h**3 - 22*h**2 - 24*h + 25. Is f(-21) a multiple of 11?
True
Let w be 2/4*(13 + 3). Suppose 0 = -4*d + 3*d + w. Suppose -p