 -10 + 14. Suppose 2*x = 5*x + 2*m - 63, 0 = a*x - 5*m - 61. Is x a multiple of 16?
False
Let m(i) = 3*i**3 - 3*i**2 + 2*i - 4. Is 14 a factor of m(3)?
True
Let a(o) be the first derivative of -3*o**4 - o**3 - o**2/2 + 2*o + 1. Let c be a(-2). Let p = -45 + c. Does 16 divide p?
False
Let x(i) = i**3 - 4*i**2 + 4*i. Let g be x(3). Let z(p) = -6*p**3 - 2*p - 1. Let t be z(-1). Let n = t - g. Is 2 a factor of n?
True
Let f(r) = 1 - 2 + 4*r - 2*r. Let j be f(2). Suppose 2 = -u + 1, -u = -j*q + 19. Is q a multiple of 6?
True
Suppose 0*p - 40 = -4*p. Let x = 16 - p. Is x a multiple of 3?
True
Suppose -2*l = -l + 1. Let x be 2/(-5 - l)*-76. Suppose 3*k = 1 + x. Is k a multiple of 10?
False
Suppose -40 = -v + 90. Suppose 7*b - 2*b - v = 0. Is b a multiple of 7?
False
Let i = 59 - -14. Suppose -y = -5*q + 125, 4*y = 4*q - 11 - i. Is 13 a factor of q?
True
Let s(q) = -q**3 + 14*q**2 + 7*q - 28. Does 3 divide s(14)?
False
Let m(u) = 2*u**2 - u - 2. Let j be m(-3). Let z = 18 + j. Does 11 divide z?
False
Let o(u) = 1 + 6*u**2 + 2*u - u - 5*u**2 + u. Let b be 6/(-2*(-3)/(-4)). Is 3 a factor of o(b)?
True
Let h = -19 - -33. Suppose -29 = -3*r + 2*p, 0 = -2*r - 4*p - 0*p + h. Does 9 divide r?
True
Suppose o + 720 = 6*o. Does 27 divide (o/(-28))/(4/(-42))?
True
Let m(v) = v**3 + 8*v**2 - 9*v + 13. Let l be m(-9). Suppose -y = -0*y - l. Is 13 a factor of y?
True
Suppose 8*k - 217 - 583 = 0. Does 25 divide k?
True
Suppose 2*k - 144 = -k. Is k a multiple of 5?
False
Suppose -3*w + 82 = -77. Let q = w + -17. Suppose -a + q = 3*a. Is 9 a factor of a?
True
Suppose 0 = 8*q - 3*q - 15. Let o = 22 - q. Does 19 divide o?
True
Let g be 24/11 - 2/11. Suppose 0 = 4*o - g - 10. Does 2 divide o?
False
Suppose -9*u + 12*u = 0. Suppose u = -3*p + p + 5*a - 6, 8 = 4*p - 5*a. Does 7 divide p?
True
Let u(f) = f**2 + 1. Let l(t) = -3*t**2 + 8*t - 6. Let c(b) = -l(b) - 4*u(b). Is c(-6) a multiple of 6?
False
Suppose 4*q - 28 = -12. Suppose -2*k - 4*d = -2*d - 4, 3*d + q = 2*k. Suppose -x + 75 = k*x - 2*t, 0 = -t. Is x a multiple of 9?
False
Suppose 3*i - 7*i = -8. Suppose i*d - z = 19, -9 = 2*z - 3. Does 6 divide d?
False
Suppose 5*z = -2*q - 0*q + 305, 10 = 2*q. Let s = z + -32. Does 27 divide s?
True
Let m(r) = r**3 + 7*r**2 - 9*r - 3. Let h be m(-8). Let i = -1 + h. Suppose -20 = -i*x, -x + 0*x + 17 = 3*n. Is n a multiple of 3?
False
Suppose 5*c = -0*c - 110. Let s = c - -106. Is s a multiple of 28?
True
Suppose -9*i + 5*i = 0. Is (0 - 1) + i + 57 a multiple of 14?
True
Let i(x) = -x**2 - 9*x + 8. Let t be i(-9). Let p = 0 + t. Is p a multiple of 8?
True
Is 13 a factor of 3/2*(-658)/(-21)?
False
Suppose -8*s + 3*s = 4*y - 5, s = 5*y + 30. Suppose 0 = s*k + 25, k = -4*a - a + 90. Is 19 a factor of a?
True
Let r = 116 - 55. Is 7 a factor of r?
False
Let t = 53 + -21. Is t a multiple of 8?
True
Let y be 1/(-2)*6/(-3). Let z = -2 - y. Let l(c) = 2*c**2 + 4. Is 15 a factor of l(z)?
False
Let h(t) = -6*t + 6. Suppose -l = 4*j - 4*l - 23, -5*j + 27 = -2*l. Let y be h(j). Let f = -17 - y. Does 5 divide f?
False
Suppose -8*y + 652 = -588. Is y a multiple of 19?
False
Let z(f) = -f + 8*f**2 - 3*f + 1 - 4 + f. Let i be z(3). Suppose -2*y + i = 3*y. Does 12 divide y?
True
Let m be 4/6 - (-460)/30. Suppose 0 = 4*q + 4*c - 120, -5*q + 3*c - m = -166. Does 10 divide q?
True
Suppose 0 = d - 10 + 3. Suppose 3*u = -5*a + 27, 2*u + a = 3 + 8. Suppose 5*c - 85 = -u*z, 3*z = 3*c - d*c + 68. Does 17 divide c?
True
Let b(q) = 13*q**3 - 2*q**2 + 3*q + 3. Let w(t) = 14*t**3 - 3*t**2 + 4*t + 4. Let j(v) = 4*b(v) - 3*w(v). Is 5 a factor of j(1)?
False
Let w = -6 + 121. Does 23 divide w?
True
Suppose -v + 112 = -2*r + 9, 5*r = 3*v - 307. Let p = v - -7. Suppose -3*x - 28 = -p. Is 14 a factor of x?
False
Let q(w) = w**3 - 7*w**2 - 4*w + 10. Let i be q(7). Let a be 2/(-3)*i/4. Suppose 0 = 2*o - 3*z, 5*o - 4*z - 26 = -a*z. Is 4 a factor of o?
False
Suppose -5*q + 2*q + 12 = 0. Let f(s) = -q*s - 4 - 1 - 4. Is 7 a factor of f(-6)?
False
Let u = 63 + 105. Does 14 divide u?
True
Suppose 4*v - 6 = v, 0 = -2*s - 3*v + 210. Suppose 0 = 3*j - 0*j + 9, s = 4*o + 2*j. Is 3 a factor of (-6)/o + 65/9?
False
Let t = -10 + 16. Let u = 22 + t. Is u a multiple of 14?
True
Let l(z) = 4*z - 2. Is 9 a factor of l(5)?
True
Suppose 9*s = 5*s + 128. Does 5 divide s?
False
Suppose n - 4*n + 9 = 0. Let h = n - 1. Is 17 a factor of (4/(-2))/(h/(-22))?
False
Let u(f) be the third derivative of f**5/60 - f**4/12 - f**3 - f**2. Let b(t) = t**2 - 2*t - 3. Let i be b(-2). Does 9 divide u(i)?
True
Suppose -52 = -3*z - 5*f, 5*z - 30 = 2*f + f. Let a = 6 + -11. Let s = a + z. Is s even?
True
Suppose 7*v - 252 = v. Does 11 divide v?
False
Suppose 6 = 2*h - 4. Is (-2)/h + (-1148)/(-20) a multiple of 19?
True
Let t = 158 + -99. Is t a multiple of 14?
False
Let z = -78 - -155. Is 11 a factor of z?
True
Let f be 0*2/4 + 0. Let d be (6/(-12))/(2/4). Is f - (-10 + (0 - d)) a multiple of 3?
True
Suppose -3*r - 36 = -7*r. Is 4 a factor of r?
False
Suppose 2*u - 73 = 11. Is 20 a factor of u?
False
Suppose f + 23 = 3*m, -5*m - 34 + 3 = f. Is 22 a factor of 3 - (4 - 4) - f?
False
Suppose 0 = l - 85 + 23. Is 19 a factor of l?
False
Is 6 a factor of (4/(-3))/(22/(-99))?
True
Let u = 2 + 59. Let o = -38 + u. Does 6 divide o?
False
Let j = 2 - -1. Suppose -k - j = -5. Suppose -5*l + 32 = 2*p, -k*l + 4*p = -0*p - 8. Does 3 divide l?
True
Let r be (-2)/(0 - -2) - -4. Suppose r*m - 60 = -9. Is m a multiple of 8?
False
Let p = 58 + -22. Is p a multiple of 10?
False
Let w be (6/5)/(3/10). Suppose -h - w*a + 132 = 2*h, 4*h = -3*a + 169. Is h a multiple of 20?
True
Let r be (-3 - (-5 - -2))*-1. Suppose -4*p + 4*v = -124, 0 = -4*p - r*v - 2*v + 124. Does 12 divide p?
False
Let p(i) = i + 7. Let h be p(-7). Suppose h = -2*l - 2*t + 18, 6 = -0*t - 3*t. Is 5 a factor of l?
False
Let g(u) = 2*u - 6. Let a be g(4). Suppose -2*b + a*o = 4*o - 12, -2*o = 5*b - 30. Suppose -15 = 3*h - b*h. Is 2 a factor of h?
False
Does 14 divide (-10)/(-25) + (-676)/(-10)?
False
Let p = 9 - 10. Is p/(-4)*1*28 a multiple of 3?
False
Suppose 4*g = 7*g - 9. Let j(l) = 3 - l**2 + 1 - 44*l + 48*l. Is 3 a factor of j(g)?
False
Let c(m) be the first derivative of 3*m**5/10 - m**4/12 - 2*m + 2. Let r(z) be the first derivative of c(z). Is 5 a factor of r(1)?
True
Let i(x) = -2*x + 68. Let d be i(0). Let p = d + -41. Is 9 a factor of p?
True
Suppose -222 - 198 = -10*r. Is 14 a factor of r?
True
Let a be (-161)/28 + (-1)/4. Let k(g) = g**2 - 4*g - 1. Let f be k(6). Let u = a + f. Is 5 a factor of u?
True
Suppose 2*l + 3*l - 135 = 0. Let x = 63 - l. Does 18 divide x?
True
Is 29 a factor of 4*1 + -9 + 34?
True
Let k(u) = 34*u**3 + u**2 - u. Suppose -2*a + 2 = -0*a. Is 17 a factor of k(a)?
True
Is 16 a factor of (9/(-27) + -5)/(1/(-12))?
True
Suppose 12 = 5*v + 2. Let c = 5 - v. Does 4 divide ((-2 - 0) + c)*9?
False
Suppose 0 = 5*v - 91 - 44. Is 8 a factor of v?
False
Suppose -4*t = -2*a - 2*t - 16, -2*t - 34 = 3*a. Let i = a + 34. Is i a multiple of 12?
True
Let q(c) = 11 + 3*c + 3 - 1. Is q(12) a multiple of 17?
False
Let t = 3 + 3. Suppose 4*u - 10 = -2*n, 0 = -5*u - 2*n + t + 4. Suppose r - 4*r + 66 = u. Is r a multiple of 11?
True
Let g(c) = -c**2 + 17*c. Let d be (-9)/(-4)*(8 - 4). Let o be g(d). Suppose 0 = 5*p + 2*i - 118, -p + 4*i = 3*p - o. Is p a multiple of 14?
False
Suppose -2*k - 1 + 7 = -q, -5*q + 5*k = 15. Let n be (0 - 5)*(-3 + 1). Let p = q + n. Does 10 divide p?
True
Suppose 0 = -4*w - 0*w - 16. Let l = w + 0. Let f(h) = -2*h + 2. Is 5 a factor of f(l)?
True
Let n = -375 - -585. Does 21 divide n?
True
Suppose 13*v - 12*v = 57. Is v a multiple of 11?
False
Let o be 10/(-4)*(-24)/20. Suppose -2*g = 5*h - 2, -2*g + o = g + 2*h. Does 8 divide 48/3 - -1 - g?
True
Let q(x) = 3*x + 10. Let v be q(-7). Let j(i) = -i**2 - 14*i + 3. Does 28 divide j(v)?
False
Let x(d) = d**2 - 6*d + 6. Does 13 divide x(8)?
False
Suppose -4*g + 26 = 2*a, -18 = -5*a - 4*g + 23. Is a even?
False
Let j = 8 + -5. Suppose -j*q = -q. Suppose 5*x + 4*v - 215 = q, -2*v - 14 = -x + 3*v. Is x a multiple of 18?
False
Let h(m) = 40*m**2 - m - 1. Suppose -3*s = 5 - 11. Suppose -3*k = 1 + s. Is 14 a factor of h(k)?
False
Let o(l) = 2 - 7*l - l**2 - 5 + 10. Is o(-5) a multiple of 5?
False
Suppose 3*o - 2*f - 29 = -6*f,