98783 + 108374 - 244291 = 0. Is 35 a factor of h?
True
Let b(k) = -9*k - 56. Let z be b(-6). Is 402 - (4/(-1))/z a multiple of 40?
True
Let v(h) = -h**3 + 38*h**2 + 361*h - 80. Is 217 a factor of v(-22)?
False
Suppose -4*y - 2*s = 40154, 2*s = -154*y + 157*y + 30112. Is 7 a factor of 5 - (y/28 + 2/(-4))?
True
Suppose -3583*x = -3563*x - 21600. Does 24 divide x?
True
Suppose 4*u - 1 = 7. Is 20 a factor of ((-1)/u + 0)*-10 + 262?
False
Let w(d) = 6*d**2 + 157*d + 2236. Is 117 a factor of w(-79)?
False
Suppose -16814 = -23*l + 12718. Does 12 divide l?
True
Suppose 0 = 3*j + 9, -n - 5*j - 7 = 3*n. Suppose 5*f + h = 157, -n = -3*f - 4*h + 82. Suppose 2*g = 18 + f. Is g a multiple of 5?
True
Is (-206708)/(-32) - (-234)/624 a multiple of 190?
True
Suppose -4*j = -2*i + 172 + 120, 0 = -2*i + 2*j + 302. Suppose 594 = 5*s + 89. Let q = i - s. Does 5 divide q?
True
Suppose 5*s = -871 - 1179. Let b = 697 + s. Does 41 divide b?
True
Let u(d) = -8239*d**3 + 6*d**2 - 2*d - 7. Does 80 divide u(-1)?
True
Suppose 0 = 5*r - 2*a - 1727, 1459 = 4*r + a + 80. Does 10 divide r?
False
Let c(m) = 20 - 3*m + 19*m - 59. Let p be 3*(-2)/18*-24. Is 21 a factor of c(p)?
False
Suppose -5*i + j + 11210 = 0, j - 11180 = -5*i - 4*j. Is 6 a factor of i?
False
Let z(f) = -12*f - 10. Let u = 35 - 30. Let c(n) = -25*n - 19. Let m(j) = u*z(j) - 2*c(j). Does 24 divide m(-6)?
True
Let w = -9 - -12. Suppose -w*r + 214 - 16 = 0. Suppose 0 = d - 4*x - r, -3*x = 3*d - 111 - 72. Is d a multiple of 31?
True
Let b be (1/(-2))/((-11)/(-1254)). Let y = 55 + b. Let m(g) = -20*g**3 + g**2 + 3*g + 3. Does 23 divide m(y)?
True
Let a(w) = w**2 - w - 1. Let f(n) = -7*n**3 - n**2 + 5*n + 16. Let y(x) = -3*a(x) + f(x). Does 25 divide y(-5)?
False
Suppose 12 = 2*x - 50. Let w = x + -15. Suppose 19*s - w*s - 168 = 0. Does 8 divide s?
True
Let t(x) be the first derivative of -x**5/30 + x**4/6 - x**3/3 + 10. Let j(k) be the third derivative of t(k). Is 3 a factor of j(-2)?
True
Let j = 83 - 38. Let n = 297 - j. Does 14 divide n?
True
Suppose 1023 = 34*w + 584 - 887. Is 13 a factor of w?
True
Let k = 10466 + -6754. Does 2 divide k?
True
Let r = 51 + -49. Suppose 2*p + 16 = r*u, 4*u + p = -p + 26. Suppose 0 = -u*d + 2*d + 440. Does 7 divide d?
False
Suppose -19*k + 4*w = -17*k - 1206, 0 = 2*k + 2*w - 1188. Let u = k + -333. Is 66 a factor of u?
True
Let m(l) = 122*l - 3. Let o(h) = 365*h - 3. Let p(v) = 365*v - 4. Let c(j) = 5*o(j) - 6*p(j). Let q(u) = 6*c(u) + 17*m(u). Does 20 divide q(-1)?
False
Let h be 15/10*(-4)/(-2). Suppose 14 + 1 = h*g. Suppose 493 = g*l - 7. Is 18 a factor of l?
False
Let n(m) = -13*m**2 + 9 + 2 - 1 + 12*m + m**3. Let a be n(12). Suppose -31 + 101 = a*f. Is 2 a factor of f?
False
Is (-199 + 2)*260*1/(-2) a multiple of 24?
False
Suppose -252*g = 2*w - 247*g - 12133, -4*w - 2*g + 24274 = 0. Is 4 a factor of w?
False
Suppose -474870 = -51*n - 59*n. Is 69 a factor of n?
False
Let c(z) = 407*z - 66. Let g be c(-44). Is 2/3 - g/129 a multiple of 35?
True
Let m(w) be the third derivative of -7/24*w**4 - 5/6*w**3 - 6*w**2 + 0 + 0*w. Is 16 a factor of m(-3)?
True
Let y(m) = m**3 + 15*m**2 - 9*m + 1218. Does 4 divide y(0)?
False
Suppose -3*y = -o + 1635, -3*o - y - 1637 = -4*o. Suppose -68*w - o = -81*w. Does 3 divide w?
True
Suppose o + 4*v = 3383 + 2190, -3*o = 3*v - 16701. Is 21 a factor of o?
True
Is 1/((-88)/(-9097)) + 15/(-40) a multiple of 103?
True
Let f(p) = -360*p - 229. Is f(-14) a multiple of 39?
False
Let w = -15879 + 33562. Is 25 a factor of w?
False
Let i(j) = j**3 + 37*j**2 - 63*j - 63. Let a be i(-38). Let y = a - 482. Does 9 divide y?
True
Suppose s = 5*s + 4*d - 532, s = -4*d + 148. Suppose 4*b = -20, 2*v - 2 - s = 2*b. Is 12 a factor of v?
True
Let j be 726/8 + (-1)/(4/3). Suppose 150 = -2*c + 4*v, -2*v - 511 = 4*c - 181. Let b = j + c. Is b a multiple of 9?
True
Suppose -v - v + 5*v = 0. Suppose v = -y + 5*y + 4, -4*y + 596 = 5*b. Is b a multiple of 12?
True
Is 32 a factor of (-1*256/12)/(11784/1476 - 8)?
True
Let w(f) = -f**2 + f. Let m be w(-2). Does 15 divide (-8)/m*(369 - 15)?
False
Let y(c) = 2*c**2 + 5*c - 25. Let x(v) = -5*v - 37. Let d be x(-9). Is y(d) a multiple of 15?
False
Let m(d) = -68*d + 4. Let s be -4*(-2)/44 + 402/(-33). Let n be m(s). Suppose 5*h - n = -2*o - 2*o, -5*h + 5*o + 865 = 0. Is h a multiple of 24?
True
Let i = 7073 + 5619. Is i a multiple of 10?
False
Suppose 6*s - 21 = -3. Is ((-24)/2)/(3/(-162)*s) a multiple of 9?
True
Let u(w) = -79*w - 490. Is u(-28) a multiple of 35?
False
Suppose 0 = 4*q - 3*q + 55. Let v = 60 + q. Suppose -7*s + 3*s = -v*k - 312, -s + 78 = -2*k. Does 26 divide s?
True
Let b(t) = -2*t + 17. Let h be b(6). Suppose -3*n = -2*j - 0*j + 41, n = h*j - 122. Let i = j - 14. Is 11 a factor of i?
True
Suppose -1860 = 3*s - 3450 - 3210. Does 160 divide s?
True
Let b = 27574 + -9096. Is 75 a factor of b?
False
Suppose -4*r + v + 48442 = 0, -3*r - v + 13218 + 23124 = 0. Is 38 a factor of r?
False
Suppose -66 + 66 = -16*p. Suppose p = -4*h + 3*f + 308, 2*h + 5 - 159 = -5*f. Is 4 a factor of h?
False
Suppose -23 = -4*f - 3*m + 4, 5 = m. Suppose 188 = f*c + c. Suppose 0 = -3*k + c + 97. Is 6 a factor of k?
True
Let v = -153 + 155. Suppose 3*w + 503 = v*i - 2*w, -4*w - 506 = -2*i. Does 34 divide i?
False
Let n = -136 + 136. Does 2 divide 8 - (-28)/(-4) - (n - 2)?
False
Let m be (-92)/(-24) + (-2)/(-12). Suppose -4*z + 1276 = -m*h, -4*z + 5*h + 1280 = 2*h. Does 37 divide z?
False
Does 144 divide (-27)/(-63) - (-129740)/28?
False
Let b be (-114869)/(-58)*1*2. Suppose 465 - b = -19*z. Does 16 divide 69/z - (-1149)/8?
True
Let d(p) = -47*p**3 + 6*p**2 - 5*p + 21. Is 91 a factor of d(-7)?
True
Suppose -133553 = 78*q - 269693 - 461184. Is q a multiple of 43?
False
Suppose 26*n = -10*n + 216. Let t(y) = -9*y + 1. Let x be t(-3). Let l = x + n. Is 6 a factor of l?
False
Let i be 5/(20/24918) + (-12)/8. Does 10 divide (2 - 48/22) + i/11?
False
Let r = 185 - -2110. Does 25 divide r?
False
Let j(h) = -h**2 - 15*h + 16. Let s be j(-17). Let w = s + 22. Let f(v) = 3*v**3 + 2*v**2 - 6*v + 4. Is 49 a factor of f(w)?
False
Suppose 22*p = 37*p + 90. Is 22 a factor of (p/(-6) + -452)/(-1)?
False
Let c(v) = 239*v**2 - 216*v + 9. Does 32 divide c(7)?
True
Let l = -4796 + 8456. Is 60 a factor of l?
True
Suppose -4*m = -3*t - 824, -m + 215 = -4*t + 9. Suppose -6*x + 5*a + m = -5*x, 2*x + a = 434. Is 36 a factor of x?
True
Let u = 34826 + -25196. Is 10 a factor of u?
True
Let i be 714/(-84)*(-3 + -1 - -2). Let h = 53 + i. Is h a multiple of 14?
True
Suppose -58*p = -26*p - 35*p + 246. Does 3 divide p?
False
Let c = -5176 - -9082. Does 18 divide c?
True
Let y(f) = 4*f**2 + 20*f - 19. Let m = 44 - 54. Is y(m) a multiple of 10?
False
Let u be (-2)/((-6)/9*3). Does 10 divide u - -5 - (6 + -310)?
True
Let h = -68 + 1596. Does 6 divide h?
False
Let h be (-42)/(-399) - (-1195)/19. Suppose -9268 = -h*w + 49*w. Is w a multiple of 9?
False
Let k be 5*3/((-45)/(-6)). Suppose 0 = -k*x + 8 - 0. Suppose -x*g = 3*h - 161, -36 + 173 = 3*g - h. Is g a multiple of 19?
False
Let l(t) be the third derivative of 0 + 0*t + 3*t**3 - 24*t**2 - 9/8*t**4 - 1/120*t**6 - 7/30*t**5. Is l(-13) a multiple of 25?
True
Let u be 16/6*(0 + 21/(-2)). Let q = u + 28. Suppose 3*f + 108 = 3*m - q*m, 3*m + 5*f = 68. Is m a multiple of 6?
False
Let o = -144 - -16. Let c = -128 - o. Is 36*((3 - 0) + c) a multiple of 18?
True
Suppose -23*j + 8032 = -7*j. Let q = j - 293. Does 19 divide q?
True
Let w be 54/99 - 24/44. Suppose 3*h - 10 + 16 = 0, w = 3*n - 2*h - 679. Is n a multiple of 25?
True
Is 44 a factor of 3245560/(-123)*15/(-25)?
False
Let x(c) = 171*c**2 + 5*c + 7. Let i be x(-2). Suppose -i = -14*p + 11*p. Suppose -5*m = -2*u + 140, 3*u - m = -2*m + p. Is u a multiple of 15?
True
Let q be (-4020)/7 + (-7)/(196/(-8)). Let f = q + 631. Does 12 divide f?
False
Is 16 a factor of (-80)/30*112*366/(-4)?
True
Suppose 0 = -8*s + 705 + 2439. Let d = s + -226. Suppose 10*o - 9*o = d. Is 10 a factor of o?
False
Let m(f) = 57*f**3 - 60*f**3 + 11*f + 1 - 3 - 6*f**2 + 6. Is m(-6) a multiple of 5?
True
Let b(q) = -27*q + 189. Let u be b(7). Let g be (-87)/(-12) + (-2)/8. Suppose 0 = g*x - u*x - 672. Is x a multiple of 32?
True
Let c be (-2096)/2*-3*2/6. Suppose -5*n + 1310 = -i, 0 = 4*n - 7*i + 9*i - c