6). Which is smaller: f or z?
z
Let a = -0.734 - -30.004. Let z = 29 - a. Are 1 and z unequal?
True
Suppose 9 + 0 = 3*v. Suppose 2*j = -5*n + 16, 2*n - 5 + v = -3*j. Which is greater: -1 or j?
-1
Let j be 230/8 + (-7)/(-28). Let k = -30 + j. Is k < 1/4?
True
Suppose 3*m - 49 - 44 = -w, 0 = 3*w + 5*m - 283. Suppose 5*v - w = 2*n, -2*v - v = -5*n - 50. Let f be (-28)/v - (0 - 1). Which is smaller: 1 or f?
f
Let b = -4 + 4. Let c = -17.5 + 16.3. Which is greater: b or c?
b
Let o(u) = -u**2 - 6*u + 3. Let b be o(-6). Suppose 0 = b*d - 5*d. Is d greater than -2/11?
True
Let u = -774 + 775. Let x be (-178)/(-92) + (1 - 3). Are x and u non-equal?
True
Let m(i) = 2*i**3 + 6*i - 11. Let u be m(2). Which is bigger: 0.09 or u?
u
Suppose 3*x + 4*q - 28 = 0, x + q = -4*x + 24. Suppose x*a - 21 = -5*p, 0*a + 17 = p + 4*a. Which is smaller: p or 23/3?
p
Suppose 2*o = 3*o - 5. Suppose -9*m + 5*m + 3*b + 2 = 0, -5*b = 3*m - 16. Suppose o = m*q + 9. Is -3 greater than q?
False
Let a be (-10)/(-6)*22/407. Let j = a - -1444/1221. Which is smaller: j or 1?
1
Let d = -243.01 - -243. Is d >= -20/9?
True
Suppose 1 + 44 = 5*g. Suppose -13 = -2*u + g. Which is smaller: 1/3 or u?
1/3
Let o = -4 - -4. Suppose o = v + 10 + 2. Let q be v/22*8/(-12). Which is smaller: -1 or q?
-1
Let y = 850 + -879. Is y >= -26?
False
Suppose 0 = k - 5*g + 17, -33*k + 12 = -34*k + 4*g. Which is greater: k or 170/23?
k
Let r = -1.143 - -0.143. Let b = 11 - 7. Let o = b - r. Which is greater: o or 1?
o
Let p = -1.42 - -1.52. Is p less than or equal to 8/29?
True
Let i = 10 - 36. Let q = -25.96 - i. Is q greater than -1?
True
Let x = -8.99 + 0.89. Let g = -8 - x. Which is smaller: -0.2 or g?
-0.2
Let m(t) = 23*t + 161. Let p be m(-7). Is p not equal to 1/35?
True
Let y = 24888/19 + -1310. Which is smaller: 0.1 or y?
y
Let h be 1322/(-22) + -6 + 8 + -3. Let s = -141770/2321 - h. Which is smaller: -1 or s?
-1
Let g = -12.7 - -6.8. Let n = g - -1.9. Is n not equal to 2?
True
Let f = -3 - -4. Let r be 2/3*3/f. Do 2 and r have the same value?
True
Let l be 8349/(-48) - 0/(-2). Let h(w) = w**3 + 4*w**2 - w - 34. Let o be h(-7). Let p = l - o. Which is smaller: 0 or p?
0
Let f(q) = q**2 - 6*q - 4. Let l be f(6). Let h be (-488)/18 - l/(-18). Let p = h + 245/9. Is 0 greater than or equal to p?
True
Let l be -4*(3 - (-3)/4). Let h = 13 + l. Let c(k) = -k**3 - 2*k**2 + k. Let n be c(h). Which is greater: n or 0.01?
0.01
Let u = -2.75 + 2.75. Are -60 and u nonequal?
True
Let t = -11.866 + -0.234. Let s = t + 0.1. Let a = s - -11. Which is bigger: 10 or a?
10
Suppose 4*h + 3*u - 13 = 0, 2*h + 0*u + 3*u = 5. Suppose h*o = -39 + 7. Let s(b) = b**2 + 8*b. Let x be s(-7). Which is bigger: o or x?
x
Let t(s) be the third derivative of -s**5/60 + s**4/4 + 2*s**2. Let v be t(6). Suppose v = -19*b + 22*b - 12. Is 5 >= b?
True
Let d(z) = z**3 + 12*z**2 - 11*z + 14. Let p be d(-13). Let i be p/16 + (-1)/4. Which is smaller: i or -11/6?
-11/6
Let y = -493 - -2025/4. Which is smaller: y or 1?
1
Let c(m) = -m**3 - 24*m**2 - 22*m + 22. Let q be c(-23). Does q = -2/87?
False
Let m be 2 - 0*(-3)/(-3). Suppose 1 - m = -v. Let s be -2*v/30*-2. Which is smaller: s or -1?
-1
Let x = 219 - 224. Is -5 greater than x?
False
Let f = -9495 + 3807498/401. Is 0 less than or equal to f?
True
Let y = -11 + 11.17. Let s = y - 0.11. Let g = s + -4.06. Are g and 0 non-equal?
True
Let c = 34 + 25. Let p = -473/8 + c. Is -0.1 < p?
False
Let l(i) = i**2 + i - 2. Let g be l(-9). Let r be (-42)/g*(-10)/3. Which is greater: 1/2 or r?
r
Let x = -13 + 10. Let j be (10/x + 3)*33. Let b be -1 + (-4)/1*54/24. Do b and j have different values?
True
Suppose -2*l - 6 + 18 = 0. Suppose 2*g - 2 = -0*k + k, 0 = -5*g + 3*k + l. Is 2 smaller than g?
False
Let f be (-9)/12*1024/72. Is f greater than or equal to -10?
False
Let y(i) = 6*i - 1. Let h(s) = 11*s - 3. Let l(n) = -4*h(n) + 7*y(n). Let t be l(2). Which is smaller: t or 1/10?
1/10
Let t(o) = 4*o**3 - o**2 + 3*o - 2. Let k be t(1). Suppose -k*f = 6*f - 480. Which is bigger: f or 50?
50
Let l = -932 + 899. Which is smaller: -35 or l?
-35
Let t(h) = -h**2 - 8*h + 21. Let j be t(-10). Which is smaller: -2/121 or j?
-2/121
Let f(l) be the second derivative of -l**3/6 + 15*l**2/2 - 7*l. Let s be f(12). Let u = -9 + s. Is -6 smaller than u?
False
Let q = -21 + 26. Let s(b) = -3*b + 13. Let c be s(q). Let x = -4 - -4.07. Which is greater: c or x?
x
Let h = -218 - -220. Is 18/7 greater than or equal to h?
True
Let z = 28/19 - 93/76. Let m = -1.9 + 2.94. Let g = -0.04 + m. Which is smaller: z or g?
z
Suppose 10 + 15 = -5*m, 0 = 4*q - 3*m - 511. Suppose 13*h = 9*h + q. Is h greater than 31?
False
Let f be -3 + (-67)/(-6) - 4/24. Let u be (-4)/(f/6)*6/(-66). Which is greater: -0.3 or u?
u
Let v(r) = r - 1. Let f be v(5). Which is greater: f or -4?
f
Let t = 9.19 - 8.19. Which is bigger: t or 1.58?
1.58
Let d be (-7)/15*(-9)/(-2). Suppose -17*s - 26 = -9. Is s >= d?
True
Suppose 4*v - 3*i + 3030 = v, 3*v + 5*i + 3038 = 0. Is v at most as big as -1010?
True
Let b(a) = -a**3 + 8*a**2 - 11*a - 6. Let v = 137 + -131. Let o be b(v). Is -7/20 smaller than o?
True
Let c(g) be the first derivative of -g**3/3 - 4*g**2 - 3*g - 7. Let p be c(-7). Suppose -5*a + 6 + p = 0. Which is smaller: 3/5 or a?
3/5
Let j be (1 - 2) + 2 - 7. Let d = 10 + j. Let q be (-3 - -2) + (d - 3). Which is smaller: -2/5 or q?
-2/5
Let k = -446583050/621 + 719135. Let h = -7/27 - k. Is 1 smaller than h?
False
Let o(c) = 3*c - 7 - 2 - 6*c - 1. Let q be o(-5). Suppose 0 = q*p - 3*p + 2. Does p = -1/8?
False
Let t be (-2)/27 + (-2203)/27. Which is smaller: -83 or t?
-83
Let r(g) = g**2 - 12*g + 4. Let l be r(12). Suppose 2 = -2*i + l*i, -4*y = 2*i + 70. Are y and -16 non-equal?
True
Suppose -9*s = -6*s. Let i = 7 - 4. Let z be 1*s/(i + -1). Is 0 > z?
False
Suppose -o + 5 = 4*o. Let u be (-1 + 19)*o/3. Let b be 3 - u/5*2. Which is smaller: 0 or b?
0
Let k(f) = -36*f + 386. Let p be k(7). Which is smaller: 135 or p?
p
Let s be -7 - (-6)/(-4)*(-150)/45. Which is smaller: s or -45/31?
s
Let f = -1.5298 - -0.0298. Let b = -0.2 - -0.2. Which is smaller: b or f?
f
Let h = 21.16 - 27. Which is smaller: h or 0?
h
Let g = 2 - 3. Let q be (-1 - 13/(-5))*60/80. Which is greater: g or q?
q
Let s be (-6)/14 - (-6 - (-1349)/(-77)). Let z = s - 6317/275. Is z greater than 2/5?
False
Let o = -8132/49 - -166. Which is smaller: o or -1?
-1
Let x be 54/6 + 2301/(-260). Which is smaller: x or 1?
x
Suppose -14*v + 10*v = 0. Suppose 10 = -2*i - 5*x - 12, -3*i - 2*x - 22 = v. Which is bigger: i or -5?
-5
Let k = 141 - 249. Let s = 100 + k. Suppose 8 = 4*d, 2*d + 11 + 9 = -3*o. Is s bigger than o?
False
Let y be 33/4*280/15. Let i be 16/y + 14/77. Which is smaller: i or -2?
-2
Suppose 0 = -0*f - 3*f + 27. Suppose f = -6*i - 69. Which is smaller: i or -14?
-14
Let u be 5/2 + (-3)/6. Let p(g) = -g**2 + 4*g - 3. Let f be p(u). Let t be (-2)/(3/1 - 1). Which is smaller: f or t?
t
Suppose -46*q - 25*q + 3692 = 0. Is 62 bigger than q?
True
Let p = -27.5696 + -0.0304. Which is bigger: p or 0?
0
Suppose 2486 = 12*t + 38. Are t and 208 unequal?
True
Suppose -4*q - q = -15. Suppose q*a + 3 - 18 = -s, 0 = -5*a + 4*s + 42. Let p be (-1)/a + (-78)/36. Are -2 and p unequal?
True
Let d = -33 - -35. Suppose 12 = -5*m + d. Let s be m + (-4)/((-12)/3). Which is smaller: s or -3?
-3
Let h = -788.09 - -788. Which is bigger: -0.15 or h?
h
Let b = 25.55 - 25.5. Which is smaller: -2/13 or b?
-2/13
Let n = -2850 + 2848. Let s be 3*6*(-8)/(-9). Which is bigger: n or s?
s
Let i be 26/(0 + 2 + 0). Let g = i - 8. Suppose 8*b = 4*b - 2*o - 8, -20 = g*o. Is b >= 1/10?
False
Let p = -217.31 + 217.3. Which is greater: p or -22?
p
Let y = 43 - 45. Let c be ((-6)/y - 8)*(-20)/25. Which is greater: 14/3 or c?
14/3
Let q = 1.05 + -86.05. Let f = q - -84.8. Is -1.2 at most as big as f?
True
Let u(f) = -3*f**3 - 10*f**2 + 8*f - 17. Let h be u(-6). Does h = 221?
False
Let z = -21/17 - -749/510. Which is smaller: 0 or z?
0
Let f = 251 - 239. Let x = 0.01 + -0.11. Which is greater: f or x?
f
Suppose 56*u - 27*u - 116 = 0. Let z(c) = c**2 - c - 4. Let n be z(3). Which is bigger: n or u?
u
Let c(b) be the first derivative of -b**4/4 - 5*b**3/3 + 9*b**2/2 + 7*b + 11. Let r be c(-6). Are r and -11 equal?
True
Let