lse
Let f be 24/18*(-99)/(-2). Suppose 7*o = 10*o - f. Does 13 divide o?
False
Let k = -72 - -105. Suppose -35 = 5*t - 5*a, -3*t + a = 2*a + k. Let r = t - -17. Is 7 a factor of r?
True
Is 12/3 + (-1 - -60) a multiple of 11?
False
Does 11 divide (-96)/(-3) + (1 - 2)/(-1)?
True
Let m(g) = g**3 + 4*g**2 - 4*g + 4. Let b be m(-5). Let k = 2 + -4. Is k + 102/(2 - b) a multiple of 16?
True
Suppose s + 10 = 4*a, -2 = -3*a - s - s. Let p be (-6 + 1 + 2)/(-1). Suppose 0 = -p*b - a*b + 75. Is 12 a factor of b?
False
Suppose 2*m + 105 = -m + 3*n, -3*m - 3*n - 75 = 0. Is (m/6)/((-2)/6) a multiple of 5?
True
Suppose 3*w + z + 2*z = 30, 5*w = 5*z. Suppose -5*r - 2 = -5*v + 3, -w*r = 3*v - 27. Suppose a + 3*u - 29 = 0, v*a - 124 = -0*u - 4*u. Does 16 divide a?
True
Let b = -22 + 59. Is 5 a factor of b?
False
Is (-65)/(-10)*(-2 - -24) a multiple of 8?
False
Let p be 36 - 1 - (4 + -3). Suppose 0 = -0*g + 2*g - 4. Let f = p + g. Is 18 a factor of f?
True
Suppose -41 - 4 = -s - 2*y, -3*s = 2*y - 151. Is s a multiple of 16?
False
Let u(q) = q**2 + 63. Suppose -i - 2*i = 0. Is 21 a factor of u(i)?
True
Suppose 7*f - p + 51 = 3*f, 2*f + 22 = 4*p. Let l = f + 24. Let j = -1 + l. Is j a multiple of 4?
False
Let f(s) = -42*s - 56. Is f(-8) a multiple of 35?
True
Does 6 divide 3 + 2 + (-3)/(-3)?
True
Let j(t) = 6*t - 30. Is 12 a factor of j(15)?
True
Let g(i) = i + 13. Let f be g(-9). Suppose f*o - 4 = 2*w, -3*w = -2*w - 4. Suppose o*c - 5*n - 43 = 33, 3*c - 4*n - 74 = 0. Does 22 divide c?
True
Suppose 4*m = -68 + 460. Suppose 273 - m = -p. Does 12 divide p/(-6) + (-9)/54?
False
Suppose 2*g + 4*h - 16 = 0, 16 - 6 = 2*g - 2*h. Is g a multiple of 3?
True
Let g = -3 - -4. Let t(s) = -5 - s**2 + g - s**3 + 0. Is t(-3) a multiple of 8?
False
Let s(b) = b**2 - 2*b - 4. Let t be s(-3). Suppose 0 = -n - 0*n + 4*a + 2, -3*a - t = 4*n. Is 0 + -1 + 31 + n a multiple of 14?
True
Suppose -3*u + 8*u - 175 = 0. Is 35 a factor of u?
True
Let k = 1 - 2. Let s = -16 - -9. Let i = k - s. Is i a multiple of 3?
True
Let p(y) be the third derivative of -y**4/6 + y**3/3 - 3*y**2. Is p(-4) a multiple of 9?
True
Suppose -3*f - y + 122 + 16 = 0, 2*y + 194 = 4*f. Does 10 divide f?
False
Suppose -4*k + 2 + 30 = 0. Let q = k + -4. Suppose q*x + 6 = x, -o + 24 = -2*x. Is o a multiple of 10?
True
Let r be (1 - 4) + (-1)/1. Let i be 1/r*2*12. Does 22 divide ((-44)/i)/((-3)/(-9))?
True
Let p(o) = -4*o - 15*o - 3 - 1. Let c be p(-7). Suppose 0 = -4*u + c + 35. Is 16 a factor of u?
False
Suppose 4*z + 2 = 10. Suppose 3*l - 93 = 3*i, -3*l + 5*i + 19 = -z*l. Does 9 divide l?
False
Is 7 a factor of 2/4*(39 + 3)?
True
Let i(b) = 2*b**2 + 12*b + 12. Is 12 a factor of i(-9)?
False
Suppose 1 + 19 = -5*g. Let d be 6/3*(-10)/g. Let a(p) = p**3 - 5*p**2 + 6*p - 4. Does 13 divide a(d)?
True
Let d(h) = 2*h**2 + 4*h - 1. Let y be d(-4). Let k(i) = i**2 - 6*i - 4. Let n be k(5). Let l = y + n. Does 6 divide l?
True
Let n = 7 + -11. Let x = n + 11. Is x a multiple of 3?
False
Let i = -82 + 91. Does 8 divide i?
False
Suppose 13*l = 209 + 831. Is 4 a factor of l?
True
Suppose 210 = 5*x - 0*x. Is x a multiple of 14?
True
Let l(x) = 75*x + 7. Let o(g) = 38*g + 3. Let z(q) = 2*l(q) - 5*o(q). Is 13 a factor of z(-1)?
True
Is 47 a factor of 0/5 + 4 + 176?
False
Let s(q) = 2*q**2 + 6*q - 7. Let y be s(-8). Let z = 47 - 12. Suppose 3*x - y - z = 0. Does 18 divide x?
True
Let j(v) be the first derivative of v**4/4 + 8*v**3/3 - v**2/2 - v + 3. Is j(-8) a multiple of 5?
False
Let n = -4 - -3. Let g(a) = a**3 - 4*a**2 - 9*a + 7. Let k(c) = -c**2 - 1. Let y(m) = n*k(m) - g(m). Does 12 divide y(6)?
True
Let t be -19 + (2 + -2)/(-2). Let r be 32/(-6) + (-22)/33. Let y = r - t. Does 5 divide y?
False
Let r = 167 - 116. Is 16 a factor of r?
False
Let v = -117 + 172. Does 8 divide v?
False
Suppose 3*m - 54 = -b, 4*m + 0*b = -3*b + 72. Suppose -2*p + l + m = 0, -3*p - p + 36 = -l. Is p a multiple of 2?
False
Suppose 4*q = -5*j + 44 + 138, -2*q = -6. Is 17 a factor of j?
True
Let k(h) = 4*h**2 + 8*h + 12. Does 26 divide k(-5)?
False
Suppose 0 = -2*u - b + 39, -3*b + 8*b + 69 = 2*u. Let v = u + -12. Does 10 divide v?
True
Suppose -4*d + 3 = -9. Let i = d - -2. Suppose 0 = -i*g + 290 - 55. Is 17 a factor of g?
False
Suppose -8*y + 60 = -588. Is 9 a factor of y?
True
Let o = 77 + -28. Is o a multiple of 6?
False
Suppose 6*h = -3*h + 891. Does 29 divide h?
False
Suppose 6*p - 16 = 2*p - 2*q, 5*q = 3*p + 14. Suppose -s - 2 = -p*s. Does 12 divide 15 - (-2 - -1) - s?
False
Suppose -r = -0*r + 4*i + 6, -2*r = -5*i - 14. Suppose -r*u + 195 = u. Is u a multiple of 13?
True
Suppose 6 = 2*u - 2. Suppose 252 = -0*g + u*g. Is 22 a factor of g?
False
Let d(v) = v**2 + 5*v - 4. Let o = -11 + 5. Let k be d(o). Suppose k*b - 5*s = 54, -4*b - 3*s + 136 = s. Does 12 divide b?
False
Does 29 divide 3*(-4 - -2 - -31)?
True
Let f = -10 - 0. Let r be (-8 - -3)*8/f. Suppose x + 5 = -4*b - 12, 0 = r*x + 2*b - 2. Is x a multiple of 3?
True
Suppose 0 = 4*d - 334 - 246. Is d a multiple of 14?
False
Let x = 107 - 200. Let i = -54 - x. Does 13 divide i?
True
Let d = -23 - -28. Suppose -3*c + d*u + 29 = -14, -4*c + 2*u + 48 = 0. Is c a multiple of 8?
False
Is -2 - -5 - 1 - -97 a multiple of 11?
True
Let y be ((-11)/(-3))/(3/9). Let k = y - 38. Does 9 divide ((-2)/(-2))/((-3)/k)?
True
Suppose x - 5*y - 78 = 0, -5*y - 545 = -5*x - 155. Let d be 1*x/(-1 - -4). Suppose 3*w = -4*z + d, 4*z - 7 = 3*w + 7. Is 2 a factor of w?
True
Let b(y) = 8*y**3 + 2*y**2 - 1. Let p be b(-1). Let t = 42 - p. Is 17 a factor of t?
False
Suppose -6*a + 2*a = 0. Suppose a*r + 3 = r. Suppose -4*m + 7*m + 105 = r*n, -3*m + 23 = n. Is 21 a factor of n?
False
Is 123/12 - (-6)/8 a multiple of 3?
False
Let l = -69 - -105. Is 12 a factor of l?
True
Suppose 2*j + 0*j = -12. Let s = 89 + j. Suppose 4*d = 2*v - 5*v + s, 2*v + 24 = 2*d. Is 17 a factor of d?
True
Is 3 a factor of -18*(2/5)/((-16)/20)?
True
Let q be -3 + (-1)/2*-10. Let f = 134 - 44. Suppose g + q*g = f. Is 15 a factor of g?
True
Let l be 103/5 + 9/(-15). Suppose 3*a - l = -a. Is 4 a factor of a?
False
Let h(q) be the second derivative of -21*q**5/20 - q**4/6 + q**2/2 + q. Let j be (2/(-4))/(2/4). Is h(j) a multiple of 20?
True
Suppose 0 - 12 = -2*g. Is 6 a factor of g?
True
Let m(c) = -c**2 + 19*c - 12. Is 13 a factor of m(9)?
True
Suppose -2*q - 6 = -4*h, 3*q - 6*q + 3 = 0. Let y(k) = 2*k**3 - 3*k**2 + k. Let w be y(h). Is 8 a factor of 0/1 + 3*w?
False
Suppose l - 6*l = -75. Does 7 divide l?
False
Let p be (-6)/(-15) - 27/5. Let z be (-12)/p*750/9. Is 8 a factor of z/12 + (-1)/(-3)?
False
Let h = 15 + 1. Is h a multiple of 7?
False
Let q be -6*3/6*-1. Suppose -q*s = -2*x - x - 171, 3*s - 183 = -3*x. Is 15 a factor of s?
False
Let t(o) = 5 - 2 + 3*o + o**2 + o. Is t(-7) a multiple of 8?
True
Let a(i) = i**2 + 4*i - 3. Let b be a(-5). Suppose 3 = b*v - 89. Suppose g = 2*d - 31, -5*d - 2*g + 137 = v. Is d a multiple of 14?
False
Let m be 3 + -3 + 3 - 1. Let k be ((-39)/(-3) - m) + 1. Suppose 3*d + d = k. Is d a multiple of 3?
True
Let u(t) = 6*t**2 + t + 10. Is u(5) a multiple of 15?
True
Let j = -7 + 12. Let k(d) = -8*d**2 + 2*d + 7. Let p(f) = -9*f**2 + f + 8. Let a(n) = -6*k(n) + 5*p(n). Does 15 divide a(j)?
False
Let y(x) = -2*x + 3*x - 4*x + 5. Does 16 divide y(-4)?
False
Let s be ((-12)/(-5))/((-5)/(-300)). Suppose -2*y + 8*y = s. Is y a multiple of 24?
True
Let r = 274 - 188. Is 20 a factor of r?
False
Let c(n) = 6*n - 3 - 6*n + 2*n. Let p be c(4). Suppose -90 = -p*x + 60. Is 15 a factor of x?
True
Let i(s) = s**2 - 8*s + 15. Let g be i(10). Let b = g + -9. Does 10 divide b?
False
Let k(s) = 28*s**2 - s. Let u be k(-1). Is 9 a factor of u + (-1 - -3 - 3)?
False
Suppose -62 = -2*s + 3*a - 6*a, 2*s - 76 = 4*a. Is 13 a factor of s?
False
Suppose 4*z - 405 = -z. Does 17 divide z?
False
Let y(s) = s**3 - s - 2. Let g be y(2). Suppose -g*m + 124 = -0*m. Is m a multiple of 17?
False
Suppose 142 = -17*p + 1094. Does 28 divide p?
True
Suppose 5*x - 27 = -82. Does 11 divide (-130)/(-6) + x/(-33)?
True
Let k(x) = 5*x - 6. Let y(b) = -3*b - 3. Let s be y(-4). Let o = 13 - s. Is k(o) a multiple of 7?
True
Let t = 67 + -10. Is 24 a factor of t?
False
Suppose -y + 7*y = 258. Does 15 divide y?
False
Let c(n) = -n. Let r be c(-4). Is 28/(2/r*2) a