. Is 0 < z?
True
Let o = 6.3 - 1.3. Let c = o + -4. Which is smaller: -2 or c?
-2
Suppose -5 = -5*v, -2*m + 3*m - 40 = 4*v. Let p be m/(-7) + (-2)/(-7). Which is bigger: p or -4?
-4
Let d = 6/187 + 28/187. Is d at most as big as -2?
False
Suppose 5 = 5*j + u - 3, -6 = 3*u. Let v = 1 - 2. Let a be 3 - (2 + v + 0). Is j smaller than a?
False
Suppose 3*d - 2*d + 5*f = 12, 0 = -d - 2*f + 9. Let i(z) = -z + 3. Let u be i(-3). Is u <= d?
True
Suppose -5*y - 6 = -0*y - x, -4*x = -3*y - 7. Is y greater than or equal to -4/45?
False
Let i = -1.1 + 1. Let l = -0.04 - 0. Let t = l + 1.04. Which is smaller: i or t?
i
Let n be (-2)/6 + (-152)/3. Suppose -4*q + 4*z = -24, -8*z + 12 = 4*q - 9*z. Let o be q*(n/(-24) + -2). Which is smaller: 0.1 or o?
0.1
Let f = -260 - -2862/11. Let z = 19 + -21.9. Let o = z + 3. Is o at least f?
False
Let z(p) = -p + 1. Let j(d) = -d - 1. Let m be j(-4). Let k be z(m). Let i be -1 - k - 4/(-2). Is 3 less than i?
False
Let u = 7 + -12. Let v = u + 7. Suppose 5*z = -8 - v. Is z greater than or equal to -4/7?
False
Let w be (-12)/(-8)*(-4)/6. Let i(c) = 7*c**2 + c + 1. Let s be i(w). Is s greater than or equal to 7?
True
Let o = 26 - 39. Let g = -8 - o. Let h = 3 - g. Which is greater: -0.2 or h?
-0.2
Suppose 0 = -3*g + 2*y, -g - y = -3*g - 1. Let m be (-2 - (g + -6))*-7. Let w be 8/6*9/m. Which is greater: -2/3 or w?
w
Let s(m) = 2*m**3 - 3*m**2 - 4*m. Let w(i) = -i + 3. Let g be w(0). Let f be s(g). Suppose -5*r + 30 = 5*z, -r = 2*r - f. Which is greater: -1 or z?
z
Let g = 7 - 4. Let a = g + -1. Suppose -3*o = -6*o + 4*z + 3, -4*o - 2*z + 4 = 0. Which is smaller: a or o?
o
Let j = 17.1 - 17. Is j equal to 2?
False
Suppose f - 3*w - 3 = 0, -4*f = -0*w - 2*w - 12. Let g(y) = -y - 1. Let z be g(-5). Let h be (-2)/(4/f)*z. Is h greater than -5?
False
Suppose o + 3*o + 12 = 0. Let i = 1 + -3. Let n be i/(-18)*(o - -1). Which is bigger: n or -1?
n
Let r = 245/372 - -1/124. Let w = -7 + 4. Which is smaller: w or r?
w
Let v be -2 + (-74 + 2)/(-4). Let d = 21 - v. Which is greater: d or 4?
d
Let v = -22 + 12. Let p = -9.9 - v. Are 5 and p equal?
False
Suppose 3*i - r + 3 = 5, 2*i - r = 2. Which is bigger: i or 2/61?
2/61
Let a = 0.1 + 0.9. Let q = -2 + a. Let w be (-6)/9*(-6)/22. Does w = q?
False
Let j be 2*-2*(-2)/4. Suppose -5*u - 31 = -j*s, s - 3*u - 14 = u. Let l be s/(-4)*6/(-9). Which is smaller: l or 4?
l
Let c be 7/(-2)*(-48)/28. Let b be c/(-9)*(14 - 2). Which is smaller: -9 or b?
-9
Let f = 2 - -2. Let k be (1/(-2))/((-6)/f). Let j be 2/6*6/2. Which is greater: k or j?
j
Let h(w) = -w**3 - 7*w**2 + 9*w + 6. Let x be h(-8). Suppose 0*d = -d. Suppose 4*t - 4*g + 24 = d, 3*t - 8 = t - 2*g. Which is smaller: x or t?
x
Suppose 0*v = 3*x + 2*v - 66, 5*v = 4*x - 111. Let l be (3/x)/(2/(-12)). Is -1 equal to l?
False
Let g be 2/(-36)*(-4064)/(-10). Let o = 114/5 + g. Let p = -3 - -3. Do p and o have different values?
True
Let c = -527/26 + 41/2. Is -1 at most c?
True
Let r(c) be the second derivative of c**3/6 + 5*c**2/2 - c. Let z(s) = -s**2 + 4*s + 7. Let o be z(6). Let a be r(o). Is -4/5 < a?
True
Let a(c) = c**2 - 21*c - 76. Let q be a(24). Is q greater than or equal to -4?
True
Let y(k) = -7*k + 3 - 2 + 3*k**2 - 4*k**2. Let q be y(-6). Let l(r) = -r**2 + 8*r - 6. Let u be l(q). Are 2 and u equal?
False
Let c = 90.8 - 91. Which is bigger: c or -5?
c
Let l be 6/21 + 122/14. Suppose -5*w + l = -2*w. Which is smaller: 13/3 or w?
w
Let r be (-7 - -7)/(0 - 1). Do r and -1/92 have the same value?
False
Let t = -27 - -23. Which is bigger: t or -3?
-3
Let b = 124 + -622/5. Which is smaller: b or -3/5?
-3/5
Let h = 0.73 + 0.07. Let b = -0.8 + h. Do b and -2/9 have different values?
True
Let o be 1*(-4)/(-2)*8/7. Is 3 equal to o?
False
Let n = -568/6939 + 2/257. Is n smaller than -1?
False
Let t = 36 - 37. Let s = -0.1 + 0.2. Which is bigger: t or s?
s
Suppose 12*f + 122 - 758 = 0. Which is smaller: 51 or f?
51
Let o = -1 - -0.3. Let k = 1 + o. Are -1 and k equal?
False
Let q = 29 + -21. Suppose 2*v - q = 0, 0 = -5*p + 4*v - 7*v + 72. Let n be 2/p + 1/(-6). Is n at most as big as -1/3?
False
Let k = 10 - 11. Is 6 less than or equal to k?
False
Let c = 30 + -28. Is 5/2 at most c?
False
Let i be -3*(6/(-9) - 0). Let t be (i/8)/(2/52). Let q = t - 99/14. Which is greater: -1 or q?
q
Suppose 3*h = 8*h - 55. Suppose 63 = 4*k - 3*l, 0*k + 3*k - 41 = l. Which is smaller: k or h?
h
Let k(p) = 5*p + 5. Let w be k(-1). Is w < 2/19?
True
Let i(o) = -12*o - 3. Let t be i(-4). Suppose -5*r + t = 2*l - 35, -3*r + 2*l = -64. Suppose 2*p + 4*j = -j - r, -j = 4*p. Is 1/4 at most as big as p?
True
Let p = -5 + 5. Let q be p*1/(-2)*-1. Is 0 not equal to q?
False
Let l = 0.26 - 0.3. Let t = -15.36 - -15. Let n = l + t. Which is bigger: 0 or n?
0
Let o = 3412 - 44380/13. Which is bigger: -1 or o?
-1
Let j(n) = -n**2 - 6*n - 4. Let i be (-2)/(-10) + 48/10. Suppose -i*t - 13 = 12. Let b be j(t). Is b < 0.3?
False
Let b(m) = m**3 + m**2 - 2. Let c be b(0). Let r be c - (1 - (5 + -2)). Suppose r = -d + 6*d. Is 0 greater than d?
False
Let v = 2 - 2. Suppose 0 = s + 3*s - 2*f - 2, -3*s - 2*f = -19. Suppose s*x = -v - 3. Is x != -2?
True
Let f = -0.08 - -2.08. Let p = 4 + -6. Which is smaller: p or f?
p
Let w(h) = h + 7. Let p be w(-3). Suppose -p*x + 3 = -3*x. Is 3 < x?
False
Let w(a) = -20*a + 13. Let x(m) = 7*m - 4. Let o(l) = 6*w(l) + 17*x(l). Let c be o(8). Let g(s) = s**2 - 5*s + 1. Let k be g(5). Which is bigger: c or k?
c
Let q(d) = d**2 + 5*d + 6. Let b(f) be the first derivative of -f**4/4 - f**3 + 5*f**2/2 + 3. Let s be b(-4). Let a be q(s). Which is greater: 1 or a?
a
Suppose 7*s - 8 = 3*s, 4 = 2*b + 2*s. Is 6/5 < b?
False
Let h = 0.05 - 0.55. Let f = 2.5 + h. Which is smaller: -0.5 or f?
-0.5
Let s be 0 - 4 - (4 - 14). Which is smaller: 5 or s?
5
Suppose -2*y - 5*m + 11 = 0, -2*y + 13 + 7 = -4*m. Let s be ((y/(-20))/(-2))/(-1). Suppose 3*k + 5 = 2. Is s at most as big as k?
False
Let h = 148 - 121. Which is greater: 2 or h?
h
Suppose -f + 2 + 0 = 0. Suppose -5*m - 21 = -2*k, 4*k + m = -m - 18. Let a be ((-2)/(-6))/(k/(-6)). Are f and a unequal?
True
Let v = -14 + 14. Which is smaller: v or -7/9?
-7/9
Let m(d) = -5*d**2 + d + 1. Let s be m(-1). Which is bigger: -6 or s?
s
Suppose -5*z - 4 = 2*o + 7, 5*o + 4*z = -19. Let g be 3/(-4)*(-1)/o. Which is smaller: -1/2 or g?
-1/2
Let s(u) = -7*u - 7*u**2 + 42*u**3 - 12 - 41*u**3 + 3. Let q be s(8). Which is smaller: -3 or q?
-3
Let l = -0.958 - 0.042. Is -5/6 >= l?
True
Let w be 5 + (0 - 1) + 1. Let k = w + -5. Is k >= 1?
False
Let y = -28 + 111/4. Let h(q) = q + 4. Let v be h(4). Let c(k) = -k + 7. Let i be c(v). Is y at least as big as i?
True
Let x = 16 + -8. Suppose -3*q + 0*q = -2*f + 13, -f + x = -3*q. Let n = -2/13 - 1/78. Which is greater: n or q?
n
Let p(i) = -i + 1. Let y be p(0). Let k be (-15)/18 + 2 - 1. Which is greater: y or k?
y
Let r = -56 + 55. Is -1/72 <= r?
False
Let q = 7.9 + -8. Let l be -1 + 16/10 - 1. Do q and l have the same value?
False
Let r(s) = -s**3 + s**2 - s. Let l be r(0). Let d = -63 + 499/8. Which is greater: d or l?
l
Let k be 3/(9/(-2)) + 400/618. Which is greater: k or 0?
0
Suppose 3 = -r - a + 2*a, -12 = 4*r + a. Suppose 0 = -4*d + 2*m - 4, -2*d = 5*m - 0*m + 2. Which is smaller: d or r?
r
Let p be 2 - (12/(-72) - 22/(-12)). Which is smaller: p or 105?
p
Suppose 0 = -5*d + 7*d - 4. Which is smaller: d or 1?
1
Let v = 3.6 - 0.6. Let s = v - 3. Let m = s + 0.1. Is m at most 0.3?
True
Let r(v) = v**2 - 2*v - 3. Suppose 3*f = 5*t - 0*t - 11, -4*f + 20 = 2*t. Let b be r(f). Which is bigger: b or -1?
b
Let h = 30 + -29. Is h != 5/8?
True
Suppose i = -2*i - 63. Let h be (-4)/(-14) - 1/i. Is h less than or equal to 0.1?
False
Let m = -2.4 + -0.4. Let d = m - -3.6. Which is smaller: -1 or d?
-1
Let c be (2/(-16))/(3/39). Let x = -3/2 - c. Let k = -121 + 120. Is x bigger than k?
True
Let w be (-184)/(-13) + 12/(-78). Suppose 0 = 3*d + 2 - w. Is 4 at most d?
True
Let d = -5 + 4.5. Which is smaller: -2 or d?
-2
Suppose -2*m = -m. Let v(x) = -x**3 + 7*x**2 - 6*x + 3. Let d be v(6). Let b = d + -3. Is m != b?
False
Suppose 2*k + k = -g + 3, 2*k + 5*g = 2. Is -3/16 less than k?
True
Suppose -2*x = b + 2*b - 40, 0 = 4*x - 4*b - 80. Are 21 and x nonequal?
True
Let u(q) = q - 5. Let 