= 2*h**2 - 2*h - 9. Let w be b(-3). Let g = -12647/4 - -3177. Which is smaller: g or w?
w
Let s = 2/4211 - 11332/6127005. Is 7 less than or equal to s?
False
Let r = -12.3 - -13. Let x = 483 - 482.634. Let p = x + -4.366. Is r <= p?
False
Suppose -722*v = -356*v - 359*v. Which is smaller: v or -139/227?
-139/227
Let y = 58.2323 + -0.1323. Let j = y + -58. Which is smaller: -5 or j?
-5
Suppose -2*o = -d - 2885, 152*d = 151*d + 5*o - 2861. Is d < -5799/2?
True
Let v = 728 + -744. Let q be (-7)/(-8) + (-2)/v. Which is greater: 47 or q?
47
Suppose 14 = 5*i + 4. Let p = 420 + -417. Suppose -i*q + 2 = -p*q. Which is bigger: -2/23 or q?
-2/23
Let r = -18052 + 17939. Is r less than -55?
True
Let m be (-3)/(-13 - (-2054)/116). Which is greater: m or -1?
m
Suppose 0 = -2*j + 4*u - 4, 0*j - 4*j - 4*u = -28. Suppose 4*y - 3*b = -73, -y = 3*y + j*b + 52. Is -4 at most y?
False
Suppose 0 = -36*q - 20597 + 7457. Let l = q + 403. Is l smaller than 38?
False
Let k(r) = r**3 + 10*r - 224. Let p be k(7). Is 189 at least p?
True
Let z = -39.81 + 9.7. Does z = 1/2?
False
Suppose 76*h + 160*h = 236. Which is greater: h or 2/1759?
h
Let t(y) = 3*y + 37*y**2 + 10 - y**3 - 38*y**2 - 7*y. Let b be t(0). Let d(z) = 5*z. Let o be d(2). Are o and b equal?
True
Let f(z) = 8*z**2 - 35*z - 19. Let p be f(-6). Let w = 478 - p. Which is greater: -1/43 or w?
-1/43
Let n be ((-1450)/145)/((-1)/(-4) + 63/36). Let j be 2 - 9 - (-12)/(-4). Which is bigger: n or j?
n
Let k = 68 - 72. Let x be 1386/36 + (-2)/k. Which is greater: 37 or x?
x
Let d = 94515 - 94515. Let p be (3/5)/(134/5). Is p less than or equal to d?
False
Suppose -39*w + 38*w + 9 = 0. Let r = 12 - w. Suppose -r*p + 21 = -3*o, p + 13 + 1 = -2*o. Which is greater: o or -8?
o
Let j(o) = o**2 + 37*o + 41. Let u be j(-36). Let b be 1/u - 1995/(-275). Is 7 greater than b?
False
Suppose -4*n - 5*s - 2076 = -15, -3*n = -3*s + 1566. Are n and -519 equal?
True
Let w = -0.6 + 0.9. Suppose 3898 = -149*p - 36*p - 205 - 152. Which is smaller: w or p?
p
Let o = -80.3 - -67. Let x = 60.7 - o. Let j = 73 - x. Is j greater than or equal to -16?
True
Let t = -1 - 0. Let h = -35432932/825247845 + -116/98915. Let o = h - -2/81. Are t and o non-equal?
True
Suppose -4*c = -p + 41, 6*p + 3*c = 4*p + 27. Suppose 18*h - p*h + 81 = 0. Which is bigger: h or 7?
h
Let y(n) = 127*n - 67. Let d be y(7). Let z = d + -11503/14. Is z >= 1?
False
Let l be 1714/1029 - 7/(63/18). Let n = l - -1/1029. Is n less than or equal to -1/16?
True
Let j be 0 + ((-24)/(-20))/(8/20). Let w be 627/(-1824) + 0 + 1/j. Which is greater: 0 or w?
0
Let x = -24 + -4. Let y = -50 - -56. Suppose 2*b = 2*h - 14, b - 3*h = -11 - y. Which is smaller: x or b?
x
Let u = 37 - -95. Let w = -137 + u. Let r = 3 - 2.97. Does r = w?
False
Let p(w) = 23*w + 18. Let r(l) = -l**3 + 5*l**2 + 5*l + 5. Let y be r(6). Let b be p(y). Is 1 smaller than b?
False
Let d be -8*3/2*(-186)/(-18). Let t = -91 - d. Let o = -64 + t. Is o at least as big as -30?
False
Let g = 198 + -13. Let s = 175.9 - g. Let b = s + 9.2. Is b < 0?
False
Let x be (-2*(-2 - -235))/(50/(-25)). Suppose -19*g + 24*g = 1165. Is g smaller than x?
False
Let a(m) = 14*m**2 + 140*m - 1929. Let p be a(16). Which is smaller: 3894 or p?
3894
Suppose 74 + 92 + 74 = 15*a. Which is smaller: a or 64?
a
Let g be 2694/5 + (-2 - 44/(-20)). Let k = 591 - g. Which is greater: 354/7 or k?
k
Let k(i) = -i - 51. Let p be k(-13). Let n(d) = d - 41. Let q be n(0). Let r = q - p. Which is smaller: r or -1?
r
Suppose 2*o + 4*w = 22 + 10, 0 = 4*o - 4*w - 28. Let q(f) = 2*f**2 + 4*f - 44. Let y be q(o). Is y < 197?
True
Let t(z) = -2*z**2 + 3*z. Let w(s) = s - 2. Let p be w(7). Let k be t(p). Suppose -a = 4*a + 4*r + 169, -5*r = -4*a - 127. Is k not equal to a?
True
Suppose -5*y + 49 = -71. Suppose -2*d - 60 = 3*d. Let b = d + y. Which is smaller: 15 or b?
b
Suppose 5*h = 24 + 66. Suppose 450 = -3*k - h*y + 21*y, 0 = 4*k + y + 620. Are k and -155 nonequal?
True
Let r(a) = 3*a**3 - 15*a**2 + 76*a + 4. Let b be r(7). Which is bigger: 844 or b?
844
Let g(d) = 5*d - 1. Let c(t) = -9*t + 1. Let f(u) = -4*c(u) - 7*g(u). Let k be f(-3). Let m = -24/5 - -687/140. Which is greater: k or m?
m
Suppose 5*t + 2*m - 142 = 0, 4*t - m + 8*m = 92. Suppose 56 = 2*i + 4*v, 3*i + 2*v - 100 = 4*v. Is i bigger than t?
True
Let b = 4729 - 3350. Do 1377 and b have different values?
True
Let s be (-3)/(-2)*(1680/(-423) + 4). Suppose 2*d = 5*x - 37, 3*d + 5*x = 7*d + 79. Let i = d - -21. Is s less than i?
False
Suppose -5*l + 4*r = 17, 0 = 1463*l - 1460*l + r. Is l <= -21/356?
True
Let w(h) = -h**2 + 17. Suppose -8 = -3*i + 4*y, -y = -3*i - 3 - 4. Let l be 0 - 9/(-4 - (i - -1)). Let z be w(l). Is -65 bigger than z?
False
Let m = 37/9 + -232/63. Is -199 bigger than m?
False
Let l(t) = -6*t**2 - 18*t + 52. Let q be l(4). Suppose -4*p + 4*d - 488 = 0, 3*p - 2*p - 4*d = -137. Is q equal to p?
False
Let x = 464 - 447. Suppose -9*h = -5*z - 14*h + 30, -x = 3*z - 4*h. Which is greater: -5/59 or z?
z
Let b be -2*(0 - (-2 + 36)). Let w = 26652 + -26585. Which is smaller: w or b?
w
Let x = 1687.39 - 1687. Let o be (-1)/4*(-4 + (-4)/4). Is x smaller than o?
True
Let n = -350.9 + 350.2. Is n greater than or equal to 46?
False
Let y = 541 + -817. Let f be ((-4)/(-12))/(4/y). Let h = 17 + f. Is -7 at least as big as h?
False
Let q(l) = 14*l + 61. Let x be q(-4). Suppose 8 = x*t - 2*t - 4*a, 0 = -2*t - 5*a - 10. Is 4/363 at least as big as t?
True
Suppose u = 18 - 8. Let q = u - 10. Let w be (-205)/(-60) + (-3 - q). Which is smaller: 1 or w?
w
Let x = 896 + -1777. Which is bigger: -880 or x?
-880
Let l(c) = -c**3 - 2*c**2 + 2*c - 2. Let s be l(-3). Suppose s = n - 0. Let h = -11.0535 - -0.0535. Do n and h have different values?
True
Suppose -16*h + 14*h - 4300 = 4*y, -19*y - 76 = 0. Which is smaller: h or -10704/5?
h
Let u(k) = 12*k**2 + 4*k + 2. Let g be u(-1). Is g not equal to -299?
True
Suppose -70 = -3821*p + 3826*p. Is -3 at most as big as p?
False
Suppose -4*n + 16 = 0, i = -2*n - 0*n + 7. Suppose 4*o = 2*o. Let y = i - o. Is 2/29 < y?
False
Suppose 0 = 7*o - 1793 - 286. Let r = o - 485. Are -189 and r non-equal?
True
Let w(i) = -i**3 + 21*i**2 - 18*i - 5. Let c be w(20). Suppose 3*t = c + 181. Let g be (-1 + 18/10)/(t/(-100)). Which is bigger: -2 or g?
g
Let v be 60/(-234)*6/(-3975)*-3. Which is greater: 1 or v?
1
Let o be (-25)/(27600/101748) + (-4)/46. Is -91 not equal to o?
True
Let j = -211.0106 + 0.0106. Let i = j + 83. Which is smaller: -0.1 or i?
i
Let x(o) = -242*o**3 - 2*o**2 + o + 2. Let m be x(-1). Let b = -240 + m. Is b at least as big as 18/11?
False
Let n = -1337 + 1338. Which is smaller: n or -3/836?
-3/836
Suppose -34 = 102*x + 109 - 41. Is -38/537 greater than x?
True
Let g(l) = -4*l**2 - 117*l - 832. Let n be g(-17). Are n and 11/288 unequal?
True
Suppose -5*i - 15 = -0*i, g + i + 93 = 0. Let m(c) = c**3 - 21*c**2 - 104*c + 5. Let b be m(25). Which is greater: g or b?
g
Let w(n) = n - 16. Let g be w(18). Suppose -g*o = -4*o + 2*j, 5*o = -3*j. Suppose o = -3*v + 6, 7 + 3 = 2*x + 5*v. Which is smaller: 23 or x?
x
Let s(f) be the third derivative of -f**6/120 + f**4/12 + f**3/2 - 8*f**2 + f. Let g be s(2). Is 2/73 bigger than g?
True
Suppose -774 = -2*l - 7*l. Suppose 8 = x + l. Which is smaller: -76 or x?
x
Let o = -1.2656 + 0.2656. Which is greater: o or 1676/11?
1676/11
Suppose l + 192 = -x, 0 = 4*l - 44*x + 45*x + 762. Let h = -189 - l. Is h != -4/65?
True
Let v(d) = -11*d + 17*d + 4 + 2*d**2 - 4*d**2 + 3*d**2. Let z be v(-6). Suppose 3*t + 6 = -5*i, -2*i - z*t = -3*i + 8. Which is greater: -6/7 or i?
i
Let m = 178.129 + -0.129. Let h = -181 + m. Is h greater than -19?
True
Suppose 5*j = -5*c - 0*c, -j = -c + 2. Suppose -3*u - 449 = 2*m, -u - 3*m + 742 = -6*u. Let x = 146 + u. Which is bigger: j or x?
j
Let v be (2/4)/((-7)/(-56)). Suppose 5*z + 3*d = -32, z + 5*d + v = 2*d. Do z and -5 have the same value?
False
Let v(o) = o**2 + 19*o + 76. Suppose -3*w - 34 = -4*b, 0 = -4*w + 3*b - 74 + 24. Let s be v(w). Is 9 equal to s?
False
Let n = -105.818 + -0.182. Let v = 58.2861 - 0.2861. Let o = v + n. Is o equal to -0.1?
False
Let n be 57/(-4)*1*(-5)/(-15). Let m = 1806 - 14483/8. Let l = n - m. Which is smaller: 1 or l?
l
Suppose -11*m - 2*i = -6*m + 1, 0 = -2*i 