 - 9 = 1, 0 = -3*h - 2*k + 871. Is h a multiple of 41?
True
Suppose -g + 5 = 0, 5*y + 2345 = 7*g - 12*g. Let o = 22 - y. Is o a multiple of 56?
False
Suppose 5*k = 3*w - 103, 2 + 3 = 5*w. Let t be 4/(-10) + (-8)/k. Suppose t = 50*r - 51*r + 3. Is r even?
False
Let a(g) = -5*g + 149. Let y be a(27). Suppose u = 19 - y, -3*j + u = -931. Does 12 divide j?
True
Let x(n) = 61*n**2 - 36*n - 97. Does 10 divide x(-3)?
True
Does 102 divide 4/90 - (-1790090)/225?
True
Suppose -300*d - 2498140 + 2311650 + 5386990 = 0. Is d a multiple of 116?
False
Let v(j) = -384*j**2 - 4*j - 5. Let f(d) = 385*d**2 + 5*d + 5. Let z(t) = 3*f(t) + 2*v(t). Let w be z(-2). Suppose 0 = -23*a + 14*a + w. Is a a multiple of 25?
False
Let t(f) = 22*f**3 + 2*f**2 + 11*f + 19. Let z be t(7). Suppose 15*k - 35*k + z = 0. Does 43 divide k?
True
Let f(b) = 58*b + 2. Let n be f(-1). Is n/(-28)*(-1)/2 + 217 a multiple of 16?
False
Let w be (-3)/(18/(-4)) - 3682/42. Let h = -80 - w. Let r = 94 - h. Is 22 a factor of r?
False
Let t = -5893 + 13052. Is 131 a factor of t?
False
Suppose 13*l - 483747 + 136075 = 0. Is 63 a factor of l?
False
Suppose -5*w - 14 = -3*i, -5*i + 3*w + 8 = -10. Suppose i*q = -4*y + 838, 5*y - 420 = -q + 622. Does 12 divide y?
False
Let q be (-92)/3*(1365/(-2))/7. Suppose -6*z - 560 = -q. Does 21 divide z?
False
Let p(f) = -f**2 + 10*f. Let t be p(10). Let c(k) = -k**3 + 2*k**2 - 2*k + 2. Let u be c(t). Let b(r) = 15*r - 5. Does 5 divide b(u)?
True
Let b = -1081 - -19824. Does 17 divide b?
False
Let b be (-60)/(-5)*21 - 0. Suppose 3*d - 723 = -b. Is d a multiple of 24?
False
Is (5 - -7048) + 1/(4/(-16)*-1) a multiple of 175?
False
Suppose 0 = r + y - 22, r + 3*r = -y + 100. Suppose -r = n - 2*d - 86, 0 = 4*n - d - 233. Let p = n - 44. Is p a multiple of 14?
True
Does 25 divide 138/115 - 1 - (-85864)/5?
False
Let g(t) = 2496*t + 6786. Is 12 a factor of g(6)?
False
Suppose 0 = -2*i + 7*i - 5730. Suppose -41*y = -4143 - i. Is y a multiple of 3?
True
Let g = 208 - 200. Suppose g*f - 9*f = -341. Is 46 a factor of f?
False
Let a = 51 + -47. Let z(i) = -1. Let o(v) = 2*v**3 - 6*v**2 - 11*v + 9. Let p(s) = a*z(s) + o(s). Is 31 a factor of p(6)?
True
Let k(r) = r**3 + 9*r**2 - 13*r + 4. Let y be ((-7)/(-5))/((-6)/(-30)). Suppose u = y*u + 60. Does 17 divide k(u)?
True
Let q = -231 + 234. Let p = q - -152. Is 31 a factor of p?
True
Suppose 2*r = r + 9. Let h be (-25)/1*1 + r/3. Let o = -6 - h. Is o a multiple of 6?
False
Let c(b) = b**2 + 10*b + 22. Let s be c(-10). Suppose 3*f + s = 1. Is (90/f)/(15/(-140)) a multiple of 30?
True
Suppose 3 = -3*k + 15. Suppose x + k - 2 = 0, -3*p = 3*x + 6. Let j(s) = -2*s + 34. Is j(p) a multiple of 15?
False
Is 26 a factor of ((-624)/(-32))/((-6)/(-992))?
True
Let b(o) be the third derivative of 29*o**5/60 - o**4/6 + o**3/2 + 6*o**2 + 2*o. Is 28 a factor of b(1)?
True
Let s(p) = 14*p**3 - 3*p**2 + 13*p - 9. Let h(r) = r**2 - r. Let i(c) = 3*h(c) + s(c). Is i(3) a multiple of 57?
True
Suppose c - 1 = -4*g + 7*g, -g + 3 = 3*c. Suppose m = -k + 35, g*k - m + 111 = 3*k. Does 20 divide k?
False
Let n(k) = -4*k + 21. Suppose 13*u - 8*u = -85. Let c = -27 - u. Is 16 a factor of n(c)?
False
Let o(g) = -11*g + 13 - 12*g + 21*g. Let q(s) = -4*s**2 + 1. Let c be q(1). Does 8 divide o(c)?
False
Suppose 0 = -4*x - q - 20, 4 = 2*x + q + 16. Let r be 4 - 1/(x + 5). Is (-3 + -6)*(-45)/r a multiple of 14?
False
Let r(q) = -53*q + 16*q**2 + 20*q**2 + 48*q - 9. Does 11 divide r(-3)?
True
Let i(s) = s**3 - 5*s**2 + 5*s - 4. Let f be i(4). Suppose 0 = -d - f + 14. Does 2 divide d?
True
Let i(g) = 426*g - 10200. Is 15 a factor of i(100)?
True
Suppose 2*j = 5*r + 13, -5*j + j - 3*r = -65. Is (-12)/j - 450/(-35) even?
True
Suppose -6*z + 2*z = f - 80, 0 = 4*f. Let o = 22 - z. Suppose 0 = -2*b - o*m + 115 + 253, -5*b + m = -896. Is b a multiple of 36?
True
Let w(x) = -x**3 + 6*x**2 - 3*x + 23. Let d be w(6). Suppose -3*i - 174 = -d*a, 5*a + 5*i = 2*a + 84. Suppose -5*l + 6*l = a. Is l a multiple of 13?
False
Let k(m) = m**2 - m - 6. Let n be k(3). Suppose n = 4*i - i - 3*p - 567, 2*p = i - 189. Let y = i + -64. Does 29 divide y?
False
Let n(c) be the first derivative of -c**4/4 + 17*c**3/3 - 16*c**2 - 26*c + 246. Let v = -9 + 23. Is 20 a factor of n(v)?
False
Let r(q) = -128*q**3 - 4*q - 3. Suppose 8*a + 13 = 5. Is 43 a factor of r(a)?
True
Suppose -9*u + 1922 = 20012. Let m be (1 - 0)*u/(-15). Let z = 230 - m. Is 32 a factor of z?
True
Suppose 25 = 5*p - 0*p, y - 35 = -p. Suppose -5*x + 3*r = -23, -6*x + 16 = -3*x - 4*r. Suppose t = -x*t + y. Is 2 a factor of t?
True
Let n(f) = -2*f**2 + 21*f + 1608. Is 67 a factor of n(0)?
True
Suppose -25*j + 4124 + 876 = 0. Let d = j + -111. Is d a multiple of 13?
False
Let z = -12618 + 23926. Is 11 a factor of z?
True
Suppose 2*f - 1652*d = -1657*d + 5935, -f - 5*d + 2965 = 0. Is 45 a factor of f?
True
Let q = 17752 - 8798. Does 7 divide q?
False
Let f(h) = -3*h + 2. Let w be f(0). Suppose 7*a - 90 = w*a. Let j = 68 - a. Does 41 divide j?
False
Suppose 4*z = -3*s + 24482, -4*s - 12208 = 301*z - 303*z. Does 44 divide z?
True
Let l = -23202 - -29926. Is l a multiple of 62?
False
Suppose 0 = 92*z - 2583802 - 3610190. Is 229 a factor of z?
True
Suppose 0 = -32*v + 85116 + 58116. Suppose 19*p - v = 12396. Does 74 divide p?
True
Let r be (-32)/80 - 47/(-5). Suppose -3*y + 55 = 2*w - r, y = -5*w + 30. Suppose 4*x + 28 = 4*p + 8, 4*p - 2*x - y = 0. Is 2 a factor of p?
False
Let q(j) = 12*j**3 - 270*j**2 - 2*j + 22. Is 30 a factor of q(23)?
True
Let l(m) = -2*m**3 + 6*m**2 + m - 6. Let h(d) = d**3 + d + 1. Let c(g) = h(g) + l(g). Let t be c(6). Let y(s) = s**2 - 5*s - 9. Is y(t) a multiple of 3?
False
Let p(c) = -2*c**2 - 28*c - 8. Let d(g) = -g**2 - 27*g - 9. Let j(v) = 2*d(v) - 3*p(v). Does 7 divide j(-10)?
False
Let j(y) = 3*y**2 + 7*y - 5. Let k be j(1). Suppose k*d - 723 = 802. Suppose -190 = -5*p + d. Does 12 divide p?
False
Let v(c) = -4*c + 9*c + 34*c**2 - 35*c**2. Let j be v(5). Suppose -2*n + 4*o = -196, j*n = -3*n - 5*o + 327. Is 16 a factor of n?
False
Let z(x) = 7672*x**2 + 130*x - 130. Is z(1) a multiple of 137?
True
Suppose -8 = -48*f + 44*f. Suppose 3*r + 3*z = -9, 2*z = f*r - 15 + 1. Suppose 30 = r*h + 4*v, 4*v + 7 = 3. Is h a multiple of 3?
False
Is 44 a factor of 3/((-45)/24)*(-43 + -562)?
True
Suppose -2*m = -4*t - 36, 0 = -t - 2*t + 5*m - 41. Let z be t + 1856/(-104) - (-4)/(-26). Is 33 a factor of 44 - -3*z/(-15)?
False
Let p(t) be the first derivative of -t**2 + 8*t + 1/3*t**3 - 28. Is p(7) a multiple of 14?
False
Let m = -350 - -468. Let a = 350 - m. Is a a multiple of 29?
True
Let l(a) = 117*a**2 - 77*a - 2. Is l(-7) a multiple of 30?
True
Let p be (1962/(-45))/(-2 + (-63)/(-30)). Let k = p + 815. Is 17 a factor of k?
False
Suppose -65852 + 19388 = -48*m. Does 22 divide m?
True
Let u(y) = 40*y + 1941. Let z be u(0). Suppose 5*p - 164 = z. Is p a multiple of 32?
False
Let f = 521 - 264. Let g = f - 46. Suppose 2*b + x = 417, b = 2*x - 5*x + g. Does 63 divide b?
False
Let j = 262 + -259. Suppose -j*b - 366 = -n, 3*b = -2*n - 3*n + 1884. Is 25 a factor of n?
True
Suppose 274*u = 298*u - 458784. Does 16 divide u?
False
Suppose -3*l = -4*p - l + 746, 5*p + 4*l - 939 = 0. Suppose 0 = 4*z - 4*h - 44, -3*z + 3 + 6 = 3*h. Suppose -z*t + p = -2. Is 5 a factor of t?
False
Let c(z) = 85*z**3 + 4*z**2 + 28*z - 112. Is 80 a factor of c(4)?
False
Let l(p) = 9*p**3 - 2*p**2 + 4*p + 4. Let w be l(-2). Suppose 0 = 2*n - 330 - 62. Let i = n + w. Does 16 divide i?
True
Let c be 2/11 - 20/(-11). Let s(z) = -4*z**3 + 2*z**2 - 6*z + 5. Let m be s(c). Does 7 divide ((-6)/(-10)*m)/(25/(-125))?
False
Is 20 a factor of 3 + 155*1778/70?
True
Let g be 2 + (4 + -4 - 3). Let a be -1 - (3*g + 8/(-4)). Is (4/8)/(a/264) a multiple of 3?
True
Let f = 96962 + -59073. Is 11 a factor of f?
False
Let w = 22 - 17. Let d(u) = u**3 - 4*u**2 - 7*u. Let m be d(w). Let n(a) = -a**2 - 11*a + 12. Is n(m) a multiple of 11?
True
Suppose 27258 = 616*n - 605*n. Is n a multiple of 63?
False
Suppose -9*p - 5*p + 9352 = 0. Suppose 3*b - 2002 = -5*d, -2*d + p = 6*b - 5*b. Is 83 a factor of b?
True
Suppose 0 = -3*w + 3*x + 24390, -4*w + 42*x - 45*x + 32555 = 0. Does 22 divide w?
False
Let g be 4827/(-5) - 6/(-15). Let s = g + 1612. Does 8 divide s?
False
Supp