
Let g = -82 + 120. Does 8 divide g?
False
Let h(n) = -11*n + 7 + 2*n**2 - n**2 + 17*n. Let f be h(-6). Suppose s = i + 5, 2*s - 4*i + 43 = f*s. Is s a multiple of 7?
True
Suppose -4*s - 28 = -2*i, 10*i - 95 = 5*i + 5*s. Is 14 a factor of i?
False
Suppose 56 = 4*v + 2*n, -n + 20 = 4*v - 38. Is v a multiple of 11?
False
Suppose 17*y = 18*y - 102. Is y a multiple of 10?
False
Let l(x) = 2*x**3 - 4*x**2 + 2*x + 1. Let b be l(2). Suppose b*g + i = -i + 47, -3 = -3*i. Does 7 divide (g/(-6) + 2)*46?
False
Is 4 a factor of (-378)/(-35) - (-1)/5?
False
Let r(f) = 2*f**2 + 15*f. Is 11 a factor of r(-11)?
True
Does 26 divide (-2)/5 + (-652)/(-5)?
True
Suppose 0 = -3*r - 4*a + 10, -4*a - 1 = 7. Is 3 a factor of r?
True
Suppose -224 = -4*s - 4*s. Does 5 divide s?
False
Let f(r) = r**3 + 8*r**2 + 6*r + 5. Let o be f(-8). Let x = -32 - -92. Let s = x + o. Is 17 a factor of s?
True
Is (-4)/(-2) - (-40 - 0) a multiple of 22?
False
Let g(m) = m**3 + 12*m**2 + 8*m + 5. Is g(-9) a multiple of 20?
False
Suppose -k - 3*k = -140. Is k a multiple of 27?
False
Let q(x) = x**2 - 5*x + 2. Let b be (10/8)/(3/12). Let l be q(b). Suppose 3*f - 19 = -l*i + i, 3*i - f = 57. Is 5 a factor of i?
False
Suppose 77 = 5*d - 3. Is 16 a factor of d?
True
Suppose -7 = -5*c + 223. Is 10 a factor of c?
False
Let a(z) = 2*z**2 + 3*z - 22. Is a(6) a multiple of 12?
False
Let h be (-46)/(-4) - (-3)/(-6). Let d(y) = -y**2 + 12*y + 13. Let i be d(h). Suppose 5*n + w - 40 = 5*w, 3*n - i = -5*w. Does 7 divide n?
False
Suppose 3*f - 78 = -3*p, -4*f = -2*f - 5*p - 66. Suppose 5*d + f = 198. Is 20 a factor of d?
False
Suppose -6*o + 4*o - 26 = 0. Let c = 19 + o. Is 3 a factor of c?
True
Suppose -66 = -11*k + 759. Does 29 divide k?
False
Let f(z) = -z**2 + 3*z + 4. Let v be f(3). Suppose 3*g - 5*g + 64 = -2*c, -3*g + 82 = v*c. Is 12 a factor of ((-22)/5)/((-6)/g)?
False
Let q(o) = 2*o**2 - 3*o - 14. Let g(x) = -x**2 + 2*x + 7. Let m = 3 + 2. Let t(w) = m*g(w) + 2*q(w). Is t(5) even?
True
Let x = -53 + 75. Is x a multiple of 5?
False
Let a be 6/14 - (-11)/7. Let w(u) = 4*u**3 + u**2 - u + 1. Is w(a) a multiple of 9?
False
Let s(j) = -3*j**3 - 6*j**2 + j. Let h be s(-5). Let i = h + -149. Is i a multiple of 15?
False
Let w(d) = 15*d**2 + d - 2. Is w(-4) a multiple of 18?
True
Let a = 12 - -13. Suppose -n + 2*n - a = 0. Let x = n + -11. Does 14 divide x?
True
Let d = -21 + 35. Does 12 divide d?
False
Let o(q) = q**3 - 4*q**2 - 4*q + 3. Let r be o(5). Is 98/8 - r/32 a multiple of 12?
True
Suppose 4*r + 1 = 5*a - 4*a, 0 = 5*a - 5. Suppose 0*w = w - 22. Suppose -k + w = -r*k. Is 9 a factor of k?
False
Let v(t) = -t**3 + 3*t**2 + 2*t. Let u(d) = d**2 - 3*d - 1. Let s be u(4). Let x be v(s). Is 1*x*(-2)/(-2) a multiple of 3?
True
Let f(u) = u**3 - 8*u**2 + 7*u - 1. Let b be f(7). Does 9 divide b/(2*(-3)/156)?
False
Let t(p) = -p**3 + 5*p**2 - 4*p + 3. Let a be t(4). Let l = 4 - -12. Let z = l - a. Is z a multiple of 13?
True
Let k = -3 - -2. Let y(r) = -48*r + 1. Let s be y(k). Suppose 0 = -g + c + 19, 3*g - s - 2 = c. Does 9 divide g?
False
Let y(d) = 1 - 2*d + 0 + 3*d - 2*d. Let i be y(-2). Suppose m - 3*p = 12, i*m + 5*p = -0*p + 36. Does 12 divide m?
True
Suppose -2*x + 108 = -98. Let b = x + -47. Does 14 divide b?
True
Let a be 0 - (-2)/((-6)/(-255)). Suppose 5*n - a = 80. Suppose -h - n = -2*j - 0*j, h + 50 = 3*j. Is 6 a factor of j?
False
Suppose -2*y = g + 1, -2*g - 5*y + 2 = -g. Let b(o) = -o**3 + 3*o + 4. Is 11 a factor of b(g)?
True
Let l = 42 - 19. Does 5 divide l?
False
Let j(k) = 13*k - 23. Does 16 divide j(8)?
False
Let v = -86 + 176. Is 18 a factor of v?
True
Let q(a) = -2*a + 1. Let o be q(-2). Let y be -1 + -2 + (-168)/(-6). Suppose o*d - y + 5 = 0. Is d a multiple of 2?
True
Suppose -2*q + 2*m = -168, -2*q + m = -7*q + 408. Is q a multiple of 41?
True
Let o be (12/10)/((-9)/(-30)). Is o/14 - (-375)/35 a multiple of 6?
False
Let l = 6 + -10. Let n = -1 - l. Is (-12)/(-10)*110/n a multiple of 18?
False
Let m be 4 + 0 + -1 - 3. Suppose m = w - 13 - 29. Is 20 a factor of w?
False
Let v(b) = b**2 + 6*b - 1. Suppose -7*k + 3*k + g = 29, 0 = -2*k - 4*g - 10. Is v(k) a multiple of 3?
True
Suppose 9*c - 35 = 4*c. Suppose c = -0*x + x. Let d(g) = g**2 - 5*g - 4. Is d(x) a multiple of 10?
True
Let p be (-58)/(-4*(-1)/(-2)). Let s = p - 7. Is 11 a factor of s?
True
Let q = 2 - 2. Suppose q = -o + 42 - 1. Is o - (-6)/((-3)/(-1)) a multiple of 17?
False
Let v = -27 + 60. Does 33 divide v?
True
Suppose 0*p - p - 1 = 0. Is (5 + p)*234/36 a multiple of 13?
True
Let s(i) = 49*i**2 + 1. Let g be s(1). Suppose -4*a - 3*h - 64 = 49, 4*a - 3*h = -119. Let l = a + g. Is l a multiple of 21?
True
Let c(s) = s**3 - 7*s**2 + s + 8. Let l be (-1)/(80/28 - 3). Does 6 divide c(l)?
False
Let h be (-2)/(-3) - 28/6. Let z be 3 - (h/(-2) + 22). Let w = z + 43. Does 11 divide w?
True
Let a(v) = v**3 - 9*v**2 + 2*v + 9. Let i be a(9). Let f be (-4)/(-18) - (-1398)/i. Suppose z + f = 3*z. Is z a multiple of 9?
False
Let d(a) = -a + 8. Suppose 0 = -2*r - 5*s - 24, -6*r + r - 2*s - 39 = 0. Let v be d(r). Does 5 divide (1/3)/(1/v)?
True
Suppose 4*g = -0*g + 80. Let x be (-4)/g - 2/(-10). Suppose x = -5*h - 0*h + 75. Does 14 divide h?
False
Let u(t) be the third derivative of -t**7/2520 + t**6/60 - t**5/30 + t**4/24 - t**2. Let f(x) be the second derivative of u(x). Is f(9) a multiple of 16?
False
Suppose 1 = 2*a - 3*c + 6, a + 2*c = 8. Suppose -5*u + 9 = -3*n, 4*n + 4*u = n + 18. Is a/(-4) + 103/n a multiple of 17?
True
Suppose -14*x + 2304 = 2*x. Is 16 a factor of x?
True
Let r be -15 - (-2 + 2)/(-3). Let d be (-81)/r - (-4)/(-10). Suppose -b + d = y, -2 = -5*b + 2*y + 9. Is b a multiple of 3?
True
Is 2 + (0 + -2 - -30) a multiple of 6?
True
Suppose b - 86 - 1 = 0. Does 6 divide b?
False
Let f be 2 - (-5 + 4) - 12. Let a = f - -61. Is a a multiple of 11?
False
Let u(i) = 3*i**2 + 4*i - 5. Let g be u(5). Suppose -3*m + g = 2*m. Is m a multiple of 12?
False
Suppose -4 = 2*z - 14. Suppose -q = -z*x + 12, x + 3*q + 0*q = 12. Suppose -34 = -4*b - x*y - 0*y, 0 = -y - 2. Is 5 a factor of b?
True
Suppose 5*w + 1 = 4*x, 4*w - 10 = 2. Suppose -3*g + v = -10, -3*g + 16 + x = v. Suppose -4*t + 4*f + 4 = 0, -2*t = 2*f - g*f + 1. Is t a multiple of 3?
False
Let n(x) = 4*x. Let q be n(1). Suppose f + q*f - 5*i - 65 = 0, -5*f + 74 = -2*i. Is 16 a factor of f?
True
Suppose d - 924 = -4*d + s, 2*d - 4*s = 384. Let n(l) = -2*l + 6. Let g be n(6). Is 8 a factor of g/9 - d/(-6)?
False
Suppose 3*t - 12 = -t. Suppose t*k - 11 = m, -k + m + 1 + 2 = 0. Is k a multiple of 2?
True
Suppose 4*d - 123 = d. Is 11 a factor of d?
False
Suppose 0 = -r + 4*p - 2*p - 6, -3 = -p. Suppose 0 = -2*x - r*i + 3*i + 37, -3*i - 115 = -5*x. Does 17 divide x?
False
Does 15 divide ((-552)/20)/(2/(-5))?
False
Let v = -34 + 112. Does 13 divide v?
True
Let z(a) = a**3 - 4*a**2 + 2*a - 5. Let l be z(4). Suppose 2*q = 0, 4*q = -l*x + q + 27. Is 9 a factor of x?
True
Is 7 a factor of (-3)/((-63)/20 - -3)?
False
Let c be (-6)/(-9) + (-89)/3. Suppose -a = 5*k + 209, -5*a - 117 = -4*k - 290. Let y = c - k. Is 13 a factor of y?
True
Let o(h) = -h**2 + 7*h + 20. Is 5 a factor of o(5)?
True
Suppose -15 - 63 = -3*g. Is g a multiple of 23?
False
Let t = 36 - -104. Does 28 divide t?
True
Suppose 3*y = 3*z - 9, 0 = -2*y - 6 - 0. Suppose 4*f = -0*b - b - 2, 3*b + 5*f - 22 = z. Is 14 a factor of b?
True
Suppose 238 = 5*v - 32. Is 18 a factor of v?
True
Let q = -7 - -39. Let n be -2 - ((2 - 2) + 18). Let u = n + q. Is 8 a factor of u?
False
Let v(i) be the first derivative of -i**3/3 - 15*i**2/2 + 4*i - 2. Is 20 a factor of v(-8)?
True
Suppose 13*h - 5*h = 16. Let a be -1 - 0 - (1 + -6). Suppose -a*i = -2*p + 27 + 15, h*p - 42 = 3*i. Is p a multiple of 21?
True
Let g = -59 - -64. Is g even?
False
Let c = 278 - 189. Is 8 a factor of c?
False
Suppose 3 = -x + 6. Suppose 0 = -x*l - 6 + 15. Suppose i = l*g + 2*g - 92, 2*i = 5*g - 94. Is 7 a factor of g?
False
Let x = 99 + -53. Suppose p - 77 = -5*g + 2*g, 2*p + x = 2*g. Is 19 a factor of g?
False
Let q(z) = -z - 4. Suppose v = 6*v + 30. Let s be q(v). Suppose -2*i = -3*t - 41, 0 = -3*i - t - s*t + 69. Does 11 divide i?
True
Suppose -52 = -3*a + 23. Let v = a + -11. Suppose 0 = 4*g - 2*g - v. Is 2 a factor of g?
False
Let v(q) = 2*q + 7.