*z - 3*z + 9. Suppose -2*b = -5*p - 11, -2*b - z*b + 5*p = -35. Is 8 a factor of (b + -5)/(6/16)?
True
Suppose 0 = -2*j + j + 50. Is 3 a factor of j?
False
Let d = -11 + 7. Let i be -2*-2*(-2)/d. Suppose 2*c = -i*c + 48. Does 6 divide c?
True
Let u(k) = -2*k**3 + k**2 + 6*k + 2. Let s(y) = 2*y**3 - 2*y**2 - 7*y - 2. Let p(f) = 3*s(f) + 4*u(f). Is p(-3) a multiple of 22?
False
Let k(x) be the first derivative of -x**4/4 + 2*x**3 + 7*x - 8. Is 4 a factor of k(6)?
False
Let y(z) = 13*z. Let i(r) = r**2 + 10*r + 11. Let t be i(-9). Does 26 divide y(t)?
True
Suppose -q - 2*q = -48. Does 16 divide q?
True
Suppose -l = 5*j - 60, 3*l - 2*j = -0*l + 163. Suppose 5*p + 5*q - 100 = 0, -p = 3*p - q - l. Does 15 divide p?
True
Suppose -4*u - 2*c - 20 = -6*u, -5*u = 3*c - 66. Does 12 divide u?
True
Let o(m) = -m + 20. Is o(9) even?
False
Let b(v) = v**3 + 12*v**2 + 11*v + 11. Does 33 divide b(-10)?
False
Suppose -5*v - 4*k = -90, 5*v + 0*k + k = 90. Is 3 a factor of v?
True
Suppose -b - 1 = -7. Suppose -3*x - 4*n = -2*n - 26, -x - n + 9 = 0. Let o = b + x. Does 14 divide o?
True
Suppose -2*r = -3*z + 178 + 105, -3*z + 5*r = -271. Does 21 divide z?
False
Suppose 2 = -2*o - 0. Let a(j) = -19*j**3 + 1. Is 10 a factor of a(o)?
True
Suppose 4*z = 2*z. Suppose -t + 13 + 15 = z. Is t a multiple of 7?
True
Let c be 39/9 + (-2)/6. Suppose 3*a - 36 = -c*x, a + 0*a = 0. Is x a multiple of 4?
False
Let x(i) = 11*i + 16. Let v(n) = 7*n + 11. Let z(k) = 8*v(k) - 5*x(k). Is z(8) a multiple of 12?
False
Is 7 a factor of -36*(-70)/(-16)*18/(-45)?
True
Let a be ((-16)/(-40))/(1/5). Suppose 6 = v - 4*o, 2*o - 1 - 3 = -3*v. Suppose -5*s + 56 = a*i, -i = v*s + 3*s - 18. Is 17 a factor of i?
False
Suppose 4*y - 25 = 5*t, 4*t = -5*y + 55 + 7. Is 5 a factor of y?
True
Let g = -3 + 3. Suppose 0 = -5*z + 5*r - 65, 2*z - 3*r + 27 = -g*r. Is 14 a factor of (z/15)/(2/(-35))?
True
Let v be (-86)/(-10) + (-12)/(-30). Let o(p) = -p**3 + 10*p**2 - 4*p. Is o(v) a multiple of 15?
True
Does 8 divide (1/(-3) + 1002/(-18))*-2?
True
Let y = 30 - 23. Is y a multiple of 7?
True
Let j(x) = x**3 + 3*x**2 + x + 1. Let k be j(-2). Let n(u) = -u**3 + 4*u**2 - 2. Is 3 a factor of n(k)?
False
Suppose 5*h = 3*h + 432. Is 54 a factor of h?
True
Let f = -2 - -6. Suppose 0 = -f*k + 6*k - 56. Is 15 a factor of k?
False
Suppose 9*g - 16*g + 84 = 0. Is 12 a factor of g?
True
Suppose 3 = 2*c - 1. Suppose -27 = 5*m - c*x, -x = m - 3*x - 1. Let s = 0 - m. Does 3 divide s?
False
Suppose 3*u + 176 = 5*a, -4*u = -0*a - 4*a + 144. Suppose 5*t - 2*g - 76 = g, -a = -3*t - 4*g. Is 8 a factor of t?
False
Let p(f) = f + 0*f + 1 - 5. Let r be p(6). Suppose 27 = r*o + 5*s, -s = 4*o - 0*s - 99. Is o a multiple of 13?
True
Suppose -3*c - p = c - 5, c = 4*p + 14. Is 9 a factor of (-1)/c*(-50)/1?
False
Suppose 0 = -4*w + 121 + 75. Let x = w + -13. Does 12 divide x?
True
Let s = -59 + 399. Is 19 a factor of s?
False
Let g = 29 - -4. Does 7 divide g?
False
Suppose -131 = -10*t + 249. Is 16 a factor of t?
False
Let f = 8 + -14. Let k(m) = -m**2 - 11*m - 4. Let t be k(f). Suppose 0 = 2*o + 3*x - 17, o - 2*x + 0*x - t = 0. Is 6 a factor of o?
False
Let p be ((-8)/(-3))/(4/6). Suppose -3*q - 10 = -2*y, p*q = 2*y + y - 13. Is (q/(-6) - 1)*-15 a multiple of 5?
True
Suppose -6 = 4*h - 3*z, -3*h = -h + z - 2. Suppose -5 = -3*i - h*i + 5*l, 3*l = -3*i + 21. Suppose t = 26 - i. Is t a multiple of 13?
False
Let q = -7 + 10. Is 10 a factor of 21/(q/36*4)?
False
Let m = 72 - 28. Suppose -11 - 26 = -5*v - 2*y, 0 = 4*v - 2*y - m. Does 2 divide v?
False
Suppose -2*v - 10 = 0, 5*x - 5 = -5*v + 15. Is x a multiple of 9?
True
Let f = -18 + 54. Suppose -32 = -k + 3*w, 3*k + 2*w + w - f = 0. Is k a multiple of 17?
True
Let s(f) = 12*f + 8. Is 26 a factor of s(14)?
False
Let f be (-2)/(-2)*(1 - 1). Suppose -s - 2*y + 8 = 0, f*s + y = 4*s - 32. Is 8 a factor of s?
True
Let w(v) = v**2 - v - 1. Suppose -2*t - 3*t = -15. Let a(n) = 2*n**3 + 5*n**2 - 2*n + 1. Let r(d) = t*w(d) - a(d). Is 13 a factor of r(-3)?
False
Suppose -w + 10 = w. Let f(y) = 3*y**3 - 11*y**2 - 6*y - 1. Let j(i) = i**3 - 5*i**2 - 3*i - 1. Let m(l) = w*j(l) - 2*f(l). Is 3 a factor of m(-3)?
True
Suppose -k + y = 4*y + 12, -4*y = k + 15. Let c(j) be the second derivative of -j**5/10 - j**4/4 + j**3/6 + j**2 + 3*j. Is c(k) a multiple of 12?
False
Does 16 divide ((-1032)/(-9) - 2) + (-4)/6?
True
Let s(o) be the first derivative of o**5/60 + o**4/6 + o**3/2 - 2*o**2 - 3. Let z(n) be the second derivative of s(n). Is z(4) a multiple of 9?
False
Let a(j) = 2*j - 4. Let b(f) = f**2 - 5*f + 4. Let r be b(5). Let y be a(r). Does 2 divide 46/10 + y/10?
False
Suppose -b + 27 = 5*v, 0 = -7*b + 4*b + 5*v + 181. Does 7 divide b?
False
Let n = 6 - 4. Suppose -n*h = 3*h - 3*x - 87, -3*h + 58 = 4*x. Is h a multiple of 18?
True
Let q(g) be the third derivative of 0 + 0*g - g**2 + 2/3*g**3 + 1/24*g**4. Is 5 a factor of q(6)?
True
Suppose -2*r = r + 12, 0 = 3*b - r - 28. Let h(s) be the third derivative of -s**6/120 + s**5/6 - s**4/2 + 4*s**3/3 + s**2. Is 15 a factor of h(b)?
False
Suppose 0 = -g + n + 7, g + 0*n + 3 = -n. Suppose 135 = 5*x + 5*c, -126 = -2*x - 2*x + g*c. Is 26 a factor of x?
False
Let h = 195 + -30. Is 9 a factor of h?
False
Let c(p) = -p**2 + 5*p + 8. Let m be c(6). Let l be (-34)/2*(m - 3). Suppose l = 3*o - 1. Is o a multiple of 3?
True
Suppose -5*n = -1 - 14. Let q = n + -3. Suppose -2*b + 5*i + 15 = -q*i, 23 = 5*b + 2*i. Is b a multiple of 4?
False
Is 2 + (40/2)/2 a multiple of 12?
True
Let h = -77 + 126. Let z = 32 + h. Is z/12 - (-1)/4 a multiple of 7?
True
Let x(o) = 9*o**3 + 2*o**2 - o. Let v be x(1). Let u = v + -4. Suppose -42 = -2*n + u. Does 12 divide n?
True
Suppose 22*h - 27*h + 240 = 0. Is 3 a factor of h?
True
Suppose -3*t - 50 = 2*t. Let y(c) = c + 9. Let v be y(t). Does 3 divide 3/(v - (-7)/4)?
False
Suppose -3*m + 1 = -5. Suppose 28 = m*t + 4*l - 48, -54 = -t + 2*l. Is t a multiple of 28?
False
Suppose -y + 5 = -2*z, 4*y + 11 = -2*z + 1. Let i = z + 11. Is i a multiple of 3?
False
Suppose -42 = 4*f + 18. Let p be (f/12)/(2/(-8)). Suppose 6 = -4*a + p*a. Is 5 a factor of a?
False
Let y = 12 - 8. Suppose j + 3*j - 2 = 5*w, -y*j = -12. Suppose -3*z = w*z - 45. Is 9 a factor of z?
True
Does 10 divide ((-36)/16)/(15/(-200))?
True
Is 125/(-20) - -6 - (-897)/4 a multiple of 28?
True
Let f = 11 - 15. Let p(c) = -2*c**3 - 6*c**2 - c + 1. Does 13 divide p(f)?
False
Suppose -166 = -m - m. Is 14 a factor of m?
False
Let s(g) = 4*g**3 - 2*g**2 + 2*g - 1. Let v be s(1). Suppose 20 + 19 = -v*o. Let h = o + 24. Is h a multiple of 11?
True
Suppose 2*j - 91 = 3*l, -5*j + 4*l + 176 = -j. Is j a multiple of 12?
False
Let j(d) = d**3 + 3*d**2 - 2*d - 1. Let l(b) = -b + 4. Let w be l(7). Does 2 divide j(w)?
False
Let w(p) be the third derivative of 17*p**4/24 - 7*p**3/6 + 3*p**2. Is w(2) a multiple of 13?
False
Let j = -3 + 5. Suppose i - 3 = j. Suppose d + 0 = 2*a + 4, -4*d + 81 = i*a. Is 14 a factor of d?
True
Let s(p) = 2*p**2 + 5*p - 7. Is 27 a factor of s(-8)?
True
Let m = -8 + 10. Suppose 2*a - 5*l = 23, 2*a - m = -0*l - 2*l. Is 4 a factor of a?
True
Let i(a) = a**3 + 16*a**2 - 2*a - 8. Is 24 a factor of i(-16)?
True
Does 7 divide (14/(-5))/(3/(-15))?
True
Suppose 0 = -0*q - 2*q + 4. Suppose -2*h + 3*s + 4 = -1, -q*h - 2*s + 20 = 0. Suppose -27 = 4*u - h*u - 3*z, 2*u - 5*z - 25 = 0. Is 3 a factor of u?
False
Suppose 6*i - i + p = 183, 45 = i - 4*p. Is 16 a factor of i?
False
Suppose 388 - 1389 = -11*b. Is 13 a factor of b?
True
Suppose -4*y = -50 - 6. Is 5 a factor of y?
False
Let p(n) = 6*n**2 - 27*n - 6. Is 24 a factor of p(6)?
True
Let b = 16 + -14. Suppose r + 2 = 6. Suppose -4*s = -b*i - 30, 0 = s - i - r*i - 30. Is s a multiple of 5?
True
Let w(n) = -n**2 + 8*n - 6. Let m be w(6). Let d be m/(-27) - (-8996)/(-18). Is (-4)/(-18) + d/(-18) a multiple of 15?
False
Suppose -2*x - 112 = -4*n, 5*n - 13 = 4*x + 121. Is n a multiple of 7?
False
Let c(l) = -l**2 + 9*l - 8. Let k(p) = -p**2 - p - 1. Let h be k(-3). Let i be ((-12)/14)/(1/h). Does 10 divide c(i)?
True
Let z(f) = -11*f**3 + 4*f**2 + 5*f - 17. Let j(s) = 7*s**3 - 3*s**2 - 3*s + 11. Let i(c) = 8*j(c) + 5*z(c). Is 3 a factor of i(4)?
False
Suppose 0 = -5*v + 2*l - l - 1676, 3*v - 5*l + 988 = 0. Is 9 a factor of v/(-30) + 