f g**6/120 - g**5/12 - 5*g**4/24 - g**3 - 2*g**2. Let t be n(6). Is t <= q?
True
Let i = 21 + 55. Suppose 4*u + i = 24. Let o = 18 + u. Which is bigger: o or 0?
o
Suppose 3 = -d + 6. Suppose -t = y + y - d, -4*t - y + 5 = 0. Which is greater: -2/9 or t?
t
Suppose 2*q - 10 = -0*q. Suppose -2*j - 5*w - q = 3*j, w + 3 = -3*j. Do j and -2/3 have different values?
True
Let r(w) = 28*w**2 + 2*w. Let m be r(-1). Is 23 at least m?
False
Suppose -3*b - b = -8. Suppose -3*o = -b*o + 4. Is -5 greater than o?
False
Let n = 346 + -12455/36. Which is smaller: n or -1?
-1
Let j = -85 + 81. Let v = -10 - -27. Suppose -3 = 5*n + v. Is j less than n?
False
Let s = 1.6 - 3.9. Let g = s + 2. Which is bigger: g or 0.2?
0.2
Let d be (-1 - 17/4)/(30/(-4)). Is d equal to 0?
False
Let a(m) = -m**2 - m - 2. Let y(j) = 2*j - 18. Let u be y(8). Let p be a(u). Do p and -3 have the same value?
False
Suppose -y - 18 = -3. Let n = y - -15. Which is bigger: n or -3?
n
Let z(b) = -b**2 + 9*b - 6. Let a be z(4). Suppose -3*q + 2*g = q + a, -5*q = -g + 13. Do q and 1 have different values?
True
Let h be ((-2)/(-8))/((-4)/(-6)). Which is bigger: h or -2?
h
Let n be ((-6)/4)/(9/(-18)). Let a be (n - 6) + 6/(-2). Which is greater: -5 or a?
-5
Let t(a) = a + 3. Suppose 6*b - 3*b = -9. Let j be t(b). Let w = -156/5 + 31. Is j at least as big as w?
True
Let i(a) = a**2 + 2*a - 1. Let u be i(-3). Let r = -8 - -11. Suppose 3*f - r*t - 2*t - 14 = 0, 3*t = -3. Which is smaller: f or u?
u
Let x be 0 + (0 + -1 - -1). Suppose -4*o + 5*o = x. Is o at least 0.3?
False
Let i(c) = c**2 + 11*c - 10. Let d be i(-12). Is d equal to 0?
False
Suppose -3*r = 3*g + 12, 1 - 6 = -g - 4*r. Let v be g/(-4) - (-4)/16. Suppose o + 2 = -3*h, 0 = 2*o + h - 3 + v. Is 2 greater than o?
True
Suppose 5*g - 20 = 0, -3*s = s + 2*g. Let m = -2 - s. Suppose -l - 4*h + 4 = -12, -h = -4. Is l at least m?
True
Let x = 14 + -9. Let f(g) = -g**3 + 4*g**2 - g - 6. Let y be f(3). Do x and y have different values?
True
Let a = 0.14 + -0.14. Is 1 less than a?
False
Suppose i = 4*i - n, -3*n = 3*i. Does 0 = i?
True
Let z be ((-4)/(-3))/2 + 80/6. Which is bigger: z or 18?
18
Let d be ((-72)/(-20))/(6*(-34)/(-40)). Which is smaller: 1 or d?
d
Let r(z) = -z**2 - 6*z - 3. Let a be r(-6). Let u(k) = k**3 + 3*k**2 - 3*k + 2. Let d(w) = w**3 - 2*w. Let o be d(-2). Let n be u(o). Is a at least as big as n?
False
Let b = -2658665380 + 4541000746403/1708. Let p = -79/244 - b. Let o = p - -163. Which is bigger: -1 or o?
o
Let p = 16 - 20. Is p equal to -4?
True
Let r = 13385/92 + 98/23. Let a = 149 - r. Let u be ((-4)/(-6))/((-4)/6). Which is smaller: u or a?
u
Let a(d) be the first derivative of -d**2/2 + 4*d - 6. Let f be a(6). Which is smaller: f or -5/2?
-5/2
Let p(l) = l - 3. Let y be p(5). Let t = 0 - y. Let x(s) = s**2 - 1. Let b be x(0). Which is smaller: t or b?
t
Suppose 28 = 5*l + 2*f + 3, -f = 5*l - 20. Suppose 6*s - 3*s = l. Is s greater than 3?
False
Let v be (-24)/10*(-130)/338. Which is smaller: v or 1?
v
Let h = -40 - -66. Which is smaller: 1/3 or h?
1/3
Suppose 3*d = -3*o + 24, -4*d = o - 0*d - 17. Let g be 4*(-3 + o/2). Which is greater: -3 or g?
g
Let p = -17.55 - -14.5. Let m = 2.96 - -0.04. Let h = p + m. Which is smaller: h or 0.1?
h
Let j = 1 + 3. Let q be 2/(-6) - j/6. Is q at most -4/9?
True
Suppose d = 4*g - 15, 0 = -g - 2 + 6. Which is bigger: -2/29 or d?
d
Let j be (44/246)/(40/78). Let w = 3/10 - j. Which is greater: 0 or w?
0
Let k be (-2)/(2/(-15)*3). Let w = 4 - k. Let g be (w/5)/(-1*1). Is 0 <= g?
True
Suppose -a - 2 = -5*x, -3*x + 2 + 0 = -a. Suppose 0 = -f - 2*s - 0 + 2, 2*s = 3*f - 22. Let k be 2/f*(-24)/(-68). Is x at least as big as k?
False
Let m(k) = 3*k**3 + 3*k**2 - 3*k. Let y(t) = 5*t**3 + 6*t**2 - 5*t + 1. Let c(z) = 7*m(z) - 4*y(z). Let u be c(4). Let i be ((-2)/u)/(1/(-4)). Is i less than 1?
False
Let h = 2.2 - -0.8. Let x = -3.5 + h. Is x at least -1/4?
False
Let m = -6.5 - -7. Let z = -0.6 + m. Do -6/5 and z have the same value?
False
Let b = 5 + -8. Let c(f) = -1 + f + 0*f + 2. Let q be c(b). Which is smaller: 1 or q?
q
Suppose -4*j - 134 = -3*s, -s + 212 = 3*s + 3*j. Is s > 50?
False
Let k = -3.9 + 3.8. Is -4 > k?
False
Suppose 0*z + 4 = 3*z + l, -5*l = -5. Let p be ((6/(-9))/(-1))/(4/14). Is z greater than p?
False
Suppose -2*l - 2*s = -17592, 3*l - 20838 = s + 5558. Let f = l - 44433/5. Let h = -89 - f. Are h and -0.3 unequal?
True
Let k(u) = u**2 - 7. Let r be k(3). Which is bigger: r or 28/9?
28/9
Suppose 4*x + 3*t = 14, x + 2*t - 2 = 2*x. Let u be (-3 + 4)/(-1 + x). Which is bigger: u or -2/9?
u
Let c(v) = v**2 - 6*v + 5. Let u(k) = k**3 - k**2 - k + 4. Let y be u(0). Let x be c(y). Which is greater: x or -5?
x
Suppose 3 = 5*t - 2. Let q be (0 + 1/t)*0. Is -11 greater than or equal to q?
False
Let u(x) = -x**3 + 7*x**2 + 13*x - 12. Let v be u(8). Let i = v + -40. Do i and -2/5 have the same value?
False
Let o = 2.7 + -4.56. Let z = o + 0.9. Let i = z + -0.04. Is i > -3/5?
False
Let p = 3544/23 + -154. Let j = 33 - 32. Is j smaller than p?
False
Let y = -0.1 + 0.2. Which is greater: y or -3?
y
Let r be ((-3)/(-2))/(30/(-36)). Let s = 11/5 + r. Do -0.02 and s have the same value?
False
Let d(c) = 4*c**2 - 1. Let g be d(1). Suppose 2*u + 2*u = 0. Suppose -18 = 2*o + 5*p, 5 = -g*o - 2*p - u. Is 1 equal to o?
True
Let q = -37/2 - -73/4. Let r be ((-1)/4)/((-15)/20). Which is smaller: q or r?
q
Let y = 87 + -86.4. Which is bigger: y or -0.1?
y
Let n = -1.93 - 0.07. Let l = -3 + 6. Which is smaller: n or l?
n
Suppose -6*a = -10*a - 56. Which is smaller: a or 2?
a
Let d = -3 + 3. Suppose 5*m = -d*m + 5. Let n = 5/4 - 17/12. Do m and n have the same value?
False
Let s(l) = -l + 5. Let q be s(3). Which is bigger: -3 or q?
q
Let z = 1.8 + 0.2. Let g = z - 2. Let r = 3 - 2. Which is bigger: g or r?
r
Let r be (1/(-30))/((-66)/1705). Let o = 10/9 - r. Is 0 >= o?
False
Let b be -8*((-1)/(-2) - 2). Let h be (b/16 + -1)*-4. Is h > -3?
True
Let p = -31/92 + 2/23. Which is greater: p or -23?
p
Let x = 14 - 17. Let m = 75/2 + -39. Is x >= m?
False
Let d = -57.4 + 63. Let h = d - 6. Let x = h + -0.6. Is 1 at least as big as x?
True
Let g = -9.1 + 9. Suppose t - 6 = -2*t. Let p = 1 - t. Which is smaller: p or g?
p
Let n be 2 - 18/(-264)*-38. Do 0 and n have different values?
True
Suppose 2*n - n - 188 = 2*g, -2*n + 184 = -2*g. Which is smaller: g or -95?
g
Let y = -8 - -8. Let k be 0 - y*(0 - -1). Is 0 < k?
False
Let j be (-260)/24 - (-1 - (-14)/12). Suppose 5*t - 3*t + 21 = -h, 0 = 2*t - 5*h + 27. Is j != t?
False
Suppose -2*p = -5*c - 17, -4*c - 35 + 1 = -5*p. Let j(i) be the first derivative of i**3/3 - 3*i**2 + 4*i - 1. Let d be j(p). Which is bigger: d or 3?
d
Let w = -78919/624 - -29/208. Let i = 124 + w. Is i != -3?
True
Let v = 262.8 + -263. Let o(g) = -2*g + 4. Let c be o(5). Which is bigger: v or c?
v
Let k = -20 + 19. Which is greater: -0.4 or k?
-0.4
Suppose 4*m - 10 = -6. Is 1/142 smaller than m?
True
Let a = 5.9 - 5.9. Is a <= 0?
True
Let x(v) = v - 21. Let w be x(19). Which is bigger: w or 1?
1
Suppose 0 = -c + b - 3, -2*c + 5*b - 7 = -5*c. Let g = c + 0. Is g greater than -1?
False
Let k(g) = -g + 6. Let i be k(7). Is 2/7 at most as big as i?
False
Let p = -40 + 10. Let f be (4/(-5))/((-6)/p). Let j(k) = k**2 + 4*k - 3. Let h be j(-4). Which is greater: f or h?
h
Let b(r) = 2*r**3 - 11*r**2 - 3*r + 2. Let d be b(6). Which is smaller: 18 or d?
18
Let k = -0.02 - 0.08. Suppose -5*m = 3*g - 5, 4*m = -2*g - g + 4. Let q = m + -2. Which is greater: k or q?
k
Let r(z) = -z**3 - 15*z**2 + 14*z - 20. Let s be r(-16). Is 12 at most s?
True
Let i(l) = -l - 19. Let v be i(0). Which is bigger: v or -20?
v
Suppose 5*r - 31 - 164 = 0. Let f = -107/3 + r. Let w(a) = a**2. Let d be w(-2). Which is smaller: f or d?
f
Let n = 0 + 2. Let i(k) = 3*k**2 - 18*k - 19. Let a(r) = -r**2 + 6*r + 6. Let v(h) = -11*a(h) - 4*i(h). Let f be v(7). Which is smaller: n or f?
n
Let y = 8 + -5. Let c = 157.3 - 157. Is c smaller than y?
True
Let w(c) = 2*c**3 + 0*c**3 - 3*c**2 - 2*c**3 - 3*c**3. Let m be w(-2). Let n be 4/m*0/(-2). Is -1 <= n?
True
Let c = 7 - 9. Which is bigger: c or -1?
-1
Let c = 1.77 - 1.77. Which is greater: -10 or c?
c
Suppose -5*f = -5*z - 30, -3*z + 3*f - 5*f = 28. Let y = 8 + z. Are y and -1 e