= -2*i - 4. Let w be v(-3). Suppose w*r - 20 = 12. Suppose -4*n + s + 34 = 0, -3*n + n + s = -r. Is n a multiple of 5?
False
Suppose 3*s - 4*s = 4*y + 3, 9 = -3*s + y. Let i = s - -5. Suppose -2*q = -0 - 4, -i*q = -4*d + 48. Is d a multiple of 9?
False
Let r(k) = 10*k - 6*k - 5*k + 3 - 10*k**2 + k**3 + 21*k**2. Is r(-11) a multiple of 4?
False
Suppose 3*t + q = 40, t + q = 4*q. Is t a multiple of 6?
True
Let o = -7 - -7. Suppose 0*f - f + 8 = o. Let c(y) = -y**3 + 8*y**2 + 3*y - 5. Is c(f) a multiple of 14?
False
Let h(v) = -2*v**3 - 9*v**2 - 3*v + 1. Is h(-6) a multiple of 9?
False
Suppose 5 = -v + 2*b - 2, 19 = -2*v + 5*b. Suppose -m = -2*w - 2*m + 4, v*w - 6 = m. Is 5 a factor of (-22)/(-4) - 1/w?
True
Let l be (2 - (-6)/(-3))/1. Does 4 divide 4*(3 + l)/3?
True
Let h(v) = -7*v**3 + 3*v**3 + 4*v - 1 + 3*v**2 + 3*v**3. Suppose 3*a + 2 = 11. Is 11 a factor of h(a)?
True
Let q = 252 - -15. Suppose 5*j - 63 - q = 0. Is 0/(-1) - j/(-2) a multiple of 17?
False
Let l = 0 + 153. Suppose 5*j - l = -2*a, -j + 5*j = 4*a - 236. Does 19 divide a?
False
Let j = -109 + 181. Suppose a = 5*a - j. Does 6 divide a?
True
Let m(g) = -g + 14. Suppose 0 = -i - 3*o + 8, -8 - 8 = -2*i + 2*o. Is 6 a factor of m(i)?
True
Let k = -19 + 24. Does 4 divide (k/15)/(2/102)?
False
Let z(t) = 4*t + 9. Let d(q) = 4*q + 10. Let w(a) = 2*d(a) - 3*z(a). Is w(-6) a multiple of 5?
False
Suppose 3*k - 5*k = 14. Let g be 1/(-2)*(-2 - -28). Let l = k - g. Is l a multiple of 3?
True
Suppose 0 = 4*l, -2*m - l - 4*l = 0. Suppose m = -2*q - 0 - 2. Is ((-3)/6)/(q/6) a multiple of 3?
True
Suppose -3*y - 2*g - 219 = -8*y, 3*g - 54 = -y. Is y a multiple of 15?
True
Let l = 6 + -8. Let s be ((-1)/l)/(4/(-8)). Let t(j) = -22*j - 1. Does 14 divide t(s)?
False
Let m = -45 - -85. Is m a multiple of 4?
True
Suppose -3*k = 1 - 7. Suppose 0*y + 37 = 4*y - 3*x, k*x = -4*y + 42. Is y a multiple of 6?
False
Suppose -2*w + 24 = w. Suppose r = -3*r - w. Let j = 4 + r. Is j even?
True
Is 50 a factor of (-147)/(-6)*8 + 4?
True
Let p be 50/3*150/(-20). Let q = p + 179. Is 18 a factor of q?
True
Let p(i) = -13*i - 15. Is 14 a factor of p(-13)?
True
Suppose 2*x + 3 = -x. Let l = x + 14. Does 7 divide l?
False
Does 25 divide 51*1 + -6 + 5?
True
Let a(l) = l**2 - l + 8. Let z be a(6). Suppose 4*p - 76 = -5*u + 138, -z = -u + 4*p. Let n = -3 + u. Is 13 a factor of n?
True
Let z be 13 - (5 - (-1 - -3)). Let o = 27 - z. Is 3 a factor of o?
False
Let h(u) = -3 + 0*u**2 - 3 - 2*u**2 - 3*u - 9*u**3 + 4. Does 17 divide h(-2)?
True
Suppose 12*p - 8*p - 108 = 0. Is 6 a factor of p?
False
Let j = 5 + 6. Is 738/66 + (-2)/j a multiple of 8?
False
Suppose 2*r - 13 = -2*y + y, 20 = 5*y - 5*r. Is y a multiple of 2?
False
Let z = -6 - 2. Let y(i) = i**3 + 4*i**2 - 1. Let q(x) = x**3 + 5*x**2 + x - 2. Let t(c) = 5*q(c) - 4*y(c). Is t(z) a multiple of 11?
False
Let z(a) = a**3 - a**2 + a + 2. Let q be z(3). Suppose -3*v + q + 7 = 0. Does 4 divide v?
False
Suppose -3*t - 4*o - o - 14 = 0, 4*t + 12 = -5*o. Suppose -2*s - 3*s = 10, 5*s = -t*m + 50. Does 15 divide m?
True
Suppose 5*p - 48 = -4*j, -1 - 11 = -j - 3*p. Suppose j - 76 = -4*o - 2*y, 2*o - 48 = 3*y. Does 9 divide o?
True
Let s(b) = 4*b**3 + 15*b**2 + 21 - 14*b + b**2 - 5*b**3. Does 11 divide s(15)?
False
Let x = 151 - -134. Is 18 a factor of x?
False
Suppose -16 - 14 = 5*r. Let y(x) = -x + 8 + x + x**2 + 5*x. Does 7 divide y(r)?
True
Suppose 2*p - 1 = 3*p. Let s(o) = 2*o**2 - o - 1. Let r be s(p). Suppose 0 = -5*y + 2*t + t + 20, 4*y = r*t + 18. Is y a multiple of 7?
True
Let q(p) = -p**3 - 6*p**2 - 3*p - 2. Let s be q(-7). Suppose -112 = -3*c - i, s = c + c - i. Does 12 divide c?
True
Let k(n) = n**2 + 6*n + 18. Is 13 a factor of k(9)?
False
Is 9 a factor of (-168)/(-18) + (-2)/6?
True
Let b(a) = a**3 - 14*a**2 + 2*a - 16. Let c be b(14). Let h = 15 - 10. Let f = h + c. Is 12 a factor of f?
False
Let l be (-2)/(-4) - (-5)/2. Suppose l*c - 384 = -c. Suppose 5*m - c = m. Does 12 divide m?
True
Let c be -5 + (-2 - (-2)/2). Is 4/(-6) + (-124)/c a multiple of 20?
True
Is 8/(-6)*225/(-6) a multiple of 6?
False
Let p(d) = d**2 + 9*d. Let k be p(-9). Let r(z) be the second derivative of z**3/6 + 18*z**2 - z. Is r(k) a multiple of 16?
False
Let n be (-1*1)/(1/(-3)). Suppose -m = m. Suppose -4 = b + 3*b + 4*t, m = n*b - 4*t - 32. Is b a multiple of 4?
True
Suppose 3*z = 2*z. Is 15 a factor of (1 + 38)/1 - z?
False
Let z(c) = 15*c + 21. Is 9 a factor of z(4)?
True
Let f(u) = u + u**2 - 2*u + 2*u. Let b(w) = -19*w**3 - 3*w**2 - 5*w + 1. Let z(g) = -b(g) - 3*f(g). Is 10 a factor of z(1)?
True
Suppose 15*p - 2616 = 3*p. Is 46 a factor of p?
False
Let k(r) = r**3 - 8*r**2 - 2*r - 10. Is 6 a factor of k(9)?
False
Let f(a) = a**3 + 2*a**2 - 5*a - 3. Let w be f(-4). Does 3 divide w/10 + (-30)/(-4)?
True
Let b = 6 - 8. Let m(g) = 2*g**3 + 3*g**2 + g + 2. Let y be m(b). Is 6 a factor of ((-6)/7)/(y/84)?
True
Let t = 72 - 40. Suppose -2*r = -0*r + 2*o + 44, -4*r = 2*o + 88. Let w = r + t. Is 10 a factor of w?
True
Suppose -2*b - 4*t + 176 = 0, b + 4*t = t + 84. Is 24 a factor of b?
True
Suppose 0 = 4*i + 3*v - 19, -4*i - 4*v + 7 = -9. Let j(x) = -2*x - 18. Let y be j(-14). Suppose y*m = i*m + 12. Is m a multiple of 4?
True
Suppose d = -3*d - 2*q + 358, -355 = -4*d + q. Is 37 a factor of d?
False
Let a(b) = b**2 - b. Let r be a(4). Is 6 a factor of 2/(-12) - (-230)/r?
False
Let p(n) = n**3 + 4*n**2 - 5*n + 3. Let w be p(-5). Let f = 31 - w. Let m = f + -12. Is m a multiple of 16?
True
Suppose -7*n + 92 = -62. Does 11 divide n?
True
Suppose -7*g + 2*g - 110 = 4*u, -24 = u + 3*g. Let v = 14 - u. Does 12 divide v?
False
Let b = 8 - 2. Suppose v + b = 3*f + 19, 49 = 3*v - 4*f. Is v a multiple of 6?
False
Suppose 4*z - 42 = 542. Is 27 a factor of z?
False
Suppose 5*h - 15 = -v - 0*v, -5*h = -4*v - 15. Let m(y) = 2*y - 1. Let d be m(h). Suppose d*u - 32 = u. Does 6 divide u?
False
Suppose 7*b + 19 = 8*b. Is 10 a factor of b - (-3 - (-2 + 0))?
True
Suppose -2*r - 1 = -7. Suppose -r*q + 336 = q. Does 8 divide 2/3 + q/9?
False
Suppose 0*a + 5*a = 430. Suppose -4*w = -w + 2*h - 47, -4*w + a = -2*h. Does 5 divide w?
False
Let x(a) = a. Let d be x(2). Suppose 180 = 4*w + 2*p, 3*w - 86 = w - d*p. Suppose 3*g + q - 136 = -w, g - 5*q = 51. Is g a multiple of 13?
False
Suppose 11*l - 7*l - 88 = 0. Is 22 a factor of l?
True
Let g(f) = -3*f + 11. Let w be g(6). Is w*1/((-4)/8) a multiple of 14?
True
Let r(v) = 7*v - 15. Is 9 a factor of r(6)?
True
Let y(l) = -11*l + 5*l - 42*l**2 + 41*l**2 + 5. Let x be y(-7). Is 11 a factor of (-218)/(-10) - x/10?
True
Let g be (-16)/(-10) - 2/(-5). Suppose p - l = -g*p + 28, 0 = -p + 2*l + 1. Is p a multiple of 9?
False
Suppose -d + s + 75 = 0, 5*s = -4 - 16. Is 7 a factor of d?
False
Suppose 1 = -0*v - v. Let p = 4 + v. Let m = p + 5. Does 3 divide m?
False
Is 7 a factor of ((-4)/(-6))/((-22)/(-2871)) + -1?
False
Suppose z + 0*z - 75 = 0. Is 15 a factor of z?
True
Let q(m) = m**2 - 5*m + 3. Let i be q(9). Suppose -2*n + 51 = -2*r - 7, -r + i = n. Suppose 52 = t + 3*d + 2*d, n = t - 4*d. Is 16 a factor of t?
False
Let w = -5 + 12. Is 3 a factor of w?
False
Let o = 808 + -363. Is 13 a factor of o?
False
Let r(d) = -3*d - 10. Suppose -2*z - 15 - 3 = 0. Is r(z) a multiple of 17?
True
Let u be ((-50)/8)/(1/4). Suppose -5*v - 84 + 4 = 0. Let r = v - u. Does 9 divide r?
True
Suppose -32 = -4*f + 84. Is f a multiple of 9?
False
Suppose 0 = 5*d - 15, 2*d + 0*d = 2*n + 6. Suppose r - 3*r - 20 = n. Let v = -4 - r. Is v a multiple of 4?
False
Let i(f) = -7*f - 1. Let u be (-2)/4 - 4/8. Is i(u) a multiple of 6?
True
Let x = 17 - 8. Suppose 5*y + 2*p = 14 + 15, -3*y + 7 = -4*p. Let a = x + y. Is 7 a factor of a?
True
Suppose -4*s + f + 44 = -s, 72 = 5*s - 2*f. Is s a multiple of 4?
True
Let s(y) be the first derivative of y**2/2 + 2. Does 4 divide s(8)?
True
Let h be 3/(-9) - (-7)/3. Suppose -27 - 49 = -h*t - 4*f, 0 = -f + 2. Is 17 a factor of t?
True
Let v be (-4 + 6)*(-1)/(-2). Is 6 a factor of 8 - (3 + v) - -24?
False
Let c be (-2)/((-4)/((-32)/(-4))). Suppose g + 0*g + 37 = 2*a, -3*a - c*g = -50. Is 6 a factor of a?
True
Suppose 2*i + i = 303. Let g = i - 47. Is g a multiple of 20?
False
Suppose -2*d = 4*v - 51 - 47, -v = -5*d + 245. Let w = -29 + d. Is w a multiple of 20?
True
L