pose 3*s - 16 = 4*z, -3*z + 39 = 7*s - o*s. Is 6 a factor of s?
True
Let n be 48/3 + 0*(-3)/(-9). Suppose 24 = -2*o - 5*q, 3*q = -2*o - 0*q - n. Does 20 divide (1 + (-26)/(-6))*(13 - o)?
True
Suppose -4*y - 10438 = -21*y. Let a = y - 391. Does 20 divide a?
False
Let a = 2788 - 2776. Is 3 a factor of a?
True
Is (-806)/(-546) - 40/35 - 22522/(-6) a multiple of 6?
False
Let x(a) = -340*a + 169*a + 13 + 174*a. Is x(7) a multiple of 34?
True
Let b(c) = 7*c + 66. Let a be b(-5). Suppose -a*x - 5077 = -16206. Is x a multiple of 64?
False
Let o be 0/(-2) - 4/(-1). Let q(c) = -6 - c**2 + 21*c + o + 8. Is 19 a factor of q(7)?
False
Let n(b) = -3*b**3 + 7*b**2 - 9*b**2 - 9*b**2 - 3*b + 9 - 1. Does 18 divide n(-4)?
True
Let t = 44 + -48. Let s be 30/t - 18/12. Let h(x) = x + 18. Is 9 a factor of h(s)?
True
Let p(i) = -2*i**3 + 6*i**2 - 9*i + 17. Let l(r) = -6*r**3 + 19*r**2 - 28*r + 52. Let n(d) = 2*l(d) - 7*p(d). Is n(6) a multiple of 21?
True
Suppose -4*l = -3*a - 21, 4*l + 0*a = a + 15. Let i(r) = r**3 + 2*r**2 - 5*r + 4. Let p be i(l). Suppose 9*v - 7*v = p. Is v a multiple of 3?
False
Let p = -2307 - -3237. Suppose 12*t = -102 + p. Let k = 79 - t. Is k a multiple of 10?
True
Suppose 4*u + 2*h = 54, 0*u + 4*u - 51 = -3*h. Is 17 a factor of 4/(-20) + 3498/u?
False
Let c be 4/(-10) + 38608/95. Let w = -360 + c. Is w a multiple of 23?
True
Suppose 6*s - 42 = 54. Let p = s - -14. Let u = p - 5. Does 5 divide u?
True
Let y be 14679/33 - 10/(-55). Suppose 8*d - 7*d - y = 0. Does 50 divide d?
False
Is 5021 + 44 + (5 - 30) a multiple of 7?
True
Let c be (10/(-5) - 85)*20/(-12). Suppose -5*w + c = q, 4*q + 135 - 751 = -2*w. Does 3 divide q?
False
Let r be 4/(-36)*-3 + 2/(-6). Suppose -5*f + 3*v + 4311 = r, 3*f + 8*v - 2579 = 6*v. Is f a multiple of 45?
False
Let q = 12407 - 6548. Is 21 a factor of q?
True
Let w be (-250)/(-65) - (-4)/26. Let r be (-1128)/(-15) - w/20. Does 4 divide 8/(-2) + -3 + r?
True
Suppose -4*q + 9743 = 5*a, -10*q + 4*a = -13*q + 7306. Is 3 a factor of q?
True
Suppose -2*g - 2*s + 14 = 0, -5*g = -5*s + 7*s - 26. Suppose g*n - 1365 = -11*n. Is n a multiple of 2?
False
Suppose -4*q + 2999 + 4481 = 0. Suppose 4760 - q = 5*c. Suppose 862 = 10*f - c. Is 6 a factor of f?
True
Suppose -2*r = s - 37, 41 = 3*r - s - 7. Let o = -12 + r. Suppose -394 - 271 = -5*f - o*g, g - 264 = -2*f. Does 21 divide f?
False
Suppose 0 = 2*s + 3*b - 2310 + 815, 0 = -5*s + 5*b + 3725. Is 12 a factor of s?
False
Let r(x) = -4*x**3 + 11*x**2 - 2*x + 2. Let m(n) = n - 2*n**2 + 0*n**3 - 5*n - 7*n**3 + 23*n**2 + 4. Let y(i) = 3*m(i) - 5*r(i). Does 12 divide y(6)?
False
Let p(r) = -8*r - 34. Suppose -g - 2*a + 5*a = 7, -g = -4*a + 6. Let t = g - 4. Does 19 divide p(t)?
False
Let i be (10/(-2))/(-20) - 142/(-8). Let h = 240 - i. Is h a multiple of 37?
True
Suppose 1626 = 3*q - 894. Let z be q/16*(-3)/9*-4. Does 6 divide (30/25)/(1*4/z)?
False
Let v = -355 + 515. Suppose -18*j = -19*j + v. Is j a multiple of 7?
False
Does 29 divide 14 + (-59)/4 + (-934)/(-8)?
True
Suppose 247841 + 1562014 + 1856205 = 93*m. Is 270 a factor of m?
True
Suppose 0 = z - 5*b - 19 - 34, 5*b = 5*z - 365. Let f = 238 - z. Is 5 a factor of f?
True
Suppose 632*c - 613*c - 208233 + 37404 = 0. Does 20 divide c?
False
Let k(i) = 7200*i + 64. Let r be k(5). Is (3 + -2 - -4)*r/115 a multiple of 56?
True
Let t be ((-1)/((-5)/2))/(3/1515). Suppose -9*s - t = 14. Let p = s + 62. Does 19 divide p?
True
Let i(u) = -u**3 + 2*u**2 - 2*u + 3. Let w be i(2). Does 11 divide 7*((-2628)/(-48) + w/(-4))?
True
Suppose -v = -6*f + 5*f - 2338, -2*v - 4*f = -4682. Is v a multiple of 34?
False
Let i = 317 + 2633. Is i even?
True
Suppose -2*i - 13821 = -43045. Is i a multiple of 9?
False
Let o(s) = 3*s + 54. Let q be o(-17). Suppose -7*r + 9*r = -5*i + 2381, 2*r = q*i - 1435. Is 26 a factor of i?
False
Suppose -l + 5*q + 2 = 0, 3*l + 3*q = -0*q - 66. Let z be 9/(-6)*336/l. Suppose -2*i = 2*c + 2*c - 28, c = -4*i + z. Is i a multiple of 6?
True
Suppose -5*m = -9 - 6. Let l(b) = 18*b - 9 - m - 3*b + 30*b. Is 41 a factor of l(3)?
True
Let z(b) = b**3 + 16*b**2 - b - 13. Let o be z(-16). Suppose -5*d + 12 = -c, -3*c = -o*d - 6*c. Suppose r - 140 = -r + w, 140 = d*r - 5*w. Does 10 divide r?
True
Let u be ((-2)/8)/((-7)/616). Let b(n) = -n**2 + 23*n - 7. Is b(u) a multiple of 2?
False
Let a = 12133 - 9513. Does 5 divide a?
True
Let o(s) = -s**3 + 37*s**2 - 39*s + 14. Let v be o(36). Let y = v - -135. Does 2 divide y?
False
Suppose 1139 = 2*j - 0*j - 1821. Is 37 a factor of j?
True
Let p(u) = u - 1. Suppose 5*g + 6 = 7*g. Let i be p(g). Suppose -i*d = -d - 5*z - 16, 3*d - 128 = -5*z. Does 18 divide d?
True
Let y(f) be the second derivative of -f**5/20 - 13*f**4/12 + 4*f**3 + 23*f**2 - 2*f - 5. Is 17 a factor of y(-15)?
True
Let r(t) = 3613*t**2 - 156*t + 307. Is r(2) a multiple of 9?
False
Suppose -41*d - 2453 + 80271 = 0. Does 14 divide d?
False
Let o(p) = 13*p**2 - 3*p + 3. Suppose 0 = 7*q - 4 - 3. Let i be q/(-2)*(-16)/(-12)*-3. Does 7 divide o(i)?
True
Let o be 45/20 + (-1)/4. Suppose -3*x + 434 = -169. Suppose -x = -u - o*u. Is 18 a factor of u?
False
Let n(i) = -2*i - 2. Let r(j) = -2*j**2 - 31*j - 9. Let c(o) = 5*n(o) - r(o). Suppose 0*a - 16 = a. Is 25 a factor of c(a)?
True
Let q be 21/(-7) + 2 - -45. Suppose 16770 = q*r - 34*r. Is r a multiple of 119?
False
Let m(q) = 3*q**2 + 26*q + 303. Does 393 divide m(-147)?
True
Let f be (-12)/(-5) + (1 - 28/20). Suppose -4*g = 16, f*g = p - 0*g - 20. Is 11 a factor of p?
False
Suppose 3*b + 29 = j, -36 = -0*j - 2*j - 5*b. Suppose 8*w - 423 = -j. Let s = 96 - w. Is s a multiple of 4?
False
Let i(g) = g + 265. Let h be i(0). Suppose -f + h = d, -d = -f - 5*d + 262. Does 19 divide f?
True
Suppose 2*m - 67 = -313. Suppose 36*w = -60 + 8268. Let d = m + w. Is 35 a factor of d?
True
Let i(p) be the third derivative of 7*p**6/120 - p**5/20 + p**4/24 - 5*p**3/6 + 651*p**2. Let n = -2 - -5. Is 20 a factor of i(n)?
True
Suppose 4*s = -x - 21, 4*x + 2*s + 84 = -2*s. Let d(m) be the third derivative of -11*m**4/24 - 19*m**3/2 + 55*m**2. Is 29 a factor of d(x)?
True
Let k(a) = 4*a**3 + 150*a**2 + 24*a + 85. Is 45 a factor of k(-37)?
True
Let r(c) = c**3 - 9*c**2 + 3*c + 17. Let a be r(6). Let s = a + 73. Suppose s = 5*o + 5*o - 200. Does 10 divide o?
True
Let v = 13099 + -3469. Does 107 divide v?
True
Let c = -21533 - -26345. Is 98 a factor of c?
False
Let y = -91 + 95. Let j(d) = 70*d - 67. Does 23 divide j(y)?
False
Let a = -12605 - -20057. Is a a multiple of 12?
True
Let l(y) be the second derivative of -13*y**3/2 - 11*y**2/2 + 14*y. Let i be l(9). Let j = i + 573. Is j a multiple of 42?
False
Suppose -77*i + 2042460 = 175*i. Is 5 a factor of i?
True
Let k(g) = 3*g - 36. Let f be k(13). Suppose 197 = 5*u - h, -f*u = 2*h + h - 129. Is u a multiple of 10?
True
Let w = 16061 - 11968. Is 46 a factor of w?
False
Suppose c = -3*r - 8025 + 58060, 0 = -r - 4*c + 16660. Is r a multiple of 132?
False
Suppose 11*b + 52 = 12*b. Let q = 82 - b. Does 20 divide 478/6 + q/90?
True
Suppose 5*t = -2*p - 51, -4*p + t - 113 = -0*t. Let a be p + 2/((-10)/15). Let u = a + 118. Is u a multiple of 9?
False
Is ((-3)/(-6))/((0 + 8)/25152) a multiple of 12?
True
Let i be (-1 - 35)/(((-84)/(-45))/(-14)). Suppose 5*o = 5*u + i, -u - 89 = -2*o + 18. Is 10 a factor of o?
False
Let c(g) = 1732*g - 870. Does 18 divide c(6)?
True
Suppose -139 - 71 = -5*k. Suppose k*t - 2120 = 34*t. Is t a multiple of 13?
False
Suppose y = 47 + 205. Let q = y - 368. Let c = 206 + q. Does 30 divide c?
True
Let y(t) = -9*t + 18. Let w(a) = 8*a - 17. Let j(q) = -4*w(q) - 3*y(q). Let z be j(6). Is 5 a factor of (-222)/(-4) - 8/z?
False
Suppose -11310 = -393*k + 391*k - 5*p, -3*k = -3*p - 17028. Is 63 a factor of k?
True
Let n(u) = -70*u**2 - 910*u - 16. Is n(-5) a multiple of 8?
True
Suppose -5*w + 14*w - 36 = 0. Let h(i) = 6*i**2 - 11*i + 5. Does 13 divide h(w)?
False
Let q(u) be the third derivative of 4*u**6/15 + 7*u**5/60 - 7*u**4/12 - 2*u**3/3 - 5*u**2 - 6*u. Does 18 divide q(2)?
True
Let u(c) = -5*c**2 - 2*c + 46. Let r be u(4). Is (-17822)/r + -5 + (-2)/6 a multiple of 19?
False
Let y(o) = -169*o - 314. Let a(b) = -33*b - 12. Let d be a(0). Is 96 a factor of y(d)?
False
Let f(i) = -i**2 - 8*i + 7. Let n be f(-8). Let t be ((-84)/20 + 5