 Let t(h) = 5*h + 34. Let b be t(-7). Let q be w(b). Is q greater than or equal to -63?
True
Let c be (-25)/((-51425)/28776) - 14. Which is smaller: c or -2/43?
-2/43
Let k = 229 - 60. Suppose -18*q - 43 = -k. Which is smaller: 31/5 or q?
31/5
Let j = -178 + 177.913. Let s = -26.913 + j. Which is greater: s or 2/3?
2/3
Let s be (-4)/6 - 136/(-51). Let g = 31 - 25. Suppose q + s = g. Is q < 4?
False
Let v = -0.8 + -0.38. Let k = -1.1 - v. Suppose 26*w - 25*w - 2 = 0. Which is smaller: w or k?
k
Let o = 6.33224 - 7.24224. Let k = -6.6 - -4.5. Let j = k + 2. Is o at least as big as j?
False
Suppose 0*f = 8*f. Suppose 0 = 3*d - w - 22, f = 2*w - 2 + 10. Suppose -12 + d = 6*z. Which is greater: -1/34 or z?
-1/34
Let l = 169 - 143. Suppose -l*q = -18*q + 1368. Is -172 >= q?
False
Let x(s) = s**3 + 6*s**2 + 2*s - 7. Let m be x(-5). Suppose -3*z = -5*z + m. Suppose z*c - 60 = 4*a, -2*a + 1 = -a - 5*c. Which is greater: -18 or a?
-18
Let u = -17 + 9. Let g be (285/532 - 4/16)/((-2)/14). Is g not equal to u?
True
Let s = -19745 + 1796871/91. Is 0 bigger than s?
False
Let r(t) = 4*t + 88. Let a be r(-21). Suppose 2*q = 3*q - 3*w + 118, -a*w = -4*q - 504. Is q at least -129?
False
Let y be (5/4 - (-12)/(-48)) + 777 + 0. Which is smaller: 781 or y?
y
Let q = 1.3 - -1.1. Let o be 1/(-6) - 1037/2562. Does o = q?
False
Let w(l) = -3*l + 41. Let d(v) = -11*v + 42. Let z be d(3). Let m be w(z). Is m greater than 9?
True
Let r(g) = 2*g**2 + 38*g - 445. Let m be r(-23). Does -269 = m?
False
Let v = 525.0293 + -0.0293. Let n = 1067 - v. Which is smaller: -1/3 or n?
-1/3
Let q = 20/129 + -4226/26703. Let g = -9898/11799 + q. Are g and 0 nonequal?
True
Let y = -35 - -23. Let x = y + 11. Let o = -0.41 + 0.2. Which is smaller: o or x?
x
Let j = 3761 + -4023. Is j at least as big as -264?
True
Suppose -3*x = -u - 1, 5*x - 5*u + 4*u = 5. Let p be (-5)/x*9/3. Let g = 2867 - 2875. Which is greater: g or p?
p
Let k = -114 + 115. Let v be 15/(-6)*(k + -7). Which is greater: v or 8?
v
Let r = -99/20 + 347/40. Which is smaller: 5 or r?
r
Let s be -4645*6/60*-2. Is s at least as big as -0.15?
True
Let f = -1584 - -1587. Let m = 96.99 - 0.99. Which is smaller: f or m?
f
Let z = 3/2221 - 51248/122155. Which is bigger: z or 1?
1
Suppose 0 = 3*j + h + 6, 9 = -3*h - 0*h. Let a be (2 - 63/35)*j. Which is bigger: a or -21?
a
Let i = -1.29 + 0.99. Which is bigger: i or -142?
i
Suppose -11 = 3*j + 22. Let g = 3/411604 - 29223905/2881228. Is j <= g?
True
Let d be (-125640)/126 + (-18)/21. Which is greater: d or -1001?
d
Let v(t) = -6*t - 76. Let k be v(-11). Let l be -2*(-8 + 3)/k. Which is greater: -12/13 or l?
-12/13
Suppose 5*q + 7 = -y, -8*y - 5*q + 9 = -5*y. Suppose -w + 3*w = 16. Suppose y*j - w = 7*j. Which is smaller: 3 or j?
3
Let j(s) = -s**3 - s. Let l(a) = 12*a + 24. Let r be l(4). Let u = 71 - r. Let n be j(u). Is n greater than 9/8?
True
Let v = 11441.9694 + -11442. Which is greater: -2 or v?
v
Suppose 115 = 50*x + 32*x - 131. Which is greater: x or -379?
x
Let z(y) = -3*y**3 + 2*y + 2. Let v be z(-1). Let k(q) = -2*q**3 + 188*q**2 + 1 - 194*q**2 + 5*q + v*q**3. Let d be k(3). Is -9 at least d?
True
Let n(u) = 8*u**2 + 82*u - 457. Let t be n(4). Are t and -23/257 non-equal?
True
Let v = 3179 + -1925. Is v less than or equal to 1252?
False
Let w(y) = y**3 - 5*y**2 - 3*y + 28. Let m be w(4). Suppose 2*j + b + 204 = 0, m = 4*j + b - 0*b + 406. Is j != -104?
True
Let h be (-6)/(-2428)*(11 + (-2171)/195). Which is smaller: h or -1?
-1
Let b be 1/6 - (-4832)/(-15168). Let x = b - -13586/1027. Which is smaller: 12 or x?
12
Let j = -26067 - -18644. Is -7422 < j?
False
Let q be (4/(-35))/(29/(203/30)). Let j = 221/150 - q. Which is smaller: -0.3 or j?
-0.3
Suppose 8*f - 6*f = u - 3959, -1 = u. Is f greater than or equal to -1982?
True
Let z = 7109 - 8426. Are z and -2 unequal?
True
Let p = -3969 - -2781. Is p >= 2/5?
False
Let x be -19 + 2544/132 + 31/(-33). Do -31530 and x have the same value?
False
Suppose 32*h - 7*h = 125. Suppose -o - 183 = w + 3*o, h*w - o + 999 = 0. Are w and -199 equal?
True
Let j = -142 + 157. Suppose 7 = j*p + 82. Let d(k) = 12*k + 6. Let f be d(p). Which is bigger: f or -53?
-53
Let m(c) = c**2 + 18*c - 23. Let s be m(-19). Let f be -5 + s*(-135)/(-10). Let g = -59 - f. Is g bigger than 8/11?
False
Let j(n) = -7*n**2 + 2*n**2 - 3 + 7*n**2 + 2*n**3 + 4 - 2*n. Let a be j(1). Suppose 1 = -q + f, -q = -4*f + 13 - a. Which is greater: q or -0.5?
q
Let j(f) = -f**2 - 313*f - 4857. Let a be j(-168). Which is smaller: 19504 or a?
a
Suppose t + 174 = -96*a + 93*a, -5*a = -4*t - 645. Is t bigger than -165?
False
Suppose 3*s = 6*s + 24. Let l = 113 - 78. Let a = 28 - l. Do s and a have the same value?
False
Let o = -76 + 78. Let d(f) = 2*f - 5. Let g be d(o). Suppose -3*h + 3 = 6. Are g and h nonequal?
False
Let x(z) = -2*z**3 - 17*z**2 - 6*z + 18. Suppose 2*f - 5*f + a = 76, 0 = 4*a - 16. Let l = -32 - f. Let k be x(l). Which is greater: 14/11 or k?
k
Suppose -2 + 28 = 3*r - 2*i, 22 = r + 2*i. Let f(n) = n**2 - 11*n - 9. Let z be f(r). Suppose 3*c - 35 = -4*w, 0*w - 19 = -z*c + 4*w. Is 9 greater than c?
False
Let c = 51 - 27. Let q = c - 24. Suppose q = -p + 6*p + 195. Are -39 and p non-equal?
False
Let z = -206 - -96. Let v = z - -110.02. Which is bigger: -13 or v?
v
Suppose 0 = 5*d + 5*y - 30, 10 = 4*d + 2*y - 4. Is d <= 1/1716?
False
Let u = 1923 - 2777. Which is smaller: -857 or u?
-857
Let f be 9 + (4 + 8 + -4 - 7). Which is greater: -156 or f?
f
Suppose 0 = -7*h + 11*h - 392. Let z be h/28*(-100)/(-7). Suppose 4*w - 135 - 45 = 3*b, -5*w = 4*b - 256. Which is smaller: w or z?
w
Let g(o) = 13*o**2 + 182*o - 13. Let w be g(-14). Let b(p) = -2*p - 16. Let r be b(-8). Which is greater: w or r?
r
Suppose -z = 4*p + 14, 4*p + 16 = z + 2*p. Let y = 86 - 80. Is y smaller than z?
False
Suppose 15 = -d - 0. Let i = -307 - -555. Let m = i - 246. Is m bigger than d?
True
Let z(f) = -61*f**2 - 16*f + 23. Let k(c) = 9*c - 214. Let v be k(24). Let x be z(v). Is x less than -253?
False
Let l(x) = x**3 - 15*x**2 + 54*x - 363. Let c be l(13). Which is smaller: c or 9/184?
9/184
Let z = 117 + -126. Let n(f) = -5*f + 9. Let k be n(z). Suppose -3*t + 81 = 2*t - 2*j, 3*t - 3*j - k = 0. Which is smaller: 14 or t?
14
Let a = -5340 - -5339. Is -30/593 at least as big as a?
True
Suppose m + 12 + 82 = 3*x, 4*x + 5*m = 100. Let i be 10/9*18/x. Is 130 greater than or equal to i?
True
Let y = -11843.2 + 11837. Which is smaller: y or 0.3?
y
Let r = -2870 + 2807. Which is smaller: -574/9 or r?
-574/9
Let s(g) = -g**3 - 17*g**2 - 58*g - 34. Let a be s(-8). Does -147 = a?
False
Let p(a) = -a**2 - 11*a + 10. Let q be p(-9). Let r = -29 + q. Let w be (-270)/(-67) + (-6)/(-6) + -5. Is w != r?
True
Suppose -32*i + 31*i - 4*l = -687, 4*l = 8. Which is greater: i or 2721/4?
2721/4
Suppose 0 = -314*h - 137 - 177. Which is bigger: 30/601 or h?
30/601
Let h = 3830 + -4189. Is -359 at least as big as h?
True
Let n be 25/(-4) + 3/12. Let c(w) = 5*w**2 + 22*w. Let j be c(n). Which is greater: j or 49?
49
Let r be (12/2)/2*1. Suppose -3*n - 76 = -5*p + 31, -r*p = -n - 61. Let s be (p/(-3))/(6 - 4 - 3). Which is bigger: 5 or s?
s
Let t = -6607 - -85796/13. Is 2/7 at most as big as t?
False
Let u(a) = 6*a**2 + 10*a + 4. Let g be u(-2). Suppose 4*c + g = 3*b, -5*c + 0*b = -2*b + 3. Which is smaller: c or 27?
c
Let c(i) = -2*i - 5. Let z be c(6). Let t be (-1 + (-21)/(-15))*z*20. Is t < -136?
False
Suppose -183*y + 177*y + 5940 = 0. Suppose -27*u + 9*u - y = 0. Is u greater than -56?
True
Let a = -22.39 - -1359.39. Is a >= 2/9?
True
Let p be (-15)/(-20)*(-1)/(-84). Let j = 236 + -246. Let l = j + 10. Which is smaller: p or l?
l
Let a(o) = -o**3 - o**2 + 1. Let h be a(-1). Let w = -57156 - -4401013/77. Which is greater: h or w?
h
Let y = -4565 - -4564.9. Which is bigger: y or -27.56?
y
Suppose -20 = -4*y - 8. Suppose 0*i = -5*i + 3*v - 36, -4*v = -y*i - 15. Is 3 at least i?
True
Let g = 1079/957264 - 1/2352. Which is smaller: 1 or g?
g
Let d = -2104 + 2084. Which is greater: d or 22?
22
Let t = -273747 - -273945.831. Let j = 199 - t. Let z = -0.069 + j. Which is smaller: 1 or z?
z
Let o be (-20 + 11)*296/246. Which is smaller: o or -12?
-12
Let q(p) = -p**2 - 9*p - 11. Let w = 31 - 38. Let s be q(w). Suppo