ppose -2 + 5 = p. Suppose 0 = -13*u - 250 + 302. Suppose s + 8 = p*s, 0 = 3*a + u*s - 352. Does 18 divide a?
False
Let c(d) = -7*d**2 + 59*d - 55. Let i(k) = -10*k**2 + 88*k - 82. Let o(j) = -7*c(j) + 5*i(j). Is 17 a factor of o(22)?
True
Let n = 403 - -1280. Suppose -25 = 5*z, -5*o + n = -4*z - 242. Is 12 a factor of o?
False
Suppose -219 = 10*r - 3599. Let m = 734 - r. Is m a multiple of 36?
True
Is 121 a factor of 2860248/1480 - (-2)/5?
False
Suppose -22 = 2*t - 18. Let d be (2/(-6))/(t/18). Suppose 2*w = -2, u + 2*u - d*w = 522. Does 40 divide u?
False
Let i(y) = -y**3 - 21*y**2 - 21*y + 1. Let n be i(-20). Suppose -2*z - 5*z = -n. Suppose z*q + q = 480. Is q a multiple of 24?
True
Let q be -34*(1092/(-24) - (1 - 3)). Suppose -4*m + q + 1281 = 0. Does 15 divide m?
True
Let v(n) = -n**3 + n**2 + 4*n - 6. Let c be v(2). Does 65 divide ((-78)/c)/(27/225)?
True
Suppose -5*z - 5 = -0*z, -3*f - 119 = -4*z. Let v = -100 - -38. Let m = f - v. Is m a multiple of 10?
False
Is 14 a factor of 594983/155 + ((-6)/(-15) - 0)?
False
Let a(b) = -7*b + 65 - 17 - b + 0*b. Let p be a(17). Does 14 divide p/(-33)*(-21)/(-2)?
True
Let n be 21/4*12/9. Suppose 0 = -w + 3*m + 178, 0 = n*w - 11*w - 4*m + 696. Does 30 divide w?
False
Suppose 698805 = 236*p - 61*p + 90*p. Does 7 divide p?
False
Let t = -13095 - -21010. Suppose -2201 = -12*a + t. Does 8 divide a?
False
Let m be 141*(0 + (-16)/(-6)). Let y be 12/(-54) + m/(-9). Is (y/(-15))/((6/75)/2) a multiple of 5?
True
Let o(l) = 66*l + 7. Let u be 1/((-88)/(-56) + 4/(-7)). Is o(u) a multiple of 12?
False
Suppose 24*q + 4*q - 364 = 0. Let y(k) = -k**3 + 16*k**2 - 35*k + 110. Is 13 a factor of y(q)?
False
Does 187 divide -1 - (-2827)/3 - (0 - 54/81)?
False
Let o = -15889 - -16603. Is 7 a factor of o?
True
Let z(j) = 1. Let o(k) = 140*k**2 + 2*k + 3. Let c(w) = o(w) - 2*z(w). Does 46 divide c(1)?
False
Suppose 1961 = 37*p - 24420. Is p a multiple of 86?
False
Suppose -2 = g - a, a + 21 = 2*g + 4*a. Suppose 1490 = 2*r + 2*u, g*r - u = -2*r + 3743. Is r a multiple of 17?
True
Let d(c) be the second derivative of c**4/6 - 4*c**3/3 - 3*c**2/2 + c. Let o = 725 - 720. Does 7 divide d(o)?
True
Let w = 79 + 26. Let f = -4839 - -4782. Let v = w + f. Does 16 divide v?
True
Is -2973*((-1)/3)/(212/424) a multiple of 9?
False
Let c be 2 + -4 + 5 - -1*519. Suppose 5*n = 4*s + 574, -4*n = -3*s + 63 - c. Suppose -8*z + 198 = -n. Is 13 a factor of z?
True
Suppose 0 = -2*m + 8, 2*h - 2*m - 496 = -0*m. Let l = h - -270. Is 9 a factor of l?
True
Let l = -33530 + 76963. Is 81 a factor of l?
False
Let n(k) = 6*k**3 - k**2 - k. Let z be n(2). Let t be (-5740)/(-238) + (-4)/34. Let o = z - t. Does 3 divide o?
True
Let c = 1871 - 836. Suppose -4*i + 1380 = -g + 6*g, 3*i - c = -3*g. Suppose -10*t - i = -1095. Is t a multiple of 21?
False
Suppose -117769 = 177*s - 1473264 - 735760. Is 5 a factor of s?
True
Let k be 8/5*5/2. Let q(b) = 10*b**3 - 10*b**2 - b + 23. Does 22 divide q(k)?
False
Let a(n) = 85*n**3 + 3*n**2 - 237*n + 920. Does 39 divide a(4)?
True
Let d = -12223 + 18395. Is d a multiple of 4?
True
Let c = 161 + -156. Suppose 16 + 0 = 4*z, 0 = c*m - 5*z - 510. Is 4 a factor of m?
False
Let v(w) = 21925*w - 49. Does 14 divide v(2)?
False
Let x be (-4)/(-16) + 44/16 + 2. Suppose x*m + 864 = 14*m. Is 12 a factor of m?
True
Suppose 2*m + m = 2*x + 4, 0 = -2*x + 2*m. Suppose -x*c = -5*s + 366 + 1762, 3*s - c - 1281 = 0. Suppose 11*o - 100 = s. Does 11 divide o?
False
Suppose 0 = 50*u - 40*u - 90. Suppose -u*n + 561 = -2319. Does 6 divide n?
False
Suppose -2*d = -19 + 73. Let c = d + 27. Suppose 155 = -0*s + s + 5*i, c = 5*s + i - 655. Is 13 a factor of s?
True
Is 94 a factor of 15/(75/330860) + 8/20*10?
True
Suppose -82*o + 5*o + 16920 = 17*o. Is o a multiple of 60?
True
Let k = -47 - -47. Let s(w) = 3 + 5 + 2*w + k*w - 2. Is 11 a factor of s(19)?
True
Suppose 1846*d - 1854*d + 146021 = 49381. Is d a multiple of 6?
False
Let p(v) = v**2 + 7*v - 38. Let c be p(-11). Suppose -2*i + 4*h = c*h - 44, -i = -2*h - 16. Suppose 0 = 4*k + i, 3*k - 60 - 420 = -5*r. Does 11 divide r?
True
Suppose -27*r - 26*r + 41*r + 2232 = 0. Does 2 divide r?
True
Let s(g) = -2220*g + 1290. Is s(-11) a multiple of 38?
False
Let v = -37940 + 67368. Does 21 divide v?
False
Let j(p) = p**2 - 5*p - 4. Let t be j(8). Let b be ((6 - 7) + -1)/((-2)/t). Suppose -356 + b = -2*i. Is 36 a factor of i?
False
Let r = -1841 - -7325. Is r a multiple of 12?
True
Let t(d) be the third derivative of -9/2*d**3 - 1/8*d**4 + 0 + 0*d - 5*d**2. Does 15 divide t(-19)?
True
Let r = -516 + 1006. Is r a multiple of 12?
False
Let d(p) = -p**3 + 12*p**2 + 17*p - 3. Let h be d(13). Let v = h - 96. Let i = -12 - v. Is i a multiple of 7?
True
Suppose a - 77*a + 417882 = -80906. Is a a multiple of 20?
False
Suppose 6*t + 225 = 2*o + t, -2*t = o - 135. Suppose 4*a = -v + 40, v + v - a - o = 0. Is 5 a factor of v?
True
Suppose -1981 = -4*x - r, -x = 4*r - 376 - 138. Suppose 181 = 3*u - x. Does 15 divide u?
True
Let x(g) = -2*g - 11. Let c be x(-9). Suppose c*q - 2*q - 1420 = 4*s, s = 0. Is q a multiple of 34?
False
Let w = 4 - -4. Suppose 19*o - w*o = 1188. Is o a multiple of 6?
True
Let y(v) = v**3 + 19*v**2 + 13*v + 195. Let i be y(-15). Suppose -5*c - b + 1516 = 0, i + 600 = 5*c + 5*b. Is 6 a factor of c?
False
Suppose r - 955 = -184. Suppose -2*d + 2*v = -634, v + 146 = -2*d + r. Is 48 a factor of d?
False
Suppose 5*g - 1174 = 1706. Suppose -24*j = -15*j - g. Is 3 a factor of j?
False
Suppose 2*b = -z - 91, -144*z = -141*z - 5*b + 295. Let m(l) = -5*l**2 + 4*l - 7. Let p be m(-5). Is 14 a factor of (p/z)/((-2)/(-35))?
True
Let p be -6 - (5 + -2) - 3*-2. Is (-6582)/18*p - 8 a multiple of 33?
True
Suppose 0*w + 268 = 2*o - 3*w, -5*o - w + 670 = 0. Let p = o - 57. Does 27 divide p - 0/(-1) - (1 - 5)?
True
Suppose -4*y + 84 = 4*k, -k = 10*y - 15*y - 3. Is (6/k)/((-2)/(-3042)) a multiple of 13?
True
Let u = -27 - -44. Suppose -4*d = u - 1. Is d + 132/(6 - 3) a multiple of 5?
True
Suppose -39*g + 35*g = -20. Suppose 4*f = -0*u - g*u + 1655, 0 = -2*f + 5*u + 865. Does 21 divide f?
True
Let w = 31158 - 20521. Is 49 a factor of w?
False
Let i(r) = 2*r**2 + 38*r + 2453. Does 18 divide i(74)?
False
Let w(u) = -u + 14. Let n be w(8). Suppose 3*a - a = -n, -4*a = 4*h - 72. Does 21 divide h?
True
Suppose 111*a - 107*a = -3*b + 203872, -10*b = 3*a - 679563. Is 84 a factor of b?
True
Let j be 2/(-3) - (-5)/3. Let r = 682 - 686. Is 13 a factor of j*7*(3 - r)?
False
Let r = 30 - 30. Suppose -2*a + 71 = h, -h + a = -r*a - 59. Suppose 3*x - h = -0*x - 3*w, -2*x = w - 45. Does 8 divide x?
True
Let a(g) be the third derivative of -g**6/120 - g**5/60 + g**4/24 + 4*g**3/3 - 20*g**2. Let k be a(0). Is 3 a factor of 1*(-3 - -1) + k?
True
Suppose -4*j - 2878 = -2*y, -749 = -4*y + 4*j + 5031. Is 13 a factor of y?
False
Suppose -18*q + 90856 = -27728. Does 32 divide q?
False
Let c(f) = -f**2 + 12*f - 29. Let x = 25 - 16. Let v be c(x). Does 27 divide (-12)/v*(-18)/(-4)?
True
Let l(r) = 105*r + 2159. Is l(44) a multiple of 2?
False
Let y(p) = 44*p**3 + 2*p**2 - p - 1. Let f be y(2). Let s = 399 - f. Is 14 a factor of s?
True
Suppose 4*y + 308 = -2*o, -4*o - 732 + 116 = 4*y. Let m be (564/10)/(3/15). Let n = o + m. Is 16 a factor of n?
True
Suppose 32*s = 5*j + 36*s - 5098, -4*s + 1010 = j. Is 2 a factor of j?
True
Let p(a) = a**3 - 10*a**2 + 15*a + 6. Let f be p(7). Let y(v) = -v**3 + v**2 - 2*v + 1. Let w be y(1). Does 9 divide 3*w/9*f?
False
Suppose 2*n - 48 = -4*b, 4*b - 4 = -3*n + 48. Let x = 13 - b. Suppose 73 = x*c - 26. Is c a multiple of 12?
False
Suppose -s - 2*x = -8, -4*x + 12 = -x. Let k(m) = m**3 - 19*m**2 - 22*m + 139. Let n be k(20). Suppose s = w - 5*y - n, -4 = -3*y - 1. Does 13 divide w?
True
Let r(p) = 5*p**2 - 9*p - 19. Let g(q) be the first derivative of 2*q**3/3 - 2*q**2 - 9*q + 11. Let w(x) = -7*g(x) + 3*r(x). Is w(-7) a multiple of 16?
True
Let s(o) = -o**3 - 5*o**2 - 5*o - 13. Let z be s(-5). Let p(a) be the third derivative of 5*a**4/24 + 3*a**3/2 - 6*a**2. Is 10 a factor of p(z)?
False
Let z(i) = 31*i**2 + 7*i + 25. Suppose 2*n - 8 - 13 = 5*h, -5*h = -5*n + 30. Is 53 a factor of z(h)?
False
Is 21 a factor of ((-20)/6)/5*(-26 + -1297)?
True
Suppose 82*f - 93994 = 80*f - 2*m, 2*m - 140989 = -3*f. I