of 5?
True
Let i(j) = -j + 75. Let n(z) be the first derivative of 38*z + 16. Let l(t) = 3*i(t) - 5*n(t). Is 2 a factor of l(8)?
False
Let c(a) = -28*a - 228. Let x be c(-14). Suppose b + 0*b = 0. Suppose 2*v - x = -4*m, -2*m + 90 = -3*v - b*v. Does 6 divide m?
True
Is 39 a factor of 80/360 - (-181108)/36?
True
Let s(c) be the second derivative of c**5/10 - 13*c**4/12 + 7*c**3/6 + 2*c**2 + 2*c. Let p be s(6). Suppose -12*u + 102 = -p*u. Is 19 a factor of u?
False
Suppose -10 = -16*m + 54. Suppose 0*z + 1012 = m*z - 2*w, 5*w = -10. Is 56 a factor of z?
False
Let h = 167 + -402. Let b = h + 443. Is b a multiple of 29?
False
Let r = 212 + 318. Let q = r - 113. Is q a multiple of 18?
False
Suppose 31086 = -99*g + 121*g. Suppose -g*z + 1484 = -1409*z. Is z a multiple of 5?
False
Suppose 451092 - 1692 = 28*a. Is 15 a factor of a?
True
Let p be (-3 - (-174)/30) + 16/(-20). Let u = -319 + 1045. Does 13 divide p/14 + u/14?
True
Does 44 divide (154440/(-480))/(1/(-48))?
True
Suppose j - 10 = -j. Suppose 155 = j*d + 50. Let p = -11 + d. Is 10 a factor of p?
True
Suppose 0 = -4*h - 8*h + 20544. Suppose i - h = -1215. Does 19 divide i?
False
Let q(d) = -6*d**3 - 25*d**2 - 52*d + 146. Is q(-20) a multiple of 21?
True
Suppose 0*w - 6*w = -4*q + 4816, w - 6037 = -5*q. Does 42 divide q?
False
Let p(m) = -m**2 - m + 16. Let w be p(9). Let a = -70 + 186. Let g = w + a. Does 14 divide g?
True
Let m(s) = 73*s - 166. Let f(v) = -36*v + 83. Let t(k) = 5*f(k) + 3*m(k). Does 9 divide t(7)?
False
Let l(x) = 2*x + 6. Let j be l(-2). Suppose 3*b = 2*y - 234, 2*y - j*b + 244 = 4*y. Does 6 divide y?
True
Suppose -6*l + 2*l + 64448 = 72*l. Is l a multiple of 8?
True
Let a(p) = 12*p**2 + 3*p - 2. Let r(t) = -25*t**2 - 7*t + 4. Let c(m) = 5*a(m) + 2*r(m). Suppose -3*w = 0, 2*s + 5 - 1 = -4*w. Is c(s) a multiple of 3?
True
Suppose -20 = 21*q - 25*q. Suppose -q*y - 22 = -7, 3*y + 1211 = 2*u. Suppose -7*o + 1177 = -u. Does 56 divide o?
False
Suppose n = 3*n + 5*k - 15, 4*n - 2*k = 18. Let q(x) = x**2 + x - 1. Let o be q(n). Let f = 38 - o. Does 3 divide f?
True
Let z(p) = -p**3 + 7*p**2 + 6*p - 16. Let i be z(6). Suppose -2*s = -s - i. Suppose -s = -2*a + 3*q, -q - 58 = -5*a + 82. Is a a multiple of 2?
True
Let y(q) be the third derivative of q**5/60 + 17*q**4/24 + 4*q**3 + 15*q**2 - 1. Is 3 a factor of y(-16)?
False
Suppose -34*d + 32303 + 61945 = 0. Does 12 divide d?
True
Let a = 15455 - 13941. Is a a multiple of 3?
False
Let t(m) be the first derivative of 2*m**3/3 + m**2 - 3*m + 30. Suppose v - k + 14 = -v, v - 2*k + 1 = 0. Does 13 divide t(v)?
False
Suppose 5*n - x - 7056 = 0, 5*n = 12*x - 7*x + 7080. Is 11 a factor of n?
False
Suppose 4*i + 2*m = -120, 4*i = 4*m + m - 148. Suppose 0*t - 10 = 4*t - 3*a, -3*a = -5*t - 11. Does 13 divide t - i - (-1 + 5)?
False
Suppose 39*t - 54 = 33*t. Does 25 divide 18/(-3) + t + 3*301?
False
Let a be (0 + 0)*2/6. Let o be -65 + a + 1 + 1. Let y = o + 119. Is 14 a factor of y?
True
Let c(l) = -l**2 + 15*l + 24. Let x be c(16). Does 36 divide (-3 - 6501)/x*2/(-6)?
False
Let p be (-4 - (4 - 18))/(2/1). Suppose 8 = 2*u, -5*u + 8 + 22 = p*f. Suppose 374 = f*k - v, 268 = -3*k + 4*v + 824. Is k a multiple of 47?
True
Let l(g) = -g + 1. Let y be l(-3). Let t(r) = -r + r**3 + 11*r**2 - 2*r**3 - 5*r. Does 9 divide t(y)?
False
Suppose -10*q + 36 + 94 = 0. Let o(v) = q - 63*v**3 + 8*v**2 + 125*v**3 - 61*v**3. Is o(-8) a multiple of 6?
False
Let m(w) = 4*w**3 - 2*w**2 + 1. Let d be 1/(0 - (2/4)/(-1)). Does 4 divide m(d)?
False
Let j = -7869 + 12229. Does 109 divide j?
True
Let o(p) = 48*p**2 + 22*p - 23. Let k be o(1). Let q(w) = 119*w. Let l be q(1). Let f = l - k. Is f a multiple of 12?
True
Let b be 103/2 + (-5)/(-10). Let s be ((-10)/(-6))/(-7 - 178/(-24)). Suppose s*l = -b + 116. Is l a multiple of 8?
True
Let y(w) = 691*w - 12. Let p be y(1). Let j = -151 + p. Does 24 divide j?
True
Suppose -25 = 3*c - 19. Is c*(-3)/12 - (-761)/2 a multiple of 23?
False
Let u(i) = -i**3 - 18*i**2 + 23*i + 76. Let h be u(-19). Let v be (-73)/7 + 24/56. Let c = h - v. Is c even?
True
Let n = 2975 - 2799. Is n a multiple of 3?
False
Let t be (-2744)/(-48) + 1/(-6). Let v = 265 - 157. Let u = v - t. Is u a multiple of 6?
False
Let j(y) = 3*y**2 + 52*y - 135. Is 4 a factor of j(-49)?
True
Let a be (22 - 30)/(2 + -1). Is 2/(a/(-10))*(-20 + 88) a multiple of 34?
True
Let s(w) = -6*w**3 - 77*w + 6 - 5*w**2 - 70*w + 143*w. Let l be s(-4). Let c = 502 - l. Is 44 a factor of c?
True
Is (52682/355)/((-3)/(-45)) a multiple of 138?
False
Suppose -97*h = -102*h + f + 30435, h - 2*f = 6096. Is 34 a factor of h?
True
Let b be 21/2*(-52)/6. Let h = 268 + -314. Let m = h - b. Is 15 a factor of m?
True
Suppose -54*g - 134640 = -69*g. Is g a multiple of 102?
True
Suppose -5*z + 4*q + 11445 = 11*q, 4*z - 4*q - 9204 = 0. Does 28 divide z?
True
Suppose 0 = 5*x - 18 - 17. Suppose 0 = 4*s - 5*p + 4, -2*s = 2*p - x - 9. Suppose 69 = 3*i + b + 2*b, 83 = s*i + b. Is 10 a factor of i?
True
Let o = 55191 - 36106. Is 42 a factor of o?
False
Let i = -5518 + 9695. Is 5 a factor of i?
False
Let z = -161 - -345. Suppose 4*g = z + 208. Is g a multiple of 7?
True
Is (2/(-15)*(9 - 4))/(4/(-55974)) a multiple of 19?
True
Suppose -4*n - 6137 - 309 = x, 3*n = 5*x + 32115. Let t be (-6)/(-15) - x/35. Suppose 43*v = 45*v - t. Does 12 divide v?
False
Suppose 19 = -4*i + 27. Suppose -i*k + 3*k + 2 = 2*q, 0 = 3*k + 3*q - 39. Suppose k*v - 408 = -0*v. Is 17 a factor of v?
True
Suppose 4*r + 3*z - 37 + 14 = 0, -r - 4*z + 22 = 0. Suppose 1 = x, 6*v - r*x = 4*v + 1062. Is v a multiple of 61?
False
Let t = -6171 - -13851. Does 24 divide t?
True
Let a = 111 + -108. Suppose -u = j - 22, a*j - 5*u = 39 + 3. Does 4 divide j/(-95) - 812/(-10)?
False
Let n(v) = -4*v - 6. Let l be n(-4). Let g(p) = 2*p**2 - 3*p - 8. Let x(d) = -d**2 + d + 4. Let y(q) = -3*g(q) - 7*x(q). Is 15 a factor of y(l)?
False
Let x = 20 + 30. Suppose -7*f = 3*f + x. Let n = 13 + f. Is n a multiple of 3?
False
Suppose -11*w - 99 = -0*w. Let r be (1*-13)/(w/171). Let f = r - 43. Is 12 a factor of f?
True
Let q(m) = m**3 + 56*m**2 - 137*m - 159. Is 24 a factor of q(-58)?
False
Let h be 52/(-18) - (-3)/(-27). Let f be (2/h)/(12/(-72)). Suppose 5*u - 311 = -2*k, -2*k - 2*k = -f*u + 232. Does 10 divide u?
False
Let h(c) = 10*c - 64. Let g be h(7). Suppose -g*w = -2*w - 240. Is 3 a factor of w?
True
Suppose -735*z + 731*z = -20480. Is 20 a factor of z?
True
Suppose 3*m + 36 = 3*y, 8*m - 30 = -4*y + 3*m. Let z(q) = q**2 + 8*q + 9. Let p be z(-7). Suppose -y = -p*a, -4*b + 7*a - 6*a + 191 = 0. Does 10 divide b?
False
Let b = 359 + 2536. Is b a multiple of 55?
False
Let x(h) = -21*h + 1505. Is x(44) a multiple of 25?
False
Suppose 47*y + 16524 = 560972. Is y a multiple of 7?
False
Suppose -3*i + 7*i + 3*j = -32, 3*j - 67 = 5*i. Let l = i + -88. Let r = l - -227. Is 24 a factor of r?
False
Let k(y) = y**2 + 4*y - 2. Let h be k(-5). Let j be -174*(60/(-72) - 2/4). Suppose 0 = -h*o + 745 - j. Is o a multiple of 15?
False
Let j(y) = -y**3 - 10*y**2 + y - 16. Suppose -f - h = 12, f + 3*f + 2*h + 56 = 0. Let m be j(f). Is m/20 - (-2)/(-10) a multiple of 12?
False
Let w = -12 + 9. Let v(s) = 7*s**3 - 2*s**2 + 3*s + 11. Let i(c) = 6*c**3 - c**2 + 2*c + 10. Let h(p) = -3*i(p) + 2*v(p). Is 23 a factor of h(w)?
False
Suppose -o = 17 - 27. Let j(k) = 44*k + 28. Does 15 divide j(o)?
False
Suppose 5*k - 13 - 2 = 0. Suppose -2*v = -3*c - k*v + 3, 15 = 3*c + 5*v. Suppose -3*b + 2*q + 476 = c, 0*q = 2*b + 2*q - 334. Is 18 a factor of b?
True
Let k = -103 - -201. Let d = k + -92. Suppose -d*r = -5*r - 12. Does 2 divide r?
True
Suppose 14*z - 69810 = -9*z - 55*z. Is z a multiple of 10?
False
Let l(g) be the second derivative of -g**5/20 - 11*g**4/6 + 11*g**3/2 - 67*g**2/2 + g - 146. Does 7 divide l(-24)?
False
Let o(r) = -10*r**3 + 7*r**2 - 6*r - 2. Let k(q) = -53*q**3 + 36*q**2 - 31*q - 9. Let x(l) = -2*k(l) + 11*o(l). Does 58 divide x(-4)?
True
Let a be (4/6)/(-1) + (-31640)/6. Let b be (a/24)/(-3) - (-6)/8. Suppose 88 = d - b. Does 18 divide d?
True
Suppose 9754*o = 9766*o - 45396. Is o a multiple of 97?
True
Let d = 19520 - 18711. Is 29 a factor of d?
False
Suppose -2*y - 183*z + 186*z + 8104 = 0, -16168 = -4*y + z. Is y a multiple of 20?
True
Suppose 21*r - 253952 =