*2 + 2*h + 1. Let o = 17 + -18. Let g be l(o). Suppose -2 - 2 = g*y. Which is bigger: 2 or y?
2
Let w(t) = -t**2 + t + 1. Let o be w(-3). Let u(n) be the third derivative of n**4/6 - 5*n**3/3 - 3*n**2. Let g be u(0). Which is smaller: g or o?
o
Let a(g) = -g**3 - 12*g**2 + 29*g - 20. Let j be a(-14). Which is greater: j or -29?
-29
Let t = 41 - 18. Let m be (-18)/(1 - (-10)/(-5)). Suppose -2*x = -28 - m. Is x greater than t?
False
Let c = 40.6 - 37. Let v = 2.6 - c. Let g be (-1)/(-15) + (-8)/20. Which is smaller: v or g?
v
Let u be (-132)/(-16) + -8 - 658/8. Which is smaller: u or 0.8?
u
Let u = -0.035 + -47.965. Which is smaller: u or 0?
u
Let p = -141 + 428/3. Suppose -v + 0*v - 5*t = -29, -5*t = -25. Suppose -d = d - v. Is p <= d?
True
Let i be -3 - (-9 + (-762)/(-129)). Which is smaller: i or 2?
i
Let d = -263 + 51. Let n = 119 + d. Let y be (90/n + 1)*-2. Which is smaller: y or 0?
y
Let c(w) = 6*w + 1. Let s be c(-3). Suppose -7*t - 140 = -0*t. Let n = s - t. Which is bigger: 1 or n?
n
Let v(l) = l**2 + 2*l. Let n be v(-2). Suppose 4*u + n + 52 = 0. Let y be (-4)/(-14) - (-12)/(-63)*75. Which is smaller: u or y?
y
Let l be (-14 + 16)/((-2)/(-23)). Which is smaller: 20 or l?
20
Let u(h) = 18*h + 45. Let s be u(-1). Is s at most 5/7?
False
Let o = -6 + 6.01. Let h = o + -10.01. Let w = 8 - 8. Which is smaller: h or w?
h
Let r = -0.1163 - -0.4563. Let s = 0.3 + -0.2. Which is bigger: r or s?
r
Let z be 1416/24 - (-5)/1. Is 64 greater than or equal to z?
True
Let w(p) = p**3 - 4*p**2 - 5*p + 1. Let m be w(5). Let o = -4141 - -115947/28. Which is greater: m or o?
m
Let o = -49 - -56. Let f = -21 + 12. Let t = f + o. Which is bigger: -3 or t?
t
Let z be 130/(-11) - (-2)/(-11). Which is smaller: -23 or z?
-23
Let h = 2.04 - 0.04. Let c = 179 - 178.4. Which is greater: h or c?
h
Let b(c) be the first derivative of 2*c**3/3 + 15*c**2/2 + 6*c - 35. Let n be b(-10). Is n at most 54?
False
Let k = -3.4 + 3. Let m = 2278 - 27319/12. Let v = 5/3 - m. Which is smaller: v or k?
k
Let f = 110.3 - 116. Let k = f - -6. Which is greater: k or -3/4?
k
Let z(l) = l - 2. Let x be z(4). Suppose -16 = x*b - 3*m, -m + 4*m - 12 = 0. Suppose 45*t + 55*t - 3*t = 0. Is t < b?
False
Suppose 2 - 16 = -d. Let v be (d/(-4) - -4)*2. Which is greater: v or 2/65?
v
Let n(h) = 7. Let w(d) = d + 14. Let a(l) = 5*n(l) - 3*w(l). Let q be a(-7). Let t be (-14)/(-8)*12/q. Is t smaller than 3?
True
Let v = 12.8 + -13. Let t = 5 + -6. Let a be 1/(t + (-1 - -1)). Is v at most a?
False
Suppose 0 = 2*p, -4*l + p - 2101 + 409 = 0. Are l and -421 equal?
False
Let q be 4/14 - (-80)/(-3220). Which is greater: -2 or q?
q
Let a be (5 + -5)*(4 - 3). Do a and 1/232 have different values?
True
Let z = 1875 + -1884.01. Let n = -0.01 - z. Let o = 9.2 - n. Are 0 and o nonequal?
True
Let f = -0.29 - 38.71. Let o = f - -39.07. Is 2/11 bigger than o?
True
Let w be (18/(-12))/((-3)/16). Suppose -1 = -h + w. Is 9 bigger than h?
False
Let t = -40 - -40.19. Let j = t - 0.1. Let u = 0.39 - 0.49. Is u != j?
True
Suppose 4*l - 3*k - 62 = 0, 4*l + 16*k - 14*k = 72. Which is smaller: l or 18?
l
Let k = -0.31 + 7.31. Let q = k - 6. Are q and -1 non-equal?
True
Suppose -19*c + 16*c + 3 = -5*j, -4*c + 4 = 0. Is -2/597 >= j?
False
Let a be (5 - 7 - -5)/(6/(-10)). Are 10 and a non-equal?
True
Let a = 0.01 - 56.01. Let g = -55 - a. Is g equal to 1/34?
False
Suppose 27 = 3*k - 0*b + b, -5*b + 55 = 5*k. Let f = k + -5. Let o = -0.83 + 0.93. Do f and o have different values?
True
Let f be ((-6)/945)/((-25)/(-125)). Are f and 1 equal?
False
Let c(q) be the first derivative of q**4/2 - 2*q**3 - 9*q**2/2 + 18*q - 48. Let b be c(4). Is 64/5 > b?
False
Let a = -1803/2 + 903. Is 0.011 greater than a?
False
Let m(l) = -3*l**3 + 6*l**2 + l + 4. Let v(t) = -8*t**3 + 17*t**2 + 3*t + 11. Let r(i) = -11*m(i) + 4*v(i). Let w be r(-1). Is 4 at most w?
False
Let f(h) = h - 2. Suppose 7*k - 4*k = 72. Let m be (3/2)/(9/k). Let x be f(m). Is 4 >= x?
True
Let g = -14327/23 + 623. Let l(m) = 1 + 0*m**3 + 5*m**2 - m**3 + 0. Let i be l(5). Is i bigger than g?
True
Let u be 5/(-5)*(1 - 2). Which is smaller: 2/213 or u?
2/213
Suppose -4*b + 68 = -2*i, -i = -5*b + i + 85. Is 2 greater than or equal to b?
False
Let i = -185/22 - -7603/946. Is i smaller than 1?
True
Let k = 1666.81 - 1663. Are -0.2 and k equal?
False
Suppose -10*c = -1223 - 247. Suppose c*i = 145*i + 22. Which is greater: i or 10?
i
Let c = -0.07 - -0.07. Let g = c - -2. Let p = -7 + 6. Is p > g?
False
Let c be (196/(-2646))/(3/4). Is -1 at most c?
True
Let a be (-10)/(-14) + 4/(-14). Does 1 = a?
False
Let s be (-1 + -1)/(4/46). Suppose 13*u + 5 = 18*u. Let p = -21 - u. Which is smaller: s or p?
s
Let f = -11 + 3. Let n = 0 - f. Let a = n - 8.02. Is -1 greater than a?
False
Suppose -3*v + 93 = -7*v + 5*x, -5*x = -2*v - 39. Suppose 0 = -14*l + 11*l - y - 74, -y + 4 = 0. Which is bigger: l or v?
l
Let b = 0.3 + -0.3. Let p = 34 + -21. Let a = 9 - p. Is a bigger than b?
False
Let g = -1.253 - 591.747. Which is bigger: g or 2?
2
Let o = 14 - 19. Let a be 3 + 1 + o - -17. Let m = -18 + a. Are m and -1 nonequal?
True
Let i be 1/(-3 + 0) - 0. Let z(v) = -v + 10. Let g be z(7). Suppose -4*f = -3*f - g*h - 7, 4*f + 5*h + 6 = 0. Which is bigger: i or f?
f
Let h = 36 + -35. Let q be 32/(-4)*h/2. Which is greater: -3 or q?
-3
Let t = 7484/19 - 394. Suppose -v = -3*z - 2, -5*z - 4*v - 8 = -z. Which is bigger: t or z?
t
Let f = 101.9 - 102. Suppose 0 = -3*k + 4*c + 15, 3*k - 2 - 13 = 3*c. Let r be 1/(-2) - k/(-10). Which is greater: r or f?
r
Let l(f) be the second derivative of f**5/20 + f**4/12 - f**3/2 - f**2/2 - 6*f. Let i be l(2). Is i <= -2/5?
False
Suppose 3*d - 21 = -3*f, -3*f + 4*f - 5 = d. Let t be 10 + (-6)/(18/(-15)*15/(-12)). Is t smaller than f?
False
Let l = 9 + -15. Let g be 4/15*(-5585)/l. Let w = -248 + g. Do 0 and w have the same value?
False
Let c = -9/20 + -207/340. Suppose 0 = b + 3*m, 2*b + 3*m - 2*m = 0. Is c less than b?
True
Let t = 64 - 92. Let n = t + 26. Let u(v) = v**3 + 5*v**2 + 3*v - 4. Let o be u(-4). Are o and n non-equal?
True
Let c be 18/2*3/9. Suppose 5*w - 10 = 0, 2*a + c*a = 5*w - 85. Which is smaller: -16 or a?
-16
Let r = -883 + 882. Is r greater than -4/107?
False
Let x(j) = -3*j**2 + 13*j. Let i be x(4). Let l be 16 - -2*(-3)/3. Suppose 1 + l = 3*p. Is p greater than or equal to i?
True
Let w = -0.0834 - 4.7166. Which is smaller: w or 7?
w
Let m(k) = -10*k - 19. Let g be m(-2). Let o = -1.1 + 1.7. Let q = o - -1.1. Do q and g have the same value?
False
Suppose 0*p + 360 = 10*p. Let d be 120/p*(-2 + (-7)/(-2)). Which is smaller: d or 1?
1
Let m(a) = 23*a + 114. Let g be m(-4). Is g greater than 18?
True
Suppose -7*l - 233 = -233. Is -2/3 less than l?
True
Suppose 0 = 5*k + 4 + 81. Let w = 17 + k. Let z be -9 + (w - 0/5). Is z < -9?
False
Suppose -408 = -8*q + 4*q. Suppose -2*t - 5*p + 25 = q, -t - 37 = 3*p. Let v = t - -183/4. Is v less than or equal to 1/3?
True
Let a = 3/313 - 1571/626. Let s be (8/(-6))/((-8)/(-4)). Is a bigger than s?
False
Suppose -3*c = -3*n + 126, -5*c + 2*n = n + 190. Let z = c - -25. Let d = z + 13. Which is bigger: 4 or d?
4
Let n = -0.1 - 8.9. Let i = -79.1 - -61. Let p = i + 18. Is p at least as big as n?
True
Let s be (90/(-12) + 3)*34. Is s greater than -150?
False
Let q = 115273/205 + -2813/5. Which is bigger: q or 2?
2
Let l(r) = 3*r + 10. Let x be l(-4). Suppose 28*f + 3 = 25*f. Which is smaller: x or f?
x
Let r be (-33)/15 - 24/(-12). Suppose 4*c = 3*m + 10, -2*c + 12 = 2*m - 0*c. Suppose -m*f + 4 = -6*f. Is f at least r?
False
Let q = 518.1 - 489. Let s = 29 - q. Is s != 0.4?
True
Let r = -21 + 28. Suppose 9 - r = 2*k. Is k != 7/6?
True
Let u = -0.266 + 0.036. Let w = u - -0.13. Let r = 9 + -3. Is r bigger than w?
True
Let g(h) = 4*h**2 + 9*h + 5. Let y be g(-11). Suppose -10*f + y = -4*f. Let z be 36/10 + 26/f. Which is bigger: 3 or z?
z
Let w(r) = 3*r**2 - 15*r - 1. Let d(q) = -2*q**2 + 7*q + 1. Let l(p) = -5*d(p) - 2*w(p). Let c be l(-4). Let i be 2/9 - 180/c. Is i <= -5?
False
Let z(l) = -l**2 + 10*l - 1. Suppose 0 = -5*i - 3*f + 44, -4*i + 5*i - 2*f - 14 = 0. Let p be z(i). Let y be (p/(-1))/((-8)/(-56)). Is y not equal to 7?
False
Suppose 9 = -z + 5*f, -12 = -2*z + f + 3*f. Let c be (z/(-12))/(8/12). Wh