pose -81 = -237*p - 205 - 113. Is p less than or equal to 10/1037?
True
Let c be (9/5)/(9/30). Suppose i - 2*l + c = 7, 3*l = 0. Is i >= 36/19?
False
Let q = 0.69 + -80.89. Let t = -80 - q. Let k = 8.3 + -8. Does t = k?
False
Let b be (-1)/5 + (-5)/25. Let u(i) = 5*i**2 + 8*i + 20. Let g be u(-7). Let p = -3556/17 + g. Which is greater: p or b?
p
Suppose -37*b = 23 - 208. Let j = 1267 + -6314/5. Is b greater than j?
True
Let r(n) = -2*n**2 + 16*n + 1376. Let s be r(57). Is s equal to -4208?
False
Let y = 3169/9471 + -4/3157. Which is bigger: -1389/8 or y?
y
Suppose 3*r + 285 = -n, -5*n = -r + 6*r + 1355. Which is smaller: n or -176?
n
Suppose -498 = 5*u + 267. Let b = 55 + u. Is 1 at least b?
True
Let i(y) = -7*y**3 + 76*y**2 + 17*y - 69. Let c be i(11). Is c at most -372/161?
True
Let m = -1828 + 1828. Is m smaller than -1/16605?
False
Let r(q) = q**3 - 34*q**2 + 68*q + 44. Let t be r(31). Let m = t - -31431/43. Suppose 4*b - 7 = -3. Is b greater than m?
True
Let p(g) = 3*g**2 - 12*g - 24. Let c be p(6). Let k = -13 + 18. Suppose -c = 17*y - k*y. Which is bigger: y or 0?
0
Let n = 330 + -9901/30. Let d be 4/14 - (-16)/(-336)*27. Which is greater: n or d?
n
Let z = -0.5 - -0.3. Suppose 0 = 2*s - 0*s + 176. Let r be ((1 + 0)/(-1))/(11/s). Is r smaller than z?
False
Let t = 65 + -19. Let i(w) = -16*w - 372. Let d be i(-26). Which is bigger: t or d?
t
Let v = 3119 - -125. Which is smaller: v or 2/5?
2/5
Let g = -0.01375 - -60.48375. Let q = g - -4.53. Do -1/3 and q have the same value?
False
Let m(l) = l**3 + l**2 + 3*l - 5. Let x be m(0). Let y be 1/x + (2212/60 - 0). Which is greater: 37 or y?
37
Let r = 713 + -629.8. Which is bigger: -0.8 or r?
r
Let r = 60 - 87. Let w(j) be the first derivative of 2*j**3/3 - 28*j - 7. Let d be w(0). Is d greater than r?
False
Let t be (-1)/(-30)*(1 - -2). Suppose 5*y = -4*d - 8, -3*y + 6*y - 3*d - 6 = 0. Which is smaller: y or t?
y
Suppose 47*x - 3256 = 25*x. Suppose 0 = -7*j + x - 141. Let b be ((-2)/(-40))/((-39)/(-12)). Which is smaller: j or b?
b
Let d = 1513 + -16655/11. Let f be (-1)/(3/(18/(-12))). Is d smaller than f?
True
Let k be ((-4)/49)/(3/70). Let w be (-10899)/(-10584) - (-14)/12. Let u = w + k. Is u not equal to -1?
True
Suppose -1170 = -2*k - 3*g, 5*g - 585 = -4*k + 3*k. Suppose k = -67*t + 70*t. Which is smaller: t or 196?
t
Let h = 304940 - 8538624938/28001. Is h at most as big as -1?
False
Let n(a) = 14*a**2 - a - 1. Let y be n(-1). Suppose 0 = -2*q + 10 + y. Let m be (-3)/q*((-40)/(-3) + 2). Which is smaller: m or -3?
m
Suppose -5*w = 8*h - 109987, w - 3*h = -2*w + 65961. Let f = w - 153359/7. Which is greater: 84 or f?
84
Suppose -58*n + 1106 + 1589 = -69*n. Is n equal to -243?
False
Let q = -5904 + 5903.9. Is -22966 at least q?
False
Let w(i) = -7*i**3 - 27*i**2 + 5*i + 1. Let m be w(-4). Let v be -7 - (-20)/10 - 6/m. Is 2 smaller than v?
False
Let i(s) be the first derivative of -s**4/4 + 11*s**3/3 - 10*s**2 - 4*s - 257. Let q be i(5). Is 50 smaller than q?
False
Let a be 12 - (-12)/((-180)/165). Which is greater: a or -5/58?
a
Let q = -0.096 - -8.896. Let o = 1057.2 - 1066. Let l = q + o. Which is greater: l or 11?
11
Let l be (-2 - 0)*(10 - (-171)/(-18)). Are -5/271 and l unequal?
True
Let p = 2 - 11.2. Let q = -7.7 - p. Let a = -0.5 - q. Do 22 and a have the same value?
False
Let v be (-8)/(-28) + (-11066)/(-1806). Let p = -2/129 - v. Let d = 184/21 + p. Is d at least as big as 2/7?
True
Let o be ((-60)/(-14))/((-3)/105). Let n be -1 + 37*(-104)/26. Are o and n non-equal?
True
Suppose 0 = 8*z + 3*z. Let v be (3 + z)*(-2)/6. Let a = 16 + -17. Is a less than v?
False
Suppose -18*x - 1968 = -2*x. Let r be x/540 + (-2)/(-8). Which is bigger: r or 0?
r
Let n(s) = -s**3 + 4*s**2 + 4*s + 4. Let f be n(5). Let u be (199138/2)/(302/(-10)). Let v = u - -3297. Which is greater: f or v?
v
Let w = -382.6 + 384.6. Which is greater: 1/274 or w?
w
Let l = 23 + -24.8. Let y = 106 + -104. Let u = y + l. Is 0 bigger than u?
False
Let k(p) be the first derivative of 2/3*p**3 - p - 17/2*p**2 - 7. Let h be k(7). Does -24 = h?
False
Let f be 4/((-40)/6) + 141588/(-45). Are -3146 and f unequal?
True
Let q = 1696 + -1696. Which is smaller: q or -8/3959?
-8/3959
Let f = 1283 + -8979/7. Are -1480.7 and f equal?
False
Let i(x) = 3*x**2 + 8*x + 7. Let f be i(-2). Let w = 7 - f. Suppose -3*r + w = 1. Do 3/32 and r have the same value?
False
Let b be (-298)/(-3) - (8 - 2). Let c be 85 + -35*(-3)/15. Which is smaller: c or b?
c
Let k be 15/(13 - 12) + -14. Is -5/1057 >= k?
False
Suppose 3*k - u = -k - 111, 4*k + 121 = -u. Suppose 5*m + 268 - 278 = 0, -2*m = -5*i - 114. Let r = i - k. Is 11 greater than r?
True
Let l be (-2573)/(-2739) + 40/(-150)*(-10)/44. Is l greater than 4/5419?
True
Let n = 7098 - 7092. Is 60/13 less than or equal to n?
True
Let n = -3872 - -3875. Is -195 != n?
True
Let k = 0.16041 - 971.16041. Which is smaller: -4 or k?
k
Let w be 340/(-119)*((-76)/(-16) - 4)*-14. Which is smaller: w or -0.2?
-0.2
Let z = 18414 - 9317. Is 9098 smaller than z?
False
Let u = 60 - 55. Suppose -u*f + 3*t + 17 = 4*t, -4*t = 12. Let j be -1 + 5/f + (-21)/196. Is -1 > j?
False
Let s be (-292)/1485 - 64/(-352). Suppose -3*m + 2 = -5*a + 6, 0 = -4*a - m - 7. Which is smaller: s or a?
a
Suppose 0 = -4*q + q - 5*f - 385, 2*f = -4*q - 490. Let p be 4 + (q/39 - -1). Is 1 smaller than p?
True
Let l be ((-224)/140)/(4/(-15)). Let c(z) = 1 + 15*z - 12*z + 1 + z**2 - 18*z. Let v be c(15). Which is smaller: v or l?
v
Let j(g) = 5*g**2 + 27*g. Let v be j(-5). Let n be ((-16)/20)/(1/v*-46). Which is smaller: 2/9 or n?
n
Suppose -111 + 453 = 19*h. Suppose 0 = 4*y - 4*a + 12, 5*y + h = -5*a + 53. Which is bigger: y or -2?
y
Let m = -59 + 65. Suppose -442 - 8 = -m*p. Let r = p - 77. Which is greater: r or 5.3?
5.3
Let c = -4/12892097643 - -681012166163116/867908905424403. Let l = -6/2927 + c. Are l and 0 non-equal?
True
Let r be (-182)/235 + (-27)/1620*-12. Is 0 equal to r?
False
Let t be 4/(-34) + 60408/204. Suppose t = 79*w - 78*w. Which is greater: w or 1?
w
Let a = -4833/2 - -2417. Which is smaller: -46.7 or a?
-46.7
Let j be (13 - 13)/11 - 2771. Is -5539/2 > j?
True
Let u(h) = -4*h**2 - 299*h + 1833. Let k be u(6). Is k equal to -92?
False
Let s = -217 - -216.501. Let o = s + -230.501. Is o >= -1/3?
False
Let g be (-18*(-10)/71190)/((-2)/(-18)). Is 0 at most g?
True
Suppose 0*r = -3*r - 18. Let s(a) = a**2 + 6*a - 4. Let m be s(r). Let p be ((-21)/(-126))/((-18)/(-162)). Which is bigger: p or m?
p
Let b = -939.6 + 939.59382. Which is smaller: 1 or b?
b
Let w(c) = -6937*c - 41527. Let i be w(-6). Let z be 345/(-2)*(-10)/18. Which is smaller: z or i?
i
Let n = -569 + 539. Let o be (-44262)/720 - (n/16 + 2). Is o at most -62?
False
Let l = -195 - -2729/14. Let a = 9854 + -9853. Is a less than l?
False
Let t(j) be the second derivative of -63*j**5/10 - j**4/6 + 5*j**3/6 - 3*j**2/2 + j + 2. Let v be t(1). Is -126 at most v?
True
Let d = -657060/37 + 17762. Which is greater: 5 or d?
5
Let w be (-3521)/(-9) - 12/54. Let s = -10555/27 + w. Suppose -5*o + 5 = -q + 2*q, o - q - 1 = 0. Which is greater: s or o?
o
Let k be (26/5)/(-5 + (-1616)/(-320)). Suppose -k*f - 312 = -91*f. Let w be 194/(-8) + 2/8. Is f at most as big as w?
True
Let x(y) = -498*y**3 - 2*y**2 - 16*y - 3. Let m be x(-8). Let v = 3318412/13 - m. Let g = -290 + v. Is g less than -1?
False
Suppose -257*w + 76 + 181 = 0. Which is greater: w or -19/141?
w
Suppose 2*q - 122 = 91*g - 89*g, -440 = -8*q + 2*g. Which is smaller: q or 84?
q
Let x = 619/8385 + 2/645. Which is smaller: x or -498?
-498
Let f be 3*(-85485)/36630 + 6 + 1. Are 0 and f equal?
False
Let t be (6/(-7))/((-10)/(-35)). Let z(b) = -7*b - 1. Let l be z(-1). Suppose 2*k - 3*f + 6 = 0, -f = -4*k + 2*k - l. Is t at most as big as k?
True
Let y(v) be the second derivative of -v**5/20 - v**4/4 + 13*v**3/6 + 8*v**2 + 27*v - 2. Let f be y(-5). Which is smaller: -6/25 or f?
-6/25
Let t be (1/25)/(132/3300). Let i = -654 + 15701/24. Is t greater than or equal to i?
True
Suppose 2*r = -2*z + 7*z - 8, -4*z - 4 = r. Let o = -6284537/321 + 19578. Which is smaller: z or o?
z
Let z be 4/9 - (-21 - (-131145)/135). Which is smaller: z or -948?
z
Let f = -4661 - -4412. Which is smaller: 0.02 or f?
f
Let p = -512 - -512. S