= -3*o - z. Is i even?
True
Let x = -2259 + 3541. Is 104 a factor of x?
False
Suppose -3*b = -i - 5971, -b + 2221 = -3*i + 244. Is b a multiple of 83?
True
Suppose -61 = -9*l - 286. Let u = l - -28. Is (-184)/24*-1*u a multiple of 9?
False
Let z be (-9 - -13)*(1 - 0). Suppose -2*b - 5*r + 166 - 32 = 0, -4*b + z*r + 324 = 0. Suppose -4*q + 7 = s, b = 3*s + 2*q - 4*q. Is s a multiple of 14?
False
Suppose -n - 19 = 9. Let q = n - -41. Is q a multiple of 3?
False
Suppose -12*l - 16 = -11*l. Let c be (l/(-10))/(1/(-30)). Is 5 a factor of ((-3)/2)/(9/c)?
False
Suppose 2*c + 2*d + 25 = -d, 2*c = -d - 19. Does 12 divide (c + -1)/3 + 87?
True
Let m be 1 + 0 + (-5 - -9). Let c be (-1 + -3)/(m + -4). Is 14 a factor of c/(24/21)*-8?
True
Let u = -504 - -629. Is u a multiple of 16?
False
Suppose -20*p - 1300 = -23*p - 2*i, 3*i = 6. Is 27 a factor of p?
True
Let c be 1/(-2) - (-130)/4. Is 16 a factor of (3 - 2)/1*c?
True
Let b(z) = 6*z + 56. Let s be b(-8). Let r = 27 + -15. Let l = r - s. Is l even?
True
Let w(m) = 11*m**3 + 2*m + 1. Let u be w(-1). Let b be 4/u + 508/3. Let n = -60 + b. Does 34 divide n?
False
Let t = -15 + 15. Suppose t = -4*r + v + 384, 5*r - 2*v = -22 + 502. Is 20 a factor of r?
False
Suppose 14*w = -61*w + 166950. Does 21 divide w?
True
Suppose -f + 2*j = -718, f = 57*j - 53*j + 724. Does 6 divide f?
False
Suppose 4*p - 71 = -11. Suppose p = -3*g + 4*g. Is 11 a factor of g/2*10/3?
False
Let g(a) = 2*a**2 + 3*a + 4. Let w(j) = j - 6. Let m be w(-2). Does 36 divide g(m)?
True
Let q(z) = -5*z. Let d be q(-5). Suppose 90 = p + r - 45, 5*r + d = 0. Is p a multiple of 35?
True
Suppose 6*s - 4*d = 3*s + 1196, -s - 3*d + 390 = 0. Is s a multiple of 66?
True
Does 17 divide ((-1446)/(-4))/3 - (-21)/(-14)?
True
Let f = -534 - -545. Is f a multiple of 3?
False
Let a(w) = w**3 + 3*w**2 + 3. Let x be a(-3). Suppose x*s + 13 = 28. Is (-1071)/(-35) + (-3)/s a multiple of 8?
False
Suppose -26*n = -9977 + 1553. Is 18 a factor of n?
True
Suppose -5*w = -5*s + 105, 3*s - w = 5 + 58. Let n be (-2)/((s/(-162))/7). Suppose 2*g - n = -2*g. Does 9 divide g?
True
Suppose -c - 12 = -5*c. Suppose -2*u - 14 = -4*b, -4*b + c = -1. Does 24 divide 2408/40 - (-1)/u?
False
Let y(b) = -b**3 - 5*b**2 - 4*b - 4. Let g(v) = -2*v + 5. Let j be g(6). Let d be y(j). Let n = d - 54. Does 19 divide n?
False
Suppose -19*c + 25*c - 354 = 0. Let v = 125 + -41. Let o = v - c. Is o a multiple of 25?
True
Let b = -11 - -14. Is 60 + 0 + -6 + b a multiple of 9?
False
Let d(b) = -11*b**3 - 2*b**2 + 2*b + 2. Let z be d(2). Let h = 163 + z. Is h a multiple of 14?
False
Let t(r) = 5*r + 11. Let o be t(-3). Let m(j) = j**3 + 7*j**2 + 5*j. Does 18 divide m(o)?
False
Suppose -l = -2*l + 1, -54 = -2*f - 2*l. Let v be (0/2 - 1)*-7. Let j = f - v. Does 19 divide j?
True
Suppose -5*t + t - 8 = 0, -5*f + 5*t = -655. Suppose -129 = 3*d - 5*v + v, 3*d + 2*v + f = 0. Let x = -16 - d. Does 8 divide x?
False
Suppose 0 = 5*q + 20, 3*r + 4*q + 1 = -0. Suppose 2*j - 2*n = -0*n + 38, r*j - 55 = -3*n. Is j even?
True
Suppose -4*j = -w - 3*w + 448, 0 = 5*w - 4*j - 564. Let h = -31 + w. Is h a multiple of 17?
True
Let t = 25 + -14. Let m be 6/3 + -3 + 15. Suppose t*k + 42 = m*k. Does 5 divide k?
False
Let n = -14 - -23. Let w = 11 - n. Is 14 a factor of -3 - (w - 3) - -18?
False
Let q be (-1)/2*(32 - -18). Let u = -25 - q. Suppose u = -6*k + 2*k + 296. Is 22 a factor of k?
False
Suppose 2*n - 4*y - 4 = 0, 3*n = -2*n - y + 21. Let i(v) = v**2 + 9*v + 6 + v + n. Does 7 divide i(-11)?
True
Let q = -32 + 18. Let j = q + 26. Suppose j + 402 = 6*m. Is 9 a factor of m?
False
Let m = -5601 - -9639. Is 22 a factor of m?
False
Suppose n + 6*n + 35 = 0. Let q(u) be the first derivative of -u**4/4 - 4*u**3/3 + u**2/2 + u - 1. Is 21 a factor of q(n)?
True
Let x(v) be the first derivative of -8*v**3 + v**2 - 2*v + 6. Let w be x(1). Let p = -21 - w. Does 3 divide p?
True
Is 2344/10 + ((-96)/(-30))/(-8) a multiple of 9?
True
Let c = 1707 - 1187. Is c a multiple of 13?
True
Let u be 10/((-4)/8*2). Does 29 divide 9/15 + (-864)/u?
True
Is -2 - (-44 - 18/(-3)) a multiple of 3?
True
Suppose 0*i + 4*i = -144. Is 1 - (-350)/6 - 24/i a multiple of 30?
True
Suppose 0 = -4*v + v - 5*x + 733, 3*v = -x + 725. Does 5 divide v?
False
Let k be -3*(-4)/6 - -4. Let n(l) = 2*l**2 + 4*l + 4. Let q be n(k). Is 16 a factor of q/2 + 1 + -3?
True
Let b(q) = 3*q**2 - 11*q + 17. Is 8 a factor of b(17)?
False
Let c = -827 + 1054. Is 4 a factor of c?
False
Suppose -4*o + 6*o = 0. Is 15 a factor of (o - -9)*75/45?
True
Let v(l) = 376*l**3 - 3*l**2 - 42*l + 44. Does 64 divide v(1)?
False
Let z(k) = k**3 + 11*k**2 + 3*k - 10. Let u be z(-10). Let j = u - 18. Does 13 divide -8*(j/(-4) - -4)?
True
Suppose -40558 = -30*o + 32942. Does 21 divide o?
False
Let d = -17 - -21. Suppose 9*y = d*y + 15. Suppose -2*r + y*u + 177 = 0, 3*u = 1 - 4. Does 20 divide r?
False
Let i = -688 + 1124. Is 109 a factor of i?
True
Suppose -3*i = 158 - 5. Is (-2 + i/12)*-24 a multiple of 30?
True
Let g(j) = -2*j**2 - 3*j + 7. Let f(r) = r**2 + 2*r - 3. Let s(b) = -7*f(b) - 4*g(b). Is 4 a factor of s(-3)?
True
Suppose 44 = 5*c - 3*w, 0*c - 5*c - 4*w = -23. Suppose c*j - 2*j + 107 = 2*b, 122 = 2*b - 2*j. Is 22 a factor of b?
True
Let v = 4 + -4. Suppose v*d + 3 = d. Suppose 29 = 2*c + d. Is c a multiple of 4?
False
Let x(o) = -5*o**3 + 3*o**2 + 22*o + 80. Does 15 divide x(-4)?
True
Let b = 237 + -715. Is 20 a factor of b/(-6) - 4/(-12)?
True
Suppose 5*r = -3*y + 10, 15 + 5 = 4*r. Let v(o) = -o**3 + 2*o - 1. Let x be v(y). Suppose -4*i = -7*i + x. Does 7 divide i?
False
Let k = 848 - 500. Does 4 divide k?
True
Let a be 2/(-6)*(-26 + 8). Suppose -3*w + 13 = 5*i, -w + 6*w - 5 = -5*i. Does 7 divide 22/(-3)*a/w?
False
Let j(b) = -15*b - 10. Let s be j(-6). Let w = 26 + s. Is 8 a factor of w?
False
Suppose 0*s + s + 11 = 4*n, 12 = 3*n. Suppose g + 309 = 4*p, 2*p - s*g = 10 + 167. Is p a multiple of 9?
False
Let k = 97 + -97. Suppose k*t = 8*t - 704. Is 37 a factor of t?
False
Let h be 4/(-6)*3 - -196. Let m = -51 + h. Is 38 a factor of m?
False
Suppose 0 = -5*r + 2*r + 6. Let f be 5 - ((-2)/1 + r). Suppose 7*n - f*n - 68 = 0. Does 17 divide n?
True
Suppose 0 = -29*v + 31*v - 828. Let z = -264 + v. Is z a multiple of 30?
True
Suppose -4*z + 12 = -2*d, 5*z + d = 29 - 0. Let k(b) = -b**3 + 5*b**2 + 2. Let t be k(z). Suppose -t*f + 0*f = -32. Is 16 a factor of f?
True
Let f(a) = -a - 1. Let t(y) = -4*y + 9. Let d(z) = -6*f(z) + t(z). Let w be d(-6). Suppose -w*x + 96 = -5*p - 1, -2*p = -x + 34. Is 6 a factor of x?
True
Let d(p) = -p**2 - 1. Let m(h) = 2*h**3 - 6*h**2 - 2*h**3 + 0*h**3 + 7*h + h**3. Let c(r) = -4*d(r) - m(r). Is 11 a factor of c(9)?
True
Let y = 4647 - 1753. Is y a multiple of 12?
False
Let u = 7 - -1. Let w be (u/(-6))/(28/(-21)). Is 2 - (w + -59) - 4 a multiple of 28?
True
Suppose 4*g + 180 = 10*g. Let y = 68 - g. Is y a multiple of 38?
True
Let g(i) = -4*i**3 - 7*i - 8*i**2 + 5*i**3 - 10*i**2 + 4 + 8*i**2. Is g(12) a multiple of 13?
True
Suppose -5*v + 67 = -163. Suppose 0 = 4*a - 272 + 4. Let i = a - v. Is i a multiple of 7?
True
Suppose 3*z - 25*p - 4518 = -22*p, 3*z + 5*p - 4534 = 0. Does 55 divide z?
False
Let h = -457 + 697. Is h a multiple of 12?
True
Suppose -8*v = -536 - 2104. Is v a multiple of 22?
True
Suppose -8 = -0*y - 2*y. Let l be ((-4)/(-8))/(y/16). Suppose b = 5*r - 141, -91 = -l*r - r - b. Does 29 divide r?
True
Let x be 16/(-3)*6/(-2). Let d = x - -58. Is 15 a factor of d?
False
Let t(k) = 770*k**2 - 2*k. Let n be t(1). Suppose u - 776 = -3*y, -3*y - 3*u + n = -0*y. Does 35 divide y?
False
Let y = 294 + -190. Let j(z) = z**2 + 16*z + 39. Let a be j(-13). Suppose 3*h + h - y = a. Does 6 divide h?
False
Let n be 9/(-6)*(-2 + 0). Suppose n*q - q = 32. Let y = q - 5. Does 11 divide y?
True
Suppose -4*q - 15756 = -17*q. Is 101 a factor of q?
True
Suppose -405*t - 2464 = -413*t. Does 4 divide t?
True
Let p = -30 - -23. Let z(a) = 2*a + 18. Is 4 a factor of z(p)?
True
Let m = 4598 - 2298. Is m a multiple of 16?
False
Let w(j) be the second derivative of 7*j**6/240 - j**5/40 - 5*j**4/12 + 4*j. Let h(o) be the third derivative of w(o). Does 24 divide h(4)?
False
Suppose -o + 8 = 4. Let l be o*2*3/(-6). Does 12 divide -8*(l/8 + -1)?
True
Is 27 a factor of -19