= 0 + 1. Let s = 1 - k. Is s less than o?
True
Let o = 3 + 20. Which is greater: o or 1?
o
Let z be (3 - 3)/(-2 + 0). Which is bigger: z or -1?
z
Suppose -l - p - 3 - 2 = 0, -5*l - 2*p = 10. Which is smaller: -2/43 or l?
-2/43
Suppose 2*l + 3*x = 7, -2*l + 0*x + 5*x + 47 = 0. Is 2/9 bigger than l?
False
Let n = -5.1 - -5.1. Which is bigger: n or -1?
n
Let q = -2/13 + 7/130. Is -2/3 less than q?
True
Suppose 0 = 3*j + j - 24. Suppose 2*i - 30 = -3*i. Is j <= i?
True
Suppose 4*h - 4 = -5*g + 12, -h + 5*g + 4 = 0. Let s be (-9)/(-27) + 130/6. Suppose s = -h*p + 6. Is -4 at most p?
True
Let x = -1 - -1.3. Let r = x + -0.6. Let p = 2.9 - 3. Which is greater: r or p?
p
Let a(b) = -b**2 + 3*b**2 - 2*b**2 + b**3 + 2 + b**2 + b. Let g be a(-2). Is g < -5/2?
True
Let h = -3/64 - 101/576. Let o = -49 - -195/4. Is h > o?
True
Let l = 225 - 1579/7. Are l and -2 non-equal?
True
Let f = -24/25 - 4534/225. Let b = f + 2416/117. Which is greater: 0 or b?
0
Let m = -15.1 - 10.1. Let d = 25 + m. Which is smaller: 0.07 or d?
d
Suppose -3*j + 15 = 0, -i - j - 3*j + 38 = 0. Is i smaller than 17?
False
Let v be ((-6)/(-4))/((-30)/440). Which is smaller: -21 or v?
v
Suppose w - 2*w + 2 = 0. Let c = 2/5003 - 120086/35021. Let a = c + 4. Which is bigger: w or a?
w
Let y = 4 + -11. Which is smaller: 0.8 or y?
y
Suppose 0 = -l + 5, 4*z - 3*l + 3 - 32 = 0. Let s be z + -8 + (-7)/2. Which is smaller: s or 1?
s
Suppose 2*k - 29 = 5*t, 2*t + 33 = 4*k - 3*t. Let j be 2*(10/4 - k). Which is smaller: j or -2?
-2
Let q be 8/(-72)*9/(-4). Which is greater: -0.15 or q?
q
Let r = 13/12 - 1. Let s = 1/3 - r. Which is smaller: s or -0.1?
-0.1
Let i = 487/6669 + 2/513. Is i greater than or equal to 1?
False
Let x = -270/1111 - 3/101. Is x at least 0?
False
Let h = 1703/12 + -142. Which is smaller: h or -2/7?
-2/7
Let l = 9 + -12. Let h = 1 + -3. Is h > l?
True
Let k = 21 + -19. Suppose k*b = 7*b - 60. Which is smaller: b or 13?
b
Let y be -9 + 6 - (0 + -8). Is 7/2 at most as big as y?
True
Let r = -0.1 + -0.9. Let j = -135 + 948/7. Is r at most j?
True
Let k be (-90 - 0) + -7 + 9. Let x be (-28)/k - (-1)/(-2). Let t = 5 - 6. Is t at least as big as x?
False
Let m = 57 + -109. Which is greater: -53 or m?
m
Let l = 0.04 + -4.04. Let h = -0.5 - -4.5. Let m = h + l. Which is smaller: 0.1 or m?
m
Let k(q) = q**3 + q**2 - q - 5. Let m be k(0). Let w(z) = z**3 + 4*z**2 - 5*z + 3. Let l be w(m). Let y = -13/5 + l. Which is greater: -0.5 or y?
y
Let i(t) = t**2 + 5*t + 5. Let k be i(-4). Suppose 3*q + 37 = -5*f, 0*f + f + q = -9. Let p be (8/(-12))/(f/(-3)). Which is bigger: p or k?
k
Let z = 3 - 3. Let r = z - 0.3. Let h = 3 + -2. Which is greater: h or r?
h
Let v be 1/2 - 28/24. Let m = 6 - 6.2. Are m and v nonequal?
True
Let i = 22 + -21.94. Which is greater: i or -1/3?
i
Let j = 8 + -5. Suppose -2*a = 5 - j. Let o(v) = -3*v**2 + v. Let u be o(a). Is -5 bigger than u?
False
Let o = 4 - 3.95. Let g = o - 0.55. Let r = 0.6 + g. Which is smaller: r or -1/2?
-1/2
Suppose 0 = -5*r - 15 - 85. Let s be -2 + 0 - 48/r. Is s bigger than 0.2?
True
Let y be -1*1*2 - -1. Let r(o) = 2*o**2 + 8*o - 65. Let i be r(-8). Are i and y non-equal?
False
Let a = 71 + -73. Suppose 0 = -3*o - 10 - 2. Let r be -3*(4/(-3))/o. Which is smaller: r or a?
a
Let w be (-10)/(-72) + (-3)/12. Suppose 2*a = -a + 15. Suppose -x = -6*x - a. Which is smaller: x or w?
x
Suppose 2*z = 9*z + 56. Is -8 greater than z?
False
Let w be 2/5 + (-24)/10. Let h be (w + 1)/(6/(-2)). Let l = -29 - -29. Are l and h equal?
False
Let f(a) = a - 1. Let q be (-4 + -2)/((-6)/(-4)). Let v be f(q). Let l = 5 + v. Is 0 > l?
False
Suppose 3*c + 2 = -10, -c + 4 = 2*m. Suppose -m*g + 3 = -5*g. Let k be (25/2)/5 + g. Which is smaller: k or 2?
k
Suppose 0 = 5*r, -3*b - 3*r - 4 + 16 = 0. Suppose -3*t + 8 = -a, 2*a - 3*a = b*t - 6. Let p be 2/(2 - 0) + -2. Which is bigger: a or p?
p
Suppose -5*r + 18 = -42. Suppose d + r = -5*k + k, 3*d = -3*k - 9. Let b(a) = a**2 - 5*a + 5. Let m be b(4). Is m less than or equal to d?
False
Let c be 130385/455 + 4/14. Let h = c - 287. Is 1 less than or equal to h?
False
Let n = -5.5 - -4.5. Which is smaller: n or 9/4?
n
Let n(f) = f**3 - 11*f**2 + 5*f + 15. Let v be n(10). Are v and -36 equal?
False
Suppose 5*r - 3*a = 8, 4*r - 3 = -r - 2*a. Let k be (-2 - (-4416)/(-13))/2. Let f = -171 - k. Which is greater: f or r?
r
Let b = 13 - 3. Let i be (-4)/b*(-5)/16. Which is bigger: i or 1?
1
Let q = 61 - 39. Which is smaller: 0 or q?
0
Let g = -5 - -8. Suppose -2*w = -g*w. Let l = -68/189 - -2/27. Which is smaller: l or w?
l
Suppose 2*w - 3*i + 9 = -1, 5*w = 2*i - 47. Let g = w - -21. Suppose 5*n - g = -5. Is 4/5 smaller than n?
True
Let c(r) = -r + 3. Let a be c(4). Let p be (1 + -1)/(a*2). Is -9 less than p?
True
Let i(z) = 1 + 7*z + z**3 - z**3 - z**3 + 5*z**2 - 6. Let l be i(6). Is l equal to -1/42?
False
Let x be 1*(3 + -2) - 0. Suppose 6 = -3*o - 3. Let v(s) = -s**2 - 3*s + 2. Let z be v(o). Are z and x unequal?
True
Let c be 539/(-35) - (-2)/5. Does c = -15?
True
Let y = -48/7 - -459/70. Which is smaller: 1/4 or y?
y
Let u(x) = x**2 - 5*x + 1. Let t be u(8). Let m(p) = p**2 - p + 2. Let h be m(0). Suppose h*b = -3*b + t. Which is bigger: 4 or b?
b
Suppose -3 = -2*p - r, -17 + 2 = 3*p - 5*r. Suppose p = -6*c + 3*c + 9. Is c less than or equal to 4?
True
Let k be 8/(-9)*3/4. Let g = -0.9 - -1. Which is smaller: g or k?
k
Let j(y) = y**3 + 7*y**2 - y + 1. Let f be j(-7). Let g = f - 7. Let k be -1 - -2 - (-11)/(-9). Is k bigger than g?
False
Let p = -10 - -7. Suppose 7*u = 2*u + 50. Let r be (-5)/u + (-1)/2. Which is bigger: p or r?
r
Let r be (2 - 1)/(-4 + (-90)/24). Is -1 at most r?
True
Suppose 2*a - 3*r - 13 = 0, -16 = 2*a - 4*a + 4*r. Let f be 1/3 + a/3. Do 1 and f have different values?
False
Let y(z) = 2*z**2 + 19*z + 11. Let j be y(-9). Suppose -2*l + p + 9 = 0, l - 6*l + 3*p + 24 = 0. Do j and l have the same value?
False
Let z = -460 - -462. Suppose 2*b + 16 = -5*s, -b = 2*s + 4 + 2. Which is greater: z or s?
z
Let o = 7 + -3. Let m = 9 - o. Let p = -1 - m. Is p > -5?
False
Let x(n) = -2*n**3 + n + 1. Let f be x(-1). Let v = 3 - f. Let w be (v - (-1)/(-4))/3. Which is greater: w or 1?
1
Let s = 41 - 42. Which is smaller: -1/103 or s?
s
Suppose 15 = 3*p - 8*p. Let u = -90 - -91. Is u greater than p?
True
Let k = 527/5 - 105. Suppose -2*j + 21 = 5*d, 2*j + 2*d - 18 = -2*j. Suppose -2*s = s - j. Is s at most as big as k?
False
Suppose 4*w - 20 = 4*f, -2*f + 5 = w - 0. Is f >= -10?
True
Let j = 8.6 - 4.8. Let n = 0.2 + j. Which is bigger: n or -2?
n
Suppose -15*x + 11*x = -4. Suppose q = 4*q. Which is smaller: x or q?
q
Let s = 8 - 8. Which is bigger: s or -0.08?
s
Let c = 6.6 - -0.9. Let r = -8 + c. Is 2 greater than r?
True
Let x = 7.1 - 7. Let h = 578/9 + -64. Which is bigger: x or h?
h
Let k be 7 + -5 - 2/3. Is k at least 2?
False
Let p(m) = -m**3 + 5*m**2 - m + 4. Let o be (-4)/6 + 102/18. Let y be p(o). Let r = -4 + 3. Is r at least y?
True
Let h = -13/30 - 569/210. Is h at least -4?
True
Let p(c) = -c**3 - 9*c**2 - 8*c - 6. Let q be p(-8). Let s = -3 - q. Let b(y) = 5*y**2 + y. Let h be b(-1). Is s at most h?
True
Let x be 70/(-15)*(-3)/2. Let j = -21 + x. Which is smaller: j or -13?
j
Let n(u) = u**2 - 3*u + 3. Let k be n(2). Which is bigger: 2 or k?
2
Suppose 4*p - 11 = h, -5*p + 19 = -h + 5*h. Let r be (-3 + p)*1/1. Let f be 2 - 22/6 - (-3)/(-9). Is f bigger than r?
False
Suppose -2*p + 6*p + 12 = -4*g, -5*p = -4*g - 21. Let n be (2 + g)/(5*-1). Let m(r) = r**2 - 3*r + 1. Let h be m(2). Which is smaller: h or n?
h
Suppose 2*n + 7 = 5*z + 1, 2*n - 8 = -2*z. Suppose 5*v = -10 - 10. Let j be v/(-18) - 11/9. Which is smaller: j or n?
j
Let c be 2/((-1)/(-3)*15). Which is smaller: c or -6?
-6
Let j be (-16)/(-7) + 6/(-21). Let t be j/(0 + (-2)/(-1)). Let k = 2 - t. Do k and 0 have the same value?
False
Suppose -u + 5*l - 3 = 0, -4 = -5*u + 2*u + 2*l. Let w be ((-4)/u - 0)/(-7). Let z = 2.8 + -3. Which is smaller: w or z?
z
Let q = 23164/5 + -4615. Let t(i) = -i**2 + i + 2. Let d be t(5). Let v = d + q. Is v < -1?
False
Suppose 0 = b + m + m - 45, 4*b - 2*m = 130. Let h = -161/5 + b. Which is smaller: h or -1?
-1
Let z be (-2)/(-9) - (-215)/(-360). Let i be (-6)/9*(-12)/(-8). Is z bigger than i?
True
Suppose 3