-20)/v). Which is smaller: i or -10?
i
Let m(s) = 15*s**2 - 827*s + 57. Let t be m(55). Which is smaller: -31 or t?
t
Let v = 16744 + -16734.31. Which is bigger: v or 2/19?
v
Let x(n) = -38*n**3 - 2*n**2 + 3*n - 1. Let w be x(1). Let r = 38 + w. Let l be 0 - (-1 + r - -1 - 2). Do l and 2 have the same value?
True
Let n = 1120 - 764. Suppose n = -7*o + 3*o. Let a = o + 138. Which is bigger: a or 48?
a
Let g = 166 + -160. Suppose -5*o = -5*d - g*o + 60, -3*d + 23 = -2*o. Which is bigger: d or -2/5?
d
Let j = -37838 - -37837.968. Which is bigger: 0.174 or j?
0.174
Suppose 20*c - 136*c = 37*c. Which is smaller: 1/3609 or c?
c
Let c be (-1)/((-10)/(-2))*2. Let k = -149.4 + 174.4. Is c > k?
False
Suppose 4*i - 11 = 3*z, -2*i - 5*z = 12 + 15. Suppose q = -2*v + 6, 2 = 2*q - v - 5. Let m be (-3)/q*1/3. Is i <= m?
True
Suppose 2*f + 5*c + 163 - 25 = 0, 5*c - 20 = 0. Let d be 3/9 - f/(-3). Let l = d + 34. Which is smaller: l or -1?
-1
Let b be (-4)/24 - (4 + 1/(24/(-100))). Which is bigger: b or 3/4396?
3/4396
Suppose z - x = 5 - 6, -5*x + 19 = 2*z. Let i(g) = -1 + 15*g**z + 18*g**2 + 21*g**2 - 7*g**3 - 55*g**2 - 2*g. Let f be i(-2). Which is bigger: 54 or f?
f
Let m = -0.082 + -37.918. Let h = 40 + m. Let x = -1.9 + h. Does x = -33?
False
Suppose 5*r + 37 = -653. Let x be (-3 - 0/3)/(r/(-30)). Which is greater: x or -1?
x
Let x = -194 + 218. Suppose x*h - 1740 = 1020. Is h less than 115?
False
Let x = -5472 + 6472. Is x smaller than 999?
False
Suppose -9*r - 6 - 3 = 0. Let n be 39/210*r - (-4)/(-40). Which is bigger: 177 or n?
177
Suppose -3 - 62 = -3*x - 4*b, 0 = x - b - 10. Suppose -3*v - 66 = 2*c, -c = v + 2*c + x. Which is smaller: -25 or v?
-25
Suppose -x - 15 = -5*g, 4*x - 2*g = g + 8. Suppose -12 = -2*f + 3*y, -x*f + 4*y + 8 = 2*y. Let v = -1359/56 - -185/8. Which is bigger: v or f?
f
Let k(o) = -o**2 + 7*o + 42. Let l be k(11). Let m be 645/12 + l/(-8). Is m greater than or equal to 52?
True
Let i = -161962 + 23484328/145. Which is smaller: i or -1?
i
Let u(v) = v**3 - 2*v**2 + v - 3. Let f be u(2). Let o be (-20 - -3) + (0 - f). Let j be (6/(-6))/(26/o). Are 2 and j unequal?
True
Let s = 274.6 + -235. Let h = -2.6 + s. Let z = h - 36.8. Which is bigger: 2 or z?
2
Let m = -77 + 75. Let t(d) = 8*d - 4. Let q be t(10). Let v = q + -79. Is v smaller than m?
True
Let t = -1606 + 1662. Is t at least as big as -7?
True
Let n(i) = -i - 3. Let k be n(-9). Let y(x) = -4 - 3*x**3 + k*x**3 - 16*x**2 + 14*x**2. Let p be y(2). Which is smaller: p or 13?
p
Let f = 1617 - 1589. Is 25 less than or equal to f?
True
Let m = 61.7 + 19.3. Let x = m + -81. Are x and 12 non-equal?
True
Let k = 285 - 282.6. Does k = 5.2?
False
Suppose 5*o + 3*d - 333 = 0, 12 = -4*d + d. Let r = o - -134. Let w be ((-21)/r)/(-1 - 0 - 0). Which is greater: w or 1?
1
Let o = -12436 - -12441. Suppose -j + 3*n - 13 = 0, 0 = 4*j + 5*n - 2 + 3. Which is greater: o or j?
o
Let s = -19077 - -16806839/881. Suppose 0 = -k + 5*v + 44, 3*k - 15 = -4627*v + 4629*v. Is k > s?
False
Let j be (-39)/(-351) - 2/18*-17. Suppose -3*o + 11 - j = 0. Is o > 6?
False
Let s be ((-86)/(-30))/((2080/21504)/65). Is s at most as big as 1927?
True
Let p(l) = -3*l**2 + 25*l - 11. Let v be p(8). Let m(y) = y**3 + 8*y**2 + 5*y - 5. Let h be m(v). Which is smaller: 26 or h?
h
Let q be (2/(-3))/(1*8/204). Let v be (-8)/(-24) + 28/6. Let f be 1/4*(v - (-81)/q). Is -1 at most as big as f?
True
Let j be 94/(22*(-117)/(-6)). Let s = j + -5/39. Which is smaller: s or -1?
-1
Let m = 1.2001 + 3.7999. Which is smaller: -762 or m?
-762
Let p be 3/270*(-664)/(-16). Let b = 1/60 - p. Is 0.1 bigger than b?
True
Let x = 29653 + -22311. Which is bigger: x or 7344?
7344
Let r = -277 + 196. Let a = 89 + r. Which is bigger: a or 5?
a
Suppose 0 = -3*x + p + 80792 - 8268, 4*x - 2*p = 96694. Is x not equal to 24176?
True
Let o be (3 - (-4 + 2))/(1 - 2). Let c be ((4/o)/((-2478)/(-11270)))/45. Let v = c + 2/295. Is v equal to -1?
False
Suppose -52*i + 76*i - 95472 = 0. Is i <= 3976?
False
Let p = -1790 - -1758. Let w = -0.019 - -0.319. Which is bigger: p or w?
w
Let o(d) be the third derivative of 23*d**5/15 + d**4/3 + d**3/6 - 163*d**2. Let n be o(1). Which is smaller: 100 or n?
100
Let o(r) = -r**2 + r + 1. Let n(y) = -y**2 + 8*y + 5. Let s(m) = -n(m) + 2*o(m). Let q be s(-5). Let j be 2 - (q/2 - 10). Which is bigger: j or 10?
j
Let p(b) = -8*b**2 - 24*b - 4. Let n be p(-2). Suppose -r - 1 = -5. Suppose -d + r = d. Which is bigger: n or d?
n
Suppose 12*a = 7*a + 4*g - 6, 5*a - 6 = g. Which is greater: a or 90/157?
a
Let g(u) = -u**3 + 30*u**2 + u - 39. Let o be g(30). Let l be (3/(-21))/(o/(-18)). Which is smaller: l or 2/219?
l
Let l = -72 - -43. Suppose -167 + 37 = -2*x + 5*b, -4*x + b = -224. Suppose 2*g = -5*t - 65, -5*g - x - 99 = 4*t. Is l at most g?
False
Let m = -2564.6 + 2267. Let t = 311 + m. Is t bigger than 0?
True
Let i = 3339.2 + -3339. Which is smaller: 8/107 or i?
8/107
Let s be (-4 + 4)/(8 + -10). Suppose 0 = 3*t, s*i - t = -i. Which is greater: i or -1/18?
i
Suppose 168*d - 4*d = -8036. Suppose -2*c - 2*c = 196. Is d at least c?
True
Let f = 430.383 - 0.383. Let q = f + -429.95. Are 4 and q nonequal?
True
Let k = 0.296 + -218.296. Let u = k + 143. Let x = -69 - u. Is -3 at most x?
True
Let o = -25 + 18. Let m(b) be the second derivative of b**4/6 + b**3 - 13*b**2/2 - 71*b. Let t be m(-4). Which is smaller: t or o?
o
Let d = -71090 + 70866.843. Let u = d + 223. Let a = u - -0.057. Which is bigger: a or 11/2?
11/2
Let j = -212 + 409/2. Let s = -220 - -211. Does j = s?
False
Let f be (68/(-10))/(3/(-15)). Let t = -70312/5 - -14095. Is t <= f?
True
Let h = 31277/6 - 24177137/4638. Which is smaller: 1 or h?
h
Suppose 22 = -u + 5*k, -4*u + 5*u - 8 = -k. Suppose 3*j + u = 4*j. Suppose z + j*z = 20, -3*q = 3*z - 15. Is -5/9 smaller than q?
True
Let q be (42020/(-660))/((1 + 0)/1). Which is smaller: q or -6?
q
Let r = -51 + 16. Let m(n) = -n**3 + 15*n**2 - 41*n - 2. Let j be m(5). Suppose -180 = j*q - 38*q. Is r less than q?
False
Suppose -3*w + 81 = 2*w - c, w = -2*c + 14. Suppose -6 = -5*f - w. Let r(q) = -q**3 - 20*q**2 + 30*q - 311. Let h be r(-22). Which is greater: f or h?
f
Suppose 0 = 5*a - 3*p + 44, -4 = -3*a + 4*a + p. Suppose 25 - 113 = 11*k. Let w = k - a. Do -2/111 and w have the same value?
False
Let r = -806 + 2333. Are 6105/4 and r non-equal?
True
Suppose -4*o - l + 1365 = -1754, -2345 = -3*o + 5*l. Do 782 and o have different values?
True
Let o be 2 - (6/8*4 - 1). Suppose o = -d - v - 0 + 3, 5*v + 33 = 3*d. Let s be d + -1 + 0 + 5 + -2. Which is smaller: 9 or s?
s
Let g = -216994.015 - -218031. Let q = -1041 + g. Let j = q - -0.015. Which is smaller: 1 or j?
j
Let o = 11545 + -7367. Are 16713/4 and o nonequal?
True
Let x = 17315 - 17139. Which is greater: x or 1926/11?
x
Let g be 1 + 20911/(-1540) - -12. Is -2 at least as big as g?
False
Suppose -9 + 143 = -i. Let m = 131 + i. Let w be ((-2)/6 + m)/((-1)/3). Which is bigger: 7 or w?
w
Let j = 887390/93 + -9542. Which is smaller: 1 or j?
j
Let b = 25997 - 25997.651. Which is smaller: 0.07 or b?
b
Suppose -4908 = -3*t + t - 10*t. Is 4500/11 bigger than t?
True
Let l = -1 - -4. Let k = 862 + -853. Suppose k*z = l*z - 294. Is 1 >= z?
True
Let i(w) = 9*w - 16*w - 11*w + 5 - 3 - 3*w**3 + 29*w**2. Let r be i(9). Which is bigger: r or 5?
5
Suppose 114*s = -22 - 44 - 48. Is s at most 2/1899?
True
Let p = 158 - 156.86. Let m = 1.14 - p. Which is bigger: 50 or m?
50
Let b = 1955 + -1850. Is b less than 89?
False
Let w(m) be the first derivative of m**4/4 + 4*m**3/3 - 5*m**2/2 - 2*m - 5. Let n be w(-5). Let q = -293/28 - -31/4. Which is smaller: q or n?
q
Let k = -61.25823 + 61.17. Is k <= 0?
True
Let u = 715171/1505 + -2376/5. Is 0 at least u?
True
Let i = 7300.85 + -7478. Let h = -175 - i. Which is bigger: h or 2/3?
h
Let m = -3.052 - -3.192. Are 0.07 and m non-equal?
True
Suppose -z = 9*h - 104, -4*z - 141*h = -139*h - 416. Which is smaller: z or 736/7?
z
Let l be (3/(-2) - 2)/(8/(-16)). Suppose -2*c = -3*k - 4, l = k + 2*c + 3. Let m be (-15)/(-10)*4/177. Do k and m have different values?
True
Suppose 2*p - 276 = -44. Let d = 165 + -250. Let w = d + p. Which is smaller: w or 29?
29
Let q(o) = -o**2 - 12*o + 36. Let k be q(8). Let f be (-5)/(10/k) - -6. Is f <= 66?
