 Let s be (-3)/(-1)*80/15. Let x be (27/(-36))/((-42)/s). Which is greater: x or b?
x
Let d = -0.39 + 0.19. Which is greater: d or 1?
1
Let v = -28 + 49. Let b = v - 20. Which is smaller: b or -2/3?
-2/3
Suppose 4*g = 4*w + 9 - 25, 0 = -3*g - 3*w + 18. Let t be -1*2 - 28/(-11). Is g >= t?
True
Let r = 1 + -0.6. Let o be 3/5 + -2 + 1. Which is smaller: o or r?
o
Let l be 3395/22 - 1/2. Let i = l - 154. Which is smaller: i or -0.1?
i
Suppose -y = -2*y - 3. Let j(z) = -z**2 + 4*z + 7. Let v be j(5). Suppose 0 = -2*g + v - 8. Are y and g equal?
True
Suppose -l + 5*l - 212 = 0. Let p be 142*((-15)/40 - 0). Let t = p + l. Are 0.2 and t unequal?
True
Let y(s) = 3*s**3 - s**2 - 3*s - 2. Let o be y(-1). Let q(f) = -f**2 + 7*f - 6. Let w be q(5). Let k be (o/7)/(6/w). Which is smaller: 1 or k?
k
Let o = -2.1 - -1.2. Let y = -1.6 - 0.4. Let u = y - -3. Is u at most as big as o?
False
Let q = 1 - 1.1. Let r = -3.5 - -3.7. Which is smaller: q or r?
q
Let v(q) = 6*q - 13. Let m be v(3). Which is greater: 13 or m?
13
Let f = -1597/2645 + 2/529. Which is bigger: 1 or f?
1
Let a = 29 - 1. Is 27 at most a?
True
Suppose 17 = 6*t - 5*t. Is t greater than -0.1?
True
Let p be 1 + -5*2/14. Does p = -1?
False
Let o = -1/1873 - -26231/16857. Let j be ((-4)/10)/((-16)/120). Which is bigger: j or o?
j
Let l(s) = -s**2 - 10*s - 10. Let v be l(-7). Suppose 4*u + 15 + v = -2*i, 5*i + u + 29 = 0. Is -6 greater than i?
False
Let j be -1 - 3/(9/(-6)). Let m be (-3)/(j + (-21)/12). Suppose 5*d - 3*d - 2 = 0. Is d <= m?
True
Let y = -0.08 + 2.48. Let u = 1 + y. Let t = 3 - u. Is t > -1?
True
Suppose k - 3*r + 2 = 5, -r - 1 = 4*k. Suppose k*a - a = -10. Let g be (a/(-3) + 2)/6. Which is bigger: -1 or g?
g
Let b = 0.14 - 6.14. Let h = b + 5. Which is greater: h or -2/9?
-2/9
Suppose 2*r = -3*x - 27, 2*r + 1 + 16 = -x. Are r and -0.9 non-equal?
True
Let f be 12/18 - (-4)/3. Suppose -3*c - 9 = 2*g, -2*c - 2*g - 6 = f. Which is smaller: -1/4 or c?
c
Suppose -3*f - 3*i - 58 = 152, -5*i - 277 = 4*f. Let z = 149/2 + f. Is z equal to -0.1?
False
Let z be 3/(-2)*(-40)/6. Suppose 4*c = 2 + z. Which is greater: -1 or c?
c
Let j(g) = g + 5. Let a be j(0). Suppose -3*n - 3*x - a = 1, -5*n - 2*x - 7 = 0. Which is greater: n or -2?
n
Suppose 4*p + 10 = -3*a, p = -3*a - 2*a - 11. Let c be -2*(-1)/2*p. Which is greater: -2/19 or c?
-2/19
Let j = 22677/28 + -810. Let s = -83/252 - j. Is s at most as big as 0.2?
True
Let h = 0.19 + 0.01. Which is greater: 0.9 or h?
0.9
Let a = 74 - 75. Is 5/12 at most a?
False
Let c = 2 + -1.7. Which is smaller: c or 5?
c
Suppose 2*f - 7*f + 10 = 0, a - 11 = -4*f. Suppose 5*r + 0*j + 9 = j, 3*r + a*j = 9. Are r and -2 equal?
False
Let m = -0.21 - -0.11. Which is smaller: m or 41?
m
Let h be (3 - -40)/((-3)/19). Let p = h - -290. Let t = p - 35/2. Do 1/4 and t have the same value?
False
Let o = -3 + 1. Is -4 <= o?
True
Let n be (4/14)/(16/504). Suppose -3*z - 44 = -z. Let r = -12 - z. Which is bigger: n or r?
r
Let y = 6/205 + -331/4305. Do -1 and y have different values?
True
Let o = 43 - 28. Let i = -11 + o. Is i <= 0.1?
False
Let a be (-4 + 5 + 6)*1. Suppose r + 8 - a = 0. Which is greater: r or -3?
r
Let t = 87 - 611/7. Let o = 2 - 1. Which is bigger: o or t?
o
Let i = 7 + -7.1. Is i at least -28?
True
Let x = 11 - 11.07. Are x and -2/3 equal?
False
Suppose n - 2*i - 10 = 0, n + 2*i - 2 + 0 = 0. Let t(w) = -w**2 + 9*w - 11. Let r be t(n). Which is smaller: r or 8?
r
Let a = -478303 + 3284560/7. Let i = a - -9063. Let p = i - -118/7. Which is bigger: p or 0?
0
Let m = 126 + -125. Which is greater: m or 14/9?
14/9
Let a = -0.05 + 0.02. Let o = a - 1.97. Let m = 41/4 + -43/4. Do o and m have different values?
True
Let t(y) = y - 1. Let l be t(0). Let g be 3 - (2/(-2) + l). Let s be (-2)/8*g*-1. Is s greater than or equal to 1?
True
Suppose -3*b + 217 + 983 = 0. Let m be b/(-6) + (3 - 5). Let t = 68 + m. Is -2 less than t?
True
Let w = 0.017 + -0.017. Which is smaller: w or -0.014?
-0.014
Let r = -0.101 + 0.201. Let j = 4.04 - 0.04. Is r equal to j?
False
Let l(d) = d**2 + 5*d - 6. Let q be l(-6). Let p = -5/12 - -131/84. Which is smaller: p or q?
q
Suppose r - 4*x = 1, -4*r = 5*x + 23 - 6. Suppose -8 = 3*a + 4*c - 6, -8 = -5*a - c. Let j = r + a. Is 0 < j?
False
Let g = 6 - 10. Let m = 4.3 + g. Let j = 213/4 - 53. Which is smaller: m or j?
j
Let x(c) = -c**3 + 5*c**2 + 11*c - 30. Let k be x(6). Which is bigger: 9/11 or k?
9/11
Let m = -2 - -3. Which is greater: m or 3?
3
Suppose -m + 3 = -0*m. Suppose -2*p + 5*d + 13 = -m*p, 4*p + 16 = -2*d. Let s be (4/3)/((-6)/9). Is s equal to p?
False
Suppose -a + 4*a - 9 = 0. Suppose a*r + r = -8. Let g be ((0/2)/r)/2. Which is greater: -1 or g?
g
Suppose 5*v - 103 = 32. Let p = v - 18. Suppose 4*k - 11 = p. Is 5 >= k?
True
Let k = -0.36 - -0.06. Let d = 3 - 3.1. Let q = k - d. Which is smaller: q or 0.2?
q
Suppose 0 = -x + 6*x + 25. Let v(m) = m**2 + 12*m + 0*m - 2*m - 5. Let b be v(-10). Is x less than b?
False
Suppose -c = 2*p - 7*p - 34, -2*c = -5*p - 38. Let f = p + 9. Suppose -f*u = -7*u. Which is smaller: u or -1?
-1
Let i = 0.94 + 0.06. Let r = 1.2 + -0.2. Are r and i equal?
True
Let u be 18/4 - (-1)/2. Suppose u*q - 4*q = -1. Let d be (-1 - -2)*(q - 0). Which is smaller: 1/5 or d?
d
Let g be -1 + -3*(0 + 1). Let n be (2/(-4))/(g/(-8)). Which is greater: 2/41 or n?
2/41
Let y = -16 - -18. Which is smaller: y or 3?
y
Let r(q) = -10*q + 65. Let w be r(6). Which is bigger: w or 7?
7
Let d = -5 + 9. Let n = d - 0. Which is bigger: n or 5?
5
Let o = 15.9 - 12. Let q = o - 2.2. Let m = 0.7 - q. Which is smaller: -1/2 or m?
m
Let h(v) = -v**3 - v + 5. Let t be h(0). Suppose 3*b = -4 - t. Is b smaller than -4?
False
Suppose 0*s + 2*s = 2*q + 6, 2*s = -q + 6. Do q and -5/8 have the same value?
False
Let f = 15.1 + -15. Is f greater than or equal to -8/3?
True
Let o = 0 + 2. Let v(k) = -k**3 + k**2 + k - 5. Let d be v(0). Let g = 8 + d. Which is smaller: g or o?
o
Let a be 6/(-4)*(-726)/9. Let q = a + -607/5. Which is smaller: q or -0.01?
q
Let c = 23 - 22.8. Let y = -3.95 + -0.05. Let m = y + 2. Which is smaller: c or m?
m
Let y be 0 + (6/3 - 3). Let s be (10 - 0) + y + 0. Let v be 48/4*(-6)/(-8). Is v not equal to s?
False
Let y = 4 + -17. Is -1 at most y?
False
Suppose 0*k - 2 = -2*k. Suppose k = -0*v + v. Let i be (1 + 1)/(2 - -1). Which is smaller: i or v?
i
Let y = -5 - -8. Let d = 2 - y. Let g be 1 + -1*(-24)/(-21). Is g less than d?
False
Suppose -19 = -q + 4*b - 0*b, 4*q = -3*b - 19. Let j(w) = -3*w**2 - 8*w + 8 + 0*w - 2 + 2*w**2. Let r be j(-9). Is r equal to q?
False
Let c = 0.1 + -0.1. Let b = 26 + -25.8. Let j = c - b. Is 0 < j?
False
Let o = -3829/11 - -349. Is o greater than 0?
True
Let s = -2/3533 + -229637/14132. Is -15 at most s?
False
Let g = -0.41 + 1.41. Is -2 bigger than g?
False
Suppose 0 = t - 2*t - 2. Let l = 44 - 133/3. Which is bigger: t or l?
l
Let r = -180/7 - -26. Let a = 11/14 - r. Let c = -1 + 2. Which is smaller: c or a?
a
Let j be 12/(-90) - (-23)/15. Is 0 at least as big as j?
False
Let y = 0 + -4. Let q be (y/(-6))/(5/(-3)). Which is bigger: q or 0.1?
0.1
Let v = 2/209 - 97/209. Which is smaller: 1 or v?
v
Let d = 7 + -6.8. Is d >= -8/7?
True
Suppose 4*f = 8*f + 44. Is f smaller than -9?
True
Suppose d = -3*a + 1, -3*d + 15 = -3*a - 12. Is d <= 8?
True
Let s(x) = -x**2 - 8*x. Let q be s(-8). Suppose -4 = -q*d + 2*d. Which is greater: d or -4/5?
-4/5
Suppose -6 = -2*j - 2*z - 3*z, -2*z = j - 3. Suppose -3*n + 6*n + j = 0. Let v be (1 - 8/14)/n. Which is greater: 1 or v?
1
Let c(p) = p**3 + 4*p**2 - 4*p - 4. Let n be c(-4). Let r = n - 24. Which is smaller: r or -11?
r
Let b be 1 - (30/63 + 1). Is b bigger than 1?
False
Suppose -y - 12 = -c, -4*y = 4*c - y - 62. Let o = 18 - c. Which is greater: o or 0?
o
Suppose -5 = -c + 8. Is c not equal to -2?
True
Let p = 3.2 + -5.2. Is p <= 0.1?
True
Let c = 0.01 + -0.21. Suppose 2 = 4*r + w, -4*r - 2 = -r - w. Do r and c have the same value?
False
Suppose -i = 2*i. Suppose -4*k + 4*f + 76 = 0, -6*f + 3*f + 13 = 2*k. Let j = k + -10. Which is bigger: i or j?
j
Let a be 4/2 - 112/49. Let k(r) be the first derivative of r**4/4 + 2*r**3/3 - r**2 + 2*r - 2. Let o be k(-3). Is o less than a?
True
Suppose 5*x + 17 = 3*w - 0*w, x = -2*w + 7. Let j = x - -3