47 - -32. Let i = -18 - v. Which is greater: 2 or i?
2
Let c = 1991 - 185161/93. Is c less than or equal to 1?
True
Let n = 6 + -16. Let t be n/14 + (-6)/21. Let s be (1 + 0 - 1)/(-1). Are t and s equal?
False
Let r(b) = -b**3 - 3*b**2 + 2. Let x be r(-3). Let l be x/7 + 4/(-14). Which is bigger: l or -1?
l
Let j(o) = 3*o**2 + 1. Let i be j(1). Suppose -3*a - 5 = 4*c, 22 = 5*a - i*c + 9. Let r be (1/(-9)*1)/a. Which is bigger: 0 or r?
0
Let u be 0 + 3 + -2 + -5. Let r be 2/4 - (-2)/u. Suppose 5*a + r*o + 3*o - 4 = 0, -4*a - 3*o = -5. Are a and 2/3 nonequal?
True
Let s be (-18)/(-14) + 4/(-14). Let d = -5/149 - -1217/745. Which is smaller: s or d?
s
Let w = 1 + -0.95. Let o = 2.05 - w. Let h = 0.7 + -0.6. Is h != o?
True
Let q = -41321/30 + 6511/5. Suppose -5*c + c + 316 = 4*s, -3*s + c = -221. Let r = s + q. Which is greater: 0 or r?
0
Let t be (-5 + 2)/(8/(-6)). Which is smaller: 3 or t?
t
Let p be 2 + 1 - (-447)/30. Let j = 33 + -15. Let q = p - j. Does q = 0.1?
False
Let z(s) = s**3 + 5*s**2 - 4*s - 3. Let m be z(-5). Is 17 greater than or equal to m?
True
Let t = -51 - -57. Is 6 < t?
False
Suppose -5*y - 1 - 4 = 0. Let f(u) = -u + 1. Let z be f(y). Let g = -2 - -2. Is z > g?
True
Let w = -3 - -3. Which is greater: w or 0.12?
0.12
Suppose 5*c = -2*v + 5*v, c + v = 0. Which is smaller: c or -1/29?
-1/29
Suppose -3*h + h - 2 = 3*s, 5*h = -s - 5. Let a be ((-1)/((-3)/(-6)))/h. Suppose -5*l - 20 = 3*x, 2*x + a*l + 8 = x. Is x at least as big as 2/5?
False
Let q = 12 + -11. Let w(p) = -8*p**2 + 6*p - 11. Let o(u) = 3*u**2 - 2*u + 4. Let b(k) = -11*o(k) - 4*w(k). Let y be b(-1). Are y and q unequal?
False
Let l = -21/2 + 11. Let s = 0.9 + 4.1. Let n = s + -4. Which is bigger: n or l?
n
Let s(r) = -r**2 - 3*r + 2. Let j be s(-3). Suppose 5*q = -5*i + 35, j*q - 4 = -i + 5. Is q > 0?
True
Let r = 3/59 - -404/177. Which is smaller: r or 1?
1
Let g = 2241/64 + -35. Which is smaller: g or 0?
0
Let g(j) = -j**2 - 5*j - 3. Let l be g(-4). Suppose f - 2 = 2*f. Let x be 6/15*f/(-4). Which is bigger: x or l?
l
Let j = 1.7 - 2.7. Suppose 2 = g - 2*h + 6, -2*g - 3*h = -27. Let s be (-4)/18 + (g - 6). Is j != s?
True
Let c be (-2)/(189/(0 + 3)). Which is greater: c or 1?
1
Let j be (4/(-42))/(1/3). Let h(p) = -2*p - 1 - p**2 + 1. Let g be h(-1). Which is smaller: g or j?
j
Let g = -0.01 - -0.61. Is -1 at least as big as g?
False
Suppose 2*l - 5*m + 6 = 3, 3*l - 5*m = -2. Is l not equal to -4/61?
True
Let y = -9 - -15. Let v = 3 - y. Let i = 2 + v. Which is bigger: 1 or i?
1
Let o = -0.06 - -0.46. Let j = o - 0.2. Let v be 6/(-9) - 16/(-24). Does v = j?
False
Let j be 12/(-18) - (-5)/3. Which is bigger: -2/9 or j?
j
Let o = -0.03 + -6.97. Let j = o + 1. Is -1 at most as big as j?
False
Let i = -1.1 - -5.1. Let j = i + -7. Which is smaller: j or -2?
j
Let r = 36 - 37. Which is bigger: r or 31?
31
Let d be (-2 - (-4 - -2)) + 48/(-33). Which is smaller: 1 or d?
d
Suppose -v + 6*v - 2*t = 44, 3*v + 4*t - 16 = 0. Which is greater: 1 or v?
v
Let l be 5 + -5 - (10 - 1). Let a = l - -7. Is a >= -2?
True
Suppose 0 = -4*z + 7 + 1. Suppose 2*g + 2 = z*l, -g + 0*l - 2*l = -11. Let m be (3/(-12))/(g/(-4)). Do 2/5 and m have different values?
True
Suppose -4*b - 42 = -n, 0*b - 4*b - 4*n - 52 = 0. Let t be 1*-2*b/110. Which is smaller: 0 or t?
0
Let p = -27 + 24.2. Let b = p + 13.8. Is -0.1 equal to b?
False
Let l = -1 + 1. Suppose 0 = 3*q - 5*q + 12. Let j be (1 - -2)/q*-1. Is j smaller than l?
True
Let d(b) = -b + 4. Let h be d(6). Let z be (2/(-2))/(h - -3). Let v(s) = -s**2 - 12*s. Let t be v(-12). Are z and t equal?
False
Let p = 1.3 - 0.98. Let h = -0.08 - p. Is h greater than or equal to -0.2?
False
Let w(r) = r**2 - 7*r + 3. Let a be w(6). Let y be (-3)/11*(-2)/a. Let s(g) = g + 7. Let m be s(-6). Which is bigger: m or y?
m
Let j = 18 + -18. Is 0 < j?
False
Let s(u) = -6*u + 2 + u**2 - 1 - 6. Let j be s(6). Let h = -4 - -2. Which is smaller: h or j?
j
Let v be (-9 - -12) + 26/(-8). Which is smaller: -3 or v?
-3
Let x(b) = b**2 - b. Let y be x(0). Which is greater: y or -4?
y
Suppose 3*c - 2 = 4. Suppose -3*a - 4*j = 1, 0 = -a - c*j - j - 2. Let w be a/2*(-2 - -2). Is w >= 1?
False
Let u = -3.7 + 4. Let v = -0.3 + u. Let p = v + 2. Is 1 at least p?
False
Suppose -5*d + 22 = -3. Suppose -f = 2*f. Suppose 0 = -3*m + h + 2, -d*h + 10 = -f*m + 5*m. Do -1/5 and m have different values?
True
Let q be 1 + ((-42)/(-4))/(-3). Is q equal to -2?
False
Let c be 25 + 16 - ((-2)/(-1) - 1). Which is smaller: 41 or c?
c
Let a = 0 - 4. Let z = 1 - a. Suppose -2*x + r = -r - 4, 0 = -z*x - 5*r. Does 2 = x?
False
Let r be 12/60*(-10)/(-6). Is r at least as big as 0.2?
True
Suppose 4*a = -3*f + 35, 4*f - 3*f = 2*a - 5. Suppose -r + f = -3*k, -k = 2*k + 3*r + 9. Is k > 0?
False
Suppose -4*v = 4*s - 18 - 50, -2*s + 62 = 4*v. Let l be v/21*9/6. Let j be 2/(-3)*(-3)/5. Which is smaller: l or j?
j
Let h(f) = f**2 + 6*f - 8. Let g be h(-7). Suppose 64 = -2*i + 6*i. Let b be (1/2)/((-8)/i). Is b less than g?
False
Let r = 8 - 26. Is r >= 2/3?
False
Suppose -2*i + a = -0*i + 4, -3*i - 17 = 4*a. Let q = 3 + i. Is 0 equal to q?
True
Let f = -173/342 - -11/18. Suppose -3*q + 2 = -5*q. Is q != f?
True
Let x = -2 - 28. Are x and -31 nonequal?
True
Let g be -2*(10/(-4))/5. Which is smaller: 0 or g?
0
Let x = 8 - 5. Suppose -4*c - 3*k + 5*k = -10, 2*c + 7 = -x*k. Let w be c/((-2)/4) + 2. Are 1/5 and w unequal?
True
Let v be -1 + -1 - 72/(-42). Is -0.3 >= v?
False
Let d = -102 + 109. Is d smaller than 29/5?
False
Let f be (-3)/9*(-7 + 4). Let l = 2 + f. Which is greater: l or 1?
l
Let t(m) = m**2 + m - 2. Let c be t(0). Suppose -b + 12 = 2*b. Let n be 19/(-30) + b/(-24). Is c less than n?
True
Suppose -5*f + 4*f = -4. Let b(x) = x**3 - 3*x**2 - 5*x + 4. Let t be b(f). Let z be (-2 - 9/(-4)) + 0. Which is smaller: t or z?
t
Let x(f) = f**3 + 7*f**2 + 9*f + 1. Let l be x(-6). Do l and -17 have different values?
False
Let j = 6.6 + -6. Let x = -0.18 - -0.08. Is j less than or equal to x?
False
Let z(j) = j**3 + 2*j**2 - j. Let s be z(1). Suppose s*c + c = 3, 5*y - 8 = 2*c. Let i = 1 + -1. Which is smaller: y or i?
i
Let q(y) = 5*y. Let p be q(-7). Let l be (-90)/p - (-1 + 4). Which is bigger: 0 or l?
0
Suppose -4*b + 6*o = o, 2*o = -4*b. Let d be (6/4)/(b - 3). Suppose -5*w - 1 = -2*i - 0, -5*w = -5*i - 5. Do i and d have the same value?
False
Suppose 0*v + v - 2 = 0. Suppose 0 = -3*m + v*m. Let x be (1/(-2))/(3/6). Which is smaller: m or x?
x
Let r be (7/35)/(2/(-45)). Which is smaller: -5 or r?
-5
Suppose 4*o = 7*o - 3. Is o != 4/25?
True
Let v = 13 - 8. Suppose 3*h + v*i = 4, -3*h - 2*h + 10 = 5*i. Is h > 2?
True
Let f = -14 - -15.1. Let d = f - 0.1. Which is bigger: -0.09 or d?
d
Suppose -4 = -w - 7. Is -2 at most as big as w?
False
Suppose 0 = -3*a + 15. Let m(v) = -v + 7. Let y be m(a). Suppose -n = 0, 2 + 2 = 4*q - 2*n. Is q < y?
True
Suppose -43 + 108 = -5*m. Is m greater than -14?
True
Let i = 332 - 350. Let a = 18 + -37. Is a > i?
False
Let f(z) = -2*z + 15. Let r be f(8). Which is smaller: r or -3/23?
r
Let r(u) = u + 5. Let v be r(-4). Let i be (-723)/(-3690) - 1/5. Let d = i + 989/1230. Is v less than d?
False
Suppose a + a = 10, -f - 5*a + 27 = 0. Suppose 0 = o - f*t - 3, 0*o - o - 2*t = 1. Which is smaller: o or 3?
o
Let j(t) = -t**2 + 8*t - 8. Let i be j(7). Let u be (-2)/8*1/17. Let v = u - 4/17. Which is bigger: v or i?
v
Let z = -0.11 - 5.89. Let h = 9.13 - 0.13. Let u = h + z. Is u equal to -0.1?
False
Let p(z) = z - 2. Let n be (1 - 2) + 2/(-1). Let f be (-14)/(-6) + (-2)/n. Let q be p(f). Which is greater: 1/4 or q?
q
Let s = 0 - -0.2. Let i be (-3)/(-44)*2 + 0. Let t = i + -7/11. Which is greater: t or s?
s
Let w = -7 - -7.05. Let c = w + 0.05. Is 1/5 < c?
False
Let j(q) = -q - 3. Let k be j(6). Let d = -3/32 + -301/32. Let y = k - d. Is -1 greater than or equal to y?
False
Let j = -85/693 - -2/63. Is j != 0?
True
Let g(j) = -j - 2. Suppose 3*c = 2*l - 2*c - 11, 5*l = -4*c - 22. Let m be g(l). Let r = -2 - -3. Is m less than or equal to r?
True
Let j = 24 - 14. Let c = j + -9. Are 0.1 and c unequal?
True
Let y be (-3 + 3)*2/4. Let n = 15 + -11. Suppose 5 = n*d + 1. Are y and d unequal?
True
Suppose -2*s = -5*a - 162, 5*a = s - 110 - 56. Let b be a/84 + (-4)/(-8). Which is smaller: