reater than or equal to f?
False
Let o = -15500 + 10594. Is o < -4908?
False
Let c be (3/(-50))/(4/(-8)). Suppose 132 + 204 = -21*h. Let s(b) = -5*b - 81. Let p be s(h). Is p less than c?
True
Let s = 93 - 1879/20. Let h = 6/5 + s. Let c = -1809 + 1805. Which is greater: h or c?
h
Suppose -77*b = -6*b - 171 + 29. Let h = 3 + -7. Let t be 2*h/(8/(-3)). Is t at least as big as b?
True
Let r = -382.4 + 382.45. Let v(f) = -f**3 + 3*f**2 + 4*f + 1. Let m be v(4). Let t be 9/(-12) - -1 - m. Which is greater: t or r?
r
Let k be 3/(-1) + -3 + 4 - -4. Suppose 0 = 3*m + k*c + 3*c + 53, -3*m + 5*c - 13 = 0. Is m <= -10?
True
Let d(y) = 9*y**3 - 3*y + 2. Let v be d(1). Suppose 0 = -4*x + v*x - 12. Suppose -4*s - x = 1. Is -24 > s?
False
Let y be (-88)/55*(-10)/(-2). Let x be (-7)/((-56)/y) - -1. Are 68 and x equal?
False
Let x(j) = -2*j**2 - 15*j - 17. Let v be x(-10). Let y = v + 72. Suppose 0 = -4*d + y*d - 1. Which is smaller: d or 1/7?
1/7
Let d(f) = f**2 - 4*f - 5. Let m be d(-2). Suppose m*k - 16 = 15*k. Let a be (3 - (k + 3)) + 0. Is 10 less than a?
False
Suppose 0 = 6*k - 236 + 92. Which is smaller: k or 37?
k
Suppose -2*s = 4*x + 1160, -4*x - 5*s = -674 + 1828. Which is smaller: x or -275?
x
Let u(a) = a**3 - 9*a**2 + 12*a + 11. Let w be u(5). Which is bigger: -5/26 or w?
-5/26
Suppose 0 = 8*x + 830 + 754. Let y be (-24)/(-5 + 11) - x. Is y bigger than 194?
False
Suppose 0 = 3*x + 1397 - 1451. Suppose -k + u = -14, -4*k + 18*u - 13*u = -58. Which is greater: k or x?
x
Let x(f) = f**2 - 17*f - 6. Let u be x(-5). Let l = 130 - u. Are 26 and l unequal?
False
Let a(s) = -140*s - 196. Let q be a(-3). Suppose -39*w = -31*w - q. Which is greater: 27 or w?
w
Suppose -6*l = 274 + 746. Let m be l/(-120) - (-6)/(-4). Which is smaller: 2 or m?
m
Let o = 33 + -91. Let p = o - -62. Suppose -4*y = 4*s - 16, p - 8 = 4*s - y. Is -0.13 at least s?
False
Suppose -3*u = 4*x + 98, 100 = -4*x + u - 5*u. Let r(y) = -y**3 - y**2 - 236*y + 720. Let p be r(3). Are x and p unequal?
True
Let t = -1040 - -577. Let n = 414 + t. Is n at least as big as -2?
False
Suppose 0 = -4*d - 4*r + 456, -4*r + 168 - 39 = d. Suppose 3*h - 2*h = -4*u - 40, 3*h + d = -u. Let p = 31011 - 31047. Does h = p?
True
Let t(g) = g**2 + 5*g - 4. Let z be t(-6). Suppose z*b = -3*b + 10. Suppose 172 = -5*i + 339*h - 335*h, -h - 157 = 5*i. Which is greater: b or i?
b
Suppose 4*v + 25*n = 24*n - 30, 0 = -4*v - 4*n - 36. Does v = -0.0943?
False
Suppose 3*c + 20*y - 19*y = 5, -2*y - 23 = -5*c. Let u = 78 - 77.953. Is c < u?
False
Let j = -4366204/22309 - -2/3187. Which is smaller: j or -196?
-196
Let k = 17/427 - 6724/29463. Is k less than -1?
False
Let i = -20282 - -142460/7. Which is smaller: i or 68?
68
Let v = -3830 + 3829.8. Which is greater: 1537 or v?
1537
Let s = 11123 - 11295. Is -166 at least s?
True
Let v be 6/4*4/22. Suppose 4*o = -1 + 5. Let d be 54/(-81) + (8/3 - o). Is v <= d?
True
Let a = 30344549/729 + -41625. Which is greater: a or 1?
1
Let p(m) be the second derivative of m**4/12 - m**3 + 4*m**2 - 48*m. Let o(k) = -k**2 + 10*k + 3. Let g be o(10). Let r be p(g). Is 3/19 less than r?
False
Let o = -13073/3 + 4358. Do -4.86 and o have the same value?
False
Let f(l) = l**3 - 22*l**2 - 3*l + 59. Let w = -211 + 233. Let g be f(w). Which is bigger: g or 24?
24
Let x(r) = -2*r - 1. Let g(u) = u - 23. Let c(p) = -g(p) - 3*x(p). Let s be c(-12). Suppose m + 67 = -3*z + z, -2*z - 69 = 3*m. Which is greater: z or s?
z
Let n = -14765/69 - -214. Let r(g) = -2*g**2 - 40*g. Let b be r(-20). Is n > b?
True
Suppose -27 = -5*k - 12. Suppose 74 = -k*s + 80. Suppose -l + s*m + m + 8 = 0, 0 = 5*m - 25. Is l at most as big as 22?
False
Let t(p) = 3*p + 275. Let c(i) = i**2 + 10*i + 9. Let u be c(-9). Let a be t(u). Suppose 4*w + 142 = -5*b, 114 = 5*w - 2*b + a. Is w >= -32?
False
Suppose -4*u + u + 123 = 0. Let p(k) = 2*k**3 + 37*k**2 - 113*k - 1746. Let x be p(-19). Which is greater: u or x?
u
Let k = -0.1613 - -0.1613. Which is smaller: k or 38?
k
Let c be (-71)/(-213)*1/2*0. Suppose -5*t = -6*p + 2*p + 40, 4*p = -5*t. Let z be (-492)/(-711) + t/6. Which is smaller: z or c?
c
Let n = 0.00018 - -8.99982. Are n and 0.3 equal?
False
Let i = -72.9 - -76. Let x = 0.9 + i. Let s = -205 + 1637/8. Does s = x?
False
Let u = -5208 - -5602.8. Which is greater: u or -0.1?
u
Let l = -1.9111 + -15.0259. Let b = -0.063 + l. Which is smaller: b or -6?
b
Let x = -458 + 677. Let c = 219.99 - x. Let h = -0.69 + c. Which is bigger: h or 15?
15
Let i = -3.25 - -2.3. Let p = i + 63.95. Let v = p + -63.2. Is v <= -7/6?
False
Let g(h) = -485*h - 1013. Let c be g(-2). Which is bigger: -89 or c?
c
Let c be (-17 + 16)/(139/102). Let s = c - -4350/8201. Is s != -1?
True
Let m be -4 + (-20)/(-15)*-3. Let q be 19/((-665)/14)*20. Is m at most as big as q?
True
Let x be (-9)/21 - (37961/4606 + -10). Let v = x + -66187/49914. Is v equal to -0.2?
False
Let g = -45.35 + -1.65. Which is smaller: -29 or g?
g
Let q be -1*(-4 + -15)*1. Suppose q*p = 14*p - 10. Let f be 3/(-21) + p/(-14). Is -2/67 not equal to f?
True
Let z(a) = -7*a + 27. Let f(x) = -15*x + 59. Let o(p) = 4*f(p) - 9*z(p). Suppose -2*h - 2 = 4*k, 2*k - 4 = -8. Let s be o(h). Are s and 3/5 non-equal?
True
Let k = -381.163 - -0.163. Let r = 379 + k. Which is bigger: 3 or r?
3
Let v(z) = -z**2. Let m(k) = -3*k**2 - 31*k + 9. Let d(t) = m(t) - 6*v(t). Let r be d(10). Is r >= 1/237?
False
Let k be (1 - 4797)*43/(-903)*-42. Which is smaller: k or -2?
k
Let u be 1*(-6)/(-33) - 13498/308. Let t = u + 260/7. Is t greater than -8?
True
Let a be (-1356347)/(-174697) - ((-70)/(-7) + -5). Let f = -268/97 + a. Is f less than 1?
True
Let h(f) = -2*f**3 + 11*f**2 - 18*f + 141. Let z be h(15). Which is bigger: z or -4405?
z
Let j = 37271 + -25592. Is -2/7 greater than or equal to j?
False
Let z = -5 - 3. Let l(w) = -w**2 - 3605*w - 50274. Let x be l(-14). Which is smaller: x or z?
z
Let a = 94.08369 + -0.08369. Let n = -0.2266 + 94.3566. Let q = n - a. Is -1 smaller than q?
True
Suppose j = t + 3, 2*t - j + 1 = -0. Let s be 4435/35 + t/7. Let p = 376/3 - s. Is p < 0?
True
Let z be -4*(3/2)/(-3). Suppose o + 12 = -5*v, 8*o - 11*o - 3*v = 0. Suppose -o*p = -z*p. Is 3/7 less than p?
False
Let u = 986795/49 + -20138. Which is smaller: u or 1?
u
Suppose -3*d - 2*b - 78 = -89, 4*d - 16 = -3*b. Which is smaller: d or 7/37?
7/37
Suppose 0 = 3*c - 10 - 32. Let d be 4/c - 186/14. Suppose 1170 = -86*n + 186 - 48. Is n < d?
False
Let i = -16999 - -9388. Does i = -7609?
False
Let g(z) = -123*z**2 - 1599*z - 1. Let y be g(-13). Let o = 29 - 122. Which is bigger: y or o?
y
Let p be (-6)/27 + 4941/18954. Which is smaller: p or 1/33?
1/33
Suppose -y - 4*f + 1 = 6, -4*y + 22 = -5*f. Let b(p) = 0*p + 20*p**2 - 39 + p**3 - p - y*p**2 + 22. Let w be b(-17). Is -28 at most as big as w?
True
Suppose 10 = -3*h - u - 0*u, -28 = 4*h + 5*u. Let z(v) = v**2 + 21*v + 19. Let w be z(-18). Let n = w - -35. Is n at least h?
True
Suppose -4*k = k - 60. Let i = 5734 + -5708. Does i = k?
False
Let z(i) = i**3 + 3*i**2 - 2*i - 6. Let c be z(-3). Suppose 4*g - 2*g - 8 = c, -15 = b - 4*g. Let p be 2*-1*((-4)/8)/b. Which is smaller: p or 1/7?
1/7
Let c be ((3 - -6)/(-3))/(-1) + (-110)/44. Suppose -4*f - 2*q + 74 = 0, -5*f + 69 = 3*q - 21. Which is smaller: c or f?
c
Let i = -2240 - -3356. Suppose 0 = 6*g - 1200 + i. Are g and 13 non-equal?
True
Let j be 1734/(-1020)*(1 + -11). Suppose 7 = -3*k + s - 0, -15 = 5*k - 5*s. Is j <= k?
False
Let q be (-2 + (-9)/(-9))*(-270)/(-1). Let c be (-6102)/q + 4/10. Are c and 21 unequal?
True
Suppose -4*y = -47 - 105. Let j be ((-1)/(-3) - (-21)/126)/(2/164). Which is smaller: j or y?
y
Let o = -35685 + 35688. Is 0.697 bigger than o?
False
Suppose -2*w - 40 = -2*v + 50, 0 = -4*w - 5*v - 135. Let o be (-9 - w/24)/((-2)/30). Is 111 greater than or equal to o?
True
Let a = 17409 + -17724. Is -299 less than or equal to a?
False
Let z = 680.254 - 681. Let w = 0.254 - z. Which is greater: w or -1/54?
w
Suppose 1 - 11 = 2*c. Let d(y) = -2*y + 15. Suppose 0*o = -2*o - s + 10, -22 = -2*o + 2*s. Let x be d(o). Do x and c have the same value?
False
Suppose 0 = c + 21 - 35. Let g(o) be the second derivative of o**4/12 - 5*o**3/2 + 7*o**2 - 48*o. Let t be g(c). Which is bigger: t or -2/69?
t
Let g(p) be the 