Let b be a(5). Suppose -b*u = -u - t. Is u smaller than 2?
False
Let u(n) = n**2 - 4*n + 3. Let m be u(2). Let h(v) = v**3 + 2*v**2 + v. Let c be h(m). Suppose p + 2*o + 10 = 0, -2*p + o + 1 = -4. Is c >= p?
True
Suppose 0 = 6*b - 0*b + 6. Which is greater: b or 2/55?
2/55
Suppose -6 = -0*o + 2*o. Let h be o + -1 + -1 - 0. Which is greater: h or -3?
-3
Suppose 0 = -2*f + 6 - 2. Let g be (-6)/(-5)*(-100)/(-45). Which is smaller: f or g?
f
Suppose q - 12 = -3*q, -2*z - 34 = -4*q. Is z at most -31/3?
True
Let x be (2 + 4)*(0 - -1). Suppose 5*m = -0 + 10, -5*f - 3*m + 36 = 0. Is f greater than x?
False
Suppose -5*y - 9 = -4*y. Is -11 < y?
True
Let c = 11 + -18. Let o = -1 - c. Suppose -w - o = 2*w + 3*v, 0 = 2*w + 4*v + 10. Are w and 2/5 unequal?
True
Let a = 1 + 2. Let y(p) = -p**2 + 2*p + 3. Let h be y(a). Let x = 9/2 + -39/10. Are x and h non-equal?
True
Let s(o) = o - 9. Suppose -5*p + r = 2*r - 40, -5*p = -3*r - 60. Let j be s(p). Is j less than or equal to 2/7?
True
Let m = 9 - 6. Suppose -3 = m*f - 9. Let d = f - 1. Is d <= 0?
False
Suppose 5*m = 6 + 4. Let f be m/9 + 10/(-18). Which is smaller: f or 2/11?
f
Let r = -0.7 - -0.7. Which is smaller: r or 1?
r
Suppose -5*d + 15 = 5*c, 4*d - 3*c - 5 = 7. Suppose d*b - 18 = 5*m - 1, -5*b + 3 = -2*m. Let g be 1/(-2)*4/10. Is g >= b?
True
Suppose 0 = -2*p - 3 - 9. Let b = 7 + p. Which is bigger: 8/7 or b?
8/7
Suppose 7*q = 2*q + 105. Is 20 at least q?
False
Let v be (0 + (-2)/(-4))*6. Suppose -v*a = -4*a + 1. Is 1 bigger than a?
False
Let o = -2.4 + 3.4. Which is smaller: 1/4 or o?
1/4
Let t = -24.9 - -25. Are t and -4/7 non-equal?
True
Let z = -30 - -15. Suppose 0*a - 2*a + 336 = 0. Let m be 3 + (a/z)/4. Which is bigger: m or -1?
m
Let b be 12/3*((-6)/8)/3. Is b equal to 2/53?
False
Let k = 3073/24 + -128. Which is greater: k or 0?
k
Let i be 8/(-3 + 14/6). Let w(y) = -y**3 - y**2 - y + 6. Let q be w(0). Let p be i/q - 8/(-5). Which is smaller: p or 0?
p
Let d = 3 + -7. Suppose -3*n + 2*n + 5 = -2*w, 0 = 5*w + 5*n + 35. Does d = w?
True
Let x = 3 + -4. Let w be x/(-4)*(0 - 1). Which is smaller: -1 or w?
-1
Let a = 69942/65 + -1076. Which is smaller: 1 or a?
a
Let v = -53 - -34. Let g = v - -23.2. Let i = 4 - g. Is 2/9 at most i?
False
Suppose -5*r - 10 = 4*w, -5 = 4*r + 2*w + 3. Suppose 0 = v - 2, -17 = -2*i - i - 4*v. Let k be 0 - (-4 + i)/(-1). Which is smaller: r or k?
r
Let j be 1 - 2 - 16/(-2). Which is smaller: 6 or j?
6
Let u(d) = d**3 - 6*d**2 + 4*d + 4. Let a be u(5). Let m = a - -1. Which is greater: m or 1?
1
Suppose 0 = -0*m + 2*m. Let x(z) = z**3 + z - 1. Let f be x(m). Is 1/5 smaller than f?
False
Let q be (3/(-20))/(8/(-30)). Let o = -1/16 + q. Is 2 smaller than o?
False
Let z = 16 - 6. Is 10 at least z?
True
Let u = 162/7 + -23. Suppose 2*x + 2 = -16. Let o = x + 9. Is u at least as big as o?
True
Let s = 5.8 + -6. Which is bigger: -1/3 or s?
s
Suppose 36*z + 6 = 37*z. Do z and 6 have the same value?
True
Suppose 2*g + 5*s + 10 = 0, -s = -3*g + 3*s + 31. Suppose -4*d - 38 = 5*z, 0*z - 27 = g*d - 4*z. Is d smaller than -2?
True
Suppose 0 = -2*j + 3*j. Let o(a) = a - 3. Let c be o(j). Let k be c*-1*2/6. Which is smaller: 1/2 or k?
1/2
Let f = 0.23 - 0.39. Is f at most as big as 0.1?
True
Let v be (-1)/3 - (-15)/(-63). Let b(d) = -d**3 - 2*d**2 + d + 2. Let h be b(2). Let z = -10 - h. Is z greater than or equal to v?
True
Suppose 0 = r + r + j + 13, -5*j - 25 = 0. Suppose -4*f + 0*f = 0. Let z be f - 3/(-1 + -2). Which is smaller: r or z?
r
Let y be (8/(-20))/((-2)/(-20)). Let z be (-49)/(-14) + (-2)/y. Are 3 and z unequal?
True
Let l be (15/21 - 1)/((-66)/42). Let x = -2.06 - -0.06. Is x at most l?
True
Suppose -2*o - 5*y = 2*o + 25, -5*o - 20 = 4*y. Suppose -v + 2*i - 8 = o, -8*v - 5*i = -4*v - 20. Suppose -3*b - 6 + 3 = v. Is b bigger than 0?
False
Let k(v) = v**3 + 8*v**2 + 6*v - 7. Let t(i) = i - 1. Let w be t(-1). Let h be (-7)/w*(-2 - 0). Let l be k(h). Which is smaller: l or -1?
-1
Let s = -12 - -12.4. Let t = s - 1.4. Is t smaller than 0.1?
True
Let o be -3 + 1 + (-4)/(-2). Let w = 2/15 - -8/3. Let p = -51/20 + w. Is o less than p?
True
Suppose 6*k - 5*k - 10 = 0. Is 8 less than or equal to k?
True
Let w = 2.6 + -2.8. Which is bigger: 8/9 or w?
8/9
Let h = 5 + -1. Suppose -n - 5*g - 4 = 0, -h*n + 4*g = 3*g - 5. Let f = 236/875 + 2/125. Do f and n have the same value?
False
Let n(c) = -c**3 - 9*c**2 - 6*c + 16. Let q be n(-8). Are q and -4 unequal?
True
Suppose 2*c + 10 = 5*v - 1, 2*c = -2*v - 4. Suppose 0 = 5*d - 6 + v. Is 1/2 > d?
False
Let g be (4/(-3))/(6/81). Let x = 16 - 16.1. Which is smaller: g or x?
g
Let l(p) = -p**3 - 5*p**2 - p - 3. Let m be l(-5). Let r be (m/4)/((-55)/(-22)). Suppose 3*n + 5 = -2*n. Which is greater: r or n?
r
Let p = 1 + 0. Let c be -1 + 1 + 3/46. Let z = c - -37/138. Are z and p nonequal?
True
Let c = -8 + 15. Which is smaller: 8 or c?
c
Let x = -1.48 - -41.48. Which is bigger: x or 3/5?
x
Let g = -21 + 39. Let z be 24/56 - 1086/(-63). Let s = z - g. Which is smaller: 0 or s?
s
Let y = -13 - -17. Is 5 at most y?
False
Let q = -11 + 11.4. Let p = q + 1.3. Which is greater: p or -2/7?
p
Let w = 10 + -9.93. Let g = w - 0.27. Which is smaller: 0 or g?
g
Suppose h - s - 3 = 0, -5*s = 3*h + h + 24. Which is smaller: h or 1/70?
h
Let y be (-4)/6 + (-1)/(-2). Let p be (-4)/(-14) - (-6)/(-21). Is p at most y?
False
Suppose 13*x - 9*x + 16 = 0. Suppose 3*c = -c. Let p be (10/8 - 1) + c. Which is greater: p or x?
p
Let b = -23 - -29. Is 6 not equal to b?
False
Let m(s) = 2*s**2 - 4*s - 3 - 3*s**2 + 0*s**2 + 5. Let d be m(-3). Does d = -0.1?
False
Let l = 2359/5 + -470. Is l at most as big as 3?
True
Let r(a) = -3*a - 1. Let j be r(1). Which is smaller: j or -3?
j
Let f(l) = l**3 + l**2 - 2*l - 2. Let o be f(-2). Which is greater: -13 or o?
o
Let l = -21/11 + 379/187. Which is smaller: 1 or l?
l
Suppose w - 26 = -22. Which is greater: w or 18/5?
w
Let p = 2 - 1.99. Let w = 0.11 - p. Is w bigger than 2/7?
False
Suppose 4*i - 3*t - 3 = -0*t, 2 = -2*t. Which is smaller: 6 or i?
i
Let l(k) = -k**2 - 13*k + 47. Let h be l(-16). Which is greater: -2/3 or h?
-2/3
Suppose 5*x - 2*u + 3*u = -12, -5*x - 16 = 3*u. Let o = 4 + x. Suppose -3*c + 1 = p, 5*c - 3 + 4 = p. Which is greater: o or c?
o
Let k = -13019 + 56035. Let c = k + -557715/13. Let v = c - 115. Is 0 greater than v?
True
Let k(w) = -w**2 - 5*w. Let z be k(-5). Suppose 0 = 2*h - r - 7, z = -h - 0*h - 2*r - 9. Is h not equal to 0?
True
Let i = 0.01 + 1.99. Let l = 2 + i. Let d = -4 + l. Which is smaller: 2 or d?
d
Suppose 0*z - 168 = 4*z. Let g be (-2)/z - (-1)/(-3). Which is smaller: g or 0?
g
Let q be 1/(-1 - (-12)/10). Suppose q = -5*h + 4*h. Which is greater: h or -6?
h
Suppose 20 = -5*x, -2*x - 11 = -4*q + q. Let h = q - 3. Let k(o) = 3*o - 19. Let c be k(5). Is h >= c?
True
Let g be ((-1118)/(-21))/((-4)/6). Let b = g + 80. Is 1 <= b?
False
Let c(y) = y**3 + 5*y**2 + 5*y + 6. Let x be c(-4). Let s be (-9)/(-1)*x/6. Suppose 1 = -s*h - 5. Is h at most -2?
True
Suppose 54 = 2*p - 6. Suppose 5*b - 4*t = -49, 3*b + t + p = 4*t. Which is smaller: -8 or b?
b
Let v = -52/3 + 17. Which is bigger: 0 or v?
0
Suppose 4*v + 29 = -43. Which is smaller: v or -20?
-20
Let g = 73 - 71. Which is greater: 5/3 or g?
g
Let z = 1 - 1. Let j = 0.2 + z. Let o = j - 0. Are 0.1 and o non-equal?
True
Let s be (-1)/(-3) - (-10)/(-3). Let b = 3 + s. Suppose 3 = -5*o + 5*n - 2, b = -4*o - 4*n + 12. Is 0 equal to o?
False
Let z(g) = 6*g**2 - 9*g - 27. Let h be z(-5). Is h less than 168?
False
Let g be ((-1)/(-2))/((-28)/8). Which is bigger: g or 1?
1
Let m = -1.3 - -0.3. Let q = 1 + 1. Let x = q + m. Which is smaller: 2/5 or x?
2/5
Let v = -197/480 + 1/96. Let w(c) = c**3 - 5*c**2 + 3*c + 5. Let d = -9 + 13. Let h be w(d). Which is smaller: h or v?
v
Suppose 0 = 2*h + 3 + 21. Let n be (-4)/h - 2/(-3). Let t be ((-1)/n)/((-2)/(-2)). Do -1 and t have different values?
False
Suppose -6 = -3*h + 6*h. Is 2/3 at least h?
True
Let b(r) = r**3 + 7*r**2 + 5*r. Let y be b(-6). Suppose -y*t = -t. Let m = -0.59 + 2.59. Is m less than t?
False
Let i = 15 + -23. Is -8 smaller than i?
False
Suppose 4*g - 9 = -6*u + u, 2*g = 3*u - 1. Let t be 1 + 4 - 1/g. Which is smaller: 3 or t?
3
Suppose -3*h + 7 = 82. Let z = h + -20. Let c be -3*6/z*-5.