c. Does 90 divide c?
True
Suppose -6*v + 8 = -2*v. Suppose v = -s, 4*h = -5*s + s - 1436. Let k = -253 - h. Is 13 a factor of k?
True
Let t be (-3 + 8)*6770/50. Let b = t + -648. Is b a multiple of 29?
True
Let y be (2/4)/((-1)/(-4)). Suppose x - 181 = -3*d + 2*d, 3*d - 363 = -y*x. Is 16 a factor of x?
False
Let n be (-7)/1 - (-59 - -16). Let w = 836 - n. Is w a multiple of 50?
True
Suppose -20*l + 514050 = -39*l + 44*l. Does 46 divide l?
True
Suppose 25*w = 18150 + 50000. Is w a multiple of 16?
False
Let c(g) = 4*g**2 - 5*g - 17. Let i(d) = -8*d**2 + 3*d - 2. Let p be i(1). Let f be c(p). Let h = 306 - f. Is 15 a factor of h?
False
Suppose 0 = 19*t + 121561 - 29791. Does 7 divide -4 - t/56*8/3?
False
Let x(r) = -r**3 - 4*r**2 - 5*r - 3. Let d be x(-5). Suppose 887 = 27*y + 806. Suppose -d = -y*c + 1. Is c a multiple of 4?
True
Let n = -985 - -1723. Is n a multiple of 9?
True
Let o be (-495)/(-72) - 3/(-24). Suppose o*p - 1936 = 752. Is p a multiple of 8?
True
Does 10 divide (-1 - (4 - 1)) + 76 + 6204?
False
Let v = 1003 - 685. Does 51 divide 3/2*(v + 22)?
True
Suppose -2*d + 48 = -4*z, -3*d + 4*z = -7*d + 36. Let k(q) = -q**3 + 2*q**2 - q - 2. Let h be k(-2). Let m = h + d. Is 15 a factor of m?
True
Let r be 0 + 2 + 0 + 14. Suppose -2*k + 12474 = 40*k. Is 9 a factor of r/6*k/22?
True
Suppose 2*q + 164 = -204. Let a be q/(-64) + 2/16. Suppose -5*o = -t - 117, -a*o = -o - 5*t - 56. Does 23 divide o?
True
Let b = -4339 + 2995. Let u = b + 644. Does 11 divide u/(-40)*(1 + 1)?
False
Does 81 divide (18/(-24))/(3/(-324))*79?
True
Let c(m) = 3*m - 2. Let t be c(2). Suppose -4*r - 5*a + 10 = 0, -2*r + t*a = -r - 13. Suppose s + 3*l = 42, -4*s + 5*l - 36 = -r*s. Does 4 divide s?
False
Suppose 16*n - 4 = 14*n. Suppose -d - 19 = n*s, 5*d - 7*d + 26 = -4*s. Does 5 divide -1 + 15 + (s - -4)?
True
Let y be 3 - (-2 - -3) - -2. Let u be 47/4 - y/(-16). Suppose -v + u = -10. Does 9 divide v?
False
Let n(y) = 103*y**2 + 8*y + 18. Let k = 7 + -9. Is 46 a factor of n(k)?
True
Let z(k) = -2*k**2 + 169*k - 203. Does 119 divide z(60)?
True
Suppose 4*r = -22*q + 18*q + 2936, 0 = -4*q - r + 2942. Is 9 a factor of q?
False
Let s be (4 + -2 + 1)*5/3. Suppose 4 = -2*w, -v - 4*w + 520 = -s*v. Is ((-15)/(-9))/((-1)/v) a multiple of 22?
True
Suppose d - 36302 = -4*w, -238*d + 243*d = 3*w - 27192. Is 26 a factor of w?
True
Suppose 995 - 80 = 2*j - 5*b, -b = 2*j - 897. Suppose -3*o + 327 + j = 0. Suppose -l - 24 + o = -2*u, 4*u = -16. Does 18 divide l?
False
Let y = 60 + -44. Suppose 0 = -4*j - 0 + y. Suppose t - j*t + b = -34, 0 = -3*b + 6. Is t a multiple of 12?
True
Suppose 9*c = -559 - 233. Let d = c - -637. Is 37 a factor of d?
False
Suppose -465*f - 20289 = -2*m - 464*f, -f - 10149 = -m. Does 22 divide m?
False
Suppose 0 = 5*w - 5, -4*u - 135*w = -140*w - 18791. Is 31 a factor of u?
False
Let i be (-1)/((-7)/7*1/212). Let o = i + -104. Is 36 a factor of o?
True
Let x(m) = m**3 - 16*m**2 - 54*m + 402. Is x(31) a multiple of 185?
False
Let b(i) = i**3 + 11*i + 72. Let d be b(0). Is 30 a factor of ((-270)/d)/((-2)/256)?
True
Suppose -7*o + 2*o + 5 = 5*w, -4*o = 5*w - 8. Suppose 9*k - 7*k - 1226 = 4*p, 5*k - 3135 = -w*p. Is k a multiple of 7?
True
Let u(g) = -g**3 + 13*g**2 + 25*g - 18. Let j be u(17). Let v = 1293 + j. Is v a multiple of 32?
True
Let m(t) = -5121*t**3 + t**2 + 3*t + 3. Let z be m(-1). Suppose -17*h + 12*h = -2*n - z, 3*h = -3*n + 3090. Is 19 a factor of h?
True
Is 87279/39 + 2 + 66/858 a multiple of 35?
True
Suppose 2*l - 2*k - 8110 = 0, k + 8105 = -5*l + 7*l. Does 81 divide l?
True
Let x(l) = l - 4*l - 2*l - 70. Is 2 a factor of x(-25)?
False
Does 67 divide (7239/508)/((-6)/(-2608))?
False
Suppose 0 = -3*t - 4*u + 53446, -35*t + 32*t = -3*u - 53418. Is t a multiple of 65?
True
Let b = 116 + -132. Is -3*b/(-12) - -340 a multiple of 21?
True
Let d = -4 + 62. Suppose d = r - 5. Is 9 a factor of r?
True
Let q be (-2)/5 - (-484)/10. Suppose 6 = -2*p + 2, -2*y - p - 26 = 0. Let m = y + q. Is m a multiple of 12?
True
Let x be 1/(-1) - (41 + -44). Suppose -q + 60 = 2*j, x*q + 5*j + 7 = 131. Is q a multiple of 25?
False
Let z = 208 - 217. Is z + 4 + 1*140 a multiple of 9?
True
Let d be (-161)/23 + -2 + 5. Let f(n) = -n**2 + 6*n. Let x be f(5). Let w = x - d. Is w a multiple of 8?
False
Let f(b) = 2405*b**2 - 27*b - 54. Does 21 divide f(-3)?
True
Suppose 2*j - 2*o + 19 = 7*j, -20 = -4*j - 4*o. Suppose -j*k = q - 486 - 211, 677 = 3*k + 5*q. Is k a multiple of 18?
True
Let t(d) = 4*d - 12. Let p be t(8). Suppose -6*s = p + 10. Is 21 a factor of s*8/(-20)*(-1 - -114)?
False
Is 180 a factor of (-2)/(-18) - 21979720/(-1449)?
False
Let f(h) = -9*h - 9. Let y(n) = -26*n - 27. Let q(m) = -11*f(m) + 4*y(m). Let i be q(-3). Suppose -11*d = -i*d - 190. Is 14 a factor of d?
False
Is 20 + 10 + (-26 - -23751) a multiple of 30?
False
Let b(v) = -2*v + 22 - 7*v + 1 - 5*v**2 + 13*v**2. Does 8 divide b(7)?
True
Let u = -2364 - -4366. Is 77 a factor of u?
True
Suppose 11*h - 4277 - 783 = 0. Suppose 3*i - 15 = -0*i. Suppose -2*d = -5*f - 109 - 87, h = i*d - 5*f. Is d a multiple of 22?
True
Suppose -4*m - 2*f = -156, -3*f = -m + 45 - 6. Let u = m - -200. Let j = u + -153. Is j a multiple of 10?
False
Let o(x) be the second derivative of -x**4/6 - 7*x**3/6 + 9*x**2/2 - 21*x. Let a be o(-4). Let c = 65 - a. Is c a multiple of 10?
True
Suppose -5*z + 21790 = -10*p, 4*p + 16383 = 4*z - 1025. Is 92 a factor of z?
False
Let v be (4 - 4)/((-6)/4*-2). Suppose v*k - 1090 = -10*k. Is 29 a factor of k?
False
Let h = 487 - 282. Suppose -c - 8*v = -3*v - h, 589 = 3*c + 2*v. Is 39 a factor of c?
True
Let i = -34674 + 36890. Is 7 a factor of i?
False
Suppose 35*z = 42*z - 18*z + 40227. Is z a multiple of 79?
False
Suppose -971*b - i + 86726 = -967*b, -2*b + 3*i + 43370 = 0. Is b a multiple of 56?
False
Let j be 11 - 4/((-12)/(-9)). Suppose 1 = 3*f - j. Suppose -f*r + 37 + 35 = 0. Does 9 divide r?
False
Let n(m) = -m**3 + 10*m**2 + 6*m - 10. Let j be n(10). Let v = j - 51. Is 11 a factor of (v/2)/((-2)/484)?
True
Let z(w) = w**3 + 17*w**2 + 16*w + 2. Let i be z(-16). Suppose -2*b = -4*b - 4, 3*d + 91 = -i*b. Let s = d - -46. Is 2 a factor of s?
False
Let u be 3 - 8/(-6) - 1/3. Suppose 305 = u*i + w + 4*w, -2*w + 360 = 5*i. Suppose 3*d + 2*y + i = 368, 3*d + 3*y - 300 = 0. Is d a multiple of 11?
False
Suppose -3*o + 498 = f, 6*o - 11*o = 2*f - 829. Let i = -17 + o. Is i a multiple of 30?
True
Suppose -88256 - 89614 = -35*z. Is 22 a factor of z?
True
Suppose 44*t - 18*t + 260 = 0. Let a(v) = -v**2 - 6*v + 73. Is a(t) a multiple of 33?
True
Let p(f) = -33*f - 9. Let k be p(-1). Let o(q) = -2*q**3 + 49*q**2 - 15*q - 72. Does 9 divide o(k)?
True
Let x be (-29382)/(-8) - (-69)/(-92). Suppose 11*a + 7*a = x. Is a a multiple of 38?
False
Suppose 24 = -f + 1. Let n(r) = -r**3 - 23*r**2 - 5*r - 49. Is n(f) a multiple of 46?
False
Let d(h) = h**3 - 9*h**2 - 20*h - 9. Let v be d(11). Let n(q) = -q + 21. Let y be n(v). Let k(a) = 21*a + 22. Is k(y) a multiple of 10?
True
Let x be 2*((-359)/2 + 30 + -26). Let b = 687 + x. Is 24 a factor of b?
True
Let u(n) = n**3 - 71*n**2 + 744*n - 285. Is 49 a factor of u(61)?
True
Let h = 291 - 1839. Is 6 a factor of (-3 - h/5) + (-3)/5?
True
Suppose 0 = 9*j - 42 - 39. Let w(u) = 3*u - j*u + 4 + 5*u + 4*u. Is w(8) a multiple of 6?
False
Let z(c) = 246*c - 1581. Does 6 divide z(10)?
False
Suppose 24*g - 14*g + 7*g = 177888. Is g a multiple of 96?
True
Let x(m) = -93 - m**2 + 50*m + 24*m + 5*m + 3*m**2. Is 3 a factor of x(-41)?
True
Suppose 70*x - 266078 - 90152 = 0. Is 7 a factor of x?
True
Let u(l) = -311*l**3 + 17*l**2 + 49*l + 20. Is u(-2) a multiple of 6?
True
Let g(z) = 3*z**2 + 5*z - 6. Let n be g(-4). Let a = n + -39. Let k = a - -134. Is 13 a factor of k?
True
Let c(w) = w**3 + 18*w**3 - 4*w**2 + 3*w - 1 + 0*w**3 - 4*w**3. Let a be ((-8)/12)/2*-6. Is c(a) a multiple of 16?
False
Let r(x) = 6*x**3 + 378*x**2 - 423*x - 60. Is 11 a factor of r(-63)?
False
Let q(k) = 2*k**3 - 24*k**2 + 24*k - 14. Let l be q(11). Suppose l*b = 4*b + 1344. Is 12 a factor of b?
True
Let v = -234 - -579. Suppose 5*x = -5*j + v, 0*x = -x + 5*j + 87. Does 14 divide x?
False
Let k = -49 + 39. Let r(d) = 4*d + 3. Let m be r(k). Let y = -7 - m. Is 10 a factor of y?
True
Let o(j) = -41*j - 81. Let