. Suppose -3*f = 2*a - a - 5, a + 2*f - 4 = l. Let o be (0/(-2))/(1 - a). Which is greater: o or 2/21?
2/21
Let p = 0.0387 + -0.0887. Is p >= 4.3?
False
Let a = -579 - -585. Is a greater than or equal to 14?
False
Let v = 38.11 + -38. Is 9/2 > v?
True
Let n = 9/65 - -2/65. Is n <= 1?
True
Let r = 0.142 - -2.488. Let z = r + 0.37. Is 10 at least as big as z?
True
Let n = 4 - 32. Which is bigger: n or 0.01?
0.01
Let y be (-4)/6*60/55. Let w = y - -117/176. Suppose -2*b = -5*b. Which is bigger: b or w?
b
Suppose -3*q - 128 = -2*q - 5*b, -4*b - 164 = q. Is q equal to -146?
False
Let g = -393 + 609. Is 215 at most g?
True
Let f = -123 + 122. Is 1/93 at most f?
False
Suppose -20*p = -429 - 611. Is 53 smaller than p?
False
Suppose 5*a - 30 = 2*z, -3*a - 2*z = 3*z + 13. Let r be (-28)/(-462)*(-2)/a. Which is smaller: r or -1?
-1
Let p be (-158)/553 + (-79)/(-7). Which is smaller: p or -0.2?
-0.2
Let m = -3061 - -2124. Is m < -936?
True
Let o(l) = -402*l**2 - 26*l - 24. Let r be o(-1). Which is smaller: r or -401?
-401
Suppose 9*r - 5*r + 24 = 0. Let l be 21*r*(-6)/27. Let y be (-3)/4*l/35. Which is greater: -2 or y?
y
Let n(a) = -11*a**2 - 21*a + 1. Let t be n(-2). Which is bigger: 2/11 or t?
2/11
Let u(r) = -r**3 - 3*r**2 - 2*r - 1. Let p = -6 - -5. Let i be ((-2)/(-5))/(p/5). Let y be u(i). Is y equal to -2?
False
Let h = 1077/20 + -215/4. Is h greater than or equal to -21?
True
Let r = 16 - 31. Let o = -6 - r. Which is bigger: -0.1 or o?
o
Let i be (26/(-117))/((-2)/(-11589)). Let m = i - -1320. Is 32 at most as big as m?
True
Suppose 0 = 3*k + 4*m - 5 - 15, 3*k - 2*m = 8. Suppose -5 = k*g - 33. Let d = -42.1 + 42. Is d greater than g?
False
Let j be (-6 - -3 - -17)/((-40)/(-12)). Which is smaller: 3 or j?
3
Let m(w) = -w**2 - 6*w. Let t be m(-6). Let o = -1616 - -21022/13. Are o and t equal?
False
Suppose -4*f = -3*d - 6*f + 19, -3*d = 5*f - 16. Suppose -3*u - 4*z = 7 - 0, -3*z - d = 4*u. Let q be 1/(-3)*4/(-4). Which is smaller: q or u?
u
Let n = 192 + -962/5. Suppose -u + 4*h = 0, h = -u - u. Which is smaller: u or n?
n
Let x(w) = w - 1. Let i be x(4). Let c(v) = v + v - 6 - i*v + 2. Let q be c(-3). Are q and -1 equal?
True
Let p(w) = -62*w - 4. Let g(n) = n. Let r(c) = 5*g(c) - p(c). Let l be r(1). Is 71 not equal to l?
False
Let l = -59957/31 - -1934. Let q(w) = w**3 + w**2 + 2*w + 1. Let m be q(-1). Is l != m?
True
Let q = 1211/11685 + 1/615. Suppose 3*g = 6*g + 3. Is q at least g?
True
Let g = -75.21 - -1.21. Let n = g - -74. Which is smaller: -1/44 or n?
-1/44
Let v be (-4)/(-14) - 9/7. Let m(t) = 45*t + 19. Let r be m(-2). Let d = 68 + r. Is d smaller than v?
True
Let m(o) = -34*o + 205. Let j be m(6). Is j bigger than -1?
True
Let r(n) = -11*n - 99. Let v be r(0). Which is smaller: -100 or v?
-100
Let k = 9.6 + -10. Let j = -73.84 - -72. Let h = -0.16 + j. Is k != h?
True
Let m(q) = q - 5. Let j(k) = -6. Let x(h) = 3*j(h) - 4*m(h). Let d be x(-2). Let v(p) = 4*p - 15. Let f be v(6). Is d less than f?
False
Let l = 78647/87 - 904. Let f = -59/87 - l. Which is smaller: -0.1 or f?
f
Let p = -300 - -292. Which is bigger: -17 or p?
p
Let j(f) = -75*f + 4. Let d be j(1). Let s = d + 569/8. Let v = -1 - -1. Is s at most v?
False
Let x be ((-55)/(-10) + -3)*78/15. Which is smaller: x or 4?
4
Let a be (-2)/7 - (-8)/(-28). Let y = -2346 + 2349. Is a < y?
True
Let p(f) = f**2 - 8*f - 2. Let d be p(8). Let x be d/8 - 189/(-36). Let y = 54 - 52. Does x = y?
False
Let c = -51.3 + 54.23. Let u = c + -1.7. Let r = u - 0.23. Which is greater: 0 or r?
r
Let d(u) = -u + 10. Let l be d(7). Let h be (-4)/(-6 + l - -2). Suppose -3*v - 8 = 4*k + 29, 0 = h*k - 2*v + 62. Is -13 greater than k?
False
Suppose w = 3*i - 204, 4*i - 82 - 126 = w. Let t be (1*3)/(((-9)/w)/(-1)). Is t at most -65?
False
Let h be 1*(-2 - -2) - 1. Let u be (4/2)/h + 0. Let i = -310 - -923/3. Is u at least i?
True
Let y(a) = 41*a - 450. Let o be y(10). Let m be ((-2)/(-4))/((-1)/82). Which is smaller: o or m?
m
Suppose 5*x - 35 = -5. Suppose 16 + x = 3*v - 5*i, 2*i + 15 = -5*v. Let d be (0 - v)/((-2)/(-18)). Is d at most 9?
True
Suppose -4*t = -2*t - 4*d + 76, 0 = -4*t - 2*d - 142. Suppose 35 = -12*o + 11*o. Is o greater than t?
True
Let x(d) = d**3 - 24*d**2 + 2*d - 51. Let q be x(24). Is -80/19 less than q?
True
Let u = -1357476/109 + 12454. Which is smaller: -1 or u?
-1
Let h(m) = m**3 - 8*m**2 - 9*m - 4. Let d(t) = -t - 3. Let z be d(-12). Let o be h(z). Let n be 3*(o/(-12))/(-1). Is n < -3/17?
True
Let n = -5 + -1. Let t = -40 - -40. Suppose t*h = -2*h - 2. Which is smaller: h or n?
n
Let h = 104/9 - 98/9. Which is smaller: h or -0.088?
-0.088
Let s(r) be the first derivative of -3*r**2 + 22*r - 4. Let y be s(5). Which is bigger: y or -2?
-2
Let n = 3.2 + 33. Let h = 35 - n. Which is bigger: 0.1 or h?
0.1
Let s = -0.011 + -19.989. Let h = 16 + s. Let d = h + 3.8. Is -1/5 equal to d?
True
Let x = 110 + -111. Is x bigger than -1/157?
False
Let m be (((-120)/(-175))/(-8))/(27/(-15)). Which is smaller: 7 or m?
m
Let y be (135/(-165) + 6/(-33))*104. Which is bigger: y or -100?
-100
Let o = 1434 - 1435. Let b = 14 + -10. Which is greater: b or o?
b
Let f be (162/(-39) + 6/39)*-2. Let o be (-7 + 147)/(-5)*(-2)/f. Let b = -26 - -184/7. Is o < b?
False
Let y = -0.5 - -0.3. Let j = -132 + 135. Which is bigger: j or y?
j
Let u(s) = -11*s**3 + 2*s**2 - 1. Let p be u(-1). Suppose p = -4*z + r, 28 = -2*z - 2*r - 3*r. Let f be (8/(-4))/((-1)/(-2)). Is f at most as big as z?
True
Let n(y) = 2*y + 74. Let t be n(-4). Is t bigger than 69?
False
Suppose -76*z - 3*o + 1088 = -81*z, -z = -3*o + 220. Which is smaller: -218 or z?
-218
Let k = -3 - -7. Let g(n) = 3*n + 1. Let m be g(3). Which is smaller: k or m?
k
Suppose 2*q = -2*q. Let h = -30.59 - -33.29. Which is smaller: h or q?
q
Let n = 6479/37 - 175. Are n and 0 non-equal?
True
Suppose 0*k = 2*k + 4*f - 18, -2*f - 3 = -3*k. Let u(g) be the second derivative of -3*g**5/20 - g**3/6 - g**2 + 22*g. Let v be u(-1). Which is smaller: v or k?
v
Let l(z) = -z**2 - 16*z + 3. Let x be l(-7). Suppose 5*r - x = -26. Let p = -7 + r. Which is smaller: 2 or p?
p
Let t be 8/4 + 1/1. Let v(l) = 5*l - 3. Let x be v(t). Is 13 >= x?
True
Let g = -859/61138 + 3/397. Which is smaller: -1 or g?
-1
Let k = 1574 - 1548. Which is greater: -2 or k?
k
Let c = -17.856 - -18. Let x = 0.044 - c. Is 0.3 > x?
True
Let p = 9.16 + -522.16. Which is smaller: -0.1 or p?
p
Let v = 8.0799 + -0.0799. Are v and 26 equal?
False
Let t(i) = -4*i**3 + 2*i + 2. Let q be t(-1). Suppose -5*c + 3*x = -85, -42 = -q*c + x + 26. Which is bigger: 18 or c?
18
Let x(b) = 2*b**2 + 30*b - 183. Let t be x(-23). Which is smaller: t or 924/5?
924/5
Let r = -554 - -542. Which is greater: -66/5 or r?
r
Suppose 0 = -4*q + n + 270 + 21, -3*n + 163 = 2*q. Which is smaller: q or 76?
q
Suppose -3*x = -3*h + 213, 6*x + 5*h + 128 = 4*x. Which is smaller: x or -68?
x
Let k be 1919/(-3535) + 1/7. Which is bigger: -402 or k?
k
Let z(v) = -v**2 + 10*v - 17. Let s be z(0). Is 7 != s?
True
Suppose -3620 = -34*o + 6036. Is o greater than 283?
True
Let c be (79521/2)/(80/5). Let i = -1760115/608 + c. Let j = i + 410. Which is smaller: -1 or j?
-1
Let g = -0.0567 - -9.0567. Which is greater: g or -25?
g
Let j be (1 - -3)/(5 + -4) + 6. Which is smaller: j or 11?
j
Suppose 2*l - l = 4*t, 3*t = -5*l + 23. Let y = 66 - 57. Suppose 7*d + 4*q = y*d - 8, 0 = 5*q. Is d equal to l?
True
Let u = -37 + 72. Suppose -47 = -z - 5*t, 2*t - 41 = -3*z + u. Is 22 >= z?
True
Let a = -752 + 583. Which is greater: a or -167?
-167
Let a = 3398 + -3401. Let s(p) = p**2 - 7*p + 2. Let q be ((-20)/6)/((-4)/6). Let x be s(q). Which is smaller: a or x?
x
Let l be -8 + 1 + 5 - -2. Which is bigger: -17/55 or l?
l
Suppose -4*l + 6 + 10 = 0. Let v be (3*2/l)/(-12). Let o be -1 + 3 + -6 + 3. Which is greater: v or o?
v
Let t = -337 - -337.307. Is -2 at least t?
False
Let r be 7/((-28)/(-16)) + 134/(-5). Which is smaller: -22 or r?
r
Let w be ((-2)/21)/(60/140). Let r be (-4)/2 + (-72)/(-38). Is r less than or equal to w?
False
Suppose -r - 33 = -37. Suppose r*d + 5*i + 55 = 0, -d + 4*i - 2*i - 30 = 0. Is d <= -22?
False
Let x(a) = -a**3 + 5*a**2 - 3*a + 14. Let k be x(5). Are k and -8 nonequal?
True
Let n = -2 - 0. Let p = 331 + -348. Which is greater: 