lse
Let n be 2/(-3 + (-44)/(-12)). Suppose -4*v + 60 = 6*p - 2*p, n*v + 2*p - 40 = 0. Suppose 2*a = 20 + v. Is 7 a factor of a?
False
Suppose 6*d + m = 2*d - 176, -3*d - 132 = 4*m. Let o = d - -62. Does 6 divide o?
True
Let q = -13 - -13. Let y be -1 + 4 + q/1. Suppose 210 = y*d - 15. Is 15 a factor of d?
True
Is (-4)/((-140)/13945) - 12/(-21) a multiple of 19?
True
Let q be (-5 - -1) + -1 + 13. Let z = -5 + q. Suppose -8 = -4*h - o, -z*h - 6 + 19 = -o. Is h a multiple of 2?
False
Suppose 4*l + 5 = -m, 1 = l - 2*m - 0*m. Let p be (-3 + 3 + -3)/l. Does 6 divide 4 + (3 - p) + 30?
False
Suppose -6*r = -m - 4*r - 1, 4*m + 40 = -4*r. Let n = 27 + m. Is n a multiple of 5?
True
Let u = 58 + -53. Suppose 4 = b + 5, 1488 = u*x - 3*b. Is x a multiple of 41?
False
Let i(s) = s**3 - 11*s**2 + 10*s - 4. Let r be i(11). Is 9 a factor of (-24)/(-28)*(-1 + 0 + r)?
True
Suppose -5*b + 18 = 2*x, 3*x - 6 + 0 = 3*b. Suppose -3*o = b*h - 146, 4*o - h - 95 = 2*o. Is o a multiple of 24?
True
Let s be (3 - (-2)/(-1))/(6/(-402)). Let j = s - -165. Does 49 divide j?
True
Suppose 4*c + 77 = -h, -4*h + 15 + 37 = -2*c. Let b(w) = -w**2 - 5*w + 4. Let s be b(6). Let m = c - s. Does 20 divide m?
False
Let z = -29 + 52. Let g(c) = -5*c + 5. Let b be g(-2). Let p = z - b. Does 4 divide p?
True
Let g = -6 - -10. Suppose g*j - 199 = 101. Is 12 a factor of j?
False
Let g(o) = -20*o + 6. Let l be g(-4). Suppose 2*k + 3*u = -2*k + 108, u = -3*k + l. Is 5 a factor of k?
True
Let k = -67 - -37. Let r be (12/10)/((-9)/k). Suppose 22 = -r*p + 5*p. Is p a multiple of 11?
True
Suppose -j - 2 = 0, 3*r + j + 2*j - 129 = 0. Does 8 divide r?
False
Let u = 5 - -13. Let i = u + -14. Suppose 2*r + i*c - 3*c = 47, 5*r - c = 121. Does 8 divide r?
True
Suppose 136*s - 135*s = 137. Let b = s + 23. Is b a multiple of 20?
True
Let p(r) = -2*r**2 + 57*r - 28. Let c be p(28). Let d = -9 + 13. Suppose c = -d*u + 116 + 40. Is 13 a factor of u?
True
Suppose -5*d + 75 = 25. Let a(b) = b**3 - 11*b**2 + 10*b + 6. Let q be a(d). Is 7 a factor of (-6)/(-9)*153/q?
False
Let w(y) be the second derivative of 5*y**4/12 + y**3/3 + y**2/2 + 16*y. Let j = 15 - 11. Is w(j) a multiple of 15?
False
Suppose o - 12 = 4*o, 5*o + 8 = -3*q. Let s(a) = -a**3 + 3*a**2 + 1. Let g be s(q). Is g/20 + (-150)/(-8) a multiple of 6?
True
Let w = -796 - -1484. Is 21 a factor of w?
False
Suppose 0 = 9*r - 10750 - 8339. Does 21 divide r?
True
Suppose -3*h = -l - 3*l - 49, 0 = 5*h - 5*l - 75. Does 4 divide h?
False
Suppose 3*a + 3*p - 8 = p, -p + 5 = 2*a. Suppose 3*x - t - 574 = -a*t, -5*x - t = -954. Is x a multiple of 38?
True
Does 25 divide 1/3*2073 - 3?
False
Let m(g) = 2*g - 1. Let f be m(2). Let z = f - -2. Suppose 0 = 3*y + 3*j - 45 - 66, z*y - 178 = 2*j. Is y a multiple of 23?
False
Suppose 5*q = 5, 5*m - 4*q = 83 - 17. Let i be (-2)/m + (-285)/(-35). Suppose -3*n - 3*u = 2*n - 16, 5*n - u = i. Is n even?
True
Let y be (1 + 100/8)*-6 + 0. Let n = y + 180. Does 11 divide n?
True
Let a = 1 - 4. Let m be -3*(80/(-15))/(-8). Is 6 a factor of a + 1 + (-28)/m?
True
Suppose 2*i = -3*m + 1803, m = 3*i + 452 + 160. Does 29 divide m?
False
Suppose -3*z = 2*x - 4996, -2*x + 12*z = 16*z - 4992. Is x a multiple of 28?
False
Let q be 2/(-9) + (-145)/(-45). Let t = -3 + q. Suppose -4*m + 3*h + 0*h + 63 = t, -2*m + 2*h = -34. Is m a multiple of 5?
False
Let s(k) = 38*k + 15. Is s(2) a multiple of 13?
True
Let u(k) = 4*k**2 - k + 3. Let s(r) = -3*r**2 - 2. Let n(v) = 5*s(v) + 4*u(v). Let m be n(4). Suppose -m*t = -38 - 38. Does 19 divide t?
True
Let j = 5 - 0. Suppose j*m = -0*m + 40. Does 8 divide m/(-32) + (-49)/(-4)?
False
Let i = 137 - 493. Let s = i + 570. Is 10 a factor of s?
False
Let c = 3 + 10. Let m(v) = v**3 - 11*v**2 + 14*v + 16. Let w(j) = -2*j**3 + 23*j**2 - 28*j - 33. Let i(t) = -5*m(t) - 3*w(t). Is i(c) a multiple of 8?
True
Suppose 14*x + 4*q = 16*x - 4272, -x = 6*q - 2136. Is 61 a factor of x?
False
Suppose -g + 5 = 1. Is 13 a factor of 76 + ((-8)/g)/(-1)?
True
Let m = -35 + 38. Let p(h) = 3*h**2 - 23 + m*h + h**2 + 13*h - 5*h**2. Does 2 divide p(14)?
False
Suppose -21827 = -35*b + 22*b. Is b a multiple of 29?
False
Let h = -35 + 34. Is (h/2)/((-1)/84) a multiple of 30?
False
Suppose 4*z + 15 = -1. Let n(k) = -k. Let y(h) = -11*h. Let r(a) = z*n(a) - y(a). Is 15 a factor of r(3)?
True
Let x(q) = -3*q + 3. Let c be x(0). Let y be -3 + -1 + 12/c. Let z = y + 4. Does 2 divide z?
True
Suppose -5*x + 14712 = -3*k, 0 = -3*x + 2*k - 7*k + 8800. Is x a multiple of 14?
True
Suppose 0 = g + 4*c + 121 - 535, 3*g + 5*c = 1221. Suppose -99 = 3*u - g. Is 27 a factor of u?
False
Let p = 1423 + -857. Is 45 a factor of p?
False
Let v = 12 + -19. Let y(u) = -3*u + 5. Let p be y(v). Let q = 38 - p. Is q a multiple of 5?
False
Let i(r) = -r**2 - 5*r + 130. Suppose 14 - 14 = 4*k. Is 10 a factor of i(k)?
True
Let d = -7 + 10. Let u = 6 - d. Suppose 3*h = -u*c + 66, -5*h - 2*c = -17 - 99. Is 7 a factor of h?
False
Let m = -705 - -1187. Is m a multiple of 21?
False
Let t = -4740 - -8874. Is 18 a factor of t?
False
Does 22 divide ((-295)/(-1) - -6) + -5?
False
Let l(c) be the second derivative of -c**7/2520 + c**6/90 - c**5/24 - c**4/12 + 6*c. Let m(z) be the third derivative of l(z). Is 2 a factor of m(6)?
False
Suppose -17*u + 4*u = -4810. Does 27 divide u?
False
Let r be (-18)/(-4)*(-20)/15. Let o(z) = -4*z - 8. Let p be o(r). Suppose x + 4 = p. Does 7 divide x?
False
Suppose 7*s = 534 - 149. Suppose -s*x - 9 = -56*x. Is x a multiple of 2?
False
Suppose -4*p + 5188 = -3*a, -2*p + 0*p - 4*a + 2594 = 0. Is 83 a factor of p?
False
Suppose 3029 - 13181 = -18*j. Is j a multiple of 38?
False
Let g = -12 + 12. Suppose -4*l + 330 + 74 = g. Is l a multiple of 17?
False
Let c be (-6)/(-4)*(-30)/(-9). Suppose 0 = -3*t + c + 1. Suppose -t*d + d + 10 = 0. Is d a multiple of 5?
True
Does 10 divide -2 + 5448/9 + (-14)/(-21)?
False
Let n = -8 - 0. Let g = -5 - n. Suppose -2*k - 159 = -5*v, -g*v + 3*k + 87 = -12. Does 19 divide v?
False
Let d = 2694 - 2101. Is 12 a factor of d?
False
Let r be (-1)/((-4)/(-28) + 0). Let b = r - -11. Suppose b*d = 7*d - 84. Is d a multiple of 15?
False
Let v be (-1 + -1)/(18/45). Let t be 9/5 - 1/v. Suppose 4*z = 4*m + 188, 2*z + t*m - 89 = 3*m. Does 15 divide z?
False
Is 4 a factor of (-413)/(-2)*(-48)/(-42)?
True
Suppose -4*n + n = a - 11, -5*n + 5*a + 5 = 0. Let p = 99 - 83. Suppose -2*v + p = 2*r, n*r + 5*v = -r + 27. Does 9 divide r?
False
Suppose -25*v + 31701 = 3976. Is v a multiple of 14?
False
Let r = -22 - -26. Suppose -f = 3 - 7, -z + 19 = r*f. Suppose -z*t - 2*h - 1 = -44, -2*t + 47 = 5*h. Is t a multiple of 11?
True
Let q(y) be the third derivative of y**6/120 + 2*y**5/15 + y**4/3 - y**3/3 - 12*y**2. Does 4 divide q(-5)?
False
Suppose 0 = -5*y + 4*c + 934 + 793, 4*c - 331 = -y. Does 19 divide y?
False
Let z(d) = d**3 + 10*d**2 + 24. Does 8 divide z(-10)?
True
Let a(b) = 3*b**2 + 37*b + 16. Does 14 divide a(-16)?
False
Let n be (-356)/(-30) + (-22)/(-165). Suppose -3*g + 115 = -4*w, -g - 5*w = -39 - n. Is 3*(g/3 - 1) a multiple of 19?
True
Let p(o) = -2*o**2 + 30*o + 11. Does 2 divide p(7)?
False
Let w = 1895 - 498. Is 11 a factor of w?
True
Let q(c) = -2*c + 0*c**3 - c**3 - 7 + 7*c**2 - 11*c**2. Is 5 a factor of q(-5)?
False
Suppose 0 = -2*d + 110 + 80. Is 5 a factor of d?
True
Suppose 4*a - 348 = 4*s, -5*s + a = -2*a + 441. Is (s/15)/(2/(-84)) a multiple of 21?
True
Let r be (6/8)/(1/(-16)). Let j = r + 38. Does 8 divide j?
False
Let u(f) = -9*f**2 + 4*f + 1. Let s(w) = -28*w**2 + 12*w + 4. Let t(v) = -3*s(v) + 8*u(v). Is t(-2) a multiple of 45?
False
Suppose 50 = -13*p + 23*p. Does 5 divide p?
True
Let z be (-6)/21 + 466/14. Does 6 divide z*3/9 - -3?
False
Let u be ((-18)/30)/((-1)/15). Let f(m) = 2*m - 7. Is f(u) a multiple of 4?
False
Let u(a) = 5*a**3 - 8*a**2 + 3*a + 9. Let r(j) = j**3 - j**2 + j + 1. Let z(g) = 6*r(g) - u(g). Does 21 divide z(4)?
True
Let d(j) = j**3 - 11*j**2 - 11*j - 7. Let u be d(12). Suppose k - 5*a - 62 = 0, 0 = 3*k + u*a - 77 - 189. Is k a multiple of 30?
False
Is 30 a factor of (-1623)/(-27) + (-2)/18?
True
Let s = -480 + 794. Suppose 4*p - 404 = d, 2*d = -p - 2*p + s. Is 15 a factor of p?
False
Let k(h) = 2*h**2 + 12*h - 18. Let n(l) = -l**2 - 6*l + 9. Let u(z) = 6*k(z) + 13*n(z). Let 