) + 5*l(p). Let s be k(13). Which is bigger: s or 2?
s
Let m = 86.021 + -86. Let a = m + -1.921. Let s = 0.9 + a. Is -19 greater than s?
False
Let z = -0.693 + 0.7. Let b = -0.087 + z. Which is smaller: b or -2?
-2
Let j = 75.5 - 75.627. Let x = 66 + -65.773. Let m = x + j. Which is smaller: m or -1/168?
-1/168
Let t = 3328 + -3349. Which is smaller: 6.5 or t?
t
Suppose 4*u + 106 = 2. Let r = -607 + 610. Suppose -8 = r*o + 73. Which is greater: o or u?
u
Let z(l) = 5*l**3 - 11*l**2 + 3*l + 1. Let o be z(2). Which is greater: o or 209/48?
209/48
Let y be (-1)/(-1)*((-2)/10 - 30316/(-55)). Is y less than 548?
False
Let q be 6/(-15) - 556/(-15). Is q at least as big as -0.06?
True
Suppose 3*b - 10 - 14 = 0. Suppose 0 = -2*x + 5*d + 1 - 11, -b = -4*d. Suppose -5*q - 1 = 2*s - 5, s - 13 = 3*q. Which is smaller: x or s?
x
Suppose 0 = q + 4*q - 60. Let u(o) = -o**2 + 11*o + 22. Let z be u(12). Suppose -143*l = -148*l - z. Is q smaller than l?
False
Let a be 9 + (3432/96)/((-1)/(-12)). Which is smaller: a or 433?
433
Let m be 4*1*-1*-1. Suppose m*y + 2*q = 3*q, 17 = -y - 4*q. Suppose -152*r = 54*r + 412. Is y > r?
True
Let x be -1*(-14068)/1836 + (-45)/9. Let f = -44/17 + x. Is f >= 1.1?
False
Suppose -u = 2*u - 378. Let q = 78 - u. Let p(d) = -7*d**3 + 3*d**2 - 2*d - 2. Let z be p(2). Is z less than or equal to q?
True
Suppose 4*z - 12 = 4. Let q be 5/(10/z) - (-1 + 117). Which is smaller: -113 or q?
q
Let p = -5846.069 - -5846. Is p at least as big as 38?
False
Let l = 9238 - 13681480/1481. Is l not equal to 4?
True
Let h = -0.3335 + 10.6335. Which is smaller: 0.13 or h?
0.13
Let i be -7 - ((-1651)/15 + -4). Let o = i + -107. Suppose -3*h + 2*n = -4 - 3, 5*h - 5*n = 15. Is o less than or equal to h?
True
Suppose 0 = 5*g + 4*j - 232, j = g - 21 - 20. Let r be (-11)/g + 2/(-8). Let h be (-4)/8 + (-129)/(-42). Is r > h?
False
Suppose -r - 2520 = -16*r. Let w = -154 + r. Is w less than 14?
False
Let o be (-4)/6 + ((-16)/(-12))/2. Suppose 0 = 3*h - 9, 4*h - 14 = -o*i - i. Let j be (-7)/84 - i/3. Which is greater: j or -2?
j
Let v = 11 - -327. Let g = v - 340. Let t = -617 + 15423/25. Is g smaller than t?
True
Suppose 6*b = 11*b. Suppose b = 5*y + 2*u - 2, -y + u + 20 = 14. Which is greater: 10/9 or y?
y
Suppose 22 = -3*g - 44. Let h be -10*(28/(-5) + 6). Let v be 42*h/8*1. Which is smaller: g or v?
g
Let w(f) = f**2 - 12*f - 17. Let n(b) = -3*b + 12. Let p be n(3). Suppose -x + 10 + p = 0. Let a be w(x). Is -3 bigger than a?
True
Let s(n) = n**2 + 7*n + 12. Let u be s(11). Suppose -4*l + 4*q - 168 = 0, 0 = 4*l + l + 5*q + u. Let t be l/105 - (-72)/230. Is t smaller than 0?
True
Suppose 7*p + 21*p + 2*p = 3*p. Is p not equal to 2/1039?
True
Let p be (424/(-12) - 3)*-18. Let y = -302 + p. Is y greater than or equal to 389?
False
Let v be -3*2 - (-1350589)/160369. Let u = 0 - 27/11. Let d = u + v. Which is greater: d or 1?
1
Let j(r) = r**3 + 7*r**2 + 9*r + 20. Let b be j(-6). Suppose -w = s, -40 = -4*w + w + 5*s. Suppose w*v + 20 = 5*z, -2*z - b = 3*v + 15. Is -2/29 bigger than z?
True
Let n = -117.2 - -95. Let r = 21.2 + n. Let a = 34 + -8. Which is smaller: a or r?
r
Let i be (-2)/(-4)*(2 - 2). Suppose 17 = 3*x - 5*k, 5*x - 18 + 1 = -3*k. Suppose i = x*c - 2*c. Do -3/8 and c have the same value?
False
Let u = -1437 - -1436.88. Let i = -2.7 - -1.5. Let z = i + 1.1. Which is smaller: z or u?
u
Let b be (6 + -8)*1035/(-50). Which is greater: b or 2/3?
b
Let z = -10528.907 + 10511. Let a = 18 + z. Is 2 at least as big as a?
True
Let g = 280 + -281. Suppose 45 = -h - 2*h. Let r = -17 - h. Is r bigger than g?
False
Suppose 4*o = 7*o - 4*q + 4, 0 = -5*q + 20. Suppose 0*m - 3*m - 2*c = 6, -3*m - o*c = 0. Are -23/6 and m nonequal?
True
Suppose -20*j + 468 = 32*j. Suppose -12 = 7*g - 47. Suppose -4*x - 4*i + 36 = 0, 2*x - 16 - 2 = -g*i. Is j smaller than x?
False
Suppose -3*m = -0*m + 207. Let a be (28/10 - 0)*32*80/(-128). Let x = m - a. Which is smaller: x or -11?
x
Let v = -0.047 - 31.953. Let o = -55 - v. Let d = o - -49. Which is bigger: -0.1 or d?
d
Let u(d) = 789*d - 25. Let j be u(5). Suppose -j = -5*g + 10*g. Let y = -3105/4 - g. Which is greater: y or 8?
8
Let c = 12732 + -12732.1. Which is greater: 4061 or c?
4061
Let j = -9276 + 9282. Is -6 greater than or equal to j?
False
Let w = -72 + 124. Let i = 232.6 - 198. Let a = i - 35.6. Which is smaller: a or w?
a
Suppose 12*k + 442 = -674. Let u = k + 94. Let c be u + (-3 + 4/2 - -1). Which is bigger: c or -13?
c
Suppose 5*s + 20 = 0, 3*j - 2*s + 317 + 296 = 0. Which is smaller: -1868/9 or j?
-1868/9
Suppose -26 = 2*v + 4. Let r be (5/v + 0)*-25. Let w = r + -8. Does w = 1?
False
Let y = 101 - 99. Let c(d) = -30*d**2 + 5*d - 2. Let p be c(y). Let a = -119 - p. Which is bigger: a or -6?
-6
Suppose -48*a = -11*a + 61605. Is -1667 < a?
True
Let f = 4825 - 4825.72. Are 8 and f unequal?
True
Suppose 0 = 33*o - 25*o + 49*o - 65322. Are o and 1146 equal?
True
Let c(h) = 3*h - 6. Let g be c(2). Let t = -68381/28 + 2442. Is g equal to t?
False
Let y(a) = -40*a - 201. Let o be y(-5). Which is smaller: -8/95 or o?
o
Let n = -174 - -270. Let h = -252 + 155.94. Let s = n + h. Does -0.06 = s?
True
Let h(j) = 2*j - 2. Let a be h(1). Suppose w = -a*w. Suppose 2*k - 7 = -y - 0*k, w = -3*y - 5*k + 25. Is y > 47/3?
False
Let v = -4 - 104. Let o = -108.073 - v. Let t = 0.403 + o. Is t >= -1/4?
True
Let m be (2/4)/((2 - 4)/20) + 504. Is 2/9 at least m?
False
Let i = -97444/143685 - -70/103. Which is smaller: i or -4?
-4
Let i = -3934.1 + 3749. Let z = -185 - i. Which is smaller: z or -1.09?
-1.09
Let w = 401 - 5. Suppose -w = -14*y + 15*y. Is y >= -397?
True
Let n = -1357.34 + -87.66. Do 0.3 and n have the same value?
False
Let n = -685.2 + 2467.2. Is n <= -2/7?
False
Suppose 3*r = -3*q - 834, 4*r + r + 25 = 0. Let u = q - -516. Let b = u - 170. Is 73 > b?
False
Let l be 6/8*(-2 + 18). Suppose -18 = -3*a + 4*h, -27*a - h = -25*a - l. Which is smaller: a or -51?
-51
Let f(n) = -n**3 + 5*n**2 + 2*n + 93. Let o be f(0). Which is smaller: 7 or o?
7
Let z be 2412/(-68742)*(2 + 868/(-874) + -1). Which is bigger: z or 0?
0
Suppose 0 = 3*o - 125 - 259. Suppose 0 = 5*f, -2*p = 4*f - 920 + o. Let s be (-644)/p + 8/44. Which is smaller: s or 0?
s
Let x be 9/((-1296)/32)*54/8. Is 4457 not equal to x?
True
Let l be (-27220)/39930 + 0 + 2/3. Is l greater than 1?
False
Let f = -23 - -24. Let s = -18/53 - -232/371. Is s greater than f?
False
Suppose 3*l + 4*r - r + 6 = 0, 0 = -2*r - 6. Let n be l - -7 - (-23)/(-1). Is -176/13 bigger than n?
True
Let l be (-320)/(-60) + 2/3. Let r = 14 - 12. Suppose l + 0 = r*m - 4*n, 4*m = 2*n. Which is greater: -2/31 or m?
-2/31
Suppose -t = 2*b + 9, 3*b = 4*t + 53 - 28. Let i(r) = -3*r + 2. Let s be i(2). Let h be s/142 + 0 + 0. Is h bigger than b?
True
Let u be -8 + (4 - -13 - 0). Suppose 20*x = u*x - 11. Which is greater: x or 2/193?
2/193
Let q(p) = 39*p**2 - 78*p + 554. Let v be q(7). Is v bigger than -1?
True
Let v be 4/(-6)*(-3 - -453). Let u be (-4)/1 + (-360)/v. Let x be (4/(2 + 0))/2. Is u < x?
True
Let m(c) = 2*c**2 - 5*c + 3. Let n be m(6). Let x(w) = w**3 - 32*w**2 + 40*w - 78. Let b be x(31). Let k = b - 155. Is n at least as big as k?
False
Let n = 1938 + -1916. Are n and 29 equal?
False
Suppose 2*x + 3*a = 15, -3*a = 2*a - 25. Let z = -933 + 993. Let w be (-2)/z*-21 + (-9)/18. Does x = w?
False
Let c = 120.3302 - 0.3302. Which is bigger: 3 or c?
c
Let k(v) = v - 52. Let o be k(45). Let h be o/((-28)/12)*(-85)/(-3). Which is smaller: -0.4 or h?
-0.4
Suppose -15 = 3*q + 3*v - 8*v, 0 = -4*q - 4*v - 52. Let k be q/(-24) - 1/3. Let a be (0 - 1)/(133 + -134). Is a less than k?
False
Let c be ((-20)/(-55))/((-110)/(-363))*(-40)/(-6). Which is smaller: 88/13 or c?
88/13
Let q = -5.375 - -4.3. Let i = q - -0.075. Is i < 11.8?
True
Suppose -5*y = -63 + 13. Let u(c) = -c**2 + 11*c - 11. Let h be u(y). Let a = -410 - -17219/42. Which is bigger: a or h?
a
Let m = 6731 + -6731.111. Which is bigger: 4 or m?
4
Let j = -27 + 19. Let q = j + 6.52. Let n = q - 0.52. Is -1/3 less than or equal to n?
False
Let m be ((-11625)/(-50) - -13) + ((-6)/4 - 1). Is 245 > m?
True
Let h(b) be the second derivative of b**4/6 + 2*b**3 + 5*b**2 + 5*b. Let r be h(-5). Let a be (-92)/(-69)*(-6)/(-44). Do r and a have the sam