*n - 148 = -s, -4*n + 664 = 5*s. Suppose 4*a - s = -5*p, 2*a + 5 - 3 = 0. Is 28 a factor of p?
True
Let b = -307 + 294. Let i(u) = u**3 + 16*u**2 + 31*u + 6. Is i(b) a multiple of 5?
True
Let n(v) = 2*v**3 - v**2 - 3*v - 11. Let z be n(0). Let o(i) = 2*i**2 - 2*i + 115. Does 32 divide o(z)?
False
Let x = 12 + -12. Suppose -54*o + 57*o + 63 = x. Does 14 divide o*(-2)/8*(-160)/(-12)?
True
Suppose 2*b - 2*t - 20 = 2, 5*b + t = 43. Let i(o) = -b*o - 18*o + 5*o - 10*o + 16. Does 24 divide i(-4)?
True
Let t(s) = -4*s**3 + 12*s**2 + 15*s + 3. Let n be t(7). Let l = -290 - n. Is 58 a factor of l?
False
Let d(i) be the third derivative of 17*i**5/30 - i**3/6 + 3*i**2 + 4. Suppose 3*s = 1 + 2. Is 11 a factor of d(s)?
True
Let k be (1 - (-75)/(-10))/((-2)/(-12)). Let g = -28 - k. Let t = 0 + g. Is t a multiple of 3?
False
Let t(d) = -d**3 - 15*d**2 - 132*d - 60. Is 4 a factor of t(-18)?
True
Let b(z) = 9*z**2 - 62*z + 3297. Is 7 a factor of b(35)?
True
Suppose 181 = 3*i + 2*d, -10*d + 124 = 2*i - 7*d. Let x be (-1)/2*-2 - -1. Suppose 2*k - 143 = y - 6*y, -k = -x*y + i. Is y a multiple of 26?
False
Let q be (90/(-12) - -9)*2. Let b(k) = k**2 - 5*k. Let o be b(5). Suppose o = -2*j - q*j + r + 719, 0 = -5*r - 20. Is j a multiple of 30?
False
Let a(x) = -37*x + 45. Let y be a(-18). Let c = y + -447. Does 24 divide c?
True
Let z be ((-2)/2)/((-8)/120). Let y = z + -142. Let o = 172 + y. Is o a multiple of 7?
False
Let a = -2406 - -3896. Is 3 a factor of a?
False
Let x(p) = -32*p - 50. Let g(n) = -8*n + 121. Let y be g(17). Is 28 a factor of x(y)?
False
Suppose 5*r + 4*i = -220, r + 3*i + 18 = -15. Let j be r/(-22) + 10/(-55). Suppose -187 = -j*q + v, 0*q = 3*q + 4*v - 308. Is q a multiple of 6?
True
Suppose 26*i - 12*i = 2730. Let r = i - 75. Is 30 a factor of r?
True
Is 14 a factor of (10 - (-1553 + 13)) + (6 - 2)?
True
Let x be -8 - -7 - (10 + -1)/(-1). Let b(v) = v**3 - v**2 + v + 27. Is b(x) a multiple of 23?
True
Let p(g) = g**2 - 14*g. Let u = -10 - -30. Let m be p(u). Suppose -m = -4*b - b. Is 12 a factor of b?
True
Let i(s) = 14*s + 1. Let c be i(1). Let b = 361 + -646. Does 5 divide (12/c)/((-6)/b)?
False
Let f(q) = 436*q - 8656. Does 22 divide f(69)?
True
Let o be 1*37 + (-1)/(-3)*3. Is 3 a factor of o/12 + 3*(-5)/90?
True
Let g be (-108 + -18)*(8/3 + -1). Let x = -171 - g. Is x a multiple of 3?
True
Let b = -15 - -21. Let z(f) = f**2 + 13*f + 6. Let d be z(-9). Is 23 a factor of b/(-10) + (-708)/d?
True
Let i be (-42)/(221/1300 - (-2)/(-8)). Let o = 1541 - i. Is o a multiple of 16?
False
Suppose 0 = g + 5*g. Let n be 294/(-21)*((-2)/4 + g). Suppose n*o = -2*o + 99. Is o even?
False
Let o(d) = 47*d**2 - d + 1. Suppose 6 = 3*f + 2*b, -b = -4*f - 2*b + 8. Is 11 a factor of o(f)?
True
Let n be (-4)/(12/6) - -4. Suppose 5*z - 2259 = 3*c, n*z - 4*z + 891 = 3*c. Is z a multiple of 70?
False
Suppose -1 = -0*m + m. Let o(t) = -180*t + 9. Does 15 divide o(m)?
False
Suppose -3*l + 3*a + 134 = -a, -3*l - a = -154. Suppose -3*k = 15, 207 = u + 3*k - l. Is 34 a factor of u?
True
Suppose -5*w + 33 = -16*w. Is 137 - (-3 - -2)*6/w a multiple of 27?
True
Let z(g) = 7*g**2 + 16*g - 78. Let f be z(7). Let d = 722 - f. Is 10 a factor of d?
False
Suppose -4*r + 4*q + 74080 = 0, -29*q = 4*r - 28*q - 74070. Is 47 a factor of r?
True
Let r = -28001 + 48041. Is r a multiple of 60?
True
Let t = 77 + -77. Suppose -x = -t*x + 7. Let u = x + 95. Is u a multiple of 15?
False
Let s = 4 + -19. Let h be (4 + 1 + s)*(-1)/2. Suppose -2*c + 413 = h*c. Is c a multiple of 28?
False
Suppose -7*k + 8*k = -2*x + 10432, 0 = -3*x + 2*k + 15634. Is 79 a factor of x?
True
Suppose 10824 = -28*s + 34*s. Suppose -4*v + 2848 = -s. Is v a multiple of 55?
False
Suppose 6*r + 617 = 4*x + r, 321 = 2*x - 5*r. Suppose j - x = -14*n + 9*n, -5*j + 671 = 2*n. Is 6 a factor of j?
False
Let u = 7 - 4. Suppose 0 = u*b + 5*b - 320. Does 2 divide b?
True
Does 163 divide ((-113430)/9 - 2)/((-356)/534)?
True
Let l(f) = 316*f**2 + 2354*f - 16. Is l(-8) a multiple of 8?
True
Does 6 divide (-18084)/(-36)*3 + 5?
True
Let b(l) = 3*l**2 + 12*l + 36. Let i be b(17). Suppose 3*q = -3*k + 1836, -2*q + 4*k = -117 - i. Is q a multiple of 12?
True
Suppose -2*m = -5*y + 21, 42*m + 8 = 46*m. Suppose -8*p - o = -9*p + 1170, p - 1164 = -y*o. Is p a multiple of 32?
False
Suppose v + 3821 + 974 = 2*o, -5*v = o - 2425. Suppose o = 119*h - 111*h. Does 12 divide h?
True
Let s = 3700 + -2552. Is 7 a factor of s?
True
Suppose 0 = -6*x + 9*x + 135. Let k = -4 + x. Let r = -29 - k. Does 10 divide r?
True
Suppose -2*x = -2*v - 110, -14*v + 12*v = x - 46. Suppose 0 = -57*n + x*n + 570. Is 6 a factor of n?
True
Let f(p) = 31*p + 5. Let t(u) = u**2 + 4*u + 2. Let c be t(-4). Let k be f(c). Suppose -3 = -2*n + k. Does 7 divide n?
True
Let j(z) = -932*z**3 - 2*z - 2. Let q be j(-1). Is 40 a factor of 15/(-60) + q/16?
False
Let z be (-3 + 3)*2/(-10). Suppose z = -74*r + 68*r + 1248. Does 16 divide r?
True
Suppose 4*l - 20 = 9*s - 5*s, 0 = 5*s + 2*l + 53. Let f(o) = -16*o + 113. Does 87 divide f(s)?
False
Let a be (2/3)/(4 + (-54820)/13710). Is 15 a factor of a*1 - (13 + -21)?
True
Let l(t) = t**2 - 72*t + 44. Let g be l(24). Let a = 3212 + g. Is 13 a factor of a?
False
Suppose 2*w - 9 = -13. Let k be 4*w/(-8) - -2. Suppose 0 = k*t, 215 = 5*d + 3*t - 4*t. Is 11 a factor of d?
False
Let a(y) = -2*y + 41. Let u be a(19). Suppose u*g = 1032 - 96. Does 13 divide g?
True
Let o(n) = -n**2 - 67*n + 175. Does 4 divide o(-66)?
False
Suppose -1109352 = 341*i - 6980161 - 3744709. Does 47 divide i?
False
Does 34 divide (2/(-15) - 5080/150)*-71?
True
Let k(w) = -89*w**3 + w. Let x be (-108)/132 + 4/(-22). Is 4 a factor of k(x)?
True
Let y be -192*(-6)/27*81. Suppose -y = -5*n - 7*n. Is 18 a factor of n?
True
Let r = 84 + -93. Let x(u) = -14*u - 30. Let s be x(r). Suppose -5*m + s + 3 = z, 3*m + 3*z = 57. Is m a multiple of 10?
True
Let b(t) = -t**2 + t. Let u(h) = -6*h**3 + 2*h**2 + 9*h - 6. Let y(k) = -2*b(k) - u(k). Is y(5) a multiple of 12?
False
Suppose -14 = 8*g - g. Let t be (4/(6/3))/g. Is 7 a factor of 5/(4/(-28)*t)?
True
Let p(k) = 3*k**3 + 126*k**2 - 31*k - 224. Is 328 a factor of p(-32)?
True
Let s(x) = -7*x**2 + 180*x + 38. Does 34 divide s(10)?
False
Let n(d) = 420*d**2 - 88*d + 566. Is 18 a factor of n(7)?
False
Suppose -2*v + 495 = 4*x + 3*v, -5*v + 245 = 2*x. Suppose -10*m + 445 = x. Is 19 a factor of m?
False
Let u(r) = r**3 - r**2 - 2*r. Let h be u(-2). Let q = h - 32. Let p = q + 145. Is 28 a factor of p?
False
Let k = -1463 + 3258. Suppose 0 = -12*d + 689 + k. Is d a multiple of 17?
False
Let m(u) = -15*u**3 + u**2 - 6*u + 10. Let p be m(3). Let k = -394 - p. Is k a multiple of 5?
True
Suppose 24 = 6*f, 3471 - 54579 = -5*o - 2*f. Is o a multiple of 70?
True
Let n(g) be the second derivative of g**4/3 - 83*g**3/6 + 19*g**2/2 + 49*g. Is n(22) a multiple of 6?
False
Let y = 4401 - -37641. Is 66 a factor of y?
True
Let j be (-2)/11 + 10/55. Suppose -2*b - 3*d + 63 = j, d - 6*d = b - 49. Does 18 divide 252/b*60/7?
True
Let s be (1106/(-63)*6)/((-2)/12). Suppose 1786 = 6*i - s. Is i a multiple of 23?
False
Suppose 5*a + 16 = 9*a. Suppose 2131 - 355 = a*t. Does 46 divide t?
False
Suppose -4*p = -2*p - 4*x - 2336, 4*x = -p + 1162. Let u = p + -774. Is u a multiple of 4?
True
Let v be ((-100)/(-3) - -3)*3. Let f = 119 - v. Suppose f*p - 2*p = 80. Is 3 a factor of p?
False
Let j be (4/5)/(3/(2835/18)). Suppose -j = 6*r - 7*r. Suppose -39*s = -r*s + 132. Does 11 divide s?
True
Let s = 109 + -412. Let g = s - -453. Does 34 divide g?
False
Suppose 0 = 6*g - 2064 - 156. Suppose -3*p = 4*k - g - 832, 0 = -5*k + 4*p + 1487. Suppose 5*z - 201 = k. Does 25 divide z?
True
Let p be 27350/20 - (-1 - (-1)/2). Suppose 84*f + p = 90*f. Is 19 a factor of f?
True
Suppose 5*x = -5*o - 80, o + 3*o + 76 = -5*x. Let k = x + 256. Suppose 3*l = k - 76. Is 28 a factor of l?
True
Let g(h) = 16*h**3 - 3*h**2 + h + 4. Suppose 0 = 3*x - 3*t - 2 + 11, -t = -3. Suppose 18*p - 17*p - 2 = x. Is g(p) a multiple of 12?
False
Let s(v) = 4*v**2 + 17*v - 62. Let z = -591 + 597. Is 46 a factor of s(z)?
True
Let o(u) be the second derivative of u**7/840 + u**6/720 - 2*u**5/15 + 17*u**4/12 + 2*u. Let k(t) be the third derivative of o(t). Does 31 divide k(-7)?
True
Let s = -218 - -2