e c(-6). Let s = 5 - b. Let w be (-3 - 73/(-24))/((-2)/3). Are w and s unequal?
True
Let g = 1588/3 + -1093/2. Let x = g - -6689/390. Is 1 greater than or equal to x?
True
Let f(x) = x**3 + x**2 + 3*x + 2. Let h be f(-2). Let z(g) = g - 5. Let t be z(h). Let k = -139 + 127. Which is greater: k or t?
k
Let k(a) = a + 2. Let w be k(-2). Let y = w - -2. Suppose p + 2 = 4*t, 3 = -0*t - 3*t + 3*p. Which is greater: y or t?
y
Let r = -9 + 25. Let p = -5526 - -5542. Does p = r?
True
Let t be (-153)/189 + 3/21. Which is bigger: t or -5/3?
t
Let c(n) = 2*n - 15. Let b = 52 + -43. Let m be c(b). Which is bigger: -3 or m?
m
Let k be (-29)/13 - (4 - 7). Let x = 226 - 225. Is k != x?
True
Let t(m) = -m**3 + 16*m - 4. Let o be t(4). Is o smaller than -34/7?
False
Let b = -20 - -24. Suppose -4*p + 3*n + 18 = -7*p, b*n - 12 = 5*p. Let u(g) = -7*g + 2. Let j be u(1). Is j less than or equal to p?
True
Let l(o) = 2*o + 0*o**2 - o + o**2 + 7*o + 5. Let r be l(-7). Which is greater: r or -1?
-1
Let l(q) = 2*q**2 + 11*q + 9. Let j be l(-3). Do -7 and j have the same value?
False
Let a(o) = 2*o - 18. Let d be a(12). Let l be (-2219)/(-21) - (-2)/d. Suppose -l = 7*m + 20. Do m and -19 have different values?
True
Let c = -172 - -86. Let r = c + 86. Is r < -44?
False
Let q be 35/28 - (-350)/8. Which is smaller: q or 43?
43
Suppose 0 = 7*r - 31*r - 24. Which is greater: r or -1/366?
-1/366
Let f be 116/6 + 8/12. Let z(r) = -r**3 + 7*r**2 + 3*r. Let v be z(7). Which is greater: v or f?
v
Let k = -21.9 - -22. Let a = -113 - -103.3. Let r = 9 + a. Is k at least r?
True
Suppose 0 = -6*z - 7 - 23. Let n be ((-3)/(-10))/(48/140) + -5. Which is smaller: n or z?
z
Let o = -1/32961 + -7205/3944333. Is 1 greater than o?
True
Let c(a) = -2*a + 2. Let q be c(0). Suppose -x + 1 - 4 = -q*p, -4*x = 5*p + 25. Let y be 1/3*12/(-17). Which is bigger: y or p?
y
Let n(b) = -b**2 + 4*b + 15. Let y be n(7). Suppose v = -2*x - 10, -3*v + 4*x = -6*v - 34. Let w be (y/(-9))/(v/(-6)). Is -1/2 at least as big as w?
False
Let b = -2365 - -931809/394. Let x = 5527/4334 + b. Which is smaller: x or 1?
1
Let f = 3.34 - 3.35. Which is bigger: -0.11 or f?
f
Let o = 170/177 - 7426/13629. Which is bigger: -1 or o?
o
Let t be (-161)/196 - 6/14. Is 33 <= t?
False
Let w = 2334 - 2368. Which is smaller: -0.05 or w?
w
Let y be (-10)/(-15) + (-1)/(6/4). Suppose y = m, -2*m = -2*t - 2*t - 56. Is 4 bigger than t?
True
Suppose -5*p = -7*p. Suppose -8*q - 31 + 7 = p. Is -7/2 less than or equal to q?
True
Let r be (-6)/27 - (-368)/36. Suppose d + r = 6*d. Let g be d - (19/4 + -3). Which is bigger: 2 or g?
2
Let t be (-2 - 3) + (33 + -3)/6. Let o be 3/(-186)*122 + 2. Which is bigger: t or o?
o
Let s = 78.143 + -0.143. Let m = s + -77. Does -27 = m?
False
Let b be ((-6)/15)/(68/(-1420)). Let r = 1868/187 - b. Which is bigger: r or 3?
3
Let w = 115 - 66. Let r = w + -55. Is r bigger than -3?
False
Let w(b) = 4*b**2 + 26*b + 13. Let g be w(-6). Is g at least 2/31?
True
Suppose -10*s + 7*s + 12 = 0. Let r = 4 - s. Is 19/4 less than r?
False
Let i be (9/36)/(1/8). Let h be (-8)/(3/6*i). Let x = h + 15. Which is greater: x or 6?
x
Let k = -1244/13289 - -10/137. Are -0.02 and k equal?
False
Let t be ((-1)/(-4))/((-152)/(-57)). Let x = t + 141/32. Let i = -1 + 5. Is i less than x?
True
Let i = -2011 + 2079. Is i not equal to 58?
True
Let m = -314 + 317. Are 3 and m equal?
True
Suppose 116 = 4*g + 4*z, -4*g - 3*z + 59 = -61. Suppose 3*w + 13 - 110 = 5*t, -4*t - 98 = -3*w. Which is smaller: g or w?
g
Let y = 6 - 11. Let g(w) = w**3 - 4*w**2 + 3*w - 2. Let b be g(3). Let z be (b - y)/3 + -11. Is -10 at most z?
True
Let c = -13 + 16. Suppose -5*a - 38 - 86 = -c*p, 4*p - 117 = -3*a. Let b = -29 + p. Is b != 4?
False
Suppose 2*v - 49 - 9 = 0. Suppose -3*c + 4 + v = 0. Let j = -10 + c. Which is bigger: -1/4 or j?
j
Suppose 0 = -4*s - 2*u + 444, 3*s - 348 = -u - 17. Which is bigger: s or 110?
110
Let m = -34 - -27. Let c be (2/(-4))/(m/(-14)). Which is smaller: c or 21?
c
Let d be 4/3 + (-4)/12. Let q = -3035/431 - -4574868/5603. Let g = q - 809. Is g != d?
True
Let z = -20 - -19.89. Let p = 21.4 + -21.5. Which is bigger: p or z?
p
Let q = -9 - -12. Let j be (1*(-3 + 2))/q. Is j at most 2/3?
True
Suppose -3*q - q = -12, 72 = 3*z + 3*q. Let x be (-1 - -77)/4 + 3 + -2. Which is smaller: z or x?
x
Suppose 5*k - 48 = -5*v + 77, -2*k - 3*v + 52 = 0. Let h = 24 - k. Which is greater: -3/40 or h?
h
Let j = 43 + -42. Which is smaller: j or 2/75?
2/75
Let d be 430/70 + 2/(-14). Let n be (d/(6/2))/(2/(-23)). Which is smaller: -25 or n?
-25
Let r(l) = l**2 - 2*l + 8. Let j be r(-6). Is j != 281/5?
True
Let k = 8 + -5. Suppose k*x - 3*t - 9 = 0, -4*x + 3 - 16 = t. Let a = -4 + 0. Which is greater: a or x?
x
Suppose 2*x - 194 = h, x = 3*h - 14 + 101. Let d = -101 - -200. Is x > d?
False
Let h(b) = 10*b + b**2 - 7*b - 3*b - 8 - b**3. Let t(a) = -a**2 - 4*a + 5. Let v be t(-5). Let o be h(v). Is -9 greater than o?
False
Let i be (-1 + 449/446)/(31/(-124)). Which is smaller: -1 or i?
-1
Suppose -5*p = -a - 10, a - 3*p + 6 = -2*a. Let d be 8 - a - (-2 + 4). Are 3 and d non-equal?
True
Suppose -22*g = -23*g. Suppose 5*t - 47 = 2*h, g = -6*t + 2*t - 4*h + 32. Is t at least 9?
True
Let p = 278 + -278. Let x = -73403/28 + 2622. Let l = x + -3/14. Which is smaller: p or l?
p
Suppose 2*h = -13*p + 9*p - 466, 0 = 3*h - 2*p + 659. Which is smaller: -220 or h?
h
Let k = -26 + 32. Let j be 2 + k*(-10)/35. Which is smaller: 3/2 or j?
j
Let p = -182 - -96. Let d = p - -80. Is -2 at most d?
False
Suppose 4*a - 6 + 30 = 0. Let p = -14 - a. Let n = -7 - p. Are 2 and n nonequal?
True
Let i be 9 + (417725/(-32131) - -4). Is i greater than or equal to 0?
False
Let c = 851.8 - 785. Let g = -67 + c. Do g and 1/2 have the same value?
False
Let p(d) = -13*d - 16. Let k be p(-2). Suppose r - 18 = k*r. Which is smaller: -10/11 or r?
r
Let g = -121 + 115. Let a be 3/g + (-15)/6. Let z(o) = -o**3 + 3*o**2 - 3*o + 3. Let m be z(3). Which is smaller: a or m?
m
Let a be (1/179)/((-6)/(-12)). Let g = a + 93/7697. Which is smaller: g or -1?
-1
Let l(f) = f**3 - 6*f**2 - 6*f + 8. Let z be l(7). Let u = -14 + z. Is u equal to -1/34?
False
Suppose 5*i + 35 = -5*f, 4*f + 21 = 1. Suppose o - 4*o - 1719 = 3*x, -o + 2859 = -5*x. Let s = x + 7424/13. Is i at least as big as s?
False
Let r(a) = a**2 + 3*a + 2. Let c be r(-1). Suppose 4*w + 4*u + 8 = c, -11 = 2*w + 2*w + u. Let p(i) = -i**3. Let f be p(-1). Is w greater than or equal to f?
False
Suppose 3*a + 3 = q + 14, -3*a + 15 = 3*q. Which is greater: 30/29 or q?
30/29
Let b be (-51)/24 + 2 - (-87)/(-72). Is b less than 1?
True
Let a be 1 - (10/3 + -2). Let i = 87 + -86.89. Is a at least i?
False
Let r = 0.245 - 1.045. Which is bigger: r or -7/5?
r
Let v = -0.13 + -5.87. Let d = v - -6.06. Which is smaller: 0.3 or d?
d
Let j = 57 + -84. Let a = 26.96 + j. Let o = 0.08 - -2.92. Do a and o have the same value?
False
Suppose 5*b = 3*w + 7 - 4, b = 0. Let s = -113/5 + 111/5. Which is smaller: w or s?
w
Let k be 4/(-25)*(-198)/44. Which is smaller: k or 1?
k
Suppose -4*q + 29 = -3. Suppose 10 = 2*c - 5*b, q = -2*c - 5*b + b. Which is smaller: c or -2/5?
-2/5
Let f be 17172/5451 + -2 - 1. Let x = -5/79 + f. Do x and -1/2 have the same value?
False
Let a be 1866 - (7 - 35)/(-7). Which is smaller: 1 or a?
1
Suppose 0*g + 2*k = 4*g - 12, -3*g - 2*k = -9. Suppose -2 = -4*x - 4*b + 22, -3 = -g*x + 2*b. Suppose -5*h + x*h = 0. Which is smaller: h or 0.01?
h
Let p = 207 + -214. Let o be 22 + -3 - -1*1. Suppose -j - 3*k + 3 = -3, k + o = -4*j. Which is smaller: p or j?
p
Let y(g) = 6*g + 26. Let o be y(-5). Which is smaller: -38/13 or o?
o
Let o = 436 + -437. Which is smaller: -173 or o?
-173
Let y = -59/3 + 20. Let v = 6 + -6.4. Let m = 1.4 + v. Which is smaller: y or m?
y
Let l be (37/(-4))/((-6)/(-24)). Let p = 17 + l. Are -20 and p nonequal?
False
Let v be 18/(-12)*-2*(-9)/12. Which is bigger: v or -1?
-1
Suppose -2*o - 9 - 1 = 0, 4*f + 4*o = -16. Let q = 31 + -27. Suppose 2*m = -7*z + q*z - 2, 3*m = -z - 10. Is z at most f?
False
Let z = -52 + 25. Let g = 133/5 + z. Let i be 749/644 + (90/24)/(-3). Which is greater: g or i?
i
Let i be 121/8 - (-8 + (-65)/(-8)). Is 17 equal to i?
False
Let x be (10 + -11)*(-1 - 0). Let j be x + (8/(-2))/(-