 Is v even?
True
Suppose -10*l = -2*l - 10512. Does 9 divide l?
True
Is ((-15)/(-10))/((-12)/(-5624)) a multiple of 19?
True
Suppose -13*x + 8*x - 580 = 0. Let r = x + 267. Is 44 a factor of r?
False
Suppose 3*v + 5*a - 834 = 259, -5*v + 5*a = -1835. Suppose x + 110 = 2*x - 4*q, 0 = -3*x + 3*q + v. Does 14 divide x?
True
Let z = 206 + -114. Suppose -4*b = -0*b - z. Is b a multiple of 2?
False
Let n(u) = 3*u. Let m be n(-1). Suppose -4*v = 6*v - 16*v. Let z = v - m. Is z a multiple of 3?
True
Let d = 171 - 111. Does 3 divide d?
True
Let i = -10 - -11. Suppose c + 5 = -2*q + i, q - 4 = c. Suppose 2*r + r - 18 = q. Is 3 a factor of r?
True
Let t = -123 + 195. Does 17 divide t?
False
Suppose 69 = -2*q + 869. Is q a multiple of 10?
True
Let v(o) = o**3 + 15*o**2 - 4*o - 18. Suppose i - 3*i = 30. Is v(i) a multiple of 11?
False
Let k = 2 - -43. Let c = -9 + k. Does 4 divide (-6)/(-8) - (-333)/c?
False
Suppose -v - 4 = -11. Let a(g) = g**2 - 6*g + 17. Does 6 divide a(v)?
True
Suppose 3*u = -u - 5*b + 1283, b - 1303 = -4*u. Suppose 3*r - 229 = 2*i - 3*i, -4*r = -3*i - u. Is r a multiple of 24?
False
Suppose -133 = -4*q + r, 0*q + 5*r + 87 = 3*q. Let k = -16 - q. Let p = -20 - k. Is p a multiple of 10?
True
Suppose -1 - 7 = -4*v. Let d(t) = -t**3 + 3*t**2 - 3*t + 1. Let c be d(v). Let r(o) = -8*o**3. Is r(c) a multiple of 8?
True
Let h be ((-8)/(96/9))/((-3)/8). Suppose -f = h*f - 105. Is f a multiple of 17?
False
Suppose s = -1 - 12. Let b be 1/(3/(-1 - s)). Is 14 a factor of (-7 + b)*1 + 17?
True
Let o = 846 - 678. Is 5 a factor of o?
False
Suppose -2*y - 3*y + 15 = 0. Suppose 0 = 3*t - 29 - 7. Suppose 0 = -y*w + 18 + t. Does 10 divide w?
True
Is (-116)/1218 + (-11344)/(-42) a multiple of 11?
False
Let s(o) = o**3 - 3*o**2 - 3*o - 5. Let y be s(-3). Let j = 126 + y. Is 19 a factor of j?
True
Is 25 a factor of 7/1 + (0 - -813)?
False
Let m = 2595 - 1431. Does 4 divide m?
True
Suppose -5*s = -3*s - 6. Let a(v) = 24*v - 4. Let t(k) = -24*k + 3. Let m(j) = s*a(j) + 2*t(j). Does 18 divide m(3)?
False
Suppose 3*l + 5*x = -3, 3*x = -2*l + 2*x + 5. Let b = -47 - -67. Suppose -7 = p - y - 47, l*y - b = 0. Does 17 divide p?
False
Suppose 3*l - 15 = 8*l. Suppose -s = -4*f + 3, 3*f = 8*f + 4*s - 30. Does 2 divide -2*(f + l) - -3?
False
Let t = -114 - -72. Let p = 203 - 99. Let b = p + t. Is 22 a factor of b?
False
Let m be (-44)/(-10) + 6/(-15) - -3. Let b(k) = -k + 28. Is b(m) a multiple of 3?
True
Let j(y) = 46*y + 10. Let i(m) = m**2 + 6*m + 7. Let w be i(-5). Does 34 divide j(w)?
True
Suppose 82 = o + 5*r, 0 = 5*o - 7*o - 4*r + 158. Does 10 divide o?
False
Let r(i) = -33*i + 12. Is 52 a factor of r(-29)?
False
Suppose -15 = -5*a, 40 = 2*t - 5*a + 9. Let d = t + -20. Suppose 83 = d*b - 205. Is 24 a factor of b?
True
Suppose 3164 = -v + 29*v. Is v a multiple of 22?
False
Let a = -3 + 10. Let n(g) = g**2 - 2*g + 1. Let b be n(a). Let x = b + -22. Does 11 divide x?
False
Let o(y) = y**3 - 10*y**2 + 10*y - 5. Let v be o(9). Let u be v/(12/(-27)*-3). Suppose 480 = -u*s + 8*s. Is 16 a factor of s?
True
Suppose 2145 = -17*u + 5545. Is u a multiple of 40?
True
Let c(o) = 2*o**2 - 10*o. Suppose 3*l - a = 23, -2*l + 13 = l + a. Let b be c(l). Let g(d) = -d**3 + 13*d**2 - 10*d + 3. Is 4 a factor of g(b)?
False
Let m(c) = -37 - c**2 - 41 + 24 - 1 + c. Let v be m(0). Let j = -29 - v. Is 26 a factor of j?
True
Suppose 551 = 4*x - 893. Suppose 3*c = 2*w + 218, 0*c + w + x = 5*c. Does 18 divide c?
True
Suppose 0*b = -7*b + 994. Suppose -6*l + l + 3*r + 285 = 0, -b = -3*l - 4*r. Is l a multiple of 18?
True
Let v(j) = j - 12. Let m be v(12). Suppose m = -r - 2*r + 3*n + 174, -r - 5*n = -52. Suppose 4*p - r = p. Does 13 divide p?
False
Let o(j) = -2*j + 4. Let g(s) = s**2 + 6*s - 13. Let n(a) = 4*g(a) + 11*o(a). Let d be n(-4). Suppose -v = v - d. Does 9 divide v?
False
Let a = -1 + 6. Suppose -2*g + 760 = 3*g + a*l, 0 = -2*g - l + 306. Suppose 5*s = -4*i + 3*s + g, 185 = 5*i + s. Is i a multiple of 30?
False
Suppose 3*d - 5*p - 527 = 0, 4*d - 3*d - 174 = 2*p. Suppose -5*f = -5*n - 30, -f - 42 = 4*n - 28. Suppose b - 91 = -5*c + d, 110 = f*c + b. Does 16 divide c?
False
Let o(r) = r**2 - 6*r - 2. Let f be 9 + 3*(-8)/12. Let k be o(f). Suppose -105 = -10*i + k*i. Does 4 divide i?
False
Let f = 57 - 40. Suppose 0 = 14*w - f*w + 30. Suppose 7*k - w*k = -114. Is k a multiple of 16?
False
Let o(c) = 7*c + 9. Let p(q) = q + 4*q - 11*q - 10 - 2*q. Let t(i) = 3*o(i) + 4*p(i). Is t(-4) a multiple of 31?
True
Let f(m) be the third derivative of m**6/120 + m**5/5 - 5*m**4/6 - 25*m**3/6 + 6*m**2. Is 12 a factor of f(-13)?
False
Let f(t) = -6*t - 6. Let b be f(-4). Let r(k) = -k**3 + 19*k**2 - 18*k + 24. Let i be r(b). Does 3 divide ((-60)/i)/(1/(-2))?
False
Suppose -3*s = -2*s - 3*c - 80, 0 = -s - 4*c + 80. Suppose -f - f = -12. Suppose -2*q - 5*k = -s, -180 = -4*q - f*k + k. Does 17 divide q?
False
Let u(t) = -t**2 - 24*t - 11. Suppose 72 = k + 89. Does 27 divide u(k)?
True
Suppose -3540 = -22*g - 878. Does 14 divide g?
False
Is 11 a factor of ((-96)/(-80))/(9/2850)?
False
Let v(u) be the third derivative of u**4/2 - u**2. Let q be 1/(-1 - -2 - 0). Is v(q) a multiple of 6?
True
Suppose -5*v = -4*m + 3*m, 10 = -5*v. Let u(a) = -a**2 - 13*a + 6. Is u(m) a multiple of 12?
True
Let o = -23 + 42. Let y = 4 + -15. Let v = y + o. Does 8 divide v?
True
Let x(a) = 3*a - 2. Suppose -4*u = -5*t + 18, t = 4*u + 4*t + 2. Let c be (-1)/(u/8) + 2. Does 9 divide x(c)?
False
Let q = -71 - -181. Let l = 167 - q. Is l a multiple of 18?
False
Suppose r - 6 = -3*q + 2, 0 = 4*q - 4*r - 16. Suppose 4*l = q*o - 173, 0*l + o - 208 = 5*l. Let j = l - -101. Is j a multiple of 16?
False
Is 12 a factor of 27/((-6)/(-24*1))?
True
Suppose 15*i - 9*i = 12. Let k(g) = 10*g**2 + 3*g + 1. Let p be k(-3). Suppose 2*z + 2*z = -i*h + p, -h - z = -41. Is 17 a factor of h?
False
Let m be (-4)/(-6)*(0 - -6). Let g = 9 - m. Suppose 0*k - g*k + 90 = 0. Is k a multiple of 14?
False
Suppose -36*o = -32*o - 24. Let p = 104 - 29. Suppose p = -w + o*w. Does 5 divide w?
True
Let v be (-85)/(-4) + 9/12. Let z be v + 4/8*4. Let k = z + -11. Does 13 divide k?
True
Let b(v) be the third derivative of v**6/120 - 11*v**5/60 + 7*v**4/24 + v**3/3 - 3*v**2. Let u be b(11). Does 10 divide 2/10 + u/5?
False
Let a(y) = -115*y + 30. Is a(-6) a multiple of 18?
True
Let k(w) = -4*w**3 + 9*w + 0 + 10*w**2 - 9 + 5*w**3. Suppose 4*c + 18 = 2*c + 4*y, -2*c - 5*y - 9 = 0. Is 25 a factor of k(c)?
True
Is (-84)/(-63)*14/4*93 a multiple of 10?
False
Let u(x) = -x**3 - 8*x**2 - 15*x - 9. Is 30 a factor of u(-8)?
False
Suppose -3*p - f = f - 60, -5*f - 39 = -3*p. Let u = p + -8. Is u a multiple of 5?
True
Suppose -14509 = -25*n + 37091. Is 48 a factor of n?
True
Let g(c) = c**2 - 8*c - 11. Let u be g(9). Is u + -7 + 6 - (-1 + -10) a multiple of 3?
False
Suppose -10*w = -9*w + h - 1460, 3*w = 2*h + 4400. Does 22 divide w?
False
Let j be (-3)/(9/6*-1). Suppose j*v = 8*v - 384. Does 15 divide v?
False
Is (-51 + 16)*51/(-15) a multiple of 7?
True
Let v = -38 + 28. Let p(t) = t**2 + 11*t + 15. Let l be p(v). Is 3 a factor of -3 + 15/l*5?
True
Let w(u) be the third derivative of 11*u**6/30 + u**5/60 - u**4/8 + u**3/2 + 3*u**2. Is 9 a factor of w(1)?
True
Let j(v) = -587*v - 10. Let a be j(-14). Is a/52 - (-6)/39 a multiple of 21?
False
Let i(f) = -2*f**2 + 18*f + 6 + 3*f**2 - 20*f. Is 8 a factor of i(4)?
False
Let q = -6 - 49. Let b be ((-18)/(-2))/((-5)/q). Suppose 5*z = -o + 255, 0*z - o = 2*z - b. Is z a multiple of 13?
True
Let g(q) be the first derivative of q**5/60 - q**4/6 - 3*q**3/2 + 9*q**2/2 - 10. Let m(t) be the second derivative of g(t). Is 12 a factor of m(7)?
True
Let p be 6/57 + (-312)/76. Let g = 84 + p. Is 16 a factor of g?
True
Let d(j) = -j**3 + 9*j**2 - 16*j - 6. Let s be d(7). Is 1 + s/12 + 924/9 a multiple of 17?
True
Suppose -122 - 19 = -n. Is 47 a factor of n?
True
Let y = -226 - -1767. Is 41 a factor of y?
False
Suppose 33*u + 15 = 36*u. Suppose -48 - 137 = -u*x. Does 32 divide x?
False
Suppose 0 = 2*o - 126 + 28. Suppose 4*p - 104 = -4*m, -5*p + 214 = -2*m + o. Is p a multiple of 9?
False
Let d = -3218 + 5292. Does 61 divide d?
True
Let o(l) = -19*l - 7*l**2 - 5*l**2 + 3 + 10*l**2. Does 9 divide o(-8)?
True
Let y = 2825 + -1670. Suppose