. Is l a multiple of 14?
False
Let r = 6 + -4. Let b(d) = -5*d**2 - 3*d + 1. Let t be b(r). Let l = 40 + t. Is 9 a factor of l?
False
Let z(q) = 3*q + 3. Is z(14) a multiple of 15?
True
Suppose 24 = 4*p - p. Let v = p - 6. Suppose -q - 3*x + 30 = v*q, -3*x + 35 = 4*q. Is q a multiple of 2?
False
Does 12 divide ((-10)/35 + 8/(-21))*-54?
True
Let o = -4 + 50. Let b = -22 + o. Is b a multiple of 8?
True
Suppose g + 1 = 0, 4*f - 3*g = 113 + 702. Is 29 a factor of f?
True
Suppose -5*t - 3*f - 81 = 0, -f - f + 56 = -4*t. Let m = 75 + t. Is m a multiple of 10?
True
Let q(b) = -b**2 - 4*b. Let o be q(-4). Suppose 4*h - 2 - 62 = o. Is h a multiple of 8?
True
Suppose -m = 2*m - 3*f - 39, 2*f = -5*m + 51. Does 3 divide m?
False
Let f = -23 + 40. Does 4 divide f?
False
Let o(k) = 2*k**2 - 2*k - 1. Let x be o(2). Suppose 2 = x*m - 34. Does 8 divide m?
False
Let m = 12 - -8. Let j = 2 + m. Is j a multiple of 20?
False
Suppose 378 = 5*o + v + 14, 5*v - 308 = -4*o. Is 35 a factor of o?
False
Let h(p) = p**3 - 9*p**2 - 5*p - 10. Does 14 divide h(10)?
False
Let b(m) = -6*m**2 + m. Let n be b(1). Let s = n + 10. Is s a multiple of 5?
True
Suppose -4*d - 3*g + 738 = 0, -2*g = -4*g - 4. Does 34 divide d?
False
Let x = -56 - -82. Let y = -23 + x. Does 3 divide y?
True
Let c(r) = r**3 + 7*r**2 + 9*r + 19. Is 6 a factor of c(-5)?
True
Suppose 0 = -22*g + 19*g + 141. Does 5 divide g?
False
Does 12 divide (0 - (-120)/(-1))*1/(-2)?
True
Let a be (-11)/3 - (-12)/18. Let c be (23/a)/(1/(-9)). Let t = c + -48. Is 14 a factor of t?
False
Let n be (-2)/10 - (-6)/30. Suppose -b - 3*b + 72 = n. Is 26 a factor of 10/(-45) + 778/b?
False
Suppose -12 = 2*q - 0. Let z(g) be the first derivative of -g**4/4 - 5*g**3/3 + 3*g**2/2 + 2*g - 14. Is z(q) a multiple of 8?
False
Let s be (-4)/6 + (-3086)/(-3). Suppose 0 = -g + 5*g - s. Suppose 5*o - 3*v - g + 44 = 0, -2*o + 88 = -4*v. Does 21 divide o?
True
Suppose 4*d = -t + 4*t + 77, d = -5*t + 25. Does 20 divide d?
True
Is (-3 + 11)/((-3)/(-18)) a multiple of 12?
True
Let n(q) = 2*q**2 - 11*q + 4. Is 4 a factor of n(7)?
False
Let z = 4 + -2. Suppose z*b - 6 = -b. Let y(a) = a**3 + 2*a**2 + 3*a - 3. Is y(b) a multiple of 9?
False
Suppose 0*f - 3*f - 8 = s, 4*f = 4*s - 32. Suppose -c - 2 = 2*m + s, -3*c + 12 = -4*m. Is m/((-18)/(-21) + -1) a multiple of 12?
False
Let p be (1 - (0 + 28))*-1. Suppose -3*x + 45 = -p. Is x a multiple of 16?
False
Let h = 207 - 121. Suppose 0*j - 3*j - d = -h, -j + 5*d = -18. Is j a multiple of 14?
True
Let j = -292 + 562. Is j a multiple of 54?
True
Let q(j) = -j**3 - 6*j**2 + 6*j + 1. Let x be q(-5). Let y = x - -127. Does 21 divide y?
False
Let k(n) = -n**3 - 5*n**2 + 8*n + 6. Is 11 a factor of k(-7)?
False
Let v = -4 + 9. Suppose -3*l - 72 = -3*x, v*x - 155 + 34 = 4*l. Does 9 divide x?
False
Suppose -4*a = -0*a + 32. Let o = a + 13. Is 3 a factor of o?
False
Suppose 0*c = -5*c - 25. Let r(j) = -11*j - 1. Does 15 divide r(c)?
False
Suppose -5*m = 5*r, 3*m + 4*r + 5 = 1. Suppose -m*h + h + 27 = 0. Is h a multiple of 3?
True
Let d(s) = s**3 + 13*s**2 + 15*s - 13. Let v be d(-11). Suppose 0*j + 2*j = v. Is 12 a factor of j?
False
Let h(i) = 50*i - 8. Does 7 divide h(4)?
False
Is 4 a factor of (-2)/(-4) + 114/12?
False
Suppose -4*v - 25 = -0*p + p, -5*v = p + 23. Let d = p - -76. Is 13 a factor of d?
False
Let v = -2 + 5. Suppose 199 = v*h + 64. Is h a multiple of 16?
False
Let o = -5 + 7. Suppose -4 = o*b - 8. Suppose -91 = -5*a - b*v, 0*v + 10 = -5*v. Is 8 a factor of a?
False
Is 7 a factor of 7/(-2)*(-10 + 6)?
True
Let j(g) be the second derivative of 7*g**3/6 + g**2/2 + 2*g. Let t be j(9). Suppose 3*a = 4*k - t, -a = 4*k - 2*a - 72. Does 14 divide k?
False
Let n(u) = 37*u - 9. Is 8 a factor of n(5)?
True
Let m(q) = -q**3 + 8*q**2 - 7*q. Let w = -5 - -10. Is m(w) a multiple of 20?
True
Let g(t) be the second derivative of t**3/3 + t**2 - 3*t. Does 4 divide g(2)?
False
Suppose -g + 8 = 5*n - 0*n, 2*g + 5*n = 31. Let a = g - 60. Let q = 59 + a. Does 14 divide q?
False
Let o be (27 - 1) + -3 + 1. Let j = 44 - o. Is 10 a factor of j?
True
Let a = 67 + -48. Does 19 divide a?
True
Suppose b - 3*l = -3*b + 8, 3*b = -2*l - 11. Is 18 a factor of 52 + (0/2 - b)?
False
Is 28 a factor of (28/6)/(2/12)?
True
Suppose 3 = -3*y, -2*j - j + y = -19. Let k = 17 - 12. Suppose 44 = k*w - j. Is 4 a factor of w?
False
Let o be 28/6*3/2. Let w(c) = c**3 - 5*c**2 - 10*c - 1. Let d be w(o). Let a = d + -19. Does 4 divide a?
True
Suppose 0 = 2*p - p - 5*q + 16, 2*p = -2*q + 16. Suppose 0 = j - p*y, 0*j + 3*j - y = 11. Suppose 4*k - 158 = -5*h + 4*h, j*h = 4*k - 168. Is 20 a factor of k?
True
Let i be 50/(1/(1 + 0)). Suppose -h - 26 = 2*p - 2*h, -h = -4*p - i. Let a = p - -23. Is 7 a factor of a?
False
Let o = -3 + 22. Is 4 a factor of o?
False
Let f = 168 - 160. Is f even?
True
Let t(s) = 1 + 2 + 3*s + 1. Let q be t(3). Suppose f = -4 + q. Is f a multiple of 8?
False
Suppose -5*x + 672 = 132. Is 21 a factor of x?
False
Let n = 5 - -57. Is 10 a factor of n?
False
Suppose -4*o + 875 = o. Suppose -o = 4*g - 9*g. Let z = g - 25. Is 10 a factor of z?
True
Suppose -r = -58 + 17. Is 41 a factor of r?
True
Let d(o) = -2 + 0 + 2*o + 3*o**2 + 3*o. Does 20 divide d(3)?
True
Is 5 a factor of 3/(9*3/63)?
False
Let g = 56 + -28. Let i = g + -12. Is 16 a factor of i?
True
Suppose 4*u - 5*t = -4*t - 130, 5*u = -4*t - 152. Let a = 61 + u. Is 10 a factor of a?
False
Let v(i) = 3*i**3 - 3*i - 4 - 2*i**2 - 4*i**3 - i**2. Let k be v(-3). Suppose 189 = 5*g + 3*d, -2*g = -g + k*d - 51. Does 18 divide g?
True
Suppose -2*j - 40 = -778. Does 12 divide j?
False
Let s(j) = -j**2 - 4*j - 12. Let d be s(-9). Does 13 divide d/(20/(-8) - -1)?
False
Let k = -8 + 7. Let r be (k - -3 - 3)*-1. Is 12 a factor of (r - 13)/(3/(-9))?
True
Let c be 0*3/(-6) - -5. Let u(p) = 4*p**2 - p + 1. Let s be u(c). Suppose 0*x + s = 4*x. Does 16 divide x?
False
Let b(q) = -q**2 + 9*q - 14. Is b(6) a multiple of 4?
True
Suppose i + 2*i - 135 = 0. Suppose d - 165 = -4*b - i, -3*b + 4*d + 90 = 0. Is b a multiple of 28?
False
Suppose -4*r - 84 = 4*o, -2*r = -2*o - o + 62. Is 13 a factor of 10/r - (-264)/10?
True
Let o(t) = 84*t + 1. Is 16 a factor of o(1)?
False
Let p = 448 - 311. Is p a multiple of 18?
False
Is 19 a factor of 4/((-2)/1) + 63?
False
Let v = 593 + -345. Is 12 a factor of v?
False
Let b(j) = -j**2 + 8*j + 9. Let n be b(9). Suppose 0 = 3*l - n*l - 129. Is l a multiple of 17?
False
Suppose 4*y - 1 = 7. Suppose -4*d = -4*n - 4 - 104, -4*n = -y*d + 52. Does 14 divide d?
True
Let s = 10 + -6. Suppose s*l = 3*l + 45. Does 15 divide l?
True
Let g be 5*(-1 + 8/20). Is 4 a factor of (6/2)/g + 13?
True
Let n(z) = 15*z**2 + z + 2. Let l(c) = 2*c**3 + c**2 + 2*c + 1. Let d be l(-1). Let a be n(d). Suppose -3*h + 114 = -a. Does 18 divide h?
False
Suppose -2*r - 7 + 2 = 3*g, 3*g + 11 = r. Let k = g + 3. Let z = k - -10. Does 9 divide z?
False
Suppose 3*g + 4*x = 66, -g - 4*x = -x - 22. Let u = g - 12. Suppose -29 = -v - u. Does 19 divide v?
True
Suppose -5*r + 248 = -172. Is 17 a factor of r?
False
Suppose 5*i + 3 = -57. Is (-2)/8 + (-291)/i a multiple of 8?
True
Let m = -21 - -19. Is 14 a factor of 16 + (-12)/3 - m?
True
Let o = 0 + 3. Let m = o - 8. Is (54/(-15))/(2/m) a multiple of 9?
True
Suppose b - 8 = -3*b. Suppose 13 = -4*q - r, -r - 11 + b = 3*q. Is 7 a factor of (-2)/8 + (-57)/q?
True
Suppose -k + 402 = 3*k - g, 2*k + 5*g = 190. Let i = -58 + k. Does 21 divide i?
True
Suppose -5*q = -29 + 9. Suppose 0*p + q*p = 16. Suppose 71 + 57 = p*g. Is g a multiple of 16?
True
Suppose -3*x = -x - 6. Suppose 8*t - x*t = 35. Is t a multiple of 6?
False
Let k(o) = 9*o**2 + 3*o. Let c be k(-2). Suppose 0 = i + 2*i + 3*v + 27, 5*v - 27 = 4*i. Let l = i + c. Is l a multiple of 8?
False
Suppose -10*b = -2*b - 1248. Is 39 a factor of b?
True
Let q = -11 - -12. Does 13 divide (q/3)/((-6)/(-234))?
True
Let p(m) = m**3 - 3*m**2 + 4*m - 3. Is p(3) a multiple of 2?
False
Let w be -1 - 1 - (3 + -3). Let u(i) = -i**3 + i - 1. Let q be u(w). Suppose -b - y = -29, -3*y - 56 - 49 = -q*b. Is b a multiple of 8?
True
Suppose 26 + 364 = y. Suppose -716 = -5*c - 4*a, 3*a = 3*c - y - 45. Suppose 2*v + 111 = 4*h + 3*v, -3*v = 5*h - c. Is h a multiple of 20?
False
Suppose s - 18 = 3*l, 0 = 7*l - 3*l + 4. Does 3