lse
Suppose 2*s - 18 = 5*h + 11, 0 = -4*s + 5*h + 43. Is -2 at least as big as s?
False
Let o be (-10)/14 - (-2)/(-7). Suppose 0 = -n + t - 8 - 1, 4*n + 11 = -t. Let m be ((-3)/6)/((-10)/n). Which is smaller: o or m?
o
Let m be 9/2*(-26)/(-39). Suppose -3 = -l - a, -3*l + l - 5*a + m = 0. Are l and 5 nonequal?
True
Suppose -2*p + w - 76 = 4*w, -5*p = 4*w + 204. Is p != -44?
False
Let a(r) = r**2 - 11*r + 51. Let p be a(12). Which is greater: p or 62?
p
Suppose -5*v + 65 = -7*v + 5*o, 0 = 5*v - 4*o + 120. Let n be (-36)/(-5) - (-4)/v. Is n equal to 10?
False
Let j = 8 + -14. Let i = -8 - j. Let t = 2 + i. Which is bigger: -2 or t?
t
Suppose 0*l + l - 4 = 0. Suppose -5*n - 6 = l. Let z be -1*-2*(-2)/4. Are n and z unequal?
True
Let v be (-3)/1*(7 + -9). Which is greater: v or 7?
7
Let i be 130/(-39)*(-24)/(-230). Is 0 at least as big as i?
True
Suppose 0 = 3*l - 4*l - 2. Let d be 1/3*l/3. Let p be 0*1/(-1)*-1. Is d > p?
False
Let f(q) = -q - 3. Suppose 0 = 2*o - 4*p + 10, -2 - 1 = 2*o + 3*p. Let g be f(o). Is -2 < g?
True
Let i(n) = 11*n + 1. Let y be i(-1). Let t be (-2)/6 + y/(-3). Is 3 less than t?
False
Let s = 2.5 - 0.5. Let v = -1 + s. Let w be (3/(-6))/(5/(-10)). Are v and w equal?
True
Let x be 3/18 + 74/(-12). Suppose 0*s - 2 = 2*p - 2*s, 2*s = -2*p - 22. Is x less than or equal to p?
True
Let p be ((2 - 3) + 1)/(-1). Let d be (-3 - p - -2) + 1. Is d greater than 0?
False
Suppose 92*o = 99*o. Do -1/303 and o have different values?
True
Let f = 36 - 22. Let o be (-2)/(-7) + (-4)/f. Let c = -5 - -31/6. Which is greater: c or o?
c
Let z = -98452/47 - -2094. Let b = z - 394/235. Which is bigger: -2 or b?
-2
Let t = 2 - -2. Suppose -3*o + 3 = -0*o - i, 5*i + 15 = t*o. Which is smaller: o or 1/2?
o
Suppose -3 = 3*c + m, -4*m + 20 = -2*c - 2*c. Which is smaller: 1 or c?
c
Suppose 4*b + 5*g + 6 - 18 = 0, 0 = 3*b + g - 20. Let l(u) = -u**3 + 9*u**2 - 7*u - 5. Let r be l(b). Suppose -v = -1 + r. Are -0.1 and v non-equal?
True
Let s(t) = 2*t**3 - 3*t**2 - t + 3. Let m be s(2). Suppose -4*w = -4 - 12. Let p = w - m. Which is smaller: -2 or p?
-2
Let t = 4/59 - -271/354. Let j be 16/(4/10*5). Suppose 4 = -2*v + j. Which is bigger: t or v?
v
Let c be 1/7*(4 + -1). Let r = -126 + 127.06. Let q = r - 0.06. Which is smaller: c or q?
c
Let r(b) = -b**2 + b - 1. Let n be r(1). Suppose -37 = 5*u + 98. Let g be (-6)/u - 13/18. Is g smaller than n?
False
Suppose 0 = -v - 2*m + 10, -2*m - 3*m = -4*v + 14. Let t be ((-2)/(-4))/(v/(-3)). Let u = -0.4 + 0.2. Which is smaller: t or u?
t
Let d = -18 - -25. Which is smaller: d or 8?
d
Let d = -38 - -19. Are -15 and d nonequal?
True
Let y = -31 + 30. Which is bigger: 3/26 or y?
3/26
Suppose 0 = -41*w + 37*w + 100. Which is greater: 97/4 or w?
w
Suppose 5*h - 1 = -16. Let q = 11 - 18. Let z = 6 + q. Do h and z have different values?
True
Suppose -42*l - 110 = -31*l. Let a = -1/6 + -7/30. Which is bigger: a or l?
a
Let u = -182/9 + 20. Which is greater: u or -3?
u
Let v = 139/3 - 46. Is v smaller than -1?
False
Let q = 65 + -35. Suppose -3*f - q = -9*f. Is f less than or equal to 2?
False
Let m = -1.6 - 9.4. Let h = 21 + m. Are h and 2/5 nonequal?
True
Suppose 0 = 5*v + 5 - 10. Is 4 != v?
True
Let d(m) = m - 7. Let o be d(6). Are -1 and o equal?
True
Let s = 0 + 0. Let m be (4/6)/(0 + 2). Which is bigger: m or s?
m
Let k = 0.01 + 1.99. Let s = 18.1 - 20. Let b = k + s. Which is bigger: b or 1/2?
1/2
Suppose 3*m = 2*m + 2. Suppose -g = m*k - 6, -5*k + 2*g - 3*g = -9. Are 0 and k non-equal?
True
Suppose 3*q - 1238 = -383. Let m = 180645973/633503 - 12/48731. Let y = q - m. Is 1 <= y?
False
Let j be 1 + (-31)/9 - -2. Suppose 0 = -2*f + 12*f + 10. Which is bigger: f or j?
j
Let n = 151 + -1053/7. Which is greater: n or 1?
1
Let d(b) = 8*b + 39. Let y be d(-5). Which is smaller: -3/106 or y?
y
Let p be 2*(-18)/(-4) - 3. Suppose -4*k = -m - 7, -4*k + 0*m + 2*m = -p. Is k < 1?
False
Let d = -13.1 - -11.84. Let n = 0.04 - d. Let m = 0.3 - n. Which is smaller: -0.1 or m?
m
Let p(h) = h**2 + 6*h - 4. Let o be p(-6). Let t = -2 - o. Let i be (3 - 1)/4*t. Is i at least -2/5?
True
Let m = -35573/12 + 2960. Let a = 513 - 1525/3. Let n = a + m. Is 1 at most as big as n?
False
Let p = -7 + 2. Let k = p + 4.95. Let m = k - -0.05. Is m smaller than 0.3?
True
Let r(p) = 1 - 6 - 3*p - p**2 + 1 - 4*p. Let o be r(-7). Which is smaller: o or -3?
o
Suppose 7 = 2*q - l - 5, 3*q = -l + 8. Suppose q*z - 6 = r, -3*r - 7 = 2*z - 3. Which is smaller: 1 or r?
r
Let d be -2 - (4 - 1 - 6). Is -3/44 equal to d?
False
Let z = -19/46 + -2/23. Let t(x) = -x + 10. Let d be t(5). Suppose -10 + 0 = d*y. Which is smaller: y or z?
y
Let g be 3/(-6)*12/(-8). Is 1/2 <= g?
True
Let j be ((-6)/14)/(14/(-98)). Which is smaller: j or 6?
j
Let t = 1/9 + -31/36. Let w = -3 - -6. Suppose w*r = -r. Which is smaller: t or r?
t
Let a = -51 + 53. Are 2 and a nonequal?
False
Let l be 18/(-4) - (11 + -15). Which is bigger: -2/11 or l?
-2/11
Let i = -21 + 20. Is -1 smaller than i?
False
Suppose -2*s - 2*c = 14, -c - 9 = -2*s - 32. Let j = s + 14. Is j >= 4?
True
Let u = 4 - 5. Are u and -0.1 equal?
False
Let a = 5/12 + 1/4. Which is greater: 2 or a?
2
Let f = -178/31 - -2491/558. Let m = f + 16/9. Let z = 6 + -4. Is m bigger than z?
False
Let k be 2 + 12/(-3) - -13. Do k and 10 have different values?
True
Let u(i) = -i**3 + 9*i**2 + 8*i - 6. Let x be -15*(2 + (-24)/9). Let j be u(x). Which is smaller: j or -25?
j
Let o be 28/(-12) + (-2)/(-6). Which is smaller: -12/7 or o?
o
Let m be 44/10 + 2/(-5). Let y be (-5)/6 + m/(-6). Let g = 0 - -1. Is g smaller than y?
False
Let d = -5259/7 + 753. Which is smaller: d or 3?
d
Let h = 130 + -187. Which is smaller: h or -59?
-59
Suppose 0 = -4*b - a - 25, -b + 5*a + 28 = 8. Let m(o) = o**2 - 7*o + 5. Let d be m(5). Is b at least d?
True
Let k be (-14)/3 + (-8)/24. Is k != -5?
False
Suppose 6*h + 0*h = 9*h. Let k = -11 + 70. Let u = 237/4 - k. Which is bigger: h or u?
u
Suppose -2*f - 4 = -3*f. Suppose 0 = 2*v + f + 4. Do v and -4 have the same value?
True
Let v = -31 + 32. Let z = -6 - -3. Let p be z + 1 + 0 + v. Is p <= 1/5?
True
Suppose -3*k = -2*h - 6, -3*k + 6 = -0*k. Are -3 and h nonequal?
True
Let n(h) = -h**3 + 7*h**2 + 7*h + 9. Let k be n(8). Let i = 0 - k. Suppose r - 3*p + 13 = 0, 0*r - 9 = r - 2*p. Is r at most as big as i?
True
Let a be (2 - (10 + -2))/(-2). Suppose -6*y + a*y + 15 = 0. Which is bigger: 6 or y?
6
Let t be (20*-908)/((-1)/6). Let q = t + -1196938/11. Let b = q - 148. Is b at least as big as 0?
False
Let u(t) = -t**2 - 4*t + 8. Suppose -3*h - 3*o - 26 = -7*o, 0 = 3*h + 2*o + 14. Let a be u(h). Let l be 2/a + 7/6. Does l = -1?
False
Let j be 1/((2/2)/(-1)). Let t be 34/(-70) + j/(-5). Let l = 13 + -14. Which is bigger: l or t?
t
Let y = -11 - -1. Suppose -i - 18 = i. Is y >= i?
False
Suppose 2*g = -g - 4*l + 5, -30 = g - 5*l. Suppose 4*k + 23 = -3*o, 0 = 4*k - 4*o + 12 + 4. Is k less than g?
False
Let l be (-2 - -2)*2/4. Suppose l = -3*k - 3 - 0. Is -1 equal to k?
True
Let z = 19/5 + -219/55. Which is greater: z or -10?
z
Let i be (-24)/270*(-15)/(-6). Suppose -3*z + 2 - 5 = 0, 3*c = 3*z + 6. Is c at most as big as i?
False
Let u = 0.28 - -0.22. Which is greater: u or 2?
2
Let y be (72/90)/((-11)/5). Suppose 0 = -i - 3*i - 4. Do i and y have the same value?
False
Let y(t) be the second derivative of -t**3/6 + 6*t**2 - t. Let p be 14/3 - (-11)/33. Let l be y(p). Which is bigger: 8 or l?
8
Suppose 4*h + 35 = -w, 4*h = 3*h + 5*w + 7. Is -11 > h?
False
Let n be (-489)/(-351) + 3 + 2/9. Is 5 != n?
True
Let k(s) = -2*s**3 + 3*s**2 - 2*s + 1. Let g be k(0). Is -8/33 >= g?
False
Let x = -0.1 - 0.4. Let j = x - -4.5. Let v = j - 5. Is 1 at least v?
True
Let r = 18 + -8. Which is greater: 8 or r?
r
Suppose -20 = -5*j + 5. Suppose -j + 7 = d. Are d and -0.05 equal?
False
Suppose -4*s + 4*j = 8, -j = -4*s - 2 - 3. Let o = -1/12 - 1/6. Is o != s?
True
Let t be 4/27*3/2. Let d = 1 - 0. Let x be (-2)/(-1 - d) + -1. Is t not equal to x?
True
Suppose 3*r + 6 = -0. Let w(n) be the first derivative of n**3/3 - n**2/2 + 4. Let o be w(0). Is r > o?
False
Suppose 7 = -b - 3*o, 2*b - 57 = -2*b + 5*o. Let j(f) = f**3 + 5*f**2 - 8*f + 51. Let y be j(-7). Which is bigger: y or b?
y
Let g = 23950 - 934132/39. Let x = -28/13 - g. Le