-5*h. Suppose 2*r - 3 = 3*r. Let k be r*12/44 + 1. Which is bigger: k or h?
h
Let q(b) = b**3 - 6*b**2 - 8*b - 4. Let s be q(7). Let o = 73 + -82. Which is greater: o or s?
o
Let v = -31.504 - -0.404. Let g = v + 31. Which is bigger: g or -1/4?
g
Suppose 18 = 5*q - 2*w, 5*w + 5 = -5*q - 5. Suppose 9*v - q*v = -644. Let k be (-2)/(-6) + v/132. Which is greater: k or -1?
k
Let h = 4 - 9. Let c = 0.596 - -0.404. Let o = h - c. Do 2/7 and o have different values?
True
Let p be -5 + -231 + (0 - 4). Which is smaller: -243 or p?
-243
Let o = 3/170 - -247/5270. Which is greater: o or 5?
5
Let b = -161.03 + 163. Let x = -0.02 + -0.01. Let q = x - b. Do q and -2 have the same value?
True
Suppose -k - 88 - 7 = 0. Which is bigger: -93 or k?
-93
Suppose -11*o + 93 = 2*g - 8*o, 2*g = o + 81. Is g at most as big as 41?
False
Suppose -7 - 5 = -4*t. Suppose 0 = 5*j + 3 - t. Is 6/7 at most j?
False
Suppose w - 3*d - 1 = -w, -2*w = 5*d - 25. Let y = 60 + -18. Suppose -2*s = -0*k + w*k - y, -k = -5*s - 30. Is k bigger than 12?
False
Let w = 0.0595 - 0.1895. Is -4/9 at most as big as w?
True
Let i = -218 - -218.1. Do i and 327 have the same value?
False
Suppose 10*g - 11*g + 2*k = 0, 2*k = 0. Is g equal to 9.6?
False
Let z = 7 - -4. Let c = -3 - z. Let v = 18 + c. Which is bigger: v or 9/2?
9/2
Let o be (3 + -1 - 8) + 1. Let j(k) = -k**3 - 9*k**2 - 4*k - 22. Let n be j(-9). Suppose m + 3*f + 14 = 0, -2*m - 2*f - 2 - n = 0. Is m less than o?
False
Let l = 35 - 33. Let d = -55/2 - -34. Let y = 7 - d. Is y less than l?
True
Let a be (-261 - -254) + 6/(-970)*-1132. Do a and 0 have different values?
True
Let p = -51 - -50.8. Suppose -7*g - 65 = -3*q - 3*g, -4*q = -g - 78. Is p bigger than q?
False
Let q(w) = 6*w + 3. Let d = -10 + 9. Let x be d/(-1)*(-6 - -4). Let l be q(x). Is l > -9?
False
Suppose 5*o - 52 = -12. Let w(v) = -23 - 3*v + 6*v**2 - 2*v - 137*v**3 + 138*v**3. Let n be w(-6). Which is greater: n or o?
o
Suppose 6*w = 8*w - 4. Suppose 23 + w = 5*c. Is 0.07 != c?
True
Suppose -j + 1 = 4. Suppose -4*b = -7*b + 3, -4*p = -b - 7. Suppose -p*v - 2*v = 0. Is j greater than v?
False
Suppose -37*z + 38*z = 4. Let y be (-24)/(0 + (-30)/4). Is y greater than z?
False
Let k be 2 + (-3 - (-7 + 4) - -4). Suppose 2*t = -4*m - k, -4 = 2*t + 3*m + 3. Which is smaller: -4 or t?
t
Let u = 223342/327 - 683. Which is bigger: 0 or u?
u
Let m(j) = j**2 - 2*j + 4. Let f be m(2). Let l be -2 + (2 - 28)/(-2). Let z be 14 - (l + 1)/f. Are z and 11 unequal?
False
Let v(i) = 14*i + 64. Let x be v(-8). Which is smaller: -51 or x?
-51
Let v = 1867402/517 + -3612. Is v greater than 0?
False
Let o(c) = -c**2 + 34*c - 11. Let d be o(35). Which is smaller: d or -45?
d
Let a(s) = 5*s + 18. Let v(o) = o**2 + 11*o - 29. Let k be v(-13). Let l be a(k). Which is greater: -1 or l?
l
Suppose -10 = 4*z - 3*z. Is z greater than -10?
False
Let l = -854 - -11951/14. Let f = -1/7 + l. Which is greater: 35 or f?
35
Let m = -0.34 - 13.66. Let z = 4.1 - 4. Is z less than or equal to m?
False
Suppose 42*u = 17*u + 25. Which is greater: 40/37 or u?
40/37
Let z = 65 - 55. Suppose -8*p + z = -3*p. Is 14/9 greater than or equal to p?
False
Let b(d) = -d**3 - 14*d**2 - 45*d + 27. Let x be b(-14). Which is greater: 658 or x?
658
Let t = 1.56 + 17.44. Let p = 18 - t. Is p bigger than -2/3?
False
Let w = 0.837 + -0.791. Which is greater: 2 or w?
2
Suppose 5*c - 82 = -5*m - 2, -4*m - 5*c = -68. Let z = m + -10. Suppose 0*x + z*x - 10 = 0. Which is bigger: x or 6?
6
Let p be -4*(-1 + (-18)/(-4)). Suppose 63 = -8*k - 49. Is p less than k?
False
Let d(n) = -n - 20. Let h be d(-4). Let s be 25/(-5) - h - 6. Let o = 0 - -1. Which is smaller: s or o?
o
Suppose -2*g - 6*j + 32 = -j, -3*j = 6. Let p = 88 + -33. Let x = -33 + p. Which is bigger: x or g?
x
Suppose 24*x - 2 = 2*c + 19*x, 0 = c - 3*x + 1. Let k = 1/170 + -93/1360. Which is greater: c or k?
k
Suppose 3*s + 2 - 8 = 0. Let u(m) = -m**3 + 12*m**2 - 3*m + 33. Let l be u(12). Is s less than or equal to l?
False
Let r(t) = 2*t - 4. Let h be r(6). Suppose h - 2 = l. Is l at most as big as 6?
True
Let l = 249 + -248.2. Is -1 greater than l?
False
Let p = 1618.1 + -1795. Let a = 159 + p. Let q = a + 18. Which is smaller: 10 or q?
q
Let o = 2200/205869 - -2/1263. Let z = -137/2119 - o. Is z <= 1?
True
Suppose -2*t = -95 - 231. Which is smaller: 164 or t?
t
Suppose 318 = h + 317. Do -1/141 and h have the same value?
False
Let x(a) = 199*a**3 + 3*a**2 - 6*a + 4. Let n be x(1). Let m be 48/(-72) + (n/(-6) - 0). Is m equal to 2/3?
False
Let p = -1948/5 + 13631/35. Which is smaller: p or -22/13?
-22/13
Suppose -2*v + 20 = 2*v. Suppose -5*b + v*u = 0, 2*b - 5*u + 0 = -12. Suppose 0 = 2*z - 2, -12 = -b*k - 3*z - 5. Which is smaller: k or -1/5?
-1/5
Let i be 2 + (-72)/2 + 0. Let u = 43 + i. Suppose -33 = 12*z - u*z. Is z smaller than -11?
False
Let y = -707 - -679. Let d be -1 + -25 + 0 + -1. Which is smaller: y or d?
y
Let h = -24 - -27. Let j(s) = -s**2 + 5. Let g be j(h). Let d = 0.06 - 2.06. Is g > d?
False
Let x be 57/12 + -4 - 225/492. Let s = 569/1804 - x. Which is smaller: s or 0?
0
Suppose -6 = 2*k - 0*k. Let i be 24/16 - (-25)/2. Suppose 4 = -6*q - i. Are k and q nonequal?
False
Let z be 4 - -65*(-8)/160. Let b = -6 + 5.9. Let q = b - 0. Which is bigger: q or z?
z
Suppose 3*z = -3*v + 9, 2*z - 3*v = 3*z + 3. Let u(o) = -o**3 - 7*o**2 + 4*o + 10. Let a be u(z). Let b = -13019/30 - a. Are -1 and b equal?
False
Let k(o) = 4*o - 165. Let s be k(36). Let l(n) = -2*n**2 + 2*n + 2. Let w be l(-2). Let d = s - w. Which is smaller: d or -10?
d
Let i = -103 - 37. Let f be ((-7)/(i/(-255)))/(-3). Do 0 and f have the same value?
False
Let h be 4*(14/(-8) - -2). Let s be (6/287)/(15/70). Which is smaller: h or s?
s
Let f = -23/2 + 10. Let u(p) be the second derivative of -p**3/3 - p**2/2 - 11*p. Let x be u(0). Is f equal to x?
False
Let j = 954 - 1054. Is -100 bigger than j?
False
Let d(s) = -s**3 - 37*s**2 - 107*s - 54. Let f be d(-34). Is 113 at least as big as f?
False
Let c(h) = -h + 4. Let u be c(-6). Suppose s - u = -s. Let d = 0.3 - 0.2. Is d bigger than s?
False
Suppose 3*o + l = -0*l - 6, -5*o - 10 = -3*l. Let j be 2 - ((0 - o) + -5). Suppose v = j*v + 4. Which is greater: -14 or v?
v
Let l be (-2)/4*8 - (-1730)/(-9). Let k = l - -196. Let a(q) = q**2 - 5*q + 4. Let j be a(4). Is j smaller than k?
False
Let b = -2564 + 2562. Which is bigger: b or -1/160?
-1/160
Suppose -j + 2*f - 6 = 6, 0 = -3*j - 3*f. Is -73/15 >= j?
False
Let f = -749 + 707.32. Let c = f + 41. Let s = c + -0.32. Is -1 bigger than s?
False
Let z = 2673 - 2213. Which is smaller: z or 459?
459
Let u = 5 + -8. Suppose -16 = 3*a - 2*n, 3*n - 21 = 4*a + 2. Is a at least u?
True
Suppose 5*b + 2*w = 3, 4*b + 9 = -5*w + 25. Let z = -64 + 383/6. Is b >= z?
False
Let o = -8 - -7.94. Let f = -86 + 86.14. Let m = o - f. Which is smaller: 1/3 or m?
m
Let j(p) = 5*p + 34. Let q be j(-7). Suppose -2*d - 16 = -5*h, 3*d = -3*h + 17 + 1. Let x be (-175)/84 + d + 0. Are q and x nonequal?
True
Let z be (-3 - -2)/((-1)/13). Let o = z + -8. Suppose -o*j + 3*j - 2 = 0. Is j != -6/11?
True
Suppose -3*c - 17*c = -1680. Which is smaller: 85 or c?
c
Let w = 209815/171 - 1227. Is w at least 2/3?
False
Let q be (109 + -110)*(-3)/(3/86). Which is smaller: q or 85?
85
Let n(r) = r**3 + 6*r**2 - r - 6. Let d be n(-6). Let m(g) = g**2 + 3*g. Let a be m(-2). Is a at most d?
True
Let l(s) = -4*s**2 - 2*s + 5. Let k(c) = -3*c**2 - 3*c + 6. Let i(m) = -5*k(m) + 4*l(m). Let q be i(4). Let a = 25 + -73/3. Which is greater: a or q?
q
Let j = 514 + -500. Is j <= -2/7?
False
Let k be (-1)/4 + (-54)/(-24). Let y(o) = -o**2 - 8*o - 10. Let m be y(-7). Let l be (-2 + 68/36)*m. Which is greater: l or k?
k
Let y = -45830 + 276937/6. Let d = 332 - y. Which is bigger: 7 or d?
7
Let j(p) = 3*p + 1 - 2*p**2 + 0*p - 4*p**2 + 5*p**2. Let v be j(3). Let i be (-11)/(-10) - (0 + 1). Which is greater: v or i?
v
Let z = -97 + -25. Let n be (z/10)/(8/(-40)). Is 60 != n?
True
Suppose -109 = -4*o - 221. Is o <= -28?
True
Let v(q) = 4*q + 201. Let s be v(-50). Are 14/69 and s non-equal?
True
Suppose 4*a - a = 72. Suppose -5*i = -8*i + a. Let t = 9 - i. Which is smaller: t or -1/7?
-1/7
Let s be ((-93)/(-155))/((-1)/(-5)). Which is bigger: s or 42/19?
s
Let y(o)