 c be ((-2)/3)/((-5)/(-3)). Which is greater: z or c?
z
Let q = 167/70 + 4/35. Suppose l + 2 = -0. Let o be -1*2*(0 + l). Which is greater: q or o?
o
Let b(o) be the third derivative of 0*o - 7/24*o**4 + 0 + 1/60*o**5 - o**2 + 1/3*o**3. Let d be b(5). Which is bigger: d or -7?
-7
Let t = 97 - 483/5. Suppose n = -r - 3*r - 16, -5*n + 4 = -r. Which is greater: t or n?
t
Let f = 1.3 + -17.3. Let k = 16 + f. Which is smaller: k or -0.1?
-0.1
Let f be (-11)/(154/32) + (-2)/(-7). Suppose -2*y = -0*y + 6. Which is greater: y or f?
f
Suppose -g = 4*p + 10, -2*g + 1 = -3. Let c = p + 1. Which is smaller: -5/3 or c?
c
Let g(p) = p**2 - 20*p + 34. Let n be g(18). Let i be 1 + -1 - 3*1. Which is bigger: n or i?
n
Let r = -36349/32 - -1136. Are 1 and r non-equal?
True
Let v = 22 - 16. Which is bigger: 4 or v?
v
Let n(x) be the third derivative of -x**6/120 + 3*x**5/20 + x**3/6 - x**2. Let v be n(9). Which is smaller: 4/7 or v?
4/7
Suppose -16 = 13*o - 5*o. Is -3 bigger than o?
False
Suppose -2 = -3*r + 4. Suppose -k + 5*z + 14 = -0*z, 2*k - 12 = r*z. Suppose -2*v - k = 2*v. Which is bigger: -2 or v?
v
Let i(w) = 3*w**3 + 15*w**2 + 16*w + 6. Let c(v) = -4*v**3 - 15*v**2 - 17*v - 7. Let t(b) = -2*c(b) - 3*i(b). Let f be t(-14). Is -3 at least as big as f?
True
Let t be (-51)/12 - 2/(-8). Let h = 0.3 - 0.4. Does t = h?
False
Let f = 16 + -16.7. Let h = -5 - -5.4. Let p = h + f. Which is smaller: -2/3 or p?
-2/3
Let j(t) = 2*t - 10. Suppose 11 = 3*c + p - 0, 5*c - 3*p - 37 = 0. Let n be j(c). Which is smaller: -2 or n?
-2
Suppose 0 = -3*q + q. Let i(w) be the third derivative of w**5/60 - w**4/6 - w**3 + 4*w**2. Let x be i(5). Which is greater: q or x?
q
Suppose -4*k = -k + 42. Let u be (2/3)/(k/(-12)). Which is greater: 3 or u?
3
Let t = -13 + 9. Let b = t - -2. Let a = 377/3 + -127. Which is greater: b or a?
a
Let a = -66/155 - -68352/1085. Let t = 10964/175 - a. Which is smaller: t or -2?
-2
Let s = -5.222 - -0.212. Let c = -5 - s. Let z = -0.01 + c. Is z greater than or equal to -1/2?
True
Let x = 9/235 + 6933/3055. Is x <= 1?
False
Let s = 0.97 - 1. Let o = s - 0.07. Which is smaller: o or -2/3?
-2/3
Let r be (-30)/3 + (0 - 2). Let y = 35 + -48. Is r smaller than y?
False
Let q = -2.15 - 0.55. Let r = q + 3. Does r = 2?
False
Let w(s) = s**2 - 2*s - 3. Let b be w(3). Let z = 1.3 + -0.3. Which is smaller: z or b?
b
Let f be (-1 + -6)/(-1*1). Suppose 5*q + 8 = -2*d, -5*q + 1 = 21. Which is smaller: f or d?
d
Let w = 95 - 37. Let n = 119/2 - w. Which is smaller: -1 or n?
-1
Let u(h) = -h - 25. Let j be u(-26). Is j greater than -1/2?
True
Let b = -7 + 5. Let i be (81/36)/(b/(-8)). Which is bigger: i or 2?
i
Let y be (-6)/(-54)*(-6)/(-4). Let b be (1/(-2))/((-1)/(-2)). Let d = 1 + b. Which is greater: y or d?
y
Let v = -6.3 + 6. Let s = -0.2 - -0.4. Let r = s + v. Is -2 at least r?
False
Suppose 2*r - 10 = -3*t + 1, t + 4*r = 7. Suppose 5*d - 24 = 3*f, 2*d + f = -0*f + t. Let l be -1 + 1 + (-12)/(-8). Are d and l unequal?
True
Let v = -1 + 1. Let w be 8/(-12)*1/(-2). Let c = w - 1/12. Which is greater: c or v?
c
Let g be (1/(-6))/((-1)/4). Suppose -6*n = -2*n + 20. Let d = -4 - n. Is d less than g?
False
Suppose -5*f = -3*r - 13, -16 + 0 = -4*r. Suppose f*l = l. Which is bigger: l or 4?
4
Suppose 5*c = 4*x - 5*x + 5, -15 = -3*x - 5*c. Suppose -2*q - x = -7*q. Is q < -4?
False
Let n be (-46)/(-110) + 4/10. Are n and 2 unequal?
True
Let w = 6 - 5.8. Let o = -1 + 5. Suppose -t = u - o, 4*t - 4*u + 10 = 2*t. Which is smaller: w or t?
w
Suppose -2*v - 1 = -11. Let d be ((-21)/14)/(-1 + (-3)/(-12)). Which is greater: d or v?
v
Let i be (2 - 0) + 0 + 2. Let m be (0*(0 + -1))/(-1). Suppose m = -i*v + 4*q - 4, 2*q - 3*q + 3 = v. Are 1 and v equal?
True
Suppose -4*c + 400 = 132. Is -0.1 <= c?
True
Let f = 7 - 3. Let b(d) = d**2 + 0 - 1 + 0 + 6. Let s be b(0). Which is smaller: s or f?
f
Let b be 3 - 1*(-7 - 3). Is 13 >= b?
True
Let v = -1 - -1.11. Let o = v + -1.11. Is o != -0.08?
True
Let p = -7.9 - 2.1. Which is bigger: p or 0?
0
Suppose -2*k + 0*k + 8 = 0. Suppose 0 = -t - l - 0 + 4, -l = -t + 4. Is t at least k?
True
Suppose -12*u + 3*x + 8 = -10*u, -3*u + 4*x = -11. Which is smaller: -1/81 or u?
-1/81
Let w(j) = 3*j + 0*j**2 - j**3 - 2*j**2 + 5 + 5*j**2. Let d be w(4). Let h(g) = -g**3 - 8*g**2 - 6*g + 7. Let s be h(-7). Is d bigger than s?
True
Let v = 7/18 + -5/6. Which is smaller: v or 1?
v
Let m = -0.27 + 4.27. Which is smaller: m or 5?
m
Let l(x) = 0 - 2*x**2 + 4*x + x + 2 + 1. Let n be l(4). Let u be ((-2)/3)/(15/n). Is u bigger than 0?
True
Let d = -0.5 + 0.4. Which is smaller: d or 2/7?
d
Suppose c = -l + 34, -3*l - 69 = -4*c + 46. Let n = -1 + c. Let h be (-14)/n - 6/30. Is h < 0?
True
Let z(d) = d**2 + 11*d + 2. Let w be z(-11). Suppose -5*m + 6*m = w*x - 8, -x + 7 = -2*m. Which is bigger: -3 or x?
x
Let r be 57/21 - 4/(-14). Suppose -3*w + r = -3. Is 8/3 greater than w?
True
Let l(a) = -a + 3. Let v be l(5). Let c be 3/2*24/(-18). Is v bigger than c?
False
Suppose 0 = -4*i - z - 3, 2*z = -0*i - 2*i - 6. Let b be 6*(29/(-14) - -2). Which is bigger: b or i?
i
Let f = 0.36 + -0.53. Let c = -1.67 - f. Is 1 > c?
True
Let g = -1005 - -1646. Let x = g + -278. Let v = x - 1079/3. Is v bigger than 3?
True
Let k = -0.9 - -0.7. Let u = -2 + 2.1. Let w = k + u. Which is smaller: -1/3 or w?
-1/3
Let p be 104/(-32) - (-1 + -2). Which is greater: p or 8?
8
Let s be (-1 - -3) + -30 + 0. Let x be (-11)/s + 0/(-2). Let k = 1/7 - x. Which is greater: 1 or k?
1
Let m = 6 - 18. Let w = m + 12.1. Let r = -292/5 - -58. Which is greater: r or w?
w
Let x(m) = m**3 - m**2 - 1. Suppose -2*o = -2*t + 10, 0 = -3*t - 2*o - 2*o - 6. Let q be x(t). Let y = q - 2. Is y <= 2/9?
False
Let y(p) = -p**3 + p**2 + p + 2. Let q be y(0). Let g be -9*((-16)/12 + 1). Suppose q*x - v = -4, -v = -g*x + 2*x - 2. Which is bigger: x or -1?
-1
Let o = -5 - -6. Suppose -3*q = -o - 2. Which is bigger: -1/19 or q?
q
Let r(s) = 2*s + 9. Let y be r(9). Which is bigger: 28 or y?
28
Suppose -4*j = j. Suppose 2 = t - 1, 5*c - 2*t - 19 = j. Is 5 > c?
False
Let q = 1 - 3. Let m be (5/(-10))/(3/(-6)). Is q smaller than m?
True
Let k = -10 + 6. Let q = 1 + k. Is -4 less than or equal to q?
True
Let t be (0*(-2)/8)/1. Is -3/2 equal to t?
False
Let z = 0.4 - 2.4. Are -1 and z nonequal?
True
Let r be 130/18 + 2/(-9). Suppose -3 = -5*u + r. Let l(a) = -a**3 - 6*a**2 - 6*a - 7. Let d be l(-5). Which is greater: d or u?
u
Let c be 106/(-22) + 2/(-11). Let b be c/(-30) - (-19)/(-6). Which is bigger: b or -4?
b
Let r = -87 + 84.02. Let u = 3 + r. Let j = u + 0.98. Which is greater: j or -0.1?
j
Let x(l) = -l**2 + 5*l + 4. Let c be 46/10 - 3/5. Let d be x(c). Let s be -3*(-1 - d/(-6)). Which is smaller: s or 2?
s
Suppose -3*l = -0*l + 12. Let b = -3 - l. Is b at most -2/7?
False
Let u be 392/40 + (-2)/(-10). Suppose -u = 7*m - 5*m. Which is greater: m or -2?
-2
Let w be 6/4*48/54. Does -0.1 = w?
False
Let l be 35/(-160)*-4*1. Which is bigger: 0.1 or l?
l
Let n = -3/371 - -671/37100. Let v = 207/700 - n. Is -1 <= v?
True
Let w be 2/(-8) - 42/(-8). Let q = w + -4. Is -2/11 smaller than q?
True
Let y = -4.4 - -5. Let x = y - -1.4. Do x and 0.1 have the same value?
False
Let o be 4/30*(1156 + -4). Let i = 153 - o. Which is greater: i or -2?
i
Let z = -12 + -4. Is -5 less than or equal to z?
False
Let h = 86861/1386 - 5/1386. Let g = 949/15 - h. Suppose 3*f = 2*f. Which is smaller: f or g?
f
Let v = -1693 + 16969/10. Is 5 greater than or equal to v?
True
Let q = -55 + 36. Let j = q + 19.1. Which is smaller: 1/33 or j?
1/33
Let c be -1 + 3/1 + -1. Let w(d) = 7*d - 1. Let l be w(c). Let r be l/(-10) + (-43)/(-80). Is 1 less than r?
False
Let l = -1/79 - 151/553. Suppose 0 = -3*b - 5*z - 25, 19 + 1 = 3*b - 4*z. Do l and b have different values?
True
Let z(g) = 5*g**3 - 4*g**2 + 2. Let m(p) = 7*p**3 - 6*p**2 + 3. Let y(a) = 5*m(a) - 8*z(a). Let s = 2 + -1. Let h be y(s). Is -3 at most as big as h?
False
Let o(z) = z**3 - 10*z**2 + 9*z + 2. Let r be o(9). Let a be 1*r/(-2) - -2. Which is smaller: -1 or a?
-1
Suppose 2*o - 2*g = 20, 3 = -3*g - 12. Suppose -13 = v - 2*k, -v + k = 6 + o. Are v and -9 nonequal?
False
Let m = -1.13 + 0.83. Is -2/7 less than m?
False
Let s(r) = 3*r + 4*r**2 - 4 - 2*r**2 - r**2. Let f be s(-3). Let g