17*u = -14*u - i. Does 17 divide u?
True
Suppose -c + 3447 = 8*c. Is 12 a factor of c?
False
Let m(h) = 3*h**3 + 3*h**2 - 5*h - 10. Suppose 5*p - 1 = -16. Let f(a) = -4*a**3 - 2*a**2 + 6*a + 9. Let i(j) = p*m(j) - 2*f(j). Is i(-7) a multiple of 15?
False
Suppose 18*b + 7*b - 43075 = 0. Is b a multiple of 12?
False
Suppose 5 = 2*v - 5. Suppose -v*g = -14 + 4. Suppose -g*z + 6*z = 36. Does 2 divide z?
False
Suppose -25*a + 2459 = 2*f - 24*a, 3*f - 3681 = -3*a. Does 77 divide f?
True
Suppose 8*p - 2410 = -2*w + 6*p, 5*w - 5980 = 4*p. Is 15 a factor of w?
True
Suppose c + 1446 = 2*q, -5*c - 474 = 4*q - 3394. Is q a multiple of 11?
False
Let h(j) = -j**3 - 33*j**2 + 21*j - 13. Does 39 divide h(-34)?
True
Is (-9)/(-18)*-3*(-2104)/6 a multiple of 6?
False
Suppose -3*h = 3*f - 6*h + 450, 4*f + 636 = -5*h. Is 38 a factor of -6 - -5 - f/2?
True
Suppose 5*t = -3*r + 6, -t + 5*r - 6 = 4. Suppose 4*p - 628 - 20 = t. Does 18 divide p?
True
Let w(p) = 0 + p - 5*p - 2 + 6*p**2 - 5*p**2. Does 3 divide w(-3)?
False
Suppose -5*r - 134 = -4*t - 32, 4*t - 2*r - 108 = 0. Let u be (-3)/(-9) - t/(-6). Suppose -65 = u*a - 205. Is a a multiple of 14?
True
Suppose 2*a - 84 = 2*s, s - 2*a + 58 = 18. Let r = -32 - s. Is r a multiple of 12?
True
Is 15 a factor of -7 - (1776/(-8) + 2 + 3)?
True
Suppose 4*k - 2*b = -0*b + 190, 0 = 2*k - 2*b - 100. Is k a multiple of 9?
True
Is 3/(7 + -8) - -47*1 a multiple of 44?
True
Suppose 54*g = 6*g + 84720. Does 110 divide g?
False
Let l(s) = 5*s**2 - 10*s + 24. Is 3 a factor of l(6)?
True
Suppose -2*g - 2*g - 772 = -4*t, -4 = -4*g. Does 25 divide t?
False
Let h = 13 - 12. Let v(n) = 7*n**2 - 2*n + 1. Let g be v(h). Suppose 0 = -m + g*m - 120. Is 24 a factor of m?
True
Let t be 51*10/(-1 + 3). Suppose -2*b - 78 = 190. Let m = b + t. Is 34 a factor of m?
False
Let f be (-1)/4 - (-122)/8. Let y be f*(-3)/(-9) - 1. Suppose -p + 160 = y*p. Is p a multiple of 32?
True
Is 9 a factor of 1724/8 - (-3)/(-6)?
False
Let p(t) = -2*t**2 - t + 11. Let n be p(-4). Let y = 68 + n. Is 14 a factor of y?
False
Suppose 5*o - 3*o - 2*w = -26, o + 18 = 2*w. Does 25 divide 2/4 - (2 - (-412)/o)?
True
Suppose 2*t + 5*b = 9281, 23189 = -6*t + 11*t - b. Does 160 divide t?
False
Is (1185/(-30) + 2)/(3/(-160)) a multiple of 27?
False
Let p(c) = -c**3 - 2*c + 2. Let u be p(0). Suppose 42 + 54 = u*q. Is q a multiple of 16?
True
Suppose 0 = -146*j + 149*j - 12. Suppose -l + 197 = -3*t, -l + j*l = 2*t + 598. Is 23 a factor of l?
False
Let f(y) = y**3 + 16*y**2 - 11*y + 28. Is 24 a factor of f(-15)?
False
Suppose 7*j - 725 = 1235. Does 18 divide j?
False
Suppose 0 = 248*f - 236*f - 1572. Is f a multiple of 76?
False
Let g = 82 - 50. Let j = 60 - g. Is 14 a factor of j?
True
Let y(c) = c**3 - 16*c**2 + 31*c - 87. Is y(15) a multiple of 25?
False
Suppose 3*g = 3*l - 1689, 0 = -2*l + 5*g + 599 + 533. Is l a multiple of 24?
False
Suppose 0 = 2*p - 21 + 5. Let q(u) = -56*u + 33. Let h(n) = 37*n - 22. Let r(t) = p*h(t) + 5*q(t). Is r(5) a multiple of 16?
False
Suppose -2*s - 4*z = -750, s + 0*z + 4*z = 365. Is 55 a factor of s?
True
Suppose 3*m + 0*m - 60 = 0. Suppose -17*f + 16*f = -m. Is 10 a factor of f?
True
Suppose 31 = 2*i - 5*u, 3*u + 16 = -3*i - 2*u. Is 0 - (-25 - (i + 1)) a multiple of 6?
False
Suppose -2*p - 6 = -5*b, 2*p + 9 = -3*b - p. Suppose 4*q + q + 5 = 0, 4*t + 4*q - 272 = b. Is t a multiple of 38?
False
Let c = -881 - -1674. Is c a multiple of 30?
False
Let w(a) = 11*a**2 - 6. Does 2 divide w(3)?
False
Suppose 9*o - 6*o = 21. Suppose -10*f = -o*f - 6. Let p = f - -10. Is p a multiple of 12?
True
Suppose 25 = -2*x + x - 5*u, -5 = -4*x + u. Suppose 4*c + 6 = 5*w + 2*c, -2*w + c + 2 = x. Suppose -w*d - l = -28 + 2, -5*l = -10. Does 6 divide d?
True
Let s = 710 + 240. Is s a multiple of 50?
True
Let x(k) = -17*k + 95. Let a be x(6). Let h(b) = -b**3 - b**2 - 1. Let u(g) = -5*g**3 + 2*g**2 - g - 10. Let y(d) = -6*h(d) + u(d). Does 13 divide y(a)?
True
Let r = 4 + 10. Let o = 6 + r. Is 10 a factor of o?
True
Let s = 38 - 25. Suppose 4*a = -3*o + 93, -o = 5*a - s - 18. Does 8 divide o?
False
Suppose -30*d = -24*d - 3168. Is d a multiple of 12?
True
Let w(z) be the second derivative of -z**6/120 - z**5/20 + 3*z**4/8 + z**3 + z**2/2 + 9*z. Let r(b) be the first derivative of w(b). Is 8 a factor of r(-5)?
False
Is 17 a factor of ((-30)/(-6))/(-5) - -970?
True
Is -9*(1428/9)/(-7) a multiple of 21?
False
Suppose -s - q + 10 = 0, -2*s = -0*q - q - 20. Suppose s*v - 1806 = -536. Does 29 divide v?
False
Suppose 6 = 2*u - 0*u. Suppose 5*h = -5*z - 5, 3*z + 19 = 2*h + u*h. Suppose -2*n + n + h = 0. Is n a multiple of 2?
True
Let u(j) = 4*j + 19 + 4*j + 0*j**3 + j**3 - 5*j + 8*j**2. Is u(-7) a multiple of 5?
False
Suppose h + 26 = -14. Is (-72)/60*h/6 a multiple of 3?
False
Let k = 58 - -371. Is 39 a factor of k?
True
Suppose -u + 6*u = -4*f + 1468, -3*f = 4*u - 1102. Is f even?
True
Let r be ((-18580)/(-14))/10 + 2/7. Suppose 137*x = r*x + 248. Does 19 divide x?
False
Let g = -48 - -48. Suppose -2*q - 5*p = -15 - 27, g = -q + 2*p + 30. Is 5 a factor of q?
False
Suppose 4*o = 4*j - 80, -3*j + 4*o = -j - 40. Let d = j + -22. Let z = 4 - d. Does 5 divide z?
False
Suppose 2*o - 6*o - 2*y = 12, 4*o + 4*y + 12 = 0. Does 6 divide (2 - (-9)/o)/(2/(-40))?
False
Suppose 3*w - 31*u + 35*u - 1497 = 0, 3*w + u - 1497 = 0. Is w a multiple of 4?
False
Let y be (-10)/(-2)*(2 + -1). Suppose o + 4 = k, 5*k - 4*o = 7*k + 4. Suppose -8 + k = -2*p, y*p - 62 = -z. Is 35 a factor of z?
False
Let s = -211 + 302. Suppose -n + 3*q = q - 92, -n + q = -s. Does 10 divide n?
True
Let w = 37 - 45. Let j(i) = i**3 + 12*i**2 + 4*i - 9. Let a(s) = s**3 + 13*s**2 + 4*s - 10. Let k(h) = 4*a(h) - 5*j(h). Is 10 a factor of k(w)?
False
Let x(j) = 4*j**2 - 12*j + 13. Let q be x(7). Suppose 5*k + 5*d = q, 2*d - d = -2*k + 52. Is k a multiple of 16?
False
Let y = 90 + -62. Suppose -5*z = -25, y = 5*j - 4*j - 4*z. Is j a multiple of 16?
True
Let o = 973 - 207. Is 12 a factor of o?
False
Suppose 2*o = -2, -h + 3313 = -o - 0*o. Is h a multiple of 16?
True
Does 7 divide (-1)/(0 + 7) - 1037/(-7)?
False
Suppose -1 + 1 = 9*k. Suppose k = 3*c - 297 - 27. Is c a multiple of 14?
False
Let k = 43 + -40. Suppose -b = k*b + 228. Let r = b + 84. Is r a multiple of 5?
False
Let q = 1969 + -1249. Is 36 a factor of q?
True
Suppose -24*r + 22*r = 1102. Let v = r + 791. Is 20 a factor of v?
True
Suppose 0*l = -3*l - 3, 4*v - 4*l - 312 = 0. Suppose 2*o + 3*o - 2*f - 54 = 0, 0 = -o - 3*f + 21. Let d = v - o. Is d a multiple of 10?
False
Let m be 24/(-9)*12/(-8). Suppose -m*x = -2*x - 2*l - 328, -152 = -x - 5*l. Is 27 a factor of x?
True
Let x(g) = -3*g**3 - 7*g**2 - 8*g - 6. Let v be x(-4). Let a = 120 - v. Does 14 divide a?
True
Let h(g) = 57*g**3 + g**2 - 17*g + 30. Is h(2) a multiple of 24?
True
Let y = 4 - -18. Let q = y + -30. Let m = 24 + q. Does 3 divide m?
False
Is 7 a factor of 2/20*-2 - (-5466)/30?
True
Suppose 45*w + 3655 = 13825. Is 28 a factor of w?
False
Let s(b) = b + 16. Let p be s(-14). Let c(f) = 3*f**p - 6*f**2 - 6 + 6*f**2. Does 23 divide c(-5)?
True
Let m = -441 + 262. Let p = m + 327. Is 35 a factor of p?
False
Let y = -294 + 444. Does 2 divide y?
True
Let u = -197 + 298. Let j(t) = -4*t**2 + 25*t + 44. Let k be j(-3). Let a = k + u. Does 5 divide a?
False
Suppose -r = -2*p + 8, p - 4*r - 1 - 3 = 0. Suppose a - 75 = -3*a - m, p*m = 3*a - 61. Suppose -2*q + 3*n = -a, -5*q + 17 + 5 = n. Is q even?
False
Let z(o) = 9*o**2 + 7*o + 4. Let m be z(-6). Suppose -3*a + m = 73. Let r = 114 - a. Is 14 a factor of r?
False
Suppose 480 = -3*x + 7*x. Suppose -8*n - x = -14*n. Is n a multiple of 4?
True
Let b = -20 - 22. Let j be b/5*(-20)/6. Suppose x = -x + j. Is 7 a factor of x?
True
Suppose -2*o + 7*o - c = 2420, -1430 = -3*o + 5*c. Is 21 a factor of o?
False
Suppose 2646 = 19*p - 12*p. Is p a multiple of 14?
True
Let d(k) = k**3 - 7*k**2 - 10*k + 118. Is 30 a factor of d(14)?
True
Let u(i) = 3*i**3 + 7*i**2 + 3*i. Let p(q) = 7*q**3 + 15*q**2 + 5*q + 1. Let x(g) = 2*p(g) - 5*u(g). Let y(h) = h - 16. Let f be y(12). Is 3 a factor of x(f)?
True
Let g(z) = -z**3 - 14*z**2 - 14*z - 16. Let t be g(-13). Let n be (t - -58)*(4 + -1). Suppose 14*h = 9*h + n. Is h a multiple of 11?
True
Let x = -426 + 659. Suppose 11*t - 207 = x.