lse
Suppose -3*z = -9, 5*n - 9 = -0*z - 3*z. Which is bigger: n or 3/43?
3/43
Let y be 4 + ((-24)/(-14) - 4/(-14)). Let r be (6 - y)/(3 + -4). Which is smaller: -1/36 or r?
-1/36
Let g = -1185 + 1185. Are g and 16 unequal?
True
Let t(p) = -p**3 + 5*p**2 + 5*p + 7. Let k be t(6). Let n be -10*((-27)/(-15) + -2). Which is bigger: k or n?
n
Suppose 9*u = -10*u - 1064. Is -113/2 equal to u?
False
Let g = -34 + 26. Let p(f) = -f - 9. Let o be p(g). Let b be (-26)/(-24) + (0 - 1). Is o at most as big as b?
True
Let w = -0.124 - -3.124. Let j = -297 - -299.94. Let d = j - w. Which is bigger: d or 2?
2
Let z(r) = r**2 + r - 2. Let x be z(-3). Let t be x + (-120)/25 - 0. Which is bigger: -2 or t?
t
Suppose -4*t + 6*t = 12. Let l = 15 - t. Let c = l - 6. Which is bigger: 1 or c?
c
Suppose -137 = -3*o - 5*v + v, 0 = -4*o - 5*v + 184. Suppose -3*d = -4*r + o, d + 22 = 5*r - 2*r. Is -13 at most d?
True
Let o(m) = m**3 - 10*m**2 + 10*m - 7. Let a be o(9). Let p be (0/5)/(-1 + 2). Which is greater: p or a?
a
Let y be (-16)/(-2) - (-92 + 99). Is -5/116 bigger than y?
False
Let h(q) = -5*q**2 + 164*q - 6. Let k be h(32). Which is bigger: k or 124?
124
Let t = -127 - -215. Let k be (7/(-2))/((-12)/t). Let g = 26 - k. Is g < 7?
True
Suppose 3171*b + 45 = 3168*b. Is b greater than 3/20?
False
Let g = -6.62 + 6.66. Is g smaller than -8.5?
False
Suppose 0 = 4*b + 8, -p = 2*p + 3*b + 249. Let l = -93 - p. Is -6 != l?
True
Let y(n) = 2*n**2 + 13*n + 5. Suppose u - 13 = -19. Let h be y(u). Let t be 1 + -1 + (-5)/8. Which is smaller: h or t?
h
Suppose -2*v = 4*s - 782, -5*v - 434 = -3*s + 185. Is s at least -1/2?
True
Let f(q) = 38*q**2 + 7*q + 6. Let a be f(-2). Suppose -4*x - 4*x - a = 0. Is -17 > x?
True
Suppose 0 = 4*k + 4*f - 175 - 45, 4*f = 4. Is k at least 48?
True
Let m(b) = b - 3. Let h be m(5). Let r(w) = w**3 - 3*w**2 + w + 3. Let t be r(h). Suppose -o - 19 = -3*j, 4*j = -5*o - 0*o. Which is greater: o or t?
t
Let z = -1241 - -1431. Which is greater: 189 or z?
z
Let l be (-1352)/6 + 6/(-9). Let t = l - -8813/39. Is t greater than 1?
False
Suppose -3*u = 5*c + 19, 0*u = 3*c + 4*u + 18. Let p(f) = f**3 - 6*f**2 - 2*f + 7. Let a be p(6). Is c at least as big as a?
True
Let j be -5 + -3 + 7 + 4. Suppose -5*h - 12 = 2*r, j*h = 2*r - 0*h - 4. Do 0 and r have the same value?
False
Suppose 0 = -5*f - m + 4, 2*m = -1 - 1. Let z(a) = 2*a**3 + 2*a**2 - 1. Let p be z(-2). Let j be (-10)/(-2)*(p - -6). Which is smaller: f or j?
j
Let y = 1785 - 1790. Let b = -1.898 + -0.112. Let d = -0.01 - b. Is y bigger than d?
False
Let c = -0.059 + 0.071. Let d = 0.088 + c. Do d and -31 have the same value?
False
Let v = -6/83 - 81/2324. Let b = 103/84 - v. Which is bigger: 3/4 or b?
b
Suppose 54243 - 13307 = 68*s. Is s less than 602?
False
Let q = -47 - -47. Suppose q = 3*n - 5*i - 40, 0 = -3*n + n + i + 22. Is 10 greater than n?
False
Let k = -119 + 118. Is k greater than or equal to 2/3?
False
Suppose -22 = -2*x + 16. Suppose -3*g + f - x = -5*g, -3*g - 3*f + 33 = 0. Suppose 0 = -6*n + g*n. Which is smaller: 5/3 or n?
n
Let n = -443 - -443. Is -6/337 less than n?
True
Suppose -3*r = 11*r - 98. Is r >= 5?
True
Suppose -3*b - 16 = -7*b. Let a be (b/6)/((-5)/120). Let z be (-2)/6 - a/24. Which is greater: 2 or z?
2
Let d = -1189 + 1811. Is d > 621?
True
Suppose -5*g + 2*v - 71 = 6*v, 0 = 5*g + 2*v + 73. Let a be (8/(-20))/((-3)/g) + 16. Is 12 >= a?
False
Let t = -2 + 2. Let y be (1*6/4)/(6/(-680)). Let q = y - -846/5. Which is smaller: t or q?
q
Let g be 2*(-28 - -3) + -3. Let i = -211/4 - g. Is i at most 1.4?
True
Let t be 4/(-2) + 558/486. Is t less than or equal to 0?
True
Let s = -460 + 461. Is s smaller than 2/319?
False
Let s = 31 - 22. Let d = s - 8.7. Let f = -14 - -18. Is d < f?
True
Let r be (1/2)/((-11)/(-110)). Suppose -5*z + 2*z + 4 = 4*s, 2*z + 9 = -r*s. Which is greater: z or 10?
10
Suppose -3*o = -5*j + 37, -2*o + o - 3*j + 11 = 0. Let p = 5 + o. Let s = -171 + 1199/7. Which is greater: p or s?
p
Let c = 568 + -568.43. Which is greater: c or 0.4?
0.4
Let l = -0.28 + -4.72. Are l and -4.1 non-equal?
True
Let y = 0.6 + -1.6. Let j = -1.2 + y. Let n = j + 1.2. Is -0.3 >= n?
True
Let c = 34/65 + -289/130. Let g = c - -6/5. Is g at least -2?
True
Let t = 1/603 - -157/26532. Let s be 106/88 - (-8)/(-12). Let q = t + s. Which is smaller: 2 or q?
q
Suppose 0 = -4*m + 3*h + 3350, -m = -5*h - 0*h - 846. Let b be 6/(-27) + m/36 + -3. Does 22 = b?
False
Let o = -32 + 39. Suppose -o*n - 6 = 1. Which is smaller: n or -12/11?
-12/11
Suppose 2*z + 11 = -3*d, -6 + 2 = 4*z. Let g be 4/520*323 + d. Let k = g + 3/26. Is -1/15 at least as big as k?
True
Let s = 104 - 72385/696. Which is bigger: s or 0?
0
Let g(u) = -5*u - 1. Let d be g(-3). Let c be d/28 + (-3)/(-2). Suppose -w - 3 = c*w. Do w and 2/43 have the same value?
False
Let j = -40 - -34. Suppose -3*w - 5*o - 3 = 4, 0 = -w + 3*o + 7. Suppose 4*h + c = -2*c + w, -5*h = -c - 6. Is h at least j?
True
Let c = 4 + -2. Let j(i) = 7*i**2 - 5*i + 6. Let k be j(1). Suppose 0 = -4*r + k*r - 12. Which is greater: r or c?
r
Let s(n) = -n**3 + 11*n**2 - 17*n + 38. Let q be s(10). Which is greater: q or -27?
-27
Let c be (-50 - -9) + -7 + -2. Is -49 <= c?
False
Let t be (-1)/1*1*11/(-11). Let n = -28/11 + 1411/550. Does t = n?
False
Let o be 30/45*(-30)/59. Which is bigger: 0 or o?
0
Let d(q) be the first derivative of -3*q**2/2 - 5*q - 16. Let b be d(5). Which is smaller: b or -19?
b
Let t(s) = s - 1. Suppose 19 - 64 = -5*z. Let u be t(z). Suppose -4*w = 4*c - u, -10 = -5*c + 4*w - w. Are 4 and c nonequal?
True
Let i = 18.49 + 10.51. Is i greater than 5/3?
True
Suppose -5*x = 4*i - 28, i + 0*x + x = 6. Suppose 0 = 2*f - 6. Suppose -4*p + 23 = 3*r, 0 = r - f*r + 4*p - 18. Is i greater than r?
True
Let r = -1.21 - 82.79. Let w = -80 - r. Is 1 less than or equal to w?
True
Let y be (-6)/(-9)*-3 - -1. Let u = -58 - -11. Let p = 46.2 + u. Which is bigger: y or p?
p
Let w be 96/(-160) - 16/(-10). Which is greater: -13/2 or w?
w
Let c = 34909/32 + -1091. Let r be 5 + 1 - (-12)/(-6). Let d be ((-2)/r)/((78/(-12))/(-13)). Which is greater: c or d?
c
Let s = 657 + -239. Is s less than 419?
True
Let b = 1.06 + -0.06. Let w = -1.3 - -0.2. Let u = 6.9 - w. Which is smaller: b or u?
b
Let a be ((-512)/110)/(10/(-75)). Which is smaller: 34 or a?
34
Let j be 45/10 - 1/(-2). Suppose -j*l + 5*f + 200 = 0, 4*l + 2*f - 7*f = 159. Let o = -121/3 + l. Are o and -0.4 unequal?
True
Let w = -16.99 + 17. Let k = -8.01 + w. Let u = 6 + k. Is u <= -2?
True
Let q be 2/4*(2 - 2). Suppose 8*m = 2*m - 24. Let p be m/28 - (-3)/(-420). Does q = p?
False
Let s = -7.09 - -0.09. Let y = 0 - s. Which is bigger: y or 2/7?
y
Let b be (-2)/12 + (-36035)/6. Let f be 4/42 - 15808/b. Which is smaller: f or 4?
f
Let g(m) be the second derivative of m**5/60 + m**4/12 - 4*m**3/3 + 7*m. Let r(k) be the second derivative of g(k). Let q be r(-7). Is q smaller than -13?
False
Let j be -996 - (-10 - -2)/(-2). Let c = j - -309002/309. Which is smaller: 1 or c?
c
Let w(j) be the third derivative of j**6/120 + j**5/6 + 7*j**4/24 - 8*j**3/3 + 23*j**2. Let h be w(-9). Let k = -1 - -1.04. Is h not equal to k?
True
Let z(o) = 21*o**2 - 33*o + 5. Let y be z(3). Which is smaller: 94 or y?
94
Let c = 207 - 144. Let i be (-1 - -5)*-1*c/6. Is i at least -42?
True
Let n be (6/475)/(-3*(-6)/90). Let o = n + 261/380. Which is smaller: o or -13?
-13
Let c = -974 - -1024. Is c != 55?
True
Suppose -22 = -13*k + 2*k. Let g be k*2 - 3600/896. Are 0 and g equal?
False
Let d = -5.948 + 5.7. Let y = -0.052 + d. Is y at most as big as 0.02?
True
Suppose 11*j + 2*j + 299 = 0. Which is bigger: -28 or j?
j
Let g = -8.35 - 2.85. Is 0.1 < g?
False
Suppose 0 = 7*x - 3*x. Let a = 454/45 + -98/9. Which is bigger: a or x?
x
Let o be (172/(-86))/((-86)/(-13)). Which is smaller: 1 or o?
o
Let s be ((-22)/4)/(1*8/176). Which is smaller: -120 or s?
s
Let c = -79 - -79. Suppose 2*f + 0 - 8 = 0, 4*v - 3*f + 4 = c. Is v != 6/11?
True
Let m(z) = -z**3 - 3*z**2 - z + 1. Let c(f) = f**2 - 6*f + 5. Let d be c(4). Let v be m(d). Let p be (1 + (-11)/5)/(39/(-130)). Is v > p?
False
Suppose -10 = -m - 4*m. Suppose i + m = 0, -44 = -3*y + 3*i - 2*i. Let d be 1/(-2) - (-7)/y. Does -4/5 = d?
False
Let n be (4 - (-331)/(-83))/(3/(-6)). Sup