ose -21 = -l - b*l. Does 3 divide l?
False
Suppose -3*w = b + 2*w - 142, 3*w + 6 = 0. Is b a multiple of 14?
False
Suppose 0 = -u + 4*f - 2, 3*f = -2*u - 0*u + 7. Suppose -5*q + 81 = k - u*k, 4*q - 63 = -k. Does 8 divide q?
True
Suppose -25 = -5*d, 0 = -3*t - 3*d - 2*d + 91. Is 3 a factor of t*(-3 + 7/2)?
False
Let l = 127 - 42. Suppose 2*h - 5*c = 61, -4*h - c + l = h. Is h a multiple of 9?
True
Let s(l) = l**2 + l + 1. Let f(p) = -3*p**2 - 17*p - 4. Let j(o) = -f(o) - 4*s(o). Does 11 divide j(8)?
False
Let q(b) = b**3 + 8*b**2 + 6*b + 8. Does 15 divide q(-7)?
True
Suppose 2*o - 8 = 12. Is ((-8)/o)/(1/(-15)) a multiple of 12?
True
Suppose 0 = -j + 1 + 8. Let v(p) = -p**2 + 9*p + 11*p + 0*p - 7*p. Is 16 a factor of v(j)?
False
Let p(g) = 0 + 31*g + 0. Let z(n) = n**3 - 3*n**2 - 3*n - 3. Let r be z(4). Is p(r) a multiple of 12?
False
Let n = 143 + -70. Is n a multiple of 5?
False
Let l(r) be the third derivative of -r**7/1260 - 7*r**6/720 - r**5/60 + r**2. Let v(o) be the third derivative of l(o). Does 13 divide v(-5)?
True
Suppose -10 = -0*b - 5*b. Let k be (1 + 1)/(b/4). Suppose -k*v + 47 = -3*i, -2*v + i = -3 - 22. Does 14 divide v?
True
Let k = 21 + 114. Is 27 a factor of k?
True
Let m = -196 - -306. Is 11 a factor of m?
True
Let a(g) = 4*g**2 + 2*g - 2. Let s = 4 - 0. Let k = -2 + s. Does 7 divide a(k)?
False
Suppose 10*x - 4*x - 906 = 0. Is x a multiple of 12?
False
Let w = 4 - -35. Does 8 divide w?
False
Suppose 0 = -m - 2*d + 64 - 19, 0 = 2*m - d - 75. Does 3 divide m?
True
Let d be ((-4)/10)/((-5)/75). Let w(i) = -i**3 + 6*i**2 + 5*i - 6. Does 8 divide w(d)?
True
Let b = -71 + 108. Let u = -14 + b. Suppose s = 11 + u. Does 17 divide s?
True
Does 20 divide (-16)/(10/75*-3)?
True
Does 6 divide (-7 - -8)/(2/212)?
False
Let g be 2*-1 - (-5)/1. Let u = -3 + g. Suppose -2*s + 16 = -u*s. Does 3 divide s?
False
Let l = -2 + 9. Suppose 3*q - l*q = -4. Is (-1)/(q - 2) - -15 a multiple of 5?
False
Let g = 18 - 41. Let a = g + 46. Is a a multiple of 11?
False
Suppose 2*b = 4*b - 108. Suppose -3*t - 21 = -b. Is t a multiple of 6?
False
Let a(y) = 4*y**2 + y - 2. Is 6 a factor of a(-2)?
True
Let u(q) = 10*q + 7. Is u(5) a multiple of 19?
True
Let u be 6/21 + (-5)/(-7). Let a(c) = c - 6. Let q be a(13). Let r = u + q. Is r a multiple of 8?
True
Suppose 0 = -4*t - 2*i - 118, 5*i + 16 - 41 = 0. Let h = -6 - t. Is 13 a factor of h?
True
Does 6 divide -4*(-7)/(-56)*(1 - 63)?
False
Let p = -50 + 78. Is p a multiple of 4?
True
Suppose 4*m - 5*v - 45 = 0, -5*m - 2*v + 5 = -10. Suppose 2*t + 40 = 3*n - 0*n, -9 = -n + m*t. Does 7 divide n?
True
Let z(y) = y**2 - 4*y - 4. Let l = 6 + 0. Does 8 divide z(l)?
True
Suppose -c = -1 + 2. Let t(h) = -13*h - 18*h + 3 - 2 - 2. Does 20 divide t(c)?
False
Let p(x) = x**3 - 4*x**2 - 7*x + 9. Does 39 divide p(6)?
True
Let m = -11 - -17. Let y(h) = -h**3 + 7*h**2 - 7. Is 10 a factor of y(m)?
False
Let a = 40 + -16. Suppose 0 = 3*d - 129 + a. Suppose q = -5*m + 133, -63 = -4*m + 2*q + d. Is 9 a factor of m?
False
Let m(r) be the first derivative of r**3 + 3*r**2/2 - 2*r - 2. Let l be m(3). Let s = l - 22. Is s a multiple of 5?
False
Let a = 50 + -74. Suppose -m + 1 = 2. Does 11 divide (9/12)/(m/a)?
False
Let y(m) = -m**2 + 9*m - 5. Let n be y(8). Let z = -3 - -6. Suppose n*r - 81 = -p, 47 = z*r + 3*p - 28. Does 14 divide r?
True
Let d be ((-2)/(-4))/(-1)*0. Suppose 3*a - 16 - 26 = d. Is 9 a factor of 284/a + 2/(-7)?
False
Suppose -12 = -5*f + 63. Is f a multiple of 5?
True
Let m be (-1)/2 + 1/2. Suppose -g + 12 + 10 = m. Does 11 divide g?
True
Let d(i) = -3*i. Let m be d(-1). Let x = 2 + m. Is x a multiple of 3?
False
Let l(q) = -3*q - 1. Let u = -3 + 2. Let i be l(u). Suppose 3*x - 2*b = 34, i*b + 0 = -x + 14. Is 12 a factor of x?
True
Let u(a) = -a + 4. Suppose 0 = 4*p - 2*p - 3*i + 21, 5*p + 3*i + 21 = 0. Is 6 a factor of u(p)?
False
Let k be (0*(-1)/(-3))/(-1). Suppose -3*x - 4*z - 41 = 0, -5*z + 10 + 10 = k. Let g = x - -51. Does 16 divide g?
True
Let j(g) = -g**3 - g**2 - g + 3. Suppose -2*w + 5*w = 4*a, 0 = a + 4*w. Is j(a) even?
False
Is 5 a factor of (24/10)/1*5?
False
Is (-1914)/(-42) + 9/21 a multiple of 23?
True
Let r be (-4*1)/(2/(-64)). Suppose 9*x - 14*x = -390. Let d = r - x. Is d a multiple of 13?
False
Let b = 4 - 0. Suppose -3*v = -5 - b. Suppose -v*m = -47 + 2. Does 15 divide m?
True
Suppose 2*a - 5*w = -19, 4*a + 2*w + 7 = -19. Let l(r) be the first derivative of -3*r**2 + 6*r + 1. Does 16 divide l(a)?
True
Let l = 272 + -144. Does 44 divide l?
False
Is 19 a factor of (86 - 7)*(2 - 1)?
False
Let v(k) = 2*k**3 - k**2 - 6*k + 2. Is 9 a factor of v(4)?
True
Suppose 5*u - 158 = -n, 4*u + 62 = 6*u + n. Is 8 a factor of u?
True
Is 44/242 + 458/22 a multiple of 6?
False
Suppose 2*x - 72 = -0*x. Suppose -x + 144 = 2*y. Does 18 divide y?
True
Let g(c) be the second derivative of c**5/20 - c**4 + 2*c**3 - 5*c**2/2 - 9*c. Is g(11) even?
True
Suppose -3*p + j - 6*j + 5 = 0, -5*p + 31 = -3*j. Suppose 3*s = -4*n + 51, -2*n + 30 = n + p*s. Is 4 a factor of n?
False
Let s(c) = 6*c - 7. Let x be s(6). Let y = 15 + x. Is 22 a factor of y?
True
Suppose 34 = 3*d - a, 2 - 7 = 5*a. Is d a multiple of 10?
False
Let o(l) = l**3 - 6*l**2 + 2*l - 4. Let c be o(6). Let q = c + -5. Suppose -q*j = -j - 24. Is j a multiple of 6?
True
Let v be 42/4*(3 - 1). Suppose 5 = 4*s + v. Let i(b) = b**2 + b - 2. Does 8 divide i(s)?
False
Let s(n) = -3*n - 1. Let p be s(-3). Let w = p - -18. Is w a multiple of 13?
True
Let h = 1 - -3. Suppose 2*f = 6*f - 4*v - 260, 4*f = -h*v + 268. Is (-2)/3 - f/(-18) even?
False
Suppose 0 = -o - 2*o - n - 62, -4*n = 2*o + 38. Let m = o + 11. Does 14 divide (-76)/(-5) + 2/m?
False
Let g = -3 - -3. Suppose -17 = -5*u + 18. Does 5 divide g + -2 + 2 + u?
False
Does 6 divide (-3)/(1*(-2)/8)?
True
Let k = -84 - -14. Let i = -30 - k. Does 12 divide i?
False
Suppose 0 = -2*n - 13 + 17. Suppose 2*w = n*i + 1 + 3, 5*i = 4*w - 8. Does 2 divide w?
True
Let f(b) = 10*b**2 - 7*b - 6. Let q(m) = -10*m**2 + 6*m + 5. Let u(x) = -6*f(x) - 7*q(x). Does 11 divide u(-1)?
True
Let n be 15/(1 - -2) + -1. Suppose -u + 80 = 5*o, -33 - 7 = -n*o + 4*u. Does 9 divide o?
False
Let r be 4/(-3)*(-18)/4. Let m = -33 - 15. Is 8 a factor of (8/r)/((-4)/m)?
True
Let i = -25 - -14. Let y = i + 16. Does 2 divide y?
False
Suppose 5*l + 9 + 1 = 0. Does 9 divide 1337/49 + l/7?
True
Let f = -92 + 170. Is f a multiple of 14?
False
Let b(v) = 4 - v**3 - 2*v + 5*v**2 + 7*v + 2. Let l be b(6). Suppose -4*y - x + 2*x + 181 = l, 5*x = -25. Is 22 a factor of y?
True
Suppose 0 = -2*q + 5*l + 241, -q - 4*l + 113 = -8*l. Is 30 a factor of q?
False
Let a(w) = -7*w - 2*w + 2*w. Is 4 a factor of a(-1)?
False
Suppose w - 23 = -3*w + 3*v, 4*w = -4*v + 44. Suppose w*p + 15 = 3*p, 3*p - 24 = -x. Is 10 a factor of x?
False
Let q(k) = 22*k**2 - 1. Let t be q(-1). Suppose o = 3*r + t, -o + 4*r + 7 = -19. Let w(f) = f**2 - 4*f - 8. Is 4 a factor of w(o)?
True
Let v(t) = -t. Let f be v(-7). Is 3 a factor of (0 + f)/((-3)/(-3))?
False
Let y(o) = -o**2 + 12*o - 4. Let v(z) = -z**2 - 9*z - 1. Let w be v(-8). Let k(g) = 3*g**2 - 37*g + 13. Let s(j) = w*y(j) + 2*k(j). Is s(7) a multiple of 8?
False
Suppose 5*x - x - 328 = 0. Suppose -244 = -3*q - x. Does 23 divide q?
False
Let r(q) = 2*q - 4. Let v be r(4). Is 3 a factor of 11/v + 4/16?
True
Let v(c) = -c**3 + 2*c**2 + 9*c + 1. Does 5 divide v(4)?
True
Let z(b) = -16*b + 2. Let u(k) = -17*k + 2. Let m(a) = -5*u(a) + 6*z(a). Let x be 26/(-22) + 1 - (-220)/(-121). Is 17 a factor of m(x)?
False
Suppose 0 = m - 3*n - 16, -3*m + 0 = 5*n + 22. Let q be -2 - (0 - 31)*m. Let p = q - 11. Is p a multiple of 6?
True
Let f(w) = -2*w**3 - 3*w**2 + 0*w - w - 3*w**2. Is f(-4) a multiple of 17?
False
Suppose 10 = 4*d - 22. Is 7 a factor of d?
False
Let i = -111 - 1002. Let b = -1697 - i. Is 18 a factor of (-2)/3 - b/12?
False
Suppose -22 = 4*o - 114. Let a be 249/27 - 4/18. Suppose 4*v - a = o. Does 3 divide v?
False
Let x = -27 - 1. Let i = x + 60. Is 12 a factor of i?
False
Let y(n) = n**3 + 13*n**2 + 12*n - 16. Let k(w) = -2*w**3 - 26*w**2 - 25*w + 31. Let f(o) = 3*k(o) + 5*y(o). Does 18 divide f(-12)?
False
Let f be 3*(-1)/(-3) - -3. Suppose f*z = 43 + 5. Is 4 a factor of z?
True
Suppose -t + 0 = -6. Is 3 a factor of t?
True
Suppose 