ose -1 = 15*l - 14*l. Let d = -2149233/140 - -15352. Let k = d - 21/20. Is k greater than or equal to l?
True
Let t = -11.9 + 13. Let o be (-1 - -2)*(-2)/2. Which is smaller: o or t?
o
Let l be (-5)/((1 - 3)/(-4)). Suppose -17 = 9*z + 19. Which is greater: l or z?
z
Suppose -4*x + 3*t + 172 = 27, -t + 112 = 3*x. Let f = x + -16. Which is greater: f or 18?
f
Let s(c) = -c**2 - 12. Let d be s(0). Let f be ((-4)/(-6)*-10)/(d/18). Which is bigger: f or -2?
f
Let n be (-499 + 13)/(-9)*-1. Suppose 0 = -5*h - 2*a - 422 + 143, -5*h = -5*a + 265. Which is bigger: h or n?
n
Let o = 75015/12614 + -715/106. Let p = -6/7 - o. Which is smaller: 1 or p?
p
Let b be 21/9*13/5. Let g = b - 27/5. Let s(x) = -x**2 + 3*x + 2. Let i be s(0). Is g at least as big as i?
False
Let c = 25 + -22.7. Let v = c + -1.6. Let o = -0.9 + v. Is o at most as big as -1?
False
Let x be (-9)/(90/4) + (-172)/(-5). Suppose -105 = 37*r - 40*r. Is x bigger than r?
False
Let f = -12.69 - -12.19. Is -34 greater than or equal to f?
False
Let v = -185 - -159. Which is smaller: -24 or v?
v
Let u be 253/55 - (-6)/(-10). Suppose -13*y + 17 = u. Which is bigger: y or -3/52?
y
Let s = 37 + -34. Suppose -s*y + 453 = -147. Let x be (-776)/y + 1 + 3. Is x at least 1?
False
Let i = 8873/5180 + 1/740. Is i less than -2/7?
False
Let u(j) = j - 3. Let x be u(2). Let y = 7/78 - 1/78. Is x at least y?
False
Let r = 5.878 - 6. Let f = 0.022 + r. Which is greater: 7/2 or f?
7/2
Suppose -4*d - 25*d + 29 = 0. Is 2/89 <= d?
True
Let t be (2 - -236) + 9 + (-12)/3. Are 244 and t non-equal?
True
Let u be (-120)/15*14*(-2)/72. Is u greater than -2/5?
True
Suppose 0 = -40*b + 30*b + 179 - 59. Let w be (-1 - -7)/1 + 2. Which is smaller: b or w?
w
Let d(j) = j**2 + 27. Let v be d(-5). Suppose v*x = 49*x + 3. Is 1/84 greater than x?
False
Let z = 17 + -8. Let g = -6 - -5. Let m be (-16)/(-4) - g - 3. Is m <= z?
True
Let n = -187 - -237. Is -1/3 greater than n?
False
Let i = 1 + -2. Let q = 6596/7 + -942. Do i and q have the same value?
False
Let x(h) = -h**3 + 7*h**2 + 9*h - 5. Let r be x(8). Suppose r*q = -q - 12. Which is greater: q or -26/7?
q
Let f(r) = -r**3 - 3*r**2 + 5*r + 3. Let v be f(-4). Let w be (4/(-8))/(51/6). Is v greater than or equal to w?
False
Suppose 5*k - k + 3*i = 20, 0 = -i + 4. Suppose -k = -4*o + 5*u + 19, u + 5 = 0. Which is bigger: 4 or o?
4
Let u = -0.35 - -0.275. Let k = -31.925 + u. Which is smaller: k or -2/5?
k
Let s be (-4)/(32/(-20))*2. Suppose -2*j - 4 + 0 = 4*l, 4*l - s*j = 10. Let h = 757/7 + -108. Which is smaller: l or h?
l
Let h(o) = 72*o - 215. Let r be h(3). Which is bigger: r or 11/56?
r
Suppose 6*i + 15 = 2*i - 5*f, -5*i - 4*f = 12. Let x be -1 - (i/(-4))/1. Is 1/19 at least as big as x?
True
Suppose -9*u + 15*u + 72 = 0. Let h be 48/(-44)*3/u. Which is bigger: 0 or h?
h
Let g = 35 - 12. Which is greater: 22 or g?
g
Let v be (-48)/15 - (-1)/5. Let q = -1 - -2. Suppose 0 = i - 0 + q. Is i at most as big as v?
False
Let h be 18/81 + ((-705)/(-432) - 2). Which is bigger: 1 or h?
1
Let y be (((-234)/(-12))/13)/(9/(-6)). Which is bigger: -0.64 or y?
-0.64
Suppose -1134 = -11*h - 1189. Are -10 and h non-equal?
True
Let l = -1363 - -205811/151. Let x(y) = -y + 5. Let a be x(4). Which is smaller: a or l?
l
Let s = -239.617 - 0.383. Which is greater: s or -0.1?
-0.1
Let p(u) = 3*u**2 + 16*u + 9. Let l be p(-5). Suppose -2 - l = 2*w. Let a be 2/4*(-2 - -2). Which is bigger: a or w?
a
Suppose -3*s + 7 = 1, 5 = 3*o - 2*s. Suppose 0 = y + 2*x + 5, y + o*x = 4*x - 2. Is -2 greater than y?
True
Let w = -2.2 + 0.2. Let a = 1.98 + w. Let m = a - -0.22. Is m equal to -4?
False
Let n = 121 + -83. Suppose -3*o + 0*o - n = -5*i, 2*i - 4*o - 18 = 0. Let t(k) = k - 9. Let m be t(i). Are 1 and m nonequal?
True
Suppose 0 = -4*f - l + 9, -6*l + 1 = -5*l. Suppose -5*v + 27 - f = 0. Suppose -j = -4*r, -5*j - v*r = -j. Are 2/65 and j nonequal?
True
Let a be 18/6 - -1 - 81. Let t = -78 - a. Which is greater: -1/250 or t?
-1/250
Suppose 0 = 4*c + 2 + 2. Let y be -4 + (-4 - -2) + 8280/1311. Which is bigger: c or y?
y
Let n(k) = k**2 + k - 1. Let h be (-12)/(-7) + (-2)/(-7). Let c be n(h). Suppose 138*s = 141*s - 15. Is c less than s?
False
Let p be -1 - 2/(-1)*2. Suppose 2*q - 3*f - 21 = 0, f - 40 = -5*q + 6*f. Suppose -q*m = -15, -4 = -4*s + 3*m - 3. Which is bigger: s or p?
s
Suppose 266 - 56 = -7*q. Let w = 29 + q. Which is smaller: -2/25 or w?
w
Let q = 1503 + -1503. Is q less than -24/35?
False
Let n = -97/177 - -2443/7257. Which is greater: n or 0.1?
0.1
Let h = -632 - -639.86. Let k = h + 0.14. Let a = k + -8.2. Which is greater: a or 3?
3
Suppose -5*w = -n - 27, 0*n = -2*n - 5*w + 21. Let s be (5 + -6)/(3 + n). Which is smaller: s or -3/4?
s
Let s(x) = 6*x**2 - x - 1. Let r be s(-1). Let q = 224 - 217. Which is smaller: r or q?
r
Suppose 11*y - 9*y + 52 = -5*q, -5*y - 4*q - 130 = 0. Which is smaller: y or -127/5?
y
Suppose -1237 = 55*a + 9213. Which is smaller: a or -189?
a
Suppose 11*i = 2*o + 7*i - 8, -i + 3 = 2*o. Is o at least 52/79?
True
Suppose 0 = 2*y + 3*y - 25. Suppose 3*d + 4 = 2*c - 3, y*d = -5. Suppose w - 5*w + 18 = c*s, -3 = 5*s - 2*w. Is -1/17 < s?
True
Suppose -5*k - 5 = f - 21, 2*k - 16 = 2*f. Suppose -2*p - k*t - 4 = 0, 4 = -2*t + 2. Let v = 322/5 - 65. Is v at least p?
False
Let d be (-1)/(-1 + (-2)/(-1)). Is d greater than -2/599?
False
Let l = 0.455 - -12.705. Let b = l - 13. Let w = 0.56 - b. Which is smaller: w or 1/5?
1/5
Let d(v) = 1711*v + 10. Let o be d(-6). Let t = -40671/4 - o. Let s = t + -89. Which is smaller: s or 6?
s
Let o be (-4 + 3/(-1))/(-1). Suppose z - 3 + o = 0. Is -4 < z?
False
Let v(y) = y**3 - 10*y**2 - 3*y + 24. Let p be v(10). Suppose -4*t + 31 = 3*f - 1, -f = 2*t - 18. Suppose -4 = 3*z + t. Is z >= p?
True
Let a be (-3)/6*34/3. Let m = a + 1643/291. Are m and 0 unequal?
True
Suppose 0*f - 10 = 3*f + l, f + 3*l - 2 = 0. Let v be 2/f - 2261/38. Let d be 5/v*-21 - 1. Which is smaller: d or -2?
-2
Suppose 3*b + 11 = 29. Suppose -4*c - r = -3*r - 36, 0 = -5*r + 20. Suppose -c - 5 = -2*q. Is b greater than q?
False
Let m = 228 - 222. Suppose -3 = -0*b - b. Suppose -2*t + b*t = 6. Is m at most as big as t?
True
Let j(y) = 161*y**2 - 6*y - 3. Let z be j(-1). Which is greater: 165 or z?
165
Suppose 0 = -i + 11 + 1. Let j be ((-4)/i)/(-5*(-4)/3180). Is -53 bigger than j?
False
Let g be -3 + 5 - 68/40. Let i(u) = -u**3 + 2*u + 2. Let w be i(-1). Is g at least as big as w?
False
Let u(b) = 22*b**2 - 12*b + 10. Let z be u(1). Which is bigger: z or 15?
z
Let f be ((-15)/10)/(1/18) - -3. Is f less than or equal to -26?
False
Let k = 107 - 105. Let m be (-2)/(-159)*(k/(-4) - 0). Is m at most 1?
True
Suppose -4*m + 5*m + 3 = 0. Suppose -3*f + d - 4 = 0, -2*f - 5*d + 4 = 1. Are f and m equal?
False
Let v(f) = -2*f + 4*f - 2 - 4*f. Let m be v(-2). Let c = 7 + -5. Is c at least m?
True
Let d(k) = -2*k**3 - 11*k**2 + 4*k - 12. Let u be d(-5). Is -55 not equal to u?
True
Let m = -11335 + 124193/11. Which is smaller: -46 or m?
-46
Let i(y) = -11*y**2 - y + 1. Let u be i(-1). Let l = u - -8. Which is greater: -4 or l?
l
Let o = -554 - -1661/3. Is 601 not equal to o?
True
Let a(v) = -v**2 + 10*v + 7. Let p be a(7). Let w be (-1)/2*(5 - 57). Which is bigger: p or w?
p
Let w = 668 - 680. Let b = 149/3 + -61. Which is smaller: w or b?
w
Let r be 202/(-5)*(-15)/4. Which is smaller: r or 152?
r
Suppose -3*c + 14 = 2. Suppose -p - 2838 = -10*g + 5*g, 3*g = c*p + 1713. Let k be (-279)/g - 2/9. Is -2 less than k?
True
Let a = -765 - -5346/7. Is -1 at most a?
False
Let g = 102 + -80. Does 113/5 = g?
False
Let i = 15579137/891 + -17485. Which is smaller: 0 or i?
0
Let o = 8 + 1. Suppose -2 = 7*m - o*m. Which is smaller: m or -2/27?
-2/27
Let t(f) = -7*f + 6. Let l(b) = 7*b - 5. Let i(p) = -4*l(p) - 3*t(p). Let k be i(1). Let z = -1 - k. Is 5 < z?
False
Let h(b) be the first derivative of -5*b**2 - b + 27. Let s be h(0). Let u be (6/28)/(1/(-2)). Which is smaller: s or u?
s
Suppose -50 = -3*r + 2*r - 4*f, 120 = 4*r - 4*f. Suppose o - 2*z + r = 3*o, 3*o + 4*z = 51. Suppose -3 = -5*w + o. Which is smaller: w or 6?
w
Let u = -312170723/1185 - -263435. Let a = u + 6/79. Suppose l + 12 = -3*l + 4*g, 2*l = 5*g - 15. Is a <= l?
True
Suppose 0 = 4*k - 4, 0 = -5*y + 3*k - 0*k - 28. Let g be