e n(6). Suppose -40 = -11*l - 7. Suppose -f + 63 = -w*k, -44 - 112 = -l*f + 4*k. Does 24 divide f?
True
Let q be (2501/61)/(8/(-6) - -1). Let z be 0 - q/(-1)*1. Is 22 a factor of (-3 - -1)/(6/z)?
False
Let o = -88 + 91. Suppose 0 = -4*k + h + 4, -o*k + 5*k + 3*h - 16 = 0. Suppose 4*a + 42 = -5*x + 132, -5*a = k*x - 19. Does 11 divide x?
True
Let m = 7935 - 2963. Does 35 divide m?
False
Let t be (9/(-4))/((-5)/(-60)). Let k be (t/(-6) + -2)*-2*1. Let u(w) = 2*w**2 - 4*w - 13. Is 11 a factor of u(k)?
False
Let i(p) = 4*p - 12. Let j be i(-5). Let m = 227 + j. Does 12 divide m?
False
Let p(h) = h**3 + 23*h**2 + 2*h - 14. Let c be p(-20). Suppose 2*l + 0*l - 776 = 4*g, 3*l = -3*g + c. Suppose -33*a = -29*a - l. Does 16 divide a?
True
Let p(s) = -4*s**2 + 404*s - 97. Is p(80) a multiple of 37?
True
Let l(o) = 350*o**3 - 37*o**2 + 166*o - 43. Does 22 divide l(4)?
False
Let z(t) = 201*t - 1390. Does 29 divide z(59)?
True
Let s(d) = -195*d + 1212. Does 66 divide s(-52)?
True
Let f = -4159 + 6195. Is 5 a factor of f?
False
Suppose -238 = -3*t - 5*l, 51*t = 46*t + 5*l + 330. Is t a multiple of 49?
False
Let t(i) = 3*i**2 - 12*i - 22. Let v be -4 + 8 - 2 - 9. Is t(v) a multiple of 11?
True
Suppose -15*f + 125 + 1300 = 0. Suppose f*x = 92*x + 417. Is x a multiple of 18?
False
Let r(u) = 7*u**2 - 5*u + 4. Let f be r(9). Suppose 18*p + f = -1220. Let n = -88 - p. Is 3 a factor of n?
True
Let h(s) = 41*s**2 - 28*s + 627. Does 16 divide h(17)?
True
Let r(p) = p**2 - 3*p. Let x be r(3). Suppose -4*o + 203 + 185 = x. Suppose -4*l - 140 = -2*h, 309 + o = 5*h + 4*l. Does 39 divide h?
True
Suppose 89*u - 1274377 = 249125. Does 68 divide u?
False
Let n(r) = -r + 17. Let q be n(7). Let t be (-33)/(-7) + (q/(-7))/(-5). Suppose -358 + 1783 = t*o. Is o a multiple of 57?
True
Let q(h) = -3*h**3 - 29*h**2 - 26*h + 32. Let t = 109 - 120. Does 13 divide q(t)?
False
Suppose 5*l - 4242 = 3*m - 2*m, -4*m + 1710 = 2*l. Let d = l + -489. Is d a multiple of 40?
True
Let t = 427 - 716. Let q = t - -526. Does 13 divide q?
False
Let x = 39 + -38. Let c be ((-546)/2)/(-1 + x/(-2)). Let h = 259 - c. Is 11 a factor of h?
True
Suppose -g = -6*y + 100374, 5*y + 3*g - 83645 = g. Is 244 a factor of y?
False
Let q(h) = -h**3 + 9*h**2 - 12*h + 11. Let t be q(5). Let u = -51 + t. Suppose r - 28 = -u*r. Does 9 divide r?
False
Let n be 0/((-5)/(0 - 5)). Let c(x) = -x + n*x + 6 + 13 + 3*x. Does 14 divide c(10)?
False
Let f(x) = 27*x**2 + 170*x - 2442. Is f(20) a multiple of 31?
False
Suppose 4*c - 1579 = -5*b + 6045, -4*c - 3072 = -2*b. Does 13 divide b?
False
Let d(t) = -t**2 - 2*t + 8. Let s be d(-5). Let n = 24 - s. Suppose 27*w - n*w + 560 = 0. Does 35 divide w?
True
Suppose -6*u + u = 2*s + 52, 188 = -5*s + 2*u. Let d = 163 + -73. Let p = s + d. Does 27 divide p?
True
Suppose -3*i - 2*y + 568 = -4*y, 5*y = 20. Suppose -i = -4*z + 2*z + 3*o, -3*o = 4*z - 366. Suppose -1 = 2*b - z. Is b a multiple of 5?
False
Let d = -39167 + 116967. Is d a multiple of 20?
True
Suppose 4*x = 4*l + 104, x = -5*l + 3*x - 115. Suppose -2*k + 5*z + 3 = 30, -4*k - 39 = -5*z. Let f = k - l. Is 2 a factor of f?
False
Let s(g) = g**3 - 4*g**2 - 4*g + 20. Let m be s(5). Let u be ((-328)/(-10))/(2/m). Let v = -248 + u. Is v a multiple of 39?
False
Suppose 3*j = 7*j - 3674 - 6330. Is 2 a factor of j?
False
Let u(b) = 625*b + 1298. Is u(9) a multiple of 43?
True
Let z be 2 - (-4 + (-220)/(-4)). Let d = z - -24. Let a = d - -49. Does 12 divide a?
True
Let d(k) = 756*k - 8636. Is d(40) a multiple of 65?
False
Suppose -7 = 34*p - 7. Does 17 divide (130/(-20) + 10)*(34 + p)?
True
Let d(a) = -13*a - 34. Let b be d(11). Let k = b + 973. Does 9 divide k?
False
Suppose 2*s - 8137 = 8*l - 5*l, -5*s + 20423 = -19*l. Is s a multiple of 2?
True
Let q(n) = -n**3 - 12*n**2 - 13*n - 17. Let j be q(-11). Suppose -2*c + x = -215, -2*c + 7*x + 210 = j*x. Does 23 divide c?
False
Let p = 203 + -198. Let o(v) = v**2 - v - 9. Is o(p) a multiple of 3?
False
Let q = -1170 + 1172. Let s = 140 - 62. Suppose -s = -n - 4*k, 4 = -q*k + 6*k. Is n a multiple of 37?
True
Let q = -106 - -105. Is (q - 36)/(2/(-28)*7) a multiple of 37?
True
Let u(y) be the second derivative of y**6/180 - 7*y**5/40 + 23*y**4/12 - 19*y. Let m(n) be the third derivative of u(n). Is m(8) a multiple of 5?
False
Let b = 24595 - 12618. Is b a multiple of 59?
True
Let r(u) = -1970*u + 1305. Is 3 a factor of r(-6)?
True
Let u be ((-2)/(-2))/(-1 - (-63)/56). Suppose 0 = u*g - 915 - 533. Does 9 divide g?
False
Let p be 12/18 - 28/(-3). Let b = p + 18. Suppose 4*c = 3*c + b. Is c a multiple of 14?
True
Suppose 41*h = 36*h + 105. Let o be (59 + -11)*h/2. Suppose 9*f - o = 3*f. Does 20 divide f?
False
Let o = -151 + 231. Let x(d) = d**2 - 6*d + 7. Let h be x(5). Suppose 0 = -3*b - h*b + o. Is 8 a factor of b?
True
Suppose 7*k = 5*k - 5*k. Let o(z) = -z**3 - 2*z**2 + z + 165. Does 5 divide o(k)?
True
Let m = -305 + 503. Let v be (-262)/2 + (0 - 0). Let d = m + v. Is 12 a factor of d?
False
Let j = -50 - -218. Let t = j + -105. Is 15 a factor of t?
False
Let a(c) = 3*c**2 + 3*c + 2. Let d be a(-2). Let i be -4 - (-1)/(2/d). Suppose -3*n - 25 = 2*n, i = 5*j + n - 445. Is j a multiple of 45?
True
Let h(l) = 6*l**2 - 4*l + 6. Let d(c) = -c + 7. Let q be d(2). Suppose 2*z - 1 = -q*m, -10*z + 5*z + 4*m = -19. Is h(z) a multiple of 27?
False
Suppose -t + 5*t - 2*l + 268 = 0, l = t + 69. Let r = t - -105. Is r a multiple of 3?
False
Let o(t) = 2*t. Let p(d) = d**2 - 9*d + 18. Let r be p(6). Let c be o(r). Suppose -3*k - 77 + 338 = c. Is 11 a factor of k?
False
Let f(a) = -5*a**3 - 13*a**2 - 3*a + 1. Is f(-11) a multiple of 34?
False
Let d be (-2)/(-10)*(-3 + 8). Suppose -l = k + d, 0 = -4*k - 5*l - 2 - 5. Suppose -444 = k*w - 8*w. Does 37 divide w?
True
Let t(i) = 341*i + 1515. Is 23 a factor of t(13)?
False
Suppose 35160 = -11*x + 26*x. Let g = x + -1237. Is 27 a factor of g?
True
Let f(k) = -261*k + 7200. Does 179 divide f(-68)?
False
Let w(c) = -c. Let d(g) = 16*g + 5. Let b(i) = d(i) - 3*w(i). Let q(p) = 3*p**2 + 8*p + 4. Let y be q(-3). Is b(y) a multiple of 23?
True
Suppose 4*p - 5 - 3 = 0. Suppose -a + 3*w + 62 = 0, 3*a = p*w + 2*w + 211. Is 19 a factor of a?
False
Suppose 0 = 4*v - 4*k - 72356, -4*k = 23*v - 26*v + 54269. Does 69 divide v?
False
Let i be -1*(-41 - -4*1/(-4)). Let v = i + -42. Suppose v = 3*j + 5*s - 28 - 34, 0 = j - s - 26. Does 24 divide j?
True
Let t(r) = -r**3 + 13*r**2 - 32*r + 24. Let l be t(10). Suppose 3*p = f + 454, -5*f + l*f = 5*p - 762. Is p a multiple of 4?
True
Let x = 179 + -155. Suppose x*f = 30*f - 876. Is f a multiple of 42?
False
Let v(g) = 3*g**3 + 54*g**2 + 16*g + 447. Is v(-16) a multiple of 4?
False
Let m be -1*(-4 - 2) - 2. Let t be m/(-16) - (-9)/4. Suppose -112 = -t*g + 2*w, -2*g + 0*w + 112 = -4*w. Does 14 divide g?
True
Let x = -13 + -15. Let u = -26 - x. Suppose u*h = 4*h - 138. Is h a multiple of 12?
False
Does 20 divide ((-1035)/(3*-1))/(-6 - 3315/(-544))?
True
Let v(c) = 2*c**2 + 26*c - 16. Let z(g) = g - 29. Let a be 3/6 - (-87)/6. Let b be z(a). Does 10 divide v(b)?
False
Suppose 3*w = 8*w - 15. Suppose w*x - 5*v = -18, -3*v + 5 = -5*x + 9*x. Is 2 a factor of (-1 - -2)/x*77/(-7)?
False
Does 87 divide (-2 - -47)/(-3) - -8 - -805?
False
Suppose 0*g - 4*q = -g + 320, 4*q - 288 = -g. Let o = g - 145. Suppose -6*k + o = -k - 4*x, 0 = -x - 1. Does 3 divide k?
False
Let v(l) = 14*l**2 - 7*l + 10. Let p be v(-8). Let f = p - 510. Suppose 4*y + 4*k - f = 0, 2*y + 3*k = 2*k + 223. Does 10 divide y?
True
Suppose q - 6 = -q. Let m(d) be the first derivative of 3*d**4/4 - d**3 + 3*d**2 - 3*d + 823. Does 35 divide m(q)?
False
Suppose 9*f + 10 - 55 = 0. Suppose 9*u = f*u + 64. Does 18 divide ((-1431)/36)/((30/u)/(-5))?
False
Suppose 76*c = 69*c + 42. Suppose -s = 5*g - 311, 0 = c*g - g - 25. Is 26 a factor of s?
True
Suppose 7143 + 11815 = 6*m - 12464. Is 50 a factor of m?
False
Let q be (-4)/8*-3*60/9. Suppose 5*j = -0*j + q. Suppose 3 = -i + 2, -257 = -j*n + i. Does 26 divide n?
False
Let p = -430 + 304. Does 62 divide ((-1672)/114)/(4/p)?
False
Let z(n) = -n**2 - 21*n - 37. Let f be z(-13). Suppose 5*v - w - f = 0, -2*w = v - 16 - 4. Does 7 divide v?
True
Suppose 5*t = -o + 6*t + 8, 0 = 4*o + 5*t - 41. Let k be 93/o + (-8)/6 + 2. Does 19 divid