*z**2 + 2*z - 4. Let n be c(-8). Suppose 3*s = 22 + 92. Let h = n + s. Is h a multiple of 14?
False
Let p = -14 + 28. Let l = -9 + p. Is 5 a factor of l?
True
Suppose -5*p - 106 = -6*p. Is p a multiple of 3?
False
Suppose -4*x - 3*h = -115, 5*x + 0*x - 146 = -3*h. Is x a multiple of 31?
True
Suppose -5*d + 50 = -3*d. Suppose 0 = -5*l + 55 + d. Is l a multiple of 14?
False
Let f(q) = 9*q**2 + 5*q + 3. Let b(y) = 8*y**2 + 5*y + 3. Let x(g) = 6*b(g) - 5*f(g). Does 15 divide x(-3)?
True
Let p(z) = -z**3 + 2*z**2 - 2*z + 3. Let n be p(2). Is 9/1 - (n + -2) a multiple of 12?
True
Let b = 5 + -3. Suppose b*g = 6*w - 5*w + 11, g - 5*w - 1 = 0. Is g a multiple of 3?
True
Let q(r) = -2*r**2 + 4*r - 4. Let l(v) = 3*v**2 - 8*v + 7. Let d(j) = -6*l(j) - 11*q(j). Is 13 a factor of d(-3)?
True
Suppose 0 = -t - 11 - 1. Let u = t - -42. Does 30 divide u?
True
Let s = 64 + -45. Suppose s + 85 = 2*z. Let r = -26 + z. Is 13 a factor of r?
True
Is 23 a factor of -1 + 48 + (-3)/3?
True
Let h(y) = -y - 1. Let l be h(-4). Suppose -l*w = -6 - 12. Is w a multiple of 3?
True
Let x = 81 + -21. Does 30 divide x?
True
Let o(h) = h**2 + h - 1. Let k be o(2). Let x(t) = 9 - t**2 + 10 - 14 + 5*t. Does 3 divide x(k)?
False
Suppose 4*f = -5*y - 17, 16 = -5*y + 3*f - 15. Let c(j) = -j**3 - 6*j**2 - 5*j + 4. Is 2 a factor of c(y)?
True
Let c = -6 - -26. Is 5 a factor of c?
True
Suppose -3*i = 3*b + b - 1, -5*i + 11 = 2*b. Let f(j) = 6*j**2 + 2*j - 5. Let k(d) = 7*d**2 + 3*d - 6. Let v(y) = 4*f(y) - 3*k(y). Is v(i) a multiple of 9?
False
Let v(m) = m**2 - 13. Does 6 divide v(-9)?
False
Let o(g) = 0*g + 6*g + 6 - g. Is o(9) a multiple of 18?
False
Let h(n) = -24*n. Let z = 11 + -19. Let u = z - -6. Does 16 divide h(u)?
True
Let x be (4/6)/(2/6). Let h(b) = 5*b - 6. Let u(k) = 5*k - 7. Let g(w) = x*u(w) - 3*h(w). Is g(-3) a multiple of 9?
False
Suppose 3*g = -5*c + 6, 0 = 4*c + c. Suppose -g*d = 18 - 80. Is 11 a factor of d?
False
Let w(i) = 7*i**2 + 6*i + 3. Is 22 a factor of w(-5)?
False
Suppose -w = 2*n + 8, 5*w = -7*n + 2*n - 15. Let i = 5 + n. Let m(c) = c**2 + c + 15. Does 8 divide m(i)?
False
Let a be (1 + 1)*45/10. Is ((-27)/(-2))/(a/24) a multiple of 18?
True
Let r(a) = 2*a**2 + 2*a - 2. Let i(g) = -2*g**2 - g + 3. Let v(q) = 6*i(q) + 7*r(q). Is 14 a factor of v(-6)?
True
Let i be (-47)/(-4) + (-5)/(-20). Is (-1)/(4/i)*-22 a multiple of 22?
True
Let g(b) = -2*b**2 - 2. Let j be g(-2). Is 3 a factor of 35/3 - j/30?
True
Suppose -3*u - 2*u = -190. Let i = u - 16. Let s = i - 15. Is s a multiple of 7?
True
Suppose -2*a - 3*a - q = -5, -q + 5 = -3*a. Suppose a = -2*v + 2*t + t + 38, 0 = 3*t. Let n = v - 4. Does 7 divide n?
False
Suppose 8*x - 25 = 3*x. Does 2 divide x?
False
Let f = -15 + 32. Suppose 2*y + 2*s - 17 = f, 0 = 4*y + 2*s - 70. Is y a multiple of 5?
False
Suppose 2*b - 13 = 3*c, 0 = 5*b - c - 2 - 11. Let o = b + 2. Does 3 divide (o/(-5))/(1/(-10))?
False
Suppose 0 = -2*o + o + 1. Let i = 2 - o. Suppose i = -2*j + 11. Is j even?
False
Let z = -454 - -669. Is z a multiple of 16?
False
Suppose 8*r - 11*r = -159. Is r a multiple of 15?
False
Let j(b) = 0*b + 0*b - 5*b + 2 + 2*b**2. Is j(3) a multiple of 4?
False
Suppose 4*s + 3*r = 117, 2*s + 2*s - r - 137 = 0. Is 7 a factor of s?
False
Let u(f) = -f**2 - 8*f + 6. Let j be u(6). Let n = j + 182. Is 34 a factor of n?
False
Is 4 a factor of (-235)/(-15) + (-8)/12?
False
Suppose 3*x + 60 = -0*x. Let g = 31 + x. Is g a multiple of 8?
False
Let g = 8 + -5. Suppose g*u = -y, -2*y - 2*y - u + 33 = 0. Is 4 a factor of y?
False
Let u(t) = -3*t - 2 - 2*t - t**2 + 0. Let a be u(-4). Suppose 0 = a*x - 19 - 17. Is x a multiple of 12?
False
Suppose 2*d = 6*o - 3*o - 270, -4*o + 2*d + 362 = 0. Does 21 divide o?
False
Let j(d) = -2*d**2 + 4*d. Suppose -2*l - 6 = -4*l. Let u be j(l). Is 3/(-2)*32/u a multiple of 8?
True
Suppose -3*o = v - 9, 2*o + 1 + 4 = 3*v. Suppose 5*y - 118 = -43. Suppose c = v + y. Does 12 divide c?
False
Let a be 0 + -52 + (5 - 5). Let d = a + 117. Is 23 a factor of d?
False
Let j = 54 - 0. Is j a multiple of 9?
True
Let r(k) = k + 2. Let g be r(4). Suppose -h + 2*a - 62 = -3*h, 0 = 3*a - g. Is h a multiple of 23?
False
Let l = 12 + 16. Is 7 a factor of l?
True
Suppose c + 91 = 6*c + b, 2*c - 3*b - 50 = 0. Let d = 29 - c. Is d a multiple of 7?
False
Suppose -c + 8 = 4. Let x(t) = t**2 - 5*t + 6. Does 2 divide x(c)?
True
Suppose -5*y = -3*t - 13 - 2, 3*t = -y + 3. Is 2 a factor of (-275)/(-44) - y/(-4)?
False
Let v(t) = -25*t**2 + 4*t + 3. Let b be v(-2). Let u = -64 - b. Is u a multiple of 15?
False
Let q = 0 + 3. Suppose 2*i = 2*y + q*i - 57, 5*i - 61 = -2*y. Does 27 divide y?
False
Suppose -4*p - o + 1 + 31 = 0, 4*p + 4*o = 32. Suppose p = y + y. Suppose 0*q = y*q - z - 52, -z + 44 = 4*q. Is 12 a factor of q?
True
Let g = 1 - -5. Let m(s) = 2*s**3 + s**2 + 3*s. Let y(i) = -i**3 - i. Let z(c) = g*y(c) + 2*m(c). Is z(-2) a multiple of 12?
True
Let z(d) be the first derivative of 3*d**2/2 - 8*d + 2. Is z(8) a multiple of 8?
True
Suppose -3*y = -4*y + 2. Suppose 2*h + y*h = 0. Suppose 3*l - 92 = -4*n, -n = -h*n - 5*l - 46. Is 11 a factor of n?
False
Suppose -2*p = -6*p + 144. Is 6 a factor of p?
True
Let d(m) = m + 53. Does 24 divide d(-17)?
False
Let f = 23 - 7. Is 7 a factor of f?
False
Suppose 3*o = -2*o - 5. Let z be 18/(-12)*2/o. Suppose 0 = 2*c - z - 5. Is c a multiple of 2?
True
Suppose o + 6 = 4*o. Let b be (-16)/o - 0 - 1. Is 3 - 1 - b*1 a multiple of 8?
False
Let t(q) = 4*q**2 + q. Let v be t(1). Suppose -h = -v*h + 88. Does 6 divide h?
False
Let y(g) = 62*g**3 + 2*g**2 - 2*g + 1. Let j be -3 + 5 - (-2 + 3). Is y(j) a multiple of 22?
False
Let j(v) = v**3 - v**2 - 2*v - 5. Let q be 2 - (1 + 2 + -5). Is 12 a factor of j(q)?
False
Suppose 7*y - 3*y + 20 = 0, 0 = 5*s - 3*y - 45. Is 6 a factor of s?
True
Let y(m) = -m**3 + 3*m**2 - 4. Let d be y(5). Let j be -2 + (d + 0)/(-3). Suppose -x + j = 3*a - 2*x, 2*x = -a - 4. Does 4 divide a?
True
Suppose 2*m + 2*m - 212 = 0. Does 18 divide m?
False
Let x = -7 + 10. Suppose 65 = x*h - 1. Does 8 divide h?
False
Is 7 a factor of 72/3 + (0 - -4)?
True
Suppose -9 = -3*o, -3*v - v - 4*o - 20 = 0. Let z(b) = -b**3 - 9*b**2 - 11*b + 3. Does 11 divide z(v)?
False
Suppose -4*m + m = 0. Suppose 3*l + 3*l - 36 = 0. Suppose m*y + y = l. Does 3 divide y?
True
Suppose -5*l = 5*j - 775, 2*j = -3*j - 3*l + 771. Does 31 divide j?
False
Let u(y) = 2*y**2 - 3*y + 1. Let p = -6 - -11. Let x be u(p). Let g = -23 + x. Is 13 a factor of g?
True
Suppose -11 = -m + f - 2, -m - 2*f = 0. Is 6 a factor of m?
True
Let d(w) = w**2 - 42. Let y be d(0). Let n = 8 - y. Is 19 a factor of n?
False
Suppose 3*q = -5*v + 6 + 12, -5*q = 2*v - 11. Suppose -2*z = 5*h - 28, 0*h + v*z - 3 = -h. Does 2 divide h?
True
Let d(p) = p**3 - 8*p**2 + 5*p - 9. Let k be d(8). Suppose 2*j + k = 119. Does 22 divide j?
True
Let d(q) = q**2 + 4*q + 3. Let i be d(-3). Suppose -5*t + 16 = u - 9, i = -2*u + 2*t - 10. Let f = 11 - u. Is f a multiple of 11?
True
Let x be (-4)/(-18) + 34/9. Suppose x*s = 3*s + 32. Suppose d = -3*d + s. Does 3 divide d?
False
Let a = -56 - -60. Is 4 a factor of a?
True
Let y = -15 + -15. Does 8 divide (120/(-75))/(2/y)?
True
Let c = 4 + -1. Suppose c*i + 40 = 136. Does 16 divide i?
True
Suppose 2*z + 4*w - 6 = 2*w, 2*z = 5*w - 1. Suppose -2*d = -3*g - 10, -z*d + 0*g - 2*g = 0. Suppose 0 = -d*r - 1 + 21. Does 6 divide r?
False
Let r(o) = -4*o**3 + 8*o**2 + o - 3. Let z(b) = -5*b**3 + 9*b**2 + 2*b - 4. Let p(k) = 6*r(k) - 5*z(k). Let t be p(-4). Is -1 - -2 - -1*t even?
False
Suppose -4*s = 4*k - 32, -16 = 2*s - 4*s + k. Suppose -3*y + s = 5*g, y + g = 6*y - 32. Is 3 a factor of y?
True
Let f be 1 - (1 - (3 + 0)). Let t(d) = -f*d**2 + 55 - 20 + 2*d**2. Is t(0) a multiple of 13?
False
Suppose -8 = -6*j + 2*j. Suppose -2*a + 38 = -j. Is a a multiple of 7?
False
Suppose -5*s = 39 - 249. Is 7 a factor of s?
True
Let f = 150 - 3. Is 19 a factor of f?
False
Suppose -2*z - 20 = -6*z. Let q be 38/z - (-2)/5. Let l = -5 + q. Is 2 a factor of l?
False
Is 13 a factor of (-52)/3*9/(-6)?
True
Is (594/(-45))/((-2)/5) a multiple of 6?
False
Suppose 4*z - q = -230 + 608, -z + 4*q + 102 = 0. Is z a multiple of 10?
False
Suppose 0 = -v - v - 270. Let x be 2/(-4) - v/6. Suppose 3*y - x = -3*b + 122, 0 = -5*b - 20.