et s = 2914 + -5110. Which is smaller: 1 or s?
s
Let v be 10/(-15)*(-3)/(-5). Let o(c) = 7*c**2 - 160*c - 160. Let n be o(-1). Which is greater: v or n?
n
Let k = 102 + -64. Suppose 3 = -5*t + 6*t. Suppose -10*d + 393 = t. Are k and d non-equal?
True
Let z be (-16976)/(-264)*72/48. Which is bigger: 96 or z?
z
Let a = 12142.21 + -12128. Which is smaller: a or 1?
1
Let j(o) = 858*o + 2567. Let k be j(-3). Suppose -2*g + 4 = -w, -g + 5 = -5*w + 4*g. Let y be (-96)/22 - 0 - w. Which is smaller: y or k?
k
Suppose -w + 42 = -84*l + 86*l, 3*w = l. Which is smaller: 186/11 or l?
186/11
Let o be (71/(-284))/(51/2424). Is o at most -12?
False
Let q = 4798.99 + -4782. Which is greater: -0.2 or q?
q
Let r = 240.04 - 240.14. Which is smaller: 1077 or r?
r
Suppose -5 = -f, 0 = -5*y - f + 4*f - 15. Suppose 0 = -v, -5*t + 4*v - 48 - 157 = y. Which is greater: t or -198/5?
-198/5
Suppose -3*x = 153 - 147, 0 = -3*f + 4*x - 529. Is -901/5 less than f?
True
Let k(w) = -w**2 - 2*w + 1. Let g be k(-2). Suppose 9 = 5*v - g. Suppose 0 = -3*c - h - v, 2*c + 5*h = -1 - 9. Which is smaller: c or 2.7?
c
Let j(u) = -8*u + 43. Let r be j(5). Suppose 0 = -0*b + 2*b - 4*f - 112, 5*b + 3*f = 241. Which is greater: b or r?
b
Let u be 48/80 + 1281/(-210). Which is greater: u or -5?
-5
Let t be (5/(-3))/((-12)/(-108)). Suppose 0 = -3*q + 5*c - 26, 4*q + c - 3*c = -16. Let j be (q + 53)*(-4)/12. Is t at most as big as j?
False
Let g be (1/2)/(6/(-1404)). Let f = g + 167. Suppose 6*s = f - 14. Which is smaller: 19/3 or s?
s
Let y = 21593 - 43199/2. Let u be 0 - (-2 + (0 - -2)). Let f be -1 - (u + (1 - -4)). Which is smaller: f or y?
y
Suppose 4*y + 4*q = 40, 5*y - 9626 + 9624 = -q. Let c = 30 - 13. Is y less than or equal to c?
True
Let w(g) = -70*g - 1. Let k be w(-2). Let y = 59 + k. Does y = 198?
True
Let a be (-1 - 19/(-18))/((-41114)/366). Is 1 <= a?
False
Let b(k) = -k**2 + k - 3. Let w be b(-3). Let y(g) = 5*g + 27. Let c be y(5). Let x be ((-11)/(9 - 31))/((-2)/c). Is w greater than x?
False
Let z(d) = d**3 + 26*d**2 + 19*d + 14. Let x be z(-25). Which is bigger: x or 153?
x
Let z be ((-6)/4)/(3*6/(-24)). Suppose z*d = -8, -d + 179 = 5*q - 182. Let n = q + -47. Is 27 > n?
True
Let k(x) = -x**3 - 4*x**2 - 7*x. Suppose 5*r = v - 16, 4*r + 9 = 5*v - 8. Let h be k(r). Which is smaller: h or 64/5?
h
Suppose -5*a + 16*k - 1980 = 21*k, k + 784 = -2*a. Do a and -386 have the same value?
False
Suppose 6096 = 5*r - 3*g, 3*r - 17*g + 15*g - 3658 = 0. Is 1217 > r?
False
Let c be (47/96 + 2/(-4))/(-1). Suppose 2*a - 191 = -3*q - 2*a, 5*a + 330 = 5*q. Let u = q + -65. Are c and u non-equal?
True
Let t = 4221 - 4205. Which is bigger: t or 407/27?
t
Let m = 1273 + -2045. Suppose -3*k = 5*z + 2331, 45*k = 41*k - z - 3091. Does m = k?
True
Let s be 81/5482*(-16240)/30 - -8. Which is smaller: 1 or s?
s
Let p = -383/28 - -9885669/722708. Is p at least 0?
True
Let h(q) = 19*q**2 - q - 2. Let v be h(-5). Let o = v + -15775/33. Let f = o - -4/11. Is f not equal to -1?
True
Let u = 464 - 468. Let v be (-7)/31444*u*-2. Is 1 != v?
True
Let p = 643 + -313. Let o be 72/p - (-16)/88. Is o at most as big as -31?
False
Let r = -577.0172 + 0.0172. Let a = 575.41 + r. Is -1/2 less than a?
False
Suppose -5*z = -3*s + 335, -44*s - 201 = 3*z - 39*s. Are -740/11 and z nonequal?
True
Let i = -1.641 + -2.359. Let b be 26/5 - 2/10. Let j = b + -4. Which is greater: j or i?
j
Let r = 20 - 88. Let w be 2/14 - 15/((-1050)/(-4910)). Which is smaller: w or r?
w
Suppose 101*u - 146556 = 110*u + 60*u. Which is smaller: -2 or u?
u
Suppose 25*g - 15 = 22*g. Let y be (7/28)/(1/(-158)). Let p = y + 44. Which is smaller: p or g?
p
Suppose -z - 5 = -3*j, -7*j + 30 = -z - 9*j. Let o(v) = 22*v + 110. Let s be o(z). Which is smaller: -329 or s?
s
Let d(l) = l**3 - 15*l**2 + 12*l + 30. Let u be d(13). Let x be (1/10)/((-12)/u). Let r = 18/5 - x. Which is bigger: r or 2?
r
Suppose 19*p + 4 = 17*p. Let m be ((20/1245)/p)/((-2)/3). Which is bigger: -1 or m?
m
Let o = 172 - 683. Let h = o - -511.1. Which is greater: h or 10?
10
Let s be (-14)/(-16)*(8 - (-1080)/(-140)). Which is smaller: 11/5 or s?
s
Let c = -3448 - -3474. Which is greater: 58 or c?
58
Suppose 2 = r - 9. Let o(z) = -z**3 + 9*z**2 + 22*z + 13. Let t be o(r). Is t greater than or equal to 13?
True
Let m(a) = -242*a - 1238. Let o be m(-6). Is o bigger than 218?
False
Let z be 10/(-4)*(7 + -317 - 16). Is 816 equal to z?
False
Let t = 398 + -399. Let j = 1.57 + -50.57. Are t and j non-equal?
True
Let l be (-1)/(-25) + 28222/2575 + -12. Which is smaller: l or -12/79?
l
Let k(q) be the third derivative of -5*q**4/24 - 41*q**3/6 - 23*q**2. Let z be k(-7). Let x = -50 + 40. Which is bigger: z or x?
z
Let l(p) = p**3 - 36*p**2 - 100*p + 505. Let d be l(38). Let w(z) = 21*z - 7. Let y be w(-19). Do y and d have the same value?
False
Let g = 66 + 1. Let x = 42 - g. Let n = x + 33. Which is smaller: 4 or n?
4
Let v be 125/15 + 1 + (-5)/(-3). Suppose -13 - v = -2*n + 4*o, -4*o = -5*n + 48. Which is smaller: n or 1?
1
Suppose -68*r + 152*r = -86*r - 1786870. Is r at least as big as -10511?
True
Let y = 410.1 + -438. Let t = -213.9 - y. Which is smaller: t or 0.1?
t
Suppose 5*s - 33812 = -4*b, -83*b + 87*b - 27048 = -4*s. Is s > 6765?
False
Suppose 0 = 146*y - 299*y + 144*y + 45. Is 212/47 <= y?
True
Let s = -31 - -51. Let i = s - 8. Let r = i + -11.9. Which is greater: -4 or r?
r
Let x be (-14)/(-49) - (-1278)/(-14). Let g = 92 + x. Let y = 103 + -4633/45. Is g not equal to y?
True
Let k = 33.4 + 3.6. Let o = 103.5 - 85.5. Let x = o - k. Is x < 1?
True
Suppose 8*a - 374 = -14*a. Suppose -15*u + a*u = -122. Do -60 and u have different values?
True
Suppose 728*q + 71897 = 207305. Is 2.4 > q?
False
Suppose 114*s + 1176 = 102*s. Let h = -40 - s. Is 55 less than or equal to h?
True
Let y(z) = z**2 - 5*z + 2. Let r be y(-4). Let f(d) = 148*d + 1571. Let q be f(-11). Let v = r + q. Do v and -21 have the same value?
False
Let a be (129/(-6))/((-1)/(-2)). Let j = -257 + 212. Let k = j - a. Is k > -7/6?
False
Suppose -4*t + x + 14 = -22, -4*t = 5*x - 60. Let o(c) = c - 15. Let p be o(t). Which is bigger: p or -1/14?
-1/14
Let v(h) be the third derivative of -h**6/120 - 3*h**5/20 + 11*h**4/24 - 5*h**3/3 + h**2. Let w be v(-10). Let m be (-54)/(-21) + w/35. Is m at least 8/11?
True
Suppose 157*h - 6 = 154*h, 26 = 2*f + 2*h. Let u be 10*(-3 - -1)/(-4). Which is bigger: u or f?
f
Suppose 0 = -8*x + 3*x - 5, 2*j = -2*x - 2. Let l be -2 - j - 84/66 - -2. Which is smaller: 1/4 or l?
l
Let p(f) = 2*f + 11. Let d be p(-9). Let j be (434/12)/d*(1 + 0). Let l = -6 - j. Is l at least -1?
True
Let n = 217 + -214. Let f be ((-4)/n - -1)/(10/(-30)). Which is smaller: f or -30?
-30
Let u = -607/7 - -87. Suppose -3*c - 2*t = -1162, -3*c = 3*t - 1542 + 381. Is c greater than or equal to u?
True
Let n(o) = o**3 + 16*o**2 + o + 25. Let s be n(-16). Let i be (s/46)/((-388)/(-48) + -8). Is i != 2?
True
Let q be (9 - (14 + 1)) + 1116/139. Which is smaller: q or 1?
1
Let r(g) = g**2 + 18*g - 18. Let a be r(-19). Let i = 500 + -995. Let m be -2 + 9/4 - i/(-1404). Is a at least as big as m?
True
Let f = 957 + -616. Let v = f + -345. Suppose 4*w - 5*w = 1. Which is greater: w or v?
w
Let w be (1 + -14 - -11)/2. Which is smaller: 1/744 or w?
w
Let q be (5073/57)/((-2)/(-2)*-27). Which is smaller: q or -3?
q
Suppose z + f - 158 = 0, -3*f - 689 = -3*z - 179. Is z smaller than 190?
True
Let b = 177.4 - 172. Let w = 13.6 + b. Which is smaller: -1/3 or w?
-1/3
Let y(t) = -t**3 + t - 4. Let b be y(0). Let v be 0 - b - 3 - 40110/184. Let u = 217 + v. Which is greater: u or -1?
u
Let l = 88 - 27. Let x = -105 + l. Which is smaller: x or -3?
x
Suppose -3*k + 4*k - 3 = 0, -3*k + 265 = 2*j. Suppose -j = -n - 3*n. Let g = n + -57. Which is bigger: g or -24?
-24
Let k be 267/360*12 + (1 - 10). Which is greater: 383 or k?
383
Let i(a) = -80*a**3 + 4*a**2 - 2*a. Let f be i(1). Let t be (0 - (-6)/18)*f. Which is smaller: t or -192/7?
-192/7
Let r = 613 + -1213. Let i = r + 615. Which is greater: 9 or i?
i
Let w be (-3)/(-33) + 6/(-66). Let k = -157 - -217. Are k and w non-equal?
True
Let r(o) = o**3 - 6*o**2 - 3*o. Let q be r(6). Suppose 0 = -288*h + 307*h + 380. Is q not equal to h?
True
Suppose 0*u - 36 = -4*u. Let i be (9/(-6