ose 5*g + m = -3*m - 187, 5*m + 120 = -3*g. Which is bigger: g or l?
l
Suppose -2*v + 0*v - 18 = 0. Let h be (6 - (-118)/(-3)) + -2. Let i = 26 + h. Which is smaller: v or i?
i
Let c = -4853 - -4774. Does c = -9?
False
Let d(x) = 4*x**3 + 2*x**2 + 23*x - 78. Let t be d(4). Let i be (-6 + 5)*(-596)/t - 2. Are i and -1 nonequal?
True
Suppose 10 = -7*y + 9*y, -2*u - 7*y + 229 = 0. Let w be 37/(((-10)/(-26))/1). Is w at most u?
True
Let d = -3.522 - 0.198. Let u = d + -0.28. Let r = u + -6. Is 2 less than r?
False
Let k = -319.6 - 98.4. Which is smaller: 7 or k?
k
Suppose 0 = -1232*r + 1252*r. Are r and -2/629 non-equal?
True
Let s = -0.7093 + 0.599. Let o = 606.8897 - s. Which is smaller: -1 or o?
-1
Let y = -1617.57 + 1618. Is 13 != y?
True
Let k = -35212922 - -134196446582/3811. Let y be ((-16)/(-1236))/(24/(-108)). Let f = y + k. Which is smaller: f or 0?
0
Let x = 36247 - 25696. Let o = x - 327051/31. Is 0 greater than or equal to o?
False
Let x be 1 - ((-608)/(-468) - 2/26). Let b be 2 - (37 - (-16)/4). Let v = b - -40. Is x at most as big as v?
True
Suppose 4*x = 8*x - 8. Suppose 2*s - 3*s = -x. Suppose -s*b = -0 + 2. Which is bigger: -10/21 or b?
-10/21
Suppose 2*c - 60 = -4*v, -v = 3*c - 2*v - 69. Let i be ((-6)/4)/((-2)/4). Suppose -2*u = -j - 48, 5*u - 35 = -i*j + 74. Which is bigger: c or u?
c
Let a be -5 + 12 + -5 + 4 + (40 - -5). Suppose 2*u + 250 = 7*u. Are u and a non-equal?
True
Let j(z) = -54*z - 2368. Let o be j(-39). Is -263 equal to o?
False
Let b = -2209/2 + 1139. Let w(g) = g**2 - 2*g - 14. Let k be w(-6). Which is smaller: k or b?
k
Suppose -5*s + 33 = z + 239, 2*z = 3*s - 334. Is -158 <= z?
False
Let i = -24380 + 26768. Is 7162/3 greater than or equal to i?
False
Suppose -2*v - 8 = -v. Suppose -3*c - 10*p + 15*p = 14, -4*c = -p - 4. Which is bigger: v or c?
c
Let o = 6/95 + 13/95. Let n = 0.28 + -0.17. Are o and n non-equal?
True
Let m = -19.505 - -20.505. Let l = 222/7 - 4877/154. Let q = 49/110 - l. Are m and q equal?
False
Suppose o + 2*m = 9, -22*o + m = -24*o + 3. Let c be ((-171)/(-189))/((-1)/(-2)). Is o at least as big as c?
False
Let p = 80.98 + -1.98. Let s = -57 + p. Let i = 22.2 - s. Is 0 at least i?
False
Let u = -91959 - -3954465/43. Which is bigger: 4 or u?
u
Suppose 1562 - 116 = 3*l. Is 484 at most as big as l?
False
Let a be 55/(-1636415)*(1 - 2). Which is smaller: -1 or a?
-1
Let h = 4 - 5. Let o = -17631 - -142521/8. Let k = -185 + o. Which is greater: k or h?
k
Suppose -3*r - 9 = s, 5*s + 10*r + 28 = 12*r. Let f be 4/6 + 2/(-3). Let t be f/s*(-2)/(-8). Is t bigger than 4/19?
False
Suppose -620 + 496 = -2*n + 2*a, -a - 251 = -4*n. Let w(g) = -22*g - 3. Let x be w(-3). Is n bigger than x?
False
Let k = 0.09 - 0.03. Let m(a) = 12*a**3 + 5*a**2 + 8*a + 7. Let d be m(-3). Let q = d + 301. Is k at most as big as q?
True
Let l be ((-185)/(-111))/(21/2). Let k be (-30 - -30)*(0 - 1). Is k less than l?
True
Let t = -6196 - -6196. Does -5/24 = t?
False
Let w be 59 + -59 - (-5)/((-7010)/4). Which is bigger: w or 1?
1
Let d = 0.3965 + 32.6035. Let k = 0.1 - 0.2. Is k < d?
True
Let q(n) be the second derivative of -n**5/20 + 5*n**4/12 - n**3/6 - 3*n**2/2 - 18*n. Let p be q(0). Let s be (-4)/16 - 13*p/444. Which is greater: s or -1?
s
Let x be -10*(-33 + 4 - -3). Suppose -v + x = 3*v. Suppose -19*l = -24*l + v. Is l greater than 12?
True
Let y be ((-3)/4)/(-8 - (-124)/16). Suppose 516 = 9*l + y*l. Is l <= 1/2?
False
Let o = 26 + -24. Let v(x) = -7*x + 2*x + 8 + 1 - 8*x**o - x**3. Let a be v(-7). Are a and -5 non-equal?
False
Let w = -363.324 + 363. Let j = 76.324 + w. Which is smaller: -0.2 or j?
-0.2
Let p = 633.18 - 634.8. Which is smaller: 0.01 or p?
p
Let b(r) = -7*r**3 - 39*r**2 - 20*r - 14. Let h be b(-5). Is h at most 11?
True
Let v = 772.4 + -770. Is 22 bigger than v?
True
Let i = 3.1 - 3.1. Let a = -2.88 + 2.9. Let b = a + -0.02. Do b and i have the same value?
True
Let z = -77419/3 + 26242. Which is smaller: z or 435?
435
Let u = 4552 + -1356491/298. Which is greater: u or 1?
1
Let m(p) = -p - 26. Let x be m(27). Suppose 4*w = -139 - 81. Is w <= x?
True
Let u = -2/99 - -92/1287. Let n = -29 - -20. Let b be (6/n)/(2/(-3)). Is u equal to b?
False
Let k be 2/(-4) + (-57)/(-2). Suppose 8*q = 2*q + 324. Let a be (1/(-2))/(q/108). Is k at least a?
True
Let k = -457 - -829. Let v = k - 336.1. Let r = 34 - v. Which is greater: 1 or r?
1
Let c be 5/75*-3 + 196179/156750. Let i = -3/2750 - c. Let u = 145 + -145. Is u <= i?
False
Suppose -4*z + 4*q = 5492, 5*q = -2*z + 5*z + 4121. Which is greater: -5483/4 or z?
-5483/4
Let g be 801/(-837) + 6/9. Suppose -44*l = -41*l - 3. Which is smaller: g or l?
g
Suppose 11*a - 19 = 6*a + 2*c, -c + 28 = 5*a. Suppose 4*k - 5*r = a, -4 = -0*r + 4*r. Which is smaller: k or 7/11?
k
Let w be (-57)/2 - 1/2. Let a = 34 + w. Suppose -a*t - 2 + 7 = 0. Which is smaller: t or 1/2?
1/2
Let s = -186 - -180. Let y be -6 + 3 + (-5)/s. Which is greater: -3 or y?
y
Let q = 0.164 - -0.488. Let n = -0.69 + q. Let v = n - -0.008. Is -3/2 greater than v?
False
Suppose -3*y = -2*g + 521, 2*y = -2*g + y + 525. Let q = g + -263. Which is smaller: q or -351?
-351
Let s = -493 - -742. Suppose -3*z - 139 = -4*t, 13*z - 8*z = -2*t - s. Which is smaller: z or -51?
-51
Suppose 189*u - 42*u + 9114 = 0. Suppose -5*b - 300 = -0*b. Is u >= b?
False
Suppose -3*l - 149 + 320 = 0. Suppose -45 = 12*q - l. Let o be 2/2 + 13/(-15). Which is bigger: q or o?
q
Let l(d) = -1263*d + 2531*d - d**2 - 1271*d + 1. Let r(x) = x**3 + 5*x**2 + 2*x + 7. Let m be r(-5). Let c be l(m). Are -1/9 and c unequal?
True
Let s(l) = 7*l**3 - 3*l**2 - 7*l - 9. Let j be s(-2). Let c be (j*12/90)/(2/(-10)). Is c less than or equal to 42?
True
Let r = 1 + -3. Let z = 5/77 - 307/3542. Let g = -10/69 + z. Are g and r equal?
False
Let p be 20/5 - (1 + -1). Suppose p*w + 130 = 5*w. Do 129 and w have different values?
True
Let c(v) = 3*v - 77. Let x be c(27). Suppose -x*l = -0*l - 44. Which is greater: 59/5 or l?
59/5
Let h(k) = -2*k**2 - 84*k - 72*k**2 - 6*k**2 + 10 + 36*k**2 - k**3. Let c be h(-42). Which is smaller: 4 or c?
4
Suppose -83 + 74 = -3*i. Suppose i*b = -3*m + 3, 9 = 3*m - 3. Is -40/21 greater than or equal to b?
True
Suppose 0 = -2*i + 4*c + 16, -18*c = -3*i - 15*c + 36. Suppose -y - 1395 = -i*y. Does y = 92?
False
Let m be 1/((-3)/(-2)*16/(-1416)). Let d = m + 113. Let x = d - 53. Is x not equal to -1/40?
True
Let u be 112/(-168)*(63/(-2))/3. Is 129 greater than or equal to u?
True
Let b = 0.14513 - 0.21973. Which is smaller: b or -2/13?
-2/13
Let a(b) = -b**2 - 26*b - 53. Let n be a(-5). Is n > 52?
False
Suppose -5*k + k - 50 = -5*t, -2*k + 3*t = 26. Suppose 5*q + 39 = -y, -4*y + 8 + 11 = -5*q. Is q less than k?
False
Let y be (3561060/406960 - 9) + 3/12. Which is smaller: 2 or y?
y
Let g be -2*24 - (6 + -2)*-1. Let q be 2/33*3 + 8/g. Is q < -2/207?
False
Let j(u) = -37*u + 7 + 23*u - 6. Let p be j(2). Let b be 3 + p/6 + -2. Is b less than -5?
False
Let j = 1192788 + -1192797. Suppose -83 + 725 = -3*m. Let n = m + 1031/5. Is n less than j?
False
Let d be 2*3/(5 - 2). Suppose -r - d = 5. Let c = -12283 - -12274. Is c at most r?
True
Let j = -25271 - -25264.79. Which is greater: j or -0.05?
-0.05
Let l = -11/94997 - -1539046793/3419892. Let b = 450 - l. Which is greater: b or -1?
b
Let v = 446 + -551. Let m = 195 - 113. Let l = m + v. Which is smaller: 1/4 or l?
l
Let b = -468 + 493. Suppose b*t - 4775 - 2300 = 0. Which is bigger: t or 281?
t
Let v = 12891 - 12522. Which is greater: 374 or v?
374
Suppose 11*m - 7*m = -20. Suppose -4*p = 3*a + 3, 12 = 2*a + a - p. Suppose -5*i + 2 = -a. Which is greater: m or i?
i
Let r be (-24 - 530)*3/6. Is -278 > r?
False
Let o(x) = 13*x**3 + 23*x**2 + 60*x + 68. Let d(h) = 3*h**3 + 6*h**2 + 15*h + 17. Let m(c) = -9*d(c) + 2*o(c). Let k be m(-6). Which is smaller: 11/37 or k?
11/37
Let z = -7 - -171. Let o = z - 164. Which is smaller: -13 or o?
-13
Suppose -4*h + 8 = 0, -5*b - 12 = 2*h - 21. Is b greater than 2/1579?
True
Let b(t) = t**2 - 7*t - 28. Let k be b(10). Let g = 5 - k. Suppose 2*w + 2*c = -3*c + 5, 0 = w - g*c - 8. Is w equal to 6?
False
Suppose -5*c + 0*c = 0. Suppose 6*h - 145 - 5 = c. Let j = -42 + h. Is j less than -17?
False
Let v be 6956652/230 + 0 + 4. Let h = v - 30250. Let i 