t x be -2*(0 + (-3)/(-3)). Is x at most as big as w?
True
Let p = 90 - 49. Let m = 1177 + -1139. Let g = m - p. Is g at most -3?
True
Let a = 1 + -0.9. Let n = 8.9 - 26.9. Which is smaller: a or n?
n
Let h = -15 - -17. Suppose -2*i - 285 = -w + 2*w, h*w + 6 = 0. Let s = i - -2960/21. Are 0 and s equal?
False
Let n = -0.058 + -30.942. Let u = 30.9 + n. Let w = 1.3 - 2.2. Is u >= w?
True
Let c = -5 + 3. Let d be 21/(-2) - (-9)/6. Let r(o) = -o - 15. Let g be r(d). Which is smaller: c or g?
g
Let l(v) = v**2 - 10*v + 27. Let w be l(6). Suppose -d + z - 6 = -0*d, 0 = w*d + 3*z + 48. Is d equal to -13?
False
Let c be (-1)/(((-2)/(-3))/((-12)/(-18))). Let r = -8 + 8.3. Let l = -0.2 + r. Which is bigger: l or c?
l
Let h = -689/2813 + -29454462/47821. Let x be (-4930)/(-8) - 2/8. Let m = h + x. Which is smaller: 1 or m?
m
Let f = -4.0182 - -0.0182. Is f bigger than -4?
False
Suppose 2*j + 4*f - 56 = 3*f, -j + 4*f + 10 = 0. Let n = j - 32. Do n and -4 have different values?
True
Let r = -2049 + 2049. Which is greater: r or -243?
r
Suppose -13*z = 5*z - 3042. Which is greater: 170 or z?
170
Let z = 53 - 51. Suppose z*o = -2*t + 4, 5*o + 2*t - 10 = 3*t. Which is greater: o or 10/11?
o
Suppose 0 = -35*c - 0. Which is smaller: 2/469 or c?
c
Let w be (2/3)/(23/138). Let k(j) = j**2 - 19*j + 30. Let s be k(w). Which is greater: s or 0?
0
Let k(h) = h**3 + 7*h**2 + h + 5. Suppose 3*f = -o - 2 + 27, -f = -3*o - 15. Let u = f + -16. Let w be k(u). Which is smaller: 0 or w?
w
Let a be (426/8)/(399/304). Is 42 at least a?
True
Let z(w) = -5 + 5*w + 2 + 8 - 1 + 4*w. Let o be 0/2 + -2 - 1. Let c be z(o). Is c greater than or equal to -23?
True
Let v be 1*3/(27/(-129)). Let p be ((-14)/(-6))/((-1)/(-6)). Let t = p + v. Do t and -1 have different values?
True
Let x be 31/(-12)*(-280)/245. Which is smaller: x or 4?
x
Let r = 114 - 79. Let g = -637 - -616. Let j be (-445)/r + 6/g. Which is smaller: -14 or j?
-14
Let p be (-237)/6 - (1 + 30/(-12)). Which is greater: p or -8?
-8
Let p = -44 + 49. Suppose 25 = h - p*x, 2*h + 20 = -7*x + 3*x. Is 2 < h?
False
Let x = 10876 - 118974/11. Let l = -60 + x. Let q = 156 - 155. Is q bigger than l?
True
Let d(y) = y**3 + 14*y**2 - y - 14. Let v be d(-14). Which is bigger: v or -2/751?
v
Suppose 6*a - 3*a + 33 = 0. Let o = 13 + a. Is 20/7 equal to o?
False
Let z = 36755/249494 + 1/1757. Is z != -1?
True
Let w = -0.026 - 6.974. Let p = 6.9 + w. Which is greater: p or -0.26?
p
Suppose m + 4*o - 103 = -17, -3*m + 203 = o. Which is smaller: 67 or m?
m
Let h be 4/10 - 8/(-10). Let s(v) be the first derivative of v**3/3 - 5*v**2/2 - 6*v + 7. Let n be s(6). Is n less than h?
True
Let g = 150 - 86. Let w = 64 - g. Is w bigger than 0.106?
False
Suppose 4*r - 5 = 3. Let j be r/(1*(-4)/(-10)). Suppose 3*z = -j*z. Which is bigger: z or 4?
4
Let k = 18 - 13. Suppose 2*r - 15 = -2*r - k*d, 4*d = -4. Suppose 5*t = r*w + 40, 3*t = 5*t - w - 12. Which is smaller: 5 or t?
t
Let s = 77 + -73. Let m be (-1484)/(-203) - s - 3/1. Is 0 equal to m?
False
Let z(x) = 3*x - 10. Let l be z(5). Suppose 21 = 4*o + l. Which is greater: 5 or o?
5
Let f(g) = g - 11. Let n be f(6). Let r = n - 1. Let m be 4/r - (-11)/3. Which is greater: m or 0?
m
Let n = 0.05 + -0.08. Let r be 77/22*8/(-56). Which is bigger: r or n?
n
Let t(d) = 3*d + 2. Let z be t(-5). Suppose a = 1453 - 1465. Are a and z nonequal?
True
Let f be ((-1 - -1)/(-3))/(-1). Let v = -179 + 182. Which is smaller: v or f?
f
Let s = -22 + 27. Let v = -2/251 + -484/2259. Is s >= v?
True
Let r = 2.89 + -4.15. Which is smaller: -1 or r?
r
Let z = -1 - -5. Let w be (0 - (-2 + 0))/((-1)/(-2)). Suppose 4*r = 3*f - 17, w*r + 14 = -0*f + 2*f. Is f <= z?
True
Let n = -2422/11 + 221. Let f be (-8)/16*0/(-2). Which is smaller: n or f?
f
Let o = 1056 + -9484/9. Let i = -1386 - -1389. Which is bigger: i or o?
i
Suppose 0 = 21*c - 31 + 73. Which is greater: -27/22 or c?
-27/22
Let a be (-5)/((-60)/(-8))*(-9)/579. Which is smaller: 0 or a?
0
Suppose -3*b + 5*g = b + 1, 29 = 4*b + g. Suppose 5*w + 2*k = -14, -w - 2*k - b = -0*k. Let c = 2 + -7. Which is greater: c or w?
w
Let v(j) be the third derivative of -j**4/24 + j**3/2 - 4*j**2. Let x be v(-3). Suppose -x*r + 15 = -r. Is 5 not equal to r?
True
Let b be (916/(-180) - -5)/(6/(-140)). Which is bigger: b or 2?
b
Suppose -3*j - 4 = 2*x, 5*j = x + 3*x + 30. Let g be 65/(-52)*j/5*2. Let k = 4158/13 + -320. Is g less than or equal to k?
True
Suppose -37 + 16 = -y. Suppose -4*c - y = -3*c. Is -22 greater than c?
False
Let u = 1484 - 1485. Let x = -16 - -46. Is u < x?
True
Let r be 4/(5 + -6) + (-55)/(-14). Suppose 6*z - 3*z = 12. Suppose -d = 3*w + 3, z*w + d = 3*d + 6. Which is smaller: r or w?
r
Suppose -5*w = -40 - 10. Let s be (-2)/(-3) + w/(-6). Suppose -3*v + r = 38, 3*v + 2*r + 34 = 11. Which is smaller: v or s?
v
Let w = -30 - -32. Suppose 0 = 3*p + 2*l - 1 - w, -5*p + 3*l = -5. Let j = 114 + -2393/21. Is j != p?
True
Suppose 3*k = o + k - 4, 0 = -5*o + 5*k + 5. Let l be 21/2 + o/(-4). Let t be 3/9*3*(11 + 1). Is l less than t?
True
Let n be (-29)/(-145)*5/3. Let x(w) = -w**3 - w**2. Let f be x(0). Suppose p + p = f. Do n and p have different values?
True
Suppose 35*z - 43*z + 1600 = 0. Which is greater: z or 198?
z
Let j = -3205/3 - -1091. Let b = -23 + j. Which is smaller: b or -19?
-19
Suppose 4*y = 3*w - 574, -2*w + 528 = 4*y + 152. Is w <= 187?
False
Suppose 3*d + 6 = 0, 15 = 2*f + 3*d - 7. Let p be 88/f - (30/21)/5. Is p at least as big as 4?
True
Let p = 45 + -19. Let j = -21.8 + p. Let m = 1.8 + j. Which is bigger: -1 or m?
m
Let x = -1.89 + 1.8. Let q = x - 0.41. Let y = 1.5 + q. Is -1/4 smaller than y?
True
Let c = -2.2 + 4.2. Let a = 0 + 1. Let d = a - c. Is 0.1 at most as big as d?
False
Let r = 0.775 + 0.225. Which is greater: 12 or r?
12
Let b be 1/(-2) + (5 - 185/10). Which is smaller: b or 3?
b
Suppose -13*j = -19*j - 492. Let o = j + 121. Is o less than 41?
True
Let c be ((-4)/(-8)*0)/(-3). Suppose c*t = -4*t. Suppose -3*n + 4*n - 20 = -3*x, t = -4*n - 5*x + 45. Is n smaller than 19/3?
True
Let s be (-3)/((42/(-4))/7). Let y be (6 + s)*3/6. Suppose 3*f + 2*t - 3 + 13 = 0, -3*t = y*f + 15. Are f and 10/9 equal?
False
Let o = -0.284 + 0.184. Is 61/9 less than o?
False
Let i = -1 - -3. Suppose i*s - 4 - 2 = 0. Suppose 6*q - s*q = 24. Is q < 8?
False
Suppose c + 0*c = 27. Suppose 18 + c = -5*p. Let m = p - -11. Which is bigger: m or 9/7?
m
Let w = -1213 - -1299. Which is bigger: -1/4 or w?
w
Let a(i) = -i**2 + 18*i + 40. Let l be a(20). Is -5/4 <= l?
True
Let b(z) = 55*z**3 - z. Let t be b(1). Suppose -2*n + 4*d = -122, 2 = 3*n + 4*d - 141. Is n greater than or equal to t?
False
Let s = -2/4637 - -435884/13911. Let u = 30 - s. Let n be (-4)/(-6) - 4/6. Which is bigger: n or u?
n
Suppose 5*z - 2*z = 6. Suppose -36 = z*p - 24. Is -5 less than or equal to p?
False
Let p = -292.2 - -292. Are p and 9 non-equal?
True
Let r = 52.5 + -52. Let f = -2.5 - r. Is f less than 4?
True
Let s = 12395/418807 - -3/3197. Are s and 0 non-equal?
True
Let y be (1 + 7/(-21))*-12. Suppose 0 = 2*v + 2*v - 168. Let p be 4/16 + v/y. Is p <= -19/3?
False
Let c be (18/(-45))/((-1)/(-5)). Let h(d) = -d**2 - 4*d + 4. Suppose g + 4*g + 28 = 3*a, 2*a = -4*g - 18. Let s be h(g). Which is smaller: c or s?
c
Let z = 2/67 - 168/1139. Which is smaller: z or 7?
z
Let t = -42 - -45. Let z(s) = 1 - s**3 - 5*s**2 - 1 - 3 + 5*s. Let d be z(-6). Is t < d?
False
Suppose 5*j - 1 - 9 = 0. Let t be (((-490)/(-25))/(-7))/(4 - j). Is 0 >= t?
True
Let t = -4 - -3.9. Let j = -0.011 + 2.711. Which is greater: t or j?
j
Suppose 0 = 7*u - 9*u - 20. Let s = -8 - u. Let m be ((-14)/2)/(2/s). Is m < 0?
True
Let c be (2/6)/(527/(-6544473)). Let y = c - -4139. Is y at most as big as 1?
True
Let a = -11.002 - -0.002. Let m = a + 11.18. Is 0 bigger than m?
False
Let d = -15 + 14.9. Let a = -32.45 + 0.45. Let t = -33.9 - a. Are d and t equal?
False
Let x be 1 + 176/(-84) + 1. Suppose -d = -3*m + 13, 0 = -m + 7 - 2. Suppose 0*f - 14 = -d*f - 4*w, -w = f - 3. Which is bigger: x or f?
x
Let r be 1/((-112 - -13)/9). Let g(l) = 4*l - 2. Let c be g(2). Let d be 10/c + (-4)/6. Is d bigger than r?
True
Let w = 3 - 2. Let j = 5137 + -5134. Which is greater: w or j?
j
Suppose 7*i = 10*i + 120. Let r = i + 71. Is 31 at lea