a factor of d(-6)?
False
Let u(d) = 15*d + 2. Let m(z) = -8*z + 4. Let r(j) = -9*j + 3. Let l(f) = -5*m(f) + 6*r(f). Let w(a) = 4*l(a) + 5*u(a). Is 24 a factor of w(8)?
False
Let d(n) = n**3 - 4*n**2 - 3*n + 1. Let j be ((-19)/(-2) + -2)*44/55. Is d(j) a multiple of 5?
True
Let o(c) = c**3 - 2*c**2 + 4*c - 3. Let h be o(3). Let k be (-3)/h*-46*51. Suppose k = 5*a - 5*w - 19, 3*a - 236 = w. Is a a multiple of 12?
False
Let s(l) = -6 - l**3 + 2*l + 15*l**2 + 2*l**3 - 2. Let c be s(-14). Suppose c = 5*a + 5*a. Is a a multiple of 12?
False
Suppose -675772 + 148041 = -80*g + 533949. Is g a multiple of 23?
True
Suppose -2*n = -3*y + 1892, 46*n = 43*n - 3. Is y a multiple of 30?
True
Let u = -12375 - -12617. Is u a multiple of 121?
True
Let u = 7192 - 6895. Does 3 divide u?
True
Suppose -4*x - 4*c = -388, 3*x - c + 2*c - 289 = 0. Suppose 1960 = 103*b - x*b. Does 20 divide b?
True
Let s(l) = -33*l - 60. Suppose -25 = 42*j + 269. Does 19 divide s(j)?
True
Let i(d) = d**3 - 5*d**2 - 3*d - 8. Let b be i(6). Suppose -h + b = h. Suppose -24 = -4*z - 8, 2*z = -h*u + 93. Does 17 divide u?
True
Let q = 99 - 94. Let a be (-4 - (1 + 2 + -3)) + q. Is a - -40 - (-9)/(-7 - -4) a multiple of 19?
True
Suppose -2409*y - 137908 = -2432*y. Is y a multiple of 25?
False
Let l(z) = 2*z**2 - 2*z - 2. Let m be l(3). Let d(i) = i**2 - m*i + 13 + 10 - 3*i**2 + i**2. Does 4 divide d(-11)?
True
Let y(g) = g**3 + 2*g**2 - 4*g - 8. Let q be y(-3). Let b be ((-1260)/(-25))/(-3)*q. Suppose -3*h - b = -10*h. Is h even?
True
Suppose 3*g + 21 = 4*q, -5*q = 36*g - 31*g. Let l(b) be the third derivative of b**6/60 - b**4/12 + 4*b**3/3 + b**2. Is 14 a factor of l(q)?
True
Let x(j) = -j**2 + 17*j + 6. Suppose -2*r + k = -4*k - 79, r - 3*k = 42. Suppose r = 9*s - 36. Is x(s) a multiple of 50?
False
Let h(b) = -220*b - 1900. Is h(-16) a multiple of 15?
True
Suppose 35*l - 31*l - 20 = 0. Suppose 900 - 140 = l*b. Suppose -4*s + b = 48. Is s a multiple of 8?
False
Suppose 0 = 3*u + w - 2535, 0 = 16*u - 13*u - w - 2547. Does 3 divide u?
False
Let q(y) = -581*y - 81. Does 23 divide q(-2)?
True
Let h = -48 + 52. Suppose 5*x - 3*m + 18 = 51, 3*m = -h*x + 48. Suppose -x*a + 940 - 265 = 0. Is a a multiple of 4?
False
Suppose 0 = 155*p - 159*p + 2176. Does 136 divide p?
True
Let s(b) = -b**3 - 20*b**2 - 41. Suppose 0 = -11*g + 6*g - 105. Is s(g) a multiple of 32?
False
Is 60723936/2464 + 6*1/11 a multiple of 13?
False
Suppose 2861*z - 2846*z - 94444 - 193976 = 0. Is z a multiple of 92?
True
Let y(v) = 292*v**2 + 4*v + 10. Let u be (-310)/248 + (-6)/8. Does 39 divide y(u)?
True
Let u(t) = t**2 - 13*t + 14. Let b be u(12). Suppose 130 = -4*q + 3*q - b*o, -2*q - 2*o - 250 = 0. Does 2 divide (q/(-16))/(2/4)?
False
Let r(j) be the second derivative of -j**5/20 + 11*j**4/6 - 7*j**3/2 - 7*j**2 + 5*j. Let n be r(21). Let l(f) = -2*f - 14. Is 6 a factor of l(n)?
False
Let k(n) = -133*n - 9. Suppose 2*m - 4 = -8. Let f be k(m). Let v = f - 167. Is v a multiple of 26?
False
Let z(s) = -724*s + 1740. Is z(-8) a multiple of 14?
True
Let z(x) = 2*x + 16. Let v(i) = -i - 15. Let j(a) = 2*v(a) + 3*z(a). Let m be j(-7). Does 16 divide 800/(-20)*12/m?
True
Let o be (-1)/(-4) + (-1197)/228. Let c(s) = 6*s**2 - 8*s + 17. Is c(o) a multiple of 12?
False
Let f = 51 - 458. Let b = -215 - f. Is (4/8)/((-2)/b)*-1 a multiple of 24?
True
Let r(u) = -6*u + 89. Suppose -5*q + 61 - 21 = 4*d, -3*d = 0. Does 9 divide r(q)?
False
Let c be (238/49 + -4)/(3/14). Suppose -c*z - 5*s = 34, -2*z - s - 16 = s. Let d(q) = 4*q**2 + 5*q + 6. Is 24 a factor of d(z)?
True
Let f = 988 + -592. Let x = f - 289. Is 8 a factor of x?
False
Suppose 0 = -11*t - 496 - 637. Let i(o) = -4*o**2 + 3*o - 1. Let a be i(9). Let b = t - a. Is 39 a factor of b?
True
Let x(z) = -26*z**2 + 345*z - 74. Let j be x(13). Suppose d = -4*c + 5*d + 412, -3*d + 447 = 4*c. Suppose c = j*v - 79. Is v a multiple of 3?
False
Is 20 a factor of 1410*(1 + (-5 - -1) - (-11)/3)?
True
Suppose -9 = 14*t - 79. Is ((-2583)/9)/(4 - t) a multiple of 7?
True
Let b = -20299 + 37579. Is 60 a factor of b?
True
Let k be 27/9 + (-2 - -2) + 0. Let n be (0 - -82)*(-3)/k. Let d = n + 113. Does 10 divide d?
False
Suppose 140*x - 20340 = 135*x + 5*a, 0 = -5*a - 25. Does 69 divide x?
False
Let m(q) = 34*q**2 + 5*q - 33. Let u(g) = -70*g**2 - 9*g + 58. Let a(d) = -9*m(d) - 5*u(d). Let f = 10 - 7. Does 51 divide a(f)?
False
Let c(i) = -i**3 - 6*i**2 + 12*i - 4. Let f be c(7). Let j = f - -969. Is 7 a factor of j?
False
Suppose -148 = -13*k + 281. Suppose k*u - 8680 = 13*u. Is u a multiple of 22?
False
Let s = -34543 - -51938. Does 35 divide s?
True
Let c(n) = 7*n**3 + n**2 - 15*n - 3. Let g be c(4). Let j = 851 - g. Does 25 divide j?
True
Let x(u) = -2*u**3 - 38*u**2 - 19*u + 404. Is x(-29) a multiple of 25?
True
Suppose 0 = a - 5*q + 5, -3*q = 5*a - 20 - 11. Let b(o) be the third derivative of o**6/120 - o**5/30 - 5*o**4/24 - 2*o**3 + 60*o**2. Does 10 divide b(a)?
False
Suppose -q + 25 = 3*j, 31*j + 135 = 3*q + 25*j. Is 10 a factor of q?
False
Suppose 45007 = 16*q - 60833. Is 175 a factor of q?
False
Let v = -18269 - -52097. Is v a multiple of 20?
False
Suppose 5*u - 3 = 4*c + 15, 0 = -4*c + u - 26. Is 12 a factor of (-2)/c + 11/(231/13602)?
True
Suppose 27*y = 28*y - 97. Suppose -r - 7 = -y. Is (-13)/((-65)/r) + 3 a multiple of 15?
False
Let h(t) = 3*t - 27. Suppose -s = 3*j - 32, 3*s + j - 66 = 2*j. Does 21 divide h(s)?
True
Let b(d) be the first derivative of -d**4/2 + d**3/3 + d**2 + 130*d + 3947. Let v = 1 + -1. Does 47 divide b(v)?
False
Let x(c) = -5*c - 28. Let v be x(-6). Let k(h) = h. Let n be k(v). Suppose 0 = d - 0*d - n*a - 18, -4*d = -2*a - 72. Does 18 divide d?
True
Let w = -43 - -45. Suppose -7*s + 20 = 5*k - 6*s, w*k + s = 5. Suppose -3*d = -p - 2*p - 342, 0 = d + k*p - 144. Is d a multiple of 8?
False
Let o(v) = v**3 + 6*v**2 - 3*v + 7. Suppose -w = 3*d, 7*w - 11*w - 11 = d. Let g be 3 - 9 - (1 - d). Is 17 a factor of o(g)?
False
Suppose 5*c + 64 = -176. Let s = c - -5. Let i = -9 - s. Does 32 divide i?
False
Suppose -8*r + 20 = -3*r. Let i = r + -1. Suppose -i*g + 9 = 0, g - 3*g = -2*w + 4. Is w even?
False
Let q(b) = b**2 - 17*b + 273. Does 33 divide q(14)?
True
Suppose j + 4*p + 2 = 0, -8*p + 1 = j - 7*p. Suppose 98 = s - 4*u, -3*u + 151 = 2*s - j*u. Does 6 divide s?
True
Let m = 94730 + -65272. Is m a multiple of 13?
True
Let n(b) = 4737*b + 8173. Does 19 divide n(10)?
False
Suppose 34993 = 19*w - 2662 - 17236. Does 44 divide w?
False
Suppose r + 6 = 2*j - 0, 5*r = 4*j - 18. Suppose 4*o + 3*a = j*a + 1796, 5*o - 2245 = 4*a. Does 6 divide o?
False
Let i = -442 + 449. Suppose -i*n - 882 = -8442. Is n a multiple of 12?
True
Let t(g) = 2 + 9*g**2 + 24*g - 1 - 25*g + g**3 - 6. Let y be t(-9). Suppose 4*z - 166 = 2*z + y*j, -265 = -3*z - 2*j. Does 20 divide z?
False
Suppose -2*j - 2*j - 60 = 0. Let d be (-4 + 1)/(9/j). Suppose d*g = -20, 2*z - 148 = -3*z + 2*g. Does 7 divide z?
True
Suppose 7*c = 10 + 11. Suppose -c*p - 20 = -5*p. Suppose 0 = -6*u + p*u - 580. Is 29 a factor of u?
True
Suppose 0 = -z + 4*r - 32, -2*z - r - 57 = -2*r. Let c = -2846 - -2810. Let l = z - c. Is l a multiple of 8?
True
Suppose -m - 26 = -2*m. Let z = m + -42. Does 27 divide (405/6)/((-8)/z)?
True
Let b be (6/(-8))/(1 - 125/120). Suppose 23 + 5 = 2*r. Suppose b*m - 48 = r*m. Does 5 divide m?
False
Suppose 28 = 4*x + 22*f - 18*f, 5*x - f = 11. Suppose -y + 6*y - x*z - 1728 = 0, 3*y = -3*z + 1056. Is 12 a factor of y?
True
Let u(i) = -2*i**3. Let h be u(-1). Suppose h*c + 816 = -0*v + 3*v, 0 = v + 3*c - 261. Suppose -5*b = -0*b - v. Is b a multiple of 27?
True
Suppose 531872 = 145*s - 780088. Is s a multiple of 8?
True
Suppose -3*q - i + 10 = i, -3*q + 14 = -2*i. Suppose -6*y + q*y = -5*w - 37, 0 = -2*y - 2*w + 2. Suppose 33*h - 34*h + y = 0. Is 2 a factor of h?
True
Let z(d) = d**2 - 39*d - 40. Let h(r) = -r**2 + 41*r + 40. Let f(w) = -6*h(w) - 7*z(w). Let t = 1 - -16. Does 30 divide f(t)?
True
Let x(w) = -2*w**2 + 22*w - 10. Let k be 1*(0 + 1) - (9 + -18). Let q be x(k). Let u = q - 4. Does 3 divide u?
True
Let c(i) be the third derivative of i**5/20 - 17*i**4/12 + 29*i**3/6 + 4*i**2. Let w = 231 + -218. Is c(w) a multiple of 10?
False
Let r(n) = 5*n**2 + 10*n - 10. Let f(q) = 6*q**2 + 9*q - 10. Let u