 5. Let a be o(-7). Is y at most a?
False
Suppose 5*l - 5*k - 36 = -k, 33 = 4*l + k. Suppose v - l + 11 = 0. Which is smaller: 1 or v?
v
Let l = -17/12 + 3/4. Let x(o) = o**2 - 10*o + 9. Let u be x(9). Do u and l have the same value?
False
Let m(l) = l + 2. Let p be m(-2). Let z(x) = -x - 6. Let s be z(-6). Is p > s?
False
Suppose -u + 5*u - 24 = 0. Suppose 0 = -c + u*c - 15. Let s = -2 - -6. Is c at most s?
True
Let r be (-3)/2*8/(-6). Let s = -1 + r. Let q be 147/90 - (-16)/(-120). Which is bigger: s or q?
q
Let p = -13 + -1. Let y = p - -33. Suppose 5*q = -2*s - y, 5*q - 3*q = 2*s - 2. Which is smaller: s or -3/2?
s
Suppose 4*u + 5*d = 28, -4*u + 2*d + 4 = d. Let l be (3 - u) + 1 + -1. Does 2 = l?
False
Let g(i) = -2*i + 3 + i + 4*i + i**3 - 4*i**2. Let j be g(3). Suppose j*p - 2*k = 14, 2*p + 10 = -p - 4*k. Is p less than 2?
False
Let v = -472/3 - -156. Which is bigger: v or -3/5?
-3/5
Let t = -7 + 6. Let p = -11.02 - -11. Which is bigger: p or t?
p
Let s(k) = k - 1. Let b be s(1). Which is smaller: b or 4/47?
b
Let q = -0.06 + -0.04. Let x = 11.01 + -11. Which is greater: q or x?
x
Let g = 1.3 - 1. Let m = 2.98 - -0.02. Is g less than m?
True
Let p be 6/(1 - 3)*(-8)/12. Which is greater: p or -36?
p
Let l = 1.2 - 1. Let v = l - 0.2. Let f be (-90)/21 + 0 - (-4 + 0). Is v bigger than f?
True
Let j = 0 + -1. Which is bigger: 0.06 or j?
0.06
Let i = -1 + 1.1. Let r = i + -0.2. Suppose -3 + 1 = 2*l. Which is bigger: r or l?
r
Let h(w) = -w. Let q be h(-6). Let c = q + -5. Which is greater: c or 2?
2
Let q = -1.97 - 0.03. Let w = -0.25 + 2.45. Let s = q + w. Which is bigger: 0.1 or s?
s
Let u(n) be the first derivative of n**2/2 - n + 2. Let l be u(5). Which is bigger: l or 2?
l
Suppose -s - 12 = -3*n + 2*s, 4 = -s. Let d be (2/4*-4)/(-13). Which is bigger: n or d?
d
Let b be (-2)/3 + (-8)/(-12). Let i be -16 + (-2 + 0 - b). Let c = i + 52/3. Which is smaller: 0 or c?
c
Let d = -17/30 + 1/15. Let h = d + 0. Let z = 80 - 238/3. Is z <= h?
False
Let k = 50 - 449/9. Which is bigger: -0.1 or k?
k
Suppose -4*j + 155 = -5*t, 0 = -3*t - 0*t - 4*j - 61. Let o = t + 39. Suppose -c - o = -5*c. Which is smaller: 4 or c?
c
Let j = 4 + -5. Let r be -2 + j + -2 + 1. Which is smaller: r or -3?
r
Let y = -1.31 + 0.21. Let v = -0.8 - y. Is v equal to 0?
False
Let c = 30 - 10. Which is bigger: 21 or c?
21
Let l be (-6)/4*(-4)/12. Does 2/5 = l?
False
Let l be (-58)/(-18) - 8/36. Let y be 24/3 - l/1. Let n = 8 - y. Is 3 < n?
False
Let x(k) = -k + 5. Let d be x(7). Let b(v) = 6*v - 8. Let h(j) = -7*j + 9. Let g(o) = -6*b(o) - 5*h(o). Let m be g(6). Does d = m?
False
Let x = -0.19 - 7.81. Is -1 less than or equal to x?
False
Suppose -c + 4*o = -0 - 4, -2*o - 2 = 5*c. Let w be (-171)/63 + 1*2. Are w and c non-equal?
True
Let x = 3 - 1. Suppose 0 = x*c - 4 - 2. Suppose c*i + 8 = -i. Is i greater than -2?
False
Let d(r) = -r - 9. Let v be d(-5). Let y be 9/5 - v/20. Which is bigger: 1 or y?
y
Let b = -18/5 + 4. Do -16 and b have the same value?
False
Suppose 5*f - v - 20 = -5, -4*f - v + 3 = 0. Which is smaller: 15/7 or f?
f
Let v(x) = -2*x - 7. Let j(l) = -2*l + 4. Let d be j(5). Let y be v(d). Suppose 0 = y*i + 2 - 7. Which is bigger: 6/11 or i?
i
Let f = 37/9 + -4. Suppose -3*t = 2*q, 3*t = -2*q + 8*t. Let s be (q/3)/(4 + -2). Is s > f?
False
Suppose -5*q - 3*a - 51 = 0, 23 = -3*q - 3*a + 5*a. Is -12 greater than or equal to q?
False
Suppose 3*f - 5*z = 3 + 1, 0 = -4*f + 3*z + 9. Suppose 0*b + f*b - 3 = 0. Are b and 6/13 nonequal?
True
Suppose 5*l - 3*m = 4 - 3, 0 = -5*l + 5*m + 5. Is 3 at least as big as l?
True
Let d = -1115 + 5553/5. Let z = -23/5 - d. Let o = 581/4 - 146. Which is smaller: o or z?
o
Let r = -3 - -6. Suppose r*x + 2 = 5. Suppose x = w - 0*w. Is w >= 5/3?
False
Suppose 4 = x, t - 17 = 2*t - 4*x. Let z = 42 - 125/3. Is t less than z?
True
Let b = -0.2 - -0.12. Let u = -0.03 - -0.25. Let x = u - b. Are 2/5 and x non-equal?
True
Suppose 0 = -5*f + 3*m - 39, 5*m - 21 = 2*f - f. Which is smaller: -5 or f?
f
Let d = -50 + 23. Is -27 bigger than d?
False
Suppose 0 = 5*m - 657 + 642. Let q(l) = -10*l**3 - 1. Let z be q(-1). Let x be 1/(-2) - z/(-2). Is x < m?
False
Let d(b) = b + 7. Let w be d(-5). Suppose 3*a + 2*a + 6 = -w*z, 5*a = 4*z + 12. Let j = 22 - 200/9. Is a > j?
True
Let h = -9/4 - -3. Which is smaller: 1 or h?
h
Let v be ((-6)/(-18))/((-2)/(-6)). Let w be v - (-3)/((-9)/(-3)). Let f(a) = -a**2 + 7*a - 7. Let c be f(5). Which is bigger: c or w?
c
Let w be (-189)/(-28) - (-1)/4. Suppose 3*c - 5 = w. Which is smaller: 5 or c?
c
Let d be 2*(-3)/(-6)*7. Let f = d - 6. Which is smaller: f or -2/17?
-2/17
Let l(i) = -i**3 - 8*i**2 - i - 5. Let m be l(-8). Let v be (6/m)/(6/4). Which is smaller: v or 2?
v
Let d = 2.57 + 0.23. Let j = d - 3. Is -2/7 <= j?
True
Let h(c) = -c - 7. Let q be h(-6). Let v be 2/(-9)*(0 - 1). Which is smaller: q or v?
q
Let o be 1/((-56)/2)*(-2)/3. Which is bigger: o or 1?
1
Let f = -4.99 - -5. Let b = 0.05 + f. Let n = 2.06 - b. Which is smaller: -0.1 or n?
-0.1
Let l = 3 - 2. Let c = 172 - 160. Which is bigger: l or c?
c
Let f be 3 + (-4 - -3)/1. Is 1/2 smaller than f?
True
Let v(y) = y**3 - 6*y**2 + 4. Let n be v(6). Suppose 2*u + 2*w + 0*w = 2, -1 = -u - n*w. Which is bigger: u or 0.8?
u
Suppose 2 = 2*p - 4*g, 4*p + 5*g - 11 = 6. Suppose p*b + 15 = -2*b. Is b bigger than -4?
True
Let a = -1.49 - -0.49. Which is smaller: a or 17/6?
a
Let l = -32 - -98/3. Which is smaller: -14 or l?
-14
Let c = -36 - -26. Let v be (4/c)/(13/5). Which is smaller: v or 0?
v
Let p be 0 + (9 - (3 - -3)). Let x be (-6)/(-4)*(-8)/(-6). Suppose 5*j - 9 = x*j. Are p and j equal?
True
Suppose 2*h + 4*z - 12 = h, -3*h + z = -36. Suppose h - 2 = -2*t. Are 2 and t non-equal?
True
Suppose 0 = 5*q - 5*j - 5, 5*q - j = 5. Which is smaller: q or 2/39?
2/39
Let z = -8 - -5. Let x = 3.06 + z. Let d = 1.06 - x. Which is bigger: 2 or d?
2
Let b(t) = 4*t - 10. Let a be b(5). Is a at most as big as 8?
False
Suppose -2*m + 28 = 2*m. Let o = m + -4. Suppose -2*s + o = 5. Is 0 bigger than s?
True
Let c(s) = -s**3 + 8*s**2 - 7*s. Let o be c(7). Which is smaller: -10 or o?
-10
Let u(p) = p - 7. Let t = -8 + 13. Let i be u(t). Let c(l) = -l**2 + 5*l - 6. Let n be c(4). Is i smaller than n?
False
Let y(s) = s**2 - 7*s + 6. Let i be y(6). Suppose -2*w - 20 = 2*w, -3*r - 3*w - 147 = 0. Let n be 12/(-66) + 14/r. Which is bigger: n or i?
i
Let f be (-24)/10 + (-10)/(-25). Let r be 1 + (24/(-10) - f). Let s be 1/((-2)/(-1*2)). Which is bigger: s or r?
s
Let z = -3064/3 + 7583/6. Let c = 236 - z. Is c greater than -6?
False
Let l = 115/378 - 1/54. Let d = 3 - 1. Which is bigger: d or l?
d
Let y = 0.3 + -0.4. Let a = 1/177 + -536/885. Which is greater: a or y?
y
Let i = 3/38 + 13/76. Let h = 4.96 - -0.04. Let z = -5.1 + h. Which is bigger: z or i?
i
Let u(s) = -s**3 - 4*s**2 + 6*s + 5. Let v = 7 - 32. Let d be 10/v - (-23)/(-5). Let l be u(d). Is 2/9 at least l?
True
Let c be (1 + -1)/(-2 + 6). Is 3/64 at most c?
False
Let f(m) = m**2 + m**2 - 3*m**2 + 0*m + 3*m + 5. Let s be f(4). Let j = 7/2 + -13/4. Which is smaller: j or s?
j
Let o = -84 + 94. Is 10 bigger than o?
False
Let i(f) = -f - 6. Let t be i(0). Let n be 0 - 0 - (t + 3). Is 3 equal to n?
True
Let x(k) = 3*k - 1. Let o be x(2). Suppose 9*l + o = 4*l. Let f = 3 + -2. Which is smaller: l or f?
l
Suppose -5*g - 9 + 4 = 0. Which is smaller: -2/21 or g?
g
Suppose 0 = t - 2*i - 46, -5 - 1 = 2*i. Is 1/4 greater than t?
False
Let i = -2 + 9. Which is smaller: i or 6?
6
Suppose 10*y = 8*y - 80. Is y less than or equal to -42?
False
Let x be ((-64)/(-14))/(-4) - -2. Let s = 11/21 - x. Is -1 != s?
True
Suppose 3 = -4*p + 27. Is p smaller than 5?
False
Let j = 10 + -38. Let w be 4/(-14) + (-92)/j. Suppose -4*v + 2 + 22 = 0. Is v equal to w?
False
Let u be 10/24*(-189)/(-30). Let n = -55/24 + u. Suppose -3*r + 5 = 2*r. Is r greater than or equal to n?
True
Let w = -10 + 10.2. Which is smaller: 1 or w?
w
Let v be ((-16)/12 + 2)*28/8. Which is greater: v or 2?
v
Let c be (-1 - 0) + -10 + 9. Which is bigger: c or -4?
c
Let p be (2 + -3)*(-189)/7. Which is bigger: 26 or p?
p
Let c = -9 + 10. Which is smaller: c or -1.1?
-1.1
Let r = 1 + 1. Let b be 8/4 + r*1. Let d be 18/b*(-1)/(-3). Which is bigger: d or 2?
2
Let b be 0 + 2 