b be 0 + (-22 - -4 - -2). Let k = 36 + b. Is k smaller than g?
True
Let x = 3936/13 + -65859/221. Which is bigger: 3/7 or x?
x
Let h = -697307/193 + 3613. Which is smaller: h or 0?
0
Suppose -4*o = -5*d - 747, -2*d + 7*o - 10*o - 285 = 0. Let v be (-68)/14 - (-21)/d - -2. Which is smaller: v or -48/17?
v
Suppose 104 = 26*f + 8 - 164. Let l be -1 + 0 + 0/2. Which is smaller: f or l?
l
Let w be (-102)/238 - 36/14. Let x be ((-1608)/48)/(w/(-6)). Which is smaller: x or -66?
x
Suppose -14*c = -17*c - 111. Let h = -210 - -209. Which is smaller: h or c?
c
Let b be ((-28188)/(-27))/(-9) + 4/1. Which is bigger: b or -114?
b
Let h(u) = -u**3 + 8*u**2 + 8*u + 13. Let z = -41 - -41. Let r(d) = -d**2 + 3*d + 9. Let m be r(z). Let c be h(m). Which is greater: c or 3?
c
Suppose -2*d + 104 = -d + k, -4*d = -3*k - 409. Let j = -92 + d. Suppose 12*o + 40 = j*o. Is o greater than or equal to -38?
False
Let s be 2/(-6) - (19 + (-5543300)/286725). Which is bigger: s or 1?
1
Suppose -1 = -3*q - 5*b - 9, 0 = q + b. Let w(g) = g**3 - 5*g**2 + 5*g + 3. Let t be w(q). Let s be (-3)/t*-1 - (-190)/(-133). Which is smaller: 8/27 or s?
s
Let z = 15796/9 + -1750. Let a = -647 + 651. Is z not equal to a?
True
Let b be (-221)/(-13) - (18/(-2) + 2). Let q = 31 + -69. Let g = -13 - q. Do g and b have the same value?
False
Let r be (-14)/3*6*(-9)/(-12). Let g be (4/204)/((-1)/r). Is 0 > g?
False
Let o = 667 + -5329/8. Let c = 0.008 + -2.008. Which is smaller: o or c?
c
Let n(u) = -u**3 + 19*u**2 + 8*u**2 + 27*u + 9 - 24 - 10*u**2. Let z be n(18). Is 148 less than or equal to z?
False
Let x be (-3)/(-9) - (-260)/12. Let f = 34 - x. Let s = f + -12. Which is smaller: s or 2/107?
s
Suppose 806 = -4*f - 2*c, 4*f + 697 + 139 = 4*c. Which is smaller: f or -202?
f
Suppose -14*v + 10*v - 3*g = -34, v - 5 = g. Let s be 73/v + (-3)/((-21)/4). Is s greater than 51/5?
True
Let v(k) = -4*k**3 + k**2 - k. Let n(a) = a**2 - 11*a - 15. Let u be n(13). Suppose 5 = -6*q + u*q. Let p be v(q). Is -3 < p?
False
Let q = -2 - -1. Suppose 8*w + 528 = -3*w. Let c = w + 56. Which is bigger: c or q?
c
Suppose 0 = 2*w - 5*d + 5, -4*w = -d - 175 + 176. Which is smaller: w or 60/637?
w
Let i(c) = -120*c**2 - 39*c - 35. Let j be i(5). Which is greater: j or -3232?
j
Let t = 40.92114 + 0.07886. Which is bigger: t or 0.025?
t
Let i(w) = 4*w - 11. Let f be (-3)/((-7)/(-2)*(-6)/14). Let u be ((-90)/40)/(f/8). Let p be i(u). Which is smaller: p or -46?
p
Let q = 44 + -28. Let i be (-135)/140 + 4*1/q. Are -2 and i unequal?
True
Suppose 1 = -b, 5*r = 6*r - 5*b + 15. Let q(z) = -2*z**2 - 40*z. Let p be q(r). Let s be (-1)/(-2)*4/(-166). Which is smaller: s or p?
s
Let p = 267 - 268. Let o be -1 + (-1)/p - (-36)/126. Is o at least as big as 3?
False
Suppose -125*s + 3201 = -123*s + y, 0 = s + 3*y - 1588. Is s at least 1602?
True
Let q = -669.6 - -665.6. Is q != 340?
True
Suppose 5*o = 61*i - 62*i + 6, -i + 3 = 4*o. Let j = 94 + -1408/15. Are i and j equal?
False
Suppose -3*r = 3*f - 15 + 36, -1 = 4*f - 5*r. Let c be (2 - 64/f)*295/(-15). Is -353 > c?
True
Let i = 915 - 12841/14. Let r be 76/342 + (0 - 11/9). Which is greater: i or r?
r
Let z = -25.63 + 230.73. Let b = z - 216. Which is smaller: 0 or b?
b
Let o be (4/6)/(0 + -2). Suppose 339*y - 330*y = 414. Let v be ((-2)/y)/(3/18). Is o > v?
False
Let t = 9 + -5. Suppose -2*u = -6*u - t. Suppose 0 = -5*a - 98 + 133, 0 = -3*f + 2*a - 23. Is u greater than f?
True
Let p = -548 - -560. Suppose -p*k + 7*k + c = -400, -3*c = -3*k + 240. Are k and 82 non-equal?
True
Let c = 11.9 - -4.1. Let h = -16.1 + c. Let v be 81/78 + (5 - 6). Which is greater: h or v?
v
Suppose 0 = y - 5*q - 43, -16*y + 18*y - q = 131. Let t be (407/3 + 2/6)/2. Is t < y?
False
Let r = -2974 + 1418597/477. Let f = 35/159 - r. Are f and 2/5 equal?
False
Let c = -368 - -393. Let i be (369/15)/((-5)/c + 0). Which is smaller: -0.1 or i?
i
Let d(g) = 2*g**3 - 5*g**2 - g - 1. Let j be d(4). Let t be 68/(-6) + 24480/2160. Which is bigger: j or t?
j
Let k = 0.213 - 144.213. Let t = 145 + k. Which is smaller: t or -1/2?
-1/2
Let h = -390307 + 390249. Suppose y + 2*y = 0. Which is smaller: h or y?
h
Let q = 1514 - 1521.7. Which is smaller: q or -0.2?
q
Let t = 235.77 + -85.77. Is t != -10/3?
True
Let q = -13023 - -12668. Which is bigger: -368 or q?
q
Suppose -x + 8236 = 2*z, 774*z - 770*z - 5*x - 16486 = 0. Are z and 4119 nonequal?
False
Let i be 1520/336 + (0 - 0 - (-48)/6). Are 12 and i nonequal?
True
Let w be 4944/360 + -2*7. Suppose 6 = 2*t - 2*l, -2*t + 7*t - 2*l - 18 = 0. Let j be ((-5)/40)/(2/t). Are j and w non-equal?
True
Let n = -6.692 - -6.892. Is -0.4156 less than n?
True
Suppose 4*a = -3*k - 294, 3*a - 577 = 3*k - 241. Which is smaller: -113 or k?
-113
Let v(t) = t**3 - 6*t**2 - 7*t + 2. Let f be v(7). Suppose 11*b = -20 + 42. Is f <= b?
True
Suppose 0 = 5*k - 3*a + 23, -6*a = -4*k - 8*a + 8. Which is bigger: k or -50/137?
-50/137
Let i = -14 + 16. Let x be i/(-1 - 244/(-252)). Let u be 140/x - (-2 - 0). Is u at most as big as -1?
False
Let x = 4881.7 - 4361.49. Let c = x + -520. Which is greater: c or 4/11?
4/11
Let r(y) be the first derivative of -1/3*y**3 + 9/2*y**2 - 10 - 10*y. Let p be r(7). Which is greater: 3 or p?
p
Let u be (-3 - 0)/(-1 - (-4 - -2)). Let x be u - 3/24*4*-6. Suppose -5*t = -x*t - 4*y + 45, -5*y = 3*t + 27. Which is smaller: -47/5 or t?
-47/5
Suppose -56 = 4*j + x, 7*j = 4*j + 3*x - 57. Suppose 5*c - 15 - 265 = 0. Let g = j + c. Is g at most 39?
False
Let w = -283 + 282. Which is greater: -1371 or w?
w
Let m be (112/2380)/((-4)/(-10)). Let v be (-4)/1 - ((-14)/(-6) + -7). Which is greater: m or v?
v
Let w be 2/(-11) + 1*(17129/(-231) + 4). Suppose -232 = 3*y + 5*u, -3*u + 237 - 45 = -3*y. Is w <= y?
True
Let b be ((-854)/(-976))/((-2)/36). Which is greater: b or -17?
b
Suppose -2*u = 0, 74*u + 153 = p + 72*u. Suppose 0*a = -2*a - 184. Let g = a + p. Is g equal to 62?
False
Suppose -c - p + 3 = 0, 3*c - 1189 = 2*p - 1200. Which is smaller: -4/2039 or c?
c
Let s be (-22540)/(-4506) - (-820)/(-164). Which is smaller: s or -1?
-1
Let c = 0.37 + -0.07. Let y(f) = -f. Let a be y(2). Let v be a/12 - 2/(-4). Which is smaller: c or v?
c
Let f = 39 - 35. Suppose -f*r = 5*w - 63, -4*r + 1 = 3*w - 56. Suppose z = -r + 11. Is -1/67 > z?
True
Let w = 33355 - 33362.15. Which is smaller: 15/2 or w?
w
Suppose 4*d - 2*h - 180 = 2*h, 2*h = 0. Suppose 3 + 2 = -5*s, -122 = -2*b - 2*s. Let r = -18 + b. Which is bigger: r or d?
d
Let n = -0.374 + 0.41. Let h = -0.534 - n. Let m = h + 2.57. Are -5 and m nonequal?
True
Let l = 36 + -42.16. Let d = -0.84 + l. Is 1/6 < d?
False
Let z = 164816.26 - 167146. Let n = z - -2392. Let w = -1.26 + n. Which is greater: w or -1?
w
Let q be 13/(-2)*(1576 - 706). Is -5654 != q?
True
Let u = 61701/7 - 64604/7. Let l = -415 - u. Which is bigger: l or -50?
l
Suppose 4*s = n - 46, -s - 65 = -2*n + 6. Let v(z) = -189*z - 10740. Let p be v(-57). Is p != n?
True
Suppose -3*s - s - 2*r + 38 = 0, -5*s = 5*r - 50. Let p = 83097 + -83088. Is p bigger than s?
False
Suppose -i + 3*i = -8. Let r(s) = -5*s + 13. Let m(a) = -a + 2. Let n(x) = i*m(x) + r(x). Let u be n(5). Which is smaller: u or -4/19?
-4/19
Let g = 87885/8 - 10986. Let p = 6 - 2. Suppose 0 = -p*k + 5*k. Which is smaller: g or k?
g
Let g be ((-1)/1)/((-264)/(-9896)). Let f = g - -113/3. Let q = 7 + -3. Are f and q equal?
False
Suppose 49*w - 126 = 67*w. Let a be (-9)/42*(-1 - -7)*6. Does w = a?
False
Suppose -23*m + 80 = -7*m. Suppose -m*r + 5*o = -25, -3*r - o = -13 - 2. Is r greater than 24/5?
True
Let j be 8/32 + (-17)/4. Let o be 0 - 8 - (-34 - -32). Is j smaller than o?
False
Let g = 111.58 + 516.42. Which is bigger: 0.1 or g?
g
Let c be (4/(-498))/((-434)/42 + 9)*-2. Let g = 3 + -4. Which is smaller: g or c?
g
Let u = 23 + -22. Suppose 4*z = -2*m - 2*m + 52, -15 = -5*z. Let k be (-12)/m*15/(-6). Is u > k?
False
Let j = -13904 - -12663. Which is bigger: j or -1237?
-1237
Let k be -2999 + (-20)/210 + (0 - (-40)/(-21)). Which is bigger: k or -3002?
k
Let z be 15275/(-100) + (-60)/(-16). Which is greater: z or -744/5?
-744/5
Let d = 1071463/57605 - 2/11521. Let a = -660 - -680. Is d at most a?
True
Let a = -3781 + 3788. Is a smaller than 2.9?
False
Let q be (402/(-8))/(-24*9/(-576)). Are q and -134 nonequa