Let q(u) = u**3 + 2*u**2 - 4*u + 1. Let x be q(-3). Let d be x/(-14) + 32/14. Let g = -223/3 - -75. Is g >= d?
False
Let b = 36.6 - 37. Is -0.1 at least b?
True
Let h be 100/8*(-2)/20. Let b(m) = m**2 + 3*m - 3. Let v be b(-4). Let u be (6 - 6) + -1*v. Which is smaller: h or u?
h
Let d(n) = -n**3 - n**2 + n + 4. Let c be d(0). Suppose 0 = -c*z + z + 6. Let v be -2 + 1 + 2/z. Is 1 > v?
True
Let i = 33 - 32.9. Which is greater: -5 or i?
i
Let v = 6.6 + -7. Let c = 0.04 - -0.56. Let n = v - c. Which is greater: -2/9 or n?
-2/9
Suppose 0*z = 2*z + o - 4, 4*z + 4*o = 4. Let h(k) = -5*k - 20. Let w be h(-8). Suppose -w = 4*j + 4*b, 2*b - 8 = 3*j - z. Are -3 and j equal?
True
Suppose 7*t + 44 = 2. Suppose 0 = -4*m - 0 + 24. Suppose -m - 4 = 2*l. Is t greater than l?
False
Let s be (-2)/(-1) + 4 + 3. Let q(u) = -u. Let p be q(6). Let x be (-1)/2*p/s. Is x at most as big as -1?
False
Suppose -3*k - 6 = -6*k. Let c(j) = j**2 - 2. Let y be c(2). Do k and y have different values?
False
Let j = -212/5 + 42. Which is bigger: 0.53 or j?
0.53
Suppose 3*m + 3*a - 456 = 243, 5*m + 4*a - 1167 = 0. Suppose -5*s = 5*q + m, 4*s - q = q - 212. Let l be 1/(-4) + s/(-60). Is l smaller than 2?
True
Suppose 0 = 2*j - 4*j - 2. Let l(h) = h - 1. Let f be l(4). Suppose -b + 17 = -3*b + f*v, -b - 4*v + 19 = 0. Is b bigger than j?
False
Suppose 5*c + 5 = 4*n + 18, 8 = 4*c - 4*n. Suppose 4*s - 16 = -m, s - 3 - 1 = -c*m. Is m at least as big as -2?
True
Let p = -21 + 17. Let c = p - -4. Which is bigger: c or 2/3?
2/3
Let p(o) = 10*o + 9. Let g be p(-3). Is 2/3 equal to g?
False
Let q be 2/(-4)*0/1. Let w(c) = c - 4. Let h be w(3). Let o = h + q. Is 3/7 <= o?
False
Let h be 0/(-2) - (0 + -1). Let m = -58/1749 - -1980274/12243. Let b = m - 162. Which is smaller: b or h?
b
Suppose 2*o - 6*o = 4. Let r be 2/8 + (-26)/8. Let h be r/9*(1 + 0). Which is smaller: o or h?
o
Suppose 2*l - 6*l = 0. Is -7 at least l?
False
Let q(z) = -7*z - 25. Let i be q(-6). Which is smaller: 0.1 or i?
0.1
Suppose h + 4 = 1. Let n = 4 - 3. Let i be 15/(-6) + 0 + n. Is h >= i?
False
Let k = 182 + -1272/7. Let n = -1 + 1. Which is smaller: n or k?
n
Let q = -539/4 - -134. Which is smaller: q or 0?
q
Let x be 2 - (-4)/(-6)*-3. Suppose 3*c + a = -a + 17, 4*a - 19 = -c. Suppose -c*p = 2*m - x, m - 4*p = -16 - 4. Which is smaller: m or -2?
m
Suppose 4*l + 17 = -2*g - 13, -5*g + 3*l = 88. Which is greater: -16 or g?
-16
Let g(a) = -3*a**3 + 14*a**2 + 4*a + 2. Let u(m) = -m**3 + 5*m**2 + m + 1. Let d(i) = -3*g(i) + 8*u(i). Let o be d(3). Which is smaller: o or 2/13?
o
Let c be -9 - (-2 - 0 - 2). Which is bigger: -3 or c?
-3
Let d = -2 + 1.92. Let u = 0.02 - d. Which is smaller: -2/7 or u?
-2/7
Let j be 8/(-5) - ((-34)/(-10) + -4). Which is smaller: -2/369 or j?
j
Suppose y + 6 = 3*y. Suppose 4*j + j - 4 = -g, j = 0. Which is smaller: g or y?
y
Let h = 4 + -1. Is 2 greater than or equal to h?
False
Let m(q) = 2*q**2 - 29*q + 12. Let d be m(14). Which is greater: d or -5?
d
Let h be (2 - 4) + 1 + -3. Let a = 2 + h. Let d be 2/8 - (-4)/(-16). Are d and a non-equal?
True
Suppose -d = 5*r + 21, 0*r + 4*r + 4 = -4*d. Suppose 3*q = -q + 16. Is q less than or equal to d?
True
Let o be 6/51 + 5/((-765)/69). Let n be 2/4 + 3/(-2). Which is bigger: o or n?
o
Let k = 231 + -417/2. Let f = 23 - k. Let r be (-2)/(-2) - (2 + -3). Are r and f equal?
False
Suppose -9*s = -17*s + 8. Do s and 1/10 have the same value?
False
Let p be 14/(-14) - (0 - -11). Which is greater: -10 or p?
-10
Suppose r + 0*r = 1. Let c = -170 + 110. Let v be 2/8 + 27/c. Is r < v?
False
Suppose 0*p = p - 4, -3*j + p - 4 = 0. Suppose 2*n = -j*n - 8. Is n > -4?
False
Let r = -1 + 0. Suppose 5*g = 2*g, 5*u - 5*g = 0. Let l be -1 - (u + 12/(-11)). Is l at most as big as r?
False
Suppose -4*y + 14 = 6. Let c = 0 - -2. Let s be c/3 - (-10)/3. Is s bigger than y?
True
Let u = -21 + 24.9. Let q = u + 0.1. Let l = 0.3 + 0.7. Which is bigger: l or q?
q
Let h(d) = d**3 - 5*d**2 + 4*d + 1. Let m be h(4). Let s be 7/28 - 2/(-8). Is m greater than or equal to s?
True
Let h = 96 - 95.9. Which is smaller: h or 0.036?
0.036
Let r = 0.523 - 3.593. Let a = -0.07 - r. Which is greater: a or 2/5?
a
Suppose 2*j - 1 = -k + 5*j, -3*k - 2*j + 3 = 0. Which is smaller: k or 3/8?
3/8
Let r be (-4)/6 + 1844/18. Let b = 102 - r. Which is smaller: 0 or b?
0
Suppose 0 = -3*m + 2 - 11. Let f be -3 - (-14 - m - -3). Suppose 0 = -4*l - 5*u - 19, -u - 4 = -f*l + 2*u. Is 0 equal to l?
False
Let y = 7 + -5. Suppose 0 = 2*u + y, -3*q + u + 3*u = -4. Let d be ((-2)/6)/(8/(-6)). Which is smaller: q or d?
q
Let q(a) = -a**3 - a**2 - 1. Let i be q(-1). Which is bigger: i or 0?
0
Let y be (-1 - 0)*-5*1. Suppose -m + 0*m = -3. Let v = 2 + m. Is v >= y?
True
Let p(f) = f**2 + 6*f + 1. Let x be p(-5). Let n(v) = -2*v - 4. Let w be n(x). Suppose 2*i - 5*t - 3 = 30, 5*t = 5*i - 45. Are w and i unequal?
False
Let m(j) = 7*j + 1. Let r be m(-1). Let y = r + 4. Let x(c) = -3*c**2 + 3*c + 5. Let g be x(-1). Which is bigger: g or y?
g
Let p = -20 + 19.97. Is 2/5 at least p?
True
Let h = -61 + 185/3. Which is greater: -0.2 or h?
h
Let h be (-6)/(-4)*4/24. Suppose -2*s = s - 6. Suppose -s + 5 = 3*m. Is m smaller than h?
False
Let o be 1/2*-1*14. Let t be (-12)/o - 0 - 2. Let v = t + 11/14. Which is greater: 1/4 or v?
v
Let u = -1.06 + 1. Let n be (48/(-150))/((-4)/(-10)). Let w = -21/20 - n. Is u greater than w?
True
Let i be (3 + 2 - 2)*-1. Let b be (-1)/(-2)*(-4)/i. Is 0 greater than b?
False
Let k = -199 + 998/5. Let g = -18 - -12. Let p be (-10)/6 + (-4)/g. Which is smaller: p or k?
p
Suppose -5*o + 10 = 0, 0*i + 4 = -i + 2*o. Suppose i*p = b + p - 5, 0 = -3*b + 2*p. Suppose -a = -5*t - 1, -a + 3 = t - b*a. Do t and -2/5 have the same value?
False
Suppose -4*a = 4*o, 4*a = 3*o + 10 - 3. Let u = 344 - 1739/5. Let s = -4 - u. Is s > a?
False
Let f be (-51)/(-15) - 8/20. Is f < -0.2?
False
Let i be ((-4)/(-12))/((-1)/3). Let q be -3 + 8*(-6)/(-4). Let h be (2/8)/(q/(-30)). Is i > h?
False
Let s(r) = r - 1. Let w be s(-2). Let f = -11 - -17. Suppose -f = -2*u + 5*u. Which is smaller: u or w?
w
Suppose -4*u - 38 = -3*d, 0 = -4*d - 5*u + 2 - 3. Suppose -g - 3 = 5*k, -2*g = 2*k - d*k - 8. Is 1 != g?
True
Suppose d = 8*d + 7. Is -2/13 less than d?
False
Suppose -2*n + 7 = 3. Suppose -38 = 2*z + n*z - q, -15 = z - 3*q. Which is smaller: -8 or z?
z
Let r(u) = 2*u**3 - u**2 - 2*u - 1. Let b be r(-1). Do 1 and b have the same value?
False
Let k = 20 + -14. Suppose 0 = -2*w + 5*b - k*b + 33, 21 = w - b. Are 18 and w equal?
True
Suppose -2*m = 5*z - 35, 2*z - 23 = 5*m + 20. Is z at most as big as 11?
True
Let h(l) = l**2 + 13*l + 14. Let j be h(-12). Suppose 0 = -0*y - y - 5*a + 12, -y = j*a. Let u be (4/(-24))/(6/y). Is u less than -3/2?
False
Let q be (-30)/21 - (-1 - 0). Let f(s) = s**2 + s + 1. Let a be f(-2). Let h be ((-2 + a)*-1)/1. Which is smaller: q or h?
h
Let m(n) = -4*n**2 + n - 2. Let x be m(-2). Let k be (-9)/20*x/15. Is 0 > k?
False
Suppose 5 = f + 1. Let s(u) = -8*u**2 + 2*u**2 - u**3 + f - 4*u + u**2. Let z be s(-4). Is 4 less than z?
False
Let w(m) = 13*m**2 + 2*m + 2. Let g be w(-1). Which is smaller: 12 or g?
12
Suppose -2*v - 5*x + 35 = 0, 6 = 4*v + x - 19. Suppose v*s + 2*w = 16, 2*w - 11 = -4*s + w. Let d be (-2)/(-8) - (10/(-8))/(-5). Which is smaller: d or s?
d
Let m = 445356/95 + -4688. Is m at most 1?
True
Let f = -545/612 + -15/68. Suppose 2*o = 6, -o = 4*x + 2*o - 5. Which is smaller: x or f?
f
Let x = 3 - 4. Let k = x - 0. Suppose 0 = 5*d - 1 + 6. Is k smaller than d?
False
Let n be 1 + -1 + (-2 - -2). Let q = -32/15 - -9/5. Which is smaller: q or n?
q
Suppose 4*h + 1 = -7. Let v(w) = -4 - 2*w - 1 + 3*w + 0. Let x be v(4). Is h > x?
False
Let a = -9 + 12. Is 3 less than or equal to a?
True
Let t = -5.6 - -6. Let y = t + -0.5. Let j = 0 - y. Which is greater: j or -2?
j
Let a be (-1)/((-92)/8)*1. Which is bigger: a or 0?
a
Let r = 23/28 + -4/7. Suppose 0 = 4*c + 1 + 3. Which is smaller: c or r?
c
Let f = 76 + -28. Let n = 193/4 - f. Let d = -4 + 4. Are d and n nonequal?
True
Let g = 43 - 37. Is g greater than or equal to -1?
True
Suppose 2*l = -0*b - 4*b - 12, b + 12 = -5*l. Let f be (b - -1)/((-4)/(-24)). Is -6 greater than f?
False
Suppose 0*q + 3*q = -4*c, -5*q = 0. Let y be c + (-