lse
Suppose k - 5*k + 1210 = -3*q, -4*k + 1220 = 2*q. Suppose t = 6*t + 20, t = 5*m - k. Does 6 divide m?
True
Let v = -158 + 162. Let l(t) = -4*t**3 + 2*t**2 + t + 5. Let o(n) = -5*n**3 + 3*n**2 + 6. Let a(j) = 6*l(j) - 5*o(j). Does 12 divide a(v)?
False
Let r = -124 - -124. Suppose r*a - 96 = -4*a. Is 6 a factor of a?
True
Let a = 1124 - 1033. Does 18 divide a?
False
Let k(y) be the second derivative of 2*y**4/3 + y**2/2 - 4*y. Let g be k(-4). Let z = g + -86. Is 12 a factor of z?
False
Let g be (6/8)/((-2)/(-152)). Suppose -13 = -4*r - g. Is (-2 - -4)*r/(-2) a multiple of 11?
True
Let o = 138 - 135. Suppose 248 + 0 = -4*i. Is 31 a factor of (11 - o)*i/(-8)?
True
Suppose -10*a - 308 = -24*a. Is 19 a factor of a?
False
Let p(j) = j**2 - 3*j - 2. Let u be p(3). Let r(k) = k**3 + 4*k**2 - 14*k - 9. Let w be r(-6). Does 20 divide 120*(w - (-5)/u)?
True
Suppose -3*j + 1105 = 2*j + 4*f, -4*j = f - 884. Does 13 divide j?
True
Let o(i) = 2*i + 8. Suppose 0 = 4*r - 0*r + 12. Let a be o(r). Does 14 divide (-1)/a + (-339)/(-6)?
True
Let g(b) = 69*b - 210. Does 12 divide g(10)?
True
Let a(o) = -o**2 - 3*o + 1. Let g be a(-3). Let x be 3 - (0 + g)*1. Suppose 0 = x*m - m - 18. Is m a multiple of 6?
True
Let a be 8/6 - (-24)/(-18). Let i be 0 - (-2 + -15) - 0. Is (0 - a) + 459/i a multiple of 27?
True
Let q(y) = 2*y**2 + 3*y. Let h be q(-3). Suppose -72 + h = -3*n. Does 20 divide n?
False
Suppose 17*c - 5472 = 4524. Suppose -10*g = -c + 188. Is g a multiple of 9?
False
Suppose 3648 = -676*w + 679*w. Is w a multiple of 17?
False
Let l = 582 - 500. Does 6 divide l?
False
Let v = 764 - 515. Does 13 divide v?
False
Suppose -15*u = -19*u + 12. Suppose -s - 2*w = -u*s + 512, 0 = 3*s - w - 760. Does 17 divide s?
False
Let a be 6597/36 + (-9)/(-12). Let g = a + -112. Is g a multiple of 11?
False
Let d(y) = 4*y**2 - 5*y + 7. Let o = 3 - 7. Let c(z) = -12*z**2 + 14*z - 21. Let q(x) = o*c(x) - 11*d(x). Is q(3) a multiple of 24?
False
Let z be (3 + 2 + -2)*5. Let d(j) = j**3 - 15*j**2 - j + 16. Let g be d(z). Is -3*82/(-6)*g a multiple of 15?
False
Let w(y) = -y**2 + 5*y + 1. Let u be w(4). Suppose 0 = -u*p + 192 + 153. Does 10 divide p?
False
Let x(t) = 2*t**3 - 14*t**2 + 3*t + 10. Let w be x(10). Suppose -w = 3*i - 8*i. Is i a multiple of 16?
True
Let a = 271 - 108. Suppose y - 27 = b + 7, -5*y = 2*b - a. Is y a multiple of 19?
False
Let p(y) = 9*y**2 - 5*y + 12. Does 6 divide p(3)?
True
Suppose 2*n - 6*n + 44 = 0. Let l = -145 + 150. Suppose l*r = -n + 131. Does 8 divide r?
True
Let r = 2071 - 433. Is r a multiple of 14?
True
Does 40 divide 6/63 + (15916/21 - -2)?
True
Let a(f) = 389*f + 1. Let u be a(2). Suppose 5*y - 482 = -3*p + 501, -4*y + 5*p = -u. Is 28 a factor of y?
True
Suppose -12 = -j + 2*j - w, -3*j + 2*w = 39. Let s = j + 19. Let h = 54 - s. Does 28 divide h?
False
Suppose 10*p = 14*p - 8. Suppose -13 = -p*s + 3*k + 54, -k + 47 = 2*s. Is s a multiple of 2?
True
Is 6 a factor of 4 + ((-1)/2)/((-59)/29618)?
False
Suppose 5*r + 5*l - 680 = 0, 2*l - 112 = -r + 27. Is 44 a factor of r?
False
Let u = -71 - -75. Let o(h) = 7*h - 9. Does 3 divide o(u)?
False
Suppose -2*d - x - 15 = 0, -2*d + 4*d + 20 = -2*x. Let m be 6/d*(-270)/9. Suppose 4 = 2*j - m. Is 10 a factor of j?
True
Let f(w) = 4*w**2 + 45*w + 15. Does 13 divide f(6)?
True
Let z(s) = -38*s**3 - 3*s**2 + 4*s + 10. Is 77 a factor of z(-3)?
False
Let p = 33 + -46. Let z be (p + 8)*(-102)/5. Suppose -3*r + 97 = 5*v, v - z = -4*v + 2*r. Does 11 divide v?
False
Let t be ((-4)/(-18))/((-3)/(-27)). Suppose -5*k = 3*n - 30, 4*k - t = n + n. Suppose n*o - v - 26 = 0, 2*v + 22 = -o + 6*o. Is 6 a factor of o?
True
Does 110 divide (-1392246)/(-288) - (-3)/(-16)?
False
Let z(c) = -c**2 + 21*c - 27. Let j be z(18). Suppose 343 = -j*t + 34*t. Does 37 divide t?
False
Let n(c) = -c + 16. Let g = 56 - 47. Is n(g) a multiple of 2?
False
Suppose 0 = 28*t - 11*t - 11628. Is 12 a factor of t?
True
Suppose -d + 6*d = 160. Let i = d - 38. Let b(f) = -f**3 - 5*f**2 - 3*f - 10. Is b(i) a multiple of 11?
True
Let h = 50 - 40. Let k(r) = 10*r - 27. Is 36 a factor of k(h)?
False
Let m(s) = -s**3 + 8*s**2 - 8*s - 6. Let h(q) = q**2 - 2*q + 1. Let x(i) = 2*i**2 - 2*i + 1. Let r(t) = -5*h(t) + 6*x(t). Let c be r(1). Does 5 divide m(c)?
False
Suppose o - 2 = -0. Suppose -d = -o*d - 5. Let n(v) = v + 17. Is n(d) a multiple of 12?
True
Let o be (-2)/11 + 1/(11/2422). Suppose 604 = 4*h - o. Is 59 a factor of h?
False
Let j(h) = -5*h - 1 + 7 + 3 + 3*h. Let d(b) = -b**2 + 3*b + 3. Let u be d(-2). Is j(u) a multiple of 4?
False
Let b(f) = 59*f + 1. Let q(p) = -58*p. Let y(z) = 4*b(z) + 3*q(z). Is y(1) a multiple of 5?
False
Suppose -3*o - 3 = 0, -5*t + 944 = o - 2540. Does 33 divide t?
False
Let s = -29 + 33. Let b be -2 + (-5 + s - -8). Suppose -5*x + 5*d + 125 = 0, x - 4*d = d + b. Is 30 a factor of x?
True
Let p(b) = -2*b**3 + 3*b**2 + b + 6. Let r(t) = -5*t**3 + 8*t**2 + 2*t + 17. Let o(x) = 11*p(x) - 4*r(x). Is 13 a factor of o(-3)?
True
Is 45 a factor of 0/11 - 540/(-1)?
True
Let r be 213 + 1 + (-12)/3. Let v be r/18 + 3/9. Let x = 1 + v. Is 5 a factor of x?
False
Suppose 6*y - 3*y = 0. Suppose -2*s - 2*s - 224 = y. Does 4 divide (-1)/(-7) + (-720)/s?
False
Suppose 0 = -22*s + 23*s + 64. Let g = 88 + s. Is g a multiple of 4?
True
Let c be (7 - 3) + -6 - -4. Is (97 - (0 - -3))/(1*c) a multiple of 7?
False
Let w(u) = 2*u**2 + 25*u + 29. Is w(7) a multiple of 4?
False
Let b(a) = a**2 - 3*a - 87. Does 13 divide b(20)?
False
Let m = -24 - -28. Suppose 2*g = -2*g + 4*b + 696, -m*g + 723 = 5*b. Does 13 divide g?
False
Let z(c) be the second derivative of c**6/120 + c**5/120 - 5*c**3/6 - c. Let b(t) be the second derivative of z(t). Does 5 divide b(2)?
False
Let r(p) = p**3 - 23*p**2 + 21*p + 20. Let c be r(22). Is 21 a factor of c/7 + 396/14?
False
Let g = -1548 - -2207. Is g a multiple of 40?
False
Let v(b) = -b**3 - 5*b**2 - 27*b + 28. Does 20 divide v(-12)?
True
Suppose 185*m - 197*m + 2640 = 0. Does 11 divide m?
True
Let v = 9 + -7. Let p = 15 + v. Suppose -f - 2 = -p. Is f a multiple of 4?
False
Let d = 338 + -239. Is 6 a factor of d?
False
Let s be (-1 - 2)/(3 + -2). Let a be (-141 + s)*(-2)/(-4). Let f = -30 - a. Is 21 a factor of f?
True
Let s = 37 + -31. Let x(p) = 20 + s + 43*p - 42*p. Is x(-17) even?
False
Suppose 0*n + 3*n = 603. Suppose -3*t - 57 = -n. Does 16 divide t?
True
Let k(f) = f**3 - 11*f**2 - 21*f + 4. Let t be k(14). Suppose -372 - t = -10*l. Does 13 divide l?
False
Let l = -11 - -11. Suppose 0 = 2*d - l*d - 276. Is d a multiple of 10?
False
Let h(w) be the first derivative of -3/2*w**2 + 2/3*w**3 - 6*w - 2. Does 7 divide h(-3)?
True
Is -15*3*12/(-10) a multiple of 3?
True
Let n(v) = 14*v - 121. Does 3 divide n(20)?
True
Suppose -u + 2*u = -3. Let j = u + 6. Suppose j*b = 1 + 23. Does 2 divide b?
True
Suppose 0 = -p - 5*q - 26, 3*q = -0*p - 5*p - 42. Let n(d) = -14*d - 12. Is 13 a factor of n(p)?
False
Let b(k) = k**3 - 11*k**2 + 9*k + 14. Let y be b(10). Suppose -a + 1 = y. Is ((-30)/4)/(a/18) a multiple of 15?
True
Let d = -18 + 137. Does 30 divide d?
False
Suppose 5*w - 6 - 19 = 0, 2*v + 4*w = 4856. Is 62 a factor of v?
True
Let z(o) = -o**2 - 6*o - 2. Let i be 9*3/(2 - -1). Suppose -5*m + f = 21, 3*m + f + i = 2*m. Is z(m) a multiple of 2?
False
Suppose -51 = 3*y - 4*y. Is y a multiple of 2?
False
Let z(x) = x**3 + 11*x**2 - 2*x + 3. Is 5 a factor of z(-11)?
True
Suppose -2*j = 2 - 0, 5*j + 725 = 3*o. Is o a multiple of 10?
True
Suppose -28*y + 4*l = -31*y + 395, 134 = y - l. Is 2 a factor of y?
False
Let k be 1*((-53)/1 + -2). Suppose 4*u - 5*i + 74 + 40 = 0, i = -u - 24. Let o = u - k. Does 29 divide o?
True
Suppose -2*z - 542 = -i, 2129 = 4*i + 5*z - 0*z. Is i a multiple of 23?
False
Let w(a) = 45*a - 695. Is 14 a factor of w(17)?
True
Let c be (12/10)/((-2)/(-5)). Suppose c*r + 0*r - 24 = -3*t, 9 = t + 2*r. Is 9 + t - (1 - 0) a multiple of 14?
False
Let c(u) = u**2 - 13*u + 15. Let p be c(12). Suppose -p*g = 1 - 13. Is 11 a factor of (-2)/g - 642/(-12)?
False
Suppose 38*o - 9*o = 20880. Does 80 divide o?
True
Suppose -8*s = 4*y - 5*s - 4156, -6*y + s = -6212. Is 28 a factor of y?
True
Suppose -30*k + 1284 = 4*n - 27*k, 624 = 2*n - 3*k. Is n a multiple of 53?
True
Let g = 194 + 150. Does 43 divide g?
True