3*r - 2. Let t be u(1). Let y(j) = -4*j - 16. Let d be y(t). Is 15 a factor of d - (-860)/12 - 6/9?
True
Let n(m) be the third derivative of 0 + m**3 - 1/8*m**4 + 0*m - 15*m**2. Is 12 a factor of n(-2)?
True
Suppose -2*u = k + 14, -4*k - 56 = -9*u + 4*u. Let w(o) = o**3 + 13*o**2 - 15*o + 2. Let r be w(k). Suppose -13*j = -r*j + 150. Is j a multiple of 10?
True
Let u(n) be the first derivative of 4*n**3/3 + n**2 + 5*n + 4. Let q be u(4). Let j = 31 + q. Is j a multiple of 19?
False
Let w(h) = -h**3 + 8*h**2 + h - 1. Let t be w(8). Let c(u) = 14*u**2 - 3*u - 53. Is c(t) a multiple of 34?
True
Is 13 a factor of (-29092572)/(-2508) - 2*3/(-66)?
False
Let n = 38 + -18. Let w = -20 + n. Suppose -5*d + 14 = -w*d + 2*h, 2*d - h = 11. Is d even?
True
Let c be (3*1)/(2*(-4)/(-8)). Let s be c + -7 + (1 - -2). Does 10 divide -8 + 11 + (s - -33)?
False
Let o(d) = 8*d**2 + 41*d - 237. Does 6 divide o(5)?
True
Is 10 a factor of (-12352)/(-72) - ((-40)/9 + 4)?
False
Let v(q) = 4*q - 10. Suppose 0 = -3*a + 3*p + 3, -2*a + 3*p = 1 + 2. Let y be v(a). Suppose -4*u + 154 + y = 0. Does 21 divide u?
True
Let b(m) = 2*m + 18. Let g(q) = -22*q - 8. Let k be g(4). Let n be (-2 - -1)*7*k/56. Does 7 divide b(n)?
True
Is (-32787)/(-5) - (3 - 208/80) a multiple of 90?
False
Let y(n) = n**3 - 3*n**2. Let c be y(3). Suppose c = 2*l - 686 - 616. Let p = l - 387. Is p a multiple of 13?
False
Is (-82 - -66) + 2524/1 a multiple of 58?
False
Suppose 4*n - 10 = r, 18 = -2*n + 6*n + 3*r. Does 54 divide 7525/35 + 2 + -2 + n?
False
Suppose -22*h = -12*h - 2320. Suppose -c = -h - 195. Does 18 divide c?
False
Let n = 3840 + -2058. Suppose 0 = 4*g - 2*j - n - 1108, -705 = -g + 4*j. Is 29 a factor of g?
True
Suppose 0 = 7*c + 5*c + 60. Let u(o) = -3*o - 9. Let s be u(c). Does 2 divide (-6 - -4)*(2 + (-45)/s)?
False
Let q(c) = 14*c**2 + 261*c + 55. Is 36 a factor of q(23)?
True
Suppose 17028 = 3*d + 3*v, 0*d - 5676 = -d - 2*v. Is d a multiple of 22?
True
Suppose 7*o - 3*o + 8 = 0, -o = 3*m - 274. Let i = m - 86. Suppose 0 = 3*a + i*a - 504. Is a a multiple of 4?
True
Suppose 21 - 6 = -a. Let o be -55 + 58 - -1*45. Let w = a + o. Is w a multiple of 7?
False
Let h(d) = 12*d - 11. Let w = 187 + -166. Is h(w) a multiple of 35?
False
Let a(t) = -6*t**2 - 404*t + 106. Does 27 divide a(-46)?
True
Suppose 2*i - 60417 = -5*d, -7*i + 36261 = 3*d - 4*i. Is 11 a factor of d?
False
Let h(p) = -2*p**3 - 15*p**2 + 4*p + 10. Suppose d = 28 - 33. Let u(g) = -g**2 + 1. Let z(k) = d*u(k) + h(k). Is z(-6) a multiple of 6?
False
Let r(a) = 2*a**3 + 13*a**2 + a - 10. Let g = -53 + 68. Suppose 2*l = -l - g. Is r(l) a multiple of 15?
True
Let v(c) be the third derivative of c**6/120 + c**5/6 - 5*c**4/24 + 7*c**3/2 + 31*c**2. Is 11 a factor of v(-9)?
False
Let n = -39 + 39. Let k = n - -10. Let d = k - -74. Does 21 divide d?
True
Suppose 18*i = 17*i - 4*g + 4312, -17267 = -4*i + 3*g. Is 54 a factor of i?
False
Let c(v) be the third derivative of -22*v**2 + 0 - 1/2*v**4 + 5/2*v**3 + 11/60*v**5 + 0*v. Does 46 divide c(5)?
True
Let x be (-6)/(-1)*(-25)/(-2). Let d = 40 - x. Is 7 a factor of 205/d + 6 + 881/7?
True
Suppose 3*s - 2*q + 22 = 6*s, q = -5*s + 32. Does 11 divide (795/9 + 2)/(2/s)?
False
Let b be (5 + -7)*(-3)/2 - 1. Suppose -13*k + 12*k + b*p + 1003 = 0, 5*p = 4*k - 4021. Is 25 a factor of k?
False
Suppose -3*m - 6*m = 9*m. Suppose m = -5*h - 173 + 2168. Does 21 divide h?
True
Suppose 0 = -2*c - c + 6. Suppose -v + 375 = j, -6*v + c*j = -3*v - 1115. Suppose -748 = -4*o - 4*i, -i - v = -2*o - 4*i. Is 18 a factor of o?
False
Let m(a) = -a + 1063. Does 17 divide m(-8)?
True
Let q(m) = m**2 - 13*m + 16. Let n be q(13). Let u = 21 - n. Suppose u*g - 1824 = -3*g. Is g a multiple of 38?
True
Suppose 0 = -2*d - 90 + 50. Is 11 a factor of ((-3696)/(-40))/((-3)/d)?
True
Suppose -3*u + 7 = -4*i, 4*u - 19 - 7 = -3*i. Let x be 0 + -1 + i + (-6 - -8). Let r(l) = 6*l + 12. Is 10 a factor of r(x)?
True
Let u = 978 + 232. Does 22 divide u?
True
Suppose 0 = 4*x - 3*w + 207, -2*w = -2*x + 49 - 151. Does 19 divide (-800)/(-36) - (-12)/x?
False
Suppose 0 = 5*c - 12*c + 406. Let b = 76 + c. Is b a multiple of 29?
False
Suppose 0 = 28*s - 25*s - 2*f - 25728, 0 = 5*s - f - 42873. Is s a multiple of 60?
False
Suppose 3*p = 2*t + 3*t - 10, -2*p = -4*t + 8. Let c(j) = j**3 - j**2 + j. Let g be c(2). Suppose p = 4*h + g*h - 1240. Does 17 divide h?
False
Suppose 0 = -16*q + 20*q - 1472. Suppose 4*h - 4*c - 948 = q, -5*h = c - 1621. Does 13 divide h?
True
Let h(o) = -3*o + 55. Let p be h(17). Suppose -95 = -p*w + 213. Is 11 a factor of w?
True
Suppose -11*z + 35 - 13 = 0. Let u(t) = 28*t**2 - 6*t**z - 14*t**2 - 7*t**2 + 2 + 7*t. Does 6 divide u(-15)?
False
Suppose j + 6 = 0, 5*r - 7987 = -3*j + 5675. Is 9 a factor of r?
True
Let l = 126 - 26. Suppose 4*d = u - 84 - l, d = -2*u + 404. Is 25 a factor of u?
True
Suppose 2*y = -d + 168 + 17, 0 = -3*d + 9. Is y/(-26)*(-288)/21 a multiple of 37?
False
Let l(u) be the third derivative of -17*u**4/24 - 7*u**3/6 + 2*u**2. Suppose -c - 6 = i, -5*c - 13 = -3*i + 1. Is l(i) a multiple of 14?
False
Suppose 0 = -3*b - 0*b - 2*b. Let x(s) = s**3 + s**2 + s - 1. Let g be x(b). Is 8 a factor of g/4 - ((-2214)/24 + -4)?
True
Let k = -344 - -390. Suppose -k*w + 40*w = -630. Is 16 a factor of w?
False
Let l = -20 - -11. Let t be (-15)/l + -1 - (-4)/(-6). Suppose t = 3*s - 35 - 1. Is s a multiple of 6?
True
Let g be (-1 - (-11)/5)/(54/135). Suppose -5*h + 2*m = -18, g*h = 4*h - m - 3. Suppose -2*d - 88 = -3*y, h*y - 5*d - 104 = 11. Is y a multiple of 6?
True
Let i(a) = 451*a - 4291. Is i(13) a multiple of 3?
True
Suppose 3*j = -0*j - 54. Let a(k) = -41*k + 24. Let q(i) = 64*i - 21. Let y(m) = -3*a(m) - 2*q(m). Does 30 divide y(j)?
True
Let f = -38783 - -40551. Does 52 divide f?
True
Let f(a) be the first derivative of a**3/3 + 5*a**2 + 4*a - 1. Let s(d) = -8*d + 286. Let t be s(35). Does 10 divide f(t)?
True
Suppose 0 = -2*c - 4*g + 22324, -14*g - 10 = -12*g. Does 147 divide c?
True
Suppose 4*a - 167502 = 2*n, -3*a + 34741 = 4*n - 90891. Is 49 a factor of a?
False
Let s(y) = 11*y**2 - 15*y - 17. Let k(j) = -7*j**2 + 10*j + 11. Let r(l) = -8*k(l) - 5*s(l). Let h be r(6). Is (-18)/(-27) + 355/h a multiple of 17?
True
Suppose 0 = -t - 2*k - 12, 4*k - 46 = 4*t - t. Let u be (t/28)/((-2)/1932). Suppose 390 = 4*v + 2*l, v + 4*l = -4*v + u. Is 33 a factor of v?
True
Suppose 19*a - 85*a = -1056. Let j(o) be the first derivative of o**2/2 + 6*o - 1. Is 5 a factor of j(a)?
False
Let j be (1608/(-60))/((-66)/(-15) + -4). Suppose -4*q + 30 + 530 = 0. Let r = j + q. Does 13 divide r?
False
Let h(a) = -84*a - 96. Suppose 4*k - 16*k - 120 = 0. Is 31 a factor of h(k)?
True
Let p = -1504 + 5922. Suppose -6 - p = -8*j. Is j a multiple of 27?
False
Let p(k) = 27*k**2 + 159*k - 4. Is p(4) a multiple of 38?
True
Suppose 5*p + 81 = 3*x + 29, 2*x - 4*p = 36. Suppose 8*f - 18 = x. Is 20 a factor of 266/2 + (0 - f)?
False
Suppose 4*o = 3*o - 61. Let i = 46 + o. Does 21 divide 21*(i + 8)*5/(-3)?
False
Let r(l) = l**2 + 50*l - 74. Let j be r(-40). Let d = j + 674. Is 10 a factor of d?
True
Let j be 18/(-243)*219 - 2/(-9). Does 42 divide 24/j - 14287/(-14)?
False
Suppose -149 = -25*z - 2249. Let j = 110 - z. Does 30 divide j?
False
Suppose 20*n - 23*n + 107609 = 5*g, 4*g + 179336 = 5*n. Is 21 a factor of n?
True
Let j = 95 - 86. Suppose j*r = 13*r - 1344. Is r a multiple of 24?
True
Suppose 63*x - 35280 = 33*x. Is x a multiple of 147?
True
Is 32 - 21 - 11*-167 a multiple of 66?
True
Let p be 0 + (-2 - 2) - (279 + 43). Is 18 a factor of -3 + -1 - (p - 26)?
False
Suppose 3*u = -j + 10, 0 = -4*u + 3*j + 48 - 13. Suppose 0 = -2*s - u*q + 746 + 67, -4*s + q + 1593 = 0. Does 44 divide s?
False
Suppose -17 = 2*v - 9. Let l be -6*(2/v)/1. Suppose 0 = l*o - 247 - 5. Is 14 a factor of o?
True
Let b be 2888/133 + 2/7. Suppose -b*g - 1860 = -34*g. Does 17 divide g?
False
Suppose 0 = -3*p - 14*p + 167*p - 1595850. Is p a multiple of 26?
False
Suppose -6*q - 116 + 80 = 0. Does 77 divide q/12 - (-26488)/16?
False
Suppose -3*s + 2310 = -960. Is 5 a factor of s/7 - (-11 - 900/(-84))?
False
Let g = 12 + -9. Let r(j) = -4*j + 1. Let m be r(g). Let f(c) = c**2 + 9*c - 10. Does 12 divide f(m)?
True
Let w(v) = v**3 + v**2 - 11*v - 2. Let y be w(-9