e
Suppose 3*w - 40 = 3*o - 205, o - 58 = 2*w. Suppose -3*y + 2 = -3*l - o, -3*l - 2*y - 44 = 0. Is ((-24)/l)/(3/20) even?
True
Let k = 224 - 71. Suppose 2*s - 4*f + 188 = 0, 2*s + 5*f - 4*f + 178 = 0. Let d = s + k. Does 13 divide d?
False
Let p(f) = -4*f**2 + 88*f - 91. Is p(15) a multiple of 5?
False
Let s(o) = -o - 14. Let a be s(-9). Let u(h) = -3*h - 2. Is 13 a factor of u(a)?
True
Is 8 a factor of (-51)/(-17) + (23 - 0 - 2)?
True
Let o(i) = -8*i + 2. Let w be o(1). Let s = 13 - w. Does 3 divide s?
False
Suppose 7*d = 3732 + 1931. Does 55 divide d?
False
Suppose 29*l = 19*l + 9040. Does 83 divide l?
False
Let w = -23 + 24. Is 29 a factor of (-7*w)/(26/(-338))?
False
Suppose -2*l = -12*l + 250. Does 25 divide l?
True
Let j = 283 - 259. Does 3 divide j?
True
Suppose -3 = -z - 2*w, z - 5*w - 5 = 5. Suppose z*g - 71 = 164. Does 25 divide g?
False
Let t(g) be the second derivative of g**5/20 + g**4/3 + g**3/6 - 2*g**2 - 19*g. Is t(-2) even?
True
Let r(b) = b**2 + 7*b - 18. Let c be r(-9). Suppose -7*k = -c*k - 182. Does 13 divide k?
True
Let d = -222 - 134. Suppose 4*p - 4*a + 10 = 2, 0 = -5*p - a - 16. Does 26 divide (-1)/(4/d) - p?
False
Let k(n) = n**3 + 4*n**2 - 4*n - 5. Let b be k(-4). Suppose -9*h - 144 = -b*h. Does 12 divide h?
True
Let f = -16 - -159. Is 11 a factor of f?
True
Let y(c) = -c**3 + 13*c**2 - 13*c + 18. Let r be y(12). Let t = r + -13. Let i = t - -10. Is i a multiple of 2?
False
Suppose 0 = -10*i - 0*i + 180. Does 31 divide (-754)/(-10) - (i/(-30) + 0)?
False
Let c(g) = 2*g - 3. Let z(a) be the third derivative of a**4/3 - 2*a**3 - 8*a**2. Let o(x) = -9*c(x) + 2*z(x). Does 12 divide o(-6)?
False
Suppose 18*u + 172 = 20*u. Let v = u - 35. Is v a multiple of 10?
False
Let r(x) = 2 - x - 7*x + 1 + 8. Is 12 a factor of r(-9)?
False
Suppose -54*s + 58*s - 448 = 0. Does 8 divide s?
True
Suppose -5*t - q = -570 - 515, 0 = -3*t + 4*q + 651. Is 5 a factor of t?
False
Let w = 12 - 15. Let s(u) = -5*u + 7. Is 11 a factor of s(w)?
True
Suppose i + 7 = 15. Let d(t) = -3*t + 27. Is d(i) a multiple of 3?
True
Let s = 215 + -95. Is 4 a factor of s?
True
Let p = -19 + 52. Let h = 93 - p. Does 18 divide h?
False
Suppose -88 = -4*y - 24. Suppose 3*u - 11*r + 8*r = -30, 5*r + 27 = -2*u. Let s = y - u. Is 27 a factor of s?
True
Suppose -5*m + 164 + 339 = 4*h, 499 = 5*m + 2*h. Is m a multiple of 9?
True
Let s = -14 - -18. Does 13 divide (7/2)/(0 - s/(-104))?
True
Suppose -3*x + 1001 = 251. Is x a multiple of 10?
True
Let k = -179 - -757. Is k a multiple of 12?
False
Let r = 145 - 57. Let v = 16 + r. Is v a multiple of 7?
False
Let s(u) = 5*u**2 - 151*u - 48. Is s(33) a multiple of 37?
False
Let p(n) = -n**2 - 2*n + 6. Let a be p(-5). Let z be a + (5 + -4 - -2). Let b(q) = 3*q**2 + 8*q + 4. Is 32 a factor of b(z)?
True
Suppose -r + 2129 = 3*r + 5*f, -3 = f. Suppose 4*k - 5*k + 30 = 0. Is 6 a factor of r/k - (-6)/45?
True
Let k(d) = 5*d**3 - 4*d + 4*d**3 + d**2 + 4 - 3*d**3 - 5. Let l be k(2). Is 14 a factor of (l + 13)*(-2)/(-4)?
True
Suppose u - 2*b - 10 = b, -30 = u + 5*b. Let h be 2 - (-4)/10*u. Suppose -5*q + h = -45. Is 5 a factor of q?
False
Let f = 16 + -25. Let y(i) = -2*i + 13. Let o be y(f). Let s = o + -19. Is s a multiple of 3?
True
Is (-3)/36*-12404 - 4/6 a multiple of 9?
False
Let t be -8*1/(-6)*(12 - 3). Is 2 a factor of t + 4 + -4 + -1?
False
Suppose -7*z - 36 = -8. Let x(j) = 6*j**2 + 4*j - 8. Let q be x(z). Suppose 2*t - 74 = -2*u, 2*t + u + 0*u = q. Does 7 divide t?
True
Suppose 3*w + 0*w - 325 = -5*p, -334 = -3*w + 4*p. Is w a multiple of 12?
False
Suppose -28*b + 35*b = 21280. Is b a multiple of 76?
True
Let j(p) = p**3 - 2*p**2 - 2*p. Let b be j(0). Does 39 divide (b - -1)/(625/156 + -4)?
True
Suppose 5*n + 105*d = 108*d + 24649, 0 = 5*n - 5*d - 24655. Is n a multiple of 56?
True
Let p = -4 + 3. Is 3 a factor of (-196)/(-12) - p/(-3)?
False
Let h be (-7 + 4)/((-3)/(-10)). Let r(w) = w**2 + 8*w - 3. Is r(h) a multiple of 2?
False
Suppose -3*x - 5*l + 724 + 436 = 0, -5*x + 4*l = -1884. Is x a multiple of 14?
False
Let f = -9 - -9. Suppose -j + f = -4. Suppose 0 = j*d - 4, -17 = -k - 0*k + 5*d. Is 22 a factor of k?
True
Let b(p) = p**3 - 7*p**2 - p + 10. Is b(10) a multiple of 75?
True
Suppose 27*q - 227136 = -25*q. Is q a multiple of 164?
False
Suppose m = 4*f - 616, 4*f - 247 = 5*m + 369. Suppose -f = -2*t - 10. Suppose -a - 2*a = -t. Is a a multiple of 20?
False
Suppose -4*n + 878 = 3*f, 568 = 5*n - 4*f - 545. Let z = n + -98. Is z a multiple of 13?
False
Let m(j) = 4*j - 3. Let q be m(9). Let f = q + -24. Does 6 divide f?
False
Suppose -51*r + 123098 = 19874. Is r a multiple of 22?
True
Suppose -2*h + 15 = 3*v, h - 5 = 5*v - 30. Suppose h = k - 8*k + 385. Is 5 a factor of k?
True
Suppose 603 = 3*l + 3*k - 2772, 0 = -5*l - 2*k + 5613. Is 9 a factor of l?
False
Let o be 6/10 + ((-36)/(-30))/(-2). Suppose o = -4*z + 375 - 151. Is 18 a factor of z?
False
Let f = 1006 + -175. Does 14 divide f?
False
Does 6 divide (21/6 - 4)*10 + 34?
False
Let m = -56 + 187. Let i(k) = -11*k - 16. Let y be i(6). Let w = y + m. Is w a multiple of 9?
False
Let k(w) = 8 - 14*w + 0 + 7. Let f be k(-14). Let x = -77 + f. Is 27 a factor of x?
False
Let v(r) = -2 + 0 - 41*r + 45*r - 128*r. Is 27 a factor of v(-1)?
False
Let w = 15 - 13. Suppose -2*l = 2*k - 8, 0 = 4*l - 9*l + k + 26. Suppose l*r = -2*p + 34, -2*r - 40 = -4*p + w*r. Is p a multiple of 3?
True
Let p be 216/63 + 3/(-7). Suppose p*g = -5 + 47. Suppose 4*r = 6*r - g. Is r a multiple of 5?
False
Let r = -5 + 8. Suppose 61 = c - 11. Suppose -r*l - 3*l = -c. Does 6 divide l?
True
Suppose -4*l - 61 = 4*o - o, -4*l = 4*o + 76. Does 4 divide ((-8)/(-60) - (-32)/o)*-10?
True
Let h = -829 - -1612. Is 45 a factor of h?
False
Let q be ((-12)/(-18))/(2/192) - -2. Suppose -3*a + 91 = 2*i - q, -309 = -4*i - 5*a. Is 12 a factor of i?
False
Let o(u) = -7*u - 9. Let p be o(-6). Suppose 0*y - 2*y + p = 5*c, -5*c = -4*y - 9. Suppose -2*t - 28 = -5*t + z, 0 = -c*t - 5*z + 60. Is t a multiple of 7?
False
Suppose -2*d + 16 = -6*d. Let q be -30*(34/d)/1. Does 14 divide (q/45)/(1/3)?
False
Suppose -3*k - 2 = -4*k. Suppose b + u = -2*b - 231, -k*u - 6 = 0. Let q = 115 + b. Does 18 divide q?
False
Suppose h = -0*h + 10. Suppose 5*x + y - 42 = 0, -2*y = -2*x + y + h. Is x even?
True
Is 64 a factor of -10*((-59712)/(-40))/(-6)?
False
Suppose 34 = h - 4*s, 2*s = 5*h - 34 - 46. Let g = h + -6. Is 2 a factor of g?
True
Let p be -4 + (16 + 1)*-3. Let m = -25 - p. Is 6 a factor of m?
True
Is (15/(-2) + 2 - -5)*-3236 a multiple of 13?
False
Suppose 5*o - 2*u - 1577 = 0, -2*o + 638 = 16*u - 15*u. Is 61 a factor of o?
False
Let r(g) = 0*g + g**3 - 473*g**2 - 2*g + 481*g**2 + 14. Does 5 divide r(-8)?
True
Let x(o) = -10*o**3 - o**2 - 2*o - 2. Suppose 0 = -5*k + 2*k - 2*w + 5, -3*w + 16 = -4*k. Let d be x(k). Is 6/d + (-65)/(-15) even?
False
Let t = -108 + 256. Suppose 3*b = j - t, 0*j - 2*b + 791 = 5*j. Let s = 246 - j. Is s a multiple of 29?
False
Let p be (7 - 8)*2*(1 - 0). Is ((-4)/(-12)*p - -9)*3 a multiple of 5?
True
Suppose 0 = -2*j - j. Suppose -b - 4*u - 13 = j, 3*b - 4*b - 1 = u. Suppose -5*v = -2*o - 37, 0 = b*v - o - 38 + 15. Does 9 divide v?
True
Let z be ((-2)/4)/(11/330). Let f = -2 + z. Let h = 33 + f. Is h a multiple of 16?
True
Let w be ((-18)/(-12) - 2)/((-2)/20). Suppose 5 = -5*l, w*g - 4*g = l + 151. Is g a multiple of 25?
True
Suppose 0 = 2*a - a. Suppose a*g - 156 = -g. Suppose -s = 4*u + 2*s - 111, 5*u - 2*s = g. Is u a multiple of 10?
True
Suppose 20 = -4*j, -2 - 7 = -2*w - j. Let t be w + -9 + 3*3. Suppose t*r - 97 = 2*r - v, -51 = -3*r + 3*v. Is 8 a factor of r?
False
Suppose -5*f = -9*f + q + 2629, -4*q - 20 = 0. Is 16 a factor of f?
True
Let b(u) = -u**2 + 10*u - 5. Let w be b(9). Suppose w*a + 5*m - 332 = 0, -2*a = m - 234 + 62. Suppose -a = p - 5*p. Does 16 divide p?
False
Suppose -23*h = -18*h - 1550. Is h a multiple of 31?
True
Let x(p) = 31*p**3 - 3*p + 8. Is 3 a factor of x(2)?
False
Let i(v) = -8*v - 56. Let g be -25 - ((-40)/32 - (-6)/(-8)). Is 32 a factor of i(g)?
True
Let t = 137 + 152. Is 11 a factor of t?
False
Suppose 5*k = 2*j + 12, -k + 4*k + 18 = -3*j. Let p be 14 + -8*(-3)/j. Let b(h) = -h**2 + 13*h - 8. Is 5 a factor of b(p)?
False
Let c be (-3)/(-8) + (-38)/16. Is c + ((-30