. Let u = l - i. Is -19 at least u?
False
Let q = -718 - -405. Let g = -312.4 - q. Which is bigger: -0.1 or g?
g
Let o be 20/(-36)*3 + (-7174)/(-1734). Suppose 7*h - 2*h - 17 = 3*m, 4*m = 3*h - 8. Do o and m have different values?
True
Let z = -9757 + 9758. Which is smaller: -91/187 or z?
-91/187
Let o = -2382 - -1670. Let a = 247 + o. Let j = a - -5111/11. Is 1 equal to j?
False
Let j be (-1)/4 + (-5)/(-4). Suppose -19*u = -57 + 19. Let x be 616/330*(1 + (-1)/u). Which is bigger: x or j?
j
Suppose 0 = -2*m - 2*z, 2*z = -4*m + 4*z. Let d = -1361 - -1368. Do m and d have different values?
True
Let v = -3115 + 307. Which is greater: -2807 or v?
-2807
Suppose -51*j = -22*j - 3799. Let q = 51 + j. Do q and 182 have the same value?
True
Let o = 64 - 24. Let b = 40 - o. Let i be -1 + -2 - -2 - b. Is i at most as big as 26?
True
Let s be 5/(4280/6008) + -7. Let v(y) be the second derivative of y**3/6 - 5*y**2/2 - 2*y. Let n be v(5). Which is bigger: n or s?
s
Let o be (2/(-28))/(14/8). Let m = -1.7013 - -5.7013. Which is smaller: o or m?
o
Let o be 12/90 - ((-25386)/90 + (-27)/45). Which is bigger: o or 284?
284
Suppose o = 5*f + 30, 2*f = -f - 5*o + 10. Let s(k) = k**3 + 8*k**2 + 6*k + 3. Let u be s(f). Let h = u - 48. Is -2/31 less than or equal to h?
True
Suppose -2*g - 2*m = 10, 5*g = -4*m - 0*m - 21. Let p be (g/9)/(-1 - (-42)/36). Which is smaller: p or -0.456?
p
Let z(g) = -g + 9. Let k(n) = 2*n - 19. Let v(x) = 2*k(x) + 5*z(x). Let a be v(-1). Let j be (20/(-15))/((-4)/30). Which is bigger: j or a?
j
Let y = 4453 + -4410. Is y at most as big as 5/19?
False
Suppose -4*z = 4*i - 60, -5 = z - 3*i - 0*i. Let b be (-4*1)/(z + -8)*3. Which is smaller: -7 or b?
-7
Suppose 6*r + 10903 = 10915. Which is bigger: r or 69/94?
r
Let r be 30/(-8)*16/(-28). Let z = r + -171/70. Let g(x) = 67*x - 1875. Let f be g(28). Is f < z?
False
Let z(f) = -46*f + 642. Let l be z(14). Suppose 3 = 5*j - 2. Let w be (j/44*l)/(-4). Are w and 1 equal?
False
Let p = -1/1086 - -545/2172. Which is smaller: -469/4 or p?
-469/4
Suppose n = -20 + 24, -y + 5*n = -124. Let w be ((-2)/120)/(2352/y). Which is smaller: w or 1?
w
Let o = -23130 - -69388/3. Is o smaller than -0.1006?
True
Let p = -1.135 - -1.235. Suppose -1 = -5*o - 11. Let d be (o/20 - 0)*1. Are d and p nonequal?
True
Let w(j) = j**3 - 40*j**2 + 45*j + 87. Let c(v) = 2*v**3 - 81*v**2 + 89*v + 174. Let g(b) = -4*c(b) + 7*w(b). Let t be g(43). Which is smaller: 2/45 or t?
t
Let v(c) = -84*c + 2641. Let l be v(41). Which is greater: -807 or l?
l
Suppose -5*o + 19 = -61. Suppose -3*g - 5*i = 0, -3*g + 2*g + 3*i = 0. Suppose g*b + 2*b = 28. Is o not equal to b?
True
Let d be (-474)/42 - -9 - 2/6. Which is smaller: d or -4?
-4
Suppose -492132 + 121992 = 60*s. Which is greater: -6170 or s?
s
Let f(c) = -c**3 - 10*c**2 - 18*c - 10. Let k = 38 + -46. Let j be f(k). Let u be ((-8)/(-12))/((-2)/j). Which is smaller: u or 5?
u
Let h be (-30 - -34)/((-6)/(-185)). Let j = h + -123. Let c = 3.2 + -3. Which is greater: j or c?
j
Let i(b) = b**2 + 2*b - 21. Let l be i(-6). Suppose -l*f + 16 = 55. Let u = 13 + f. Which is smaller: u or 15/14?
u
Let m = 2015831/603 + -3343. Let j = -355 - -354. Which is greater: m or j?
m
Let u(i) be the second derivative of -i**5/20 - 5*i**3/6 - i**2/2 - 37*i. Let m be u(-2). Suppose 7*b - 2*b - 90 = 0. Which is smaller: b or m?
m
Suppose -5*i + g - 79 = 0, i + 0*g = 5*g - 11. Let u be i/16*(1 - 1). Is -2/1073 at most as big as u?
True
Suppose 0 = 95*d + 17*d. Is d less than -2/357?
False
Suppose 1 + 33 = 3*l + 5*u, l = 2*u - 7. Let x(d) = -2*d - d**3 + 3*d**l - d - 3*d**3 - 4*d**2 - 1. Let m be x(-3). Is 3/23 greater than or equal to m?
True
Let h be (-3)/((-81)/(-45)) - (-127)/(-3). Is -53 >= h?
False
Let w be (285/75)/(24/40). Suppose -21 = -4*c + c. Which is smaller: c or w?
w
Let r(a) = -27*a + 834. Let s be r(28). Which is bigger: s or 82?
82
Let f = 608/231 - 130796/3003. Which is smaller: f or -41?
-41
Let p be 20/6*(-60)/8. Let k = 3392 - 3421. Does k = p?
False
Let m = 8700 - 8218. Is 477 less than or equal to m?
True
Let z = -13.031 - 598.969. Which is greater: 2 or z?
2
Let m = 69/50 - 13347/9650. Let g = -104623368951249/65620 + 1594382337. Let k = m - g. Which is smaller: k or 1?
k
Let a = 513 - 3589/7. Suppose -4*o + 2 = j - 7, 3*j - 34 = -5*o. Let n = -16 + j. Which is smaller: a or n?
n
Suppose 0 = -28*v + 323 - 295. Let q = -510133/139 + 3670. Is q >= v?
False
Suppose 3*i + 6 - 3 = 0. Let r(s) = 36*s**2 + 5*s + 4. Let g be r(-1). Let l = g - 56. Is i at least l?
True
Let d = 1240 + -1388. Is d smaller than -1638/11?
False
Suppose -51*x - 10 = -46*x. Let t be (1 - 7)/(4/x). Suppose 7*c + t - 3 = 0. Which is bigger: -11/20 or c?
c
Suppose -6296 + 20248 = -16*z. Is z > -870?
False
Let t = 1/43180 - -3799837/129540. Which is greater: -1 or t?
t
Suppose 0*r - 560 = 4*r. Let p = r - -150. Is 10 at least p?
True
Suppose 34 = -2*c + 12*t - 13*t, 0 = 5*t + 10. Let r(j) = -6*j - 72. Let l be r(c). Which is smaller: l or 16?
16
Let v = -2/10227 - -15992/426125. Is v at least as big as -1?
True
Suppose -4*p = -5*r + 216, -3*r + 131 = 2*p - 3*p. Suppose 5*q = 3*q - r. Let s(j) = j**3 + 22*j**2 - j - 23. Let c be s(q). Which is smaller: c or -9?
-9
Suppose -2155 = 8*z - 2179. Which is greater: -13 or z?
z
Let s be (436/152)/((-171)/(-318)). Let d = 1/1083 - s. Let i = 580 + -584. Which is bigger: d or i?
i
Suppose 1146 + 1132 + 2330 = 36*p. Is 131 >= p?
True
Let w = 17 + 3. Suppose -3*u - 4 = f - w, 3*u = -2*f + 17. Suppose 1 = -2*j + 4*a - f, j - 5*a = -1. Is j equal to -1/11?
False
Let w = 2063.141 - 2061. Let a = 0.141 - w. Which is smaller: a or -11?
-11
Let h be 2288/(-24) + (-2)/3. Let r(c) = -24*c**2 + 6*c + 11. Let j be r(-2). Is h at most as big as j?
False
Let d(c) = 4*c**2 - 8*c**2 + 2 + c**3 + 5*c**2 + c. Let p be d(0). Let r be (-14)/5*(-5)/p. Which is smaller: r or -3?
-3
Let z(r) = r - 5. Let w be z(5). Suppose w = -15*y - 11*y + 26. Let d = -131/2135 - -1/35. Which is bigger: y or d?
y
Let w = 3067 - 3065. Which is smaller: w or 1047?
w
Let i(w) = -w**3 - 80*w**2 - 315*w - 109. Let z be i(-77). Is 6359 greater than or equal to z?
True
Let h be (-2)/5 - (2/(-5) + -2). Is 15/7 bigger than h?
True
Suppose -100 = -469*d + 419*d. Is 213/67 at least as big as d?
True
Let y(d) = -d**3 + 6*d**2 - 47*d + 211. Let w be y(5). Let r = 7 + -9. Let h be r/92*(-2)/(-3). Which is smaller: h or w?
h
Let g = 9266.4 - 9266. Are g and 2197 unequal?
True
Let b be (4/5348)/((-600)/(-120)). Which is greater: b or 1?
1
Suppose -8*o - 17*o = 17575. Let s = o + 9134/13. Which is smaller: 1/3 or s?
s
Let b = -2745 - -2732. Is b not equal to -285/23?
True
Let r = 0.04964 - -0.95036. Do -1/2898 and r have the same value?
False
Let u = -3083 - -2079. Which is greater: 1 or u?
1
Let w be (6960/(-1218))/(22/(-105)). Which is greater: w or 26?
w
Suppose -2*u - 11048 + 11554 = 0. Is u >= 1268/5?
False
Let b be (0*(-4)/(-1 - -5))/2. Let i = 1188016/578289 + -594/289. Is i greater than or equal to b?
False
Let u = -77 + 130. Suppose 4*k - 3*k = -5*a + 221, 2*k + u = a. Are 46 and a unequal?
True
Let b be (-16)/108*(-20685)/(-14). Are -218 and b nonequal?
True
Let c(y) = -12*y + 335. Let k be c(28). Let z be -1 + 2 + (-8)/(-1). Let w be (z/(-12))/(6/4). Is w < k?
False
Let t(g) = -33*g - 1770. Let o be t(-45). Is -285 less than or equal to o?
True
Let d(r) = r**2 - 32*r - 668. Let u be d(47). Which is bigger: u or 147/4?
u
Suppose 0*x + 2*x + 3*d = -5, -4*d - 5 = x. Let c be 2 - x - (6 - 3). Let t(p) = -p**3 + 7*p**2 + 6*p - 42. Let a be t(7). Are a and c equal?
True
Let o = 2922 + -2968. Is -40 greater than or equal to o?
True
Suppose 5*d - 6*d = -5*v + 1, -2*v + 18*d - 70 = 0. Is 2/273 != v?
True
Let t(x) = -65*x + 744. Let w be t(12). Which is greater: w or 19/5?
19/5
Let z = 6.88 + 0.12. Let h = z + -5.2. Let i = -2401 + 2400.8. Which is smaller: i or h?
i
Let m be (564/108)/((-37)/333). Let r(h) = -h**3 - 7*h**2 + 8*h + 10. Let d be r(-7). Is m != d?
True
Let g(s) = 5*s + 24. Let r be g(-5). Let y be 7 + (r - 3) - -19. Which is smaller: 21 or y?
21
Let x = -1568.979 + -0.021. Which is smaller: 2/9 or x?
x
Let c = -81889/3 + 27305. Let f(y) = -4*y**2 - 1. Let h be f(1). Let u be (-47)/h + 4/(-10). Is u bigger t