et u be z(4). Let x be u*(-4202)/80 - 3. Let c = 108 + x. Which is smaller: 1 or c?
c
Let r = 142 - 84. Is r equal to 58?
True
Suppose 10 = 5*q - 15. Suppose -4*o - 1 = -q. Let b be (0 + -1)*(-40)/190. Which is smaller: o or b?
b
Let c = -5 + 4.51. Let b = 0.09 + c. Let n = b - -10.4. Are n and -1 equal?
False
Suppose w = 3*w - 5*j - 54, -w - j + 13 = 0. Let c = 19 - w. Suppose p + c*p = -3. Is p bigger than 2/59?
False
Suppose -4*f = -5*t + 15, 0*f - 2*f + 3 = t. Suppose f*g - g = 28. Is g greater than -28?
False
Let q = -0.2 + 0.2. Let i = 1.04 + -14.74. Let a = i + 14. Do q and a have different values?
True
Let d be (4/(-6))/(8/432*9). Let l = -2 + 2. Suppose -z + 5*z = l, 3*y - 2*z + 12 = 0. Is y != d?
False
Let k be (2/(252/(-1146)) - -9)/(6/14). Let g = 0.3 + 1.7. Let b = g - 1.9. Is b not equal to k?
True
Suppose -15 = -3*h + 3*l, 7*l - 4*l + 6 = 0. Let q be (h - 9)*824/20. Let a = -245 - q. Do a and 3 have different values?
True
Let c = -0.65 - -0.4. Let i = c + 0.18. Let b = -0.07 - i. Is b <= -2/3?
False
Let a be ((-1)/2)/(-8 + 34/4). Is a at least 0.12?
False
Suppose -8 = l - 3*l. Suppose -2*j - l*v - 12 = 0, 4*j + 2*v - 4*v = 6. Is j <= -4/5?
False
Let i be 2/(-7) + (-2 - (-51)/7). Suppose -k + i*a + 10 = 0, 0*a = -k - 4*a - 17. Which is bigger: k or 0?
0
Let y = 338791/442 + -1533/2. Is y at least as big as -1?
True
Let a be 3/(3/8) - 3. Suppose -3*i - 6 = -a*m, 0*m + 6 = m + i. Suppose -3*r = 5*g - 18, r + 17 = m*r + 5*g. Is r bigger than -0.6?
True
Let x = -1/1080 + 2623/500040. Is 0 less than or equal to x?
True
Let o be 1/(-2) - 135/2. Which is greater: o or -72?
o
Let t = 60 - 61. Let w be ((2 + -1)*4)/t. Is w at least as big as 6?
False
Let m(g) = g - 15. Let j be m(18). Suppose -s = j*s - 8. Let h be (0/1 + s)/(-4). Is 2/17 equal to h?
False
Let y(l) = 2*l**2 - l. Let i be y(1). Let b = -3920 + 3990. Which is smaller: b or i?
i
Let o = -0.18 + 7.18. Let w = o - 7.1. Let f = 2.9 - w. Is 2/9 less than or equal to f?
True
Let p be 0 + (0 - (-13 + 0)). Suppose p*c + 55 = -88. Which is greater: -9 or c?
-9
Let d be 1 + 1 + (-1 - 1016/(-20)). Which is bigger: d or 53?
53
Let g be 1 - (20/14)/2. Let p = -27 - -30. Is p <= g?
False
Let n = 18628/12837 + 4/1167. Let u = -300 + 301. Which is bigger: n or u?
n
Suppose 3*s + 0 = 9. Suppose 5*i + 25 = -2*u + 2*i, -i = -s*u - 65. Let n = u - -17. Is n at least as big as -3?
True
Let z = 19 - -3. Let r = -23 + z. Is r at most as big as -2/47?
True
Suppose -635 = 7*b + 436. Is b smaller than -0.1?
True
Let h = 92 + -95. Let a = h + 5. Which is greater: a or 2/5?
a
Suppose -111 = 3*n - 5*p, -5*n - 2*p - 319 = -103. Let u = 37 + n. Is -6 less than u?
True
Let r = -547/95 + -16/19. Is -8 at least as big as r?
False
Let z = -64 + 39. Let s = -24.7 - z. Which is greater: 4 or s?
4
Let k = -2.3 - -2. Suppose 176*s - 1 = 177*s. Is s > k?
False
Let x(d) = d - 2. Let i be x(2). Suppose -4*a + 0*a + 216 = i. Let f be (-9)/a*4/6. Which is bigger: f or 0?
0
Let x = 3/4 + -23/20. Suppose -q = -5*q. Suppose 0 = -q*m + 5*m + 5. Which is smaller: x or m?
m
Suppose -13*w - 101 = 94. Let d(r) = -3*r - 27. Let y be d(w). Which is greater: y or 16?
y
Let g = -16 - -14. Let u be 16/20*(52/14 - g). Which is smaller: u or 4?
4
Let j be 594/(-10) - (-52)/130. Is -54 <= j?
False
Let t be 32/(-10) + (-2 - (-6 + 1)). Is t at most 0.046?
True
Let m = 35 + -31. Let s be 51/6 + (-2)/m. Is 8 at least s?
True
Suppose o + 490 = 5*c, -16*c + 18*c - 173 = 5*o. Which is smaller: c or 101?
c
Let j = -6.4 - -5.08. Let f = 1.5 + j. Let v = f - 5.18. Is -2/9 at least as big as v?
True
Let d(b) = 7*b - 14. Let s be d(6). Let u = -2 - s. Which is smaller: -29 or u?
u
Let g = -260.2 + 260. Suppose -4 = -3*f + 5. Let l be (-3)/(-2)*2/f. Is l not equal to g?
True
Let v = -244 + 247. Is v equal to 0.3?
False
Suppose -252 = -3*t - 6*t. Is t less than -1?
False
Suppose 121*n = 2*x + 126*n - 17, -2*n - 86 = -5*x. Suppose -3*w = 4*i - 61, 3*i - i + 52 = 4*w. Is x >= w?
True
Suppose -220*d - 1134 = -213*d. Are -163 and d equal?
False
Let c(w) = w**3 + 9*w**2 + 9*w - 4. Let k be c(-9). Let n be (-4)/10 + k/(-25). Which is smaller: n or 2?
2
Suppose 0 = -2*c + 40 - 28. Suppose 10 = c*o - 14. Is 9 > o?
True
Let x be ((-24)/18)/((-4)/9). Let h = -7 - x. Is h >= -9?
False
Let f be 1/(4 + 4/(-28)*29). Let y(z) = -z - 8. Let s be y(f). Is s > -1/11?
False
Let p be 10/35 + 34/28. Let n(j) = 4*j**2 - 3*j. Let q be n(2). Let m be (4/q)/((-14)/(-35)). Is p at most as big as m?
False
Let s = 954 - 953.7. Are s and 4/3 equal?
False
Let l = 5.7 + -5.3. Let r = -0.5 + l. Which is greater: -3.9 or r?
r
Let a = 11 + -11. Suppose -4*f + 3*f = a. Suppose f = -5*h - 2 - 8. Is -1 < h?
False
Let b(a) = -a**3 - 2*a**2 - 2*a - 3. Let p be b(-2). Let h be -1*(-80)/(-26) - -3. Is p at most h?
False
Suppose -18 = 9*m - 4*m + 2*r, 3*m - 3*r - 6 = 0. Is m greater than -11/12?
False
Let v = -12 - -6. Let q be (3/(-1))/(9/v). Let l = 403 - 2411/6. Is l at least as big as q?
False
Let t(g) = 108*g + 37. Let j be t(-2). Which is smaller: -181 or j?
-181
Let k be (3/(-4))/((-3)/2). Let l be -6 + 13 - 8 - (-2)/4. Which is smaller: l or k?
l
Suppose 0 = x - 2*x + 26. Let w be (-2)/8 + x/40. Let s be (-14)/21 - 1/3. Is w >= s?
True
Let p be 28/(-216)*(-173)/7. Let y = 19/6 - p. Which is smaller: 0 or y?
y
Let f be (-310)/70 + 6/14. Let y be (-22)/20 - (-5 - f). Suppose -6 = 2*x - 4*x - 2*m, 0 = 4*x - 4*m + 12. Which is greater: x or y?
x
Suppose 0 = 175*u - 176*u - 1. Is u at least as big as -2/33?
False
Let b = -416 + 714. Which is bigger: 1497/5 or b?
1497/5
Suppose 37*y - 32*y - 10 = 0. Let t be 4/(-3) - (y + (-15)/(-9)). Which is smaller: -2/17 or t?
t
Suppose -5*u - 10 = 0, -2*t + 12 = 3*u - u. Let n be 24/3*22/t. Which is bigger: 0.1 or n?
n
Let k = 0.18 - -0.02. Suppose -7*o + 2*o = -15. Let j be 2*44/24 - o. Which is smaller: k or j?
k
Let t = -1225 - -1226. Let q = -1743/22 + 475/6. Are q and t equal?
False
Suppose -34*z - 27 = -61. Which is greater: z or -1/175?
z
Let l be (1 + -2)/(6/18). Let z = l + 8. Suppose 4*w = z*w. Is w at least as big as -2/39?
True
Let s = -77948441 - -260113945607/3337. Let b = -3544120/6470443 + s. Let o = -2/277 - b. Which is bigger: 1 or o?
o
Let f = -14 - -14. Let g = -4051/3 + 733237/543. Do g and f have the same value?
False
Let q(u) = -2*u + 19. Let d be q(9). Suppose 0 = -4*a - 2*s - 2*s, -4*s = 5*a - d. Suppose -3*l - 2*h - a = -11, 4*l = 4*h + 20. Which is smaller: l or 14/3?
l
Let x = 4.11 - 0.11. Let y = 0.007 + -0.307. Is y less than x?
True
Suppose x + x + 2*w = 266, -x = 5*w - 149. Let g = -90 + x. Let n be 17/21 - (-13)/g. Which is smaller: 1 or n?
1
Suppose -6*w = 16*w - 7*w. Let o = w + 1. Which is bigger: -27 or o?
o
Let l(x) = -x + 1. Let v be l(2). Let r be v/(-3) + (-247)/(-78). Which is greater: r or 3?
r
Let n = -1/73 + 296/5621. Is 0 at least n?
False
Let f = 100/23 - 5254/1219. Is -1 != f?
True
Let v be -1 + 5 + (-120)/25. Let y(t) = -t + 1. Let w be y(2). Is w less than v?
True
Let p = 1.5 + -0.5. Let c = 2 - p. Do -15 and c have the same value?
False
Let p be 3/12*(-16)/(-22). Let a = -1663 + 1663. Which is smaller: p or a?
a
Let z(g) = g**2 - 2. Let x be 1*-3*(-10)/15. Suppose -b = 0, -x*a = -0*a - 4*b. Let c be z(a). Which is smaller: c or -3/2?
c
Let z = -1663 + 1817. Which is bigger: 155 or z?
155
Suppose -31*u - 1248 = -23*u. Let p be 4/10 - u/10. Is p equal to 18?
False
Suppose 17*p - 921 = 1442. Let f = -698/5 + p. Which is smaller: -2 or f?
-2
Suppose -5*o - 8 = -3*p + 31, 3*p + 42 = -4*o. Let u be 4/24*o*16/3. Let c be 2/6 + (-25)/3. Is c equal to u?
True
Let g = -0.03 + 0.13. Let h = 23.8 - 24. Which is bigger: h or g?
g
Let q be (36/(-63))/((-12)/42) - 113. Which is smaller: -109 or q?
q
Suppose -5*j - 4 = -j + 5*a, 2*j = 2*a + 16. Which is greater: j or 41/11?
j
Let u = -0.21 + -0.11. Let o = 231.92 + -232. Let b = u + o. Which is smaller: b or 3?
b
Let c = -25.1 + 24.93. Which is bigger: -0.11 or c?
-0.11
Suppose -5*w + 4*g - 14 = -2*w, -3*w - 4*g + 26 = 0. Let r be w/1 + 5 + -13. Is r less than -5?
True
Let o = 2 + 4. Let p be (-14)/(-3) + o/(-9). Suppose -p*i - 2*z + 68 = 0, 58 = 2*i - 5*z - 0*z. Is i < 18?
False
Suppose 3*u = 12, 7*i - 2*u + 8 = 4*i. Let p(d) = -6*d + 5. Let f(h) = -5*h + 4