 6, -4*z + 3*i + 5807 = 0. Does 2 divide z?
True
Let o = 2991 + -1774. Is 6 a factor of o?
False
Suppose 0 = 26*k - 228866 - 401998. Does 7 divide k?
False
Let j(x) = -14*x + 1 - 64*x**2 - 8*x + 61*x**2. Let l be j(5). Let p = -87 - l. Does 11 divide p?
False
Let m = 462 + -455. Suppose m*b - 2*b = -5*w + 2165, 0 = -w + 1. Is 16 a factor of b?
True
Suppose -86295 + 20544 = -101*g. Is g a multiple of 31?
True
Suppose -42*p = 2262 - 9822. Is p a multiple of 9?
True
Let s = 8615 + -6492. Does 5 divide s?
False
Is -5 + (20/3 + -6)*(7747 - 1) a multiple of 11?
True
Let j be 6 + -8 + -6*1*51. Let l = 13 - j. Is 10 a factor of l?
False
Let f = -282 + 282. Suppose f = 3*w - 421 - 17. Is w a multiple of 38?
False
Let i be (8/(-6))/((-15)/45). Suppose 4 = i*j, 0*b + 2*b - 3*j - 5 = 0. Suppose 2*v = -b, -496 = -3*f + 3*v + 2*v. Is f a multiple of 27?
True
Let h(g) = -g**3 + 3*g**2 + 3*g. Let m be h(3). Let u(j) = -7*j - 6. Let a(i) = -28*i - 23. Let z(r) = m*u(r) - 2*a(r). Is 35 a factor of z(-16)?
False
Suppose -372 = 4*l - 408. Let v be 0 + (-3 - 141)/(-3). Is 3 a factor of v - (-6 + l + 2*-2)?
False
Let y(g) = -245*g - 5815. Does 4 divide y(-36)?
False
Let y(o) = 1230*o - 1603. Does 12 divide y(23)?
False
Let b(g) = -g**2 - 37*g + 108. Suppose 0 = -10*m - 77 - 233. Is b(m) a multiple of 7?
True
Let o be 25/(3 + 0 + -2). Suppose -o*k = -17*k - 40. Does 2 divide k?
False
Let u(t) = 4*t**2 + 75*t + 28. Let o be u(-22). Suppose -f - 3*y + o = 78, 3*f - 698 = -4*y. Is 34 a factor of f?
False
Let t(x) = x**3 - 9*x**2 + 10*x - 7. Let i be t(8). Let l be (-6 - (4 - i))*-25. Suppose -4*u + 31 = -l. Is 12 a factor of u?
False
Suppose 62 = d + 56. Suppose 3*g + d*h - 8*h - 1014 = 0, 4*g = -3*h + 1335. Is 19 a factor of g?
False
Let h = -1988 + 4336. Let z = 3455 - h. Is 41 a factor of z?
True
Let q = 7376 - 6685. Does 5 divide q?
False
Let m(a) = 2*a + 1. Let j be m(2). Let i = j - 1. Suppose 0 = -2*p - 4*q + i, -2*q - 3*q = -5*p + 70. Is p a multiple of 10?
True
Does 10 divide (7 + -6 + 2 + 6)*1301?
False
Let x(b) = -2332*b + 72*b**2 + 2331*b + 9*b**2. Is 11 a factor of x(1)?
False
Suppose -15*h - 7288 = -26233. Suppose 53 - h = -5*k. Is 11 a factor of k?
True
Let d = -5449 - -8452. Does 91 divide d?
True
Let y be 2/(-3)*(0 + (-2 - 1)). Suppose 4*k = y*k. Suppose k = -9*j + 45 + 9. Is 6 a factor of j?
True
Suppose 4*m + 6 = 2*m, 5*x - 5*m - 3985 = 0. Suppose 5*c = x - 94. Does 20 divide c?
True
Suppose 0*n = -4*n - s - 116, -5*s + 170 = -5*n. Let t = 46 + n. Is t a multiple of 3?
False
Let j(q) = 1681*q - 1321. Is 55 a factor of j(18)?
False
Let b be ((-20)/6 + -2)*3. Is 20 a factor of ((-120)/96)/(1/b)?
True
Suppose 7570 = 266*r - 261*r - 2*b, -4542 = -3*r - 3*b. Is r a multiple of 4?
False
Let v = -55 - -107. Suppose v*m - 49*m - 5*z - 1055 = 0, 699 = 2*m + z. Is m a multiple of 12?
False
Let k(p) = -32*p**3 + 11*p**2 - 3*p - 170. Does 9 divide k(-10)?
False
Suppose 26 = 6*k - 10. Let r = -259 - -435. Suppose k*n - 4 = r. Does 22 divide n?
False
Is 42 a factor of (4/(-30))/(-4 - (-455)/117)*3570?
True
Suppose 3*x - 6*x = -w - 4, 0 = 5*x - 3*w. Suppose x*h - 19 = 2*b, b - 6*b - 76 = 2*h. Is 26 a factor of 146 - ((-4)/(-14) - (-4)/b)?
False
Suppose 3*p - 4*p - 11 = -5*n, -5*p = 3*n - 1. Suppose 14*m - 10*m = -n*w + 1248, -1248 = -4*m + 4*w. Is m a multiple of 26?
True
Does 17 divide (15/20 - (-13092)/(-48))/((-3)/6)?
True
Let f = 49702 - 22207. Does 47 divide f?
True
Let p(c) = 10*c**3 - 50*c**2 + 33*c - 548. Does 21 divide p(13)?
False
Suppose 5*s + 2115 = 3*a, -9*s - 410 = -8*s + 2*a. Is 4 a factor of (s/(-315))/((-3)/((-1026)/4))?
False
Let x(l) = 185*l + 480. Let n(i) = 47*i + 120. Let y(t) = -25*n(t) + 6*x(t). Is y(-9) a multiple of 31?
True
Suppose z = 3*z - 2*n - 14, z + 3*n + 13 = 0. Let y(s) = 16*s**3 + s**2 + 7*s - 12. Let o be y(z). Let l = -38 + o. Is l a multiple of 24?
True
Let w(u) = -4*u**3 + u**2 + 5*u + 1. Let d = -39 + 16. Let a be (2/(-5))/(d/(-115)). Does 9 divide w(a)?
True
Suppose -3*x + 28 = -2*f, 5*x + 5*f - 48 = 8*f. Suppose x*w = 8*w - 20. Let u(r) = -2*r + 17. Does 11 divide u(w)?
False
Suppose -1811 = -4*j + 5*q, -29*q = -4*j - 28*q + 1799. Is 16 a factor of j?
False
Let m be 6 - 2*(-4)/(-8). Let d = 429 - 334. Suppose -m*j = -c + d, 3*c + 0*j = -2*j + 370. Is c a multiple of 30?
True
Let o(s) = -s**3 - 33*s - 124. Let k be o(-4). Is 3 a factor of 10/((-6 - (-426)/k)*-2)?
True
Is 181 a factor of 4/(-9) + (-14 - (-1218033)/81)?
True
Let h(g) = g**3 - 13*g**2 + 8*g - 28. Let p(b) = -b**2 + 13*b + 1. Let o be p(12). Let x be h(o). Suppose -27 = -u - 3*q + 45, -u + x = 2*q. Does 28 divide u?
True
Let z be 13/65 + 6479/5. Suppose 4*o - z = 4*p, 2*p + 2*p + 312 = o. Let v = o - 153. Is 46 a factor of v?
False
Suppose 0 = -h + 5*q + 1086, -3*h + 1397 + 1897 = -3*q. Suppose -4*d + h = -1471. Does 69 divide d?
False
Let h(k) = -k - 1. Let a(r) = r**3 + 13*r**2 - 29*r + 26. Let y(l) = a(l) + 3*h(l). Does 14 divide y(-15)?
False
Let h(z) = z**3 + 15*z**2 + 31*z - 18. Does 43 divide h(13)?
True
Let j = 5493 - 4048. Does 3 divide j?
False
Suppose 5*k = 3*l - 2, -5*k - 4*l + 6 + 20 = 0. Let n be 18/(-21) + 306/63. Suppose 0 = -b - 4*c + k*c + 23, n*b + 4*c - 72 = 0. Is 7 a factor of b?
False
Let l = -2645 + 2849. Is 34 a factor of l?
True
Let n be (-393)/(-4) + (-2)/8. Let y(k) = 2*k**2 - 11*k - 163. Let m be y(13). Suppose f - n = -p, 5*f + 246 + m = 3*p. Does 12 divide p?
True
Suppose -56*k + 122*k = 64*k + 45780. Does 6 divide k?
True
Let g(x) = -130*x + 815. Is 14 a factor of g(3)?
False
Let x be (-1 + 2)*-28*99/(-66). Suppose 3*i - 2*i - x = 0. Is 13 a factor of 28/i*2/((-4)/(-282))?
False
Let x(r) = -r**3 - r + 1. Let f(i) = -4*i**3 + 6*i**2 - 5*i + 4. Let q(d) = f(d) - 3*x(d). Suppose 0 = -5*u + 11 + 14. Is 6 a factor of q(u)?
False
Suppose -6 + 4 = -2*r. Let n(u) = -139*u**2 - 3*u + 2. Let g be n(r). Is 18/(-4)*g/30 a multiple of 7?
True
Suppose 2*b - 411 = 3*k, 5*k + 821 = b + 3*b. Suppose -20*g - 20 = -15*g. Does 2 divide b/28 - -5 - g/(-14)?
True
Let d be (-19938)/2*70/(-35). Does 12 divide (196/(-40) - -5) + d/20?
False
Let k = 38 - 30. Suppose -9 = -k*z + 3103. Is 9 a factor of z?
False
Let x(q) = -q**2 + 7*q + 14. Let b(v) = -3*v**2 + 13*v + 29. Let j(w) = -3*b(w) + 7*x(w). Is j(-7) a multiple of 18?
False
Let u be (-138)/4*288/(-27). Let y = -240 + u. Let v = y + -44. Is 17 a factor of v?
False
Suppose i + 4*j - 3838 = j, 2*i - 4*j = 7676. Is 38 a factor of i?
True
Is 9 a factor of (-52969)/(-282) - 7/(-6)?
True
Suppose -11*a + 1479 = -974. Is 14 a factor of a?
False
Let c(m) = 37 + 32 - 10*m + 6*m**2 + 5*m - 9*m - 5*m**2. Is 6 a factor of c(11)?
True
Let b(t) = t**2 - 7*t**3 + 12*t**3 - 4*t**3 + 18 - 2*t**3 - 10*t**2 + 7*t. Is 24 a factor of b(-10)?
True
Is 123 a factor of (-150200)/300*279/(-6)?
False
Suppose 100*c = 103*c - 75. Let b = c - 20. Does 10 divide 427/b + 15/25?
False
Let c = 57 - 62. Let z(s) = 2*s**2 + 10*s + 8. Let n be z(c). Is 30 a factor of 881/5 - n/40?
False
Let h be (-2136)/63 + (-2)/21. Let b = 30 + h. Is 132/8 - (-6)/b a multiple of 11?
False
Let t = 657 + -342. Suppose -25 = 5*u - t. Is u a multiple of 12?
False
Let n(g) = -g**3 - 33*g**2 + 32*g + 30. Is n(-39) a multiple of 6?
True
Let g(d) = 6*d - 43. Let w be g(8). Suppose -w*y + h - 223 = -6*y, 0 = 4*y - 4*h - 900. Is y a multiple of 18?
False
Let u = 8370 - 7910. Is 5 a factor of u?
True
Let q(v) = -37*v - 200. Suppose -3*g - 93 = -2*u - u, 2*g + 56 = -4*u. Is q(g) a multiple of 70?
True
Suppose 6*w - w + 2*k - 5574 = 0, -3*w + 2*k + 3354 = 0. Suppose -5*t = -4876 + w. Is t a multiple of 47?
True
Suppose 110 = 5*m + 30. Let t(v) = v**3 - 18*v**2 + 7*v - 9. Let w be t(m). Let x = -251 - w. Does 26 divide x?
False
Suppose -3*p = -21 - 21. Let w(c) = -17*c + 178. Let y be w(11). Let v = p - y. Is v a multiple of 4?
False
Suppose 4*f + 4*c + 0 = -4, -2*f + 2*c = -10. Suppose 0 = f*i, 4*g - 20*i - 3412 = -18*i. Is g a multiple of 19?
False
Is (-76)/570 + 2 + 560357/15 a multiple of 63?
True
Suppose -28*f = -6306 - 11138. Let t = f + 323. Is 11 a factor of t?
True
Let z(u) be the first derivative of 17*u**3 - 7*u**2 + 36*u - 87. Is 49 a factor of z(3)?
False
Let t(d) = -4*d**2 + 31*d + 46. Let j(a) = 7*a**2 - 10*a - 15. Let l(h) = -h**2. Let y(r) = -j(