lse
Suppose 0*y - 3 = z + y, 3*z - 3*y - 9 = 0. Suppose -2 = u - 0*u + 2*q, 4*u + q - 13 = z. Suppose 134 = u*r - 10. Is 18 a factor of r?
True
Let j = -35 + 171. Is 17 a factor of j?
True
Let q = 20 - 16. Suppose -6*h + q*h + 12 = 0. Suppose h = 3*g - 9. Does 2 divide g?
False
Let t(n) = 5*n**2 - 8*n + 3. Let m be t(5). Let p = -50 + m. Suppose -2*f + 46 = k, 3*k = 3*f - f - p. Is f a multiple of 10?
False
Let c(z) = 27*z + 26. Let s be c(-6). Let t = s + 208. Does 18 divide t?
True
Let c(p) = -2*p**3 + 5*p**2 - 5*p + 1. Let i be c(2). Is (i - 63/(-15))/((-2)/70) a multiple of 8?
False
Let t(p) = -p**2 + 13*p - 34. Let y be t(10). Does 8 divide (0 - y)/4 - (-35 + 1)?
False
Suppose 2*w - 2*o - 12 = 0, -12 = -w + 3*o - 0*o. Let s(f) = -5*f**2 - 1. Let c be s(1). Is w/c + (-18)/(-4) even?
True
Suppose -4*l + 2*o + 0*o = -16, 2*l + o = 12. Let p = l + -2. Suppose -x + p*i + 75 = 0, 5*x - 545 + 210 = 5*i. Is 21 a factor of x?
True
Suppose -2*s + 106 = -3*n + 10, -s + 48 = -5*n. Let z be ((-189)/6 - -1) + 3/2. Let c = s + z. Is c a multiple of 14?
False
Let p(b) = -b**2 - 10*b + 12. Let r be p(-8). Let v = r - -16. Does 4 divide v?
True
Suppose -7*z = -4844 - 5803. Does 13 divide z?
True
Let o = 750 + 173. Is 71 a factor of o?
True
Let m = 319 + -181. Does 6 divide m?
True
Let a(m) = 2*m**2 - m - 44. Does 43 divide a(17)?
False
Let s = 309 + -34. Is s a multiple of 25?
True
Let k(s) be the first derivative of 34*s**3/3 + s**2/2 - 1. Let u(v) = v**2 - 23*v - 107. Let j be u(27). Is k(j) a multiple of 14?
False
Suppose 3*g + f - 272 = -f, 0 = -2*g - 3*f + 183. Is 10 a factor of g?
True
Let f = 9 + -11. Let j(g) = 45*g + 3. Let h be j(f). Let r = -42 - h. Is 11 a factor of r?
False
Let h(i) be the second derivative of -i**5/20 - 19*i**4/12 - 3*i**3 + 25*i**2/2 + 3*i. Is h(-18) a multiple of 25?
True
Is 10 a factor of (-4000)/(-2)*(-198)/(-264)?
True
Suppose 3*b = 2*b - 1. Let c = 1 + b. Suppose 3*a - 35 - 172 = c. Is a a multiple of 14?
False
Let b = -2992 + 5314. Is 18 a factor of b?
True
Let s = -107 + 110. Suppose 2*u - 19 = -u + w, -s*w = -5*u + 37. Is u a multiple of 2?
False
Let r(k) = -k**3 + 5*k**2 + 8*k - 1. Let o be r(5). Let m = 78 + o. Suppose 3*j + 33 = m. Is 7 a factor of j?
True
Suppose -4*q = v + 638, 5*q - 303 = -2*v - 1564. Is (5/6 - 1) + v/(-36) even?
False
Let p = -344 + 714. Is 24 a factor of p?
False
Suppose 0 = 2*f + 5*f - 21. Suppose 5*r - f*r = -4*y + 22, -y - 62 = -4*r. Is 2 a factor of r?
False
Suppose 5*c = -k + 806, 9*k - 154 = -c + 7*k. Does 3 divide c?
True
Suppose -73 - 17 = -5*i. Suppose a - 2 = 8. Let c = i + a. Is c a multiple of 14?
True
Let y(j) be the second derivative of j**3 - 6*j**2 + 2*j + 27. Suppose 5*h - 3*a + 9 = 4*h, a - 35 = -5*h. Is 8 a factor of y(h)?
True
Suppose 2*d = 24 - 2. Let o be (-89 - 2)*(-6)/42. Let u = d + o. Is u a multiple of 8?
True
Let n = 47 + -34. Suppose 5*u - 13 = -3*l, -3*u - 4 = 2*l - n. Does 2 divide l?
True
Let z(o) = 68*o - 253. Is 12 a factor of z(11)?
False
Let z = 32 + -32. Suppose z = 2*o + 2*o - 56. Is 3 a factor of o?
False
Suppose 16*q + 28*q = 14740. Does 23 divide q?
False
Let z be (-3)/18*2 - (-6)/18. Suppose 0*h - 10*h + 950 = z. Does 25 divide h?
False
Let b(r) = r**3 - 5*r**2 + 2*r - 6. Let d be b(4). Does 8 divide (37 - d) + 3/(-1)?
True
Suppose 15*g - 8*g = 7. Suppose 2*x = -2*x + 20. Let k = x - g. Is 2 a factor of k?
True
Suppose -10*a - 10 = -12*a. Let s(k) = 6*k**2 + 2*k - 4. Is s(a) a multiple of 7?
False
Let p(m) = -m**2 + 6*m + 1. Let l be p(3). Let c = l - 9. Let d(z) = 82*z**3 + z. Is d(c) a multiple of 18?
False
Suppose 120*z - 118*z = 0. Suppose 7*f - 128 + 37 = z. Does 13 divide f?
True
Let d(i) = 16*i**2 - 5*i - 19. Does 13 divide d(7)?
False
Suppose -2*f = 10, 2*f - 871 + 5552 = 3*o. Is o a multiple of 13?
False
Suppose 3*p - 7*p = -p. Does 8 divide (3 - 13/3)*-78 - p?
True
Let z(q) = 5*q + 259. Let i be z(-53). Let b(d) = 4*d - 8. Let k be b(6). Let v = i + k. Is 2 a factor of v?
True
Let q be -3 - ((-8)/(-2) + (-99)/11). Suppose 0 = q*o + 5*m - 98, -2*o - 49 = -3*o - 3*m. Is o a multiple of 8?
False
Let h(j) = -33*j**3 + 7*j**2 + 2*j - 14. Is h(-3) a multiple of 64?
False
Does 5 divide (-1 - (4 - 7))*33/6?
False
Let u(q) = 18*q - 4. Let o be u(3). Let l = o - 18. Suppose m + m = l. Is 13 a factor of m?
False
Suppose 0 = -3*m + d + 516, 0*m = 2*m + 5*d - 327. Does 19 divide m?
True
Suppose 66 - 1890 = -8*w. Suppose -2*m - m + w = 0. Is 13 a factor of m?
False
Let o(p) = p**2 + 9*p + 12. Let x(y) = y**2 + 10*y + 12. Let h(v) = 4*o(v) - 5*x(v). Is 6 a factor of h(-12)?
True
Let u(p) = -55*p - 1. Let k(z) = 109*z + 2. Let w(r) = 2*k(r) + 5*u(r). Is w(-6) a multiple of 33?
False
Is (-9)/(-27)*-2*(1 + -160) a multiple of 6?
False
Let o(j) = j**2 + 8*j - 3. Let r be o(-8). Is 11 a factor of r*(4 - (-565)/(-15))?
False
Suppose -66 = v + v - 3*d, 0 = -5*v - 5*d - 215. Let l = 41 - v. Is 20 a factor of l?
True
Is (-45201)/(-65) + (-6)/15 a multiple of 30?
False
Let a = -981 - -1659. Is a a multiple of 11?
False
Suppose -136 = -6*o + 2*o. Let r = 307 - o. Is r a multiple of 39?
True
Let d = -23 - -18. Is ((-4)/(-10) - (-2)/d) + 150 a multiple of 10?
True
Let t(y) = -y**2 - 11*y + 17. Let x = 11 + -23. Let f be t(x). Does 17 divide (68/f)/((-12)/(-30))?
True
Let a(s) = -21 + 28 + 3*s - 18 + s**2. Is a(8) a multiple of 11?
True
Suppose -312 = -3*k - 5*k. Suppose -k = 2*f - 91. Does 15 divide f?
False
Let m = -313 + 561. Is m a multiple of 33?
False
Suppose -31*i + 24852 = -9558. Is i a multiple of 30?
True
Let o = -75 + 172. Suppose 4*v - 2*k - 66 = -220, -2*v - o = 3*k. Let n = -11 - v. Does 10 divide n?
True
Let y(a) = -a**3 - 9*a**2 + 10*a + 9. Let i be y(-10). Suppose -h + 5 = 8. Let v = h + i. Does 6 divide v?
True
Suppose -2*a - 18 = -10. Let v be (-4)/(a - 120/(-28)). Let m(n) = -4*n + 15. Does 15 divide m(v)?
False
Suppose -y + 107 = -43. Suppose -16*j + y = -11*j. Does 2 divide j?
True
Let l(s) = 96*s - 51. Does 27 divide l(7)?
True
Let v(l) = 198*l**2 - 10*l + 6. Is v(-3) a multiple of 21?
False
Let s = 17 - 5. Let m(l) = l**3 + l + 38 - 17 - 32 - 11*l - 11*l**2. Does 13 divide m(s)?
True
Suppose 18*f = -223 - 1937. Let p = f - -159. Is p a multiple of 5?
False
Let v = 211 + 49. Is 33 a factor of v?
False
Let g(i) be the first derivative of i**2/2 + 56*i - 1. Is g(7) even?
False
Suppose -76*m + 73*m = -27. Does 6 divide (11/(33/m))/(2/72)?
True
Suppose 22*o = 34*o - 1104. Is 46 a factor of o?
True
Suppose -1 = -4*o - 5*b - 4, -4*o - 6 = 2*b. Let j be (1*o)/((-18)/657). Suppose 5*u - 27 = j. Is u a multiple of 20?
True
Suppose -2*j = 3*j + 10. Let z(p) = 3*p**3 - p**2 - p + 1. Let g be z(j). Let n = 57 + g. Is n a multiple of 7?
False
Suppose 3*z = 6*z - 660. Is 29 a factor of z?
False
Suppose -3*r - 5*g = -4*r - 5, -2 = -r - 2*g. Let i(x) = -x**3 + 2*x + 2. Let b be i(r). Is 23 a factor of 23*b*36/24?
True
Suppose -6 = -2*n + 38. Let h = n - 10. Is ((-3)/h)/((-3)/276) a multiple of 6?
False
Suppose -187 = -4*d - o + 36, 5*d + 2*o = 275. Suppose 3*v = 5 + 4. Suppose v*h = 6*h - d. Is 18 a factor of h?
False
Let b(f) = f + 29. Let h be b(-14). Suppose -o = -4*o + h. Suppose 0 = 2*g + 3*g - 2*n - 476, n + 478 = o*g. Does 12 divide g?
True
Suppose 5*z = -z + 12. Suppose z*y = -0*y + 70. Does 7 divide y?
True
Suppose -3*a + x + 90 = 5*x, -5*a + 136 = 2*x. Let z = a + -24. Suppose 0 = r, 0 = 3*m + z*r + r - 21. Is 3 a factor of m?
False
Let i(m) = -m**2 - m + 103. Let x be i(0). Suppose 3*p - 4*c + 185 = 0, 23*p - 3*c = 20*p - 186. Let r = x + p. Is r a multiple of 10?
True
Suppose -3*l - 61 = t, t - 4*l = -4*t - 229. Let n = t - -82. Does 3 divide n?
True
Let h(o) = o**3 + 1. Let n(x) = -2*x**3 - 19. Let m(t) = -h(t) - n(t). Suppose 3*v - 4 = d + 2, -5*v = -4*d - 10. Is 18 a factor of m(d)?
True
Let f = 37 - -29. Suppose 48*q - 45*q - f = 0. Does 4 divide q?
False
Let o(p) = 7*p**2 + 4*p - 26. Let v be o(-14). Suppose 5*n + n = v. Is n a multiple of 9?
False
Suppose 165 = 5*o - 485. Is o a multiple of 26?
True
Let s = 28 - 22. Suppose -3*t - 60 = -s*t. Is t a multiple of 20?
True
Let m = 4 + -4. Let d = 162 - -14. Suppose m = 2*k + 2*k - d. Is 10 a factor of k?
False
Let u be 3*-5*(-2)/15. Suppose -120 - 50 = -u*i. Suppose -41 = -2*m + i. Does 21 divi