u be s(p). Suppose -5*j = -4*m + 60, 2*m + u*m = 4*j + 84. Is 10 a factor of m?
True
Suppose -3*x = 3*l + 81, 0 = -l + 3*x - 2*x - 25. Suppose 0 = 5*s + k + 25, 6 = k + 1. Let t = s - l. Is 10 a factor of t?
True
Let j(g) = -9*g**3 - 27*g**2 - 17*g + 33. Let o(x) = 4*x**3 + 13*x**2 + 8*x - 16. Let v(b) = 3*j(b) + 7*o(b). Let z = -2 - 7. Is 11 a factor of v(z)?
False
Let i = -3 - -13. Suppose -3*b + 19 = -5*p - i, -5*b - 1 = 4*p. Suppose 2*x + s = -2*x + 37, 2*x = -b*s + 11. Does 5 divide x?
True
Let o(h) = 2*h**2 + 4*h + 30. Let m(y) = 3*y**2 + 5*y + 31. Let n(b) = -3*m(b) + 4*o(b). Does 9 divide n(0)?
True
Let x be 1/((-1)/3)*-1. Let k = 17 - 16. Suppose -x*y = -k - 80. Does 9 divide y?
True
Suppose -9 = -k - 2*k. Suppose k*n = n. Let x = 5 + n. Is x even?
False
Let s(n) = -n**3 + 21*n**2 + 30*n + 42. Does 15 divide s(22)?
False
Let o(d) = 8*d + 2*d - d + 6*d + 3. Let h be o(-2). Let k = 40 + h. Is 13 a factor of k?
True
Let a be (-2 + 0)/(4/(-22)). Suppose -21 + 67 = 2*o. Let i = a + o. Is 19 a factor of i?
False
Suppose 4*n = -2*a + 13 + 31, -4*a + 2*n = -128. Is a a multiple of 6?
True
Let j(z) = -z**3 + 10*z**2 + z - 7. Let x be j(10). Suppose 6 = -2*y, -5*r + x*y + 97 = -67. Let c = r + -19. Is 6 a factor of c?
True
Suppose 4*q - 12 = -0. Suppose 0 = g + 8*g - 396. Suppose 4*b - g = -h - 1, 3*h + 36 = q*b. Does 5 divide b?
False
Let z(t) = t**2 - 4*t - 3. Let n be z(5). Suppose 6 = 3*o - n*r, -o - o + 4*r + 12 = 0. Suppose o*k + 28 = 4*k. Is 7 a factor of k?
True
Suppose 2*u + 12 = 4. Let n = -3 - u. Is 8 a factor of -2*(-5 - -1)*n?
True
Suppose 11 = -2*j + 117. Is 20 a factor of j?
False
Suppose 0 = -l + 2*c - 6*c - 9, 0 = l - 5*c - 27. Let x = l + -4. Is 3 a factor of x?
True
Suppose 4*u - 4 - 12 = 0. Let a = 7 - u. Let s(m) = 2*m**2 - 2*m + 1. Does 5 divide s(a)?
False
Suppose -3*u - 175 = -637. Let i = -76 + u. Is i a multiple of 26?
True
Let l(g) = -5*g - 2. Let f be l(-3). Let m(i) = -3*i + 3. Let t be m(6). Let o = f - t. Does 14 divide o?
True
Suppose 5*i = 5*s + 116 - 691, 220 = 2*s - 4*i. Does 23 divide s?
False
Suppose 75 = x - 0*d + 4*d, 4*x - 300 = 5*d. Is 13 a factor of x?
False
Let a = -1 - -4. Suppose 4 = a*l - 3*h + 1, -5 = -h. Suppose q = 40 - l. Does 12 divide q?
False
Let v(l) be the third derivative of -l**4/4 - 2*l**3/3 + 19*l**2. Suppose 2*h + 10 = -0*h. Is v(h) a multiple of 13?
True
Does 18 divide (74/(-6))/(11/(-33))?
False
Suppose -2*t - t - 2*n = -34, -4*n = 16. Let h = t - 8. Does 4 divide h?
False
Is (3 + 0)/15 - 654/(-5) a multiple of 12?
False
Let w = 17 - 32. Let u = -51 - -86. Let x = w + u. Is x a multiple of 9?
False
Let f(x) = -2*x + 23. Let c(q) = q - 22. Let s(a) = -5*c(a) - 4*f(a). Does 16 divide s(10)?
True
Let v(o) = -o - 1. Let p(y) = -y**2 + 4*y - 2. Let g(u) = p(u) - 2*v(u). Let s be g(5). Suppose 2*n = -7*m + 2*m + 35, -m = -s*n + 101. Is 10 a factor of n?
True
Let z be 2 + (5 + -2 - -5). Is 13 a factor of (4/z)/(2/230)?
False
Suppose 0 = 2*c - v - 7, 2*v + 3 + 8 = 3*c. Suppose 2*n + 4 = c*n. Suppose -a = n*a + f - 65, 3*f = 4*a - 52. Does 6 divide a?
False
Let d(x) be the second derivative of x**3/3 + 3*x**2 - x. Let w be d(5). Suppose -c - c = -w. Is c a multiple of 4?
True
Suppose 5*t - 2*t = 9. Suppose 0 = -3*z - 0*z + n + 15, -4*z + 3*n = -15. Let v = z - t. Is v a multiple of 3?
True
Suppose 0 = -3*z + 2 + 10. Suppose b = z - 1. Suppose 0 = 5*j + r - 29, j = b*r + 2*r - 15. Is j a multiple of 4?
False
Let s(u) = u**2 + 2*u - 6. Let f be s(-7). Suppose -3*j + 302 = f. Is j a multiple of 24?
False
Let y be (-2 + 19 + -2)/(-1). Let o be ((-22)/3)/(10/y). Suppose 2*z = 3*z - o. Is 11 a factor of z?
True
Let t(k) = -78*k + 1. Let q be t(-2). Suppose 2*v + 3*i = -3*v + q, -v = 4*i - 28. Does 15 divide v?
False
Let r(k) = -k. Let v be r(2). Let f be 0/(-2 + v + 3). Suppose -5*b + 0*b + 150 = f. Does 9 divide b?
False
Let c be (-4)/26 - 530/(-65). Suppose 0 = -4*i - 2*p - 6, -3*p + 9 = -2*i + 2*p. Let k = c + i. Is 3 a factor of k?
True
Is (-515)/(-10) - (-3)/(-2) a multiple of 10?
True
Does 12 divide 3728/104 - ((-45)/39 - -1)?
True
Suppose 0*j + 15 = -3*j. Let r = -2 - j. Let s(t) = t**3 - t**2 - t - 1. Does 14 divide s(r)?
True
Suppose 3*x + 5*a = 36, 5*x - 32 = a - 0. Does 2 divide x?
False
Let y(m) be the third derivative of m**6/120 + m**5/30 - m**4/8 + m**3/2 - 3*m**2. Let f be y(-3). Suppose 0*g + g - f = 0. Does 3 divide g?
True
Suppose -35 = -5*a + 4*a + 4*g, -g + 4 = 0. Let c = a - -55. Does 27 divide c?
False
Suppose 0 = 4*p - 12 - 0. Suppose -m - 148 = -p*m. Is m a multiple of 16?
False
Let y be (-2)/(-1 + 0 + 0). Let r = 22 - y. Does 11 divide r?
False
Let v = 2 + 8. Suppose p = -v + 31. Does 8 divide p?
False
Suppose -5*b = -155 - 235. Let m = b - 28. Is m a multiple of 12?
False
Suppose 4*b - 29 - 19 = 0. Is 2 a factor of b?
True
Let p = 1 + 3. Suppose -5*y - 2*x = 58, p*y + 3*x = y - 42. Let g = y + 19. Does 9 divide g?
True
Suppose -12*k = -13*k + 29. Is k a multiple of 29?
True
Let w be 1 + -1 - 2/2. Let a be (-1 + -1 + w)/1. Is 13 a factor of (2 + a)*(-25 + 2)?
False
Suppose -6*f + 369 = -855. Does 34 divide f?
True
Suppose -4*i + n - 5 + 43 = 0, 2*i + 5*n - 30 = 0. Is i even?
True
Let q = -32 - -47. Is 2 a factor of q?
False
Suppose 3*m = g + 1 - 14, g + 8 = -4*m. Let d = m + 3. Suppose 2*w + d*w - 10 = 0. Is 2 a factor of w?
False
Let s = 6 - 7. Is 23 a factor of (0 + 0 + s)*-23?
True
Suppose 5*h - 5*s - 570 = 0, 2*s = -5*h - 180 + 736. Suppose 4*p - h = 60. Is 19 a factor of p?
False
Suppose -5*q + 3*q = -3*k - 5, -5*k - 15 = -2*q. Let c(g) = g + 0*g + 22*g**2 + 3 - 21*g**2. Does 12 divide c(k)?
False
Suppose 24 + 249 = 3*j. Suppose 2*n + 3*k - j = 0, -2 - 1 = -3*k. Is n a multiple of 13?
False
Let w be -3 + (-1 + 1 - 1). Let s(t) = t**3 + 5*t**2 - 4*t + 2. Let g be s(w). Is (-8 + 5)/((-3)/g) a multiple of 12?
False
Suppose 5*a = -106 + 776. Suppose 2*u = -0*u - a. Let s = -37 - u. Is 10 a factor of s?
True
Suppose -v = -4*v - 24. Let f(n) be the third derivative of n**5/60 + n**4/4 + n**3 - 6*n**2. Is f(v) a multiple of 11?
True
Let k = -14 - -20. Is 3 a factor of 12/8*20/k?
False
Let r = -4 - -5. Let x(y) = 12*y**2 - y. Is x(r) a multiple of 4?
False
Let m = -8 + 14. Let t(r) = 4 - 4*r + 1 - r**2 + 11*r. Does 11 divide t(m)?
True
Let m(g) = -g**3 + 5*g**2 + 8*g. Let c be m(6). Suppose -2*x - 2 = -c. Suppose 0 = 4*n + x*o - 130, -n + 11 = 2*o - 23. Is n a multiple of 20?
False
Suppose -5*c = -0*u - 2*u + 16, -5*c = -4*u + 32. Suppose 56 = 3*q + 4*v, 28 = 4*q + 4*v - u*v. Is 12 a factor of q?
True
Suppose 0 = -0*z + z - 21. Does 3 divide z/2 + 2/(-4)?
False
Let y = 17 - -13. Suppose 2*c + 0*c = y. Does 14 divide c?
False
Let x(y) = -4. Let r(f) = f + 4. Let b(l) = -3*r(l) - 4*x(l). Is b(-8) a multiple of 14?
True
Suppose 3*p - p - 6 = 2*r, 4*p - 3 = -5*r. Let d(w) = w**2 + 4*w. Let l be d(-5). Suppose h = p*h - l. Is h a multiple of 5?
True
Suppose 5 = -6*c - 49. Let t(b) = -b**2 - 5*b - 3*b - 3*b - 9. Does 5 divide t(c)?
False
Let q = 17 - 8. Let j(p) = 8*p + 2. Let i be j(2). Suppose 39 = 5*u + 3*h, -5*u + i = -h - q. Does 3 divide u?
True
Suppose 0 = -j - 4*j. Suppose -59 - 63 = -3*m - y, -5*m + y + 190 = j. Is m a multiple of 13?
True
Suppose -2*c - 13 = -z - 7*c, 3*z + c - 25 = 0. Is 4 a factor of z?
True
Let z(y) = 2*y**2 + y + 1. Is 3 a factor of z(-2)?
False
Let w be (-10)/(-4)*(-10)/(-1). Suppose 2*x - 87 + w = 0. Is x a multiple of 20?
False
Suppose 3*o - 2*i = 17, 0*i = o + 3*i + 9. Suppose -122 = -o*t + 4*l, 4*t - 2*t - 88 = 4*l. Is t a multiple of 17?
True
Does 5 divide (3 - -2)/((-6)/(-42))?
True
Let g(c) = -8*c - 1. Let i(w) = w**2 - 4*w + 1. Let r be i(2). Let n = -4 - r. Does 7 divide g(n)?
True
Suppose -b + 0*b = -14. Suppose -f + 3*h = -b, 5*h = -2*f + f + 14. Does 4 divide f/(0 - (-2 + 0))?
False
Let t be 0/(-5) - (-1 - -24). Let q = -7 - t. Is q a multiple of 6?
False
Suppose -11*h - 92 = -15*h. Suppose 1 + h = 2*s. Is 10 a factor of s?
False
Let y(k) = 23*k + 3. Does 7 divide y(2)?
True
Suppose 2*w - 14 = 82. Is w a multiple of 16?
True
Suppose -5*r + 12 = 2*d, 8 = 3*d - r - 10. Let s = -16 - -16. Suppose -2*o = -s - d. Is 3 a factor of o?
True
Let x = -18 + 12. Let a be 3 + x - (-3)/1. Does 14 divide 0 - (2 - (22 - a))?
False
Let f = -8 + 12. S