r: 1/16 or i?
1/16
Let u = -157 + 112. Let c = -30 - u. Let f be -2 - (0/(-2) - 16). Are f and c equal?
False
Let q = 22 + -12. Let x = q + 4. Let t be (-22)/11 + x/10. Which is smaller: t or 0?
t
Let k = -0.37 - -0.21. Let t = -0.22 - k. Which is smaller: t or -1?
-1
Let m(z) = 1472*z - 1425*z + z**3 + 8 + 0*z**3 + 25*z**2. Let u be m(-23). Is u > -14?
False
Let m(f) = f**3 - f**2 + 25. Let i be m(0). Let t be i + (-6)/(-2)*-1. Let d be 12/(-16)*8/t. Which is smaller: d or 0?
d
Let q = 23.9 + -35.9. Which is smaller: -5 or q?
q
Let s(i) = -i + 21. Let j be s(-7). Let q = j + -29. Which is bigger: q or -1/27?
-1/27
Let u = 1614 + -1627. Which is greater: u or -71?
u
Let i = -80 + 87. Which is bigger: 2 or i?
i
Suppose 118 = 7*g - 1051. Is 166 bigger than g?
False
Suppose -5*h - 15 = -10*h. Suppose -h*k - 14 = 1. Let r be (-92)/40*k/(-2). Which is smaller: r or -5?
r
Suppose -57 = g - 60. Let q be -5 + 7 - (-1 + -1). Which is bigger: q or g?
q
Let c(x) = 13*x. Let i be c(1). Let m = -12 + i. Let l be (-1 + 2)/(m/(-12)). Is -11 bigger than l?
True
Let g be (5/15)/((2/1)/(-30)). Let b be (-2 + (-12)/g)*(-5)/(-10). Is 0.1 at most as big as b?
True
Let m = 2.73 - 2.63. Is m < 146?
True
Let i = -834/17 - -51348/1003. Which is greater: i or 1?
i
Suppose -2*a - 2*a = 5*g - 75, 6 = 2*g. Let p be (-10)/(-75) + (-5)/a. Are p and -3/7 nonequal?
True
Let q(v) = -v**3 - 44*v**2 + 46*v + 46. Let m be q(-45). Which is bigger: m or -1/64?
m
Let s = -8.9 + 18.74. Let h = -10 + s. Let b = h + -4.84. Which is greater: b or 1/2?
1/2
Let z(j) = -j**3 + 15*j**2 - 13*j - 9. Let x be z(14). Let d(p) = -3*p + 17. Let u be d(x). Which is smaller: 5 or u?
u
Let l be (1 - 2)/((-3)/(-15)). Let v be 3*((-58)/18 - 25/(-15)). Which is smaller: v or l?
l
Let u(n) = -n. Let m be u(1). Let w(i) be the second derivative of -i**3/6 + 18*i. Let x be w(m). Which is smaller: 2 or x?
x
Let j(y) = 6*y**3 - 6*y**2 + 4*y - 5. Let s be j(3). Which is smaller: 1/6 or s?
1/6
Suppose -2*j = -5*j - 492. Let b = j + 787/5. Let z = 7 + b. Which is smaller: z or -0.2?
-0.2
Let z = -0.8 - -1.8. Let n = z + -1. Let u = -559.05 - -559. Which is smaller: n or u?
u
Suppose 0 = -2*a + 10, 3*u - a - 40 = -2*u. Suppose w - u + 0 = 0. Suppose 3*f + 0*f = -w. Is f equal to -4?
False
Suppose 67 + 50 = -3*r. Let v be (2/88)/(r/(-52)). Is 1 less than v?
False
Let s(n) be the first derivative of -n + 0*n**2 + 1/4*n**4 - 1/3*n**3 + 4. Let c be s(0). Which is smaller: -2/63 or c?
c
Let x = -0.4 - 0.2. Suppose -3*h - 10 = 5. Let w be (h/(-3) + -2)*2. Which is greater: x or w?
x
Let y = 5.598 - -0.002. Let i = y - -0.4. Let v = i + -6. Is -0.1 less than v?
True
Let h = -305 - -4577/15. Let s(i) = -2*i - 9. Let f be s(-14). Suppose 0 = 17*l - f*l - 2. Which is bigger: l or h?
h
Let k(x) = -x**2 - 9*x - 9. Let p be k(-10). Let n = p - -6. Which is bigger: -12 or n?
-12
Let h(d) = -d**3 - 16*d**2 + 2*d + 21. Let z be h(-16). Let j(r) = r**3 + 11*r**2 - r + 6. Let f be j(z). Let i = f + -15. Which is smaller: i or -6?
-6
Let u = -220 + 220.2. Suppose 34 = -4*l + 6. Is l <= u?
True
Let j = 2813.1 - 2813. Let h = 33.4 - 38. Let w = -5 - h. Is w < j?
True
Let w = 0 + -1. Let c = 2 + w. Let u(v) = -2*v**3 + 20*v**2 + v - 8. Let d be u(10). Which is smaller: d or c?
c
Suppose 0 = 4*x + 46 - 706. Let d be (-15)/18*x/50. Which is smaller: -2 or d?
d
Let v = -122.1 - -122. Let m be -5*1*374/(-85). Which is smaller: v or m?
v
Suppose h - 3*h + 46 = 4*x, 2*x = 2. Let v = -11 + h. Suppose 3 = p - 2*u - 2, -4*p + 3*u + 30 = 0. Is v < p?
False
Let g be 918/170 + 3/5 + -1. Let o = -71 - -75. Which is bigger: g or o?
g
Let v be 4/4*(3 - -2). Suppose -v*j + 3*j - 8 = 0. Let a be (1/(-130))/(j/16). Which is greater: -1 or a?
a
Let n = -180/19 - -5182/551. Suppose 20*y - 1575 + 1555 = 0. Is y at least n?
True
Let b be 0/(-7)*9/(-18). Is -1/431 not equal to b?
True
Let y(z) = -3*z**3 - 9*z**2 + 37*z - 1. Let n(g) = 2*g**3 + 6*g**2 - 25*g + 1. Let p(j) = 7*n(j) + 5*y(j). Let q be p(-5). Is 7 at least as big as q?
True
Let j be (-8)/4 - 15/(-4). Let f be ((-3)/(-9))/((-1)/(-6)). Is f bigger than j?
True
Let w = 3812 + -15269/4. Suppose 17 = -5*i - 8. Which is smaller: w or i?
w
Let q = -2 + 3.7. Let v = 18.7 - 15. Let k = v - q. Does 2 = k?
True
Suppose 0 = -6*h + 9*h + 15. Is h bigger than 2?
False
Let x = 1.66 - -26.14. Let f = x - 25. Let s = f + -2.76. Which is smaller: -0.3 or s?
-0.3
Suppose -8*j + 18 = 18. Is j smaller than 1/120?
True
Suppose 0*b - 24 = 4*b. Let y be (-78)/(-14) + (-30)/(-70). Let l = y + b. Which is smaller: l or 6/5?
l
Let i be (-2)/(4/(-3))*(80 + -88). Let u be (16/6)/((-1)/3). Let k = -4 + u. Does i = k?
True
Suppose -2*f + 24 + 1 = 3*m, 0 = 4*m - 20. Suppose 0*z - 16 = -2*l + z, 5*l - 2*z = 38. Which is smaller: l or f?
f
Let r = 0.3 - 0.2. Let y = -112.29 - -113. Let d = -0.21 + y. Is r greater than or equal to d?
False
Let j be 12/(-2)*20/30. Which is greater: j or 2/21?
2/21
Let v(f) = f**2 + 5*f - 5. Let y be v(-5). Let l be (-25)/(-95)*(-1)/y. Let z(s) = s**3 + 7*s**2 - 8*s. Let d be z(-8). Which is smaller: l or d?
d
Let b be 612/(-72)*(-1)/(-36). Is 0 > b?
True
Suppose 0 = -y + 3*y - 12. Let u = 0.312 - 0.112. Is u > y?
False
Let f(y) = y + 14. Let n be f(8). Which is smaller: 21 or n?
21
Let h be -2*(-30)/(-8)*-2. Let l = 24 - h. Suppose 0 = -22*p + 3*p + 152. Is l at least as big as p?
True
Let n be 12/60 + (-17708)/(-35). Let w = n + -507. Suppose 0 = -2*v - 0*v. Which is bigger: w or v?
v
Let p = -3199/3 - -1083. Let c = p + -17. Let x = -5/9 - c. Is -1 > x?
False
Suppose 0 = 4*i - 2*i - 10. Suppose 10 + 7 = -i*g - 3*m, -3*m - 7 = -5*g. Does g = -4/43?
False
Suppose -4*r + 7*r = 5*k - 11, 0 = 5*k + r - 3. Let i be (-150)/(-138) + (-2)/2. Which is greater: i or k?
k
Let b = -5584245/1723 + 3241. Which is smaller: b or 1?
b
Suppose 0 = 81*s - 96*s - 15. Which is greater: -11/12 or s?
-11/12
Let b(w) = -w. Let u be b(4). Let o = 5 + -3. Suppose 18 = o*s - 5*s. Are u and s equal?
False
Let i(a) = a**2 + 25*a + 47. Let p be i(-2). Which is smaller: p or 224?
p
Let z(b) = -5*b**3 + 3*b**2 - b - 7. Let n be z(3). Which is greater: -117 or n?
-117
Let g = -13.25 - -46.17. Let z = g - 32. Let k = -0.08 - z. Is k != -8?
True
Let g(r) = -r**3 - 6*r**2 - 10*r - 17. Let o be g(-3). Let c(n) = 5*n + 75. Let x be c(o). Is x greater than 5?
False
Let d = 10 + -8. Let c = -4 + d. Let n be -5 - 6/c - -7. Are 4 and n nonequal?
True
Let t be (1/4)/((-6)/(-8)). Suppose 414*s - 858 = 388*s. Are t and s nonequal?
True
Let f = 62 + -40. Let o be (-46)/(5/(-5) - 1). Which is greater: o or f?
o
Suppose 825 = -5*p - 4*h, 0 = 3*p - h + 300 + 212. Is p at most -169?
True
Suppose 4*c - 35 = -119. Let z(m) = -m**3 - 5*m**2 + 2*m + 4. Let k be z(-4). Is c <= k?
True
Let c be (1 - -1) + (-14 - 62). Is c at least -7?
False
Let s = 11 + -10. Let v(a) = a**2 - 1. Let z be v(-1). Let y = z - s. Are y and -1 nonequal?
False
Let r(w) = -29*w**2 - 3*w - 6. Let c be r(-2). Let i = c + 101. Which is greater: i or -46/3?
i
Let h(n) = -2*n**2 - 9*n + 1. Let g = -6 + 2. Let t be h(g). Let o be (t/(25/(-20)))/(-2). Which is smaller: o or 13/4?
o
Let n(l) = 9*l**3 + l**2 + l - 1. Let z = -6 - -7. Let j be n(z). Let u be (4/10)/((-62)/j). Which is bigger: u or 0?
0
Let r be (-5)/(4/8 - 1). Suppose s = 3*s + r. Is s bigger than -5?
False
Let j(y) = 2*y**3 + 18*y**2 + 4*y + 39. Let h be j(-9). Let p(d) = -d**3 - 3*d**2 + d. Let r be p(-3). Let k be (-1 - r) + 1/(-3). Is h less than k?
False
Suppose 50 = -30*p + 20*p. Is -17 <= p?
True
Let z = 431 - -535. Is 965 less than z?
True
Let r = 116 - 114. Suppose 6*a - 12 = r*a + 2*f, 0 = -4*a + 3*f + 16. Is a < 16/9?
True
Let m = 214 - 247. Are -23 and m unequal?
True
Let r(f) = 3*f**3 - 1. Suppose 4*m + 6 - 10 = 0. Let d be r(m). Suppose 0 = d*k + k + 18. Which is bigger: -4 or k?
-4
Let g = -79 - -119. Are g and 0.4 nonequal?
True
Let z = -427 + 447. Suppose 0 = 4*j + v - 66 - 4, 3*j - 2*v - 58 = 0. Which is smaller: z or j?
j
Let d be ((-27)/(-60))/((-30)/(-40)). Which is bigger: 231 or d?
231
Let u = -23 - -32. Let g = 10 - u. Let d be 0 + 2 + (-20)/8 + 2. Which is smaller: d or g?
g
Suppose -5*i + 23 + 47 = -5*c, -i + 19 = -2*c. Which is greater: 17 or i?
17
Let d = 856.5 - 22.5. Which is smal