)*-4. Let i = x - 1. Is 0 greater than i?
True
Let o = -186.781 + -4.319. Let h = o + 191. Is -0.45 greater than h?
False
Let l(h) = -h**2 - 8*h + 26. Let g be l(-10). Let k be (g/4)/(-6 + 3)*2. Is 1/6 < k?
False
Let r = -7414 + 7516. Is r at most 0.7?
False
Let z = 601 + -1066. Suppose 921*t + 254888 = -172456. Is z greater than or equal to t?
False
Let j = 11 + -14. Let i be (-90)/(-210) + (-5)/7. Is j smaller than i?
True
Suppose -4*c - 24 = -4*q, 11*c = 6*c + 2*q - 12. Is c <= 8?
True
Suppose -187 = -5*c - 4*n, 3 = -c + 4*n + 50. Let d(o) = -8*o - 7. Let x be d(-6). Is c smaller than x?
True
Let g(c) = 6*c + 7. Let d be g(-2). Let y = 176.205 + -176. Let u = -0.305 + y. Which is bigger: u or d?
u
Let i be (1/5)/(2800/(-3500)). Is -4571 greater than or equal to i?
False
Let g be ((-58306)/21)/((-10)/10950*-305). Let r = g + 9968. Is r greater than 1?
False
Let d be ((-5)/(-4))/(115/1242) - -1. Suppose -4*h + 12 + 44 = 0. Is h bigger than d?
False
Suppose 0*u - 2*l + 44 = 2*u, -4*u + 64 = -2*l. Let n be (158/12)/(20/120). Suppose 3*s = -5*a - 18 + 89, -n = -4*a + 5*s. Which is greater: a or u?
u
Let n = 0 - -7. Suppose -d + n = -0*d. Let l be (-1)/(-47)*(5 - d). Which is greater: 0 or l?
0
Let t = 0.14957 - -188.28043. Let p = 188 - t. Is -1/4 equal to p?
False
Let g be (8/18)/((-65)/585). Which is greater: g or 7/2?
7/2
Let t be 320 + (-4)/(-10)*-25. Which is greater: t or 309?
t
Let m = -4217 + 4217.1. Is 1.184 < m?
False
Let a = -4.068 + 22.068. Is 9/5 <= a?
True
Suppose -444 = 4*i - 11*r + 7*r, -2*r = -i - 110. Suppose 5*p + 5*d = d - 535, -2*p - d = 217. Is p at least as big as i?
True
Let s = 4250 - 4249. Let n be 4/6*(-45)/(-6). Suppose 2*g + n*z + 51 = 0, 0*g + 5*g = 5*z - 110. Which is smaller: s or g?
g
Let o = 0.09 + -0.1. Let b(f) = f**3 - 25*f**2 + 62*f - 912. Let l be b(24). Is o <= l?
True
Let j be (-2)/12 + (-84688)/(-96). Let d be ((-44)/10 + 0)/(j/210). Is -1 less than d?
False
Let y = -27/2 + 122/9. Let c(f) = -6*f**2 + 7*f - 2. Let r = -214 - -215. Let x be c(r). Is x bigger than y?
False
Suppose 5*b - 823 = 327. Let o = 246 - b. Are o and 4 unequal?
True
Suppose 3*s + 95 = 65. Do 4 and s have the same value?
False
Let n(w) = 1135*w**3 - 4*w**2 - 3*w + 1. Let a = 79 + -80. Let j be n(a). Let x = -116904/103 - j. Which is smaller: 1 or x?
x
Let u = -1138.65 - -1138.7. Is 144 greater than u?
True
Let a = 3 - 2. Let c be ((-4680)/(-1050))/(2/15). Let l = 471/14 - c. Which is smaller: a or l?
l
Let j(w) be the third derivative of 14*w**2 + 0*w + 1/24*w**4 + 17/6*w**3 + 0. Let q be j(-7). Which is bigger: q or -1/3?
q
Let j = 29/28 - 659/644. Let i = -23 - -31. Let p be (i/12)/(-2)*6/2. Which is bigger: p or j?
j
Let p be (-123)/(-984) + (-18)/16. Is -18/163 greater than p?
True
Let n = -79 - -80.06. Let g = 1.16 - n. Is g > -11?
True
Let c = -0.4 + -1.6. Let r = 277.2 + 844.8. Let w = 1124 - r. Which is greater: c or w?
w
Suppose 5133 = -3*v - 9*g, 0 = -0*g + g + 4. Which is greater: -1700 or v?
v
Let z = -6152 + 6151.9. Which is smaller: z or -4?
-4
Let t be 14150/(-275)*88/(-16). Is t bigger than 274?
True
Let g = 17528/5 + -3506. Let k = 41 - 85/2. Do g and k have the same value?
False
Let d(x) = -x + 48. Let u(g) = 16. Let q(y) = 2*d(y) - 7*u(y). Let o be q(-6). Is -1/35 smaller than o?
False
Suppose 0 = -72*x - 29*x - 43*x - 34848. Is -247 equal to x?
False
Let l = -65 + 134.6. Let y = l + -70. Let z = -5.4 - -5.3. Is z < y?
False
Let t be 24/(-32) - (-145)/188. Let i be ((-7 - 1)/(-8))/1. Which is greater: t or i?
i
Let g = -0.1459 + -1.2541. Is 2 at most g?
False
Suppose -5*p = -5*i - 40, -2*i - 3*p + 4 = -p. Let s(q) = -64*q**2 + 5 - 2*q - 3*q + 63*q**2 - 8. Let u be s(i). Is u bigger than 0.5?
True
Suppose -4*k + g + 35 = 11, 5*k - 43 = -2*g. Let r(s) = -20*s - 23. Let c be r(k). Which is smaller: c or -164?
-164
Let n = -20 + 32. Suppose -2*u + n = -3*i, 4*i = -0*i - u - 16. Let g(c) = 8*c - 347. Let w be g(43). Which is greater: w or i?
w
Let w(l) = 6*l**2 - 7*l + 11. Let h be w(5). Let a be (-3)/h*(-1 + 63/69). Which is smaller: a or 0?
0
Suppose 3*y = 13 - 4, 4*t = -3*y + 561. Is 144 at least t?
True
Let v = 21 + -21. Suppose 4*s - 2*k = -7*k + 2, v = s + 4*k + 5. Suppose 5 = -2*f - s*f. Which is smaller: f or 4/65?
f
Let g = 1563.5195 + -1564. Let b = -0.0595 + g. Which is smaller: b or -3?
-3
Let y = -18 - -22. Let a(f) = 2*f + 5 + 17*f + 14 - 10*f + y*f**2. Let g be a(-2). Which is bigger: 15 or g?
g
Suppose 25 = 5*p + 5*c, -4*p = -2*p + c - 11. Let g be (2/(12/746))/((-55)/(-165)). Let s = g + -1117/3. Which is greater: p or s?
p
Suppose 96*k - 159 = 113 - 27 - 53. Suppose -2*s + 3*r = -r + 540, -3*s - r = 831. Which is smaller: s or k?
s
Let o(u) = -u**2 - 34*u - 164. Let l be o(-28). Suppose -l*p + 3*g = -2, p - 14 = 5*p + 5*g. Let z be 78/(-403)*(-2)/(-18). Are p and z unequal?
True
Suppose -2*h + 952 = 15*h. Let w be 5 + 2 + (-376)/h. Which is smaller: 109/3 or w?
w
Let y be (88/(-6) - -1)/(2 + 100/(-60)). Which is greater: 1/77 or y?
1/77
Let n be (-7 - -6)/((-3)/309 + 0). Suppose -3*p - 4*d = -0*d + n, 3*d = 5*p + 191. Is p greater than or equal to -2?
False
Let m(a) = -a + 8. Let f be m(4). Suppose -4*y = -8 - f. Suppose -3*z - 1 = 2*w - 7*w, -y*w + 2*z = 0. Are 2 and w non-equal?
False
Let f be ((-1052)/(-24)*-73)/((-45)/(-10) + -5). Which is smaller: 6399 or f?
6399
Suppose d + 481 = 3*l + 2563, 16*l + 3*d = -11104. Is l > -689?
False
Let h(v) = 53*v**2 + 9*v + 14. Let q be h(-7). Suppose 3*p = q - 2434. Which is smaller: 26 or p?
26
Let c = 11961 + -8254. Which is bigger: c or 3708?
3708
Let h = -15781 + 252769/16. Is 17 equal to h?
False
Suppose -f = 2*q + 533, 3*q + 1235 - 448 = f. Which is smaller: q or 21?
q
Suppose 0*r + 4*r - 28 = 0. Suppose r + 1 = k. Let o be ((-4)/6 - (-2280)/(-171))/(8 + -10). Which is bigger: o or k?
k
Suppose 183*k + 4 = 185*k, -2*w + 1504 = -k. Which is bigger: 755 or w?
755
Suppose 3*u + 8 + 1 = 0. Let d be -7*26*13/(-91). Let h be (-20 - -14)/(d/u). Is h greater than 1?
False
Suppose -4*n = -5*v + 13349, -5*n + 14*v = 12*v + 16682. Does n = 2/3?
False
Suppose 0*l + 2*l + 708 = 4*i, -5*l = -3*i + 524. Let s = -128 + i. Does 154/3 = s?
False
Let y be (1/((-4)/(-5)))/((-1425)/(-912)). Do y and -261 have the same value?
False
Let o = -598.1 + 642. Let v = 50.8 - o. Is 2 > v?
False
Let u be 13/(52/168) + 4. Let c(k) = -8*k**3 + k**2 + 5*k - 5. Let o(r) = -r**3 + r**2 + r. Let z(g) = c(g) - 6*o(g). Let a be z(-4). Which is smaller: u or a?
u
Let g(f) = -14*f**2 - 77*f - 99. Let l(t) = -5*t**2 - 26*t - 33. Let s(m) = -3*g(m) + 8*l(m). Let w be s(-13). Is 74 greater than or equal to w?
True
Let c be 9477/104 - -2*4/(-64). Let y = 200 - 108. Suppose -c*x + 15 = -y*x. Do x and -27/2 have different values?
True
Let x = -101 + 140. Let j = -35 + x. Let i be (0 - (j + -2)) + 44. Which is greater: 40 or i?
i
Let q = 14 + -13.66. Let r = q + 1.36. Let h = r + -0.7. Is -13 greater than h?
False
Let b(c) be the first derivative of -c**3/3 + 7*c**2/2 - 12*c - 2. Let v be b(8). Suppose -j - 11 - 8 - 1 = 0. Do v and j have different values?
False
Let z be 12/(660/143) + -3. Is z at least as big as 1021?
False
Suppose 14*v = -11*v + 54 - 1229. Which is greater: v or -95/2?
v
Let c = -13 - -136/5. Suppose 2*g - 17*b = -15*b + 48, 0 = 2*g + 4*b + 12. Which is bigger: g or c?
c
Let k = -11966 - -11943. Are -47 and k equal?
False
Let k(n) = -6*n**2 + 292*n - 340. Let p be k(47). Are 120 and p non-equal?
True
Let s be (-11)/(132/56) + (-4)/(-6). Let g be s - -3 - 1815/(-1805). Let n = 748/4693 - g. Which is bigger: 0 or n?
n
Let i(f) = 7*f - 4. Let h be i(3). Let d = -40946 + 40954. Which is smaller: d or h?
d
Let h = 754/57 + -40/3. Let s = -193297/53 - -3647. Let w = -40/583 + s. Which is smaller: w or h?
w
Suppose 0 = c - 4*k + 60, c + 48 = -7*k + 5*k. Let m = 56 + c. Suppose 3*f + 4*n + 74 = 0, f + m*n - 34 = 4*f. Is -18 != f?
False
Let m be 3924/(-27)*(-15)/(-12)*(-6)/(-5). Which is smaller: -658/3 or m?
-658/3
Let u = 490 + -334. Let w = u + -157. Which is smaller: w or 32.7?
w
Let k be 3 + -4 + 6/5. Let f = -3.29077 - -0.39077. Which is smaller: f or k?
f
Let x(b) = b**3 - 10*b**2 + 47*b + 97. Let c be x(7). Is c bigger than 267?
True
Let p = 2709.9 - 2710. Which is bigger: p or -9