 z > -5?
True
Let k(p) = -p**2 - 6*p + 5. Let t be k(-6). Suppose -t*r - 4 = -19. Suppose -f - 3 = 0, -c + 2 = r*f + 8. Is 3 equal to c?
True
Suppose 2*k + 4*a + 3 = -3, 0 = k - 5*a - 4. Let i be 1/(-10) - k/2. Suppose -3*h + 4*o - 7 = 5, -o + 3 = -2*h. Are h and i non-equal?
True
Let x = 2/267 + 350/801. Which is smaller: x or -1?
-1
Let z = 78 - 54. Which is greater: z or -1?
z
Suppose 0 = -4*w - 3*z - 261, 0*z + 3 = -z. Let m be (-150)/w + (-6)/(-21). Do 3 and m have the same value?
False
Let m = 0.4 - 0.4. Suppose 5 + 4 = -3*d - q, 15 = 5*q. Let n be (3/d)/(99/(-24)). Which is smaller: n or m?
m
Let q = 98 + -116. Which is smaller: q or -2?
q
Let h = -8 + 1. Which is bigger: h or -0.4?
-0.4
Let y be -1*10 - ((1 - 0) + -1). Is y smaller than -11?
False
Let l = 42 + -41. Is l > 4/39?
True
Let n(i) = i**2 + i - 1. Let b be n(-2). Let q = 4 - b. Let j(c) = -c + 2. Let d be j(q). Is d less than 0?
True
Let x = 4 + 7. Which is smaller: -2 or x?
-2
Let d(z) = -z**3 + 8*z**2 + 11*z - 18. Let c be d(9). Which is greater: c or -53?
c
Let k = 14 - 15. Which is smaller: k or -6/7?
k
Let s = 0.9 + -1. Let u = 13 - 13. Is u >= s?
True
Let m be 8/10*-118*1. Let a(d) = -3*d**3 - 3*d + 4. Let z be a(-3). Let n = m + z. Is 2/5 < n?
False
Let d = 0.1 + -0.2. Let z = -3 + 2.9. Let h = z - d. Are -0.1 and h non-equal?
True
Let p(b) = -3*b + 10. Let c be p(4). Let a be (4 - 2)*1/c. Is a greater than or equal to 0?
False
Suppose 5*c + 5*d = 20, -3*c + 2 = -c - d. Do c and 9/5 have the same value?
False
Suppose h - 4 = -5*q - 20, h = q + 2. Let s be (-1)/4 - 7/4. Let p be -1 + (s - -1)*1. Is p at most as big as h?
True
Let w = 22 - 14. Suppose 2*u - 3 = 3, u = 5*d + w. Is d < 4?
True
Let x = -4/301 + 1336/9933. Does 1 = x?
False
Let a be (-2*(-6)/12)/(2/10). Let g = -2 + 6. Is a less than g?
False
Let o = -0.02 - 0.08. Suppose y + 4 = 2*i, -3*i - 4*y + 6 = -0*y. Which is smaller: o or i?
o
Let u(p) = p - 13. Let m be u(6). Let c(h) = h**3 + 6*h**2 - 8*h - 10. Let t be c(m). Let n = t + 3. Is -1 <= n?
True
Let z = -13 - -6. Let w = z + 13. Let t = -4 + w. Which is smaller: -2 or t?
-2
Let s = -4 - -3.94. Let m = s - 1.94. Let w = 0.3 + -0.1. Is w bigger than m?
True
Let h = -45/14 + 2987/938. Which is smaller: 1/2 or h?
h
Let n be (2/(-4))/(4/16). Let v = -2 + n. Let l = 10 + v. Is 6 at most as big as l?
True
Let f(d) = 7*d**3 + 2*d - 1. Let u be f(1). Let b be u/(-12) - (-1)/(-3). Is 2/7 at most as big as b?
False
Let u = -22 - -21. Let p(w) = -3*w - 2. Let k be p(u). Is 1 bigger than k?
False
Let v = -94 - -94. Which is greater: 39 or v?
39
Let b(o) = -o + 1. Let u be b(-5). Let f = 269/40 - 9/40. Let w = f - u. Which is bigger: 1 or w?
1
Let g be ((-5)/180)/((-19)/(-327)). Let h = 7/12 + g. Do h and 0 have the same value?
False
Suppose -h = -3*h - 4. Let x be -1*1 - (-8 - h). Suppose x*u - 4*k + 14 + 5 = 0, -4*k + 4 = 0. Which is bigger: u or -2?
-2
Let y(r) = -r**3 - 3*r**2 - 6*r - 2. Let h be y(-2). Is h >= 19/3?
False
Let x = 0.8 + 0.2. Let b be -2 - 1/36*647. Let z = b + 79/4. Are z and x nonequal?
True
Suppose 26 = 2*i - 4*q, -i + 0*q + q = -8. Suppose -5*a + 10 = -5*h, i*a = -h - 2*h - 24. Which is smaller: -4 or a?
-4
Let d(s) = 5*s**3 - s**2 + s + 1. Let q be d(2). Suppose 0 = 5*c - 6 - q. Is 9 at most as big as c?
True
Suppose 2*c + f - 6*f = 5, -5*c + f = -24. Suppose x = -3*j - 4*x + 8, 4*j + c*x = 14. Is j smaller than 6?
False
Let z = 20.1 - 0.1. Let c = -19.91 + z. Let o = -0.3 - -0.3. Is o smaller than c?
True
Let t(d) = -d**2 + 6*d - 12. Let r be t(6). Let i = r - -15. Is 3 at least as big as i?
True
Let w = 0.46 - 13.46. Are w and 2 non-equal?
True
Let j = 130 + -907/7. Suppose 2*b + 12 = 2*d, 5 = -4*d + 25. Is j > b?
True
Let h be (-16)/192*88/3. Which is smaller: -3 or h?
-3
Let c = 7 - 4. Let n be 1 + c*-1 + 6. Are 2 and n non-equal?
True
Let t be -2 - -1 - (5 - 0). Let p be 1 - 1 - (t - -4). Suppose -3*b - p*b = 0. Is 2 at most as big as b?
False
Let t = 49 + -35. Let i = t - 35. Let p be i/66 + (-4)/22. Which is greater: p or -2?
p
Let d(s) = -s**3 - 9*s**2 + s + 6. Suppose 0 = 3*b - 3*w + 36, w = -2*b + 4*w - 27. Let l be d(b). Is l bigger than -0.2?
False
Let d = 16 + -9. Is 8 < d?
False
Let l = -156 - -147.9. Let r = -8 - l. Which is greater: r or -1?
r
Suppose -3*k = -0*k - 6. Let g be k/(2 - (-2 - 0)). Suppose 2*j - 2 = -0*j. Which is smaller: j or g?
g
Let q = -6/313 + 1088/24101. Which is bigger: q or -1?
q
Let k(j) = j. Let m be k(2). Let y be 288/135 - 2/15. Is m <= y?
True
Suppose -5*v = 3*m - 60, -60 = -0*v - 5*v + m. Let s = v + -7. Suppose -2*r + 1 + s = 0. Does 3 = r?
True
Let g = 1 + -2. Which is greater: -19 or g?
g
Let p be ((0/(-3))/(-1))/1. Let c be 7 + -8 - (0 - p). Let m = -527/7 - -75. Which is bigger: c or m?
m
Let j = -16 - 9. Let q = -18 - j. Let f = q + -5. Which is bigger: 2/9 or f?
f
Suppose 0 = -u - 3*u - 28. Let o = -4 - u. Suppose -z = -3*z + 4. Do z and o have different values?
True
Let w be 1 - 1 - 2/2. Which is bigger: -3/113 or w?
-3/113
Let h be ((-24)/(-32))/((-1)/(-8)). Let x be (-1)/4*(-8)/h. Is -0.04 >= x?
False
Let l be (1 + -1 - 0)/(-1). Let o(q) = q**3 + 6*q**2 + 5*q - 3. Let h be o(-4). Let c be 80/(-102) - (-6)/h. Which is smaller: c or l?
c
Suppose 0 = -9*d + 5 - 32. Which is greater: -4 or d?
d
Let h = -9.07 - -9. Let b = h + -0.13. Is b greater than 2?
False
Let x(y) = y - 7. Suppose -3*b + 3*p = -24, -b - 2*p + 33 = 4*b. Let m be x(b). Suppose m*f = -f. Which is smaller: f or 2/5?
f
Let j = -26 + 126/5. Which is smaller: j or -1?
-1
Let s(o) = 1 - 3*o + o**2 + 0*o**2 - 2*o. Suppose -40 = -5*r - 5*d - 10, 3*d = 3. Let l be s(r). Is l at least 2?
False
Let g be 0 + 2 + (0 - 5). Which is smaller: g or -3/7?
g
Let g be (-4*(-1)/(-2))/(-2). Do -3/7 and g have different values?
True
Let g = 19 + -7. Suppose 0 = 2*w - 4*u + g, -2*u + 9 = 4*w - 7. Let l be ((-2)/4)/(w + -3). Which is greater: 2 or l?
2
Let z be 4/(-14) - (-5)/(-7). Which is smaller: 2/149 or z?
z
Let q(w) = -4*w + 12. Let v be q(8). Is -21 bigger than v?
False
Suppose -60 = -62*z + 66*z. Which is greater: -16 or z?
z
Let c(l) = 3*l**2 + 3*l - 4. Let h be c(-2). Let m(f) = -f**2 - 4*f. Let b be m(-4). Which is greater: b or h?
h
Let b(j) = j**3 - j**2 + 3. Let d be b(0). Suppose 0 = -g + 4*n - 10, -n - d*n + 18 = -5*g. Which is smaller: g or -3/5?
g
Let t = 89 - 116. Is t at most -28?
False
Let o be (10/(-55))/((-2)/(-1)). Which is smaller: o or -1?
-1
Let x = -2.76 + 0.76. Which is smaller: x or -2/9?
x
Let j(t) = -2 - 3*t**2 - 5*t + t**2 + 3*t + t**3 + 3*t. Let k be j(3). Is 11 at most k?
False
Let d = 11 + -10.97. Let c = d - -0.09. Which is greater: c or 1?
1
Let z = -23 + 25. Suppose 3 = -w + z. Are -2/73 and w equal?
False
Let s = -1.031 + 0.031. Which is bigger: s or -1/3?
-1/3
Let h(y) = -y**2 - 7*y - 2. Let g = 1 - 8. Let p be h(g). Let m be (-2)/(2 - (3 - 2)). Do p and m have the same value?
True
Let o be 4/2 - (-4)/2. Suppose -y - 17 = -5*b, 4*y - 3*b - o = -7*b. Let m be -3 - (2 + y + -3). Which is bigger: 1/6 or m?
1/6
Let p = 18 - 7. Is -0.1 smaller than p?
True
Let x = 1 - -2. Suppose x = -4*b + 11. Suppose -5*r = -5*z, -4*r + 0*r = -b*z. Is z != -5/4?
True
Let s(l) = l**2 + 1. Let d be s(1). Is d <= 37?
True
Let k(s) = s + 4. Let x be k(-2). Suppose 2*j + x = -0*j. Which is smaller: j or 0?
j
Suppose -2*f = -7*f - 130. Let j be 1/f*(-8 - 0). Is 1 at least as big as j?
True
Suppose 0 = -5*g - 5, h = -h - 5*g + 1. Suppose -h*q - 13 = -2*i, -5*i + 3*q - 6*q = -1. Suppose 4*u = u - 4*r + 9, r - 5 = i*u. Is u at least -3/5?
False
Let q = 42 - 66. Is 0.1 bigger than q?
True
Let z = 12 + -10. Suppose 3*o = -z*m - 16, m = -4*o - m - 20. Which is smaller: o or -3?
o
Suppose -3*s + 4*f - 35 + 8 = 0, -46 = 4*s - 2*f. Let o = s - -27. Let t be (-4)/o*14/(-6). Is t greater than 2?
False
Let b = -0.06 - -0.36. Let w = 0.1 + b. Let o = w + -0.4. Is -3 greater than or equal to o?
False
Let v = 49/3 + -16. Let x = -3 + 4. Which is bigger: v or x?
x
Suppose 0*r = 3*l - 3*r + 15, 5*r = 20. Suppose 3*u + 2 + 37 = 0. Let y = u + 23/2. Is l < y?
False
Let t = 0.022 + -0.222. Is 14 greater than t?
True
Let f = 7 + -4. Let g = f - 3. Suppose g = -q + 3*q - 2. Which is greater: 1/4 or q?
q
Suppose 3*r = u + 3, 0*u + 2*u - 3*r = -18. Let 