9. Let m be v(-14). Suppose -4*o - 90 = -m*s, -3*o + 21 = -4*o + 2*s. Suppose -y - 42 = -4*h, 0 = -0*y + 4*y - 3*h + 116. Is o <= y?
False
Let h = -626 + 627. Which is bigger: 409 or h?
409
Suppose -2*p + 14 = 3*x + 23, 2*p + 1 = 5*x. Let q be (3 - 2)*(-1)/x. Which is greater: q or 1/314?
q
Let t be 16 + 4811/697 + -4. Is 19 bigger than t?
True
Let u(b) = -39*b + 128. Let j be u(23). Let h = j + 770. Which is smaller: 15/19 or h?
15/19
Let d = -76720 - -76809. Let j be ((-5)/(-2))/(1/2). Suppose -449 = -j*g - 2*h, 0 = 4*g - 5*h + 2*h - 350. Is d less than g?
False
Suppose -2*d - 383 + 73 = 0. Let q = -6340 + 6185. Is d bigger than q?
False
Let i = -834 + -64. Is -895 bigger than i?
True
Let l(n) = -n**3 + 10*n**2 - 12*n - 67. Let j be l(10). Which is bigger: -182 or j?
-182
Suppose 12 = 24*c - 20*c. Let x(z) = z**2 + 3*z - 7. Let m be x(9). Suppose c*f - 5*g + 73 = 0, -6*f - m = -3*f + 2*g. Do -32 and f have the same value?
False
Let q = -27 + 25. Suppose -4*h = 4*r - 7*h - 875, 5*r + 3*h = 1114. Let t be 4/(r/(-39) - 2/(-3)). Which is greater: q or t?
t
Let o be (-4 + 0)*-1 + (-4403)/1088. Let c = o + 53/2496. Is c less than or equal to 2/15?
True
Let d(q) = -3*q**2 + 86*q - 930. Let m be d(10). Let t be 5*-93*6/(-15). Let f be (2 + m/t)/(5/30). Is -1 <= f?
True
Let x be 1 + (0 - (1 - 2)). Suppose q - 2 = x*q. Let y be (-3 + 2)*(3 - 1). Is y <= q?
True
Let g = -0.06 + 0. Let j = -2597.86 + 2598. Which is smaller: g or j?
g
Let s(k) = -49*k + 8. Let q(y) = -5*y - 1. Let h(m) = 8*q(m) - s(m). Suppose 5*u + f = 13, 0*u + 5*u = f + 7. Let i be h(u). Is i at least 8/7?
True
Let z = -1.56688 - 7448.30312. Let g = -7495 - z. Let x = g - -45. Which is smaller: -3 or x?
-3
Let p = -15537/472 + 263/8. Which is bigger: 8 or p?
8
Let a(i) = i**3 + 7*i**2 - 11*i - 21. Let c be a(-8). Suppose 3*l - 12*p = -9*p + 12, -5*l - 20 = c*p. Is l greater than -3?
True
Suppose 61*x - 68*x - 252 = 0. Let y be 18/x - 6/(-4). Are y and -4/89 nonequal?
True
Suppose 5*u + 4 = 4. Let v(s) = 9*s + 6. Let q be v(3). Let i be (-55)/q + (-8)/(-6). Which is smaller: i or u?
i
Let h be (28 - (54 + -28))/((-4)/(-43162)). Is 21581 equal to h?
True
Let a be (-1)/(7/147*7). Let z be (0 + (-4)/17)*a/12. Are -3/10 and z non-equal?
True
Let c = 3077 + -3236. Which is greater: -13 or c?
-13
Let b = 4935/1898 + -187/73. Is 1/12 <= b?
False
Let z = 36618 - 27463. Is 9155 >= z?
True
Let a = 93363/6601 - 6/6601. Is a equal to -6?
False
Let f be 291*((-180)/54 + 2). Is f greater than or equal to -388?
True
Let g be (16/260)/(-3 - 51/(-15)). Let z = -77 - -77. Is z bigger than g?
False
Let u = -32873 - -29211. Is 0.2 smaller than u?
False
Let s(a) = -215*a - 1936. Let t be s(-9). Which is greater: t or 3/4918?
3/4918
Suppose -42 = -9*s + 111. Let w(g) = -46*g - 1. Let h(m) = 137*m + 3. Let u(b) = s*w(b) + 6*h(b). Let a be u(-2). Are -79 and a unequal?
False
Let s be 0 + (-11)/((-44)/(-112)). Let l be (-12)/s - 160/14. Let q be l/(-1*(-3)/(-12)). Is 44 less than or equal to q?
True
Let p = 2918 + -312228/107. Let b = -249 - -621. Let s = 372 - b. Which is bigger: p or s?
s
Let m = -349043/161 + 2168. Which is smaller: 1 or m?
m
Suppose -2*t = -2*c - 8 - 6, -4*t - 12 = 4*c. Let k be ((-94)/6)/(t/(-12)). Let q = k - 848/9. Which is smaller: q or 0?
q
Let q = 137/60 - 3271/1380. Let v be (0 - 3)*(-8)/(-6). Let r(w) = -w - 3. Let i be r(v). Which is smaller: i or q?
q
Suppose -193 = 9*i - 895. Suppose 13*n + 0 = -i. Which is smaller: 6 or n?
n
Let b(m) = -214*m - 26. Let h(w) = -91*w - 13. Let r(c) = -3*b(c) + 7*h(c). Let f be 1/(-4) - (-33)/4. Let x be r(f). Which is smaller: 28 or x?
x
Let n be (-8)/(-6) - (-3416940)/1107. Which is smaller: n or 0.04?
0.04
Let v be (20/(2380/153))/(5/9835). Is 2529 >= v?
True
Let f = -47 + 52. Let t be 4/(-1) + f*(4 - 10). Let l be (-2)/3 + t*(-2)/6. Which is greater: 10 or l?
l
Let h(d) = 13*d**3 - 2*d**2 + 7*d + 1. Let m(s) = 2*s**3 + s. Let k(y) = h(y) - 6*m(y). Let v be k(0). Let b be (1/32*-2)/(-1). Is b greater than v?
False
Suppose -2*w - 1758 = -2*m, 42*m = -w + 37*m - 867. Which is bigger: w or -885?
w
Suppose 102 = -3*s + 105. Is 4/1595 < s?
True
Let s(o) = -o + 13. Let q be s(8). Suppose 49 + q = -6*z. Let n = 7 + -16. Are n and z nonequal?
False
Let v be 2/(-3) + (-6)/(-9). Let t be -2*(-4 - (-414189)/18540). Let j = t - -367/10. Is j at most v?
False
Suppose 499 - 810 = -t. Let p = -210 + t. Which is smaller: p or 100?
100
Suppose -4*p + 921 = -307. Let a = 305 - p. Is -25/2 bigger than a?
False
Let j = -278.25 - 457.71. Let u = j + 736. Which is bigger: 10 or u?
10
Let z = -12.01 - -325.91. Let k = -239 + z. Let c = -75 + k. Is c less than 53/3?
True
Suppose 93*q = 102*q + 9. Is 2/191 at most q?
False
Suppose -2 = -57*h + 56*h. Suppose -2*x + 76 = h*r, -5*r + 114 = -x + 4*x. Which is bigger: -1 or x?
x
Suppose 4*s = -35*s - 273. Let c be -3 - s/(-14)*228. Which is bigger: 1 or c?
1
Let f be ((-2)/6)/((-13)/117). Let r(x) = -3*x + 1. Let o be r(f). Which is smaller: o or 4/21?
o
Let w = 624 + -625. Let y be -362 + (-2 + 14)/6 + w. Is y at least -361?
True
Let u = -4565 + 4852. Is -0.5 > u?
False
Suppose -5*g + 108 = -2*q, 103*q - 12 = -g + 101*q. Is 64 equal to g?
False
Let n be (75/(-45))/((-2)/6). Suppose 5*l + 0*j = -n*j + 165, 4*l - 150 = 2*j. Let r = l + -32. Which is greater: 3 or r?
r
Let g(a) = a**2 - 4*a. Let q be g(5). Suppose -2*x + q*x - 4*n = -195, 4*x - 3*n = -260. Let s = x + 57. Is s at least as big as -8?
True
Let l = 4280 + -68479/16. Let y(k) be the first derivative of k**3/3 + 13*k**2/2 - 2*k + 1. Let u be y(-13). Is u at least l?
False
Let u be (2/(-6))/((28/(-24))/7). Suppose -u*d = 2*c - 427 + 1429, 5*c + 1493 = -3*d. Is -506 smaller than d?
False
Let p be (((-36)/5)/(16 - 18))/(56/(-152180)). Which is smaller: p or -9781?
p
Suppose -2*x = 2*o - 14, -x + 16 = -0*x + 4*o. Let u = 228 + -226. Let s be (-160)/(-15) - (8 - u). Which is bigger: x or s?
s
Let y = -945 - -548. Let f = y + 396.84. Which is smaller: f or -2?
-2
Let t = -26.1 + 26. Let n = -21.989 + -0.011. Let m = -21.9 - n. Are m and t equal?
False
Let c = -1623.57 - 75.43. Is 0.1 greater than c?
True
Let u = 78.62 - 20.92. Is u != 1?
True
Let i = -97.84 - -101. Let r = 45.8 + i. Let h = 49 - r. Is 9/2 smaller than h?
False
Let w(p) = 3*p + 18. Let a be ((-4)/3)/((-19)/(-3) - 6). Let h be w(a). Suppose 3*n - 5*n = h. Is n < -7?
False
Suppose 28*t - 30*t = -5*q - 416, 0 = -2*q + 4*t - 176. Which is bigger: q or -55?
-55
Let n = 167.5 + -196.5. Is -0.5 greater than or equal to n?
True
Suppose 244*x = 251*x - 7. Let a be (-2)/(-5 - (-995)/105). Do x and a have the same value?
False
Suppose 0 = 2*z + 2*u - u + 5, -3*z - 25 = 5*u. Which is greater: 2/35227 or z?
2/35227
Let z = 53.14 - 101.21. Let d = z + 50. Which is bigger: d or 1?
d
Suppose -16*m + 3 = -15*m, 4*m = 2*l + 8. Suppose -5*h = 3*o - 1408, -l*o + 7*h + 938 = 10*h. Are 467 and o unequal?
True
Suppose -3*n = 8*p - 10*p + 1198, -n - 416 = -4*p. Is -396 at least as big as n?
True
Let a = -264/7 + 18742/497. Let r = -195 + 196. Which is bigger: r or a?
r
Let x(v) = -v**3 - 8*v**2 - 8*v - 10. Let f be x(-7). Let w be f/((-9)/(-3) + -4). Let y = -4 - -1. Which is bigger: y or w?
w
Let z be (0 + -1)/(47/(-5640)). Suppose 59*o - z = 19*o. Is o equal to 0.3?
False
Let v = 7.848 + -177.848. Which is smaller: 2/5 or v?
v
Suppose -2*z = 10*z + 48. Let n be (-4 + 15/5)/(z/(-229)). Which is greater: -58 or n?
n
Let o = 4884 + -3078. Is 1806 bigger than o?
False
Let k(t) = -401*t - 15697. Let p be k(-39). Which is smaller: -2322/41 or p?
p
Let b = 26 + -20. Let n(q) = b*q - 4*q + 2*q**3 - 3*q. Let o be n(1). Are -3/10 and o unequal?
True
Let a(w) = w**2 - 2*w - 4. Let k be a(6). Let s = -15 + k. Suppose -s*l + 4*i = -13, 4*i = 2*l - 7*l - 3. Which is smaller: l or -2/27?
-2/27
Suppose -9*n = f + 40, 22 - 108 = 4*f - n. Let d = -3 + 5. Which is bigger: f or d?
d
Let t be -132 + -1905 + (-6)/1. Which is smaller: t or -1?
t
Let h be 272/170*(0 - 311)/(3/15). Which is smaller: -2486 or h?
h
Suppose 3*v - 18 = v + 3*w, 0 = -v + 3*w + 15. Suppose -x = v*x + 36. Let c be (-12)/x + 5/(-15). Which is smaller: 0 or c?
0
Let o be 2/4 + ((-596)/8 - -2). Let m = -47 - o. Let y = -18 + m. Is y at least -8?
True
Let w = 434 + -359. S