3*w + 4*z - 70, j - 22 = -2*w + b*z. Is w a multiple of 7?
False
Let k = 1 - -1. Let x be 0/(k/3*3). Is (0 - x) + 8*1 a multiple of 8?
True
Let k = -36 + 62. Let m = 46 - k. Does 7 divide m?
False
Suppose 2*n + 244 = 6*n. Let f = n - 21. Is f a multiple of 12?
False
Let q(d) = -3*d**3 - 5*d**2 - 3*d - 3. Is 10 a factor of q(-3)?
False
Suppose 8 + 7 = -3*i. Is (6/(-5))/(2/i) a multiple of 2?
False
Let h be -192 - 3 - 2 - -3. Is 19 a factor of h/(-10) - (-18)/(-45)?
True
Let d = -8 - -7. Is 10 a factor of 5 + 17 - (d + 2)?
False
Let x(a) = -23*a**3 - a**2. Let h be x(-1). Suppose -3*n + 40 = y, -2*y + h = 3*n - 13. Is n a multiple of 4?
False
Let z(u) = u**3 + 4*u**2 - 3*u + 2. Let y be z(-5). Let p = y + 12. Suppose -p*j - 42 = -146. Is 13 a factor of j?
True
Suppose 4*x - 32 = -8. Suppose -2*i = 5*q - x + 22, 52 = -2*i + 4*q. Does 11 divide -2 + 4 + i/(-2)?
True
Suppose 5*a = -4*p - 0 - 9, 1 = -a. Let w = 8 - p. Let i(h) = 2*h - 1. Is i(w) a multiple of 14?
False
Let l be (-1)/5 - 1244/(-20). Let m = l + -27. Does 7 divide m?
True
Let l(y) = -3*y**2 + 4*y + 8. Let h be l(6). Let v = -37 - h. Is v a multiple of 13?
True
Suppose -2*x + 0*x - 6 = 0, x + 105 = 3*z. Is z a multiple of 17?
True
Let z = 7 + -3. Suppose 0*b + 16 = z*b. Does 4 divide b?
True
Let q be 1/((-3)/(-2*6)). Suppose -3 = -a + q. Is 6 a factor of a?
False
Let r be 2/(-3) + (-11)/(-3). Let a = -178 - -121. Is (r/(-3))/3*a a multiple of 16?
False
Suppose -b + 4 - 2 = 0. Suppose 0 = -b*r - n + 101, -2*r + 28 = 2*n - 68. Let w = r + -21. Is 14 a factor of w?
False
Let r = -33 + 21. Let z = 7 + r. Is 3 a factor of -1*(-8)/(-5)*z?
False
Let v be 344/(-28) - 2/(-7). Let i = 16 + v. Is i even?
True
Is (-2)/(4/((-28)/1)) a multiple of 4?
False
Suppose -c + 0*c + 3*n - 19 = 0, 3*c + 2*n = -13. Let k = c - -44. Does 11 divide k?
False
Let k(q) = -q**3 + 3*q**2 + 3*q + 4. Let a be k(3). Suppose -5*d - 3*w - w = -8, -3*w + 6 = 2*d. Is 6 a factor of a - (d + 2 + -3)?
False
Suppose 0 = 3*z - 2*z + 6. Does 7 divide (91/(-21))/(1/z)?
False
Let q = 54 - 49. Is q a multiple of 5?
True
Suppose 3*a = -2*f + 33, 0*f + f - 23 = 5*a. Suppose f = 2*k - k. Is 7 a factor of 3/(-3) + k + 1?
False
Suppose 5*u + s - 28 = 0, u - 4*s + 5 = 19. Is u even?
True
Let b(w) = -2*w - 4. Let h be b(-4). Suppose 5*x - 73 = -h*g, 5*x - 7 = -g + 30. Is 4 a factor of g?
True
Is 20 a factor of ((-60)/(-16) - 4) + 453/4?
False
Let h(c) = -c**3 + 3*c**2 - 2*c + 2. Let g be h(3). Let r(a) = -a**3 - 3*a**2 + 3*a - 2. Let z be r(g). Suppose 14 = z*p - p. Is p a multiple of 14?
True
Suppose -x + 1064 = 6*x. Does 8 divide x?
True
Let n = 20 - 11. Is n even?
False
Let b = 5 + -3. Suppose 75 = 5*c + 5*s, -b*c - 2*s + 11 = -c. Is c a multiple of 5?
False
Let s(c) = -c - 10. Let z be s(-10). Suppose -5*w - 5*j = -w - 175, w - 3*j - 65 = z. Does 16 divide w?
False
Is 2 a factor of (-1)/(2 - (-10)/(-4))*10?
True
Let d = 1 - 1. Suppose -f + 22 = -d*f. Is f a multiple of 16?
False
Does 3 divide 30/20 - 94/(-4)?
False
Suppose u + 9 = -7. Let r = u - -1. Is (-215)/r - (-2)/3 a multiple of 9?
False
Does 3 divide -10*(1/(-3) + 21/(-18))?
True
Let c(m) = m - 1 + 15 - 1. Let s be c(-7). Is (8/s)/((-2)/(-42)) a multiple of 14?
True
Let w(u) = 4*u + 4. Let p = 11 + -8. Let m be (5 - p)/(-1) - -6. Is 16 a factor of w(m)?
False
Suppose o = -3*a + 4, 2*o - a + 6 = -7. Let x(j) = j**3 - 4*j**2 - j - 3. Let i be x(5). Let n = i - o. Is 11 a factor of n?
True
Is 17 a factor of 2/12*-4*-51?
True
Let f(z) = z**2 + z - 1. Let m be f(-3). Suppose -4*q = 4*g + 8, m*q + g = -g - 1. Is 13 a factor of (-1)/(2*q/(-26))?
True
Does 19 divide 1026/36*(2 + 0)?
True
Let c = 7 - 7. Suppose 3*l - 23 - 64 = -3*u, c = -u + 3. Is 13 a factor of l?
True
Suppose -f + 2*f - 26 = 0. Is 17 a factor of f?
False
Let b(m) = -m**3 - 10*m**2 - 2*m + 5. Does 7 divide b(-10)?
False
Let x(q) = q**3 + 5*q**2 + q + 5. Let w be (-2 - -4)/(4/(-10)). Let l be x(w). Suppose 0 = 5*y - 45 - l. Is y a multiple of 9?
True
Suppose -c = -3 - 0. Suppose -3*s = -c*i - 66, 7*i + 59 = 2*s + 2*i. Is 17 a factor of s?
True
Let g(o) = 8*o - 1. Let y(k) = -k + 1. Let w be y(4). Let t be g(w). Let n = 47 + t. Is n a multiple of 10?
False
Suppose -2*p + 12 = 2*p. Suppose 0 = -5*s - 3*b + 147, -4*s + 120 = -0*s + p*b. Is s a multiple of 12?
False
Let b(u) = -8*u + 2. Is 5 a factor of b(-1)?
True
Let o be (3 - 2)*-89*1. Let g = 0 + -8. Is 2/g - o/4 a multiple of 15?
False
Let u be (-5)/(-10)*(-1 - -1). Suppose 2*s = l - 94, 4*s - 6 + 2 = u. Suppose 0*z + 3*z = l. Is z a multiple of 16?
True
Let y(w) = -w - 2. Let r be y(-8). Suppose -3*o + r = 15. Is 13 a factor of (-6)/o - (-17 - 1)?
False
Let g(y) = -4*y**2 - 60*y - 4. Is 10 a factor of g(-8)?
True
Let u = -12 + 14. Suppose -u*l - 72 = -10*l. Does 6 divide l?
False
Let k(y) = y**3 + 6*y**2 - 6*y. Let n be k(-7). Let v(d) be the first derivative of -d**4/4 - 8*d**3/3 - 4*d**2 + 4*d - 1. Is v(n) a multiple of 11?
True
Suppose 4*w - 120 = -5*o - 0*w, 0 = 2*w. Is 7 a factor of o?
False
Let f(x) = -4*x - 5. Let z(a) = 5*a + 5. Let p(k) = 3*f(k) + 2*z(k). Does 7 divide p(-7)?
False
Suppose 5*c + 0*c - 185 = -4*y, -4*y + 5*c + 135 = 0. Does 19 divide y?
False
Let j(m) = -21*m + 5. Let p be j(5). Let i be (p/(-15))/((-2)/(-12)). Suppose -4*n - n + i = 0. Does 4 divide n?
True
Let l = -47 - -17. Let r = -23 - l. Is r a multiple of 2?
False
Suppose -5*r + 2*v + 255 = 0, -3*r + 151 + 2 = 5*v. Suppose 4*u - r = 3*u. Suppose -109 = -5*b + u. Does 20 divide b?
False
Let f(p) = p**3 - p + 23. Is 8 a factor of f(0)?
False
Let b(n) = 3 + n**2 + n**2 - 15*n - 6 + 5. Does 13 divide b(10)?
True
Suppose -9*o = -13*o + 212. Suppose o = 5*h - 7. Is h a multiple of 6?
True
Suppose 54 = 2*j - 5*j - 3*q, 5*j = -2*q - 90. Let z = 26 + j. Suppose 2*k = 3*h + z + 3, 3*h = 9. Is 10 a factor of k?
True
Let w = 34 + -16. Is w a multiple of 6?
True
Suppose 0 = -18*h + 15*h + 6. Suppose -h*d + 4*p + 61 = d, 5*p = -20. Is 3 a factor of d?
True
Does 5 divide (-136)/(-22) - 26/143?
False
Suppose 1 = s + 3. Let x be (-97 + s)*2/(-6). Does 15 divide 0 + (4 - 3) + x?
False
Suppose -b + r + 86 = 0, -98 = -b - r - r. Does 30 divide b?
True
Let t(q) = q**3 + 2*q**2 - q + 62. Does 15 divide t(0)?
False
Let s = 183 - 31. Is s a multiple of 38?
True
Suppose 0 = -w - 2*w + 6. Let m(t) be the third derivative of t**4/3 - t**3/2 + 4*t**2. Is m(w) a multiple of 13?
True
Is (-990)/(-14) + 12/126*3 a multiple of 35?
False
Let u(c) be the first derivative of 1/2*c**2 - 3 - c. Is u(4) even?
False
Let a(x) = 2*x + 3. Does 3 divide a(3)?
True
Let o(f) = -f**3 - 2*f**2 + 3*f + 2. Let n be o(-3). Suppose 2 - 22 = 2*y + 4*m, -m = n*y + 11. Is 1 + (-4)/(y/9) a multiple of 10?
True
Let k = 15 - 11. Suppose -94 = -g + 2*f, 0*f + 376 = k*g - f. Suppose -4*a + 58 = -g. Does 15 divide a?
False
Let c = -94 + 129. Is c a multiple of 3?
False
Suppose -2*m + 64 = 8. Suppose -m = -d + 2. Is d a multiple of 17?
False
Suppose 0 = 3*f - 45 - 18. Let b = -40 + f. Let r = 3 - b. Is r a multiple of 11?
True
Suppose -10*b = -0*b - 1360. Is 29 a factor of b?
False
Suppose 4 + 8 = -4*z. Let x(g) = 11*g**2 + 21*g - 9. Let j(i) = 5*i**2 + 10*i - 4. Let f(n) = -13*j(n) + 6*x(n). Is 14 a factor of f(z)?
False
Suppose 56 = 4*l - 56. Does 28 divide l?
True
Suppose 0 = a - 2*l - 19, -a - 4*l + 9*l = -22. Does 17 divide a?
True
Suppose 4*p - 2*p = 5*d, -15 = 3*p. Let u(r) = 5*r + 3. Let n be u(d). Let v = n + 10. Is 3 a factor of v?
True
Let t(q) = 2 + 4*q**3 + 4 - 7. Is t(2) a multiple of 31?
True
Let a = -1 - 5. Let y(c) = -c**3 - 7*c**2 - 8*c + 2. Does 7 divide y(a)?
True
Suppose 2*q + 5*t - 342 = 0, -20 = -2*t - 3*t. Is q a multiple of 9?
False
Let y be (-4)/(-22) + 9/11. Is 18 a factor of y/(-4) - 269/(-4)?
False
Let s(k) = k + 2. Let j be s(2). Suppose 3*r + 6*b - 2*b = 16, 8 = -j*b. Is 13 a factor of (13/(-2))/((-4)/r)?
True
Suppose 4*y - 631 = 3*g, -3*y + 626 = y - 2*g. Is y a multiple of 11?
True
Let y = 27 - 53. Let b = y - -54. Is b a multiple of 7?
True
Let n = 27 - 12. Suppose n = 2*t - 13. Is t a multiple of 4?
False
Let l(s) = -10*s - 21. Is 4 a factor of l(-7)?
False
Let z be (-3)/3 + (1 - -2). Does 25 divide z/(-5) - 1188/(-20)?
False
Let n be ((-6)/(-8))/(1/(-8)). Is ((-27)/(-2))/(n/(-8)) a multiple of 6?
True
Let m