ose 2*w - 6*w + f = 0. Is w at most as big as s?
True
Let j(w) = 8*w - 6. Let z be j(4). Suppose 4*g - 6 + z = 0. Is g at most as big as -5?
True
Let b = 8 - 8.02. Let q = b + -0.08. Are 0.03 and q equal?
False
Suppose -4*n - 2*k + 26 = -0*k, -3*k - 5 = -5*n. Suppose 3*i - 2*i + 17 = n*r, -4*r = 4*i - 12. Suppose 0 = c + r*c. Which is smaller: 3/4 or c?
c
Let v = -1 - -67. Let i be (32/9 + -3)*v. Let m = 37 - i. Which is bigger: m or 5?
5
Let g = 2764/25897 + -2/1363. Which is smaller: g or -0.2?
-0.2
Suppose 2*b - 6 = 4. Suppose -4*q - 1 = 5*f, -q + 1 = b*f + 5. Are 1/8 and f non-equal?
True
Suppose -y + 4*b - 8 = y, -4*b = 5*y - 22. Let d(g) = -2 + 2*g + 0*g - y. Let o be d(4). Which is smaller: 2 or o?
2
Let z(a) = -a**3 - 6*a**2 - 7*a - 5. Let g be z(-5). Let r(w) = -13*w**2 + 7*w**2 + 3 - 2*w**3 + 4*w + 3*w**3. Let v be r(g). Does -0.1 = v?
False
Let r = -222/7 - -32. Let o(t) be the third derivative of t**6/120 + 11*t**5/60 + t**4/24 + 5*t**3/3 + 7*t**2. Let j be o(-11). Is r > j?
True
Let i be (-2)/(-7) - (-13)/(-21). Let p(a) = -a**3 - 4*a**2. Let v be p(-3). Let x = 8 + v. Is i <= x?
False
Let z = -368 - -516. Let o be (z/70 + -2)*-6. Let w = o - -2/105. Do w and 4 have the same value?
False
Let u be 1*(2 + (-14)/8). Let w(v) = -v + 7. Let s be w(8). Does u = s?
False
Let a be (-1 - -9)*6/8. Suppose 0*p = 3*p + a. Let h(s) = -s**2 - 19*s - 50. Let d be h(-3). Is p < d?
False
Let o be (-3)/18 - 35/(-90). Do o and -4 have the same value?
False
Let d(l) = -l**2 - 4*l + 3. Let y be d(-5). Let x be (5/((-30)/(-63)))/3. Let o = -3 + x. Is o greater than y?
True
Let b = -584/7 - -77. Which is greater: b or -6?
-6
Suppose 16 = 3*s + 7. Let h = -4 + 6. Which is smaller: h or s?
h
Suppose -5*t + 13 = -127. Let n be (-63)/t + 1/4. Which is greater: -1 or n?
-1
Suppose 4*f - 2*z + 7 - 1 = 0, 4*f + 3*z = 19. Is f less than -1/13?
False
Let t = -5 - -5. Let d(y) = y**3 + y**2 - y + 1. Let w be d(t). Which is smaller: 3/8 or w?
3/8
Suppose 2*v = d + 5, 4 + 6 = -2*d. Let g(r) = r**3 - 9*r**2 + 9*r - 4. Let b be g(8). Suppose -5*t - 4*c - 17 = v, 0 = t - 5*t - b*c - 16. Is t at most -1?
True
Suppose -2*o - 6 = -0*o, 3*h - 5*o - 213 = 0. Let y be (-72)/h*1/3. Is y greater than or equal to 1?
False
Suppose 4*i - p = 7, 0 = -5*i - 2*p - 4 + 16. Let g(t) = 4 - 5 + 2 + 0 + t**2 - 3*t. Let n be g(i). Are n and 0.2 nonequal?
True
Suppose -5*a - 55 = -4*c, -3*a - 5*c = -c + 33. Let s(m) = m**2 + 13*m + 15. Let p be s(a). Is p <= -7?
True
Let a(b) = -b - 7. Suppose h = 5*v - 21, -v - 2*v = h - 3. Let d = h - -3. Let x be a(d). Is x <= -2?
True
Suppose -6*o - 13 + 31 = 0. Suppose o*k = -2*k. Let n be (-1)/3*1 + 0. Is n bigger than k?
False
Let p(f) = -f + 10. Let u be p(10). Suppose u = -l + 3*d - 4, l + 0*d = -5*d + 4. Which is bigger: -2 or l?
l
Let f = -0.267 + -0.003. Let w = f + -0.01. Let b = w - 0.02. Which is smaller: b or 2/7?
b
Let w = 209/4 + -52. Let d be (-1)/(-2) - (-2)/(-4). Is w bigger than d?
True
Let i = 55.04 + -55. Is i at least 0.06?
False
Let n be (-1)/3*(-1 - 2). Let i be (-24)/594 + (-4)/(-18). Is i != n?
True
Let j be 2/(-4)*(-360)/2. Suppose -2*f - j = -5*f. Let k = 88/3 - f. Which is smaller: 0 or k?
k
Let g(x) = 5*x**3 + x**2 - 1. Let v be g(1). Let c = v + -1. Which is smaller: 5 or c?
c
Suppose -66 = 6*a + 60. Is a <= -22?
False
Let f(m) = m**2 - 5*m + 2. Let w be f(3). Let o be (-4)/35 + w/14. Which is greater: o or 1?
1
Suppose 0 = -5*g + 127 - 27. Let r be ((-248)/g)/(-2 + 4). Let q = 6 + r. Which is smaller: 0 or q?
q
Suppose 20 = 2*r + 2*r. Let f(o) = -o**3 + 6*o**2 + 6. Let z be f(6). Suppose p = z*p + r. Is -2 less than p?
True
Suppose g - 3 = -0*g. Let l be (-1 + g)/((-19)/(-1)). Which is smaller: -1 or l?
-1
Suppose 2*y - 3 = -1. Which is smaller: y or 0?
0
Let m(n) be the second derivative of 0 + 3*n - 9/2*n**2 + 1/6*n**3. Let h be m(9). Do h and 5/7 have the same value?
False
Let m(o) be the first derivative of -o**2/2 - 3. Let s(q) = -2*q + 3. Let d be s(2). Let h be m(d). Is h less than or equal to 2?
True
Let y be ((-12)/8)/(1/(-2)). Let l(z) = 4 - z**2 - 10 + 3*z**2 - 3*z + 2. Let i be l(y). Which is smaller: 6 or i?
i
Let u = 2 - 0. Suppose 0 = 3*c - 4*c + 5*w + 22, u*c = -w. Let q = -11 + 10.9. Are q and c equal?
False
Let s(m) = -6*m + 3*m + 2*m. Let y be s(1). Suppose -6 = -2*u - 0*u. Which is smaller: u or y?
y
Let i be 2*1/(-4)*50. Let s be 45/i + 2/(-10). Suppose -15 = 6*w - w. Which is smaller: s or w?
w
Let v = -1 - -1. Let f = -3 + 5. Suppose 0 = 3*b + f*b - 5. Which is greater: b or v?
b
Let z = -65 + 64. Does -5/6 = z?
False
Let r(t) = -t**3 + 4. Let i be r(0). Suppose i*x - 5 = 23. Let a be 18/2 - 15/5. Does x = a?
False
Let w = -6 - -22. Suppose 5*f - y = -32, -2*f + f + 5*y = w. Let i = 4 + f. Which is greater: -1 or i?
-1
Let a = -124/79 - -12563/5135. Let z = -14/13 + a. Is -5 less than or equal to z?
True
Let f(q) = -q**2 - 5*q + 5. Suppose 5*t = 4*d - 50, 2*d = -2*t - 3*t - 20. Let k be f(t). Which is smaller: k or -3/5?
k
Let h be (-18)/(-15) - (-455)/100. Is h at least 5?
True
Let f = -1 + 0. Let l = 4 + f. Suppose l*k = -5*a + 8, -2*a - 2 = a - 5*k. Which is bigger: a or -2/15?
a
Let o = 34 - 33. Let s be 64/(-322) + (-2)/(-7). Which is bigger: s or o?
o
Suppose -5*r = 5*k + 25, -3*r = -6*r + k - 3. Let c be 123/82*((-2)/(-6) + -1). Is r greater than or equal to c?
False
Let a be (-2)/3*(-60)/(-1). Let n be -2 - (a/(-9))/(-2). Let q = 3/2 + -1. Which is smaller: q or n?
n
Let z be (7 - -1)/((-8)/(-4)). Suppose -n - 2*n = 5*f - 43, z*n - 50 = -3*f. Suppose 0 = 2*m - 4*l - 1 - n, 0 = -4*m - l - 12. Which is bigger: -1 or m?
-1
Let g = -15.36 + 13.3. Let j = -0.06 - g. Which is bigger: j or -1/5?
j
Suppose -32 = -3*d - a, -5*a = -0*d + 2*d - 30. Let x(t) = -t**3 + t**2 - d*t**2 - 8*t + 0*t**2 + 0*t**3 + 1. Let o be x(-8). Which is bigger: 2 or o?
2
Let z = -9 + 11. Is 0.8 equal to z?
False
Let i(z) = z**2 - z. Let g be i(0). Let h be g + (-2)/1 + -2. Let w be (h/(-16))/((-2)/(-8)). Is w > -1/9?
True
Suppose 2*q - 1 = -7. Let i be (22 + 12/q)/7. Is 4 >= i?
True
Suppose p = -2*p - 21. Let l be -2 - (2 + p + 1). Which is bigger: l or 0.02?
l
Let x be (-28)/98 + (-261)/(-7). Which is bigger: x or 34?
x
Let c be (66/36)/((-2)/(-186)). Let j = -167 + c. Which is bigger: 3 or j?
j
Let g be (-1 + 5)*1/2. Suppose 3*s + g = 4*s. Let w be 0*3*s/12. Is w > -2/7?
True
Let k = 0.02 + -0.82. Let y = 0.2 - k. Are 3 and y nonequal?
True
Let a be -1 + (0 + -2 - -2). Let x(f) = -f**2 + 6*f + 7. Let r be x(7). Which is bigger: r or a?
r
Let f = 30 - -13. Is 42 >= f?
False
Let j = -0.26 - -0.43. Let i = j + -1.17. Which is greater: i or -0.1?
-0.1
Suppose -m + 6 = 2*m. Suppose -3*f + m = -4*f + 2*l, 3*l - 3 = 5*f. Which is greater: 1/4 or f?
1/4
Let m = -220081/1057 - -1650/151. Let l(x) = 4*x**2 - 8*x + 5. Let p be l(-6). Let o = m + p. Is o bigger than -1?
True
Let i be (-4)/(-10) + 28/(-35). Which is bigger: i or 0?
0
Suppose -x - w = -3*x + 3, -4*x + 21 = w. Suppose -2*k + 90 = -x*a, 5*k + a + 0*a = 258. Let j = -254/5 + k. Which is greater: 0 or j?
j
Let s = 43/2 - 985/46. Let w(l) = -3*l - 21. Let y be w(-7). Is y smaller than s?
True
Suppose 10*p - 13*p = 42. Is -14 greater than or equal to p?
True
Let a(v) = -v**3 - 6*v**2 - 11*v - 4. Let o be a(-3). Is o less than or equal to -0.5?
False
Suppose -4*k + 8*k = -8. Is -2 equal to k?
True
Let s be (-82)/(-424) - 2/8. Let i = 147/212 - s. Let b(c) = -c + 4. Let p be b(2). Are i and p equal?
False
Suppose 5 = 2*g + 1. Suppose -g*j + j = 0. Let p = j - -1. Is 1 equal to p?
True
Let n(r) = -r**3 + 8*r**2 - 7*r + 12. Let s be n(6). Which is bigger: s or 43?
43
Let c = -1.5 - 0.5. Let w be 1/3 - (-218)/3. Let m = -217/3 + w. Is m equal to c?
False
Let y = -0.9 + 1. Suppose 5*r = r - 84. Let n = -83/4 - r. Are n and y non-equal?
True
Suppose 3*o = 5*w - 8*w + 9, -4*o - 8 = 0. Suppose -3*t = -w*t. Which is smaller: t or 1?
t
Let m = 17227/1668 - -3/556. Which is bigger: m or 10?
m
Let x(d) = d**3 + d**2 + 2. Let p be x(0). Let t = 522259/615783 - -37/3479. Let v = t + -3/118. Which is smaller: p or v?
v
Let k be (-3)/(-2) - 1 - 1. Let u = -18 - 2. Let a be 35/u + 1/(-4). Which is greater: k or a?
k
Let x(s) = s + 9. Let v be x(0). Let w = 1 + 9. Is v greater than w?
