 -16. Suppose -s*m - 3*x - 1 = 2, -m + 5*x + 31 = 0. Which is smaller: 2/9 or m?
2/9
Let v = 46 - 45.994. Let d = 27.994 + v. Is 0 at least as big as d?
False
Let o be -4 + -6*25/(-45). Which is greater: -2/75 or o?
-2/75
Let s = -369/220 + -21/20. Let j be (-5 - 5) + 5 + 2 + 1. Is j at most as big as s?
False
Let g = -52 - -65.5. Let w = g - 16. Let n = w + 2.5. Is n smaller than 0?
False
Let b be 312/20332*2/(-6). Which is bigger: 0 or b?
0
Let s = 319 - 310. Let w = 2177/228 - -40/57. Is w at least s?
True
Suppose 3*h - 4*t = 55, 4*h + 3*t = 18 + 22. Let x = h + -3. Let p be 10/8*x/(-25). Which is bigger: 0 or p?
0
Let i = -13.21 - -13.17. Which is smaller: 106 or i?
i
Let o be (-23)/18 - (-2)/(-9). Let y = 1.3 + -1.3. Is o greater than y?
False
Let b = -1.9 - -2. Let j = -81.043 - -0.043. Let p = j + 71. Is p at least as big as b?
False
Let c = -69 - -343/5. Let i = -25.957 - 0.043. Let m = i + 26.5. Which is greater: c or m?
m
Let h be (-6)/72*(-19)/(3 - 4). Is -2 greater than h?
False
Let z = -0.3 - -0.44. Let d = -6.3 + -0.6. Let h = d - -7. Which is bigger: h or z?
z
Suppose -35 = 50*a - 435. Let h be ((-264)/(-27) - 2) + 0. Are h and a equal?
False
Let v be (1 - (-302)/(-3))/(5/15). Which is smaller: v or -1?
v
Let v be (3*(-4)/(-80))/((-22)/44). Which is bigger: 0 or v?
0
Suppose -9*g = -8*g + 18. Let n be 81/g*(-4)/2. Suppose n*o - 10*o = 0. Do 3/10 and o have the same value?
False
Let b = 552.8 - 553. Do b and -0.0769 have different values?
True
Suppose 3*n - 12 = 0, d - 2*n = 3*n + 16. Suppose 2*y - q = y + 8, -2*q = 3*y + 1. Suppose y*f - d = -f. Which is smaller: 7 or f?
7
Let p be (1918/(-280) - 2/(-8)) + -1 + 8. Let r = -7.3 + 7. Is p bigger than r?
True
Let k be ((-4)/(-6)*-10)/((-12)/18). Suppose 7*o = k*o - 3. Is o not equal to 1/27?
True
Let c(k) = 4*k**2 + 1. Let m be c(1). Let f = m + 0. Suppose -8*j - 5*p = -4*j - 25, -5*j + p - f = 0. Is j at least as big as 3?
False
Let c(q) = q**3 - 5*q**2 + 5*q. Let l be c(4). Let w = 15 - 8. Let t = 12 - w. Which is smaller: l or t?
l
Let b = -57 - 64. Is b >= -124?
True
Let f be ((-6)/(-2708))/(10/((-40)/3)). Which is bigger: 0.1 or f?
0.1
Suppose 269 = -2*n - d, 4*n - 640 = 9*n - 4*d. Do n and -134 have different values?
True
Suppose 2*h + 199233 + 72643 = 0. Let s = 1630045/12 + h. Let b = -101 - s. Which is greater: b or 1?
1
Suppose -3*p - 6 = -2*z, 8 = -z - 0*z - 4*p. Suppose z = -2*m + 5*m. Suppose m*l - 2*l = -6. Is 3/2 greater than l?
False
Let d = 35 + -11. Suppose -d*m - 1 = -23*m. Let b be (-38)/6*(m + -2). Is b equal to 19?
True
Let c be (-5 - -1) + (-5 - -35). Let a = -24 + c. Is a bigger than 2?
False
Let r = 79 - 88. Let j(h) = -21*h + 119. Let u(s) = -s + 6. Let y(g) = 6*j(g) - 119*u(g). Let x be y(1). Is x less than or equal to r?
False
Let g(h) = 2*h**2 - 5*h + 2. Let q be 9/2*24/54. Let k be g(q). Is -3/8 greater than k?
False
Let r = 232 + -365. Are 1/5 and r equal?
False
Let a = 1431 + -1429. Is a at least -3/142?
True
Let f = 4139 + -4141.143. Let z = f + 0.143. Suppose 20 = -5*y - 5*v - 0*v, 5*y = v + 4. Do y and z have different values?
True
Let u(w) = -w**2 + 7*w + 1. Let m be u(7). Suppose -1 - m = -2*c, 4*c = d + 3. Let k = -1/17 - 14/51. Which is smaller: k or d?
k
Let v(s) = -s**3 + 21*s**2 - 2*s + 40. Suppose -12 = 2*w - 54. Let i be v(w). Which is smaller: -11/6 or i?
i
Let q = -298 - -296. Which is bigger: -124 or q?
q
Let k be 1/((-8)/(-84))*(15 + -13). Which is smaller: 27 or k?
k
Let t(p) = -p + 11. Let k be t(9). Suppose -k*x - 18 = -6. Is 2 >= x?
True
Let k = 270 - 2426/9. Let r = -1 - -1.081. Let y = 0.919 + r. Which is smaller: k or y?
k
Let a be ((-1)/2)/(2982/(-252)). Are a and 0 unequal?
True
Let g(v) = -v**2 + 2*v - 1. Let o be g(2). Let t = o + 4. Let u(a) = a**3 - 4*a**2 + 2*a + 3. Let j be u(t). Which is smaller: j or -1?
-1
Let d(m) = -m**3 - 6*m**2 + 5*m - 8. Let x = 2 + 9. Let w = 4 - x. Let o be d(w). Is o less than 8?
True
Suppose 6*z = z. Suppose -6*j - j = 2086. Let q = 4468/15 + j. Is z greater than q?
True
Let a be 2/12*3 - -238. Let h = 17637/74 - a. Let w = h + -20/333. Do 1 and w have different values?
True
Let b = -413/6 + 68. Suppose 6*n - 5*o - 15 = n, -2*o = 3*n - 14. Suppose -2*u + 4*m - 3*m - 9 = 0, 0 = 5*u + n*m - 10. Which is bigger: b or u?
b
Let o be (567/(-36))/(-21)*-12*1. Is o > -8?
False
Let k = 3809 + -3806. Let c be 22/18 + -1 + 0. Which is smaller: c or k?
c
Let m be (-3)/9*(-5 + 0)*3. Suppose 4*q + 130 = 2*u, -5*q - 64 = -m*u + 286. Is 75 smaller than u?
False
Let l(v) = 21*v - 146. Let k be l(7). Which is smaller: -1/411 or k?
-1/411
Let v be ((-17403378)/9)/(4/(-6)). Let n = -95725642/33 + v. Let h = n + 214. Is 1 greater than or equal to h?
True
Let f = -1776 - -961. Which is greater: f or -816?
f
Let w = 17 + -15. Let p be w*-2 - 28/7. Do p and -9 have different values?
True
Let h = -10586 - -6767. Let k = h + 996757/261. Which is smaller: -1 or k?
-1
Let j = 45 - 26. Which is smaller: 7 or j?
7
Let t(f) = -26*f - 132. Let w be t(-6). Is w at most as big as 15?
False
Let w be (39/24 - 2)/((-165)/(-44)). Which is bigger: w or 2?
2
Let o = -13148/423 + -252/47. Do o and -35 have the same value?
False
Let t(o) = 2*o**3 - 5*o**2 - 25*o + 4. Let c(h) = h**3 - 2*h**2 - 13*h + 2. Let d(b) = 7*c(b) - 4*t(b). Let g be d(8). Which is bigger: g or -57?
-57
Let o = -8 + 10. Let h be 0 - 2/(o + 0). Suppose -l - 4 = -4*f - 1, 3*l = -4*f - 9. Is h greater than or equal to f?
False
Let g be (-10)/(-40) + (-133)/540. Let o = -370933 + 100151693/270. Let q = o + g. Is -2 <= q?
True
Let r = -6713 + 73783/11. Is r < -4?
True
Let x = 6 - -4. Let l be (2/(-3))/(x/165). Suppose 0 = -4*s + 3*s - 12. Do l and s have the same value?
False
Let x = 8 - 7.7. Let s be (-3 - -3)/(-2) - -2. Suppose 4*z - 5*c - 37 = 0, z - 1 = 4*z + s*c. Which is bigger: z or x?
z
Let o = 15.5 - 18. Let l = o - -2.72. Which is smaller: 1 or l?
l
Let n = 154 - 754/5. Let d = n - 69/20. Which is smaller: -13 or d?
-13
Let f = 8240/3 + -2820. Is -74 equal to f?
False
Let f = 576/17 + -34. Let o be 20/(-6)*6/(-4). Suppose 2*u + 3 = o. Is f greater than u?
False
Let t(v) = 5*v**2 - 12*v - 5. Let g be t(-4). Let z = 89 - g. Is -32 != z?
True
Let j = -1076 + 1076. Are j and 2/75 non-equal?
True
Let j = 1.08 + -98.98. Let c = j - -99. Is -1 at least as big as c?
False
Let b = 17.7 - 8. Let g = b + 3.3. Let l = 14 - g. Is l greater than 0.2?
True
Let x be (-8026)/6*(-3)/10. Let v be (-3)/(-6) - 0 - 1602/(-4). Let l = x - v. Is 0 greater than l?
False
Let p be (168/44 + -2)/(-1). Let r(z) = z**3 + 4*z**2 - 5*z - 1. Let h be r(-5). Which is smaller: p or h?
p
Let r be 8*(21/(-18))/7. Suppose h + 13 = -0*h - 4*a, -2*a - 31 = -3*h. Suppose 3*c + 13 + h = -4*y, 16 = -4*c. Which is bigger: y or r?
r
Let p = 99 + -98. Let z be (-2 - p) + 132/45. Are z and 1 equal?
False
Let t = -6.6 - -11.3. Let i = 21.3 + t. Let k = -130.1 - -130. Which is greater: k or i?
i
Let r = -97.651 - -97.6. Is 0 less than r?
False
Let w = -29 + 347/12. Let y = -32 + 32. Which is greater: w or y?
y
Suppose d - 7*o + 2*o = 6, 3*d + o = 2. Which is smaller: 15/14 or d?
d
Suppose 2*b - 60 = 10. Suppose 0 = 4*h - 2*o - 130, -5*o + 52 + 113 = 4*h. Let a = b - h. Is 14/11 greater than or equal to a?
True
Suppose 3*u = 4*y - 96, -u + 3*u + 2*y = -78. Let w be (u/16)/(3/(-1)). Is w at most as big as 2?
True
Let b = 4.769 - -0.031. Is b bigger than 0?
True
Suppose 6*o - 2*o + 24 = 0. Let p be o/9 + 1/3. Suppose -5*m = -0*m - 5*l - 20, 2*m + 5*l = -20. Is m bigger than p?
True
Let v be (4/20)/(2/36). Which is bigger: v or 4?
4
Let s(w) = -w + 1. Suppose -u = -6*u + 15. Let i be s(u). Let l = -5/28 + -37/28. Which is greater: l or i?
l
Suppose -3 = -k + 2. Suppose -k*j - 3 = -2*j. Which is greater: -3 or j?
j
Let x = -39 + 38. Is x greater than or equal to 1?
False
Let n(u) = u**2 - 5*u - 7. Let z be n(-5). Let t = -41 + z. Let b be (10/1)/(2 - 0). Which is bigger: t or b?
b
Let z be (1/(-4))/(19/(-4) + 4). Let f = 54.7 - 52. Is f equal to z?
False
Let j = -68 - -59.1. Let v = j + -9.1. Are 0.2 and v unequal?
True
Let t be ((-3)/3)/(-8 - -9). Let v(k) = 5*k - 2*k - 7*k**2 - 2*k + 1. Let r be v(t). Which is bigger: r or -8?
r
Let p be (3 - 578/116) + 2. Let h = -6180369/290 + 21312. Let a = h + p. 