ose 4*i - 2141 = 2*n + 1395, -4*n = -3*i + 2642. Does 17 divide i?
False
Let l = -24 - -36. Let p = 1 + l. Is p a multiple of 13?
True
Let c = -1051 - -2945. Does 98 divide c?
False
Let h = -312 + 532. Does 14 divide h?
False
Let f(d) = -d**2 + d. Let g(o) = 3*o**2 - 4*o - 12. Let p(j) = -4*f(j) - g(j). Suppose 7*r + 26 = -16. Is p(r) a multiple of 12?
True
Let b(o) = 2*o**2 - 3*o + 1. Let s(k) be the first derivative of -k**4/4 + 2*k**3 - 5*k**2/2 + 3*k + 4. Let h be s(5). Is b(h) a multiple of 5?
True
Suppose 5*p = 5*a - 80, 58 = 4*a - 2*p + p. Is 28 a factor of 2*-8*(-49)/a?
True
Let t = -76 - -40. Let r = -14 - t. Suppose 26 = 2*g - r. Does 13 divide g?
False
Suppose v + 4 - 11 = 0. Let x be 6*2/4 - -8. Let s = x - v. Does 4 divide s?
True
Suppose 76 = -h + 30. Let v = 52 + h. Is v a multiple of 2?
True
Let i(q) = -q**2 - 5*q - 3. Suppose 0 = -5*d - 5*t - 10, 4*d + 8 = 3*t - 0. Let n be i(d). Does 6 divide 736/40 + n/5?
False
Suppose -2*n + 152 = -58. Let u = -49 + n. Does 14 divide u?
True
Suppose 12*m - 13*m + 2*i = -1778, 0 = 3*m + 3*i - 5307. Is 30 a factor of m?
False
Suppose -689*v - 2656 = -691*v. Is v a multiple of 117?
False
Suppose 0 = -c - 3*p + 1 + 1, -5*p = 5*c - 20. Suppose 3*a + 80 = c*a. Is 10 a factor of a?
True
Let l(a) = -28*a - 299. Is l(-17) even?
False
Suppose h + 2*h = 2*k + 166, 2*k = 4*h - 164. Is (6 + 6)*k/(-6) a multiple of 43?
True
Suppose -5*s = -3*v + 712, 0 = -3*s + 12 - 0. Let q = v - 530. Is 10 a factor of q/(-6) - (-1)/3?
False
Suppose -n + 2 = 26. Let p = 49 + n. Let b = p + -20. Is 2 a factor of b?
False
Suppose -14 = -2*z + 4. Does 9 divide (-936)/13*z/(-12)?
True
Let m be (-73 + -2)*(-32)/(-12). Is m/(-12) - 2/3 a multiple of 4?
True
Is (-3 + -485)/((-72)/180) a multiple of 7?
False
Let x = 1 + -10. Let q(c) be the first derivative of -3*c**2/2 - 11*c + 6. Is 5 a factor of q(x)?
False
Let w be (68 - (-2 - 1))*-1. Let j = 103 + w. Is 8 a factor of j?
True
Let t(d) = d**2 + 18. Let k be t(0). Let r(u) = u**3 - 18*u**2 + u - 16. Let b be r(k). Let n(h) = -h**3 + 3*h**2 + h + 2. Is n(b) a multiple of 2?
True
Suppose -3*h + 594 - 201 = 0. Suppose 375 + h = 11*r. Is 28 a factor of r?
False
Suppose 16*p - 3604 = -340. Does 34 divide p?
True
Let y be ((-23)/2)/((-1)/(-2)). Let v = y + 42. Suppose -v*n + 55 = -14*n. Does 5 divide n?
False
Suppose 2*t - 6*t + 720 = 0. Is 15 a factor of t?
True
Is (8 - 5) + 1100/2 + 0 a multiple of 6?
False
Let y = 8 + -5. Suppose -3*g - y = -0, -2*b - 2*g - 52 = 0. Let h = -14 - b. Does 9 divide h?
False
Let w = 107 - 101. Is 5 a factor of (-5 + 11)/(1/w)?
False
Suppose 0 = -5*t + 10*t - 115. Suppose 5*r = -j + 13, -t = -5*j - r - 3*r. Is j a multiple of 3?
True
Suppose 38*t - 19*t = 14535. Is 51 a factor of t?
True
Let d be ((-25)/(-3))/((-1)/(-12)*-4). Let m = 65 + d. Is m a multiple of 5?
True
Let j be (1 - 0) + (-12 - 4)/(-4). Suppose -j*q + 0*q + 1565 = 0. Is 15 a factor of q?
False
Let f = -80 - 11. Let d = f - -111. Does 5 divide d?
True
Let h(q) = -q**2 - 65*q - 100. Is h(-45) a multiple of 40?
True
Is (-534795)/(-707) + (-6)/14 a multiple of 28?
True
Let l(p) = -9*p - 6. Let i be l(-1). Suppose -3*j = 4*o - 122, 2*j + i*j - 209 = -o. Is 6 a factor of j?
True
Let t be (-1 + 2 + 0)*31. Suppose z = t - 15. Does 14 divide z?
False
Let d be ((-2)/(-8))/(6/24). Suppose 0 = 4*w - r + d, 3*w + w - 5 = -5*r. Suppose h = -w*h + 56. Is h a multiple of 28?
True
Suppose 2*y - 4 = 5*l - 3*l, 4*l - 2*y - 2 = 0. Suppose -4*k + d + 1 = 0, d + 1 = -l*k - 2*k. Suppose k*p = 4*w + 4*p - 24, -2*p + 23 = 3*w. Is 5 a factor of w?
False
Suppose -4*f = -s - 8, 5*s - 2*f = f + 28. Suppose -s*v + 32 = -32. Does 4 divide v?
True
Suppose 0 = 2*y + 4*s, 2*y + 3*s = -3 + 1. Let m(x) = -2*x + 2. Let f be m(y). Let h = f - -1. Does 11 divide h?
True
Let z be (684/(-27))/(6/9). Let h(b) = -4*b + 1. Let i be h(1). Is i/((-9)/(-6)) - z a multiple of 9?
True
Let j(k) be the third derivative of k**6/60 + k**5/5 + k**4/8 + 4*k**3/3 - 4*k**2. Is j(-5) a multiple of 9?
False
Let g(f) = -f**2 + 6*f - 8. Let d be g(6). Let y be 4/d + 93/6. Suppose 17*c - y*c - 62 = 0. Is 5 a factor of c?
False
Suppose 0 = -6*w - 0*w + 4680. Suppose 4*z + 773 = 3*d + 277, 5*d = -5*z + w. Is d a multiple of 16?
True
Suppose -3*b = -11 + 5. Suppose -3*y - 98 = -d, d - 6*d - b*y + 558 = 0. Is d a multiple of 15?
False
Let b(d) = d**3 + 4*d**2 + 4*d. Let m be b(-6). Let q = m - -314. Is 32 a factor of q?
False
Let u(t) = 4*t**3 - 6*t**2 + 4*t - 3. Let n be u(4). Let c = n - 122. Suppose j - c = 55. Does 31 divide j?
False
Let x = 89 + -44. Suppose 3*w - 6 = l + w, w + 63 = -5*l. Let a = l + x. Is 11 a factor of a?
True
Suppose -3*j - 2*l + 1324 = 0, -j - 2*l = -0*j - 448. Suppose -109 + j = 7*n. Is 11 a factor of n?
False
Let j be (66/(-18) - -4) + (-538)/(-6). Suppose 5*y + t = 117, 2*y - j = -2*y - 2*t. Is 12 a factor of y?
True
Suppose 1085 = b - 5*h, -3*b - 3*h = -1032 - 2295. Does 13 divide b?
True
Let l be ((-16)/10)/(6/(-30)). Suppose 116 = 4*x - l*x. Let h = x - -63. Is 17 a factor of h?
True
Suppose 2*h = -w + 8, 0 = -0*h - 2*h + 6. Let t be -1 + 0 + 2/w. Suppose v + 3*c - 22 = t, -12 = 2*c - 5*c. Is v a multiple of 3?
False
Suppose -f = 5, -3*d - 2*f + 12 = -5. Suppose c - 49 = 4*i - d, 4*c - 92 = -i. Does 8 divide c?
True
Suppose 11*q - 12*q = -46. Suppose -1 = 2*d + 5*p - 108, -d = 4*p - q. Is d a multiple of 22?
True
Let y = -28 + 32. Suppose -y*k = 104 - 392. Is k a multiple of 12?
True
Suppose 921 = 2*q + 3*x, 4*x + 1812 = 8*q - 4*q. Does 12 divide q?
True
Is 104 a factor of (106 + -2)/(189/(-48) - -4)?
True
Let n(v) = -8*v**2 + 5*v**2 + 3*v + 6*v**2 + 7 - 4*v**3. Let c(x) = -9*x**3 + 5*x**2 + 7*x + 15. Let i(t) = -3*c(t) + 7*n(t). Is i(4) a multiple of 12?
True
Let o(n) = 80*n**3 - n. Let d(g) = -2*g**2 - 7*g - 9*g - g**2 + g**3 + 11 + 4*g. Let f be d(5). Is o(f) a multiple of 12?
False
Suppose -281 = -5*w - 191. Is w a multiple of 9?
True
Let k(b) = -27*b - 29. Let q(x) = -26*x - 29. Let g(c) = 2*k(c) - 3*q(c). Does 4 divide g(3)?
False
Suppose 0 = 12*q - 15*q - 3, 3*p - 3*q - 696 = 0. Is p a multiple of 11?
True
Suppose -44 = -4*r + 176. Let z = r - 30. Does 7 divide z?
False
Let x(v) = 40*v - 161. Does 39 divide x(5)?
True
Let n = 18 + -18. Suppose n*l + 3*l = 84. Is 14 a factor of l?
True
Let i = 48 - 44. Suppose 98 + 27 = -5*h. Is 11 a factor of 2 - 20/i - h?
True
Let q(r) = r**3 + 15*r**2 + 22*r - 25. Let l be q(-13). Let t = l + 79. Is t a multiple of 15?
False
Let j be (1/(-2))/((-3)/18). Suppose j*r = 2*r. Suppose -l + 67 = g + 3*l, r = -5*l + 5. Is 29 a factor of g?
False
Let w(g) = -g**2 + g. Let n(k) = -6*k**2 + 5*k. Let i(t) = -n(t) + 2*w(t). Let x(f) = f - 7. Let m be x(9). Is 6 a factor of i(m)?
False
Let u be 3/((-459)/(-150) + -3). Let s = u - 11. Is s a multiple of 13?
True
Is (-3)/(-9)*1 + (-16554)/(-18) a multiple of 62?
False
Suppose -7*m + 27 = 2*m. Suppose 4*l + l - 15 = 0, 54 = m*f + 2*l. Does 5 divide f?
False
Let b(u) be the third derivative of -u**5/60 + 7*u**4/12 - 2*u**3 + 28*u**2. Let n = -13 + 21. Does 9 divide b(n)?
True
Let q(z) = z**3 - 11*z**2 - 9*z - 9. Let r be q(12). Let m = r - 24. Does 3 divide m?
True
Let d(j) = -5 + 2 - 2 - 2*j. Let k be d(-3). Is 24 a factor of (-54 - k)*(-1)/1?
False
Suppose -4361 - 31983 = -11*c. Is 4/(-22) + c/22 a multiple of 11?
False
Let d be (3/2)/(8/16). Suppose 3*m + 3*c = 47 - 11, -2*m - d*c = -26. Does 34 divide (25/2)/(m/60)?
False
Let f(k) = -k**3 + 6*k**2 + 8*k + 6. Is f(6) a multiple of 9?
True
Let h(r) = r**2 + 6*r + 13. Let y be ((-6)/4)/(1/(-12)*-2). Is 30 a factor of h(y)?
False
Suppose 7*s - 8*s + 2*i = -145, 0 = -5*s + 4*i + 755. Is s a multiple of 7?
False
Let i(n) be the first derivative of 2*n**3/3 + 13*n**2/2 + 24*n - 26. Does 16 divide i(-7)?
False
Let t(d) = 4*d - 37. Let z be t(12). Suppose -5*g + 23 = -2*h, 4*g = 2*g - h + z. Does 3 divide g?
False
Suppose 0 = -l - 3*k, 2*k - 57 = -5*l + 6*k. Is 16 a factor of l/(-6)*(-256)/6?
True
Let c(v) = -10*v. Let t be c(-1). Is 18 a factor of (7490/21)/t - (-2)/(-3)?
False
Let v(z) be the first derivative of -5*z + 14*z - 4 + 10 + 3*z + z**2. Is 20 a factor of v(14)?
True
Let v(f) = 2*f - 3. Let o be v(0). Let p = -27 + o. Let n = p - -81. Does 17 divide n?
True
Let d(y) = -2*y**3 + y*