e l and 1 unequal?
True
Let h = -0.45 + -7.55. Is h >= 1?
False
Let c be 3/(-4)*5/15*-196. Which is greater: c or 50?
50
Let x = -9.8 + 0.8. Let q = x + 9. Which is smaller: q or -4?
-4
Let q be (-1)/2 + 2/8. Suppose 0*u + 160 = -u. Let r be 2/10 - 8/u. Which is smaller: r or q?
q
Let f(a) = -2*a**2 - a + 1. Let g be ((-2)/(-6))/((-3)/(-18)). Let l be f(g). Which is greater: -10 or l?
l
Let o(r) be the first derivative of 11*r**3/3 - r**2 + r - 3. Let q be o(1). Let x be (6/36)/((-2)/q). Are -1 and x non-equal?
True
Let k = 801 + -3991/5. Suppose -5*g + g - a - 11 = 0, -3*g = -2*a + 11. Let f = k + g. Is 1 at most f?
False
Suppose -5*r = 5*x + 40, 3*r = 2*x - 1 + 2. Let a be 4/(r - 1)*2. Which is smaller: -5/4 or a?
a
Suppose 4*s + 11 + 13 = 0. Let a(b) = -b - 8. Let p be a(s). Which is smaller: p or -3?
-3
Suppose 4*o = 5*t - t - 8, 0 = -3*t - 6. Let b be o/10*160/8. Let a = 6 + b. Is a <= -3/2?
True
Let u = 1/151 + -177/3926. Which is bigger: u or 1?
1
Let c be 2 + (2 - 45/12). Which is bigger: c or 1?
1
Let l(q) = 2*q**3 + 3*q**2 + q. Let g be l(-2). Is g smaller than -4?
True
Let m be 3/(-12) + 171/12. Which is bigger: m or 11?
m
Let y be 0 + (-11 + 2)/(-3). Suppose 0*w + 6 = y*w. Which is smaller: w or -1?
-1
Let a = -1565/54 + -68/27. Let n = 31 + a. Is n at most -2?
False
Let x = 90 - 126. Let l = x + 397/11. Let b = 11/4 - 3. Which is smaller: b or l?
b
Let x = -2/45 - 13/45. Do x and -2/11 have the same value?
False
Let z(n) = -5*n**2 - 8*n - 2. Let p(f) = -4*f**2 - 7*f - 2. Let u(h) = -6*p(h) + 5*z(h). Let w be u(4). Is -7 at most w?
True
Let d = -2 - -5. Let c = -75088 + 12840083/171. Let g = c - -1/57. Is g at least d?
False
Let f = 0.4 - 0.2. Let g = f - -0.3. Let u = g - 0.3. Which is smaller: 1/4 or u?
u
Let i = -3/47 + 59/188. Let w = 0.04 - 1.04. Which is smaller: i or w?
w
Suppose 2*y - 6 = -5*c, -2*c + 2*y + 6 = -2. Which is bigger: -1 or c?
c
Let r = 743 - 62411/84. Is -1 != r?
True
Suppose -2*h + 4 = 0, 5*n = 5*h - 0 - 10. Suppose 2*k - 4*k + 4*q - 14 = n, 3*k = 2*q - 5. Let r = -40/11 + 389/110. Is k greater than or equal to r?
True
Let p = 6 + -7. Are 2/7 and p nonequal?
True
Suppose -22 = -3*q + 5*q. Do -10 and q have the same value?
False
Let z = -0.131 - -0.121. Is -0.2 at least as big as z?
False
Let a = 4.3 + -4.4. Which is smaller: a or 0.19?
a
Let g(s) = -s**3 + s**2 + 4*s - 3. Let d be g(2). Is d at least as big as 1?
True
Let f = -0.072 + -7.428. Which is greater: f or -1?
-1
Suppose 3*n - 32 = n. Which is bigger: 18 or n?
18
Let p be 1/(-3) - 38/3. Let h(c) = c**3 - 7*c**2 + 7*c + 1. Let r be h(5). Which is greater: p or r?
p
Suppose -7 - 58 = -5*d. Let n be (-7)/(-21) - d/3. Let q(s) = s**2 - 7*s - 11. Let z be q(8). Which is bigger: z or n?
z
Let m(i) = -2*i - 2. Let p be m(2). Let y be (8/p)/(1/3). Let n = 4 + y. Which is bigger: -2/9 or n?
n
Let y(s) be the third derivative of -s**4/24 - s**3/6 - 3*s**2. Suppose -3*i - 4 - 11 = 0. Let r be y(i). Is 3 at most as big as r?
True
Let z(w) = -w + 2. Let x be z(2). Let r = 0 + x. Let b = r + 2. Is 0 equal to b?
False
Let d = 21 + -18. Which is smaller: 5/3 or d?
5/3
Let t(u) = u**2 - 10*u + 9. Let w be t(9). Suppose -p - 4 + 3 = w. Which is bigger: p or -3?
p
Let a = -11 - -11. Let h = a + -4. Are 0 and h equal?
False
Let a(v) = -2*v - 22. Let k be a(-11). Which is smaller: k or 8/7?
k
Let o be (-3)/(((-6)/(-9))/(12/27)). Is o greater than or equal to -25/8?
True
Let y(c) = 9*c**3 - 12*c**2 - 8*c + 8. Let d(r) = -5*r**3 + 6*r**2 + 4*r - 4. Let a(m) = 11*d(m) + 6*y(m). Let i be a(-5). Do -8/5 and i have the same value?
False
Let q = -192776 - -2507395/13. Let a = q + -101. Which is smaller: a or 1?
a
Let a = -40/57 - -2611/228. Let c(p) = p**2 - 17*p + 19. Let x be c(15). Let b = x + a. Which is smaller: b or 1?
b
Let a be (-8)/(5/(30/4)). Let y be ((-1)/4)/(5/a). Suppose c + 9 = 2*g + 2, 0 = -2*c - 3*g + 14. Which is bigger: c or y?
c
Let i = -3.4 + 3.6. Is -0.1 > i?
False
Let r be (-40)/(-24)*(-6)/15. Which is greater: r or -0.02?
-0.02
Let r = -0.04 - -0.04. Let g = r + -1. Do 2 and g have different values?
True
Suppose -r - 1 = -18. Let m = r + -17. Let g be 2/6 + (-10)/24. Which is greater: m or g?
m
Let j = 1.4 - -0.6. Let b = -1.93 + j. Let z = 0.13 + b. Which is greater: z or 1?
1
Let v(z) = -3*z + 23. Let g be v(8). Let m = 25/42 + -3/7. Which is greater: g or m?
m
Suppose -3*j + 4*n = -6*j - 3, 5*j - 2*n = -5. Let i be 68/(-42) + 14/49. Which is smaller: j or i?
i
Let z = 0.7 + 0.3. Let d = z + -0.8. Suppose -3*y + 3 = 0, -4*v = -2*v - 5*y - 1. Is v smaller than d?
False
Let c = 117/68 + -8/17. Suppose 16 = -4*a - 0*j - 3*j, 4*a - 16 = 5*j. Let q be (-1)/(a + 0/3). Are c and q non-equal?
True
Let r = -4.3 + 8.3. Does -9 = r?
False
Let w = -43/2 - -21. Let z be 0*(0 + 2 - 1). Suppose z = -2*l - 3*i - 2*i - 17, -4*l + 2*i = -2. Which is bigger: l or w?
w
Let b(s) = -s**2 + s. Let m be (-36)/(-15) + 2/(-5). Suppose g - m*g - c = 0, 5*c = 4*g. Let n be b(g). Is -3/7 smaller than n?
True
Suppose 0 = -2*y + 5*y - 30. Let u(a) = -a**3 + 4*a**2 - a - 1. Let n be u(3). Suppose -3*p - p + 2*x = y, -n*x = -2*p - 1. Is -1 smaller than p?
False
Let o be 4*-2 + -3 + 5. Let v be o*(9/6)/(-3). Let s be -3 + v - (-4)/(-38). Is 0 smaller than s?
False
Let f = -0.55 - 3.49. Let o = f - -4. Let j = o - 0.06. Is 2 < j?
False
Let s be (-6)/(-3) + -2 - 0. Suppose s*b = b + 1. Let y(k) = k**3 - 4*k**2 + 4*k - 4. Let g be y(3). Is b greater than g?
False
Let n = 6 - 3. Suppose -v = n*v. Which is bigger: -1 or v?
v
Suppose 6*j - 5*a - 20 = j, -5*j - 2*a = 1. Let t be (-26)/(-36) - 2/4. Which is smaller: t or j?
t
Let u be 1550/812*(-6)/30. Let a = 9/29 + u. Is a bigger than -1?
True
Suppose i = 3*r, 2*i + 4*r - 2*r = 0. Let l be (-9 + 1340/150)/((-18)/20). Is i > l?
False
Let f be (-10)/8 + 3 - 2. Are -19 and f unequal?
True
Let r be (4/128)/(1/(-402)). Let m = r - -25/2. Is m less than 1?
True
Let c = -0.11 + 0.01. Let h = 32 + -10. Suppose -4*p - 10 = -h. Which is smaller: c or p?
c
Let w be (-4)/10*15/(-3). Let j = -3107 - -6045/2. Let a = 86 + j. Do a and w have different values?
True
Let a be -1*(-2)/(-8) - (-209)/(-988). Which is greater: a or 2?
2
Let g = 5 + -2. Let y be ((-21)/(-49))/(1/g). Which is smaller: 0 or y?
0
Let h = 5 + -5. Let t be 54/(-56) + 1 + (-8)/28. Which is smaller: t or h?
t
Suppose -5*d + 23 = -u - 2, -d + 5 = -2*u. Let f be 4/9 + 2/9. Are f and u unequal?
True
Let f(b) = b**2 + 2*b + 3. Let n be f(-4). Let c = -11 + n. Which is smaller: c or 2/5?
c
Let c = 3.8 - 1.9. Let u = 4 - 2. Let l = u - c. Is 0.3 at most l?
False
Let j(y) be the second derivative of y**4/12 + 5*y**3/6 - 3*y**2/2 + 2*y. Let q be j(-6). Let o(x) = -x**2 + 4*x - 2. Let z be o(q). Which is greater: z or 3/7?
z
Let d = 129 - 119. Which is smaller: d or 7?
7
Let p = -9.42 - 1.98. Is p > 0.1?
False
Suppose 0 = 2*x - 10. Suppose 0 = -x*i + 2*i + 12. Let w be 0 - ((-33)/6 + 3). Is i != w?
True
Let j = -36 - -109/3. Let z = 33 + -48. Let l be z/21 + 2/(-7). Which is smaller: l or j?
l
Suppose 0 = -4*x + 20, n + 21 = 3*n + 5*x. Let y = 12/5 + n. Let d be (1/(-5))/((-2)/5). Is d greater than y?
True
Let x = -5 - -4. Let i be 0 + 2 - (-488)/90. Let d = 36/5 - i. Which is smaller: x or d?
x
Let l(y) = -283*y**2 + 1. Let b be l(-1). Let o = 4228/15 + b. Let d(c) = c**2 - 2*c - 4. Let t be d(3). Which is smaller: t or o?
t
Let g be (0/(-2))/2 + -7. Let i = -30 - -25. Let k = i - g. Which is smaller: 1/2 or k?
1/2
Let c be (-1 + 2)*(2 + -1). Suppose 4*n = c - 5. Is n at most -2/11?
True
Let z = -319/3 + 107. Which is smaller: -102 or z?
-102
Let v = 34 + -34. Which is greater: v or -2/11?
v
Suppose 5*p = 2*q - 38, -5*p - 4 = -3*q + 38. Which is greater: -5 or p?
-5
Let n(t) = 2*t**3 - t. Let z be -1*(-1 + -2) + -2. Let l be n(z). Let u = 1 - 1. Is l at most u?
False
Let a = 12.58 - 0.58. Is a smaller than 2?
False
Let g = 13 + -9. Let a = -6 + g. Which is smaller: 3/2 or a?
a
Suppose 5*x = -3*x - 24. Is -1/3 equal to x?
False
Let z be (-592)/(-3136) + (-3)/12. Which is smaller: 1 or z?
z
Suppose 0 = -j - 1 + 2. Suppose 3*q + 4 = j. Let s = -1 + 1. Is q at most as big as s?
True
Let b = -22 + 33.9. Let n = b - 12. Is n greater than 1/2?
False
Let f = -266/185 + -6/37. Is f >= -1?
False
Let