1. Are g and i non-equal?
False
Suppose -5*s + 5*i = -60, 0 = 3*s - i - 5 - 29. Let r(o) = -o**2 + 9*o + 16. Let l be r(s). Let k be 2*-1*(l + 750/126). Which is bigger: k or 0?
k
Let w(k) = -k**3 + 5*k**2 + 10*k + 13. Let c be w(7). Let j be 50/(-375) + (-17)/c. Is -1/253 equal to j?
False
Let l = 8403.86 - 8434. Which is smaller: l or -2/5?
l
Let d = 30 - 9. Let n = -353/30 + 111/10. Which is greater: d or n?
d
Suppose x - 2*i = -0*x, -x - x + 5*i = 0. Let l = 1/112 - 251/3024. Is l <= x?
True
Suppose 2*x = 10*i + 452, 4*i - 6*i - 95 = -5*x. Which is smaller: -482/11 or i?
i
Let q = -11112 - -11353. Are q and -3 non-equal?
True
Let q = -303/26 + 41615/3562. Let c = -12 + 13. Is q >= c?
False
Let v(u) = -u - 9. Let a be v(-5). Suppose 15*z = 222 - 402. Do z and a have the same value?
False
Suppose 14*o - 506 = 880. Let t = o + -1487/15. Let z = 4.33 + -4.4. Is z less than or equal to t?
False
Suppose -35*k + 144 = -31*k. Let a be (k/(-6) + (-13)/(-3))*-3. Which is bigger: 43/7 or a?
43/7
Let o = -21623/13164 + 108329563/70940796. Let s = o + -2/951. Which is greater: -8 or s?
s
Let k(t) be the first derivative of -11*t**2 + 15*t - 37. Let r be k(1). Suppose 3*m - 5*m - 22 = 2*d, 0 = 4*d - 2*m + 26. Is r < d?
False
Let h = 0.55 + 32.55. Let y = 0.093 + 32.907. Let k = y - h. Which is bigger: -9 or k?
k
Suppose -2*r + 24 = -4*d, -3*r + 4*r + d + 3 = 0. Suppose -3 = b, 5*q - r*q = -5*b + 6. Let o = -632 - -1921/3. Which is smaller: q or o?
q
Let x = -205 - -210.38. Let m = -0.02 - x. Let j = -5.4 - m. Is -24 at least j?
False
Let t = 31 + -46. Let d be 9/(-5) - (204/(-30) + 7). Let s be ((-2)/2)/(d + (-31)/t). Is s bigger than -44/3?
False
Let k = 11 + -11. Let t(a) = 2*a**2 - 41*a - 31. Let b be t(21). Let s be 2/((0 + -1)*b). Is k smaller than s?
True
Let v(x) = -x**2 - 49*x - 594. Let m be v(-27). Is m < 1/2652?
True
Let j = 20 + -17. Suppose 5*p - 10 = 5*g, 9*g + 25 = 4*g. Let w be p + (0/1)/(-4). Is j bigger than w?
True
Suppose w + 62 - 49 = n, -15 = 3*w - n. Suppose 250 = 5*q + 5*m, -2*m - 44 = -q - 0*m. Let s be 1*(q/(-23) - -2). Is s smaller than w?
False
Let j(d) = -201*d - 1082. Let g be j(-5). Are g and -72 unequal?
True
Let g = 273 + 43. Suppose -5*z - 296 = -p, 107*p + z = 104*p + 952. Is p not equal to g?
False
Let c = 5 + -5. Let v be (-38)/5 + 4/(-10) - (-3892188)/486722. Which is smaller: v or c?
v
Let k be (-10)/((-200)/12)*30/2. Let r be (k - 9)/(-1 + 2). Let c = -11 - -15. Which is bigger: r or c?
c
Let h be 68 - (6/9 - (-16)/(-6)). Let b be 298/15 + h/525. Do b and 23 have the same value?
False
Let h = -19 - -26. Let d be (-767)/6 + -4*2/12. Let l = 128 + d. Is h bigger than l?
True
Suppose -44*h + 40*h - h = -43*h. Is -33/29 greater than h?
False
Let i(w) = -w**2 + 8*w + 22. Let k be i(9). Suppose 5*f = -2*c + 38 + 13, 5*c - 4*f - 45 = 0. Is c bigger than k?
False
Let j = 36.081 - 35.9. Let y = 1.181 - j. Which is greater: y or -3/40?
y
Let p = -35172 + 26822. Is -1/4 at least as big as p?
True
Let j(u) = u + 11. Let c be j(-3). Suppose 5*k - f - 2 = 0, -4*k + 4*f - c + 0 = 0. Which is bigger: k or -10/49?
k
Let t = 0.301 + 1.699. Let c = -29.9 - -28.9. Are t and c nonequal?
True
Let s be 82/(-8) - 2 - (-1)/4. Let q(r) = r**3 + 12*r**2 + 6*r + 4. Let k be q(s). Let j be ((-2)/(-5))/(k/85). Is 20 not equal to j?
True
Suppose 0 = 6*p - 877 + 871. Is -19/43 equal to p?
False
Let j(u) = 6*u**3 - u**2 + 3*u - 2. Let w = -74 - -75. Let x be j(w). Let b be (3/(-12))/1 - x/8. Which is smaller: b or 0.2?
b
Let w(b) = -2*b**3 - 8*b**2 + 1 + 12*b + 12*b**2 - 11*b**2. Let v be w(-6). Is v at most 109?
True
Let v = 24.12231 - 0.11831. Let z = -0.004 + v. Let k = z - 24.2. Which is smaller: 0 or k?
k
Let j be (-879)/4 - (-3 - 27/(-12)). Let m = -178 - j. Which is bigger: -2 or m?
m
Let o = -92 + 108. Let h be o*8 + (-1)/(1/(-4)). Are h and 0.1 equal?
False
Let g(z) = 203*z - 616. Let u be g(3). Do -315/52 and u have the same value?
False
Let o be 4/(-218)*(-17)/(-153). Suppose -5*u + 23*u - 18 = 0. Is u equal to o?
False
Suppose -2*p = 10, 4*z = z + 2*p + 13. Let i be 68 - (z + -2)/1. Suppose -i = 5*m + 18*m. Is -5 greater than or equal to m?
False
Suppose -b + 0*i - 4*i + 3571 = 0, 3*b + 2*i = 10723. Are 3575 and b nonequal?
False
Suppose -2*p + n = -122, 2*p - n = p + 59. Which is smaller: p or 15?
15
Let h(b) = b**3 + 7*b**2 + 17*b + 10. Let r be h(-5). Let j(k) = -k**3 - 10*k**2 - 18*k - 4. Let z be j(-7). Is z bigger than r?
False
Let c be (-3)/(-9) - 200/(-12). Suppose -m = -2*z - 9, z - c = -5*m + 4*z. Suppose -2*w = -w + m. Which is smaller: -2 or w?
-2
Let s be (-3599173)/399923 - (-1 - (-8)/(-1)). Which is bigger: s or 0?
s
Let r be 2 + ((-68)/(-52))/(-1). Let j be 1/(-4) + (-99)/(-143). Let l = j - r. Is -2 != l?
True
Suppose 0 = 3*a - 6, 0 = 28*n - 25*n + a + 10. Let i be 49/11 - (n + 9). Is i equal to 1/3?
False
Let k be ((-12)/(-10))/(36/2070). Let d(c) = 59*c + 1. Let h be d(1). Let b = k - h. Which is bigger: 7 or b?
b
Let m = -8.797 - -11.797. Let q = -1 + 14. Which is smaller: q or m?
m
Let f = 30/103 + 1485/206. Let w(y) = 7*y - 1. Let j be w(2). Let q = 22 - j. Is q smaller than f?
False
Let p be (-1 + 3 - 492/248)*20/330. Is p equal to 1?
False
Suppose -492 + 150 = -156*w + 594. Let t(y) = y**3 + 2*y**2 - 3*y - 3. Let z be t(-2). Which is bigger: z or w?
w
Suppose -l - 2*o = -10, -3*l = 2*l - 5*o - 35. Suppose -l*x = 6 + 18. Which is greater: -28/13 or x?
-28/13
Let o = 4832 + -3185. Suppose 2*c - 1311 - o = 0. Let z = c + -99091/67. Which is smaller: z or 0?
0
Let y(f) = f**2 + 16*f + 2. Let i be y(-16). Suppose -i*c + c = -56. Suppose 3*p + c = 5*r - 3, 52 = -2*p - 3*r. Is p > -22?
False
Let p(r) = 58*r - 753. Let l be p(13). Is l greater than 2116?
False
Let q = 538 - 2145/4. Which is smaller: q or -1?
-1
Let i = 141 + -989/7. Let m be 5/(-70) - 3/(-42). Let c be 0 + m*(12/4 + -2). Is i not equal to c?
True
Let z = 324 + -221. Let i = -135 + z. Is i > -32?
False
Suppose -4*x + 164 = x - 2*o, 5*x - 167 = o. Let b be -2*(3 - (-29)/(-3) - 85/102). Which is smaller: x or b?
b
Let s(l) = 3*l**2 + l - 3. Let r be s(2). Suppose -r + 20 = -x. Suppose 10 = -3*n - 11. Which is smaller: x or n?
x
Let c = -4134 + 4133. Do c and -1/3156 have the same value?
False
Let g(b) = -b**2 + 8*b - 7. Let i be g(6). Suppose 3*s + 2*x = -18, 5*s - 5*x + 11 = -2*x. Let o(n) = -7*n - 22. Let j be o(s). Are j and i equal?
False
Suppose -z + 26 = -3*f + 2*f, -2*f + 92 = 4*z. Suppose -210 = -13*q - 41. Suppose -14*o = -q*o - 24. Is z != o?
False
Suppose -540 = 3*c - 5*r, c + 191 = 3*r - 5*r. Let o = 58337 - 58521. Is c less than o?
True
Let h be (4/42)/((-164)/28 + (33 - 27)). Which is smaller: h or -4/11?
-4/11
Suppose -90*l + 45 = -85*l. Suppose -3*s = l*s. Suppose -5*a - 10 = 2*u - a, s = 2*u - 4*a - 6. Which is smaller: -2/21 or u?
u
Let h(g) = -g**3 + 7*g**2 + 15*g + 30. Let u be h(9). Suppose 40 = 7*a + u*a. Suppose 25 = 4*v + 3*k + 1, -3*v + 3*k = 3. Which is smaller: v or a?
v
Let q(r) = 5*r - 125. Let m be q(29). Let x = -22 + m. Are -4/3 and x equal?
False
Let s = 224/225 + -26/25. Let a(u) = 0*u**3 - 5 + 3 - 2*u**2 - u - u**3. Let n be a(-2). Which is bigger: n or s?
n
Let t = 2841 + -11363/4. Let r = -4.7 + 5. Let x = -2.3 + r. Which is smaller: t or x?
x
Let t(w) = -22*w**2 - 6*w - 16. Let p be t(-6). Let q be (16/(-20))/(p/(-10)). Do q and -1 have the same value?
False
Let u be ((-2)/(-1) - -254)*35/210. Let a be (-4)/(-26) - 2850/(-65). Does u = a?
False
Suppose -2*d - 3*c = -7*d + 1894, 4*c - 1148 = -3*d. Let m = -130 + d. Which is smaller: m or 249?
249
Let t be 2/((-1)/(-92)*-1). Let c = -183 - t. Which is bigger: c or 1/20?
c
Let j = 7/43 + -219/817. Which is bigger: j or -61?
j
Suppose -6*d + 21 - 45 = 0. Let y be (-95)/d - (-5)/4. Let m = -27 + y. Is -20/13 > m?
True
Let y = 0.998 - 483.998. Let l = y - -483. Which is bigger: -0.529 or l?
l
Let k = -50 + -3133. Is -3182 smaller than k?
False
Let p be 4*1*1/(-2). Let q be 1 - (p - 18*1). Let y(b) = -382*b + 3458. Let v be y(9). Does q = v?
False
Suppose 31*v - 4*p = 34*v - 24, 4*p = -v + 8. Suppose -v = 24*b - 16*b. Is b < -1/119?
True
Suppose -7 = 9*n + 200. Let s = 59 + n. Let k be (34/4)/(18/s). Is 35/2 at most k?
False
Let h be (9 + -9)/1 - 3/((-1701)/(-1589)). Is