77. Is 18 a factor of 7 - -186 - (b - 2)?
True
Let z = -22 - -28. Let m be ((-2)/z)/((-5)/(-15))*1. Let o = m - -17. Is 8 a factor of o?
True
Let u(p) = 2383*p**2 - 57*p + 122. Does 20 divide u(2)?
True
Suppose -2*i - 74 = 164. Suppose 3*a + 921 = 3*l, -18*l - 1221 = -22*l - 3*a. Let g = i + l. Is 25 a factor of g?
False
Let o = -6184 + 17699. Does 5 divide o?
True
Suppose -5*n + 2 = -3*o, 4*o + 4*n - 3*n = 5. Suppose -s = -3*q - 0*s + o, 4*q = -4*s + 28. Suppose k - 25 = q. Is k a multiple of 4?
False
Let k = -8 + 9. Let s(w) = 4*w**2 + 2*w + 4. Let l(h) = 13*h**2 + 6*h + 11. Let u(f) = 6*l(f) - 17*s(f). Is u(k) a multiple of 5?
True
Let m(j) = -j**2 + 9*j + 6. Let n be m(9). Suppose -n*d + 15 + 39 = 0. Suppose -d*f + 24 = -5*f. Is f a multiple of 2?
True
Suppose 7628 + 1206 = 7*q. Suppose 5*u - p = 1765, -5*p + q - 231 = 3*u. Is 44 a factor of u?
True
Suppose s + 17334 = k, 199*k - 198*k - 4*s - 17316 = 0. Is k a multiple of 170?
True
Let y be (-2 - (-84)/39) + (-2334)/(-39). Let m be 2/10 + (-4)/y*-1047. Let n = -51 + m. Does 9 divide n?
False
Suppose r + 4*b - 70 = 0, -2*r + 0*b + b + 176 = 0. Is 13 a factor of -2*r*(-2)/2?
False
Suppose 0 = 6*s - 2919 - 5793. Suppose -74*m = -70*m - s. Does 57 divide m?
False
Does 21 divide (35343/495)/(3/270)?
True
Suppose 6*o + 2 - 32 = 0. Suppose j - 258 = -o*w, -2*j = -4*w - 289 - 185. Is j a multiple of 27?
True
Let z(u) = 3*u + 2. Let m be z(-5). Let h(l) = -l - 6. Let b be h(m). Does 7 divide (-2 - 1 - b/14)*-10?
True
Let z(c) be the second derivative of c**5/4 + 5*c**4/24 + 4*c**3/3 + 9*c**2/2 + 7*c. Let s(q) be the first derivative of z(q). Is 16 a factor of s(-3)?
True
Let q = -8329 + 9755. Does 62 divide q?
True
Let a = -990 + 3447. Let g = a - 1428. Does 42 divide g?
False
Suppose 0*n + 480 + 8201 = n. Is 152 a factor of n?
False
Let b = -79211 + 120461. Is b a multiple of 110?
True
Let m(p) = 2*p**3 + 11*p**2 - 5*p. Let h be m(-5). Suppose 51*y - 99 = h*y. Is 22 a factor of y?
False
Let o(w) = 477*w**2 + 18*w - 100. Is o(5) a multiple of 3?
False
Is 3*-3 - ((44 - 10) + -22597) a multiple of 63?
True
Suppose -42*h + 38*h + 17 = -n, 0 = -3*h - 4*n + 8. Suppose 0 = -h*g - 3*c + 4453, 525 = -g + c + 1633. Does 33 divide g?
False
Suppose 0 = 109*f + 23*f - 102738 - 322170. Does 29 divide f?
True
Let f(x) = -16*x**2 - 5*x + 39. Let v be f(7). Let a = 1442 + v. Is a a multiple of 36?
False
Let p(n) = -12 - 74*n - 5 + 79*n. Let h be p(2). Let s(r) = -28*r - 31. Is s(h) a multiple of 33?
True
Let l = 19 - 223. Let c = l - -304. Does 4 divide c?
True
Let o(w) = -26*w - 37. Let t be o(-7). Suppose -985 = t*l - 150*l. Is 20 a factor of l?
False
Let s = -1121 - 97. Let h = 682 - s. Does 38 divide h?
True
Let q(d) = 84*d**3 + 43*d**2 + 12*d - 32. Is 10 a factor of q(4)?
True
Let x be 73497/36*2 - (-55)/66. Suppose -20*t - 964 = -x. Does 4 divide t?
True
Suppose -5475*o - 114153 = -5515*o + 441447. Is 90 a factor of o?
False
Let r(p) = -15*p - 11. Let q be r(-1). Let v be 5 - (q + -4*91). Suppose 0 = 3*b - 517 - v. Is 21 a factor of b?
True
Is 37 a factor of (400 + -1)*(-7210)/(-618)?
False
Let f = 31 - -18. Suppose 47*t - f*t - 4 = 0. Is t/(-4) - (-5269)/22 a multiple of 15?
True
Suppose 0 = -6*z + 311 + 739. Suppose -535 = -3*r - z. Is 10 a factor of r?
True
Suppose 27 = 6*j - 3. Suppose 4*v + 5*s - 39 = 0, -3*s + 2*s = j*v - 54. Suppose 0 = m - 2 - v. Does 3 divide m?
False
Let k(r) = 320*r + 147. Let y be k(-4). Let p = 2093 + y. Is 12 a factor of p?
True
Let p be 5*4*(-1)/(-5). Is 50 a factor of (p/10)/(-2) + 10005/25?
True
Let f be -7 + 9 + (-3 - -3). Suppose -224 = -4*p + f*r - 14, -5*r + 203 = 4*p. Does 13 divide p?
True
Suppose 0*x + 4*x = 16. Suppose 24 = 2*c - 5*w, -4*c + 5*w - 2 = -30. Suppose -x*b = b, -c*b = -h + 180. Does 30 divide h?
True
Suppose -5*d + 65440 = x, 4*d + 3*x - 65621 + 13258 = 0. Does 26 divide d?
False
Let u = 22421 + -16805. Is u a multiple of 8?
True
Suppose -26*g - 1589 = -33*g. Suppose -3*r - 2*p + g = 0, -3*r + 4*p - 154 = -5*r. Does 7 divide r?
False
Suppose 3*s + i - 11668 - 12841 = 0, -2*i - 8179 = -s. Is 4 a factor of s?
False
Let u(m) be the third derivative of m**5/5 - m**4/12 - m**3/6 - 3*m**2. Let p(l) = -l**3 - 5*l**2 + 34*l + 7. Let z be p(4). Does 10 divide u(z)?
False
Suppose 9448*n - 9450*n + 24076 = 0. Is 26 a factor of n?
True
Let j(v) = -224*v - 40 + 182*v - 26. Does 38 divide j(-7)?
True
Let u = 1180 - -3182. Does 22 divide u?
False
Suppose 14*z = 5*z + 2898. Does 5 divide (z/(-35))/(4 - 164/40)?
False
Let r(z) = 137*z + 134. Let o be r(10). Suppose 7*h + o = 11*h - 4*i, -i = -2*h + 751. Is 41 a factor of h?
False
Suppose 4*a + 2*q - 10 + 0 = 0, q + 16 = 5*a. Suppose 5*u = -3*k - a + 420, -5*u + k = -421. Is 30 a factor of (720/u)/((-4)/(-70))?
True
Suppose -170 = -3*m + 5*d, 5*m + 3*d = 2*m + 186. Let k be (1 + -3 + 47)*-1. Let g = k + m. Does 5 divide g?
True
Suppose 3*l = 2*l + 16. Let p be (-2 - 2)*(-204)/l. Let h = -11 + p. Does 5 divide h?
True
Let o(d) = -8*d**3 + d + 1. Let r be o(-1). Let n(u) be the first derivative of u**3/3 - u**2 + 17*u - 49. Is n(r) a multiple of 18?
False
Let y(q) = -388*q**3 + 8*q**2 + 11*q - 15. Is 60 a factor of y(-3)?
True
Is 38 a factor of (-10)/(-25) + (-35)/140*(-428624)/10?
True
Let h be (-6)/90*-485 - (-15)/9. Let q = -1 - -1. Is h - (0 - (q - 0)) a multiple of 34?
True
Is (-115)/23*5163/(-15) a multiple of 3?
False
Suppose -z - 26034 = -3*x, 20*x = 25*x - z - 43392. Does 2 divide x?
False
Suppose 0 = -2*f - 5*y + 16107, -5*f - 3*y + 9254 = -31023. Is f a multiple of 19?
True
Is 18 a factor of (-2070)/4*(-1056)/660?
True
Suppose -3*j + 6*j = 4*d - 14, -5 = -5*j + d. Let u be ((-5)/(-2))/(2 - 345/174). Suppose 4*c - 4*v = 92, -5*c = -v + j*v - u. Is 3 a factor of c?
False
Let y = -82 - -82. Suppose -3*i + 0*i + 5*m + 722 = y, -i = -m - 240. Is 31 a factor of i?
False
Let u = 3744 + -2708. Is u a multiple of 20?
False
Let p(d) = -12*d**3 + 2*d**2 + 4*d - 4. Let h be p(-3). Suppose 0 = -4*k + 4*t + 1296, k = 2*k - 3*t - h. Let l = -72 + k. Is l a multiple of 20?
False
Let z be (2*(-2)/8)/((-5)/(-1370)). Let n = 71 + z. Let h = n + 225. Is h a multiple of 14?
False
Let b(n) = n**2 - 11*n - 24. Let v be b(13). Suppose v*x = 7*x - 50. Is 13 a factor of x/20*(31 + 1)?
False
Let w(r) = -r**3 - 24*r**2 - 118*r - 3. Let u be w(-7). Is 29 a factor of (-470 + 35)*24/u?
True
Suppose -14*i = -11*i + 144. Suppose 19*u - 21*u - 132 = 0. Let x = i - u. Is x a multiple of 15?
False
Suppose m - k = -2*k - 2579, -4*k = 12. Let d be 3 + ((-10)/(-75) - m/30). Suppose -209 = -2*b + d. Is 21 a factor of b?
False
Let r(n) = -6*n - 3*n - 15 + 6*n. Let k be r(-6). Suppose k*o - 8*o = -485. Is 13 a factor of o?
False
Is (-12)/(-132) + (-115894)/(-22) a multiple of 12?
True
Let n(d) = 49*d**2 + 4 - 65*d**2 - 12*d - 82*d**2 + 6. Let x(z) = -z + 1. Let m(l) = -n(l) + 8*x(l). Is m(1) a multiple of 9?
False
Let w = -26 + 34. Let y = w - -2. Let l = 16 + y. Is l a multiple of 14?
False
Let m = -3480 - -6662. Does 37 divide m?
True
Let j(o) = -5*o + 3. Suppose -5*h - 5*d + 6*d = 50, -5*h - 4*d = 75. Is j(h) a multiple of 58?
True
Suppose 7*k - 8 = 118. Let p = -13 + k. Suppose -p*y - 5*z + 355 = 0, 5*z = 5*y - 131 - 214. Is 5 a factor of y?
True
Let j = 39 - 34. Suppose -2*n - j*n = -5978. Is n/10 + -4*(-1)/(-10) a multiple of 19?
False
Let u = 5741 + -1856. Is u a multiple of 111?
True
Does 11 divide 14/(-4)*-55*18/1?
True
Suppose -g = m + 16, 5 = 5*g - 2*m + 78. Let u = g - 59. Let x = 141 + u. Does 32 divide x?
False
Let w = -161 + 166. Suppose 0 = w*b + 7*b - 2700. Does 25 divide b?
True
Does 3 divide ((-1)/(-2))/(6/11652*1)?
False
Suppose 2*g = -4*d + 8568, -977*g + 982*g + 4*d = 21426. Is 20 a factor of g?
False
Let u = 2498 - 4146. Let q = 2554 + u. Is 8 a factor of q?
False
Suppose 0 = 3*c - 9*c + 132. Suppose 5*x + d = 312, 4*d - c + 97 = x. Does 10 divide x?
False
Suppose -d = -2*g - 0*g - 353, -352 = 2*g - 2*d. Let l = 477 + g. Is 15 a factor of l?
True
Let n = -3554 + 20032. Is n a multiple of 97?
False
Suppose 1956 = -9*t - 348. Let n = 436 + t. Is n a multiple of 69?
False
Let m = 135 - 118. Suppose -m*j = -16*j - 399. Does 21 divide j?
True
Let t = 26573 + -17777. Does 12 divide t?
True
Let j be ((-19)/2)/((-3017)/(-336) - 9). L