c) = 18*c**2 - c - 6. Let w be u(3). Let j = -113 + w. Is j a multiple of 6?
False
Suppose 0 = 2*x + 5*u - 1299, x + u - 3213 = -4*x. Is x a multiple of 14?
False
Let o = 299 + -197. Suppose 2 = -v + o. Is 14 a factor of ((-4080)/v)/((-4)/10)?
False
Let t = -195 - -240. Let g = t - 9. Does 2 divide g?
True
Suppose -3*i + 5*g = 6, 2*i + 9 = i + 4*g. Suppose -2*m = -m - i. Suppose 43 = m*l - 17. Does 10 divide l?
True
Suppose -85*h + 97*h - 3504 = 0. Let z = h - -8. Does 49 divide z?
False
Suppose -4*l + 3*t = -1536 - 2475, t = 4*l - 4025. Is 36 a factor of l?
True
Does 17 divide 6693*((-60)/300 + 16/30)?
False
Let v = -19 - -63. Let k = 507 - v. Does 58 divide k?
False
Suppose f = y - 1, 5*f - 25 - 2 = -3*y. Suppose -b - y*b = 0. Suppose t = -3*v - 5 + 29, b = -t - 3. Is 9 a factor of v?
True
Let k(w) = -w**3 + 40. Let d be k(0). Let o(h) = h**2 + 28*h - 328. Let s be o(-37). Suppose 2*g = x + d, -s*g + 100 = x + x. Does 6 divide g?
False
Let i be (10/7)/(200/175)*-4. Does 7 divide -2*(-3 + -3)*(-40)/i?
False
Suppose -96*y - 28694 = -3312950. Is y a multiple of 12?
False
Let g be (48/40)/(4/10). Suppose 12 = g*l, 0 = 3*w - 4*l - 39 - 107. Suppose -w*m + 51*m = -93. Is 20 a factor of m?
False
Let r be (15/10 - 2)*0. Suppose -73 = 2*a - z - r*z, 4*z = a + 47. Does 5 divide 7/(a/6)*130/(-4)?
False
Let f = 8790 - 483. Does 71 divide f?
True
Suppose -t = -5*t. Suppose 152*p + 77*p - 916 = 0. Suppose -p*v = -3*i - 1331, 4*v - i - 1002 - 327 = t. Is v a multiple of 59?
False
Suppose -7*q + 0*q + 3696 = 0. Suppose -y = -13*y + q. Does 22 divide y?
True
Suppose 0 = 2*a - 5*a + 3*d + 1515, d + 1521 = 3*a. Let i = a + -291. Does 7 divide i?
True
Suppose 19*w = 15*w + 4784. Suppose w = 2*p + 2*p + 5*y, -3*y + 292 = p. Is p a multiple of 16?
True
Suppose -48 = -2*d + 32. Let s be ((-2)/(-5))/((-2)/d). Let m(x) = x**3 + 10*x**2 + 11*x + 5. Is 23 a factor of m(s)?
False
Let t = -121188 + 172333. Does 95 divide t/212 + 10/(-8)?
False
Suppose -16*b + 1428 = -10956. Is 86 a factor of b?
True
Suppose -33*t - 21*t = 15*t - 152145. Is 3 a factor of t?
True
Let l(m) = -m - 117. Let u(i) = i + 237. Let r(g) = 7*l(g) + 4*u(g). Is r(0) a multiple of 43?
True
Suppose -9*f + 10041 = 5*l, 2*l + 3*f + 1567 - 5584 = 0. Does 67 divide l?
True
Let d be (1 - -2)/1 - (-108)/12. Suppose -d*b = -4*b + 200. Let i = b - -49. Is i a multiple of 12?
True
Suppose 0 = 5*x - 18 + 78. Is 7 a factor of (-4 - (-28)/x)/1*-21?
True
Let n(p) = 14*p - 135. Let m be n(-8). Let z = 327 + m. Is 40 a factor of z?
True
Is 6 a factor of (-21 - -666)/(6/4) + -4?
True
Suppose -4*a + 21 = -v, a = -4*a - 2*v + 10. Suppose i + 1101 = j + 3*j, 0 = -j + a*i + 264. Is 21 a factor of j?
False
Suppose -2*d - 2*i = -60934, -2*d = 20*i - 15*i - 60952. Is d a multiple of 26?
False
Let c(t) = 8 - 166*t**2 + 158*t**2 - 4*t**3 + t**3 + 3*t + 25. Does 22 divide c(-8)?
False
Let c be (0 - 0)*2/(3 + -5). Suppose -2*h + 214 = v, c = 7*v - 4*v - 5*h - 675. Suppose 5*l = -5*r + v, 3*l = -2*l + 5*r + 230. Is l a multiple of 9?
True
Suppose -9722 + 1057 = -5*x. Does 50 divide x?
False
Let f(z) be the first derivative of z**5/12 + z**4/24 + 5*z**3 - 10. Let u(m) be the third derivative of f(m). Is u(5) a multiple of 17?
True
Let l be (-2)/(-6) + 16/6. Suppose 17*k - 8*k + 6 = 11*k. Suppose -n = -3*v - 31, 4*v = k*n - 91 + l. Does 6 divide n?
False
Let i(q) = -2*q**3 + 37*q**2 - 37*q - 25. Let j be i(17). Let b = 493 - j. Does 40 divide b?
True
Suppose 2737 = -150*l + 167*l. Suppose -169*h + l*h = -608. Does 11 divide h?
False
Let o(u) = 32*u - 27. Let n be o(-3). Let k = n - -62. Let b = k - -170. Is b a multiple of 12?
False
Let r(p) = p**3 - 2*p**2 - 135*p + 3420. Is 45 a factor of r(0)?
True
Let c(h) = h**3 + h**2 - 3*h + 6475. Does 35 divide c(0)?
True
Let b(k) = -5*k**2 + 18*k + 17. Let s be b(-11). Let q = 1248 + s. Is q a multiple of 77?
True
Suppose -2*l - 9211 = -3*v, -74*l + 6144 = 2*v - 77*l. Is 11 a factor of v?
True
Suppose -58*a + 76*a = 3726. Suppose -5*l = 3*r - 562 - 51, -l = -r + a. Is 2 a factor of r?
True
Suppose -72244 = 4*b + 5*t - 209687, t = -b + 34359. Does 89 divide b?
False
Suppose 624*p - 20720 = 610*p. Does 36 divide p?
False
Let x(s) be the third derivative of 0 - 28*s**2 + 1/60*s**6 - 7/24*s**4 + 2/3*s**3 + 1/30*s**5 + 0*s. Does 11 divide x(3)?
True
Let d(o) = -227*o**3 - 5*o**2 - 6*o - 2. Does 42 divide d(-2)?
True
Let h = -105 + 213. Suppose 2*m - h = -2*m. Is m a multiple of 16?
False
Let j(p) = -530*p - 2689. Is j(-12) a multiple of 5?
False
Suppose -90 = -4*g + 262. Suppose 0 = -5*m + 1032 + g. Let v = 357 - m. Is v a multiple of 15?
False
Let u(c) = -c + 23. Let d(s) = -s**3 - 3*s**2 + 1. Let h be d(-4). Let f be u(h). Let g = f + 15. Is 7 a factor of g?
True
Suppose -5*s + 447 = -8*s. Let q = -395 + 111. Let j = s - q. Does 8 divide j?
False
Let l = 12 + -19. Let y(a) = 33*a**3 - 5*a**2 + 3*a - 5. Let o(w) = -16*w**3 + 2*w**2 - w + 2. Let u(v) = l*o(v) - 3*y(v). Is u(1) even?
False
Suppose 9*j - 148 = -49. Suppose -j*t = 3*c - 14*t - 333, -3*t - 545 = -5*c. Does 18 divide c?
False
Let n = 4356 + -3180. Does 12 divide n?
True
Let u(f) = -274*f - 415. Is u(-16) a multiple of 189?
True
Let i be (-2)/1*((-36)/(-8))/(-3). Let s be (2/1)/2 - (i + -6). Suppose t - 2*b = 5*t - 242, 245 = s*t + 5*b. Is 18 a factor of t?
False
Let d(k) = 21*k - 24 + 20*k - 129 - 14*k. Is d(20) a multiple of 9?
True
Let z = 40502 - 29524. Does 22 divide z?
True
Suppose 995 = -7*w + 1499. Suppose 4*q + f + 18 = 0, -3*f = 5*q + 2*f + 30. Let u = w - q. Is u a multiple of 19?
True
Suppose -5*f + 376 = 3*j, 4*f + f + j - 372 = 0. Let v = f - 68. Suppose -v*a = 4*a - 610. Is 11 a factor of a?
False
Let i = 61031 + -2299. Is i a multiple of 12?
False
Is -10 + 17 - (-8)/(8/2101) a multiple of 17?
True
Let b(n) = -n**2 + 1. Let o be b(0). Suppose 0 = 2*s - 1 - o. Is 17 a factor of s + ((-343)/(-3) - (-10)/15)?
False
Suppose 7 = 2*n + 7. Does 31 divide (n + 31)*(5 + -4)?
True
Let o(x) = x**2 - 14*x + 16. Let g be o(13). Suppose 4*m - 6 = n + 107, g*n - 4*m + 299 = 0. Let u = n - -207. Does 18 divide u?
False
Suppose 125*v - 126*v + 9 = 0, 3*n + 4*v - 200301 = 0. Is 65 a factor of n?
True
Let l = 68 - 52. Let w(q) = q**2 - 10*q + 84. Is w(l) a multiple of 36?
True
Let t = 554 - 462. Suppose -n + t = 14. Is n a multiple of 3?
True
Suppose -7*q + 68913 = 2*q. Suppose 0 = 17*t - 36*t + q. Does 30 divide t?
False
Let s be (((-2164)/(-20))/(-1))/(3/(-15)). Let w = s + -371. Is 10 a factor of w?
True
Let b be (-5)/(10/52)*(-13)/(-26). Let t(k) = -2*k**3 - 16*k**2 + 11*k + 13. Let w be t(b). Suppose 2*h + w = 12*h. Is h a multiple of 13?
True
Let m(p) = 15*p + 49. Let v be m(21). Let q be (-40)/(-4)*5/(25/v). Suppose 0 = 2*z + 5*z - q. Does 16 divide z?
False
Suppose -3*z + 5*g + 3256 = 0, 263 + 833 = z + g. Does 6 divide z?
True
Suppose 4*b = -4*z - 37693 + 183701, 0 = 2*z + 3*b - 73011. Does 15 divide z?
True
Let c(n) = -n**3 - 6*n**2 + 18*n + 18. Let g be c(-8). Suppose -g*p = 3*t - 288, 3*t = -2*p - 3*p + 720. Is 9 a factor of p?
True
Let x(q) = -12*q + 42*q**2 - 24*q**2 - 5*q**2 + 15. Does 11 divide x(6)?
False
Let v = 32 + -29. Suppose -v*p + 5*p - 346 = 5*n, 3*n = 4*p - 678. Is 7 a factor of p?
True
Let i(l) = -l**3 - 12*l**2 - 93*l + 5. Let z be i(-12). Let h = -566 + z. Is h a multiple of 13?
False
Let a(c) be the second derivative of 0 + 5/12*c**4 + 1/20*c**5 + 3/2*c**2 + 3*c - 5/6*c**3. Is a(-5) a multiple of 4?
True
Let a be (-4 + 1015/14)*(2 - 0). Let f = a + -102. Is 5 a factor of f?
True
Suppose -j = 3*j - 12. Let d(s) = -14*s - 8. Let o(p) = 15*p + 10. Let n(u) = -3*d(u) - 2*o(u). Does 10 divide n(j)?
True
Suppose -4*z - 6 - 9 = 3*q, -6 = 2*z. Let g be q/5 + (-5940)/(-75). Let k = -41 + g. Does 8 divide k?
False
Let z(j) = 3608*j - 616. Is 26 a factor of z(10)?
True
Let y(k) = 2*k**2 - 5*k + 16. Suppose 0 = -10*o + o. Suppose o = 2*g + z + 17, g + 2*z = 3*g + 14. Is y(g) a multiple of 16?
False
Let c(b) = b**3 - 5*b**2 - 12*b - 4. Let w(x) = -3*x**2 - 9*x - 8. Let s be w(-5). Let d be 6/15 + s/(-5). Does 16 divide c(d)?
False
Let n(h) = 3*h**2 + 12 - 16 + 14*h + 32 - 2*h**2. Let b = -61 + 48. Is n(b) a multiple of 6?
False
Suppose 110*l - 1011194 = -507657 + 877513. Is 81 a factor of l?
True
Suppose -2*a + 3 =