e 8/14 + 48/(-56). Let k(w) = -2 - 5*w + 2*w - 20*w**2 + w + 1. Let r be k(-1). Is a less than r?
False
Let m(n) = -n**3 + 5*n**2 + 2*n - 7. Let a be m(5). Let h be 10/(-2 - a) + 2. Is -2/5 less than h?
True
Suppose -5*c - 49 = -d, 5*d - 36 + 16 = 0. Suppose 0 = -5*f + 7 + 18. Is c equal to f?
False
Suppose 5330 = -28*q + 15*q. Is q bigger than -0.2?
False
Let u be (-1032)/(-495) + -1 + 8/44. Is 2 bigger than u?
True
Let o be -3 - ((-643)/5 + -2). Let z = o + -127. Are 0 and z equal?
False
Suppose 3*h + 18*h = 336. Which is smaller: h or -2?
-2
Let v = 0.645 - 6.645. Which is smaller: v or -4/17?
v
Suppose 4*j = -5*b - 195, -j + 2*b + 186 = -5*j. Let m = 53 + j. Which is smaller: m or 0?
0
Let v = 1512 + -75591/50. Let q = v + -193/100. Is -3 < q?
True
Let u = -5/3 - -23/12. Suppose -6*g - 4*w - 20 = -2*g, 0 = -4*g - w - 20. Let t(c) = c**3 + 4*c**2 - 6*c - 6. Let i be t(g). Are u and i non-equal?
True
Suppose 5*b - 5 = -3*f, 2*f - 4*b = -7*b + 3. Let d = 107603 - 1397944/13. Let c = -69 + d. Which is smaller: c or f?
c
Let u = 125 + -128. Is u greater than or equal to -27/8?
True
Let z = -1847980/11 - -167804. Suppose 219 = -5*i - 751. Let t = z - i. Are 0 and t nonequal?
True
Let b = -147 + 147. Which is greater: -9/29 or b?
b
Let g be (-5 + 4)*(-6)/(-18). Let m = -5 + -2. Let z = m - -4. Is g not equal to z?
True
Suppose -2*d + 7*d - 30 = 0. Suppose d = g + 2. Let p be -1*((7 - g) + -2). Which is smaller: p or 4/9?
p
Let o = -73 + 66. Which is greater: -4/9 or o?
-4/9
Let k be (-2)/4*-5*-1. Let i(a) = a**2 + 14*a - 35. Let o be i(-16). Is o > k?
False
Let y = -11.61 + 11.6. Which is greater: -0.7 or y?
y
Let c be 3/(-15) - 12018*(-5)/(-38675). Let q = c + -1/91. Are q and -3 nonequal?
True
Suppose -c = 2*t - 10, -2 = -5*c + 4*t - 8. Suppose 3*a = -15, 3*o + c*a = 6*o - 22. Suppose -1 = o*d - 13. Is d <= 5?
True
Let f = 3.17 + 0.83. Which is bigger: 18 or f?
18
Let q = -16 - -73. Suppose -4*m + q = 1. Let s = m + -15. Is -2 at least as big as s?
False
Let m = -2.122 - -0.222. Are 1 and m unequal?
True
Let g(v) = -3*v**3 + 33*v**2 + 35*v + 11. Let s be g(12). Which is smaller: -1/4481 or s?
s
Let o be 14/(-77) - -109*(-2)/11. Let h be 2/((-16)/o)*(-16)/(-580). Is h > 1?
False
Let a = -61.25 - 0.65. Let w = a - -62. Is w > 7/5?
False
Let h = 0.716 + 2.174. Is h at most -0.2?
False
Let h be 1*-8 - 2 - 420/(-70). Does h = 15/16?
False
Let p = 41 + -38. Suppose 0 = -18*b + 15*b - p. Which is smaller: 8/25 or b?
b
Let r = 1780 + -1309. Which is bigger: r or 470?
r
Suppose -4*v - 14154 = 38*v. Are -335 and v equal?
False
Suppose -2*s = 107 - 87. Let b = 11 - 9. Is b at most s?
False
Suppose 2*q - 2*j = -6*j - 86, 3*q + 89 = 4*j. Let y = -31 - q. Is y > 2?
True
Suppose 2*i - 10 = 0, -5*i - 29 = -2*t - 8*i. Which is bigger: t or 58/7?
58/7
Suppose -2*c + 3*c - 2 = 0. Suppose -c*m + o - 1 - 3 = 0, 8 = 5*m + 2*o. Let v be (-6)/63*(-18)/4. Which is greater: v or m?
v
Let n = 2 + 1. Let s = n + -4. Let v = 39 - 21. Is v != s?
True
Let u be (1372/63 - 22) + 214/2178. Which is bigger: 1 or u?
1
Let t(m) = 5*m - 4*m - 11 - 2*m + 15. Let v be t(4). Which is greater: 2 or v?
2
Suppose o = 3*o + 6. Let y = o + -85. Let f be 1/3 - y/(-12). Is -6 at least f?
True
Let o = 11 - 12. Let b = -4 - -3.91. Is o greater than b?
False
Suppose -23*u - 650 = -10*u. Which is greater: u or -3?
-3
Suppose -156 = -4*l + 4*h + 20, -l = h - 36. Which is bigger: 49 or l?
49
Let a = -5038 - -95747/19. Which is smaller: a or 1?
1
Let q = -37.4 - -35. Let o = q - -2.5. Suppose -5*l - 21 = 9. Which is smaller: l or o?
l
Let d = -17.1 + -3.9. Let l = d - -21. Let j = -0.037 - 0.233. Which is smaller: l or j?
j
Let k(b) = -b**2 + 4*b - 4. Let i be k(4). Let a be ((-2)/i)/((-1)/12). Let v(m) = m + 11. Let g be v(a). Do 6 and g have different values?
True
Suppose 2*d - 3*d = -5*q + 12, 3*d = -5*q + 24. Let i(w) be the first derivative of -w**2/2 - w - 6. Let g be i(d). Are -2 and g equal?
False
Let s = 197.4 - 197. Which is bigger: s or 5/4?
5/4
Let x be (-890)/45*-3*(-3)/(-2). Which is bigger: 88 or x?
x
Let b = 4/357 - 16474/4641. Which is smaller: b or -4?
-4
Suppose 3*u + 29 - 14 = 0. Is -57/10 at most as big as u?
True
Let n = -30.2 - -27. Let k = 3.6 + n. Is k greater than or equal to 2/13?
True
Let i = -8216/3 + 2811. Is i bigger than 71?
True
Let l = -41 + 41. Which is greater: -5/28 or l?
l
Let g be (-3)/((-12)/(-20))*18/16. Which is bigger: -5 or g?
-5
Let x(c) = -c**3 + 64*c**2 + 499*c + 23. Let l be x(-7). Let h = 11 + -7. Which is smaller: l or h?
h
Let u = -1330 + 1323. Is 2 at most as big as u?
False
Let m = 0.531 - 0.831. Let r = -0.3 + 0.4. Do m and r have different values?
True
Let k be ((-1880)/(-282))/((-1)/3). Do k and 16 have different values?
True
Suppose q - 16 = -2*p, 0 = -2*q + 2*p + 4 - 2. Let g = -8 + q. Let i be ((-1)/8)/(g/(-4)). Is 6 greater than or equal to i?
True
Suppose -5*h - 6 = j, -2*j - 3*h - 54 = -7*j. Let n be (j/(-12))/3 - (-5)/20. Does n = 2/9?
False
Suppose 761*t = 765*t + 4. Is t > -4/21?
False
Let x(l) = -8*l + 11. Let k = -66 + 69. Let u be x(k). Which is greater: -12 or u?
-12
Let p = 502 - 516. Which is smaller: p or 4?
p
Suppose 179*x = -4 - 175. Let s = 4 + -7. Let l be (s/2 + -1)/3. Which is bigger: l or x?
l
Let v = 27 - 23. Let p = 14 + v. Which is smaller: 0.1 or p?
0.1
Let x = -182 - -385. Is 203 at most as big as x?
True
Let g be (-16)/(-96) + 1996/(-168). Is -2 bigger than g?
True
Let i = 34929/53 + -659. Let a be (-6)/(-96)*-926 - (-2)/(-16). Let g = a - -57. Which is smaller: i or g?
g
Let x = 21 - -28. Let s = -52 + x. Is s <= -0.6?
True
Let s = 24.4 + -22. Let p = -0.4 + s. Suppose 3*a - 3 = 3*z, 3*a - 252 = -243. Is p > z?
False
Let g = 1058 + -1069. Which is bigger: g or -0.2?
-0.2
Let s = -18 + 26. Let u be 45*13*(-14)/(-910). Is u at most s?
False
Let y be (-5 + 4)/(1/(-28)). Let t = y - 19. Suppose -5*q = -2*o - 49, -t - 6 = -q + 3*o. Is 11 at least as big as q?
True
Let q be (-5)/(-25)*-2*(-5)/7. Let w = 0.2 - 1.9. Which is smaller: q or w?
w
Let m = 1.9 - 1. Let n = m + 0.1. Suppose 15*w - 5*v - 12 = 17*w, 3*w + 2*v - 4 = 0. Is n at most w?
True
Let v = -19534 - -22444564/1149. Is -1 <= v?
True
Suppose 3*w = 2*t + 6, 0*w = 3*t + 5*w - 10. Let l(p) = -2*p + 19. Let a(y) = -3*y + 20. Let u(g) = -5*a(g) + 6*l(g). Let n be u(-5). Which is greater: t or n?
t
Suppose -2*q - 1 = n, 14 = 5*q - 0*n - 3*n. Let w be q - (-3)/((-15)/14). Suppose -z + 6*z - 15 = 0, 0 = 2*a + 2*z - 2. Which is bigger: w or a?
w
Let j(o) = 3*o**2 + 40*o + 133. Let s be j(-6). Are s and 1/194 equal?
False
Let o = -57 + 105/2. Suppose -3*l - 18 = -4*s + 10, 3*l + 2*s = -4. Is o greater than l?
False
Let l(k) = -4*k - 11. Let s be l(-2). Let y = 0.1 - -0.1. Let u = y - 0. Which is smaller: u or s?
s
Let j = -0.99 - -1.05. Let r = -0.06 + j. Which is smaller: 6/7 or r?
r
Let u = 391 + -675. Let a be 18/(-117) - u/(-13). Are a and -23 unequal?
True
Let o = 0.4 + -0.4. Let h = 50.08 - 50. Is h smaller than o?
False
Suppose -3*j = -7 + 4. Let l(m) = -m**3 - 1. Let p be l(j). Is 9 >= p?
True
Let r = 5879/60 + -492/5. Let v = 116 + -115. Which is greater: v or r?
v
Suppose 45*f = 56*f - 88. Is 13 < f?
False
Let o(d) = -2*d**3 - 10*d**2 + 4*d - 22. Let z be o(-6). Is z less than 23?
False
Suppose 4*n = 2*z - 2, 5*z - 2*z = 15. Suppose -3*b = -n + 14. Is b greater than -5?
True
Let k be (-2 + 4*1)/2. Let o be (-1 - (-2)/8) + 15/4. Let h be o/k - (-6 + -17). Which is greater: 0 or h?
h
Let a = 689 - 689. Let u = -2.1 - -2. Let s = 0 + u. Is s > a?
False
Let y = 33 - 30. Suppose 50 = 2*b - 2*o - y*o, 3*o = -12. Let t be b/(-5) - 7/(-3). Which is greater: t or -2/7?
-2/7
Let o be (-194)/(-9) - 26/117. Let c = o + -22. Is 9 bigger than c?
True
Let n = 2891 - 2890.9. Which is smaller: n or 528?
n
Let a be 120*20/(-855)*-129. Let g = -362 + a. Which is smaller: 0 or g?
0
Let y(k) = 7*k**3 + 9*k**2 + 2*k + 4. Let l(z) = 8*z**3 + 9*z**2 + 3*z + 3. Let d(q) = -5*l(q) + 6*y(q). Let g be d(-5). Are 4/15 and g nonequal?
True
Let k = 418 + -7107/17. Which is bigger: k or 1?
1
Let x be 1 + 0 - (-10 - -11). Suppose x = -46*q + 47*q + 19. Which is bigger: q or -20?
q
Let u(j) = 4*j**2 - 58*j + 27. Let l be u(14). Is l at least -3.7?
True
Let u(x) = -x**3 - 4*x**2 - 4. Let 