lse
Suppose o + 3 = v + 1, -2*o - 5*v = 18. Let t = 3 + o. Let l be (-2)/(-5) - 4/10. Is t greater than or equal to l?
False
Let z = 0.054 + -0.054. Suppose 24 = -a - 2*a. Let g = a + 41/5. Which is bigger: z or g?
g
Suppose 2*l - 6*l + 120 = 0. Let o = 119/4 - l. Which is greater: -2 or o?
o
Let y = 22 - 32. Let p = y + 6. Let c = -3 - -2. Is c bigger than p?
True
Let t = 4320/200161 - -2/2249. Let x = t + 164/623. Suppose 3*n = i - 1, -2*i - 2 = -10. Is x equal to n?
False
Let o = -5 + 9. Let r be -2*(-2)/4*3. Is r not equal to o?
True
Let d be (-6)/(-99) + -2 + 2. Which is smaller: 0 or d?
0
Let u(y) = y**2 - 7*y + 3. Let h be u(5). Which is bigger: h or -6?
-6
Let i = 0.2 + -0.2. Let v = i - 1. Which is bigger: 1 or v?
1
Suppose 5*o + 1 = 4*o. Which is smaller: -1/60 or o?
o
Suppose 0*l + 6 = l. Let r be ((-2)/l)/((-2)/6). Which is bigger: 2/11 or r?
r
Let u be (7 - 3) + 378/(-93). Is 1 <= u?
False
Let c be ((2 - -1) + -2)*7/(-1). Is -7 < c?
False
Let o(d) = -d + 1. Let v be o(5). Let k be (-6)/10 - (-24)/(-10). Which is smaller: k or v?
v
Let u = 2 - 1. Let b be u/(-4) - (-1)/4. Is 2/9 greater than or equal to b?
True
Suppose 5*h = -0*h - 10. Let j be -2 + (18/(-3))/h. Which is greater: j or 2/13?
j
Let v = 161 + -1125/7. Let n = -0.7 + 0.67. Let r = n - -0.03. Which is smaller: r or v?
r
Let c be 7/(-6) + 0 + 1. Let f be 88/246 + (-2 - -2). Let o = f + -1/41. Which is smaller: o or c?
c
Let k be (-46)/8 + 2/(-8). Let o = -3 - k. Is o equal to 2?
False
Suppose -g - 4*c = -5*g, 0 = -3*g + 2*c + 5. Suppose -g*m = -2*m + 6. Is m at least as big as -2?
True
Let f = -16 - -22. Let t = -5 + f. Let c = -1.2 + t. Which is greater: 0 or c?
0
Suppose 6*q - 5*q = 5*q. Suppose -2*o = -5*o. Let i = o - -1. Which is bigger: i or q?
i
Let l = -1/17 + -8/153. Does l = -1?
False
Suppose 3*b - 8 = 7. Is b > 2/5?
True
Let m = -4 - -8. Let y be m + (0 - 1 - 0). Suppose 15 = 3*x, 2*x = -k + 4*k + 4. Do k and y have different values?
True
Let o(r) = -r**2 - 13*r + 10. Let d(k) = k - 14. Let v be d(0). Let i be o(v). Is i at most as big as -2?
True
Let t(u) = -u - 8. Let s be t(-6). Let p(n) = n**3 - n**2 - n + 5. Let c be p(0). Suppose 0*a = c*a + 10. Is a smaller than s?
False
Let r = -19 - -18. Let z = -0.3 + 0.1. Let s = 1.8 - z. Which is smaller: r or s?
r
Suppose -6*m + 180 - 18 = 0. Which is smaller: 2 or m?
2
Let w(t) = t**3 - t**2 + 3. Suppose -y = 2, 0*o + 4*y + 8 = o. Let a be w(o). Is a not equal to 3?
False
Let b(q) = q**2 - 3*q - 5. Let r be b(4). Let g be (-4)/((-12)/(-15)) + 3. Is g > r?
False
Let d be ((-3)/6)/(1/(-8)). Suppose -5*t + 4*g = -0*g - 2, t = d*g - 6. Suppose t*x + 0*v - 2 = -4*v, -v = 0. Is x at most as big as 1/4?
False
Let u be -1 + 9 - (-4 - -4). Let y = 9 - u. Which is greater: y or 3?
3
Let a(c) = c + 7. Let o be a(-4). Suppose -o*f = -30 + 6. Which is greater: f or 7?
f
Let l = 6 + -6. Which is bigger: l or 1?
1
Let w(x) = 5*x**2 - 130*x. Let y be w(26). Let t = 1 - 1. Is t bigger than y?
False
Let q be 2*1/(-2) + 0. Let v = q + -1. Let t(m) = -m**2 + 2*m + 1. Let w be t(3). Is v less than w?
False
Let a = 8 + -13. Let j = a + 5. Is j >= 0.1?
False
Suppose -d + 1 = -2*d. Is -2 equal to d?
False
Let r = -2015/22 + -2581/44. Let d = -151 - r. Which is greater: d or -2?
d
Let p be 6 - 384/66 - 376/11. Are -36 and p non-equal?
True
Let j be (-1)/(10/3 - 3). Suppose -6*b + 52 = -2*b + 4*g, -2*b + 36 = 4*g. Let s = 6 - b. Which is greater: s or j?
s
Suppose -s + 2*v = -0*v - 8, 4*s - 8 = 2*v. Is s at least as big as -3/101?
True
Let d(j) = -6*j - 1. Let p be d(-1). Suppose -3*y - 2*b = -3*b, 3*y - p*b = 12. Which is smaller: y or -4/11?
y
Let j = -0.08 + 1.68. Let o = j + -1.7. Which is smaller: 10 or o?
o
Let v = -48 - -69. Let q be (-2)/14*v/6. Is q smaller than -5?
False
Let x = 2.59 - 0.09. Let u = -0.5 - x. Let p = -2 - u. Is p <= -4?
False
Let d(i) = i**2 - 5*i + 1. Let h be d(5). Suppose 4*y + 4 = -p, -3*p + y = 2*p - h. Do p and -6/5 have the same value?
False
Let b be -3 - 2/2 - -3. Let h be 2/13 - 12/247. Which is smaller: h or b?
b
Let p be ((-1)/(-2))/(1/(-24)). Let g be 6/65 + p/30. Let h = g + 73/195. Is -1 > h?
False
Let w = 0.01 - 0.31. Which is greater: w or 1/4?
1/4
Let l(z) = -z. Let i = 15 + -17. Let a be l(i). Which is bigger: a or 3?
3
Suppose 2*u = -12 + 40. Which is bigger: u or 16?
16
Let b = 119 + -233/2. Which is smaller: 2 or b?
2
Suppose -8*b = 17 - 9. Let w(h) = -h**3 + 5*h**2 + 4*h + 1. Let k be w(6). Let l be k/6 - 4/(-2). Are b and l unequal?
True
Let l be 18/(-2)*1/(-3). Let x be (l/(-2))/((-4)/(-6)). Let s = 23/12 + x. Which is greater: s or 1?
1
Let n be 1*-16 - (-16 + 10). Suppose 40 = -4*f - 4*w, -3*w = -3*f - 0*f - 30. Is f less than n?
False
Suppose 2*k + 3*k = -3*u - 31, -5*u + 5*k + 15 = 0. Suppose 0 = 3*c - 7*j + 6*j + 109, -70 = 2*c + 2*j. Let m be u/(-6) - (-3)/c. Which is smaller: -2 or m?
-2
Let h = -98/5 - -327/20. Suppose -2*i - 15 = 3*i. Are h and i nonequal?
True
Let m = -3 - -5. Suppose 0 = -m*q - a - 15, 4*q + 29 = 2*a - 13. Let k be (q/(-15) + -1)/(-1). Which is smaller: k or -1/2?
-1/2
Let z = 0.04 - 0.03. Let r = z + -0.11. Is r != -0.1?
False
Let a = -0.05 - -0.06. Let y = -5.01 + a. Is 1 at most y?
False
Let p = -0.11 - -4.11. Let j = p + -3. Are j and -4 unequal?
True
Let i = -5159/564 - -109/12. Is i at least as big as 0?
False
Let u be ((-12)/(-10))/((-24)/(-160)). Let b(y) = -y**3 + 9*y**2 - 6*y - 9. Let r be b(u). Which is greater: 5 or r?
r
Let t = 2.4 - 1.9. Which is greater: t or -1?
t
Let j = -3 - -36. Which is smaller: j or 34?
j
Let j be -1 + 3/(-1) + -34. Let p be (1 - 4) + j/(-12). Let m = -1 - 0. Which is smaller: p or m?
m
Let c(u) = -u**3 - 1. Let q(g) = -g**3 - 8*g**2 + g + 7. Let r be q(-8). Let d be c(r). Which is smaller: 3/4 or d?
d
Let n be (-32)/(-8) - (-6)/(-2). Let l = -4/11 + 19/22. Is l greater than n?
False
Let w(c) = c**2 - 2. Let o(h) = h + 16. Let l be o(0). Let r be 6/(-4)*l/12. Let s be w(r). Which is bigger: s or 2/3?
s
Suppose 5*u = -0*u + 35. Let v = u + -8. Is -6 bigger than v?
False
Let o be -4*(1 + 14/(-8)). Let v be (1 - (4 + -2))/(-65). Let h = v + 193/130. Is o less than h?
False
Let o be 2/(-5) + 2/5. Suppose -v + 4*a - 19 = -o*v, 3*v - 3*a = -12. Let y = -143/45 - -34/9. Is v equal to y?
False
Suppose 0 = 4*h - 5 + 1. Are -2/37 and h nonequal?
True
Let c(z) = z - 5. Let j be c(7). Suppose -3*m + 8 = -m, j = -2*t + 2*m. Is t at least as big as 3?
True
Let h = 569/10 + -57. Let m = 7 + -1. Suppose -4 = 2*k - m. Which is smaller: k or h?
h
Let t(a) = a + 6. Let n be t(-4). Suppose 4*i + 7 = x, 5*i + 1 = -2*x + n. Let y = -2 - -5. Does x = y?
True
Let c be (4/(-30))/(4/(-5)). Let w(p) = 3*p - 10. Let q be w(4). Suppose -q*s = -3 - 1. Which is greater: s or c?
s
Let g = -21 - -18. Is g bigger than 1?
False
Let z = 2 - 1.9. Let k = 0.6 - 0.58. Let d = k + 2.98. Which is greater: d or z?
d
Let p = -5/23 - 49/92. Suppose 0 = -6*a + a. Is a greater than or equal to p?
True
Let y = 7 + -4. Suppose 0*a = y*a. Suppose 5*n = -v + 5, 3*n - n - 5*v = 2. Which is smaller: a or n?
a
Let p = 3 - 2. Let o = 1 - p. Let s be (6/5)/(6/4). Which is smaller: s or o?
o
Let d be (-3 - -1) + 2 + -6. Let g = d - -8. Which is greater: 5/6 or g?
g
Let c = 0 + 7. Let j = -2.2 - 11.8. Let d = -14 - j. Which is greater: c or d?
c
Suppose 3*g - 31 = -5*k, 3*k = 2*k + 5. Let b = g + -7. Is -5 equal to b?
True
Let h(x) = -4*x - 8. Let v be h(-4). Which is bigger: 1 or v?
v
Let v(r) = r + 1. Let a be v(-2). Let h be 78/(-60) - 8/(-10). Is a less than h?
True
Suppose -5*z - 305 = -5*o, 6*o - 51 = 5*o - z. Does 56 = o?
True
Let v = -41 + 41. Suppose -12 = 3*y, 8 = 4*s - 0*y - 4*y. Let a be (s/(-8))/(14/(-8)). Is a smaller than v?
True
Let h = 65 + -63. Are h and 7/8 equal?
False
Let h be (-1)/(-3)*(-1 + 0). Let d(x) = -x + 10. Let j be d(6). Let o = 5 - j. Are h and o non-equal?
True
Suppose -k - 4*f = 1, 3*k = f + 7 + 3. Let d be 2/((k - 6) + 1). Which is bigger: d or -2/21?
-2/21
Let r = -39/14 - -747/238. Which is greater: -1 or r?
r
Let m(i) = i**3 + 7*i**2 - i - 1. Let x be m(-7). Let a = x - 3. Suppose 7 = -a*w + 1. Is -2 >= w?
True
Let r(a) = -a**2 - 5*a - 3. Let n be r(-4). Let m = 1 - n. Suppose -4*c + 2*c - 2 = m. Is -2 greater than c?
False
Suppose 0 = -