z + 2, 2*z - 7 = 4*r - x. Suppose s = -r*s + 35. Is s a multiple of 20?
False
Let l(w) = 5*w**2 - 1. Let x be l(-1). Let t = 6 - x. Suppose t = 5*n - 98. Is 8 a factor of n?
False
Suppose 4*z = -z + 145. Let j = -6 + z. Let a = -1 + j. Is a a multiple of 11?
True
Suppose -9*y = -5*y. Suppose -5*i + 4*o = -83, y = -3*i + 4*i + 3*o - 9. Suppose 0 = -2*c - 3*k + k + 18, 5*k = 5*c - i. Is 2 a factor of c?
True
Let h(o) = o**2 + 3*o + 4. Suppose 1 + 14 = 5*i. Let b(c) = -c**3 + 2*c**2 + 3*c - 3. Let a be b(i). Is h(a) a multiple of 3?
False
Let l(b) = b + 11. Let j be l(-9). Suppose j*c = 8 - 0. Suppose -y + 15 + 8 = n, -c*y = 0. Does 9 divide n?
False
Suppose -2*g - 2*g - 48 = 0. Let u be (-56)/g + 2/6. Suppose 4*k - u = 2*o + 7, o = k - 1. Does 2 divide k?
False
Suppose 3*p = 3*k, -6*p + p - 18 = k. Let t = -4 - k. Is 15*(0 - t - -1) a multiple of 15?
True
Let x = -23 + 14. Let b = -32 + 57. Let p = b + x. Does 8 divide p?
True
Let l(u) = -3*u**3 + 2*u - 1. Let c be l(-2). Let z be c/4 - (-5)/20. Suppose -s + z*w + 19 = 0, -2*s + 2*w = 6*w + 4. Does 2 divide s?
True
Let f be 2 + (24/(-3) - -1). Let z be (-2)/5 + (-12)/f. Let d(w) = 5*w**3 - 4*w**2 + 2*w. Is 11 a factor of d(z)?
False
Suppose l - 4 = 0, -2*l - 12 = -4*o + l. Suppose -t = -o*t + 105. Is 21 a factor of t?
True
Is (-26)/91 + 254/7 a multiple of 6?
True
Let g = 38 - 124. Is 23 a factor of (3/(-2))/3*g?
False
Suppose -3*a = -18 - 81. Suppose 0 = 3*k + 2*d - a - 55, -3*d - 44 = -k. Is 16 a factor of k?
True
Let z(p) = 55*p**3 + 2*p - 1. Let q be z(1). Suppose -q = -2*b + 2*f, -b - 4*f + 0*f = -53. Does 33 divide b?
True
Let a(m) be the second derivative of 7*m**4/6 + m**3/6 + 5*m. Does 4 divide a(-1)?
False
Let c = -50 - -293. Is 45 a factor of c?
False
Let z(s) = -s**2 - 12*s - 30. Is z(-7) a multiple of 2?
False
Let i(k) = -k - 5. Let z be i(-5). Suppose -5*p = 3*y - 350, z = 4*p + p - 5*y - 390. Does 15 divide p?
False
Let q = -13 - -23. Is q a multiple of 6?
False
Suppose 3*f + 108 = 6*f. Does 9 divide f?
True
Let q(w) = 2*w**3 - 2*w**2 + 3*w - 4. Is 4 a factor of q(2)?
False
Let b(t) = -t + 45. Is 15 a factor of b(0)?
True
Let g(s) = -s**2 + 15*s - 11. Let u be g(14). Suppose u*h = -b + 27, -5*b + 10*b - h = 167. Does 11 divide b?
True
Let o(s) be the first derivative of -s**2 - s - 1. Let x be o(-3). Suppose -3*w + x*w = 24. Is 6 a factor of w?
True
Let f(u) be the second derivative of -124*u**3/3 - u**2/2 + 2*u. Let y be f(-1). Suppose -y = -5*i - 17. Does 17 divide i?
False
Suppose 0 = 2*g - 4*p - 460 + 16, 3*g + 3*p = 693. Does 19 divide g?
True
Is (2 - 3)/((-2)/10) a multiple of 2?
False
Suppose f + 21 - 2 = 5*t, 3*f = 4*t - 24. Suppose 8 = 2*n + 2*p, t*n - 20 = -0*p - p. Does 7 divide (-158)/(-6) + n/12?
False
Suppose 2*o - s = 3*o - 8, 5*o + s = 20. Suppose o*t + 0*t - 51 = 0. Is t a multiple of 14?
False
Suppose 2*p - 2*x - 75 = -p, -125 = -5*p - x. Does 5 divide p?
True
Is 4*2*(0 - (-3)/6) even?
True
Suppose 3*k + d + 9 = 0, 3 = -3*k - 2*d - 3. Let g(u) = 2*u - 2 - 5*u + 4*u + u**2. Is 5 a factor of g(k)?
True
Let g = 14 + -9. Let x(d) = d**2 + 4*d - 2. Let l be x(-5). Suppose 0 = h + l*h - 2*c - 56, 5 = h - g*c. Is 15 a factor of h?
True
Let y = 2 + 3. Suppose 5*r - y*n = 30, -n - 6 = -r - 6*n. Does 2 divide r?
True
Let q be 13 + (-1 - -3 - 1). Suppose 11 = 5*x - q. Suppose x*c = c + 16. Is 4 a factor of c?
True
Let b(v) = v + 9. Let q be b(-5). Suppose 4*w = 8, 75 = q*m + 4*w - 21. Does 22 divide m?
True
Suppose 0 = 2*b - 69 - 41. Is 11 a factor of b?
True
Let i(u) be the first derivative of 4*u**3/3 - u**2/2 - 2. Let g be i(1). Suppose -2*w + g*w = 7. Is 3 a factor of w?
False
Suppose -6*v - 605 = -11*v. Let t = v + -69. Does 23 divide t?
False
Suppose 3*f + 4*c = 8, 5*f - 16 = 5*c + 9. Suppose -f*w - w = -150. Is w a multiple of 16?
False
Suppose -8*g + 7*g + 22 = 0. Is g a multiple of 15?
False
Let q be 4/6 - 440/(-6). Suppose -3*i + q = 14. Is 10 a factor of i?
True
Let y(l) = l**2 - 8*l + 4. Let g be y(8). Suppose 5*w + 5*n - 176 = n, 3*w + g*n = 112. Is w a multiple of 16?
True
Suppose -3*o - 12 = 0, -3*o + 2 = 4*n + 26. Does 3 divide (n - -5)/(2/3)?
True
Let b(t) = 3*t - 5. Let g be b(10). Suppose -g = -5*n - z, -z - 23 = -2*n - n. Is 3 a factor of n?
True
Suppose 4*x + i = 499, -4*x + 329 = 4*i - 167. Is x a multiple of 25?
True
Suppose -2*p + 6 + 12 = 0. Is p a multiple of 7?
False
Let g(s) = -s**3 + 6*s**2 + 5*s - 2. Is g(5) a multiple of 14?
False
Let x(n) = n**2 + 3*n + 38. Does 22 divide x(0)?
False
Let c(w) = -5*w - 10. Is 6 a factor of c(-8)?
True
Let c(p) = 0*p**2 + p**2 - 3 + 0*p**2. Let b = -15 + 9. Is c(b) a multiple of 11?
True
Suppose 2*v + v = 12. Suppose 11 + 149 = v*n. Is 20 a factor of n?
True
Let c = 114 - 81. Suppose -w = 5 - c. Does 8 divide w?
False
Suppose 2*p - 12 - 12 = 0. Does 3 divide p?
True
Let u(s) = -s**2 + 6*s + 1. Let c be u(7). Let v(m) = -m + 1. Is 3 a factor of v(c)?
False
Suppose -5*f - 7*u + 2*u = -25, -3*f + 11 = u. Suppose g + 4 = f*g - 4*q, 5*q + 14 = 4*g. Is 3 a factor of g?
True
Let o(p) = -p**3 - 5*p**2 + p - 3. Let v be o(-6). Let c be (-4)/3*v/(-2). Suppose c + 3 = 3*g. Does 6 divide g?
False
Suppose 3*n = 7*n - 4*x - 20, 6 = -2*x. Suppose 0*q = -q - 4*h + 18, 3*q - 84 = -n*h. Let l = q - 18. Is 12 a factor of l?
True
Suppose 0 = -3*t - 2*k + 7, 2*t + k - 30 = 6*k. Is 4 a factor of t?
False
Suppose 0*d - 4*y = 5*d - 7, 2*d = 3*y - 11. Does 10 divide d*(-18 + 1) - 1?
False
Let h(x) = x**2 + 5*x - 8. Let y be h(-7). Let t = 3 + y. Does 6 divide t?
False
Let x(b) = 8*b**2 + 4*b - 4. Let s be x(3). Suppose -2*f + 3*t = 3*f - 80, 0 = -5*f + 5*t + s. Is f a multiple of 8?
True
Does 20 divide 30*2 - (-1 + 1)?
True
Suppose 0 = -3*b + 1 + 14. Is b a multiple of 4?
False
Suppose -5 = l - 4*u - 0*u, -25 = -5*l - 5*u. Let k(d) = -l*d - d**3 + d + 5*d + 2*d - 7 + 5*d**2. Does 9 divide k(5)?
True
Let p be ((-45)/(-10))/((-2)/4). Let s(b) = 2*b - 2*b - 11 + b + b**2 + b. Is 26 a factor of s(p)?
True
Let z(n) = -n**2 - 9*n. Let s = 10 - 19. Let b be z(s). Suppose b = 2*q - 5*q - 15, 94 = 3*m - 2*q. Is 14 a factor of m?
True
Let q(z) = z**3 - z**2 - z + 242. Does 11 divide q(0)?
True
Does 18 divide (54/21)/((-7)/(-49))?
True
Let l(r) be the third derivative of -7*r**4/24 - r**3/6 - 2*r**2. Suppose -3*v + 32 = 3*w - 7*w, -w = -3*v + 17. Is l(w) a multiple of 17?
True
Suppose j + 4*y = -40, -2*j - 3*y = 66 + 19. Suppose -5*w - 2*u = 15, 4*w - 3*u - 13 = -2. Let s = w - j. Is s a multiple of 11?
False
Suppose z + 0*d = -4*d + 17, -4*z - d = -113. Does 14 divide z?
False
Let m = -26 + 0. Let a = -15 - m. Does 11 divide a?
True
Suppose 5*a - 136 = a + 5*p, p = -4. Is 10 a factor of a?
False
Let w = 3 + 5. Does 21 divide (-1 + -1)*(-84)/w?
True
Let b = 12 - 8. Let m(x) = -x**3 + 5*x**2 - x + 4. Is m(b) a multiple of 6?
False
Suppose v = -2*v + 114. Is v a multiple of 7?
False
Let y(q) be the first derivative of q**4/4 - q**2 - q - 3. Does 9 divide y(3)?
False
Let s(a) = -4*a**3 - 4*a**2 - 2*a + 1. Let x be s(-3). Let z = x + -55. Is 12 a factor of z?
True
Let d = -7 - -54. Does 7 divide d?
False
Suppose 0 = 6*k - 2*k + 3*a + 24, 2*k - 3*a - 6 = 0. Suppose 0 = 2*i - 4*i + 18. Let r = i + k. Is r a multiple of 6?
True
Suppose 4 = 5*q - 6*q. Let f(y) = -2*y + 7. Let d(j) = -2*j + 6. Let g(n) = 3*d(n) - 2*f(n). Does 7 divide g(q)?
False
Let b = -99 - -260. Does 16 divide b?
False
Let i = 0 + -3. Let w = i - -21. Does 9 divide w?
True
Let t(b) be the second derivative of b**3/2 + 2*b**2 + 3*b. Is 7 a factor of t(5)?
False
Let f = 148 + -64. Is 14 a factor of f?
True
Let g = -2 + 3. Let m(f) = f**2 - 2*f + 1. Let i be m(g). Suppose v - 40 - 3 = i. Is 20 a factor of v?
False
Suppose w + 0*w = -7. Let y(x) = -x**2 - 7*x + 2. Let f be y(w). Is ((-29)/(-2) + f)*2 a multiple of 17?
False
Let k be 10*((-72)/5)/(-6). Is 10*(0 + k/20) a multiple of 5?
False
Let r(j) = j. Let l be r(0). Suppose -2 = d - 2*n, 10 = 5*d + 4*n - 8. Suppose d*x + l*x = 52. Is 12 a factor of x?
False
Let d(g) = -7*g - 3. Suppose -4*q = -9 + 1. Suppose -q*w + 2 - 6 = 0. Is 5 a factor of d(w)?
False
Let t be (-20)/(-4)*(-3)/3. Let k be ((-4)/t)/((-2)/(-5)). Suppose q + 9 = 3*b + 48, k*q - 3*b - 87 = 0. Does 16 divide q?
True
Let k(c) = -5*c - 7. Suppose -3*d - 21 = -0*d. Is 1