 be (8/6)/(-2 - -8). Is x bigger than g?
False
Suppose t + 185976 = -17*t. Let y be (3 + 195/(-66))/((-21)/t). Is y less than or equal to 21?
False
Let w = 7279/175 + -1022/25. Which is greater: 1/132 or w?
w
Let f = -144.97 + 145.37. Suppose -18 = -4*g - 2, -3*r + 2*g = -7. Which is smaller: r or f?
f
Let s(a) = -11*a + 7. Let r be s(0). Let l(o) = -4*o + 24. Let i be l(r). Which is smaller: i or -25/9?
i
Suppose -66 = 5*w + 3*l, -6*w + 2*l = -11*w - 64. Let i(x) = -x**2 - 11*x + 26. Let z be i(w). Is 4 smaller than z?
True
Let r be (-2)/6 + (-19)/(10 - 67). Suppose 25 = 3*x - x - 5*i, 0 = -3*x - 2*i - 10. Suppose -5*g + 3*g + x*g = r. Is g < 2/7?
True
Suppose 2*z = 646 + 64. Suppose -450*v + 447*v = -1062. Which is smaller: z or v?
v
Suppose -2*i = 4, 3*r - 17*i + 13*i - 5 = 0. Let j be (0 - 1 - r)*(-18 + 17). Which is smaller: -6 or j?
-6
Suppose -19*c = 2*c - 147. Suppose 2*m - 5*w = -c - 9, -m - 2*w - 8 = 0. Is m greater than or equal to -6?
False
Suppose -3*q - 74 = -2*o + 73, -2*o - 277 = 5*q. Which is greater: 63 or q?
63
Let p = 2 + -2. Let k be 2/(((-68)/(-17))/4). Let f be k/(88/(-68) + 2 + p). Which is bigger: 3 or f?
3
Suppose -4*z = -4*q - 68, -14*q + 46 = 3*z - 16*q. Let l be (-3)/z*2/319. Is l less than or equal to -1?
False
Let x = 0.34 - 0.434. Which is bigger: x or -1/5?
x
Suppose 8*v - 3*w = 13*v - 250, -2*v - 3*w + 100 = 0. Are v and 49 non-equal?
True
Suppose -75*h + 7482 = -161*h. Which is smaller: h or -89?
-89
Let g = -83 + 167.1. Let v = -84 + g. Is v > 145?
False
Let r be (1/26)/((-1)/(-12)). Let l = 509 - 507. Suppose 8*x - 5 = 10*x - 5*w, l*w = 2. Are x and r non-equal?
True
Let k = 1188 - 661. Let v = 528.92 - k. Which is smaller: v or 0?
0
Let z(r) = -r**3 - 36*r**2 + 428*r + 85. Let w be z(-35). Which is bigger: w or -16121?
w
Suppose -4*t + 3*t = 4*t + 3010. Which is greater: -2 or t?
-2
Suppose 107*q = -55*q + 44*q + 14750. Let y = 1 + -4. Let t be (-1)/y + (-377)/(-3). Which is smaller: t or q?
q
Let r = -32113/10 + 3212. Is -7 <= r?
True
Let o(a) = -5*a - 92. Let w be o(-18). Let t be 3008/88 + w/11. Suppose 0*i - 66 = -2*i. Is i >= t?
False
Suppose 4*b - 10*b = 7*b. Let y be 255/399 + 9/(-21). Which is bigger: y or b?
y
Let h be ((-19)/(532/(-4720)))/((-2)/(-7)). Let a = 610 - h. Is 3 > a?
False
Let o = -29/1295 - -3/370. Let g = 209 - 209. Is o < g?
True
Suppose 23 = -6*o + 5*q, -2*o - 13 - 11 = -4*q. Which is smaller: 178 or o?
o
Let n(x) = 5*x - 13. Let m be n(4). Let h = 7603/143 + -599/13. Is h not equal to m?
True
Let v be 4/(-70) - (-574)/(-205). Let n(t) = -t**3 + 14*t**2 - 12*t - 17. Suppose 5*j - 22 = 43. Let a be n(j). Is a greater than v?
False
Suppose 144293 = 133*s - 100826. Is s at least 1842?
True
Let j = 1.02 + -1. Let x = -687 + 693.98. Let q = x - 7. Are j and q nonequal?
True
Suppose -4*s - 3*y = -0*y + 928, -4*y + 464 = -2*s. Let d = 306 + s. Let f(n) = 75*n**3 - 2*n**2 + n. Let u be f(1). Is d equal to u?
True
Let n = -153.784 + 156.76. Is 0.5 != n?
True
Suppose -d - 549 = 4*z, z - 235 = d + 284. Is d at most as big as -540?
False
Let z(s) = s**3 - 4*s**2 - 38*s - 104. Let t be z(-4). Is t smaller than -107?
False
Let m = 1/76 - -31/532. Let l = 1/2 - m. Let b = 6.11 - 0.11. Which is bigger: b or l?
b
Let b be 210/(-45)*3/2. Let j be (5/3)/(b/(-30)). Let c be (16/10)/((-210)/(-50) - 4). Which is bigger: j or c?
c
Let f(g) = -3*g. Let h be f(-1). Let p(o) = -1170*o + 4677. Let u be p(4). Which is smaller: u or h?
u
Let k = -17 - -17. Let g = 1217 - 1205. Which is greater: k or g?
g
Suppose -5*y - 200 = -5*b - 735, 2*y - 4*b = 208. Suppose 17 = -3*v + y. Suppose -v*q = -27*q + 16. Which is smaller: q or -6?
-6
Suppose -7*l - 22*l + 58 = 0. Which is greater: l or 1314?
1314
Let l = 9606 + -9607. Which is bigger: 12/109 or l?
12/109
Let s be (50/800)/(6/(-1192)) + -2. Which is greater: s or -14?
-14
Let h be -1 + 2 + 5 - 18. Let m(x) = 4*x + 213. Let g be m(h). Which is bigger: -1/2 or g?
g
Let h = -7909 - -6961. Is h at least -942?
False
Suppose -60646 - 41364 = -34*n - 3376. Which is smaller: 2900 or n?
2900
Let t = 5009.01656 - 0.01656. Is t <= -1?
False
Suppose 2 = -4*h - 3*c + 7, -14 = 2*h - 4*c. Let d be 21/84 + h/4*-67. Suppose 3 = -3*x - 2*u + 56, 4*x = -5*u + 73. Is d greater than x?
False
Let v(i) = i**3 - 2*i**2 - 10*i - 10. Let x be v(5). Suppose -x*r = -2*r - 39. Let y be -3*r/(-63)*-9. Which is smaller: y or 0?
y
Let v = 6649 + -6616. Is 664/21 at most as big as v?
True
Let y = 284 - 64. Let c = y + -130. Let l = 93 - c. Is 0.04 less than l?
True
Let d = 12 - 0. Suppose 38 - 8 = -10*u. Let z = u + d. Are z and 25/3 equal?
False
Let u = -24 + 10. Let b = -103 - -144. Suppose 3*c + 53 = -4*i, 3*i + c + 0 = -b. Do u and i have the same value?
True
Let k be ((-392912)/64)/((-164)/16). Let y(n) = -5*n**2 - 10*n + 1. Let w be y(10). Let j = w + k. Which is bigger: 0 or j?
0
Let u = -21998426 - -42566956669/1935. Let s = u - -2/645. Is s at most as big as 2/3?
False
Let v be 7*(-22)/(-385)*-10. Let t = 12.2 - 0.2. Which is smaller: t or v?
v
Suppose -2*a - 2 = 0, a + 28747 = 4*t + 7666. Is 5270 less than or equal to t?
True
Suppose -3*p + 4*m + 84 = m, -4*m = 3*p - 77. Let l be (14/((-1092)/(-845)) - 11) + (-160)/(-6). Which is smaller: l or p?
l
Let w be -3*(2/4 + 455/(-870)). Suppose 3*g - 667 = -5*n, -n - 5*g = -172 + 21. Let s = -131 + n. Which is smaller: w or s?
s
Suppose -14 = p + 5. Let y be -5*((-14)/420 - 13/78). Is y < p?
False
Let a = 14810 - 14329. Which is smaller: 3369/7 or a?
a
Suppose -10*u = -8*u + z - 2, 0 = 2*z - 8. Which is greater: u or -3/2678?
-3/2678
Let d(v) = 4*v**2 - 3*v - 4. Let x be d(-4). Let w(f) = -f**3 + 2*f**2 + 28*f - 14. Let i be w(6). Suppose 0 = 5*r + i, 3*r + 2*r = -3*s + 206. Is s < x?
False
Suppose 12*y + 32 = 200. Suppose y*g + 746 = -808. Is -110 smaller than g?
False
Let h(i) = -i - 12. Let b(z) = -3. Let s(f) = 4*b(f) - h(f). Let u be (1 - -2)*4/(-6). Let m be s(u). Are -10 and m nonequal?
True
Let f(a) = a**3 + 4*a**2 - 7. Let z be f(-3). Suppose -1035 = -5*r + g, r - 621 = -z*r - g. Which is smaller: r or 206?
206
Suppose 5279 + 108 = -137*z - 1874. Which is smaller: 35 or z?
z
Let r(j) = 4*j**2 - 6*j - 5. Let z be r(-1). Let l(g) = g**3 - 3*g**2 - 7*g - 16. Let p be l(z). Which is bigger: -84 or p?
p
Let r(l) = l**3 - 11*l**2 - 3*l + 27. Let u be r(11). Let c be (u/(-9))/((-20)/(-210)). Let a(y) = 7*y. Let g be a(1). Is g greater than c?
False
Let j = -9518471/33473 + 3128/11. Which is greater: j or 0?
j
Let o be 0*(3 - 28/8) - -5. Suppose q - o = 3*w + 3, q + 10 = -3*w. Which is smaller: 5 or w?
w
Suppose 0 = -15*n + 2922 - 612. Which is greater: n or 147?
n
Let p(l) = 276*l**2 - 126*l - 479. Let v be p(-4). Is v bigger than 4441?
False
Let b = -33458/10047 + 235/197. Are b and -3 non-equal?
True
Let g = 0.054 - 0.794. Let f = g + 0.85. Let v = 0.21 - f. Does v = -13?
False
Suppose -29*d - 394 = 209 + 180. Let c be ((-4)/8)/((-1)/(-58)). Which is bigger: c or d?
d
Suppose -2*w + 488 = 4*m - 1046, 4*m = w - 791. Let i = 42623/55 - w. Suppose 3*f - 7*f - 4 = 0. Which is bigger: f or i?
i
Suppose 5239*k = 5231*k - 24. Let p = -12 - -14. Suppose -p*q - 5 + 7 = 0. Is k at least as big as q?
False
Let h = 188 + -181. Let a(x) = -x**3 + 7*x**2 + 25*x - 8. Let l be a(h). Which is smaller: l or 168?
l
Suppose 2*q - 94 = -5*p, -4*p - 466 = -191*q + 186*q. Let a be 345/4 + 1/(-4). Is q less than a?
True
Suppose 4*o = o + 18. Let l = -2671 + 2677. Do l and o have different values?
False
Let n = 40 - 37. Let g be n - ((-2)/(-1 - 1) - 21). Let r(f) = -2*f + 50. Let a be r(g). Which is smaller: 15/4 or a?
15/4
Let y = 7171 - 7196. Which is greater: y or 1/17?
1/17
Let d = -25533/4 - -6062. Which is bigger: d or -321?
-321
Let o(v) = -2*v**2 + 43*v - 124. Let i be o(18). Let j be 1/i*5*(-18)/(-1035). Let t be -2*1*(-1)/(-2). Is t at most j?
True
Let h(c) = 83*c + 3831. Let m be h(-45). Let s(r) = 2*r**2 + 2*r + 10. Let x be s(-7). Which is smaller: m or x?
x
Let v be 1*5/2*4. Let j be (8/v)/((-58)/(-7685)). Do j and 106 have the same value?
True
Let r = 346589904/3899 + -88892. Is 0 <= r?
False
Let k = 1/1631 + -13085/60347. Which is smaller: k or -1/2?
-1/2
Let z(y) = -y**3 + 17*y**2 + 7*y - 23. Let t be z(17). Let a be (t/(-10))/(26/195). Is 