7 + -6. Let q be 12/30*15/8. Is x greater than or equal to q?
True
Suppose -3*m = 6*d - 3*d + 60, 3*m - 60 = 3*d. Is d at least as big as -81/4?
True
Suppose -2*s = -c - 21, 5*s + 3*c - 19 = 6. Is 13/2 at most s?
True
Let w = 79.25 + -79. Do w and 0.1 have different values?
True
Suppose m = -0*m. Let o = -2 - m. Is -4 >= o?
False
Let i(z) = z**3 - 3*z**2 - 6*z + 4. Let x be i(4). Let t = 0 + -2. Let y be (2 + 6)*t/4. Is y < x?
False
Suppose -2*s - 62 = 5*x - 10, -4*x - 60 = -3*s. Let w be (-9)/x*15/9. Which is greater: w or 2?
2
Let i be 1*8/((-12)/(-3)). Suppose 0 = 4*n + 5*h + 14, i*h + 15 = -5*n - 3*h. Is -4/5 >= n?
True
Let y = -21 + 7. Which is smaller: y or -13?
y
Let y(p) = -p - 3. Let g be y(0). Let v be (-1 - -3)/((-1)/(-5)). Suppose v = -8*f + 3*f. Which is smaller: f or g?
g
Let u = 1/257 + -1553/2827. Let v(b) = b. Let w be v(0). Is u at most as big as w?
True
Let j(l) = l**2 + 2*l - 24. Let c be j(-6). Is c at least -1/2?
True
Let y = -0.6 - -0.3. Let s = -0.2 - y. Let f be 17/(-36) - (-2)/9. Is s less than or equal to f?
False
Let o be (-3 - -4)*(-1 + 3). Suppose -4*u - 5*s - 1 = 0, -o*u + 6 = -2*s + 2. Let f be (1/u)/(0 + -1). Which is smaller: f or 0?
f
Let q = 157104/7 - 22407. Let b = q + -37. Which is bigger: 0 or b?
0
Suppose -4*z - 6 = 2*p + 2, -4*z + 2 = -3*p. Let f be 34*z/(-10) + -4. Is 7 equal to f?
False
Let s be 45/(-6) - (-1)/(-2). Let d be (-10)/s - (-4)/(-16). Do 7/3 and d have the same value?
False
Let a be 6/(-9) + (-28)/(-6). Which is smaller: 0 or a?
0
Let a(i) = -3*i**3 - i**2 - i. Let c be a(-1). Let k be (-1)/2 - (-13)/2. Suppose -3 + k = -c*v. Is -2 greater than v?
False
Suppose -2*b + 0*b + 510 = -4*s, 2*s + 2*b = -246. Let q be 16/s*(-12)/16. Which is bigger: 0 or q?
q
Suppose -1 = 8*o - 9. Is 1 < o?
False
Let p(k) = k**3 + k**2 - k + 3. Let q be p(0). Suppose -q*t - t = 0. Let c(x) = -x + 11. Let r be c(9). Which is bigger: r or t?
r
Let b = 7 + -1. Suppose 0 = -2*j + 4*i - 28, -i = 2*j + 4*i - 8. Let t = j + b. Is t >= -1?
True
Let r(m) = -m**2 - 7*m + 2. Let o be r(-8). Which is smaller: 2/3 or o?
o
Let j be (3/8 - 1)*26/13. Are 0.2 and j non-equal?
True
Let t(r) be the third derivative of r**4/24 - r**3/2 + r**2. Let f be t(3). Let w be -1 + ((-9)/6 - -2). Which is greater: f or w?
f
Suppose -2 - 1 = t. Let z = -1 + t. Is z less than -1?
True
Let g be (3 - (1 - 3))/(1/1). Is -3/2 > g?
False
Let q = -12 - -8. Are -1 and q non-equal?
True
Let j = 2 - 3. Let k be 20/(-6) + 4/(-6). Let r(m) = m**3 + 4*m**2 + m + 3. Let s be r(k). Do s and j have the same value?
True
Let n = 41.9 + -42. Let i(z) = z**3 + z**2 - 2*z - 1. Let o be i(-1). Is o < n?
False
Let m = -35 + 30. Which is smaller: m or -4?
m
Let k(i) = -i**2 - 9*i + 14. Suppose 0*u = -2*u - 20. Let p be k(u). Suppose -2*s + 3*z - 5 = p*z, 0 = 2*s - 4*z - 10. Which is greater: s or 2?
2
Let x = -20/83 + 2266/8715. Let m = x - 319/210. Are -2 and m equal?
False
Let z = 1 - -2. Suppose 0 = -f - z*f + 16. Is f < 6?
True
Let g(a) = 2*a - 41. Let q be g(20). Is q at most as big as -6/53?
True
Let r = 5.14 + -5. Let s = 0.04 - r. Let m = 0 - 1. Is s bigger than m?
True
Let o be (-3)/(-6) - 9/(-6). Suppose -o*a - 60 = -0*a. Let b = -92/3 - a. Which is bigger: 0.1 or b?
0.1
Suppose 3 = -4*g + 3*g - n, 4*g - 3*n = 16. Let h = 0 + g. Is -2/23 smaller than h?
True
Suppose 0 = -4*n - 8, -v + 4*n - 3 = -11. Let i(m) = -m - 6. Let b be i(-6). Do v and b have the same value?
True
Let j be (-2)/(-9) - 4/(-225). Is 1 >= j?
True
Let h be ((-27)/(-4))/(1/(-12)*3). Which is smaller: h or 2/9?
h
Suppose 5*w - 13 = 7. Suppose 3*r - n = 21, 0*r - 5*n - 39 = -w*r. Let o be 2/4 + r/(-4). Is o greater than or equal to 0?
False
Let i(x) = x**2 - 7*x + 14. Let v be i(5). Is 4 greater than or equal to v?
True
Let p(n) = -n. Let a be p(1). Let x = -45 - -54. Suppose -x*g + 5*g = 4. Does g = a?
True
Let v = -19.1 + 20. Let w = -8 - -9. Let q = v - w. Are 3/4 and q equal?
False
Suppose 0*g + 63 = -3*g. Let u be ((-14)/g)/(2/(-6)). Let q = 1627/7 - 233. Are u and q unequal?
True
Let j = 20 + -30. Let k(y) = -y**3 - 11*y**2 - 11*y - 9. Let v be k(j). Let a be 1/(2 - 17/v). Are a and -1 nonequal?
True
Let d = 14 - 8. Let h = d + -6.1. Which is greater: 1 or h?
1
Let u(i) = -i**2 + 3*i + 2. Let y be u(4). Suppose 0*w + 3*w - c = 9, -5*w + 5*c + 15 = 0. Suppose -2*s = 3 + w. Is s at least as big as y?
False
Let o = -59 - -298/5. Suppose 4*j + 11 = -17. Let a = -7 - j. Is o < a?
False
Let g(p) = 36*p + 3. Let j be g(-1). Which is bigger: j or -34?
j
Suppose 2*b = -3*b + 50. Let k = b - 4. Let m(z) = -z**2 + 6*z - 1. Let n be m(k). Are n and 1/7 equal?
False
Let v = 1 - 2. Let p be 3/36*(-3)/v. Let h(c) = c**2 + c - 1. Let r be h(-1). Is r smaller than p?
True
Let x = 34 - 51. Which is greater: -1 or x?
-1
Suppose 4*a - 22 = -14. Let w = 7.3 + -8. Is w > a?
False
Let r = 0.3 + -0.2. Let n = r - 0. Let z = n - 0. Which is smaller: -2/3 or z?
-2/3
Let b = 0.2 - 0.1. Do 0.08 and b have the same value?
False
Let f be (-1 - -4)*(1 + -2). Suppose 3*d + d = 16. Suppose 2*v + 16 = -d*t, -5*t - 8 = -4*v - 1. Which is greater: f or v?
v
Let y be ((0 - 4)/12)/((-2)/(-42)). Which is bigger: y or -2?
-2
Let x = -1 - -0.92. Which is smaller: -1 or x?
-1
Suppose -4*l + 3*l = 3*y - 13, 2*y + 4*l - 12 = 0. Suppose -2*a - 13 = 2*s + a, y*a = 4*s - 24. Which is bigger: s or -2/9?
s
Let m = 1 - -9. Let o = -12 + m. Let w = 1.1 - 0.1. Which is smaller: o or w?
o
Let o = 15 + -9. Suppose -q = -5*q - 2*b + 16, -5*q = -b - o. Suppose -q*w - 3 = w. Which is smaller: -4/7 or w?
w
Let q = 8 - 9. Is q != 14?
True
Let u(v) = -v**3 - v**2 - 3*v + 3. Let p be u(-3). Is 30 smaller than p?
False
Let d be 3/2*(-16)/12. Let n be (-2 - d) + 0 - 0. Let x be -1 + 2 - (n - 0). Is x greater than 1?
False
Let o(p) = -p**3 - 4*p**2 - 4*p - 3. Let s be o(-2). Suppose 2*w - 15 = 7*w. Is w at least as big as s?
True
Suppose -1 - 2 = v. Let i be 1/2*v/(-6). Is i > 2?
False
Let w = -3.14 - 134.86. Which is bigger: w or -2/5?
-2/5
Let b = -60 - -59.75. Which is bigger: 2/5 or b?
2/5
Let v = 5 + -3. Suppose -5*q + 2*q = 3*s - 18, -v*q = -4*s - 6. Which is smaller: 2 or s?
s
Suppose -2*d - 7*d + 54 = 0. Let l = 0.3 - 0.2. Is d at least as big as l?
True
Suppose -2*h = -3*h - 449. Let l = -4045/9 - h. Let f(z) = -z - 4. Let r be f(-4). Which is smaller: l or r?
l
Suppose 3*v = 51 - 12. Let h = 4 + 5. Let n = h - v. Are n and -4 nonequal?
False
Let k(g) = g**2 + 5*g + 16. Let y be k(-8). Suppose 4*u + u + y = 0. Suppose 2*z = 3*z + 8. Is z greater than u?
False
Let x = 47 + -606/13. Which is bigger: x or 0?
x
Suppose -7*u = -2*u - 15. Let f = -2 - u. Let x be f/(-10) - 10/(-12). Is x at least 0?
True
Suppose 4*u + 1 = -11, 45 = 3*a - 5*u. Let d = a - 14. Which is smaller: -2 or d?
d
Suppose 5*r = 4 + 1. Let g be 2/(1/(-3) + r). Let b = 3 - g. Is 1/3 >= b?
True
Suppose 12 = -4*w, -2*r = -0*w - 2*w - 12. Suppose 0 = r*c - c. Is c at most as big as -2/25?
False
Let l = 1.2 + -0.2. Let b = 0.09 - -0.04. Let q = 0.15 - b. Is l bigger than q?
True
Let s = 18 - 18.1. Which is greater: s or -0.01?
-0.01
Suppose 0 = 4*f - 2*b - 8, -28 = -3*f - 7*b + 3*b. Which is greater: 7 or f?
7
Let f = 6.6 + -7. Is f >= -1/2?
True
Let a(x) = x**2 + 7*x + 6. Let c be a(-6). Suppose -w - w = c. Is w at most as big as 1/6?
True
Let i = 6.12 + -1.22. Let c = i - 2. Let x = -0.1 - c. Is x bigger than -0.2?
False
Let c be (-2)/110 + 1 - 26/143. Let w(f) = f + 1. Let u be w(0). Is u at least c?
True
Let y = 7/36 - 4/9. Let d = -0.6 - 0.4. Which is greater: d or y?
y
Let y(t) = -t**3 - t**2 - t. Let j be y(0). Suppose j = -p + 5*n + 30 + 1, n - 40 = -4*p. Let o = 10 - p. Is -0.02 bigger than o?
True
Let h be ((-48)/10)/((-6)/(-20)). Is h not equal to -17?
True
Let h be (3/(-14))/(15/(-50)). Is h less than or equal to 2?
True
Let y = 48 - 40. Which is bigger: y or -3?
y
Let t = -0.4 + 0.1. Let r be 1/(-5) - 45/25. Let n be (1 + r - -4) + -3. Do t and n have different values?
True
Let l = 28/75 + -1/25. Suppose 2*u = 4*p + 4*u - 16, 5*p - 5*u = -10. Suppose y + 4 = 2*g, 0 = p*g + 2*y - 6*y - 10. Which is smaller: l or g?
l
Let i(b) be the second derivative of -b**4/12 - b**3 - 3*b**2 + 4*b. Let g be i(-7). Which is smaller: -12 or g?
g
Let d be (4/(-25))/((-2)/5). L