266. Is w(-4) a multiple of 8?
False
Suppose 23102 = -7*q + 91387. Does 15 divide q?
False
Let s(l) = 18*l**2 + 27*l + 264. Is s(-10) a multiple of 171?
False
Let i = 599 - 311. Is 18 a factor of i/2 + 10/30*0?
True
Let b(j) = -39*j - 230. Let i be b(-6). Suppose 239 = i*t + 75. Is t a multiple of 41?
True
Suppose 26*k - 15714 = 8*k. Let t = k + -292. Does 28 divide t?
False
Is (33*((-81)/(-6) - 6))/(3/18) a multiple of 4?
False
Let m = -400 + 402. Suppose -5*l + m*y = -5320, -3*l + 1749 + 1434 = -3*y. Is l a multiple of 14?
False
Let v be (453 + -1)*138/24 - -1. Suppose 3*i = h - 636, 4*h + 7*i - 5*i - v = 0. Is h a multiple of 18?
True
Suppose 3 = 3*b - 2*j - 13, -5*j = -5*b + 35. Suppose -b*c + 101 = 943. Let o = 631 + c. Is 15 a factor of o?
True
Let y(b) = 107*b**2 - 25*b - 155. Does 103 divide y(-9)?
False
Let t = 17 - 13. Let n(p) = -28*p + t - 72*p - 13*p. Does 13 divide n(-1)?
True
Let f(u) = 1651*u + 74. Let o be f(6). Suppose o = 12*z - 220. Is z a multiple of 50?
True
Suppose -26*m = -38*m + 8400. Is 21 a factor of m?
False
Let p = 48204 - 23056. Is 9 a factor of p?
False
Let a(s) = -s**2 + 6*s + 20. Let n be a(9). Let l be 640/(-5)*n/4. Let p = l + -73. Is 31 a factor of p?
False
Let k(l) = -22*l + 29. Let o(x) = -21*x + 29. Let w(i) = -3*k(i) + 2*o(i). Suppose 3*y - 7 = -2*z, -5*y + 9*z = 8*z - 29. Does 18 divide w(y)?
False
Let w = 175 + 84. Suppose 5*l - 4*d - 641 = 0, l - 3*l = d - w. Let g = -80 + l. Is g a multiple of 10?
False
Let u(m) = -m**3 + 26*m**2 + 65*m + 124. Is u(28) a multiple of 3?
False
Suppose 4*s - 3*g = -0*s + 1940, g = -2*s + 970. Suppose -s = -2*j + 5*n, -2*n + 587 - 1581 = -4*j. Does 25 divide j?
True
Suppose 0 = -3*p - b - 1530, 0*b + 4*b = -3*p - 1530. Let t = p - -1166. Suppose 2*o + u = 4*o - 436, 2*u = 3*o - t. Is 24 a factor of o?
True
Suppose 4*n - 68 = 12. Does 11 divide (215/n)/(4/48)?
False
Suppose 8 = 4*l - 3*m, 2*l - 1 = 5*m + 3. Let n = 356 + -243. Suppose 5*t - n = -r, -107 = -0*r - r - l*t. Is r a multiple of 24?
False
Is 30 a factor of (238 + -22)/((-11)/(-10) + -1)?
True
Let s = 8 - 8. Let m be 6 + -2 + (-26 - s). Is 35 a factor of (-5781)/(-33) - (-4)/m?
True
Let c(t) = -t**3 + 5*t**2 + t - 4. Let x be 2 + 46/14 - (-4)/(-14). Let m be c(x). Does 3 divide (-2)/m*((-13 - -3) + 3)?
False
Let r = -475 - 640. Let m = r - -2045. Does 93 divide m?
True
Suppose -2492 = 6*l + 8*l. Let c = l - -608. Does 13 divide c?
False
Suppose -23 = 2*j - 117. Let n = 181 - j. Does 7 divide n?
False
Suppose -11269 = -5*b - 3459. Is 22 a factor of b?
True
Let k(g) = 1568*g + 45. Let v be k(1). Suppose -3*l - 1466 = -5*c, -5*c - 123 = 5*l - v. Does 67 divide c?
False
Suppose 0 = 4*a - 2*o - 17866, -3*o = 3*a - 2041 - 11354. Is a a multiple of 7?
True
Let y be -32*(772/(-32) + 1)*6. Suppose 11*g = 17*g - y. Is 26 a factor of g?
False
Let m be -1 + (-3)/(-3)*5. Let c be ((0 + -2)/m)/(4/(-16)). Is (c/4)/((-7)/(-588)) a multiple of 21?
True
Let o(q) = -45*q**2 - 5*q - 36. Let h(z) = 22*z**2 + 2*z + 18. Let w(y) = -5*h(y) - 2*o(y). Let m(s) be the first derivative of w(s). Does 30 divide m(-3)?
True
Let u = 21111 - -11766. Does 64 divide u?
False
Let s = -190 + 82. Let n = -56 - s. Suppose -a = 2*a + 2*k - n, -3*a + 58 = -4*k. Does 6 divide a?
True
Suppose 2*y + 0*g = 2*g - 38, 0 = g + 2. Suppose 0 = -4*r + 41 + 55. Let s = r + y. Is 3 a factor of s?
True
Let u(l) = 29*l - 133. Let i be u(28). Is 15 a factor of (-25)/25*(1 - i)?
False
Let l be ((-2)/(-4))/((1/(-18))/1). Let h(y) = 12*y + 7. Let m be h(l). Let n = -71 - m. Is 3 a factor of n?
True
Let h(i) = i**3 + 13*i**2 - 8*i - 81. Let j be h(-15). Let t = 511 + j. Is 5 a factor of t?
True
Let a(y) = 195*y**2 - 4*y - 1. Let q(n) = -n**2 + 1. Let v be (-4)/8 + 21/14. Let h(x) = v*a(x) + 4*q(x). Is 34 a factor of h(1)?
False
Let a(h) = -5*h + 9. Let r be a(1). Suppose -r*n = 16*n - 10560. Does 20 divide n?
False
Suppose -b - 5 = -a, 0*a + 13 = -5*b + a. Is 14 a factor of 0 + (b - 602/(-7))?
True
Let w = 159 + -165. Does 8 divide ((-1)/((-4)/36))/(w/(-32))?
True
Let p = 96 + -85. Suppose -2 = p*z - 1410. Suppose 170 = a + 3*f, -a + 3*f + 42 = -z. Does 8 divide a?
False
Let g be (-9 - (-1 - 0))*(-51)/(-68). Let t = 18 + g. Suppose 0 = a - t - 60. Is 18 a factor of a?
True
Let v = 123 + -216. Let s be 108/(-189) + 1382/(-7). Let u = v - s. Is u a multiple of 21?
True
Let i(c) = 9*c**3 - 2*c**2 - c + 2. Let y(k) = -10*k**3 + 3*k**2 + k - 3. Let r(g) = 5*i(g) + 4*y(g). Let q be r(2). Let x = 26 + q. Is 6 a factor of x?
False
Let b(g) = g**2 - 5*g + 2. Let o be b(5). Suppose 2*l = o*u + 466, u = 4*l + 2*u - 937. Is 13 a factor of l?
True
Let s be 1/2 + 1450/20. Let n = -24 + s. Suppose n*w = 50*w - 11. Is w a multiple of 11?
True
Suppose 0 = 5*n + 2*h - 75985, 32*n + 5*h = 27*n + 75985. Is 13 a factor of n?
True
Does 132 divide (10/(-4) - 6/12) + -16 + 6883?
True
Let i = -89 - -5767. Does 4 divide i?
False
Let b(z) be the third derivative of 3*z**5/4 - z**4/6 + 2*z**3/3 - 2*z**2. Let a be b(3). Suppose -9*c - 10 + a = 0. Is 7 a factor of c?
False
Let v = 129 - -461. Let g = v - 584. Does 6 divide g?
True
Let v = -9266 - -9284. Let j be (-116)/(-10) + (-4)/(-10). Does 4 divide (j/v)/((-2)/(-129))?
False
Let v(h) = 46*h**2 - 131*h + 2505. Does 55 divide v(15)?
True
Let s be -4 + -1 + (-177)/(-6)*-34. Is 7 a factor of 7 - (0 + 9) - s?
False
Does 32 divide (-2)/9 - 76566/(-567)*33?
False
Let p be 56050/(-800) + (-3)/(-48). Suppose -388 = -4*b - 3*o, 0 = -o - 1 + 5. Let v = b + p. Is v a multiple of 12?
True
Is 16061664/1056 - (-1)/11 a multiple of 26?
True
Let s(n) be the third derivative of -n**6/360 - n**5/30 + n**4/6 + 13*n**3/6 - 3*n**2. Let x(m) be the first derivative of s(m). Is x(-4) even?
True
Suppose 52*n = -4*o + 47*n + 100235, -2*o + 10*n + 50030 = 0. Is 75 a factor of o?
True
Suppose 5*k + 6 = -9, -4*o - 5*k = -141. Let p be (1*3)/(o/56446). Suppose -17*i = -4*i - p. Does 13 divide i?
False
Let v(r) = 6*r**2 + 50*r - 10. Let s be v(11). Suppose 5*w - s = -66. Is w a multiple of 60?
True
Let q be (1/(-2))/(6/(-36)). Suppose 5*i - 2*g = 19, 2*i = q*i + 5*g + 7. Suppose -n - i = -17. Does 11 divide n?
False
Let c(h) = -h**3 + 112*h**2 + 239*h - 227. Does 2 divide c(114)?
False
Suppose -19*z - 56769 = -166264 - 464780. Is 69 a factor of z?
False
Let u(b) = b - 16. Suppose -10 = -2*n, 8*n - 3*n = -2*t + 51. Let h be u(t). Let d(m) = m**3 + 4*m**2 + 3. Is d(h) a multiple of 6?
True
Let s = -12 - -19. Let f(n) = -2*n**2 + 4*n + 11. Let h be f(3). Suppose 4*l - 5*m - 8 = s, 25 = h*m. Is 5 a factor of l?
True
Let q(j) = -49*j**3 + 4*j**2 - 2*j - 7. Let i be q(-2). Let l = i - 206. Does 30 divide l?
False
Let d = 582 - 578. Suppose -5*h - 2*v = 35 - 1851, -3*v = d*h - 1450. Does 26 divide h?
True
Suppose -p = -2*y, 2*y - 6*y = -3*p. Suppose 35*t - 33*t - 462 = y. Is t a multiple of 22?
False
Let k(p) = -p**2 + 8*p - 16. Let z be k(12). Let l = z - -10. Is (-5976)/l - (2 - (-7)/(-3)) a multiple of 35?
False
Let y be (2 - 6/(-9))/(10/15). Suppose 3*p = -5*w + 1868, -p + y*w = -0*p - 634. Suppose 0 = 2*h + z + 180 - 593, -5*z - p = -3*h. Does 23 divide h?
True
Suppose 0 = -d - m + 7937, -2*d - 96*m = -98*m - 15874. Does 14 divide d?
False
Suppose 0 = 6*m - 6*m - 10*m. Suppose -4*y - 273 + 405 = m. Does 11 divide y?
True
Let d be (-2)/8 - 1*63/(-12). Suppose 3*n - d*a = 46, 0 = -n + 2*n - 2*a - 16. Does 12 divide ((-18)/n)/(3/(-140))?
False
Let z be ((-1)/2 + 1)/((-4)/(-1768)). Let f = 781 - z. Is 22 a factor of f?
False
Let y(k) = k**3 + 3*k**2 + 3*k + 5. Let z be y(-3). Let i(v) = -93*v + 56. Is i(z) a multiple of 44?
False
Let m(y) = -33 - 28*y + 12*y + 14*y. Let j be m(-17). Is (4 - j)/1 + 36 a multiple of 13?
True
Let v = -40 - -44. Let u be -2 - ((v - 2) + 150). Let z = u - -252. Is z a multiple of 14?
True
Suppose -3 = 3*t, 3*l + t + 7 = -12. Let a be (-2)/l + 4/(-12). Suppose 0 = 4*h, a*h + 3*h - 140 = -5*n. Is 5 a factor of n?
False
Let y = -2714 - -3056. Does 27 divide y?
False
Suppose 26334 = 29*j + 8006. Does 158 divide j?
True
Let w = -332 + 223. Suppose 0 = -3*f + a + 3*a + 820, 1060 = 4*f + 3*a. Let n = f + w. Does 37 divide n?
False
Suppose 24*l - 11 = 22*l - r, l = -3*r - 2. Suppose -4*a + 2680 = 3*i, 3*a - l*i - 1981 = -2*i. Is 23 a factor of a?
True
Let g