lse
Let q = -120/7 - -121/7. Is q >= 1?
False
Let z = 6 + -8. Let i = z - -4. Let c = i + -1.8. Which is smaller: -1/2 or c?
-1/2
Let p = -7 + 8. Let x be -4 + -2 + 2 + p. Are x and -3 unequal?
False
Let h be (3/3)/1*3. Suppose -h*x - s = 9, 3*x - 2*s = 3*s + 9. Let m be (72/(-90))/(4/10). Is x less than m?
False
Let y(x) = x**3 - 4*x**2 - 6*x + 4. Let m be y(5). Is m > -3?
True
Let r = -0.36 + -0.04. Let v = -0.2 - r. Let w = -10 + 9. Is v smaller than w?
False
Let y = 2.9 + -3.3. Is y smaller than 0.1?
True
Let p = 801/7 - 114. Let n(x) = x**2 + 6*x + 4. Let c be n(-5). Which is smaller: c or p?
c
Let r(h) = 11*h**3 - 2*h**2 + 2*h - 1. Let t be (-9)/(-6) + 1/(-2). Let m be r(t). Let b = m - 5. Is b greater than 6?
False
Let w be -1 + (15 + 0)*1. Let m = -9 + w. Which is smaller: m or 4?
4
Let i(d) = d**3 - 6*d**2 - d + 3. Let l = 2 + 4. Let n be i(l). Let u = -16 - -11. Which is greater: n or u?
n
Let v be 0 - 1 - 1172/(-9). Let h = v + -129. Which is bigger: h or 0?
h
Let j = 199 + -2585/13. Let t = -1 - -1. Which is greater: t or j?
j
Let p be 0/(-1 + 0 - -4). Which is smaller: -0.4 or p?
-0.4
Let f(u) = 2*u + 3. Let n be f(-5). Let s = -7 - n. Which is bigger: 1/11 or s?
1/11
Let t be -1 + -1 + (-6 - -6). Let a = t - -3. Which is bigger: a or 1/22?
a
Let i = 0.16 + -0.36. Let g = 8/15 - 6/5. Which is smaller: g or i?
g
Let h = 3.8 - 0.8. Let c = h + -2.8. Let m = -11 - -11.1. Which is greater: m or c?
c
Let o be ((-27)/12)/((3465/(-24))/7). Which is bigger: -1 or o?
o
Let z = 25 + -18. Is 9 smaller than z?
False
Suppose 73 = 4*k - 15. Does 22 = k?
True
Let x(y) = y + 4. Let p(o) = o + 3. Let j(a) = -8*a**2 + a - 1. Let l be j(1). Let z be p(l). Let c be x(z). Which is greater: -2/11 or c?
-2/11
Let n(l) = 3*l. Suppose -3*a - 11 = 2*w - 6*a, 2*a = 6. Let u be n(w). Is u at most as big as -3?
True
Let s = 57 - 57. Let d = -337 + 12471/37. Is d at least s?
True
Let q(o) = -o**2 - 6*o + 4. Let a be q(-6). Suppose -a*t + 15 = t. Suppose t = -p - 2*p - b, 0 = 4*p + b + 3. Is p > 2/3?
False
Let s be 21/91*(-3 + 11 + 3). Which is bigger: s or 3?
3
Let i be 2*(-2)/(-40)*(-36)/24. Which is greater: i or 0?
0
Let j = 0.6 + 2.4. Let b = 3.6 - j. Let a = b + -0.7. Which is smaller: 7 or a?
a
Let s be (-96)/90 + (-2)/(-3). Which is smaller: -0.093 or s?
s
Let x be -2*(-1)/(-2)*-6. Let p be (-12)/8*(-16)/x. Is p at least 4?
True
Suppose -5*q + 14 = 4*d - 2*d, 0 = 4*d - 2*q - 4. Suppose 5*y = -5*p + 15, d*p - 4*y + 7 = -11. Which is smaller: -2/5 or p?
p
Let i be (-7136)/120 - (-1)/(-3). Let u = i - -60. Which is greater: u or -2?
u
Let x(h) be the first derivative of -2 - 1/3*h**3 + 6*h - 7/2*h**2. Let k be x(-8). Which is smaller: -3 or k?
-3
Suppose -8*m - 2*m = 0. Which is smaller: m or -2/13?
-2/13
Let z = -6 + 8. Which is smaller: z or -6?
-6
Let i = 0.11 - -0.79. Let t = i - 0.7. Let l = -1 + 0.9. Is t greater than or equal to l?
True
Suppose -q - v - 10 = 4*q, -2*q = 5*v + 27. Which is bigger: q or 52?
52
Let b(s) = -s**2 - s - 1. Let l be b(-2). Let m(x) = -x - 1. Let w be m(l). Which is greater: w or -0.2?
w
Suppose -4*d + 8 = 0, 2*f + 2*f - 3*d = 2. Suppose -x - 2*i + 7 = -1, 4*i - 30 = 5*x. Let l be x/(-8) + 14/40. Do f and l have the same value?
False
Let h(g) = g**3 + 2*g**2 - 2*g + 1. Let i be h(-3). Let j = -7 - -13. Let o be 6/i*(-2)/j. Is o equal to 2/11?
False
Let d be (-9)/18*34/1. Is 2 > d?
True
Suppose -2*r = -5*r - 4*k - 12, 9 = -r - 3*k. Are r and -2/119 non-equal?
True
Suppose 5*a - 20 = n, -2*n + 20 = -6*n. Let i = 4 - a. Let h be ((-6)/45)/(4/6). Is i at most h?
False
Let h = -5 - -16/3. Which is greater: -0.06 or h?
h
Let g be (-4 - (-4 - -2)) + 0. Is -2 at least g?
True
Let k = -1.2 + 0.2. Let r = -0.8 - k. Let h = r - 0.1. Which is smaller: -0.2 or h?
-0.2
Let n = 0 + 1. Suppose -n = z - 3. Let s be (z/(-24))/(6/16). Which is smaller: 0 or s?
s
Let q(k) = k**2 - 8*k + 5. Let p be q(7). Let a be (-111)/33 + (-6)/p. Which is smaller: a or 1?
a
Let q be -1 - (-4 + 1) - 1. Suppose -3*d + 2*w = -26, 5*d - 36 - 6 = 3*w. Is q != d?
True
Let t be 45/6*8/(-12). Let v = 0 + t. Is v greater than or equal to -5?
True
Let s = 83 - 45. Which is greater: 37 or s?
s
Let c be 8/(-138)*(-3)/(-24). Let h = c - 91/138. Let d = -0.11 - -0.01. Do d and h have the same value?
False
Let d(a) = -a**3 + 10*a**2 + 2*a - 10. Let x be d(10). Let z be (-22)/x - 8/(-40). Is -6/5 bigger than z?
True
Let c be (6/(-28))/(-3)*-8. Is c bigger than 1/3?
False
Suppose 0*w + 2*w = 28. Let s = w + -20. Is -6 > s?
False
Suppose f + 2*f = -12. Let c be (18/f)/(6/(-12)). Which is bigger: 2 or c?
c
Let d(k) = k**3 - 26*k**2 - k - 28. Let a be d(26). Is a smaller than 0.1?
True
Suppose -4*x - 5*u = -27, -10*u = -4*x - 7*u + 35. Which is greater: 54/7 or x?
x
Let m = -22 + 28. Which is smaller: m or 25/4?
m
Let z = -5/4 + -21/4. Are z and -6 equal?
False
Suppose -5*r + 3*y - 8 = 27, 4*y - 20 = 0. Let j be r/(-14) - (-2 + 2). Let i = -1231.3 - -1231. Is j greater than or equal to i?
True
Suppose t - 2*t = -73. Are 72 and t unequal?
True
Let v = 6 - 4. Suppose 0*d - 16 = 2*b - 5*d, 2*b = -4*d + 20. Suppose -2*f = 4*l + b*f - 12, 0 = -f. Which is bigger: v or l?
l
Suppose -5*f - 13 = -3. Let c(u) = 2*u**2 - 2*u + 1. Let r be c(1). Is f not equal to r?
True
Let o = -7 + 10. Let v(f) = -f**2 - 25*f + 29. Let q be v(-26). Is o at most q?
True
Let l be (-2*(-4 - -3))/(-2). Let h be l + -2 + 91/31. Is h at least -1?
True
Let o(v) = -v + 5. Let a be o(9). Suppose 4*n - 6*n = -6. Let u = a + n. Is 1 greater than u?
True
Suppose -3 = l - 4. Suppose t - 5*u = -l, -t = 2*t + u - 13. Suppose 2 = 3*a - t*a. Is -1 > a?
True
Suppose 0*z + 2*z + 1 = -m, 4*m + 4 = 5*z. Let y be ((-149)/46)/((-66)/4). Let v = 1/69 - y. Which is greater: m or v?
v
Let t(z) = z**2 + 8*z - 2. Let j be t(-8). Let o be (1 + j)*2/(-2). Which is greater: o or 0.1?
o
Let u = 185 - 193.1. Is u greater than -2?
False
Let o be (81/(-198))/((-3)/4). Let u be (-4)/6 + (-6)/(-9). Which is smaller: o or u?
u
Suppose 4*a = -5 - 11. Let m be (-510)/(-135) + a/(-18). Is 3 less than or equal to m?
True
Suppose 2*j = -3*j + 30. Let m(b) = b**2 - 7*b - 2. Suppose 3*y = 3*u + 13 + 2, 4*y + 4*u = 44. Let w be m(y). Is j > w?
False
Let y = -1 + 0. Let n(w) = -2*w. Let v be n(y). Let l be (-14)/(-18) + v/9. Is l greater than or equal to 0?
True
Let q = -5 + 8. Let o be 3 + (-3)/(-3) - q. Which is bigger: 2/15 or o?
o
Let m = -5.13 - -0.13. Let x = -7 - m. Let j = -3 - x. Is 3/5 greater than j?
True
Let d = -269 + 487/2. Do -26 and d have different values?
True
Suppose 0 = -v + 2*y + 33, -3*y = 5*v - 11 - 128. Let n = 57/2 - v. Which is greater: n or -2?
n
Let o(k) = k**3 + 7*k**2 + k + 5. Let l be o(-7). Is l > -4?
True
Let b be (-7)/((-98)/(-16))*-7. Is b < -0.06?
False
Let l(h) = h**2 - 2*h + 1. Let v be l(0). Let n = 2 - v. Let c be (2/21)/(6/14). Is c at least n?
False
Let f(n) = -n**2 + 11*n + 19. Let k be f(14). Let x = k - -28. Let y = 2/3 + -1. Is x < y?
False
Let w be (-8414)/45430 - (-4)/22. Let c = w - -1478/885. Which is smaller: c or 3?
c
Let b = -0.98 - 0.02. Let v = -1 - b. Let t = 4.8 + 0.2. Which is greater: v or t?
t
Suppose 0 = -2*r - 5*g - 6, 5*g + 14 = -5*r - 1. Let k = 2 - 1.9. Are r and k unequal?
True
Let t(n) = -3*n - 24. Let h be t(-8). Let k = -38/3 + 25/2. Is k less than or equal to h?
True
Let c be 3/2*15/90. Is -4/7 < c?
True
Suppose -5*m + k = 18 + 17, -2*k = 0. Let s = m - -20/3. Is -2/5 <= s?
True
Let s(a) = a**3 - 5*a**2 + 5*a. Let l be s(4). Let k(n) = -n**3 + 6*n**2 - 7*n + 4. Let o be k(l). Which is smaller: 9 or o?
o
Let z = 6031/3 - 1982. Let c = 38 - 10. Let v = c - z. Does v = 0?
False
Let w be 363/18 - (-1)/3. Suppose 37 = 5*h + 137. Let u = h + w. Is u at most -3?
False
Let n = -128/5 + 26. Is 0.1 greater than or equal to n?
False
Suppose -6*c + 0*c = 0. Are c and 2/25 unequal?
True
Let w = -1.7 + -0.3. Let g = 0.04 + 0.26. Which is greater: w or g?
g
Suppose 4*t + 4*o = -t - 36, -t - 5*o = 24. Is -1 <= t?
False
Let x be -1 - -2*2/(-4). Let z be 1 + x - (1 + -38). Let l = z + -109/3. Which is bigger: l or -2/3?
l
Suppose -21 - 4 = 5*o. Which is smaller: -4 or o?
o
Let l be 11/(-4) + 1 + 2. Are l and -3 nonequal?
True
Suppose -115*v + 114*v = 8. Which is smaller: v or -5?
v
Suppose 0 