 -1). Are x and 1/6 non-equal?
True
Let o be 180/27 - 7 - (-1947)/6003. Is o greater than 1?
False
Let u(b) = 1 - 6 - b**2 - 3*b - 3*b. Let a be u(-5). Let l be ((-2)/(-22))/((-1)/2). Which is greater: l or a?
a
Suppose u - 6*u - 2*o = -22, 3*u = -2*o + 14. Suppose -p + u = 3*p. Let g be (-15)/10 + (-1)/(-2). Which is smaller: p or g?
g
Let m = 3.1 + -3. Let d = 11 + -33. Let w = 16 + d. Which is smaller: w or m?
w
Let l be 3/6 - 7/2. Let m = 2 + l. Let x be (((-15)/45)/(484/165))/((-5)/6). Are m and x unequal?
True
Suppose 6*b = -n + 11*b - 1, -3*b - 5 = -2*n. Which is smaller: 5 or n?
n
Let x = -12.4 + 11. Let w = 1.5 + x. Is -1/24 less than w?
True
Let p = -199/4 + 50. Let o = -4.537 + -27.373. Let y = -32 - o. Which is bigger: y or p?
p
Let v(s) = -91*s - 185. Let z be v(-2). Which is smaller: -1.19 or z?
z
Suppose -30 = -4*g - 10. Suppose -g*p + 3*p = 0. Suppose p = -5*m - 8 + 33. Do 3 and m have different values?
True
Let g = -37 - -38. Let v(k) = -k**2 - 5*k - 1. Let c(i) = 3*i + 1. Let h be c(-1). Let t be v(h). Is g less than or equal to t?
True
Suppose 3*j - 1 - 26 = 3*m, 0 = 4*m - j + 39. Let k be 0/4 + (-2)/(-1). Let y be 2/(0 + k/(-11)). Are m and y unequal?
True
Let b(a) = 5*a - 2. Let u be b(2). Let j = -4 + u. Let s be (10/15)/(j/(-18)). Is s at least as big as -2?
False
Let n be 11/63 + 4/(-14). Let h(x) = x**3 + 12*x**2 + x + 12. Let s be h(-12). Suppose m - 2*a + 9 = 0, -m - a - 1 + 4 = s. Which is smaller: m or n?
m
Suppose 0 = 5*c - h - 92 - 43, 2*c - 46 = 2*h. Suppose -58 = -3*a + a. Is a at least as big as c?
True
Let g(h) = -h**3 + h**2 + h + 3. Let u be g(0). Suppose -u*r + 4*p = -41 - 19, -4*r - 2*p = -80. Let y be 1/2*r/130. Is 0 bigger than y?
False
Let p = 1145 - 1144.94. Which is smaller: 165 or p?
p
Let s be ((-70)/28)/(1/(-2)). Suppose c - 3*f + 15 = 0, 4*c + s = f - 0. Which is smaller: 3 or c?
c
Suppose 2*m + 12 = -2*y, -8 = y - 3. Let o = -299/485 + 8/485. Does o = m?
False
Suppose -2*b - j - 1443 = -112, -3*b - 1997 = 2*j. Is b != -664?
True
Let x = -420 - -232. Let n = -113 - x. Which is smaller: 2/3 or n?
2/3
Let c(o) = -8*o - 22. Let w be c(-11). Suppose -7*t + w = -t. Let p be (-1)/((-4)/(-80)*-2). Which is greater: t or p?
t
Let h = 1008 + -1003.19. Is 1 <= h?
True
Let m be 3/5 + (-4048)/80. Are -50 and m nonequal?
False
Let x(w) = 9*w - 17. Let u be x(2). Is -9/19 < u?
True
Let z(i) = 37*i + 398. Let q be z(-22). Is q less than or equal to -416?
True
Let v = 0.19 - 0.48. Let b = -0.01 + v. Is -0.09 bigger than b?
True
Let f = -19 - -22. Let j = -3 + 6. Let c = f - j. Is 2 bigger than c?
True
Let s = -197/2 - -783/8. Let n(z) = -92*z**2 - 6*z + 46*z**2 + 48*z**2. Let y be n(3). Is s smaller than y?
True
Suppose 9 = 15*s - 21. Let v be (1 + -2)/((-2)/4). Let r = 0 + v. Is s equal to r?
True
Let f = -2/207 - -1459/1035. Let x = 10 + -8. Suppose 3*z = 4*d + 8, 4*z + 0*d - x*d = 4. Which is smaller: z or f?
z
Let g(w) = -3*w**3 + w**2 - 6. Let o be g(3). Let n = -735788/9597 + 6/3199. Let p = o - n. Which is greater: -1 or p?
-1
Let l = 257 + -256. Which is greater: l or 7.1?
7.1
Let k = 1332 + -1491. Which is smaller: k or -3?
k
Let v = -21 + 35. Let t = v - 11. Suppose -t*o + 6 - 2 = 4*n, 2*o + 3*n - 3 = 0. Which is greater: 2/33 or o?
2/33
Let l(r) = -2*r - 26. Let w be l(-14). Suppose 3 = h + w. Is 1/2 less than h?
True
Let o(r) = -5*r**2 - r - 2. Let l be o(4). Let x = -161 - l. Which is greater: x or -74?
-74
Let b = -8 + 12. Suppose -k = 3*k - 4, 3*k + 3 = 3*x. Is x equal to b?
False
Let h(c) = c**3 + 9*c**2 - 12*c - 15. Let i be h(-10). Suppose i*k + 17 = 2. Is k greater than -2?
False
Suppose 167 - 56 = 3*b. Suppose -3*u - b = 14. Which is bigger: u or -19?
u
Let v be ((-2160)/2142)/((-1)/(-7)). Which is bigger: -8 or v?
v
Let r = -16/79 - -131/1817. Is 1 equal to r?
False
Let y(t) = 6*t**2 - 2*t - 3. Let a be y(-1). Suppose 5 = -a*b, 3*o - b - 1 + 3 = 0. Is o >= -9/4?
True
Let y = 120 - 121. Let h(x) = -2*x**3 - x**2 + x - 1. Let n be h(1). Let u = n + 3. Which is greater: y or u?
u
Suppose -4*o = 3*l - 15, -2*o - 2*o + 12 = 0. Let v = -2338 + 2341. Which is greater: l or v?
v
Let w = -2679 + 117881/44. Is 1 > w?
True
Suppose -10*i = -13*i + 3. Suppose r = 5*p, -r + p - i = 3. Does 0 = r?
False
Let w be -6 - ((-13 - -4) + 4 - -6). Which is smaller: w or 1?
w
Let j(i) = i**3 + 6*i**2 - 7*i + 1. Let m be j(-7). Let x = -0.68 - 0.31. Let k = x - -0.39. Is m equal to k?
False
Let i = -37.47 + -0.53. Let o = -21 - i. Let p = o + -15. Is -6 > p?
False
Let j(v) = 5*v + 140. Let d be j(-27). Does -0.04 = d?
False
Let a = -3261 - -22917/7. Is -1 > a?
False
Let w be (-213 - -215)*(-3 - (-2 + 1)). Let q = 0.3 - 0.2. Which is smaller: q or w?
w
Let b = -175 - -878/5. Suppose 24*f + 8 = 20*f. Let z = f - -2. Which is smaller: b or z?
z
Let z(c) = 10 - 67*c - 72*c + 136*c. Let u(n) = 7*n - 21. Let h(a) = 4*u(a) + 9*z(a). Let r be h(-10). Is -4 smaller than r?
False
Let n = 0.01 + -0.26. Let j = -0.35 - n. Let b = 8 - 8. Which is greater: b or j?
b
Let c = 40.9 - 41.45. Which is bigger: c or 1?
1
Let m = -156/7 + 8282/371. Let d be (32/40)/((-4)/(-30)). Suppose 2*k - 6 = -0*k - 4*q, 3*q = d. Is k greater than m?
False
Let u(o) = -6*o + 55. Let y be u(0). Suppose y - 15 = -10*c. Which is smaller: c or -5?
-5
Let n = 7 + -4. Let t = 59/16 - 31/16. Which is bigger: n or t?
n
Let j = -4/13 + 218/793. Are 0 and j nonequal?
True
Let v(q) = -5*q + 1. Let r be v(-1). Let o(i) = 2*i - 12. Let p be o(7). Suppose -68 - p = -10*b. Which is smaller: b or r?
r
Suppose k - 5*j = -2*k - 13, 2*k + 2 = 2*j. Let v be 6/k*(422/(-69) - -6). Which is smaller: 0 or v?
v
Let h be 17/(-204)*((-42)/(-9) - 2). Is 5/6 at most as big as h?
False
Let q = 49 - 47. Suppose -14 = 4*r + q. Which is bigger: -3 or r?
-3
Let c = -1.05 - -1.09. Let s = 0.2 - -0.8. Which is smaller: s or c?
c
Let k(i) = -i - 13. Let o be k(-12). Let g(u) = -4*u**2 + 3*u + 2. Let f be g(o). Do f and -5 have the same value?
True
Suppose 2*o = 7*o + 55. Let a = -477 - -466. Do o and a have different values?
False
Let h be (-231)/39 + 15 + -9. Suppose 20 = -5*t + 4*b, -2*t - 3*b = t - 15. Is t smaller than h?
True
Let y be (-56)/(-252) - 128/90. Is y at least as big as 0?
False
Let w be (9/6)/((-1518)/(-88)). Is w > 57?
False
Let m be (-1)/4 + 49/4. Is 1/12 at most as big as m?
True
Let i = -1.2 + 1.06. Let h = 0.04 + i. Let l = -17 + 16. Is h equal to l?
False
Suppose -10*u + 94 = -2*x - 6*u, u = -2*x - 69. Is x at most as big as -38?
False
Let x be (-2)/(-10) - 738/15. Suppose 0 = -13*f - 532 - 118. Which is greater: x or f?
x
Let w(r) = -46*r**2 - 13*r + 37. Let h be w(5). Let i = h - -88352/75. Is 0 smaller than i?
True
Suppose -2*z = -5*z. Let p(f) = -f**3 + 7*f**2 - 5*f. Let o be p(6). Let i be 92/(-348) + 2/o. Which is smaller: i or z?
z
Let m be 8*(-1)/6*(-12)/(-1). Which is bigger: -73/5 or m?
-73/5
Let z(h) = h**2 + 8*h + 12. Let n be z(-5). Let x(y) = -y**3 - 2*y**2 - 2*y - 5. Let v be x(0). Is v at least as big as n?
False
Let o = 1174 - 1176.969. Let w = o - -0.069. Let h = w + 1.9. Is -0.05 smaller than h?
False
Let k = -120.6 + 121. Let w = -0.4 - -0.2. Let l = -0.1 - w. Is k <= l?
False
Let u = 10314/19 - 543. Let v = u + 53/95. Let p = -4 + 4. Is p at least as big as v?
False
Let d = 52 - 38.5. Let o = 4.5 + d. Let s = 27 - o. Does s = -0.1?
False
Let p be 952/(-21) + (-4)/6. Let t be (8/p)/(7 + -9)*-1. Is t smaller than 0?
True
Let v be (10/15)/((-7)/(-6)*2). Let u = 0.03 - 4.03. Is u less than v?
True
Suppose 3*v - 9 = -5*p, -3*p = -2*v + 9 - 3. Let x be v/(-10)*(-760)/(-48). Let t = -6 - 0. Is t < x?
True
Let u = -4552 - -23547/5. Let l = 158 - u. Let d = -25 - -26. Which is smaller: d or l?
l
Let k(d) = d**2 + 16*d + 16. Let a(r) = 16*r + 1. Let z be a(-1). Let o be k(z). Is o at least -8?
True
Let a be 0 - -2 - 1 - 0. Let c be (-6 + (-1023)/(-171))*2/1. Is c at most as big as a?
True
Suppose 4*p - 44 = 4*d, -3*d - 5*p = -7*p + 34. Let q = 78 + d. Is q greater than or equal to 67?
False
Let c be -10 + 3 + 8/(-2). Let z = c - -12. Let n = -287 - -2293/8. Is z != n?
True
Suppose -2*k + 0*k = 18. Let v(y) = -y**3 - 7*y**2 + 9*y + 11. Let c be v(-8). Let g be (-30)/5*((-5)/3 + c). Is g less than k?
False
Suppose 2*x - 4 = 0, 2*q + 18 = -0*x + 4*x. I