2*m. Let y(w) = b(w) - 5*c(w). Is 13 a factor of y(-1)?
False
Let j(v) be the third derivative of -1/2*v**3 + 0 + 1/12*v**4 + 0*v + 3*v**2. Is j(5) a multiple of 2?
False
Let y(j) = j**2 + 20*j + 44. Let m be y(-19). Suppose 2*u = 5*v - 37, 7*u - m = -v + 3*u. Is 5 a factor of v?
False
Is 20 a factor of 6/(-9) + (-11484)/(-54)?
False
Suppose -14*b - 5*c = -9*b - 1455, -b = -4*c - 306. Does 8 divide b?
False
Suppose 32*p + 6509 - 118701 = 0. Is p a multiple of 77?
False
Suppose 0 = -3*m - 24*m + 17658. Is 12 a factor of m?
False
Let g(p) = -6*p + 18. Let h be g(-8). Suppose 0 = 4*s + h - 2. Is 4 a factor of (-2)/(-8) - 60/s?
True
Let f be -7 - ((1 - 5) + 7). Let o = 14 + f. Does 8 divide 1292/52 - o/(-26)?
False
Let f(r) be the first derivative of 3*r**2/2 + 9*r - 17. Does 4 divide f(5)?
True
Suppose 4*h - 2*o - 9724 = -h, 2*h = 2*o + 3892. Is h a multiple of 18?
True
Let f(k) = -16*k**3 + 2*k**2 + k. Suppose -4*r - 19 = 3*j, 3*r + 0*r = -4*j - 16. Does 5 divide f(j)?
False
Does 19 divide 7*(2/(-10))/((-9)/855)?
True
Let v(b) = -22*b + 366. Does 17 divide v(-56)?
True
Let y(x) = x**3 + 3*x**2 - 3*x + 4. Let c be y(-3). Let t(k) = k**2 + 6*k + 11. Let s(m) = -m**2 + m. Let z(b) = -2*s(b) - t(b). Is z(c) a multiple of 10?
False
Let u(w) = 20*w - 2. Let j(b) = 60*b - 6. Let c = 12 + -20. Let n(v) = c*u(v) + 3*j(v). Is 20 a factor of n(3)?
False
Let q(l) = -3*l + 1. Let i be q(11). Is 8 a factor of (2 + i/20)*40?
True
Let w = -447 - -236. Let b = w + 441. Does 33 divide b?
False
Let r = 73 - -22. Let f = 181 - r. Does 6 divide f?
False
Let a = -70 + 75. Suppose 0*n = -4*h + 4*n + 940, h - a*n - 215 = 0. Is 16 a factor of h?
True
Let c(m) = -139*m - 23. Is c(-1) a multiple of 29?
True
Suppose u = -2*k + 223, 3 + 7 = 2*u. Does 25 divide k - (-4 + 4 - 2)?
False
Suppose 4*m = m + 3*a - 33, a + 24 = -4*m. Let w(g) = 2*g**3 - g**2 + 2*g - 1. Let z be w(1). Is (m - z)*(3 + -6) a multiple of 16?
False
Suppose 0 = 7*t - 30 + 9. Suppose -t = 5*i - 13. Is 9/((-27)/(-6))*i a multiple of 4?
True
Suppose -5*c + 22 = -4*z + 5*z, -4*z + 46 = -c. Does 24 divide 171 - (3/18 + 34/z)?
True
Suppose 2*x - 13*x + 264 = 0. Does 12 divide x?
True
Suppose -o + 4*r + 26 = 0, 0 = -r - 3*r - 20. Let w be 1 - -1 - (3 - o). Suppose 0 = w*i - 2*b - 2*b - 47, i - 4*b = 19. Is 7 a factor of i?
True
Is -99*-3*(-6)/(-18) a multiple of 13?
False
Suppose 3*j + 1 = 7, 2*l = -4*j + 1154. Does 48 divide l?
False
Suppose -4*h = 2*h - 12. Is 14 a factor of (h - (-79 + 0)) + 3?
True
Let s(m) = m**3 + 15*m**2 + 14*m + 5. Let z be s(-14). Suppose -z*v - r - 15 = 0, -r + 0 = -v - 9. Let t(f) = f + 13. Is 3 a factor of t(v)?
True
Let f = 984 - 200. Is 28 a factor of f?
True
Does 61 divide (-10988)/(-18) + 4*11/(-99)?
True
Let m be 4 + (4 - (-2 - -4)). Suppose -d - m = -3*d. Suppose f - 2*h = -18 + 75, -5*f = d*h - 285. Is 25 a factor of f?
False
Let z be 6/15 - (-96)/(-15). Let p(m) = -18*m - 3. Let t be p(z). Let h = t - 61. Does 22 divide h?
True
Let w(b) = 16*b**2 + 5*b + 1. Let d be (-2)/((-2)/(-12)*3). Let c be 2/((-9)/(-3) + d). Is 35 a factor of w(c)?
False
Let c(n) = -7*n - 2. Suppose d + 1 = 4*g + 12, -d - 21 = 4*g. Is 26 a factor of c(g)?
True
Let g be 8/44 + 303/(-33). Does 20 divide (7 + -4)/(g/(-300))?
True
Let v(g) = 15*g**3 - 4*g**2 + g. Does 45 divide v(4)?
True
Let v = -7 - -17. Let b = v + -20. Let g(a) = -3*a + 11. Does 6 divide g(b)?
False
Let x(t) = -40*t**2. Let a be x(1). Suppose -188 - 148 = -6*b. Let h = a + b. Is h a multiple of 4?
True
Let s = 461 + 1565. Is s a multiple of 17?
False
Let p = 8 - 11. Let y(g) = -2*g**2 + 5*g. Let h be y(4). Does 22 divide ((-22)/(-4))/(p/h)?
True
Let q = 5 + -3. Suppose -5*t + 137 + 10 = q*l, l - 74 = -3*t. Let w = -39 + l. Is 19 a factor of w?
False
Let h = 141 + 69. Does 42 divide h?
True
Let q(f) = -110*f - 4. Let c be q(-4). Suppose -d - 890 = -4*l + d, 4*d + c = 2*l. Does 6 divide l/20 - 1/5?
False
Let c(b) = 2*b**2 - 26*b - 116. Is 112 a factor of c(-13)?
True
Let q be (-6)/5*(-10)/4. Suppose g = -2*w - 4, -5*g + 5 = q*w + 2*w. Does 6 divide g?
True
Let q be 7 - (11 + -2) - 4/2. Let p(t) = -6*t + 2. Is p(q) a multiple of 3?
False
Let r be 2 - (4 - -1) - -8. Suppose -1190 + 370 = -r*f. Suppose -3*w - 20 + f = 0. Is 24 a factor of w?
True
Let p(g) be the third derivative of 9*g**2 + 1/24*g**4 + 0*g**3 + 0*g + 0. Does 2 divide p(8)?
True
Suppose -2*a = u + 1, 5*u - 60 = -13*a + 16*a. Is 4 a factor of u?
False
Is 39 a factor of (55/(-10) + 2)/(7/(-966))?
False
Suppose 3*q = -m + 5, 3*m + 0*q - 15 = 2*q. Let n(s) = 7*s + 7. Does 11 divide n(m)?
False
Let r(a) = -6 - 1 + 4 - 2*a - 3. Does 4 divide r(-11)?
True
Let p(l) = l**3 - l**2 + l. Suppose -2*j - 10 = 0, -3*j - 21 + 0 = -o. Let x = o - 2. Is p(x) a multiple of 13?
True
Let p(m) be the third derivative of -m**5/60 - 7*m**4/24 + m**3/3 + 13*m**2. Let t be -7 - 1/(-1) - -1. Is 12 a factor of p(t)?
True
Let y(p) = 2*p - 5. Let f = 31 + -21. Let x be y(f). Suppose 0 = -4*w + 7*w - x. Is w even?
False
Let o be 1/(-1 + 35/40). Let r(b) = -25*b - 40. Is r(o) a multiple of 40?
True
Let i = -96 + 169. Let g(u) = -u**3 + u**2 - u - 52. Let a be g(0). Let z = i + a. Does 8 divide z?
False
Suppose 0*p + 31*p - 6262 = 0. Is p a multiple of 12?
False
Suppose -24 = -4*u - w, 2*u + 0 = -4*w + 26. Is (-63)/105 + 693/u a multiple of 9?
False
Suppose 0*p = -2*p. Suppose p = t - 5. Does 3 divide (0 - 1)/(t/(-30))?
True
Let n(q) = 26*q**3 - 3*q**2 + q. Let y be n(2). Is 6 a factor of 4708/y - (-4)/18?
True
Suppose -4*q + 0*q + 883 = -a, -3*q = -3*a - 660. Let r = q - 155. Is 9 a factor of r?
False
Suppose -g = -0*g - 3. Suppose -3*c + g + 9 = 0. Suppose c*x - 21 = 47. Does 14 divide x?
False
Let a be -2 - (-1 - 2) - -1. Let o(d) = 6*d - 3. Let l be o(a). Suppose -l = -f + 11. Is f a multiple of 5?
True
Suppose f + 0*f = -9. Let t be 2/(2 + 12/f). Suppose 4*x - t = 25. Is x even?
False
Let m = -808 + 1303. Does 45 divide m?
True
Suppose 4*w - 4*d - 1492 = 0, -5*w = -4*d - 786 - 1084. Suppose -w = j - 5*j - 2*i, -4*i + 388 = 4*j. Does 24 divide j?
False
Let n be (-2)/(2*1/3). Let w(t) = 10*t**2 - t. Is w(n) a multiple of 16?
False
Let x(c) = 10*c**2 - 33*c - 15. Is 21 a factor of x(12)?
True
Let d = -971 - -1140. Does 17 divide d?
False
Suppose 0 = 4*g - 4*h - 24, -3*g + 2*h + 2 = -11. Let n = 3 - g. Suppose 23 + 13 = n*y. Is y a multiple of 9?
True
Let v be (0 - 12/(-9))*3. Suppose -5*r + 0*a + 3*a + 162 = 0, 3*r = v*a + 106. Is r a multiple of 16?
False
Suppose 5 = -5*c, -5*c + 118 + 708 = 3*u. Let a = 175 - u. Let b = a - -155. Is b a multiple of 11?
False
Let u(d) = 9*d + 63. Let n be u(-7). Let p = 117 - n. Is p a multiple of 13?
True
Let b = -271 + 163. Let x = 135 + b. Is x a multiple of 3?
True
Let y = -1818 - -2789. Is y a multiple of 6?
False
Let r = -1422 - -3086. Is 17 a factor of r?
False
Let i(t) = -8*t - 2*t**3 + t**2 + t**3 - 3*t**2 + 2*t**3 + 6. Does 5 divide i(4)?
False
Suppose 0 = 3*s + 4*h - 153, -5*s + 0*h = h - 272. Suppose -4*z + 108 = 2*q, -q - 5*z + 5 = -s. Is q a multiple of 8?
False
Let y be (-7*(-15)/5)/(1/(-2)). Let v = y - -48. Does 6 divide v?
True
Let d(m) = -2*m**3 + m**2 - 2*m - 9. Does 20 divide d(-3)?
True
Suppose 3*h - 2461 = -1255. Does 96 divide h?
False
Suppose 2*v = -3*g + 124 + 518, 0 = 5*g + v - 1077. Suppose 4*t = 4*r - g, 2*r - 6*r + 3*t = -216. Is r a multiple of 26?
False
Let a(p) = 16*p + 3. Suppose -2*f = 2 - 8. Let k be a(f). Suppose -j + 4*m = -10, 5*j + k - 169 = 3*m. Is j a multiple of 13?
True
Suppose 4*k - 2 = 2. Let i be -7*((6 - k) + -3). Does 14 divide 21/i + (-66)/(-4)?
False
Let x(f) = f**3 - 5*f**2 - 2*f + 8. Let d be x(5). Does 17 divide 2/((-2)/34*d)?
True
Does 13 divide (613 + (1 - -5))/1?
False
Suppose 38 + 66 = a. Suppose -s + 103 = 5*v - 103, -2*v = -5*s - a. Is 14 a factor of v?
True
Let q(r) = 30*r + 244. Does 12 divide q(10)?
False
Suppose 85 = 3*j + 2*j. Let t = 2 + j. Let c = t + 38. Does 13 divide c?
False
Does 19 divide -5 + (19288/(-20))/(-2)*5?
False
Suppose -13*i + 10*i = 5*a - 2675, -4*a - 903 = -i. Is 13 a factor of i?
False
Let p = -7 - -12. Let d be 12*(0 + -6*(-15)/24). Suppose p*z - d = -2*u + 6*u, -2*z = 3*u - 18. Is z a multiple of 9?
True
Let i(w) = -w**3 - 10*w**2 + 11*w + 11. Let v be i(-11). Let u = v - 12. Is 1