 of z?
False
Suppose -20355 = -19*m + 222. Let b = -562 + m. Is 16 a factor of b?
False
Let k = -1295 + 884. Let s = 204 - k. Does 37 divide s?
False
Let m = -7436 + 37114. Does 13 divide m?
False
Suppose 0 = -3*a - a - 5*t + 5, 3*t = 4*a - 29. Suppose a*p + 72 = 462. Is 39 a factor of p?
True
Let o(i) = 4*i**2 - 33*i - 5. Let r be ((-20)/8 + 2)*-30. Is o(r) a multiple of 20?
True
Let l(o) be the second derivative of 17*o**3/6 - 27*o**2/2 + 5*o. Suppose 0 = 4*k, -24 = -4*f + k + k. Does 15 divide l(f)?
True
Let i = -5 + 1. Let r(n) = -4*n**3 - n**2 + n - 2. Let q(u) = -17*u**3 - 5*u**2 + 9*u. Let x(c) = q(c) - 4*r(c). Does 9 divide x(i)?
True
Let y(i) = 2*i**2 + 86*i - 26. Is 7 a factor of y(-68)?
True
Let l(f) = 8*f**3 - 3*f**2 - 14*f + 46. Let m be l(4). Let p = m + 378. Is 104 a factor of p?
True
Let s(l) = l**2 + 5*l - 1. Suppose 0 = 4*v + 4*a + 21 - 5, 0 = -3*v + 5*a - 28. Let b be s(v). Suppose b*q - 1159 + 199 = 0. Is q a multiple of 16?
True
Let d(m) = 4*m - 76. Let x be d(19). Suppose 49*o - 57*o + 3328 = x. Does 52 divide o?
True
Is 14 a factor of (5 - 285/55) + 706541/121?
False
Suppose -5 = -2*z + 1, 4*a = -4*z + 60. Suppose -x + 69 = 3*s - a, 0 = -4*x. Is 3 a factor of s?
True
Let x = -7400 + 7692. Does 28 divide x?
False
Let q be (-5836)/3 - 30/(-90). Let p = -1164 - q. Does 11 divide p?
True
Suppose -2*k + 195 = k. Let r = 67 - k. Is 11 a factor of (5 + r + -6)/(2/242)?
True
Is (-2)/16 - (-2)/(320/198260) a multiple of 7?
True
Suppose 228 = 67*a - 86*a. Does 16 divide ((-18)/3)/(a/186)?
False
Suppose -14594 = -16*z + 5086. Is 10 a factor of z?
True
Let v be 4/(-22) + (3 - (-245)/77). Let c(m) = 6*m**2 - 14. Let w be c(v). Let y = w + -131. Is y a multiple of 20?
False
Let f = 78 - 88. Let d be ((-13)/3 - -6)*(-12)/f. Suppose -4*i - 2*o + 45 = -141, d*i - o = 99. Does 16 divide i?
True
Suppose x + 4602 + 8983 = 2*y, -3*y = 3*x - 20400. Is 151 a factor of y?
True
Suppose 2*r = -5*p + 36584, 8 = -405*p + 406*p. Does 66 divide r?
False
Let w(j) = -j**3 - 6*j**2 + 4*j + 8. Suppose -2*b = -0*b + 44. Let v be (-2)/(-4) + 165/b. Is w(v) a multiple of 3?
False
Let j(w) = 43*w + 336. Let a be j(-6). Let m = -53 + 80. Let k = a - m. Is 17 a factor of k?
True
Is 34 a factor of (79 - 77) + (-3 - 1) - 3*-4738?
True
Let j(s) be the second derivative of -1/12*s**4 - 35/2*s**2 - 7/2*s**3 + 0 + 4*s. Is j(-15) a multiple of 13?
False
Let t(i) = 2*i**2 + 19*i + 17. Let q(a) = -a**2 - 6*a - 7. Let c(f) = -7*q(f) - 2*t(f). Is c(10) a multiple of 71?
True
Let p(l) = 5*l + 576*l**3 + 48 + 10*l**2 - l**2 - 575*l**3. Is 18 a factor of p(-8)?
True
Suppose 0 = 2*n + 7*n - 5292. Let y = 152 - n. Let w = -232 - y. Is 25 a factor of w?
False
Suppose 15*k - 4689 = 1086. Let n = k - 21. Is 51 a factor of n?
False
Let o(y) = -y**3 - 11*y**2 - 36*y + 1. Let k be o(-17). Let c = -1427 + k. Does 68 divide c?
False
Suppose 2*h - 3*h - 4*z = -93, -h - 3*z + 93 = 0. Suppose 0 = 5*d - 332 - h. Is 5 a factor of d?
True
Is 28 a factor of ((-10431)/(-12))/((-75)/(-500))?
False
Suppose m + 17 = -3*a - a, -3*a - 14 = 2*m. Let j(i) = -15*i + 8. Is 21 a factor of j(m)?
False
Let n = 321 + -318. Suppose 2*f + 1980 = n*r - 1916, -r = f - 1292. Is r a multiple of 24?
True
Let n(f) = -36*f + 37. Suppose 0 = 3*p - 2*d + 16, -4*p + 3*d = 4*d + 36. Let g be n(p). Suppose a + 2 = 0, -2*a = 4*q + 9 - g. Does 16 divide q?
True
Suppose 0 = r - 4*l - 136, 0 = 3*r + 2*l - 0*l - 464. Let c = r - 64. Is 12 a factor of c?
False
Suppose 25*j - 24 = j. Let p(v) = 361*v**3 - 2*v**2 + 3*v - 1. Is 19 a factor of p(j)?
True
Does 9 divide (-2 - -3617) + 159 + -174?
True
Suppose w + 703 = 5*d + 1510, -w + 786 = 2*d. Is 33 a factor of w?
True
Let x(u) = 206*u**3 - 27*u - 204*u**3 - 23*u**2 + 108 - 88. Does 8 divide x(13)?
True
Let s = 484 - 650. Let f = 23 - s. Is f a multiple of 20?
False
Is (8 + 2320/(-100))/(2986/2990 - 1) a multiple of 26?
True
Suppose -96*u + 25880 = -69160. Is u a multiple of 15?
True
Let i(y) be the first derivative of -4 + 1/2*y**2 + 7*y + 2*y**3 - 1/4*y**4. Is 3 a factor of i(5)?
False
Suppose b + 3*l + 84 = 5*b, -l = -3*b + 58. Suppose 3*t = -3*y - 6, 5*t + y + b = 4*y. Is (t/5)/(1/(-35)) a multiple of 3?
True
Let l be (-136)/4*26/(-4). Suppose -4*v + l = -195. Suppose -v = 4*z - 312. Is 7 a factor of z?
False
Let o(x) = 18*x - 43. Let l(n) = n - 1. Let q(z) = -6*l(z) + o(z). Let b(t) = 6*t - 19. Let s(k) = -5*b(k) + 3*q(k). Is 21 a factor of s(9)?
False
Let b(o) = o**2 - 7*o + 31. Let v be b(0). Let w(f) = f**2 - 17*f - 169. Is 21 a factor of w(v)?
False
Let l be 556/(-14) + -1 + (-12)/42. Let n = 43 + l. Suppose 131 - 41 = n*i. Does 15 divide i?
True
Let y = -14140 + 15052. Is y a multiple of 2?
True
Let v(j) = 3448*j + 230. Is 249 a factor of v(2)?
False
Let c = -3702 - -6932. Is 38 a factor of c?
True
Let h = -30 - -61. Let n(j) = 28*j + 3. Let x be n(1). Let s = h + x. Is 13 a factor of s?
False
Let h(a) = 4*a - 36 + 24*a**2 + 85 - 41. Is 16 a factor of h(-2)?
True
Suppose 4*d - 11 - 45 = 0. Let n(i) = -10*i + 37. Let t be n(d). Let z = t + 172. Does 23 divide z?
True
Suppose 87*m - 17920 = 170*m - 91*m. Is 32 a factor of m?
True
Suppose 35148*u - 35163*u = -471240. Does 168 divide u?
True
Suppose 2*z + 2*l - 994 = 0, 2*l + 98 - 2074 = -4*z. Does 13 divide z?
False
Suppose -994 = -4*h - k, -3*k - 150 = -h + 105. Does 3 divide h?
True
Suppose 483591 = 156*d - 39*d - 770532. Does 27 divide d?
True
Let q(h) = -3*h**2 + 6*h + 2*h**2 + 37*h - 20*h - 7 + 39*h. Is 25 a factor of q(33)?
True
Let o = -134 + 421. Suppose -o = -108*b + 101*b. Is b a multiple of 9?
False
Let s = 2784 + 45265. Is s a multiple of 25?
False
Let c = -4 + 5. Let b be (-54)/10 + (-144)/240. Does 8 divide 264/9 - -2*c/b?
False
Suppose 5*b + 20*z - 24*z - 12916 = 0, -b = 5*z - 2589. Does 19 divide b?
True
Let r(w) = 5*w + 3. Let t be r(0). Let m be (-2)/(-8) + t + (-753)/(-12). Suppose -m + 48 = -s. Is 17 a factor of s?
False
Suppose -z + 15 = -5*a + 9, 3*z - 50 = -a. Suppose 4*i + 2064 = z*i. Is 13 a factor of i?
False
Let c(t) = -10*t - 72. Let g be c(-12). Suppose 0 = -22*b + g*b - 1222. Does 2 divide b?
False
Is 83 a factor of ((-55)/(-2))/((-6)/(-996))?
True
Suppose -11 - 11 = -2*x. Let n(i) = i**3 - 8*i**2 - 33*i + 9. Is n(x) a multiple of 6?
False
Let i(o) = 62*o - 4. Let u = 47 - 49. Let m be i(u). Let c = m + 208. Is 40 a factor of c?
True
Let g = -892 - -5089. Suppose 6 = -2*o, -4*l - l = o - g. Does 30 divide l?
True
Let f(c) = 3*c**3 - 22*c**2 - 37*c - 66. Is 6 a factor of f(17)?
True
Let a(x) = -2594*x - 2657. Is 5 a factor of a(-3)?
True
Let v(y) = -14*y**3 - 4*y**2 - 3*y + 5. Let w be v(-3). Suppose 0 = 15*a - w - 7639. Is 12 a factor of a?
False
Is -2 + 8 + 0 + (194 - 195) - -6603 a multiple of 215?
False
Let y(v) be the second derivative of -v**5/10 + 17*v**4/12 + 7*v**3/3 + v**2/2 - 3*v - 13. Is 22 a factor of y(7)?
False
Let t(l) = l**3 - 4*l**2 + 5*l - 2. Let v be t(2). Suppose v = -2*g - r + 73, -5*g + 4*r + 97 = -79. Suppose 3*b = i - g, -3*b - 3 = -0. Does 5 divide i?
False
Let n(i) = i**2 - 18*i + 49. Let z be n(15). Let y = 789 - 246. Suppose 19 = -z*q + y. Does 16 divide q?
False
Is 38 a factor of (704/40)/((-2 - -5)/1095*1)?
False
Is 34 a factor of (6428/(-2))/(-5 - 215/(-45))?
False
Suppose b = 4*y + 235, y - 4*y = b - 235. Suppose -3*f = 5*o - b, -f - 2*f = 0. Let r = o + -20. Does 23 divide r?
False
Suppose 2*v - 3*v = -5. Suppose -264 = -v*x + 3*x. Suppose 3*k - x = -4*r, 3*r + 71 = 2*k - 0*r. Is k a multiple of 5?
True
Suppose 3*t - 6*t - 58738 = -4*w, 4*t - 58780 = -4*w. Is w a multiple of 37?
True
Suppose 3*j + 2*j = -2*s + 364, 546 = 3*s - 4*j. Let n = s - -20. Let b = 14 + n. Does 9 divide b?
True
Let l = -38 - -50. Suppose -l*x + 169 = 49. Is 5 a factor of x?
True
Let r(i) be the second derivative of -i**3/6 + 63*i**2/2 + 45*i. Does 45 divide r(18)?
True
Suppose -2*y = h - 965, -4*y - h + 1948 = -5*h. Suppose 2*g + n = 190, y = 8*g - 3*g - 2*n. Let t = -63 + g. Is t a multiple of 3?
True
Let n(i) = -i**3 + 19*i**2 + 15*i + 46. Does 16 divide n(18)?
True
Let t be (-6)/(6/(-2))*(-2)/(-4). Is 3 a factor of -3 - -2*27 - t?
False
Let t = -41 + 38. Let v be ((-172)/(-3))/((-1)/t). Suppose -14 = -3*g + v. Is g a multiple of 14?
False
Let r(q) be the third derivative of 0