9 = -5*l, -3*l - 2 = 3*a + 1. Suppose 3 = v, -2*g + g - a*v = -14. Is 3 a factor of g?
False
Let n(g) be the third derivative of -g**4/8 + 2*g**2. Let x be n(1). Is 11 a factor of 0 + (x - -1) + 13?
True
Let m be (123/(-9))/(2/12). Does 10 divide 39/26 - m/4?
False
Let n = -50 + 105. Is 20 a factor of n?
False
Is 25 a factor of 2/4 + (-286)/(-4)?
False
Suppose 3*t = -2*z + 4*z - 28, -t + 44 = 2*z. Let h = z + -11. Is 7 a factor of h?
False
Suppose -4*z = 2*t - 134, 0*t = -4*t + 12. Is z a multiple of 8?
True
Let h(n) = 4*n + 5*n - 4*n + 19. Is 14 a factor of h(8)?
False
Let u(o) = -79*o**3 - o**2 - 3*o - 2. Does 12 divide u(-1)?
False
Suppose -2*s + 138 = -22. Suppose -f - 5*x = -32, -f = 4*f + 5*x - s. Does 4 divide f?
True
Let t(x) = 3*x**2 + 9*x + 6. Let g(a) = 5*a**2 + 17*a + 12. Let k(b) = 4*g(b) - 7*t(b). Let l be k(6). Suppose l = 4*q - 3*q - 27. Does 10 divide q?
False
Suppose 5*i = 3*i + 14. Let v = -3 - -4. Let r = i - v. Is 3 a factor of r?
True
Let m(h) = h**3 + 3*h**2 - 4*h. Let g be m(-4). Is 2 a factor of (-1 - g)*(-9 + 6)?
False
Let x(g) = g**2 + 6*g - 11. Is x(-10) a multiple of 8?
False
Let n(f) = 2*f + 28. Does 10 divide n(0)?
False
Let z(o) = -o + 3. Suppose -a - 10 = a. Is z(a) a multiple of 8?
True
Let v(r) = r**3 - r**2 + r + 48. Let d be v(0). Suppose 0 = -3*w + 6. Suppose w*b + 0*b + m - 28 = 0, -3*m + d = 3*b. Is b a multiple of 7?
False
Suppose 4*h + 21 = 6*h + 3*l, 2*h - 3*l = -9. Suppose 3*x - 216 = -x. Suppose -5*k + 2*g + x = 0, h*k + 4*g - 9 - 13 = 0. Is 5 a factor of k?
True
Suppose 2*b - 7 - 3 = 0. Suppose -13 + b = -2*k. Suppose 4*y - 154 = -7*j + 4*j, -3*y - 197 = -k*j. Is j a multiple of 14?
False
Does 10 divide 114/4*(-32)/(-24) - -2?
True
Let m(j) = -j**3 - 4*j**2 - 4*j - 6. Let k be (-3)/(9/3)*5. Is m(k) a multiple of 13?
True
Let o(d) = 1. Let s(c) = -c**2 + 7*c - 10. Let l(i) = 6*o(i) + s(i). Let m(f) = f**2 + 3*f + 1. Let u be m(-4). Is l(u) a multiple of 3?
True
Let i = -13 + 48. Does 7 divide i?
True
Suppose 0 + 20 = 5*o. Suppose 0 = 4*r - o*z - 316, -2*r - 2*z = 1 - 155. Is 22 a factor of r?
False
Does 16 divide 1345/17 - (-4)/(-34)?
False
Let z be 1750/(-18) - (-4)/18. Let s = z - -40. Does 3 divide (-1)/(2 - s/(-27))?
True
Let m(z) = z**2 - 7*z + 6. Suppose -v = -8 + 2. Let o be m(v). Let u = 9 + o. Is u a multiple of 9?
True
Suppose 0 = -s + 194 - 53. Suppose -r - s = -4*r. Does 20 divide r?
False
Suppose 3*a - 360 = a. Does 20 divide a?
True
Suppose -3*h + 149 = 2. Is 13 a factor of h?
False
Suppose -d = 4*d - 55. Suppose -1 = -3*v + d. Is v even?
True
Suppose -z - 2 = 5*b, 2*z = 5*b + 2 + 9. Suppose z*h = n + n - 6, 4*h - 3*n = -9. Suppose h*y - 15 = -y. Does 6 divide y?
False
Suppose -7*v + 3*v = -96. Is 6 a factor of v?
True
Suppose m = 4*v - 2, -12 = -5*m - 0*m - 2*v. Let t be 3/(3/m) + 33. Let s = t - 14. Is 21 a factor of s?
True
Is (3154/(-57))/(5/(-3) - -1) a multiple of 10?
False
Suppose 3*p + 2*b = -84, 4*p + 3*b + 139 = -p. Let k = p + 51. Suppose 0 = -5*s - 0*s + k. Is s a multiple of 5?
True
Suppose 4*r = 3*r - 3*q + 69, 0 = -3*r + q + 177. Is 7 a factor of r?
False
Let q = 782 - 366. Does 32 divide q?
True
Let h be ((-172)/2)/((-6)/12). Suppose -6*z + 2*k = -2*z - h, -3*z + 5*k + 136 = 0. Is z a multiple of 14?
True
Suppose -2 = -o + m, -8*m - 9 = -4*o - 3*m. Suppose -5*l - o = -2*p - 58, -p + 10 = l. Is 4 a factor of l?
False
Let n = -20 - -33. Is n a multiple of 11?
False
Suppose -3*l - 2*o - 4 - 6 = 0, -5*o = 10. Does 3 divide -4 - l - (-85)/5?
True
Let l(f) = -f + 15. Let z = 23 + -36. Let h be l(z). Suppose -w + 5*t = 12, -h = -w - 0*w - 3*t. Does 13 divide w?
True
Let r be ((-3)/(-1) - 2)*2. Is 17 a factor of (0 - 1)/(r/(-34))?
True
Let q = -2 - -4. Is -3 + (130 - -2)/q a multiple of 24?
False
Let h(w) = w**2 - 9*w - 48. Is h(-11) a multiple of 12?
False
Suppose 2*q - 5 + 51 = 0. Let c = q + 43. Is 16 a factor of c?
False
Suppose 0 = -49*z + 50*z - 168. Does 12 divide z?
True
Let q(x) = -x**3 - x**2 + 2*x + 2. Let s be q(-2). Suppose -4*b - r + 41 + 17 = 0, -3*b + s*r = -49. Is 15 a factor of b?
True
Let x(f) = f**2 - 4*f + 4. Let t(v) = v - 2. Let b be t(6). Suppose 0*k + k + b*c - 18 = 0, c = -2*k + 15. Does 16 divide x(k)?
True
Suppose u + 65 = 2*u. Let a = u - 17. Does 16 divide a?
True
Suppose 2*s + 1 = 3*s. Let x(d) = 56*d - 1. Let j(m) = -m. Let a(z) = 3*j(z) + x(z). Does 26 divide a(s)?
True
Let y(s) = -2*s. Is y(-18) a multiple of 6?
True
Suppose -5*l - 3*x = -29, l - 2 - 8 = -2*x. Suppose -l*c + 135 = -c. Does 15 divide c?
True
Is (-22)/(-165) - 1856/(-30) a multiple of 14?
False
Let f(n) be the second derivative of n**3/6 + 5*n**2/2 - 4*n. Let u be f(4). Let q = u - -37. Does 12 divide q?
False
Let c = 219 - 120. Is c a multiple of 30?
False
Let t = -50 - -71. Does 21 divide t?
True
Let o(y) = 5*y - 7. Is 10 a factor of o(5)?
False
Let o(k) = -k**3 - 4*k**2 + 4*k - 5. Let y be o(-5). Suppose 8 = 2*h - y. Suppose -2*a = h*i - 50, 225 = 5*a - 4*i + 30. Is 14 a factor of a?
False
Let b(k) = -k + 36. Is 10 a factor of b(-15)?
False
Let b = -7 + 7. Suppose b = 4*a - 6 - 26. Is a a multiple of 4?
True
Let a(b) = -15*b + 8. Let q(k) = -7*k + 4. Let f(n) = 6*a(n) - 13*q(n). Let g be f(6). Let w(d) = 16*d - 3. Is 11 a factor of w(g)?
False
Let x(h) = 5*h + 4 - 5*h - h**2. Let n be x(-7). Is (-5)/(-2 - n/24) a multiple of 20?
True
Let m = 18 - 13. Suppose 4*k = 5*w + 104, 4*k + m*w - 104 = 4*w. Does 13 divide k?
True
Is 13 a factor of (-2)/((-5)/155*1)?
False
Let g be 3/(-6) - (-9)/2. Suppose -3*d + 13 + 2 = -g*t, -2 = t + d. Is 12 a factor of (-3)/((18/68)/t)?
False
Suppose 4*n + 0*n + 4 = 4*u, -5*u + 45 = 5*n. Suppose 3*x + 20 = 5*x + 3*k, -3*x - u*k + 32 = 0. Is x a multiple of 4?
True
Let o(b) = -7*b - 10. Let i(g) = 4*g + 5. Let x(q) = -5*i(q) - 3*o(q). Is 6 a factor of x(7)?
True
Let l be (-6)/(-3)*(-6)/(-4). Suppose l*u - 31 = 104. Suppose 0*w = -3*w + u. Is w a multiple of 15?
True
Let n = 31 - 19. Suppose 5*m + n - 147 = 0. Does 9 divide m?
True
Let f(a) = 4*a + 1. Let m be (2 + 1/(-1))/1. Let y be f(m). Suppose 0*z - y*z - 5*b + 95 = 0, -5*z + 88 = -2*b. Is z a multiple of 18?
True
Suppose 53 = 2*q - 71. Does 31 divide q?
True
Let w = 328 - 185. Is 13 a factor of w?
True
Let o = 214 - 122. Suppose 2*g - 10 = -f, 6*g + o = 4*f + g. Does 18 divide f?
True
Suppose 71 = 6*f - 121. Does 8 divide f?
True
Suppose -s + 2 = 5*b, 5*b + 8 = 2*s + 4. Suppose -3*a + 26 - 8 = s*g, -5*g - 2*a + 23 = 0. Is 3 a factor of g?
True
Suppose -o - 2*l = -4*l - 29, -l = -3*o + 102. Does 5 divide o?
True
Let b = 21 + -11. Is 2 a factor of 21/(-35) + 46/b?
True
Let c be (-34)/(-8) + 7/(-28). Suppose -32 = -0*u - c*u. Is 8 a factor of (-2)/(-2) + (u - 0)?
False
Suppose -3*o + 2 + 4 = -2*g, -4*g + 2*o = -4. Let r = -1 + 4. Suppose -4*n - 3*h = -24, 0 = g*n + 2*h - 14 - r. Does 3 divide n?
True
Let r(s) = 4*s - 4. Does 9 divide r(12)?
False
Let c be 6/21 + 5/7. Let r be (c - -3)/1 - -2. Is ((-18)/r)/((-1)/13) a multiple of 18?
False
Suppose 0*v - 4*v + 4*y = -16, 3*v = -5*y - 20. Let u = -4 + v. Is 6 a factor of 22/4 + (-2)/u?
True
Suppose 5*a + 212 - 697 = 0. Does 6 divide a?
False
Suppose -10 = 5*i + 15. Let u(g) = -g**3 - 5*g**2 + g + 7. Let k be u(i). Is k/(2 - 0)*11 a multiple of 11?
True
Let g be 3/12 + 175/(-28). Is 10 a factor of 16/g*60/(-8)?
True
Is 2 a factor of -1 + ((-20)/(-8))/5*38?
True
Let y be 0/(-2)*-1 - 39. Is 2 - (y - (-3 + 2)) a multiple of 16?
False
Let k(x) = 3*x**2 + x. Is k(-5) a multiple of 17?
False
Let r(b) = -b + 7. Let a(u) = -u**2 - 7*u - 2. Let f be a(-6). Suppose 3*h = -2*s - 22, -h - h + 12 = -f*s. Does 8 divide r(s)?
False
Let f = 42 + -32. Does 5 divide f?
True
Let y(j) = 21*j**2 + 2*j + 3. Is y(-4) a multiple of 45?
False
Let p = 90 - 45. Does 15 divide p?
True
Let a(z) = z + 2 + 1 + 0. Let j be a(-3). Suppose -4*g + 3*s + 116 = j, g = -2*s + 10 + 8. Does 13 divide g?
True
Suppose 0 = -2*t - t - 4*n - 10, 4*t + 4*n = -16. Let r be (4/t)/((-1)/3). Suppose -2*w = -4*w, r*z - 64 = -4*w. Does 12 divide z?
False
Suppose -2*r + 4*r = 10. Suppose r*j = -3*i - i - 6, 0 = -4*i - 16. Suppose 5*l = j*x + 158, 2*l - 5*x - 91 = -l. Is l a multiple of 16?
True
Let g = 100 - 154. Let a = -34 - g. Is a a multiple of 10?
True
Suppose 4*i - 24 = 16. Let c = i - 20. Let