3 - 168 = -h, 2*u + 2*h + 54 = 0. Let l = 1 + 65. Let m be (7/((-63)/(-12)))/((-4)/l). Is u at most m?
True
Let f(i) = -i**3 + 2*i**2 + 5*i - 6. Let c be f(3). Suppose 2*g - 74 + 24 = c. Let y be g/(-15) - (-2 - -3). Which is smaller: -2 or y?
y
Let f be (0 - -2) + 1 + -13. Let u = -17/3 + 2009/354. Let v = -3307/354 + u. Is f greater than v?
False
Let n(p) = -4*p**2 - 8*p - 3. Let d be n(6). Suppose 512*a - 23790 = 634*a. Are a and d equal?
True
Let z = 11 + -42. Suppose s - 3*x + 1688 = 1685, 2*x = 2*s + 50. Are z and s equal?
False
Let u = -6668 - -6668.485. Which is smaller: u or -1/14?
-1/14
Let k = 413 - 282. Suppose 321*z - 2358 = 303*z. Is z less than or equal to k?
True
Let v(s) = s**2 - 2*s + 33. Let y be v(-7). Let i be ((-64)/y)/((-4)/(-18)). Let z be 2 - (32/10 - -1). Which is smaller: i or z?
i
Let l(p) = 20*p + 5. Let j be l(-9). Let x = -154 - j. Let q be (-1)/(-2)*0 + 0. Which is greater: q or x?
x
Let b = 24/23 - 74/115. Let w = -89.637 + -0.363. Let x = 100 + w. Which is bigger: b or x?
x
Let z be 4/18 + (-183)/(-27). Suppose 0 = -6*x + z*x + 22. Let v be (-276)/(-792) - (-4)/x. Is -1 bigger than v?
False
Suppose 445*p = 475*p - 72780. Which is smaller: p or 2427?
p
Let v = 500.7 + -522.7. Which is smaller: -6/35 or v?
v
Let t be ((-15)/6 + 2)*-10. Let p be (t/((-40)/3568))/(-2). Which is smaller: p or 222?
222
Let x = -30695 - -30754. Suppose 5*s + 2*z - 193 - 101 = 0, 129 = 2*s - 3*z. Do x and s have the same value?
False
Let d be (-909)/6*6/(-9). Suppose 4*h = -1 + d. Suppose 39*p - 1144 = -13*p. Which is bigger: h or p?
h
Suppose -5*t + 80 = 80. Let y be ((-1184)/(-56))/(t + (-4)/(-14)). Is y equal to 74?
True
Let a = -1426.9 - -1334. Let n = -92.8 - a. Which is greater: 204 or n?
204
Let j be (-32)/144 - (4 + 1456/(-396)). Let q = -1 + 3. Suppose 4*b - q*v = 2*v - 16, -4*v = -5*b - 15. Which is bigger: j or b?
b
Suppose 5 = z + 4. Suppose 4*p - 2 = -c, 6 = -c - 3*p + 7*p. Let o be c/(-5)*140/(-644). Is o > z?
False
Let b = 1528 + -1384. Is b less than 1860/13?
False
Let s be (15/20 - ((-14079)/(-180))/(-19)) + -5. Which is smaller: -199 or s?
-199
Let r = 1430890/4752761 + -448/1517. Is r <= 0?
False
Let p be (-18)/3 - (-172)/24. Let o = 25/18 - p. Which is greater: o or -1?
o
Let b = -0.0925 + -2.0285. Let m = b + 0.021. Let u = -2.3 - m. Which is smaller: -2/17 or u?
u
Let w = -30 + 38. Suppose -5*i = -4*a - 12, -3*a + 2*i - 18 = -w*a. Suppose a*m + 2*m - 8 = 0. Do m and 3/4 have the same value?
False
Suppose 3*o + 3*r + 1215 = 0, 0*o + 5*o = -2*r - 2019. Which is bigger: o or -405?
o
Let c = -244.3 + 244.018. Is -1/14 less than c?
False
Let f = 93 - 94.21. Let g = 4.21 + f. Let q = 2.97 + -3. Which is bigger: g or q?
g
Let h be 24/(-333)*3159/2964. Is h at least as big as 0?
False
Let p(g) be the third derivative of 0*g + 1/120*g**6 - 3/8*g**4 - 21*g**2 - 7/60*g**5 + 0*g**3 + 0. Let v be p(8). Which is bigger: v or -4?
-4
Let n(q) = -q + 4*q + 10 - 8*q. Let g be n(5). Let u be ((-8)/(80/g))/3. Is -68 < u?
True
Let g = 180.767 - -0.233. Let h = 270 - g. Let f = h - 89.2. Is 3 != f?
True
Let h(u) = -286*u**3 + 16*u**2 - 20*u + 7. Let x be h(2). Which is smaller: -6773/3 or x?
-6773/3
Let n = -12.04 + 8.17. Let b = n - -60.87. Is 0.1 at most as big as b?
True
Let o be 56/4 - (11 - 1 - 1). Let p = 3 + -1. Are p and o equal?
False
Let q(j) = 3*j**2 - 84*j + 50. Let n be q(27). Let k(y) be the first derivative of -y**4/4 + 16*y**3/3 - y**2 + y + 4. Let g be k(16). Does g = n?
True
Let h be ((-30)/45)/(4/(-30)). Let q be (h/(-15))/(88/12 + -3). Are -1 and q unequal?
True
Let c(q) = 162*q + 29. Let v be c(1). Suppose 5 = v*y - 186*y. Let k = 6/77 + 1/77. Which is greater: y or k?
y
Suppose -35 = 3*r + 5*z, -35 + 14 = 2*r + 3*z. Let y = -2663/6 + 445. Which is smaller: r or y?
r
Let i = 0.11249 - -9.52551. Let w = -9.6 + i. Let m = w + -66.038. Which is smaller: m or -1?
m
Suppose 150255 = -69*p - 15*p + 3255. Are p and -1748 unequal?
True
Suppose -21 = 5*r - 12*r. Let x(z) = -z**3 - 4*z**2 + 10*z + 7. Let v be x(r). Let h = 26 + v. Which is smaller: 8/29 or h?
h
Let r = -151 - -58. Suppose 1144 = -38*y - 2352. Which is smaller: r or y?
r
Let c be 1 + -1 - ((-102933)/21216 + 3). Let o = 3/544 - c. Let q = 61 + -64. Which is smaller: q or o?
q
Let q be ((-4)/110*-11)/(4/20) + 10259. Which is greater: q or 10260?
q
Let q(y) be the second derivative of y**3/6 + 19*y. Let a be q(6). Suppose -a*x + 162 = -0*x. Which is greater: 28 or x?
28
Suppose 5*z = 5*v - 5, -5*v = -4*z + 8*z - 23. Suppose 2*j - x - 109 = 0, -3*j + x = -0*j - 166. Let w be (3/(-18))/(j/27*v). Which is smaller: w or -2/3?
-2/3
Let q = 30.89 - 31.33. Is q <= -24?
False
Let a be (-8)/(13/3 + -5). Let c be 147/(0 + -3) + a/(-4). Suppose 52 = 5*h - 6*h. Is c smaller than h?
False
Let p = 12327 + -135810/11. Let a = -299/11 - p. Which is bigger: a or -8?
a
Let r = -94683 + 13823639/146. Which is bigger: r or 0?
0
Suppose 0 = 3*t - 2*m - 17, -6*t + 19 = -2*t + m. Let s be (t/(-25))/(4/(-140)). Is 59/8 greater than or equal to s?
True
Let d(w) = w**3 + 2*w**2 + 7. Let y be d(-3). Let b be -2*1/y*1. Suppose 9 - b = 2*g. Is g >= 0?
True
Let t(a) = -127*a + 1187. Let p be t(-8). Is p at least as big as 2203?
True
Let t = -4062.3 - -4062. Which is smaller: t or -5520?
-5520
Let t = -14690 - -14668. Are t and -246 equal?
False
Let v = 0.0391 - 0.05. Let m = 0.5191 - v. Is 1 smaller than m?
False
Let m be 3/2 - (-4815)/90. Which is smaller: m or -2?
-2
Let f = -173 - -174.1. Let k = 1.02 - f. Which is bigger: -2/7 or k?
k
Suppose 5*p - 4*d - 362 = 799, -3*p + 691 = -d. Suppose -p*k + 227*k = -62. Is k smaller than 1?
False
Let l be 141/2*14/(-21). Let b = -469329/10148 + -4/2537. Is l greater than b?
False
Suppose -3*v + 3*u = 78, 20 = -2*v - 2*u - 16. Suppose c - 2*o + 4 = -10, -5*c = -4*o + 82. Which is smaller: c or v?
v
Suppose 4*c - 5*q = 26, -22 = -2*c - 0*c - 2*q. Let n be (18/72 - (-22)/8) + c. Let m = 2253 - 13453/6. Which is bigger: m or n?
n
Let k be (-12)/(-18)*(-45)/6. Let x(a) = 4*a + 10. Let j be x(k). Let q be ((14/j)/7)/(12/(-5)). Is 2 less than or equal to q?
False
Let v be 264/777 - (-4)/(-14). Suppose 0 = -2*m - 2*d + 32, 80 = 6*m - m - 5*d. Suppose 3*x = m*x - 13. Is x at most v?
False
Suppose -18*c - 4*c + 18 = -31*c. Do -115/43 and c have different values?
True
Let j(n) = -n**2 + 81*n - 690. Let y be j(10). Which is bigger: y or 512/25?
512/25
Let i be -1*(-1 - -2) - (-158 + -38). Is 1766/9 >= i?
True
Suppose -8 = -4*u, -y = -u + 1 - 2. Let a be (2/y)/(84/18). Suppose 24*v = 8*v. Is a < v?
False
Suppose 0 = q + 27*q - 5208. Suppose 294 = -8*w - q. Which is smaller: -55 or w?
w
Let n be (-2 + -2)*(-434)/8. Let t = n + -653/3. Is -40 less than t?
True
Let w(k) = k**2 + 4*k + 2. Let z be w(-2). Let v(n) = -5*n + 1. Let p be v(z). Let q(x) = -5*x**2 - 118*x - 172. Let u be q(-22). Which is greater: p or u?
p
Let n = 15 + -15.45. Let z = n + -23.55. Let r = -25 - z. Are r and -1/5 equal?
False
Suppose s = 1 + 2. Let q(v) = -v**3 - 31*v**2 - 34*v - 117. Let u be q(-30). Suppose u = s*t - 0*t. Which is greater: t or 10/19?
t
Let p = -88 - -217. Let u = -89 + p. Let l = -34 + u. Which is smaller: 11/2 or l?
11/2
Let a = -5.747 - -0.347. Let t = -6.4 - a. Let z = 0.09 + -0.02. Is t greater than or equal to z?
False
Let f = 18 - 4. Suppose 2*b = -b - 3*a + 6, -3*b + a = -f. Suppose 0 = -t - b*t. Which is smaller: -6/7 or t?
-6/7
Let o = 469 + -774. Which is smaller: o or -303?
o
Let v(w) = -332*w**3 + w**2 - 1. Let s be v(-1). Let z = -7303/22 + s. Let j be (-1)/(-2) + (-3)/2. Is j bigger than z?
False
Let d be (-7 - 0)*(500/(-41825))/(-10). Is d >= 0.1?
False
Let w be 58/((-34)/(-72) - (-38)/(-171)). Suppose -t = 3*a - 816, 4*t - w = 3*a - 1033. Are -1/4 and a non-equal?
True
Let i be (-2 + -3)*72/(-45). Let x be (i/(-36) + 64/(-36))*-2. Is x > 2?
True
Let t(a) = -90*a**2 - 385*a - 1. Let l be t(-5). Which is bigger: -14 or l?
-14
Suppose -11*k + 7*k + 24 = 0. Suppose p = -k*p + 175. Let o be ((-5)/(-10)*-2)/(p/(-3)). Do -1 and o have the same value?
False
Let p be ((-324)/(-567))/(342/14). Let q be -2*((-5)/(-2))/5. Which is greater: p or q?
p
Suppose 81 = 15*n + 21. Suppose -z + 0*p + n*p = 61, 0 = 3*z + p + 235. Is z bigger than -77?
False
Let k = -2 +