8?
9.8
Suppose -8*m + 74 = 10. Let a be ((-9)/(-12))/((-4)/(-16)). Suppose 4*o - 2*l = -8, -3*o - 10 = -a*l + 2. Is o > m?
False
Suppose -3*l + 15 = 0, -5*l - 464 = 2*y + 259. Which is greater: y or -372?
-372
Let g(a) = 5*a - 140. Let m be g(24). Let h be (-2)/44*(-2)/5*m. Which is smaller: -0.2 or h?
h
Suppose -238*m + 3*j = -234*m - 56, -2*m + 3*j = -22. Let p = -183510/113 - -1624. Let w = p - -3725/226. Is w equal to m?
False
Let a = 0.01636 + 43.98364. Are a and 51 unequal?
True
Let k be 15/6*(-1 + (-72)/(-60)). Let n = 13.4 - 6.7. Let d = 7 - n. Which is smaller: k or d?
d
Suppose 130*l - 135*l - 2750 = -5*x, -1658 = -3*x + 5*l. Which is smaller: x or 545?
545
Suppose -9*s = -137*s - 128. Is s at most 1/2413?
True
Let t = -147 - -151. Suppose -l - 3 = 3*o, 3*l - t + 13 = -5*o. Which is bigger: o or -4?
o
Let i = 3.63 + -51.63. Let d = i + 47. Which is bigger: d or 2?
2
Let x(o) = 53*o + 167. Let m be x(-4). Is -594/13 bigger than m?
False
Let b be 202532/84 + 1/3. Let i = 2404 - b. Let j(x) = -2*x**2 - 29*x - 20. Let m be j(-14). Is m less than or equal to i?
False
Suppose -3*w - 2*g - 681 = 0, -g - 30 = -4*w - 927. Let a be 6/(-608)*(-60)/w. Which is smaller: 0 or a?
a
Let y = 3896 + -3750. Which is smaller: y or -2?
-2
Suppose -5*w + 367 = v, 713*v - 712*v - 371 = -w. Is 373 less than v?
False
Let m be (-40)/(-200) + (-2)/10. Suppose -4*g - g + n - 234 = m, -g - n = 48. Which is smaller: g or -48?
-48
Let n = -1/4359 - -26357/884877. Which is bigger: n or 1?
1
Suppose 17*g + 97*g = -125*g - 239. Do 8/427 and g have the same value?
False
Let l be 238/98 - (-5)/((-35)/(-4)). Let c be (-41 - -20)*8/9*l. Is -0.1 != c?
True
Let z = 29007/10 - 2898. Let u be 4/(-3 + 7)*3. Is u greater than or equal to z?
True
Let p = 64087/5 - 12842. Which is bigger: 0.1 or p?
0.1
Let v = 2 - -10. Let g = v + -9. Let n be (-21)/12*(13 + -17). Is g <= n?
True
Let x = 198 + -194. Suppose 0 = x*f + n - 250, -93 = -4*f - 3*n + 153. Let a be 4/(-14) + (-2180)/(-35). Is f bigger than a?
True
Suppose -4305 - 3927 = -7*g. Suppose 4*j + 20*j = -g. Is j bigger than -48?
False
Suppose -3 - 12 = 5*v. Let o(x) = -6*x**2 + 5*x + 8. Let h be o(12). Let r = h - -3167/4. Which is bigger: v or r?
v
Let u(h) = -16*h**2 + 1666*h - 221. Let d be u(104). Let m be (20/(-15))/((-4)/6). Suppose 4*s + r + 2*r + 31 = 0, m*s = 2*r - 26. Is s less than d?
False
Let w(x) = 105*x**2 - 340*x + 2053. Let u be w(6). Is 3795 < u?
False
Let t = -121 - -120.933. Let w = t - 6.233. Let c = w + 5.6. Which is smaller: c or 3?
c
Let h = -722209/1659 - -1306/3. Is 1 >= h?
True
Suppose -5*d + 7422 = -7*d + a, d + 3714 = a. Which is smaller: -3707 or d?
d
Let r(u) = -u + 6. Let j be r(4). Suppose 3*l - 4*c = -128, -2*l + 2*c = -j*c + 92. Let m(t) = 1040*t + 66525. Let q be m(-64). Which is smaller: q or l?
l
Suppose 2190*o + 20 = 2170*o. Which is bigger: o or -1/5485?
-1/5485
Let h(c) = -2*c**2 + 5. Let v be h(-5). Let b = -43 - v. Let i be ((-2)/b)/(4/(-32)). Is 8 at least i?
True
Let z = 115 - 32. Suppose -z = 10*m + 17. Is -10 <= m?
True
Let v = -191 + 320. Let u be (-18)/81 + (v/540)/1. Suppose -2*y = -6*y. Which is bigger: u or y?
u
Let y be -119 - -117 - 443*-39. Is y less than 17275?
False
Suppose 5*q + 16 = q. Let w(l) = -6*l - 19. Let i be w(q). Let n be i/((-25)/(-20)) - 3. Which is greater: 2/167 or n?
n
Let o(d) = -3*d**2 + 13*d + 43. Let r(z) = -4*z**2 + 12*z + 44. Let k = -36 - -31. Let j(f) = k*o(f) + 4*r(f). Let i be j(-6). Which is smaller: i or 29?
i
Let s = 194 + -194. Let q = 1998.613 - 1960.7. Let z = -0.087 - q. Which is bigger: z or s?
s
Let w = -274.843 - 0.157. Let g = w - -274.8. Is g greater than -13?
True
Let g be 300/50 + (1 - 6). Let q be (-8)/(-14) - g/14. Which is smaller: 0.2 or q?
0.2
Let w = 1477 + -1478. Is w not equal to -1/6297?
True
Let z = -84800/21 + 4039. Let w = -203 + 1417/7. Let k = w + z. Are -7.7 and k nonequal?
True
Let z(v) = 2*v**2 - 3*v - 4. Let d be z(-3). Suppose -m - 3*c = -31, -m + 14 + d = -3*c. Let g be (3/(-2))/(0 - (-2)/(-44)). Which is bigger: g or m?
m
Suppose -4*n = 5*t + 900 + 30, t + 3*n = -186. Is t < -741/4?
True
Suppose -102*q + 69*q + 10857 = 0. Which is greater: q or 328?
q
Let o = 28 - 26. Suppose f - 1 + o = 3*a, -13 = a + 3*f. Let j be (-6)/(2/a) + -2. Which is smaller: j or 9/8?
j
Let y = -25.6 - -23. Let w = 0.4 - y. Let k = 1/11 + -51/319. Which is bigger: w or k?
w
Let u be (10/(-11))/(3412/9383). Suppose -4*v = 5*w - 118, -5*w - 5*v - 15 = -135. Are u and w equal?
False
Let q = 696137/6 + -116283. Let r = 259 + q. Which is greater: r or 14?
14
Let i(z) = -21*z**2 - 5*z - 92. Let d be i(9). Which is greater: -9183/5 or d?
-9183/5
Let p be 1/4 - (-30894)/(-152). Let y = 231 + p. Which is smaller: 30 or y?
y
Let w = -623/4 - -31781/204. Let j = -157655 - -157655. Which is smaller: w or j?
j
Suppose -25*g - 312 = -38*g. Suppose g*n = 7*n - 935. Which is smaller: -54 or n?
n
Let j = 21 + -1. Let v = j + 44. Is 65 <= v?
False
Let h(i) = -i - 5. Let z(p) = -2*p**3 - 4*p**2 - p + 1. Let m be z(-2). Let f be h(m). Let j be 3 + f + (-6)/(-2). Is j <= -6?
False
Suppose 0 = -61*z - 26675 - 34081. Is z less than -995?
True
Let b = 55 - 82. Let j = -67 - b. Let v = -39 - j. Which is greater: v or -4/41?
v
Let t = 10081.9 - 10082. Is -0.3396 >= t?
False
Let k = 63581 + -81129335/1276. Which is smaller: -1 or k?
-1
Let g(d) = -4*d - 28. Let o be g(-6). Suppose 5*u = -5 - 10. Let n = o - u. Is n greater than 6/29?
False
Let t(w) = -2*w**2 - 9*w + 1. Let f(i) = -3*i - 2. Let l = 21 - 20. Let r be f(l). Let h be t(r). Is h != -3?
True
Let k(n) = -n**2 + 3*n + 2. Let z be k(-2). Let x be (-1)/(-2)*((-108)/z)/(-9). Which is bigger: -1/15 or x?
-1/15
Let h(l) = -l - 34*l**3 - 9*l**2 - 8*l**2 + 0*l + 35*l**3 + 12. Let v be h(17). Let c = -3.17 + 0.17. Which is bigger: c or v?
c
Let n = -35254 + 35298. Which is greater: n or 41?
n
Let z be (-260)/490*-7 + (-2 - 0). Let t = -17 + 22. Suppose 0 = v - i - 6, -v - 11 - 7 = t*i. Which is bigger: v or z?
v
Let l be (-181)/362 + (-30)/(-59). Which is smaller: -1/2 or l?
-1/2
Let r = 279 + -25. Let a = 1013/4 - r. Is -18 equal to a?
False
Let o be 2*(-11)/121*(-20)/2456. Which is smaller: o or 1?
o
Suppose -82*s = 76*s - 156*s + 4. Is -579 at most as big as s?
True
Let f = 0.88 - -0.12. Let t = 28243 - 28244.7. Is t equal to f?
False
Let b = -762094/297 - -2566. Which is greater: -1 or b?
b
Let n = 4172 - 4175. Let m be 5/((6/8)/(-3)). Let t be n/((-18)/4) - (m - -22). Which is bigger: t or 8?
8
Let n = -10 + 9.89. Let h = 57.89 - n. Suppose 50*p + 460 = 135*p + 545. Is p at most as big as h?
True
Let s = 155.42 - 272.5. Let q = s + 117. Which is bigger: -0.1 or q?
q
Let x(w) = 3*w - 76. Let q be x(26). Suppose -q*t - 164 = 3*c - 70, c = 5*t + 235. Does -47 = t?
True
Let c be (2/(-208))/((-3)/(-4)). Let d = 2284 + -2284. Is d less than c?
False
Let p(m) = 77*m**3 - 4*m**2 - 14*m - 53. Let i be p(-3). Is i less than -2128?
False
Let q = -10634 - -10633. Which is smaller: -2/15285 or q?
q
Let n(v) = 5*v**2 - 1. Let f be n(-1). Let d = 50 - 40. Let g(t) = t - 5. Let a be g(d). Is f > a?
False
Let x = 103843/105 + -989. Let i(t) = 3*t - 8. Let r be i(5). Suppose f - r*f = 0. Which is smaller: f or x?
x
Suppose -214*q - 39*q - 42*q - 4466005 = 0. Which is smaller: -15141 or q?
-15141
Let h be 4/(78*4/(-76) - (-4)/38). Which is bigger: -7/303 or h?
-7/303
Let j = 526 - 756. Let z = j + 230.1. Is z less than or equal to -9/5?
False
Let p = 106.86 + -106.92174. Is 0.1 at least p?
True
Suppose 0 = -s + b + 131 + 7, 0 = 3*s + b - 410. Let y = 111 - s. Is y > -26?
False
Let c be 271/(-650) - (-102)/1326. Which is greater: c or 1?
1
Suppose -5*h = 336 - 106. Let v(m) = 2*m**3 + 8*m**2 - 33*m - 10. Let l be v(-6). Let a = l + h. Which is smaller: a or 0?
a
Let t = -43 + 46. Let g be 2 + -5 - (3729/(-221))/t. Let s = g + -42/17. Is s less than 12?
True
Let a(t) be the second derivative of t**4/12 - 13*t**3/2 + 57*t**2 + 35*t + 1. Let z be a(36). Is 25/4 smaller than z?
False
Let h(q) = q**3 - 20*q**2 - 45*q + 21. Let v be h(22). Is v greater than or equal to 16/1675?
False
Let b = 3 + -3. Let y = 2.55 - -33.45. Let v = -33 + y. Is b not equal to v?
True
Suppose -61*a + 2*p + 40 = -59*a, -3*a - 2*p + 60 = 0. Is -15 