Is o a multiple of 2?
True
Let v(w) = -107*w - 13. Let b be v(-9). Suppose b = 4*n - x, -4*n + 2*x - 242 = -5*n. Is 14 a factor of n?
True
Suppose -3*p - 4*m = 21 + 5, -p - 12 = 3*m. Is p/(-15)*5/4*166 a multiple of 29?
False
Suppose v + 700 = 2*v - 5*y, -y = 0. Does 11 divide v?
False
Suppose -4*o - 327 - 501 = 4*i, o + 415 = -2*i. Let g be 742/(-21) - 2/3. Does 3 divide (-4)/(-18) + i/g?
True
Suppose -5*z = -2*a - 3238, -3*z + 4*a + 1138 + 816 = 0. Does 38 divide z?
True
Let q = -46 - 77. Does 3 divide 1/3 + q/(-9)?
False
Let k = 12 - 22. Let n be (-2 + 2)/(-7 - k). Does 10 divide -4 + 24 + n/(-1)?
True
Let h(m) = 12*m + 22. Is h(7) a multiple of 7?
False
Is 9 a factor of 20/(-24) + 1277/6?
False
Let x be (-219)/(-15) + 8/20. Let y = x + -17. Let g = y - -10. Does 4 divide g?
True
Let v = 1926 + -456. Does 85 divide v?
False
Suppose -159 = -5*v + 2*v. Suppose -372 = -5*u + v. Is 12 a factor of u?
False
Let b(l) = -l**2 - 15*l - 2. Suppose 0*w = 2*w + 4*m - 8, -5*w + 36 = 2*m. Suppose 4*x - 2 = o, 0 = 3*x + w - 2. Does 12 divide b(o)?
True
Let q be (20/(-8))/(2/(-4)). Suppose q*s - 912 = s. Is 19 a factor of s?
True
Let h(l) = -l**3 - 2*l**2 + 4*l + 3. Let v be h(-5). Is 19 a factor of (-5 - -2 - -2) + v?
True
Suppose 42*v - 510 = 25*v. Is 15 a factor of v?
True
Let n(u) = -103*u**2 + 3*u - 17. Let h(d) = -34*d**2 + d - 6. Let a(b) = -17*h(b) + 6*n(b). Let w be a(1). Let v = -23 - w. Is v a multiple of 7?
False
Let v(n) = 38*n**2 - 6*n - 6. Let x be v(3). Suppose -b = -0*u - u - 149, -x = -2*b - 2*u. Does 22 divide b?
True
Suppose -124 = -2*q - 2*s, 5*q = 10*q - 5*s - 320. Is 2 a factor of q?
False
Suppose 0*b = -3*b - 48. Let c(p) = -4*p - 24. Is c(b) a multiple of 5?
True
Suppose 3*j - 6 = 0, 3*j - 13 = d - 2*j. Is ((-640)/(-24))/((-1)/d) a multiple of 20?
True
Suppose 0 = -17*z - 16*z + 21615. Does 5 divide z?
True
Let n(y) = -2*y**2 - 11*y + 1. Let q = -47 - -44. Is 3 a factor of n(q)?
False
Let n(v) = v**2 + 18*v + 83. Is n(-12) a multiple of 6?
False
Suppose 0 = 3*n - 2*f - 1055, -3*f = -25*n + 28*n - 1050. Is 12 a factor of n?
False
Suppose 5*q - t - 258 = 0, 4*q + t = -0*q + 201. Let c(m) = -m**3 - 6*m**2 - 5*m + 6. Let x be c(-6). Let j = q - x. Does 9 divide j?
False
Suppose -n = -5*m + 503, 0*m + 497 = 5*m + n. Let l be m + 4 + (-6 - -2). Suppose 0 = -a + l - 28. Is a a multiple of 36?
True
Let j be (1672/32)/(0 - 1/(-4)). Let u = j - 73. Does 25 divide u?
False
Suppose -6*w + w = 5*b, 5*w - 14 = 2*b. Suppose -w*u - 4 = -100. Is 24 a factor of u?
True
Let q be (-10)/(-6)*(-41 + -10). Is 2/4 + q/(-10) a multiple of 4?
False
Let a = 50 - 36. Let k(y) = y**2 - 2*y - 21. Let r be k(6). Suppose h - r*h = -a. Does 7 divide h?
True
Let q(y) = -y**2 + 7*y + 3. Let u be 5 - (3 - (-20)/(-4)). Let f be q(u). Suppose -2*t + 140 = f*c, 225 = 3*t - 0*c - 3*c. Is t a multiple of 11?
False
Suppose 0 = 2*c, 0 = -d - 5*c + c + 8. Does 12 divide 129/2 + -2 + d/(-16)?
False
Suppose -2*p = h - 1, -3*p + h - 3 = 4*h. Suppose -7 = -p*v + s, 5*s + 3 = v + 22. Suppose 5*l = v*l - 10. Does 4 divide l?
False
Suppose -5*g - 4*y + 15 = -25, -4*g + y + 11 = 0. Let h be g/8*(8 - 2). Suppose 109 = 5*t - 3*k, -2*t - 5*k - 35 = -h*t. Is 10 a factor of t?
True
Let t = 1267 + -903. Is t a multiple of 28?
True
Suppose 5*v + 5*o - 10655 = 0, -7*v + 3*v + 2*o = -8542. Is v a multiple of 22?
True
Let h be 16/3 - (-6)/(-18). Suppose 0*a - 5*a + 140 = -h*t, 4*t + 31 = a. Suppose -y + 33 = -a. Is y a multiple of 15?
True
Suppose -353*s - 13296 = -361*s. Is s a multiple of 66?
False
Suppose -39 = 4*r - 63. Suppose 360 = 9*d - r*d. Is d a multiple of 15?
True
Suppose 5*t + 5*b - 3*b - 14 = 0, 5*t - 3*b = 29. Suppose 2*k - 5*j - 3 - 99 = 0, -t*k + 214 = -5*j. Does 14 divide k?
True
Let u be 3 + 6/(-4 + 2). Suppose -5*a + 2*a + x - 197 = u, 4*x - 185 = 3*a. Let k = a + 94. Does 9 divide k?
True
Let w = 1041 - 330. Is w a multiple of 79?
True
Suppose 1780 = 6*y - 404. Is 13 a factor of y?
True
Let m be -1 - -2 - (-4)/4. Suppose -5*b = 4*z - 57, m*b + 2*z - 12 = 12. Is b a multiple of 2?
False
Let o(l) = 8*l**3 - 6*l**2 + 5*l - 19. Does 5 divide o(4)?
False
Suppose -2*b + 4*l - 10 = 0, 6*b - 4*b - 5*l + 5 = 0. Does 15 divide 6/b + 302/5?
True
Let x(k) = -4*k**2 - 2*k**3 + k**2 + 2*k**2 - 2*k**2. Let n be x(-3). Suppose -4*g + n = 3. Is 2 a factor of g?
True
Suppose -3*g + 145 = -32. Suppose -5*t + m - g = -160, -t - 3*m = -33. Is t a multiple of 7?
True
Let d = 188 - -90. Does 6 divide d?
False
Let h be ((-21)/35)/((-2)/10). Let a = 23 - 2. Suppose -4*l = 0, 0*l + a = h*m - l. Does 7 divide m?
True
Let p = 1 - -2. Suppose -p*s = -0*s - 4*c + 7, -4*s = -5*c + 8. Suppose -2*b - s*b = -120. Is 6 a factor of b?
True
Let o be ((-6)/8)/(1/(-4)). Let v be (-1 - -7)*10/o. Suppose 2*k + 4*c - v = 0, 5*k - 3*c + c - 74 = 0. Is 14 a factor of k?
True
Let r(w) = -7*w**3 - w**2 - 3*w + 1. Is r(-2) a multiple of 8?
False
Let a = 85 - 1570. Is 9 a factor of a/(-25) - (-4)/(-10)?
False
Suppose -4*k = -s - 12, 0*s + 5*k = 5*s. Suppose w = -3*w - 5*b + 245, -s*b = w - 53. Is w a multiple of 13?
True
Let f = 10 - -5. Let m = -12 + f. Is 2 a factor of m?
False
Is 17 a factor of 0 + (-9)/(-6) - (-6652)/8?
True
Suppose 14 = -16*i + 9*i. Does 6 divide (15/(-20))/((-4)/(-192)*i)?
True
Let d(k) = -k**3 + 9*k**2 - 11*k + 5. Suppose 2*t + 3*t = -60. Let x = t + 19. Is d(x) a multiple of 16?
False
Let h = 1 - 5. Let n be -2 - (2 - 11 - h). Suppose 0*u = 2*g + 3*u - 79, 4*u - 118 = -n*g. Is g a multiple of 10?
False
Let x(m) = -4 - 1 - 3 + 2*m. Suppose j + 2*j = 18. Is x(j) even?
True
Suppose 0 = 4*n - 5*w + 112, -w + 0*w + 84 = -3*n. Is 22 a factor of 4/(-14) - 4/n*156?
True
Suppose 0 = 2*q + 14*n - 18*n - 122, -4*n - 232 = -4*q. Is 55 a factor of q?
True
Let o(v) = -5*v - 76 - 10*v + 73. Is o(-2) a multiple of 8?
False
Suppose 0 = -4*y - 2*v + 1224, 2*y + 2*y - v - 1230 = 0. Does 12 divide y?
False
Let t(f) = 35*f**2 - f + 7. Let u be t(2). Let k = 427 - u. Does 38 divide k?
False
Let i(r) = -2*r**2 - 34*r + 38. Is i(-17) a multiple of 2?
True
Let h(t) = -t - 7. Let m be h(-4). Let n(o) = 10*o**2 + 3*o - 2. Is n(m) a multiple of 16?
False
Suppose 484 = 5*o - 271. Suppose 0 = -4*j - o + 463. Is 10 a factor of j?
False
Let y(j) be the second derivative of -4*j**2 + 1/6*j**4 - 1/6*j**3 + 0 - 3*j. Is 4 a factor of y(4)?
True
Let y be -4 - -25 - (-1 + 7). Let l(h) be the first derivative of -h**3/3 + 17*h**2/2 - 8*h - 1. Does 11 divide l(y)?
True
Let i(q) = 4*q**2 - q - 40. Is 49 a factor of i(6)?
True
Let n(c) be the second derivative of -3*c**4/4 - 2*c**3/3 - 3*c**2/2 + c. Let j(i) = -10*i**2 - 5*i - 4. Let q(d) = 6*j(d) - 7*n(d). Is 15 a factor of q(3)?
False
Let h be (-1 - -1)/((-24)/(-12)). Suppose h = 5*y - y. Suppose -3*u + 17 + 25 = y. Is 14 a factor of u?
True
Let d be (-54)/(-10) - 6/15. Suppose -5*w + 5*b = -w - 3, 3*w - b - d = 0. Suppose -p + w*u = -u - 31, -4*p - 2*u = -194. Does 18 divide p?
False
Suppose 0 = -2*r - 2*u + 30, 3*r - 5*u + 2*u - 33 = 0. Suppose -3*c + 155 = 161. Let d = r - c. Is d even?
False
Let v = -24 + 17. Is 12 a factor of 3 - (-2 - v) - -81?
False
Let l(s) = 74*s**3 + 4*s**2 - 10*s + 5. Does 77 divide l(2)?
False
Let j = 126 + -126. Suppose j = -o + 86 + 36. Does 14 divide o?
False
Let k(i) be the second derivative of i**5/20 - 5*i**4/4 - 13*i**3/6 + 3*i**2 - 4*i. Let c be k(16). Suppose 6 + c = 2*p. Does 11 divide p?
False
Suppose 0 = 3*d + 2*t + 35, 4*t - 7 = d - 0*d. Let y(p) = -p**3 - 9*p**2 + 13*p - 4. Is y(d) a multiple of 19?
True
Suppose 3*t + 601 = -4*y + 121, t = -4*y - 488. Let k = -51 - y. Is 9 a factor of k?
True
Let o = 6 + -27. Let z = o - 135. Is 13 a factor of (-1)/3*z/2?
True
Is 18 a factor of 2266 - ((-35)/20 + (-7)/28)?
True
Let m = 8 + -20. Let b = m + 16. Let v = 13 - b. Is 4 a factor of v?
False
Suppose -4*g - 5*a = -34, 2*a = 3*g + 5*a - 24. Suppose g*r - 684 + 156 = 0. Is 8 a factor of r?
True
Let q be ((-6)/(-8))/((-8)/(-32)). Suppose -h - b - 32 = 0, -2*b - q*b - 28 = h. Let t = h + 59. Is t a multiple of 6?
False
Suppose 791 + 280 = 17*s. Is s a multiple of 13?
False
Let w(h) = h**2 - 2*h - 8. Suppose -18*f = -16*f + 12. Is 10 a factor of w(f)?
True
Let y be (-72)/(-45) - 4/(-10) - -3. Suppose 2*o - 206 = -y*f, -2*f - 2*o = -0*f - 80. Is f a 