 7. Suppose u + 9 = -2*z. Which is greater: z or w?
z
Let d = -778 + 1445/2. Which is smaller: d or -55?
d
Suppose 71*y = 56 - 56. Which is smaller: -4/445 or y?
-4/445
Let c = -516 + 517. Is c greater than or equal to 0?
True
Let g = -3.03 + 0.03. Let a be 2*1/(-112)*138. Let w = 19/7 + a. Is g >= w?
False
Let v = 43.7 - 47. Let k = 4.7 + v. Let d = -1.9 + k. Which is bigger: d or -2?
d
Let j be (-49)/(8/(-8 - -32)). Is -143 > j?
True
Let c = 45934 + 15398. Let j be (2/(-30))/(7480/c). Let r = 1/850 + j. Which is greater: r or 0?
0
Let v = 518/5 - 103. Let g = 1441 - 1439. Is g less than v?
False
Suppose -3*a = -4*d + 61 + 14, -5*d + 86 = 4*a. Let x be 93/d*18/28. Let r = x - -1/84. Is r equal to 3?
False
Suppose 0 = 8*w - 14*w + 144. Suppose 2*r - 14*r = -w. Let a(o) = o + 6. Let h be a(-5). Which is smaller: r or h?
h
Let a(o) = -2*o**2 + 168*o - 642. Let x be a(80). Let t be (7/12)/((-1)/3). Which is smaller: x or t?
x
Let a = -957 - -760. Is a greater than or equal to -199?
True
Suppose 38*d = 40*d - 550. Are 275 and d equal?
True
Let h be 2/6*3/(-4). Let u = 16/77 + 15/11. Let z = u + -37/28. Which is greater: h or z?
z
Let i = -200/7 + 143/5. Which is bigger: 0 or i?
i
Let h be (-6)/(-18) - 2/6. Suppose r - 1 = h, 5*a - r + 33 = 132. Is a less than 21?
True
Let y = -3.7 - -0.7. Let x = -223.15 - -218. Let i = x - -0.15. Which is smaller: i or y?
i
Suppose -3 = 3*m - 0*m. Let g be (-1 + 31)*2*(-30)/9. Let h be ((-1 + 2)*1)/(40/g). Which is smaller: m or h?
h
Suppose 0 = 2*a - a - 13. Suppose 17*d = 356 - 152. Is a at least d?
True
Let c = 13 + -19. Let s be ((-2)/(-70))/(3 + 15/c). Which is smaller: 1 or s?
s
Suppose -2509 = -28*b + 1523. Which is smaller: b or 143?
143
Let u(o) be the third derivative of o**6/120 + 2*o**5/15 + 5*o**4/12 - 7*o**3/6 + 9*o**2. Let r be u(-6). Is r >= 5?
True
Suppose 19*i - 263 = -14722. Which is smaller: -760 or i?
i
Let c(p) be the second derivative of -p**3/3 - 7*p**2 - 7*p. Let q be c(-9). Let g be (0/(12/q))/1. Which is smaller: 4 or g?
g
Suppose -2*f + 35 + 3 = 4*k, -6 = -2*f + 4*k. Let p = -7 + f. Suppose -3*r - 3 = -4*r + 4*q, -p*q = 4. Do r and 1/10 have the same value?
False
Let u be 4/(((-9)/(-6))/(9/(-12))). Let b be 8/(-40)*130/8. Is b != u?
True
Let l be (-16 + 37)*(-1 - -3). Let m = l - 52. Is m equal to -12?
False
Let m = -130 - -124. Which is smaller: m or -8?
-8
Suppose -w = -0*w - 5. Suppose s = 2*k + 8, -k + w = -9*s + 4*s. Which is greater: k or -3?
-3
Let j = -1249/455 - -19/7. Suppose -33*v = v. Are v and j equal?
False
Let y = 10.13 + -10.44. Which is bigger: 0.01 or y?
0.01
Let o be (-59)/(-5) - 1/(-5). Let i(s) = 4 - o*s**3 + 4*s - 3*s + 0 - 5. Let u be i(1). Is u less than -11?
True
Let c be (-16)/20 - (-57)/15. Suppose 2*v + c - 1 = 0. Which is bigger: v or -1/6?
-1/6
Let d = 178 + -142. Let p = 36 - d. Is p at most as big as 122?
True
Let m = -671 + 477. Which is smaller: -195 or m?
-195
Let x = -342 + 335. Is -61 < x?
True
Suppose 0 = 324*r - 329*r - 15. Which is bigger: r or 0?
0
Let r be (-4)/((-36)/21)*3. Suppose -s - r = -4. Let u = s + 3. Which is smaller: -2/3 or u?
-2/3
Let r(q) = -q**3 + q**2 - 6*q + 6. Let p be r(3). Let x = p - -27. Is 0 at least as big as x?
True
Let o = 3165/8 + -394. Does 2 = o?
False
Suppose 4*f - 3*p = -15, 10*f + p + 5 = 8*f. Let l(u) = -u**2 + u + 3. Let g be l(3). Do g and f have different values?
False
Suppose 0 = 2*y - 4*j - 16, 4*y = 5*j - 2*j + 32. Let w = 40 - 30. Which is greater: w or y?
w
Let c(y) = -4*y**3 - 3*y**2 - 4*y - 2. Let x be c(-2). Let t(n) = 2*n + 26. Let v be t(0). Is v at most as big as x?
True
Let c be (-11)/((-275)/10) + 334833/(-470). Let s = c + 712. Which is smaller: 0 or s?
s
Let f be (1 + -4)/((-2)/10). Suppose -f = -5*x + 3*y + 2*y, 16 = -4*y. Let a be (-70)/(-66) - (x - -2). Is a >= 1?
False
Let d = 159 - 109. Let w = d - 50.4. Is -5 bigger than w?
False
Let s be 5 - (-410)/(-38) - (-7 + 3). Which is smaller: -2 or s?
-2
Let w(v) = -v**2 + 21*v - 10. Let k be w(6). Is 80 equal to k?
True
Suppose -3*w = -w + 44. Let l be (2*8)/(2/8). Suppose -20 - l = 4*v. Is w at most v?
True
Suppose -k - 2 = -2*b + 7*b, -k = 4*b + 2. Suppose b = -h - 3*h + 240. Suppose 0 = -5*c + o - h, -3*o - 26 = 2*c + 15. Which is bigger: -14 or c?
c
Let r = -17.5 - -0.5. Let b = 18 + r. Let y = -0.9 + b. Is 1/9 at least as big as y?
True
Let k(q) = -8*q**2 + 21*q + 54. Let b be k(11). Is b greater than or equal to -0.1?
False
Let x = 1200 + -1199.83. Is x less than -20/9?
False
Suppose 2*s - 5*x = 5, -3*s + 30 = -x + 3. Suppose -575 = 21*o - 4523. Let n = o + -179. Which is bigger: s or n?
s
Let h = 1.92 - 1.42. Which is greater: -29 or h?
h
Let m(v) be the first derivative of -v**3/3 - 7*v**2/2 + 5*v + 2. Let r be m(-7). Suppose s - 11 + 5 = 0. Is r smaller than s?
True
Let w = 3613 + -382975/106. Which is smaller: 1 or w?
w
Suppose x + 0*x + 4*f - 13 = 0, 5*x - 5*f = -60. Let a(y) = 10*y**2 + 2*y + 11. Let b be a(-3). Suppose -100*o = -b*o + 10. Is o not equal to x?
True
Let n(l) = l**3 - 7*l**2 + 7*l + 5. Let p be n(6). Let w be -1 - (p + 0)*-1. Let j be (-1 + -13)*5/w. Is j bigger than -7?
False
Suppose -4*o - 12*t = -15*t - 61, -4*o + 46 = 2*t. Is -4/11 >= o?
False
Let k = 2 + -9.55. Let m = k + 7.6. Let d = -1.6 - 0.4. Is d at most m?
True
Let f(n) = -n**3 + n**2 + 3*n. Let b be f(2). Let z = 26 - 13. Suppose z = -5*y + b*o, 3*o + 0 = y + 13. Which is smaller: y or 0?
y
Let a = 0.95 + -0.917. Let y = -1.967 - a. Which is greater: y or -10?
y
Suppose b + 19 = 5*x, 2*b + 3*x - 5 = 9. Is b >= 3/5?
True
Let q be (-84)/((-38)/14 - -2). Let g be ((-118)/5)/1*5. Let u = g + q. Is -1 bigger than u?
False
Let u = -152 + 137. Which is smaller: -2/11 or u?
u
Suppose -3*b - 3 = 3*h, 2*b + 5*h = -0*h - 14. Suppose b*x - 5 - 4 = 0. Which is greater: x or 2?
x
Let m = 8 - 3. Suppose -2*r = -7*r - m. Let b = -1445/1374 + 50/229. Is r greater than or equal to b?
False
Let l be 116/(-21)*132/(-88). Which is greater: l or 7?
l
Let l = 696747/283 + -2462. Is l bigger than -1?
True
Let n = -147 - -1005. Let p be 5/(-2)*n/(-65). Is 31 at most p?
True
Let a be -3 - ((-4)/10 - (-992)/(-420)). Is -2/5 > a?
False
Suppose 6*y + 14 = -n, -5*n + 3*y - 7*y + 34 = 0. Is 6.4 at least as big as n?
False
Let y = -2 + -5. Let s = 2 + y. Which is smaller: -54/11 or s?
s
Let n be (0 + 2/(-3))*969/437. Is n greater than or equal to -1?
False
Let d = 16 + -38. Let p = -21.6 - d. Let y = p - -2.6. Are -0.1 and y nonequal?
True
Let a(i) = i**2 - 4*i - 5. Let k be a(5). Let t = 569244/241 - 2362. Is k at most as big as t?
True
Let u = 1687/3 - 535. Which is bigger: u or 26?
u
Let x = 43.9 + -19.9. Which is bigger: -1/4 or x?
x
Let u(x) = -5*x - 3*x**2 + 8 - 2*x**2 - 12 - x**3. Let t(v) = v. Let m be t(-4). Let d be u(m). Which is smaller: d or -8?
-8
Let x(s) = -s**2 + 12*s + 15. Let z = -7 - -20. Let v be x(z). Suppose 4*b + v*g = 14, b = -3*b + g + 5. Is 2/7 > b?
False
Let o = -18 + 17. Let j = -0.26 - -0.66. Which is smaller: j or o?
o
Let p = 40 + -40. Let h = -14 - -15. Which is bigger: p or h?
h
Let r be 2379/273 + 2/7. Suppose -5*b - n = 4*n - 5, b - 10 = 2*n. Suppose -5 = -w + b. Is w > r?
False
Suppose 2*b - 13 = f, 7 + 64 = -5*f + 4*b. Is -14 at most as big as f?
False
Let u(s) = s - 9. Let l(x) = -3 + 2*x - 1 - 4. Let v be l(8). Let a be u(v). Which is smaller: 1/36 or a?
a
Suppose 2*v - 2*u = 0, 0 = -u + 1 - 2. Which is bigger: v or 1?
1
Suppose o + 2*o = -51. Suppose -4*p - 3*k = 68, -5*p - k - 60 - 25 = 0. Is o at most p?
True
Let k = 13 + -1. Let q(o) = -4*o**2 + o. Let s be q(1). Let a be s + -4*k/(-16). Is a equal to 0?
True
Let n be (-31767326)/336 - (-21)/14. Let c = 94545 + n. Let v = c + -19/24. Is v < 1?
True
Let l(h) = -h**3 - 7*h**2 + 11*h + 29. Let g be l(-8). Suppose -14 - 26 = -g*z. Which is smaller: z or 7?
7
Let c(r) = -r**3 - 14*r**2 - 14*r - 3. Let p be c(-13). Suppose 3*m = -3*f + 3, f - 2*f - 4*m + p = 0. Is f at least -1?
False
Let h = -10 + 9. Let g = -40 - -38. Let v be (-8)/g - (-5796)/(-1458). Is h at most v?
True
Let o = 17 - 14. Suppose o*i = -2*i. Suppose 0 = -2*a - 2 - i. Which is smaller: -1/7 or a?
a
Let a = -408/5 + 82. Suppose 97*u = -123 + 802. Is u <= a?
False
Let p(z) = -z**3 - 2*z**2. Let s be ((-8)/(-28))/((-1)/(-7)). Sup