 0*s - 9 = s - 3*d. Is s less than or equal to l?
True
Suppose -2*y + 5*x + 33 = 0, -2*x + 3 = 3*y + 1. Let l be 6/(-51)*(-2)/y. Which is bigger: l or -1?
l
Let a = -2.9 + -0.1. Let z = 0.13 + -2.03. Let w = z - 0.1. Are a and w unequal?
True
Let g = -6.1 - -1.1. Let a = g - -5.1. Is -3 greater than a?
False
Let l(t) = t**3 - 9*t**2 + 5*t + 16. Let d be l(8). Which is smaller: -9 or d?
-9
Let t be 1/3 + (-2)/78. Let n = 75 + -75. Is t greater than n?
True
Suppose 0 = -2*w + 9 - 3. Suppose -2*l + 8 + 0 = 0, -w*g - 35 = -5*l. Are g and -5 equal?
True
Suppose -5*f - h = -6, 0*f = -2*f - 5*h - 16. Is f equal to 7/8?
False
Suppose 1 = 4*f + 241. Let o = 422/7 + f. Are 1 and o unequal?
True
Let j = 18 - 27. Which is smaller: j or -11?
-11
Let u = -0.39 - 5.21. Let h = u + 6. Let z = h + -0.3. Which is bigger: -2 or z?
z
Let p(b) = 6*b + 16. Let h be p(-4). Which is smaller: h or -6?
h
Let p = 578/5 - 116. Which is smaller: p or -7/5?
-7/5
Let o = -2.089 + 0.089. Which is smaller: 1.3 or o?
o
Let s(o) = -o**3 - 8*o**2 - 9*o - 8. Let u be s(-7). Suppose 5*c - u = 2*c. Suppose -6*f = -c*f. Is -2/7 < f?
True
Suppose -a + 3 = -0. Let z be (a/2)/(30/(-8)). Let c be 0/(3 + -2 + 1). Which is smaller: z or c?
z
Let s(v) = -v**3 - 3*v**2 + 8*v + 4. Suppose k + 12 = -2*k. Let i be s(k). Is -12 less than i?
False
Let b = -64/69 + 6/23. Suppose 5*n - 4 = -2*j, 0*n - 11 = 3*j - n. Let r = -4 - j. Is r not equal to b?
True
Let h = -1 - -1.1. Let j be (6/(-184)*47)/(-3). Let m = 6/23 - j. Which is bigger: m or h?
h
Suppose -4*c + 1 = -3. Let t be (-4 + 4)*c/2. Which is bigger: -5/4 or t?
t
Let t = -35 - -37.05. Let z = t - 2. Let j = -0.03 + z. Is j at least 0.2?
False
Let h(o) = -o**2 + 8*o - 5. Let y be h(7). Suppose 0*u = y*u - 2. Suppose -3*k = 2*k. Is u bigger than k?
True
Let k(a) = a**3 - 10*a**2 + 11*a - 8. Let h be k(9). Is h > 10?
False
Let u = -22 - -26. Which is bigger: 5 or u?
5
Let v(g) = -g**3 + 13*g**2 - g + 14. Let c be v(13). Let j be ((-1)/9)/(2/(-4)). Which is greater: j or c?
c
Let r = 7 - 16. Let n = r - -8. Is n at most -3?
False
Let l be 1561/(-342)*1/(-35). Let s = -1/342 - l. Is 0.2 less than or equal to s?
False
Let t(v) = -v**3 + 3*v**2 + v + 2. Let x be t(3). Suppose y = -x*w - 5, -3*w = 2*y - 7*y + 3. Is 2/25 >= w?
True
Let u = -5 - -1. Let p be 0/(-8 - u) - -3. Which is greater: 5 or p?
5
Let w = -10 + 9. Let j = -2 - w. Which is greater: j or 1/6?
1/6
Suppose f - 4 = 4. Which is greater: f or 4?
f
Suppose 5*n + 18 = 2*m, 3*n - 2*m + 3*m = -2. Is n smaller than 1?
True
Let y be (-3)/(-3 + 36/16). Which is bigger: y or 3?
y
Let t be 5/(-3)*(-24)/8. Suppose t*r + 30 = 4*f, 4*f = -2*r - r - 18. Is -5 equal to r?
False
Let y(l) = -5*l - 17. Let t be y(5). Which is smaller: 1 or t?
t
Let s = 8 - 15/2. Which is bigger: 0.2 or s?
s
Let s = 2.1 + -0.3. Let k = s + -1.2. Which is greater: k or 0.1?
k
Let f(w) = -5*w**2 - 43*w + 18. Let g be f(-9). Let i be (-82)/(-80) - 2/5. Does g = i?
False
Suppose -3 = -5*a + a + 5*s, -3*s - 6 = -3*a. Do 6 and a have the same value?
False
Let g be 1 - 1 - (0 + 0). Suppose s - 5*w = 8, s + 5*w - w - 8 = g. Let p = s - 8. Which is smaller: p or 1?
p
Let l be 114/(-444) - (-1)/4. Which is smaller: -1 or l?
-1
Suppose -p + 2*t + 7 = 7*t, 0 = -2*p - 3*t + 7. Let x be 6/(-9)*(5 - p). Let d = -2 - -1. Which is smaller: d or x?
x
Let j = -1611211222907/18124 - -88899317. Let v = j + 1/788. Which is bigger: 1 or v?
1
Suppose 0 = 2*b + 2*x + 16, 5*b - 5*x - 12 = 3*b. Are -4 and b unequal?
False
Let b be (-2)/(-1)*1/(-5). Let w = -33 - -67/2. Which is smaller: w or b?
b
Let m = -733/247 + 498868/2223. Let u = m + -221. Which is bigger: 0 or u?
u
Let n = 4 + 0.1. Let t = -6.7 + 2.7. Let b = t + n. Are b and 3 non-equal?
True
Suppose 1 = 6*m - 17. Let l(u) = -2*u - 4. Let x be l(-3). Suppose -3*i + g + 7 = 2*g, 28 = x*i - 4*g. Which is bigger: m or i?
i
Let b = -0.17 + 0.31. Let k = -0.04 + b. Which is greater: k or 0.3?
0.3
Let d = -5 - -5. Let t be (-2 + 1 + d)*2. Let g be (-7)/((-21)/(-12)) - -1. Which is bigger: g or t?
t
Let x be (8/(-230))/((-5)/75*-6). Is x less than or equal to 1?
True
Let k(y) = y - 1. Let u be k(0). Let a = 139 - 2083/15. Do a and u have the same value?
False
Suppose 5*y + 8 + 2 = 0. Let m be (-3 + (-8)/y)*1. Is 1 <= m?
True
Let s(d) = d**3 + 2*d**2 + 2. Let v be s(-2). Suppose w = 2*l - 2*w + 26, 0 = -l - v*w + 1. Let m be (-27)/(-21) - (-2)/l. Which is bigger: m or 2?
2
Suppose -3*f + 4 + 11 = 0. Suppose -h - f = 1. Is -5 < h?
False
Suppose 13*d - 18 = 21. Are d and 16/5 unequal?
True
Let v = -10852/441 + 8/49. Let z = 24 + v. Is z at least as big as 1?
False
Suppose -r - 3*t = -5*t + 2, -3*r = 3*t - 3. Let f be 1 - (2 - r/(-2)). Which is smaller: -1/7 or f?
f
Let o = -1 + 0.9. Let h = -24 + 23. Is h smaller than o?
True
Let i(z) = -3*z**3 + z - 1. Let t be i(1). Let m be 3 + ((-294)/9)/7. Which is smaller: t or m?
t
Let i be (1/12)/(4/(-104)). Let m = 77/30 + i. Which is bigger: 5 or m?
5
Let v(t) = 10*t**2 + 4*t. Let a be v(-2). Which is bigger: 0 or a?
a
Let z = -10/507 - -6031/169. Which is greater: 0 or z?
z
Let q = 2157/119 - -27/17. Let u = -2084/105 + q. Suppose 2*i + 0 = -2*c - 8, 2*i = -5*c - 8. Which is smaller: c or u?
u
Let f be -3*(10/(-6) + 2). Let r be 4/18 - f/(-45). Let m = -3 + 2.9. Which is smaller: m or r?
m
Suppose 2 = -2*p + 3*p. Let t(b) = -b**3 + 2*b**2 - b + 1. Let x be t(p). Let j be 2 + (x - -3)*-1. Is -2 bigger than j?
False
Let h = 65/2 - 32. Is h not equal to 2/5?
True
Let d = 57.6 + -52. Let p = d + -6. Let h = p - -0.3. Which is bigger: -2/7 or h?
h
Let j = -5 - -10. Suppose -j*d + 4*d = 2. Which is bigger: d or 0?
0
Let m = -0.09 + 0.13. Let k = 0.06 + m. Let g = 0.08 + -3.08. Is g at least as big as k?
False
Let r(c) = 2*c**2 + 24*c - 6. Let d be r(-12). Is -3 != d?
True
Let i = -5 - -6. Is 0.07 at most as big as i?
True
Let a = 1 - 4. Let u(o) = -o + 5. Let i be u(8). Are i and a unequal?
False
Let h be 0/(-2 + (-2)/(-2)). Let t be ((-15)/(-9))/(-2 + h). Is 0 less than or equal to t?
False
Let z(j) = j**3 + 3*j**2 - j + 3. Let f be z(-4). Let l be -2*1 - 18/f. Is -4/3 equal to l?
False
Let y = 5 - 3. Let s = -3.04 - -3. Let m = 1.04 + s. Which is smaller: m or y?
m
Let o = 46 + -25. Let u = -21.2 + o. Are u and -6 non-equal?
True
Let m = -30 - -28. Is -1 smaller than m?
False
Let n = 3 - 3. Let y(s) = -s**2 - 7*s - 1. Let f be y(-5). Suppose -c - f = 2*m + 2*c, -2*c - 6 = 4*m. Is m equal to n?
True
Let p(x) = -x**3 + 6*x**2 + 1. Let u be p(6). Let g = 1/295 - -766/295. Let s = -2 + g. Is u at least as big as s?
True
Let t(k) = -4*k - 8. Let a be t(-6). Which is smaller: 14 or a?
14
Let z be 3/(36/8 + -3). Let t be (z/(-4))/((-3)/(-12)). Which is smaller: t or -1/2?
t
Let o be 37/(-66) - 0/(-12). Let p = -8215/33 - -249. Let k = o + p. Which is bigger: k or -0.2?
-0.2
Let b(x) = -x**3 + 3*x**2 - 2*x + 2. Let z be b(2). Which is smaller: z or 34?
z
Suppose -3*k + 14 + 13 = 0. Suppose 1 = -r - k. Do r and -10 have the same value?
True
Let a = -1778 + 4187. Let w be 2/(-7) - a/(-420). Let q = w - 26/5. Which is bigger: q or 1?
1
Let z(y) = 2*y + 4. Let h be z(6). Suppose 2*n = -2*n + h. Suppose -2*l + 4 = -n*l. Is l bigger than -2?
False
Let m be 0/(3/1 - 2). Which is smaller: m or 2/37?
m
Let i = -0.4 + -0.5. Let j = i + 1.9. Which is bigger: j or -2?
j
Suppose -5*g - 3*v = 25, 6*g - 2*g + 3*v + 20 = 0. Let l be 10/(-2) + (0 - -1). Which is greater: g or l?
l
Let d be (48/224)/((-1)/(-10)). Is d greater than 3?
False
Let m = -7887 + 47135/6. Let d = m + 31. Is -1 <= d?
True
Let l(d) = d**3 - d**2 + d - 4. Let x be l(5). Let i = -298/3 + x. Is 2 equal to i?
False
Let u = -23 + 39. Suppose -3*l + u + 11 = 0. Suppose -3*d - 6 = -33. Is l > d?
False
Let a = -5989/14 + 2018/7. Let x = 142 + a. Which is greater: x or 2?
x
Suppose -7*b - 5 = -12*b. Are 0.2 and b equal?
False
Let v(p) = -18*p**3 - p**2 - p - 1. Let i be v(-1). Let s be i/(-36) + 4/18. Let x = -78 + 77. Which is smaller: x or s?
x
Suppose 3*j - j - 12 = 0. Let v be 0 + 2 + -2 - -4. Which is bigger: j or v?
j
Let v = 8.94 + -9. Let w = -0.04 + v. Is w bigger than 0.2?
False
Let z = 4 - 1. Let s = z - 3. Is s at most as big as 2/31?
True
Let f(w) = w**3 - 13*w**2 - 2*w + 26. Let r be f(13). Is r gr