lse
Let q be (-4)/6 - (-22)/6. Let r be ((-40)/(-14))/(4/14). Is (0 - q)*r/(-15) a multiple of 2?
True
Suppose k - 1628 = -10*k. Is k a multiple of 16?
False
Suppose -g - 20 = -0*g - 5*d, -g + 10 = d. Let b = -2 + g. Suppose 0 = -b*i + 8*i - 65. Does 9 divide i?
False
Is (192/15)/(8/20) a multiple of 8?
True
Suppose 5*t = t. Suppose t = -x + 4. Is 4 a factor of x?
True
Suppose 5*d + 5*x = 55, 38 = 3*d - 5*x - 27. Does 2 divide d?
False
Is 19 a factor of -76*(1 + (-33)/12)?
True
Let j(r) = 15*r + 1. Let y(c) = -3 - c + 0 + 0*c. Let f be y(-4). Is 8 a factor of j(f)?
True
Suppose 4 = -3*y + 2*l, -5*l + 26 = 3*y - 5. Suppose 3*v = 4*x + 164, 0*v = 5*v - 5*x - 275. Does 12 divide (v/y)/(5 - 4)?
False
Let f(o) = o**2 - 6*o + 10. Let c = 6 - 4. Suppose 5*u = c*w - 3*w + 37, 0 = -3*u + 4*w + 13. Does 16 divide f(u)?
False
Let z = 4 + -3. Suppose a + z = 31. Is 15 a factor of a?
True
Let b be 3/2 + (-465)/(-10). Suppose -10 + b = 2*j. Is j a multiple of 19?
True
Let x = 18 - 7. Does 3 divide x?
False
Let o(t) be the second derivative of -7*t**3/6 + 5*t**2/2 - 6*t. Is 23 a factor of o(-5)?
False
Let a be (-3)/(-1)*76/(-6). Let j = 71 + a. Is 9 a factor of j?
False
Suppose -4*u + 5*m + 21 = 0, -2*m = -0*u - 2*u + 10. Let q(y) = -y**3 + 6*y**2 + 3*y + 5. Is 23 a factor of q(u)?
False
Suppose -5*b - 45 = -0*b. Let q = b + 12. Does 11 divide (-9)/q*(-22)/3?
True
Suppose -300 = -5*s + 135. Does 29 divide s?
True
Suppose 0 = -y - 3, -4*m - 5*y - 3 = -0*m. Let d be 34/8 - m/12. Suppose 0 = b - 2*b - d*q - 5, 0 = 2*b + 4*q + 2. Is b a multiple of 2?
False
Let b = 132 - 127. Is 4 a factor of b?
False
Suppose 2*q - x + 6*x = -7, -2*q - 1 = 3*x. Is 25 a factor of ((-82)/q)/(6/(-12))?
False
Let l = 2 - -1. Suppose -l*u = -8 - 43. Is 3 a factor of u?
False
Suppose 2*b - 3 + 1 = -3*r, 0 = -2*b + r + 10. Let s be 28/42 + (-101)/3. Is (s/b)/((-6)/16) a multiple of 11?
True
Suppose -4*p + 2*f = -132, 5*p - 5*f + 4*f = 159. Does 10 divide p?
False
Let u = 6 - 11. Let c(h) be the first derivative of h**4/4 + 2*h**3 + 2*h**2 + 7*h + 2. Is 12 a factor of c(u)?
True
Suppose 3*j - 11 = -2*k, 0 = 2*j + 3*k - 13 + 4. Suppose 2*m + 1 = j*m. Does 13 divide ((-2)/m)/((-1)/13)?
True
Suppose 0*f + 2*f - 88 = 0. Suppose 5*a = 574 - f. Is a a multiple of 29?
False
Suppose 2*i = 46 + 14. Suppose -b = 2*b - i. Is 7 a factor of b?
False
Let q(k) be the third derivative of 1/10*k**5 + k**2 - 7/6*k**3 + 0*k + 0 - 1/120*k**6 + 3/8*k**4. Is q(7) a multiple of 7?
True
Suppose -q = 5*k - 165 - 28, -q + 154 = 4*k. Does 13 divide k?
True
Let t(d) = -d**3 - 7*d**2 - 12*d - 6. Is t(-6) a multiple of 10?
True
Let m = 61 + -33. Is 11 a factor of m?
False
Let l = 1 - -1. Suppose -29 = -l*q + v, -3*q + 4*v = -2*q - 4. Suppose 0 = -4*c + q + 64. Is 10 a factor of c?
True
Suppose 2*s - 36 = -4*m - 3*s, 2*s + 8 = 4*m. Suppose m*u + 20 = 0, 32 = a - 3*u - 0*u. Suppose 2*l - 69 = -a. Is l a multiple of 10?
False
Suppose 0 = -3*n + 8*n. Suppose 2*u - 14 - 12 = n. Is u a multiple of 6?
False
Suppose -3*s + 44 = -181. Is 15 a factor of s?
True
Suppose -2*r - 2*r + 16 = 0. Suppose 16 = r*a - 2*a. Does 8 divide a?
True
Let b(n) = -n**2 - 12*n + 6. Does 18 divide b(-9)?
False
Let i be ((-5)/10)/(2/(-12)). Suppose -i*l - l = -152. Is l a multiple of 16?
False
Let d be (-1 - -5)/((-13)/(-13)). Suppose -r - 152 = -d*r + o, 107 = 2*r + 5*o. Is r a multiple of 12?
False
Suppose 3*t = -4*n - 3, -2*t = -3*n - 10 - 5. Suppose t = -k + 4*k. Does 17 divide 104/6 + k/(-3)?
True
Suppose 0*s = s + 9. Let v(i) = -2*i + 15. Let u(p) = -5*p + 30. Let k(m) = -3*u(m) + 7*v(m). Does 3 divide k(s)?
True
Let m(k) = -k**2 + 9*k - 8. Let n be m(6). Suppose 5*v + n = 0, -4*v - 70 + 22 = -5*q. Is q a multiple of 4?
True
Let g(p) = -20*p**2 + p + 2. Let z be g(-2). Is 13 a factor of 1 - (2 + z/2)?
True
Let i be 1 - (-1)/((-1)/(-14)). Let p(l) = -7*l - 1. Let x be p(-1). Suppose -4*f = -5*s + 118, -x + i = 3*f. Is s a multiple of 14?
False
Suppose 2 = i - 3. Suppose i*z + 8 = z. Is (3/6)/(z/(-48)) a multiple of 6?
True
Let m = 483 - 183. Suppose -338 = -0*s - 5*s - 3*i, 4*s = 5*i + m. Is 26 a factor of s?
False
Suppose 5*t = -4*q - 5, 3*t = 8*t - 3*q + 5. Let g be 5 + (-1)/t*0. Suppose -3*l = -2*f - 25 - g, 50 = 5*l + f. Is l a multiple of 5?
True
Suppose -6 + 3 = -i. Let t be -8*i/(24/(-14)). Suppose -4*q = -3*q - t. Does 7 divide q?
True
Suppose -2*t + 4*t = 6. Suppose -t*y = 70 - 232. Is 18 a factor of y?
True
Let y = -287 + 413. Suppose 0 = 2*v + v - y. Does 14 divide v?
True
Let z be (-15)/(15/9 + -2). Suppose 5*q = 4*h + z, 4*q - 6*q + h + 15 = 0. Suppose q*c + 4*s - 40 = s, 2*c = s + 16. Is 5 a factor of c?
False
Let n = 26 - -17. Is n a multiple of 13?
False
Suppose 5*c - 283 + 28 = 0. Is c a multiple of 19?
False
Suppose -5*t - 2193 = -5*g - 518, 5*g = 3*t + 999. Let l be t/(-6) - (-14)/21. Suppose 2*x = -x - 4*q + l, -2*q + 19 = x. Does 7 divide x?
False
Let l = 705 - 489. Does 24 divide l?
True
Suppose 5*k = 4*f + 25, -3*k = -3*f - k - 10. Suppose -4*y - 13 = -4*r + 3, f = -2*y. Does 12 divide r*(9 + 6/(-3))?
False
Let p be (8/20)/((-2)/(-10)). Suppose 0 = -f + t + 9, p*f - 4*t - t = 27. Let x(b) = b**3 - 5*b**2 - b - 4. Is x(f) a multiple of 12?
False
Let o be -3 + (-1 + 0 - -10). Let w = o + -2. Does 3 divide w?
False
Suppose -5*j + 5 = 0, -2*u + 157 = 3*j - 4*j. Does 6 divide u?
False
Let c be 2/10 - 1002/10. Let i = -70 - c. Is i a multiple of 18?
False
Suppose 5*k = k - 5*z + 203, 0 = 3*k + 5*z - 146. Is 21 a factor of k?
False
Let x = -3 + 1. Is 2 + (-1 - x) - -12 a multiple of 5?
True
Suppose 0 = 2*u + 297 - 797. Does 14 divide 8/10*u/4?
False
Suppose 0 = l - d + 6*d - 10, 15 = 2*l + 5*d. Is 0 + 2 - l - -72 a multiple of 21?
False
Suppose 0 = -p + 2*r - 58, 2*p - 2*r = -68 - 52. Let b = -6 - p. Is b a multiple of 14?
True
Let d be ((3 - 2) + -1)/(-2). Suppose 2*o = -d*q + 5*q - 22, q - o - 5 = 0. Suppose b - 3*c = -q*b + 132, -b + 3*c + 36 = 0. Is 14 a factor of b?
False
Suppose 0 = -y - 3*y + 12. Let m be y/6*(3 + 1). Suppose m*k - 5*k = -42. Does 14 divide k?
True
Let j = 42 - 7. Does 35 divide j?
True
Let q = 65 + -25. Is 14 a factor of q?
False
Suppose 30*a - 31*a + 108 = 0. Is a a multiple of 27?
True
Suppose 0 = 4*m + 5*b - 27, -2*m - 1 = b - 10. Does 6 divide m/(1*(-1)/(-2))?
True
Suppose -3*p - 10 = -5*p. Does 4 divide p?
False
Suppose 0 = -2*o + 5 + 5. Suppose 64 = -o*f + 159. Does 19 divide f?
True
Suppose 0 = -2*w + 6*w - 264. Is w a multiple of 22?
True
Let l(k) = k**2 + 12*k + 9. Let d be l(-11). Let a = d - 2. Does 2 divide -2 - (a - (-3)/(-1))?
False
Let c be (3 - (2 - 2)) + -3. Let r(i) = i - 44. Let m be r(c). Let f = 65 + m. Is f a multiple of 7?
True
Suppose -158 = -4*t + 90. Is 16 a factor of t/2 + -2 + 3?
True
Does 14 divide (1 + (-26)/(-2))*1?
True
Suppose 600 = -3*r + 6*r. Suppose -5*w + 418 + r = -4*i, -513 = -4*w - 3*i. Suppose 5*x - 3*f - 97 = 0, 0 = 5*x - f + 27 - w. Is 10 a factor of x?
True
Is 4/7 - (-954)/21 a multiple of 6?
False
Let s(m) = -m**3 - 6*m**2 - 2*m + 6. Let t = -18 + 12. Let o(p) = -p**2 - 5*p. Let y be o(t). Does 6 divide s(y)?
True
Suppose -20 = -z + 3*u, 3*z - 3*u - 38 = 10. Is 7 a factor of z?
True
Is (-4)/(-16)*21*168/9 a multiple of 21?
False
Suppose w + 95 - 10 = 0. Let d = w + 120. Is d a multiple of 18?
False
Let t = 481 + -73. Is t a multiple of 34?
True
Let l(y) = 0 - 1 + 11*y - 2 - y**2 + 1. Is 11 a factor of l(8)?
True
Let p = 28 - -11. Is 39 a factor of p?
True
Suppose 2*x + 2*y = x + 10, -y - 13 = -x. Suppose 3*z + 48 = -z. Does 16 divide (64/z)/((-2)/x)?
True
Suppose -4*v + 42 = -82. Does 21 divide v?
False
Let j = -21 - -24. Is 6 a factor of j/(-7) + 2064/112?
True
Let j(r) be the third derivative of -r**4/24 - r**3 - 2*r**2. Let i be j(-11). Suppose 2*f - 37 = -3*c, i*c - 20 = -4*f + 53. Does 6 divide f?
False
Let f(q) = -q**2 - 9*q. Let b(v) = 3*v**2 + 26*v. Let x(u) = 6*b(u) + 17*f(u). Let z be x(-4). Is (-305)/(-15) - z/(-6) a multiple of 15?
False
Let q = 19 + 33. Suppose -q = -b - b. Is 26 a factor of b?
True
Let i be -2 + 0 + 4 - 1. Let q = 21 + i. Is q a multiple of 21?
False
Let c(i) = -i**3 + 7*i**2 + 16*i + 6. Does 27 divide c(7)?
False
Suppose -d - 2*d - 10 = 4*v, -3*v + 5 = -4*d. Let x(n) = -96*n**3 - n**2 - 2*n - 1. Is 26 a factor of x(v)?
F