ch is smaller: -2/7 or z?
-2/7
Let i = 0.3 + -0.6. Is -1/2 less than or equal to i?
True
Suppose g - 3*g = 10, h + 3*g + 13 = 0. Suppose -4*k - h*o - 14 = 0, -k + 3*o + 24 = -2*o. Let r = k - 0. Do r and -4/5 have different values?
True
Let s = 12 + -6. Suppose g - s = -g. Suppose -6 = 4*p - 2. Is g > p?
True
Let r = 0 - 0. Let j be ((4 + -2)/2)/(3 - 2). Which is greater: r or j?
j
Let g = 5/24 + 1/8. Let q = -2.1 + 2.06. Is q equal to g?
False
Let t = -72.042 + 0.042. Let z = t + 72.97. Let b = -0.03 - z. Is b at least as big as -3?
True
Let j = 2.99 - -0.01. Let a = -3 + j. Let x = 0.3 - 0.2. Which is smaller: a or x?
a
Let l = 21 - 20. Which is greater: l or -3?
l
Let z = -235/3 + 79. Suppose 0*l + 3*l = 3*a + 27, 3*l = -a + 11. Suppose -3*f + l = -1. Which is smaller: z or f?
z
Let n be 3*2/10*15. Suppose u + f + 1 = 2, 3*f = -u + n. Let y be 0/((0 - -1) + u). Is y at most as big as 1?
True
Suppose f = -0*f + h, -f + 6 = 2*h. Let w = 95 - 55. Suppose 5*y = -5*i + w, 3*y = 2*i - 2*y + 19. Is f equal to i?
False
Suppose -3*a + 0*a + 6 = 0. Let g(r) = r**3 - r**2 - 2*r - 1. Let k be g(a). Let q be 0/(4/(-2) + 4). Are k and q equal?
False
Let b = -0.4 - -0.4. Let z = b + 0.2. Let l = -0.8 - z. Which is smaller: l or -0.1?
l
Let w be -3 - 1/(-4)*0. Let j = w - -24. Is 21 >= j?
True
Let o be 5*(4/(-5) - -2). Let l = 51/2 + -26. Which is smaller: l or o?
l
Let c(d) = -d**2 + d + 16. Let q be c(0). Suppose 5*z = 4*h - 43, 0 = -4*h + 4*z + 37 + 11. Is h greater than or equal to q?
True
Let x(f) = 3*f**3 - f**2. Let i be x(1). Which is greater: i or -5?
i
Let s(a) = a + 7. Let r be (-17)/5 - 8/(-20). Let x be s(r). Suppose -h - 20 = -5*z, z + 4*h + 19 = 2. Is z greater than x?
False
Suppose 3*k + k = 12. Let h = -4 - -6. Which is bigger: k or h?
k
Let m = 19 - 21. Let v = -1 - m. Let s(n) = -n**2 - 6*n. Let u be s(-6). Which is greater: u or v?
v
Let p = -14 + 7. Which is bigger: -8 or p?
p
Suppose -2*i = h - 2 - 0, 0 = 3*h. Are 1 and i nonequal?
False
Let i be (472/6)/((-2)/6). Let y = 2594/11 + i. Which is bigger: 1/4 or y?
1/4
Let i = 0.03 + -3.03. Which is smaller: -2/9 or i?
i
Let q = 2/135 - -121/945. Suppose -3*s - 3*g + 9 = -6*g, -5*s = g - 3. Let r = s + -2. Which is smaller: q or r?
r
Let a = -30 - -18. Which is smaller: a or -0.2?
a
Let c be (-5 - -7)/(2/45). Suppose 0 = 7*z - 2*z + 3*x + c, -3*x + 3 = z. Let n(j) = -j**3 - 13*j**2 - 11*j + 17. Let f be n(z). Which is greater: 6 or f?
6
Let w = -1.4 + -0.2. Let j = -0.7 - w. Let o = 1 - j. Which is smaller: 3/4 or o?
o
Let y = -14 + 10. Let s(z) = -5*z**2 + 16*z + 18. Let u(i) = -3*i**2 + 8*i + 9. Let l(r) = y*s(r) + 7*u(r). Let t be l(-6). Which is bigger: t or 2?
t
Let d = 152 + -19. Which is bigger: 0 or d?
d
Let c be (1 - 13)*(-4)/12. Suppose 4*d = c*g, -d = 3*d + 2*g. Let u be (-5)/4*1/(-5). Is d >= u?
False
Let b be 2/4*(-1 + 1). Let j(n) = 2*n - 4. Let d be j(-10). Let c be -3 + 2/(d/(-27)). Do b and c have the same value?
False
Let s be (8/12)/(1 - 23/9). Which is greater: s or 0.6?
0.6
Let h be ((-4)/10)/(32/(-40)). Which is bigger: 1 or h?
1
Let t(a) = a - 1. Let s be t(1). Suppose s = -2*l + l. Let f be (-94)/30 + 3 + 0. Which is greater: f or l?
l
Let a = -15.93 - -16. Let w = -2.93 - a. Which is greater: -4 or w?
w
Let a(l) = -10*l + 6. Let w be a(4). Let z = w - -73/2. Which is bigger: z or 2?
z
Let f be 3/((-135)/(-25) - 2/5). Is f > 2?
False
Let y be (0 - (-2)/1)/1. Suppose -5*c = -y*c. Suppose c = 3*d - d + 4. Is 0 at most d?
False
Let c = 94 - 93. Let q = -0.1 - -0.2. Which is bigger: c or q?
c
Let x be (4/10)/((-9)/(-5)). Let d(f) = -f - 19. Let c be d(-20). Is c smaller than x?
False
Let w = 0.061 + 0.139. Is -9 greater than w?
False
Suppose 0 = -4*f + t - 7, 0*f + 5*t - 1 = 3*f. Let d = 2.97 - 0.17. Let c = -3 + d. Do c and f have the same value?
False
Let n(w) = w + 4. Let v be n(-3). Let m = v - 3. Suppose a + 5 = 3. Are a and m nonequal?
False
Let o be -9 - (-2 + (-1 - -3)). Let i = o + 16. Let s = -4 + i. Is 3 greater than s?
False
Let y = -70 + 69.42. Let w = 0.6 + y. Is -0.1 bigger than w?
False
Let j = 1/23 - -43/69. Let k = -8 + 7.8. Which is smaller: k or j?
k
Let w = 42 + -32. Which is greater: -0.1 or w?
w
Let l(r) = -r**2 + 2. Suppose -t + 3*b - 12 = -2*t, -4*t - 2*b = -8. Let u be l(t). Which is smaller: u or -3?
-3
Let f = -4.6 - -1.8. Let y = -2.6 - f. Is 3 != y?
True
Let b = 0.06 - 0.86. Let g = b + -1.2. Which is smaller: 0.2 or g?
g
Let w be (-10)/(-35) + (-23)/7. Is w > -22/5?
True
Let u = 2.41 + 0.69. Let n = 0.06 - -0.84. Let j = n + u. Which is greater: 1 or j?
j
Let s(w) = -w**2 - 9*w + 14. Let t(l) = 4*l**2 + 26*l - 43. Let d(k) = -7*s(k) - 2*t(k). Let b be d(10). Is -4/5 > b?
True
Let h = -2.1 + -0.1. Let z = 2.1 + h. Which is bigger: z or 2/27?
2/27
Let a = 7 + -4. Suppose -2*h + 5 + a = -2*u, 1 = -h - 4*u. Suppose -5*t = 2 + h. Do -1 and t have different values?
False
Suppose 4*g + g + 20 = 0. Do -4 and g have the same value?
True
Suppose -2*c - 2*c + 4 = 0. Let b = -6 - -10. Let d be (-6)/b - (-12)/9. Which is smaller: c or d?
d
Let m = -1 + 2. Let v be (8/16)/(2/8). Suppose -v*l + 3*r + 7 = -2, -r = 3. Which is smaller: m or l?
l
Let r = -0.1 - 0. Suppose -3*i - 42 = -54. Which is smaller: r or i?
r
Let z be 8/(-3) + (-12)/(-18). Are -2 and z unequal?
False
Let m(t) = -14*t - 26. Let q(x) = -5*x - 9. Let v(l) = -6*m(l) + 17*q(l). Let y be v(2). Which is bigger: -2/7 or y?
y
Let a = 58 + -349/6. Is -1 at least a?
False
Let z = -13 - -5. Suppose 37 = -5*y + 2. Let a = z - y. Which is smaller: -2/3 or a?
a
Suppose -m - 17 = -3*b, 5*m = -2*b + 5 - 22. Let n be 1*1*b/(-20). Is 7 bigger than n?
True
Let d be ((-16)/((-20)/(-5)))/(-5). Which is bigger: d or -1/4?
d
Let v be 78/(-9)*-3*2/8. Let l = -6 - -12. Which is greater: l or v?
v
Suppose -2*r = -4*q - 8, 0 = 5*r + 2*q + 10 + 6. Let d be (-7)/((-1)/(r/(-2))). Which is greater: 1 or d?
d
Suppose -5*s - 6 = -7*s. Which is smaller: s or -1?
-1
Let m = 135 - 170. Is m > -36?
True
Let p be (-2)/(-6)*99/(-77). Which is bigger: -1 or p?
p
Let s be (-27)/(-6) + -5 - 10/(-4). Let a(d) = d + 1. Let z be a(1). Is s less than z?
False
Let x = -2.9335 - 0.0665. Let m = 2/35 - 113/140. Is x less than or equal to m?
True
Suppose -5*q - 7 - 3 = 0. Let j be -4*(q + (-9)/(-6)). Is 2 != j?
False
Let b(y) = -y**2 - 4*y + 3. Let f be b(1). Let c = 12/17 - 99/68. Is c less than or equal to f?
False
Suppose 0 = -3*d - 0*d. Let l be 145/(-6) + 6/36. Let h be 28/l + (-2)/(-3). Are d and h equal?
False
Suppose -x - 4*b - 21 - 7 = 0, 0 = -5*x + 3*b - 25. Let z(k) = -k**2 - 7*k + 9. Let f be z(x). Let v be (0 - f)/((-1)/4). Is 4 != v?
False
Let c(b) = -6*b**2 - 7*b - 7. Let d be c(-5). Let p = d + 857/7. Which is greater: 0 or p?
p
Let r = -3.91 + 4.1. Let y = r + -3.19. Is -1/3 less than y?
False
Let i = -21 - -17. Let q be (7/i)/((-1)/4). Is q <= 6?
False
Let l = 10/3 - 4. Suppose 0*x = -x. Which is smaller: l or x?
l
Suppose 6*w = 2*w + 3*p - 28, 3*p + 14 = -2*w. Let o be ((-2)/w)/((-3)/(-7)). Are 1 and o unequal?
True
Let p(l) = 2*l**2 + l. Let t(o) = -o**2 - o. Let f(r) = -5*p(r) - 4*t(r). Let u be f(-1). Is u != -5?
False
Let z(l) = -l**2 + 8*l + 13. Let s be z(9). Suppose 12 = s*f - 8. Is f >= 5?
True
Let w(y) = y**3 - 7*y**2 - 2. Let o be w(7). Let d be 0 - (-2 + 5 + o). Is d smaller than -3/5?
True
Suppose -2*o - 4 = 4. Let v be 445/175 + o/10. Let i = -241/119 + v. Which is greater: i or 1?
1
Let f = 4.38 + -0.38. Are f and -2 equal?
False
Suppose 5*r - o = 57, 3*r + r - 38 = -3*o. Let h = r - 13. Is h at least -2?
True
Let r be 0/(1*10/(-5)). Let j be 2/8 + (0 - 0). Which is greater: r or j?
j
Suppose 0 = 2*w - 1 + 3. Let o(b) = -b**3 - 7*b**2 + b + 8. Let x be o(-7). Let p be -1 + x - (1 + -2). Are p and w unequal?
True
Let f = 2 - 2. Let h = 38/63 - 8/9. Is f < h?
False
Suppose 0*d + 4*d + 28 = 0. Which is greater: -6 or d?
-6
Let m = -2 - -1. Let h = 10436 - 3329076/319. Let o = 6/29 - h. Are o and m non-equal?
True
Let p(i) = 11*i - 4. Let y be p(2). Is -1/3 greater than y?
False
Let v be (-1)/(3*(-1)/(-18)). Let y(r) = -r**2 - 5*r + 7. Let u be y(v). Let j = u - 0. Is 4 >= j?
True
Let h(p) = p**2 - 7*p - 13. Let l be 3/2*(6 - 0). Let s be h(l). Let u = s - 8. Is 0 less than or equal to u?
False
Let 