 = 3 + -3.2. Let z = s - 0.2. Let m = z - -0.5. Is m > 2/3?
False
Let g be -26 - (3 + -3 + 1)/1. Is -25 at most as big as g?
False
Let f be 1 + (-1 - 16/(-28)). Is 0 not equal to f?
True
Let j be (-6 - -5)/((-1)/4). Suppose -11 = -j*p + 5*o, 4*o + o + 12 = 3*p. Which is bigger: 2/17 or p?
2/17
Let v = -0.1 - 0. Let z = 0.8 - 2.9. Let d = v - z. Which is bigger: d or 0?
d
Let r = -8.9 + 47.9. Let u = -58 + r. Which is smaller: -1/3 or u?
u
Suppose -5*d = -0*d - 20. Suppose 0*l - 3*n = 4*l - 14, 5*l + d*n - 18 = 0. Suppose 0 = -2*j + 4*s + 4, l*j + 0 = s + 4. Is j greater than or equal to 2?
True
Suppose -3*i + i + 3*m - 18 = 0, 3*i - 11 = -5*m. Which is smaller: i or -8/5?
i
Let r(c) = -c - 12. Let x be r(-14). Let d = 3 - x. Let u(h) = h**3 + 5*h**2 - h - 6. Let v be u(-5). Is d at most as big as v?
False
Suppose 0*c - c - 13 = 4*i, 2*i + 2 = 4*c. Let m(o) = -o + 7. Let n be m(5). Suppose 6*z = n*z. Which is smaller: c or z?
c
Suppose 1 = -15*s + 14*s. Is s < 0?
True
Let n = 12 - 34. Let b = -13 - n. Is b equal to 9?
True
Let m = -3.3 - -0.3. Let x = m - -2.6. Are -0.1 and x equal?
False
Suppose -5*a = 2*r - 6*r + 13, 2*a + r = 0. Let v = -835/8 - -104. Is v < a?
False
Let y = 42.03 - 40. Let t = -0.03 + y. Is 2/9 >= t?
False
Let q(b) = -b**2 - 3*b + 5. Let l be q(-5). Let p(f) = -f**3 - 6*f**2 - 5*f - 1. Let r be p(l). Let w be ((-15)/40)/((-2)/8). Which is smaller: w or r?
r
Suppose 5*k + 17 = -3. Is 2/11 greater than or equal to k?
True
Let a = 28 + -26.7. Let b = 0.3 - a. Let j = b - -1. Is j greater than 0?
False
Let q(a) = a**2 + a + 5. Let b be q(0). Suppose -b*f - 4*t = 12, -t + 4 - 2 = 0. Let l = 365 - 371. Is l equal to f?
False
Let w be (-2 - -3 - (-2)/(-4))*-2. Which is smaller: w or 0?
w
Let n = 37 + -40. Is -4 less than n?
True
Let p be 778/(-18)*(-58 - 1). Let m = 2543 - p. Let z = m - -62/9. Which is smaller: 0 or z?
z
Suppose -9 = 2*i + 7. Are -9 and i unequal?
True
Suppose -2*j - g + 74 = 0, 2*j + 0*g = -2*g + 78. Let q = -20 + j. Suppose -3*m + q = -3*l, 17 = -l + 2*m + 2*m. Is -1 greater than l?
False
Let d(l) = 21*l - 29. Let w be d(2). Is -2 smaller than w?
True
Let r(m) = m**3 + 16*m**2 - 1. Let s be r(-16). Which is smaller: s or 1/16?
s
Let k = 7 - 1. Let s(i) = i**3 - 7*i**2 + 6*i - 3. Let r be s(k). Which is smaller: r or -5?
-5
Let f = 48 - 29. Is f less than 20?
True
Suppose 3*b = 3*l - 3, 5*l - 3*l = 4*b - 2. Suppose -3*r + l = -3. Suppose -1 = -6*c + 5*c. Is r < c?
False
Suppose -2*u = -2 - 8. Suppose 5 = u*x + 2*h - 8, 3*x + h = 7. Let m = x + -1. Which is greater: -1/6 or m?
m
Let p = 2897/22 - 131. Let k = 2/11 - p. Which is smaller: k or -2?
-2
Let r = 1013/39 + 191/13. Let m = -90 - -49. Let n = m + r. Which is greater: n or 0?
0
Let a = -53851/5610 - 1/1122. Let j = -10 - a. Are 2/13 and j equal?
False
Let v be (2/(-9))/((-32)/192). Which is bigger: v or 7?
7
Let t = 5 - 40. Do -33 and t have the same value?
False
Let u(j) = -j**2 + 5*j + 7. Let y = 13 + -7. Let v be u(y). Which is bigger: v or 0?
v
Suppose 0*x + 6 = -x + m, 16 = -2*x + 4*m. Let s(n) = n - 3. Let f be s(0). Is f at most as big as x?
False
Suppose -4*l + 5 = r + 4, 3*l = 3*r - 18. Let y = r - 5. Is y greater than or equal to 2/11?
False
Let p = -797.11 - -809. Let z = p + 0.11. Do z and 1/4 have the same value?
False
Suppose 0 = -11*a - 2*a - 13. Does 1/67 = a?
False
Let d be -3 - (-3 + 12)/(-3). Let c be (2/(-6))/((-5)/(-21)). Is d < c?
False
Suppose 3*a - 42 = -2*r, -5*a - 3*r + 56 = -a. Suppose 2*d - a + 4 = 0, -4*d = -3*j - 23. Is -1 smaller than j?
False
Let l(x) = x**2 + 7*x - 5. Let q be l(-10). Does q = 25?
True
Let x be 0 + 1 + -4 + 5. Let q = -2 - x. Is q >= -4?
True
Let y(u) = u**3 - 13*u**2 + u. Let v be y(13). Let q(g) = -g**2 + 14*g - 10. Let a be q(v). Let o = 6 + -4. Which is bigger: o or a?
a
Let g(o) = o + 1. Let q(p) = p**3 + p**2 + p - 3. Let d be q(0). Let a be g(d). Let h = -8 - -6. Do h and a have different values?
False
Suppose -n - 2 = -4. Is n at least as big as -1?
True
Suppose 29*q = 25*q - 4. Is -6/7 > q?
True
Let t = -2 + 3. Let i = t + 1. Suppose -24 = -2*b - i*b. Which is smaller: 2/3 or b?
2/3
Let n(t) = 5*t**2 - 2*t + 1. Let a be n(1). Let m = 3 - 5. Let p = m + 4. Do p and a have the same value?
False
Suppose 3*s - 2*s = 5. Is s at least 5?
True
Let z be (-5)/(-15) + (-1)/((-6)/4). Which is smaller: 9/14 or z?
9/14
Suppose -2*w - 7 = -w. Let d = -7 - w. Which is smaller: d or 1/14?
d
Let k = 66679/14147 + 2/2021. Which is smaller: 6 or k?
k
Let d(a) = -2*a - 2. Suppose 0 = 7*i - 2*i + 10. Let w be d(i). Suppose 2*j = 5*m - w + 4, 3*j - 3*m = 3. Is j at least as big as 4/9?
True
Let d(m) = m**3 + m**2 - 1. Let a be d(1). Let k = 416/99 - 45/11. Is k at least a?
False
Let j(k) = -k**3 - 6*k**2 - 3*k + 7. Let u be j(-5). Let y be (2 - 7)/(1/u). Is y != 15?
False
Let g = -45 + 57. Is g at most 13?
True
Suppose 2*m = 3*m + 4. Suppose 3*b = -3*w + 6*b - 33, -2*b = -w - 16. Are w and m equal?
False
Let w = 20 - -10. Let b = -15 + w. Is b bigger than -1?
True
Let l = -557/1764 + 1/98. Let x = l - 1/36. Which is smaller: x or 0.2?
x
Suppose -4*p + 3*p + 3 = 0. Let d = 1.2 - 0.2. Is p <= d?
False
Let b = -5 + 5. Let h = 0.1 + -0.1. Let w = h - b. Which is smaller: w or -1?
-1
Suppose -4*l - 5 - 3 = 0. Let j = 2 - 1. Suppose 5*g - j = -6. Which is smaller: l or g?
l
Let c = -51/115 - -1/23. Which is greater: c or 25?
25
Let k = -12 - -16. Suppose -5*j = -j - k. Is 3/13 >= j?
False
Let k = 11.11 - 0.11. Let c = k - 8. Let p = -5 + c. Are p and 1 equal?
False
Let c = 25 + -15. Let j be 6/5*c/4. Let d be 35/20 - (-6)/(-8). Is d equal to j?
False
Suppose 2*c - 22 = 4*v, 5*c + v = 4*c - 4. Is -2/15 greater than or equal to c?
False
Let c be -6 - -5 - 2/(-1). Let q be -2*(2 - 10*c). Suppose 0 = 5*d - 6 + q. Is d != -2?
False
Let d = 13 - 21. Let o(k) = -k**2 - 8*k. Let y be o(d). Is 0 less than y?
False
Suppose -q = -5*l + 20, -l - 4*q + 0*q + 25 = 0. Let s be 1/l - 48/(-10). Is 5 bigger than s?
False
Let r = -151603/79 - -1919. Suppose -20 = -2*z + 5*i, -18*z = -20*z + i + 4. Which is smaller: r or z?
r
Let v = 14 + -27/2. Which is bigger: 1 or v?
1
Let a = 39.8 - 32.62. Let s = a + -0.18. Which is smaller: s or 0?
0
Let s = 3.6 - 3.7. Suppose -6*z + 32 = 4*h - 3*z, -z + 9 = h. Is s < h?
True
Let h = 166 + -173. Let r(d) = -d**2 - 10*d - 8. Let a(s) = 2*s**2 + 21*s + 17. Let z(i) = 2*a(i) + 5*r(i). Let k be z(h). Which is smaller: k or -2/13?
-2/13
Let c be 11/(-99) - (-1)/3. Which is smaller: c or 0.1?
0.1
Let f = 9 + -4. Suppose -f = 2*b + 3. Which is smaller: 0 or b?
b
Let v = -13 + 11. Let z be 4/8 + 6/4. Let a = z - 3. Do a and v have the same value?
False
Suppose 44 = 2*x + 46. Suppose -z + 3*c + 0 = 1, z - 5*c = -1. Let k be z*(2 + -1 + -1). Is x > k?
False
Let c = 0.11 + -0.21. Which is bigger: 2/13 or c?
2/13
Let p = 5/3322 - 3494779/23254. Let v = 150 + p. Is -4/7 < v?
True
Let r be (-79)/(-5) + (-1)/(-5). Is 2 != r?
True
Suppose 3*p + 8 = 6*p + o, -2*p - 23 = -5*o. Let v be 4/33*3/2. Which is smaller: v or p?
v
Let v = -1 + 0.8. Let j = 1.8 - v. Which is smaller: 1 or j?
1
Suppose -3*v + 1 = -4*o, -7 = 2*o + v - 4. Is o greater than -1/39?
False
Let z = 94 - 95. Is -3/4 < z?
False
Let k = -0.06 + -2.94. Which is smaller: -1/4 or k?
k
Let f(w) = w**2 - 9*w - 1. Let j = 31 + -49. Let g be (j/4)/(1/(-2)). Let h be f(g). Which is greater: -0.1 or h?
-0.1
Let s = 1.95 + 0.05. Let g = 1 - 1. Let i = g - s. Is i >= -1?
False
Let h = -1519/10 - -152. Is h less than -1?
False
Suppose 0 = f + f - 3*z + 7, -2*z = -3*f - 18. Which is bigger: f or -6?
-6
Let m be ((-36)/(-55))/((-10)/25). Which is greater: m or -2?
m
Let v be (-9)/(-15)*8/36. Let i(s) = -s - 4. Suppose -13 + 1 = 3*l. Let h be i(l). Is h >= v?
False
Let u = 4/895 - 7276/25955. Which is smaller: 1 or u?
u
Let f(y) = y - 3. Suppose -4*i + 5 = -7. Let u be f(i). Let r be 10/15 - (-1)/(-3). Is u not equal to r?
True
Suppose 5*r + 2 = 3*r. Suppose -3 = -5*a + 7. Let h be a/(-6) - (-77)/(-147). Which is smaller: r or h?
r
Let g be ((-7)/3)/(5/15). Which is smaller: -6 or g?
g
Suppose 2*m + 1 = 3*d - 9, 3*d + 4 = -5*m. Suppose -2*p - d*z = -4, 3 = z + 6. Suppose -p*x - 4 = -3*x. Are -2 and x equal?
True
Suppose -3*h - 303 = -7*n + 2*n, n = -4*h + 56. Let o be (