0 + 1). Which is greater: -2 or l?
l
Let p(s) = 2*s**3 - 184*s**2 - 374*s - 188. Let q be p(94). Let j(z) = z - 1. Let y be j(1). Let o(k) = k. Let u be o(y). Is u at most as big as q?
True
Let g(o) = o**3 - 4*o**2 + 4*o - 2. Let q(k) = -k**3 + 5*k**2 - k + 8. Let w be q(5). Let j be g(w). Let n = -1/20 - -49/180. Which is bigger: n or j?
j
Let y(v) = -v**3 - 6*v**2 + 12*v + 14. Let k be y(-7). Which is smaller: -8 or k?
k
Let r = 80570706/95 + -848127. Let o = -71/5 - r. Let u(z) = z**3 - 5*z**2 - 1. Let a be u(5). Is o at least as big as a?
True
Let t = 212/15 - -7057/60. Let p = t + -131. Which is bigger: 0 or p?
p
Let z = 11 + -6. Let m be 4*z*5/100. Which is bigger: m or 9/8?
9/8
Suppose h - 2*u = 4*h - 20, 5*h - 5*u = 0. Suppose f - c = h*c - 9, 2*f = c - 9. Are f and 0 equal?
False
Let p be ((-8)/(-4))/((-1)/5). Let i(u) = -u - 12. Let k be i(p). Let c be -3*4/56*k. Which is smaller: c or 0?
0
Let k(w) be the first derivative of 2*w**2 + 25*w + 1. Let o be k(-6). Which is greater: 3/29 or o?
o
Let u be -2*(4 - 36/8). Let t(d) = -d**3 - d**2 + 3*d - 1. Let y be t(u). Which is smaller: 0.8 or y?
y
Suppose -3*h = -w + 50, 18*h + 4*w - 30 = 20*h. Suppose -13 = -4*l - 81. Is l <= h?
True
Let g = 40847/92 - 444. Let t be (-171)/(-153) - 4/34. Do g and t have the same value?
False
Suppose f - 26 = 12. Let y = f + -38. Do y and -16 have the same value?
False
Let a be (-8)/2 - (-124)/29*1. Is a equal to 1?
False
Let f = -0.249 - -0.039. Let j = 70 - 69.79. Let b = j + f. Which is bigger: b or -5/6?
b
Let o(w) = -2*w**2 - 5*w - 5. Let z be o(-4). Let r = 227 - 243. Let x = r - z. Is x at most as big as 1?
True
Let x = -391 - -393. Is x > -83?
True
Let p be (-1)/(5/115*(-2)/(-2)). Which is smaller: p or -71/3?
-71/3
Let k be 2 - ((-2 - 6) + -3). Suppose 0 = -l + 3*u - 11, 0*l - k = 2*l + 3*u. Let x be 9/11 - l/44. Which is bigger: 11/6 or x?
11/6
Suppose 12 = 5*c - 28. Let t be ((-4)/c)/((-10)/(-4) - 2). Does -1/110 = t?
False
Let x be (1 + -1)*-1 - -2. Suppose -4*j = 18 + x, -5*c = -2*j + 5. Let q(a) = -a**2 - 7*a - 3. Let h be q(-7). Is h <= c?
True
Let k = 2/983 - 2760/390251. Is -1 >= k?
False
Let s = 0.1 - 2.5. Let n = s - -0.4. Is n at least 6/13?
False
Let f(r) = 9*r - 104. Let q be f(-12). Is q at most as big as -213?
False
Let t = 39 - 82. Let z = 44 + t. Which is smaller: -2 or z?
-2
Let t = 43.006 - 43. Let j = t + 0.994. Which is greater: 47 or j?
47
Suppose 3*s = -s - 4. Let i be (94 + -7)/(s/3). Let x be 243/i + 1/1. Is 0 at most as big as x?
True
Let l = -348 - -355. Which is smaller: -4 or l?
-4
Suppose 0*f + 2*f - 10 = 0. Suppose 2*l - 1 = 4*x + x, -3*l + f*x = -4. Let o be l - (-1 + 1)/(-1). Which is smaller: o or 7/4?
7/4
Let b be ((-1)/1 - -120)/(-1). Let i = -2443 - -2325. Is b > i?
False
Let x = 4/57 - -29/399. Let a = -2.6 + 2.8. Are a and x nonequal?
True
Let o(s) be the second derivative of s**5/20 + 11*s**4/12 + 11*s**3/6 + 21*s**2/2 - 8*s. Let i be o(-10). Is 10 >= i?
False
Let a be ((-6)/(-5))/(9/(-1590)). Let r = a + 156. Is 0.1 smaller than r?
False
Let b = 65 - 114. Let c = -62 - b. Let t = 0.4 - 0.3. Is t less than or equal to c?
False
Suppose -19*m + 24*m - 29 = 2*o, o = 2*m - 13. Let c(b) = b**2 + 7*b - 2. Let z be c(-6). Which is greater: z or o?
o
Let t be (-12648)/(-43435) - 10/35. Is 0 at least t?
False
Let u = 158/4039 - 1517372/39408523. Let d = -2400180/68299 - u. Let j = d - -1356/35. Which is smaller: j or 5?
j
Let v = -149 - -152. Is -57 != v?
True
Let s(b) = 5*b + 66. Let h be s(-12). Is 22/3 > h?
True
Let o = 219/4 + -5029/92. Is o at least -1?
True
Let z be 138/(-184)*(-32)/(-21). Suppose -2*u = -2*x - 3 - 7, -x + 4*u = 17. Is x != z?
True
Suppose -3*p = 3*u + 45, 0*p + 79 = -5*p - u. Let c be (-2)/(38/(-9))*p/(-12). Is 2 at least as big as c?
True
Let r = -841.9 - -842. Which is smaller: r or 1253?
r
Let q = 6 + -5.9. Let i = -69 + 49. Let u = 32 + i. Which is greater: q or u?
u
Let h(a) = a**2 - 7*a. Let x be 10 - 6/8*4. Let c be h(x). Let g be (0 + c)/(24/(-12)). Is g bigger than 1/19?
False
Suppose -503 - 1150 = -19*i. Is i smaller than 85?
False
Let y be (-18 - -1)*20/20. Let w(m) = 3*m + 38. Let i be w(y). Is -13 greater than i?
False
Let d = -35633/1564 - -751/68. Is -13 not equal to d?
True
Let d(n) = -n**3 + 5*n**2 + 6*n - 1. Let m be d(6). Suppose 0 = -b - a - 2, 0 = -4*b + 14*a - 17*a - 4. Is b greater than or equal to m?
True
Let c = -2975 + 32869/11. Is 13 != c?
True
Suppose 4*v + t - 8 = 0, -4*v + 0*v = -t. Which is smaller: -0.012 or v?
-0.012
Let h = 21394226/715 + -29922. Let s = h - -1682/45045. Let p = 82/63 + s. Which is greater: p or 1?
p
Let g = 68.973 + -69. Let r = g + -0.273. Let o be (4/2 - 3)/13. Is r less than or equal to o?
True
Let k = 200 - 156.5. Let f = 41 - k. Which is greater: f or -1?
-1
Let t = 1 + -7. Let l(y) = 2*y + 9. Let q be l(t). Let m be (-11)/q + -1*3. Is m at least 0?
True
Suppose -1617 = 21*t + 567. Which is bigger: -105 or t?
t
Let h be -559 + 3/21*77. Is h less than or equal to -548?
True
Let y = 0.1 - 0.3. Let c(g) = 115*g + 224. Let z be c(-2). Which is smaller: y or z?
z
Suppose -85 = -10*w - 7*w. Which is smaller: w or -1/3?
-1/3
Let n(l) = -l - 2. Let b be n(0). Let u(w) = w**2 + 7*w + 1. Let d be u(-8). Let m = 7 - d. Does b = m?
True
Let h be 3/18 - (-3)/(-18). Is h != -14/61?
True
Suppose -3*a - 2*y = 0, -2*a - 3*a - 5*y = -5. Let h be (a/(-14))/(65/(-10)). Is h < 1?
True
Let t be ((-4)/6)/(2768/144 + -19). Let v = -1 - -2. Let a be -6 - (1*-2)/v. Which is smaller: a or t?
a
Let d(i) = 1 + 7 + 2 - 8 + i. Let v be d(0). Let t = 7 + -6.3. Which is bigger: v or t?
v
Let w = -1.16 + -0.31. Let z = 1.47 + w. Do z and 4/9 have different values?
True
Let o be ((-12)/(-120)*8)/((-182)/10). Which is greater: 0 or o?
0
Let o = 0.0428 - 0.1428. Is 0.77 smaller than o?
False
Let o = 602 - 16256/27. Let d = -8.2 + 8.3. Is o equal to d?
False
Suppose 3952 = -13*s + 3432. Let i be 1/(-4) + 318/(-8). Is s at most as big as i?
True
Let z = -2541/2 - -5167/4. Which is greater: z or 22?
22
Suppose 0 = 2*k + 4*b - b - 15, 2*b - 10 = -k. Suppose 0 = 4*t - 3*w - 55, -5*w = -k - 15. Which is bigger: t or -2?
t
Let y = -118 + 121. Let h = -1.969 + -0.031. Is y at most h?
False
Let z = -957 - -957. Let d = -940/9 + 104. Which is smaller: z or d?
d
Let p = -1084997 - -580473033/535. Let a = p - 5/214. Is a >= -1?
True
Suppose 0 = 3*s + 5*h - 1544, -4*s - h + 622 = -1448. Do 518 and s have the same value?
True
Let y be ((-2)/(-30))/((-267)/(-6)). Let s = y + -20033/5340. Which is smaller: s or -4?
-4
Let t = 58 + -182. Which is smaller: t or -3?
t
Let r = -826 - -1111. Is 285 <= r?
True
Let y = -0.3 + -1. Let s = 2.2 - 1.2. Which is bigger: y or s?
s
Let l = 29.1 - 30. Let j = 2.6 - 3. Let u = j - l. Which is greater: -2/5 or u?
u
Suppose -19*m + 40 = -17*m. Suppose 3*l + 3*j - 4 = 4*l, 5*l = -j - m. Which is greater: -7 or l?
l
Suppose l - 3*i + 0*i - 11 = 0, 2*i = 2*l - 26. Is l bigger than 13?
True
Suppose t = 2*t. Suppose r + 1 = 2. Let c be (r - 1)/(-3) - 0. Is t > c?
False
Let t = -0.03 + -0.27. Let s be (9/12)/(9/(-216)). Let g be s/45 - (-16)/90. Which is smaller: t or g?
t
Let c be 4 + 11/(-9) - (-2)/9. Suppose -21 = c*m - 72. Which is smaller: m or 16?
16
Suppose -32 = 15*b - 11*b. Let v(s) = s**2 + 5*s - 25. Let n be v(b). Which is smaller: n or 1/286?
n
Suppose -4*a + v = 67 - 1, -2*a - 40 = -4*v. Let c be (-20)/(-6) - 72/54. Let z be c + (-4 - 13 - (-2 - -2)). Is z < a?
False
Let j be 2/(-10) - 194/870. Let s = -2/87 - j. Let c = -2 - -3. Is c less than s?
False
Let i = -8 - 27. Let j = -77.37 - -77.47. Which is smaller: i or j?
i
Let i be 3697/(-2)*(-24)/58. Let n = -1356 + 591. Let v = i + n. Is 1 > v?
True
Let k = 19 + -34. Let r be (0 - k/(-3))*-1. Suppose -r*i + 3 = -2. Which is bigger: -2/87 or i?
i
Let x(o) be the second derivative of -o**3/3 + 47*o**2/2 - 26*o. Let m be x(0). Do m and 47 have different values?
False
Let b = -40 + 15. Let x = 12 + -36. Is x greater than or equal to b?
True
Let s = 20743919/170 + -41599785047/340935. Let c = s - 5/1146. Let i = -551/91 + c. Are -1 and i non-equal?
True
Let u be (-6)/(-21) - (-68)/7. Let q = -7505/4 - -1886. Which is smaller: q or u?
q
Suppose 2*v = 8, 5*b + 77 = -4*v - 62. Let u = b + 40. Which is