e 33/22*44/(-6). Let f be (-6)/q + (-42)/y. Which is greater: f or 3?
f
Let x = 6 - 6. Suppose -2*g + 1 + 3 = x. Let a be -1 + (-2)/(-14)*9. Does g = a?
False
Let q be (-2 - -34)*2/4. Let o be 3/(-2)*q/12. Do -5/4 and o have the same value?
False
Let q = 7 - 7.37. Let a = 0.6 + -0.67. Let b = a - q. Which is greater: b or 0?
b
Let p = 3 + 1. Let d = 17.9 - 22. Let h = p + d. Which is smaller: 2 or h?
h
Suppose 3*w + 13 = 2*l, 4*l = -w - 20 - 3. Which is bigger: -23/4 or w?
-23/4
Suppose 0 = -15*b - 17 + 2. Suppose -3*a - 2*a = 0. Let d = a - 0. Is d > b?
True
Let v = 6 - 7. Let p be ((-2)/(-6))/((-3)/(-9)). Let h = p - 2. Is h less than or equal to v?
True
Let v be (-430)/(-552) - 9/12. Is v > 1?
False
Suppose 12 = -7*g - 2. Let s = 2 + -4. Is g at least as big as s?
True
Let h = -61 - -185/3. Let g = -9.03 - -9. Which is smaller: g or h?
g
Let p = -1.5 + -1. Let w = p + 0.5. Let i = -0.7 + -0.3. Which is smaller: w or i?
w
Let a = 4 - 6. Let j = -1794229/1443610 + 2/103115. Let r = j + 9/14. Which is bigger: r or a?
r
Let r(z) = 3*z**2 + 3 + 0 + z**3 - 1. Let i be r(-3). Suppose 7*c - 8*c = 2. Which is greater: i or c?
i
Let b = 26 + -27. Which is smaller: -8 or b?
-8
Suppose -4*r - 30 = 2*n, r - 3*n - 25 = 3*r. Let s = 0 - r. Is s at least as big as -0.1?
True
Let w be -1 - (2/6)/(-1). Is w equal to -3?
False
Let j be (-1 + 1)/(-1 - 2). Suppose 0 = 3*r - j*r + 12. Is -2 at most r?
False
Suppose -5*z + 0*l + 2*l = -78, -4*l = -4*z + 72. Is 15 greater than or equal to z?
True
Let h = -368/35 - -68/7. Which is greater: 0 or h?
0
Let p = -0.16 + -0.14. Which is smaller: -1/5 or p?
p
Suppose -7*j = -10 + 3. Let i = 3 + -2. Is i less than j?
False
Suppose 0 = -2*p + 5*p - 18. Let d = p - 5. Suppose -d = f - 2. Is f less than -2/5?
False
Suppose -46 = 3*q - 5*q. Suppose l + q = 4*l + p, 0 = -5*l - p + 41. Suppose -3 - 8 = 5*n + z, z = 5*n + l. Is n >= -2?
True
Let h = 10 + -8. Is h < 12/17?
False
Let i = -0.1 + 0.1. Let u = 6.94 + -7. Let r = u - 0.24. Which is bigger: r or i?
i
Let i(r) = 4*r - 10. Let m be i(5). Suppose 5*a = 25, -m = x - 0*a - 2*a. Let k be 2*1*3/18. Which is smaller: x or k?
x
Let v be 6/(-3*4/(-8)). Which is greater: 3 or v?
v
Let i(a) = a**3 - 3*a**2 - 4*a - 2. Let j be i(5). Let d = -82/3 + j. Are 1 and d unequal?
True
Suppose 0 = -2*t - 4*h + 16, -3*h = -7 - 5. Suppose 4 = -2*r - t. Is -3 > r?
False
Let x(u) = u**2 - 7*u - 32. Let g be x(8). Is -24 equal to g?
True
Let g be ((-2)/(-3))/(24/(-1164)). Let o = g + 484/15. Which is smaller: o or -1/2?
-1/2
Let z be (3*-1)/(-3 + 0). Let x be (26/(-4))/((-8)/(-62)). Let c = -50 - x. Which is smaller: z or c?
c
Suppose -5*o + 20 = 5*y, -2 = -o - 2*y + 6. Suppose o*i = -2*i. Is i > -2/27?
True
Let c = -55 + 8. Is -48 < c?
True
Let t(v) be the second derivative of v**4/12 + v**3 + 2*v. Let h be t(-6). Is h >= 3/4?
False
Let m = 24 + -19. Is 5 != m?
False
Suppose 2*y = 7*y - 3*m, -m = 2*y. Which is greater: 8 or y?
8
Let v(g) = -5*g - 2. Let m be v(-3). Is m equal to 13?
True
Let h = 11.4 - -1.6. Let a = -15 + h. Which is greater: -1 or a?
-1
Let t = -60 - -58. Is -11/4 bigger than t?
False
Let k be 42/24 - 9/(-24)*-2. Which is bigger: -4/9 or k?
k
Let d be 30/2*(-36)/45. Let w = d + 21. Which is smaller: 8 or w?
8
Let n = -5507/560 + 1/1680. Do n and -9 have the same value?
False
Let h = 5 - 6. Which is greater: h or -2/27?
-2/27
Let n be 4 - (13 + -3 - -3). Are n and -9 equal?
True
Let x = 35 - 45. Which is smaller: -5 or x?
x
Let z(v) = v**3 - 7*v**2 - 6*v + 8. Let q be z(8). Suppose -q = 3*w + w. Let p be 5 + w/3 - 1. Which is bigger: p or 7/3?
7/3
Let b = 8 + -4. Let f = -3.9 + b. Which is bigger: f or -2?
f
Let c(x) = x + 3. Let f be c(-2). Which is bigger: -28 or f?
f
Let d(u) = 2*u + 3. Let v be d(-2). Are 2 and v nonequal?
True
Let k = 2779/220 - 134/11. Let b = k + -3/140. Which is greater: b or -1?
b
Let q be 3/2 - (-26)/4. Is 9 equal to q?
False
Let v = -0.4 + 0.3. Let q = -5 + -10. Is v >= q?
True
Let c(u) = u**2 - 7*u + 5. Let r = -1 - -1. Suppose 0*n - 4*x = 4*n - 4, 4*n + 5*x = r. Let f be c(n). Are f and -4 equal?
False
Let b = -0.097 - -4.137. Let w = b + -0.04. Which is bigger: w or 2/3?
w
Let a = -0.1 - -3.1. Let u = -2 + 6. Let k = u - a. Which is greater: 2/5 or k?
k
Let h = -26/3 - -8. Let d = 3 + -2.9. Let a = 0 + d. Which is smaller: h or a?
h
Let p = 23 + -24. Are 0.02 and p non-equal?
True
Suppose 0 = 3*c + l + 140 - 34, 0 = -2*c + 4*l - 66. Are -33 and c unequal?
True
Let c(u) = -2*u + 4. Suppose 0 = -5*n + 28 - 3. Let s(j) = 2*j - 3. Let o(i) = n*c(i) + 6*s(i). Let t be o(-2). Is t smaller than -1?
True
Let c = -17/15 + 4/5. Which is greater: 12 or c?
12
Suppose 0 = 5*y + 36 - 6. Let i be (-10)/4*y/5. Suppose 4*h = -i*d - 13, -5*h + 2 = -2*d + 24. Is 3/7 greater than d?
False
Let o = -36.2 - -36. Is o < -21?
False
Suppose 0 = 5*k + 2 - 7. Let t be -3 + (6 - k) + -5. Is t less than or equal to -2?
True
Let j be -5 - ((-162)/22 + 2). Is -0.1 > j?
False
Suppose 0*a = 3*a - 6. Suppose -m - 6 = a*o, -5*m = o + 2*o + 9. Let s be (o/((-9)/(-6)))/(-5). Is 0 equal to s?
False
Let y = -9.6 + 9. Which is smaller: y or 2?
y
Suppose -3*o = 3*q + 6, 0 = -3*q - 4*o - o - 4. Let p = q + 3. Suppose -5*y = -10*y. Is p smaller than y?
False
Let q be (-69)/6*2/(-6). Let i = -265/66 + q. Which is bigger: i or 1?
1
Let l = -21.99 + 22. Let k = 4 + -5. Which is bigger: k or l?
l
Let a(z) = z**2 + 5*z + 4. Let b be a(-3). Let s be b/6*30/(-25). Which is smaller: -2/13 or s?
-2/13
Let l(p) = 2*p**2. Let w be l(0). Is -14 at least as big as w?
False
Let w(u) = -2*u**2 + 4*u - 2. Let j be w(3). Is j less than -7?
True
Let k = -1420/9 - -158. Which is smaller: k or 0.04?
0.04
Let p(o) = o**3 + 6*o**2 + 2. Let i be p(-6). Let h = i + 2. Which is greater: h or 2/5?
h
Let j = -5 + 10. Suppose -j*a = -3*a - 12. Is a not equal to 0.1?
True
Let a = -30 - -61/2. Which is smaller: a or 1?
a
Let c be ((-14)/(-4) - 3) + 1/2. Which is greater: c or 1/19?
c
Let h = 27 - 50. Which is greater: 2/7 or h?
2/7
Let w = 7 + -6. Let o = -1 + w. Which is bigger: o or 5?
5
Let s = -441/20 - -61/4. Are s and -8 nonequal?
True
Let s(m) = -4*m**3 - 8*m**2 - 10*m + 1. Let d(h) = h**3 + h**2 + h + 1. Let t(q) = 5*d(q) + s(q). Let a be t(4). Which is smaller: a or 3?
a
Let w = 1145 - 28619/25. Is -1 at least as big as w?
False
Suppose -7*y + 153 = -4*y. Is 51 greater than or equal to y?
True
Suppose -2*f - 2 + 6 = 0. Let l = 82 - 84. Which is smaller: l or f?
l
Let t = 5 + -5. Let b be 761/(-7) - 4/(-2). Let v = 107 + b. Which is greater: t or v?
v
Let g = 15437/480 - -23/96. Let r = 32 - g. Let f = 11 + -20. Which is bigger: f or r?
r
Suppose x + 2*x = -8*x. Are x and -2/35 nonequal?
True
Let y(c) = c + 0*c - 3*c - 8. Let f be y(-4). Which is smaller: 3/13 or f?
f
Let l = -35 + 23. Let f = -802.1 - -802. Which is greater: l or f?
f
Let y be (6 - 12)/(2 + (-10)/8). Which is bigger: y or -7?
-7
Let t be (-28)/2*(-1)/2. Let l(p) = p**3 + 3*p**2 - 6*p - 1. Let u be l(-4). Is t greater than u?
False
Let k(y) = -y + 17. Let s be k(13). Suppose s*j + u = -3*u - 16, 5*j + 2 = 4*u. Is j > -2/3?
False
Let k = 2/253 - 1277/1518. Which is bigger: -2/5 or k?
-2/5
Let f(h) = -h**2 + 6*h. Let o be f(5). Suppose 4 = -3*a - 5*c, 2*c - 30 = -5*a - 5. Let s = 12 - a. Is s at least as big as o?
True
Let w = -532/3 - -174. Is w greater than -4?
True
Let f(z) be the second derivative of z**5/60 + 7*z**4/24 - z**3/3 - 3*z**2/2 - z. Let k(y) be the first derivative of f(y). Let a be k(-7). Is a bigger than -2?
False
Let v(f) = -f**3 - f**2 - f + 1. Let b be v(0). Which is smaller: 2/15 or b?
2/15
Let h be -8 + -1 - (0 + -3). Is h at least -5?
False
Let j = 90 + -99. Is j greater than or equal to -6?
False
Let v be 1 + (-21)/(-2) + 3/(-2). Which is smaller: v or 12?
v
Suppose 0 = 2*u + k + 9 - 8, -4*k = 3*u + 4. Is u at most 1/6?
True
Let b(w) = -3*w + 10 - 30 + 0. Let z be b(-10). Are z and 10 nonequal?
False
Let p = 12401/39 + -318. Are 1 and p equal?
False
Suppose -20 = -9*h + 61. Which is greater: h or -2?
h
Let j = 0.3 - -89.7. Is -1/3 <= j?
True
Let n = 1 - 1. Let u be 10/(-3)*96/(-20). Suppose -2*z + 5*j = 11, -4*j + u = 4*z - 4. Is n at most as big as z?
True
Let s = -45.1 - -45. Let x = 0.3 - -3.7. Which is greater: s o