uppose -17*h = 4*h + 126. Is (59/4)/((-1720)/288 - h) a multiple of 9?
True
Let s(v) = -v**3 + 19*v**2 + 2. Let d be s(19). Suppose -d*o + 5 = 7, -2*o - 1122 = -5*l. Is 12 a factor of l?
False
Suppose 7*k + 2*t = 257089, 0 = -3*k + 5*t + 71980 + 38160. Is k a multiple of 25?
True
Let o(i) = 19*i**2 + 100*i - 104*i - i**2 - 7. Let j(n) = n**3 + 3*n**2 - 1. Let g be j(-2). Is 16 a factor of o(g)?
False
Let i = -1071 + 2704. Is i a multiple of 23?
True
Suppose -4*b + 4*k = -2084 - 608, -4*b - 2*k = -2704. Let h = b + -340. Is h a multiple of 28?
False
Let s be (8/4)/((-6)/3). Let f(j) = 82*j**2 + 2*j + 1. Let x be f(s). Suppose 137 = 3*t + 2*q - 131, t - q - x = 0. Does 25 divide t?
False
Let z(p) = 4*p - 10. Let b = 103 - 100. Let n be z(b). Suppose 2*x + 275 = 3*o, 3*x + n*x + 5 = 0. Does 12 divide o?
False
Suppose 6800 = 4*r - 4*k, 3*r + 2*k - 8101 = -3036. Is r a multiple of 9?
False
Does 6 divide (55/(-825)*-12)/(((-4)/73290)/(-2))?
True
Suppose -2*s - 14 = -54. Let o be s - (5/(-15))/((-1)/12). Suppose -5*d + 49 = -o. Is d a multiple of 2?
False
Let f(i) = 331 + 51*i - 663 + 408. Is f(0) a multiple of 17?
False
Is 101 a factor of (2924900/(-32))/(-5) + (-27)/(-72)?
True
Let w = -5 + 9. Let h(f) = -8*f**2 + 17*f + 10. Let t(r) = -r**2 + r + 1. Let m(u) = h(u) - 6*t(u). Does 14 divide m(w)?
False
Let q = 23384 - 14092. Is 116 a factor of q?
False
Let b = -75 + 46. Let y = 36 + b. Let l(m) = -m**3 + 7*m**2 - 4*m + 36. Is 4 a factor of l(y)?
True
Let a = 2272 + -2096. Is 6 a factor of a?
False
Let i be (-4)/(-12) + -2*2/12. Suppose -c + 14 + 6 = i. Is 20 a factor of c?
True
Let j(n) = -14*n**3 - 25*n**2 - 5*n - 6. Is 12 a factor of j(-8)?
False
Suppose 3*h = -3*h - 2580. Let m = h + 808. Does 19 divide m?
False
Let s be 9/6*72/54. Is (s*3 - (-10 + 12))*3 a multiple of 3?
True
Let t(h) = 7*h**2 - 12*h - 216. Is t(-6) a multiple of 3?
True
Let g(f) = -744*f + 2822. Is g(0) even?
True
Let c(p) = 350*p - 14. Let h be c(-1). Let m = -32 - h. Does 11 divide m?
False
Let r(h) = 32*h - 28*h + 52*h + 78*h - 106 - 12*h. Does 36 divide r(5)?
True
Suppose -y = r - 2*r - 33, r + y = -23. Let k = r + 64. Is 12 a factor of k?
True
Suppose -10*d - 146 = -176. Suppose -8*c + 2038 = -4*c - r, d*r + 1014 = 2*c. Is 8 a factor of c?
False
Suppose 0 = r + 4*f - 893, 3*f = 5*r - 1945 - 2543. Is r a multiple of 13?
True
Let q(u) be the third derivative of u**5/60 - 17*u**4/24 + u**3/3 - 39*u**2. Let a be (22/4)/(-1)*-4. Is 7 a factor of q(a)?
True
Suppose c = v - 21045, -4*v + 66*c - 64*c = -84186. Is 24 a factor of v?
True
Suppose -5*d = 10, 0*k - 191 = 3*k - 2*d. Let f be (-4)/5*k/26. Suppose f*q = 5*m - 2*m - 219, 3*q = -5*m + 346. Does 7 divide m?
False
Let n be (0 - -345)/3 + 22 + -17. Does 4 divide n/63 + (-10)/(-105) + 102?
True
Let r be 2/(-6 + (-1060)/(-177)). Suppose -o = 1 - 3, 0 = 5*v - 3*o + 11. Is 47 a factor of 1 - (r - 3 - v)?
False
Let b(p) = p**2 - 17*p - 6. Let k be b(19). Suppose 172 = 10*j + k. Suppose 0 = -4*t - 12, 0 = -r + t + j. Does 11 divide r?
True
Suppose -60*s - 36740 = -271940. Is 10 a factor of s?
True
Let k = -369 - -615. Suppose 2*s = 3*y - k, 0 = 5*y + s - 204 - 193. Does 8 divide y?
True
Suppose 5*t = -2*j + 58, -j - 13 - 12 = -2*t. Suppose t*k = k + 6259. Is 24 a factor of k?
False
Suppose 4*g - 3708 = 3*a - 2*a, -2790 = -3*g + 3*a. Does 4 divide g?
False
Suppose -132*u + 263770 = -62*u - 60*u. Is u a multiple of 149?
False
Suppose 4*b + 16 = 5*v + 19847, -14875 = -3*b + 2*v. Does 19 divide b?
True
Suppose -16*y + 8*y + 16 = 0. Suppose -2050 = -4*u - 2*b, 0*b = y*u + 4*b - 1010. Does 16 divide u?
False
Suppose 433716 = 83*g - 36*g. Is 115 a factor of g?
False
Let d = -19157 - -29663. Is 103 a factor of d?
True
Let j(d) = d**3 + 40*d**2 - 46*d - 126. Let a be j(-41). Suppose -67*c + a*c - 13668 = 0. Does 47 divide c?
False
Let t(m) = -2773*m - 100. Is t(-10) a multiple of 18?
True
Let a(o) = 39*o - 831. Is a(29) a multiple of 48?
False
Let t(x) = 2*x**2 + 6. Let b = -2 + -17. Let z = -16 - b. Is 8 a factor of t(z)?
True
Let h = 1721 + -2768. Let x = -246 - h. Is 89 a factor of x?
True
Let x be 2/(-6) + (-10)/6. Let c(w) = -11*w**2 + 5*w - 1. Let u(m) = -3*m**2 + 2*m + 1. Let n(k) = c(k) - 4*u(k). Is n(x) a multiple of 5?
True
Let y(k) = 6*k**2 + 15*k + 6. Let c be y(6). Suppose -15*p + c = -9*p. Is p even?
True
Suppose -1188*b - 1587114 = -1289*b. Is 18 a factor of b?
True
Let y(a) = 60*a**2 + 29*a - 85. Is y(5) a multiple of 65?
True
Let b = 5684 - 1989. Is b a multiple of 5?
True
Let d(x) = 5*x**2 - 9*x + 4. Suppose -6*p + 21 = -15. Is 26 a factor of d(p)?
True
Let n(x) = -x**2 + 15*x + 38. Let y be n(17). Let t = -114 - -116. Suppose 5*j - 563 = -3*o, -y*o - j + 380 = -t*o. Is o a multiple of 16?
False
Let s = 324 - 320. Suppose 2*x = 2*p - 5*p + 556, -s*p + 560 = 2*x. Does 4 divide x?
True
Let v(h) be the first derivative of 5*h**3/3 + h**2 - 20*h + 41. Does 11 divide v(-5)?
False
Suppose 5*g = 19*u - 18*u - 353, 0 = 2*u - g - 715. Is 5 a factor of u?
False
Suppose -328*v + 713580 = -258*v. Does 47 divide v?
False
Suppose -375*b + 20636 = -371*b. Does 27 divide b?
False
Suppose -2*r - 4*h + 3542 = 0, 3*r = 5*r - 2*h - 3542. Is r a multiple of 9?
False
Let f(r) = -140*r**3 + 2*r + 141*r**3 + 6*r**2 + 3*r + 4. Does 10 divide f(-2)?
True
Suppose 10*c = 3*c + 1722. Suppose -94 = 8*t - c. Does 18 divide t?
False
Suppose -3*b = -16533 - 2940. Is 212 a factor of b?
False
Let f(i) be the first derivative of -i**4/4 + 11*i**3/3 - 7. Let a be f(11). Suppose a = -m + 4*w + 22, 5*m = -0*w + 5*w + 95. Is 6 a factor of m?
True
Suppose -405 + 145 = 3*r - 5*l, 280 = -3*r - 5*l. Let d be 1/5 - 13164/r*3. Suppose 5*t = 4*j + d, -t + 89 = -j - j. Is t a multiple of 29?
True
Let v be (-2 + 21/9)*(1006 + 32). Let d = v + -4. Is d a multiple of 38?
True
Let w(t) = 2*t**3 - 14*t**2 + 5*t - 5. Let u be w(7). Let r = u - 64. Let v = r + 82. Is 6 a factor of v?
True
Suppose 540 = 2*p - 3*i, 5*i + 1332 = 5*p + 2*i. Is (-33)/p + (-545)/(-8) a multiple of 9?
False
Let y be 1 + 0 - (27 + 2 - -4). Let i = 72 - y. Let v = i + -80. Is 12 a factor of v?
True
Let x(j) = j**2 - 2*j + 1. Let l be x(1). Let d = -196 - -191. Does 24 divide (-75 + l)*(0/d - 1)?
False
Let o(p) = 4*p - 21. Let y be o(6). Suppose y*q + 38 - 50 = 0. Does 2 divide q + (-1 - 6) - -11?
True
Suppose f - 2*f = 4*u + 180, 0 = f + 4. Is 1318/10 - (2 + u/20) a multiple of 11?
True
Suppose -5*u = -3*x + 72, 2*u - 5*x = u - 32. Let r(k) = k**2 + 9*k - 34. Let l be r(u). Does 14 divide 58 - ((l - -2) + -2)?
True
Let q(l) = 137*l**2 + 73*l + 652. Does 25 divide q(-9)?
False
Let v(z) = 6*z - 31. Let c be v(6). Suppose -5*q - 75 = c*r, 5*r - 2*q + 67 = q. Does 25 divide (-7)/(r/132) - -1?
False
Let b(g) be the first derivative of 20*g**3/3 - 12*g**2 + 9*g + 171. Does 10 divide b(-5)?
False
Let f(n) be the third derivative of -n**7/560 + 7*n**6/240 - n**5/5 + 8*n**2. Let w(z) be the third derivative of f(z). Is 34 a factor of w(-9)?
True
Is (11 + (-294)/28)*16042 a multiple of 13?
True
Let v = 872 + 562. Is 4 a factor of v?
False
Let h be (-52)/56*-4 - 6/(-21). Suppose h*a = b + 572, -3*a - 2*b + 429 = -4*b. Is a a multiple of 11?
True
Suppose -2*z = -3*c - 64, -4*z + 0*z = -c - 118. Suppose -32*s + 30 = -z*s. Is 19 a factor of 126/(-28)*s/(-1)?
False
Let a(v) = -34*v**3 + 4*v**2 - 7. Let d be a(2). Let o = d - -358. Does 19 divide o?
True
Let i(u) = 5*u**3 + 15*u**2 - 50*u + 215. Is i(18) a multiple of 59?
True
Let d(w) = -w**3 - w**2 + 1. Let g(k) = 49*k**3 + 6*k**2 - 3*k + 2. Let p(r) = 2*d(r) + g(r). Does 26 divide p(2)?
True
Let a(j) = 8381*j**2 + 13*j - 30. Is 51 a factor of a(1)?
True
Suppose 6*l = 1957 - 367. Suppose l*y - 261*y = 1056. Is 7 a factor of y?
False
Does 21 divide (-114)/(-285) + (-49766)/(-10)?
True
Let h be ((-1)/3)/(9/(-11 + 33518)). Does 7 divide h/(-3) - ((-10)/6)/5?
False
Suppose 2*g - 796 = 224. Does 13 divide g/(-9)*36/(-30)?
False
Let s = -246 + -526. Let b = -539 - s. Suppose 0 = -4*p + 4*g + 752, -5*g + b = 3*p - 339. Does 14 divide p?
False
Suppose 17*k + 6*k - 115 = 0. Let y(h) = -2*h**3 + 10*h**2 + 7*h + 1. Is 12 a factor of y(k)?
True
Suppose 3*m - 5*x - 6394 = -1459, -3*m = -2*x - 4917. Is m a multiple of 170?
False
Suppose -3 + 13 = -2*t. Let l(p) = 28*p + 28. 