) = q**2 + q - 2. Let g be l(2). Is g greater than or equal to v?
False
Suppose 2*t = 2*u + 2, -5*u + 5 - 12 = -4*t. Let w be 34/(-72) - (-1)/4. Is t less than w?
True
Let d = -7 + 6.99. Let f = d + 0.02. Which is smaller: -2/5 or f?
-2/5
Let j be (-6)/4 - 0/2. Let t = 0 + -0.1. Let d = t - 0.9. Is j >= d?
False
Let u = 5.12 + -0.12. Is u > 2/3?
True
Suppose 5*p = 2*p - 12, -4*c = p + 88. Which is greater: c or -22?
c
Let u = 1 - 17. Let n be (-6)/4*u/132. Which is smaller: -1 or n?
-1
Let l(y) = 2*y**2 + 3*y + 3. Let k be l(-1). Which is greater: k or -3/2?
k
Suppose 0 = 3*o + 1 + 2. Let n = 31 - 21. Let w be (-6)/10 + 2/n. Which is smaller: o or w?
o
Let i be 14/4 + 2/4. Let t be (-2)/(-2*(i - 3)). Which is smaller: 1/8 or t?
1/8
Let p = -8 - -9. Let f(q) = -q**2 - 4*q + 7. Let l be f(-5). Is p greater than l?
False
Let v be 54/(-132) - (-3)/2. Which is greater: 0 or v?
v
Let w = 6 + -5.7. Let h = w - -3.7. Let k = -5 + h. Is k at least -0.2?
False
Let r be (-1 - -1) + 4/(-14). Let g be (-2)/10*(-35)/(-21). Which is greater: g or r?
r
Suppose 0 = l + 5*b + 24, 5*l + 3*b - 27 + 81 = 0. Let v be (-12)/l*(-6)/(-4). Suppose v*w = 3*g - 10, -6*w - 25 = 5*g - w. Does g = 2?
False
Let i = -39.06 + 0.06. Is 0 equal to i?
False
Let y = 3/221 + -407/13702. Are y and 0 equal?
False
Suppose -4*f + 6 = -0*f + g, 0 = 3*f - 5*g + 7. Let x = 0 - 0. Suppose x = -q + f + 4. Which is bigger: 6 or q?
6
Let x = 959/16 - 11243/80. Let b = x - -81. Let g be 8/28 - 2/7. Is b < g?
False
Let a be (-4 + 4)*(-2 - -1). Is a equal to 6/5?
False
Let r(b) = 7*b**3 - 9*b**2 - 15*b - 14. Let l(s) = -8*s**3 + 9*s**2 + 16*s + 15. Let w(a) = -6*l(a) - 7*r(a). Let c be w(10). Is -4 less than or equal to c?
True
Let o be (-4)/(-16) + 33/12. Suppose d + 5 = o. Which is greater: d or -3/5?
-3/5
Let h be 2/12*(-3)/(-2). Let j be (6/(-16))/((-3)/(-2)). Which is smaller: j or h?
j
Let s(m) = -m**2 + 5*m - 2. Let b be s(3). Suppose 8*i - 15 = 3*i. Is i >= b?
False
Let a(l) = -2*l**2 - 2*l - 3. Let k be 16/4*1/(-2). Let r be a(k). Which is smaller: 1/3 or r?
r
Let h = -4 - 14. Let y = h - -21. Is 17/5 <= y?
False
Let j be (16 + -20)/(2 - 1). Let k be (6/j)/((-4)/(-24)). Which is smaller: -1 or k?
k
Let u = -3296599/3679731 - 7/39567. Let i = 14/31 + u. Which is greater: -1 or i?
i
Let t = -6237/5 + 1242. Which is greater: t or -6?
t
Suppose -7*k + 9 = -8*k. Which is greater: k or -10?
k
Let x(o) = o - 4. Let r be x(6). Suppose r*c + 3 = 5. Is 1/10 greater than c?
False
Let j = 2 + -27. Let r = -17.2 - j. Let p = -8 + r. Which is smaller: p or -2/11?
p
Let y be (0 - (-6)/(-15)) + (-36)/60. Which is bigger: 1/29 or y?
1/29
Let y = -1774/1995 + 16/105. Is 0 equal to y?
False
Let y = -40.056 - -40. Is y greater than or equal to -0.1?
True
Let z = -2.2 - -11.2. Let o = z - 8.9. Which is smaller: 2 or o?
o
Suppose 0 = 5*c - h - 11, 2*c - 2*h = c + 4. Suppose -d = -4, 7*f - 3*f - d = 0. Suppose z - 1 = f. Is z at most c?
True
Let w be 28/6*(-3 - -6). Which is bigger: 13 or w?
w
Let n = -1 - -2. Let k be ((-9)/30)/(147/(-28)). Which is bigger: n or k?
n
Let z be ((-8)/18)/(4/(-6)). Let s = 188 - 187. Is z equal to s?
False
Let m(v) = -v**2. Let a be m(0). Suppose 3*f + 0 - 5 = -5*c, -2 = -2*c + 4*f. Let z = 2 - c. Which is greater: z or a?
z
Let r be 0 - -2 - (-80)/(-42). Suppose 0 = -2*o + 29 - 31. Which is smaller: r or o?
o
Suppose 14 = u - 4*g, -5*g - 10 = 2*u + 14. Let c be ((-4)/(-34))/(u/5). Let w = 1/119 + c. Which is smaller: -1 or w?
-1
Suppose 3*q = 4*q - v + 2, 5*q + 22 = -v. Let f = 12 - 4. Suppose -y + f = -5*y. Which is smaller: q or y?
q
Suppose -20*p - 289 = -49. Which is greater: -10 or p?
-10
Let h(m) = -3*m**2 - 5*m - 1. Let j(z) = z**2 + z. Let f = 0 - -1. Let p(i) = f*h(i) + 5*j(i). Let o be p(1). Which is smaller: o or -1/4?
-1/4
Let f(y) = -y - 10. Let z be f(-11). Is 0.9 bigger than z?
False
Let u = -54 + 69. Which is smaller: 14 or u?
14
Let r be 12/(-4)*-1*3. Let t = -7 + r. Is 2/3 at least as big as t?
False
Suppose 0 = -0*z - 3*z + 12, -2*l + 2*z + 22 = 0. Let y be ((-12)/10)/(6/l). Which is smaller: y or -2?
y
Let i(z) = -z - 2. Let s be i(-4). Let r be (-16)/6 - s/6. Which is greater: r or -4?
r
Let a = -4 - 4. Is a greater than or equal to -8?
True
Let j = 23 + -18. Are 5 and j unequal?
False
Suppose 0 = -2*g - 0*g. Suppose 5*r + 3*m + 17 = m, 0 = 5*m + 5. Let d be 1 + (r - 44/(-16)). Are g and d equal?
False
Suppose -16 = -o - 14. Let k be o*-1*(-35)/(-10). Which is smaller: -9 or k?
-9
Let g = 159 + -166. Which is greater: g or -31/5?
-31/5
Let h = 2 - 0. Which is bigger: h or 1/9?
h
Let n be 6*(-7)/(-147) - (-23)/(-7). Is -3/2 >= n?
True
Let b be (-19 - -22) + 47/(-15). Is 3/2 <= b?
False
Let o be 21/(-12) + (45/12 - 4). Is 1 at least as big as o?
True
Let z(a) = a**2 - 6*a - 18. Let f be z(-3). Is f >= 8?
True
Suppose 2*h + 31 = 1. Is h > -13?
False
Let h be 6*(15/27)/5. Suppose -5*j + 2 = -13. Let q be (2 + -2 - -3)/j. Is h >= q?
False
Let z = -1.94 - 0.06. Let d = -1.9 - z. Let q be 2/(-5) + (-2)/(-30). Which is smaller: d or q?
q
Let j(m) = -m - 23. Let k be j(-12). Let g = 8 + k. Suppose -5*x + 0 = 10. Is x not equal to g?
True
Let v = -0.92 + -0.18. Let s = 0.1 + v. Is -2 greater than or equal to s?
False
Let p be 8/12*1/(-2). Let o(h) = -h + 3. Suppose 0 = 3*m - 6*m + 6. Let j be o(m). Is j < p?
False
Let k = -36 - -18. Are -17 and k equal?
False
Let l be -4 - ((-13)/5 + 0/22). Which is smaller: l or -6?
-6
Let l be 8/2*9/12. Let n be l/2*(9 + -1). Is n < 0?
False
Let s be 4/(2 + (-32)/14). Let p = 0 + -14. Let v be (-24)/s + (-4)/p. Which is bigger: v or -1/3?
v
Let h = 24 - 4. Let m be h/8*(-2)/(-30). Is 0 at least as big as m?
False
Let c be 1*2*4/(-132). Which is bigger: c or 1?
1
Let h(z) = z**2 + 10*z - 3. Let n be h(-11). Let d(j) = -8*j - 1. Let c be d(-1). Which is greater: c or n?
n
Let i = 2 - -1. Suppose -2*s + 3*k = -24, 0 = 4*s - 0*s + 4*k - 48. Let w be -2*2/s*i. Is w > 1/11?
False
Suppose 4*b = 15 + 1. Suppose -b*j = 2*z + 4, -j - 3 = 2*j. Let y(k) = k**2 - 3*k + 1. Let g be y(3). Which is smaller: g or z?
z
Suppose 0 = 3*c + 2*j - 20, 4*c - 5*c - 2*j + 8 = 0. Let i = -5 + c. Are 4 and i non-equal?
True
Let x = -255/491 - -1500130/19149. Let r = -18/49 + -11363/147. Let u = x + r. Is 1 greater than or equal to u?
True
Let g = 7/85 - -2/17. Let n = 0.3 - 0.2. Which is smaller: n or g?
n
Let b be 8/((-16)/4)*-1. Suppose 15 = -2*q - 0*o + 3*o, b*q + 21 = 5*o. Let r(a) = -3*a**2 - 2*a + 1. Let t be r(1). Is q >= t?
True
Let a = 0.1 + -1.7. Let y = 2 + a. Is 0.1 bigger than y?
False
Suppose -2*w - 14 = 2*f, -w + 59 - 22 = -3*f. Which is smaller: f or 1?
f
Let v = 50 - 57. Let y = -1/517 + -6719/1034. Which is bigger: v or y?
y
Suppose 0 = -k - 3*k - 16. Let r = 6 + k. Which is smaller: r or 6?
r
Suppose 2*z = -0*t + 3*t + 1, -4*z - 1 = -3*t. Suppose 3*i + 5 = 4*i. Suppose d - 1 = -i*f - 8, 2*d - 5*f - 1 = 0. Which is smaller: d or z?
d
Let b be 0*(1 - 2) - 10. Let a be (-2)/b*(-45)/(-6). Let s(g) = g**3 - 23*g**2 + 20*g + 47. Let j be s(22). Which is greater: a or j?
j
Let v be (4/2 + -12)*-1. Suppose s - v = -s. Suppose s*y - 4*p + 0*p = -31, -5*y = -p + 19. Is 0 at most as big as y?
False
Let o be 385/25 + 2/(-5). Let s = o - 13. Which is smaller: s or 6/7?
6/7
Let z be 6/(-10) + 2/(-5). Let s = -782/1393 - -4/7. Let t = s + 364/3383. Is z less than t?
True
Let q be (-6 + (-55)/(-15))*3/(-4). Suppose -l + 0 = -2*f - 1, -2 = -2*l + f. Is l greater than or equal to q?
False
Let j(a) = -a - 13. Let b be j(-16). Is -9 smaller than b?
True
Suppose 11*q - 8*q + 21 = 0. Is q equal to -10?
False
Let x = 0.26 - 5.16. Let d = 0.4 + 4.6. Let p = x + d. Which is greater: p or -0.1?
p
Suppose 9 = -x + 5*y + 15, -9 = 3*y. Is x > -8?
False
Suppose 7*h - 5*a = 3*h + 61, 2*a = -5*h + 35. Let y(o) = -o + 11. Let m be y(h). Are 1 and m equal?
False
Let a = 0.4 - 0.41. Let b = a + -0.99. Let g = -0.09 + 5.09. Which is bigger: b or g?
g
Let r = -1.7 - -1. Let q = r + -0.3. Is -0.7 >= q?
True
Let l = 7/3 + -3. Let z = 0.37 + 0.03. Let g = -0.4 + z. Is l bigger than g?
False
Let h be (2/(-4))/((-12)/(-1584)). Is -67 <= h?
True
Let q be 3 - (78/28 - 0). Let b be (-2)/(-6)*3*-1. Which is greater: b or q?
q
Suppose 3 = -4*d - k, -4*d - 15 = -0*k + 5*k. Which is