e
Let h = 159/175 + -177878/2975. Let z = h - -59. Which is bigger: z or -1?
z
Let h = -9/95 + -2/19. Let r = -0.1989 + -2.0011. Which is greater: h or r?
h
Let c(b) = b**2 - 24*b - 49. Let w be c(17). Is -168 at least as big as w?
True
Let u = -383/56 + 47/7. Which is greater: u or 0?
0
Let q(a) = -a**3 - 8*a**2 + 12*a + 48. Let c be q(-9). Is 22 less than c?
False
Let b be (96*(3 + -2))/(9/42). Is b at most 448?
True
Let k = 10 + -7. Suppose -3 = -q + 1. Suppose -3*z = 4*c - 2*c - 12, -q*c + 22 = 5*z. Are c and k unequal?
False
Suppose -w - 1 = -2*w - 4*x, -3*w + 3 = -x. Let c be (-1192)/6*6/96. Let n = 59/4 + c. Is w smaller than n?
True
Let a be 17502/(-70) - ((-292)/28 + 10). Is a at most as big as -251?
False
Let k be (-6464)/63 - 2/7. Let v = 103 + k. Suppose -5 = 3*f - u + 5*u, 0 = -2*f - u. Which is smaller: f or v?
v
Suppose -g - 3*l + 23 + 7 = 0, -2*l = 5*g - 202. Let t be 408/g + 2/7. Let q = -7 + 18. Are q and t unequal?
True
Let f = -53 + 24. Let u = -28 - f. Suppose 3*q - g = -5*g + 22, -32 = -4*q - 4*g. Is u less than or equal to q?
True
Suppose -10*s - 2 = -13*s + f, -4*s + 3*f + 1 = 0. Is 1/66 > s?
False
Suppose -3*x + x - 2 = 0. Let m be 11/(-3410)*5*4*-2. Are m and x equal?
False
Let p = 128 + -382/3. Let n = p + 5/6. Which is smaller: n or 2?
n
Suppose -5*t + 3*t + 3*k - 11 = 0, 3*t = -2*k + 3. Let q be 52*t - 12/(-30). Let v = q + 52. Which is smaller: -1 or v?
-1
Suppose -5*h - 11 + 91 = 0. Let k(p) = p + 37. Let i be k(-22). Is i >= h?
False
Suppose -6 = 20*h - 26*h. Let d be 206/(-8) + (-6)/24. Let m be (6/d)/(9/(-6)). Do h and m have the same value?
False
Let m = 819 + -95. Is m bigger than 725?
False
Let f = 9 - 13. Let j = 0.3 + -0.2. Which is greater: j or f?
j
Let s = 131.28 + -2.28. Let v = s - 154. Is -0.1 less than or equal to v?
False
Let w(y) = -y**2 + 5*y - 4. Let g be w(3). Let v be (g - -1) + (-160)/76 + -1. Which is greater: -1 or v?
v
Let b(p) = -14*p**3 + 7*p**2 + 3*p - 5. Let x be b(6). Let w = 10909/4 + x. Let s = 3437/108 + w. Which is smaller: 0 or s?
0
Let s(q) = q**3 + 5*q**2 - q - 5. Suppose 0 = -t - 7 + 2. Let i be s(t). Suppose -6*r = 3 + 3. Which is greater: r or i?
i
Let f(k) = -k**3 + 5*k**2 - k + 12. Let n be f(5). Suppose 6*s + 5 + n = 0. Are -1 and s unequal?
True
Suppose 0 = -y + 3*z - 8*z, 0 = -5*y - 2*z. Suppose y = 2*x - 7*x - 3*g, -3*g = -3*x. Suppose 0 = 2*o + 3*o + 4*h + 16, 8 = -3*o - 2*h. Is x less than o?
False
Let f be 130/(-14)*1*-1. Let k = 281/28 - f. Which is smaller: k or 1?
k
Suppose 25 - 73 = -3*n. Let t be (-2 - 0)/(n/56). Let z = 11 + t. Is z >= 4?
True
Let n = -272 + 1073/4. Which is bigger: n or -5?
n
Let q = 88 + -87.03. Let u = 0.87 - q. Which is bigger: -3/5 or u?
u
Let r = -86 + 188. Suppose -h + 34 - 1 = 5*b, h = -4*b + 27. Let d be r/187*(-2)/b. Is 0 > d?
True
Let n = -11.7 + 20.6. Let g = -6.9 + n. Is g greater than 1/4?
True
Let v(u) = u**3 - 12*u**2 + 12*u - 144. Let o be v(12). Are 2/485 and o equal?
False
Let f be 10/(-160)*-8*4. Let m = -101/28 - -34/7. Which is smaller: m or f?
m
Let s(r) be the third derivative of -r**5/60 + r**4/8 + 2*r**3 - 14*r**2. Let a be s(5). Let z be a + (1 - -4)/(-1). Are z and -2 unequal?
True
Let x = -957/1687 + -1/241. Is x at least 27?
False
Suppose -8*u = -5*u - 6, 4*b = -u + 3118. Is b less than 778?
False
Let b(l) = 2*l**3 - 3*l**2 - 2. Let v be -1 - 3*(-16)/12. Let a be b(v). Is a less than 25?
False
Let m be 1296/192*4/(-30). Is m smaller than -1?
False
Suppose -o = 3*t - 244, -2*o + 245 = 12*t - 9*t. Suppose 4*h = 3*h - t. Is -81 smaller than h?
False
Let i = 532 - 530.7. Which is greater: i or -30?
i
Let y = 2 - 1.9. Let x = 21.16 - 20.81. Is y at least x?
False
Let c = -94205.77 - -94666. Let p = c + -468. Let x = 0.23 - p. Which is smaller: 2 or x?
2
Let c = -750 - -732. Which is smaller: c or -15?
c
Let j be 145/30 + (10/6 - 2). Let m be 19/4 + (-1)/(-4). Let t = m - -1. Which is greater: j or t?
t
Suppose -k - 9 + 4 = -2*s, 4*s - 4*k - 12 = 0. Is s greater than or equal to 5?
False
Let b = -5.06 - -5. Let c = 2.94 - b. Let y be (-6 - 20/(-3))*2/4. Which is smaller: c or y?
y
Let o(c) = -c**3 - 8*c**2 - 7*c - 2. Let r be o(-7). Let b be -1*(2 - 0 - 5). Let d be 2/((r + b)*-2). Is 2/63 less than d?
False
Suppose -3*n + 4*b + 968 = n, n = -b + 232. Which is greater: 240 or n?
240
Let o = 27075 - 13050173/482. Let d = o + 8413/9640. Let m = d + -5/8. Which is bigger: m or 0?
m
Let r be 13 + 1*1/(-2)*-6. Let n be (3 + 8/(-4))*(-6)/r. Is n < 3?
True
Let t(q) = 5*q. Let s be t(3). Let l = s + -8. Suppose -l = -2*g - 3. Which is smaller: g or 3?
g
Let t be ((-15)/12)/(10/(-4)). Let m be (124/36 - 3)*27/6. Which is greater: t or m?
m
Let r = 16 - 28. Let k be (r/(-8))/(12/8). Let w = 372/329 - -4/329. Is w smaller than k?
False
Let b = -1.3 - -1. Let n = 0.78 - 2.68. Which is smaller: n or b?
n
Suppose -13*s + 527 = 1333. Let c = -176 - -115. Is c at most as big as s?
False
Let s be (-1509348)/(-6624) - 2/(-16). Let z = s - 228. Which is smaller: 0 or z?
z
Let b be 0 + (0 - 0/(-2)). Let c = -19214163/1445 + 13297. Let o = c + 4297/27455. Which is smaller: o or b?
b
Suppose 82 = 38*x + 2590. Let s(r) = -64*r**2 - 2*r + 1. Let h be s(1). Which is greater: x or h?
h
Let d = 2 + -13. Let i(z) = 8*z**2 - 210*z + 42. Let a be i(26). Is a equal to d?
False
Let c = 845 + -849.43. Let m = -1.43 - c. Which is greater: -1/2 or m?
m
Let v = -0.19 - -0.1. Let f = 1.09 + v. Let i = -4 - -6. Which is smaller: i or f?
f
Suppose 0 = -3*v + 5*y - 2*y - 75, -5*v - 5*y = 175. Which is bigger: v or -31?
v
Let w be 1/(-3)*2/(-6). Let k(t) = -87*t - 957. Let o be k(-11). Which is smaller: w or o?
o
Suppose 0 = -2*s - z + 20, 2*s - 20 = 2*z + 3*z. Let i be (-30)/((5/s)/((-2)/6)). Does i = -1?
False
Let y = -42 + 44. Let a = -0.2 + y. Is a >= 2?
False
Let q be 44/130 - 450/(-375). Do q and 2 have the same value?
False
Let v = 141 + -204. Let w = v - -825/13. Are w and -4 nonequal?
True
Suppose 82*x - 17 = 83*x. Suppose o - 18 = 2*o. Let q = o - x. Which is smaller: q or 0?
q
Let n = -2 - -17. Let m be 2/(-6) + (-160)/n. Suppose -55 = 7*z - 2*z. Is m at least as big as z?
True
Let k(u) = -2*u - 8. Let t be k(-5). Suppose 0*f + 4*f - 10 = -t*p, 0 = -5*f - p + 11. Suppose a + 6 = -f*c, -3*a + 0*a - 13 = c. Is c <= -9/7?
False
Let z be (-35)/(-105)*(-102)/2. Which is bigger: -78/5 or z?
-78/5
Suppose -7*k = -812 + 1225. Is -58 at least as big as k?
True
Let z be (-7449)/(-29892) - ((-4)/(-16) - 0). Which is smaller: 1 or z?
z
Let v = -275459/25599 - 5/3657. Which is greater: 1 or v?
1
Let p(m) = m**3 - 2*m**2 - m. Let g be p(2). Let o = 2109 - 8449/4. Which is smaller: g or o?
o
Let a be (130/50 - 3)/(12/(-21)). Let z = -35/3 - -11. Which is greater: z or a?
a
Let c be ((-20)/(-1))/(34/(-238)). Is c < -135?
True
Let v be (-8)/(6 - 2) - -1. Let u be 0*(v + 2)*1. Which is greater: u or 2?
2
Let n = 13/6 - 11/6. Which is greater: n or -170?
n
Let l(f) = -3*f - 15. Suppose 3*s = 6*s + 15. Let a be l(s). Suppose -2 = -4*y + 2*y. Which is greater: a or y?
y
Let s = 11238/5 + -2248. Are s and 618 non-equal?
True
Let u be (0 + 2)/2 + (-1118)/962. Which is bigger: u or -1?
u
Let r = -87.596 - 0.004. Let h = -88 - r. Is h smaller than 2?
True
Let j = -0.94 + -0.06. Let q be (-3)/3*(-1)/(-1). Let d be ((-6)/(-27))/q*-3. Is d > j?
True
Let j = -1.6722 - -0.0722. Is j >= 2?
False
Let i be ((-4)/(-10))/((-32)/1860). Let h = 23 + i. Are 8 and h unequal?
True
Let f = -449.1 - -449. Are 348 and f equal?
False
Let c = -4758 + 1803284/379. Let f = c + 4921/1137. Is f at least as big as 3?
True
Suppose -5*t + 47 - 2 = 0. Let z = -52 - -31. Let y be t/z - (2 + -2). Which is bigger: y or 0.1?
0.1
Let u = 2882 + -2882. Let w = -25 - -11. Is u at least as big as w?
True
Let a = 21 - 22. Let h = 1.02 + a. Do 0 and h have the same value?
False
Let u = -14 + 8. Let n = 2 + u. Let r = -6 - n. Which is smaller: -0.6 or r?
r
Let c be (-1 - 508/(-85)) + 10 + -15. Is c equal to 1?
False
Suppose 0 = 3*j + 4*j - 14. Suppose 15 = 3*i + 2*i, j*u = -4*i + 10. Is u bigger than 1/4?
False
Suppose 0 = 8*r - r - 21. Suppose -r*f - 79 = 3*t + f, f + 51 = -2*t. Is t less than -1?
True
Let h be (-327)/9 + (-8)/(-6). Let i = h - -41. Is i at most as big as 28/5?
False
Suppose 0 = 5*r - 4*b