+ 1. Let m be g(f). Is 4 > m?
True
Let u = 32 - -22. Let i be 12*((-8)/u)/(-2). Which is greater: 1 or i?
1
Let o = -9 + -1. Let s = -10 - o. Which is bigger: s or 1?
1
Suppose 0 = -2*x + 4 - 2. Is -2/27 at most as big as x?
True
Let n(l) = 4*l + 9. Let q be n(-2). Let w(u) = -u**2 - 2*u + 3. Let z be w(-3). Is z >= q?
False
Let f(h) = h**2 - 7*h + 5. Let i be f(6). Let w be (-24)/6*i/4. Let c = -1/168 + 349/2184. Which is bigger: w or c?
w
Let n(p) = -3*p**3 - 6*p**2 + 2*p - 4. Let k be n(-3). Let x = k + -15. Are x and 4/3 equal?
False
Suppose 4*x = 2*m - 22, -3*m + 3*x + 14 + 7 = 0. Suppose m*o + 0*y - 8 = -y, o - 16 = -3*y. Which is bigger: o or 1/5?
o
Let u = 0.1 + -0.1. Let b = 7.7 - 0.7. Is u > b?
False
Let h = -4 - -2. Let q be (2/h)/(2/(-4)). Suppose -4 = 2*t + q*t. Which is greater: t or -2/5?
-2/5
Let a be (-9)/((-342)/4)*(0 - 6). Which is greater: a or 0?
0
Let k(x) = 5*x. Let y be k(-2). Let g be (-3)/15 - 2/y. Which is greater: 1 or g?
1
Suppose 5*c + 14*s - 19*s + 5 = 0, 4*c - 2 = 2*s. Does c = 2?
True
Suppose 12 = -l - 0*l. Do -12 and l have the same value?
True
Suppose 5*m = 5*k - 14 - 6, -5*k - 4*m = 7. Let r = k + -7. Which is greater: -4 or r?
-4
Suppose 0 = -5*c + 4*c. Which is smaller: 1/5 or c?
c
Let y = -29/120 + 1/24. Is y less than or equal to 2/3?
True
Let q = -24 - -25. Does 1/31 = q?
False
Suppose 3*f = f - 4. Let t be -3*f/(-3)*2. Let n be (-3)/9*(-15)/t. Which is bigger: n or -2?
n
Suppose 3*x + 0*x + 42 = 0. Is -18 at least as big as x?
False
Let f = -8.4 - -1.4. Let b = 0.07 + -9.07. Let k = b - f. Is -0.1 >= k?
True
Let v be 76*6/480 - 2/10. Do v and 1 have different values?
True
Let w = 16 + -15.93. Is w < 3?
True
Let j be 8/(-4) + -16 - 4/2. Is j at least as big as -20?
True
Let d be 3/(-4) + (-57)/(-12). Suppose d*y + 0 = -5*a - 3, -3 = -a + y. Suppose 0 = 3*x + 2*h - 10, -4*h + 0*h = -2*x - 4. Which is smaller: x or a?
a
Let l be (1/5)/((-352)/(-20)). Which is smaller: l or -1?
-1
Let k be (-2)/1*-3*4/(-6). Let c(r) = -r**2 + 1. Let b(y) = y**2 - y - 1. Let h(w) = b(w) + 2*c(w). Let u be h(-3). Which is greater: k or u?
k
Let i = 21 - 26. Which is smaller: i or -7/2?
i
Let b = 1 + 6. Do 0.2 and b have different values?
True
Let j(w) = 2*w - 2. Let t be j(2). Suppose 0 = -4*d + t*m + 14, 4*d - 6*d + 11 = -5*m. Suppose 7*v + 4 = d*v. Which is bigger: 2/9 or v?
2/9
Let u(p) = -p**3 + 5*p**2 - 5*p + 2. Suppose -1 = -r + 2. Let o be u(r). Let g = -5 + o. Is -1/4 greater than or equal to g?
False
Let b = 119/824 + -2/103. Let l(d) = d**3 + 8*d**2. Let z be l(-8). Is b <= z?
False
Let l(h) = -h**2 - 8*h + 19. Let j be l(-10). Is 2/13 smaller than j?
False
Let p(h) = -7 + 0 + 1 - h + 2. Let x be p(-4). Let b(a) = a**2 + a - 1. Let m be b(x). Which is greater: m or -2?
m
Let w(u) = -u**2 + 7*u. Let h be w(7). Suppose 3*j - 32 = 5*l - 8, h = -2*j - 2*l + 16. Is j at least 8?
True
Let a = 0.2 + -0.3. Let h(m) = 15*m + 2. Let n be h(-6). Let y = -618/7 - n. Which is smaller: y or a?
y
Let x(b) = b**2 + 6*b - 5. Let c = 18 - 25. Let j be x(c). Is 1 bigger than j?
False
Suppose -5*u = -4*u + 3*h - 78, 372 = 5*u - 3*h. Is 75 <= u?
True
Let h = -0.12 - -5.12. Let j = h - 4.9. Are j and 2/21 equal?
False
Suppose -4*x = -3*v + 7, 4*x - 1 = -2*v + 3*x. Suppose -15 - 225 = -3*u. Let k be 3/2 - 104/u. Which is smaller: v or k?
k
Let l = -4 + 6. Let p be -2 + (5 - l - 0). Is p < 2/9?
False
Let h = 1/6 - -1/30. Which is smaller: 3 or h?
h
Let b = -23.1 - -23. Are 4/3 and b non-equal?
True
Let u be (-4)/(-1) + (1 - 3). Let i be (5/u)/(-5)*-2. Let b(q) = 3*q + 24. Let g be b(-8). Is g greater than or equal to i?
False
Let y be ((-2)/2)/(-3 + 4). Let i(l) = l**3 - 4*l**2 - 5*l + 1. Let s be i(5). Let n = s - 1. Is y <= n?
True
Let t = 0.4 - 0.2. Let b = t + -0.2. Let a = 2 + b. Which is smaller: a or -2/3?
-2/3
Let x be (-540)/(-55) + 4/22. Suppose y - 3*y = -3*z + x, -20 = -5*z. Let p = -649/7 - -93. Is y >= p?
True
Let r be (-32)/28 - (-2 - -1). Suppose -2*u = 2*u. Is u > r?
True
Let l be 13935/(-25)*64/6. Let y = 6451236/1085 + l. Let g = 3/31 - y. Which is bigger: g or -1?
g
Let b = -6 - -6.4. Let q = 10.9 + -11. Let x = q - 0. Are b and x equal?
False
Let h(a) = a**3 - 12*a**2 + 6*a - 7. Let p be h(10). Let b be ((-12)/p)/(6/(-7)). Is -1 greater than or equal to b?
False
Suppose 2*d + 6 = 2*h, h - 10 = 4*d - 1. Is 2/3 greater than h?
False
Let l = -10 + 14. Suppose -5*p = -5*i - 21 - 9, 5*i + 25 = l*p. Let c be (0/i)/(-2) + 5. Is c not equal to 5?
False
Let p = -404/985 - -2/197. Are p and 2/29 unequal?
True
Let d be -1 + 1 + (-756734)/(-9892). Let x = -1/2473 - d. Let w = 75 + x. Is w > 0?
False
Let v = 2 + 3. Suppose -3*a + 3*o = 7*o + 11, -4*a + v*o = -37. Let p = -1 + a. Which is bigger: 3 or p?
3
Let d(u) = -2*u - 8. Let t(s) = s**2 + 6*s + 4. Let p be t(-4). Let y be d(p). Which is bigger: -2/3 or y?
y
Let u = -3.04 - -0.04. Let c = -7 - -11. Let l = u + c. Which is smaller: l or 2?
l
Suppose -49 = 3*d - 4*r - 0*r, d + 15 = r. Suppose -28 + 8 = -4*i. Suppose -i*k - 4*u = 51, 32 = -4*k + 2*u - 14. Is d greater than or equal to k?
True
Let c = -2.86 - -3. Let u = 0.06 + c. Let t(v) = -v + 3. Let w be t(5). Does w = u?
False
Let t(i) = -i + 4. Let o be t(2). Suppose 3*q + o*q + m + 3 = 0, -4*q + 3*m - 10 = 0. Is q greater than or equal to -5/6?
False
Let z(k) = k**3 + k**2 - k + 3. Let b be z(0). Suppose 7 - b = 4*g. Is g at least as big as 2/21?
True
Let i = 0.0166 + 4.7234. Let c = i - 6.7. Let q = -0.04 + c. Which is greater: -3 or q?
q
Let w(o) = -o**3 + 5*o**2 - 2*o + 6. Let l be w(5). Let b be ((-4)/l)/(2/(-14)). Is b greater than or equal to -6?
False
Let g(f) be the third derivative of f**6/120 + f**5/30 - 5*f**4/24 - f**3/3 + 2*f**2. Let i be g(-4). Let r be (-13)/28 + 4/i. Which is bigger: r or -1?
r
Suppose t + 4*t - 5 = 0. Which is smaller: t or 1/9?
1/9
Let x = -0.005 + 2.925. Let b = x - -0.08. Is b greater than or equal to 2/3?
True
Let h = 5 + -4. Suppose 4*i + 19 = s, i = -s - 2 + h. Suppose 4*f + 4*t = 0, 0 = 2*f + 4*t + 1 + 3. Which is smaller: s or f?
f
Let f be (-10)/(-14) + 14/49. Is f greater than 1?
False
Let v = 1019 + -466. Let y = -12717/23 + v. Is y greater than -1?
True
Suppose 0 = 5*k - 5 - 5. Suppose -i = -k*i. Let n = -79/5 + 16. Which is greater: i or n?
n
Let t = 0.02 + -6.02. Let b = -0.9 - 0.1. Which is smaller: b or t?
t
Let y(g) = 3*g - 6. Suppose 3*w - 9 = 12. Let z be y(w). Let f be (4/z)/((-24)/20). Which is smaller: 1 or f?
f
Suppose -2*k = 2*k. Suppose k = 5*h - 20. Suppose -h*w - 2 = -3*w. Is w greater than or equal to -1?
False
Let d be 1 + (255/36)/(-5). Let w = -2/3 - d. Let i = -1 - 0. Do i and w have the same value?
False
Let r be -1 + 3/(-12)*0. Are 0 and r equal?
False
Let i = 251/9 + -28. Do i and 1 have different values?
True
Let w = 8 - 5. Suppose -5*v + 1 = -w*i, -3*v = -5*i - 6*v + 55. Let q be (-1)/(-4) - 2/i. Is q greater than or equal to 1/3?
False
Suppose 9 = -5*b + 2*w + 1, -5*b + 4*w - 6 = 0. Suppose 0 = -4*v + g - 15, -3*v - 14 = -g - 2. Is v at least as big as b?
False
Suppose 9 + 7 = -2*m. Let h be (-7 - -11)/((-3)/6). Does h = m?
True
Suppose -3*d = 5*g - 63, 2*g + 0*g = -5*d + 10. Let o be -2 + (54/g)/2. Which is smaller: o or 0?
o
Suppose -t - d - 14 = 0, -5*t - 27 - 51 = d. Is t at most as big as -17?
False
Let l be (3/(-6))/(3/18). Let t be ((-3)/(-2))/(l/(-6)). Is t smaller than 4?
True
Let y be 48/(-84)*(-2)/(-4). Which is greater: 1 or y?
1
Let a be (1 - -1)/(-8 + 3). Let w(v) = -83*v + 83*v + 2*v**2 + v**3. Let z be w(-1). Which is bigger: a or z?
z
Let q be 3/((-63)/70)*204/10. Which is smaller: q or -67?
q
Let i = 12 + -7. Suppose 3*y = 3*t - 27, 0 = 4*t - 0*y - i*y - 38. Which is smaller: t or 8?
t
Suppose 0 = 4*f - 9 + 1. Let o be 3 - (f + (1 - 0)). Which is bigger: o or 1/4?
1/4
Let w = 0.05 + -0.1. Let x = 0.65 + w. Are -2 and x unequal?
True
Let l be 4/(-8) + (-98)/44. Let v = -169/66 - l. Is v at least as big as 1?
False
Suppose -4 = -0*z - z. Suppose g = z - 2. Suppose 24 = 4*r - 2*s, -g*r - 5 = -5*r - 5*s. Is 4 bigger than r?
False
Let h be (-1)/3*(-4 + -5). Let p(k) = -k + 10. Let t be p(h). Is t bigger than 6?
True
Suppose 3*a + 240 = 4*u, 3*a + 4*u = -0*a - 216. Let o = -682/9 - a. Suppose 2 = -4*c - 2. Which is bigger: o or c?
o
Let