 l + 0 = -1. Let b be (l - 0) + 1 + -3. Which is greater: b or -2?
-2
Let k = 22 + -21.9. Which is greater: 18 or k?
18
Suppose 2*r + 2 = 4*r. Is -1/9 less than or equal to r?
True
Let o be 4 + 2/(-4) + 786/(-84). Which is smaller: o or -7?
-7
Suppose 4*k - 2*k = -30. Is k at least -14?
False
Let z be ((-3)/21)/(4/(-28)). Suppose 2*d + 0 = 2. Is z at least as big as d?
True
Let p = -143 - -1003/7. Are -2/5 and p nonequal?
True
Let q be 6/(-27) + (-25)/9. Which is bigger: -1 or q?
-1
Suppose -d = 6*d - 385. Is d at most 55?
True
Let j be 2 + 74/(-15) + 1. Let r = 8/5 + j. Which is smaller: 1 or r?
r
Let m = 90 + -76. Is 2 equal to m?
False
Let o = -261/316 + 6/79. Let t = -1 - 0. Is o bigger than t?
True
Suppose 92 = 3*f - 5*a - 0*a, a = f - 28. Suppose 5*l + f = 4. Which is bigger: -3 or l?
-3
Suppose 0 = g + 3*g. Let f = g + 1. Let c be 14/21 - (0 + 0). Which is bigger: f or c?
f
Let j = 12/61 - 254/671. Let b be ((-30)/(-9))/(2/3). Suppose 16 = n - 5*v, 3*n - 15 - 3 = b*v. Is n at least as big as j?
True
Let y = 21 + -4. Are y and 17 equal?
True
Suppose -5*w - 15 = 2*d + 3*d, -3 = 3*d + w. Let j = -11/2 - -6. Is j at least as big as d?
True
Let q = 3 + -2. Let v(x) = -14*x - 5. Let h(z) = 5*z + 2. Let p(w) = -11*h(w) - 4*v(w). Let n be p(4). Which is greater: n or q?
n
Let r be 1/(-4) + 18/(-16). Let s = 93/56 + r. Suppose 2*t + 4 = -4*j, -4*t + 3 = 5*j + 11. Is j at least s?
False
Suppose 2*b - 6 = 4*c, -b + 7 = -c - 6*b. Which is greater: c or 1?
1
Let g(k) = 19*k. Let f be g(-1). Let y be 6/(-15) - f/10. Which is smaller: -1 or y?
-1
Let s(l) = -2*l**2 + 2*l**2 - 8*l + 8 + l**2. Let g be s(6). Do -4 and g have the same value?
True
Let d = 0.05 - 0.35. Let r = 0.3 - d. Let f = r + -0.6. Is 4 at most as big as f?
False
Suppose 4*s = -2*g - 6, -4*s = -3*g - 1 - 18. Suppose 2*k - 6 = -4*m, 2*m + 2*m = -3*k + 7. Is m at least as big as s?
True
Let s be (172/60)/(3*-1). Let z = 11/15 + s. Which is smaller: z or 1?
z
Let f = -833/8 - -104. Is 1 <= f?
False
Let s = 0.08 + -15.08. Let n = 14.96 + s. Let c = -0.2 + 0.3. Is c not equal to n?
True
Let c = 51 - 117/2. Which is smaller: -9 or c?
-9
Let i(j) = j**3 + j - 4. Let s be i(2). Suppose 5*n + 3*c + 0*c - 40 = 0, 4*n = -4*c + 40. Is s >= n?
True
Let b be 9/2*39/(-129). Let j = b - 6/43. Which is smaller: -1 or j?
j
Let k(m) = m**2 + m. Let w be k(-2). Let z = 1 - w. Is 0.3 at least as big as z?
True
Suppose 0 = 18*g - 32*g + 210. Which is smaller: 12 or g?
12
Let i be 4*5/18 + (-6)/6. Is i <= 0?
False
Suppose -5*x - 2*d = 51 + 32, 4*d = 4*x + 44. Let r be (-3)/x - (-48)/10. Suppose 2*t = -3 + 1, r*t = -2*l - 3. Is l bigger than -1?
True
Let b(q) = q**2 + 12*q + 14. Let f be b(-11). Suppose 5*y - 2*y = -5*t + 17, -t + 2*y + 6 = 0. Is f at least t?
False
Suppose 0*w - w = 3. Let r be (4/(-5))/(5*(-4)/(-50)). Do w and r have the same value?
False
Let s = 0.1 + 3.9. Let j = s + -5. Let w = 4.6 - 5. Do w and j have different values?
True
Let z = -4 - -4. Let d be -8 + z + 3 + -1. Let u be 1*2 + 24/d. Is u not equal to 0?
True
Let r = 21 + -20. Is r at most 0.02?
False
Let y be 0 - (-1 - (-8)/6). Which is smaller: y or -4?
-4
Let d(z) = z**2 + 5*z - 1. Let q be d(-6). Suppose q*f + 11 = o + f, -o = -5*f - 13. Which is smaller: 4 or o?
o
Let f be (4/(-5))/(4/20). Let j = f - -3. Let m(w) = w - 6. Let a be m(4). Is j equal to a?
False
Suppose 1 = -3*l + 13. Suppose 0*g + 2*g = -4*v + 34, 3*g = 3*v + 6. Let u = g + -3. Are l and u unequal?
False
Let i = -48 - -49. Which is smaller: 1/8 or i?
1/8
Suppose 2*w + 10 = -5*g + w, 4 = -3*g - w. Let c = 3 + g. Let i = 363/5 - 73. Which is bigger: c or i?
c
Let v be ((-1)/(-28))/(12/98). Let a be (-2)/11 - 2193/5544. Let j = a + v. Is j >= 1?
False
Suppose -4*p = -5*z - 11, -p + z = -2*p + 5. Let f = 64 - 44. Suppose 3*k + f = 8*k. Are k and p unequal?
False
Let n(z) = -3*z + 1. Let w be n(1). Let f be -2*(-2)/(-4)*3. Let o be (6 - 2)*f/4. Is o less than w?
True
Let a = -24688/13 + 1900. Which is smaller: 0 or a?
0
Let u = 4 - -2. Let z be (-9)/u + (-3)/(-6). Let a = -12/19 - -118/247. Which is bigger: z or a?
a
Let i be 1/(5/(-225)*-3). Is 16 smaller than i?
False
Let a be 2/((-6)/(-9)) + -1. Let x(o) = o**2 + 3*o + 3. Let j be x(-3). Suppose 3*v - u - 4 = -j, 0 = -4*v - 3*u + 23. Do v and a have the same value?
True
Suppose 0*k - 5*k - 5*j = -10, 5*k = j + 4. Which is bigger: k or 2/91?
k
Let h(u) = u**3 - 2*u**2 - 3*u + 3. Let c be h(2). Let w = -3 - -2. Let r = w + 0.9. Is c bigger than r?
False
Let w be 6/(-9)*327/(-4). Let x = 51 - w. Let s = 4 + x. Is -7 <= s?
True
Let w(v) = -9*v - 10. Let t be w(-4). Let j = -41 + t. Is -15 bigger than j?
False
Suppose -8*b = -3*b - 5. Let t = -0.07 - -0.07. Which is smaller: t or b?
t
Let f be (-3 - -4) + ((-80)/(-18))/(-4). Is f >= 1?
False
Let c(h) = 3*h - 61. Let p be c(20). Is 2/87 at most as big as p?
False
Let m = -115 + 85. Is -1 != m?
True
Let u be 1/3 - (-25)/15. Suppose -a + 2*a = 0. Let x = a - -4. Is x at least as big as u?
True
Let f be 10/15*-6 + 5. Which is bigger: f or 7/5?
7/5
Let q = 7 - 5. Let t = -5 + q. Suppose 0 = n + 5 - 2. Is n greater than t?
False
Suppose 5*g - 5 - 5 = 0. Suppose -g*s + 15 = s. Let b be ((-2)/s)/((-2)/5). Is 0 bigger than b?
False
Let g = -54.16 - -53. Let s = 0.16 + g. Which is bigger: 4 or s?
4
Suppose -3*o - 9 = -0*o. Suppose -f = 27 + 46. Let c = -509/7 - f. Is c at most o?
False
Suppose 8*g = g + 14. Which is bigger: -2 or g?
g
Let v(j) = j**3 - 3*j**2 + 4*j - 3. Let a be v(2). Suppose 4 = -5*t - 1. Let p be (-2)/(-2)*(t - -2). Is p less than or equal to a?
True
Let h = -6 - -8. Let t be (-2)/7 - (-3264)/28. Let m = t - 116. Which is smaller: m or h?
m
Suppose 5*b = -s - 62, 0*b - 5*s + 28 = -b. Is -13 greater than b?
False
Suppose r + 2 = x, 4*r = 3 - 11. Let y = -1 + x. Let b = 46/65 + -4/13. Is y > b?
False
Let q = -33 + 33.1. Which is greater: q or 5?
5
Let p(t) = 2 - 1 - t - 6. Let q be p(-4). Let n be -3 + 3 + 1/4. Which is smaller: n or q?
q
Let q be 18/(-12) + (-1)/2. Let u be (q/(-3))/((-6)/9). Which is greater: -4 or u?
u
Let v(x) = x**3 - 7*x**2 + 6*x + 2. Let p be v(6). Let i be ((-3)/63)/(p/4). Is 1 > i?
True
Let w = 1928/9 + -214. Let n be (-1)/2 - (-3)/2. Which is smaller: n or w?
w
Let o = -0.05 - 0.95. Let z = -1.7 - -2.6. Let p = z + o. Which is smaller: p or -1?
-1
Let x be 0/(2*-1 - -3). Suppose x = z + z - 2. Let u = -0.1 + 0.2. Which is greater: z or u?
z
Let c(n) = -4*n**2 - 1. Let x be c(-1). Are -4 and x unequal?
True
Let h = -157.1 + 157. Which is smaller: -3 or h?
-3
Let f(h) = 4*h - 3. Let w be f(2). Suppose 4*z - r + 4 = -1, -2*z + 11 = -w*r. Let j be z + 2 + 4/(-14). Is -1 at least j?
False
Let h(y) be the first derivative of y**3/3 + y + 2. Let u(a) = a**3 - 15*a**2 + 9*a - 6. Let g(d) = 5*h(d) + u(d). Let j be g(9). Which is smaller: j or -3/7?
j
Suppose 2*k = -2*l + 46, 0 = 4*l - 2*l - 5*k - 25. Which is smaller: 4 or l?
4
Let i be (-18)/(-99) - (0 + 4/22). Which is bigger: 6/43 or i?
6/43
Suppose 40 = -11*p + 6*p - 2*m, -3*m = p + 8. Is -14 greater than p?
False
Let q(c) = 9*c**3 - c**2 - c + 1. Let t be q(1). Suppose 0 = -3*n, -4*n + 2 = -2*r - 3*n. Which is greater: r or t?
t
Suppose -6*v + 40 = -2*v. Let l = -120 + 129. Is v greater than or equal to l?
True
Let r = 0.2 + -0.3. Let i = -7 + 3. Let l = 5 + i. Do r and l have different values?
True
Let j be (0 + 0)*2*1/4. Which is smaller: j or 3/47?
j
Let v = -1273 - -1374.9. Let b = v - 98. Let a = b + -4. Is 2 bigger than a?
True
Let i(t) = t**2 - 4*t - 9. Let v be i(7). Let f(j) = j**3 - 11*j**2 - 12*j - 1. Let u be f(v). Let c = -115/693 + -1/63. Do u and c have the same value?
False
Let b = 106 - 108. Which is smaller: b or -1/2?
b
Suppose 0 = -3*d + 5*d - 8. Suppose -2*b = -d*b. Is b at most as big as -2/13?
False
Suppose -3*r - 9 = 0, 12 + 8 = -a - 5*r. Let p be (-177)/30 + (-4)/(-10). Is p at least as big as a?
False
Let c = 19 - 10. Suppose -5*i + 6 + c = 0. Is i at most as big as 3?
True
Let f = -8 + 6. Let m = 8/15 - 6/5. Is m greater than or equal to f?
True
Let v(c) = c**3 - 5*c**2. Suppose -3*h = p - 5*h - 3, 1 = p - 4*h. Let l be v(p). Let j = -8/37 + -2/333. Which is bigger: j or l?
l
Let u(t) = -t**2 - 7*t + 3. Let w be u(-7). Let a = -7 + w. Is -0.2 equal to a?
Fal