ose 4*q - 2 = 4*x + 2, x + 3*q + 13 = 0. Let t be -2 + 4 - 1 - x. Let b be 3/(-15)*t/4. Is b less than 0?
True
Let f(h) = -2*h + 5. Let r be f(4). Let g be 2/6 - (-40)/(-12). Let x be (g + -1)*6/8. Is x less than r?
False
Let h = -5 + 9. Let i = -1 - 0. Is i at least h?
False
Suppose l + 2*g + 6 + 0 = 0, l = -5*g - 12. Suppose -5*a + 38 = -7. Let n(q) = q**3 - 10*q**2 + 8*q + 8. Let s be n(a). Is l > s?
False
Suppose -5*h + 2*q - 16 = 0, -4*h + 3*q - 13 = -2*h. Do h and 1 have different values?
True
Let o = -1 - -5. Suppose y - 2*t = 2 - 0, 15 = 4*y - t. Let k be (13/y + -2)*4. Which is smaller: k or o?
o
Let c(i) = i**2 - 5*i - 5. Let b be c(6). Let x(p) = p - 2. Let r be x(0). Let v = b - r. Is v at most 3?
True
Suppose 0 = 4*c + 4*s - s, c = -4*s. Is c > 2/25?
False
Let d(k) = k + 8. Let g be d(-6). Suppose z + g + 5 = 0. Let r = z + 12. Is 5 != r?
False
Let q be 6/(-1 - 1) - -1. Let l(z) = -z**2 + 6*z - 1. Let v(s) = -s**2 + 6*s + 6. Let j be v(6). Let y be l(j). Is y > q?
True
Let f(z) = z**2 - 1. Let x be (-8)/4*2/(-4). Let h be f(x). Let o be 2*1*(-1)/12. Is h bigger than o?
True
Suppose -2*q - 5 = 3*q. Which is greater: q or -2?
q
Let u = 181/8 + -11057/488. Is u smaller than 0?
True
Let l(d) = -d**3 + 17*d**2 - 17*d + 15. Let q be l(16). Is 1/83 less than or equal to q?
False
Let t = 0.18 + -0.08. Let o = 0.1 - t. Which is smaller: o or 1?
o
Let j = 37 + -95. Are -56 and j equal?
False
Let i(f) = f**3 - 7*f**2 - 7*f - 4. Let s be i(8). Suppose s*k - n + 2 = 1, -n = 3. Which is smaller: 1/7 or k?
k
Let q = 18 - 15. Let s(a) = a**2 - 3*a. Let k be s(q). Is -3 not equal to k?
True
Suppose -8 - 1 = 3*m. Let u be (2 - 4 - -16) + m. Which is greater: 12 or u?
12
Let o = -45.21 - 0.79. Let q = 49.8 + o. Let j = 4 - q. Which is greater: -2/7 or j?
j
Let p(v) = -v**3 - 19*v**2 + 2*v + 37. Let l be p(-19). Let f be -32*2/(-30) + -2. Which is bigger: l or f?
f
Suppose 5*q = -q + 12. Suppose 2*i + 1 = 3*i. Which is smaller: i or q?
i
Let b = 59.9 - 54. Let f = 15 - 9. Let d = b - f. Which is bigger: d or -2?
d
Suppose 0 = 2*m + 5*m + 91. Which is bigger: m or -14?
m
Let u be (-5)/((-225)/(-95)) + 2/(-9). Is u less than or equal to -1?
True
Let b(l) = 3*l - 9. Let m(i) = -5*i + 13. Let o(j) = 8*b(j) + 5*m(j). Let u be o(-4). Which is smaller: u or -5?
-5
Let b = 2 + 20. Suppose -5*c = 20, -5*i - 5*c - 3 - b = 0. Let m = 6 + -8. Which is smaller: i or m?
m
Suppose 0 = -3*g - 2 - 1. Which is smaller: -6/31 or g?
g
Let w(t) = -4*t + 1. Let n be w(-1). Let m = n - 6. Which is smaller: -2 or m?
-2
Let i(q) = -q**3 + 3*q + 5. Let r(m) = -m**3 - m**2 + 2*m + 4. Let z(j) = -2*i(j) + 3*r(j). Let v be z(-3). Is 2 <= v?
True
Let o = -11 - -14. Let i = 3 - o. Is -6/11 greater than or equal to i?
False
Let f = 60412376127 + -813210994672478/13461. Let t = -1/1923 + f. Let o = -28 + t. Which is smaller: 1 or o?
o
Let t = 0.1 - -0.1. Let j = 79 - 38. Let g = -163/4 + j. Which is bigger: g or t?
g
Let a = -12 - -4. Let u(i) = i**3 + 9*i**2 + 9*i + 8. Let h be u(a). Which is greater: 2/5 or h?
2/5
Let m = -6.8 - -7. Which is bigger: 2/33 or m?
m
Let z = -9/14 - -55/42. Which is bigger: z or -0.3?
z
Let p = -7 - -5. Let f = -12 - -16. Suppose -2*x + f*x = -4. Is x greater than or equal to p?
True
Suppose -2*m = -m. Suppose -4*v - 4*w - 12 = 0, m = v + w + 3*w + 18. Suppose -v*t = -t. Is t less than -1?
False
Suppose -2*o + 0*o = 0. Suppose o = 2*j + 5*s + 3, j + s = -4*s - 4. Which is smaller: j or -1?
-1
Let j = 11/4 - 13/4. Let g be (3/(-6))/(1/4). Let i = g + 2. Which is smaller: j or i?
j
Let v(d) = d**2 + d + 1. Let m be v(-2). Let a = m + 0. Which is bigger: a or 1?
a
Let o = -0.183 - -1.183. Let b = 0.7 + -3.8. Let k = b + 3. Which is smaller: o or k?
k
Let h = 0.02 + -0.12. Let n = h + 0. Is -1 greater than n?
False
Let u be (-270)/21*2/6. Which is smaller: -5 or u?
-5
Let s = -87 - -87. Let h = -4718/297 - -370/27. Let l = -179/77 - h. Which is greater: s or l?
s
Let z be 2/3 + (-4)/(-6). Let g = 0.15 + -12.15. Let d = -11 - g. Which is smaller: z or d?
d
Suppose i + 4*w + 18 = 3*i, 5 = -w. Let m = 5 + i. Let o = m + -3. Do -3/10 and o have the same value?
False
Suppose 10 = 5*b - 3*z, 5 = 18*z - 17*z. Which is greater: 4 or b?
b
Suppose -8 = 6*a + 22. Is a smaller than -0.3?
True
Let p = -2/93 + -89/186. Which is smaller: p or -0.1?
p
Suppose 0 = 3*v - 8*v. Suppose -3*x = -8*x. Let o = x - v. Are -1/9 and o equal?
False
Suppose -15 = -4*b + y, 2*b - y = 2*y - 5. Suppose -j + 3 + 3 = -2*x, b*x + j + 1 = 0. Suppose 4*w + 13 = -q, 0*w + q + 9 = -2*w. Does w = x?
False
Let h(x) = x**3 - 2*x**2 + x - 11. Let y be h(0). Which is smaller: y or -12?
-12
Suppose 2*b + 0 = 6. Which is greater: b or 4?
4
Suppose -5*g - 3*h = -10, -2*h + 11 = -0*g - g. Let j = 0 - 0. Is g not equal to j?
True
Let h be 6/9*3/(-45). Is h at least 1?
False
Let c = 11/7 - 62/35. Which is smaller: -1 or c?
-1
Suppose 5*s + 5 - 20 = 0. Let j(r) = 2*r + 2*r - s*r + 1 - 3*r. Let l be j(1). Which is smaller: -3 or l?
-3
Let j = -36 + 178/5. Which is greater: 0.1 or j?
0.1
Suppose 0 = -j + 5*b + 14, -b - 2 = 4*j + 26. Let o be 10/(-5) - (-1 - -2). Let i = j - o. Which is bigger: i or -2?
-2
Let q = 4.8 + -5.8. Which is greater: 0.2 or q?
0.2
Let j = -30 + 53. Let t = j - 22.91. Let l = 1.09 - t. Is -5 smaller than l?
True
Let x(w) = w**2 - 6*w + 4. Let l be x(3). Which is smaller: l or -3?
l
Let s(r) = r**3 - 5*r**2 + 5*r - 2. Let p be s(4). Let h = -276 + 417/2. Let i = h + 69. Is p at least as big as i?
True
Let s(m) = 7*m - 7. Let n be s(0). Suppose -4*i = a + 6, 2*a + 4*i = -12 - 0. Is n != a?
True
Let w(s) = s**2 + 2*s + 2. Let d be w(-2). Suppose 2*x - 4 = -d. Let o = 0.2 - -0.8. Is o >= x?
True
Let n(v) = -v**3 + 3*v**2 - v + 1. Let s be n(2). Suppose s*l + 2*f - 1 = 0, 0*f = 5*l - 5*f - 10. Which is smaller: l or 2/3?
2/3
Let a be (-3)/(-18) + 0 + (-143)/(-6). Which is smaller: 0 or a?
0
Let z = 136 - 135.9. Let y be (1 + -2)*14/8. Is y at most as big as z?
True
Let m(x) = x**3 + 13*x**2 + 12*x - 4. Let a be m(-12). Let z be 2/(-8) - (-1)/a. Which is bigger: 2/11 or z?
2/11
Let p be ((-2)/(-940))/((-2)/195). Let u = p + -2/47. Let d = 5 - 5. Do u and d have different values?
True
Let w = 12 - 8. Suppose -5*y = w*b - 6, 2*b + 0 = 8. Is y at least as big as -2?
True
Let w(u) = -u + 3. Let c = -4 + 8. Let x be w(c). Let f be 2/(-8) - 2/(-8). Are f and x unequal?
True
Let j(i) = i - 1. Let w be 15/(-10) + (-2)/(-4). Let o be j(w). Do o and -2/3 have the same value?
False
Suppose 4*q = 4*o - 1 - 11, 3*q = 5*o - 11. Let j be (-2)/(2 + o - 2). Which is bigger: -5 or j?
j
Let o = 8 + -3. Suppose 5 + 10 = x - o*y, -3*x + 4*y = -12. Let m = 3 - 5. Is m smaller than x?
True
Let v(t) = 2*t**3 - 3*t**2 + 3*t - 1. Let m be v(2). Which is smaller: m or 10?
m
Suppose 4*k - 2 = -u, 5 = 2*k - 5*k - 4*u. Let y = 238/285 - 4/5. Let z = -7/19 + y. Which is bigger: z or k?
k
Let l = -181.96 - -179. Let f = l - 0.04. Let y = f + 3.1. Which is greater: 0 or y?
y
Let g = 6 - 1. Let l = 2 - g. Let v = 5 + l. Is v < -3?
False
Let s be 3/((-13 - -14)/((-1)/1)). Suppose -5*u - 17 + 7 = 0. Which is smaller: u or s?
s
Let k = 0.47 - 8.57. Let f = k + 8. Do 6 and f have different values?
True
Suppose -g - 94 = 5*a, 0 = -3*g - g - 3*a - 427. Is -110 bigger than g?
False
Let u = 24 + -12. Let p be (-4)/u + (-194)/(-6). Let b = -97/3 + p. Is b > 0?
False
Let c = -542 - -4870/9. Do -2 and c have the same value?
False
Suppose -3*r + 6*r - 21 = 0. Suppose -r*k = -36 - 34. Do k and 9 have the same value?
False
Let r(c) = c**3 - 10*c**2 + 10*c + 7. Let f be r(9). Let q = f + -10. Let m be (-6)/(-4)*4/q. Is 3/4 smaller than m?
True
Suppose 6*y + 4 = 2*y + 2*w, 2*y + 2 = 4*w. Let f = -0.2 + -0.8. Is f at least as big as y?
True
Let f(k) = -7*k - 26. Let y be f(-6). Which is greater: y or 1?
y
Let s be (-594)/42 + 0 - 0. Which is smaller: s or -15?
-15
Let v = -521 + 1579/3. Which is greater: v or 6?
6
Let j be ((-2)/(-4))/((-3)/2). Is 0.55 smaller than j?
False
Let d = 31/117 + -2/13. Suppose -5*m = 4*v - 14, m = -3*v + 2*v + 3. Which is smaller: d or v?
d
Suppose q + 5 + 4 = 0. Which is smaller: -8 or q?
q
Let t = -165.08 - -168. Let i = -0.08 - t. Let m = i + 2.9. Is m greater than -2?
True
Let p = 728 - 426. Let s = -1