 8 + i = 0. Let x = h - 7. Which is greater: x or -6/11?
x
Let y be (6/(4 + -6))/(-3). Which is bigger: y or -1.4?
y
Let x be (-5)/30 + 5/(-6). Is x equal to -1/9?
False
Suppose -2*a + 11 = -3*l, -l - 5 = -2*a + 4. Is l greater than 3/11?
False
Let s = 29 + -40. Are 2/3 and s non-equal?
True
Let l = -6 - -3.5. Which is smaller: 0.1 or l?
l
Let m(t) = -t**2 - t + 2. Let d be m(-2). Let r be d + 0 - (-1)/(-5). Suppose i + 8 = -2*w + 1, 2*i + 6 = 4*w. Is r > w?
True
Let j = -2 + 2. Let i = -3 + 2.8. Is j less than i?
False
Let m = 918 + -922.09. Let n = 0.09 + m. Let r = 6 + n. Is -1 equal to r?
False
Let r = -12.7 + 13. Which is smaller: r or 0.08?
0.08
Let n = -3 + 5. Let b = 2.2 - n. Is b < 0?
False
Let a(i) = -11*i - 12. Let n be a(-1). Is n at least as big as -3?
True
Let t(f) = f**2 + 4*f + 3. Let q be t(-2). Let o be (15/(-35))/(20/14). Is o smaller than q?
False
Suppose -3*d = 9 - 0. Let b = 6 + d. Suppose 5*f - 8 = -4*z, f + 3 - 1 = z. Which is greater: b or f?
b
Suppose 3*b = -341 - 124. Let m = -778/5 - b. Is -2 less than m?
True
Let o = -0.8 + 0.7. Let t = o + 1.1. Is t at most 1?
True
Let j = 3 - 5. Let m be (-2 + 4)/2 + j. Let i = 6.2 + -6. Which is smaller: i or m?
m
Suppose -3*l - 2 + 5 = 0. Let i be 2/(24/(-9)) + l. Does i = 0?
False
Let o = -34 + 29. Suppose k = -k - 8. Is o less than or equal to k?
True
Let r = 134 - 137. Is -7 >= r?
False
Let a = -6 + 3. Let c = a + 1. Let w = -2.5 + 2. Which is smaller: c or w?
c
Let i = -31619/11 + 2869. Let f = -229/44 - i. Which is smaller: f or -2?
-2
Let o = 13/270 + -4/27. Let w be 0/(2 - -1 - 2). Which is greater: w or o?
w
Suppose 8*z + 15 = -1. Are -6 and z unequal?
True
Let v = -79 - -76. Is v at least as big as 4?
False
Let w = -15 - -8. Let t = -6 - w. Is t at least -1?
True
Suppose 2*p + 3*p - 9 = -2*a, 2*p - a = 0. Which is smaller: p or -2?
-2
Let x = -3/14669 - 2845723/308049. Let q = 8/715 - 42956/5005. Let a = q - x. Which is bigger: 0 or a?
a
Let o = 25 - 24. Let p be 38/24 + (-2)/8. Are p and o non-equal?
True
Let r be (2 + -8)/((-3)/2). Let c = 1 + r. Let l be 4/(-5) - 1/c. Is l at least as big as 0?
False
Let f be 3 + (-4 - (-1)/1). Let m = -1/93 - 70/2139. Are m and f nonequal?
True
Let g(k) = -k + 2. Let d be g(5). Let z(y) = y + 2. Let t be z(-4). Is d at most t?
True
Let m(f) = -f**3 - 4*f**2 + 3*f + 6. Let h be m(-4). Let j be -3*(2 + -1) + 5 - 8. Is j bigger than h?
False
Suppose -10 = 4*r - 2*r, s + 16 = -3*r. Which is bigger: -4 or s?
s
Let f = -20 - -36. Which is smaller: f or 12?
12
Suppose -y - 3 + 23 = 0. Let p be 2/(-5) + 4/y. Is -1/5 bigger than p?
False
Let p be -3 + -1 - 630/(-147). Is p equal to -1?
False
Let s = -54.77 + 55. Let j = s + -0.03. Let t = j + -0.6. Which is smaller: t or -0.1?
t
Let o = 86 + -254/3. Let t(j) = -j + 26. Let u be t(25). Which is smaller: u or o?
u
Let r = -505 - -10613/21. Let t = r - 5/21. Which is bigger: t or -1?
t
Let y(q) = -q**3 + 4*q**2 - 2*q. Let n be y(3). Suppose -2*x - 2*p + 5*p = 13, 23 = n*x + 4*p. Do 2/17 and x have different values?
True
Let s = -4 + 20. Suppose 2*m = -2*r + 3 + 9, -2*r + s = 3*m. Suppose -2*a + 9 = -0*a - g, -3*a + 18 = -3*g. Which is smaller: a or r?
r
Let l = -0.09 - -0.05. Let h = l + 0.04. Let b = 3 - 1. Is h at most as big as b?
True
Let b = 11 + -8. Let o(a) = a + 8. Suppose 0*r - 5*r = -l - 1, 1 = -r. Let w be o(l). Which is smaller: b or w?
w
Let r be 28/(-42)*6/(-4). Let n(t) = -t**2 + 3*t + 2. Let k be n(3). Suppose i - 8 = k*g, 5*i = 2*g - g + 4. Is r at least i?
True
Let i be 42/918 - 6/27. Which is bigger: 0 or i?
0
Let u be ((-3)/(-2))/(-3 + 4). Is u <= 1?
False
Let i(l) = 4*l**3 - l**2. Let u be i(1). Let t be -1 + u/(27/24). Which is greater: t or -1/2?
t
Let a(c) = c - 2. Let t be a(4). Suppose -x + 16 = -3*j, 2*x + 16 = x - 5*j. Let z be 10/(-15) - x/(-6). Is z < t?
True
Let d = -7 - -6.7. Let l = -0.7 - d. Is -1/3 > l?
True
Let j(l) = -l**2 - 2 - 4*l - 1 + 13*l - 7. Let y be j(7). Let s be (-9)/(-4) - 1/y. Does 1 = s?
False
Let p(q) = -q**2 - 6*q + 8. Let u be p(-7). Which is bigger: -4/71 or u?
u
Let t = 6 + -3. Let w = 4 - t. Let m = 34 - 373/11. Which is greater: w or m?
w
Let x = -4 + 7. Suppose -4 = o - x*v + v, 4*v = 8. Let d = 1/3 - 2/3. Which is bigger: o or d?
o
Let k = -19/4 - -1759/372. Let x = k + 64/93. Which is smaller: -1/5 or x?
-1/5
Let n(c) = -3*c - 26. Let t be n(0). Which is bigger: t or -25?
-25
Suppose -3*s = -3*v - 15, 3*s - 21 = 5*v - 4. Are -2/7 and v nonequal?
True
Let i = -10 + 15. Let b = i + -4. Is -0.8 less than or equal to b?
True
Let s be (-1 - 8/(-6))*3. Let p = -49/4 + 12. Is s at most as big as p?
False
Let c(v) = -v**3 - 5*v**2 + 6*v + 3. Let r be c(-6). Let h be (9 - 3)*r/27. Which is bigger: 1 or h?
1
Let c = 0.1 - 0.3. Let m be (-1)/(-10) + (-1)/2. Is c < m?
False
Let q be (3 - (-2 - 10)) + 1. Suppose h + 0 = 3, -5*h = c - q. Is c < -1?
False
Let k = -4 + 4.09. Let n = k + 1.91. Let p = 1.8 + -2. Which is smaller: n or p?
p
Suppose -5*y = -3*y + 6. Let j = y + 5. Suppose 3 = v - 0*v. Is v < j?
False
Suppose 2*k + 2 = 0, 2*l = -3*l - k + 14. Let y be (-10 - -12) + (-2)/5. Which is smaller: l or y?
y
Let a = 7 - 6. Let g be 18/20 + 1/(-2). Do a and g have the same value?
False
Let r = 12 - 0. Suppose 3 = 5*s - r. Let q = s - 5. Which is smaller: q or -0.1?
q
Let m = -7 + 20. Is 13 at least as big as m?
True
Let v = -638 + 631.93. Let b = v + 0.07. Let a = 6 + b. Are a and 0.1 unequal?
True
Let u(y) = y**2 + 4*y + 4. Let q be u(-4). Suppose 0 = -0*t - t + 3*r + 9, q*r = 5*t - 12. Let o be (1/(-6))/(3/4). Which is greater: t or o?
t
Let j = -146 - -116. Is j > -1?
False
Let g = -2 + -5. Is g >= -5?
False
Let b be (-3 - -4) + 2/(-3). Let k = 5.96 - -0.04. Is k at most b?
False
Suppose -2*q + q + 4*z = -20, -4*z + 4 = 5*q. Let h = q + -2. Which is greater: 1 or h?
h
Let y = -1.7 - -2.7. Is -0.05 less than or equal to y?
True
Let t be (8/18)/(2/(-3)). Let x(y) = 3*y + 5*y - 5*y - 4*y. Let a be x(-2). Which is smaller: t or a?
t
Let t = 6 + -5. Let g be (0 - t)/((-5)/(-35)). Is -8 greater than or equal to g?
False
Suppose 4*t = -10 - 14. Let i be (5 + t)*(-3)/5. Which is greater: i or 1?
1
Suppose -16 = 4*q + 4. Let p = q + 3. Which is greater: 0 or p?
0
Suppose k + 8 = 4*w - 10, 5*k + 10 = 4*w. Suppose 0*y = -y, 0 = 4*z - 2*y - 20. Suppose z*b = k*b. Which is bigger: b or 1?
1
Let i = -644 - -16098/25. Let g(q) = -q**2 + q - 2. Let x be g(3). Let b be x/5 - 9/(-15). Is b <= i?
True
Let u be ((-68)/2)/(-2) + -2. Let h be -2*(u/6 + -2). Let b = h + 2. Which is smaller: 1/2 or b?
1/2
Let g = 89/232 + 7/29. Which is bigger: 0 or g?
g
Let r(w) = w**2 + 6*w + 5. Let z be r(-5). Which is bigger: -0.08 or z?
z
Let d be 57/(-6) - (3 - 2). Which is bigger: d or -10?
-10
Suppose -3*g + 33 = -5*v - 44, -3*g + 2*v = -65. Which is smaller: 18 or g?
18
Suppose 4*v - 28 = 4*p, -4*p - 12 = 8. Let b be 1 - (v + 1) - -1. Let a(n) = n**3 - 5*n**2 - 6*n - 2. Let f be a(6). Is f != b?
True
Suppose -30 = -3*r - 4*m, r + 3 = 3*m - 0*m. Which is greater: 7 or r?
7
Suppose 0 = -3*t - 3, 5*t - 3 = -5*m + 2. Suppose -11 = 3*u - 3*n - m*n, 0 = -5*n + 20. Suppose 4*g = u*g. Is g != 1?
True
Let n be 3/((-7)/(-44)*6). Which is smaller: n or 3?
3
Let u be 321/(-2869) - (-30)/285. Is 0 at least as big as u?
True
Let f be (-16)/84*3/(-2). Are f and 14 nonequal?
True
Let a = 7 + -12. Let u = a + 14. Let n be 7/u + (-8)/(-36). Is n >= 2?
False
Let x = 9.114 - -0.086. Let m = x + -9. Is m less than or equal to 2?
True
Let o be 1 - (0 + -3 - -2). Let q = -1 - -2. Suppose 0 = 3*h - d + q, 0 = -h + 3*d - 5*d + 9. Is o at least h?
True
Suppose 25*m - 31*m = -6. Is 5 less than m?
False
Let d(l) be the second derivative of -179*l**5/20 + l**3/3 - l**2/2 + l. Let z be d(1). Let t = z + 1244/7. Is 0 less than t?
False
Let y = -7.8 - 0.2. Which is greater: 1 or y?
1
Suppose -2*l + 2 = b - 3*l, 5*b = -5*l + 10. Is b smaller than 2?
False
Let g(p) = p**2 + 4*p - 3. Let c be g(-5). Suppose -5 = -2*t + 3. Suppose -o - x = -2, 5*x - 1 = t*o - 0*o. Is c smaller than o?
False
Suppose 91 = -5*m - 79. Let t = 239/7 + m. Which is smaller: t or 1?
t
Let h be 7/2 - (-1)/(-2). Suppose -13 = -3*l - 7. Which is bigger: l or h?
h
Let f(p) = p + 7. Let z be f(7). Suppose -z = 3*m + 1. Is -7 not equal 