*2. Let n be s(5). Does 6 divide 1316/32 + n/8?
False
Let h = 74 + -73. Suppose 12 = -3*c - 5*r, -c - r - 3 + h = 0. Is 11 a factor of -11 + 199 - ((0 - 0) + c)?
True
Let l(t) be the second derivative of -t**4/12 - 11*t**3 - 79*t**2/2 + 22*t - 8. Is 22 a factor of l(-47)?
True
Let d(a) be the third derivative of -8*a**2 + 13/24*a**4 + 0 + 2/3*a**3 + 0*a - 1/30*a**5. Does 3 divide d(6)?
False
Let k = 3934 - -1673. Is 6 a factor of k?
False
Let n be (2 - 2)/(4*(-5)/20). Does 44 divide -6 + n - (1 - 112)?
False
Let l(t) = -154*t + 858. Is l(-33) a multiple of 110?
True
Let h = -80 + 70. Let d(a) be the second derivative of -a**3 + 9*a**2/2 - 10*a. Is d(h) a multiple of 11?
False
Suppose -2*g - o = -3*g - 155, -g - 5*o = 125. Let u = 386 + g. Is 59 a factor of u?
True
Suppose -t + 10 = 3*d, 5*t - 1 = 2*d - 36. Suppose d*i + 3*b = 2413, 4*i = -0*i - b + 1929. Is i a multiple of 20?
False
Let q(h) = 6*h**2 - 106*h + 3612. Is q(45) a multiple of 62?
False
Suppose 30 = -2*a - 4*t, 0 = a + 4*a - 4*t + 75. Let f(i) = -14*i - 82. Is 16 a factor of f(a)?
True
Suppose -6*u + 2*u + 498 = -2*s, 0 = -u - 5*s + 130. Suppose q - 3*z - u = 0, 6*q - 2*q + 3*z = 575. Is q a multiple of 14?
True
Let x be (-4)/(-22) + (-183911)/(-473). Let a = x + 307. Does 58 divide a?
True
Let a = 5 + 0. Let l be 2/(21/((-3591)/(-18))). Suppose -l = -m + s + 46, -a*m - 4*s = -325. Is 8 a factor of m?
False
Suppose -51 = -5*k + 2*z, -3*k + 3*z = 2*k - 49. Suppose 35 = -k*h + 1190. Does 72 divide h?
False
Does 33 divide (704/24)/(1 - (-644)/(-648))?
True
Let d(m) = -3*m**3 - 4*m**2 + 48*m + 50. Is d(-13) a multiple of 109?
True
Suppose -5*s + z - 9 = -6*s, -s = -5*z - 9. Let u(h) = 3*h**2 - 15*h - 46. Does 2 divide u(s)?
True
Suppose -4*v + 0 + 4 = -2*b, 3*b + 2*v - 10 = 0. Suppose -2 = 2*c - 4*z, -b*c - 5*z - 1 = -17. Suppose -141 = -2*l + c. Is 13 a factor of l?
False
Suppose -123 + 43 = 8*h. Is (-7448)/(-20) - ((-42)/h)/(-7) a multiple of 43?
False
Let p(n) = -n**3 - 2*n + 4. Let x be p(0). Let z be 2*(11/2 - x). Suppose 3*j + 4*i + 2 = 0, 5*i = -2*j + z - 16. Is j a multiple of 3?
True
Suppose 5*u + 0*b - 6268 = -b, 2*u - 2518 = -4*b. Suppose v - u = -848. Is v a multiple of 5?
True
Suppose -2*r + 21*r - 56883 = -15216. Is r a multiple of 17?
True
Suppose -4360 = -2*u - 2*b, 10*u + 5*b = 8*u + 4348. Does 8 divide u?
True
Let m = -18353 + 24158. Is m a multiple of 43?
True
Suppose 31*t = 137905 + 41089. Is 15 a factor of t?
False
Let j(r) be the first derivative of r**3/3 + 2*r**2 + 264*r + 42. Is j(0) a multiple of 33?
True
Does 74 divide (8 - (-91)/(-14))/(24/55648)?
True
Suppose -v + 25*v - 203155 = 3557. Is v a multiple of 29?
True
Suppose 3*n - c = -6*c + 10, -2*c = 5*n - 4. Suppose n = -g + k + k + 25, 0 = 5*g - 3*k - 160. Let s = g + 41. Does 20 divide s?
False
Let h(b) = b**2 + 3*b + 66. Let t = 194 - 177. Does 14 divide h(t)?
True
Let w = -498 - -501. Let d be 8*-1*3/(-6). Suppose -2*m - 5*p = -d*p - 46, 0 = w*m + 2*p - 69. Is m a multiple of 6?
False
Let b = 8 - -12. Suppose -l = r + 3*r - 13, 5*r = -2*l + b. Suppose r*y - 102 = -y. Is 34 a factor of y?
True
Let r(s) = -5*s - 1. Let w be r(-1). Let j = 0 + w. Suppose j*v + 0*v - 8 = 0, -5*l = -v - 493. Does 4 divide l?
False
Let c = -893 + 897. Suppose 6*l - c*l = 394. Does 4 divide l?
False
Suppose 0 = 9*i + 5*i - 952. Let n = 87 + i. Is 31 a factor of n?
True
Let a = -461 + 377. Let w = a - -404. Does 5 divide w?
True
Suppose 17*s = 15*s + 10. Suppose -5*l + 1839 = -s*y + 209, 5*l + 5*y - 1590 = 0. Does 23 divide l?
True
Let s(y) = -4*y + 16. Let a be s(4). Suppose a*c - 4*c + 20 = 0, -x + 106 = 2*c. Is x a multiple of 8?
True
Suppose -5*n + 45487 = -j, 2*n - 7540 = -2*j + 10662. Is n a multiple of 10?
False
Let p(q) = 2*q - 1. Let y be p(2). Let n(d) = 5 + 27 + y*d**2 - 4*d**2 + 15*d. Is 3 a factor of n(16)?
False
Let h = -1307 + 5570. Does 45 divide h?
False
Let q(t) be the first derivative of t**3/3 + t**2 - 10*t + 3. Let c be q(2). Does 25 divide (-1)/(9/(-1074)) + c/6?
False
Let c(d) = -18*d - 133. Suppose 0 = 9*x - 17*x - 176. Does 8 divide c(x)?
False
Suppose -2*u = 3*h - 25, -2*h + 0*u + 25 = 3*u. Let y be h/((-25)/(-6))*(-820)/(-8). Suppose 0*x = -3*x + y. Does 12 divide x?
False
Let b = 394 - 374. Suppose -7*t = -b*t + 6760. Is t a multiple of 65?
True
Let s(r) be the first derivative of 21*r**2/2 - 22*r + 46. Does 33 divide s(15)?
False
Let l = -1803 - -2316. Is l a multiple of 27?
True
Let y = 30610 - 1270. Is 180 a factor of y?
True
Let p(z) = 112*z**3 + 33*z**2 - 12*z - 3. Does 17 divide p(4)?
False
Let f = -310 + 442. Is 19 a factor of f/(1 + 1)*(-7)/(-2)?
False
Let v(q) = -67*q - 1. Let c be v(-1). Let t = -10724 + 10936. Let x = t - c. Does 40 divide x?
False
Suppose 83 = -7*b + 293. Suppose b*k + 4692 = 36*k. Does 34 divide k?
True
Suppose 31*u + 6*u = -82*u + 8304653. Is u a multiple of 25?
False
Suppose 0*u - 2*u + 14 = v, -2*v + 10 = u. Is 20 a factor of ((-2)/5)/(u/(-2505))?
False
Let u(q) = -14*q - 19*q + 80 + 23*q. Is u(-6) a multiple of 10?
True
Suppose -10 = -4*r - 0*b + 2*b, -4*r + 4*b = -4. Is 13 a factor of (-68)/(-51) + 1019/3 + r?
False
Suppose -8*y = -7*y - 11. Suppose 5*o + 7*t - 1050 = y*t, o + 5*t = 210. Does 14 divide o?
True
Let v be 838/6 - 4 - (-3)/9. Let i = 206 - v. Is i a multiple of 10?
True
Let t(q) be the first derivative of 4*q**2 - 14*q - 30. Let l be t(19). Is -2 - ((-24)/(-18))/((-4)/l) a multiple of 11?
True
Suppose -9 = -m + 5*q, -2*m + 5*q - 4 = -17. Suppose -m*o - 7*o = -3311. Is 32 a factor of o?
False
Suppose 3*g = -p + 2950, -2*g + 5*p + 489 + 1472 = 0. Suppose 0 = 21*y - 3490 - g. Does 20 divide y?
False
Suppose -2*o + 74 = o + 2*w, -o - 3*w + 27 = 0. Suppose -o*x = -33*x + 513. Does 38 divide x?
False
Suppose -5*j + 5*c - 120 = 3*c, 4*j + 96 = 2*c. Suppose -3*d + 0*d = 6. Is 55 a factor of (-6)/j*d - 551/(-2)?
True
Suppose -2*o - 26 = 3*z - 6*o, 0 = -4*z + o - 13. Let d be (-101)/4*(z - 2). Suppose 0 = -f + 3*s + d, -s = -5*f + 2*s + 469. Is f a multiple of 24?
False
Let p = -604 - -2953. Does 27 divide p?
True
Is 91 a factor of 9455 + -3*15/(-5)?
True
Let s = 5857 + -1456. Is s a multiple of 9?
True
Let y = 66 - 46. Let r be ((-6110)/y)/((-2)/12). Suppose f - 738 = -f + 2*m, -r = -5*f - m. Is f a multiple of 41?
False
Let n = 111176 + -72398. Does 46 divide n?
True
Let p(d) = -40*d**2 - 2*d - 3. Let a be p(-2). Let v = 83 - a. Let m = -22 + v. Is 44 a factor of m?
True
Let m be -1*2*(7 + -6). Suppose 7 = -5*t + 12. Is (-30)/((m + 1)*2/t) a multiple of 8?
False
Let r = 71 + -60. Suppose -p - 8 = -2*u, 2*p - r = -3*u - 2*u. Suppose -q + 4*a = -47, 0*q - q + u*a = -45. Does 39 divide q?
True
Let k(g) = -g**3 - 34*g**2 + 36*g + 25. Let f be k(-35). Let n(m) = 6*m**2 + 22*m + 23. Is 13 a factor of n(f)?
True
Suppose 3*z - 171 = -16*z. Suppose 493 + 1172 = z*k. Is 22 a factor of k?
False
Let o be ((-40)/(-6))/((-38)/(-9) - 4). Suppose -7*a + 3*b - o = -8*a, 2*b - 76 = -3*a. Let w = 113 + a. Is 29 a factor of w?
False
Let t(a) = 39*a - 33. Let g be t(7). Is 3810/g + (-1)/(-8) a multiple of 16?
True
Suppose -16 = 5*z - 26. Suppose -4*o + 5*o + q = 219, 3*o - z*q - 642 = 0. Is o a multiple of 24?
True
Suppose 67 - 103 = -4*d. Suppose 0 = d*k - 15*k + 78. Is 5 a factor of k?
False
Let c be (720/(-27) - 4)*-3. Let v = 83 + c. Is 7 a factor of v?
True
Suppose 93118 = 5*k + 4*y + 26265, -2*k - y = -26737. Is k a multiple of 45?
True
Let n = -372 + -438. Let o = 140 - n. Does 50 divide o?
True
Suppose 5*i + 84110 - 19042 = 3*k, 0 = k + 12*i - 21785. Is k a multiple of 18?
False
Suppose 2*d - 15706 = -2*g, 5*d - 1938 - 37285 = 2*g. Does 20 divide d?
False
Let m(y) = 86*y**2 - 3*y - 8. Let g be m(-3). Suppose 783*u = g*u + 2712. Is u a multiple of 7?
False
Suppose 2*i - 1001 = 151. Suppose 0 = -4*a - 0*a + i. Let n = a - 72. Is n a multiple of 24?
True
Let n(d) be the first derivative of -65*d**2/2 - 24*d + 21. Does 11 divide n(-4)?
False
Suppose 234*i - 10763615 = -1382321. Is i a multiple of 28?
False
Let n = 11737 - 5539. Is 109 a factor of n?
False
Let n = -2970 + 4407. Is 22 a factor of n?
False
Suppose 4*h - 5*h - 3*i = -2566, 0 = -4*h + 4*i + 10184. Suppose -9*d = -h + 391. Is 10 a factor of d?
True
Is 64 a factor of ((819/14)/39)/(9/85632)?
True
Suppose -5*p = 2*