lse
Let s = -1 + 3. Let h = 8 - 4. Let o(n) = n - 3. Let m be o(h). Is m less than s?
True
Let n = 7 - -1. Let l = 7.5 - n. Do 0.1 and l have the same value?
False
Let d = -1691/6 + 281. Let r = 2 + -2. Is r at most as big as d?
False
Let h = -5 - -8. Let q = h - 2.8. Is q greater than 0.2?
False
Let d = 0.04 - -1.96. Let f be (-4)/14 - (-412)/(-28). Let q be (3/f)/(2/4). Which is smaller: q or d?
q
Suppose -3*v + 0*v + 15 = 0. Suppose 3 = 2*x - v. Suppose -x*d + 9 = -d. Is d at least 4?
False
Let i = -31 + 21. Let h = i - -11. Is 1 <= h?
True
Suppose -4*c = b - 4 - 1, -c = -b + 10. Which is smaller: b or -2/9?
-2/9
Let o = -3841/6 - -642. Let w be (3 - 5) + 2*2. Is o != w?
True
Let c = 14 - 13. Which is smaller: c or -1/3?
-1/3
Let h = -23 + 22. Do -2/43 and h have different values?
True
Suppose -t = 1 + 1. Let n = -2 + t. Is -4 > n?
False
Let t(l) = -l - 23. Let c be t(-18). Which is smaller: c or -4?
c
Let c = -10.2 - -10. Let q = 158 - 1103/7. Which is smaller: q or c?
c
Suppose -3*i - 36 = -3*y, 0 = -y - 4*i + i - 8. Suppose 3*n = 4*s - 23, -2*s + n + y = -2*n. Is s greater than or equal to 7?
True
Suppose -8 = -i - 3, -4*m - 4*i = 8. Let c = 8 + m. Which is smaller: 1/3 or c?
1/3
Let s be 2 + -3 - (2 + -3). Suppose s = 5*x + 25, 3*y - x - 32 = -0*y. Is 0.1 less than y?
True
Let w be (-9)/6*(-16)/6. Suppose 31 = p - 9. Let u be (p/(-48))/(2/(-6)). Are w and u non-equal?
True
Let k be (-90)/(-20) - 3/2. Suppose -k*w - 6 = -3. Which is greater: 0 or w?
0
Let n(b) = 3*b**3 + 4*b**2 + 4*b + 3. Let l be n(-2). Which is greater: -11 or l?
-11
Suppose -k + 6 - 1 = 0, k - 20 = -5*i. Let f be (-7)/(-9) - 16/(-72). Are f and i non-equal?
True
Suppose 8 + 0 = -4*o. Let w be ((-36)/(-32))/((-33)/o). Let h = 7/22 - w. Which is greater: 0 or h?
h
Let v = -11/46 + 911/4002. Is v at least 0?
False
Let g(q) = -2*q**3 - 4*q**2 - 7*q - 6. Let k(l) = 2*l**3 + 5*l**2 + 8*l + 7. Let i(j) = 5*g(j) + 4*k(j). Let o be i(-1). Are 11/4 and o non-equal?
True
Suppose -n - 3*y = -3, -2*n - n = -5*y - 23. Let g be 2/((-4)/n*-3). Is 1/8 at least as big as g?
False
Let h = 63/5 + -13. Let x = -12/55 - h. Let z = -1 - -1. Is z <= x?
True
Let b = -2 + 2.2. Is b bigger than -2?
True
Let o = -140.3 + 140. Which is smaller: 0.8 or o?
o
Suppose 0 = z + z + 10. Let i be 4/25 + 2/z. Let l = -4/25 + i. Which is smaller: l or -1?
-1
Let g(d) = d**2 + 5*d + 1. Let y be g(-6). Suppose 2*v = -5*i - 13, 2*i = -2*v - y + 3. Is 1/5 less than or equal to v?
True
Let w = 71/882 - -3/98. Let l(m) = 2*m. Let t be l(5). Suppose -4*v - 20 = v - 5*d, v = 3*d - t. Which is greater: w or v?
w
Let m = 51 + -55.2. Let g = 5 + m. Let q = 0.2 + g. Which is smaller: q or 5?
q
Let s = 2 - 1.9. Is s greater than or equal to -2?
True
Let p = -4.3 + 4. Let r(a) = -3*a - 32. Let o be r(-10). Which is smaller: o or p?
o
Let s = -10 + 4. Let o be (2/s)/(2/8). Let b = 1 - 0. Is o less than b?
True
Let w = 25 - 2. Suppose 0 = -4*b + 21 - 1, 0 = -o - 2*b + w. Is o equal to 12?
False
Suppose 5*n - 5 = 5. Let u = n - 3. Let c be 1 + -2 + 1 - 0. Is c >= u?
True
Suppose 0 = 3*d + 3 + 3. Let p = d - -1. Let s be 0 + (1 + -2)*p. Are s and -1/11 nonequal?
True
Suppose 0 = -2*r + 4*n + 7 + 19, 2*n = -8. Suppose -2*j + 5*i = -5, -2*i = -r*j + i + 3. Suppose 0 = 2*s - b - 2 - 1, 3*s - b - 2 = 0. Which is bigger: j or s?
j
Suppose 3*t - 4*t = 1. Which is smaller: t or -11?
-11
Let v(x) be the first derivative of x**3/3 - 7*x**2/2 + 5*x - 4. Let l be v(4). Let n = -4 - l. Which is greater: n or 2?
n
Let d be (-1)/(-1) - 22/2. Is -11 <= d?
True
Let d = 30 + -29.97. Is -4/5 at most as big as d?
True
Let x = -971/6 - -170. Let w = -661/78 + x. Is 1 >= w?
True
Suppose -83 = 5*v - 28. Which is bigger: -12 or v?
v
Let y(k) = k**3 - 6*k**2 + 7*k - 6. Let g be y(5). Suppose 0 = -4*t, -g*t = -a + t - 7. Is a smaller than -6?
True
Let j(p) = p**2 - 5*p - 3. Let a be j(6). Let o be a*2/(-2)*-1. Let i be 2 + (2 - (o - 2)). Which is bigger: 2 or i?
i
Let y be 1 - (14 - 0 - 4). Suppose 0 = d + 3*d - 64. Let b be d/y + 2/(-9). Which is smaller: -2/5 or b?
b
Let n be -2 + 1*(6 + -1). Suppose -4*s + 5*k = -13, 0 = s + 2*k - n*k - 3. Let a be (-1 + 2)/(s/(-4)). Which is bigger: 2 or a?
2
Let z = -28 - -30. Let o = -1 - -1. Which is greater: z or o?
z
Let j = 0 + -1. Let c = -17/4 - -11/4. Is j at most as big as c?
False
Let d = -5 - -8. Let y(v) = v**3 - 4*v**2 + 3*v + 4. Let x be y(d). Suppose -x*c - 5 = c. Which is bigger: c or 2/27?
2/27
Let b = 83 + -82. Is b greater than -2/101?
True
Suppose 2*y = -4*q - 7 + 19, 0 = -q + y. Suppose -2*n + q*x = 3*n - 1, 0 = -n + 3*x - 5. Is 3/4 at least n?
False
Let i = 4 - 7. Let s = i + 4. Which is smaller: -3/8 or s?
-3/8
Suppose -2*a + 0 - 16 = 0. Let w be 1/(-3) - (-130)/(-15). Do w and a have different values?
True
Suppose 6 = 2*b + 30. Let j(r) = r - 27. Let k be j(16). Is b > k?
False
Suppose -5 = h - 3. Is -1 smaller than h?
False
Let n(h) = -2*h + 1. Let z be n(8). Let w = 28 + z. Suppose 2*g + 4*v + 9 = -9, 2*g + 3*v + w = 0. Are -2/5 and g non-equal?
True
Let t = 0.8 + -4.8. Is -1 less than t?
False
Let d be -3*(52/(-168) + (-2)/(-4)). Is -2 at most d?
True
Suppose 3*o - 7*o = 16. Let d be 21/(-12) - (-1)/o. Suppose -2*x + 0 = 2. Is d bigger than x?
False
Let v = 5.99 - 6. Let g = 0.19 - v. Suppose 0 = -4*n - 2 - 2. Which is smaller: g or n?
n
Let v(c) = c**2 - 2*c - 3. Let l be v(-2). Let z = -7 + l. Let x(s) = s**3 - 7*s**2 - 9*s + 6. Let t be x(8). Is t not equal to z?
False
Suppose 8*o - 5 = -69. Which is greater: o or -7?
-7
Let d = -101 - -95. Which is greater: -2 or d?
-2
Let f = 57 + -68.2. Let y = f + 11. Which is greater: y or 2?
2
Let w = 6 - 3. Let g = w + -3. Let b = 0.3 + g. Which is greater: b or 2/5?
2/5
Let a = -0.5 + 0.45. Which is greater: -3 or a?
a
Let x(y) = 4 - 2*y - y - 8 + 7*y - y**2. Let o be x(3). Let s = -2 - -2. Is s not equal to o?
True
Let m be (-8)/46*(-1)/2. Let p = -0.632 - 0.368. Which is smaller: m or p?
p
Let w = -67 + 1073/16. Is -2/7 at least w?
False
Suppose -n - 3 = 3*u, -3*n - 10 = -n + 2*u. Let v be (-8)/n*509/3. Let q = v - 226. Which is smaller: q or -1?
-1
Let w be (1/(8/44) - 1)/(-3). Which is smaller: w or -3?
-3
Let a = 9.9 - 9. Let p = -46 + 46.8. Let o = p - a. Which is smaller: o or 2/3?
o
Suppose -3*r - 51 = -4*h, h + 0*r + 1 = -2*r. Let f(i) = 3*i - 9. Let b be f(6). Is b equal to h?
True
Suppose 2*f - b - 9 = f, 0 = -3*f + b + 33. Let l be f/9*6/22. Is 1 at least l?
True
Let g(m) = -m**3 - 18*m**2 - 33*m - 16. Let r be g(-16). Which is greater: -4/21 or r?
r
Suppose -6 - 2 = 4*l. Suppose -2*n - 2*n = 20. Is n <= l?
True
Let f = 3 - 2.9. Let k be 6/(-4)*2/3. Let b be k + (-2 - -4 - 1). Is f at most as big as b?
False
Suppose s + 0*s = 0. Suppose 2*m - 6 = -s. Which is smaller: 2 or m?
2
Let i(d) = -3*d - 36. Let y be i(-13). Which is bigger: 5 or y?
5
Suppose 4*f - 3*v = 4 + 11, f = v + 3. Let i be f/8 - (-2)/8. Suppose 2 = -p - z, -3*p + 2*z + 1 = -3. Which is greater: p or i?
i
Suppose -j = -2*i - 35, -7*j - 15 = -4*j. Let c = -22 - i. Is c bigger than -2?
False
Let p = -2/27 + 20/27. Which is greater: 1 or p?
1
Let w be (-12)/(-3) + -2 + 3. Let g = 2 + 2. Which is greater: w or g?
w
Let v = 3.6 + -3.523. Does 1/3 = v?
False
Let g = -57 - -30. Which is bigger: g or -25?
-25
Suppose 0 = -c - 1. Let v = 3 + -3. Which is smaller: c or v?
c
Suppose -4*n - 3*y = -5*y - 6, -n + 29 = 5*y. Is 4 less than n?
False
Let f = -5 - -8. Let b be (-4)/(-10) + (-69)/(-15). Suppose 2*n + 0*n - 3 = 5*z, b*n - 20 = 0. Is z >= f?
False
Suppose -2*k = 7 - 3. Suppose -4*o = 4*z - 20, 2*o + 10 - 2 = 4*z. Let s be 1/o - (-3)/(-6). Is k greater than s?
False
Let b be (16/10)/((-4)/(-10)). Suppose -x + 9 = -b*x. Let t = 8 - 10. Is x at least as big as t?
False
Let n be (44/(-10))/(2/(-20)) - 1. Is n <= 42?
False
Suppose 0 = 3*p + 9. Suppose 2*i - 5*s - 12 = 0, -1 = 5*s + 9. Let m be i/(-2)*0/p. Is 2/11 less than m?
False
Let z be 16/6*90/300. Let f(d) = d**3 + 4*d**2 - 5*d + 1. Let v be f(-5). Which is smaller: v or z?
z
Let o(a) = -a + 9. Let d be o(8). Let b = d + 0. Do b and 1/3 have the same value?
False
Suppose -4*l - 44 = -8*l. Which is smaller: 9 or l?
9
Let f = 123071/6 + -20467. Let i = f - 46. Is i equal to 0?
False
Let d = 11 - 8. Let y = 9 - d.