. Is w at least g?
True
Let o = 24 - 23.74. Let k = o + -0.16. Which is smaller: 15 or k?
k
Let b be 7 - (4 + -2 + -2 + -2). Which is greater: 2 or b?
b
Let q = 9/2 - 31/6. Let h = 8 + -4. Suppose h*v - 1 + 5 = 0. Is q >= v?
True
Let f = -13 + 13. Let i be -1 - (-2)/(32/10). Which is smaller: i or f?
i
Let d(z) = z**3 + 3*z**2 + 4. Let k be d(-3). Let b = k + -3. Let p be (-3)/b - (1 + -1). Which is greater: p or -2?
-2
Let z = 26 + -25. Which is smaller: -5 or z?
-5
Let i = -24.047 - -0.047. Let y = i - -23. Which is greater: y or 6?
6
Suppose 0 = -4*i + 3*c - 0*c + 23, -2*i = -2*c - 14. Suppose 1 - i = -z. Let o be 2 - (z - 7/(-9)). Which is greater: o or -1/2?
o
Let c = -6 - -8. Let a = -2 + c. Suppose -5*g = -2*j - 8, -4*g = -3*j - 4 - 1. Are j and a equal?
False
Let m(y) = y - 13. Let u = 16 + -5. Let o be m(u). Suppose -4*q = -8*q. Is q equal to o?
False
Suppose 0 = 2*r + 2*t + t - 14, 3*r - 15 = -3*t. Let k = 153/413 - 5/59. Which is bigger: k or r?
r
Suppose 1 = 3*z - 5. Suppose 0*i + z*i = 0. Suppose -a - 4*h - 10 = 0, -3*a + 15 = -i*a - 3*h. Which is bigger: 3 or a?
3
Let q = 1.22 + 2.78. Let x = 0.1 + -1.1. Which is smaller: q or x?
x
Let g = 1.1 + 9.9. Let b = g - 11. Are -1/4 and b nonequal?
True
Let c be (-40)/(-16)*(-16)/50. Which is bigger: 0 or c?
0
Suppose 2*b + 2*a = 5*a + 4, 5*a = b + 5. Let m(i) = -i + 13. Let z be m(9). Which is bigger: z or b?
b
Let g = 40 - 43. Which is bigger: g or -22/13?
-22/13
Let g(u) = -2*u**3 + u**2 - u. Let c be g(1). Is -2/11 greater than c?
True
Let d = -0.76 - -0.06. Let y = d - -4.7. Which is bigger: y or 2/7?
y
Let l be -3 + 12/4 - -1. Which is smaller: l or -3/11?
-3/11
Let u(h) = 10 + h - 5 + 4 - 5. Let m be u(-4). Which is smaller: -2 or m?
-2
Let n = 814/17 - 48. Is -3 != n?
True
Let b be (-4)/6 - (-152)/12. Suppose 4*w + b = 4*j, 8 = 3*j - j. Let p be (-3)/(w + 8/(-5)). Which is greater: p or 4?
p
Let j be (-2)/(-2) - (-44)/(-32). Let i = -40 + 41. Are j and i equal?
False
Suppose -5*w = 4*k - 32, 3*k = w + 2 + 3. Let n(d) be the third derivative of d**6/40 - d**5/60 + d**4/24 + d**2. Let s be n(1). Is s smaller than k?
False
Let q be 44/(-99)*2/4. Which is greater: 0 or q?
0
Let j(v) = 3*v + 0*v - 2*v + 3. Suppose 5*c + 19 = -6. Let f be j(c). Which is bigger: 2/7 or f?
2/7
Let u = 4 - 10. Let w = -48 - -42.3. Let h = u - w. Is 1/2 > h?
True
Let z = -60.2 - -60. Is -2/51 at least z?
True
Let t = -7 + 6. Let w = 1.4 + t. Let u = 1.6 + w. Which is greater: 1/2 or u?
u
Let d(g) = -g**3 + 3*g**2 - g - 2. Let v be d(2). Suppose v*z - z + 4 = 0. Let t(l) = l - 3. Let k be t(z). Which is smaller: 1/8 or k?
1/8
Let i be 1*3/(-30)*3. Are i and -2/11 equal?
False
Let l be (2/5)/((-7)/(-35)). Suppose -2*r = 5*v - 8, -3*r = 2*v - r - l. Which is bigger: 2/3 or v?
v
Let b = -0.027 - 0.073. Which is smaller: b or 27?
b
Let h(t) = -t + 1. Let s be h(0). Let r = -7512/17 - -442. Which is bigger: r or s?
s
Let r be 1*-1 - (-12 + -3). Let f be r/3 - (-7 + 10). Is 3 less than f?
False
Let k = 200 + -198. Suppose -10 = -4*n - 2. Is n smaller than k?
False
Let c = -1.34 - -0.14. Let o = c - -6.2. Let n = -4 + o. Which is smaller: n or -4/5?
-4/5
Let c = -3419/3 + 1129. Which is bigger: -11 or c?
c
Suppose -y = 2*y + 2*d + 43, 4*d = y + 5. Let c = -53/4 - y. Is c greater than or equal to 0?
False
Let h(y) = -y**3 - 2*y + 4. Let d be h(2). Is -9 greater than or equal to d?
False
Suppose -2*x + 2 = -3*x + l, -3*x = 2*l - 9. Let i be -3*1 - (-104)/36. Which is smaller: x or i?
i
Let s = -45.8 - -44. Which is smaller: s or 2/7?
s
Let z(q) = 0*q - 5*q**2 - q - 2*q**2 + 11 + 5*q. Let n(c) = c**2 - 1. Let j(u) = -6*n(u) - z(u). Let w be j(4). Is w smaller than -4?
True
Let a be (-2)/5 + (-4)/(-10). Let o = 1.2 - 0.2. Is o greater than a?
True
Let w(c) = -c**2 - 5*c + 6. Let m be w(-6). Suppose m*b + 3*b = 3. Let y = 48 - 335/7. Which is smaller: y or b?
y
Let r = 4 + -4. Suppose 5*j + r = -5. Which is smaller: -2 or j?
-2
Let k(h) = 4*h + 2. Let d be k(-1). Let g be d - (-2 + 4/14). Is g not equal to -1?
True
Let k = 16.23 - 0.23. Let w = k + -14.9. Let i = w - 1. Are i and -1 non-equal?
True
Let j = -12 + 95/8. Let o = -4 - -4. Which is smaller: o or j?
j
Let t be (-20)/(-15) - 3 - -1*3. Let n(h) = h**3 - 6*h**2 + 5*h + 1. Let q be n(5). Suppose -3*i - q = -4*i. Which is bigger: i or t?
t
Let x = -8 + 5. Let c = x - -4. Suppose 2*l - 10 = -3*i + l, 5*l = 4*i - 7. Which is greater: i or c?
i
Suppose 4*c - 3 = -3*m, 0 = 4*c + m - 3*m + 2. Is c <= 1?
True
Let n = -4.4 + 4.5. Which is smaller: n or 0.4?
n
Let s = -11 - -13. Let n = 423/20 + -102/5. Which is smaller: n or s?
n
Suppose 0 = 4*i + 21 - 57. Suppose 4*f - i + 1 = 0. Which is bigger: f or 12?
12
Let s be (-2)/3*(2 - 145/(-10)). Which is smaller: -13 or s?
-13
Suppose 0 = -5*q - 44 - 11. Which is smaller: q or -10?
q
Let p = 11 - 11. Do p and -10/9 have different values?
True
Let q(d) = -d**3 + 7*d**2 - 5*d - 6. Let y be q(6). Is y greater than -1/4?
True
Suppose -2*y + 28 = 2*a, 3*a = -0*a - y + 38. Suppose -2*r + 5*r = -a. Let b = -3 - r. Which is smaller: b or 1/12?
1/12
Let i be 1/(-6) - (4 + (-150)/36). Do i and 15/8 have the same value?
False
Let l = 2 + -3. Let v = 3 + l. Let h = 12 + -13. Is v greater than or equal to h?
True
Let z = 2740 + -101386/37. Is z >= -1?
True
Let q = 12 + -6. Let k = q - 4. Is 10/7 greater than k?
False
Let s(u) = -2*u**2 + 3*u + 1. Let x be s(-2). Is x at most -13?
True
Let m = 10 - 5. Suppose -4*n - x = -6, 1 = -4*n + 5*x - m. Which is greater: 1/3 or n?
n
Let j be 462/637 + (-8)/14. Suppose o = 4*c + 1, 11 = c - 6*o + 2*o. Is c < j?
True
Let j be 79 + (3 - (-15)/(-6)). Let k = 123 - 42. Let z = k - j. Which is bigger: 1 or z?
z
Let k = 42 - 45.01. Let v = 0.01 + k. Is -0.1 at least v?
True
Let n be 72/(-130) + 4/10. Suppose -4*b - 3*p = -1, -3*p - 23 = -b - b. Let v = b + -5. Is n equal to v?
False
Let z = 119 - 597/5. Does z = -0.1?
False
Let m(k) = k**3 + 3*k**2 - 3*k + 4. Let u be m(-3). Let y = u + -12. Is y != 1/5?
True
Let x = -3 + 7. Suppose 0 = g - x*w - 8, -2*g + 10 = g - 5*w. Let z be g - (-1 + (-11)/(-7)). Is z at most as big as 0?
True
Let v = -11 - -19. Suppose 4*h - 3*m + 25 = 1, 5*m - v = -4*h. Which is smaller: -2 or h?
h
Let u be 10/25*(-3 + -2). Which is smaller: u or -5/2?
-5/2
Let t(x) = -x**2 - x. Let i(u) = 7*u**2 + 15*u. Let d(g) = i(g) + 6*t(g). Let p be d(-9). Which is smaller: -2/9 or p?
-2/9
Let l = 8251/25 + -330. Which is bigger: -1 or l?
l
Suppose 3*u = 2*n - 10, 2*u - 2*n + 3 = -7. Which is smaller: 5/18 or u?
u
Let f = -65.7 + 66. Let s = 0.9 + -1. Which is bigger: f or s?
f
Let d = 587/7 + -84. Which is bigger: d or -1?
d
Let t = -0.05 + -1.95. Let n = t + 0. Let h = 1 + -2. Which is bigger: n or h?
h
Let u = 9197/165 - 279/5. Is u bigger than 1?
False
Let q be ((-1)/2)/((-3)/18). Suppose 0 = 5*u - 0*u. Which is greater: u or q?
q
Let f(d) = d**2 - 9*d + 4. Let v be f(9). Suppose v*z + 4 + 0 = 0. Is z < -2?
False
Let c be (-2 + 0)*1/(-3). Let p = -11 - -12.1. Let h = -1.3 + p. Which is smaller: h or c?
h
Suppose 19*j - 187 = 30*j. Is -15 at most as big as j?
False
Let x = 0 + 7. Suppose -4*d + 2*o = -4, -x*o + 3*o = d - 19. Are d and 5 non-equal?
True
Suppose -2*q = -3*q + 1. Let y be q/3 + 2/(-6). Suppose 5*p = -5*x, -x + 4 - 2 = y. Does p = -2?
True
Let b = -611/1010 + 1/202. Is -9 less than b?
True
Suppose 9 = 5*j - 26. Suppose h + 5*g = j, h = 3*h + 5*g - 9. Is h at least 2?
True
Let b = 91 + -87. Which is greater: b or 1?
b
Let i = -0.23 + 0.13. Which is bigger: i or -2.7?
i
Let w = -6 - -8. Suppose w*c - 2 = 4. Which is greater: c or 4?
4
Let o = -0.031 - -4.031. Which is smaller: o or -2?
-2
Let q(g) = g**2 + 12*g + 20. Let w be q(-8). Let c be (10/(-30))/(10/w). Let v = 3 - 2. Which is smaller: c or v?
c
Let s = -1 + 6. Let i(n) = 2*n**2 + 3*n - 3. Let v be i(-3). Which is bigger: v or s?
v
Let x(z) = z + 3. Suppose -5*f = 4*t - 4, 4*t + f = -3*f + 8. Let m be x(t). Let r be -1 + (-3 - -1) + 12. Is r smaller than m?
False
Suppose d = 6*d. Which is smaller: -2/79 or d?
-2/79
Let t = 10 + -13. Let k be (t/4)/((-45)/(-40)). Is 3/4 bigger than k?
True
Let s = -5.638 - -0.038. Let q = 6 + s. Let h be ((-2)/(-6))/(20/(-15)). Is h < q?
True
Let f(q) = -q**3 - 2*q**2 + 2*q - 4. Let 