2*o - 3. Suppose -4*u = -2*f + 46, -u - 2*f - 7 = 2*f. Let a(w) = -5*w + 8. Let g(j) = u*r(j) - 4*a(j). Is g(-2) a multiple of 2?
False
Suppose y - 1599 = 265. Suppose 12*k - y + 304 = 0. Does 18 divide k?
False
Suppose 0 = -189*m + 200*m - 5786. Is 6 a factor of m?
False
Let k = -21 - -24. Is 2 a factor of 15 - (-4 + 2 + k)?
True
Let g(z) = z - 3*z**3 + z**3 + 4*z**2 + 0 + 1 - 2*z**2. Does 8 divide g(-2)?
False
Is 26 a factor of (4/7)/((-50)/(-6825))?
True
Let i(c) = c**2 + 3*c - 16. Let a be i(-6). Suppose a*d - 64 = -30. Is d a multiple of 11?
False
Suppose w - 756 = 5*w. Let u = w + 334. Suppose -31 = 3*b - u. Does 19 divide b?
True
Let t(f) = -f**3 + 6*f**2 + 9*f + 2. Is t(-3) a multiple of 28?
True
Suppose -3*r + 70 = 4*r. Suppose 0 = -r*f + 12*f - 208. Does 35 divide f?
False
Let j(d) = -24*d. Does 12 divide j(-2)?
True
Let v(i) = -7*i**3 - 8*i**2 + 15*i - 30. Is 6 a factor of v(-5)?
True
Suppose 19*x - 392 = 17*x. Suppose -2*k + x + 12 = 0. Is 13 a factor of k?
True
Suppose 0 = s + 2*l - 595, 4*s - 4*l - 2033 = 395. Is 67 a factor of s?
True
Suppose -2*m + 1 + 17 = 0. Let l(d) = 2*d - 11. Let k be l(m). Let h = 25 - k. Does 9 divide h?
True
Let n(u) = 5*u - 82. Does 2 divide n(17)?
False
Suppose -x = x - 2*u + 652, 2*x = -4*u - 670. Let t = 489 + x. Does 16 divide t?
True
Let r = 3746 + -1978. Is 13 a factor of r?
True
Suppose 1072 - 366 = f + 4*a, f - 5*a - 706 = 0. Does 10 divide f?
False
Let d = -9 + 6. Let o = -65 + 59. Is (62/4)/(d/o) a multiple of 14?
False
Suppose 2*a - 4*a - 70 = 4*s, 15 = 5*a. Suppose 5*p - 6*n + 159 = -2*n, 0 = -4*n + 4. Let m = s - p. Is 4 a factor of m?
True
Suppose 176*u = 154*u + 1188. Is u a multiple of 6?
True
Let r = 99 + -71. Let s = 21 + r. Is 7 a factor of s?
True
Let h = -1 + 90. Suppose -10*r + h = -351. Is r even?
True
Let k(d) = 2*d**2 - 7*d. Let x be k(6). Let n be (x/50)/(2/20). Does 16 divide 80/n*(-15)/(-10)?
False
Suppose 128 = -6*d + 26. Let s = d + 53. Is 6 a factor of s?
True
Let q(y) = y**3 - 22*y**2 + 24*y - 27. Suppose -5*b + 21 = -4*b. Does 12 divide q(b)?
True
Let x(q) = -2*q**3 - 13*q**2 - 7. Is x(-10) a multiple of 9?
True
Suppose 0*n + 4 = 2*n. Let r be (3/n)/((-3)/(-4)). Does 23 divide r*2/4 + 45?
True
Let x = 108 - 105. Let a = 4 + -1. Let z = x + a. Does 6 divide z?
True
Suppose -366 - 2756 = -14*u. Is 13 a factor of u?
False
Let f(q) = q**2 - 3. Let l be f(3). Suppose 2*v = 3*v - 79. Suppose l*p - 373 = -v. Does 16 divide p?
False
Let w(g) = -g**3 + 25*g**2 + 201. Is w(25) a multiple of 3?
True
Let y(g) = -g**3 + 19*g**2 + 22*g - 34. Is y(14) a multiple of 11?
True
Let y = -102 - -985. Does 4 divide y?
False
Let s = 21 - 9. Suppose 2*m - z + 5*z - s = 0, 3*m - 5*z = -37. Is 5 a factor of (9/(-15))/(m/40)?
False
Let k = -47 - -214. Suppose k = 4*f + 59. Is f a multiple of 12?
False
Let p(o) = 2*o - 1. Let a be p(2). Let f be (-2)/(-6) - (-287)/a. Suppose f = s + 2*s. Does 16 divide s?
True
Suppose -2*n = -0*n - 3*r - 341, -5*r = n - 164. Let c = -85 + n. Is 21 a factor of c?
True
Let z = -46 - -47. Does 6 divide (-1 + -1 + 0 + z)*-11?
False
Let d = -657 - -1015. Is d a multiple of 14?
False
Is 20628/45 + (-2)/5 a multiple of 63?
False
Suppose -7*c + 3222 = -4058. Does 60 divide c?
False
Suppose -5*y - 3*n = -2*y - 36, -y - 18 = -5*n. Let j = y + -2. Suppose -64 = -4*b + 2*i + i, -j*b + 83 = -3*i. Is 19 a factor of b?
True
Suppose 0 = -3*t + 26 - 2. Let d be (t/(-6))/((-2)/(-12)). Let a = d - -18. Is a a multiple of 5?
True
Let q = 35 - 28. Suppose 23 = 5*w - q. Suppose 36 = -5*g + w*g. Is 6 a factor of g?
True
Let n(j) = 60*j**2 + 8*j - 39. Is 12 a factor of n(6)?
False
Let h(c) = -c**3 - c**2 - c + 9. Let l be h(0). Suppose -5*b = -61 - l. Is 3 a factor of b?
False
Suppose 4*p + 3*l = 1392, -3*p = 4*l - 1442 + 398. Suppose p = 9*d - 3*d. Does 8 divide d?
False
Let c(q) = 3*q**3 + 5*q**2 + 4. Let n(a) = 4*a**3 + 5*a**2 + a + 3. Let x(p) = 3*c(p) - 2*n(p). Is 10 a factor of x(-3)?
True
Let h be (12/2)/(-3 + (-423)/(-138)). Suppose -5*o = -53 - h. Does 11 divide o?
False
Let t(a) = -54*a**3 + 2*a**2 - 1. Suppose 0 = 3*q + q + 2*m + 10, -4*q - 5*m - 7 = 0. Let o be -1*q*(-4)/12. Does 17 divide t(o)?
False
Let j(t) = -t**2 - 2*t. Let s be j(4). Is 8 a factor of (-416)/6*36/s?
True
Is 4 + 1 - (-102 + -4) a multiple of 5?
False
Let n be 0/(-1) - 20/(-5). Let q = -4 + n. Suppose d + i = 2*i + 34, -d + 3*i + 40 = q. Does 7 divide d?
False
Let g = -22 + 11. Let l(z) = -z**3 - 11*z**2 + 5*z - 14. Let j be l(g). Let f = -30 - j. Is 7 a factor of f?
False
Let w(a) = a**3 - 2*a**2 - 2*a + 1. Let j be w(-2). Let z(y) = y + 39. Is 7 a factor of z(j)?
True
Let p = -1706 - -3356. Is 66 a factor of p?
True
Let u = 1427 + 273. Is u a multiple of 50?
True
Suppose -a = 2*a - 69. Let t = a + -10. Suppose 0 = 3*u + t - 169. Is u a multiple of 13?
True
Suppose 3*m + 2*v - 386 = -0*m, 5*m - 2*v - 638 = 0. Is 19 a factor of m?
False
Let j = 24 - 19. Suppose -d + 77 = 2*w, -2*w + 107 = -j*d - 0*d. Is w a multiple of 5?
False
Let x(b) = 3*b**2 - 51*b + 58. Is 89 a factor of x(41)?
False
Let i be 3/(18/5 - 3). Suppose -5*l = 0, 178 = -p + 3*p - i*l. Suppose -h - 2*b - 28 = -p, -4*h + b + 262 = 0. Is h a multiple of 13?
True
Let z be -4 - (-5)/(25/10). Let j(r) be the third derivative of -r**6/120 - r**5/60 - r**4/8 - r**3/2 + r**2. Is j(z) a multiple of 4?
False
Suppose -2*q - 3*t - 2*t - 12 = 0, q - 3*t = 5. Does 15 divide 40 + 0 + 3/q?
False
Let m = -3 - -4. Does 15 divide (-376)/16*-2*m?
False
Let w be 4/(-8)*9/((-27)/30). Suppose 30 = 3*t - h - 80, w*t - h = 184. Is 2 a factor of t?
False
Let t(y) = 19*y**2 - 4*y + 74. Is 34 a factor of t(8)?
True
Let o(v) = 8*v**2 + 7 - 23*v**2 + 16*v**2. Is 4 a factor of o(4)?
False
Let b(x) = 55*x**2 - 2*x + 3. Is 4 a factor of b(1)?
True
Let u(x) = 5*x. Let k(p) = 4*p - 1. Let t(b) = -6*k(b) + 5*u(b). Let m be t(-9). Does 10 divide (-1 - m) + -3 + 40?
False
Suppose -5*w + 5*c + 1790 = 0, 5*w + 583 = -c + 2379. Is w a multiple of 18?
False
Let y = -174 - -238. Is 8 a factor of y?
True
Let j be (2 + 1)*4/12. Let g be (-6)/4*(-3 + 1). Let b = j + g. Is 4 a factor of b?
True
Let l be 2 + 2/1 - (63 + 1). Let q = 190 + l. Does 26 divide q?
True
Suppose 0 = -m + 18 + 1. Let z be 22/77 + m/7. Suppose -c + z = -4*c, 4*c + 140 = 4*y. Is y a multiple of 13?
False
Let u = -60 + 65. Suppose -u*h + 0*h + 275 = 0. Is 5 a factor of h?
True
Let c = -107 + 292. Is c a multiple of 34?
False
Suppose -3*j - j - 4 = 0. Is 10 a factor of (-5 + 7)*(j + 17)?
False
Let r(k) = -217*k - 83. Does 24 divide r(-6)?
False
Let a = -13 - -18. Suppose -272 = -a*d + 178. Suppose s = -4*s + d. Does 6 divide s?
True
Let j = 7 - -11. Suppose -j = -b - 2*b. Is b even?
True
Let p = -675 + 835. Is p a multiple of 80?
True
Let r(d) = 65*d**3 - d**2 + d - 1. Let y(v) = v - 8. Let b be y(9). Is 22 a factor of r(b)?
False
Suppose -4*d + 2099 = -5*g, 3*d - 1566 = -4*g + 5*g. Is d a multiple of 46?
False
Let y be (3 + -6 - -5)*(-53)/(-2). Suppose n - y = 115. Is 14 a factor of n?
True
Let k(z) = z**3 + 10*z**2 - 22*z + 13. Let i(d) = 2*d**3 + 19*d**2 - 43*d + 25. Let f(o) = -3*i(o) + 5*k(o). Is 25 a factor of f(-10)?
True
Let g = -24 + 27. Suppose -g*i - 50 = -8*i. Is i a multiple of 10?
True
Suppose 0 = 3*w - 9, -3*y + 36 = 6*w - 3*w. Let h = 39 - y. Does 10 divide h?
True
Suppose -s = 5*o - 9*o - 202, 0 = -4*s + 4*o + 748. Is 7 a factor of s?
True
Let o be ((-4)/6)/((-6)/63). Let b(y) = -3*y**3 - 6*y**2 + 4*y + 6. Let r be b(-5). Is 6/(-42) + r/o a multiple of 10?
True
Let n = 2007 - 178. Is 18 a factor of n?
False
Let d(s) be the third derivative of s**6/60 - s**5/10 - 5*s**4/24 + 7*s**3/6 + 17*s**2. Is d(5) a multiple of 41?
True
Let p(z) = 76*z**2 + 6*z + 8. Is p(-2) a multiple of 25?
True
Let j(h) = 2*h**2 - 4*h + 7. Let l be j(-5). Let n = l + -51. Is n a multiple of 26?
True
Let b = 5 + -8. Let y = 41 - b. Is 5 a factor of y?
False
Suppose -q = s - 49, -3*q - 231 = -4*s - 0*q. Suppose s = 2*m + 2*z, -4*z + 5 = -4*m + 137. Is m a multiple of 30?
True
Suppose -2464 = -50*x + 34*x. Does 8 divide x?
False
Let y(z) = z**3 + z**2 - 2*z + 1. Let c be (-8)/20 - (-7)/5. Let m be y(c). Does 8 divide (-122)/(-4) + m/(-2)?
False
Let i(s) = s**2 + s - 1. Let p(r) = -24*r**2 - 9*r + 8. Let a(z) = -6*i(z) - p(z).