pose -175 = -z + 6*z. Suppose 5*s + 165 = 5*b, 8*s - 13*s = -15. Let c = b + z. Which is smaller: -6/47 or c?
-6/47
Let t = 1074 - 1073. Do -191 and t have the same value?
False
Let u(d) = -d**2 - 32*d - 179. Let x be u(-7). Let c(w) = w**3 + w**2 - 15. Let j be c(0). Let i be (-18)/j*10/(-3). Are i and x nonequal?
False
Let w be (-2365)/(-20) + 18 + 1*2/8. Which is smaller: w or 3?
3
Suppose -82*w - 3*z - 19 = -77*w, -5*w - 27 = 4*z. Let i be -2 + -2 + 48/11. Is i greater than or equal to w?
False
Let h = -1870 - 355. Is -0.1 less than or equal to h?
False
Let q = -2733509/489 - -5590. Let t = -919 - -919. Which is smaller: t or q?
t
Let r = -4557 - -118447/26. Let y = -3/2 - r. Are y and -1 unequal?
True
Let a(h) be the second derivative of -11*h**4/12 + 10*h**3/3 - h**2/2 + 8*h + 4. Let i be a(2). Which is bigger: i or -19/4?
-19/4
Let p = 0.02 + -0.8. Let j = p - -6.08. Let b = j - 2.3. Which is smaller: -9/4 or b?
-9/4
Let v = -2006926/213 - -9422. Let k = v + 3/142. Let s = 7 - 6.95. Is s less than or equal to k?
False
Suppose -2*p - 502 = -156. Let a be p/(-56) - (-32)/112. Is -0.1 greater than a?
False
Let p(g) = -23*g - 47. Let j be p(-2). Let w be j/(12/3) + (-1029)/12. Which is smaller: 0 or w?
w
Let z(i) = -i**2 + 7*i - 5. Let g be z(6). Let o be -17*8/(-4) - -2*1. Let x be (1/(o/27))/(18/40). Is g < x?
True
Suppose 0 = -8*r - 304 + 1016. Let j = r - 57. Let k = 32 - j. Are -2/151 and k unequal?
True
Let w be ((-28)/(-224)*-1)/((-151)/(-20)). Which is smaller: w or 0?
w
Let a = -35 + 25. Let w = -83 + 149. Let r = 68 - w. Is a >= r?
False
Let g = -1 - 0. Let d be (-890)/12 - (-1)/(6/1). Let j = d + 71. Is j < g?
True
Let z = 25251 - 25249.5. Which is smaller: z or 615?
z
Suppose -3*k - 33 = -45. Suppose 61*z - 10 = 66*z + 4*i, 5*i + 35 = 5*z. Is z at least as big as k?
False
Let m(y) = 201*y + 374. Let l be m(-3). Which is smaller: -223 or l?
l
Let q(k) = k**3 - 10*k**2 + 11*k - 1. Let v be q(9). Let g = 18 - v. Suppose -g = -2*s + 1. Is s at least 6/5?
False
Let m(w) = 52*w + 3. Let y be m(3). Do y and 476/3 have the same value?
False
Let o(s) = s + 1. Let q be o(0). Suppose z + q = 6. Suppose 2*t + 1 = 5*h - 16, -z*t + 5*h - 20 = 0. Which is smaller: t or 0.4?
t
Suppose -4*w + 369 = -5*a, 435*w - 12 = 438*w. Which is smaller: -20 or a?
a
Let x be 20/5 - (-2)/((-2)/(-71)). Let s(t) = -8*t**3 + 2*t**2 - 3*t - 5. Let g be s(-2). Is g < x?
True
Let l be -3 - (2/(-1) - -28). Let y = l + -21. Let j = y + 32. Which is smaller: -16 or j?
j
Let l be 1198/(-138) - (140/165 - (-24)/(-132)). Do l and -8 have the same value?
False
Let d(c) = 317*c**2 + c + 20. Let r(z) = -211*z**2 - z - 13. Let m(g) = -5*d(g) - 8*r(g). Let l be m(-1). Is 106 less than or equal to l?
False
Let t(h) = 3*h**2 + 8*h - 4. Let b be (3 - 4)/(2 + (-5)/2). Let y be t(b). Which is smaller: y or 23?
23
Suppose 0 = -147*d + 165*d. Is d smaller than -1199?
False
Suppose -2*p - 8*v - 4 = -4*v, -2*p + 4*v + 28 = 0. Does -60 = p?
False
Suppose 2*i + 0*i - 4*k = 0, -i + 12 = k. Let u be (i/(-57))/(8/12). Is u > 0?
False
Let a = 348 - 345. Suppose -26*j = -23 - a. Which is smaller: j or 19/8?
j
Let s = 2586 - 3034. Is -443 >= s?
True
Let k = -25.68 - -26. Let t = -0.198 + k. Which is greater: t or 1?
1
Let i = 0.12 - 0.82. Let c = -2112 - -2111.33. Let w = c - i. Is w at least 4?
False
Let r(w) be the third derivative of w**6/120 - 3*w**5/20 + 11*w**4/12 - 7*w**3/6 + 36*w**2. Let l be r(4). Let q = -2 + 3. Is l <= q?
True
Suppose p + u + 8 = 3*u, 5*u = 2*p + 21. Suppose -124 = 2*c - 2*m, 2*m + 65 = -p*c - 47. Let t = 63 + c. Which is smaller: 5 or t?
t
Let v = -175012022/198555 - 4/28365. Suppose 5*o + 3588 = -827. Let r = o - v. Are -2 and r equal?
False
Let m = -2413 + 2434. Is m > 19/2?
True
Let q = -2289 + 2234.26. Let x = -55 - q. Let l = 0 + -1. Which is smaller: x or l?
l
Suppose 0 = -4*x - 12, -9 = -3*l + 3*x - 5*x. Suppose w + l*n + 19 = 0, 3*n + 9 = -w - 0*n. Let b be 4*(-54)/(-24) + -8. Is b equal to w?
False
Suppose -3*a + 36 = 3*q, 4 = 5*a - 11. Suppose -16 = -o + q*o. Let l be -4 + o + (-74)/(-12). Is -1 smaller than l?
True
Let i = -279 + 9205/33. Let z = -1420/3 + 474. Is z != i?
True
Let v be 3/5 - 6023964/(-97560). Let m = -7/542 + v. Let n = m + -62. Is -6 > n?
False
Suppose 0 = 59*i + 45*i + 62*i + 5312. Are -451/14 and i unequal?
True
Let l be (-27)/18*4/(-6). Suppose 0 = -4*c + 3*o - 4*o - 4, 0 = 2*c + 4*o + 16. Which is smaller: c or l?
c
Suppose 3*g - 5883 = -645. Suppose m = -1626 + g. Which is greater: m or 121?
121
Suppose 353 - 242 + 789 = 15*d. Suppose 0 = -4*a - u + 253, 2*u = 4*u - 10. Which is smaller: d or a?
d
Let r = 109 - 97. Suppose -3*p - r = -y - 7, 2*y - 8 = 5*p. Let z be (9/30)/((-2)/4). Which is greater: y or z?
z
Let x be (-2)/(-16) + (-119)/56 - 1. Let l be x/21 + (-3104)/28. Is l bigger than -111?
False
Let u = 1/45044 - -5506627/90088. Is 62 greater than or equal to u?
True
Let r be 13 + (1 + 2)*-1. Let u be (6/r)/((-3)/(-7)). Let y(c) = -22*c + 309. Let x be y(14). Are x and u unequal?
True
Suppose 0 = s + 7*z - 2*z + 25, 3*z + 15 = 0. Let p(a) = -a**2 + a - 1. Let q be p(0). Let u be (-165)/(-84)*q + 2. Which is greater: u or s?
u
Let m = -1200 + 1421. Is m greater than 224?
False
Let r(p) = 47*p**3 + 14*p**2 - 16*p + 2. Let i be r(1). Are i and -27 nonequal?
True
Suppose 141*t - 146*t + 4*o - 19 = 0, 2*t + 5*o = -1. Suppose -26 = -u - u. Is u at most as big as t?
False
Let y = 2092 + -1547. Which is greater: -2 or y?
y
Let o = -291 - -176. Let z be (-5)/(-34)*(-92)/o. Is 1/2 > z?
True
Suppose -2*z + 0*z + 85 = -w, -2*z = w - 87. Let s = z + 1. Suppose 0 = q - d + 3 - 15, 0 = 5*q + 3*d - s. Is 8 not equal to q?
True
Let i = -4181 - -4192. Let u(a) = 2*a + 12. Let v be u(-8). Let l be (-43)/(-5) + v/(-10). Does i = l?
False
Let j(s) = -471 + 3*s**2 + 473 + s + 4*s + 3*s + s. Let w be j(7). Is w less than 212?
False
Suppose 2*d + 3*y + 4222 = 3756, -3*d + y = 677. Which is smaller: d or -2490/11?
d
Let n be -16 - -915 - ((-12)/(-3) + -9). Which is smaller: 901 or n?
901
Let a be (-7 - -4)/(65/1). Suppose 21*x - 17*x = -2*r - 24, -3*r + x = -6. Does r = a?
False
Let o = 1/3921 - -66583/290154. Is 1 equal to o?
False
Let w be 5/20 + (-1789397275)/(-1140). Let v = -1569411 + w. Let f = 236 - v. Do 1 and f have the same value?
False
Let x be (-3)/(-3)*(-2 - -2). Let w = 49785/19 - 368883/209. Let q = w - 856. Is x at least as big as q?
True
Suppose -5*k + w = 2002, 6*w - 5*w - 802 = 2*k. Let g be (-5)/3 - (k/(-6) + 1). Is -68 != g?
True
Suppose -820 = -13*c - 638. Let p(a) = a**3 - 5*a**2 + 3*a + 3. Let b be p(4). Let x be (-2 - 5/(-2))/(b/c). Is 3 bigger than x?
True
Suppose 5*i = -4*g + 9*g + 30, 0 = 5*i + g - 6. Let p be 533/(-123) - (i - 7). Which is smaller: p or 136?
p
Let q(s) = 23*s - 12. Let j be (-13 - (-13 + 1))*(-13 - 0). Let z be q(j). Is 288 < z?
False
Let h = -78261/4 + 19281. Let y = h - -57995/204. Is -1 greater than y?
False
Let b be 28 - 35717/1254 - (-1)/2. Which is smaller: b or 27?
b
Let v = 38482/693 - 611/11. Which is smaller: -0.1 or v?
-0.1
Suppose 4*t - 73 = -3*w + 64, 12 = -3*t. Let j = 55 - w. Let f(s) = 2*s**2 - 7*s - 7. Let r be f(j). Which is bigger: r or -0.1?
-0.1
Let s be 21 + 11 + (-6)/2. Suppose -s*c - 270 = -11*c. Is -79/5 > c?
False
Let f = 29/159 - 22112/120363. Which is greater: -1 or f?
f
Let r be 4/(-8)*1006 - (9 - (4 + -1)). Is r at least as big as -509?
True
Let k = 205 - 202. Suppose n + 6 = -k*b - 6, -4*n - 5*b = 48. Suppose i - 5*z + 8 = 0, 3*i - 69 = 8*i + 4*z. Are n and i non-equal?
True
Let u(f) = f**2 - 7*f - 2640. Let d be u(55). Which is smaller: 22/17 or d?
d
Suppose 9 = 4*m + j - 27, -m = -5*j + 12. Let o be m + (-26)/(10 + -8). Which is greater: -11/3 or o?
-11/3
Suppose 0*d + 5*d - 6 = -3*g, -5*d = 5*g. Let c(t) be the first derivative of -18*t**2 - 6*t + 132. Let u be c(0). Is g >= u?
True
Let i be (-4)/18 + 3/(54/3676). Let b = i - 458. Do -254 and b have different values?
False
Let k = -113 - -341. Let x = k - 209. Is 18 > x?
False
Let t be ((-1400)/(-17700))/(16/(-36)*-3). Which is smaller: t or 0?
0
Suppose 1381 + 1144 = 5*k. Let q = 443 - k. Is q greater than -62?
False
Let s = -14303374/709 - -20174. Which is smaller: s or 0?
s
Suppose 0 = 7*a - 2461 + 732. Suppose -