= 5*b - 3*o. Suppose 4*t + b = t. Is t smaller than -2?
False
Let f be (-2)/(-7) + 46/(-14). Let m = -15352/267 - 1/534. Let z = 54 + m. Which is smaller: f or z?
z
Let m be (-2 - -2) + (-1)/(-37). Which is greater: m or -1?
m
Let v = -4.2 - -4.2. Let p = 18 + -13. Is v less than p?
True
Let l be (45/6)/((-2)/(-8)). Do l and 0 have different values?
True
Let t be 0 + 4 - (-62)/(-14). Which is bigger: t or 0?
0
Let c(l) = 2*l. Let i be c(3). Let x be ((-4)/i)/((-3)/9). Is x < 0?
False
Suppose 0 = -0*b + 3*b + 24. Suppose -28*s - 82 = 170. Which is greater: s or b?
b
Let u be 0/2 - 40/(-28). Which is smaller: u or 0?
0
Suppose m - 2 - 19 = 0. Let o be m/5*6/117. Let i = o - 8/13. Is i at most as big as 0?
True
Suppose -h = 3*d - 34, -5*d - h + 68 - 10 = 0. Let s be (4/d)/((-4)/24). Let g = -2 - -1. Which is smaller: s or g?
s
Suppose 0 = 3*w + 3*v - 3, 0*w - 3*v = -w - 19. Let j(f) = f**3 - 4*f**2 + 3*f - 5. Let d be j(3). Is d less than w?
True
Suppose 2*z - 6*z - 7 = 3*x, 2*x - 3*z = 1. Let y = 9 + -2. Suppose -r - 1 + y = 3*w, -3*r = -w - 8. Which is bigger: x or w?
w
Let l = -33 - -19. Let j be 4*2*2/l. Is 0 greater than or equal to j?
True
Let l(v) be the third derivative of -v**6/120 - v**5/30 + v**4/12 + v**3/2 + v**2. Let k be l(-2). Let o = k + 1. Which is greater: o or -2/9?
o
Let r(s) = 2*s - 8. Let n be r(7). Suppose 0 = -2*b + n*b - 4. Is 1 bigger than b?
False
Suppose 2 = c - 0. Suppose -4*u = -3*h - c*h + 36, -5*h + u = -24. Suppose -3*z + 3*x = -9, -3*z + h*x + 12 = -z. Which is smaller: z or -1?
-1
Suppose -6*r + 2*r - c = 4, -r + 5*c + 20 = 0. Is -3/103 greater than or equal to r?
False
Let h = 87 + -71.8. Let c = 15 - h. Which is smaller: c or -0.4?
-0.4
Let j be (4/(-6))/(14/357). Which is greater: j or -16?
-16
Let b be (3/3)/(-1*1). Is b at most -14/11?
False
Let z = -1/18 - -115/126. Let r = 4/7 - z. Suppose 8*y = -l + 3*y + 21, y = -3*l + 7. Which is smaller: r or l?
r
Let g(v) = 7460*v**3 - v**2 - 1. Let q be g(-3). Let p = -15510322/77 - q. Let x = p + 18/7. Which is smaller: 1 or x?
x
Suppose 2 = 2*q, -2*q = -4*k - 7 + 1. Let w be (4/(-7))/(8/4). Is w > k?
True
Suppose 6*y + 0*y = 126. Which is smaller: 19 or y?
19
Suppose 4*i - 7*n + 3*n = -4, 3*n = -3*i + 15. Suppose 4*z - 30 - i = 0. Let m be (z/(-6))/(-2 + 8). Is m smaller than -2?
False
Let h be -2 + 0 + 2 - 0. Let k = -33 + 32. Which is smaller: h or k?
k
Suppose 4*b = -4*o + 12, 5*b - 3*b = 5*o - 22. Is b less than or equal to -3/5?
True
Let n(k) = -k**2 + 7*k - 6. Let t be n(6). Is -4/11 <= t?
True
Let p = -17 - -5. Suppose 35 = -3*l + 4*t, -5*l + 3*t - 24 - 38 = 0. Which is greater: l or p?
p
Suppose 2*y = 3*b + y - 4, -3*y = -2*b - 2. Suppose -h - 1 = -b. Let f be 0 - (-5)/(175/10). Is f at most as big as h?
True
Suppose 0*k + 5*k - 18 = -2*u, -2*k = u - 7. Let t = -3.92 - -4. Let x = 2.92 + t. Do x and u have different values?
True
Let d = 11 - 16. Let n = d + 7. Does 0.1 = n?
False
Let n = -0.577 + -0.223. Is -0.1 greater than or equal to n?
True
Let x = 2.8 - 16.8. Is x at least 0.1?
False
Let f be 8/6*(-12)/8. Let m be (f/(-5))/((-7)/5). Which is greater: m or -1?
m
Let s = -0.3 - -0.4. Let q = 7.99 - -0.01. Let n = q + -5. Are s and n equal?
False
Let o(k) = -2*k - 3. Let a be o(6). Let f = -22 - a. Let c(x) = -x**3 + x**2 - x - 6. Let z be c(0). Is f greater than or equal to z?
False
Let b = 0.07 + -0.27. Let a = b - -0.13. Do a and 1/2 have the same value?
False
Let p(t) = 8*t. Let k be p(-2). Let d be ((-9)/6)/(184/k). Which is bigger: 1 or d?
1
Let r = -3/391 + 5489/1955. Which is smaller: 4 or r?
r
Let i = -5 - -9. Let l = 4 + 2. Let s = 5 - l. Is i less than or equal to s?
False
Let j(d) = d**2 - 3*d - 4. Let z be j(5). Suppose -v = -9 + z. Is 2 >= v?
False
Let w(o) = o + 56. Let n be w(0). Let v be 4/(-6) - n/(-66). Is -1 bigger than v?
False
Let x(p) = p. Let h(q) = q + 1. Suppose 0 = -4*b - 0*b. Let c be h(b). Let f be x(c). Which is smaller: f or -1?
-1
Suppose k = 4*k + 3*n + 75, -1 = n. Which is bigger: k or -22?
-22
Suppose -k - 11 = -2*o, -k - 28 + 5 = -5*o. Let p be 0 + 0 + (-12)/k. Suppose -p*l - n + 4 = 4*n, -4*n + 3 = 3*l. Are l and -1/3 unequal?
True
Let v = -4 - -5. Let p be (0 + 1)*-4 + 1. Let b = p + 3. Which is greater: v or b?
v
Let p = 509 + -6587/13. Let b = p - 296/117. Do b and 2/3 have the same value?
False
Suppose 0*m = m + 1. Is 1/9 at least as big as m?
True
Suppose -48 = -2*w + 8. Let v be (-21)/w + 11/4. Is -1/5 equal to v?
False
Let c be -3 + (2 - 0)/(-2). Suppose -s + 12 + 0 = -2*l, 5*l = -5*s - 15. Suppose 5*i - s*q + 7 = 0, 3*i - 3*q + 3 - 6 = 0. Which is greater: i or c?
i
Let w be -1 - 375/(-129) - 2. Let g = -98/129 - w. Which is bigger: -0.1 or g?
-0.1
Suppose 4*d - 2*h = d + 8, d - h = 3. Suppose d + 0 = -l. Suppose -9 = 2*p - 1. Which is smaller: l or p?
p
Suppose -3*i = 6 + 183. Is -0.1 less than i?
False
Suppose 0 = -0*k - k. Suppose k*m = m. Which is bigger: m or 2/25?
2/25
Let k be ((-1)/2*0)/1. Are k and 3 equal?
False
Suppose 39 - 9 = 10*t. Let s(g) = -2*g**2 + 4*g - 2. Let h be s(2). Let k be (-2)/h*(-9)/(-6). Which is greater: t or k?
t
Let s = 55/161 + 2/23. Let r = -1 + 1. Is s less than r?
False
Suppose -4*n - 10 = -2. Suppose z - 4*r = 6 - 17, 5*z = -3*r + 37. Let w = z - n. Is 6 < w?
True
Suppose 0 = z + a - 5*a + 17, -6 = -2*z - 2*a. Which is greater: z or 2/43?
2/43
Suppose 32 = 4*z - 4*c, 2*c = -5*z + 4*c + 25. Let a = 48 - 93/2. Does a = z?
False
Suppose 3*y + 14 = -0*y + 4*j, 3*y - 3*j + 15 = 0. Let d(p) = -2*p - 53. Let a be d(-23). Which is greater: y or a?
y
Let k = -4 - -5. Let h = k - 0. Is 2/11 at most as big as h?
True
Suppose 6*d - d = -2*u - 14, 4*u = -3*d - 14. Suppose 3 = 6*n - 9. Suppose q - 1 = n*q. Which is smaller: q or d?
d
Let g(h) = -5*h**2 + 5 + 2 + 59*h**3 - 2*h - 58*h**3. Let i be g(5). Is -3 at most i?
True
Let s be (25/10 - 2)*2. Is 8/23 at least s?
False
Suppose 0 = 5*h + 4*k - 5*k + 10, -18 = h + 3*k. Is -2 < h?
False
Let u be 3*(0 - 1/(-3)). Is u at least as big as -5/14?
True
Suppose 0 = -5*n - b - 12, 2*n - 2*b + 2 = -b. Let g be (n - (1 - 3))/(-1). Which is smaller: -1 or g?
-1
Let u = -0.4 - -0.1. Let w(i) = i**2 + 11*i + 8. Let n be w(-10). Is n > u?
False
Let x = -1 + 2. Let h = 3 + -2.8. Let j = h + 0. Which is bigger: j or x?
x
Let d(n) = -n**2 - 8*n - 5. Let b be d(-7). Let j be (2/4)/(3/(-36)). Let a = j + 8. Are b and a equal?
True
Let b = -4093/7 - -583. Is -3 at most as big as b?
True
Let y(q) = q**2 + 8*q. Let g(a) = -a - 8. Let u be g(0). Let c be y(u). Is -2/29 greater than or equal to c?
False
Let c be (-325)/(-60) - 6 - (-2)/4. Let s = -1.9 - -2. Which is smaller: s or c?
c
Let a = 138 + -139. Is 1/235 at least a?
True
Suppose 0 = -4*c + 4*h - 28, -3*h + 11 + 7 = -2*c. Let v be (24/(-126))/(2/c). Which is smaller: v or 3?
v
Let d = -1 - 1. Let r = -12 - -6. Is d greater than r?
True
Suppose 5*b - 4*c - 23 = 0, b = 2*b - 2*c - 7. Let j be -1 + 1 - (b + -1). Let r be (-7)/98*2*j. Are r and -0.1 nonequal?
True
Suppose -a - 4*a = 50. Let u be (-4)/a*(-5)/1. Let l be 0 - 6 - (-14 - -11). Which is greater: l or u?
u
Let l be ((-4)/3)/(-1)*3. Suppose 1 + 3 = l*s. Are s and 0 equal?
False
Let z be (-1)/(((-12)/21)/(-4)). Let l = z - -5. Let t be l + 17/24*3. Which is greater: 2/7 or t?
2/7
Let d(k) = k - 4. Let b be d(8). Let l = 7 + -2. Is b equal to l?
False
Suppose 0 = -k - 3 - 0. Let u be (k/(-6))/((-4)/(-16)). Let r be 2*(-1)/4*-2. Which is smaller: r or u?
r
Let i(r) = -r**2 - 5*r + 1. Let p be i(-6). Is -3 bigger than p?
True
Let y = -7 + 8. Let r = y + -1. Let c = -3 - -3.2. Which is greater: c or r?
c
Let f(x) = 9*x**3 - 2*x**2 + 2*x - 1. Let l be f(1). Let z be l/20 - 4/10. Is -3 at most as big as z?
True
Let q = -6 + 7. Let k(i) = -5*i**3 - 3*i**2 + 4*i + 3. Let a(m) = -m**3 + 1. Let p(t) = q*k(t) - 6*a(t). Let x be p(2). Is x equal to -1/6?
False
Let k be (-4)/6 - 56/(-102). Suppose -d + 6 = -4*d, 0 = 4*x - 5*d + 66. Let b = 19 + x. Which is greater: b or k?
b
Let y = -1 - -0.7. Let w be (-8)/28 - (-52)/(-14). Let m = w - -4. Is m greater than y?
True
Let l be -1 - (1 + (-8)/3). Is 4 >= l?
True
Let d be (4/(-6))/((-3)/36). Let x be 5 - (-36)/(-6) - -7. Which is smaller: x or d?
x
Let k = 0 - 3. Let u = 0 + k. Which is bigger: u or -2?
-2
Sup