**3 + m. Let f be x(1). Suppose -51 + f = 3*t. Let z = t - -33. Is z a multiple of 5?
False
Let p = -139 + 188. Is 28 a factor of p?
False
Let h = 5 + -3. Let f(g) = h*g + 0*g**2 + 0*g + g**2. Does 4 divide f(-4)?
True
Does 30 divide 9/(-2)*160/(-6)?
True
Suppose 0*y + 10 = 5*y. Suppose 2*h - y*w - 39 + 11 = 0, -4*h + 2*w = -56. Is 6 a factor of h?
False
Let n = -7 - 34. Let p = 60 + n. Is p a multiple of 11?
False
Let r(j) = -4*j**2 - 2*j + 3. Let x be r(-3). Let d = x + 51. Is d a multiple of 9?
False
Let j = -68 + 120. Let o(f) = 11*f. Let q be o(2). Suppose 5*l + q = j. Is 3 a factor of l?
True
Suppose 2*s = i - 57, -4*i + 2*s - s + 193 = 0. Let a = -24 + i. Is 13 a factor of a?
False
Let l(b) = 33*b**3 - b**2. Is 4 a factor of l(1)?
True
Is 19 a factor of (2/2)/(4/152)?
True
Let m(z) = -z**3 + 5*z**2 + 2*z - 4. Let b be m(5). Let r = 10 - b. Does 2 divide r?
True
Let m = -2 - -5. Suppose m*d = -3*c, -5*c - 2 = 6*d - 3*d. Suppose 6 + d = a. Is 2 a factor of a?
False
Let w(d) = 2*d**2 + 7*d + 5. Let y be w(-5). Let g = 0 + y. Does 18 divide g?
False
Let w be -2 - -7*(-2 + 3). Suppose -2*q - 13 = 5*z, -w*z - 6 - 11 = -2*q. Let f = 9 + z. Is f a multiple of 4?
False
Let j(n) = -16*n + 3. Let a be -2 + 4 + -1 + 0. Let g be ((-6)/4)/(a/2). Does 21 divide j(g)?
False
Let z be 4/(-2*2 - -3). Let d = z - -9. Is 2 a factor of d?
False
Let y(q) = -q + 3. Let n be y(-6). Let x(a) be the first derivative of a**4/4 - 3*a**3 + a**2 - 8*a - 5. Does 10 divide x(n)?
True
Is 65 a factor of ((-12)/(-10))/((-18)/(-45)) + 517?
True
Is (-14)/21*(-71 - 1) a multiple of 16?
True
Let b be (-897)/(-21) - (-6)/21. Let i = 35 + b. Suppose 0 = 3*t + 12 - i. Is 22 a factor of t?
True
Suppose -3*s = -0*s - 4*u + 14, -3*u = -5*s - 5. Let m(a) = 2*a**3 - a**2 + 2*a - 4. Let b be m(3). Let p = b + s. Is 23 a factor of p?
False
Let o(a) = 0 - 2*a + 0 - a**3 - 9*a**2 - 5. Let p = 10 - 19. Is 13 a factor of o(p)?
True
Let f be 3 - -4 - -1 - 3. Suppose w + 36 = f*h + 4*w, -5*w + 12 = 3*h. Does 9 divide h?
True
Let f = -135 - -209. Does 16 divide f?
False
Suppose -15 = 3*u - 60. Suppose -u = 3*b, t = -5*b - 0*b - 25. Suppose t*m - 3*m + 39 = 0. Is 13 a factor of m?
True
Suppose 5*l + 0*l - 110 = 0. Suppose 5*x + l = -3. Let z(k) = -5*k - 1. Is z(x) a multiple of 24?
True
Let m(v) = -v**3 - v**2 + v. Let j be m(1). Let f(w) = 0*w**2 - 2*w**2 - 13*w**3 + 2*w**2 - 1 - w. Is 7 a factor of f(j)?
False
Suppose 5*b + i - 133 = 0, 3*b = b - i + 55. Is 6 a factor of b?
False
Let a(t) = -t**2 + 6*t - 6. Let i be a(5). Let c(m) = 3*m**2 + m. Let f be c(i). Is 10 a factor of 3/f*(-28)/(-3)?
False
Let c(q) = -3*q**2 + 4*q + 6*q**2 + 4*q - 4*q**2 - 2. Suppose 0 = -4*d + 14 + 10. Is c(d) a multiple of 5?
True
Let h be (6/1)/(6/(-15)). Does 11 divide 6/(-4)*110/h?
True
Let b(n) = 6*n + 0*n + 6*n. Let h be b(2). Suppose -4*l + 6*l - h = 0. Is l a multiple of 8?
False
Suppose 139*w - 134*w - 570 = 0. Is w a multiple of 19?
True
Suppose -4*w + 1 + 4 = -5*q, -4*w + 20 = 0. Suppose -2*y - 5*v = -60, 0 = -3*y - q*v - 10 + 82. Does 10 divide y?
True
Let t be (0/(-2))/(2 - 3). Suppose 7*j + 78 = 3*c + 4*j, -2*j + 10 = t. Does 25 divide c?
False
Does 6 divide ((-480)/(-16))/(4/6)?
False
Suppose 20*d - 288 = 16*d. Is d a multiple of 8?
True
Does 24 divide (12/(-3) - -48) + 4?
True
Let v(c) = c**3 + 10*c**2 + 10*c + 16. Does 31 divide v(-7)?
True
Let f(z) = z**3 - 8*z**2 + 13*z + 5. Let x be f(6). Suppose -5*s + 76 + 14 = 0. Let h = s - x. Is h a multiple of 3?
False
Let k = -6 + 16. Suppose t - 3*r = k, -4*t + 6 = r - 21. Does 4 divide t?
False
Let u be 4 - (8/2)/2. Let v(o) = -4 - o + 3*o**2 - 3 + o**3 + 4 + 2*o**u. Is v(-5) a multiple of 2?
True
Let a = 2 + 15. Does 17 divide a?
True
Let x(i) = -i + 0*i + i**2 + i + 5*i + 9. Let n = 9 + -15. Does 7 divide x(n)?
False
Let w(a) = -a**3 - 5*a**2 - a + 2. Let f be w(-5). Let o = f - 3. Is o a multiple of 4?
True
Suppose -2*w - 27 = 5*t, -2*w - 3 = 4*t + 21. Let c = -23 - -36. Let z = w + c. Is z a multiple of 5?
False
Is -2 + (-5603)/(-65) + 1/(-5) a multiple of 18?
False
Suppose 4*b + 6 = 14. Suppose b*u = 3*u - 8. Is 6 a factor of u?
False
Let x = -17 - -32. Let i = x - 11. Does 5 divide ((-99)/36)/((-1)/i)?
False
Let c = -25 + 47. Is c a multiple of 14?
False
Let c(s) = 3*s + 2. Let b be c(2). Suppose -5*q + 20 - 5 = 0. Suppose b = q*u - u. Does 2 divide u?
True
Let q(f) = 7*f + 89. Is q(-7) a multiple of 40?
True
Suppose -59*n + 62*n = 540. Is 36 a factor of n?
True
Let s = 4 + 0. Suppose -s*d + 178 = 2*j, 2*d + 2*j = 6*d - 174. Is d a multiple of 19?
False
Suppose 5*p - 90 = 2*p. Let z = p + -1. Let i = z + -20. Is 4 a factor of i?
False
Suppose -2 - 462 = -4*l. Is l a multiple of 9?
False
Suppose -4 = 4*q - 84. Suppose 4*h + 0*h = q. Is h a multiple of 2?
False
Let j = 359 - 116. Is 39 a factor of j?
False
Let j = 7 + -3. Suppose -3*x = 2*x, 0 = j*r + x - 128. Suppose -3*q = -128 + r. Does 16 divide q?
True
Let x = 6 + -11. Let t(p) = 11*p**2 + 7*p + 4 - 3*p - 10*p**2. Is t(x) a multiple of 9?
True
Let k(c) = 2*c**2 - 11*c - 13. Does 20 divide k(-4)?
False
Suppose 3*f = 2 + 7. Let j(i) be the second derivative of i**3/2 + 2*i**2 + 3*i. Is 13 a factor of j(f)?
True
Suppose 0 = -5*a - 180 - 255. Suppose 84 + 360 = -3*u. Let s = a - u. Is s a multiple of 21?
False
Let g(i) = -i - 2. Let s be ((-5)/(-3))/((-1)/3). Does 2 divide g(s)?
False
Suppose -18*k + 5814 = k. Is k a multiple of 9?
True
Let o be ((-2)/3)/((-12)/90). Let g(i) = 4*i + 3. Is g(o) a multiple of 23?
True
Let l = 408 - 270. Is l a multiple of 13?
False
Let f(x) = 3*x**2 + 25 - 4*x**2 - 5. Is 14 a factor of f(0)?
False
Let h = 352 + -174. Is h a multiple of 23?
False
Suppose -5*z + 29 = 4. Suppose -7*m + 3*m = -z*t - 32, 3*m + t = 5. Is 6 a factor of (m - -8 - -2) + 2?
False
Suppose 1 = -2*j + 11. Suppose 228 = 5*g - t, -350 + 114 = -j*g - 3*t. Is g a multiple of 21?
False
Suppose 5*v - 18 = -2*q, 3*v + 17 = 4*q - 45. Does 14 divide q?
True
Suppose 0 = -3*a - 2*n + 51, n - 3*n + 36 = 2*a. Does 2 divide a?
False
Let i(k) = 0*k**2 + 7 + 2*k**2 - 4 + 5*k. Let l be i(4). Suppose -5*r + l = 5*f, 5*r - 29 = -f + 6. Does 2 divide r?
True
Let u(j) = -j**2 - 25*j - 2. Is 35 a factor of u(-19)?
False
Suppose 4*y = -3*l + 552, -7*y = -2*y + 3*l - 690. Is 14 a factor of y?
False
Suppose 0*h + 10 = h. Does 5 divide h?
True
Suppose -68 = -3*j - j. Is j a multiple of 16?
False
Let z(x) = x - 6. Let s(r) = r + 2. Let n be s(0). Suppose n*c + 44 = 5*h, h - 4*c + 2 = -0*h. Is 2 a factor of z(h)?
True
Let n(r) = r**3 - 6*r**2 + 6*r - 9. Let b = 24 + -18. Is n(b) a multiple of 9?
True
Let w be 53*(0/1 - -1). Suppose -5*z - 203 = -w. Let j = -18 - z. Is j a multiple of 12?
True
Let h(d) = 9*d - 25. Is 13 a factor of h(7)?
False
Is 57 a factor of (6/(-15))/((-2)/370)?
False
Let j(x) = 17*x**2. Let q be j(-1). Let b(v) = -3*v + 3. Let m be b(-3). Let t = q - m. Is t a multiple of 5?
True
Suppose -4*x + 2 = -6. Suppose 0*z - 2*p = 4*z - 90, 2*z = 4*p + 70. Suppose -4*c + 2*o = -x, -4*c - c - 5*o + z = 0. Does 2 divide c?
True
Let z be 1/(-1 + 40/39). Let o = -23 + z. Is 8 a factor of o?
True
Suppose 0 = 5*w - 4*l - 30, 1 = -4*w - l + 4. Let o(a) = 3*a**2 + 3 + 4*a + 0*a + a**3 - 2*a**2 - 6*a**w. Does 3 divide o(4)?
True
Suppose 0 = b - 4*k + 9, 4*b + 2*k = -2*k + 4. Let u = 6 - 5. Is 17 a factor of ((b - 1) + 36)*u?
True
Let q(l) = -l**3 - 6*l**2 + 11*l + 11. Let u be q(-8). Suppose 2*h + h - u = 0. Is h a multiple of 8?
False
Is 43 a factor of (0 + -1)/(3/(-279))?
False
Suppose -a + 10 = -5*w - 0*a, 2*w + 16 = -2*a. Let z = w + 5. Is z a multiple of 2?
True
Suppose 5*u = 4*u + 128. Is 44 a factor of u?
False
Suppose i - 3*i = -32. Is i even?
True
Suppose 0*i - 2*i - 5*d = -3, d = -1. Let w = -8 + i. Let c(h) = h**3 + 5*h**2 - h + 5. Does 10 divide c(w)?
False
Suppose m = 3*n + 112, 2*m - 246 = -7*n + 2*n. Is m a multiple of 23?
False
Suppose 5*y + 17 = 2. Let h = y + 5. Suppose h*c = 5*c - 24. Is 4 a factor of c?
True
Let h be 2/(-7) - 64/(-28). Suppose 4*f - h = 3*f. Suppose 2*p + 42 = 2*n, -f*n - 4*p + 18 = -0*p. Does 6 divide n?
False
Suppose 3*a = 2*t + 2*t + 58, -86 = -4*a + t. Is a a multiple of 22?
True
Let m = -15 - -21. Suppose -z + m = z. Is 3 a factor of z?
True
Suppose -4*d - 3*b = -495 - 24, 5