 -22*c + 3, 0 = -2*b + 3*c + 10. Let i = 14476 - 7614379/526. Is b less than i?
True
Let v = -2670 - -2704. Which is smaller: v or -4/15?
-4/15
Let g = 207 + 120. Suppose -g = -6*h + 33. Which is bigger: -1 or h?
h
Let b be (4/2)/(2/172). Is b bigger than 177?
False
Let a = -77 - -97. Suppose 0 = -5*u + 2*l - 232, -4*l = -2*u + a - 100. Let h = -95 - u. Is h bigger than -46?
False
Let c be (4 - 234/52)*-86*31. Does 1331 = c?
False
Let s = 20 + -18. Suppose 90*f = 44*f + 276. Is s at most as big as f?
True
Let z be (-3922)/4 - ((-21)/(-6) - 3). Let c = z + 1781. Is 0 bigger than c?
False
Let a(m) = -2*m + 6. Let d be a(1). Let x be ((d - 16)/(-2))/(-1). Let o be 48/18*x/1. Are -16 and o unequal?
False
Let a = -8876 + 8593. Is -2.2 != a?
True
Let n(p) = p**3 - 34*p**2 - 308*p - 19. Let g be n(41). Which is bigger: -879 or g?
-879
Let k = -15534 - -20526. Which is smaller: k or 4990?
4990
Let a = -24.9 + 25. Let p(y) = -3*y**3 + 8*y**2 + 6*y - 14. Let f be p(-5). Let s = 41951/79 - f. Which is smaller: s or a?
s
Suppose -61 - 2 = -5*f - k, 0 = -5*k - 10. Suppose 64 = -f*c - 66. Let w be (8/(-50))/((-4)/c). Is 0.18 not equal to w?
True
Let t(m) = m**3 + 6*m**2 - 2*m + 29. Let i be t(-7). Let s be (i + 9 - 6)*50. Do s and -152 have different values?
True
Suppose 0 = 4*m + 121 + 355. Let t = -116 - m. Suppose -4 + 4 = t*x. Which is bigger: 3/62 or x?
3/62
Let h(j) = -5*j - 10. Let k be h(-2). Let u be (-2)/82*(2 + -3). Which is bigger: k or u?
u
Let k(h) = -h**3 - 7*h**2 + 44*h + 300. Let j be k(-6). Is j at most -47/442?
False
Let y be 129/(((-104)/(-106) - 2) + 1). Is y < -6839?
False
Let p = -1/745 - -3731/4470. Which is smaller: p or 15.6?
p
Suppose -58*k - 4785 = -69*k. Let s = 436 - k. Which is bigger: -1/189 or s?
s
Let z = -23.86 + -73.04. Let m = -95 - z. Is m at least as big as -1?
True
Let n(m) = -14*m + 39. Let z be n(0). Let i(u) = u**3 - 37*u**2 - 77*u - 40. Let o be i(z). Is 1/254 bigger than o?
True
Let a be 4/58*1/2. Let v be ((-2)/6)/(12/36*(2 - -2)). Which is greater: a or v?
a
Let x(b) = b + 7. Suppose 10 = -14*k + 12*k. Let i be x(k). Suppose 0*f + i*f = 7*f. Which is smaller: 2 or f?
f
Let q = 291 + -290. Let y be 173*q/9 + (-6)/27. Is 61/3 at most as big as y?
False
Let y = -217615/27 + 8065. Let b = y - -3095/54. Are -2 and b non-equal?
True
Let b = -198 + 24. Let d = b - -173. Which is greater: -5/3 or d?
d
Suppose 3*i = 3*q - 621, q + 315 = -2*i - 96. Let z = -205 - i. Which is greater: z or 20/23?
z
Let y = 554229/71 + -7806. Is y at least 2/7?
False
Let p = -6242 - -6244. Is p <= 2093?
True
Let i be (2 - 3) + -3 + 2. Let b = -33716/25 - -1348. Is b < i?
False
Let p = 2723 - 3370. Which is greater: -649 or p?
p
Suppose -5*o - 483 = 2*b, 13*b - 665 = 16*b - o. Which is bigger: b or -240?
b
Suppose 2*j = -0*j - 2*b, 4*j + 3*b = 0. Suppose j = -2*m - 0*m - 2. Let z be (-4)/((-48)/5)*(-9)/(-90). Which is bigger: z or m?
z
Let g = 3 + -2.9. Suppose 0 = m - 5*m - 16, 218 = 5*v + 3*m. Let x = -41 + v. Which is bigger: x or g?
x
Let t be -1137*(-4 - -2)/6. Let k be 1/(-10) + t/(-10). Let u = 18 + k. Which is bigger: u or -21?
u
Let o be (21/5)/(1/5). Let d be 35/10 - 5/10. Suppose -25*f = -20*f + 2*y - 97, -d*f + 3*y + 75 = 0. Are f and o non-equal?
False
Let m be ((-7)/(-2) + -1)/(0 + -1). Let v = -20 - -21. Let l(x) = -4*x**3 + 2*x**2 - 2*x. Let w be l(v). Which is smaller: w or m?
w
Let x = 8716 - 496810/57. Which is smaller: x or 1/53?
1/53
Suppose 3*y + 2 = i - 16, 0 = -2*y - 10. Suppose i*c = f + 1307, -c + 878 = c + f. Which is smaller: c or 438?
c
Let y = -0.01077 - -6.01077. Which is smaller: y or -59?
-59
Let y(m) = -2*m + 2. Let h be y(-2). Let g = -246 - -288. Suppose -g = -37*b + 30*b. Is h >= b?
True
Let h(w) = -w**3 - w + 20. Suppose 25 = -3*c - 5*j, 0 = 5*c - 0*j + 5*j + 25. Let b be h(c). Let o = 6 + b. Which is smaller: o or 28?
o
Let v = -1255183 + 342548. Let o = 15508781/17 + v. Let x = o - -354. Is 1 < x?
False
Let o be ((0 - -2) + 0)/(-1). Let y be (o/(-1) + -15)*1/1. Suppose -9*p + 14*p = -5*v - 40, 2*v = -5*p - 25. Which is smaller: y or v?
y
Suppose 16*d - 3*d - 102934 = 0. Let f = d - 71158/9. Which is bigger: 12 or f?
12
Let g = 17588 - 17919. Which is greater: -28 or g?
-28
Let b = 424 - 423. Let w be -14 + (-4 - -2 - b). Is -22 <= w?
True
Suppose -148156 + 238010 = 98*b - 447578. Is b greater than 5482?
True
Suppose -4*x - 4*i + 5*i - 31 = 0, -3*x + 4*i = 7. Let a = 4140.9 + -4141. Is x smaller than a?
True
Let g be (3081/(-234) - -13)*10774*5/(-2). Is 4489 > g?
False
Let r = -571.55163 + 6.08963. Let q = -565 - r. Which is greater: 2/3 or q?
2/3
Let m = 2.7377 - 1.7377. Let d = -17.16 - -17. Is m less than or equal to d?
False
Let x be (-14)/((-280)/(-1300)) - 4/6*6. Are x and -60 non-equal?
True
Let l be 2 - (-2*8 - -4). Let i = 26 - l. Suppose -4*o + 24 = 2*w, -i = -w - 2*w. Is o > 3?
True
Let o(w) = 4 - w**3 - 7*w + 12 - 10*w**2 - 1. Let x be o(-9). Let z be (-3)/(-18)*x*0. Which is bigger: -1/18 or z?
z
Let x = -4.9324 + 0.1024. Let u = 4.82 + x. Which is greater: -28 or u?
u
Let o = 16.5 + 71.5. Let i = o + -87.8. Let p = 0 + -0.1. Is i less than or equal to p?
False
Let h = -1767 + 1125. Is -640 less than or equal to h?
False
Let m = 1132816123/10958 + -103378. Do m and -1 have different values?
True
Let w be -18 + (-1)/((-1)/(-2)). Suppose 48 = 21*a - 36. Suppose -a*i + 21 + 91 = -5*c, 4*c - 2*i + 86 = 0. Is w equal to c?
True
Let q(b) = 10*b - 430. Let f be q(78). Which is bigger: 357 or f?
357
Let t = -0.56 + -29.44. Let l = t - -91. Let k = -51 + l. Which is smaller: k or -1?
-1
Suppose -f = 184 + 47. Let g be (-8)/(-14) - 54926/(-238). Let b = f + g. Are -0.1 and b unequal?
True
Suppose -5*v = 0, -3*r + 60 = 2*v - v. Let l be ((-60)/(-25) - 2)/(4/205). Is r < l?
True
Let a(m) = 136*m - 11805. Let t be a(86). Let h be (20/(-165))/(2/(-3)). Which is bigger: h or t?
h
Let p = 12663106569/682 - 18567609. Let n be ((-3)/(-6))/(-2 - (-16)/(-240)). Let o = n - p. Which is bigger: 5 or o?
5
Let c(s) = s**2 - 22*s + 122. Let z be c(10). Suppose 5*b + 5*k - 115 = 0, -z*k = 4*b - 8 - 86. Which is smaller: 1 or b?
1
Let n(u) = 44*u**3 - u**2. Let g be n(1). Let f = -45 + 44. Let d be (-342)/(-8) + f*(-1)/(-4). Are g and d equal?
False
Suppose -9*a - 97 - 164 = 0. Let m = 45 + a. Is 16 greater than m?
False
Suppose -47*l - 24 = -51*l. Suppose -11*t = -l*t + 180. Is -35 >= t?
True
Suppose 0 = -4*u - 2*g + 3128, 0*u = 5*u + 2*g - 3912. Let x be u/(-4927) - (-4)/26. Suppose -5*n + 3*n - 3*k + 3 = 0, -4*k = -2*n - 4. Is x bigger than n?
False
Suppose -28*y = -8 + 92. Let p be 16/(-6)*(y - -7 - 7). Which is greater: 20 or p?
20
Suppose 3*p - 72 = 3*w, 2*p - 38 = 12*w - 15*w. Suppose -p*m + 8*m = 28. Are m and -40/13 nonequal?
True
Suppose 2*v - 5*a = -48, 3*v - a = 16 - 75. Suppose 2*z - m = -32, -5*m - 10 = 2*z - 2. Is z at least as big as v?
True
Suppose 1 + 3 = 2*n. Suppose -n*u + 3*u = 1. Let f be (u/21)/(2/(-6)). Do -1 and f have the same value?
False
Let d = -27.4 + -2. Let a = d - -29.6. Is a greater than 2/5?
False
Let m = -36036 - -35975. Let n(x) = 32*x + 3. Let d be n(-2). Is m at most as big as d?
True
Let t = 33.5 - 34.413. Do t and 0.1 have different values?
True
Let q be 2/2*(-3 + 243). Suppose 0 = -c + q - 129. Let j = c + -23. Are 89 and j equal?
False
Let w(a) = 12*a - 129. Let x be w(12). Suppose -868 = -x*y + 19*y - h, -844 = 4*y + 5*h. Do y and -216 have the same value?
True
Let a = -23 + -62. Let j = a - -111.6. Let w = -0.6 + j. Do w and -1 have the same value?
False
Let z(a) = 4*a - 10. Suppose -k + 6*k = -g + 29, 37 = 3*g + 5*k. Let u be z(g). Let h be (-125)/10 + (21/u - 2). Which is smaller: h or -12?
-12
Let b be (350/352 + -1)/((-105)/827190). Let a = b - 179/4. Which is smaller: -1 or a?
-1
Let x = -4 - 1. Suppose -23*o = -22*o + 5. Let m be (-12)/o*(-4)/(24/9). Is x less than or equal to m?
True
Let y = 3466/37 + -99471/296. Is y at most -241?
True
Let u = 8959/15581943 - -2/11637. Which is smaller: u or -1?
-1
Suppose -48 = -5*g - 4*q, 5*g - 9*g + q = -51. Suppose -42 = -2*p - 12. Suppose 5*y + r = -g + 45, p = 3*y - r. Which is greater: y or 27/4?
27/4
Let o be 71/(-50) + 324/216. Which is bigger: o or 0.61?
0.61
Let i = -770 + 726. Let l = 2605/2 + -1347. Which is bigg