lse
Let g = 19.56 - -0.44. Let t = -20.05 + g. Which is smaller: 0.1 or t?
t
Let x = -0.043 + 0.943. Which is smaller: x or -3?
-3
Let f(q) = -q**3 - 3*q**2 + q + 2. Let x be f(2). Let c be x/(-24)*(-2)/6. Which is greater: 2/7 or c?
2/7
Let a(h) = 5*h + 4. Let v be a(-3). Let l = -17 - -19. Let n be 6/33 + l/v. Is 2 != n?
True
Let g be 1*2/(-4)*8. Let d(j) = -j - 11. Let w = 8 + -14. Let c be d(w). Which is smaller: c or g?
c
Let d = -18 + 18. Which is greater: d or -2/19?
d
Suppose -2*o + 5*x = -10 - 0, 16 = 4*x. Let j = o - 10. Suppose 0 = -3*a - 3*t + 9, 21 = 4*a + a + 2*t. Does a = j?
True
Suppose -w + 2*t + 3 = -0*w, 5*t = -10. Let v = 4 + -41/11. Is v < w?
False
Let n be (1/2)/(1/2). Suppose 2*q - 2*s = 16, -3*q + 2*s + 5 + 14 = 0. Do q and n have the same value?
False
Let l = -14 - -14. Is -0.8 less than l?
True
Suppose 0 = 7*r - 5*r. Let n be -1*(0 + -1)*8. Suppose -3*b - 5*i + 2 = 0, 3*i = -3*b + 8*i - n. Which is bigger: r or b?
r
Let o(q) = q + 5. Let a be o(-4). Let t(i) = -i**3 - 4*i**2 + 5*i + 2. Let s be t(-5). Suppose s = z - 3*z. Is z at most as big as a?
True
Suppose 5*i = -12 + 7. Let c = 4 + -1. Let f = 4 - c. Is i smaller than f?
True
Suppose 3*b + w = 4, b + 2*w = -w + 12. Suppose b = -4*y - 3 + 23. Is y < 5?
False
Let d(y) = y - 1. Let j be d(3). Let l be (j/(-4)*-2)/1. Are -2/37 and l unequal?
True
Suppose c - 9 = -1. Let n = -13 + c. Is n != -4?
True
Let v = 12 + -6. Suppose 4 = -2*z + v*z. Do 1/2 and z have the same value?
False
Let y(l) = 2*l - 10. Suppose 5*c = 2 + 38. Let z be y(c). Let u = 4 - z. Which is bigger: u or -3?
u
Suppose 4*n = -p - 0*p + 19, 3*p = -4*n + 33. Suppose 0 = p*z - 2*z. Suppose b + 2*b = 0, -5*u - 5*b = z. Is 1 at least as big as u?
True
Let l be (-20)/6*(-9)/6. Let o(i) = 2*i**2 + 2*i - 1. Let q be o(-2). Which is smaller: l or q?
q
Let t(v) = -v + 4. Let o(q) = 1. Let k(u) = -6*o(u) + t(u). Let s(i) = i**2 - 4*i - 2. Let z be s(3). Let h be k(z). Which is smaller: h or 2?
2
Let t be (0 + 4)*42/308. Let o(m) = m**2 - 3*m + 3. Let u be o(2). Let p = 0 + u. Does t = p?
False
Let z(q) = -q**2 + 3*q + 2. Let y be z(3). Suppose -3*k - 5 = y*k + 5*b, 3*k + 5*b = 5. Do k and -4 have the same value?
False
Let r(k) = k - 2. Let b be r(4). Let w be 0*(-2)/(-12)*3. Suppose 4*x + 3*h + 15 = w, -5*h - b = -x - 0*x. Is -3/2 <= x?
False
Let t = -8 + 6. Let i = t - -1. Which is smaller: -7/5 or i?
-7/5
Let q = -23.1 + 21. Let o = q - -2. Is o less than or equal to -1?
False
Let j(p) = -6*p - 10. Let a be j(-5). Let f = 31 - a. Is f not equal to 12?
True
Let j be 2/(-4) + 5/(6 - -4). Which is smaller: j or -1/3?
-1/3
Let j(y) = -5 - y**2 + 4 - 3*y + 5. Let g be j(-4). Let l = -62/7 - -365/42. Does l = g?
False
Let n be (1 - -3)/(1 - 0). Let g(u) = u**3 - 23*u**2 + u - 18. Let y be g(23). Is y greater than or equal to n?
True
Let p = -302 + 3320/11. Let b = -0.44 + 0.24. Which is smaller: b or p?
b
Let m(q) = -q**3 + 5*q**2 - 2*q - 4. Suppose -2*t + 4 = -4. Let s be m(t). Suppose 12 = -3*k - 2*j, 0 = -2*k + s*j + 14 - 6. Is -1 at most k?
False
Let v be 3/((-15)/(-2))*10. Suppose -4*o - v = -5*f, -3*f - o = -4*o - 3. Does f = 2/15?
False
Let t be -3 - (-1)/((-20)/(-128)). Which is smaller: t or 3?
3
Suppose -s = 5*m - 16, -3*m - 9 = 2*s - 27. Suppose -3*f = -s*f. Let a = 3 - 4. Is a less than or equal to f?
True
Suppose -1 = 5*m - x + 8, -5*m - 14 = 4*x. Suppose 0 = 2*z - 0*z - 4. Let a = z + -3. Is m greater than a?
False
Let o(s) = s**2 + 6*s - 9. Let j be o(-7). Let h be (3 + -2)*2 + -5. Are j and h nonequal?
True
Let h = 21 - 12. Let s be 1*(8/h + -1). Let q = 7/18 - s. Is q bigger than 2?
False
Let a(q) = q - 6. Let y be a(6). Suppose 0 = -y*m - 4*m. Let f be (m - 0) + 1*-1. Are -1 and f non-equal?
False
Let f = 13 + -12.3. Does f = 0.2?
False
Let g(r) = r. Let y be g(-2). Is -2 less than or equal to y?
True
Let h be ((-2)/(-5))/((-31)/1860). Which is smaller: h or -23?
h
Let c = -8.5 + 10. Let b = -1.48 + c. Which is smaller: 1 or b?
b
Let g(y) = -y**2 + 6*y + 2. Let w(b) = -2*b**2 + 12*b + 5. Let r(k) = -11*g(k) + 6*w(k). Let m be r(6). Let z = 1 + m. Are z and 8 non-equal?
True
Let s(u) = u + 13. Let f be s(-12). Suppose 0 = -4*k + 5 - f. Are k and -2/9 equal?
False
Let x = -0.18 - -0.88. Let m = x + -1. Which is smaller: 2/5 or m?
m
Let l = -0.01 + -1.99. Let x = l + 1.9. Let m = -6.7 + 7. Is x at least m?
False
Let x = 0 - 2. Is x > -1/3?
False
Let d be 14/343*(-1)/(-4)*7. Is 1 greater than or equal to d?
True
Let p(q) = 2*q**2 + 6 + 4*q**2 - 5*q**2 - 4*q. Let h be p(4). Which is smaller: h or 1?
1
Let c = 171/4 + -42. Let k = 441/10 - 44. Let m = -13/70 - k. Which is bigger: m or c?
c
Let h be (-9738)/3752 - (-11)/44. Let s = -4/67 - h. Is 3 > s?
True
Suppose -z - 265 = 2*z - 2*q, 0 = 5*z + 5*q + 475. Let w = 452/5 + z. Which is greater: w or 0?
0
Let h = 1/315 - 134/9135. Let o = h + 266/435. Is o at least as big as 0?
True
Let t = 2.6 + -0.6. Let u = 3.7 + -1.7. Let n = t - u. Is n less than or equal to 1?
True
Let k = 20.08 + -20. Let q = k - 0.18. Which is smaller: 1/3 or q?
q
Let h(l) = -l**3 + 3*l**2 + 4*l - 4. Let k be h(3). Let b = 4 + 3. Is b at least k?
False
Suppose 0*m - m = -80. Suppose -3*d - 2*d = m. Let p be 6/(-8) - (-4)/d. Is p not equal to -1?
False
Let i = 829 + -10786/13. Is i at least -2?
True
Let n = 49/520 - 1/8. Which is bigger: n or 1?
1
Let i(w) = w**3 - 15*w**2 + 27*w - 14. Let r be i(13). Does r = 1/4?
False
Suppose 0 = -13*u + 18*u - 20. Is -11 != u?
True
Let o = 98/29 + -1745/319. Which is smaller: o or -1?
o
Let b = -0.98 - 0.02. Let u = -4 - -6. Let o = u + b. Does -0.1 = o?
False
Let y be ((-2)/(-16))/(6/(-12)). Let g be (-1)/21 - (-2)/(-7). Which is bigger: g or y?
y
Let k be (5 - 5) + -1 + 3. Suppose p + 1 = a, k*a = 4*a + 8. Is p >= -5?
True
Let c(b) = 7*b. Let n be c(1). Is 7 less than n?
False
Let t be -2 + -22 + (3 - 2). Is t > -22?
False
Let t = -7 - -6. Which is greater: -2/5 or t?
-2/5
Let z be 3 + -1 + 1/(-1). Let n be z*(-1 + 0 - -1). Suppose -3*f + 5 = 2*w, 3*w = -4*f - 2*w + 9. Which is smaller: f or n?
n
Let w = 2 + 2. Suppose -20 = w*n, -3*u + 0*n + 5*n = -13. Let l = u - -3. Which is bigger: l or -2?
l
Suppose 0 = 4*b - 30 + 6. Is 6 bigger than b?
False
Suppose -2*i = -3*i + 2. Let s be (i/6)/(1/(-3)). Let d be 1/(-3) + 2/4. Which is smaller: s or d?
s
Let q(x) = -2*x + 4. Let k be q(4). Are k and -4 non-equal?
False
Let h(i) = -3*i - 18. Let w be h(-6). Which is bigger: w or -3/4?
w
Let i = 23 - 22.96. Which is greater: 0 or i?
i
Let h = 8 + -2. Suppose -h*s + 2*s = -m, 0 = s. Is -1 at least as big as m?
False
Suppose 3*s + 2*s - 4*p = 176, -3*p - 108 = -3*s. Are s and 32 non-equal?
False
Let p = -6.6 + -5.1. Is 0 less than p?
False
Let s = -38.7 - 6.3. Which is smaller: -2/5 or s?
s
Let d = 40 + -44. Which is greater: 0 or d?
0
Let f = -3 - -2.9. Let u = 0.2 + -0.1. Which is greater: u or f?
u
Suppose -6 = 5*t - 2*t. Let n be t - -2*2/8. Is n at least -3?
True
Let u be (-540)/5*(-134)/(-42). Let g = -346 - u. Which is smaller: g or -1?
g
Suppose -2*a + 2*a = -9*a. Is 3 smaller than a?
False
Let u = -19 - -18. Which is bigger: u or 10?
10
Let o = -0.4 - 0. Which is smaller: o or 0.1?
o
Let x = -4 - 0. Does x = -2?
False
Let t = -43/8 + 33/8. Suppose -2*l - z + 0 = 1, 0 = 3*l + 2*z + 2. Is l != t?
True
Let g be ((-42)/(-28))/(471/4). Let q = 479/628 - g. Let o = 0.3 + -0.1. Which is greater: q or o?
q
Let l = 768/5 - 153. Which is smaller: 1 or l?
l
Let w = -0.3 + 0. Let c = 0.4 + w. Let y = 0.1 - c. Is y smaller than -1?
False
Let m(h) = h**3 - 4*h**2 + 6*h + 1. Let k be m(3). Is 10 equal to k?
True
Let m = 1.36 - 1.4. Let h = 2.96 - m. Which is smaller: h or 0.1?
0.1
Let q be (6/(-21))/(2/14). Is -26 > q?
False
Let m = 202/3 - 68. Let d(c) = 9*c**3 - 11*c**2 - 11*c - 9. Let p(j) = 5*j**3 - 6*j**2 - 6*j - 5. Let z(b) = -6*d(b) + 11*p(b). Let f be z(0). Is f at most m?
True
Suppose 5*g = g. Let s be (g + 8)/((-2)/(-4)). Suppose 5*a - 2*y = 1, -8*y = a - 3*y + s. Does 2/5 = a?
False
Let y be (-14)/8*((-16)/7 + 2). Which is smaller: y or 0.66?
y
Let m be ((-1)/(-4)*4)/7. Which is bigger: m or 0?
m
Let q = 45 - 35. Which is smaller: 2 or q?
2
Suppose 0 = 2*z - 3 - 1. Let u be 19 - 4 - 1*z. Suppose -2*m + 8*q = 5*q + u, 24 = 4*m + 4*q. Is m not equ