et v = -19.278 - -41.278. Is k smaller than v?
True
Let v = 108 - -268. Let c = v + -379. Which is smaller: c or 19?
c
Let g(d) = d + 30. Let n(b) = 4*b**2 + 3*b - 1. Let q be n(-2). Let s be g(q). Let t be 20/5 + 14/(-4). Which is greater: s or t?
s
Let m = -72.2 - -1358.2. Let y = m - 1346.87. Let k = 61 + y. Is k equal to 1/2?
False
Suppose w + 4*o = 1, w + o - 3 - 1 = 0. Suppose w*t + 3*i + 189 = -78, -2*i = t + 59. Is -53 at least t?
False
Let m be (-68)/340 - (-1)/(12190/8988). Let x = -40/53 + m. Which is smaller: x or 1?
x
Let x be (0/4 - -3) + (-540)/192. Does x = -12?
False
Let j be (2562/16)/(1/(-26)). Let g = j + 4224. Let r = 59 - g. Is r at least -1?
False
Let m(p) = -p**2 - 46*p + 6347. Let q be m(-108). Which is bigger: q or -326?
-326
Let q(j) = 4*j - 8. Let s be (0 - 1)/(1/(-5)). Let l be q(s). Let b = 590 - 576. Which is smaller: b or l?
l
Let y be (-359 - 5)/((-110)/75). Let j = 51606/209 - y. Which is smaller: -2 or j?
-2
Let t(v) = 6*v**2 + v + 1. Let a be t(1). Suppose a = -11*k - 36. Let q be (-26 - 4) + -1 - k. Do -111/4 and q have different values?
True
Let w be (2 - 6 - -7) + 2. Let t be 6/(-16) - ((-26550)/(-5360) - w). Is 0 bigger than t?
True
Let h be (-57)/(-19) + (-4570)/(-8). Let j = -574 + h. Is 26/11 <= j?
False
Let a = 23 + 106. Let h = a - 131. Which is bigger: -57 or h?
h
Let u = -6112 - -6927. Are 3263/4 and u nonequal?
True
Let v = -212.9 - -91. Let c = v - -122. Is c at most as big as 468?
True
Let d = -819/2 - -452. Let h = -704 + 747. Is h smaller than d?
False
Let j = 10497 + -10468.014. Let a = 29 - j. Are a and 0.1 nonequal?
True
Let z = 0.358 - -7.542. Let k = z - 8.9. Which is greater: k or 6?
6
Suppose -w - w = 5*x + 43, 116 = -5*w - 4*x. Suppose 0 = 2*m - 5*m + 18. Let i be 47/w - (6 - 44/m). Is i != 0.2?
True
Let c = 204/5 - 41. Suppose 0 = -w + 2*b + 2, -2*w - 2*b - 4 = -4*w. Let k be 1*w/(-4)*1. Is c != k?
True
Let w be (-18)/(-42) + 66/77*-6038. Is -5175 greater than w?
False
Let y = 0.05495 - 406.05495. Which is greater: y or -4?
-4
Let z(k) = 2*k - 20. Let o be z(7). Let q be ((-4)/o)/(5/(-15)). Let c be ((-15)/(-7) + -3)/q. Which is smaller: 0 or c?
0
Let w(n) = -n**3 - 26*n**2 - 18*n + 188. Let l be w(-25). Which is smaller: 9 or l?
9
Let u = 11694 + -1391596/119. Is u equal to 0?
False
Let u = 328 + -92. Let d = 235.98 - u. Are 11 and d equal?
False
Let c(s) = -s**3 - 106*s**2 + 441*s + 111. Let h be c(-110). Which is smaller: h or 53/55?
53/55
Let l = 6 + -4. Let j = -0.144769 + -5.355231. Is l bigger than j?
True
Let l = -40 - -60. Let t be (-1)/((l/(-8))/5). Suppose -t*g + 7 = 29. Which is greater: -9 or g?
-9
Let g = -2910 + 4893. Let s be 12/(1 - g/2010). Let q = 884 - s. Is -10 < q?
True
Suppose -2*c - 220 = q + 157, 3*q = c - 1117. Is -1497/4 greater than or equal to q?
False
Let r = 2542 + -2526. Is 0.097 >= r?
False
Let m be ((-95)/1140)/((-1)/((-171)/10)). Is 0 greater than or equal to m?
True
Let v be 32/12*-3 + (5 - (-164)/48). Is v <= 0.72?
True
Let x be (1404/120 + 1/(-10))/((-2064)/(-180)). Which is smaller: 1 or x?
1
Let u(q) = q**2 - 4*q - 11. Let i be u(-3). Suppose 6 = i*o - 14. Let d = 899/4 + -223. Is o > d?
True
Let d = 4678 + -4670. Which is smaller: d or 76?
d
Let j = -420409/4 + 106033. Is j not equal to 930?
True
Let c(g) = -12*g**2 + 77*g - 117. Let r be c(4). Is r less than -3/10912?
True
Let n be -29*(4 + 7 + -99). Which is smaller: n or 2554?
n
Suppose 3*l = -2*k + 1, -5*k - 10 = 2*l - 7*l. Let h be (-7 - -3) + 2 + (25 - -5). Let p be (-3 - h/(-16)) + (-1)/(-4). Is l at most as big as p?
False
Suppose 96*z + 24590 = -46022 - 39308. Which is smaller: -1151 or z?
-1151
Suppose -7*d + 1861 = 447. Suppose d = -6*b - 146. Is -117/2 at least as big as b?
False
Let i = -4/2391 + 185968/797. Let v = -231 + i. Suppose 0 = 45*n - 3*n - 126. Which is bigger: n or v?
n
Let i = -95 + 126. Suppose -o - 379 = 3*g, g - 4*o + 91 = -i. Are g and -126 nonequal?
False
Let q be (1 - 4)*((-270)/(-27) + (-203)/21). Which is smaller: -1/84 or q?
q
Suppose 0 = 10*w + 32 - 392. Suppose 5*y = -4*y - w. Do y and -5 have the same value?
False
Let o = -27 + 29.8. Let l = 0.106 - -2.654. Let t = l - o. Are t and 0 nonequal?
True
Let k be (21 - 0)/21 - 4730. Is -4727 equal to k?
False
Let w = 16554/55 + -301. Suppose n = -0*n + 5. Suppose 2*z - 4 = -5*v - 2*z, 0 = 5*z - n. Is v bigger than w?
True
Let o = -1914.16 - -1915. Is 13/2 at most as big as o?
False
Let c = 19067 - 19068. Is 0.00053 bigger than c?
True
Let r(j) = -5*j + 24. Let y(h) = 6*h - 24. Let f(s) = -5*r(s) - 4*y(s). Let k be f(21). Let a be 14/21 + 23/k + 2. Does a = -4?
False
Let o be 8 + -4 - (5 + -16 + 0). Let z = o - 108/7. Is 0 < z?
False
Let c = 13017 - 11913. Which is smaller: c or 5518/5?
5518/5
Let v = -666 + 662.71. Let x = 3.09 + v. Is x less than 112?
True
Let n(l) = l**3 + 9*l**2 - 13*l - 11. Let x = -719 - -710. Let k be n(x). Is k greater than or equal to 322/3?
False
Let n(r) = -7*r**3 + 2*r**2 + r - 1. Let o be n(-3). Let t be (-4)/18 + (-209)/396 - (-1638)/8. Is o less than or equal to t?
True
Let p = 140 - 138. Suppose -4*b - 11 = -7*b - p*s, b - 9 = -2*s. Are b and 3/5 equal?
False
Let j be 249021/(-575836) - (2/8 + -1). Which is bigger: 0 or j?
j
Suppose -7*a = 169 - 50. Let y = -21 + a. Let u = -68 - y. Which is smaller: u or -29?
u
Let a(c) = c**3 - 20*c**2 - 6*c - 55. Let l be a(20). Let g = 124 - l. Which is bigger: g or 0.1?
g
Suppose 152 - 1102 = -10*f. Let z = -55 + f. Which is smaller: 42 or z?
z
Let t be ((-35)/(-5) - 5) + -8. Let b(a) = -21*a - 19. Let q be b(t). Let k = q + -105. Are k and 3 unequal?
True
Let w = -0.042 - -95.042. Let q = -84.1 - -178. Let x = q - w. Which is greater: x or -1/2?
-1/2
Let o = 6 - 5. Let u be (9 - o)/(-2) - -54. Suppose 33*w - 15*w = 900. Are u and w unequal?
False
Let a be 2/(-2 - -3 - 3). Suppose 3*z + 2414 = h, -2*z = -0*z - h + 1610. Let k be (-90)/z*-54 - -6. Which is smaller: k or a?
a
Let z(t) = t**3 - 19*t**2 - 61*t + 494. Let g be z(10). Which is greater: g or -1015?
-1015
Let b = 174 - 91. Let f = b + -83.1. Let t = 13.8 - -1.2. Is f at least t?
False
Let b = -91.1 + 91. Let w = -2.203 - -2.079. Which is bigger: w or b?
b
Let c(g) = -g**3 - 52*g**2 - 202*g - 17. Let p be c(-49). Is p not equal to 2679?
True
Let t(q) = 13*q - 2. Let i be t(11). Suppose 144*a = 76*a + 76*a. Which is smaller: a or i?
a
Let g be 3*2*(-3)/(-18). Let c be (2/(-5))/(g/(-5)). Let r = -0.0841 - -6.0841. Which is bigger: c or r?
r
Let r be 48/237672*42/(-4). Does 1 = r?
False
Let n = 129 + -49. Let g = 87 - n. Which is smaller: g or -0.5?
-0.5
Let r be 4 - (5/25 + 4956/1295). Which is bigger: -1 or r?
r
Let u = 1699.38 - 1651. Let m = u - 48. Let z = 0.28 - m. Which is smaller: z or 5?
z
Let v = -703 + 733. Which is smaller: v or -0.09?
-0.09
Suppose 5*c - 28 = 4*o, c = 2*c + 4*o + 4. Suppose 4 = c*x - 3*r, 4*x + 4 = r - 0*r. Let d be (x*(-4)/44*2)/2. Is 0 bigger than d?
False
Let n = -6 - -8. Let m = 56783.5 + -56787. Which is bigger: m or n?
n
Suppose 3*m - z + 54 = 2*z, 0 = -3*m + 5*z - 58. Let i = 17 + m. Is i greater than or equal to 3/5?
True
Let i = 42 - -37. Suppose 31 = -4*q + i. Let o be 2/(-10) - (-3)/q. Is o != 0.1?
True
Let y(j) = -j**2 + 13*j - 36. Let g be y(5). Let h be (9 - (-365)/15) + g/(-6). Are h and 33 non-equal?
True
Let o(p) = p**3 + 13*p**2 + 2. Let j be o(-13). Suppose -j*z = 2*t, -2 - 1 = -4*t - 3*z. Let b be ((-2)/(-3))/(8/(-284))*t. Are b and -71 nonequal?
False
Let d be (10046500/(-1862545))/(-4) - 5 - -3. Let y = 3/8663 + d. Which is smaller: y or -2?
-2
Let l be (-2 - 12)*(-81)/63. Is 99 equal to l?
False
Suppose 73198 = -236*r - 99085 - 48141. Which is greater: r or -944?
r
Let l = -149 + 2237/15. Suppose 0 = -4*z + 13*z - 288. Let s be ((-1)/((-2)/6))/((-96)/z). Is s < l?
True
Let c(k) = -12*k + k**3 + 1 + 3*k**2 + 4 - k**2 - 17. Let x be c(-4). Which is smaller: x or -52?
-52
Let w be 28790922/38805 - (-4)/(-10). Which is bigger: w or 742?
742
Let t be 32 - 24 - ((7 - 5) + 4). Which is bigger: 69/38 or t?
t
Suppose -k - 4*d - 7 = 0, -5*k - 5*d - 54 = -4*d. Let q = -121 + k. Let x be 12*((-123)/q - 1). Is -2 smaller than x?
True
Let y(n) be the second derivative of -4*n**3/3 - n**2/2 + 3*n - 9. Suppose -1 = 2*x - x. Let d be y(x). Which i