ue
Let t = -49 + 51. Let i(j) = -2*j**2 - 5*j + 8. Let g be i(t). Is 0 + 2 - (g + 4) even?
True
Let k be ((-7)/(-21))/(2/66). Suppose 5*m = 15, -3*r + k*m = 8*m + 9. Suppose r = -8*h - 435 + 1659. Does 17 divide h?
True
Suppose 3*l = -2*a + 29 + 7, -5*a + 80 = 5*l. Suppose -i + 28 = 2*i + 5*g, -g = -i + 4. Let x = a + i. Is x a multiple of 6?
True
Let z(o) = 2*o**2 - 6*o - 8. Let j = -12 + 4. Is 14 a factor of z(j)?
True
Let w(h) = 8*h**3 + 19*h**2 + 71*h - 658. Is w(10) a multiple of 16?
True
Suppose -5*l + i + 0*i = -1720, 344 = l + 5*i. Let p = l + -248. Is 8 a factor of p?
True
Let q = 43278 - 29614. Is q a multiple of 21?
False
Suppose -5*o + 35 = -5*l, 8*o - 11*o + l + 11 = 0. Suppose 4*s - 3261 = -0*q - q, -2*q = -o*s + 1618. Is s a multiple of 80?
False
Let u be (0 - -1 - 1) + 1523. Suppose 0 = 4*x + 2*r - 7322, 4*x - 8846 = -3*r - u. Suppose 90 + x = 12*f. Does 16 divide f?
True
Does 36 divide 70/(-6)*(-1221 - 3)/4?
False
Let b(r) = -r**3 - r**2 + 88. Let v be b(0). Suppose 39 = -4*c - d - 34, -2*d + v = -5*c. Let p = c + 68. Is p a multiple of 8?
False
Let x = -16290 - -17490. Does 16 divide x?
True
Suppose 0*c - 2*c + 14 = -3*u, 0 = -u - 4*c. Let a be u/18 - (8239/63 - -1). Let n = -95 - a. Is 7 a factor of n?
False
Let b(v) = -2*v + 14. Let w be b(6). Suppose -w*k = 185 - 497. Is 4 a factor of ((-2)/(-6) - -1)/(8/k)?
False
Let m(y) = 1275 + 0*y - 1311 + 3*y**2 - 7*y. Is m(-7) a multiple of 20?
True
Let z(d) = -16*d - 100. Let j = -77 - -55. Is 36 a factor of z(j)?
True
Let i(h) = -17*h**3 - 39*h**2 + 125*h + 4. Let l be i(3). Let f = l - -445. Is 2 a factor of f?
True
Suppose r = 5*r + 24. Let b be 2580/(-45) - ((-4)/r + 0). Let v = 108 + b. Is v a multiple of 17?
False
Let d = -12615 + 12686. Let n(u) = u**3 - 7*u**2 + 5*u - 5. Let a be n(6). Let w = a + d. Is w a multiple of 6?
True
Suppose -45*l + 25443 = -1647. Does 7 divide l?
True
Let d(j) = 15*j - 4*j**2 - j**3 + 17 + 22*j**2 + 4*j. Suppose 5*q + 3*l = 107, 12 = -q + l + 27. Is d(q) a multiple of 2?
False
Let s(g) = -14*g**3 - 6*g**2 + 5*g + 13. Let f be s(3). Let d = f - -429. Does 18 divide d?
False
Let f(y) = 6671*y - 2355. Is f(6) a multiple of 87?
True
Let h(u) be the third derivative of u**6/120 + 4*u**5/15 + u**4/12 + 16*u**3/3 + 12*u**2. Let z be h(-16). Suppose z = 5*b - 3*b - 254. Is b a multiple of 13?
False
Let o(l) = -l**3 - 19*l**2 - 18*l + 24. Suppose 0 = -0*w - 4*w + 248. Let b = w + -80. Is 12 a factor of o(b)?
True
Let z be (-1)/(-2)*-4 + 4. Let h(x) = 2*x - 5*x + x**3 + 4 + 17 + x**z + 2*x. Is h(0) a multiple of 3?
True
Let p = -417 - -237. Is 26 a factor of p/(-120) + ((-361)/(-2))/1?
True
Let p(i) = i**2 + 13*i - 2. Let w be p(-12). Let r be 0 + (-7)/(w/4). Suppose -r*v = -6*v + 404. Is v a multiple of 30?
False
Suppose 5*k = -62*f + 59*f + 8215, 0 = -3*f - k + 8195. Is f a multiple of 18?
False
Let b = -11 + -302. Let m = b + 488. Is 5 a factor of m?
True
Let y(f) = 25*f + 82. Let h be y(-2). Suppose -5*d - h*d + 9546 = 0. Is d a multiple of 6?
True
Suppose -5*p = 4*v - 21525, 76*v - 26885 = 71*v - 2*p. Does 48 divide v?
False
Let g(j) be the first derivative of -j**2 + 10 + 73/3*j**3 + j. Is 36 a factor of g(1)?
True
Let l(d) = -d**3 - d**2 - d. Let o be l(0). Suppose u + 1 = o, -u = t - 2*t + 8. Let a = t - -114. Is 26 a factor of a?
False
Suppose 23911 = 77*f - 60021 - 65756. Does 108 divide f?
True
Let v = -47 + 47. Suppose -5*k + 13*k - 120 = v. Is 33 a factor of ((-198)/10)/((-3)/k)?
True
Let u(j) be the third derivative of -j**5/30 - j**4/3 - 2*j**3/3 + 2*j**2. Let n be u(-3). Suppose -3*q + n*w = 3*w - 16, -4*q - 2*w + 24 = 0. Does 4 divide q?
True
Let w be 26/10 - (-16)/40. Suppose -76 = -b - w*b. Suppose 0 = -4*x - 20, -x = 2*l - b. Is 12 a factor of l?
True
Suppose 6 = 7*u - 8. Suppose j + u*j = 972. Suppose j + 66 = 5*m. Is m a multiple of 8?
False
Let f(l) = -12*l + 106. Let r be f(8). Let q(o) = 4*o**2 + 39*o + 27. Is 19 a factor of q(r)?
True
Let p = 214 - -15. Suppose -1004 - p = -9*b. Is b a multiple of 13?
False
Let h(g) = -18*g**3 - 12*g**2 - 82*g + 5. Is h(-5) a multiple of 55?
True
Suppose 0 = -4*j - 3*u + 2303, 3*j - 5*u + 0*u - 1720 = 0. Suppose -5*d - 3*g + j = 0, 2*g - g + 345 = 3*d. Is d a multiple of 23?
True
Let q = 35264 + -19294. Is 10 a factor of q?
True
Suppose -4384 = 2*s + l + 2*l, -3*s - 6575 = 5*l. Is s*(-3)/20 + 2/(-8) a multiple of 10?
False
Suppose 184*n - 54*n - 131670 = 266130. Is n a multiple of 4?
True
Let t = -5715 + 5917. Is t a multiple of 3?
False
Let x = -256 - -258. Suppose 5*r - r + 20 = 0, -1072 = -2*s + x*r. Is 38 a factor of s?
False
Let x(u) = -2*u + 170. Let q be x(22). Let h = q - 14. Is h a multiple of 27?
False
Let d(k) be the first derivative of 11*k**2/2 - 140*k + 111. Is 3 a factor of d(24)?
False
Let u be -36*2*((-18)/3)/36. Suppose 1592 + 8236 = u*z. Is z a multiple of 71?
False
Let w be (-1)/((-4)/1 + (-252)/(-64)). Suppose -4185 = -w*t + 6503. Is 9 a factor of t?
False
Let c(v) = -5*v**2 + 21*v + 10. Let x(f) = 4*f**2 - 20*f - 11. Let s be ((-69)/46)/(1/2). Let h(m) = s*c(m) - 4*x(m). Does 44 divide h(15)?
True
Let s be (32 + -34)/(4/1522). Let p = s + 1045. Does 52 divide p?
False
Let v(l) = -648*l**3 - 47*l - 145. Is 56 a factor of v(-3)?
False
Suppose -4*c + 76383 = 3*a, -3*c + 57271 = 10*a - 11*a. Does 152 divide c?
False
Suppose -40*o = -110*o + 922 + 16088. Does 9 divide o?
True
Let z(t) = t**3 + 5*t**2 - 8*t - 8. Suppose 2*n + 0 + 2 = v, 4*v - 4*n = -8. Let g be z(v). Suppose p - 4*o = 15, 87 = g*p - 4*o - 9. Does 9 divide p?
True
Let g(q) = -q**3 + 39*q**2 - 12*q + 189. Is g(16) a multiple of 58?
False
Let f be (-24)/(-9)*(-9)/(-12). Suppose 3*b - 1746 = -f*b - 2*r, 5*b - 1737 = r. Is 11 a factor of b?
False
Suppose -x + 5*l = -920, -4*x - 822 = -3*l - 4434. Is 78 a factor of x?
False
Let c(o) = o**3 - 8*o**2 + 7*o - 16. Suppose -51 - 109 = -5*u. Suppose -9*q = -5*q - u. Is c(q) a multiple of 8?
True
Suppose 8*l - 7*l = -25*l + 871494. Is l a multiple of 53?
False
Let n be (-4)/(5 - 1)*0 - -1. Let a = -144 - -98. Does 6 divide n/(0 + (-2)/a)?
False
Let q = 59 - -57. Suppose -4*m = -5*m + 202. Let f = m - q. Is 44 a factor of f?
False
Suppose -9 = 4*m + 4*x - 1, 4*m + 8 = 4*x. Is (12/(-16))/((m - 4)/48) a multiple of 6?
True
Let b(p) = -2*p**3 - 4*p - 3. Let x be b(-1). Suppose -6*a = x*a + 2556. Let n = a - -545. Is n a multiple of 45?
False
Suppose 3*h + 17186 = 5*x + 1174, 19216 = 6*x - 4*h. Is 25 a factor of x?
True
Let a = 17691 + -16387. Is 8 a factor of a?
True
Let c(o) = -600*o - 1450. Is c(-23) a multiple of 23?
False
Suppose 168439 + 903900 = 203*j + 126156. Is 9 a factor of j?
False
Let w(a) be the first derivative of 2*a**2 + 12*a - 1. Let u = 1098 + -1095. Is w(u) a multiple of 12?
True
Does 31 divide ((-18)/(-2 - -1 - -6))/((-42)/488250)?
True
Let f(a) = -a**3 - 18*a**2 + a + 44. Let z be 0/((0 - 1)*(-13 - -11)). Let t = z - 18. Is f(t) a multiple of 12?
False
Let x(a) be the second derivative of 3*a**5/20 + 7*a**4/12 + a**3/2 - 47*a**2/2 + 4*a - 4. Is x(5) a multiple of 74?
True
Suppose 6*i + 764 = 8*i + p, 2*i - 5*p = 752. Does 3 divide i?
True
Let b be (-246)/4*(-36)/(-135)*40. Let x = b - -1338. Is 31 a factor of x?
True
Let w = 7700 - 5029. Does 24 divide w?
False
Let d(b) be the third derivative of 0 + 15*b**2 + 14/3*b**3 + 0*b + 1/24*b**4. Does 2 divide d(-9)?
False
Let w(y) = -91*y + 19. Let s be w(-4). Suppose s + 355 = 3*c. Suppose c + 18 = 6*f. Does 16 divide f?
False
Suppose -26*j + 3*h = -31*j + 2277, 4*j + h - 1823 = 0. Is 150 a factor of j?
False
Suppose 4*x = 4*d + 31404 + 764, 4*x - d = 32162. Is x a multiple of 6?
True
Suppose -4*x - 347 = -2*v + 2019, 4*x - 3509 = -3*v. Does 25 divide v?
True
Let m = -597 + -129. Let j be (-1 - m) + (6/6 - -3). Suppose 2*l = -5*k + 2*k + 729, 0 = 3*k - 2*l - j. Is k a multiple of 39?
False
Let h = -195 + 663. Let m = h + 531. Suppose 0*j - 3*j = 5*p - 1269, m = 4*p - 3*j. Does 14 divide p?
True
Let v = 21732 + -10168. Is v a multiple of 8?
False
Let l be (-9)/(-7) - 2/7. Let w(q) be the second derivative of 71*q**5/20 + q**3/3 - q**2/2 - 9*q - 20. Is w(l) a multiple of 12?
True
Let s be 4 + -2 + 2 + (-2)/2. Suppose s*c - p = 11, 4*p + 4 = 4*c - 0*p. Does 3 divide 1 + 20 + c + -1 + -1?
True
Let f(c) be the first 