98. Let c = v + j. Is -6 > c?
False
Let l be (-11)/1 - 0/(-2). Let t be l/66 - 2/12. Is 3/29 at most as big as t?
False
Suppose 0 = 37*h - 25*h - 384. Are h and 31 equal?
False
Let r(v) = -v**2 + 20*v - 54. Let o be r(11). Is 45 at least o?
True
Let s = 152 - 155. Which is smaller: -12 or s?
-12
Let n = 24 - 7. Which is bigger: n or 2?
n
Suppose -x - 4*u = 4*x - 80, -3*u = x - 16. Suppose 0*w = -w + x. Suppose w - 15 = f. Which is smaller: 1/2 or f?
1/2
Let p = 2153 + -441372/205. Are p and -1 non-equal?
True
Let g = 1477 - 1430. Is 56 >= g?
True
Let h = -1631 - -1881. Which is smaller: h or 2/9?
2/9
Let i = -146 - -175. Is 2/7 at least as big as i?
False
Let k = -466.0586 - -0.0586. Is k smaller than -2/7?
True
Let y(a) = -27*a + 1041. Let b be y(29). Is 255 < b?
True
Let y(t) = -69*t + 801. Let b be y(12). Are b and -27 nonequal?
False
Suppose 0 = 14*u - 13*u + 103. Which is bigger: -101 or u?
-101
Let x be (-54)/315*28/30. Suppose 2*p + 2 = -0*p. Which is greater: p or x?
x
Let t(q) be the second derivative of q**8/6720 + q**7/840 + q**4/2 + q. Let c(o) be the third derivative of t(o). Let l be c(-3). Which is smaller: l or 2?
l
Let s = -0.3 - -1.3. Suppose -5*q + 12 + 11 = u, 0 = -3*u - 6. Suppose 3*w + 4 = q*p + 2, 5*w - 4 = p. Are w and s equal?
True
Let s = -41 - -14. Let x(w) be the first derivative of -2*w**3/3 + 17*w**2 + 10*w - 4. Let l be x(18). Is s less than l?
True
Let q = 598 - 13159/22. Let b = 1 + -1. Is b less than q?
False
Let s be ((-1)/3)/(4/12). Which is bigger: -5/73 or s?
-5/73
Suppose 41 = -10*g + 1. Let l = 8 + -15. Let d = g + l. Is d greater than or equal to -10?
False
Let m be 1 - (-22)/(-4) - (-8 - -4). Is 45/7 at least as big as m?
True
Let j = 20 + 13.2. Let w = -33 + j. Which is bigger: w or -17?
w
Let l = -4.72 + 1.37. Let h = l - -0.65. Let x = h + 0.7. Which is smaller: x or -1?
x
Let l = -2.1 - -1. Let r = 0.006 - 1.006. Let s = r - l. Are 0.2 and s equal?
False
Suppose -411*x + 404*x + 1932 = 0. Is 273 at most as big as x?
True
Let r = 793 - 794. Which is smaller: r or 0.014?
r
Let w = 2.89 - 2.39. Which is smaller: w or -2/7?
-2/7
Suppose -s - 2*s = -42. Suppose s = -2*c + 4, -3*d = -4*c - 17. Let a be (4*d)/(-2) - 2. Is -2 at least a?
False
Suppose 2*n = -9 + 7. Let v = -1299 - -10637/8. Let k = -10029/328 + v. Does n = k?
False
Let l = 16 + -36. Let u = 2.274 - 4.274. Is u equal to l?
False
Let l(s) = -4 - 2*s**2 + 2*s + 3*s - 52*s**3 - 2*s + 3. Let d be l(1). Which is smaller: -53 or d?
-53
Let a = -0.05 - 0.45. Let h = a - -4. Let j = -1.5 + h. Which is greater: j or -4/9?
j
Suppose 4*m + 60 = 4*g, g - 18 = -m + 3*m. Suppose n + 5*k + 9 = 0, -4*k - g + 5 = n. Let z = -2 + 5. Is n smaller than z?
True
Suppose 0 = 2*m - 3*m + u + 89, 5*u = 3*m - 257. Let s = m - 170. Which is smaller: s or -75?
s
Let w = -237 - -232. Is -10 bigger than w?
False
Let l = 0.5 + 5. Let k = 5 - l. Let g = 782/7 + -112. Which is greater: k or g?
g
Let g(d) = -d - 14. Let u be (0/(1 - -2))/(-2). Let r be g(u). Let b = 235/2 + -132. Which is smaller: r or b?
b
Let q(p) = p**3 + 7*p**2 + 15*p + 14. Let f be q(-5). Which is smaller: f or -10?
f
Suppose -10 = s + h, 4*s + 4*h + 35 = -h. Let k = -51 + 35. Is k less than s?
True
Let c be (-34)/(-8) - 3/12. Let a be 35/10 + 1 - c. Which is bigger: a or 2?
2
Suppose 2*s = -4*m - 26, 2*m + 2*m = -16. Suppose 7 + 5 = -2*w. Which is smaller: w or s?
w
Suppose 5*t + 688 = -j, -23 = -4*t + 3*j - 581. Which is greater: -137 or t?
-137
Let v = -3883/4 + 971. Let h be 1*-1 + (0 - -1). Suppose 3*n - 3 = -h. Is v bigger than n?
False
Let i = 19.9 + -20. Let x be (4 - 26/6)/((-2)/21). Is x not equal to i?
True
Suppose 0 = -x - h - 0*h, 4*x - 5*h + 18 = 0. Let q be -7 + (-9)/(-3) - x. Which is greater: q or -2/3?
-2/3
Suppose 5*d - 10 = -0*f + 5*f, -5*d + 2*f = -19. Suppose 0 = 5*z - 2*u - 50 - 111, -z - d*u = -43. Which is smaller: 35 or z?
z
Let h = -3330 - -3329. Which is bigger: -1/1093 or h?
-1/1093
Suppose 0 = -2*r + 517 + 119. Are r and 318 non-equal?
False
Let l be (-1141)/(-231) - 15/(1 + 2). Which is smaller: 1 or l?
l
Let d = 3904/13 + -3778/13. Let n = d + -10. Which is smaller: 1 or n?
n
Let d = 90185/69 + -1307. Which is smaller: -1 or d?
-1
Let p be (-254)/(-3) - (-8)/12*-1. Let y be (6/9)/(p/(-54)). Is y less than or equal to 0?
True
Suppose -23 = -m - 2*r + 24, -4*m + 2*r = -138. Which is greater: 113/3 or m?
113/3
Let f be 1/(11/(330/36) - 693/(-35)). Let r = -1 - 0. Is r >= f?
False
Let w be (5 + 2)*(-12)/(-60). Let z = 0.24 - 0.34. Which is smaller: w or z?
z
Let n = 887 - 886. Which is smaller: 2/81 or n?
2/81
Let y = -0.17 + 17.17. Which is greater: -3 or y?
y
Let f be (-7)/(35/(-15))*14/(-3). Let d be 4/(-18) + (-1101)/27. Let s = d - -27. Is f not equal to s?
False
Let r be 9/(-69)*(-8 - (-517)/66). Let v be (8/6 + -1)*3. Is v greater than or equal to r?
True
Let m(r) = -r**3 + 4*r**2 - 4. Let z be m(6). Let j = 69 + z. Is -4 at most j?
False
Let s = 20.8 + 111.2. Let f = s - 135. Which is smaller: -0.23 or f?
f
Let f = 229 + -233.2. Let o = -0.02 + -3.98. Let h = f - o. Is 0.5 smaller than h?
False
Let g = 13.33 - 19.33. Is g <= 2/21?
True
Let y = -1332 + 1256. Is -72 smaller than y?
False
Let g = -141 - -56. Let u = 88 + g. Let x be 1 - (2 + 0/1). Which is smaller: x or u?
x
Suppose 5*b - 133 = -2*q + 87, -2*b + 72 = 4*q. Suppose -4*s + 2*z = 6*z + 56, -5*z = 3*s + b. Suppose -5*f - 47 - 13 = 0. Is s at least f?
True
Let s = -1 - 18. Let j = s + 11. Suppose 5 = 2*v - 3*v. Is v at least j?
True
Let i = 5.49 - 5.622. Is i at most as big as 0.02?
True
Suppose -m - 1 = 4*f, -6*m + 4*m + 9 = -3*f. Let x be (-3)/(-2)*44 - (f - 0). Are x and 68 nonequal?
True
Suppose -2*f - 2*h = 12, -3*h = 110*f - 108*f + 17. Let u(p) = p**3 + 4*p**2 + p - 2. Let g be u(-3). Let d be (-6)/g*12/(-117). Which is smaller: f or d?
f
Suppose 24 = 4*t - 4*i, -7 = -2*t + i - 0. Let d be (-1 - 0 - 1)/t. Which is smaller: d or -11?
-11
Let p = 119 + -119.1. Which is bigger: -6.1 or p?
p
Let w = -27 + 29. Suppose 2*l - 88 = -6*l. Which is smaller: l or w?
w
Let r be ((-5)/(-615))/(23/(-6)). Is -1 less than or equal to r?
True
Suppose -7 = 2*w - v, -2*v = -w + 5*w - 6. Suppose 3*d = -j + 58, -4*d + 2*j - 6*j + 80 = 0. Suppose -22*t = -d*t + 9. Is t greater than w?
False
Let u = -2.16 + 0.16. Are 21 and u nonequal?
True
Suppose -2*s = -5*p - 13, -p - 1 = -5*s - 3. Suppose -2*k + k - 12 = 0. Let c = k - s. Is 0.1 equal to c?
False
Let j be -3 - ((0 - 6) + (2 - -1)). Which is bigger: 2/1787 or j?
2/1787
Let p(o) = o**3 - 3*o**2 + 4*o - 2. Let z be p(2). Let n(k) = k**2 - 2. Let a be n(-2). Suppose m - a*m + z = 0. Is m at least as big as 2/3?
True
Let z(s) = -s**3 - 12*s**2 - 11*s + 11. Let b = -12 - -34. Suppose -2*q - b = -0*q. Let j be z(q). Is j greater than 10?
True
Let m(b) = -b**2 + 5*b - 13. Let j be m(7). Let u = j - -27. Which is bigger: 21 or u?
21
Suppose 396 = 38*b - 32*b. Is b bigger than 68?
False
Let c be 2 - (-8 + 5 - -8). Let z = 269 + -820/3. Are c and z equal?
False
Let r = -960.046 - -960. Which is smaller: -6 or r?
-6
Suppose s = -5*l - 81, 4*s - 67 = l + 2*l. Let v = l - -20. Which is greater: 3/2 or v?
v
Let k = 245 + 52. Let i be (-2)/(-9) + (-12)/k. Which is bigger: 1 or i?
1
Let h = -31 - -47. Let v = h - 15.94. Let w = 0.2 + -0.1. Are w and v nonequal?
True
Let j be 1/7 - 1312/(-224). Which is smaller: j or 45/7?
j
Suppose 53 = -3*i - 2*p + 5, -5*i - 5*p - 85 = 0. Let t be (-18)/i + -1 + (-1435)/2450. Let f(r) = -r**3 + 3*r**2 - r + 2. Let a be f(3). Is a less than t?
True
Suppose 15 + 1 = 2*y. Suppose y + 8 = -4*m. Which is smaller: m or -5?
-5
Let f = 0.1 + 0. Let l be ((-28)/(-5))/((-32)/(-360)). Is f > l?
False
Let s = 0.117 - -0.453. Let k = s + -0.37. Which is smaller: k or 8?
k
Let k = -785.1 - -785. Is -3.5 greater than or equal to k?
False
Suppose j + 2*v = 5*j - 426, 0 = 2*j - 4*v - 216. Let w be (428/j - 1) + (-7 - -4). Which is smaller: 0 or w?
0
Let j = -105 + 104.51. Which is smaller: 0.1 or j?
j
Suppose 0 = 3*s + 2*s. Suppose s = -5*x + 22 + 78. Is 20 < x?
False
Suppose -2*d + 2*g = 36, 0 = -d + 2*g - 3*g - 26. Let k = 21 + d. Let i = 3 + k. Is i greater than 8/5?
True
Let b be (-23 + (3 - -2))*20/(-15). Is 24 <= b?
True
Let f(g) = -g**3 + 7*g**2 - 6*g - 3. L