ig as o?
True
Suppose 0 = -2*f + 3*l + 3 - 24, -4*f + l = 17. Let x be 66/14 + (-4)/(-14). Let i = x - 9. Which is smaller: i or f?
i
Let f be (-2)/(-36)*-5 + (-14)/63. Does f = -3/5?
False
Let m = 1.92 + -2. Let p = m + -0.02. Which is smaller: p or 5?
p
Suppose 2*f - 5*f - 3*h + 15 = 0, 14 = 4*f + 2*h. Suppose -f*s + 2 = 5*o + 7, 0 = 3*s. Is 1 equal to o?
False
Suppose -2*p = 3*d - 44, -5*p - 2*d + 24 = -4*p. Suppose -3*h - h = -p. Let r(a) = -a**3 + 3*a + 2. Let c be r(-2). Is h < c?
False
Suppose -8*y - 51 - 61 = 0. Is 0.2 > y?
True
Suppose 0 = -0*n + 4*n + 8. Suppose -2*q - 24 = q. Let v be (n/4)/((-2)/q). Which is smaller: -2/3 or v?
v
Let a = 0 - -2. Suppose -2*x + a - 4 = 0. Is -2 less than x?
True
Let l = -43 - -71. Which is smaller: -2 or l?
-2
Let c = -0.1 - 0.1. Let o = -17 + 16. Which is bigger: o or c?
c
Let r = -1.4 - -17.4. Which is greater: 0 or r?
r
Suppose 4*u + 4*r + 4 = -r, -3*u - 5*r = 8. Which is smaller: 3 or u?
3
Let x(y) be the third derivative of y**4/24 - 3*y**3/2 - y**2. Let b be x(9). Suppose -u + 2*u = b. Which is smaller: u or -2/13?
-2/13
Let p(c) = c + 1. Suppose 5*z + 2*g = -2, -g + 8 = g. Let u be p(z). Which is greater: u or 2?
2
Let f be 32/(-5) - (-16)/40. Let k = 6 + f. Let g = 13/17 - 1/68. Which is greater: k or g?
g
Let f = 391 + -240. Suppose 2*q + 122 = -4*r, 2*r - 7*r - f = 2*q. Let j = r - -204/7. Is j at least as big as 1?
False
Let w = 14 - 29/2. Which is smaller: 0 or w?
w
Let r be (32/12)/((-3)/(3/26)). Which is greater: r or -1?
r
Suppose -14*j = -9*j + 25. Are j and -6 equal?
False
Let o = -103 + 149. Which is smaller: o or 44?
44
Let c(s) = 19*s. Let l(o) = -o**3 + 6*o**2 - o + 5. Let j be l(6). Let h be c(j). Let y be -2*(-2 - h/9). Is y less than -1?
False
Let d = 3 - 2.7. Let z = -0.5 + d. Which is greater: 1/3 or z?
1/3
Let a = 0.1 - 0.8. Is 0 smaller than a?
False
Let g = 0.6 + -1.6. Which is greater: g or -2?
g
Suppose 17 = 3*a - g, -2*g + 23 = 3*a + 3*g. Let l(h) = -h**3 + 6*h**2 + 4. Let q be l(a). Is 3 greater than or equal to q?
False
Let g = -31.03 - -31. Is g at least 4?
False
Suppose 3*j + 6 = -0*j. Let t be 2/(-1) + (-3 - j). Are -3 and t unequal?
False
Suppose -23*r + 20*r = -15. Let p be (-4)/(-14) + (-26)/(-7). Which is bigger: r or p?
r
Let x(u) = u**3 + 5*u**2 - 2*u - 6. Let h be x(-5). Is 22/5 equal to h?
False
Let d = 0.81 - 0.91. Is 2/11 < d?
False
Let x = -143 + 144. Do 2/67 and x have the same value?
False
Let a(c) = c - 6. Suppose -4*g + 12 = -g. Let h be a(g). Let v be (5 + -6)/((-2)/h). Which is bigger: -3 or v?
v
Suppose 4*h = -h. Which is greater: -2 or h?
h
Let h = 2.03 - 0.03. Let p = 0.18 + 0.12. Which is greater: h or p?
h
Let j = -8.01 - -8. Let u = j - -1.01. Which is greater: 2/7 or u?
u
Let a(y) = y**2 - 4. Let c be a(-3). Which is bigger: c or 6?
6
Suppose 0 = -5*a - 8 + 18. Suppose 19 - 4 = 3*c. Let f be c/2 + (-1)/(-2). Which is smaller: f or a?
a
Let k = -22 - -10. Let z be k/(-55) + (-2)/5. Is 1 bigger than z?
True
Let u = 33/2 + -17. Suppose 0 = 5*a + 2 + 3. Which is greater: u or a?
u
Let s be (-2)/(-7) - 2274/21. Let w = s + 1838/17. Which is bigger: 1 or w?
1
Let y = 40 + -33.1. Let j = -7 + y. Which is bigger: j or -1?
j
Suppose 2*m = 2*v - 8, -4*v + 3*m + 14 = m. Suppose 0*h - 3*h = -v*n + 18, -n + 6 = -2*h. Which is smaller: n or 5?
5
Let t = 27 + -28. Are t and 10 unequal?
True
Let a(b) = 6*b**2 - 1. Let r be a(-1). Suppose 2*s + r = -3*s. Let n = s + -1. Which is smaller: 1/3 or n?
n
Let v = 0.23 - -0.07. Let w = v - -0.7. Let x = 2.2 + -2. Which is smaller: x or w?
x
Let d = -0.1 + -0.1. Let f = 7.2 + -6.2. Is d less than f?
True
Suppose 9*i + 2*i = 0. Which is bigger: -5 or i?
i
Let x = -3.2 + 3.1. Which is greater: 0 or x?
0
Let t = -8 - -13. Suppose -1 + t = -2*i. Do i and -1 have different values?
True
Let a = 124.4 - 124. Is -8 less than a?
True
Let t = 6 + -4. Let z = -3 + t. Let c be (1 - -1)*((-4)/(-34))/2. Are c and z non-equal?
True
Suppose 4*b + 4 = 4*a, 4*a - 4*b + 5*b = 14. Let d(z) = -z**2 + 5*z - 2. Let w be d(a). Let u be w/(-10) + 3/(-5). Which is smaller: -2/3 or u?
u
Let i(u) = 2*u**2 + u - 5. Let j be i(-5). Suppose 5*b = -3*y - j, -5*b - 2*y - 2 = 43. Is -11 greater than or equal to b?
True
Let d = 10 - 148/15. Let s = 3 + -4. Are d and s unequal?
True
Let z be 24/156 + (-638)/(-78). Which is smaller: 7 or z?
7
Suppose -8*x + 16 = -4*x. Suppose -5*n = -s + 2, -x*n + 3 - 19 = 4*s. Let z be -1 + n + 1 + 0. Which is greater: z or -1/3?
-1/3
Let c = 13 - 12. Which is smaller: c or 2/7?
2/7
Suppose -9 = -3*f + w + 5, 0 = -4*f - 2*w + 12. Let q be (-11)/f + (-6)/(-8). Is q not equal to 2?
True
Let v(j) = -j**2 - 7*j + 4. Let x be v(-7). Let u = x + -8. Let f = u - -2. Which is greater: -1 or f?
-1
Suppose 2*a - 8*a = 0. Suppose a = 6*x - 4*x. Is 1/29 equal to x?
False
Let q = -10 + 14. Suppose 11 = q*d - 9. Is -1 < d?
True
Let f = -3 + 3. Suppose -2*z + 0*z = f. Let b = -31/258 + -2/43. Which is smaller: b or z?
b
Suppose -7*n + 3*n = b, 3*b = -n. Is 3/13 > n?
True
Suppose 106 = 6*k - 80. Which is smaller: 30 or k?
30
Let s = 1433/2 + -703. Which is smaller: 14 or s?
s
Let p = 2 - 1. Let u = 119 - 107. Which is smaller: u or p?
p
Let u(w) = w**3 - 4*w**2 - 6*w + 7. Let m be u(5). Suppose m*f = -0*f - 2, -j + f = -2. Is j greater than or equal to 2/17?
True
Let d(n) = 2*n**2 - 3*n - 3. Let c be d(3). Suppose 3*w - c = 9. Suppose -k - w*m = -3, 0*k + 3*m - 3 = -k. Is 0 at least k?
False
Let l = 9.8 + -10.8. Is 3/7 <= l?
False
Suppose 0 = z - 6 - 23. Let i = z - 22. Is 7 bigger than i?
False
Let r be (-1)/(-85)*342 - 4. Which is greater: r or 0?
r
Let d = 11 - 11. Suppose -4*q - 4 = -d*q. Which is greater: -1/3 or q?
-1/3
Let l(k) = k**3 + 10*k**2 - 1. Let h be l(-10). Which is smaller: 1 or h?
h
Let n(x) = -x**2 + 3 - 1 + 6*x**2 - 1 - x. Let c be n(1). Let a = -3 + c. Which is smaller: 3 or a?
a
Suppose 4*i = c - 6, 16 = -5*c - 5*i - 4. Let q be c/(6 + -4)*0. Is q >= 2/37?
False
Let t = -6 + 10. Suppose -t*q + 2 = -18. Is q smaller than 5?
False
Let x(t) = t**3 + 7*t**2 + 11*t + 5. Let f be x(-5). Which is bigger: -1/26 or f?
f
Let o = 2/13 - 32/39. Suppose -i - 2 = 2*y, 0 = -3*y - 0*i + 4*i - 3. Is y < o?
True
Suppose 2*m = -w - 2 + 5, 3*m = 3*w + 9. Let i(o) = 6 - 4*o + 0*o + 3*o. Let d be i(6). Is w at least as big as d?
False
Let z(i) = -i**2 - 12*i - 2. Let b be z(-8). Suppose 2*d - b = 7*d. Which is greater: -7 or d?
d
Suppose 0 = 5*v + 3*s - 2*s - 16, 5*v - 13 = 2*s. Is 6 equal to v?
False
Let j(s) = s**3 + 5*s**2 + 5*s + 5. Let d be j(-4). Is 2/31 != d?
True
Let j = -24169 + 507652/21. Let m = -39/7 + j. Which is bigger: 1 or m?
1
Suppose 3*g = -g + 4*o + 8, -o = 4. Is -1/2 less than g?
False
Let k be ((-4)/6)/((-40)/(-540)). Is k at most as big as -9?
True
Let m = -2 - -1.3. Let w = 0.7 + m. Let s = -0.1 + 0. Is w != s?
True
Suppose -2*d - 30 = -4*z, -5*z + 2*d + 29 = -9. Suppose 3*y = -4*b - z, 2*y - 33 = b + 4*b. Let i be (2 - 0)/((-2)/(-5)). Which is greater: y or i?
i
Let j(s) = -2*s**2 + 50*s - 19. Let h be j(26). Are h and 1/4 unequal?
True
Suppose -3*u + 8 = y - 0*y, 2*y - 3*u + 20 = 0. Let o be 6/(-15)*14 - -3. Does o = y?
False
Let x = 2 - 1. Suppose 5*m + 4*t - x + 3 = 0, -2*t = -5*m - 14. Suppose 0 = -3*a + 3, -a - 2*a = 4*g + 1. Which is bigger: g or m?
g
Suppose 2*q = 4*s + 4*q, -s + 5*q = -11. Let y be 0 + (-12)/((-2)/s). Let d be (-8)/6 + (-4)/y. Is d less than -1?
True
Suppose -2*a - 87 = 75. Let o = -485/6 - a. Is o >= 1?
False
Let t = -68 - -41. Which is smaller: t or 0.1?
t
Let i = -111.8 + 125. Let x = i + -13. Which is smaller: x or -3?
-3
Let v = -26 + 26.3. Is 2/15 less than v?
True
Let q = 657/5 + -131. Let k = 5 + -3. Suppose -k*o - 7 = -3*c, -2*c - 3*o = 2*c + 19. Does c = q?
False
Suppose -2*q = 2*y + 24, 0 = 3*q - 6*q + y - 32. Which is bigger: q or 2?
2
Suppose -14 = 5*d + 1. Let m be (-2)/d*(-9)/24. Which is smaller: m or -0.6?
-0.6
Let q(y) = -y + 4. Let d be q(4). Suppose d*z + 3*z = 0. Suppose 4*t + 6 = 2*r, -4*t - 2*r + 0 - 10 = z. Which is smaller: -3 or t?
-3
Let a be 3/180 + 1/4. Which is bigger: 0 or a?
a
Let t(o) = o + 8. Let m be t(-8). Which is bigger: 4/13 or m?
4/13
Let l(a) = a**3 + 2*a**2 - a - 2. Let u be l(-2). Let r be 2 - u - (-8)/(-2). Let c be -1 + r + 4/1. Which