se
Let i(f) = -f**2 + f - 1. Let p(d) = -72*d**2 + 4*d - 3. Let h(b) = 2*i(b) - p(b). Is h(1) a multiple of 23?
True
Let s be ((-20)/(-8) - 3)*-82. Suppose 5*z - 79 = s. Is z a multiple of 11?
False
Suppose 2*k = -5*s - 12, 3*s + 2*k = 5*s + 16. Is 6 a factor of 112/20 - s/10?
True
Let p be (-4)/(-22) + (-57)/11. Is 12 a factor of (-162)/p + (-8)/20?
False
Is ((-192)/18)/(4/(-42)) a multiple of 16?
True
Let l(h) = -3 + 6*h - h - 4*h. Let v be l(3). Suppose v = -3*a + 8*a - 3*x - 145, 87 = 3*a - 5*x. Is 12 a factor of a?
False
Let z(q) = 3*q**2 + 3*q + 9. Let f be z(-7). Suppose -4*i - i = -f. Does 9 divide i?
True
Let s = 1 - 1. Is 7 a factor of 0/(s - -1) - -7?
True
Let h = -47 + 52. Is 2 a factor of h?
False
Suppose -5*u - 2*y + 28 = 2*y, -2*u + y = -6. Suppose -6*x + 2*x + 96 = 0. Suppose 22 = -3*z + 4*z + u*g, -3*z = -2*g - x. Is 5 a factor of z?
True
Let g be -4 + 1 + (83 - 8). Suppose -3*r + 7 - 135 = -5*w, -2*w - 4*r + g = 0. Is 14 a factor of w?
True
Suppose -4*d - 5*g - 265 = -90, 5*d = -3*g - 222. Let p = -22 - d. Does 6 divide p?
False
Let l(n) = -2*n**3 - 5*n**2 - 4*n - 3. Let j be l(-3). Let f = 53 - j. Suppose -3*o + f + 7 = 0. Is o a multiple of 14?
True
Suppose 20 + 16 = z. Is 18 a factor of z?
True
Let b(g) = 4*g - 2 + 2*g + 0*g. Suppose -4*z - 1 = -21. Does 11 divide b(z)?
False
Let g be ((-24)/20)/((-2)/10). Suppose -11 = -2*q - 3. Suppose -q*p + o = -57, p - 15 + g = 2*o. Does 7 divide p?
False
Let c(l) = l**3 + 2*l**2 - 4*l. Let v be c(-3). Let y(d) = d**3 - 2*d**2 + 3*d. Is y(v) a multiple of 9?
True
Suppose -z + 29 = -2*s, -5*s + 65 = 3*z - 0*s. Is 5 a factor of z?
True
Let l be 15/(-12) + 2/8. Is (11 - 3) + 2*l a multiple of 6?
True
Let y(m) = -m**3 - 2*m**2 + m - 4. Let g be y(-4). Suppose x - g = -4. Does 20 divide x?
True
Let t(z) = 11*z**2 - 9*z - 3. Is t(4) a multiple of 33?
False
Let y(x) = 2*x - 7. Let p be y(11). Suppose 6*w - 7*w + 22 = -4*n, -5*n - 25 = -w. Does 2 divide ((-10)/(-3))/(w/p)?
False
Let z(h) = -h**2 + 8. Let k be z(7). Let c = -29 - k. Is 5 a factor of c?
False
Suppose p + 2*p - 116 = r, 3*p - 4*r - 104 = 0. Suppose -3*k + 3*w + 45 = 0, -2*k - w = -5*w - p. Does 8 divide k?
False
Let s(o) = -5*o**2 - o - 6. Let n(v) = -v**2 - v - 1. Let b(c) = 6*n(c) - s(c). Let p be b(-4). Suppose 0 = 3*k - 15, p*a = 5*a + 2*k - 36. Is 12 a factor of a?
False
Let p(j) = j**3 + 7*j**2 - 7*j - 10. Does 12 divide p(-7)?
False
Let d(z) = 6*z - z**2 + 4 + 1 - 12*z. Is d(-4) a multiple of 8?
False
Let m = -39 + 60. Does 7 divide m?
True
Suppose -2*u - 4*q = -72, -5*u + 5*q = -2*u - 141. Is 6 a factor of u?
True
Let c(f) = -16*f**3 - 3*f**2 - f + 1. Let w be c(-2). Let y = -63 - w. Is (-1)/6 - y/12 a multiple of 13?
False
Is 8 a factor of (-12 - 4)/(2*(-3 - -2))?
True
Suppose -4*m + 43 = -3*f, 3*m - 14 - 27 = 4*f. Let s(n) = 2*n**2 - 9*n + 7. Is s(m) a multiple of 14?
True
Let l(q) be the third derivative of -q**5/60 + q**4/3 - 2*q**3/3 + 9*q**2. Suppose 6 + 1 = w. Is 3 a factor of l(w)?
True
Let w be (-4)/(-2) - -4 - 0. Suppose 5*j = 5*a + 25, 3*a = -w*j + j + 9. Is 3 a factor of j?
True
Suppose 7*j = 2*j + 125. Suppose j = 5*x - 0. Suppose 3*f - 23 = -c - 0*c, -2*c = x*f - 41. Is c a multiple of 5?
False
Suppose 4*a = 4 - 0. Suppose 3 + a = p. Suppose -w - g = -9, 0 = p*w + g + 4*g - 32. Is 13 a factor of w?
True
Suppose 2*a - 4*v - 198 = 0, 4*a - v + 4*v - 451 = 0. Is a a multiple of 20?
False
Let o(s) = 2*s - 6. Let w be o(5). Suppose -2*f = -8 + 2. Suppose f*r - w*p = 13, -5*r + 2*p + 44 = -1. Is 5 a factor of r?
False
Let w(u) = 28*u + 2. Let g be w(2). Let t = g - 28. Does 12 divide t?
False
Let o = -4 - -8. Suppose 4*s + 22 = 2*t, -4*s - 3*t = 3 + o. Let z = 6 + s. Is 2 a factor of z?
True
Let z be ((-1)/(-2) - 0)*6. Let l(x) = z*x + 2*x**2 - 3 + 2*x**3 + 0 + 0*x**2. Is 10 a factor of l(2)?
False
Let c = -345 + 111. Let o = c - -347. Suppose 5*b - o - 92 = 0. Is b a multiple of 16?
False
Let g = 51 + -39. Is g a multiple of 2?
True
Let a(l) = -l**3 - 11*l**2 - 10*l + 12. Is a(-10) a multiple of 3?
True
Let t be 22/(-1) + 0 + -1. Let m = t - -37. Does 5 divide m?
False
Let o be 32/40 - 2/(-10). Is o - (3/1 + -8) a multiple of 6?
True
Suppose 0*n = 3*n. Suppose -17 = -h - n*h. Does 8 divide h?
False
Let y(d) = d**3 - 10*d**2 + 24*d - 14. Does 9 divide y(9)?
False
Let g(b) = b**3 - 5*b**2 + 5*b + 7. Suppose 5*w - 30 = 5*t, -2*t = 5*w - 0*t - 23. Is g(w) a multiple of 22?
False
Is (492/9)/(2/3) a multiple of 23?
False
Suppose -6 = 4*s - 5*s. Let j(n) = -4*n**2 + 14*n - 1. Let q(b) = -2*b**2 + 7*b. Let d(z) = 6*j(z) - 13*q(z). Is 12 a factor of d(s)?
True
Let j = 33 + -18. Let x = j + 19. Is x a multiple of 17?
True
Suppose -5*t + 96 = 4*y, 0 = t - 2*t + 2*y + 22. Is 10 a factor of t?
True
Let l be -1 + 33 + 1*-2. Suppose 2*j + 3*j - l = -b, 5*b = 4*j + 5. Let s = b - 0. Is s a multiple of 5?
True
Suppose -3*l - 5*z - 9 = 16, -3*z - 15 = -2*l. Suppose 3*r - r - 50 = l. Suppose -4*c - r = -125. Is 11 a factor of c?
False
Let a(f) = -10*f + 3. Suppose -20 = -4*v + 8*v. Is a(v) a multiple of 18?
False
Let s = -16 + 26. Does 10 divide s?
True
Let z(q) = -9*q + 6. Is 26 a factor of z(-8)?
True
Let j(v) = 1. Let d(a) = 2*a + 4. Let q(b) = -2*d(b) + 10*j(b). Is q(-5) a multiple of 11?
True
Let d(f) = -2*f - 2. Let w be d(-4). Suppose 3*q + w = 4*q. Is q a multiple of 5?
False
Let l be (8/5)/(3/15). Let q = l + -6. Is 2 a factor of q?
True
Suppose -2*r = 3*r. Suppose r = -3*x - x + 24. Is x a multiple of 5?
False
Let o = -3 + 2. Let u be (-1 + -1 + -1)*o. Suppose -j - 38 = -t, -u*j + 162 = 5*t - j. Is 17 a factor of t?
True
Let j be (3 + 2 + -2)*1. Is -3*(-3 - (-3 + j)) a multiple of 4?
False
Let p(i) = i**3 - i**2 + i - 22. Let l be p(0). Let m = 40 + l. Is 6 a factor of m?
True
Suppose -5 = 3*z + 2*z. Let s = z - -3. Suppose -j - s*j + 39 = 0. Does 6 divide j?
False
Let j = 7 + -2. Suppose t = -2*c - t + 76, j*t = 2*c - 55. Is 20 a factor of c?
False
Let n(b) = b**2 - 6*b + 4. Let c be n(6). Suppose 2*o - 3*d + 14 = -d, o + c*d + 12 = 0. Let u(f) = -f - 2. Is u(o) a multiple of 3?
True
Suppose 0*s = 5*s - 210. Is 42 a factor of s?
True
Suppose -4*x - 5 = -4*r - 1, 0 = -r + 5*x + 13. Is 28 a factor of 7*(-2 - (-8 - r))?
True
Suppose -3*r = -2*s + 432, 3*s - 472 - 179 = 3*r. Does 19 divide s?
False
Let x be (-4)/(-22) + 106/22. Suppose x*z - i - 265 = 0, -4*z + 105 + 107 = -2*i. Does 24 divide z?
False
Suppose 223 = 4*g - 557. Does 39 divide g?
True
Let i = 36 + -32. Does 4 divide i?
True
Suppose 5*h - 3*h = 10. Suppose -b - h*q = -16 - 11, -3*q = -4*b + 62. Does 17 divide b?
True
Let i be 14/4 + 5/(-10). Suppose -7*t + 8 = -i*t. Is 8 a factor of -2 + 19 + 0 - t?
False
Suppose -2*t - 4 = 0, 0 = 4*u - u - 3*t - 9. Suppose -3*l + u + 17 = 0. Let r(s) = s. Is 4 a factor of r(l)?
False
Suppose -t = -0*t - 2*m - 34, m = -3*t + 123. Suppose -5*h - t = -h. Let d = h - -15. Is 5 a factor of d?
True
Suppose -n + 3*i = -10, -2*n + 4*i = -18 - 10. Let v = 8 + n. Does 6 divide v?
True
Let j(r) = -r**2 + 20*r - 1. Does 23 divide j(8)?
False
Suppose -6 = -5*f - 2*v + 22, 4 = -4*v. Let l(n) = -n**2 - f*n**3 + 1 - 9*n + 9*n. Is l(-1) a multiple of 4?
False
Let t be ((-24)/(-3))/2 + -7. Does 14 divide 78/(t + (-8)/(-2))?
False
Suppose 8 - 4 = 2*z. Suppose -4*o + 118 = -z*o. Suppose 5 = 4*r - o. Is r a multiple of 16?
True
Let z(l) = l**3 - 12*l**2 + l - 9. Let y be z(12). Let f(q) = 8*q - 7. Is f(y) a multiple of 3?
False
Suppose 0*f + 4*q = -f + 10, -f - q = 5. Let x(r) = r**2 + 8*r + 10. Is x(f) a multiple of 15?
True
Suppose -4*x - 4 = z - 6*z, 0 = 3*x + 2*z - 20. Suppose -3*q = -q + x. Is 9 a factor of 18 - q/(-3)*3?
False
Suppose -179 = -4*x + 157. Suppose -x = -2*h - h. Is 14 a factor of h?
True
Suppose -2*w - 5 + 209 = 0. Let m = w - 46. Is 17 a factor of m?
False
Let i = -47 - -121. Does 14 divide i?
False
Let g = 70 - 52. Is g a multiple of 9?
True
Let s = -188 - -324. Does 17 divide s?
True
Suppose -5*w + 4*c + 10 = 5*c, -5*w = -3*c - 30. Suppose -y = -w*y + 14. Let r(h) = -h**3 + 8*h**2 - h - 3. Is r(y) a multiple of 14?
False
Let u(a) = a**3 - 12*a**2 + 11*a. Let k be u(11). Let c = k - -19. Is 9 a factor of c?
False
Suppose 16 = 2*w - 38. Does 4 divide w?
False
Suppose 3*m - 45 = 4*p - p, 56 = 4*m - 3*p. Let j(o) = o**2 + 