ose l = x + 52. Let h = x - -49. Is h bigger than 2/13?
True
Suppose 2*l + 87*y - 90*y - 7196 = 0, 2*l - 7200 = 2*y. Which is smaller: 3603 or l?
3603
Let l be 1969/(-5) + (57/(-19))/15. Is -0.1 less than l?
False
Let z be (-18)/(-48) + 90/16 + 1. Suppose z*q - 20*q = -26. Is q < 1?
False
Let m be -3 + 26/(-3)*39/(-26). Let u = m + -10. Let a be (-50)/186*-1 + (-9)/27. Which is smaller: a or u?
a
Let d = 289.73 - 287.73. Are d and -388 unequal?
True
Let y(t) be the third derivative of t**6/120 + t**4/24 - 13*t**3/6 + 13*t**2. Let h be y(4). Let w be 2/10 - (-39)/h. Is w bigger than -0.1?
True
Suppose -86 + 80 = -3*i. Let s be (-520)/25 + i/(-10). Suppose -2*k - 100 = 3*k. Which is smaller: s or k?
s
Let p = -242 + 143. Which is bigger: -106 or p?
p
Let z = -182/261 + -12/29. Suppose 11*j = 93 - 205 + 101. Is z less than j?
True
Suppose -2*a - 105 - 56 = -m, 5*m + 4*a = 735. Let t = 121 + m. Is t at most as big as 273?
True
Let l be 52 + (11 - 0 - 6) + 6. Let p be (-17 - 3)*((-16)/5 - 0). Which is greater: p or l?
p
Let l = 225.95068 + 0.04932. Which is bigger: l or 0.2?
l
Let n = 468.7 + -510. Let k = -42.3 - n. Which is greater: 0.127 or k?
0.127
Suppose 12*p + 324 = -1848. Which is greater: -165 or p?
-165
Let x = 0.7506 - 0.739. Let t = x + 0.0884. Is t greater than or equal to 2.55?
False
Suppose 0 = 6*t - 2*t + 2*d - 2, -t = 5*d - 5. Suppose 6*q - 1 - 5 = t. Let x = -13/6 - -119/30. Which is smaller: x or q?
q
Let s = -69 + 72. Suppose -s*g + 2 - 19 = -5*y, 0 = 2*y - 2*g - 10. Let t be (-320)/91 - y*(-6)/21. Which is smaller: t or -4?
-4
Let o be ((-11894)/(-6))/(10/(-3)). Let z = o - -594. Let w be 20/(-140) - (-4)/28. Which is bigger: w or z?
w
Let p be ((-4)/6)/(4/108). Let c = p - -3. Let s be ((-208)/(-120)*-5)/(2/3). Is s != c?
True
Let o = -60 + 91. Let t = 7.512 - 8.512. Which is smaller: o or t?
t
Let u = -459 - -459.04. Is -933 at most u?
True
Suppose -39*r + 14 = -37*r. Suppose 8 + r = 5*p. Let k be 3 + (1 - (9 - p))*1. Is -3 at most k?
True
Suppose 0 = 21*s - 8*s - 26. Let j be (-8)/(-16) - 31/s. Is j greater than -15?
False
Let i = -80/133 + 8803/16625. Let d = -541/125 + i. Does -5 = d?
False
Suppose q + 0*q = 14. Suppose 27*l = 148 + 1661. Let g = l - 53. Does q = g?
True
Let h be (6 - 16 - -13)/(((-9)/699)/1). Is h at least 2?
False
Suppose -83*j - 202 + 688 = -245*j. Are j and 997 nonequal?
True
Let t be ((-3)/2)/(-2*(-9)/2172). Which is smaller: -4 or t?
t
Suppose -3*h + 0*h + 3*u + 12 = 0, 0 = 2*h + 4*u - 2. Suppose 3*l = -0 - h. Let z = 32191/15 + -2146. Is z less than l?
False
Let j(v) = v**3 - 10*v**2 + 2*v - 21. Let u be j(10). Let w = -65 - -68. Let t be 0/(3 - w - 1*u). Which is greater: t or 4/27?
4/27
Let l = -23.4 - -23.4. Let g be ((-10)/980)/((-2)/4)*2. Which is bigger: l or g?
g
Let o = 94 - 98. Let y be (-186)/(-12)*(-24)/o. Suppose -b = 4*b + 5*z + 105, y = -5*b - 2*z. Is b at most -19?
False
Let o(b) be the third derivative of -7/2*b**3 - 23*b**2 + 1/8*b**4 + 0 + 0*b. Let a be o(8). Is a less than 5?
True
Let f = -5944990/379 - -15686. Let s = f - -12826/5685. Which is greater: s or 2?
s
Let r = -4.7233 - -5847.7233. Which is smaller: -1 or r?
-1
Let v(u) = 1 + 15 + 2*u + 3 + 3*u - 108*u**2 - 2*u**3. Let i be v(-54). Is i != -252?
True
Let j(v) = v**2 + 2*v - 1. Let s be j(-3). Suppose -a = s*a - 27. Let o = 9551/7 + -9494/7. Does o = a?
False
Let w = -0.1078 - -1.9408. Let l = w + 0.167. Which is smaller: l or 5/23?
5/23
Let q = -1.013 + 0.613. Let r = -7.9484 + 0.0084. Let o = -8 - r. Which is smaller: q or o?
q
Let f be 1/(-10)*-22 + (-1)/5. Suppose 1836 = -2*s - 2*z, s + 0*s + 2*z = -919. Let q = s + 6429/7. Is q >= f?
False
Let j be ((-72)/(-54) + 1)*(3 + (-140925)/46977). Is j at least -1?
True
Let j = 174 + -16531/95. Suppose -111 = -2*w - 87. Suppose w*v + 27 = 27. Which is smaller: j or v?
j
Let a be ((-6)/8)/((-226)/112 - -2). Let h be 33/6*(-20 - -28). Which is greater: h or a?
h
Suppose -4*i + 15 = -2*i + 3*n, -5*i + n + 12 = 0. Suppose -39 = -i*q + 18. Is q greater than or equal to 21?
False
Let j(o) = o**3 + 12*o**2 - 91*o - 13. Let g be j(7). Is 281 less than g?
False
Let r(n) = -n**2 - n + 15. Let a(z) = z**2 - 14. Let o be ((-3)/6)/((-1)/24*-2). Let f(h) = o*r(h) - 7*a(h). Let t be f(7). Which is bigger: t or -3/26?
t
Let f = 3.74291 + 0.04709. Which is smaller: 2/21 or f?
2/21
Let y be ((-1)/5 - 4061/(-38130))/((-1)/(-39)). Which is smaller: -5 or y?
-5
Let d(o) = 6*o - 26. Let v be d(-12). Let a be (37/4)/((-159)/1696). Is v at most as big as a?
False
Suppose -2*t = -15*i - 6096 - 8749, -t = -5. Which is greater: -988 or i?
-988
Let k(c) = -4*c + 1. Let g be k(1). Suppose -14*j - 2481 - 363 = 144*j. Is g at least as big as j?
True
Let q(z) = 9*z - 192. Let g be q(37). Let o = -399 + g. Is o at most as big as 0?
True
Let u be (13 + (-9564)/738)/(4/(-4)). Is -1 at most u?
True
Let q be -57*(1/(-7) - 7/(-21)). Let g = 14205/1309 + q. Which is smaller: 0 or g?
g
Let g(s) = 8*s**3 + 5*s**2 - 20*s - 68. Let f be g(-3). Which is smaller: -206 or f?
-206
Let t = 740846/89 - 8324. Which is smaller: -1/2 or t?
-1/2
Let j be (-4)/(-30) - (-6)/((-540)/(-618)). Which is bigger: 77/12 or j?
j
Let r be (-18)/(1 - (-182)/(-176)). Suppose -4*u = -r + 340. Which is bigger: 48 or u?
48
Suppose 0 = 8*c - 1315 - 109. Suppose 5*u + 149 = -2*i - 217, i + 5*u + c = 0. Is i at least as big as -188?
True
Let a = -374 - -377.3. Let v = 0.4 - a. Is -0.1 != v?
True
Suppose 2*y + 40 = 34. Let r be 1/3 - 2/y. Let c be r/4 - ((-693)/(-28))/3. Is c greater than or equal to -2/5?
False
Let x = -33531 + 570454/17. Which is smaller: 24 or x?
24
Let f(d) = -2*d**3 - 27*d**2 + 78*d - 31. Let x be f(-16). Which is smaller: x or -2/125?
-2/125
Let p = 5501 + -5505.786. Let x = p - -0.786. Is x > -0.65?
False
Let z(j) = 11*j - 124. Let l be z(12). Suppose 2*t = -44 + l. Which is smaller: -13 or t?
t
Let m(f) = 3*f - 45. Let w be m(-15). Let i be 45/w - (-1)/(6/697). Let n = i + -116. Which is smaller: -7 or n?
-7
Let b = 178434/109 + -1637. Let s(x) = x**3 - 9*x**2 - 9*x - 2. Let q be s(10). Suppose 0 = 6*r - q*r - 2. Which is smaller: r or b?
r
Let z = -3115 - -3114.9. Is z equal to 704?
False
Let g = -389/5 + 15814/205. Let a = g - -1281/451. Let i(w) = -w - 3. Let t be i(-4). Is a greater than t?
True
Let b = -0.1818 - 2.8182. Is b greater than 4.93?
False
Let s(i) = i**2 + 6*i - 35. Let n be s(-10). Suppose n*f + 1506 = -5*l + 3*l, -f + 3*l = 308. Is -301 greater than f?
True
Suppose s = -g + 5, -s - 101 + 104 = 3*g. Is s equal to 60/13?
False
Suppose 0 = -9*m - 15*m - 696. Let p(h) = -2*h + 2. Let y be p(m). Is 294/5 < y?
True
Let t = 92 - 92.058. Let d = 0.158 + t. Let r = -0.1 + d. Is r bigger than 56?
False
Let f = -6647/886 - -1/443. Suppose 12 = -4*g - 4*m, -5*g + 5*m + 47 = 12. Suppose q = 7*w - 3*w + 4, 5*q + g*w + 46 = 0. Is f equal to q?
False
Let j = 76313/158 - 483. Let g = 77/316 - j. Is g > 0.49?
False
Let u be (-2812)/563 - (61 + -66). Let b = u + 913/39973. Does b = 5?
False
Let s(o) be the first derivative of -3*o**2 + o + 27. Let x be s(-2). Suppose -x*l - 47 = -229. Which is greater: l or 15?
15
Let k(i) = 7 - 5*i + 56*i**3 - i - 2*i**2 - 2 + 2*i. Let o be k(1). Is o less than 55?
False
Let s = 29 - 27. Suppose -7*k + s = -47. Suppose 0 = -2*v + r + 4*r - 4, 0 = -3*v + r + k. Which is greater: v or 2?
v
Let o = 3766 + -3767. Is 2/1619 smaller than o?
False
Let r = -195.2 + 195. Which is bigger: r or -0.854?
r
Let t = 3229 - 93629/29. Let x = -2558 + 2559. Which is smaller: x or t?
t
Suppose -2*k = -5*u - 8, -11*u - 12 = -15*u - 3*k. Which is smaller: 2/8473 or u?
u
Let z = 21229/391395 - 16/291. Let y = z + 2797/143915. Which is greater: 1 or y?
1
Let y(i) = -2*i**3 - 7*i**2 + 46*i - 26. Let p be y(7). Which is bigger: -732 or p?
-732
Let c = 37637/123 + -306. Let f = 4/2173 + c. Which is smaller: f or 0?
f
Let g be (-147)/14*(-14)/(-3). Let n = g + 281/6. Suppose -10*a = -12*a + 5*t - 36, 3*t - 6 = -4*a. Is n bigger than a?
True
Let o = 7027 - 11505. Is o bigger than 0.2?
False
Let y(u) = 4*u - 128. Suppose 243 = 9*t - 45. Let q be y(t). Let j = 6/115 - 393/920. Is j bigger than q?
False
Let s = -613 - -539. Let x = 79.3 + -1.3. Let i = s + x. Is i less than 0?
False
Let t = 5235.0527 + -5235. Whic