. Let o = -4 - -5. Suppose -3 = -b*q + o. Does 2 divide q?
True
Suppose -a = a - 358. Suppose -3*m + 4*f + a = 0, m = -2*m - 3*f + 186. Does 15 divide m?
False
Let u = 41 + -26. Is 5 a factor of u?
True
Is 3 a factor of 16 - (0/(-3))/(-1)?
False
Let q be 1/(-1) + -8 + 9. Suppose -2*n + 4*f + 52 = -q*f, 2*n + 4*f - 92 = 0. Does 14 divide n?
False
Let t(s) = s**2 - 6*s - 9. Let d be (-5)/1*48/(-30). Is 2 a factor of t(d)?
False
Let v(q) = q**2 + 9*q + 2. Let a be 176/(-18) + (-14)/63. Is v(a) a multiple of 12?
True
Let c(n) = 3*n**2 - 10*n - 9. Let p(k) = 13*k**2 - 41*k - 37. Let r = -3 - -12. Let b(w) = r*c(w) - 2*p(w). Is 2 a factor of b(9)?
True
Suppose 2*p - 3*p - 73 = 0. Suppose -262 - 56 = -3*r - 3*k, 5*r + 3*k = 524. Let y = p + r. Does 15 divide y?
True
Suppose 3*j + 72 + 138 = 0. Let v = -4 - j. Is v a multiple of 22?
True
Suppose 0 = -2*u - 5*p + 29, u + 3*p - 11 = 6. Suppose -u*g + 77 = -13. Does 9 divide g?
True
Let q = -23 - -28. Suppose -2*d - 32 - 22 = -3*z, q*z - d - 90 = 0. Is z a multiple of 3?
True
Let s be -4*(2 - 10/4). Suppose 0 = -m + s, m = -0*i + 2*i - 8. Suppose -b - 2*b + 29 = i*w, 5*w - 2*b = 14. Is 3 a factor of w?
False
Let f = -21 + 6. Let b = f + 33. Does 9 divide b?
True
Let f be 7/3 - (-2)/3. Suppose 10 = f*h - 2. Suppose -3 - h = -i. Is 4 a factor of i?
False
Suppose 5*b - 27 = -r, 3*r - b = 143 + 2. Is 23 a factor of r?
False
Let c be 1/(1 + 2/(-3)). Suppose 3*o + 5*a = 238, -c*o + a + 278 = -4*a. Suppose -2*z + 178 = 5*f, 4*z = 2*f + f - o. Does 17 divide f?
True
Let u(i) = i - 9. Let k be u(5). Suppose 3*y = 2*h + 6, 0 = 5*h + 3*y - 2*y - 2. Let s = h - k. Is 2 a factor of s?
True
Let m = -7 - -24. Is 7 a factor of m?
False
Let h(i) = -9*i + 8. Let p be h(-4). Suppose -a - 4*a = 3*k - 112, 0 = -3*a + 4*k + p. Does 10 divide a?
True
Let p = -98 + 219. Is p a multiple of 43?
False
Suppose -y = 2 - 6, 4*v + 2*y - 152 = 0. Does 11 divide v?
False
Let q be 117*(1 + (-6)/9). Let l = q - -18. Is l a multiple of 19?
True
Suppose 0 = -4*f + 2*j + 222, -118 = -2*f - 2*j - 4. Does 7 divide f?
True
Let u(g) = 29*g**2 - 1. Let s be (-5 + 2)/3*-1. Let h = s + 0. Does 14 divide u(h)?
True
Suppose 0 = 2*t + 7 + 63. Let v = 16 + t. Let r = 28 + v. Is 9 a factor of r?
True
Let p(g) = 2*g**2 + g - 2. Let i be p(-2). Suppose 2*d - 18 = -w, -i*d - 3*w = -4*w - 36. Does 2 divide d?
False
Let y be (1 - -1)*4/(-8). Is 7 a factor of (y/(-1))/((-1)/(-7))?
True
Let k = 71 - -15. Does 14 divide k?
False
Suppose -5*r + 140 = -5*l, -4*r + 3*l + 110 = -0*l. Let p = r - 16. Is p a multiple of 10?
True
Let r be (-1 - 1)*36/(-24). Let s = 6 - 3. Suppose -r*u - 48 = -y, u = s*u + 8. Is y a multiple of 14?
False
Let g = 812 - 580. Is g a multiple of 58?
True
Let n(w) = -w**2 - 5*w - 2. Let d be n(-2). Suppose -46 = -3*p - 4*m, 2*p + 28 = 4*p + 2*m. Let a = p - d. Does 6 divide a?
True
Is (-34)/(-187) - 988/(-11) a multiple of 18?
True
Let r = 45 + -27. Is r a multiple of 3?
True
Suppose -8*p + 478 = -5*p + 2*u, 0 = -p - 2*u + 158. Suppose 4*a + 4*v = -p, -5*v + 5 = 4*a + 167. Let i = -19 - a. Is i a multiple of 15?
False
Let x = -12 + 17. Let z = 1 - 1. Suppose x*j - 19 - 1 = z. Is 3 a factor of j?
False
Suppose -5*n - 7 = -222. Does 8 divide n?
False
Let p(w) = 14*w**2 + w. Let a(u) = u. Let r be a(-4). Let h = r + 3. Does 13 divide p(h)?
True
Let a(f) = f**3 + 2*f**2 - 2*f**2 + f**3 - 3*f - 3*f**2 + 3. Is 17 a factor of a(3)?
False
Let n(k) be the first derivative of k**2 - 4/3*k**3 - 4*k + 2 + 1/4*k**4. Does 12 divide n(5)?
False
Let t be 1*6 - 2 - 0. Let v = -2 + t. Suppose -v*b + s + 101 = 0, -b - 5*s + 13 = -21. Does 22 divide b?
False
Suppose -2*z - 16 = 5*c - 0*z, 2*c = 2*z + 2. Let i(m) = -m**3 + 6*m**2 + 3*m - 8. Let v be i(6). Let s = v + c. Does 6 divide s?
False
Suppose 4*f + 3*l - 192 = -32, 2*f - 80 = -5*l. Does 20 divide f?
True
Let h(y) = y**3 - 6*y**2 + 2*y + 6. Let w be h(5). Let t = w - -23. Is t a multiple of 4?
False
Let c be ((-5)/(-3))/(4/12). Suppose -195 = c*b + 3*k, 78 = b - 3*b - 3*k. Does 13 divide -4*(0 + b/12)?
True
Let z = 10 - 7. Suppose 0 = 5*a + 6 + 4. Does 3 divide (-2)/z*9/a?
True
Let o(b) = -b**3 + 6*b**2 + 2*b - 2. Let z be o(5). Suppose 0 = 4*h + 16, -3*k = -0*k - 3*h + 267. Does 2 divide k/(-33) - (-6)/z?
False
Let p(r) be the second derivative of -1/6*r**3 + r + 0 - 1/2*r**2 + 1/2*r**4. Is p(-1) a multiple of 6?
True
Let m(y) be the second derivative of 0 + 1/2*y**2 - 2*y - 1/4*y**5 - 1/6*y**4 + 0*y**3. Is 4 a factor of m(-1)?
True
Is (-10 - -16)*10/4 a multiple of 15?
True
Let n be (21/9)/((-2)/6). Does 12 divide ((-4)/(-3))/(n/(-63))?
True
Suppose -o - 34 = 3*z, 34 = -2*z + o + 4*o. Is -5*(z/(-4) + -10) a multiple of 17?
False
Let t(l) = l**2 + 4*l - 7. Is t(-7) a multiple of 5?
False
Suppose -t - 88 = -5*f + 167, 2*t = f - 51. Suppose 9*s = 6*s + f. Is s a multiple of 14?
False
Let x = -21 - -14. Let i = x - -17. Does 3 divide 2*(-1)/(-4)*i?
False
Suppose -164 = 4*h - 5*h. Suppose h = 4*n - c, 0 = 5*n - 4*c - 271 + 55. Does 16 divide n?
False
Let r = 10 - 10. Let j = r - -10. Is 5 a factor of j?
True
Suppose -5*u + 235 = 70. Suppose -6*g + u = -3*g. Does 9 divide g?
False
Suppose -n + 1 + 5 = 0. Does 6 divide n?
True
Suppose 4*r - 189 = -c, r + 4*r + c - 235 = 0. Is (-6)/(-15) - r/(-10) a multiple of 2?
False
Let b(j) = 228*j - j**2 - 6*j**2 + 5 - j**3 - 220*j. Suppose 0 = -2*q - q - 24. Is b(q) a multiple of 5?
True
Let s(l) = -l + 4. Let j = 4 - 7. Let x be s(j). Suppose -5*k - 26 = -x*k - 3*d, -5*d + 39 = 3*k. Does 13 divide k?
True
Let a(l) = l**3 + l**2 + 1 + 22 + 5. Does 18 divide a(0)?
False
Suppose q = -4*q + 40. Is q even?
True
Suppose -5*a = -48 - 97. Is a a multiple of 8?
False
Suppose 39 = -5*y + 244. Let j = 66 - y. Is 14 a factor of j?
False
Let q = -9 - -9. Suppose -w + x + 91 = q, -186 - 81 = -3*w - 3*x. Is w a multiple of 18?
True
Suppose -5*u - 7 + 52 = 0. Does 3 divide u?
True
Let t(b) = 7*b - b**2 + 2 + 3 + 2*b**2. Let d be t(-7). Suppose -3*j - d - 1 = 0, 5*j + 72 = 2*f. Is 13 a factor of f?
False
Suppose 0 = -2*r + 2*s + 6, 0*s + 1 = -s. Suppose -c = -3*v + 58, -v + r = -4*c + 1. Is v a multiple of 21?
True
Suppose 174 = 3*w + 18. Is w a multiple of 13?
True
Let f be (21/6)/(-1)*2. Let a(k) = -k**2 - 8*k - 4. Let i be a(f). Suppose 0 = -i*h + 118 + 56. Does 19 divide h?
False
Let r(m) = -23*m - 1. Let a(n) = n + 1. Let w(k) = -a(k) + r(k). Is 18 a factor of w(-2)?
False
Suppose 4*m - 3*z - 335 = 0, -3*z = -m - 0*z + 95. Is 10 a factor of m?
True
Let i be (1 + -2)/((-1)/1). Let v(t) = -t. Let z(l) = 30*l**2 - 50*l. Let s(u) = -50*v(u) + z(u). Is 8 a factor of s(i)?
False
Let g = 19 + -11. Is 7 a factor of g?
False
Let h be -2*(14/(-4) - -2). Suppose -h*z - z + 40 = 0. Suppose 0*r + z = r. Does 4 divide r?
False
Let g(o) be the first derivative of 2*o**3 - 1/4*o**4 + 1 - 3/2*o**2 + 0*o. Is g(3) a multiple of 17?
False
Let t = -12 - -13. Suppose 0 = -2*y + 11 - t. Does 5 divide y?
True
Let l = 25 - 14. Let k(a) = -l*a - 8*a - 13*a. Is k(-1) a multiple of 16?
True
Suppose r - 4*r = -168. Does 28 divide r?
True
Let d = -51 + 59. Is 7 a factor of d?
False
Let z = 1 + 1. Let d(s) be the third derivative of 7*s**6/120 - s**5/60 - s**4/24 + s**3/6 + 2*s**2. Does 20 divide d(z)?
False
Let h be 8/(-2 + 4) - 2. Suppose -80 = -3*g - 0*i - 4*i, 0 = 4*g + h*i - 110. Does 14 divide g?
True
Let q be 4*2/((-4)/(-2)). Suppose -q*i = 0, -88 = -3*a + 5*i - 10. Does 9 divide a?
False
Let s be (4/(-10))/((-4)/860). Suppose 5*j + 254 + s = 0. Let q = -27 - j. Is 14 a factor of q?
False
Suppose 3*x - 4*x + 3 = 0. Let q = -6 + 6. Suppose -x*l = -90 - q. Is 15 a factor of l?
True
Let c(w) = 23*w + 1. Is 28 a factor of c(4)?
False
Suppose 4*g - 706 = -4*u + 2*u, -709 = -4*g - 5*u. Does 44 divide g?
True
Suppose 15*q = 14*q - 10. Is q/15 - 29/(-3) a multiple of 3?
True
Suppose 2*y + u - 21 = 0, u = 2*y - 3*u + 4. Suppose 0 = 3*b, 3*t + 3*b + 0*b = 15. Let p = y - t. Is p even?
False
Suppose 2*d = 3*c + 19 + 22, 92 = 4*d - 4*c. Is d a multiple of 7?
True
Suppose 5*k - 41 = -3*f + 112, 3*k = 4*f + 115. Is k a multiple of 5?
False
Let f(s) = -4*s**3 + 5*s**2 - 10*s + 5. Let c(t) = t**3 + t - 1. Let r(d) = -5*c(d) - f(d). Let q be r(-7). Let k = -27 + q. Does 14 divide k?
False
Let f(r) = r - 1. Let v be 