
Let a = 16 - 9. Suppose -l + a = 21. Is 2/3 >= l?
True
Let p = 39 + -38.9. Which is greater: 12/7 or p?
12/7
Suppose 3*p - 3 = 2*p. Let g be -2 - (12/(-2))/p. Is g at least as big as 2/19?
False
Let r = -2101/2 + 1129. Let g = r + -77. Is 3 smaller than g?
False
Suppose u = -v - u + 3, v - 4*u - 9 = 0. Let b = v + -6. Let o be (0 - (b + 2)) + 2. Is 0 > o?
False
Let b be (-36)/198 - 35/(-11). Which is smaller: 9 or b?
b
Let k = 53/6 + -28/3. Suppose 3*t - 5*n + 0*n - 14 = 0, 4*t - 4*n = 8. Is k smaller than t?
False
Let n(h) = 3*h. Let m be n(1). Suppose 0 = -3*z - 0 - m. Let k(q) = -q**3 - 3*q**2 - 2*q - 2. Let r be k(-2). Which is greater: r or z?
z
Let y(u) = -u**3 - 8*u**2 - 8*u - 8. Let s be y(-7). Is -7/4 <= s?
True
Let y = -4 + 10. Suppose y = -3*s - 0*s. Which is smaller: s or -4/5?
s
Suppose 56*x - 57*x + 5*r + 9 = 0, 0 = 5*x + r + 7. Let w = -299 + 6278/21. Is w at most as big as x?
False
Suppose 4*f - 266 = -3*h, h = -f - 2*f + 97. Suppose -4*z = 2*p - h, -z + 5*z = -p + 87. Which is smaller: 24 or z?
z
Suppose -2*h - 103 = -35. Let g = h + 48. Let t = g - 10. Is 2 < t?
True
Let p = -18 + 13. Let o be (-1)/(-1 - (3 + p)). Which is smaller: -2/5 or o?
o
Let d = -1 - -0.9. Let i = -3 - -3.2. Let s = 1.2 - i. Is s at most as big as d?
False
Let b = -33.1 - -35. Let x = 2 - b. Let u = -3.03 - -0.03. Which is bigger: x or u?
x
Let s be (-138)/4*(-32)/48. Is s at least 25?
False
Suppose 10*s - 1 = 19. Which is smaller: s or 12?
s
Let p = 2.09 + -0.09. Let m = -4 + p. Which is smaller: m or -0.1?
m
Let y = 468340/9 + -52112. Let a = -74 - y. Let g = 1/7 - 9/14. Is g less than a?
True
Suppose 3*i - 12 = 0, -4*i = -3*y + 2*y - 12. Suppose 0 = 5*k - 7*x + 4*x - 9, y*k - 2*x = 6. Let u be 4/(-16) - (-2)/(-8). Is u less than or equal to k?
True
Let l = 48 - 64. Is -15 at least as big as l?
True
Let s be 1 - 0/(0 + -1). Let z be (7/(-3))/(s/(-6)). Suppose 2*q + z + 1 = -5*f, q + 3*f = -9. Are 0 and q non-equal?
False
Let g be (-3)/(27/6)*(-9)/(-159). Which is smaller: g or 1?
g
Suppose 3*s - 2*s - 7 = 0. Suppose -s = -4*u - 15. Let i be 1/4 + (-44)/48. Is i <= u?
False
Let z = 29 + -147/5. Suppose 0 = 2*o - 6*o + 4. Which is bigger: o or z?
o
Let t = -25 + 24. Let v = -12 - -8. Is v greater than t?
False
Suppose -p + f + 14 = -f, -32 = -3*p + 4*f. Let r = -45 - -46. Suppose 0 = -3*y - r + p. Which is bigger: 1/8 or y?
y
Let d be 0 + (-3 - 2/(-1)). Let h(g) = -g - 4. Let x be h(-6). Suppose -2*z - x*z - 4 = 4*s, 3 = 4*s - 3*z. Is s at least as big as d?
True
Let h be -6*15/(-20) - 2. Is h at most 2?
False
Let p be 6/(-36) - (-29)/(-6). Let y = p + 5. Is y >= 0?
True
Let k be (3 - 0) + (-54)/6 + 6. Are 2/35 and k unequal?
True
Suppose 4*y = -y - 5*t + 5, 2*y + 3*t = 1. Suppose 0 = y*c + 1 - 5. Is 2 at least as big as c?
True
Let h be 3/2*12/9. Suppose 0 = h*b + 5*u - 1, 0*b - 4 = 3*b + 2*u. Let g be 24/(-18) - (-4)/6. Is b greater than or equal to g?
False
Let t = -1/162 + -319/810. Does 1 = t?
False
Let g = -7.8 + -2.3. Let l = g + 10. Let v = -46 - -185/4. Which is bigger: v or l?
v
Suppose 0 = -4*k - 11 + 99. Suppose 4*d = -4*g + 28, 0 = d - 3*g + 7*g - k. Let n(m) = m + 7. Let l be n(-5). Is l <= d?
True
Suppose -1 = -5*i + 4. Let k = 1999/7 + -286. Which is smaller: i or k?
k
Suppose -2592 = -z + 4*l, 0*z = -4*z - 3*l + 10292. Let w be 2/(-8) - 316/z. Let t = -2/23 - w. Is -0.1 at least t?
False
Let p be 8/(-4) - 33/(-24). Is p at most as big as 2/5?
True
Suppose 257*x - 256*x = -6. Let z(j) = j**3 + 8*j**2 + 2*j - 10. Let i be z(-7). Suppose -3*u = 2*u + i. Is x greater than u?
False
Suppose -3*h = -h - 8. Let t be ((-4)/(-18))/(h - 3). Which is bigger: t or 0?
t
Let x(l) = 3*l + 20. Let n be x(-10). Which is greater: -28/3 or n?
-28/3
Suppose -8*x + 3*x = -10. Let s(f) = f**2 + 4*f - 8. Let g be s(2). Suppose g = -x*l + l. Is l at least as big as -4?
True
Let y = 0.04 - 0.14. Let v = 0 - y. Which is bigger: -1 or v?
v
Let j = 0.11 - 0.05. Let v = 1 + -9. Let i = -33/4 - v. Which is smaller: j or i?
i
Suppose -3*k = -12, p + 3*k = -p - 64. Let t be p/8 + (-3)/12. Is t equal to -6?
False
Suppose -4*f - 18 = -6*f. Suppose x - 12 = -3*d, x - 3*d - 27 + f = 0. Which is smaller: x or 16?
x
Suppose 15*v - 18*v = 0. Which is smaller: 1/21 or v?
v
Let z(f) = -f - 9. Let m(l) = l + 10. Let q(b) = -3*m(b) - 4*z(b). Suppose 6 = -2*v + 4*y, -4*v - 6 - 10 = -4*y. Let p be q(v). Is -1/3 at least p?
False
Let i(v) = 3*v**3 + 2*v + 3. Let y be i(-2). Let u be (-85)/y + (-4)/10. Is u equal to 3?
True
Suppose 2*j + 0*r + 4*r - 38 = 0, -4*j + 51 = 3*r. Let s(i) = 47*i**2 - i - 1. Let z be s(-1). Let n be z/j - 4/18. Do 0.1 and n have different values?
True
Let k be 0 + 1 - (-17)/(-2). Let x = -133 - -124. Which is bigger: x or k?
k
Let c(f) = 11*f**3 + 2*f + 1. Let n be c(-1). Let w = -6 - n. Let h(u) = -u**3 + 6*u**2 + u - 8. Let v be h(w). Which is smaller: v or 0.1?
v
Let j(m) be the third derivative of -m**4/24 - 2*m**3/3 + 2*m**2. Let v be j(-4). Let w = -3 + 2. Do w and v have the same value?
False
Let n be (-117)/13*(-1 + 2). Let o be ((-6)/(-10))/(n/(-6)). Are o and -2/25 nonequal?
True
Let u = -102 + 108. Is 6 at least as big as u?
True
Let z = 3.8 + -4. Let p = z - 0.3. Let v = 0.6 + p. Which is greater: 1 or v?
1
Let l = -0.5 - -0.4. Which is smaller: -5 or l?
-5
Let a = 630 - 30868/49. Let l be 1/(0/(-1) + -1). Do a and l have different values?
True
Let z be 2/4 + 1/(-2). Let t = 61 + -3. Let m = 405/7 - t. Is m != z?
True
Let p = -39 - -53. Is 2 at least p?
False
Let f(c) = -c**2 + 7*c - 7. Let h be (-15)/(-3) - 3/(-3). Let z be f(h). Let t = -3 - -3.04. Do z and t have the same value?
False
Let u(k) = k**2 + 12*k. Let g = -5 + -7. Let s be u(g). Is s bigger than 12/11?
False
Let z = -55/3 + 18. Let l = -39 - -36. Are z and l equal?
False
Let l = -4 - -1. Which is greater: l or -4?
l
Let v be -2 - (-2 + 2204/(-22)). Let f = v - 7085/66. Let z = 20/3 + f. Which is bigger: 2/9 or z?
2/9
Let r = 1.13 - 0.23. Let u = r + -2.9. Let w = -1.2 + 0.2. Is u equal to w?
False
Let o be 18/(-15) - 3/(-15). Is o <= 0.2?
True
Let a be (-24)/(-30)*1/22. Is 0 smaller than a?
True
Let o = -13.3 + 11. Let w = 0.8 + -1.1. Let k = o - w. Is k smaller than 1?
True
Let s be 56/(-90) - (5 + (-282)/54). Which is smaller: -1 or s?
-1
Let u = -16 + 15.3. Let n = -0.7 - u. Is 1.1 > n?
True
Suppose 2*k - 3*y = -32, 2*k + y + 40 = -0*k. Are -16 and k non-equal?
True
Let r(k) = -2*k + 13. Let c be r(4). Which is bigger: 4 or c?
c
Let g = 12.4 + -12.5. Let o be (2 - (-66)/(-14)) + 2. Which is bigger: o or g?
g
Suppose 0 = -5*r - 3 + 8. Let q(n) = -n + 2. Let u be q(3). Let k be 2 + (-4 - u)/3. Is r >= k?
True
Suppose 0 = -k - 84 + 221. Let g = k + -2193/16. Which is smaller: g or 0?
g
Let g(v) = -3*v - 12. Let o be g(2). Which is smaller: -20 or o?
-20
Let b be (2/(-14))/((-1)/(-11)). Is b at least -1?
False
Let k = 21 - 41/2. Which is bigger: 0 or k?
k
Suppose 5*w = 109 + 91. Suppose b = -3*s + w, 2*b - 44 = -4*s + s. Is 13 at most s?
False
Let s(w) = -w + 4. Let o be s(0). Is o less than or equal to 3?
False
Let u = -9 - -19. Suppose 0 = 5*x - u*x - 15. Let d be (0/(-4))/(1*-1). Is d less than x?
False
Let q be (109 - -3)/(-4) - -2. Let t = q - -232/9. Let f(x) = -x**3 + x**2 + 2*x - 1. Let b be f(1). Is t >= b?
False
Let y be 9/(-21) + (-1)/63. Which is greater: y or 1?
1
Suppose -4*i + 15 = -9*i. Is -3 equal to i?
True
Let h = 35 + -56. Is -19 greater than h?
True
Suppose 3*a + 3*s = 12, s = -2*s + 12. Let g be (-2 - (-6)/4)*a. Let x = -100 - -102. Is x at most g?
False
Suppose -2*p - 4 = -6. Let l be 2/(-7) - (-246)/175. Let u = -202/225 + l. Which is greater: p or u?
p
Let v = 12 - 13. Which is greater: 0 or v?
0
Suppose -3*s + 2 = -5*s. Let m(i) = 4*i. Let n(r) = r. Let q(x) = 2*m(x) - 9*n(x). Let b be q(s). Is b <= 1?
True
Let i = 1 - 0.8. Let g = -0.26 - 0.04. Let y = g + i. Is 2/9 at least y?
True
Let j be 4/18 + (-96)/(-54). Suppose 4*h = 2*i - 8, j*h - 4*i + 4 = -12. Are h and 1/3 non-equal?
True
Let q = 32132 - 1446007/45. Let t = 4/45 + q. Is -2 < t?
True
Let z(q) = q - 8. Let x be z(4). Is -3 less than or equal to x?
False
Let i = 2/93 + 358/651. Which is smaller: -1 or i?
-1
Let d = -0.1 + 7.1. Let t = 7 - d. Does t = 0.2?
False
Let w be 1094/(-1281) - (-16)