 = 22*l. Let m = l + 49. Let h be f(m). Which is smaller: -2/25 or h?
-2/25
Let o(a) = -367*a**3 - a**2 - a - 1. Let h be 2/(-10) + (-100)/125. Let s be o(h). Let x be ((-2)/(-6))/(-4 + s/90). Which is smaller: 0 or x?
0
Let v = -492 + 494. Let d = -2.8 - 4.2. Which is smaller: d or v?
d
Let x = -0.05846 + 0.06246. Which is bigger: -17 or x?
x
Let j(x) = -x**3 + 10*x**2 - x + 1. Let h be j(9). Let i = h - 99. Let o(z) = -13*z + 1. Let y be o(2). Are i and y unequal?
True
Let c be (5/(100/185))/((-2)/(-24)). Let o = 107 - c. Let n be ((-2)/(-5))/((-3)/1080*o). Which is greater: 38 or n?
38
Let c = 24 - 41. Let j = 1838 - 1847. Which is greater: j or c?
j
Let i = -7699/3 + 2567. Which is bigger: 0.2132 or i?
i
Let x(h) = 2*h**3 - 4*h**2 - 15*h + 19. Let y be x(5). Suppose -95*t - 3 = -y*t. Is t greater than or equal to -39/17?
False
Let m = -13/110 + 3/10. Let a be 616/10 - 15/25. Suppose 60 = -a*h - 1. Which is bigger: h or m?
m
Let x be ((-4)/(-14)*-1)/(-2). Suppose 1 = -u + z, u = 3*z - z - 2. Let b be u + ((-12)/(-27))/2. Is x less than or equal to b?
True
Suppose 7 = 7*z - 133. Let u be (z/25)/(2/(-15)). Is u at most 1?
True
Let r be 23 - (-1 - (-18)/6). Suppose -r*i = -60*i - 3588. Which is greater: i or -93?
i
Suppose 0 = 4*s + 68 - 100. Suppose s*f = -f. Is -15/37 at least as big as f?
False
Let h = -4471 + 4464.559. Let b = h - -6.5. Let u = -0.141 - b. Are 1/17 and u unequal?
True
Let y = -6581.29 - -6546. Let v = 0.71 - y. Let z = v - 38. Is -0.9 smaller than z?
False
Let k(s) = -3*s**2 - 107*s - 374. Let l be k(-4). Let g = 0 - 0. Is g bigger than l?
False
Let i = 8469 - 499673/59. Suppose 0 = -0*q + q. Let g = q - 0. Which is smaller: i or g?
i
Let i be ((-2385)/27)/(-8*1/(-3)). Which is smaller: -34 or i?
-34
Let p(t) = t**2 + 4*t - 7. Let q be p(5). Let i = -0.16544 + 2.16544. Is i >= q?
False
Let l be (2/16*-2)/((-2)/632). Is 469/6 not equal to l?
True
Let a be 2101/4 - (-12)/(-48). Which is greater: -2 or a?
a
Let o = 13 - 46. Let h = o - 79. Let n = h - -2241/20. Which is bigger: n or 1?
1
Let b = 5290277/166 + -31869. Which is bigger: b or 1?
1
Let n be 3/((-3)/10) + 0. Let h be (405/(-972))/((-1)/(1568/(-60))). Are n and h non-equal?
True
Let i be (-332826)/(-156)*(-4)/2. Let n be i/(-5508) + 6/(-8). Is n < -1?
False
Let p = 613 + -888. Let a be ((-15)/(-2))/3*220/p. Is a less than or equal to 33?
True
Let t(k) = 34*k + 58. Let j be t(2). Suppose -3*l = 525 + j. Is l < -217?
False
Let h = 30156 + -49365336/1637. Do h and 0 have different values?
True
Let w(s) = 1 - 80*s**2 + 2*s + 82*s**2 + 17*s**3 - 3*s**3. Let c be w(-1). Let g be (-2)/(14/c + 1). Is g less than or equal to 26?
True
Let j = 30945 + -27792. Which is greater: 3151 or j?
j
Let u be (-16)/246*(2241/108 - 20). Let d be 8/126 - 2/7. Which is smaller: u or d?
d
Let s(z) be the first derivative of -z**2 - 1/4*z**4 + 10/3*z**3 - 3 + 22*z. Let b be s(10). Is 14/5 greater than b?
True
Let p be 0/6*(-1)/(12*6/18). Is p > -56/163?
True
Suppose -4*o + v = -1092, -2*o - 2*o = 3*v - 1092. Let a = -0.2044 + -0.7956. Does a = o?
False
Let j(s) be the third derivative of 11*s**4/24 - 13*s**3/3 + s**2 - 7*s. Let u be j(5). Which is smaller: 32 or u?
u
Let p(q) = -q**2 + 9*q - 64. Let s be p(5). Let l be (43 + s)*-1*2/(-4). Is -24 at most as big as l?
True
Let w(s) = s**3 - 18*s**2 + 8*s - 8. Let h be w(8). Let a be ((-12)/(-680))/1*h/18. Let k = a + 12/17. Are k and 0.2 equal?
False
Let x(l) = 11*l**3 + 233*l**2 + 42*l. Let p be x(-21). Which is smaller: -4/2741 or p?
-4/2741
Suppose -5*v = 5*h + 30, -2*v - 17 = -0*v + 3*h. Suppose 82*k - 168 = 70*k. Let l be (8 + (-51)/12)*(-8)/k. Is l smaller than v?
True
Let s be (-1)/(-4)*-1 - 10/(-40). Suppose s = -13*u - 74 - 82. Let h be 70/(-17) - u/102. Which is smaller: -3 or h?
h
Let b = 11.477 + 0.223. Let l = 5.661 - 6.661. Is l at most as big as b?
True
Suppose -2*i + 204 = 4*j, -2*j + 557 = 4*i + 173. Which is smaller: i or 1049/11?
i
Suppose -5*c + 3*s - 5*s + 2 = 0, 0 = -4*c + 3*s - 3. Let n = -2379 - -78515/33. Is c < n?
True
Let y = -97 - 787. Let z = y - -888.53. Let p = -0.53 + z. Is 4 < p?
False
Let a = -0.022 + 49.022. Suppose 148*b = 254*b + 106. Do a and b have different values?
True
Let k be (-45)/48*-4 - (-2)/8. Suppose -h - j = -1, 6 = h - 0*h - k*j. Suppose -10*i + h*i + 232 = 0. Is 31 at least i?
True
Let j = -215 - -227. Let x be (-170)/360 + 15/j. Let h be (-3)/(-84) - (-1)/4. Which is bigger: x or h?
x
Let p be 1/(-10)*4*5. Let d(g) = -8*g - 5. Let x be d(p). Let u be (20/x)/1 + (-2)/1. Which is greater: u or 1?
1
Let f = 498 - 503. Let q be ((-1)/(-3))/((-4)/60*f). Is q > 3/62?
True
Let v be (-7640)/(-140)*(13/(-9) + (-12)/(-18)). Which is smaller: v or -42?
v
Let o be 20*((-112)/21 - 3*12/54). Which is bigger: -121 or o?
o
Let d = -4730521/146 - -64797/2. Which is greater: d or -3?
d
Suppose -45*s + 50*s = 2*c - 4782, -16 = 4*s. Which is bigger: c or 2383?
2383
Suppose 4*u - x - 59 - 176 = 0, -u = -4*x - 70. Suppose -9*l + 13*l = -5*d + 307, 3*l - 9 = 0. Which is smaller: d or u?
u
Let w = -629.2 + 629. Let i = -0.159 - -11.159. Is w > i?
False
Let c be (-301)/(-35) + ((-8)/5)/(-4). Let d(y) = y**2 - 3*y - 49. Let x be d(c). Which is bigger: 13 or x?
13
Suppose -20 = 3*u + u. Let v be (0 - -7) + 3250/(-286). Which is greater: v or u?
v
Let a(l) = -l**3 + 8*l**2 + 12*l + 16. Let c be a(10). Let s = -60 - c. Suppose 8*j - 10 = 3*j - 2*m, 20 = 4*j + s*m. Which is greater: -4/5 or j?
j
Suppose -32*u + 60*u + 52*u = -149760. Which is greater: -1881 or u?
u
Let k = 3465 + -3466. Is -6/133 less than or equal to k?
False
Suppose 0*v - 2*v = -60. Suppose 5227 + 10723 = 50*s. Suppose -s*t - 341 = -330*t. Which is greater: t or v?
t
Suppose 2 = u, 3*u - 4 - 2 = 2*z. Let q(n) = -n**3 + 3*n**2 + 23*n - 21. Let w be q(6). Let j be 6/w - 885/1260. Which is bigger: z or j?
z
Let j(i) = i + 2. Let a be j(-6). Let f(p) = 8*p - 8 + 5 + 13. Let v be f(a). Which is smaller: v or -23?
-23
Let m = -20 + 20. Let g be (m/(-4))/((-2)/(-1)). Suppose g = -j - 2*r - 11, 5*r = -j + 2 - 25. Which is bigger: j or -8/5?
-8/5
Let t = 209 - 50. Let g = t + -159. Which is bigger: g or 6/23?
6/23
Suppose -p + 3*s + 9 = 0, -11 + 33 = 4*p - 5*s. Suppose -4*m + 213 = -4*t + 5*t, -p*m + 177 = -5*t. Let z = m - 53. Which is smaller: z or 2?
z
Let b be (-1 + 304)*(-290)/145. Which is bigger: -607 or b?
b
Suppose -10 = -3*m + 2*m. Let d(s) = s**3 - 9*s**2 - 11*s + 12. Let c be d(m). Let f(o) = 7*o - 5. Let p be f(c). Is p <= 7?
False
Let g(b) = b**3 - 12*b**2 + 16*b - 2. Let c be g(11). Suppose -c = -4*j + 23. Let o = j - 18. Is o at most -31?
False
Let i be ((-14 + 19436)/(-26))/(-3). Which is greater: i or -6?
i
Let f = -921 - -129. Which is greater: f or -793?
f
Suppose -4*v + 2 = -86. Let u = v - 22. Let t = 236/11 + -5395/253. Is u at least as big as t?
False
Let y(z) = 6*z - 2*z - 3*z + 14. Let m be y(-11). Let s be 0/((19 + -23)*(-2)/(-4)). Which is greater: m or s?
m
Let n(s) = -9*s + 13. Let v be n(6). Let l = v + 48. Let z = l + 1. Which is greater: 7 or z?
z
Suppose 4*v = 2*s - 74, 4*v + 2*s = 6*s - 76. Let g be (1/(-1) + 3)/v. Let k = -11.8 - -12. Is g smaller than k?
True
Let x = -116.047 + 0.047. Let n = 19778.8 - 19775.8. Which is bigger: x or n?
n
Let p be ((-302)/7 + 10/70)*-1. Let t = -43 + p. Suppose -5*n + t*n = 35. Is -6 at most n?
False
Let v = -25 + 50. Suppose 3*a = -2*a + v. Suppose -4*y - 4*w + 9 = -3, 5*y - 5*w = -a. Which is bigger: -4/29 or y?
y
Let p(w) = 246*w + 4149. Let m be p(-17). Which is bigger: m or 160?
160
Suppose -5*v = 2*a + 22, 18*v + 14 = -4*a + 13*v. Which is bigger: 0.0953 or a?
a
Let a = 0.455 + -0.041. Let h = 0.475 - a. Is h at least 2/5?
False
Let h = 5102 + -5020. Is 84 bigger than h?
True
Suppose -5*s - 7*s + 1740 = 0. Let r be (-2)/4*174/s. Which is bigger: r or 196?
196
Let y = -7722 + 8688. Which is greater: y or 3?
y
Suppose 5*q + 20 = 0, -6*x + 9*x - 2*q = 2015. Which is smaller: x or 666?
666
Let b be -46 - (4 - 13)/(-3). Let h = b + 74. Let l be (-2)/8 - (13 + (-2086)/56). Is h at least l?
True
Let f(o) = -41*o**3 + 2*o**2 - 7*o + 6. Let t = 394 + -393. Let j be f(t). Is j smaller than -40?
False
Suppose -2*q + z = 3*z - 92, 0 = -q + z + 42. Let i be (-4)/3 - 716/12. Let u = q + i. Which i