of (-2)/s - 12*(-968)/84?
False
Suppose 57*k - 136 = 23*k. Suppose -k*u + g = -u - 973, -2*u = 5*g - 660. Is u a multiple of 5?
True
Suppose 228*r + 155*r = -87*r + 847880. Does 91 divide r?
False
Let c = 24233 - 16589. Is c a multiple of 12?
True
Suppose 16*n = 1233 + 1199. Let m = n - 107. Is m a multiple of 5?
True
Let p(y) be the third derivative of y**5/60 - y**4/12 - 17*y**3/6 - 152*y**2. Let f = -17 - -28. Is p(f) a multiple of 6?
False
Let x(h) = 8*h - 4 - 13 - 5 + 1. Let p be x(19). Let n = -101 + p. Does 5 divide n?
True
Suppose 5*z = 3*m + 180199, -70*m + 68*m + 180184 = 5*z. Is 79 a factor of z?
False
Let n(a) = -9 + 14 + 5*a - 3. Let l be n(0). Does 9 divide l/4 - (-700)/40?
True
Let d = -694 - -123. Let q = 654 + d. Is 8 a factor of q?
False
Let k(n) = -7*n**2 + 35*n - 9. Let m(t) = -3*t**2 + 17*t - 4. Let y(d) = -2*k(d) + 5*m(d). Let g be (33/22)/(1/6). Is 11 a factor of y(g)?
False
Suppose -k + 9 = -10. Let u = 1 + k. Suppose -4*p = u, 5*t + p + 4*p = 115. Does 7 divide t?
True
Let w(h) = -26*h**2 + 4*h + 5573 - 5561 + 20*h**2 + h**3. Suppose 0 = -p + 4*p - 15. Does 3 divide w(p)?
False
Is 62 a factor of 2 - (63300/(-15) + 6)?
True
Let c(g) = -26*g**3 + 3*g**2 + 66*g + 99. Is 19 a factor of c(-10)?
False
Let v(y) = 220*y**2 - 48*y + 19. Let b be v(13). Suppose -b = -8*f - 27*f. Is f a multiple of 11?
True
Let h be 80/(-35) + (-4)/(-14). Suppose -2*t = 17 - 7. Is 17 a factor of (t/3)/(h/24)?
False
Let i be 9/((-45)/35) + 215. Let p = 380 - i. Does 4 divide p?
True
Suppose -11*c = -2114 - 317. Suppose -v + c = 5*l + 11, -2*l = -v + 210. Is 6 a factor of v?
True
Let j be 21/15 - (-14)/(-10). Suppose -3*d + 2*w = -589, j = 2*d - 15*w + 14*w - 394. Is 2 a factor of d?
False
Let j = -44126 + 47897. Is j a multiple of 51?
False
Let q(c) = c**2 + 14*c + 52. Let u be q(-5). Suppose -2062 = -u*s - 571. Is s a multiple of 18?
False
Let j be (-1)/(-2 + 212/108). Let p = 37 - j. Is 5/(25/p) - -23 a multiple of 9?
False
Let j be (-1)/(-2)*18 + -2. Suppose j = -k + 9. Suppose -4*o = k*q - 8*o - 44, 5*q - 3*o = 117. Is q a multiple of 21?
False
Let r(q) be the second derivative of -27*q**5/20 + 11*q**2/2 + q. Does 74 divide r(-3)?
True
Let b be (184/(-14))/(-4) - 6/21. Suppose -c = -4*w + 2570, 5*c = -b*w + 4*c + 1931. Let o = w + -427. Is 27 a factor of o?
True
Suppose -4*w - 388*q = -383*q - 7993, 5*w = 3*q + 10056. Is w a multiple of 22?
False
Suppose -48333 + 2354 = -137*u + 35673. Does 8 divide u?
False
Let d = -289 + 311. Let q = d - -218. Is q a multiple of 16?
True
Let k(v) = -43*v + 25. Suppose 4*n + 10 = -2. Does 14 divide k(n)?
True
Suppose -15*g + 20*g = 25, w = -2*g + 26. Suppose 0 = 4*v + w, 985 = 3*l - v - 321. Is 31 a factor of l?
True
Suppose 73*a + 14*a - 350299 = 417998. Is a a multiple of 31?
False
Suppose -i + 2*x = -128 - 1592, x + 2 = 0. Is i a multiple of 52?
True
Suppose 5*i + 5 = -d - 0*d, -33 = -3*d + i. Let u(t) = -26*t**2 + d*t**2 - 20*t + 15*t**2. Is u(-16) a multiple of 13?
False
Let y be 561/(-5) - 12/(-60). Let n be (3/(-2))/(84/y). Suppose -2*m - m + n*v = -268, -90 = -m + v. Does 11 divide m?
True
Suppose -5*a = 4*z - 8415, 6*z - 2*a = 3910 + 8684. Is z a multiple of 7?
True
Let z(j) = 2*j**2 - j + 14. Let v(g) = 5*g**2 - 3*g + 42. Let x(d) = -4*v(d) + 11*z(d). Suppose 221*k = 225*k - 28. Is x(k) a multiple of 13?
True
Suppose -5*i + 33 = 7*g - 3*g, 0 = i + 4*g - 13. Suppose -9451 = -i*s - 4*w, 65*w - 62*w - 7560 = -4*s. Does 17 divide s?
True
Let c(d) = -798*d - 964. Is 25 a factor of c(-18)?
True
Let n(o) = -135*o + 471. Is 11 a factor of n(-8)?
True
Suppose 83 = -6*k + 401. Suppose k*f + 4104 = 59*f. Is f a multiple of 9?
True
Let o = 2 - 2. Suppose -70 = -4*y - 2*i, -3*y + 4*i - 23 + 70 = o. Suppose -y*q = -13*q - 116. Is q a multiple of 20?
False
Let h(g) = 13 + 3 + 10*g - g**2 + 1 - 2. Let s be h(11). Is 7 a factor of (-2 - (-428)/s)/(9/6)?
True
Let u = 140176 - 55452. Is 16 a factor of u?
False
Suppose 92999 = 83*c - 92826 - 67242. Does 28 divide c?
False
Let a be (-1 + -1)*-1 - -38. Suppose 5*l = 3*l + a. Is 2902/11 - l/(-110) a multiple of 24?
True
Let x(d) = -d**3 - 7*d**2 - 5*d + 9. Let n be x(-6). Suppose 0 = 2*v - n*v + 2. Suppose 6*u = s + 7*u - 84, -180 = -v*s + u. Is s a multiple of 9?
False
Suppose 41783 + 7933 = 18*o. Does 27 divide o?
False
Suppose -592*s = -594*s - i + 6303, -3*i + 3169 = s. Does 34 divide s?
False
Let c(h) = h**3 - 116*h**2 + 59*h + 183. Is 44 a factor of c(116)?
False
Suppose -3*j + 10 - 31 = -2*x, -5*j + 3*x - 36 = 0. Let r = j - -12. Suppose 2*c + 44 = r*m, 5*c + 28 + 37 = 5*m. Is m a multiple of 3?
True
Let q(c) = -c**2 + 12*c + 3. Let o be q(6). Let f(a) = 12*a + 42. Is 9 a factor of f(o)?
False
Let z(k) = k**2 + k + 1. Let y(x) = 4*x**3 - 7. Let i(s) = 7*s**3 + s**2 - 15. Let u(m) = -3*i(m) + 5*y(m). Let g(p) = u(p) - 3*z(p). Is g(-6) a multiple of 5?
True
Suppose 5*m - 10 = 5*t, 2*m - 35*t - 24 = -38*t. Is 18 a factor of 5*(m - (-239 - -4))?
False
Suppose -442215 = -68*o - 397*o. Is 3 a factor of o?
True
Let y = 1574 - 1564. Does 4 divide y?
False
Let p(d) = -10*d**3 + 9*d + 35224. Is p(0) a multiple of 14?
True
Is 8 a factor of (15/(-9))/((-14)/70*5/1992)?
True
Suppose 16 = 2*w + 2*v, -3*w = w + 5*v - 37. Let d be (-1)/w + (-1)/(-3). Suppose -t + 40 = -d*t. Does 8 divide t?
True
Suppose -19*y - 5675 = -24*y + 2*s, -5*s - 2291 = -2*y. Is 11 a factor of y?
True
Let r(i) = i + 74. Suppose -31*p = -17*p + 308. Is 20 a factor of r(p)?
False
Suppose -5*m + 10*m = 65. Let q(i) = i**3 - 12*i**2 + 10*i + 13. Is q(m) a multiple of 52?
True
Suppose 0 = -9*x + 45 - 0. Suppose u - 279 = -t, 4*t - 567 = -2*u + x*t. Is u a multiple of 7?
False
Suppose -389040 = 9420*z - 9428*z. Does 205 divide z?
False
Let r(y) = 34*y**3 - 3*y**2 - 8*y - 9. Does 16 divide r(6)?
False
Suppose 34*t - 286 - 462 = 0. Is t a multiple of 11?
True
Let d(j) = 7*j + 12. Let w be d(5). Suppose 0 = -2*q + 3*q - w. Suppose 0 = 4*y - 65 - q. Does 28 divide y?
True
Suppose q + 38005 = 9*w + 5*q, 5*w - 21109 = -q. Does 21 divide w?
True
Suppose 11*q = 651*q - 7952244 + 1862004. Does 84 divide q?
False
Let n be -2 + (7/21)/((-1)/12). Suppose 2*v - 90 = 22. Is v/n*(-57)/38 even?
True
Suppose -c = 6*w - 2316, 58*c - 60*c = -2*w + 772. Is w a multiple of 7?
False
Suppose 0 = -l - 35 + 698. Suppose 3*h - l = 3*t, -6*h - 4*t = -2*h - 892. Let n = -105 + h. Does 39 divide n?
True
Let d = -4726 + 52116. Is d a multiple of 35?
True
Let l(u) = u**3 + 12*u**2 + 32*u + 11. Let s be l(-5). Let h(o) = 3*o - 40. Is 3 a factor of h(s)?
False
Does 23 divide 5/15*(-36 - -25014)?
True
Suppose 334*b + 145*b - 29444474 = -138*b. Is b a multiple of 107?
True
Let j = 536 + -536. Suppose j = 28*a + 6036 - 19560. Is 21 a factor of a?
True
Let c = 1337 - 434. Suppose -5*u - f = -1493, -2*u = u + 3*f - c. Is u a multiple of 34?
False
Let v be 2/(-7) + 183150/105. Let i be (3/(-6))/((-8)/v). Let q = i - 76. Is q a multiple of 8?
False
Let v(i) = -3*i**3 - 13*i**2 - 18*i - 11. Let f(m) = -4*m**3 - 14*m**2 - 18*m - 12. Let y(n) = 2*f(n) - 3*v(n). Is y(-7) a multiple of 27?
False
Suppose 9*c - 312 = 6*c. Suppose -b - c - 56 = 0. Let s = b + 280. Does 14 divide s?
False
Let j(s) be the second derivative of 0 + 25/2*s**2 + 18*s - 1/6*s**3. Is j(-7) a multiple of 16?
True
Suppose -5*d + 10 = 5*q, -q - 13 = -2*d + 6. Suppose d*z - 2*z - 660 = 0. Does 22 divide z?
True
Let h = 14 + 23. Suppose -4*n + 135 = -h. Let u = n + 92. Is 15 a factor of u?
True
Suppose 56*q - 59*q + 89270 = 2*g, -3*q - 5*g + 89291 = 0. Is q a multiple of 15?
False
Suppose 38*k - 41*k + 837 = 4*n, 0 = -2*k - 4*n + 554. Let c = k - 231. Does 9 divide c?
False
Let c = 3442 - 3386. Does 8 divide c?
True
Suppose 2365*w + 630252 = 2393*w. Does 41 divide w?
True
Let k be (-2)/5 - 2804/(-10). Let v = -448 - -287. Let j = v + k. Is j a multiple of 30?
False
Suppose -4*m + 14222 = -0*m + z, -7114 = -2*m - 2*z. Does 45 divide m?
True
Let w(k) = 6*k**3 + 43*k**2 + 3*k - 5. Let u be w(-7). Suppose -u*v + 2629 = -1235. Is v a multiple of 56?
True
Let l(d) = 10*d + 7*d**2 - d**3 + 32 - 17*d**2 + 3*d**2 + d**2 + 17*d. Is l(-11) a multiple of 65?
False
Let l = -7478 - -8297. Is 9 a factor of l?
True
Suppose l - 4*r - 9 = 7, 82 = 3*l + 5*r. Suppose 0 = 3*g - l - 2841. Is g a multiple 