e
Suppose 0 = -2*w + 2*s + 8, -2*w + s = 2*w - 25. Let j = 10 - w. Is j a multiple of 2?
False
Let z = -79 - -464. Does 44 divide z?
False
Suppose -158 = -5*f + 3*f. Suppose 2*t + t + f = 5*k, 0 = -4*k - 3*t + 74. Is 8 a factor of k?
False
Let m(y) = -y**2 - 4*y - 5. Let a be m(-6). Is (-2)/4*6*a a multiple of 16?
False
Suppose 6*c - c + 2*n = 0, 3*n = -3*c - 9. Is 14 a factor of (8/6)/(c/21)?
True
Suppose -3*a + 372 = 96. Suppose -a = -4*y + 96. Is 14 a factor of y?
False
Is (-103)/(-7) + 2/7 a multiple of 3?
True
Let q = -43 - -121. Does 26 divide q?
True
Let y(c) = c**2 - 15*c - 24. Is y(19) a multiple of 24?
False
Suppose 7*d - 18 = -46. Is ((-2)/d)/((-5)/(-40)) a multiple of 3?
False
Let k(i) = -148*i + 26. Does 17 divide k(-2)?
False
Suppose 0*i + 12 = 2*i + 5*s, -3*i - 3*s = -36. Does 4 divide i?
True
Let r be ((-15)/(-10))/((-6)/(-56)). Let d = 29 + r. Does 16 divide d?
False
Let v(r) = 44*r. Let b be v(4). Suppose -n = -3*n + b. Is 22 a factor of n?
True
Suppose -t = -0*t - 26. Is 11 a factor of ((-16)/6)/(t/(-429))?
True
Suppose 0 = -10*a + 5*a - w + 532, 5*a - w = 528. Does 26 divide a?
False
Let i = 148 - 79. Does 3 divide i?
True
Let z(d) = -d**3 + 8*d**2 - 2*d. Is z(6) a multiple of 28?
False
Let n = 23 - -4. Is n a multiple of 7?
False
Suppose -4*l = -2*p - 10, 5*l + 4*p = 8 - 2. Suppose -w + 4*w - 20 = 5*c, 9 = l*w + c. Suppose -2*t - 71 = -3*g - 0*t, 5*t = -w*g + 85. Is 16 a factor of g?
False
Let b = 2 - 0. Suppose b*k = 3*k. Does 8 divide 16/((-3)/(k - 3))?
True
Let j(m) = m**3 + 9*m**2 + 8*m - 10. Let y be j(-8). Does 8 divide 122/5 + y/25?
True
Let n = -3 + 5. Let j be 4/n*-1 + 8. Is (4/j)/((-2)/(-66)) a multiple of 11?
True
Let z be 2*-26*9/(-4). Suppose 5*t - 178 = -4*s, -t + z = 2*t - s. Is 19 a factor of t?
True
Let n(a) = 7*a**3 - 8*a**2 - 3*a - 5. Let h(r) = -3*r**3 + 4*r**2 + 2*r + 2. Let g(z) = 5*h(z) + 2*n(z). Is 4 a factor of g(4)?
True
Let f = -29 + 84. Does 6 divide f?
False
Suppose 0 = 2*g - 1 - 67. Suppose d + 5*f + 5 = -4, 2*f = 4*d - 8. Let j = d + g. Does 16 divide j?
False
Is 31 a factor of (-31)/3*3/(-1)?
True
Suppose -20 = 3*i + 4*y, 6*i - 4*y - 20 = 2*i. Let z = 3 + i. Suppose -37 = -5*w + h, 0*w + z*h = -4*w + 41. Does 4 divide w?
True
Suppose -2*t - 4 = o - 0*o, o + t = -2. Suppose o*v = -4*c - v + 10, -3*v + 6 = 4*c. Suppose 0*k = -k + c. Does 3 divide k?
True
Let o(v) = 2*v**2 - 15*v - 22. Does 7 divide o(10)?
True
Suppose 7*o - 856 = -o. Does 12 divide o?
False
Does 14 divide -2 - -10*((-152)/(-5))/1?
False
Suppose 5*x = 5*q - 30, 4*x - 2*x = -2*q + 4. Let w be (-1 - x)*-1*4. Let k = w - -18. Is k a multiple of 10?
False
Let a(q) be the first derivative of 3*q**2/2 + 6*q - 5. Is 12 a factor of a(6)?
True
Is 40 a factor of 4 + 1 + (-632)/(-2)?
False
Suppose -5*o + 15 = 0, -5*o + 20 = -0*r + r. Let t(s) = 0 - r + 4*s - s. Does 5 divide t(5)?
True
Does 15 divide (-12)/(3 - 7) + 94?
False
Let a = 28 - -2. Suppose -o - 5*m + a = 5, -57 = -2*o - 3*m. Is o a multiple of 10?
True
Suppose -2*w - 302 = -4*j - 0*j, -281 = -4*j - 5*w. Let k = j - 43. Does 11 divide k?
False
Let r = 11 + 73. Is r a multiple of 10?
False
Let h(p) = 26*p**2 + p. Is 12 a factor of h(2)?
False
Suppose -4*n + 354 = -2*d, d + 83 = n - 4. Is 18 a factor of n?
True
Is (-6)/(-2) + (52 - 4) a multiple of 10?
False
Let a be 12/10*15/3. Is (-12)/10*(-220)/a a multiple of 22?
True
Suppose -2*d - 14 = -u, -5*u + d = -d - 54. Is u a multiple of 5?
True
Let r(f) = f + 0*f**2 + 3*f + 11*f - f**2. Is 14 a factor of r(8)?
True
Let w(b) = b**3 - 10*b**2 - 8*b - 19. Is 4 a factor of w(11)?
False
Let v = -8 - -8. Let h(k) = k + 54. Is 27 a factor of h(v)?
True
Let k(o) = -2*o**3 + 31*o**2 + 17*o - 5. Does 4 divide k(16)?
False
Let x be 1*(2 - (1 + -2)). Suppose u + 10 = x*u. Suppose 2*q - 22 = -5*s, -5*q = -u*s + 66 - 16. Is s a multiple of 6?
True
Let z be ((-10)/3)/(4/(-6)). Suppose z*c = h - 17, -2*c + c - 70 = -2*h. Is 13 a factor of h?
False
Suppose 6*j - 4*j - 112 = 0. Does 14 divide j?
True
Let d be 122 - (3 + (1 - 2)). Suppose -6*l = -l - d. Is l a multiple of 12?
True
Let h = 150 - 85. Is h a multiple of 13?
True
Suppose -20 = -5*c, 2*c - 219 = -3*o - c. Is 23 a factor of o?
True
Let s = 11 - 7. Suppose 40 = -s*i + 196. Is i a multiple of 15?
False
Suppose -190 = -2*m - 0*m + 5*h, 5*h - 190 = -2*m. Is 19 a factor of m?
True
Let j(z) be the second derivative of 7*z**4/12 - z**2 - z. Is 13 a factor of j(-2)?
True
Let p(y) = 3*y - y - 4 + 7*y**2 + 2. Is p(2) a multiple of 15?
True
Let q be (1*0/(-2))/(-1). Suppose h - 34 = -q*h. Is 17 a factor of h?
True
Suppose -2*s = -4, 2*n - 26 = -5*s + 24. Does 3 divide n?
False
Suppose 7 = 3*w - 2. Is 6/(-9) - (-74)/w a multiple of 24?
True
Let u be (-1)/(-1) - (-2 + 5). Let h = 5 + u. Is h even?
False
Let g = -2 - 3. Is 10 a factor of (-186)/g + (-1)/5?
False
Let i(l) = l**2 + 2*l + 4. Suppose b + 18 = -2*b. Is 28 a factor of i(b)?
True
Is 15/45 + 167/3 a multiple of 28?
True
Suppose 6*c + 3 = 9*c. Let g(i) = 54*i**2 + i - 1. Does 9 divide g(c)?
True
Let f(t) = -t**3 + 6*t**2 - 5*t + 6. Let a be f(6). Let m = a + 16. Does 3 divide (m/(-4))/(4/14)?
False
Suppose -t = -2*o + 16, 2*t - 6 = -o - 3. Let j(y) = 2*y**2 - 8*y + 2. Is 11 a factor of j(o)?
True
Suppose 2*q - 6*q + 14 = 5*g, -3*g + 2 = -4*q. Suppose -x - 3*v + 113 = 3*x, g*x + v - 55 = 0. Does 13 divide x?
True
Suppose 5*s = -3*m + 549, s = -2*m - 3*m + 915. Does 18 divide m?
False
Suppose 2*y - 13 = -0*y + 3*s, 4*y - 4*s = 36. Is y a multiple of 11?
False
Suppose -3*y = 9*y - 300. Is y a multiple of 6?
False
Let u(y) = -y**2 + 3*y - 2. Let c(o) = -o. Let n(w) = -4*c(w) + u(w). Let x be n(6). Suppose 5*v - 12 = x*v. Does 5 divide v?
False
Suppose 3*n = 2*k - 40, -2*k = 3*k - n - 113. Suppose -4*y = -0*z - 2*z - 54, 5*z + k = 2*y. Is y a multiple of 7?
True
Let n(v) = v + 8. Let c be n(-5). Is (-497)/(-21) + 1/c a multiple of 8?
True
Let b(v) = -3 - 6 - 2*v + 0 + 3 + 8*v**2. Is 24 a factor of b(-3)?
True
Let r(u) = -u**3 - 2*u**2 - 2*u - 3. Let f(l) = -l + 5. Let k be f(8). Does 12 divide r(k)?
True
Let d(y) = 8*y - 33. Is d(6) a multiple of 15?
True
Let v(b) = 0 - b**3 + 4 + 6*b**2 - 4 + 6. Let a be v(5). Let r = -15 + a. Does 7 divide r?
False
Does 5 divide 112/6 + (-32)/48 - -2?
True
Let s(u) = u**2 - 1 + 0*u**2 + 6*u + 4 - 1. Does 18 divide s(-8)?
True
Let g(s) = 33*s - 15. Let i be g(-11). Let u = -117 - i. Suppose -5*f + u = -2*h, 17 + 150 = 3*f + 4*h. Is 19 a factor of f?
False
Let i(c) = c**3 + 8*c**2 - 4*c - 5. Does 12 divide i(-7)?
True
Does 16 divide (-2)/2 + 0 - -47?
False
Let i(k) = 16*k**2 - 2*k - 2. Let l(h) = -h**3 - 6*h**2 - 2. Let g be l(-6). Is i(g) a multiple of 20?
False
Let k(g) = g + 5. Let u be k(-5). Suppose u = 5*j - 2*j - 81. Suppose -4*t = -j - 117. Is t a multiple of 12?
True
Let o be (-400)/6 - 3/9. Let s = -46 - o. Does 7 divide s?
True
Let c = 23 - 21. Suppose 1 - 7 = c*y, -4*q + 53 = -3*y. Is 2 a factor of q?
False
Let b(n) = -4*n**3 - 2*n**2 - n - 2. Is b(-2) a multiple of 12?
True
Let u(y) = y**2 - 6*y + 5. Is 5 a factor of u(6)?
True
Let s(c) = -26*c**2 + 6*c - 4. Let j be s(4). Let u be j/(-10) - (-2)/5. Suppose m - u = -m. Does 20 divide m?
True
Let b(a) = 2*a - 14. Is 6 a factor of b(10)?
True
Let s(l) = 4*l. Let w be s(1). Suppose -2*x + 3*f = -2*f - 9, w*x - 2*f - 10 = 0. Is x even?
True
Suppose 5*i = -5, 5*f - i - 153 = -3*i. Does 7 divide f?
False
Let p(i) = -3*i**3 + 2*i**2 - 2*i + 2. Let v be p(2). Let m = v + 43. Does 10 divide m?
False
Let j be -4*(-2)/24*3. Let m(o) = 18*o. Is m(j) a multiple of 16?
False
Suppose -5*b - 2*g - 28 = -376, b - 80 = -3*g. Is 7 a factor of b?
False
Let c(w) = 2*w + 5. Let f be (0 + -2)/(4/4). Let h be (-1)/(-1 - f)*-5. Is 15 a factor of c(h)?
True
Suppose 734 - 66 = -2*o. Let v = -166 - o. Suppose -4*x + 80 + v = 0. Does 21 divide x?
False
Suppose 5*t = -146 + 406. Is t a multiple of 13?
True
Let j(n) = 15*n. Suppose -2 + 1 = 5*u + 3*o, 0 = -4*u - 5*o - 6. Does 10 divide j(u)?
False
Let t(y) = 102*y + 2. Is t(1) a multiple of 46?
False
Suppose -3*j + j = 6, -w = -2*j - 9. Is w even?
False
Suppose 0 = 2*l - 49 - 35. Is l a multiple of 16?
False
Suppose 0 = -6*f + 8*f - 4. Does 4 divide 2/(-3)*(-42)/f?
False
Let i(z) = z + 23. Let k(r) = 3*r - 2. Let n be k(-3). Is i(n