. Suppose -27*t - 128 = -c*t. Which is greater: -34 or t?
t
Let z = -184.58 + -4.42. Let o = 174.3 + z. Let h = o + 13. Is -0.1 equal to h?
False
Let c = 2.1557 + -2.244. Which is greater: c or -1?
c
Let z = -2.2 + 2.4. Let k = -2.08 + 12.08. Which is smaller: z or k?
z
Let m = -1406 + 1415. Which is smaller: -5 or m?
-5
Let d = -15 + 27. Let i be 251/4 - (-3)/d. Which is bigger: i or -1/3?
i
Suppose -4*g = -2*w - 6, 525*g - 5 = 520*g. Which is bigger: 4/4915 or w?
4/4915
Suppose 44*q = 26*q + 27*q + 297. Is q less than or equal to -2?
True
Let k = -75841635/2272 - -33381. Which is smaller: 1 or k?
k
Let a be (1 + -2)*2 - (37 + -1). Let g = a - -70. Let k = 35 - g. Which is bigger: 25/6 or k?
25/6
Let z(p) = 32*p**2 - 8 - 31*p**2 - 10*p - 9. Let u be z(13). Is u < 24?
True
Let s be -6 + (0 - 1) + 26. Suppose s*u - 20*u - 20 = 0. Is -5 not equal to u?
True
Let f be (42/(-6) - 2) + 8/1. Is -1/1415 less than f?
False
Let n be (4 - 22/4)/((-33)/(-242)). Suppose -2*j = -5*o + 2*o + 49, -3*j = -4*o + 65. Let p = -29 + o. Which is bigger: n or p?
n
Suppose 2*i - 1 = -41. Suppose -5*p + 4*l = -9, -5*p - 2*l + 3*l = -6. Let y(n) = 5*n - 27. Let b be y(p). Which is bigger: b or i?
i
Let h be -9 - (-12)/(-16)*16. Which is greater: h or 1?
1
Let x = 41 - 42. Let f be 4/(-14) + (786/(-42) - x). Let n be 5/8*-6*72/f. Which is smaller: n or 13?
13
Let q = -3353/8 + 1665/4. Which is bigger: q or -2?
-2
Let w be 2/(-4)*(-4)/(-18). Let k = -4.04672 + 3.86672. Is w >= k?
True
Suppose 4*c - 26 - 91 = -3*g, -c + 48 = -3*g. Suppose -26*y + 983 = 177. Is y bigger than c?
False
Suppose -4*k + 2*k + 57 = -3*x, -3*k = -3*x - 93. Suppose 2*t - 4*m + k = 0, -25 = -4*m - 9. Let i = -19 - t. Is i equal to -9?
True
Let o be -5 - (96/(-6))/4. Let d be (-182)/6 + o*6/(-18). Is -94/3 greater than d?
False
Suppose a + 0*a + 2*l - 1 = 0, -4*a + l = -4. Let q(g) = g**2 + 61*g + 117. Let r be q(-59). Are r and a equal?
False
Suppose -5*j - 3*c = 23, 0 = -82*j + 79*j + 3*c + 15. Is j less than 22872?
True
Let a be 10/(-56)*(-15602)/(-4035). Which is bigger: -1 or a?
a
Let t = 1891.4 + -2051.4. Which is greater: -13 or t?
-13
Let n be ((-10)/(-8))/((-240)/(-1152)). Suppose n*i - 402 = -444. Which is bigger: -1 or i?
-1
Let s(w) be the first derivative of -7*w**4/4 + w**3/3 + 3*w**2/2 + 3*w - 1. Let u be s(-1). Is -3 >= u?
False
Let q = 785.84 + 1.16. Let y = q + -813. Let l = 0 + -0.1. Which is smaller: y or l?
y
Let j be 1/(3 + (-5)/((-20)/(-11))). Suppose 7*g = 5*k + j*g - 1479, -4*k = 5*g - 1198. Let f be ((-4)/110)/(-5 + k/60). Is 0 greater than or equal to f?
False
Let r = 21 + -11. Let s = r + -11. Suppose f + 0*m = 4*m + 32, -4*f - 3*m = -52. Which is greater: s or f?
f
Let y be (176/(-12) - 0)*((-4)/8 - -2). Is 0.31 greater than y?
True
Let c be (-25)/90*1*4. Let u = 353/315 + c. Is u equal to 0?
False
Let x be (-3 - -6) + (11 - (1 + -3)). Let f be ((-50)/(-3))/(x/(-252)). Let u = -298 - f. Which is bigger: u or -36?
u
Let w be 193/((-1)/6*(20 - 170)). Is 1 greater than w?
False
Suppose -3*s + j - 10 = 0, 18 = -3*s - 3*j + 12. Let d be (s + 4)/(-3) + (-356)/(-6). Is d not equal to 56?
True
Let l be 8 - ((-372)/6 + -5). Suppose -g + 74 = l. Let p be (-4)/186*(-6)/(-8). Is p greater than or equal to g?
True
Let a be 90/(-162) - (-30712)/72. Which is bigger: 2563/6 or a?
2563/6
Let z(i) = 2*i**2 + 8*i - 13431. Let c be z(79). Suppose 0*t + 2*t + 636 = 0. Is t >= c?
False
Suppose 3*t - 20 = -t, 2*a = t - 9. Suppose -8 = -m - m. Suppose -m*i + 3*c + 2 = c, -c = -3*i. Is a greater than i?
False
Let r be (0 + 2)*5*9/(-90). Is 7/136 greater than or equal to r?
True
Let y be 6 - (8/(-44) - 6*(-786)/(-198)). Which is bigger: 26 or y?
y
Let n be (44/3)/(4900/(-3675)). Let r = 6.5 + -4.6. Let w = r + -2. Is n bigger than w?
False
Let c = 768 - 112. Let s = 961 - c. Which is smaller: 1 or s?
1
Let q(c) = 50*c**3 - 2*c**2 - 62*c - 333. Let b be q(-6). Are b and -10833 nonequal?
False
Let k = 4295 + -4295. Which is bigger: k or -1/4169?
k
Let l(r) = 12*r**3 - 2*r**2 - r - 408. Let w be l(0). Which is smaller: -407 or w?
w
Suppose 0 = -4*z + 72 - 204. Let x be (2/(-12)*(-105)/70)/((-3)/(-6)). Is x > z?
True
Suppose 0 = 9*g + 11 + 34. Let b be ((-2223)/285)/(4/g). Is b at most as big as 11?
True
Suppose -5*m - 49 = -4*m. Suppose -3*i + 5*z + 22 = 0, -5*z = -6*z - 2. Suppose -i*j - 217 = -17. Which is greater: j or m?
m
Let d = -139 + 137. Let i(v) = 2*v**2 + 4. Let b be i(d). Suppose y + 2*y - 33 = 0. Which is greater: b or y?
b
Suppose h - 4*t = -9, 55 = -5*h + 5*t - 35. Let j(s) = 4*s - 131. Let l be j(33). Which is smaller: l or h?
h
Let l be (5/(-70))/(4/(-48)*3). Suppose 95 = 11*a - 6*a. Let m = 42 - a. Are m and l equal?
False
Let t = 124.76 + -124.86. Which is smaller: -10/679 or t?
t
Let y = 71472661/528 + -135365. Let t = -1/132 - y. Is 0 at most t?
True
Let z(g) = g**3 - 126*g**2 - 41*g + 4936. Let w be z(126). Which is smaller: w or -156?
w
Let v = -17503/5 + 3519. Let d = v - 664/35. Is d bigger than 0.7?
False
Let g = 16 + -53. Let i = -37.1 - g. Suppose -2*z = z - 2*s - 9, -5*z + 4*s = -17. Is i at most z?
True
Let n = -23820 - -23820. Which is smaller: n or 1478/3?
n
Let d be (12/10)/(16/(-40)). Let v be -6*(-1)/(-10)*30/d. Is -1/7 <= v?
True
Suppose 2*v + 2*g + 2*g - 8 = 0, 20 = 2*v - 2*g. Suppose 3*z + v = -1. Let q(a) = -a**3 + 98*a**2 + 182*a + 1796. Let u be q(100). Is z smaller than u?
False
Let a = 2200 + -1379. Let s = a + -833. Which is greater: 21 or s?
21
Let p = 781 + -943. Let x = -162.02 - p. Which is smaller: x or -6?
-6
Let b be 8/10 + (-1987973)/10730. Let z = b - -1833/10. Which is greater: -1 or z?
-1
Let r = -3 + 3.065. Let s = r - 44.065. Let i = 12 + s. Which is bigger: 1 or i?
1
Let s = -1055264859577/21365608 + -45/1942328. Let h = s - -49423. Is 32 at least h?
False
Suppose -3*d - 5*s - 5 = 2*d, -s = 3. Let o be d*(6 + -2 + -5). Which is smaller: o or -10/13?
o
Let s be ((-405)/(-3))/(9/60). Let j be 4*1 - 11/((-44)/s). Which is smaller: 230 or j?
j
Suppose 0 = -4*z + 13 - 1. Suppose x - 6*x + 0*x = 0. Suppose 2*g + x*a = -2*a + 26, -z*a = -9. Is g bigger than 11?
False
Let c be ((-24)/(-60))/(2/65). Which is greater: c or -5?
c
Suppose 19*c - 80680 = -15*c - 6*c. Is 2021 less than or equal to c?
False
Let k(c) = 10*c + 112. Let l(p) = p + 2. Let d(n) = -k(n) + 12*l(n). Let u be d(44). Which is smaller: -2/39 or u?
-2/39
Suppose -30660 = 5*z + 18600. Is z at least -9852?
True
Suppose -o + 8*o + 7 = 0. Let y be o/((-3)/12) + -84. Which is smaller: -81 or y?
-81
Let b = 6667 + -6669. Which is bigger: -0.5 or b?
-0.5
Let d(t) = -13*t + 52 + 12 + 14 - 13*t. Let h be d(3). Which is smaller: -24/31 or h?
-24/31
Let l be 10391/6 - (-4 - -7 - (-399)/(-126)). Is l less than 1736?
True
Let m be 1/5*95/(-228). Let o(w) = -3*w**2 + 2*w + 7. Let c be o(-2). Which is bigger: c or m?
m
Let h(m) = m**2 + 313*m + 9745. Let p be h(-35). Let o(u) = u**2 + 3*u + 4. Let k be o(-6). Is p at most as big as k?
True
Let n(l) = -18*l + 63. Let j be n(4). Let a be (6/j)/((-4)/(-21)). Which is smaller: a or -5?
-5
Let x(s) be the second derivative of -s**4/3 - 6*s**3 + 8*s**2 - 29*s + 2. Let j be x(-11). Are -73 and j nonequal?
True
Let k(b) = -2*b**3 + 97*b**2 - 141*b + 1. Let h be k(47). Which is smaller: h or -40?
-40
Suppose 3 = 5*w + 3. Suppose w = -5*t - 0*t. Suppose t = 2*d + 2*d - 48. Which is smaller: 11 or d?
11
Suppose -2*b - 2*b - 126 = 5*y, 0 = 5*y - 5*b + 90. Suppose i = 3*a - 20, -46 = 5*i - 28*a + 31*a. Let t be (-14 - -20)*i/3. Is y at most t?
True
Suppose -5*h - 86656 = -4*i, 3*h - 92*i + 88*i = -51992. Is -17332 equal to h?
True
Let k = 6.6 + 124.4. Let d = k + -121. Is -1/7 >= d?
False
Let z(u) = -24*u**2 - 26*u - 140. Let w be z(-10). Let x be (5/w)/(-1)*-2. Is 0 at least x?
True
Let v be 4/18 + 20/(-45). Let l = -174.8 + -54.2. Let q = l - -228. Is v > q?
True
Let k = -24605 - -24605. Are k and 105/358 nonequal?
True
Let l = -0.088 + -0.212. Let f(w) = 39*w**2 - 2*w + 1. Let b be f(-1). Do l and b have the same value?
False
Let v(t) = -9 + 201*t + 223*t - 89*t - 8 + 18*t. Let i be v(1). Is i at least 336?
True
Let u = 531 + -515. Let z be (-2825)/232 + 12 + 2/u. Is 1 greater than z?
True
Let b = 143 + -143.263. Let u = b - 31.737. Which is smaller: u or