8*k + 12. Suppose 33 = t + 2*t - k*j, -j - 56 = -4*t. Is 14 a factor of t?
False
Suppose -2*j - 354 = -b - 5*j, -5*j = -2*b + 642. Is b a multiple of 48?
True
Let i be (-2 + 73)/(-3 - (-888)/294). Suppose m = n - 863, 6*n = 2*n - 5*m + i. Is n a multiple of 20?
False
Suppose 2*h = 5*m - h - 20, 3*m - 41 = -4*h. Suppose -157*x = -156*x - m. Suppose x*q + 2*d - 996 = 3*q, 5*q - 4*d = 1271. Does 24 divide q?
False
Let z(o) = 4*o**3 - 20*o**2 - 2*o - 66. Let p(x) = -11*x**3 + 59*x**2 + x + 197. Let y(l) = 3*p(l) + 8*z(l). Is 72 a factor of y(11)?
False
Suppose 3*y + 37*z - 33*z = 28175, -y = -2*z - 9375. Is y a multiple of 43?
False
Suppose -1920949 = -186*c + 179735. Is 88 a factor of c?
False
Suppose 20*a - 13*a - 1526 = 0. Let g = a + 7. Does 15 divide g?
True
Suppose -c + 33 = 8. Let p = c - 17. Suppose -143 = -p*h + 49. Is h a multiple of 12?
True
Does 26 divide ((-1519)/62 - -24)*6/1 - -39014?
False
Suppose 4*t - 21 = 19. Suppose 5*j + t*j = -1170. Let i = j - -190. Is 7 a factor of i?
True
Let d be (7 - 18/3)*1. Is 23 a factor of -1 - (d/5 - 23562/85)?
True
Suppose 8*p - 3*b - 73553 = 0, -3*b - 36781 = -9*p + 5*p. Is p a multiple of 9?
False
Let l = 443 - -1312. Is 39 a factor of l?
True
Suppose -2*p - 4*h + 1448 = -3*h, -713 = -p + 5*h. Let m = -507 + p. Is m a multiple of 44?
False
Suppose -3*s = 4*f - 47369, -10*s + 13*f = 16*f - 157969. Is s a multiple of 95?
False
Let m(b) = -b**2 + 5*b + 3. Let i be m(4). Let y = -10 + i. Is 18/(5 + y) - -1 a multiple of 5?
True
Suppose 0 = 9*h - 5*h + 144. Let u be 48/h*(-6)/4. Is 36 a factor of 10/20 + 281/u - -3?
True
Suppose 0 = -8*y + 1354 + 246. Let d = y + -32. Is 24 a factor of d?
True
Suppose d - 197 = -2*k + 344, -4*k = -2*d + 1058. Suppose -t = 4*r - 235, -2*t + 2*r + 3*r + d = 0. Is 8 a factor of t?
False
Suppose 0 = -2*l + 3*x + 48582, 5*l + 2*x - 187492 = -66056. Does 71 divide l?
False
Let y(w) = 3*w**2 - 3*w - 10. Let k be y(14). Let i(q) = 8*q - 564 + k + 17*q. Is 11 a factor of i(9)?
False
Let p be (-252)/(-15) - 10 - (-4)/(-5). Let n(x) be the second derivative of -x**5/20 + 2*x**4/3 - 5*x**3/3 + 7*x**2/2 + x. Is n(p) a multiple of 5?
False
Let y(p) = 129*p**2 - 240*p + 3560. Is 23 a factor of y(13)?
True
Let t(w) = 57*w**3 - 2*w**2 + 6*w - 22. Is 9 a factor of t(4)?
True
Suppose 3*a + a = 2*a. Suppose a = -4*o - 4*u - 644, 0 = -4*o + 4*u + 99 - 751. Let i = -78 - o. Is 12 a factor of i?
True
Let j(v) = v**2 + 15*v - 14. Let i be j(0). Let t = -37 + 26. Does 7 divide (-63 + 0 - (t - i))/(-1)?
False
Suppose 7487 = 76*w - 6421. Is 2 a factor of w?
False
Let z(k) = -41*k - 105. Let j be z(-3). Suppose n - j - 5 = -y, -5*n = 2*y - 61. Is 2 a factor of y?
True
Let q = 88 - 46. Suppose 4*u = -2*u + q. Let m(b) = 25*b - 7. Does 14 divide m(u)?
True
Suppose -r - 792 = -1978. Suppose r = 18*k - 758. Is k a multiple of 18?
True
Let t(d) = 9*d**3 + 2*d**2 + 5*d + 4. Let p be t(-2). Does 4 divide (0 + 60)/2*(-196)/p?
True
Let x be (-4)/(-6) - 1956/(-9). Let m = x - 362. Let u = m - -264. Is u a multiple of 40?
True
Let y(a) = 3*a + 6. Suppose 0 = 13*o + 74 - 386. Is y(o) a multiple of 13?
True
Let v(o) = 8*o**2 + 32*o - 179. Is v(14) a multiple of 11?
True
Suppose -5*u + 105922 = y, 8*y + 29002 = -3*u + 92570. Is 16 a factor of u?
True
Let v = 4984 + 17439. Is v a multiple of 17?
True
Suppose -12*o = o - 26. Suppose -o*r - 340 = -12*r. Is r a multiple of 17?
True
Suppose 0 = -p - 7 + 62. Is 8 a factor of 8 + (-396)/p - 806/(-5)?
False
Suppose -7*h + 1109 = -2*h + 3*j, 5*h = -5*j + 1115. Let v be (5/(-3))/(1/(-78)). Let q = h - v. Is 9 a factor of q?
True
Let w(j) = -8 - 5*j + 1 - j. Let v be 88/(-40)*-5 - 14. Is w(v) a multiple of 2?
False
Suppose -921 = 55*o - 6476. Suppose -m + 73 - 2 = 0. Let r = o - m. Is 5 a factor of r?
True
Let z(c) = 16*c**2 - 33*c + 111. Let j = 544 - 535. Does 10 divide z(j)?
True
Let u(f) = -2*f - 36. Let k be u(-17). Let t be (-40)/16*(3 - 2)*k. Suppose 3*j - 133 = -4*d + 51, 0 = 5*j + t*d - 300. Does 8 divide j?
True
Let y(k) = -27*k - 38. Let o(i) = -i + 1. Let b(x) = 14*o(x) + 2*y(x). Is 30 a factor of b(-12)?
False
Let h(v) be the first derivative of -6*v**2 + 8*v - 19. Let s be h(4). Does 19 divide (190/(-30))/(2/(s + -2))?
True
Is 82 a factor of (-5 - -11)*2 + 6157 - (-1 + -2)?
False
Let l(o) = -3*o**3 + 350*o**2 - 82*o - 1404. Is l(116) a multiple of 186?
True
Let r(d) = -150*d + 6. Let z be r(-2). Suppose -8*x + z = -6*x. Suppose -x = -3*y + 27. Is y a multiple of 6?
True
Suppose -4*m - 1735 = -6*m + o, 0 = m - o - 867. Does 20 divide m?
False
Suppose -5*q + 180072 = 4*u, -13*u + 14*u - 5*q = 45043. Is 11 a factor of u?
True
Let z(y) = -106*y**3 + y**2 + 9*y - 14. Does 75 divide z(-4)?
True
Let g(z) = -42*z - 68. Let s = 11 - 13. Is g(s) a multiple of 16?
True
Suppose -92425 = 200*h - 5856225. Does 11 divide h?
False
Suppose -1648 - 1007 = 2*m - 24671. Does 169 divide m?
False
Let v(m) = -7*m**2 - 9*m**2 + 36*m + 4*m**2 - m**3 - 11*m**2 + 7*m**2 + 40. Is 9 a factor of v(-18)?
False
Let r(w) = -w**3 - 28*w**2 + 52*w - 19. Let x be r(-29). Let k = x - -765. Is k a multiple of 10?
False
Let x = -377 + 624. Suppose -3*z = -x - 263. Suppose z - 509 = -3*j. Is j a multiple of 11?
False
Suppose -5*d + p + 1864 = 0, -2*p = 4*d + 2*p - 1496. Let n = d - 348. Is 2 a factor of n?
False
Is 34 a factor of (44/(-33))/((-24)/612)?
True
Let x(n) = -6*n**3 - 57*n**2 - 126. Is x(-19) a multiple of 22?
False
Let m be 176220/306 + 2/17. Suppose m = 29*w - 13*w. Is w a multiple of 12?
True
Suppose -48*n = 4979 - 15276 - 10487. Is 5 a factor of n?
False
Let m(f) = -11*f + 2. Let n be m(-2). Suppose 4*d + 4*l + n = 0, 5*l = 4*d - 7 + 31. Does 15 divide d/(-9) + 1400/15?
False
Let h(j) = 2*j**2 + 9*j - 14. Let a = 138 - 136. Suppose 3*d + 2*p + 7 = -25, -a*d - 2*p = 18. Is 42 a factor of h(d)?
True
Suppose -5*g + 3805 = d, -5*g - 10*d + 7*d = -3815. Does 8 divide g?
True
Suppose -n + 19 = -67. Let d = 105 - n. Is 19 a factor of d?
True
Suppose 3357 - 664 + 2937 = m. Does 10 divide m?
True
Let r(p) = -39*p**3 + 6*p**2 + 13*p - 14. Let b be r(-5). Suppose -b = -22*c - 1690. Does 4 divide c?
True
Let p = 4265 - 23. Is 14 a factor of p?
True
Let m(s) = -58*s - 61. Suppose 13 = 10*w - 11*w - 5*c, -c + 52 = -4*w. Is m(w) a multiple of 33?
True
Let i = -640 + 5653. Is 73 a factor of i?
False
Suppose 5*v = -1 + 31. Let a be (v*(-4)/(-6))/(-8 + 9). Suppose a*c - 779 = -135. Is 24 a factor of c?
False
Let j = -39006 - -65106. Does 18 divide j?
True
Let m be 2*((-2)/(-1) + -1). Let d(z) = 58*z + 4. Let w be d(m). Suppose 0 = c + 33 - w. Does 18 divide c?
False
Let w be (-898)/((-60)/(-12)*2/(-5)). Let c be (-1*8)/4 + w. Suppose -10*r + c = -33. Is 8 a factor of r?
True
Let b(z) = z**3 - 9*z**2 - 15*z - 5. Let t be -28*(-7 + 13/2). Does 21 divide b(t)?
False
Suppose -5*r = b - 2820, -5*b - 19*r = -16*r - 14166. Suppose 85*z - 76*z - b = 0. Is z a multiple of 45?
True
Let k = -250 - -253. Suppose -k*n - 23*y = -19*y - 73, y = -4*n + 93. Is n a multiple of 11?
False
Let w be (-5 - 2) + 3 + 79. Let l = 103 + -58. Let d = w + l. Is d a multiple of 30?
True
Let g be (-2)/(-3)*837/12*2. Suppose -2*z + 75 = -g. Is 3 a factor of z?
True
Let k(c) = 9*c**2 - 16*c - 774. Is 43 a factor of k(33)?
False
Let d(r) = r**2 + r + 5. Let n(a) = a**2 + 5. Let v = 67 - 63. Let w(x) = v*d(x) - 3*n(x). Does 25 divide w(4)?
False
Is -58 - -2280 - (16 - 2) a multiple of 12?
True
Suppose -511 = 5*c - 611. Is 2 a factor of c?
True
Let r(l) = -47*l + 10. Let z(w) = w**2 + 11*w + 20. Let t be z(-3). Does 22 divide r(t)?
True
Suppose -9*v = -5*t + 83, 3*t + 0*v = -v + 37. Suppose -3*y + 2*x + 7 = -3, x = 2*y - 5. Suppose -t*c + 12*c + 285 = y. Is c a multiple of 15?
True
Let c(d) be the third derivative of d**5/15 + 3*d**4/8 - 20*d**3/3 + 126*d**2. Is c(-12) a multiple of 34?
False
Let u(k) = -k + 1 - k + 2 + 5*k. Let z be u(1). Suppose 54 = z*o - 48. Does 4 divide o?
False
Suppose 29*b + 240 = 59*b. Suppose 3*s = 4*d + b*s - 216, 5*d - 4*s = 270. Does 9 divide d?
True
Let r(u) = 39*u - 6. Let p be r(4). Suppose -30 = 25*z - 31*z. Suppose -z*f - 15 = -p. Is f a multiple of 8?
False
Let h = 32 - 30. Suppose 0*r - h*f + 13 = -r, 0 = -2*r + 3*f - 21. Let q(x) = -2*x + 2. Is q(r) a multiple of 4?
True
Let t(w) = w**2 - 9.