. Suppose f = 48*s - l*s - 288. Is 35 a factor of s?
False
Let d be (-6)/(-4)*2 + -1. Let k be d/(2 - 9/6). Suppose 6*b - b - 85 = -3*f, 4*b - k*f - 100 = 0. Does 8 divide b?
False
Suppose 2*t + 1 - 5 = 0, -4*u + 5*t + 1430 = 0. Let j = u + 184. Does 32 divide j?
True
Suppose 18*k - 14*k = -4*t + 94248, -2*t = -2. Does 14 divide k?
False
Let s(p) = -12*p**3 - 4*p**2 - 24*p - 89. Does 42 divide s(-4)?
False
Let z = -516 - -780. Suppose -6*x = -17*x + z. Is x a multiple of 24?
True
Let c(v) = 295*v**2 - 29*v - 68. Is c(-2) a multiple of 30?
True
Suppose -971 = -3*z - 59. Let l = -81 - -261. Let c = z - l. Is 31 a factor of c?
True
Let h(l) = -l**2 - 2*l + 6. Let d be h(-3). Suppose 3 = -3*x, d*q + 2*x - 56 = 2339. Is 19 a factor of q?
False
Let x = 2248 - 1357. Let y = 118 + x. Is 15 a factor of y?
False
Is 36 a factor of 153/(-12)*(-40)/(-30)*-17?
False
Suppose 3*t = 3147 - 1275. Suppose -5*v - 3*n = -4*v - t, -5*v - 4*n = -3142. Does 21 divide (v/(-75))/((-4)/10)?
True
Let i = 427 - 423. Does 25 divide 528 + 0/(6 + i)?
False
Suppose 103 = j - 4*k - 65, -j - 5*k = -177. Suppose 3*l = -2*s + 151, 2*s + 0*s - 4*l - j = 0. Is s a multiple of 15?
False
Let l(k) = 290*k**2 + 11*k + 6. Let n be l(4). Suppose -2930 = -30*s + n. Is 47 a factor of s?
False
Let w(x) = 168*x + 5173. Is w(-21) a multiple of 35?
True
Let y = 1369 + 921. Let b = y - 1554. Is 16 a factor of b?
True
Suppose 5*r - 10*r - 205 = 0. Let k = r - -71. Is 5 a factor of k?
True
Let t be 60/6 - (3 + 4). Suppose -t*u + 338 = -250. Does 28 divide u?
True
Let w be 6 + 2/8*-4. Suppose -125 = -w*a + 4*a + 4*v, -455 = -4*a + v. Is a a multiple of 5?
False
Suppose -222*p + 201*p = -203448. Is 28 a factor of p?
True
Let t be ((-6)/4)/(108/(-288)). Let l(a) = 4*a**2 + 8*a - 37. Does 2 divide l(t)?
False
Suppose -35*v - 54*v = -21*v - 1360. Does 3 divide v?
False
Does 31 divide 6/14 - ((-76920)/56 - 18)?
False
Suppose k - 582 = -5*k. Suppose -k + 6 = -7*g. Suppose -5*q - g = -263. Does 34 divide q?
False
Suppose -182*h = -28*h + 138*h - 8603780. Does 9 divide h?
False
Let x be 1/(-4) - (-50)/8. Let h(u) = -40*u + 33*u - 2 + 24*u. Is h(x) a multiple of 10?
True
Let d = -3922 - -6692. Does 11 divide d?
False
Suppose -2*o = -5*q - 5*o + 1268, -5*o - 20 = 0. Suppose 4*t - 32 = q. Is 9 a factor of t?
True
Let p(k) = k**3 - 10*k**2 + 10*k - 16. Let g be (-2835)/(-280) + (-1)/8. Is 5 a factor of p(g)?
False
Let i be (225 - -1)*(26/(-4) + 8). Let p = i - 251. Is 17 a factor of p?
False
Is 55 a factor of 50/(-22) + (0 - -2) + 330040041/14927?
True
Let v(w) = -14*w**2 + 72*w + 190. Let f(x) = -5*x**2 + 24*x + 63. Let b(q) = 17*f(q) - 6*v(q). Is 5 a factor of b(-14)?
False
Let p(d) = 425*d**2 - 58*d - 237. Is p(-4) a multiple of 45?
True
Suppose 214*c + 39931 - 2347 = 659682. Is c a multiple of 17?
True
Let l(z) = 23*z**2 - 148*z + 54. Is 26 a factor of l(22)?
True
Let d(b) = 119*b**2 - 96*b - 2. Is d(-2) a multiple of 18?
True
Let h be 4/(-3 + (-1803)/(-603)). Let n = h + 602. Suppose 2*t - 106 = 5*m, -t - 3*t + 4*m = -n. Is t a multiple of 24?
True
Let s be ((-3)/9)/1 + (-1)/(-3). Let o(k) = k**2 + 137. Is o(s) a multiple of 29?
False
Let v = 84 - 80. Suppose 2*n + 4*g = 152, -91 = 3*n - v*n + g. Suppose 5 = -b + n. Is b a multiple of 5?
False
Suppose -70*p + 95*p = 276300. Does 19 divide p?
False
Let p = 245 + -243. Let y(s) = s**3 + s**2 - 2*s - 3. Let i be y(-2). Does 10 divide 11 - (p + 7)/i?
False
Let v(q) = 92*q. Let p be v(2). Suppose -4*m + r + 552 = -m, m = 3*r + p. Is m a multiple of 19?
False
Let o be (-6)/(-3) + 25 + 1 + -3. Suppose o = 5*s + 175. Is 13 a factor of (-652)/(-10) + 6/s?
True
Suppose 3*z - 36565 + 9226 = 74376. Does 276 divide z?
False
Let w = 411 + -189. Let n = w + -158. Suppose k = -k + n. Is k a multiple of 5?
False
Suppose 250*p - 265*p = -245505. Does 13 divide p?
True
Does 18 divide 6/(-8)*(-30 - 7762)?
False
Let y = -139 + 189. Let o = 50 + y. Is 4 a factor of o?
True
Let h = -74 - -175. Suppose -102*r = -h*r - 242. Is r a multiple of 11?
True
Let r(q) = q**2 - 2. Let v be r(-2). Suppose 2*s - 150 = -5*f - 3*s, 0 = v*f - 2*s - 72. Suppose -5*a = -77 - f. Is a a multiple of 11?
True
Let a = 1015 - -1115. Suppose 8*v - a = -2*v. Is 57 a factor of v?
False
Suppose -119*n = -97*n - 510290. Is 16 a factor of n?
False
Suppose 4192 = -8*m - 0*m. Let i = -452 - m. Is 33 a factor of i?
False
Let c(m) = -410*m + 13638. Does 176 divide c(-41)?
True
Let k be 1/(-2) - (-32280)/80. Let i = -280 + k. Does 3 divide i?
True
Let x(y) = y**2 - y + 30. Let u be x(11). Let i = u + -117. Is 3 a factor of i?
False
Is 12 a factor of 58 + -56 - 122*-203?
True
Is 159 a factor of -2 - (-636660)/28 - 72/(-63)?
True
Let i = 9666 - -27930. Does 12 divide i?
True
Let h be (-2 - (-185)/2)*2. Let v be h - (-3 - (-4)/(-4)). Suppose -3*w + v + 193 = 0. Is w a multiple of 18?
True
Suppose -5 - 83 = -4*u. Let h = u + -18. Suppose 6*b - b - 48 = -h*q, -3*q = 3*b - 27. Is 3 a factor of b?
True
Let q = -2702 + 3005. Does 13 divide q?
False
Let y = 1844 - -1758. Is y a multiple of 31?
False
Let o(r) = 9370*r**2 + 21*r + 71. Is o(-3) a multiple of 163?
False
Let p be 406*6/(-24) - (-1)/(-2). Let q = -58 - p. Let s = 55 - q. Is 4 a factor of s?
False
Let t(b) be the first derivative of 34*b**3/3 - 14*b**2 - 151*b + 263. Is t(-6) a multiple of 73?
True
Let o = -9955 - -14250. Does 22 divide o?
False
Let s(t) = 248*t**2 + 777*t + 4. Is s(8) a multiple of 12?
True
Does 185 divide (-3515)/304*4*(-45 + 1)?
True
Let z(v) = 33*v**2 - 308*v - 4773. Is z(-15) a multiple of 16?
False
Let w(h) = 25*h**2 + 4*h + 68. Let b be w(-5). Let m = b + -428. Is m a multiple of 62?
False
Suppose -4*p + 178 = 26. Let h be -40 + 0 + 42/((-21)/(-3)). Let z = p + h. Is 2 a factor of z?
True
Suppose 11*g - 34627 = -472. Does 9 divide g?
True
Let o = -2207 - -8131. Does 30 divide o?
False
Suppose -118*u + 15*u - 54349 = -499721. Does 23 divide u?
True
Let x be 37/1 + 0 + -3. Let d(g) = -34 - g + 47*g**2 + x. Is d(1) a multiple of 10?
False
Let q(r) = -2*r + 33. Suppose -3*o = l - 28, 0*l - 5*o + 32 = l. Suppose 7*k = 20 + l. Does 7 divide q(k)?
True
Suppose 25032 = 10*r - 19228. Is 12 a factor of r/22 + 8/(-44)?
False
Let m(c) = 9109*c + 46. Is 56 a factor of m(1)?
False
Suppose 28*b - 5*b - 207 = 0. Suppose -b*x + 6092 = -172. Is 24 a factor of x?
True
Let v = -4445 + 9186. Let r = v - 2821. Is 30 a factor of r?
True
Suppose -988014 = -174*h + 1112249 - 569411. Does 106 divide h?
True
Let y = 120 + -108. Let s(o) be the first derivative of o**3/3 - 3*o**2 - 23*o - 2. Is 7 a factor of s(y)?
True
Let o(c) be the second derivative of 3*c**5/4 - c**4/24 + c**3/2 - 12*c**2 - 28*c. Let b(h) be the first derivative of o(h). Does 10 divide b(-2)?
False
Suppose 203*g = -5*c + 198*g + 4460, -889 = -c - 4*g. Does 20 divide c?
False
Let h be (-3)/(-5)*60/18. Let c be (-1)/(h/(0 + -74)). Let r = c - -4. Is 7 a factor of r?
False
Suppose -2*n + 46 = 30. Suppose 0 = -12*u + n*u + 980. Let c = u - 121. Does 35 divide c?
False
Let o(y) = y**3 - 8*y**2 + 29*y + 149. Does 17 divide o(15)?
True
Is 55 a factor of 75/(-6)*(8 + -30)?
True
Suppose -120204 = 7925*b - 7939*b. Does 6 divide b?
True
Let b = -4677 - -6661. Suppose 17*w = 25*w - b. Is 26 a factor of w?
False
Suppose 3*f - 12 = -0*f. Suppose 10 = l + f. Does 3 divide (-24)/10*(-45)/l?
True
Let w(o) = -o**3 - 11*o**2 + 10*o - 4. Let u be (-2)/(3 + 11/(-6) - 1). Is 10 a factor of w(u)?
True
Let n = 3188 - -3307. Does 15 divide n?
True
Suppose -242 = 5*a - 292. Suppose a*n + 205 = 1685. Does 2 divide n?
True
Let l = 612 + -560. Suppose -53*k = -l*k - 189. Does 7 divide k?
True
Let s = 31 + -74. Let f = s - -38. Let d(v) = -v**3 + 4*v**2 + 2*v - 16. Is d(f) a multiple of 33?
False
Suppose 0 = 5*b + 8*r - 7*r - 15767, -r - 12619 = -4*b. Is b a multiple of 38?
True
Suppose 0 = 4*p - r + 36, 3*p - r + 6*r + 50 = 0. Let y(f) = f**3 + 14*f**2 + 21*f - 22. Is y(p) a multiple of 7?
True
Let r = 15266 + -10190. Is 47 a factor of r?
True
Suppose 2*v - 13408 = -2*l, 9*v = 8*v + l + 6706. Does 28 divide v?
False
Let m be 2 - (-1 + -2 + 2). Suppose m*t - 108 = -0*t. Does 3 divide t?
True
Let k(i) = 268*i + 156. Let q(u) = 39*u + 23. Let c(y) = 3*k(y) - 20*q(y). Suppose 0 = 2*p + 3*a + 8, -p - 10 = 2*p + 4*a. Does 