= -5*u + 1 - u - u**n + 0*u**2. Let a be m(-6). Is 1/5 <= a?
True
Let f(l) = -l**3 + 4*l**2 - 3*l - 1. Let m be f(3). Let k be m*1/(-2)*-8. Let g be (-2 - 3 - -5)*(1 + -2). Which is smaller: k or g?
k
Let s = -179 - -193. Which is greater: 13 or s?
s
Let x = -935/8 - -117. Which is bigger: x or 0?
x
Let y be 4/6*(-5 - 4). Let x be (-34)/y + 4/(-6). Suppose 2*k = 5*z + 25, -x*z + 12 - 37 = -k. Which is greater: k or -3/4?
k
Let w be 21/35 - 39/70. Is 1 < w?
False
Let n = 3.1 - -5.9. Which is greater: n or 0?
n
Let q be (-3 + 5)*5/2. Suppose -5*y - 19 = 2*s - 0*s, -s - q = y. Let n = -7 - y. Is -3 at most n?
False
Let p be (-16)/6*(-9)/(-4). Let d = 5 + p. Which is greater: d or -2?
d
Let i(g) = 4*g - 1. Let r be i(-3). Is -13 equal to r?
True
Suppose 0 = 2*x + 3*x. Is -5/11 at most as big as x?
True
Let b = 0.1 + -4.1. Which is smaller: -0.4 or b?
b
Let o be (4 - 0) + (-3 - -2). Suppose -4*h = 3*d, -2*d + 29 = 3*d - o*h. Which is smaller: 2 or d?
2
Let a(z) = 2*z**2 + 18*z - 11. Let t be a(-10). Are t and 8 equal?
False
Let d = 3 - -1. Let z = d + -3.9. Let l = -5.5 - -5. Which is greater: l or z?
z
Suppose -2*n + 18 = -4*x, -3*x - 5 - 5 = 2*n. Let k be ((-1)/3)/(x/(-12)). Which is bigger: k or -0.2?
-0.2
Let h = -316/1057 + 2/151. Let c = -0.09 + 0.02. Let v = c - -0.04. Is v at most h?
False
Let t(f) = 4*f + 6. Let j be t(-5). Let m be (38/j)/1 + 3. Let s be ((-15)/6)/(-5) - 0. Which is smaller: m or s?
m
Let g be (-60)/(-32) + 0 - 2. Which is bigger: -1 or g?
g
Let d = 1.2 - 0.2. Suppose 0 = -4*y + 3*m + 7, 3*y + 0*m = 2*m + 5. Let i be y*-2*(-3)/(-9). Which is bigger: d or i?
d
Let i be (2 - 3)/(-2 - -1). Which is smaller: i or -2?
-2
Let t = -14 + 12. Is t >= -3?
True
Let c(g) = -g**3 - 7*g**2 - g - 4. Let b be c(-7). Suppose 5*d = b*p + 8, -d + 3*p = 4*p. Which is bigger: -2/23 or d?
d
Suppose -184 = -11*z - 8. Which is smaller: z or 19?
z
Suppose 0*c = -2*c + 38. Which is smaller: c or 0.1?
0.1
Let v = -1 + -2. Let c be 0 - -18*2/(-20). Is v > c?
False
Let w = 22 - 12. Suppose w = -2*f - 0. Let i = 4 + f. Which is greater: i or -3?
i
Suppose 16 = 4*x - 2*x. Suppose 0 = -2*j + 5*m + 23, -25 = -3*m + x*m. Is -1/11 less than or equal to j?
False
Suppose -6*g - 6 = -4*g. Let f be 42/(-38) - g/3. Which is greater: -1 or f?
f
Let x = -1 - -1. Suppose x = -3*r + 5*r. Which is greater: 5/4 or r?
5/4
Let s = 6 + -9. Let w be 1 - (8/3)/2. Which is smaller: w or s?
s
Let a = -8131/11 - -740. Let f = a - 43/66. Which is smaller: 1 or f?
f
Let v be 2/(-6) - 25/(-3). Let l(y) = y**3 - 8*y**2 + y - 5. Let f be l(v). Is 1/3 >= f?
False
Let y be 25/(-99) - 6/(-27). Does 0 = y?
False
Let p = 208096/99 - 2102. Which is smaller: 0 or p?
p
Let o = 2 - 4. Let c be (o/(-8))/((-21)/(-24)). Let w be (-1*2)/(3 + -1). Which is greater: c or w?
c
Let w = 0.37 - -0.05. Let s = -0.12 + w. Are -0.1 and s nonequal?
True
Let p be ((-2)/(-4))/(1 + 0). Suppose 0 = 3*b + 3*y - 9, 0*y = -y - 2. Suppose 0 = -b*g + 12 - 7. Which is bigger: p or g?
g
Suppose 0 = -5*h - 5*z + z + 2, 0 = -3*h + 3*z - 15. Let v(g) = -2 - 9*g**2 - 9*g + 0*g**3 + g**2 + 0*g**3 + g**3. Let k be v(9). Is h at most as big as k?
True
Suppose -3*k + 4*k - 2*u + 6 = 0, 2*k + u + 12 = 0. Let o be (-18)/(-4)*8/k. Let n(h) = -h**2 - 7*h - 8. Let q be n(o). Is -3/2 greater than q?
True
Suppose -33*m + 28*m = 5, 0 = x - m + 1. Let n be -1 + -1 + (2 - 0). Suppose n = -3*t - 2*t - 5. Is x smaller than t?
True
Let f be 34/66 - (-1)/(-3). Suppose -6*d + 3 = -3. Which is smaller: f or d?
f
Suppose 4 = -4*n, d + n = -0 + 2. Is 12/7 less than or equal to d?
True
Suppose 0*c - 2 = -c. Let m be (c/8)/(-1 - -2). Which is smaller: 0 or m?
0
Let p be (-188)/(-45) + (-2)/5. Let n = p + -28/9. Is 0.1 greater than or equal to n?
False
Let w be (3 + -5)/((-12)/(-250)). Let b = -42 - w. Which is smaller: 1 or b?
b
Suppose 0 = 2*g + 2 - 4. Which is smaller: g or -1/22?
-1/22
Suppose 3*t = x - 11, -3*x + 0*t + 3 = t. Is x greater than 4/7?
True
Let o(h) = -h**3 - 7*h**2 - 5*h + 7. Let k be o(-6). Let j = -184 - -124. Let q = -299/5 - j. Is q greater than or equal to k?
False
Let v(a) = 2*a + 14. Let u be v(-7). Which is smaller: -2/47 or u?
-2/47
Let h be -3*(-2)/(-4)*-2. Let n be (-6 - 3)*2/h. Is -5 at least n?
True
Let c = -22 - -10. Are -12 and c equal?
True
Let p = -22 + 22.5. Which is smaller: -0.1 or p?
-0.1
Let y = 9 - 5. Suppose 3*g - y = -i + 3*i, -4*g + 3*i = -7. Let h be -1*-2*(g - -1). Which is smaller: -5 or h?
-5
Suppose 2*c - 3 = 3*n + 6, 5*n - 3*c = -15. Which is greater: n or -19/6?
n
Suppose 0 = -2*z - 2*o - 2*o + 12, 5*o - 45 = 5*z. Is -7/2 not equal to z?
True
Let h = 1.8 + -1.66. Let g(o) = o - 7. Let t be g(6). Is t at most h?
True
Let m(n) = -7*n**2 + 1. Let x be m(-1). Let d(j) = j**3 + 7*j**2 + 7*j + 3. Let c be d(x). Let t be 2/4*-2 - 1. Is c equal to t?
False
Let f(o) = 39*o + 2. Let h be f(4). Let i = 488/3 - h. Let p = i + -4. Are p and 1 unequal?
True
Suppose -5*g + 20 = 0, 0*g = 2*h - 4*g + 16. Let y be (-18)/(-5) - (3 - h). Which is bigger: y or 1?
1
Let y be 1/(-2)*(3 - 5). Which is bigger: 18 or y?
18
Let k(v) = -v**2 - 6*v + 4. Let x be k(-6). Suppose -x*d + 3*m + 4 = -3*d, 5*d = -5*m. Are -3/16 and d nonequal?
True
Suppose 0 = 3*s - 0*s - 9. Suppose 0 = -4*a, s*i = -i - 3*a. Is 2/11 less than or equal to i?
False
Let x = 22 + -21. Which is smaller: 3/2 or x?
x
Suppose 0*b = k - b, 0 = k - 3*b - 2. Which is smaller: k or -1/80?
k
Suppose -5*t = 25, -3*j + 3*t = 2*t - 47. Which is smaller: 15 or j?
j
Let f = 0 - -1/3. Let v(k) = 4*k**3 - k**2 + 1. Let b be v(-1). Let s = b - -5. Is s at least as big as f?
True
Let u = 3.08 + -0.08. Let a(b) = -b**3 + 8*b**2 - 7*b. Let n be a(7). Which is bigger: u or n?
u
Suppose -64 = 5*w + 71. Let v be (-4)/w*3/2. Let r = 3 + -2. Is v at most r?
True
Let w(c) = c**2 + 3*c - 4. Let o be w(-4). Suppose -3 = 3*m - o. Is 2/19 at most as big as m?
False
Let d = 24 - 21.9. Let y = 2 - d. Let n be 1/(-2)*(-6)/(-9). Which is smaller: n or y?
n
Suppose -2*g + 3 - 1 = 0. Which is smaller: 4 or g?
g
Let n(b) = -b - 4. Let h be n(-2). Is h <= 1?
True
Let v(d) = -5*d + 9. Let s = 3 - 14. Let n(m) = -14*m + 26. Let r(y) = s*v(y) + 4*n(y). Let t be r(6). Is 2/5 smaller than t?
False
Let g = 60 + -53. Is -0.1 greater than or equal to g?
False
Let z be 0 + 11 - (4 + -8). Is 15 <= z?
True
Suppose -p + 19 = 3*u + 1, -4*p - 4*u = -32. Which is greater: 3/2 or p?
p
Suppose 76 = 4*i + 8. Suppose -3*f + i = -4*b + 6, 3*b + 2 = f. Suppose 0 = -w - 3*w. Which is smaller: w or b?
w
Let w be 6/8 + 22/(-8). Let h be 3 + -2 + 0 + w. Let r be (1/(-6))/(h/2). Which is bigger: 2/15 or r?
r
Let c(h) = -2*h - 1. Let l = 4 - 6. Let d be c(l). Let y = d - 3. Which is smaller: 1/3 or y?
y
Let x = 1/3 + -37/48. Which is bigger: x or 1?
1
Let o be (0/(2/(-2)))/(-2). Let z = -3 + 6. Suppose -z*y = -7*y. Do y and o have the same value?
True
Let b = -5 + 4. Which is smaller: 0 or b?
b
Let u be (-1)/(-1 - (-7)/2). Which is bigger: -16 or u?
u
Let k = -53 - -38. Which is smaller: -14 or k?
k
Let b(w) = 6*w**3 + 2*w**2 + 3. Let r be b(2). Is 59 < r?
False
Let s = -5 - -3. Let y(f) = 3*f + 3. Let z(c) = -c - 1. Let m(w) = 3*y(w) + 8*z(w). Let o be m(-2). Is s at most o?
True
Let x(t) = -3*t + 15. Let i be x(7). Let z(l) = -l + 2. Let k be z(-5). Let c = k + i. Which is bigger: c or 5/4?
5/4
Suppose 3*p - 1 + 4 = 0. Let q = -20227/33 + 613. Is q less than p?
False
Let g be 6/15 + 2/(-5). Suppose -2*u + 2 = -2. Which is smaller: g or u?
g
Let w = -2 - -4. Let d be w/(-12)*4*6. Which is smaller: -2 or d?
d
Suppose 20 = -3*y + 56. Which is smaller: y or 9?
9
Suppose -10 = j - 11. Is j != 5/3?
True
Let g = 1.19 + 5.91. Let f = 0.07 - 7.07. Let k = g + f. Which is smaller: k or 1?
k
Let n be (2 - 4/(-4)) + (-8)/2. Which is bigger: -2/7 or n?
-2/7
Suppose v + 12 = -4*p + 1, -2*v = 6. Let u = p - -4. Suppose l + 12 = 10. Which is smaller: l or u?
l
Let z be -26 - -6*(-4)/8. Is z bigger than -29?
False
Let w be (6*3/(-24))/(-3). Which is greater: 6 or w?
6
Let y = -7 + 10. Suppose 0*v + 3*v - 15 = y*u, 0 = -v - 3*u - 15. Which is bigger: -2 or v?
v
Let d = -0.1 + 0.2. Let w = -16/7 + 18/7. Are w and d nonequal?
True
Let t(p) = p**2 + 3*p - 2. Suppose -4*f = -0 + 12. Let w be t(f). Let y = w + 3. Is -1 > y?
F