et c be x(2). Suppose 6 = b - c*b. Is b a multiple of 6?
True
Let o = 283 + -85. Is o a multiple of 12?
False
Suppose 2*w + 129 = 349. Is w a multiple of 11?
True
Let q(n) = -3*n**3 - 2*n**2 - 2. Let s be q(2). Let m(y) = y**2 + 13*y - 18. Let c be m(-13). Let z = c - s. Is z a multiple of 12?
False
Suppose -2*k + 21 = -45. Is 33 a factor of k?
True
Let v be (-18)/(-5)*(-40)/6. Does 9 divide (-15)/(-2)*v/(-20)?
True
Let x(a) = a**3 + 8*a**2 - a + 2. Is x(-8) a multiple of 10?
True
Suppose -3*k - t + 12 = -3*t, -2*k = -3*t - 8. Does 3 divide k + 6 + -3 - 1?
True
Let a(t) = -t + 1. Let u be a(-1). Is 63*(3 - u)/3 a multiple of 7?
True
Suppose -4*o + 89 = -5*b, 3 - 8 = b. Is o a multiple of 4?
True
Let w(i) = i**3 - 4*i**2 + i + 2. Let a be w(4). Suppose t - 3*s - 36 = -a*s, -3*t + 90 = 3*s. Let l = -18 + t. Is 9 a factor of l?
True
Let y = 27 + 8. Suppose 3*p + 55 = u - 2*u, 0 = 4*p - 4*u + 100. Let k = y + p. Does 7 divide k?
False
Suppose -320 = -4*w + 2*j + 3*j, 0 = -4*w - j + 296. Is w a multiple of 15?
True
Suppose 3*q - 4*f + 23 = 0, 3*q + 2*f = -q + 6. Let z = 0 + q. Does 6 divide 145/10 - z/(-2)?
False
Let j = -8 - -17. Let i be 655/j + (-10)/(-45). Let u = 107 - i. Does 17 divide u?
True
Let g(z) = -2*z - 7. Let k be g(-5). Suppose 2*r + 179 = 5*c + 64, -78 = -k*c + 3*r. Is 9 a factor of c?
False
Suppose -34 = -5*r + 3*s, 5 = -2*r - 5*s - 0. Is 5 a factor of r?
True
Let z(x) = 4*x**2 - 4*x + 1. Let f = 0 - -4. Does 10 divide z(f)?
False
Let a(g) = -g**3 + 5*g**2 + g - 3. Let j be a(5). Suppose -3*b + 94 = l, j*b = -2*b + 2*l + 142. Does 15 divide b?
False
Let n = 83 - 41. Does 7 divide n?
True
Let u = 47 - 68. Let l = 9 - u. Is 30 a factor of l?
True
Let f(n) = 2*n**2 + 9*n + 3. Is 21 a factor of f(-6)?
True
Let w = 1 + 0. Let n be 4 + 0/(-2) + w. Suppose m - n*f = -4*m + 25, 0 = 3*m - f - 25. Is m a multiple of 6?
False
Is 90*2/(12/9) a multiple of 27?
True
Let x be (-2)/((-4)/18) + 0. Suppose -3*p - 4*h = -56, -6*h = -2*p - 3*h + x. Does 3 divide (-87)/(-12) + (-3)/p?
False
Let x(k) = k**2 + 8*k - 7. Let l be -15*(3/9)/1. Let r(y) = -2*y**2 - 16*y + 15. Let f(v) = l*x(v) - 3*r(v). Is f(-10) a multiple of 10?
True
Suppose -4*r = -9*r - 960. Is r/(-20)*(-30)/(-9) a multiple of 13?
False
Let v be (33/(-4))/((-3)/8). Suppose 2*q - 26 - v = 0. Is q a multiple of 7?
False
Suppose -2*s = 3*s - 150. Does 8 divide s?
False
Suppose -5 = -0*t - 5*t. Suppose -17 = -2*x + t. Is 7 a factor of x?
False
Suppose -2*f + 6 = 5*k - 13, 0 = 4*f - 2*k - 26. Is 7 a factor of f?
True
Is 3*(-10)/45 - 22/(-6) a multiple of 3?
True
Suppose 0 = -x + 4*x - 51. Let c = x - 9. Is c a multiple of 5?
False
Does 47 divide ((-4)/1 - -2) + 53 + -4?
True
Let m = -69 - -126. Let g(t) = -5*t**3 - t**2. Let i be g(-1). Suppose -i*v = -v - m. Is 8 a factor of v?
False
Let r be -9 - (0/1 - 1). Let s(d) = d + 4. Let z be s(r). Let v(b) = b**3 + 3*b**2 - 4*b + 3. Does 3 divide v(z)?
True
Let o be 1 - 9 - (-2)/(-2). Let m(x) = x**3 + 10*x**2 + 7*x - 10. Let f be m(o). Let d = f - 0. Does 8 divide d?
True
Suppose 5*j + j - 576 = 0. Is 16 a factor of j?
True
Let c(w) = -w**3 - 4*w**2 + 7*w - 6. Let h be c(-6). Suppose -m + 27 = -4*g, -m + 2*g + h = m. Is m even?
False
Suppose 21 = 5*y - 0*y + a, y - 8 = -4*a. Suppose -y*i - 5 = -77. Does 6 divide i?
True
Suppose 5*l + 10 = -4*c, -3*l + 3*c + 0 = -21. Suppose k = -l*k + 54. Is k a multiple of 9?
True
Let j = 5 + -1. Suppose -5*w - j = -109. Is w a multiple of 17?
False
Is 9 a factor of (-96)/(-8)*(0 + 1)?
False
Suppose j - 2 = 1. Suppose 0 = -2*a - 5*w + 6 - 25, 5*a - j*w = 30. Is a even?
False
Let a(f) = f**3 + 21*f**2 + 28*f + 18. Is a(-19) a multiple of 16?
True
Let r = -14 + 78. Suppose 4*i - 70 - 5 = 5*h, 3*i = -4*h + r. Is i a multiple of 7?
False
Suppose 4*v - 2*v - 46 = 0. Suppose 2*n = 5*c + 52, c + 42 = 3*n - v. Is 8 a factor of n?
False
Does 22 divide 3/(54/(-4)) - 2260/(-45)?
False
Let u = 11 + -19. Let p be (3/(-2))/((-6)/u). Does 5 divide p/(-8) - 156/(-16)?
True
Does 28 divide 327/6 - 3/6?
False
Suppose -1 = b + 2*l, 4*b - 1 = b - 4*l. Suppose -b*a + 2*a = 0. Is 13 a factor of a + (-24 + 2)/(-1)?
False
Let u = -5 - -7. Let o = 5 - u. Suppose -60 = -o*r - 0*r. Does 7 divide r?
False
Let p = -2 + 22. Let g(w) = w + 28. Let m be g(0). Suppose -p = -3*r + m. Does 7 divide r?
False
Suppose 3*l = -3*u + 180, -101 = -l + 2*u - 29. Is 8 a factor of l?
True
Let g be (-1)/(-5) - (-74)/5. Let f = 42 - g. Is 5 a factor of f/5 + 6/(-15)?
True
Is 4 a factor of 2/4 + (-174)/(-4)?
True
Let g(j) = 2*j - 5. Let t be g(4). Suppose 4*n - 3*y - 448 = 0, -t*n - 2*y = y - 357. Does 17 divide n/3 - 4/(-6)?
False
Let m be (-1)/((4 - 3)/(-3)). Suppose x + m*x = 40. Suppose -2*k - x = 0, -2*h - 27 = -3*h + 5*k. Is h a multiple of 2?
True
Suppose i - 55 + 19 = -2*r, -r - 62 = -2*i. Suppose 8*g - 6*g - i = 0. Is 4 a factor of g?
True
Let k be (-83)/(-5) - 18/30. Let c = k + -8. Is 8 a factor of c?
True
Suppose d + 1 = 70. Does 14 divide d?
False
Suppose -4*p = 12 - 64. Suppose 0 = -0*l - l - p. Let j(y) = -y - 5. Is 5 a factor of j(l)?
False
Let p be 1/((-1)/4*-1). Does 7 divide 2/p + 148/8?
False
Is 8 a factor of (-80)/((-20)/(-5) + -5)?
True
Let a = 17 - 14. Suppose -a*y = 5*u - 428, 2*u + 5*y = y + 160. Does 22 divide u?
True
Let n(q) be the third derivative of -q**4/24 - q**3/3 + 4*q**2. Let y be n(-5). Suppose -2*x + 22 = -y*k, -4*x + k = 2*k - 16. Is x a multiple of 5?
True
Suppose 3*m - 337 = -100. Is 27 a factor of m?
False
Let k(m) = 2*m - 7*m**3 - 1 + 1 - 2*m**2 - 3*m. Let n be k(-1). Suppose -2*b + n*b = 40. Is b a multiple of 5?
True
Is 19 a factor of 76/12*(1 + 5)?
True
Let p(w) = -w**3 - w**2 + w - 1. Let j be p(0). Does 15 divide (j + -7)/4 - -32?
True
Let i be -1 - 4*(-2 - -1). Suppose 2*q = i*r + 3 - 87, 2*r - 58 = 2*q. Suppose 2*w + 0*w - r = 0. Is w a multiple of 5?
False
Suppose 4*y + 4 = -4. Is 23 - 7/((-7)/y) a multiple of 6?
False
Let o(t) = 6*t**2 - 1. Let j(w) = -w**2 + 2*w + 2. Let x be j(3). Let n be o(x). Suppose -1 = -n*h - 4*m + 41, -4*h + 32 = 4*m. Is 10 a factor of h?
True
Suppose 4*h + 3*b - 176 = 0, -4*b = -2*b. Does 22 divide h?
True
Let c(j) = j**2 + 4*j + 2*j**2 - 10*j. Does 8 divide c(4)?
True
Is 2*152*(-1)/(-2) a multiple of 14?
False
Suppose 3 = k - 0*k. Let g(h) = 5*h**2 + h. Let j be g(2). Suppose 5*x = -3*r + j, -3*x - k = 5*r - 13. Is 3 a factor of x?
False
Let r(m) = -m**2 + 7*m - 1. Let d(w) = -w**2 + 5*w + 6. Let z be d(5). Let j be r(z). Suppose j*k - 80 = k. Does 20 divide k?
True
Let q be (3/2)/(3/8). Suppose n - q = -n. Suppose -s = n*z - 47, 3*s - 2 = -17. Is z a multiple of 13?
True
Let d = 126 - 57. Suppose -5*i - 4*t + d = -75, t - 1 = 0. Is i a multiple of 12?
False
Does 12 divide (-131)/(-1) - (-1 + -7)/4?
False
Does 4 divide 327/21 + (-8)/14?
False
Let w(y) = y**3 + 2*y**2 - 5*y + 2. Suppose 5*c - 6 = 4*l - 3, 4*l + c = 15. Is 13 a factor of w(l)?
False
Suppose 0 = 3*i - 5*z - 32, 5*i = z + 1 + 23. Is 4 a factor of i?
True
Does 24 divide (-155)/(-4) - (-13)/52?
False
Let i(z) be the second derivative of z**5/20 - z**4/12 - 7*z**3/6 + 2*z**2 + 2*z. Let s be i(5). Let t = -41 + s. Does 14 divide t?
True
Suppose -d = -3*f - f - 77, -6 = 3*f. Is 8 a factor of d?
False
Let r(n) = n**2 - 3*n - 2. Let s be r(3). Let t(k) = -67*k + 1. Let i be t(s). Suppose i = 3*z - 0*z. Is 14 a factor of z?
False
Suppose 0*r = -2*r + 26. Let h = -1 - -6. Let k = r - h. Is k a multiple of 3?
False
Suppose 0 = -2*y - 6, -r - r + 51 = 3*y. Let p be (7/(-3))/(10/r). Let c(z) = z**2 + 4*z + 9. Does 8 divide c(p)?
False
Let a = 6 - -194. Does 50 divide a?
True
Let j(d) = -d**2 + 9*d + 13. Let s be j(10). Suppose -153 = -5*c - s*g - 45, -3*c = -g - 76. Suppose 0*l - 2*l = -c. Is 12 a factor of l?
True
Let b(x) = -2*x. Let u be b(-2). Suppose 134 = u*z + 34. Is 8 a factor of z?
False
Suppose -2*d = 4*y + 4, d + d - 14 = 2*y. Suppose d = 2*r + 5*f, -2*r - 2*f + 4 = -4*f. Does 2 divide r?
True
Let j = -2 + 33. Suppose 0*w = -4*t - 5*w + j, -2*t - 5*w = -23. Is 100/7 + t/(-14) a multiple of 14?
True
Let d(a) = -2*a - 5. Let c be d(-10). Is (-30)/c + (23 - 1) a multiple of 11?
False
Let o(r) = 3 + 1 - r + 0*r. Let u be o(0). Suppose u*n - 23 - 77 = -4*y, -4*y + 5*n = -73. Is y a multiple of 11?
True
Suppose 4*g - 2*g 