q greater than or equal to v?
False
Let m = 0.8 + -2.5. Is -0.1 at least m?
True
Suppose 52 + 14 = 6*t. Let h be 16 + -17 - t/(-12). Which is greater: h or 0.1?
0.1
Let c be ((-9)/(-15))/(1/(-5)). Which is bigger: c or -8/3?
-8/3
Let b = 34 - 37. Is -13/6 greater than b?
True
Let p(w) = -4*w**2 + 4. Let r(c) = -5*c**2 + c + 5. Let z(m) = -6*p(m) + 5*r(m). Let f be z(5). Suppose -3*t = 4 - f. Which is smaller: 2/9 or t?
t
Let u be ((-9)/(-27))/(2/18). Is 1 at most as big as u?
True
Let w be (61/122)/((-2)/4). Let y be 0 + -2 + 44/(-38). Let s = y - -578/171. Which is smaller: s or w?
w
Let r = -10.9 + 10.77. Is -1 != r?
True
Let m(r) = -r**2 + 7*r - 1. Let t be m(5). Let f = -8 + t. Which is greater: f or -1/7?
f
Let f(d) = -77*d**3 + 1. Let t be f(-1). Is t at most as big as 78?
True
Suppose u + 3 = 8*i - 3*i, 12 = 4*i + 4*u. Let x = -97/63 - -10/9. Which is bigger: i or x?
i
Suppose 0 = -5*q + 11 - 16. Which is greater: q or -27?
q
Let i(k) = -2*k + 16. Let n be i(0). Which is bigger: 18 or n?
18
Let v = -552642 - -16038012/29. Let r = 393 - v. Are -1 and r unequal?
True
Let o = 49 + -33. Is o equal to 1?
False
Let c = -337/40 - -2289/40. Let d = 48 - c. Let g be (2/(-3))/(1/3). Is d greater than g?
True
Let v = 0.51 - -1.09. Which is smaller: v or 1/4?
1/4
Let a be (-10)/(-200)*3 - 4/10. Let k = 1 - 0.7. Let o = k + -0.4. Is o smaller than a?
False
Let l be -14*(-3)/(-24)*4. Let m = l + 13. Which is smaller: m or 5?
5
Let a = 1.1 - 1. Let h = -10 + 9.3. Let l = h + -1.3. Which is bigger: l or a?
a
Let i = 0 - -0.2. Let f = -0.09 + 5.09. Let p = f + -4. Is p < i?
False
Let u(q) = q**3 - 1 + 2*q**2 - q - q**2 + 14*q**2. Let o be u(-15). Which is bigger: 15 or o?
15
Let s(r) = 4*r + 2. Let q be s(2). Let g = 6 - q. Let v = -6 - g. Are v and -3 equal?
False
Let r be 0/(3/(1 + 2)). Is r < 1/157?
True
Let g = 15 + 3. Suppose 2*v + g = -v. Let u be v/21 - (-32)/14. Which is bigger: 3 or u?
3
Suppose 5*b + 7 + 13 = 0. Which is smaller: b or 1?
b
Let u(t) = t**2 + 21*t - 48. Let s be u(-23). Let k be (-2)/((-4)/2)*-1. Let y be (0/(4/2))/k. Is y greater than s?
True
Let b be 0*1/(-3 - -2). Is 1/3 greater than or equal to b?
True
Let y(g) = -g**2 - g + 1. Let n be y(-2). Let c(o) = o**2 + 6*o - 1. Let f be (3/(-4))/((-1)/(-8)). Let m be c(f). Is n > m?
False
Let o(q) = 3*q**2 + 3 - q - 5 - 1 + q**3. Suppose 0*v - 3*v = 9. Let n be o(v). Is 2/19 at most n?
False
Let f(l) = l - 6. Let u(v) = -v + 6. Let g(c) = -5*f(c) - 4*u(c). Let w be g(5). Is 1/16 not equal to w?
True
Let o = -22 - -11. Let f = -16 - o. Let d = -4.9 - f. Is -1 <= d?
True
Let i be (-6)/(-8)*(-2 + -18)/5. Which is bigger: i or -2?
-2
Let x = 9 + -11. Suppose 4*n = -7 - 1. Let y be n*((-1)/(-3) + 0). Which is bigger: y or x?
y
Let t = -0.06 - 17.94. Let g = -19 - t. Which is smaller: -0.12 or g?
g
Suppose 2*o + 5*p = -0*o - 300, 2*o - 4*p = -300. Which is smaller: o or -151?
-151
Let s(d) = d - 5. Let a be s(5). Suppose a*o + 5*o - 5*z = 25, z = -4. Let j = -0.2 - 0. Which is bigger: o or j?
o
Let y = 16 + -22. Which is greater: -4 or y?
-4
Let k = -497/30 - -82/5. Which is smaller: k or -0.2?
-0.2
Let z = -7 - -4. Let o = z - -2. Which is smaller: o or 0.3?
o
Let r(c) = -2*c + 3. Let f be r(-3). Suppose k - 2*o + 5 = 0, -3*k + 3*o + 0 = f. Let h = -153/370 + 1/74. Which is bigger: h or k?
h
Let x = 82 - 86. Let u(n) = 2*n**2 + 17*n + 5. Let r(f) = -f**2 - 8*f - 2. Let w(j) = -5*r(j) - 2*u(j). Let m be w(-5). Which is smaller: m or x?
m
Let c = -0.1 + 0.3. Let x = -0.8 - c. Let z = -1 + 2. Is z at least x?
True
Let v(y) = 3*y**3 + 1 - y**3 - 12*y**2 - 3*y**3. Suppose a - 12 = 2*a. Let m be v(a). Which is smaller: m or -0.3?
-0.3
Let l(a) = -a**2 + a. Let v be l(1). Let h = -2 + 2. Is v > h?
False
Let t(g) = g**2 - 17*g + 14. Let z be t(6). Which is smaller: z or -0.1?
z
Suppose 0 = -0*h + 5*h - 10. Suppose 0 = h*o + 4*m, m + 2*m = 0. Which is smaller: o or 1?
o
Let x = 53 + -55.9. Let k = -3 - x. Which is bigger: k or 0?
0
Let o be (-2 + 1)/((-2)/6). Suppose -4 = -0*n - 4*n. Let b = 1 + n. Is b >= o?
False
Let u = 2 - 7/3. Suppose 5*q - 3 = g, -g + 6 = -4*q - 3*g. Suppose q*c + 2*c = 0. Are c and u non-equal?
True
Let r = -10.89 - 0.11. Let n = r - -13. Let q = -1.9 - -2. Which is greater: n or q?
n
Let n(r) = -r - 7. Let c be n(-6). Suppose -3 = -5*q + 4*u - 0, 6 = -2*q - 2*u. Is q < c?
False
Suppose 4*a = v - 4 - 18, -5*a = 20. Suppose -3 + v = -3*z. Which is bigger: z or 0.6?
0.6
Let s = -89/2 + 841/18. Which is smaller: s or 1?
1
Let g be 70/21 - 2/(-3). Let t = g + -3. Let i be (-15)/28 + 2/8. Which is smaller: t or i?
i
Let w = 0.4 - 1.4. Let b = -12 + 8. Let u = b - -8. Which is smaller: u or w?
w
Let c(h) be the third derivative of h**6/20 - h**5/60 - 3*h**2. Let o be c(1). Is o less than 5?
False
Let a = 21 + -22. Let z be (4 + a + -3)/(-2). Is 12 bigger than z?
True
Suppose 2*u - 4*p + 2*p - 52 = 0, -5*p - 25 = 0. Which is bigger: 22 or u?
22
Suppose -7*k = -95 - 24. Is 17 at most k?
True
Let z be 3/(-27) + -7 + 7. Is -1 at most z?
True
Let r = 0.617 + 0.083. Is 1/3 bigger than r?
False
Let c(f) = -f**2 - 5*f + 7. Let j be c(-6). Let r be (-16)/(-48)*6/(-14). Which is greater: r or j?
j
Suppose 4 = 4*d + f, 9*d - 4*f - 2 = 7*d. Is 2/93 <= d?
True
Let s = 13.8 + 4.2. Which is smaller: s or 0?
0
Let d = -37 - 1. Let a = -153/4 - d. Suppose 0 = -w - 5*k + 1, -2*w + 2*k + 2 = -0. Is a at most w?
True
Suppose 3 = -5*x + 23. Which is greater: 11/4 or x?
x
Suppose 0 = h - 3 - 0. Let l = -1 + h. Let a be -2*(l + (-34)/20). Is a at least -1?
True
Suppose -4*s + 5*c = 5, -2*s + 2*c = -0 + 2. Let w = s - 1. Let q = -1 - w. Which is smaller: q or -1/6?
-1/6
Let x be (-6)/8 + (-1)/(-1). Let o = 28 + -29. Is x smaller than o?
False
Let a be 4*1*(1 - -1). Let p(t) = t**3 + 9*t**2 - 5*t - 35. Let l be p(-9). Is a at least l?
False
Let v = -3 - -4. Let s be (2/(-3) + 1)*v. Which is smaller: 1 or s?
s
Let y be 1 - (1 + 62)*-1. Let p = y + -28. Let i be p/16*(-2)/(-6). Are i and 0.2 equal?
False
Let y = 0.01 - 1.01. Let m(g) = g**3 - 7*g**2 + 6*g - 1. Suppose 15 + 3 = 3*c. Let l be m(c). Is y greater than l?
False
Suppose 15 = -2*c + 3*b, 3*c - 4*b = -0*c - 20. Suppose q = 4*q - 12. Suppose q*x - 2*x = 2. Do x and c have the same value?
False
Let i be (1 + 6/(-4))*12. Let j = i - -7. Does 4 = j?
False
Let j = -167 - -148. Is -20 greater than j?
False
Let c = -1.3 - -1.4. Let p = -0.4 + 0.1. Let u = 0.2 + p. Is u at most c?
True
Let d(v) = -3*v + 1. Let s(w) = -6*w + 3. Let r(n) = 5*d(n) - 2*s(n). Let h be r(-4). Suppose 0 = -3*g - 4*z - h, -4*z = 4*g - 9*z - 6. Are g and 0 non-equal?
True
Suppose -172 = -4*n - 4*g, -2*g = 3*n - 99 - 26. Is 37 <= n?
True
Let l = -15 + 14. Is 2/37 less than or equal to l?
False
Let l = -3 + 4. Let a be 2886/(-45)*30/9. Let z = a + 214. Which is smaller: l or z?
z
Let s be (-11)/(-3) - (-6)/(-9). Suppose -o = -6*n + n, -2*n + o = s. Are 2 and n non-equal?
True
Let o be 68/30 + (-2)/(-6). Is o >= 4?
False
Suppose l = 1 + 1. Suppose -q = p + l, q + q - 5 = -5*p. Let d be ((2/(-1))/(-8))/(3/24). Which is smaller: p or d?
d
Suppose -7*d + 3*d = 0. Suppose 4*y - 3*y - r + 1 = d, -3*y = -5*r + 7. Is y equal to 5/6?
False
Suppose -33 = 3*f - 6*f. Let w = -8 + f. Let p be 0/(3/(w/1)). Is 1/4 less than p?
False
Let r be 2/(-6) - (-8)/(-12). Let w = -3 - r. Which is bigger: w or -2/3?
-2/3
Suppose -3*f + 7*f = 0. Suppose f = -i + 3*i. Which is bigger: i or -2?
i
Let g = -32 - -29.7. Let s = 1.6 + g. Is -1 less than s?
True
Suppose -2*v + 3 - 1 = 0. Which is greater: 1/79 or v?
v
Let l(x) = -x**2 + 4*x - 1. Let k be l(4). Is k less than -1/74?
True
Let o be 2 + 142/(-72) - (-1)/(-4). Are o and -1 unequal?
True
Let y = -4/11 + 42/55. Is y > 0?
True
Let h be (4 + 1/(-1))/((-51)/(-34)). Do -4 and h have the same value?
False
Suppose 0 = 4*h - 8, 2*b - 2*h - 14 = -h. Let k(f) = 4*f - 4. Let m be k(-2). Let q = m + 20. Is b at least as big as q?
True
Let w = 439/24 + -73/4. Is w < -1?
False
Suppose 2*v - 44 = -0. Suppose 0 = -2*x + 6*x + 2*r + v, -19 = 4*x + 5*r. Let l be ((-1)/(-3))/((-8)/x). Is l greater than or equal to 1?
False
Let s(k) = 3*k + 4. Let a(r) = -4*r - 4. Let q(h) = -2*a(h) - 3*s(h). Let o be q(-13). Which is smaller: 8 or o?
8
Let i(j) be the second derivativ