ppose -8*s + u = -478. Is s a multiple of 30?
True
Suppose -5276 = -3*g - k, -4493 = -5*g - 2*k + 4301. Is g a multiple of 4?
False
Let x(o) = 69*o + 18. Let w be -1*(-4)/((-12)/(-63)). Suppose w = -b - 5*l, 0*b + 3*b + 5*l + 13 = 0. Is 49 a factor of x(b)?
True
Let x(i) = -3*i**3 + 2*i**2. Suppose -o + 3 = 2*v + 4*o, -v - 5*o - 1 = 0. Let u(l) = -l**2 + 5*l - 6. Let t be u(v). Is 8 a factor of x(t)?
True
Let r = -29285 + 33245. Is 44 a factor of r?
True
Let x = 398 - 394. Is 28 a factor of (-70)/x*(-736)/20?
True
Let i = -524 + 768. Suppose 4*o = z - 6*z - i, -z - 4*o = 52. Let t = 22 - z. Does 13 divide t?
False
Let h = 5801 + 7669. Does 30 divide h?
True
Is 36 a factor of 25194/4 + (-507)/(-338)?
True
Let z(k) = 6*k**2 - 21*k + 16. Let t(l) = l**2 - l - 4. Let g(y) = 5*t(y) - z(y). Let n = -8 + 19. Does 6 divide g(n)?
False
Is 53376 - ((-5)/1 + (5 - 56/(-7))) a multiple of 56?
True
Let h = -132 + 277. Let f = h + -45. Does 25 divide f?
True
Is (5*1)/(((-2)/(-348))/(31 + -30)) even?
True
Suppose -2*t - 2*t = 168. Does 31 divide -9*((-219)/7 - 12/t)?
True
Is 1674/(-403) - (-4)/26 - (-7478 + -1) a multiple of 25?
True
Suppose 5*b - 5*y = 83525, -4*b - 17*y + 15*y = -66802. Does 14 divide b?
True
Suppose -5*l = -3*s - 29637, 0 = 5*l - 22*s + 17*s - 29645. Is l a multiple of 15?
True
Is -7 + ((-32)/144*-6891)/((-2)/(-6)) a multiple of 6?
False
Suppose 9*i + 36943 = -6*i + 205438. Is i a multiple of 13?
False
Let u be -2 - -47 - (-23 - -33). Suppose -3*c - 2 - 1 = 0, j - 5*c - 705 = 0. Suppose 31*q = u*q - j. Is 25 a factor of q?
True
Suppose -15394 = -4*p + 3*a, -p = -2*p + 5*a + 3840. Is p a multiple of 154?
True
Suppose 4*l + 24 = -28. Let c be l/(-39) + (-52)/(-6) + -1. Suppose -301 = -c*f + f. Is f a multiple of 4?
False
Suppose 49 = 54*o - 383. Let r be 2*87/6 + -1. Does 18 divide -96*(2 - r/o)?
True
Let d(j) = 6*j**2 - 2 - 97*j - 4*j**2 - 479*j**3 + 96*j. Is 4 a factor of d(-1)?
True
Is (0/(-1) - 0) + 1302/(-34 + 36) a multiple of 12?
False
Suppose 75*r + 93150 = 165*r - 84*r. Does 5 divide r?
True
Let u = 41 - 35. Let l be 113 + (4/u)/(6/27). Suppose 2*i = 28 + l. Is 9 a factor of i?
True
Suppose 2*n - 26*n - 9984 = 0. Let r = -322 - n. Is 46 a factor of r?
False
Suppose 13*a - 131221 = -38700. Is a a multiple of 11?
True
Let a(n) = -2*n**3 - 11*n**2 + 9*n - 61. Let s(b) = -b**3 + 2*b**2 - b + 1. Let d(u) = -a(u) + s(u). Is 18 a factor of d(-11)?
True
Suppose 0 = -69*u + 70*u - 4. Suppose 17 = -u*k - 3. Let w(j) = j**3 + 3*j**2 - 13*j - 6. Does 3 divide w(k)?
True
Suppose 0 = -10*x - 225*x + 2396060. Is 172 a factor of x?
False
Let m = -15 + 11. Let r = m + 4. Suppose 5*k + o - 304 = -r*k, 0 = -3*k - o + 184. Does 10 divide k?
True
Let s = 9252 + -4596. Does 24 divide s?
True
Suppose -2*i - 3868 - 40 = -6*i. Is i a multiple of 240?
False
Let w(s) be the second derivative of s**5/20 + 3*s**4/4 + 2*s**3/3 - 5*s**2/2 + 2*s. Let f be w(-8). Let g = f - 7. Is 3 a factor of g?
False
Let w = 471 - 471. Suppose 0 = -5*p - 25, y - 16 = -y + 2*p. Suppose w = 5*q - 5, -2*q + y*q = -4*d + 261. Is 29 a factor of d?
False
Suppose 2*a = -4*y + 840, -9*y = 4*a - 11*y - 1710. Is a a multiple of 2?
True
Let l = 7 - 3. Suppose l*z = -s + 8, 0 = 4*s + 2*z + 2*z - 20. Suppose 93 = 4*a - o, -4*a + o = -s*o - 81. Does 4 divide a?
True
Let q be -2020*((-124)/160 + 9/24). Suppose 0 = 4*g + 152 - q. Is g a multiple of 20?
False
Suppose -7*i + 8 = -3*i. Suppose 5*l - 3*o + 966 = 270, 0 = -l - i*o - 147. Is 24 a factor of 0/(-5) + (0 - l)?
False
Suppose 0 = 4*n + 5*m - 69282, 5*n + 60*m = 62*m + 86586. Does 20 divide n?
False
Suppose 37*f = 45*f - 56. Is 8 a factor of (40/56 - 1) + 1066/f?
True
Let f(j) = 4*j - 5*j + 0 - 1. Let v be f(-5). Suppose v*u = 5*o + 139 + 64, -4*u = -4*o - 208. Is 19 a factor of u?
True
Is 26 a factor of -211 + 211 - 4396/(-1)?
False
Let j(c) = 23*c + 11. Let z be j(-7). Suppose 4*u + 482 = 1322. Let p = u + z. Does 15 divide p?
True
Let k = 281 + -275. Is 10 a factor of ((-128)/k)/(14/(-42))?
False
Let x = 78 - 13. Let q = -47 + x. Is 5 a factor of 4/q - (-158)/18 - -3?
False
Is 30 a factor of 13986/(-222)*(-580)/14?
True
Let p(q) = -q**3 + 87*q**2 - 149*q + 1890. Is 21 a factor of p(85)?
True
Let g be ((1 - 0)/(-3))/(27/(-5265)). Suppose g = -3*p - 232. Let i = -75 - p. Is i a multiple of 24?
True
Suppose 0 = -20*u + 38 - 98. Is 3 a factor of (0 - -5) + 13 + (u - -5)?
False
Let k(s) = 2 + 2*s + s**3 + 0*s**3 + 3*s + 8*s**2. Let h be k(-3). Suppose 2*o - 58 = -3*l, -5*o - h = 4*l - 191. Is 25 a factor of o?
False
Let g = -425 - -92. Let x = g + 384. Does 17 divide x?
True
Let u = -1199 - -1200. Let l(n) be the first derivative of 21*n**4/2 + 2*n**3/3 - 2*n**2 + 2*n + 2. Is 21 a factor of l(u)?
True
Let x be (-20)/5 - -1*7. Let i = -7 + x. Does 5 divide i*(-2)/8 - -32?
False
Is 14*-3*40/(-140) - -61257 a multiple of 11?
False
Let s = 51 - 47. Is 10 a factor of 1/s - (-4 - 1133/44)?
True
Suppose -3*m = -t - 18, 2*m - 3 = -t + 9. Let k be m/(-9)*60/(-8). Suppose -11 - 164 = -k*n. Is n a multiple of 15?
False
Let q = 84 - 80. Suppose 2*k + g - 1223 - 306 = 0, q*g + 769 = k. Suppose -k = -5*n - 4*n. Is n a multiple of 17?
True
Let j be 111/21 + (-10)/35. Suppose -21*p + p = -5040. Suppose j*w = -w + p. Does 14 divide w?
True
Let a(k) = -5*k**2 - 16*k + 61. Let w be a(3). Let f = -5 - w. Does 14 divide f?
False
Let y(i) = 99*i**3 - i**2 + 7*i - 48. Is 10 a factor of y(4)?
True
Suppose -520*z + 32 = -528*z. Let b(o) = -153*o + 44. Is b(z) a multiple of 8?
True
Suppose -13*v + 242 = -876. Let i = v + 320. Is 58 a factor of i?
True
Let r(z) = z**3 - z + 51. Let v = -91 + 111. Let h = v + -20. Is 5 a factor of r(h)?
False
Let w(p) be the third derivative of -71*p**4/24 - 19*p**3/3 - p**2 + 8. Is w(-4) a multiple of 23?
False
Suppose q + 1 = 0, -4*p + 187*q = 185*q - 109162. Does 10 divide p?
True
Suppose -8*h - 564 = -92. Let r = -55 - h. Suppose r*q = 3 + 121. Does 3 divide q?
False
Let b = 17360 + -12806. Does 13 divide b?
False
Let z = -127 + 120. Is -4 + 4 - (-124 - z) a multiple of 13?
True
Suppose 4661 + 27164 = 5*j. Is j a multiple of 95?
True
Let m(o) = 3*o**3 + 131*o**2 - 219*o + 93. Is 14 a factor of m(-45)?
True
Suppose 0 = 2*k + z - 15 - 10, 0 = 4*k + z - 47. Suppose 3*g - 1635 = 5*h, k*g - 1071 = 9*g - 3*h. Does 24 divide g?
False
Let a be (16/10)/((-24)/(-60)). Suppose 4*v = 4*t - 8 - a, 5*v - t = -23. Does 11 divide (-128)/(-5) + (-2)/v?
False
Suppose -4*g = -983 + 2615. Let f = g + 607. Suppose -4*x - t = -0*x - f, -4*t = -5*x + 254. Does 10 divide x?
True
Let b = 242 - 242. Suppose -22*t + 2112 = -b*t. Does 6 divide t?
True
Suppose 23*h - 28*h + 51663 = 3*q, -4*q + 4*h = -68820. Is 163 a factor of q?
False
Let g(h) = -16*h**2 - 26*h + 41. Let x(c) = -3*c**2 - 5*c + 8. Let k(z) = 2*g(z) - 11*x(z). Let j be k(0). Let n = j + 30. Is 3 a factor of n?
True
Let r = -293 + -64. Let v = -180 - r. Suppose -49 = 4*s - v. Is s a multiple of 20?
False
Suppose -15 = 5*o, -5*w + o + 897 = -2*w. Let n = -226 + w. Does 13 divide n?
False
Let u(a) = -a + 28. Let n be u(20). Suppose 9 = -11*d + n*d. Let y(s) = -13*s**3 + 6*s + 1. Is 29 a factor of y(d)?
False
Let o = 26 - 23. Suppose -28 = -o*u - 19. Suppose -u*j + 0 = -48. Is j a multiple of 8?
True
Suppose -4*r + 4*q = r - 40, -3*q = 2*r + 7. Suppose 3*o - 2 = -w + 2, r*o + w = 6. Is 2 a factor of o?
True
Let g(q) be the first derivative of 3*q**3/2 - 2*q**2 + 9*q + 10. Let d(z) be the first derivative of g(z). Does 32 divide d(4)?
True
Let h be (-354)/18*(-1 + 12/3). Let f = -55 - h. Suppose -f*b + 2*b + 264 = 0. Is b a multiple of 25?
False
Let p = 4216 + 11787. Does 19 divide p?
False
Let q(n) = 7*n - 9. Let u be q(-5). Let w = u + 53. Suppose -1134 = 2*d - w*d. Does 34 divide d?
False
Let p be (6/(-15))/(4/(-80)). Let t be 1/(-8) + 913/p. Suppose 2*b - 124 = t. Is b a multiple of 8?
False
Let b(u) = -u**2 - 2*u + 3. Let c be b(0). Let x(v) = v + 5. Let j be x(c). Suppose -10*a + 96 = -j*a. Is a a multiple of 10?
False
Suppose -r - y = 20, 0 = -4*r + y - 6*y - 81. Let l = r + 13. Let c(p) = -p**3 - 4*p**2 + 4*p + 4. Does 11 divide c(l)?
False
Let h(n) = n + 10. Let l be h(-3). Suppose 5*v = l*v - 4. Suppose 4*a - 7*a - 96 = -v*m, -3*m + 2*a + 149 = 0. Does 8 divide m?
False
Let u = -10933 