. Is h greater than or equal to 1/2?
True
Let d = 0.21 + -13.21. Let a = -14 - d. Is -0.2 <= a?
False
Let c = -26 + 27. Which is smaller: c or -2/35?
-2/35
Let r = 12 + -3. Let g be (r/(-6) + 1)/(-3). Let p be 0 - 0 - (-1 - -2). Which is bigger: g or p?
g
Let l be -3*(-1 - -5 - 3). Let d = l + 3. Let a = 0 + d. Is 1/3 >= a?
True
Let h = -10 - -10.2. Which is smaller: 1/6 or h?
1/6
Let b = -0.73 + -0.27. Which is greater: b or 0.16?
0.16
Let p = -35 - -45. Do p and 10 have different values?
False
Let s be (3 + 0)/(33/(-2)). Suppose w - 4*w = 0. Which is greater: w or s?
w
Let l(x) = -x**3 + 4*x**2 + 5*x - 1. Let n be l(5). Let a be (n + 4)/(6/4). Let u be -1 + -1 + 36/14. Which is smaller: a or u?
u
Let l = -0.14 + 0.34. Do -4 and l have different values?
True
Let o be 21/(-28) + (-135)/12. Do o and -51/4 have different values?
True
Let l = 4 + 1. Let j = 9 - l. Which is smaller: -2 or j?
-2
Suppose 25 = 4*l - 19. Suppose -5*y = -l - 9. Are 4 and y equal?
True
Let g = 15 - 13. Is 5/4 at least g?
False
Suppose -3*z = 3*f - 2*z, -f = -5*z. Suppose 3*l = -4*u + 18, f = 2*u + 3*l - 3 - 3. Which is smaller: 7 or u?
u
Suppose -10 = -3*i + 11. Suppose 4*p = 5*x - 32, 3*x - 4*p - 17 - i = 0. Suppose x*l - 3 = l. Are 3 and l equal?
False
Suppose 14 = 2*q - 24. Which is greater: q or 1?
q
Suppose 5 + 2 = a. Which is bigger: a or -0.1?
a
Let i = -159 + 159. Which is bigger: i or 2/249?
2/249
Let r be (-2)/(-22) + 0/4. Is 0 < r?
True
Suppose -2*u + 31 = 5*r, 5*u + 5*r + 12 = 52. Let b = 2 + 2. Suppose b*h + 2*q = 16, 0*q + 6 = -u*h + 3*q. Which is smaller: h or 3?
h
Let i = 3.91 + 0.09. Let t = i - 2. Which is smaller: -1 or t?
-1
Suppose -3*y = y - 5*s - 64, 2*s = y - 19. Is y smaller than 13?
True
Let t = 7.5 + -7.47. Is t at least as big as 0?
True
Let l = -6.243 - -0.143. Let y = l + 0.1. Let g = y + 6. Do 0.1 and g have different values?
True
Let h = -243 - -3647/15. Let s = -1 - -1. Is s smaller than h?
True
Suppose 0*a + 165 = 5*a. Which is bigger: a or -3?
a
Suppose k - 5 = -6. Let r = k + -15. Is r <= -16?
True
Let u be 27/(-36) + (-30)/(-8). Suppose -t + 7 = -i + 14, 0 = u*i - t - 13. Suppose i = 5*q - 12. Which is smaller: q or 2?
2
Let x = 1.1 - 1. Let k = -6.94 + -0.06. Which is smaller: k or x?
k
Let a = 3 + 1. Suppose 4*n - 3*n - a = 0. Suppose 0 = n*u - 3*f - 7, u = -4*u + 4*f + 8. Is u greater than 3?
True
Suppose 0*w = -20*w - 220. Is w < -8?
True
Let h be -3*1/6*-2. Suppose -h = -4*z + 3. Which is bigger: z or 1/9?
z
Suppose 12 = -2*g + 14. Do g and -2/261 have different values?
True
Let u = -83/20 - -22/5. Let s = -31 - -25.6. Let x = 0.4 + s. Do u and x have different values?
True
Suppose -2*f + 7*f = -4*k - 20, -k - 5 = -4*f. Suppose 0 = 5*s + 2*o + 38 + 8, 0 = s - 4*o - 4. Let b be (s/(-12))/((-2)/1). Which is smaller: b or f?
b
Let f = 98/39 + -2225/156. Let s = f + 12. Suppose 0 = z - 2*w + 5, 3*z + 7*w - 3 = 4*w. Which is greater: s or z?
s
Let l(y) be the third derivative of y**6/120 + y**5/15 - 5*y**4/24 + y**3/6 + 3*y**2. Let c be l(-5). Let g = 29/28 - 3/4. Is c >= g?
True
Let f = -0.34 - 0.06. Let w(m) = -2*m**3 + 13*m**2 + 49. Let h be w(7). Is h less than f?
False
Let d(c) = 2*c + 25. Let j be d(-17). Which is smaller: -8 or j?
j
Let o = -2 + 16. Do o and 14 have different values?
False
Let c(g) = -2*g**3 - 3*g - 3*g - g + 10 + g**3 + 9*g**2. Let l be c(8). Let h be (-9)/10 + 9/l. Which is smaller: h or 1?
h
Let l be 1921/(-14) + 1/2. Let g = 137 + l. Are g and 1 nonequal?
True
Let r = -5 + 4. Suppose -3*x = 3*x + 24. Let h be (x/4*2)/23. Which is greater: r or h?
h
Suppose -2*d = -3*o - o + 8, -o - 4*d - 16 = 0. Suppose o*c - 14 = 2*c. Let b = c + 6. Is b at least 0?
False
Let d = -37/57 + 916/855. Let q = -1/45 + d. Which is greater: -0.4 or q?
q
Suppose -5*a - 27 = -72. Let o(q) be the first derivative of q**4/4 - 3*q**3 + q - 9. Let x be o(a). Is 1/6 at most x?
True
Suppose 10*u + 58 = 9*u. Is u at most as big as -59?
False
Let r be (2 + -1)*(-1)/5. Is r at most -1?
False
Let u be (-1452)/(-6831) - 1*(-2)/9. Is 0 greater than u?
False
Let n(o) = -1 + 4 - 10*o + 2. Let c be n(-7). Let x = c + -153/2. Is x not equal to -3?
True
Let x(c) = -c**2 - 10*c + 7. Let b be x(-10). Let j(k) = 2*k**2 - 3*k - 3. Let l be j(3). Is b < l?
False
Let d = -224/279 - -18/31. Let t be 1/((-1)/2) + 3. Let l(i) = -i**3 + 2*i - 1. Let f be l(t). Which is greater: d or f?
f
Let m be (7/(-168))/(((-1)/(-3))/(-1)). Which is bigger: m or -1?
m
Suppose 0*i - 2*i - 6 = l, -3*l - 2 = 2*i. Suppose -3 = 3*j - 5*u, 0 = -3*j - 2*j - 5*u + 35. Do l and j have different values?
True
Suppose -x - 1 - 3 = -g, g - 3*x - 12 = 0. Let r be 23/15 + 1/(-3). Is g less than or equal to r?
True
Let f = -17/3 - -6. Suppose -4 = 2*y, 5*g + 3*y + 11 = -0*y. Do g and f have the same value?
False
Let d(x) = -11*x**3 - x**2 + x + 1. Let l be d(-1). Which is smaller: l or -1?
-1
Suppose 0 = 12*b + 146 - 2. Which is smaller: -4 or b?
b
Suppose x - 126 = 12. Suppose x = 4*n + 26. Suppose -n = 2*w + 2*w. Which is smaller: -8 or w?
-8
Suppose -7*a + 3*a - 8 = 0. Let k be (3/6*-1)/a. Is k greater than -1?
True
Suppose -5*z = 32 + 13. Let l be ((-6)/z)/(2/(-3)). Is -1 bigger than l?
False
Suppose 2 = 2*m - m. Suppose 3*c = 5*i + 18, -4*i = m*c - 5*c + 12. Is -6 <= i?
True
Let l(n) be the first derivative of -n**2 + 3*n + 5. Let m be l(2). Is m greater than -2?
True
Let n be (8 - 2)/(-2) + 9. Suppose -2*u = -0*u + n. Which is bigger: -4 or u?
u
Let i be (-1 - 30/14) + -7 + 9. Is i greater than 0?
False
Suppose -2*i = -2*u + 10, 0*u + 3*i = -u - 15. Is 10 at most u?
False
Let i = -7 - -6.9. Suppose 16 = -4*z - 0*z. Which is bigger: i or z?
i
Let d = -1 + 0. Let l be 9/6 - 451/286. Which is smaller: l or d?
d
Suppose -2*x + x - 5*g - 14 = 0, g = -4. Let y be 14/x*6/(-21). Which is smaller: y or -1?
-1
Suppose 17*o + 4 = 16*o. Is -2/3 smaller than o?
False
Let c = 0.32 + -0.22. Let d be 2/(-3) + (-1)/(-3). Which is greater: c or d?
c
Let y = -109.8 - -110. Let x = 552/5 - 110. Are y and x non-equal?
True
Let h(s) = -6*s. Let l be h(2). Are -13 and l equal?
False
Let z be ((-1)/(-6))/((-1)/(-155)). Let f = 26 - z. Let r = 11.2 + -11. Do f and r have different values?
True
Let n be 152/(-12) + 3/(-9). Are -13 and n equal?
True
Let v(o) = -o + 6. Let f(r) = -6 - 5*r**3 + 6. Let z be f(-1). Let j be v(z). Which is bigger: j or -3/8?
j
Let z be 3/63*6 + -1. Do 0 and z have different values?
True
Let t be (4 - 1)/(-8 - 3). Let v = t + -5/22. Let q = 10 - 10. Which is smaller: v or q?
v
Let i be 4 - (18/(-12))/(9/(-42)). Which is smaller: i or -17/7?
i
Let f be (9*-1)/(-3) + -14. Let a be 2/((-4)/f)*2. Suppose -5*h = 4 + a. Which is smaller: h or -4?
-4
Let n be -2 - -72*(-2)/(-73). Does n = 1?
False
Let n be 3 - (2 - -4 - 3). Is -5 bigger than n?
False
Let p = -0.8 - -1. Suppose -5*l + 296 = -l. Let o be -2 + (-3 - l/(-14)). Which is smaller: p or o?
p
Let i = -0.03 - 0.97. Let s be ((-8)/(-3) - (-2)/(-3))/2. Which is smaller: i or s?
i
Let a = 19 - 54. Let z = -421/12 - a. Let g be ((2 + -2)/4)/1. Is z <= g?
True
Let g = 4.9 + 0.1. Let j = g + -4. Is j greater than or equal to -0.2?
True
Suppose 24 - 18 = -6*o. Which is bigger: o or -3?
o
Let z(c) = c - 2. Let d(j) = 0 - j**2 + 3*j + 4*j + 4. Let k be d(7). Let a be z(k). Which is greater: a or 4/7?
a
Let h be 518/98 - (-1 + 6). Are 1 and h unequal?
True
Suppose 0 = -4*o - 0*m + m - 13, -5*o - 13 = 2*m. Let t = -4 + 1. Is o < t?
False
Let v be -2 + 1 + 230/168. Let q = v + -1/28. Let s = -0.68 + -0.32. Is s bigger than q?
False
Suppose 2*t + 5*w = -13, 0 = t + 4*w + 3 + 5. Suppose 2*h = 2*k + k - 9, 11 = -4*h - k. Which is smaller: t or h?
t
Let p = -148 - -98. Let g be 1/p*-54 - 1. Which is smaller: g or -1?
-1
Let o be -1 + (6/4)/3. Let h(y) = 2*y**2 - 2*y - 2. Let g be h(-2). Let j = g + -13. Which is smaller: o or j?
j
Let p = 3 + -1. Suppose p*u + b = u - 13, 3*b = -15. Which is greater: -7 or u?
-7
Suppose -8*t - 11 = -3. Suppose p = -0*p. Which is smaller: t or p?
t
Let c = 4 + -9/2. Is 4/7 less than c?
False
Let q = -24932/3 - -416902/51. Let m = q + 136. Do m and 0 have different values?
True
Let p = -0.166 + 0.066. Which is bigger: p or 2/3?
2/3
Let z(a) = -a**2 - a - 3. Let i be z(0). Let l(b) = 4*b**2 + 3*b + 2. Let m be