11*v - 9. Let w be m(14). Let l = w - -277. Let u = -38 + l. Is 14 a factor of u?
False
Suppose 2*w + 3*n = 1817, 2*n = -2*w - 2*w + 3638. Let h = w + -397. Is 19 a factor of h?
True
Let a(z) = z**3 + 2*z**2 - 7*z + 12. Let i(x) = 6*x**2 - x - 1. Let l = 0 + 1. Let v be i(l). Does 16 divide a(v)?
True
Suppose 0 = 26*c - 8*c - 70326. Suppose 6*j - 1415 - c = 0. Is j a multiple of 39?
False
Let g(s) = -2*s**2 + 14*s - 7. Let p be g(10). Let b = 50 + p. Let t(u) = u**3 + 17*u**2 - 15*u - 10. Is t(b) a multiple of 13?
False
Let m = 154660 - 107503. Is 33 a factor of m?
True
Does 74 divide 144/(-10)*(-3885)/42?
True
Let p(g) = 2*g**3 + 102*g**2 + 44*g + 320. Does 30 divide p(-50)?
True
Let p(c) = 68*c + 69. Let y be p(-5). Let x = 366 + y. Is x a multiple of 58?
False
Let t(z) = z**3 - 5*z**2 - 2*z + 10. Let k(b) = b**2 - 6*b - 2. Let j be k(7). Let d be t(j). Suppose -4*a - 12 = d, -4*u + 2*a = 4*a - 342. Is 8 a factor of u?
False
Suppose 3*u - 308 = 2*h, h + 13*u = 10*u - 136. Let l = -145 - h. Suppose -27 = 3*y + l*s - 282, -y + 4*s + 110 = 0. Does 9 divide y?
True
Let o(k) = -5*k - 2. Let m(y) = -5*y**3 - 30*y**2 - 14*y - 6. Let q(z) = -z**3 - z**2 + 1. Let i(r) = -m(r) + 3*q(r). Let f be i(-13). Is o(f) a multiple of 9?
True
Suppose 0 = -4*f + 4*y - 3*y + 13441, 0 = 5*f + y - 16799. Is f a multiple of 105?
True
Let l(x) = -5*x**3 - 6*x**2 + 17*x + 1. Let d(h) = 9*h**3 + 13*h**2 - 33*h - 2. Let j(p) = 6*d(p) + 11*l(p). Let z be j(11). Let u = 35 - z. Does 27 divide u?
False
Let k(a) = -143*a + 94. Suppose 14*y = 201 - 257. Does 9 divide k(y)?
True
Let q(h) = h**3 + 50*h**2 - 56*h - 285. Does 56 divide q(-21)?
False
Let a(j) = -6*j**3 + 42*j**2 + 239*j + 3. Let i(l) = 7*l**3 - 43*l**2 - 240*l - 2. Let f(s) = -6*a(s) - 5*i(s). Is f(43) a multiple of 24?
False
Let u be (42/24)/((-3)/(-12)). Let p(y) = 65*y**2 + 0*y - u - 7*y - 57*y**2. Is 41 a factor of p(6)?
False
Let y be (18/(-3))/(-2) - 1. Suppose 2*u - 5*u + 294 = -y*j, 2*j = -5*u + 490. Does 8 divide u?
False
Let w(k) = 1125*k**2 + 71*k + 210. Is 21 a factor of w(-3)?
True
Let j be ((-2)/20 - 1220/(-200)) + -1. Let m(n) be the third derivative of 5*n**4/8 + n**3/2 + n**2. Does 13 divide m(j)?
True
Let y = 1830 + -894. Suppose 3*t - 1560 = -5*i + 2*t, 0 = -3*i - 2*t + y. Is 11 a factor of i?
False
Let u = -51 - -56. Let t(n) = -n**3 + 5*n**2 + n - 2. Let v be t(u). Suppose -54 = -0*x - v*x. Is 6 a factor of x?
True
Suppose -2*m = -4*m - 5*m + 257348. Does 13 divide m?
True
Let n = -10216 - -17968. Does 8 divide n?
True
Suppose 760 = g - 412. Suppose 14*y + 94 = g. Is 5 a factor of y?
False
Let a(r) = -4*r**2 - 34. Let m be a(-10). Let l = m - -626. Is 3 a factor of l?
True
Let t(x) = -9*x - 20. Let b be t(-5). Suppose 175 = j + 2*o, 2*o - b = -3*o. Suppose 0 = r + 45 - j. Is r a multiple of 10?
True
Let h(n) = -14*n**2 - 142*n - 14. Let g be h(-10). Suppose -g*j + 1166 = -1936. Does 8 divide j?
False
Suppose 2*x = -j + 1 + 10, 0 = 4*x - j - 25. Suppose y + 2*c + 1270 = x*y, 0 = -y + 4*c + 236. Is y a multiple of 31?
False
Is 51 a factor of 1906953/184 + (-11)/(-88)?
False
Suppose 598 = 2*v - 55*h + 50*h, 2*h + 8 = 0. Is 7 a factor of v?
False
Let f = 241 + -337. Let x = 108 + f. Does 3 divide x?
True
Suppose -12*g = -2*g - 250. Suppose -g*h = -17*h - 272. Suppose 0 = -12*b - h + 214. Is b a multiple of 3?
True
Let r(t) be the first derivative of t**4/4 - 10*t**3/3 + 6*t**2 - 12*t + 1. Let v be (-6 + -1)/35 - 357/(-35). Does 9 divide r(v)?
True
Let w = 225 + -226. Does 42 divide (-2 + (-1435)/20)/(w/8)?
False
Suppose -4*w - 1446 = -i, -5627 = -3*i - 3*w - 1304. Is i even?
True
Let i(n) = 38*n + 4. Let h(c) = 13*c + 1. Let d(w) = -7*h(w) + 2*i(w). Suppose 0 = 2*m - 5*m - 54. Does 37 divide d(m)?
False
Suppose -39 = 5*u - 4*x, -4*u - 25 = -u - 4*x. Let o(q) = q**3 + 12*q**2 + 15*q - 8. Is 33 a factor of o(u)?
True
Let p(i) = i**3 - 50*i**2 - 52*i + 453. Is 3 a factor of p(51)?
True
Suppose 539 = 11*i - 2629. Let b = 2 + 1. Suppose -b*o - 5*o = -i. Does 18 divide o?
True
Let w = 424 + -708. Let n = w + 484. Let v = -74 + n. Does 14 divide v?
True
Let q = -50 - -46. Let x be 3 + (-2 - (q + 3)) - 5. Does 8 divide 30/(-9)*4*x?
True
Suppose -217*i = -215*i - 12360. Is 103 a factor of i?
True
Let q be (6/(-12) + 3)*(-2982)/(-15). Suppose 6572 = 9*w + q. Does 45 divide w?
True
Suppose 19 = 2*r - 3*f, 2*r + 12*f + 5 = 7*f. Suppose 5*x + 3*v = 4*v + 18, -2*x - 3*v = 3. Is (r/4)/(x/300) a multiple of 13?
False
Let o(h) = 1836*h**2 - 2*h + 8. Let v be o(2). Suppose 22*s - 16742 - v = 0. Is s a multiple of 15?
True
Let k be 4 - ((-63)/(-3))/7. Suppose b + k - 157 = 0. Is 4 a factor of b?
True
Does 58 divide (4/10)/1 - (1183154/35)/(-14)?
False
Let o(r) = -2*r**3 - 6*r**2 + 119*r + 4. Is o(-13) a multiple of 80?
False
Let a(k) = k**3 - 8*k**2 + k + 8. Let d be a(8). Suppose 2*m - 22 = 5*b, -2*m - 5*b + 10 = -7*b. Does 36 divide d*11 - (-1 - -4)/m?
False
Let u = 3616 - 3215. Is 4 a factor of u?
False
Let z(o) = o**3 - 15*o**2 - 2*o + 29. Let n be z(18). Let g = n + -666. Does 13 divide g?
True
Let s(w) = -982 + 9*w - 975 + 1944 + 2*w**2. Let c be (1/(-3))/((-2)/36). Does 14 divide s(c)?
False
Let o(r) = 14*r - 35. Let i be o(-11). Let c = i - -108. Let u = c - -191. Does 10 divide u?
True
Suppose -145 = 46*f - 41*f. Does 8 divide (13 + -1)/3 + f + 539?
False
Suppose 6*c - 13*c + 12406 = 1633. Is 19 a factor of c?
True
Suppose 2*c - 244 - 204 = 0. Suppose -29*p = -31*p + c. Is p a multiple of 4?
True
Let o(t) = 165*t + 125. Suppose -312*u + 308*u + 28 = 0. Is o(u) a multiple of 16?
True
Suppose 4*g + 42 = 54. Suppose 0 = -n - 5*i - 13, -n - 10 = -g*n - i. Suppose t - 1056 = -n*t. Is t a multiple of 15?
False
Let l(h) = -h**3 - 23*h**2 - 20*h + 49. Let g be l(-22). Suppose -32 = -2*n + 2*w, -3*n + 49 = g*w + 9. Suppose n = 24*y - 21*y. Is y a multiple of 5?
True
Suppose -89*b + 594511 = -548249. Does 22 divide b?
False
Suppose -44 = -4*z - 4*u, -4*z = 3*u - 9 - 36. Suppose -6*n - 120 = -z*n. Suppose -p = -2*t - n, 3*p = -p - 3*t + 135. Is p a multiple of 6?
True
Suppose 2*s + 48*n - 44*n - 23696 = 0, s = n + 11836. Is 10 a factor of s?
True
Let c be 0*3*3/27*-3. Suppose c = 6*b - 26 + 8. Suppose -2*k + 3*i - 14 = -49, -3*k = b*i - 45. Does 3 divide k?
False
Suppose 4*w + 1759 - 5455 = 0. Let t = w + -492. Is 6 a factor of t?
True
Let x be 46*1/(-3 - -5). Suppose 0 = -x*z + 2*z + 1512. Does 12 divide z?
True
Let v(l) = -l**3 + 26*l**2 - 36*l - 39. Is v(18) a multiple of 47?
False
Does 35 divide ((-6)/(-8))/(138/9125480)?
True
Let w(u) = 465*u**2 + 130*u - 16. Is 24 a factor of w(4)?
True
Suppose -11511 = -s - 2*l, 5*s + 223*l - 57591 = 225*l. Is s a multiple of 129?
False
Let i(c) = 41*c + 20. Let s = 195 - 192. Is i(s) a multiple of 29?
False
Suppose -5*s = -0*q + 4*q - 18, -s + q = -9. Suppose 9*r - s*r = 141. Is r a multiple of 47?
True
Let d = 5190 - 3290. Suppose -2*h + 2284 = -c, -2*h - 4*c = -374 - d. Is h a multiple of 87?
False
Let r(u) = 76*u - 26. Let x be r(23). Suppose 5*b + 4237 = x. Let w = -327 - b. Is w a multiple of 11?
True
Suppose 0 = -5*p - 291 + 1151. Let a be p/(-16) - (-15)/20. Is (-27 + 1)/(3*a/45) a multiple of 5?
False
Suppose -2*u = 3*n - 336, 4*n - n + 3*u - 336 = 0. Suppose -326 = n*k - 114*k. Is 6 a factor of k?
False
Is 38 a factor of 51/(-170)*456/(-9)*(-3115)/(-2)?
True
Let a be (-8)/(-10) - (-1 - (-143264)/(-20)). Suppose -a = -9*k - 235. Is 20 a factor of k?
False
Let n(o) = -7*o + 117. Let y be n(0). Let s = y + -63. Is s a multiple of 3?
True
Let x be 56/3*189/36. Suppose 9*q - 7*q = x. Suppose -3*y - 4*l = -q, 0 = 4*y + y + 3*l - 89. Is 19 a factor of y?
True
Suppose 0 = 6*a + 3*x - 13227, -2*a + 516*x + 4391 = 515*x. Does 22 divide a?
True
Let u(t) = 2*t + 28. Let m be u(7). Suppose -9*g + 93 = -m. Suppose -g*s = -17*s + 160. Does 16 divide s?
True
Let f(u) = u**3 + 2*u**2 + 60. Let h be f(0). Let c = -150 - -331. Let b = c - h. Is 20 a factor of b?
False
Suppose -3*a + 80 = 2*f, -5*f = 7*a + 13 - 200. Is a even?
True
Let j = -278 - -284. Let h(p) = 6*p**3 - 3*p**2 - 6*p - 2. Is h(j) a multiple of 40?
False
Is 45 a factor of (-20 - 127/(-4))*360?
True
Suppose 3*c + 0*j - 77 = 5*j, -4*j - 137 = -5*c. Suppose -4*g = -5*z + c, -5*z - 4*g = -9*g - 30. Suppose -z*p = 3*k -