, 0 = -2*h - b*l - 8. Let o = 1 - h. Is o at least as big as 3?
True
Let a = 0.19 + -0.39. Let z = 1.2 + a. Let q = -0.2 + 0.3. Which is smaller: z or q?
q
Let a = 42 + -60. Which is smaller: a or -19?
-19
Let g be 12/(-30) - (-18)/(-5). Let k be 4 - ((-4)/g - -5). Suppose 0 = 4*y - u - 7, -2*u + 7 = -5*y - 6*u. Which is smaller: y or k?
k
Let y be ((-2)/(-8))/(4*5/80). Is y at least as big as 12/17?
True
Let q = -26 + 29. Which is bigger: 5 or q?
5
Let d = 0.009 + 1.991. Which is smaller: 0.4 or d?
0.4
Let g = -19 - -40. Let x be (-6)/(-8) + g/(-12). Which is greater: x or -8/9?
-8/9
Let o be (-7)/21 + (-3)/(-9). Is o != -2/5?
True
Let i = 20 + -31. Which is smaller: i or -0.1?
i
Let o(u) = -5 + 0*u - 2*u + 3*u. Let k be o(6). Which is smaller: 1/2 or k?
1/2
Let t be (3 + -3)/((-3)/(-3)). Are -0.3 and t nonequal?
True
Let s = -14 - -5. Let d = s - -15. Is d at most as big as 6?
True
Let j = -37/4 + 249/20. Is j bigger than 2?
True
Let y(v) = -4*v**3 + 39*v**2 + 12*v - 19. Let k be y(10). Let z be (-12)/(-10)*2/18. Which is smaller: k or z?
z
Let j(d) = d. Let c = 9 + -10. Let t be j(c). Suppose -7*y - 4*u - 6 = -2*y, 4*y - 20 = 3*u. Is y at most as big as t?
False
Let u(p) = -2 + 6*p**2 - 1 - 2*p + 2. Let y be u(-2). Suppose -7*w + 28 = -3*w - 4*d, 0 = w - 5*d - y. Is w at most as big as 2?
True
Let u = -16/11 + -1/22. Which is smaller: 2 or u?
u
Let k(z) = -z**2 - 4*z + 5. Let n be k(-6). Let o(q) = q + 17. Let u be o(n). Which is smaller: 11 or u?
u
Suppose 383 = -7*f + 124. Which is smaller: -36 or f?
f
Suppose 5*f = c + 3, -f - 9 = 2*c - 7*c. Which is greater: f or -20/11?
f
Suppose -2*v + 5 = b - 6*b, -4*b - 4 = -3*v. Let a = 0 - v. Let t be (2*(-2)/8)/(-2). Is a greater than t?
False
Let m = 0 + 2. Suppose -m*d = -0*d. Do 1 and d have different values?
True
Let m = 10 + -16. Is 2 not equal to m?
True
Suppose -4*n + 28 = -0. Which is smaller: n or 5?
5
Let q be 0/(3*5/(-15)). Suppose k + 3*k = 0. Are k and q unequal?
False
Let t(h) = -h. Let g be t(-1). Is 4/9 greater than g?
False
Let i(x) = -3 + 1 - 4*x + 4. Let m be i(2). Let w be m/(-9) - 48/99. Is w greater than or equal to 0?
True
Let r = -0.3 - -0.2. Let m = 0.3 - 0.8. Let i = -0.5 - m. Which is smaller: i or r?
r
Let q = -1/2 + 1. Is 0 at least q?
False
Let q be ((-8)/(-208))/((-1)/(-2)). Is 0 greater than or equal to q?
False
Let g be -54 - (1 + -1 + 2). Let m be 3*(g/(-12) + 0). Which is smaller: m or 13?
13
Let h be (-2)/((-1 - 1)*1). Which is smaller: 3 or h?
h
Let u = 10 + -10.05. Is u <= 0?
True
Let h(t) = 2*t - t + 0*t. Let w be h(5). Let y be w*((-16)/(-230))/4. Which is smaller: y or -1?
-1
Suppose -2*h = -6*h + 8. Suppose -4*v - 4*w = -0*v + 48, 0 = -h*v - 4*w - 24. Is -12 > v?
False
Let d = -18 + 3. Let j be 4/(-10) - 21/d. Which is greater: 3 or j?
3
Let v(c) = -c**3 - 4*c**2 + 2*c - 3. Let x be v(-5). Let q be x/16 + 1/(-4). Is q less than 1.3?
True
Let m = 0 - 0. Suppose 0 = 2*x + 14 - 24. Is x equal to m?
False
Let b be -1*((-3 - -1) + -1). Is 3 > b?
False
Let y = 5 + 1. Let q = -1 + y. Let m = -5 + 10. Are m and q nonequal?
False
Let j(m) = -m**2 + 9*m - 1. Let o be j(9). Let s = -40/93 - -3/31. Is s not equal to o?
True
Suppose -2*y - 20 = 5*p - y, 0 = -5*y. Let q(u) = 7*u**2 + 2*u. Let m(w) = 13*w**2 + 3*w. Let z(t) = -6*m(t) + 11*q(t). Let o be z(4). Are o and p non-equal?
True
Suppose 2*i - 3 = -1. Let z = -26 - -16. Let h be 4/6 - z/(-12). Are i and h nonequal?
True
Suppose 3*g = -r + 32, 2*r - 3*g + 0*g = 73. Let m be (-2)/5 - (-364)/r. Suppose -m = -5*u, v - 4*v + 2*u + 5 = 0. Is v equal to 7/2?
False
Let c(a) = -a**3 - 4*a**2 + 5*a - 2. Let s be c(-5). Which is greater: s or -5?
s
Let m be ((-2)/(-6))/((-126)/(-168)). Is -8/7 smaller than m?
True
Let r be ((-2)/8)/(2/(-88)). Suppose 2*p = 3*l - p - 27, l + 3*p = -r. Is 5 at least as big as l?
True
Let t be ((-18)/135)/(2/10). Which is smaller: t or -1?
-1
Let h = 41 + -244/5. Are h and -9 non-equal?
True
Let y = 15 - 27. Let v = y + 6. Does v = -5?
False
Suppose 3*n + 4 = -n + 3*s, 2*n = -4*s - 2. Let j be (n + 1)/(4/1). Is 0 > j?
False
Let c = 42 - 167/4. Let m(b) = b**2 + 6*b + 4. Let l be m(-5). Is c bigger than l?
True
Let t = -3 - -1. Is t greater than or equal to -1?
False
Suppose 0 = -5*z + 2*z. Let x = z + 3. Do x and 4 have the same value?
False
Let c = -26 - -27. Is 1/5 bigger than c?
False
Suppose -2*i = 5*n + 2, 5*n - 4*i = -0*i - 26. Is -2 not equal to n?
False
Suppose -6 = -4*f + 2. Let q be (0 - 1)*(-14 + f). Suppose 0 = -d - d - q. Do -6 and d have the same value?
True
Suppose 3*f - f = 0. Suppose -v - 2*r + 2 = -3*r, v + 2*r = -7. Which is smaller: f or v?
v
Let x be (-28)/7*2/6. Is 0 <= x?
False
Let p(j) be the third derivative of -j**5/60 - 7*j**4/24 - 4*j**2. Let u be p(-7). Which is bigger: u or 1?
1
Let d = -4 + 3.7. Let y = 3.4 - 3.57. Let u = y + 1.17. Is d smaller than u?
True
Let t be 2/(-7)*1*-2. Which is smaller: 2 or t?
t
Let y be -1*(-1 - -2 - 2). Suppose 2*w - y = w. Let u be 0/(w - 0/3). Is 1/4 bigger than u?
True
Let m(q) = -q**2 + 3*q. Let f be m(3). Let h be (2 + f + 5)*-1. Which is smaller: -3 or h?
h
Suppose 0*x + 4*v - 77 = -5*x, -x + 4*v = -1. Is x smaller than 13?
False
Let g = -15.9 + 16. Let q be (0 - (-2 + 1)) + 3. Let i be (-5)/4 - (-1)/q. Is i greater than or equal to g?
False
Let i(o) = -o**3 - 2*o**2 + o - 4. Suppose 3*l + 0*l = 4*z - 9, 0 = 5*l - 4*z + 15. Let r be i(l). Suppose r*v - 1 + 5 = 0. Which is bigger: -2/3 or v?
-2/3
Let t be (-36)/8 - (-2)/4. Let f be 232/(-72) + 4/18. Which is greater: f or t?
f
Suppose 0 = -c + 2*i + 6, 5*c + 2*i - 3*i - 12 = 0. Let n = -1/8 + 21/8. Are c and n equal?
False
Let k = 4 + -5. Let c = 6 - 7. Let g be (c - k/2) + 1. Which is bigger: g or 2?
2
Suppose 0 = -5*m - 4*k + 36, k - 11 = -4*m + 9. Suppose 12 = -3*i - m*z, -9 = 4*i - i + 5*z. Is i greater than or equal to -3?
False
Let i be (7/3)/(1/(-3)). Let k be i/12 + (-4)/(-12). Which is smaller: k or -0.1?
k
Let q = 6 + -1. Suppose -5*o = -0*o - q. Does 1 = o?
True
Let a be (-20)/(-6)*(-24)/(-20). Is a greater than or equal to -1?
True
Let u(j) = j**2 - j - 2. Let g(i) = 2*i. Let l be g(1). Let v be u(l). Let p = -43/2 + 22. Which is bigger: v or p?
p
Let g be 4/18 - 43/(-9). Suppose -4 = -3*w + g. Let l = -1 + w. Is l at most as big as 1?
False
Let a(s) = -s**2 + 8*s + 11. Let m be a(10). Let o be (-2)/1 - 16/m. Is o bigger than 1?
False
Suppose 2*r = 3*f + 1, -3*r - f = -6*f - 2. Let n(m) = m**3 + 5*m**2 - 5*m + 3. Let o be n(-6). Which is bigger: o or r?
r
Suppose -2*q + 5*q = 6. Suppose -5*u - 45 = -2*a, q*a + 2*u - 14 = 10. Suppose 5*p - a = -0*p. Which is bigger: p or 2?
p
Let y(b) = b**3 - 4*b**2 - 5*b + 2. Let m(n) = -n**2 + 11*n - 5. Let u be m(10). Suppose -4*l + u*l - 5 = 0. Let g be y(l). Is 0 greater than or equal to g?
False
Let h be (1/((-18)/44) + 2)/(-18). Are -1 and h non-equal?
True
Suppose 16 - 4 = -2*x. Let a be 9/x*(-6)/(-9). Is a > 1?
False
Let n = -29 - -23. Let f(x) = x**2 + 6*x - 1. Let q be f(n). Which is smaller: q or -1/9?
q
Suppose 2*r - 4*p = -7 - 47, -48 = 4*r + 4*p. Do r and -16 have different values?
True
Suppose -7*v + 3*v + 12 = 0. Suppose -v*z - 20 = -8*z. Is z > 4?
False
Let o be (100/(-12))/5 + 3. Which is smaller: 1 or o?
1
Let v = -15 + 3. Let g = v - -61/5. Is g at least as big as 0.2?
True
Let r = -0.9 - 1.7. Which is smaller: r or 0.1?
r
Let p be (12/(-516))/((-1)/(-2)). Which is greater: p or -1?
p
Let d be 2/5 - 57724/460. Let a = d + 125. Which is bigger: a or 0?
0
Let y be 2/(-9) - 24/(-108). Suppose 0 = 4*f - 6 + 2, -4*c + 5*f = 5. Let g = 1 - c. Do g and y have different values?
True
Suppose 2*i + m - 2 = 2*m, 3*m = -2*i - 6. Let c be (-2 - (-3 - i))/(-1). Which is greater: -8/9 or c?
-8/9
Suppose 5*c + 4 = 6*c. Which is greater: c or 2?
c
Let o be 4 - 2 - (-3 - -1). Suppose 4*h = o + 4. Let x = -1 + h. Which is smaller: x or 2/7?
2/7
Suppose 4*h = 99 + 145. Is 61 < h?
False
Let t = -48 - -26. Let h = -20 - t. Which is greater: h or -0.1?
h
Let n be (-10)/4 - (-3)/(-6). Let x(l) = -l. Let c be ((-4)/(-1))/2 + 2. Let y be x(c). Is n greater than or equal to y?
True
Let y be (-2262)/2 + (0 - 2). Let j be y/36 - 9/(-36). Let w = -31 - j. Which is greater: w or 1?
1
Let j = -2 - -1.9. Let n = 55 + -54.77. Let d = 0.03 -