1576 = -32*b. Does 68 divide s?
True
Let s(o) = -11*o**3 - 5*o**2 - 15*o + 15. Let c be s(-6). Suppose -c = -13*q - 767. Is q a multiple of 7?
False
Let w(o) = 40*o + 105. Suppose 16*z - 36 = 13*z. Does 39 divide w(z)?
True
Let w(j) = 293*j**2 + 25*j - 54. Suppose -2 = z - 4*c, 5 - 2 = 3*c. Is 16 a factor of w(z)?
True
Is 72 a factor of (-223741)/(-14)*((-20)/(-35) - 90/(-63))?
False
Let z = -50729 - -72068. Does 42 divide z?
False
Suppose -5*w = 130*m - 129*m - 9387, -2*w + 5*m = -3771. Is w a multiple of 57?
False
Let i = 7666 + -4426. Does 81 divide i?
True
Suppose -204*h = -445*h + 2633407. Does 55 divide h?
False
Let t(v) = -v**3 + 10*v**2 + 5*v - 14. Let f be t(10). Is ((-6)/8)/(9/f) - -315 a multiple of 24?
True
Let p(z) be the first derivative of -z**4/4 + z**3/3 - 2*z**2 - 9*z - 34. Let w be p(0). Let o(a) = -19*a - 29. Is o(w) a multiple of 8?
False
Let u = 15 - -101. Let s = u - 31. Suppose 19 = -2*z + s. Does 21 divide z?
False
Suppose -36 = 3*i - 3*k, k - 8 + 13 = 0. Is (-376)/10*(7 + i) a multiple of 47?
True
Let p(r) be the first derivative of r**3/3 - 2*r**2 - 15*r + 347. Let z(d) = -d - 4. Let s be z(5). Does 17 divide p(s)?
True
Let j(c) = 2*c**2 + 17*c - 12. Let x(a) = a + 1. Suppose -4 = -s - 3. Let p(n) = s*j(n) - x(n). Does 10 divide p(-12)?
False
Let l(i) = -i**3 + 11*i**2 - 9*i - 3. Suppose -4*k - 1 = 2*t - 9, 3*t + 4*k = 16. Suppose -5*w + t = j, 5*j + w = 4*w + 40. Is l(j) a multiple of 39?
True
Let h = -53 - -56. Suppose 3*b + 2*x - 332 = -b, -h*b = x - 249. Let q = -31 + b. Does 13 divide q?
True
Suppose 5*p - 20670 = d, -16536 = -4*p + 87*d - 84*d. Is p a multiple of 56?
False
Let n(h) = 3*h - 31. Suppose 0 = 5*t - 4*g + 6, -g + 2 + 2 = 0. Let p be 10/1 + 6/t. Is 3 a factor of n(p)?
False
Let m = 6524 + -4652. Is m a multiple of 2?
True
Suppose 2*i - 282 = 5*i. Suppose -2*q = -m + 116, -2*q - 4*m = 31 + 65. Let z = q - i. Is 18 a factor of z?
False
Let z = 18551 + -7859. Does 9 divide z?
True
Let h(x) = 104*x**2 - 153*x - 812. Is 75 a factor of h(-6)?
False
Let k(o) = -34*o + 389. Let g(n) = 15*n - 405. Let y be g(27). Is k(y) a multiple of 8?
False
Suppose 0 = -2*n - 5*o + 7378, 39*o - 40*o = -3*n + 11050. Does 80 divide n?
False
Suppose 28*w = 36*w + 2*m - 320576, -160300 = -4*w - 4*m. Does 74 divide w?
False
Let p = 218 - 222. Does 18 divide 438 - (-1 - (8 + p))?
False
Let c = 13819 + -5064. Does 85 divide c?
True
Let n(b) = b**2 - 1. Let z(o) = -o - 4. Let d be z(-2). Let l be n(d). Suppose 4*r - 3*r = k + 85, -169 = -2*r + l*k. Is 22 a factor of r?
False
Let m = 124 - -6536. Is m a multiple of 37?
True
Let m = -7 - -11. Let h(l) = 62*l - 18 + 37 - 20*l - 22*l - 14*l. Is 43 a factor of h(m)?
True
Suppose 6*y - 31 = -1. Suppose -3*j - 14*s + 11*s = -570, 10 = -y*s. Is j a multiple of 16?
True
Is (1010/(-20) + -2)*428/(-6) a multiple of 107?
True
Let x(p) = 5*p**2 - 2*p - 33. Let r be x(6). Let w = -120 + r. Does 10 divide w?
False
Let i(y) = -4*y - 2. Let x(o) = o. Suppose -2*k + 24 = -2*r, -2*k - 3*r + 34 = 2*k. Let s(d) = k*x(d) + 2*i(d). Is 4 a factor of s(13)?
False
Let w(v) = v**3 - 2*v**2 - 3*v - 20. Let r be w(4). Suppose 7*z - 28*z + 10668 = r. Is z a multiple of 55?
False
Suppose -8*j = -9*j + 2926. Suppose -1574 = 2*o - j. Is o a multiple of 37?
False
Let y be ((-118)/3)/(76/114). Let o = 49 - y. Is 9 a factor of o?
True
Let d(n) = -n + 6. Let g be d(4). Suppose -2*t = 5*u - 12, -g = -3*t + 2*u - 3. Let o(a) = 12*a + 3. Is o(t) a multiple of 5?
True
Let q(w) = -418*w - 156. Does 56 divide q(-6)?
True
Suppose 50*o + 70*o = -164*o + 393908. Does 73 divide o?
True
Suppose -q + 3*h + 22769 = 0, -3*h - 10 = 8. Is 13 a factor of q?
False
Let v = 16214 + -10990. Is v a multiple of 8?
True
Suppose -7*v - 2206 = -j, v = -5*j + 3*j + 4352. Is 147 a factor of j?
False
Let w(l) be the second derivative of l**5/4 - 5*l**4/12 + 11*l**3/6 + l**2/2 - 10*l - 5. Is 3 a factor of w(3)?
False
Let v = -258 + 144. Is 52/(-286) - v/22 a multiple of 5?
True
Let l(n) = 2*n**2 + 9*n + 10. Let y be (18/15)/(15/(-50)). Let h be l(y). Suppose h*a = 2*a + 48. Is a a multiple of 2?
True
Suppose 0 = -5*l - 3*k + 1815, -3*l - 715 = -5*l + k. Let v(m) = -46*m + 54. Let h be v(1). Suppose -u = h*u - l. Does 4 divide u?
True
Let t = -101 + 51. Let g be (-2)/1*125/t. Suppose g - 365 = -5*x. Does 18 divide x?
True
Suppose -623986 = -63*m - 103480. Does 81 divide m?
True
Let w(k) = 25688*k**2 + 182*k + 181. Is w(-1) a multiple of 27?
False
Let a(x) be the first derivative of x**2 + 9*x - 1. Suppose -5*p - 5*i + 105 = 0, -5*p + 5*i = 53 - 148. Does 25 divide a(p)?
False
Suppose 3*i = 2*s - 142, 4*s - s - 238 = 5*i. Let k = -37 - i. Suppose k*a = 14*a - 15. Is a a multiple of 3?
True
Let t(j) = j**3 + 73*j**2 - 10*j + 22. Does 10 divide t(-18)?
False
Let a be 4/(-14) - 12/7. Suppose 168 = 8*j - 12*j - 4*u, -5*j + 2*u - 231 = 0. Is 7 a factor of ((-36)/j)/(a/(-140))?
True
Let p(c) = c**3 - c + 1. Suppose -z - 9 = -4*z. Suppose -5*l = -4*u + 2 - 9, -z*u = 4*l - 18. Does 6 divide p(l)?
False
Suppose -1794 = 5*t - 8*t + i, -4*i - 12 = 0. Suppose 0 = 10*p - t + 77. Is 13 a factor of p?
True
Let v(u) = -19*u**2 + 60*u**2 + 5 - 22*u**2 - 16*u**2. Let x(y) = -13*y**2 - 19. Let t(m) = 9*v(m) + 2*x(m). Is t(-3) a multiple of 6?
False
Suppose -4*w + 0*w - 5*q - 15 = 0, -4*q = 2*w + 12. Suppose x - 5*n - 30 = w, 4*n + 50 = x + 20. Does 3 divide x?
True
Let o = 41 + -46. Let p be 5 - (-1 + o + 0). Suppose n - 76 + p = -5*s, 0 = 5*s + 3*n - 75. Is 4 a factor of s?
True
Let o(d) = d**2 - 13*d - 47. Let t be o(21). Suppose 4*h + 2008 = 4*r, 888 = 2*r - h - t. Is 19 a factor of r?
False
Is 8 a factor of (-810)/(-1) + (26 - 36)?
True
Let n = -1028 - -104. Let s be (2/4)/(22/n). Let q = s - -60. Does 13 divide q?
True
Let x = -1 - -1. Suppose 34*u + 4 = 3*p + 33*u, 0 = 2*p - u - 3. Is (p - x) + 150 + 12 a multiple of 14?
False
Let j(b) = -2*b**3 + 53*b**2 - 61*b + 34. Is 128 a factor of j(25)?
True
Suppose 104*k = 26*k + 224874. Is k a multiple of 31?
True
Let h = 95 - 39. Suppose -m - 55 - h = 0. Is ((-1)/((-1)/96))/((-74)/m) a multiple of 22?
False
Let r(s) = -6*s**3 - 3*s**2 - 2*s - 7. Let t be r(-5). Suppose -5*n - n + t = 0. Suppose 127 = 4*y - n. Does 10 divide y?
True
Let b(f) = 27*f**3 - f + 2. Let g be b(2). Suppose -s + 108 = 2*p + 6, s = 4*p - g. Is 53 a factor of p?
True
Let r = 680 - 678. Is (2 - r) + 13/((-91)/(-154)) a multiple of 2?
True
Let t(z) = 19*z**2 - 41*z + 70. Is 17 a factor of t(22)?
True
Let k be 1/2*(3 + 244/4). Let h be 69 - (-3 + (-3 - -3)). Let n = k + h. Is 10 a factor of n?
False
Suppose 0 = 3*d - x - 209 - 328, 12 = 4*x. Suppose 175*g = d*g - 1640. Is 8 a factor of g?
True
Suppose -509120 = 1120*r - 1464*r. Is 20 a factor of r?
True
Let n = -47 - -49. Suppose -x = -v + x - n, -5*v + 6 = -2*x. Does 27 divide v*484/8 + 1*-2?
False
Let t = -10266 + 12587. Does 11 divide t?
True
Suppose 50*l = 22*l + 129360. Does 140 divide l?
True
Suppose 19*f = 75*f - 15*f - 512992. Is f a multiple of 7?
False
Let q(o) be the first derivative of 14 + o + 2/3*o**3 - 6*o**2. Is q(8) a multiple of 5?
False
Let y = 55 + -51. Suppose -g + 8*s = y*s - 494, 2*g + 5*s = 975. Does 49 divide g?
True
Suppose -5*u + 4 = -2*o, 0*u + 5*u = -2*o + 16. Suppose -45 = q - o*b, -q - 5*b = -2 + 7. Let s = q - -69. Does 39 divide s?
True
Let o(r) be the first derivative of 88*r**2 - 7*r + 1. Does 24 divide o(2)?
False
Let u(j) = -j**3 - 10*j**2 + 13*j + 26. Let n be u(-11). Let g(f) = 18*f + 103. Does 17 divide g(n)?
False
Let n(t) = 3*t**2 - 23*t + 9. Let g be 20/(-25)*(-100)/8. Let h be n(g). Suppose 3*j + 2*d - h - 682 = 0, -4 = 2*d. Is 26 a factor of j?
False
Let l(n) = n**3 - 2*n**2 - n + 52. Let t(k) = -k**3 + 3*k**2 + k - 52. Let r(f) = 4*l(f) + 3*t(f). Suppose d + 0*d = 0. Is 13 a factor of r(d)?
True
Let d = -83 - -163. Suppose -2*j - b = 4*b + 155, d = -j - 2*b. Let r = j - -155. Is 13 a factor of r?
True
Suppose y - 415 = -4*y. Let f = y + 0. Is f a multiple of 14?
False
Let o(q) = 72*q - 935. Does 55 divide o(55)?
True
Let r = 72 - -2. Let w be ((-26)/(-6))/(1 - r/72). Let t = -76 - w. Is t a multiple of 5?
True
Let c be -12 - -14 - (-3 + -24). Let y = 278 - c. Is y a multiple of 14?
False
Suppose 3*q = 2*n + 69, -5*q = 2*n + 10 - 109. Let c = 23 + q