Is u at most -17?
True
Let n = 47 - 184. Let t = -137.064 - n. Is t at most -1/2?
False
Let p = 23 - 1. Suppose 5*i + 5*r = 40, 5*r - 36 = -7*i + 3*i. Suppose i*m + 14 + p = 0. Is -9 at most as big as m?
True
Suppose 5*o + 11831 = 2*s, 72 - 51 = -3*s. Which is smaller: -4739/2 or o?
-4739/2
Suppose 0 = h - 12 + 10. Suppose h*c + 24 = 5*c. Let i be 1/(-2) - (-1 + (-28)/c). Is -1/4 bigger than i?
False
Let a be (1 - (2 - -20))*(-1330)/(-285). Which is bigger: a or -2/3?
-2/3
Let a(h) = h**2 + 5*h. Let z be a(-3). Let d be -7*(1 + 4 + z). Is d smaller than 46/7?
False
Let m = -34 + 33. Let v be 10 + (0 - 1) + m. Suppose -5*n + 3 = -2*b, v - 1 = -3*n - b. Which is smaller: n or 14/3?
n
Let b = -271829 - -1908446/7. Which is smaller: b or 806?
806
Suppose 65*j - 24*j - 84009 = 0. Which is bigger: j or 2047?
j
Suppose -30 = -204*o + 209*o. Let g(a) = 3*a**3 + 19*a**2 + 5*a + 5. Let j be g(o). Suppose 15*p = j*p. Is -2 >= p?
False
Let z = -1.21 - -0.21. Let k = z - -0.99. Is k <= -1/4?
False
Let j = 194 + -196. Let r(q) = -2*q**2 - 3*q - 4. Let x be r(j). Is x != -7?
True
Let v = 1.0975 + -3.0975. Is v greater than 15?
False
Let b(g) = g**3 + 67*g**2 - 90*g - 1869. Let u be b(-68). Which is smaller: -365 or u?
u
Let h = 20361.01 - 20361. Let f be 524/7410 + 2/(-5). Let n = -10/57 - f. Which is bigger: h or n?
n
Let l = -11424.2 + 11424. Are 1844 and l nonequal?
True
Let m(j) = -2*j - 23. Let d be m(-13). Suppose 2*h - 163 = -h + 2*u, 191 = d*h + 5*u. Let p(a) = a + 50. Let o be p(7). Are o and h unequal?
False
Let r be 1*74/(-4)*2. Let m be (284/8)/(-182 - -181). Is m at least as big as r?
True
Suppose 3*u = -4*y + 5171 - 1044, 2*y - u = 2061. Suppose -24*m + y + 529 = 0. Which is greater: 66 or m?
66
Let r(p) = p**3 - 8*p**2 - 9*p - 12. Let b be r(9). Let q = 11 + b. Which is bigger: -2/3 or q?
-2/3
Let c = 1993567/3081474 - 255/394. Are -1 and c equal?
False
Let a(n) = -n**3 + 16*n**2 - 13*n - 15. Let s be a(15). Let f be s*(6/9 + 0). Suppose 3*u - 48 = -u. Is f != u?
True
Let k be (12/(-1047))/2*(-3)/117. Is 0 at least as big as k?
False
Let a be (-178)/(-51) + (-98)/147. Which is greater: 4 or a?
4
Suppose -5*m + 16 = 3*m. Suppose -c + 0*f + 10 = -2*f, 3*f = -m*c + 20. Let q(i) = -3*i + 29. Let k be q(c). Which is smaller: k or 2/115?
k
Suppose -q - 3*q - 3*l - 15 = 0, 5*q + 20 = -4*l. Suppose q = 3*j + 11 + 1, 0 = a + 2*j - 212. Which is smaller: 219 or a?
219
Let c be 3363/(-133) + (-16)/(-7). Suppose -5*y - 3*t + 5 = -9, 0 = -y + 2*t - 5. Is c at most as big as y?
True
Let n = 17 - 0. Let f = -6.6 + n. Let v = f + -4.4. Which is smaller: v or 2/3?
2/3
Suppose q + 12 = 4*g, 0 = 5*g - 2 - 18. Suppose 10*u - 3*u = -3*u. Which is smaller: u or q?
u
Let l(q) = 3*q**2 - 18*q - 2. Let u be l(8). Suppose -26*x - u = -3*x. Which is greater: 0.11 or x?
0.11
Let v = 11827 + -11827. Which is bigger: -3/3572 or v?
v
Suppose 63*q = 61*q - 3*l - 25, q + 3*l + 14 = 0. Is q bigger than -160/13?
True
Let x = 105101/490626 + -61/281. Which is bigger: x or 1?
1
Let g = 869 + -867. Which is greater: -14/11 or g?
g
Let f(v) = -5*v**3 - 37*v**2 + 20*v - 21. Let q be f(-8). Is q > 11/9?
True
Suppose 0 = 5*o - 9 - 6. Suppose -5*c + 0*h + 5*h - 40 = 0, o*c = -3*h - 48. Which is bigger: c or -66/5?
c
Let i(m) = -52 - 168*m - m**3 + 26*m**2 + 154*m - 8*m**2. Let w be i(17). Does w = 2/93?
False
Let p = 92929/13 + -7149. Let f(d) = d**3 + 8*d**2. Let b be f(-8). Let j be (b - 2) + 21/12. Which is smaller: p or j?
p
Let j(l) = -80*l + 2. Let y be j(-3). Let w = 6943 + -6700. Is y equal to w?
False
Let d = -3.7293 - -3.8363. Is d equal to -1/28?
False
Let r = 225486/79 + -15442383/5056. Let f = r + 200. Let z = 52293 - 52294. Is z <= f?
True
Suppose -5*r + 3*p + 0 = 5, -5*r + 20 = 2*p. Suppose -2*t - r - 2 = 0. Let q(k) = k**3 - 8*k**2 - 11*k - 242. Let l be q(11). Is t >= l?
False
Suppose 57*l = 30*l + 756. Is 307/11 at least as big as l?
False
Suppose i - 5 - 4 = 0. Let m(l) = l**3 - 9*l**2 + 4*l - 30. Let c be m(i). Let q(a) = -a**3 + 7*a**2 - 7*a + 8. Let g be q(c). Which is bigger: g or 1/3?
g
Suppose -5*a = 5, -3*q - 14 = 3*a - 35. Let x be 80/6 - (120/(-9))/q. Are 15 and x equal?
True
Let y be ((-28)/7)/(2/87*9). Let k = 736/39 + y. Let d = 2374/11 - 216. Is k != d?
True
Suppose -3*d = 9, 7*d = 2*i + 9*d. Suppose -8*t + 11*t = -3*y + 165, 0 = 4*y + i*t - 216. Which is greater: 48 or y?
y
Let f be -86*1*(-1)/2. Let u = 44 - f. Let b be (-3 + u - -2)/2. Which is smaller: 4 or b?
b
Let r(l) = 2*l**2 - 22*l - 160. Let q be r(16). Is q less than 8/39?
True
Let f(x) = -x**2 - 5*x + 11. Let h be ((-6)/(-4))/1 + 38/(-4). Let p be f(h). Is p at most as big as 0.04?
True
Suppose 2*w - 16002 = 7*w - q, -3*w + 3*q = 9594. Let a be -1 - (12/(-42) - w/7). Let u = a + 19692/43. Which is greater: 1 or u?
1
Let b be (2 + 1)/(11 + -3 + 1244/(-156)). Which is smaller: b or 586/5?
b
Let m = 1208.7 - 1209.7. Which is smaller: 1.1688 or m?
m
Suppose 2*p = c - 641, 5*c - p - 2*p = 3212. Let z = c + -1969/3. Which is smaller: z or -13?
z
Let o = 1.3479 - -46.6521. Which is bigger: -18 or o?
o
Suppose -5*a = 3*v + 49, 4 = 5*v - 3*v. Let f be -2 - a*1 - -1. Suppose 2478*l + 30 = 2481*l. Is l smaller than f?
False
Let b = 3204 - 3034. Which is greater: b or 169?
b
Let p(r) = -36*r + 112. Let k be p(3). Let a be (-3 - (-13)/2)/(2/k). Which is smaller: a or -17?
-17
Let m(j) = 1674*j - 10043. Let f be m(6). Which is smaller: 2/32199 or f?
2/32199
Let h = -532 + 538. Let j be (h/64)/((-24)/(-32)). Which is smaller: 1 or j?
j
Let d = 33923.9 - 33924. Which is greater: 64.07 or d?
64.07
Let a = -72979/3239322 - 5/5426. Which is smaller: a or 1?
a
Let w = -3520.3 - -3372. Let h = w - -108. Is -1 less than or equal to h?
False
Let z = -12.3 - -168.3. Let b = -161 + z. Which is smaller: b or 7?
b
Let i(x) = -373*x + 49. Let p be i(2). Let a = p + 608. Which is smaller: -269/3 or a?
-269/3
Let s(t) = 4*t**2 + 9*t - 13. Suppose -19 = 3*o + 8. Let k be s(o). Let y = 6209/27 - k. Which is greater: y or 0?
0
Suppose 4*g + 3*z - 333 = 0, 3*g - 377 = 5*z - 91. Suppose -91*s + g*s + 200 = 0. Is s greater than 50?
False
Let b(f) = 14*f - 37. Let q be b(3). Let c = 4 + 21. Let i = -19 + c. Which is bigger: q or i?
i
Let w = -991 - -997. Is w > -9?
True
Suppose -276628 = -151*d + 107*d. Which is greater: -2 or d?
d
Suppose 275*d - 8088 = 267*d. Let g = -951 + d. Which is greater: g or 530/9?
g
Let d = -68 - -67.932. Let w = -0.072 - d. Let v = 1.004 + w. Which is greater: 8 or v?
8
Let j(z) be the first derivative of z**3/3 - 3*z**2/2 - 4*z - 7. Let c be j(4). Let w be (-4)/(-36) - 54/(-243). Is w greater than c?
True
Let w = 62193/29393 + 3/1729. Let g = 1099/527 - w. Which is smaller: 0 or g?
g
Let s = -499 - -1137. Suppose 2*g + 626 = -i, 4*i - 9*i + s = -2*g. Do g and -314 have different values?
False
Let m be (630/5)/(-9) + 8. Let q be -764*1/(-12) + 4/m. Which is greater: 123/2 or q?
q
Suppose 0 = -v - 5*u - 22, 3*u + 8 + 6 = -v. Let i be 4 - (2/7)/((-2)/196). Is v < i?
True
Let x = -527 + 594. Suppose -x*p + 66*p = 1. Which is bigger: 2/1123 or p?
2/1123
Let c = -4847 - -5089. Is 275 less than or equal to c?
False
Let h = -9259 + 9258.799. Is h >= 0.9?
False
Let k = 10115/6302 - 37/23. Let q = -297/6302 - k. Suppose -4*c - 5 = 5*b, 0*b = -3*b - c - 3. Is b >= q?
False
Let g = -0.657 + -0.043. Let n = -0.7 - g. Let b = 51.3 - 52.8. Is n equal to b?
False
Let q be (50 - 49)*(86 - -1). Let z = q - 86. Do -2/619 and z have different values?
True
Suppose -3*h + h + 3*x + 119 = 0, -263 = -5*h - 4*x. Suppose -2*n + h = 4*z + n, 12 = -4*n. Suppose 10*y = z*y - 24. Is -0.5 at least as big as y?
False
Let b = 0.008713 + 99.225287. Let t = 0.914 - b. Let c = -99 - t. Which is smaller: c or -1?
-1
Let a = -58.657 + 63.857. Let w = -0.8 - 0.2. Are a and w nonequal?
True
Let p(u) = -u**2 + 100. Let n be p(11). Let s be 10/(-70) + (-6702)/n. Is s greater than or equal to 320?
False
Let b(l) = -56 - 6*l**2 + 3*l + 62 + 0*l**2. Let v be b(-2). Let g = -24 - v. Do g and 2 have the same value?
False
Let y = -23 - 79. Let v = -150 - -68. Let h = y - v. Which is bigger: h or -0.3?
-0.3
Let h = -17 - -4. Suppose -2*y - 288 = 5*b - 78, 0 = 5*y. Let c = -57 - b. Is c bigger than h?
False
Let x = 1/81020 - 405273/14016460. L