)?
False
Let s(j) = -5*j - 28. Let w be s(-5). Let v(k) = -99*k - 58. Is 11 a factor of v(w)?
False
Let m = 390 + -316. Let k = 234 - m. Is k a multiple of 32?
True
Let v be (-6)/(((-27)/6)/9). Suppose 2*i + v = 16. Suppose 58 = 2*g - 4*d, -d + 5*d = -i*g + 18. Does 9 divide g?
False
Let u = 27516 + -15505. Is 48 a factor of u?
False
Let r(a) = -3*a**2 + 7*a - 23. Let q be r(-10). Let n = q + 679. Is n a multiple of 22?
True
Let l(u) = u**3 + 6*u**2 - 2*u - 17. Let n be l(-7). Let z = n - -57. Suppose -10*s + z*s + 185 = 0. Is s a multiple of 37?
True
Let c be 4*3/(-24)*-94. Suppose c*r = 41*r + 2994. Does 7 divide r?
False
Let d = 396 - 407. Is 64 a factor of (-6092)/(-2)*d/264*-12?
False
Let o = 4484 - 3854. Is o a multiple of 15?
True
Let g(p) = p**3 - 43*p**2 + 74*p + 73. Let w be g(40). Let i = w + 2579. Does 86 divide i?
False
Let f(d) = 0 - 1 + 30*d**2 - 3. Suppose 3*l = -3*c, -4*c + 62 = 29 + 25. Is 16 a factor of f(l)?
False
Does 9 divide 3 + 6/(-4)*(30/(-10) - 4583)?
False
Is 20 a factor of 6827/1 + (-1750)/250?
True
Let h(v) = -5*v**3 - 52*v**2 + 4*v + 5. Let y be h(-16). Suppose -24*w + y = -14971. Does 46 divide w?
True
Is (-37394)/(-28) + (6/(-14) - 26/(-28)) a multiple of 6?
False
Suppose -7*o = -5*o + 36. Does 5 divide 5924/36 + (-8)/o?
True
Let n(o) = -o**2 - 6*o - 2. Let q be n(-5). Suppose 3*c + 19 = -2*t, -2*c + 3 + 6 = -q*t. Does 6 divide (16/c)/((-3)/45)?
False
Let h = 579 + -568. Suppose -h*x = -x - 3600. Does 24 divide x?
True
Let f(b) = b**2 - 6*b + 7. Let m be f(6). Let w(l) = l - m*l - 4 + 7*l + 63. Does 29 divide w(-30)?
True
Let w(y) = 4*y - 23 - 26 + 46 - y. Let h be w(-4). Let b = h - -84. Is 23 a factor of b?
True
Suppose -6*i = i - 560. Suppose 93 = 5*u + 2*t, -3*t + i = 6*u - 2*u. Let s = u - -63. Does 40 divide s?
True
Let v = 4316 - 3976. Does 3 divide v?
False
Suppose 0 = 105*r - 100*r - 1550. Let l = 776 - r. Is l a multiple of 20?
False
Suppose 3*u - 1140 = -3*s, 3*s + 2*s = -3*u + 1898. Let c = s - 203. Let a = c + -32. Is 24 a factor of a?
True
Let k be -2 - (-120*(-160)/1 - -2). Is k*(-3)/90 + (-26)/195 a multiple of 32?
True
Let b = 9779 - -51862. Does 345 divide b?
False
Suppose -9*a + 4*a - 5 = 0. Let t be ((-2)/(-5) - 12/30)/a. Suppose -2*f + 46 + 254 = t. Does 25 divide f?
True
Let c = 215 + -223. Is (-322)/(-21)*(-12)/c even?
False
Does 8 divide (-1)/(7/(-1344))*-142*5/(-10)?
True
Suppose 3608 = 2*a + 3*q, 0 = -3*a + a - 2*q + 3602. Does 4 divide a?
False
Let b = -2133 + 3855. Does 14 divide b?
True
Let g = 12 - -148. Is 54/8*g/15 a multiple of 8?
True
Let i = -125 - -125. Suppose i*x - 4*s + 30 = 3*x, 2*s = 4*x - 40. Suppose 450 = x*h - 5*h. Is h a multiple of 15?
True
Suppose -f = -m + f - 2, 0 = -5*m - f + 1. Is 8 a factor of -3 - -7 - (m + -92)?
True
Let h(r) = 23*r**2 + 43*r - 107. Is h(13) a multiple of 29?
False
Suppose 38 = 49*t - 50*t. Let m = -38 - t. Suppose m*f - 95 = -2*u - 5*f, 4*f + 260 = 4*u. Is u a multiple of 3?
True
Let p(l) = l**3 + 0 - 2*l - 11 + 33*l - 17*l**2. Is p(16) a multiple of 45?
False
Suppose 9*g - 7 - 155 = 0. Suppose -29542 = -g*w - 3226. Is w a multiple of 86?
True
Let k(j) = j**3 + 3*j**2 - 13*j + 7. Let b be k(2). Is 50 a factor of (309 + -275)*23*b/2?
False
Let a(d) = 2*d + 10. Let u be a(10). Let i = 502 + -497. Let p = u + i. Does 29 divide p?
False
Is ((-2548)/(-35))/(26/5590) a multiple of 28?
True
Suppose -h - 142 = -4*r, h - 53 = -r - 15. Suppose r*g = -18*g + 9828. Is g a multiple of 36?
False
Suppose -2*o - o + 12962 = -h, -2*h + 17276 = 4*o. Is 34 a factor of 4 + o/((-64)/(-8))?
True
Does 7 divide -3 + ((-23639)/(-11) - 9)?
False
Let y(i) = -28*i + 15. Let a(d) = 14*d - 8. Let o(v) = v - 35. Let p be o(26). Let s(r) = p*a(r) - 4*y(r). Is s(-2) a multiple of 9?
False
Let h = 19580 + 47412. Is h a multiple of 23?
False
Let r = -2052 - -14022. Is 45 a factor of r?
True
Suppose 2*h - 666 = -h. Suppose 6*t - 9*t - 3*r = -6, 3*r - 12 = 0. Is ((0 - 3)/9)/(t/h) even?
False
Let q be 28/5 + 15/(-25). Suppose 3*w = -q*y + 670, -w - 568 = -4*y + 3*w. Is 4 a factor of y?
False
Let u = -233 + 2801. Is u a multiple of 24?
True
Let z = 59 + -67. Let v(h) = -h**3 + 11*h**2 - 6*h + 14. Is v(z) a multiple of 52?
False
Let a = -11 - -14. Suppose u + 167 = 3*h - a*u, 3*h - 157 = 2*u. Is (h/(-2))/((-5)/30) a multiple of 26?
False
Let n = 8107 + 11230. Is n a multiple of 76?
False
Suppose 2*k - 706*g = -702*g + 6572, -k - g + 3277 = 0. Does 40 divide k?
True
Suppose -17*f + 8*k = -6*f - 6*f - 12805, -4*k = 0. Is 4 a factor of f?
False
Let v(w) = 4*w - 25. Let x(z) = 2. Let r(k) = -2*v(k) - 18*x(k). Let n be r(-10). Let f = n - 2. Is 17 a factor of f?
False
Suppose 0 = -d - 2*z - 3*z - 17, -5*z = -d + 33. Let o(v) = -v**3 + 10*v**2 - 7*v - 19. Let a be o(d). Let h = a + 52. Is 14 a factor of h?
False
Let b be 2/(((-4)/(-10))/((-28)/(-20))). Let u(s) = -s**2 + 6*s + 10. Let w be u(b). Suppose -5*z - 5*c + 925 = 0, -2*z = -w*z + 4*c + 190. Is 29 a factor of z?
False
Let u = -2223 + 2791. Is u a multiple of 2?
True
Suppose 3*y - 6 = h - 2*y, -h = 4*y - 12. Let o be 6/h*(4 - 8/6). Does 11 divide o/(-30) - (-668)/60?
True
Suppose -4*z - 84 = 5*v, 0 = v + 4*z + 1 + 3. Is 80 a factor of (v/6)/(20/(-7170))?
False
Suppose 9*o - 7*o = -752. Let r = o - -1201. Is r a multiple of 15?
True
Suppose 5*t + u = 2226, -2*t + 3*u = -t - 442. Let z = t - 417. Is 7 a factor of z?
True
Suppose -37*m + 382602 = 107*m + 43*m. Is 22 a factor of m?
True
Let n be (-62)/22 - ((-474)/(-66) + -7). Does 14 divide (8/(-10)*n)/(9/5160)?
False
Let d be 1/2 + (-189)/2. Suppose -108*p + 76*p + 288 = 0. Is 3 a factor of (p/(-18) - d/4) + 0?
False
Let u = 368 - 372. Is 7 a factor of (u + 610/5)*7/2?
True
Let f(p) = -p**3 + 5*p**2 + 7*p - 3. Let q be f(6). Let w be 3 - -1 - 4/8*-10. Suppose -6 - 17 = -q*m - y, -m = y - w. Is 4 a factor of m?
False
Let y = -273 - -343. Is (-300)/y*70/(-3) a multiple of 19?
False
Let x(v) = v**3 + 75*v**2 + 337*v + 149. Does 2 divide x(-70)?
False
Let b(w) = 6*w**2. Let g(c) = -c**3 + 8*c**2 + 10*c - 13. Let r be g(9). Let k = r + 6. Is b(k) a multiple of 5?
False
Let h = 7667 - 515. Does 8 divide h?
True
Let z = -410 + 413. Suppose z*t = -350 + 1538. Does 47 divide t?
False
Suppose -17*n + 52 = -16. Suppose -5*g + 2909 = n*z, -z = -4*g + 3*z + 2320. Is 65 a factor of g?
False
Suppose -334 - 14 = 58*s. Does 45 divide 3/s*(-1620)/18?
True
Suppose 3*i = 6*i - 9. Suppose 0 = 4*j - 22*j + 1782. Suppose i*f - j = 5*x, 2*f + f - 87 = x. Is f a multiple of 6?
False
Suppose 0 = -4*r - 90 + 74. Let w(i) = -5*i**3 + 2*i**2 + 7*i - 1. Does 19 divide w(r)?
True
Suppose 4*z = 2*c - 24638, 33*z = -2*c + 31*z + 24644. Is c a multiple of 37?
True
Suppose 3*s = -15*t + 13*t + 24906, -4*t - 2*s = -49820. Is 24 a factor of t?
True
Suppose q + 3*u - 4225 = 0, 534*q - 12699 = 531*q - 5*u. Is 39 a factor of q?
False
Let c = -83 + 25. Let u = 93 + c. Let m = u + -13. Does 22 divide m?
True
Let v(r) = r**3 - 19*r**2 + 27*r - 18. Let w be v(18). Suppose -2*z = -8*z + w. Suppose -12*y + 9*y + z = 0. Does 4 divide y?
True
Let q(s) = 5*s**2 + 12*s + 7. Let w be q(-3). Suppose 2*p - w*p + 4424 = 0. Does 9 divide p?
False
Suppose 5*j - 36 = -26. Let c be 2 + (1 - (3 - j)). Let s(m) = m**2 + 2*m. Is s(c) a multiple of 4?
True
Suppose 41*v - 767110 = 77*v - 241*v. Is v a multiple of 6?
False
Let k(c) = -153*c + 1033. Is 29 a factor of k(-5)?
True
Suppose -3518 = -13*v + 1136. Let m = 136 + 116. Let n = v - m. Is 14 a factor of n?
False
Let o(n) = 120*n**2 - 10*n - 21. Suppose 0 = 4*j + 3*y + 21, y = 6*y + 15. Is 33 a factor of o(j)?
True
Let n(g) = 16*g**2 - 8*g - 18. Suppose 135*b - 132*b = -12. Does 23 divide n(b)?
False
Suppose -7801 = -2*j - c, -3*c + 3819 = j - 69. Is j a multiple of 22?
False
Let d be (-2725)/5 + (1 - -1). Let z = d - -872. Suppose 5*f - 21 - z = 0. Is f a multiple of 35?
True
Let c(a) = 38*a - 210. Let z be c(-13). Let f = 1274 + z. Is f a multiple of 30?
True
Let y = -70076 - -107446. Does 10 divide y?
True
Let x = -97 - -90. Is 2 a factor of (2 - 5) + x/(-1)?
True
Let p = 2151 - 1185. Suppose 155*s - 148*s - p = 0. Does 4 divide s?
False
Let n(z) = 11210*z - 2690. Is 7 a factor of n(3)?
True
Suppose 0 = -x - 19*x - 8140. Let i = x - -519. Is i a multiple of 8?
True
Let p(w) = w**3 -