(j) = -j**2 - j + 2. Suppose 0*k = 2*k + 2*g - 10, 0 = 3*k - 2*g + 5. Let w be x(k). Suppose 0 = 5*f + 2*t + t - 71, f - 3*t - 25 = w. Does 16 divide f?
True
Let o(h) = -2*h + 121 - 120 + h. Let p(t) = t**3 + 7*t**2 + 16*t - 12. Let r(m) = -6*o(m) - p(m). Is r(-5) a multiple of 3?
True
Suppose -r + 2 = -0, -5*s + r = -8. Let z(q) = -15 - 5*q - s + 2 - 1. Is z(-6) a multiple of 7?
True
Suppose -3*v + 42312 = -5*a, -9819 = -2*v - 3*a + 18389. Is 5 a factor of v?
False
Let i(s) = 5*s**3 - 3*s**2 + 19*s - 1. Let d be i(-6). Let b = -816 - d. Is 18 a factor of b?
False
Let s = -42761 + 73127. Is s a multiple of 9?
True
Let s = -50 + 56. Let i be ((-20)/6 - -2)*s + 4. Let c(j) = -j**3 - 7*j - 2. Is 6 a factor of c(i)?
True
Let h = 325 + -331. Let k(r) be the third derivative of r**6/120 + 7*r**5/60 - r**4/4 + 5*r**3/3 - r**2. Is 13 a factor of k(h)?
False
Let t = 25 - 20. Suppose t*x = x + 8. Suppose 195 = 3*b - 5*i, -x*b = -5*i - 0*i - 135. Is 12 a factor of b?
True
Suppose -3*x = 3*c - 11 - 16, -3*x - c + 17 = 0. Suppose x*w = -5*a + 1, -2*w - 5*a + 2*a - 1 = 0. Let n(j) = 10*j - 31. Is 9 a factor of n(w)?
True
Let h(f) = 4*f + 39. Let j be h(-9). Let n(r) = 25*r + 9. Is n(j) a multiple of 42?
True
Let h = 29 + -16. Let b(s) = s**2 + 9*s + 21. Let r be b(-3). Suppose -r*q + h = -2*n, -4*q + 4*n + 14 = -2. Is q a multiple of 2?
False
Suppose 3*s = -3*z + 4*s + 2345, 5*s = -4*z + 3133. Is 23 a factor of z?
True
Suppose -a = -15*q + 10*q + 2260, -473 = -q - 4*a. Let i = q + -225. Is i a multiple of 12?
True
Suppose 3*s + 90 + 69 = 0. Suppose t = 2*k - 137, 7*k = 3*t + 4*k + 411. Let i = s - t. Is i a multiple of 14?
True
Let j(v) = -25*v + 127. Let o(g) = 26*g - 106. Let c(k) = -5*j(k) - 6*o(k). Let y be ((-2)/(-4))/((-1)/2). Is 20 a factor of c(y)?
False
Let b(n) = -47*n - 236. Let c be b(-5). Is (-2)/c*(-7)/(-2) a multiple of 2?
False
Suppose -4*h - 59 = 33. Let t = h - -23. Suppose 3*n - 2*c = 23, 17 = 2*n - c - t*c. Is 11 a factor of n?
True
Let w be (-2)/(32/(-204))*44. Let h be 4/14 - w/77. Let n(o) = 4*o**2 + 4*o + 4. Does 38 divide n(h)?
False
Let p(u) = 2*u**2 - 13*u. Suppose 4*t = -w + 20, -5*t = 3*w - 31 + 6. Let k = w + 9. Is 9 a factor of p(k)?
True
Suppose -u - 12 = -4*u. Suppose 2*b - 68 = -2*o, u*o - 31 = -3*b + 109. Is 6 a factor of o?
False
Suppose -6*u + 4668 = -3360. Is u a multiple of 6?
True
Let l(g) = -15*g - 39. Let a(p) = 8*p + 20. Let v(s) = 10*a(s) + 6*l(s). Let j be v(-7). Suppose 3*b - 3*w - 98 = -2*w, 0 = b - 2*w - j. Is 5 a factor of b?
False
Suppose -20*w = -27*w + 14. Suppose 4*o + 12 = 0, -435 = -c - 0*c - w*o. Suppose -8*n + n + c = 0. Does 21 divide n?
True
Suppose 24024 = 9*o + 2*o. Is o/70*(-60)/(-8) a multiple of 9?
True
Let d(o) = 7*o + 7. Let i be d(-2). Let l be (0 - -2)*i/(-2). Does 3 divide 21/49 - (-144)/l?
True
Let l be 4/12 - 15/(-9). Suppose 11 = -l*q + 1. Is 47 - ((-25)/q + -4) a multiple of 27?
False
Let o(l) = -l + 22. Let r be o(19). Suppose -4*z + 5*y + 435 = 0, y = 4*y + 9. Suppose -r*i = 5*h - 221, -3*i + z = -4*h - 107. Does 18 divide i?
True
Let j(i) = -14*i - 36. Let r(c) = -c**2 + 7*c - 5. Let w be r(5). Let x(o) = -o - 1. Let h(p) = w*x(p) - j(p). Does 14 divide h(9)?
True
Let x = 348 + -341. Suppose -300 = -x*t - 3*t. Does 10 divide t?
True
Let j = 11 + 281. Let x = -54 + j. Is 14 a factor of x?
True
Suppose -3*r = 5*z - 61144, z - 36720 = -2*z + 3*r. Is z a multiple of 8?
False
Suppose 0*z + 10 = -2*z. Let t(i) = -3*i - 11. Let a be t(z). Suppose a*b - 4*q = 252, -2*b + 316 = 3*b - 4*q. Does 12 divide b?
False
Let c(g) = -449*g + 519. Does 51 divide c(-6)?
True
Let z(o) = 2*o**3 - 9*o**2 - 42*o - 17. Does 4 divide z(13)?
False
Let u(q) be the second derivative of -4*q**3/3 - 5*q**2 - 22*q. Let x be u(3). Let k = x + 124. Is k a multiple of 15?
True
Suppose -4*c = 5*n + 367 + 32, -5*c - 486 = 2*n. Let k = -2 - -3. Does 12 divide (c/20)/(k/(-15))?
True
Is 5 a factor of (4 + -5)*-9 + 14795 + 0 + 1?
True
Let g = -62320 + 93164. Is 11 a factor of g?
True
Suppose -4*x + 30 = -3*x. Let m be (7*-2)/(x/(-5) - -4). Suppose -m*r + 6*r = -24. Is r a multiple of 8?
True
Let l(r) = 18*r - 92. Let n be 11 + -3 + -1 + (-1 - 0). Is 4 a factor of l(n)?
True
Let p(q) be the first derivative of -q**3/3 - 10*q**2 + 16*q + 160. Does 4 divide p(-17)?
False
Let h(s) = -s**3 - 22*s**2 - 33*s - 88. Suppose 4*y - 63 = 3*a, -5*a - 105 = -15*y + 12*y. Does 61 divide h(a)?
False
Suppose f + 17718 = 4*g, -2*g + 13*f = 18*f - 8826. Is 8 a factor of g?
False
Let k(u) = u**3 + 9*u**2 - 13*u - 24. Let j be k(-10). Let c be -3 - (2 - 3)*j. Suppose 11 = -4*g + r + 52, 24 = g - c*r. Is g a multiple of 2?
False
Let x = -279 + 360. Suppose 0 = 4*y - 4*r - 784, -5*r = -y + 95 + x. Is y a multiple of 3?
True
Let d(q) = -24*q + 9. Let c be d(8). Suppose -m + 149 = -3*v, -46*m + 45*m = 5*v + 235. Let n = v - c. Is n a multiple of 15?
True
Suppose 4*k + 29 = -b, -b - k - k - 19 = 0. Let d(n) = -3*n + 62. Is 2 a factor of d(b)?
False
Suppose 589 = 4*y + s - 4*s, 0 = -4*s + 20. Let g = y - 7. Does 18 divide g?
True
Suppose 156*i - 7018136 = -2325656. Is 94 a factor of i?
True
Let p(q) = 3*q**3 - 2 - q**2 - 4*q**2 - 2. Let v be (88/(-33))/(((-1)/(-9))/(7/(-42))). Is p(v) a multiple of 21?
False
Suppose -4924 = -2*w + 1476. Is 50 a factor of w?
True
Is 15588/10 + 1 + (2457/135 - 18) a multiple of 12?
True
Let z(n) = n**3 + 7*n**2 - 5*n - 22. Let u(g) = -6*g**3 - 34*g**2 + 25*g + 109. Let k(x) = -2*u(x) - 11*z(x). Does 13 divide k(9)?
False
Let f be 3*((-624)/351)/((-4)/186). Let u = -231 + f. Is u a multiple of 13?
False
Let k = -4094 - -7969. Is k a multiple of 132?
False
Suppose 46*q - 266441 - 106159 = 0. Is q a multiple of 18?
True
Let r(d) = -d**3 - 4*d**2 - 23*d - 24. Let w be r(-12). Suppose -17*l + w = -4*l. Does 18 divide l?
True
Let x(f) = -f**2 - 5*f + 3. Suppose 6 + 10 = 8*t. Suppose -5*i = -t*i + 12. Does 3 divide x(i)?
False
Let m(x) = x**3 + 18*x**2 - 13*x - 27. Let a be m(-15). Is 14 a factor of a/4 - (-7)/28?
False
Suppose 0*k - 396 = -18*k. Let o = 140 - 63. Suppose o = k*j - 15*j. Is 2 a factor of j?
False
Suppose 33*t - 35*t = 4*s - 18578, 0 = -5*s - 5*t + 23240. Does 11 divide s?
False
Let x(a) = -9*a - 14 + 44 + 21. Let v be x(13). Let i = 157 + v. Is i a multiple of 30?
False
Let p = 398 - 1553. Is (1/(5/32))/((-42)/p) a multiple of 22?
True
Suppose -5*r - 3*b + 80159 = 0, 34*r - 38*r + 64130 = 2*b. Is 18 a factor of r?
False
Let t = 331 + -328. Suppose 4*l - t*f - 2267 = 0, 3*f - 2792 - 8 = -5*l. Does 17 divide l?
False
Let q(d) = d**3 + 3*d**2 - 28*d + 41. Let t be q(10). Suppose 0 = -2*u - 5*g + t, 3*g + g = 2*u - 1106. Is u a multiple of 16?
False
Let d(k) = 23*k - 10. Let s(m) = 48*m - 20. Let n(c) = -5*d(c) + 3*s(c). Suppose -7*x = -2*x + 3*h - 16, -3*x = h - 12. Does 7 divide n(x)?
False
Let p(z) = -14*z**3 - 41*z**2 + 38*z + 25. Does 170 divide p(-12)?
False
Suppose 74937 = 41*l + 2367. Does 7 divide l?
False
Let r = 115154 + -80775. Does 31 divide r?
True
Suppose 8*m + 32 + 128 = 0. Let f = m - -23. Does 7 divide (2 - 6) + f - -15?
True
Let j(x) = 5*x + 90. Suppose 12*a = 10*a + 26. Does 9 divide j(a)?
False
Let a be 11/(8/(64/(-8))). Does 70 divide (3 - (-1 + a)/(-3))*-420?
True
Suppose -4*n - o + 57 = -6*o, -n = -2*o - 18. Suppose n*g = 11*g - 183. Does 2 divide g?
False
Let k(n) = -4549*n**3 - n**2 + 18*n + 19. Is 19 a factor of k(-1)?
False
Let d = 26418 + -13768. Is d a multiple of 8?
False
Let x(q) = 203*q + 30. Let u be x(2). Is 2 + u + 6/6 a multiple of 39?
False
Let y be (-1)/(1/(-4)*4/(-129)). Let q = 78 + y. Let l = 85 + q. Is l a multiple of 4?
False
Let g = 39629 - 17351. Does 10 divide g?
False
Suppose -5*f = -4763 - 11062. Suppose -23*i + 15718 + f = 0. Does 22 divide i?
False
Let j be 2 + 0 + (-8)/(-2) + 307. Suppose j = 3*m - 2*p, -8*m + 7*m + p + 106 = 0. Does 101 divide m?
True
Suppose 12*g + 63806 - 178526 = 68736. Is g a multiple of 24?
True
Let k = 2540 - -5356. Does 12 divide k?
True
Does 108 divide 3/1 + 384/(-96) + (0 - -11184)?
False
Let h(a) = 3*a + 94. Let y = -98 + 120. Is 19 a factor of h(y)?
False
Suppose 0 = 12*l - 4*l. Suppose z + z - 4 = l. Is 7 a factor of (-2 + 0 - z)*-7?
True
Let m(f) = -20*f - 6. Let n be m(-1). Suppose -118 - 12062 = -n*q. Does 29 divide q?
True
