**2 - 4*s - 2. Let l be y(15). Let d = l + -23. Is d a multiple of 6?
True
Suppose -5*f - 15 = -2*f. Let j(p) = -46*p + 6. Let i be j(f). Does 10 divide 1/2 - i/(-8)?
True
Let g(j) = -23*j - 17. Let q(k) = 12*k + 9. Let s(x) = 3*g(x) + 5*q(x). Is 8 a factor of s(-6)?
True
Let l(s) be the second derivative of s**5/20 - 2*s**4/3 + 5*s**3/6 + 6*s**2 - 5*s. Let a be l(7). Is 23 a factor of 70 + (a - -1*6)?
False
Suppose -8 = -6*r + 2*r, 2*i + 4*r - 272 = 0. Is 38 a factor of i/231 - (-1476)/14?
False
Let u = 15 - -51. Suppose 0 = -5*w + 19 + u. Is w a multiple of 17?
True
Let x(n) = -5*n + 2. Let h(s) = -3*s + 12. Let r be h(7). Does 14 divide x(r)?
False
Let k(i) = -2*i**2 - 9*i - 17. Let g be k(-6). Let b = 58 + g. Let w = 89 - b. Is w a multiple of 17?
False
Let t(q) = -q**2 - 10*q - 5. Let d be t(-8). Suppose 0 = d*g - 9*g - 10. Suppose 147 = 3*o + g*x, 3*o + 3*x - 147 = x. Does 13 divide o?
False
Let o(a) = -a - 15. Let r be o(-19). Suppose r*w + 4*d = 3*d + 391, 3*d + 411 = 4*w. Is w a multiple of 11?
True
Suppose 2*g = 3*y - 5, -2*g + 4*y = 4 - 0. Let d(z) = -1 + 0 + 4*z - 14*z. Does 22 divide d(g)?
False
Suppose -z = -4*r + 4 + 25, -4*r = -4*z - 68. Let u = -11 - z. Suppose 0 = u*m + 4*i - 54, 0*m + i + 91 = 5*m. Does 4 divide m?
False
Suppose 3*n - s + 6 - 10 = 0, 3*n + 5*s = 16. Suppose 3*r + 2*k - 210 = 0, -n*r + r + 4*k = -56. Is r a multiple of 34?
True
Let i(g) be the second derivative of g**4/12 - 2*g**3/3 - g**2 + 2*g. Let z be (18/(-42))/((-12)/8)*21. Is i(z) a multiple of 9?
False
Let y(q) be the second derivative of q**3/3 + 9*q**2/2 + 14*q. Is y(5) a multiple of 6?
False
Let b = 1 - -4. Suppose -b*n - 5 = 0, 2*y - n = 3*n + 36. Does 2 divide y?
True
Let i be (-3)/7 - (-18)/(-7). Let t = i + 9. Is ((-4)/t)/(4/(-120)) a multiple of 5?
True
Let n(f) be the first derivative of 2*f**3/3 - 15*f**2/2 + 23*f - 18. Is 10 a factor of n(11)?
True
Let d(p) = 155*p + 1029. Does 3 divide d(-5)?
False
Let o(k) = 2*k**3 - 8*k**2 + 4*k - 4. Let z = 42 - 37. Is 36 a factor of o(z)?
False
Let q(y) = -y + 97. Let z = -19 + 19. Is q(z) a multiple of 13?
False
Let x be -37 + 2 + -3 - 0. Let y = x + 141. Is 18 a factor of (-2)/(-4)*(y - 5)?
False
Suppose 0 = 8*b - 1286 - 562. Is 33 a factor of b?
True
Let r(m) = 24*m**2 + 2*m - 2. Let t be r(-2). Let v = 97 + -154. Let a = v + t. Does 16 divide a?
False
Suppose -5*r + 0*p = -p + 3, 4*r = 5*p - 15. Suppose -5*q = 3*y - 177, -5*q + r*q = 4*y - 176. Is q a multiple of 6?
True
Let y = 351 - 103. Is y a multiple of 35?
False
Let c = 741 - 537. Is c a multiple of 12?
True
Let b(o) = o**3 + 18*o**2 - 50*o - 16. Is 100 a factor of b(-11)?
False
Is 15 a factor of (84/27 - 3) + 152838/81?
False
Let u(b) = b**3 - 3*b**2 - 9*b + 13. Let m be u(7). Suppose -3*g + 445 + m = 0. Does 17 divide g?
False
Let l be (-54)/(-297) - ((-18)/22 - 1). Suppose -5*d + 3*y + y = -25, -55 = -5*d - l*y. Does 2 divide d?
False
Let z = 1371 + -755. Is 7 a factor of z?
True
Suppose 0 = 5*i - 342 - 703. Is i a multiple of 45?
False
Let z be 0 + 6 + -1*4. Suppose 2*s - 200 = -z*s. Does 10 divide s?
True
Let o be 280/36 + 2/9. Suppose -o + 3 = d. Let i = d + 9. Is i a multiple of 2?
True
Is 4 a factor of (1 + -211)/(3 - 20/4)?
False
Suppose -2*i - 84 = -f, -5*f + 3*i = -10*f + 368. Does 38 divide f?
True
Suppose 2*y - 8 = y. Let v(k) = 9*k + 23. Is v(y) a multiple of 17?
False
Let i = 1042 + -564. Does 13 divide i?
False
Let h(r) = -6*r - 15. Let l be h(5). Let x = 50 - l. Let p = x - -1. Does 14 divide p?
False
Is 42 a factor of -36*(116/(-12) - -5)?
True
Let n(w) = 3*w**2 + w + 2. Let z be n(-1). Let q(g) = -27*g - z - 12 + 4 - g. Is 25 a factor of q(-4)?
True
Let c be 13 - (-4 + 8 + 1 + -2). Does 19 divide 6/c - 7/((-70)/564)?
True
Suppose y = v - 592, -4*v + 2*y + 2187 + 173 = 0. Is 21 a factor of v?
True
Let w be 15/(-2)*140/21. Let i = 68 + w. Is 9 a factor of i?
True
Suppose 4*u - 8 = -4*z + 4, 5*u = 5*z - 35. Suppose 2*w - 206 = -4*n, 0*w + z*w + 57 = n. Does 2 divide n?
True
Let v be ((-168)/(-10))/3 - (-2)/5. Does 2 divide (v/4)/(24/64)?
True
Let l(m) = 1 + 59*m**2 - 7 - 6 + 13. Does 18 divide l(1)?
False
Suppose 18*q = -1972 + 13492. Is 24 a factor of q?
False
Suppose d - 5*i - 14 = 0, -2*i = 5*d - 7*i - 30. Is 10 a factor of ((-15)/d)/((-9)/24)?
True
Let d(f) = -8*f**2 + 20 - 12*f + 6*f**2 - 3*f**2. Let v(h) = 4*h**2 + 12*h - 19. Let a(o) = 5*d(o) + 6*v(o). Is 13 a factor of a(7)?
False
Let n = -78 + 135. Let b(p) = p**3 - 15*p**2 - 32*p - 31. Let j be b(17). Suppose n = 3*w - j*o - 27, -w + 34 = 5*o. Does 6 divide w?
False
Let x be ((8/16)/(1/(-2)))/(-1). Is 14 a factor of (-13 + 0)/(x/(-4))?
False
Let f be (12 + -5 - 5) + (1 - -2). Suppose f*g - 5*d = 245, -7*d + 6*d = -2*g + 94. Does 7 divide g?
False
Let b = 15 - 12. Suppose b*m - 4*m = -64. Suppose 2*f = 6*f - m. Is 7 a factor of f?
False
Suppose -2*x - 2*x = -152. Does 2 divide x?
True
Let o(f) = -86*f + 56. Does 9 divide o(-5)?
True
Let b(u) = u**3 + 23*u**2 + 10*u - 26. Let m(o) = o**2 + 19*o + 12. Let z be m(-17). Is b(z) a multiple of 34?
True
Let p(g) = g**3 + 23*g**2 + 83*g + 45. Does 33 divide p(-16)?
False
Let x be 7/(42/(-9))*62. Let r be (-2 + 5/3)*x. Let v = r - -15. Is 9 a factor of v?
False
Let k(r) = -20*r + 67. Let m be k(-16). Let x = 569 - m. Does 26 divide x?
True
Let r(c) = -3*c - 2. Let q be r(-2). Suppose 0 = 4*j - q*b - 36, -b = 4*j - 0*b - 31. Does 10 divide 18/j*80/6?
True
Let f(o) = -3*o + 171. Is f(-5) a multiple of 26?
False
Let y(r) = -r**3. Let d(c) = -2*c**3 - 9*c**2 - 28*c + 20. Let w(i) = -d(i) + 3*y(i). Is 15 a factor of w(11)?
False
Let c(b) = -24*b + 294. Is 5 a factor of c(11)?
True
Let w be (5/(-35)*8)/(2/(-7)). Suppose c - 39 = -5*y, 2*y - 221 = -w*c - 47. Does 11 divide c?
True
Suppose 0 = -i + 5, 4*i - 1430 = 28*o - 31*o. Does 2 divide o?
True
Let o be 118/5 + (-4)/(-10). Let a = -22 + o. Suppose -a*h - h + 397 = 5*i, 0 = -i + 5. Is h a multiple of 37?
False
Suppose -2086 + 652 = -6*j. Is 4 a factor of j?
False
Suppose 4*q + 20*r = 17*r + 5757, -3*q + 3*r = -4323. Is q a multiple of 19?
False
Let w(a) = a**3 + 19*a**2 - 21*a - 25. Let q be w(-20). Let g(d) = 8*d**2 - 6*d - 21. Is g(q) a multiple of 14?
False
Let f = -781 + 791. Is 10 a factor of f?
True
Is (-11 + -7)*160/(-3) a multiple of 32?
True
Let i = -13 - -14. Does 9 divide (8/5)/(i + 168/(-175))?
False
Does 14 divide (-468)/(-102)*27 + (-6)/(-51)?
False
Suppose 2*k = 4*g + 16, -4*g + 0*k - 14 = -k. Let r = 3 - g. Suppose 0 = -2*s - b + 61, -153 - r = -5*s + 4*b. Does 21 divide s?
False
Suppose 5*t = -367 - 153. Is 20 a factor of (1 - (-38)/4)*t/(-6)?
False
Suppose 3*v = 13 - 4. Let a(q) = -6 - 5*q**2 + 0 + 3*q**2 + q + v*q**2. Is a(-4) a multiple of 4?
False
Let i = -7273 + 10539. Does 38 divide (-82)/287 + i/14 + -1?
False
Suppose -3*y - 8260 = -4*x - y, 5*x + y - 10318 = 0. Does 58 divide x?
False
Suppose 6 = 4*j - 2. Suppose 0 = j*c + 15 - 191. Does 8 divide c?
True
Let z = 2981 + -426. Is z a multiple of 73?
True
Let m(g) = 2*g**3 - 5*g**2 + 7*g - 12. Let l be m(4). Let z = -44 + l. Is 4 a factor of z?
True
Let w be 72*(-5 + 64/12). Let u = 75 + w. Is 33 a factor of u?
True
Suppose w = 5*l + 41, -2*l + 38 = 3*w - 0*w. Does 11 divide w?
False
Let r(s) be the third derivative of -s**6/120 - s**5/60 + s**4/6 - 2*s**3/3 + 8*s**2. Is 19 a factor of r(-5)?
True
Does 44 divide (-42)/(-6) - -1*37?
True
Let d = 652 + -210. Let k = d - 268. Does 21 divide k?
False
Let y be ((-6)/(-4))/((-2)/76). Suppose -11*z - 14 = -4*z. Is 19 a factor of y/z*(-24)/(-18)?
True
Suppose -3*k = 2*k - 95. Suppose -5*z - k = 11. Is 28 a factor of (-31 - -1)/(2/z)?
False
Suppose -6*a + 5*a = -6. Let w(h) = -197 - 208 + 394 - 3*h + h**2. Does 2 divide w(a)?
False
Suppose 3*b + 3*c = 399, 5*b - b = -5*c + 531. Suppose 0 = -4*x + 43 - 415. Let y = x + b. Does 17 divide y?
False
Suppose -3*v + 7*v - 48 = 0. Is ((-70)/v + (-11)/66)*-5 a multiple of 8?
False
Suppose -k = 4*n - 1271, 302 - 1582 = -k - n. Is 29 a factor of k?
False
Suppose 0 = -2*b + 844 - 122. Does 30 divide b?
False
Let z = -25 - -25. Let v(o) = z*o - 2*o + 5*o + 2*o. Is 10 a factor of v(18)?
True
Is 674/7 + (-54)/189 a multiple of 24?
True
Suppose 1296 = -k + 49*k. Is k a multiple of 2?
False
Suppose -10*i = 11*i - 13986. Does 9 div