. Let j be s(-12). Let d = -72 - j. Is 26 a factor of d?
True
Suppose -4*q + 5*h + 1755 = 0, 0 = -17*q + 13*q - 2*h + 1734. Is q a multiple of 29?
True
Let c(d) be the second derivative of d**4/4 - 5*d**3/2 - d**2 + 5*d. Let p(f) be the first derivative of c(f). Is 17 a factor of p(7)?
False
Let f(x) = -2*x**3 + 2*x**2 - 2*x - 8. Suppose -25 = 5*d + 5*g, d - 6*g + 3*g + 1 = 0. Does 16 divide f(d)?
True
Suppose 7*r - 3768 = 908. Is r a multiple of 30?
False
Let u(g) = g**3 + 5*g**2 + 2*g - 3. Let d(y) = y**2 + 8*y - 13. Let p be d(-9). Let h be u(p). Suppose 140 = h*m + 30. Does 11 divide m?
True
Let y(k) = 3*k - 4. Let t(j) = 2*j - 5. Let x(p) = -4*t(p) + 3*y(p). Let u be x(-4). Suppose 30 = 3*i + u*c - 71, 0 = -2*i - 5*c + 65. Is i a multiple of 22?
False
Let x(v) = -v**3 + 7*v**2 + 12*v - 8. Let j(l) = l + 8. Let p be j(0). Let s be (p - 0)*(-1 - -2). Is 7 a factor of x(s)?
False
Let k = 2096 + -928. Does 73 divide k?
True
Let y(u) be the first derivative of u**4/4 + 8*u**3/3 + 7*u**2/2 + 8*u - 36. Does 3 divide y(-7)?
False
Let k(l) = -l**3 - 4*l**2 - 3*l + 4. Let s(b) = b**3 - 4*b**2 + b + 2. Let z be s(3). Let m be k(z). Suppose -v + 65 = m. Is 13 a factor of v?
False
Suppose -54*h + 52*h = -t + 1226, -5*t = 5*h - 6190. Is 19 a factor of t?
False
Suppose 2*o + o + 3*q = -3, 5*o + 2*q + 2 = 0. Let s be (19 - 16)*(-1 + o). Is 98 - 12/s - -3 a multiple of 21?
True
Let n = -300 + 506. Is n a multiple of 38?
False
Suppose -7 = -2*r - 5, -s + 3 = -2*r. Is s a multiple of 5?
True
Suppose -2*x - 3*y = 8, 4*y = 4*x - 7*x - 10. Let l = -16 + 16. Suppose l*n - x*n + 48 = 0. Does 5 divide n?
False
Let y(k) = -k**2 + 14*k + 11. Let b be y(15). Is 35 a factor of (-29 + -1)*14/b?
True
Suppose -5*s - n = 3*n - 275, 5*s - 3*n - 240 = 0. Suppose -s*a = -56*a + 570. Does 6 divide a?
True
Suppose -1136 = 3*m - 4451. Is m a multiple of 57?
False
Let o = 11 - 28. Let a = 22 + o. Suppose a*p = 233 + 142. Is 25 a factor of p?
True
Suppose -39*b = -23*b - 5168. Is b a multiple of 15?
False
Let r(z) = 3*z**2 + 11 + 2*z - 60*z**2 - 43*z**2 - 22*z**2. Let m(v) = -41*v**2 + v + 4. Let l(p) = 11*m(p) - 4*r(p). Is l(-2) a multiple of 36?
False
Let q = 494 + 1458. Does 8 divide q?
True
Suppose 3*q + i = -88, 0*q = -4*q + 3*i - 139. Let o be (140/30)/(4/42). Let z = o + q. Is 11 a factor of z?
False
Let n(g) = g**3 - 29*g**2 - 55*g + 57. Is 89 a factor of n(31)?
False
Let o = 2779 - 2099. Does 5 divide o?
True
Let n(r) = -7*r + 6 - 2 + r**2 + 1. Let d(w) = w**2 + 6*w - 208. Let l be d(-18). Does 8 divide n(l)?
False
Is (57/6 + -7)*206*4 a multiple of 10?
True
Let a(c) = 2*c. Let d be a(2). Suppose -12 = 9*w - 12*w. Suppose -230 = -5*t - w*b + 150, 2*t + d*b = 164. Is t a multiple of 17?
False
Let j = 764 + -470. Does 21 divide j?
True
Let q(b) = -b**2 + 9*b + 8. Let a be q(7). Suppose 5*g + z + 74 = -18, 2*z = -g - a. Let y = g - -21. Does 3 divide y?
True
Suppose -q + 3*q = 4. Suppose q*n - 96 = -n + 3*x, -x + 36 = n. Does 16 divide n?
False
Suppose -23 = -a - 2*z, -33 = -3*a + 5*z + 58. Suppose -5*v + a = -148. Let n = v - 17. Is n a multiple of 5?
False
Let n(b) = 28*b**3 - 2*b**2 + 1. Let g be n(-2). Let f = g + 491. Is f a multiple of 10?
True
Suppose 5*r - 7*m = -3*m + 1079, 5*m - 425 = -2*r. Is 19 a factor of r?
False
Let h = 44 + -55. Let p = 39 + h. Does 7 divide p?
True
Suppose 7*b - 4269 - 1142 = 0. Is b a multiple of 104?
False
Does 80 divide (-2)/((2*(-5)/1325)/8)?
False
Suppose -3*x + 7062 = 4*f, 5*f - 8839 = -13*x + 15*x. Does 7 divide f?
False
Suppose 0 = -2*d + 2*t, -4*d - 2*t + 0*t = -18. Suppose d*o + r + 4*r = 44, -2*r = -o. Is 4 a factor of o?
True
Let h be -3 + (12/(-4))/(-1). Suppose k - 6 = -h. Is 23 a factor of 25*k*4/8?
False
Let w(r) = r**3 + 9*r**2 - 11*r + 3. Let g be w(-10). Let i(x) = x**2 - 3*x - 25. Is i(g) a multiple of 35?
True
Does 4 divide ((-3)/(2 + 1))/((-3)/192)?
True
Let t(k) = -k + 1. Let h(j) = -3*j**2 - 8*j + 11. Let i(r) = -h(r) + 4*t(r). Does 5 divide i(-4)?
True
Let g(u) = 3*u**3 - 4*u**2 - 4*u**3 + 2 - 5*u**2 + 3. Let s be g(-9). Suppose s*p = 143 + 17. Does 25 divide p?
False
Is (63/(-15))/(2/(-240)) a multiple of 36?
True
Let w(d) = -d - 13. Let u be w(-15). Let r(p) = 14*p**3 + p. Does 19 divide r(u)?
True
Suppose 0 = 4*y - 78 - 26. Let a = 55 - y. Let n = a + -5. Does 6 divide n?
True
Let f = 89 - -183. Does 17 divide f?
True
Let l be (1 + (-68)/5)/(3/(-45)). Suppose -w - 2*w = -l. Does 17 divide w?
False
Let c be -1 + 0 + 4 + 12. Let o = 6 + -4. Suppose -3*a + o*a = -c. Does 8 divide a?
False
Let w = -247 + 933. Is w a multiple of 66?
False
Let t(s) = s**3 - 2. Let j be t(2). Suppose z - 10*r = -j*r + 59, 231 = 5*z - 4*r. Does 18 divide z?
False
Let n be 0/((-3)/1 + 1) + 87. Let q = n - -5. Does 12 divide q?
False
Let o = 254 - -458. Is 8 a factor of o?
True
Let x(u) = 4*u**3 + 2*u**2 - 3*u + 58. Does 29 divide x(0)?
True
Let j = -21 - -1. Is 72/j*(-40)/6 a multiple of 13?
False
Suppose o - 18 = 3*o. Let p(q) = -3 + 5*q + 3 - 5 + q**2 - q. Is 7 a factor of p(o)?
False
Suppose 0 = 3*h + 9, 2*f + 0*f - h = -49. Let p be f/(-8) + (-4)/16. Suppose -11 - 22 = -p*k. Is 5 a factor of k?
False
Suppose 765 = 14*p - 2175. Does 6 divide p?
True
Let f(n) = -21*n**3 - n**2 - 5*n + 5. Let j(w) = 63*w**3 + 4*w**2 + 16*w - 16. Let z(g) = -7*f(g) - 2*j(g). Does 7 divide z(1)?
False
Let u be (-8)/2 + 4 - -2. Suppose -u*g = 6 - 38. Let p = g + 31. Does 7 divide p?
False
Let o(c) = -c + 4. Let m be o(8). Let q be (m/5)/(3/15). Does 7 divide -13*(8/q + 1)?
False
Suppose 24*o = -37*o + 260592. Is o a multiple of 57?
False
Suppose -17*a + 10252 = -13548. Is 40 a factor of a?
True
Let q = -162 + 504. Is q a multiple of 6?
True
Let v = -1737 - -3198. Is 19 a factor of v?
False
Let r(g) = 2*g + 34. Let y be r(-10). Is 12 a factor of (y/6)/((-4)/(-204))?
False
Let p be (-9)/(45/10) - 0. Let k be p + 4/(20/45). Does 5 divide (105/k)/((-6)/(-10))?
True
Let x(u) = 2*u**2 + 4*u. Let q(f) = 2*f**2 + 14*f. Let r be q(-7). Suppose r*m + 5 = -m. Does 10 divide x(m)?
True
Let y = 417 + -264. Let v = y - 66. Does 29 divide v?
True
Let h = -9 - -13. Suppose -7*m = 4*u - 3*m + 12, h*u = 5*m - 3. Is 1/(2/(-108)*u) a multiple of 9?
True
Let m(s) = s**2 - 2*s. Let u be m(3). Let d be (-2)/(-12)*u*0. Let c(h) = h**3 - h**2 + h + 22. Is 11 a factor of c(d)?
True
Let r be 5/((-372)/188 + 2). Let b = r - 168. Is 21 a factor of b?
False
Suppose -5*l + 1412 + 913 = 0. Is (l/(-25))/(3/(-15)) a multiple of 15?
False
Let m(r) = -r**3 - r**2 + r + 4. Does 3 divide m(-5)?
True
Suppose 0 = -5*i + 10*i - 480. Let k(d) = d**3 - d + 5. Let q be k(0). Suppose q*x = 3*x + i. Is 12 a factor of x?
True
Suppose -36 = -2*o + o. Suppose 7 = -5*l + 4*g, -10*l + 2*g - 8 = -12*l. Is 10 a factor of 1422/o - l/(-2)?
True
Let y = -1 - 11. Let g(u) = -u**3 - 12*u**2 - 5*u - 15. Let a be g(y). Is 10 a factor of 10/a - 268/(-9)?
True
Let w(o) be the first derivative of -o**2/2 - 2*o - 5. Let x be w(4). Is 9 a factor of (9/2)/((-3)/x)?
True
Let w(d) = 5*d**2 - 19*d + 120. Is w(17) a multiple of 46?
True
Suppose 2*s = 5*c + 10, -3*s = -2*c - 0*c - 15. Suppose -s*y + 61 = -u, -2*y + y - 4*u = -8. Is y a multiple of 4?
True
Let k(x) = x**3 + x**2 - 2*x + 117. Let n be k(0). Let i = 138 - n. Is i even?
False
Is (-176)/(-6) + (-58)/(-87) a multiple of 15?
True
Let k(c) = c**3 + 6*c**2 - 6*c - 3. Let x be k(-6). Suppose 0 = l - 15 - x. Is 6 a factor of l?
True
Let s = 34 - 32. Is (5 - -3) + 2/s a multiple of 4?
False
Let w(d) = 9*d**3 - 2*d**3 + 1 - 2*d**2 + d**3. Let p(z) = 4*z**2 + 11*z - 2. Let k be p(-3). Is 2 a factor of w(k)?
False
Let d(h) = h**3 - 4*h**2 + 2*h - 5. Let k be d(4). Let z(r) be the second derivative of r**4/6 + r**3/6 + 3*r**2/2 + 5*r. Is z(k) a multiple of 8?
True
Let f = -34 + 56. Let d = f - 40. Let p = d - -40. Is 5 a factor of p?
False
Suppose 0*s = 2*s - 8, -4*s = -3*u - 25. Suppose -4 = -3*k + 8. Is (u/k)/(3/(-204)) a multiple of 29?
False
Suppose 80 = 2*u + 3*y, -4*u - 3*y = -0*y - 166. Does 7 divide u?
False
Let n(j) = -5*j - 18. Let l be n(-8). Suppose 0 = -13*i + 15*i - l. Let r(p) = 5*p + 26. Is 24 a factor of r(i)?
False
Let a(y) = 434*y**2 + 129*y + 259. Is 9 a factor of a(-2)?
True
Let a = -733 + 1485. Does 7 divide a?
False
Suppose -g - 2*z + 3*z + 6 = 0,