 w = -42.261 - -21.184. Let q = w - -0.077. Which is greater: -1 or q?
-1
Let h = 21820676/153 - 142622. Let y = -32/9 - h. Is 0 equal to y?
False
Let o = -2 - -7. Let p = -4 + o. Let n be 3/(-2) + 6 + -4. Which is smaller: n or p?
n
Suppose -5*w + 8 = 2*x - 2, -w - 15 = -3*x. Is w greater than -9?
True
Let c be 15442/2574 - 3 - (6 + -3). Which is greater: c or -2/7?
c
Let l be (1 + 1)*-2 - (-585)/146. Suppose 0 = -4*u, -5*t + u + 4 = -1. Which is greater: l or t?
t
Let n = 280.2 + -276. Are n and 3 nonequal?
True
Let g be (-5*(-10)/(-56))/((-1)/(-2)). Which is smaller: g or -3?
-3
Let r(o) be the third derivative of -o**6/120 - o**5/60 + o**4/24 + o**2. Let i be r(1). Let b = 385/9 - 389/9. Which is smaller: b or i?
i
Let x = -230 - -230. Are x and 21 equal?
False
Let u(z) = z**2 - 9*z + 9. Let f(h) = h**2 - 15*h - 26. Let g be f(17). Let o be u(g). Which is bigger: 2/109 or o?
o
Let c be (-66)/15 - -4 - 21/(-15). Let l = 84 + -89. Is c greater than l?
True
Let c(i) = 1 - i**3 - 3*i - 8*i**2 + 14*i + 17. Let z be c(-9). Let f be -2*((-18)/(-14) + -1). Which is smaller: z or f?
f
Let n = 272 - 271. Let c = 9.6 + -9. Let k = c - -0.5. Is n less than k?
True
Let d be ((-1)/2)/(1/(-2)). Let a be (-10)/6 - 2/(-3). Let c = a - d. Is c bigger than 0?
False
Let f be (-4)/2 + 4 + -6. Let z be ((-4)/1)/((-15)/(-45)). Let m be ((-2)/(-4))/(6/z). Is f bigger than m?
False
Let u = 51.3 + -72.3. Is -1.8 greater than u?
True
Let o be (-3 - 2)/(-1) - 4. Let l be o + (-1)/((-1)/(-1)). Let i = -2 + l. Which is smaller: -10/11 or i?
i
Let l = 11 - 6. Suppose -3*n + 3 = 4*p, l*n - 10 = -4*p + 3. Suppose 0*z + 5*z + 30 = 5*f, n*f = -2*z - 19. Which is bigger: -3 or z?
-3
Suppose 2*l + 6 = 5*c - 7, 4*c = 5*l + 7. Let x be (-31)/3*(l + 5). Which is bigger: 2 or x?
2
Let g be (-17)/(2 - (6 + -9)). Is g not equal to -3?
True
Let q = -9/4 - -2. Let t = -1/36 - -8/45. Is q <= t?
True
Let i = 1.323 + -1.372. Are -3 and i non-equal?
True
Let t = 3.9 - 4.2. Suppose 2*g - g + 3 = -2*i, -4*g - 4*i = 0. Suppose u + u + f = 2, -3*u + g = 4*f. Is t bigger than u?
False
Let y be (1864/(-80) - -23)*70/(-26). Which is smaller: 1 or y?
y
Let h(l) = -l - 12. Let a be h(-17). Suppose 1 = a*g - 4. Is 1 less than g?
False
Let k = -12/17 + 94/85. Let t = 331 - 3644/11. Let j = t + 20/33. Is j at least k?
False
Let m = 322.2 - 320.477. Which is smaller: m or 0?
0
Let z be (-1)/75*(-315)/(-882). Is 0 bigger than z?
True
Let k(s) = -s**3 - 6*s**2 + s + 57. Let q be k(0). Is 55 < q?
True
Suppose 4*h = -5*n + 10, 15 + 7 = -n + 4*h. Let w be 21/6 - (-3)/n. Let c(k) = 2*k - 3. Let y be c(3). Is y at most as big as w?
False
Let s(a) = -a**3 - 10*a**2 - 5*a + 19. Suppose 5*v + 2 = 2*p, 2*p + 5 = v - 9. Let j be s(p). Which is smaller: -14 or j?
j
Let r(z) = -z**3 - z**2 + z + 1. Let j be r(-2). Suppose 15 = j*n - 2*n. Is n at most 15?
True
Let w be 15/(-25) - (-18)/5. Suppose -w*j - 9 = -4*r, -j = -2*r - 0*j + 3. Which is bigger: -11 or r?
r
Let u be (-73876)/(-78) + 5/15. Let k = -947 + u. Let q = 61/104 - k. Which is greater: 1 or q?
1
Let s = 11.07 + -11. Let y = s - 0.18. Which is smaller: -2 or y?
-2
Let s be 2 + -1 + -9 + -1. Let t(d) = -d**2 - 9*d + 2. Let q be t(s). Let k be (4 - q) + 21/(-18). Which is smaller: 0 or k?
0
Suppose -58*a + 48*a = 580. Is -58 less than or equal to a?
True
Let o(v) = -15*v + 37. Let j be o(4). Which is greater: -0.04 or j?
-0.04
Suppose -4*h + 4 = -3*y, 4 = 4*h - 5*y - 0. Let k = 887 + -6193/7. Which is bigger: k or h?
k
Let i = 0.3 + 2.7. Suppose 6*w - 10*w - 7*w = 0. Which is bigger: w or i?
i
Let s = -453 - -420. Which is bigger: -97/3 or s?
-97/3
Let y = -1 - -1.04. Let b = -0.74 + y. Let w = b - -1.7. Which is smaller: -1/2 or w?
-1/2
Let b = 53 + -176. Is b at most as big as -0.4?
True
Let t be 20/(-2)*51/(-51). Let n(a) = a**3 + 5*a**2 - a + 4. Let b be n(-5). Which is smaller: t or b?
b
Let d be (-2)/((-2)/168*-3). Let l = -86 - d. Let h be (0 + 6 - 4)*(-93)/6. Is l not equal to h?
True
Let m(n) = -6*n**2 - 22*n + 74. Let g be m(8). Are g and -485 equal?
False
Suppose -2*j + 2*v - 147 = j, 0 = -3*j + 5*v - 156. Which is bigger: -44 or j?
-44
Let i = 3/44 + -7/264. Let y(n) = -n**3 + 8*n**2 + 19*n - 2. Let r be y(-2). Is r at least i?
False
Suppose -3*m = 5*q - 383 + 395, 3*m = 4*q - 12. Is -2/2883 less than q?
True
Let b = -1.4 + 1.67. Let t = -32.27 + b. Let s = -31 - t. Is s at most as big as -2?
False
Let s = -65 - -65. Which is greater: -1 or s?
s
Let z = -2/1677 - -2061/9503. Let y = 2/17 + z. Which is greater: y or -15?
y
Let u = 0.8 - 8.8. Let k = 15 - 26. Let x = k - u. Is x at least -0.4?
False
Suppose 6*g + 144 = 5*g. Let h be (2/5)/((-1095)/g). Let p = -2/73 - h. Which is smaller: -1 or p?
-1
Let s = -28105/94 - -299. Is 0 not equal to s?
True
Let u be -68 - (-6)/((-6)/(-5)). Which is smaller: -59 or u?
u
Suppose 0*o = o - 3. Suppose -o*p - 1 + 13 = -m, -3*p + 4*m = -12. Let f = 2 + 3. Which is smaller: p or f?
p
Let l = -1552 - -1541. Which is smaller: -0.27 or l?
l
Let r(q) = q**3 - 5*q**2 - 36*q + 7. Let z be r(9). Suppose -5*h + 3*h = -4. Suppose 1 = -c + 5*l + z, 0 = -5*c + h*l + 7. Is -4/9 greater than c?
False
Let n be -11 - -9 - (-2 + 1). Let m = -3061 - -33709/11. Let s = -310/77 + m. Which is smaller: s or n?
n
Let n be (3 - 1)*(-16)/(-10) - 3. Let h(s) = -s**3 - 15*s**2 - 27*s - 13. Let l be h(-13). Is n at least l?
True
Let a = 14 + -34. Let q be 18682/40 - 4/a. Let n = 464 - q. Which is greater: -2 or n?
-2
Suppose 44 = q - 5*q. Let p(z) = -z**3 - 10*z**2 + 14*z - 3. Let u be p(q). Let x be (-8)/14 + u/84. Are x and -3 nonequal?
True
Let f = -1.52 - 3.78. Which is smaller: f or 3?
f
Let q be ((-9)/(-6))/((-18)/24). Let o be 1 + 0*q/(-8). Are o and -1 equal?
False
Let v = -1891 - -1894. Does v = 82/23?
False
Let t be (-3*15321/(-54))/((-8)/16). Let k = t + 1687. Is k greater than -16?
True
Let r be (6/(-4))/(1/(-2)). Suppose 2*o - 3*i - 9 = 0, -r*o + 0 = 5*i - 4. Suppose -4*m + o = -5. Which is greater: m or 1?
m
Suppose -45 = 51*r - 56*r. Let f be (-3)/r*-1*(-9)/3. Is -1/120 at most f?
False
Let f(i) = -14*i**3 - 2*i**2 - i. Let a be f(-1). Suppose -g = -a - 1. Suppose -10*q + 55 = -75. Which is bigger: g or q?
g
Suppose -26 - 5 = -31*i. Is -3/212 greater than or equal to i?
False
Let p(n) = -415*n**2 + 6*n + 12. Let w be p(2). Is -1636 not equal to w?
False
Suppose 4*p - 3161 = -3217. Does -1.9 = p?
False
Let v = 25547/53 + -482. Let z = v - 56/159. Which is greater: z or 0?
0
Suppose -a = 4*l - 0*l - 23, 0 = 3*a - 9. Suppose -3*b - 2*b - 3*x + 6 = 0, b - 10 = -l*x. Is -9/7 bigger than b?
False
Suppose 0 = 11*q - 9*q - 48. Let h be (q/28)/((-54)/28). Which is smaller: h or 0?
h
Let w(g) = 3*g**2 - 36*g + 37. Let r be w(11). Which is smaller: r or 13?
r
Let x = 1.4 - -6.6. Let r(h) = 14*h + 463. Let u be r(-33). Which is smaller: x or u?
u
Let j(s) = s**2 - 6. Let b be j(3). Suppose 4*v - r = -b*r + 14, -5*r = 5. Which is smaller: v or 3?
3
Let t be 34/30 + (-7 - -6). Let x be -3 - 2*(-2)/8*-2. Let y be x/22 + (-12)/(-66). Is t > y?
True
Let d be 8/(-32) - 309/12. Let u = d + 28. Suppose -u*n = -9*n. Which is smaller: n or 3/14?
n
Let b = 15 - -18. Let j be -112*-2*(4/(-10) + (-475)/(-875)). Is j >= b?
False
Let i = 7733/2 + -3699. Which is greater: 168 or i?
168
Suppose 5*i - 8*i - 231 = 3*a, -151 = 2*i + 5*a. Is -233/3 at most i?
False
Let q = 196 + -196.968. Let m = 0.032 - q. Let x = -0.24 - -0.4. Is x at least as big as m?
False
Let x = -7/71 - 121/213. Which is greater: 33 or x?
33
Let v = 8 + 8. Let k be 522/6*1/6. Is k <= v?
True
Let x(p) = -p**2 - p - 3. Let t be x(0). Suppose -6*f - 6 = -5*h - 2*f, -f = -4*h + 7. Let y be (0 - h)/(t/18). Is -1 smaller than y?
True
Suppose -12 = -2*p + 19*v - 15*v, 10 = -2*v. Let u(h) = h**3 + h**2 + 5. Let o be u(0). Suppose -3*l = -0*l - t + 13, -3*l - o = t. Which is smaller: l or p?
p
Let p = -5 + 7. Suppose 0 = -p*h - 8*u + 3*u - 18, -4*h = u. Let m be (4/9)/((-4)/(-6)). Is h at least m?
True
Let v = -949 + 8587/9. Are v and 6 nonequal?
True
Let c be (20/(-16))/(2/(-8)). Suppose u = 355 + c. Let r be (-2)/7 + u/819. Are r and -1 non-equal?
True
Suppose 0*t - 4*t - 9 = -3*z, -5*z = 5*t + 20. Let n be 2*-2 - (4 - 13). Let q be 28/35 - z/n. Are q and 2/33 equal?
False
Suppose 