 + -230. Let w = y + 88. Let f = 55 + w. Is f at least -0.02?
True
Suppose 6*q - 4*q + 4352 = t, 12*t - 52137 = -5*q. Which is greater: t or 4344?
t
Suppose -2*u + 2 = 6. Let c = 4795 + -4804. Which is bigger: c or u?
u
Let v = 856.5 - 856.41. Which is smaller: 128 or v?
v
Let s = 112.951 + -113. Let v = -0.741 + s. Let n = v + 0.69. Which is bigger: -12/7 or n?
n
Let u = 1475 + -1495. Which is bigger: u or -333/16?
u
Let d(l) = -13*l**3 + 3*l**2 + l - 1. Let z be d(-1). Let m be z/21*(-23)/2. Let a = 486 + -495. Which is smaller: a or m?
a
Let t be (-537*(-12)/108)/(-2 + (-49)/(-24)). Is 1430 < t?
True
Let l be (-560)/(-28) + -22 - ((-216)/21)/6. Suppose -2*a = 5*n - 684, -a + 4 = a. Which is bigger: n or l?
n
Let q(f) = 2*f**3 + 12*f**2 - 13*f + 2. Let l be q(-7). Let h be ((2 - 3)/1)/(1/l). Let i(t) = -12*t**3 - 2*t**2 + 1. Let z be i(-1). Is z bigger than h?
True
Suppose -20 - 34 = 2*b. Let u be 18/(-2) + (-5 + 1 - -7). Let y be (-3 + 1*(-27)/u)*-18. Is y bigger than b?
False
Let o(r) = -2*r**3 + 2*r**2 + 2*r + 1. Let w be o(-1). Let l(z) = 3*z**2 - 7*z. Let b be l(w). Suppose -b*v = -7*v - 1. Which is bigger: v or -1/26?
-1/26
Let d = -4.8 - 5.89. Let g = 0.29 + d. Let a = -506 + 505. Which is greater: g or a?
a
Let m be 60/135 + 93/54 + -2. Which is smaller: 10.6 or m?
m
Let n be -2 - 2 - (-7)/1. Suppose -5*r - 8 = -4*w + n*w, -2*w + 6 = 0. Which is smaller: -8/9 or r?
r
Suppose -4410 = -690*a + 753*a. Let q be (-716)/10 + (-8)/20. Is a bigger than q?
True
Let b = 692 - 482. Let d = -23 - b. Are d and -233 equal?
True
Let a = 0.275 + -0.2852. Let b = 456.9898 - a. Which is smaller: b or -1?
-1
Let r = 388 - 206. Let y = -184 + r. Which is smaller: 10 or y?
y
Let y = 19806 + -19805.9. Which is smaller: -762/35 or y?
-762/35
Let c = -35517/803285 + 13/295. Which is bigger: c or -1?
c
Let j be (-45)/24*110/21. Let m = j + 74/7. Let v(t) = -5*t + 56. Let y be v(11). Which is greater: m or y?
y
Suppose -75 = w + 65. Let d be ((-108)/(-10))/((-4)/w*7). Let q be 92/(-90) + (12/d)/1. Which is smaller: 0 or q?
q
Let v = -11767/8 + 10437341/7096. Which is greater: 1 or v?
1
Let n = 14 + -22. Let g = n - 30. Let t = 39 + g. Which is greater: t or -1?
t
Suppose 4*y - 36 = u + 5, -5*y + 46 = -3*u. Let b = 31912 - 31898. Which is bigger: b or y?
b
Suppose -46 = 5*v - 5*c + 34, -5*v - c = 80. Is 40 less than or equal to v?
False
Let d(a) = 10*a + 144. Let s be d(-12). Suppose 2*p - 1534 = -s*p. Is 64 smaller than p?
False
Let j be 10/2 - (-6 - -12). Is 1/308 at least as big as j?
True
Let k = -1622 + 1618. Is k > -14?
True
Let d be ((-62)/6)/((-1)/9). Let s be (12/(-4))/(d/(-2)). Suppose 13*h - 9*h + 4*z = 20, 17 = 5*h + 3*z. Which is smaller: h or s?
s
Let b be (-712)/623 + 2/14. Is 7/30 equal to b?
False
Let g = -8.5 + -30.5. Let q = g + 25. Let x = q - -13.99. Is 1/6 smaller than x?
False
Let w = 13 + 4. Let i(f) = 5 + 0 - 2 + 2*f - 8. Let a be i(w). Is a at least as big as 29?
True
Let p = 97 - 98.1. Let j = 7 - 6.9. Let x = j + p. Are -62 and x equal?
False
Let i be (7/(98/(-48)))/(-13 - (-12325)/952). Which is smaller: 69 or i?
i
Let s be 3273/15 + 6/(-30). Let y = s - 220. Which is smaller: -5/4 or y?
y
Let h = 6.1 + 75.9. Let p be (-8)/(-10)*((-266)/28 - -9). Is p smaller than h?
True
Let h = 220 + -325. Let o = -90 - h. Let n be (-1)/(1/(-15)) - -1. Is o < n?
True
Let c = -30530264/177 + 172488. Let q = c + 2/59. Let x be 82/(-21) + (29 - 25). Is q at least x?
True
Let m = 206 - 193. Let d(n) = -11*n + 1. Let t(p) = p**2 - 12*p + 10. Let u be t(11). Let w be d(u). Which is bigger: w or m?
m
Let v = 1716.6 + -1716.3. Which is bigger: v or 0.01481?
v
Suppose 0 = -37*c + 43*c - 12. Let s(g) = -56*g + 6. Let t be s(c). Which is smaller: t or -107?
-107
Suppose -c = -3*i + 131, 13*c - 14*c - 135 = -i. Let j = -136 - c. Which is smaller: j or -6/23?
-6/23
Suppose -8*t + 915 - 899 = 0. Let n = -16/345 - -15059/4830. Is n at most t?
False
Let y(k) = 3*k - 35. Let t(s) = -35. Let u(n) = 2*t(n) - 3*y(n). Let m be u(9). Which is bigger: m or -48?
m
Let i = 6175.833 - 6176. Is i < -2?
False
Let c(b) = -b**2 + 5*b + 1. Let w be c(2). Suppose -w*i + 17*i + 830 = 0. Is -84 equal to i?
False
Let d = -8218 - -8219. Is -5/2101 greater than or equal to d?
False
Let s be (-5)/15*6/2. Let v be (6/15)/(s/5*1). Which is bigger: -1.07 or v?
-1.07
Let q(v) = -2*v**2 + 133*v - 194. Let z be q(65). Is -7/577 at least as big as z?
False
Let z(t) = -t**3 + 4*t**2 + 20*t - 5. Let h be z(-3). Let m be ((-57)/3)/(2/(-12)*h). Let y = -85 - -28. Is m at most as big as y?
True
Let u = 4953 - 3903. Is u <= -2?
False
Let i = -59 - -43. Suppose -3*z + 2 = c + 20, -72 = 5*c - 3*z. Which is greater: c or i?
c
Let x be -2 - (-2 - (-8)/4). Let j be ((-50)/(-8))/(x/8). Let w = j - -25. Which is greater: w or 2/9?
2/9
Let w = 3 - 3. Let l = w - -0.1. Let p = -1343 + 1334. Which is bigger: l or p?
l
Let f = 164 - 122.9. Let b = f + -47.2. Is 0.2 smaller than b?
False
Suppose 3 = 3*s - 24. Let z = -106 - -99. Let l = s + z. Which is greater: 20/7 or l?
20/7
Suppose 44*i = 49*i + h - 90, -h = -i + 18. Let v = -3 - -1. Is v bigger than i?
False
Let h(q) = -182*q**2 + 409*q + 408. Let t be h(-1). Which is bigger: -184 or t?
t
Let n = 2/1349 + -1795/300827. Let r = 28474 + -28473. Which is bigger: r or n?
r
Let f(x) = 14*x + 149. Let d be f(0). Let g = d - 598. Which is bigger: -448 or g?
-448
Let g = 10053 - 12098. Is g > -2045?
False
Suppose -2*t + 17 = -5. Suppose 13*q = -t*q + 9*q. Which is bigger: q or -16/13?
q
Let g be 5/(2 + 8)*(-77 - -77). Let b = -502412/1729 - -2034/7. Is b less than or equal to g?
True
Let y(q) = 6*q + 6. Let f be y(-2). Let c be f/8*(-16)/480. Let h = c - 11/40. Which is greater: -5 or h?
h
Let m be (-8)/6*(474 + -252). Which is smaller: -3864/13 or m?
-3864/13
Let u(f) = 6*f + 1. Let m(c) = 7*c + 2. Let x(g) = -4*m(g) + 5*u(g). Let z be x(-7). Which is smaller: -19 or z?
-19
Let r = 2966 + -3427. Which is bigger: r or -463?
r
Let y(r) = r**3 - 32*r**2 + 19*r + 1542. Let m be y(29). Is -435 less than m?
True
Suppose -203*l + 26*l = 21417. Is -16 smaller than l?
False
Let z(h) = 152*h + 1946. Let u be z(-15). Which is bigger: u or -321?
-321
Let w(f) be the first derivative of -6*f**2 + 97*f + 82. Let y be w(9). Is y bigger than 3?
False
Let r = -33 - -91. Suppose 4*v + 59 = -h, -12*v = h - 9*v + 61. Let u = r + h. Which is greater: -13 or u?
u
Suppose 26*i - 75 - 133 = 0. Let x(k) = 12*k - 28. Let m be x(2). Do i and m have the same value?
False
Let d = -61.2136 - 408.7374. Let g = d - -469. Let c = -0.049 + g. Which is greater: -5.5 or c?
c
Let o = -5344 - -4408. Is 4 smaller than o?
False
Let a = 612 - 685.9. Let w = -5.9 - a. Let r = w + -73. Which is greater: 0.3 or r?
0.3
Let t(a) = 7 - 7*a**2 + 38*a - 38*a + 4 + a**3. Let w be t(7). Which is smaller: 10 or w?
10
Let j be ((-243)/(-24) + -8)/((-5)/190)*-20. Is 1612 != j?
True
Let g = -104285939/202 + 516267. Let v(h) = h**3 + 4*h**2 - 6*h - 6. Let f be v(-5). Are g and f equal?
False
Suppose b + 105 = 116. Suppose -26 + b = 15*u. Which is smaller: -4/161 or u?
u
Let i(m) = -m + 6. Let o be i(6). Suppose 8*w - 3*w - 65 = o. Let n = 24 + -13. Is n at least w?
False
Let w be ((-58)/12 - (-1 + 1))/(11187/(-396)). Which is bigger: 1 or w?
1
Let o(p) = p - 15. Let q be o(13). Let v be 8/(-116) + 0/(0 + q). Which is bigger: -4 or v?
v
Let k be -2342*(108/(-12) - (-57)/6). Are -1171 and k non-equal?
False
Let g(q) = q**3 - 35*q**2 + 66*q + 12. Let d be g(33). Suppose -2*c - 20 = -d, -c = o + 6. Is o smaller than -19?
False
Let s = -355 + 352.53. Let a be ((15/(-6))/5)/((-20)/(-8)). Is a at least s?
True
Let k(g) = -243*g + 285. Let m be k(10). Let s be (7 - m/(-315))/(1*2). Let h = -146 + 1024/7. Which is smaller: h or s?
s
Let m = -18896 + 18896. Which is greater: m or -4/2399?
m
Let a = 102466.8 - 102473. Let j = -0.2 + -2.8. Which is smaller: a or j?
a
Suppose -350 = -5*x - 0*x. Let p = -207 + x. Let h = 687/5 + p. Which is greater: h or 0?
h
Suppose -28 = 2*i - 4*i. Let t(h) = -2*h**2 + 26*h + 27. Let d be t(i). Let u be (8/d - -5) + -71. Is u at most as big as -75?
False
Let p(k) = 108*k - 76. Let u(i) = -36*i + 26. Let v(t) = -4*p(t) - 11*u(t). Let o be v(1). Is -20 less than o?
True
Let l be 1087452/2748