 576. Is 18 a factor of w?
True
Let p(g) = -4*g**2 + g + 2. Let i be p(2). Let a be (5/10)/((-1)/(-46)). Let h = i + a. Is h a multiple of 7?
False
Let f be 0/((-2 - 1)/(-3)). Suppose 0 = -2*u - f*u - 14. Does 10 divide (-3 - u - 4) + 20?
True
Let d(k) = 4*k + 5*k + 27 - 8*k - 5. Suppose 0*f = 4*f. Does 11 divide d(f)?
True
Suppose -2*p = -2044 + 240. Is p a multiple of 82?
True
Let r(a) = 11*a**2 + 3*a + 1. Let f = -2 - -1. Let g be r(f). Suppose g*l - 14*l + 130 = 0. Is l a multiple of 8?
False
Suppose 13*h - 18*h = 1170. Does 26 divide (h/(-4))/(-2 - (-57)/24)?
True
Is (0 + -195)*(-7 - -8 - 4) a multiple of 31?
False
Let o = 2273 + -833. Does 12 divide o?
True
Let v be 91/(-49) - 2/14. Is (-8 - v)*495/(-10) a multiple of 24?
False
Let u be (-12)/(-9) - (-14)/3. Suppose 3*s - u*x = -2*x + 374, s + 3*x = 116. Is s a multiple of 11?
False
Suppose -4*z = z - 25. Suppose z*r - 20 = -0*r. Suppose q - 5*v = -2 + 10, -4*v = r. Is 3 a factor of q?
True
Suppose -24 + 42 = 3*b. Suppose -b*k = -k - 5*m - 640, 0 = -k + 4*m + 116. Does 11 divide k?
True
Let i be (-1)/(((-1)/16)/1). Let t = i + -14. Suppose 0 = -2*k + s - 5*s + 112, -122 = -t*k - 2*s. Is 23 a factor of k?
False
Let c(y) = y - 7. Let w be c(9). Suppose w*u + 3*x - 29 = 2*x, 85 = 5*u + 5*x. Suppose -2*d = d + u, 0 = 3*r - 4*d - 112. Is 30 a factor of r?
False
Does 25 divide (-8 + 162/24)/(1/(-400))?
True
Let d be 2 - 37*-53 - 3. Suppose -4*v = -5*y - d, 0 = -0*v - 2*v + 2*y + 980. Suppose v = -18*r + 23*r. Does 27 divide r?
False
Let k(j) = -j**2 + 8*j - 4. Let t(y) = 2*y**2 - 7*y + 4. Let h(s) = 2*k(s) + 3*t(s). Let f be h(3). Suppose 5*a - f = 35. Does 4 divide a?
True
Let f(o) = o**2 - 25*o + 602. Is f(0) a multiple of 10?
False
Let a be ((-77)/28)/(-11) + 30/8. Suppose -a*m = -4*x - 272, m + 0*x = 2*x + 72. Is 16 a factor of m?
True
Let q = 259 + -142. Is 39 a factor of q?
True
Suppose -4*r + f = -25 + 6, -3 = f. Suppose -213 = -r*t + 47. Does 13 divide t?
True
Let b = 2877 - 2063. Does 22 divide b?
True
Suppose 9006 = -26*o + 44470. Is 44 a factor of o?
True
Let f(r) = -r**3 + 8*r**2 - 8*r + 3. Suppose 5*v - 10*v = -35. Let n be f(v). Is ((-2)/n)/((-2)/(-20)) a multiple of 4?
False
Let u(o) = -o**2 + 6*o. Let r be u(6). Suppose h + 2*x = 164, h - 2*x + r*x = 172. Is 14 a factor of h?
True
Let o be 15/5 - (2 + -3). Suppose -5*c = 5*b - 1050, 274 = o*b - c - 556. Is 8 a factor of b?
True
Let o(y) = -y**3 - 22*y**2 - 19*y - 50. Does 16 divide o(-22)?
True
Is (361 - -30)/(1 - 0) a multiple of 23?
True
Let u = -146 + 595. Is 69 a factor of u?
False
Let u(w) = -5*w**2 - 8*w - 25. Let s(f) = -4*f**2 - 7*f - 25. Let z(i) = -3*s(i) + 2*u(i). Is 5 a factor of z(-5)?
True
Let h(n) = -n + 408. Is h(18) a multiple of 5?
True
Suppose -38 = -2*p - 4*k - 10, 31 = 5*p - 3*k. Let h be (-2 + -1)/(p/(-192)). Let m = h - 50. Does 6 divide m?
False
Let u be (-48)/16*(-2)/(-3). Let v(l) be the second derivative of 13*l**4/12 + l**3/6 - 2*l**2 - 2*l. Is 17 a factor of v(u)?
False
Let l(u) = -18*u - 11. Let s be l(2). Let y = s + 75. Is 10 a factor of y?
False
Let g(z) be the first derivative of 4 - 2*z + 17/2*z**2. Is g(1) even?
False
Let c(z) = -2*z**2 - 6*z + 20. Let j(h) = -3*h**2 - 5*h + 21. Let n(m) = 4*c(m) - 3*j(m). Does 3 divide n(8)?
True
Let z(d) = -2*d**2 - 12*d. Let r(x) = -2*x**2 - 12*x. Let j(w) = 2*r(w) - 3*z(w). Let o be 15*(36/20)/(-3). Is 9 a factor of j(o)?
True
Let u be (-1080)/(-16)*(-4)/5. Let m = -41 - u. Is m a multiple of 13?
True
Suppose -7*j = 1233 - 5888. Suppose 2*x = -3*x + 2*b + j, -4*x = -4*b - 520. Is 15 a factor of x?
True
Let v(a) = 33*a + 15. Let b(y) = 33*y + 14. Let o(h) = -3*b(h) + 4*v(h). Does 21 divide o(3)?
False
Suppose 3*u = -0 - 6. Let y = -8 - u. Does 17 divide (-295)/(-10) + 3/y?
False
Let v(n) = 3 + 0*n**2 - 8*n + 4*n**2 - 2*n**2. Let o be (-5)/(-2)*(-56)/(-20). Is v(o) a multiple of 33?
False
Let i = 7 - 5. Suppose 0 = 2*p - i - 24. Is 7 a factor of (28/(-6))/(p/(-117))?
True
Is 40*(-10 + 9)*3/(-4) a multiple of 3?
True
Let x = -15 + 62. Let s = x + 3. Is 6 a factor of s?
False
Suppose 0*y + 3*y + 5*a + 2516 = 0, 5*y - 3*a = -4148. Is 10 a factor of (-4)/(-22) - 7/(154/y)?
False
Let g = -14 + 31. Suppose g*p = 7*p + 100. Is 9 a factor of p?
False
Suppose -19*g = -18*g - 5. Suppose 5*c + 50 = 4*t + 11, -c + g = 0. Is t a multiple of 4?
True
Let c(x) = -1. Let t(r) = 35*r**3 - 2*r**2 + r + 7. Let s(p) = -5*c(p) - t(p). Is s(-1) a multiple of 6?
True
Suppose -11*k + 5491 = 277. Does 79 divide k?
True
Let r = 1 + 32. Let h = r - 2. Let j = h - 13. Does 7 divide j?
False
Let z(i) = 3*i**2 + 4*i - 8. Let y be (5/(-15))/((-2)/12). Let l = y - 8. Does 19 divide z(l)?
True
Let p = -1720 + 3400. Is p a multiple of 21?
True
Let s be (-1)/6 + (-398)/(-12). Let p = -27 + s. Let g = 20 + p. Is 26 a factor of g?
True
Let j be 1/(-5) - 52/(-10). Let v(o) be the first derivative of -o**4/4 + 7*o**3/3 - 3*o**2/2 + 5*o - 1. Does 20 divide v(j)?
True
Let p(a) = -a**3 - 13*a**2 + 2. Let g be -2*(13/2 + 0). Let o be p(g). Suppose 4*i = -2*c + 58, -o*c - 116 = -6*c - 3*i. Is 11 a factor of c?
False
Let o(c) = -220*c - 520. Is 96 a factor of o(-10)?
False
Suppose f = -3*f - 4*z + 132, f - 17 = -5*z. Suppose 3*k - 20 = f. Is k + (-12)/(-8)*2 a multiple of 11?
True
Let n(w) = w**2 - 5*w - w + 6*w - 2. Let u be n(-2). Is 1 + u*15/3 a multiple of 11?
True
Suppose -140 = -3*x - 3*d + 91, x + 2*d - 79 = 0. Let y be (-9)/(-21) + x/21. Suppose y*i = -3*u + 105, 0*u + 2*u = i + 70. Does 9 divide u?
False
Let b = 123 - 80. Suppose 5*t + 4*c = b - 10, -t + 7 = c. Suppose 3*s - 8*s = -4*h - 68, t*s - 62 = h. Does 12 divide s?
True
Let f(d) = -30*d + 15. Let g be f(1). Let u = g - -135. Does 8 divide u?
True
Suppose -3 + 2 = -3*r + 2*y, -4*r = -3*y. Suppose 8 + 10 = r*v. Suppose -v*n + 2 = -5*n. Is n even?
True
Let z(w) = w**3 + 32*w**2 - 8*w - 59. Does 6 divide z(-32)?
False
Let m be 2/(-8) + (-42)/24. Let l be ((-7)/(-7))/((-1)/m). Suppose -3*i - 6*j + 3*j = -45, 20 = 3*i - l*j. Is i a multiple of 8?
False
Suppose 12*z - 1004 = 928. Is 3 a factor of z?
False
Let g(d) = d**3 + 17*d**2 + d - 128. Is g(-16) a multiple of 16?
True
Let x = -154 + 342. Is x a multiple of 3?
False
Let p be ((-30)/(-8))/5*-24. Let y be 1/(-2) - 1085/(-14). Let n = y + p. Does 10 divide n?
False
Let s(w) = w**3 + 11*w**2 + 3*w - 19. Let g be s(-8). Suppose 3*z + g - 41 = 2*m, -z - 216 = -4*m. Is 27 a factor of m?
True
Let s(u) = -u**3 + 9*u**2 - 7*u + 8. Let h(b) = 7*b**3 + 2*b - 1. Let k be h(1). Is s(k) a multiple of 16?
True
Suppose 69*s = 4*c + 73*s - 4440, -2*c = -2*s - 2220. Is 15 a factor of c?
True
Let z(c) = 2 - 1 - 58*c - 4 + 5. Is z(-1) a multiple of 11?
False
Let j = 2 + -13. Let w = j + 41. Is 15 a factor of w?
True
Suppose 0 = -3*k + 37 + 89. Suppose -5*m = -118 - k. Suppose 3*i = -3*p + 49 + m, 4*p - 4*i = 116. Is p a multiple of 21?
False
Let d = -27 - -29. Suppose -4*a + 3*z = -157, -4*z - 116 = -5*a + d*a. Is a a multiple of 20?
True
Let g = -1346 + 1520. Does 6 divide g?
True
Let p = 134 + -77. Let q = -10 + p. Is 26 a factor of q?
False
Let p(b) = -7*b**3 + 5*b**2 - 9*b - 19. Is 7 a factor of p(-5)?
False
Suppose 0 = 5*o - 8*o + 417. Suppose -5*u = -5*v - 2*u - o, -93 = 3*v + 3*u. Let z = v + 37. Is 6 a factor of z?
False
Suppose -42 = -3*a - 9. Suppose 2*k - a = 21. Suppose 4 + k = 5*v. Is 2 a factor of v?
True
Let m(i) be the third derivative of i**4/24 + 5*i**3/2 - 3*i**2. Let a be m(-13). Suppose 4*j - 3*p = 357, a*j - 201 = -p - 2*p. Does 31 divide j?
True
Suppose -5*r + 34 = -36. Let j = r + -12. Suppose -j*y - 44 = -6*y. Is 11 a factor of y?
True
Suppose 0 = 16*q - 12*q - 60. Let t = q - -11. Is 14 a factor of t?
False
Does 58 divide 409 - (-24)/((-24)/3)?
True
Suppose -p + 6 = -3. Suppose -2*j - p = -5*j - l, j + 4*l = 3. Suppose -2*x - 2*d + 6*d + 94 = 0, -j*x + d = -116. Does 12 divide x?
False
Suppose -3*f - 4*d = -908, 6*f + 2*d = 4*f + 602. Is 6 a factor of f?
False
Let o = -36 - -37. Suppose 0*h - 3*h = -3*q + 120, -o = h. Does 13 divide q?
True
Suppose -6 = -3*g + q, 2*g + 4 = 4*g + 2*q. Does 16 divide 128 - ((2 - 1) + -3)*g?
False
Let w = -708 + 2100. Is 16 a factor of w?
True
Let u = -165 - -231. Is 27/(u/20 + -3) a multiple of 15?
True
Suppose 5*v - 6651 = -4*j, 0 = -3*j - 4*v -