/z + (-2)/(-9). Let k be 0/(1*(-4)/b). Which is smaller: 2/3 or k?
k
Let y(l) = l - 11. Let m(j) = j - 12. Let u(s) = -6*m(s) + 7*y(s). Let x be u(0). Let i(r) = -r**2 - 5*r + 1. Let p be i(x). Is p less than -2/17?
False
Let x = 41/105 - 4/21. Suppose 12 = 5*c - 18. Suppose -3*y + c*y = 0. Which is smaller: x or y?
y
Let j = -80 - -80. Is j at least 88?
False
Let v = -678 - -3379/5. Let o(s) = -2*s**2 + s - 17. Let d(y) = -y**2 + 2*y - 16. Let m(r) = 3*d(r) - 2*o(r). Let l be m(-6). Which is smaller: l or v?
v
Let y = 4435.7 + -4436. Let o = -9/14 + 5/14. Which is bigger: o or y?
o
Let j = -664 - -9944/15. Is j bigger than -1?
False
Let u be (24/(-3) - -2)*-1. Let h be (18/u)/(1 + 110/4). Is h != 0?
True
Let b be 15/2 + (-1)/2. Suppose 22*i + 54 = 19*i. Let x = i + b. Is x greater than -12?
True
Let i(a) = -a**3 + 17*a**2 - 30*a - 54. Let m be i(16). Is -279 less than or equal to m?
True
Let y = 77 + -20. Let r = y - 38. Let u = r + -18. Is 5 != u?
True
Let h(g) = g**2 - 2*g - 1. Let p be h(3). Let x be ((-315)/(-140))/(3/(-4)). Let y be 5/(8/x + p). Which is greater: -8 or y?
y
Let a(u) = u**3 + 9*u**2 - 3*u - 4. Suppose -b - 8 = -0*b. Let c be a(b). Let i be (-6)/14 + 106/c. Which is smaller: 0 or i?
0
Let n be ((-66)/132)/(2/(-4)). Which is greater: -2/2301 or n?
n
Let j(d) = d**2 - 5*d + 3. Let v be j(-5). Are 1 and v non-equal?
True
Let b = 12 - 12. Suppose b = -10*p + 6*p. Let c be (81/(-12))/(-3) - 2. Which is greater: p or c?
c
Let l(i) = -i**2 + 6*i - 4. Let q be l(3). Let s(n) = -n**3 - n**2 + n + 3. Let h be s(0). Let x be ((-38)/h)/(-13 + 11). Which is bigger: q or x?
x
Let s = -36 - -52. Let l be (11/(-44))/(6/s). Which is smaller: -5 or l?
-5
Let v = 12 - 8. Let g = 0 + v. Let t(q) = -q**3 + 4*q**2 + q + 3. Let d be t(g). Do 8 and d have the same value?
False
Let h be 6/(-4) - ((-105)/(-6))/7. Let g be 32 + h*15/(-20). Which is smaller: -1 or g?
-1
Suppose 0 = 3*c - 6 - 12. Let v be (-51 - 0)*(-4)/c. Is v > 35?
False
Suppose 121 = 3*d - u, -2*d + 5*u + 81 = 4*u. Let n be 3/(12/d) + -4. Let x be n/(-1 + -2) + -16. Is -17 at most x?
False
Let c = -4 + 0. Let m = 8.3 + -9. Let d = m + 0.7. Is d >= c?
True
Suppose 0*b + 129 = -5*d + 4*b, 5*b = -2*d - 45. Let w be -2*18/12 - d/9. Is w equal to 1?
False
Suppose 10 = -2107*k + 2109*k. Is k smaller than -27?
False
Let b = 578 - 577.997. Does b = -2?
False
Let b = -8 + 6. Let k = 6.57 - -0.43. Let j = k - 3. Which is smaller: j or b?
b
Let a = 183 + -183. Which is bigger: a or 12/43?
12/43
Let m = 25.1 - 25.1. Let a = 3.1 - 3. Let p = 0.5 + a. Does m = p?
False
Let n = -0.3 + 0.34. Let f(z) = -5*z**2 + 10 - 16 - 32*z**3 + z + 33*z**3. Let m be f(5). Are m and n equal?
False
Let b = 287.1 - 307. Let p = b - -20. Is 9/8 >= p?
True
Let w be 9/27 + 75/9*-4. Let v be 1/4 - (w/4)/(-11). Which is smaller: -16 or v?
-16
Let s = -4.9 - -0.4. Let g = s - -4.5. Let q be 4/22*(-5)/10. Which is smaller: g or q?
q
Let o = -31 - -50. Let b = o - 31. Let i = -20 - -21. Is i < b?
False
Suppose 8*c + 3*c - 29*c = 0. Do 673 and c have the same value?
False
Let c = 212 + -272.2. Let n = c + 63. Which is greater: -1 or n?
n
Suppose -f + 29 + 4 = 5*s, -3*f + 19 = -s. Suppose -9*t = -f*t - 2. Which is bigger: 8/3 or t?
8/3
Let h be ((-2)/(-3))/(3/81). Let n be (3/4)/(1/(-24)). Let d = n + h. Which is smaller: -8/7 or d?
-8/7
Let c = 35/6 + -9/2. Let n(w) = 85*w**2 - 1192*w + 28. Let b be n(14). Which is bigger: b or c?
c
Let n = 109/2 - 63. Suppose 0 = 2*k - 7*k + 10. Suppose 3*g = 5*w - 29, 0 = 3*g + 2*w - k + 24. Is g < n?
False
Suppose -3 = -4*v - o, 2*v + 4*o + 0 = -2. Suppose 3 - 1 = 2*y. Let n be y*(-2 + v - -1). Which is smaller: n or 1?
n
Let j = -10.1 - -3.1. Let m = -23 - j. Which is smaller: 0 or m?
m
Suppose -3*g = -v - 26, 8*g - 46 = 3*g + v. Let n = 15 - g. Let h be (-2)/n + (-304)/140. Which is bigger: -3 or h?
h
Let w = -224 - -219. Let f = -293/2 - -142. Is w < f?
True
Let h = 100 - 102. Let s be (-7)/(441/28)*(-3)/h. Are s and -12 equal?
False
Let s(p) = p**2 + 7*p + 4. Let b be s(-7). Suppose b*j + 87 = -53. Let i = -25 - j. Is i at most 0?
False
Let z(y) = -2*y + 11. Let c(u) = u**3 - 5*u**2 + 4*u - 12. Let d = 18 + -13. Let f be c(d). Let h be z(f). Which is smaller: -6 or h?
-6
Let l be 6/(-10) + (-184)/(-40). Let u be (1 - l - -1)/(-2). Let g = 2 + u. Is 2 greater than g?
False
Let c(g) = -g**3 - 4*g**2 + 4*g - 3. Let r be c(-5). Suppose 6*t = 8*t + r. Which is smaller: t or -1/4?
t
Suppose -4*m = 3*v - 4*v - 21, 0 = -2*v + 4*m - 22. Let b be (1 + -3 - -1)*-6. Let r be b/(-9) + 16/60. Is v at most r?
True
Suppose 5*d + 4*x + 113 = 5, 18 = -d + x. Let q(c) = -c + 3. Let f be q(23). Is f < d?
False
Let a(i) = i**3 + 3*i**2 - 4*i - 1. Let x be a(-4). Let c(w) = -w**2 + 2*w + 3. Let v be c(4). Let u be ((-44)/110)/((-1)/v). Is u at most x?
True
Let q = 245769/19 + -12927. Which is smaller: q or 8?
8
Suppose 2*l = 3*c - 391 - 39, 0 = 2*c + l - 289. Suppose -d + 5*d = -c. Let o be (-2)/8 - (-3)/d. Is -1 <= o?
True
Let r = -2404 - -2407.059. Let x = r - 0.059. Are -1 and x non-equal?
True
Let p(a) = a**2 + 4*a + 2. Let v be p(-3). Let c(z) = -z - 16. Let t be c(-16). Let w be 3 - ((t - -3) + v). Is w less than 0.1?
False
Let r = -13 - -15. Let s = r + 3. Let a = s - 1. Which is bigger: a or 2/5?
a
Let j = -0.3 - -0.26. Let y = 39.8 - 39.6. Is y >= j?
True
Let u(r) = -r**2 - 6*r - 2. Let j be u(-4). Suppose -2 = -4*k - j. Let b = 45707/43 + -1063. Is k < b?
True
Let p(x) = -18*x - 48. Let z be p(-8). Let q = z - 96. Which is smaller: 1/128 or q?
q
Let j(w) = w**2 + 7*w + 2. Let s be j(-6). Suppose 5*b = q + 137, -146 = -5*b - 2*q - 0*q. Let o = 25 - b. Do o and s have different values?
True
Let v = 48.816 - -0.484. Which is greater: -1 or v?
v
Suppose 5*g - 41 + 16 = 5*f, 5*g - 10 = 0. Let b be (-1)/((-5)/(-15)) - f. Let k(u) = -u**2 - 3*u + 5. Let q be k(-4). Do q and b have different values?
True
Let o be 44/(-15*6/(-54)*1). Which is greater: o or 25?
o
Let f = 56 + -79. Let x = f - -20.5. Which is smaller: 1/2 or x?
x
Let v be 0/22 - (-6)/(-18). Which is greater: 0.024 or v?
0.024
Let t = 15.8 - 15.867. Let f = 0.267 + t. Are f and -14 equal?
False
Let y be (2/6)/((-2)/(-30)). Suppose -o = y*r - 49, o - 4*o + 77 = r. Let f be o/30*(-10)/6. Is -2 >= f?
False
Let t = -3 - -2.2. Suppose 3*m + 11 + 8 = -4*z, 0 = z - 4*m - 19. Let f be 16/12 + 0 + z. Is t greater than f?
False
Suppose w = -0 + 2. Let l(y) = -y**2 - 7*y - 7. Let b be l(-5). Let n be (-110)/(-20) - b/w. Is n less than or equal to -3?
False
Suppose -9*a - 36 = 3*a. Let m be -1*2/(-4)*8. Let i = m + a. Which is bigger: i or 0?
i
Let d be (9/2)/(24/(-1600)). Is -300 less than d?
False
Let q = -180836/17 + 10642. Which is smaller: 6 or q?
q
Let y(r) = -r**2 - 4*r + 2. Let f be y(-5). Let v be f + (-3 - 9)/(-2). Suppose v*x = -x. Is x less than or equal to -1/3?
False
Let a = -0.818 + 167.818. Which is smaller: a or -1?
-1
Suppose 2*x - 6*x - r - 189 = 0, 3*x + 140 = r. Suppose 141 = 33*a - 36*a. Is x < a?
False
Let l be 10/(-5) - 6264/(-286). Let w = l + -224/11. Suppose 0*c = 4*c. Is c equal to w?
False
Suppose 3*p = f + 1905, -3*p = 4*f + f + 9435. Let y be f/196*(-4)/(-6). Let c = -6 - y. Is c at most 0?
False
Suppose 11 = 3*y - k + 6, k = -y - 5. Let t(g) = g**2 + 4*g + 2. Let w be t(5). Is y greater than w?
False
Let l = 829 - 829. Which is smaller: 11/126 or l?
l
Suppose -4*i - 9 + 19 = -2*m, -2*i - 5*m = 25. Which is smaller: i or -10/37?
-10/37
Let x = 531 - 530.927. Which is bigger: 1 or x?
1
Let d = 19 + -19. Which is smaller: d or -0.01?
-0.01
Let s be (-15)/(-4) + (-2)/(-8). Suppose 4*j = -4*u + 4, -5*j - 3*u - s = -3. Let l be j/9*(-6)/(-1). Which is greater: -2 or l?
l
Suppose 3*q - 2004 = -2001. Is q less than 1/15?
False
Let a = 257/2 + -707/6. Which is smaller: 11 or a?
a
Let f = 0.6 + 0. Let s = 5 - 5.12. Let l = 0.22 + s. Which is bigger: f or l?
f
Let i = -2523 - -517212/205. Is 0 bigger than i?
True
Let i be (1 - 1)*-1 - (-1080)/(-39). Let j = i - -17267/624. Is 0 smaller than j?
False
Suppose -4*h + 25 = -19. Let m be 2/h + (-216)/(-22). Let l = m - 18. Is -8 at most l?
True
Let v(l) = 2*l**2 + 9*l - 6. Let j be v(-10). Let h be (2/20)/(j/65). Suppose 3 + 1 = 4*k. Is h >= k?
False
Let r be (-23 - -111) + 1/(-1