2. Let y = j + 61. Suppose 6*s = -y*s + 1364. Does 31 divide s?
True
Suppose 63688 = -1493*l + 1501*l. Is 19 a factor of l?
True
Suppose -4*s - 57 = -45. Let n(p) = -6*p**3 - 3*p**2 - p. Is n(s) a multiple of 6?
True
Suppose 4942 = 6*n + 14*n - 219718. Is n a multiple of 4?
False
Suppose 0 = 2*f + 54 - 28. Is 12 a factor of (f/(-39))/(1/576)?
True
Let b = 1181 + -467. Suppose -4*q + 5*t = -6155, -4*q + t = b - 6857. Is 46 a factor of q?
False
Suppose 145*a + 754875 = 206*a. Is a a multiple of 55?
True
Suppose -2*o + 58951 = 4*q + 17801, 3*q + 2*o - 30865 = 0. Does 16 divide q?
False
Suppose -193*s - 22 = -195*s. Is 4 a factor of (-162)/(-2) - (s + -12) - 0?
False
Suppose 6*y - 6402 = -3*u + 3*y, 3*u = 4*y + 6416. Suppose -5*p + 5360 = z, 3*p - p - u = -2*z. Is 90 a factor of p?
False
Let y(g) = 4351*g - 13 - 2180*g - 2177*g + 5*g**2. Is y(6) a multiple of 82?
False
Is 37809/2 - (-33)/((-1848)/(-28)) a multiple of 18?
False
Let o be (-2)/(((-8)/(-10))/((-30)/25)). Suppose 1391 = o*a - 2*b, -4*a + b = 3*b - 1878. Is a a multiple of 31?
False
Suppose 0 = 5*p + 5*g - 52845, 5*g - 8*g + 15 = 0. Does 19 divide p?
True
Suppose -n - 5*w + 25 = -0*w, 5*n = -4*w + 41. Suppose 0 = -n*y + 5*q + 3120, -2*y + 1733 = -4*q + 489. Suppose -14*s - 164 + y = 0. Is s a multiple of 20?
False
Let a be (-2)/13 - 5040/364. Let k be ((-2)/5)/(a/(-70)). Does 4 divide k/(-6)*3*32?
True
Suppose -3*s + 6*s - 192 = 0. Let k = s - 41. Suppose -2*r = -123 - k. Is r a multiple of 13?
False
Let z(o) = 1043*o - 119. Does 171 divide z(13)?
False
Let r = 384 + 6. Let x = r + 13. Is x a multiple of 20?
False
Suppose 6*w - 12 - 12 = 0. Let g be (-959)/(-2) - w*(-3)/(-8). Suppose 136 - g = -3*q. Does 18 divide q?
False
Suppose 7*o - 4*o = 36. Let g(w) = w**3 - 11*w**2 - 13*w + 17. Let j be g(o). Suppose -524 = -4*s + 2*v, 0*v = j*s + v - 641. Is s a multiple of 43?
True
Let y = 294 + -260. Suppose 0 = y*v - 29*v - 4750. Is 38 a factor of v?
True
Let t(m) = m - 8. Let a be t(12). Suppose -c + 4*c - 2*o - 669 = 0, 4*c - a*o = 892. Suppose c = 3*b - b - h, -2*b - 5*h = -253. Does 11 divide b?
False
Suppose -28*k = 150*k - 62*k - 1298620. Is k a multiple of 35?
False
Is 93 a factor of ((-3348)/15)/((-13)/(-390) - (-3)/(-9))?
True
Suppose 4 - 14 = -2*w + 2*m, -4*m = 5*w - 25. Suppose w*n + 151 - 3728 = -3*c, c = -3*n + 1195. Is 41 a factor of c?
True
Let a(k) = 43*k - 5*k**2 - 46*k + 4*k**2 + 4*k**2 - 6. Let c be a(-5). Suppose -20 = 4*t - c. Is 4 a factor of t?
True
Suppose -i + 0*i = -5. Let k be (-6)/4 - 10/(-40)*3062. Suppose a = 3*a + 3*r - 302, i*a + 3*r = k. Does 22 divide a?
True
Let q = 340 - 260. Suppose -q*r = -71*r - 3285. Is r a multiple of 73?
True
Let i(z) = -3*z + 9. Let l(n) = -n + 3. Let a(g) = 4*i(g) - 14*l(g). Let y be a(6). Suppose -y*b + 200 + 196 = 0. Is 22 a factor of b?
True
Let j(r) = -r**3 + r**2 + 8. Let i be j(5). Let x = -15 - i. Let o = -28 + x. Is o a multiple of 13?
False
Let o(m) = -m**3 - 34*m**2 - 18. Let x be o(-34). Let s(p) = -2*p**3 - 34*p**2 + 28*p + 26. Does 17 divide s(x)?
True
Let t(y) = -y - 54. Let g = 69 + -87. Let q be t(g). Let b = 81 + q. Is b a multiple of 15?
True
Let t(v) = -234*v**2 + 5*v - 18. Let h(x) = -469*x**2 + 11*x - 35. Let m(c) = -3*h(c) + 5*t(c). Is 25 a factor of m(2)?
False
Suppose 4*h = 5*r - 36052, 12600 = 3*r - h - 9027. Does 106 divide r?
True
Let p(b) = 3 - 6 + 2 + 34*b. Let x = 14355 - 14354. Is p(x) a multiple of 33?
True
Let w(m) = m**3 + 7*m**2 - 13*m - 10. Let p be w(-8). Let a be (p/(-9) + 2)*6/(-4). Suppose -4*k + 282 + 138 = -a*d, -3*d = 4*k - 440. Does 9 divide k?
False
Suppose 2*s = 7*s - 30. Suppose -y + 17 = b + s, 0 = b - 2. Suppose -y = -a + 8. Is a a multiple of 5?
False
Let g be 4 + 0 + -2 - (5 + -5). Suppose b + v = -g*b + 248, 2*v = b - 92. Suppose 4*x - b = 156. Is 7 a factor of x?
False
Suppose -400*r - 504700 = -470*r. Is 22 a factor of r?
False
Let p = -6050 - -10683. Is 41 a factor of p?
True
Let f = 76 + -50. Suppose -85*p + 457 = -72*p - 1623. Suppose -f*t - p = -30*t. Is t a multiple of 20?
True
Suppose -20*n = -12*n - 19016. Suppose n = 17*b + 439. Is b a multiple of 57?
True
Suppose 0 = -p - 2*i + 1720, -4*p - 6873 = -8*p - i. Let w = p + -2442. Is (-85)/25 + 3 - w/10 a multiple of 33?
False
Let b(y) = -5*y + 5. Let m be b(0). Let k(p) = 4*p + 9. Let i be k(m). Let q = 19 + i. Does 15 divide q?
False
Let w = -13832 + 15176. Is 84 a factor of w?
True
Let b be 2 + ((-6)/2 - -1). Suppose 0 = -4*l + j + 3*j - 200, b = 5*l + 2*j + 264. Let i = -7 - l. Does 15 divide i?
True
Let o(i) = i**3 - 3*i**2 - 2*i + 30. Let l be o(-7). Let x = l + 985. Is x a multiple of 14?
False
Let f(n) be the second derivative of 31*n**5/10 + n**4/4 - n**3/6 + 36*n - 1. Does 3 divide f(1)?
False
Let t = -5162 + 5687. Is t a multiple of 3?
True
Let j(h) = 5*h + 23. Suppose -24 = -2*i - 0*i. Let s be j(i). Suppose -4*b = 4*x + 3 - s, x = b - 20. Does 10 divide b?
True
Suppose -3*v = 530 - 1532. Is 12 a factor of -2*(15 + -13)*v/(-8)?
False
Let c = -4781 + 4969. Is c a multiple of 94?
True
Let u(f) = -6*f**2 + 98. Let t be u(0). Suppose t = 77*y - 75*y. Is 7 a factor of y?
True
Let q = 259 - 212. Let m(v) = v**3 - 6*v**2 - 8*v - 4. Let r be m(7). Let s = r + q. Does 4 divide s?
True
Suppose r - 4 = 0, 237*b - 2*r = 239*b - 18752. Is 88 a factor of b?
False
Let c(s) = 4*s**2 + 14*s + 86. Let q(g) = -g**3 - 9*g**2 + g. Let l be q(-9). Is c(l) a multiple of 25?
False
Suppose 2*v - 11 - 45 = 0. Let d = v + -25. Let h = d - -51. Is h a multiple of 17?
False
Let s(n) = 113*n**3 + 9*n**2 + 25*n + 1. Does 22 divide s(5)?
True
Let q(g) = -2*g**3 + 9*g**2 + 8*g - 5. Let p be q(5). Suppose 0 = -8*t + p*t - 672. Is t a multiple of 16?
True
Suppose 2*k - 23273 = -3*w, k = -5*w + 23428 + 15379. Does 4 divide w?
False
Let g(a) = -a**3 + 2*a**2 - a + 5. Let o be g(0). Is 18 a factor of (-252)/30*-3*o?
True
Let o = 871 + 536. Does 18 divide o?
False
Is 13 a factor of (-5)/4 + 1573449/932?
False
Suppose -102*d = -5099 - 2905 - 9132. Does 6 divide d?
True
Let f = 73 + -84. Let v = 3 - f. Let d = 1 + v. Does 2 divide d?
False
Let q(t) = t**3 + 5*t**2 + 5*t + 11. Let d be q(-4). Suppose 4791 = d*j + 1011. Is j a multiple of 30?
True
Let f(s) = -19*s + 97. Let l be f(5). Is (l*44)/(19/(285/2)) a multiple of 20?
True
Suppose -117*z - 104601 = -138*z. Is 20 a factor of z?
False
Suppose 329 = 5*b - n, -b + 3*n - 3 + 66 = 0. Suppose -14*m = -16*m + b. Does 3 divide m?
True
Let z(d) = -d + 15. Let t be z(10). Let c(p) = 2*p**2 + p - 22. Let k be c(-6). Suppose 2*h + 5*l + k = 120, -t*h + 213 = l. Is 13 a factor of h?
False
Is ((-16)/10)/(2/(-7325)) a multiple of 5?
True
Let u(o) = -153*o - 538. Is u(-33) a multiple of 145?
False
Suppose -5*z = -10*z + 25. Is (-16 - 9)*(-2)/z a multiple of 6?
False
Let a = 209 - 171. Suppose 1 = 5*l + 5*s + 16, 0 = -l - 4*s - 18. Let k = l + a. Is k a multiple of 5?
True
Suppose 0 = 3*o - 12956 - 18814. Is 9 a factor of o/(-60)*2/(-1) - 2?
True
Let q(d) = -d**2 + 11*d + 70. Let u be q(-4). Let j(v) = -2*v**3 + 19*v**2 + 14*v + 5. Does 8 divide j(u)?
False
Let m = 56 - 72. Let h be (m/(-6) + -2)*(3 + 0). Does 2 divide (-52)/(-6) + (7/3 - h)?
False
Suppose -537873 = 25*s - 1599198. Is 8 a factor of s?
False
Let z(b) = -3*b - 6. Let h be z(-2). Suppose 2*l + 6*l - 24 = h. Suppose w + l = 1, n = -2*w + 54. Is 29 a factor of n?
True
Suppose -4*l + 2*k + 1 = -1, 0 = 5*k - 15. Let y be (-22)/(-33)*(-9)/l. Let r = y - -112. Is r a multiple of 11?
False
Let i(b) = 626*b**2 + 14*b - 1. Let v(y) = 11*y + 221. Let z be v(-20). Is 9 a factor of i(z)?
True
Let z(w) = -17*w**3 - 24532*w + 385*w**3 + 2 + 24528*w + w**2. Is z(1) a multiple of 22?
False
Let v(h) = -17*h - 241. Let z be v(-45). Let u = z + -109. Is 5 a factor of u?
True
Let v = -3537 + 6619. Is v a multiple of 46?
True
Suppose -29*y + 24626 = -11534 - 54117. Is y a multiple of 64?
False
Let j = 4723 + -4562. Let w = -7 - -13. Suppose w*p - j = 319. Does 40 divide p?
True
Let f be (-2 - 18)/(2/(-16)). Suppose z - 298 = 4*r, 0 = 2*r - 0*z + 5*z + f. Let n = 133 + r. Does 7 divide n?
False
Let c = 140 - 148. Is 23 a factor of -404*5/(-16) - (-2)/c?
False
Let h = -181 - -89. Let v = -140 - h. Is ((-30)/7)/(v/224) a multiple of 16?
False
Suppose -3*m + 2*n + 17 = -5,