(-1) + 1 + -1. Is 17 a factor of j/(-2)*(-24)/(-9)?
False
Is (63/(-18))/((-4)/88) a multiple of 2?
False
Let s(o) = 17*o**3 + 2*o**2 - 1. Let u = 62 - 60. Is s(u) a multiple of 43?
False
Let g(t) = -3*t**3 - 3*t**2 - 13. Does 5 divide g(-4)?
False
Suppose 5*t + 3*d = 300 + 1743, 0 = -t - 4*d + 412. Is 24 a factor of t?
True
Suppose -6*s + 65 = -7*s. Does 2 divide (26/s + 2/(-20))*-50?
False
Let a be 2/(-5) - (-4)/10. Suppose 0 = 5*f - a - 25. Let l = f + 0. Is 3 a factor of l?
False
Suppose 0 = 9*o - 290 - 52. Suppose -j = -7 - o. Is 15 a factor of j?
True
Is 8 a factor of ((-84)/(-16))/((-8)/(6656/(-12)))?
False
Let x = -11 + 385. Is 11 a factor of x?
True
Suppose -4*x - a + 4 + 1 = 0, 2*x - 2*a - 10 = 0. Suppose -x*q + 31 = -1. Is 2 a factor of q?
True
Let v(h) = 2*h + 6. Let b be v(6). Suppose -b = -2*n - 0*n - 2*m, 0 = -n - 3*m + 17. Suppose -n*w + 160 = -25. Does 6 divide w?
False
Suppose 3231 = g + 2*g. Suppose 0 = -5*x - 2*d + 1052, -240 = 4*x - 3*d - g. Is x a multiple of 21?
True
Suppose r + 4*n = -11, 14 = -r - 5*n + 3. Let p = 16 + 12. Let i = p - r. Is i a multiple of 13?
True
Let t(j) = 2*j**3 - 12*j**2 + 17*j + 7. Let v be t(6). Suppose v = 4*s + 25. Is s a multiple of 7?
True
Let r be 1/(2 + -2 + (-1)/(-11)). Let p(c) = -c**3 + 12*c**2 + 8*c - 25. Does 25 divide p(r)?
False
Let y be 5/(0 + 2 + -1). Let b = -260 - -265. Let m = b + y. Is m a multiple of 10?
True
Suppose -2*j - 29 = -33. Is 14 a factor of ((-98)/(-21))/(j/48)?
True
Suppose 1006 = -146*t + 148*t. Is t a multiple of 8?
False
Is 63 a factor of (-12)/15*-3*9345/42?
False
Let c(d) be the first derivative of -d**3/3 + 11*d**2/2 - 4*d + 8. Let r(n) = -n**3 + 4*n**2 - n + 3. Let o be r(3). Does 2 divide c(o)?
True
Suppose 0 = -b + 5*b + 300. Let i be (-6)/(18/b)*3. Is ((-2)/2)/((-1)/i) a multiple of 33?
False
Let s be (4/5)/(3/30). Let h be (s/(-6))/(14/(-21)). Does 9 divide (-1 - 1)*-10*h?
False
Is (-3 - -2)/((-4)/1652) a multiple of 10?
False
Suppose 22*f + 6*v = 19*f + 2682, -5*f + 4482 = 4*v. Is 119 a factor of f?
False
Is (2 + -6)*(-11 - 19/2) a multiple of 2?
True
Let l be (1 - 56)*(-6)/18*3. Suppose 3*y = 3*t - 93, 4*t + 4*y - 45 = l. Is t a multiple of 7?
True
Let d = 1601 - 1109. Is d a multiple of 12?
True
Let k = 28 - -11. Suppose -39*s + k = -38*s. Is 11 a factor of s?
False
Suppose 0 = 4*w - 3*g - 329, -4*w + 2*g = -0*g - 326. Is 24 a factor of w?
False
Let x(j) = -j**3 - 10*j**2 - 3*j - 2. Suppose 0 = q + 5*y - 0*y - 10, 3*y = 3. Suppose -s + 23 = -3*s - d, -s + q*d = -5. Does 12 divide x(s)?
False
Let h = 164 - 167. Suppose 2 - 7 = 5*g. Does 2 divide (g - 0)/(h/18)?
True
Let h(z) = z**3 + 16*z**2 - 5*z + 19. Let u(w) = w**3 + 17*w**2 - 4*w + 20. Let c(j) = -6*h(j) + 5*u(j). Let f be c(-12). Let x = 35 + f. Is 9 a factor of x?
True
Let q(a) = -2*a**2 - 2*a + 5. Suppose -4*p - 32 = 4*p. Let z be q(p). Let c = z + 51. Is 18 a factor of c?
False
Let h = 1555 + -453. Is 29 a factor of h?
True
Let p(o) = -2*o - 2*o + 0*o. Let n be p(-6). Suppose 5*z + 4*h = z + n, 5*z - 5*h = 20. Is z a multiple of 3?
False
Let j be 24 - 16/(-1 - -5). Is 5 a factor of 1935/j + (-15)/20?
False
Let w be (-3)/21 + 760/28. Suppose -3*p + 15 + w = 0. Is 14 a factor of p?
True
Suppose 4*r + 240 = d - 0*r, 0 = 5*d + 3*r - 1292. Is d a multiple of 14?
False
Let t(q) = 4 + 3 - 3 + 0 + 52*q. Is t(5) a multiple of 44?
True
Is (-28506)/(-30) + 10/(-50) a multiple of 86?
False
Let l = 65 - 79. Suppose -2*p - p + 99 = 0. Let z = p + l. Does 8 divide z?
False
Let x = -2 + 394. Is 7 a factor of x?
True
Let g(p) be the third derivative of p**6/120 - p**5/15 - p**4/6 + p**3 + 4*p**2. Let x be g(4). Does 11 divide (126/x)/((-9)/30)?
False
Is 29 a factor of (105/(-45))/((8/(-174))/4)?
True
Let i(q) = 2*q - 1. Let l(n) = -3*n + 2. Let b(y) = -2*i(y) - 3*l(y). Does 7 divide b(5)?
True
Let c = 1 + 1. Suppose -5*g + 3*m = -50, g + 1 = -c*m - 2. Is g a multiple of 4?
False
Let o(d) = -d**3 - 5*d**2 + 9*d - 5. Suppose 4*l + 255 = 31. Let a be (-1 + -3)*l/(-32). Is 15 a factor of o(a)?
True
Let x(w) = -17*w + 60. Let k(n) = 6*n - 20. Let d(v) = 8*k(v) + 3*x(v). Is 10 a factor of d(0)?
True
Let s(l) = l + 34. Let v be s(-15). Suppose -2*c + 3*c - 1 = -4*i, 3*c - 3*i + 42 = 0. Let x = v + c. Is 8 a factor of x?
True
Suppose 164*r = 178*r - 2576. Is 9 a factor of r?
False
Let x = 6 + -4. Suppose -64 = -4*u + d, 12 = -x*d + 5*d. Suppose -w + u = 2. Is w a multiple of 6?
False
Let l = 29 + -21. Suppose 0 = 7*i - l*i + 24. Does 24 divide i?
True
Suppose 0 = 57*d - 4396 - 9740. Is d a multiple of 62?
True
Let p be (-46)/(-12) - ((-6)/(-36))/(-1). Suppose p*l = 3*l + 64. Does 16 divide l?
True
Suppose 492*d - 66 = 491*d. Is 11 a factor of d?
True
Suppose -755 - 1450 = -5*d. Is 17 a factor of d?
False
Let k(x) = -2*x - 4. Let q be k(-2). Suppose 4*s - 128 = 4*i, 5*i = -q*i + 10. Is 17 a factor of s?
True
Let g be (-4)/6 + 845/3. Let p = -210 + 243. Is 28 a factor of g/2 + p/(-22)?
False
Let d = -465 - -810. Is d a multiple of 115?
True
Suppose 0 = 11*h - 6*h + 200. Let u = h + 45. Does 3 divide u?
False
Let c be 187*(-2 - 0/2)/(-2). Let l = c - 50. Is 45 a factor of l?
False
Let o(n) = -17*n - 26. Is o(-15) a multiple of 6?
False
Suppose 0 = -6*k - 4 + 100. Does 4 divide k?
True
Let b = -8033 + 11381. Does 54 divide b?
True
Suppose -4*b + 601 = -3851. Suppose b = 6*y + y. Is y a multiple of 19?
False
Let y(z) = -6*z**3 - 2*z**2. Let s = 25 + -37. Let i(x) = -x**2 - 12*x - 2. Let q be i(s). Is y(q) a multiple of 15?
False
Let c be (-3*1)/(6/(-4)). Let r(s) = s**2 - s - 4. Let n be r(8). Suppose q + c*f = n, -4*f = -3*q - f + 174. Is 15 a factor of q?
False
Let d(s) = 4*s. Suppose -3*m = -5*w + 9, -2*w + 1 + 11 = 3*m. Suppose y = -0*y + 2*j + 9, 10 = -m*y - 3*j. Does 2 divide d(y)?
True
Suppose -3*c + 7*y = 8*y - 1069, -5*c - 4*y + 1791 = 0. Does 13 divide c?
False
Is (4 - (-25 + -7))*1*15 a multiple of 35?
False
Let p(a) = 108*a**3 + a**2 + 6*a - 4. Is 12 a factor of p(2)?
True
Let m be 2/(9/((-1125)/(-10))). Suppose 101 = 7*q - m. Is q a multiple of 9?
True
Let v = 5 + -2. Suppose d = 4 + v. Suppose 5*b - d*b = -22. Is b a multiple of 4?
False
Suppose 4*x = -4*i + 1132, -i + 6*i + 2*x = 1421. Does 15 divide i?
True
Let s(i) be the first derivative of 13*i - 12 + 9/2*i**2. Is s(11) a multiple of 28?
True
Let b(g) = -20*g + 3 + 9*g + 12*g. Suppose -4*o - c + 15 = -0*c, 9 = o - 5*c. Is b(o) a multiple of 7?
True
Suppose 0*q = 4*q - 8. Suppose -2*v + 5*s = -300, -v - q*s = -0*v - 150. Is 25 a factor of v?
True
Suppose -5*q - 4*a = -2516, -3*q - 4*a + 1111 + 405 = 0. Does 50 divide q?
True
Suppose -2*n + 1113 = -3*u, 3*n - 2*u = -284 + 1946. Suppose m - 5*m = 3*z - n, 2*m - 294 = 3*z. Is 24 a factor of m?
False
Let c(y) = 16*y**2 - 38*y - 105. Does 23 divide c(-6)?
False
Let t = 2055 + -1609. Is t a multiple of 7?
False
Let y(t) = -5*t + 10. Let z be y(0). Suppose -5*w - 2 - z = -g, 28 = g - w. Does 8 divide g?
True
Let d be 17/(-4 + 68/16). Let q = 128 - d. Is q even?
True
Let a = 26 - -63. Is 17 a factor of a?
False
Suppose 230 = 24*o - 19*o + 2*r, -o = 2*r - 38. Does 48 divide o?
True
Let x = 62 - 35. Let f = 55 - x. Is 15 a factor of f?
False
Let u(j) = j**3 - 4*j**2 + 120. Is 5 a factor of u(0)?
True
Suppose 5*a - 42*q = -37*q + 40, 5*a = 3*q + 48. Does 8 divide a?
False
Suppose -83*i + 76*i + 7182 = 0. Does 27 divide i?
True
Suppose -2*o + 169 = -55. Suppose 8*a = 6*a + o. Does 14 divide a?
True
Let p = 44 - 68. Let o = p - -37. Does 19 divide ((-975)/o)/(6/(-4))?
False
Let u = -48 + 92. Suppose 3*o - 15 = o + 5*q, u = 4*o + 4*q. Suppose 3*v - 3*s = 15, -5*s = -3*v - o*s + 31. Is 7 a factor of v?
True
Let o be 2/4*2884/(-7). Let b be o/6 - (-2)/(-3). Let n = -20 - b. Is n a multiple of 12?
False
Suppose -f - 42 = -4*f. Let a(k) = -k**2 + 5*k - 4*k + 12*k - f. Is a(11) a multiple of 4?
True
Let i = -21 + 79. Suppose -5*h + 17 = -i. Does 5 divide h?
True
Let o(r) = 6*r**2 + 4*r**2 - 5*r**2 + r - 3. Suppose 0 = 5*j - 20, -6*g + 5*j = -g + 5. Does 10 divide o(g)?
False
Let m(v) = -v**3 - v**2 + 2*v. Let y be m(-2). Suppose 0*o + 3*o + 45 = y. Let r = o - -31. Is 8 a factor of r?
True
Suppose -3*n - 2*v + 4 = 0, -2*n = -0*n - 4*v + 24. Is 6 a factor of -3*n/3 + 4?
True
Let c(w) = w + 6. Let b be c(-4). Is 24 a fac