 t. Which is smaller: r or -1?
-1
Let l be (-55)/2 - 37/74. Is l >= -27?
False
Let b be (6/(-24))/(2/(-42)). Let v = -181/36 + b. Which is greater: 0 or v?
v
Suppose 4*x - 2 = 2. Which is greater: 1/8 or x?
x
Let j = 59 + -79. Suppose -6 = -2*s, -4*t + 9 = s - 14. Let c be t/2*(-24)/j. Which is smaller: c or -1/2?
-1/2
Let c = -11 - -15. Are 6 and c nonequal?
True
Let c(u) = -u**2 - u + 1. Let a be c(0). Let f = a + -3. Suppose y = -h, 2 = 5*h - y + 8. Which is smaller: h or f?
f
Let l = -11 + 13. Suppose -i + 2 = i. Is l at least as big as i?
True
Suppose 5*f - 7*f = 0. Is -1 <= f?
True
Suppose -5*h + 3*l = -11, 0 = -4*h + 5*l + 14. Which is bigger: h or 2/87?
h
Suppose r = -2*z + 7, 8*z - r = 5*z - 2. Suppose 3*b + 12 = -2*y, -5*y + 3*b + 5 = -7. Which is smaller: y or z?
y
Let y = -1 + 11. Is y smaller than 10?
False
Let c = -20.2 - -20. Is 7 <= c?
False
Let z = 0.06 - -0.94. Are z and -0.5 unequal?
True
Let i be -7 - -5*(-4)/10. Let c = -8 - i. Is c >= 4?
False
Let l = -0.11 + -3.89. Let j(s) = s**3 - 6*s**2 - 8*s + 6. Let h(z) = z**2 - z + 1. Let m be h(3). Let q be j(m). Is q >= l?
True
Let d = 2 - -14. Let r = -16.22 + d. Which is bigger: r or -1?
r
Let d = -152 + 756/5. Let v = 2 + -4. Let h be 8/36 + v/9. Are d and h unequal?
True
Let b = -0.47 + -0.03. Let p = b + 0.4. Let k = -0.4 + 0.3. Is p at most k?
True
Let y(j) = -2*j + 10. Let w(v) = 2*v**2 + 6*v + 3. Let l be w(-4). Let x be y(l). Let f be 3/(-18) + 2/x. Do f and 0 have different values?
True
Let p(y) = -8*y + 2. Let c be p(-4). Suppose 4 = -4*l, -3*r + 6 + c = -4*l. Which is smaller: r or 11?
11
Let k = 0.01 - -0.07. Let g = k + 0. Let b = 1.08 - g. Do b and -2/3 have the same value?
False
Let s = -138 - -139. Which is smaller: s or -4.8?
-4.8
Let u(v) = -v + 5. Let n be u(4). Let p be 0/((-3)/3) + n. Which is greater: p or -2/7?
p
Suppose 2*v + v = -5*j - 11, 4*v + 5*j = -13. Let p be v/(-6) - (-2)/(-6). Which is bigger: p or -1/2?
p
Let p = 135 + -166. Which is smaller: p or -33?
-33
Suppose -4*b - r = -18, -r - 9 = -3*b + 1. Does b = 7?
False
Let j(g) = -2*g**2 - 3. Let y be j(0). Suppose 2 = z - 1. Let v = -6 + z. Are v and y unequal?
False
Let v = 13 - 25/2. Suppose -5*i = 3*i + i. Which is smaller: i or v?
i
Suppose 2*h + 3*h - 5 = -3*z, -2*h + 2 = 3*z. Suppose 4*p = -3*s + h, -2*p - p = -2*s - 5. Let m be s*(2 + -2 + -2). Which is smaller: m or 3?
m
Let p be 1 - -2 - 213/63. Is 1 != p?
True
Let o be (-6)/(-4)*(-505)/(-90). Let k = -31/4 + o. Let v = -0.1 - -0.1. Which is smaller: k or v?
v
Let g be 13/13*84/2. Suppose 5*f + 4*i = 91, -g = -4*f + 4*i + 2. Is 15 greater than f?
False
Let g be 1/(2/12)*(-38)/(-570). Suppose -j + 0*j = 0. Let w = 1 + j. Which is smaller: w or g?
g
Suppose -4*p - 2*a = -9*p - 104, -p = -2*a + 24. Does p = -20?
True
Let w = -1/3 - -7/12. Is w greater than or equal to 0?
True
Let y be -2*3*(-15)/(-6). Let z be (6/(-4))/(y/(-20)). Which is smaller: -1 or z?
z
Let r(n) = -n**2 - 2. Let i be r(-4). Is i greater than or equal to -1?
False
Suppose y = -5*y. Let f be (-13)/63 - 6/27. Are f and y equal?
False
Let d(m) = -m**3 - 3*m**2 + m + 4. Let i be d(-4). Which is smaller: 15 or i?
15
Let z = 2.49 - 0.29. Let t = -0.8 - z. Is 2/5 at most t?
False
Let f = 24886/41 + -607. Is 0 greater than f?
True
Let d = 0.5 + -0.5. Let b = -5 - d. Let h = -5.2 - b. Which is smaller: h or -1/4?
-1/4
Suppose 2*q + 19 = 2*d + 3*d, 0 = 2*d - 10. Suppose 3*v - 4*u = 3, -u - 4*u = -3*v. Let r(m) = m - 2. Let t be r(v). Is q smaller than t?
False
Let g(m) = -5*m**3 + m**2 - m - 1. Let y(s) = 2*s + 1. Let d be y(-1). Let i be g(d). Is i at most 6?
True
Let v = 38.9 - 43. Let s = v + 4. Which is smaller: 0.2 or s?
s
Let k = -100 - -498/5. Is k bigger than -2?
True
Let a be (-52)/(-8) + 3/(-2). Let j = 3 - a. Let f = 0 + 0.1. Do j and f have different values?
True
Suppose 5 + 3 = 4*x. Let v(q) = -q**3 - 7*q**2 - 7*q - 4. Let c be v(-6). Is c less than or equal to x?
True
Let t be (1 + -1 + 2)/((-116)/1015). Is -17 at least t?
True
Let l be (-12)/48 - (-5)/4. Let d(p) = 2*p. Let t be d(l). Which is smaller: t or 3/4?
3/4
Let l = -16 - -14. Let a = l - -3. Is -1/20 at most as big as a?
True
Suppose 2 = 4*w + 2*s, -8*w - 5*s = -3*w. Let v = -32 + 27. Is w < v?
False
Suppose 4*b = i - 15, 110 = 4*i - b + 5. Let s = 109/4 - i. Which is smaller: -1 or s?
-1
Suppose 4*o = 2*o + 3*o. Are o and 2/155 unequal?
True
Let o = 249 - 249.1. Let z = 0.03 + 3.97. Let a = 6 - z. Which is greater: o or a?
a
Let p be 3/((-1)/((-1)/5)). Suppose n = 2*m - 12, 0 = -2*m - 2*m + 4*n + 32. Let g be m + 2*(-4)/4. Is g <= p?
False
Let v = -18 - -22. Let q = -4.09 - -0.09. Let t = v + q. Which is smaller: 2/7 or t?
t
Let i(d) = -7*d - 50. Let r be i(-7). Which is bigger: -7 or r?
r
Let n = 12 - 8. Let u be -2 + 2 - 38/8. Let k = n + u. Is -1 >= k?
False
Let p(i) = -i**2 + 9*i + 7. Let z be p(10). Let d be 1 - (7/(-3) - z). Which is greater: d or -1?
d
Let a(i) = -2*i + 2. Let o be a(1). Let r = 2 + -4. Let l be r*3*(-1)/(-27). Which is smaller: o or l?
l
Let s(p) = p - 4. Let g be s(4). Let y be 1*(1 + (-10)/7). Which is smaller: y or g?
y
Let y = -3 + 8. Suppose 0 = 3*r + b - 0 - y, -4*b = -5*r - 3. Which is greater: -1/3 or r?
r
Let k be 3 - (-1 + 0 + 0). Let v be 6/(-10) + k/(-10). Let u = 118 - 825/7. Which is bigger: v or u?
u
Let q = 15 + -13. Which is smaller: q or 1?
1
Suppose 4 = 4*z - 2*o, 2*z + o + 4*o - 26 = 0. Suppose 6*d = z*d. Is d less than -2?
False
Let s = 5.4 - 5.4. Let k = 11 + -11.7. Which is greater: k or s?
s
Suppose -836 = -12*n + 8*n. Let m be 1/(-6) + n/66. Which is smaller: 8/5 or m?
8/5
Let k = -1.8 + 1.8. Which is greater: k or 17?
17
Let m be 1/2*(4 + -2). Let q = m + -5. Let a be (-6)/q - (-100)/(-72). Is a at most as big as -1?
False
Let x = -5 - -5.1. Let u = 7.15 - 0.15. Let r = u - 6. Is x at least r?
False
Let h = 28/285 + 2/285. Let r be (-2)/3 + 3/(-9). Which is greater: h or r?
h
Let z = -5727/17 + 337. Let w(v) be the third derivative of v**4/24 - v**3 + 2*v**2. Let f be w(5). Is z less than f?
False
Let l = -8/11 + 46/33. Which is smaller: -16 or l?
-16
Suppose 24*q - 23*q + 1 = 0. Is q at least -3/25?
False
Suppose -x = -7*x + 2*x. Is 0 != x?
False
Let r(c) = 64*c + 1. Let t be r(-1). Let d = -187/3 - t. Is 0 >= d?
False
Let u be (-6)/(-3) + 0 - 1. Which is greater: 2/7 or u?
u
Suppose 0 = 7*l - 2*l - 4*c - 97, -l + 15 = -3*c. Is l > 21?
False
Let a(m) = m**3 - 16*m**2 - 18*m + 15. Let u be a(17). Which is greater: u or -5/2?
u
Let u(c) = -103*c + 2. Let b be u(2). Let q = b + 3058/15. Which is bigger: q or -1?
q
Suppose v - 5*v = 16. Let f be 15/(-6) + 2 + (-115)/50. Which is greater: f or v?
f
Let b be 80/(-30)*(-3)/7. Which is greater: 0 or b?
b
Let z(m) = m**2 + 14*m - 15. Let k be z(-16). Let q = 19 - k. Which is bigger: q or -2?
q
Let a = -13 + 9. Let h = -2 + 0. Which is greater: h or a?
h
Let y be (150/(-36))/(38/6). Let c = -3/19 - y. Is -4/7 bigger than c?
False
Let i be -1 - (0 + -8 + 1). Let d(c) = c**2 - 3*c - 7. Let o be d(i). Suppose -3*j - 3*y = 2*y + o, 2*y + 11 = j. Is j at least 2?
True
Let j = 2.7 + -3. Let h be ((-6)/4 + 1)*(8 + -7). Are j and h unequal?
True
Suppose 0*g - 12 = -4*g. Let i = 4 - g. Which is bigger: 3/2 or i?
3/2
Suppose 2*x = -x - 3. Let y = x - -5. Let m = -7 + 6. Does m = y?
False
Let g = -138 - -128. Is g less than 2?
True
Suppose 5*m - 4*m = -6. Which is smaller: m or -10?
-10
Let a = 784 + -43907/56. Which is smaller: -1 or a?
-1
Let u be 2*-1 + (-44)/8. Let c(a) = a**3 - 5*a**2 + 3*a + 1. Let t be c(3). Is u at most t?
False
Suppose u - 4*s = -4*u - 35, 3*u - 6 = -3*s. Is u smaller than -2?
True
Let l = 0.02 + -0.52. Let w = -1 - l. Let v = -0.2 - w. Is v smaller than 0?
False
Suppose -y - 2*o + 8 = 0, -3 = -y + 2*o + o. Let m be (2/y)/(5/10). Let l = 131 + -1181/9. Which is greater: l or m?
m
Let p(x) = -2405*x - 2. Let q be p(-2). Let c = q - 38521/8. Let n = c + 497/72. Which is smaller: n or 0?
n
Let m = -63 - -60. Which is bigger: m or 0.02?
0.02
Let l(f) = f**3 + 2*f**2 + 2. Let m be l(-2). Suppose -c = c + 2, 0 = -m*s - 5*c - 3. Let p be (1/(-2))/((-18)/(-8)). Is s at most as big as p?
False
Suppose -3*i = 3, -z = -3*z + 5*i + 25. Let n be (-36)/1755*z/(-4). Is -1 bigger than n?
False
Let a = -22 - -4