 = 3*k, -4*k + 7 = 2*y + 1. Does 8 divide u(y)?
False
Suppose 0 = 5*o + 15, -o + 23167 = 5*v + 1440. Is v a multiple of 13?
False
Let d(f) = -3*f + 26. Let o be d(8). Let q(c) = 255*c - 52. Does 24 divide q(o)?
False
Suppose -3*p + 8*p = 20, 0 = n + p - 130. Suppose 2*d - n = -7*d. Is 3 a factor of d?
False
Let b = -4643 - -28063. Does 10 divide b?
True
Suppose -d = -2*g + 185502, 0 = -4*g - 3*d - 107067 + 478101. Is g a multiple of 122?
False
Let z be 2*3/(-12)*6. Let l(d) = -8*d. Let h(k) = -3*k. Let c(x) = 8*h(x) - 2*l(x). Is c(z) a multiple of 4?
True
Suppose 0 = -r - 3*r. Suppose 5*h + r - 10 = 0. Is 108 + (6 - 3 - 3) + h a multiple of 22?
True
Let h(z) be the third derivative of 13*z**6/720 - 13*z**4/24 - 27*z**2. Let i(c) be the second derivative of h(c). Does 13 divide i(9)?
True
Let u(i) = -2*i + 56. Let s be u(0). Suppose -4*q + s = 4*z, -4*q + 0*z + 60 = 5*z. Let j = q - -5. Does 2 divide j?
False
Let o = 80 - 98. Let k(q) = -q**2 - 46*q - 279. Does 38 divide k(o)?
False
Let b(u) = 5*u + 77. Let d be b(-12). Suppose 792 = -d*a + 29*a. Is 6 a factor of a?
True
Let m(k) = 943*k**2 + 11*k + 11. Let l be m(-2). Suppose -10*o = 1441 - l. Is o a multiple of 5?
False
Does 34 divide 1054/6*-32*315/(-140)?
True
Let l(p) be the second derivative of p**5/20 + 3*p**4/2 - 19*p**3/6 + 13*p**2/2 - 6*p. Let i be l(-18). Let k = i + -170. Is k a multiple of 13?
False
Suppose -5 = -w, -7*w + 10*w = 5*k + 25. Is 12 a factor of 90/(-60) + (-417)/k?
False
Let v(q) = 2 + 182*q**2 - 5*q - 201*q**2 + 459*q**2 - 7. Does 4 divide v(-1)?
True
Suppose 126*p = -12086 + 75842. Does 23 divide p?
True
Let i = -177 - -7807. Is i a multiple of 10?
True
Suppose 4*z - 7 = o, z = -4*o + 24 + 16. Let d be o/6*((-48)/(-9) - 2). Suppose -d*y - y = -1020. Is y a multiple of 34?
True
Suppose 12*i + 141283 + 626597 = 120*i. Does 32 divide i?
False
Suppose -3*d + 39 = 6. Suppose -456 = -d*v + 424. Is 6 a factor of 81/4 + 5/v*-4?
False
Let a = -216 + 2064. Suppose -17*i + 6*i = -a. Is i a multiple of 14?
True
Let k(t) = t**3 + 13*t**2 - 14*t. Suppose -6*a + 2*a = 56. Let s be k(a). Is 18 a factor of s - (-288)/(2 - -2)?
True
Suppose 5*y + 7*c - 10*c - 237 = 0, -238 = -5*y + 2*c. Suppose 0 = -y*t + 53*t - 2550. Is 51 a factor of t?
True
Suppose -2*k = -7*w + 28081 - 75517, -5*w = -2*k + 47448. Does 21 divide k?
False
Let q = -105 + -48. Let v = q + 283. Suppose 0*d + a = d - 59, a - v = -2*d. Is d a multiple of 10?
False
Let p = 2461 + -2468. Let n = 3 + -10. Is 8 a factor of (-328)/p - ((-27)/n - 4)?
False
Let f = -9020 + 16416. Is 172 a factor of f?
True
Suppose -3*i + 4416 = 3*i. Let j = i + -296. Suppose -3*z - z = -j. Does 15 divide z?
False
Let z = -1791 + 4727. Is z a multiple of 3?
False
Suppose 8*w + 2*c - 25316 = 0, 3*w - 4961 - 4513 = -4*c. Does 50 divide w?
False
Let m(c) = 28*c - 19. Suppose 4*w = 251 - 683. Let b = 116 + w. Is m(b) a multiple of 33?
False
Suppose 2*y = 4*y + 36. Let q be 36/y - 373*-1. Suppose -3*b + 84 = g, -b = 4*g + 4*b - q. Is g a multiple of 21?
False
Let m(w) = 9*w**2 + 6*w + 109. Is m(-22) a multiple of 86?
False
Suppose -35*q - 59692 = -38*q + 4*t, -2*q - 2*t = -39762. Is 6 a factor of q?
False
Let k(n) be the second derivative of n**6/360 - 2*n**5/15 - 3*n**4/2 - 43*n**3/6 - 5*n. Let x(a) be the second derivative of k(a). Is x(-10) a multiple of 28?
True
Let k(m) = -12*m**2 - 6*m - 11. Let x(h) = 25*h**2 + 11*h + 23. Let w(f) = -13*k(f) - 6*x(f). Does 5 divide w(-5)?
True
Does 90 divide (7318/12 + (-483)/207)/(15/260)?
True
Let o be 7/((-84)/472)*-9. Suppose -5*u + 2*z + o = 0, 3*z + 285 = 4*u + 2*z. Suppose 5*c + 2 = -5*b + u, -3*c = -3*b + 18. Does 3 divide b?
False
Let l = -115 + 119. Let r(t) = -t**3 + 6*t**2 - 3*t + 18. Let o be r(6). Suppose o = l*w - 539 + 127. Is 10 a factor of w?
False
Let a(f) = 3*f - 19. Let j be a(9). Suppose -2*q + d - j = -478, 2*q = -3*d + 486. Let c = q - 87. Does 25 divide c?
True
Let h(o) = 1089*o**2 - 51*o + 10. Is h(-6) a multiple of 52?
True
Suppose -111*c = -110*c - 3089. Is c a multiple of 38?
False
Suppose -5*b + 14 = 4. Suppose -b*i - 6*i = -648. Is 81 a factor of i?
True
Suppose -4*l + 11*c = 8*c - 4733, -3*c = -5*l + 5920. Does 2 divide l?
False
Let c(w) = w**3 + 33*w**2 - 120*w - 693. Is c(-27) a multiple of 102?
False
Suppose 13*w + 359 - 6599 = 0. Suppose 54*m - 56*m = -w. Is m a multiple of 10?
True
Let q(j) = 49*j - 8. Suppose -4*v - 2*w + 266 = 0, 0 = 2*v - 0*w + 3*w - 131. Let k = v - 65. Is 10 a factor of q(k)?
True
Let i(j) = 2*j**2 + 4*j. Let x be i(-3). Suppose x*a = 2*a + 240. Does 12 divide (-4)/(2 - 125/a)?
True
Suppose -12*y - 90*y = -11232 - 241626. Is y a multiple of 15?
False
Suppose -t - 1939 = 5*g - 11959, 5*t + 4*g - 50184 = 0. Is 27 a factor of t?
False
Suppose 3*v - 4*k - 126548 = 0, v + 5982 - 48167 = k. Is 48 a factor of v?
True
Suppose 10 = 2*u, -4*u = -4*s + 2*s - 10. Let y be 1316/(-16)*s + 4/16. Is (-14)/(y/81 + 5) a multiple of 63?
True
Let f = 19 + 40. Let v = f + 82. Is 7 a factor of v?
False
Let x(p) = 17*p**3 + p**2 - 53*p + 151. Is 10 a factor of x(3)?
True
Let d = -11364 + 22660. Is 22 a factor of d?
False
Suppose -23*l + 841152 = 486*l - 9640176. Is 52 a factor of l?
True
Suppose 274 = -5*j - 81. Let s = 126 + j. Suppose 0 = -l - 4, -4*l - s = -3*y - 3*l. Does 6 divide y?
False
Suppose -5*s = -4*p + 15724 + 5045, 2*p - 10389 = s. Is p a multiple of 12?
True
Suppose -9*c + 2*i - 650 = -11*c, 0 = 3*i - 15. Let x = 7 - 3. Suppose -x*w = w - c. Is 16 a factor of w?
True
Let v(n) = -55*n**3 + 3*n**2 + 9*n + 18. Is 2 a factor of v(-3)?
False
Suppose 35*y + 3928968 - 1009512 = 159*y. Is 54 a factor of y?
True
Suppose -224 = 7*o - 3*o. Let i = 133 + o. Let t = -46 + i. Is t a multiple of 18?
False
Suppose 5*v = 2*f + 137158, 0 = -9*v + 14*v - 4*f - 137146. Does 22 divide v?
True
Let s(m) = 7 - 2 + 80*m**2 + 17*m**3 - 155*m**2 + 70*m**2. Does 42 divide s(2)?
False
Suppose 198*l + 1602591 = 7648851 - 178134. Is l a multiple of 51?
False
Let m(n) = -n**3 - 6*n**2 - 7*n + 2. Let z(j) = -j**2 + 3*j + 1. Let k be z(2). Suppose 13 = -k*x - 2. Is 6 a factor of m(x)?
True
Let t(x) = 137*x + 135*x - 268*x - 12. Let c(j) = j - 1. Let n be c(9). Does 12 divide t(n)?
False
Let n = -232 - -749. Let v = 364 - n. Let q = -91 - v. Does 31 divide q?
True
Let c(q) = 6*q**2 - 2*q. Let v be c(3). Let z be ((-1024)/16)/16 - -4. Suppose 0 = 4*f - 2*u - 24 - v, z = -f + 3*u + 8. Is f a multiple of 10?
True
Suppose -5*h = 2*v - 31, v - 16 + 3 = -2*h. Let w(r) be the first derivative of 25*r**2/2 - 8*r - 1. Is 11 a factor of w(v)?
False
Let m(a) = 6*a**2 - 9*a - 12. Suppose 3 = 6*p + 21. Does 8 divide m(p)?
False
Let f(s) = 588*s + 5862. Is 181 a factor of f(9)?
False
Let u = -1120 - -579. Let c = u + 1630. Is c a multiple of 9?
True
Let n(c) = -c**3 + 3*c**2 + c - 8. Let r be n(2). Does 20 divide ((-69)/r)/(-4 + (-147)/(-36))?
False
Suppose -353*j + 404*j - 618273 = 0. Is 60 a factor of j?
False
Let k = -538 - -1944. Is 74 a factor of k?
True
Suppose 0 = -0*p + 19*p - 76. Let v(t) = -t**2 + 8*t + 5. Let l be v(8). Suppose -187 = -3*n - p*b, l*n - 2*b - 335 = 3*b. Does 13 divide n?
True
Let c = 157 + -188. Let a = 113 - c. Is 18 a factor of a?
True
Let q = -8948 - -14068. Is q a multiple of 85?
False
Let c = -31 + 480. Is c a multiple of 5?
False
Let q(f) be the first derivative of 183*f**2/2 + 8*f + 13. Is 17 a factor of q(2)?
True
Let p be 38/133 + 2*(-8608)/(-14). Is 16/(-3)*p/(-20) - 6 a multiple of 23?
True
Let i = -13647 - -17252. Is 3 a factor of i?
False
Let i(o) be the first derivative of o**4/4 - 11*o**3/3 - 3*o**2 - 6*o - 18. Let q(g) = g**3 + 4*g**2 - 9*g - 8. Let m be q(-5). Is i(m) a multiple of 11?
True
Let o = -5002 + 7168. Suppose 4*m + 2*f = o, -6*f + 5*f + 3 = 0. Is m a multiple of 10?
True
Let q(g) = -5*g**3 - 5*g**2 - 7*g - 25. Let v be q(-5). Let d = 761 - v. Does 34 divide d?
False
Let n(a) = 2*a**3 - 7*a**2 - 7*a - 6. Let j be n(6). Let u = -128 + j. Suppose -2*d = -i + 65 - 487, 4*d = u*i + 848. Does 30 divide d?
True
Let y be (-2293)/4 - 5/(-20). Let u = y + 872. Is u a multiple of 13?
True
Suppose 6*a + 9930 = -2148. Let y = -1193 - a. Suppose u - 3*t - 419 = -134, -2*t - y = -3*u. Is 18 a factor of u?
True
Let y = 5763 - 904. Is 8 a factor of y?
False
Let p(v)