ch is bigger: u or n?
n
Suppose 7 + 8 = 3*c - 3*o, 0 = -c - 3*o - 7. Let p = 2 + 3. Suppose -13 = -p*g + c. Which is bigger: g or 5?
5
Suppose -13 - 7 = 5*q. Let a = 3 + q. Let m = 12 - 18. Which is smaller: a or m?
m
Let b(i) = -i**2 - 4*i - 10. Let x(a) = a**2 + 3*a + 11. Let v(h) = -4*b(h) - 3*x(h). Let t be v(-6). Which is greater: t or 2/7?
t
Let z = -76 + 80. Which is smaller: z or -0.01?
-0.01
Let j = -2.6 + 0.9. Let h = -1.8 - j. Which is greater: 0.01 or h?
0.01
Let b(s) = 60*s + 7. Let w be b(-2). Which is greater: -112 or w?
-112
Let z = -365/8 + 46. Which is smaller: z or 0?
0
Suppose 0 = -0*u - u + 4. Suppose i + u*i = 0. Which is greater: i or -1?
i
Let a = 11 + -5. Let x be 2/a*3*2. Let l(t) = t**3 - 8*t**2 - 8*t - 6. Let z be l(9). Is z at least as big as x?
True
Let c = -2 - -3. Let w = -0.5 + 0.2. Let m = w + 0.5. Which is greater: c or m?
c
Let p = 2/415 + -2083/1660. Suppose 3*u = -6 - 0. Which is greater: p or u?
p
Let o be 6/(-46)*26/9. Let q = o - -1/23. Which is greater: q or 4?
4
Let h(z) = -3 + 1 + 1 - 2*z**3. Suppose 20*n = 16*n + 4. Let j be h(n). Is -2 smaller than j?
False
Let i = 11 + -8. Suppose 0 = -3*d - 5*o + 14, i*d + 2*d + 3*o - 18 = 0. Suppose 0 = -d*h + h + 2. Is h greater than 1?
False
Let d(p) = p**3 + 7*p**2 + 5*p + 2. Let w(n) = -2*n**3 - 14*n**2 - 11*n - 3. Let u(q) = -9*d(q) - 4*w(q). Let y be u(-7). Which is smaller: y or -2/7?
-2/7
Let m = -0.1 - 0.3. Let d = m + 0.3. Let r = d - 0.1. Is r smaller than -1/3?
False
Let y = 523 + -383.3. Let p = y + -134. Let c = 6 - p. Do c and -1 have different values?
True
Let y = 0 + -0.1. Let b = y + -2.9. Let t = 2.8 + b. Which is greater: t or -1?
t
Let c be (-20)/150*-5 - 4/6. Is -3 equal to c?
False
Let g(i) be the second derivative of -i**5/20 - 11*i**4/12 - 11*i**3/6 - 6*i**2 - i. Let r be g(-10). Is r bigger than -2/3?
False
Let x = -19 + 7. Which is bigger: x or -16?
x
Let n = 0.028 - 13.228. Let z = 13 + n. Is -0.1 bigger than z?
True
Let k = -87 + -95. Let p = k + 904/5. Which is greater: 0 or p?
0
Let z = 0.2 - 0. Are z and 3 equal?
False
Let q = -4 - -1. Let o = q + 2. Let k = -123/230 - 3/46. Which is bigger: o or k?
k
Let i be 2*(0 - 2/24). Let o = -58 + 57. Which is bigger: i or o?
i
Let l(n) = -n**3 - 4*n**2 - 2*n - 6. Let c be l(-4). Suppose 0 = -q + c*q. Do q and 1/2 have the same value?
False
Let f = -29 - -28.9. Is -0.2 less than or equal to f?
True
Let h = 135 + -75. Which is greater: 61 or h?
61
Let c be -1 - (-3 + 3 + 0). Which is smaller: -3/19 or c?
c
Suppose 3*x = x + h + 11, 0 = -x + h + 8. Suppose -2*y - y + 4*o + 16 = 0, 0 = x*y - o - 13. Let v be (-2)/y - (-2)/(-4). Which is greater: v or 2/27?
2/27
Suppose 2*s + s + 19 = -4*t, -4*t - 15 = -s. Suppose 0 = 2*x - 3*x + 4. Which is bigger: x or s?
x
Suppose 0 = 5*i + s - 4 - 5, -2*s + 8 = 0. Let d be ((-7)/9)/(4/(-12)). Which is smaller: d or i?
i
Let h be ((-6)/(-1))/(22/(-4)). Is 0 greater than h?
True
Suppose 0 = a - 0 + 9. Let q be a/(-10) - 6/15. Which is smaller: 1 or q?
q
Let k = -219 + 219.01. Let i = -2 - -1.9. Which is greater: i or k?
k
Let v = 17 - 16. Which is smaller: -1/15 or v?
-1/15
Suppose 4*a + 9 = 33. Suppose 4*d - a = 3*d. Is 6 smaller than d?
False
Let k(c) = -c**3 + 5*c**2 + 7*c - 6. Let j be k(6). Let n = 733/55 - 162/11. Is j less than or equal to n?
False
Let r = 10.67 - 11.3. Which is smaller: r or -1?
-1
Let i = -1347/7 + 192. Suppose -2*c + 4*x = -22, 4*c + 0*c = -3*x. Suppose -4*y + 5*u + 1 = -5*y, 3*y + c = 5*u. Is i at least as big as y?
True
Let w = 0.17 + -2.07. Let x = -1 - 1. Let g = w - x. Is -0.1 greater than g?
False
Let o = -3 + 2.1. Let x = -0.2 + -0.8. Let p = o - x. Is p less than 1/4?
True
Let i = 6 - 7. Let s = 11 - 6. Suppose -6 = u + 4*u - 4*q, -u - 3*q = s. Which is bigger: u or i?
i
Suppose -6*j = -14 + 2. Are j and -1 nonequal?
True
Let v = -20 + 23. Let g be (-10)/(-1) + -3 - v. Which is greater: 3 or g?
g
Let w = 99 + -99.1. Which is smaller: w or 72?
w
Let s = 1 + 4. Suppose 5*w = 3*n + 3 - 0, -4*w + s = -5*n. Which is smaller: n or 2/9?
n
Let x be 55/10 - (3 - -2). Which is greater: x or 3/2?
3/2
Let y be ((-3)/2)/(15/(-20)). Let u(t) = -t + 1. Let c be u(y). Do -3 and c have the same value?
False
Let t(n) = n + 3. Let v be t(-3). Suppose 5*r = -5*p, 5*p - 3 = 3*r - 43. Let y(m) = -m**3 + 5*m**2 - m + 3. Let j be y(r). Is v >= j?
True
Let b = -2.25 + -0.65. Let o = 3 + b. Is o < 3?
True
Suppose 0 = 5*j + 2*b - 13, 4*j - 3*b - 3 = 12. Are 7/3 and j equal?
False
Let x be 3/(-5) - (-4)/(-10). Let g = 15 + -18. Let n = 3 + g. Do n and x have the same value?
False
Let r = -4 + 3. Is 3 less than r?
False
Let o be (-1)/(1*7/(-9)). Let j = -34/21 + o. Is -1 equal to j?
False
Let j(m) = m**2 - 7*m - 7. Let k be j(8). Let q = -7537/4592 + -1/656. Let g = 3/2 + q. Is k greater than or equal to g?
True
Suppose -4*a - 4*c + 10 = -c, 8 = -2*a + 5*c. Let g = 3 + -2.9. Which is bigger: g or a?
a
Suppose 3 = 5*m - 2. Let r(l) = l + 1. Let i(t) = 6*t + 1. Let u(g) = m*i(g) - 5*r(g). Let z be u(7). Is 4 bigger than z?
True
Let u = 12 - 12.1. Which is bigger: u or 13?
13
Let o = -1.5 - 0.5. Do 0.04 and o have the same value?
False
Let s = -1364/105 - 12/35. Which is smaller: s or -12?
s
Let y(k) = -k**2 + 4*k + 3. Let u be y(5). Let m = 4 + u. Are 2 and m equal?
True
Let s = -106.6 - -118. Let h = -11 + s. Is -2/3 >= h?
False
Let i be (1 - (-32)/(-20)) + 6/(-3). Which is bigger: -4 or i?
i
Let b = 0.18 + -0.2. Let k = -1.1 - -1. Which is smaller: b or k?
k
Let n = 0.7 - 0.9. Which is smaller: -43 or n?
-43
Let b = -89171/1468 + -5/734. Let m = -61 - b. Which is smaller: m or 2?
m
Let h(t) = -299*t - 3. Let m be h(3). Let y be 2/(-3) + (-672)/m. Which is smaller: 1 or y?
y
Let k = -1336/1739 + 30/37. Which is greater: -1 or k?
k
Let p be ((-12)/(-10))/(2/5). Is 11/3 at least as big as p?
True
Suppose 4*h + 8 = -5*j + 3*j, -4*j = h + 9. Which is smaller: j or -3/5?
j
Let d = 0.1 - 0.12. Let b = 3.02 + d. Let h = -2 + b. Which is greater: -2 or h?
h
Let k(j) = -j**2 - 8*j + 7. Let y be k(-9). Suppose -f - 3*f = 0. Which is smaller: f or y?
y
Suppose x + 4*z + 116 = 5*x, 0 = 4*z - 12. Which is greater: x or 30?
x
Let u be (4 - 5)/((-11)/(-2)). Is u >= -0.2?
True
Let h(x) = -7 - 2 + x**3 - 4*x**3 + 4*x**3 - 7*x**2 + 8*x. Let d be h(6). Suppose -6*c - d = -3*c. Which is smaller: -1/6 or c?
c
Let r = 11/160 - 3/32. Which is smaller: -1 or r?
-1
Let g = -8 - -10. Which is bigger: g or -4?
g
Let a = -28 + 48. Let u be (-10)/a*(2 - 0). Is u bigger than -3/8?
False
Let y(p) = p**3 + 13*p**2 + 11*p - 7. Let h be y(-12). Let m = 0 + 1. Which is smaller: h or m?
m
Let z be 1/(-2) - (-33)/6. Suppose -18 = -z*a + 2. Which is bigger: a or 5?
5
Let o(t) = -2*t - 35. Let r be o(-18). Which is bigger: -6/29 or r?
r
Let i = -0.24 + 0.3. Let q = i - 0.16. Which is smaller: q or 2/7?
q
Let d(v) = -v**2 - 5*v - 4. Suppose s - 1 = 7*g - 6*g, 5*g + 6 = 4*s. Let b = -3 + s. Let y be d(b). Which is greater: 6 or y?
6
Let b = -0.04 - -5.04. Let j = -3.8 + b. Let l = j - 0.7. Are l and 0.1 equal?
False
Suppose -3*j = -5*j - 5*p - 10, p + 2 = 3*j. Which is greater: 3/4 or j?
3/4
Let y(t) = -t - 6. Let r be 9*(3 + 2 + -4). Let p be y(r). Which is bigger: p or -14?
-14
Let v(t) = t + 2. Let h be v(-4). Let a(g) = g**2 - 9*g + 12. Let f be a(7). Is h at least as big as f?
True
Let i = 2 - 1. Let j = i - -2. Suppose x - j*x = 2. Which is smaller: x or -3/7?
x
Let m be (-606)/252 - 4/(-7). Are m and -1 unequal?
True
Suppose -u = 2*u - 15. Suppose m = -4, u*m + 21 + 2 = -3*a. Let h be (2/2)/(9/2). Is h > a?
True
Suppose 0 = 6*b - 1 + 7. Which is greater: 3/28 or b?
3/28
Let m be (-1)/4 + 38/(-8). Which is smaller: -6 or m?
-6
Let s = 4 + 1. Suppose -3*l - 2*a = -9, 3*l + l - 5 = -s*a. Suppose -5*o - 3*f - 13 = 0, 4*o + 3*f = l*f - 6. Is o at least as big as 0?
False
Let s = -261 - -151. Let m = -83484 - -750365/9. Let f = m - s. Which is bigger: f or -1?
f
Let b be 0 + 4 + -1 + -4. Let y = 0.1 - -0.9. Which is smaller: b or y?
b
Let l = -949/1719 + -2/573. Which is smaller: 1/3 or l?
l
Let i be (-7)/5 - (-6)/15. Let l = 1 - 0. Let p = l + -4. Is p <= i?
True
Let d = 19.9 + -20. Which is bigger: d or -0.051?
-0.051
Suppose -2*y = -7*y + 25. Let s = 6 - y. Are 2/3 and s equal?
False
L