 Let n be u(-7). Let z(s) = s**3 + 5*s**2 - 5*s + 2. Let q be z(-6). Which is greater: n or q?
n
Let h be 9/(-15) + 3/(-20). Which is smaller: -1 or h?
-1
Let g = 1 + -1.01. Let s = -37 - -37.29. Let x = s - g. Which is greater: 0 or x?
x
Let k(r) = r**3 - 8*r**2 - 1. Let z be k(8). Let c = 1 - z. Let h = 0.4 - 0.3. Which is bigger: h or c?
c
Let m(u) = -2 + 0 + 0*u - 4*u**2 + 0*u**2 + u**3 + 2*u. Let s be m(3). Which is smaller: -4 or s?
s
Let d = 0.9 + 3.1. Is d > 1/4?
True
Suppose -4*q = -2*q - 10. Suppose -q*m + 4*f + 22 = 0, -5*m + 6*f - 5*f = -13. Suppose m*b = b. Do 0 and b have the same value?
True
Let a be -2 - (92/(-12))/(14/4). Which is bigger: 0.1 or a?
a
Let i(z) be the first derivative of -z**3/3 + 5*z**2/2 + 3*z + 1. Let y be i(6). Which is greater: -1 or y?
-1
Let f be 1/8*(-80)/(-12). Let y(q) = q - 2. Let z be y(4). Suppose -x - x + z = 0. Is x > f?
True
Let a = -1.073 + 0.073. Are -5 and a equal?
False
Let n be -2 + (-2 + 3)*-2. Let v(g) = -g**2 + g - 4. Let y be v(0). Is n smaller than y?
False
Let s = 15 - 16. Let a be 2/8 - 2/(-8). Which is greater: a or s?
a
Let f = -8.6 + 7. Let p = -1.6 - f. Which is smaller: -2/9 or p?
-2/9
Let z(u) = 2*u**3 + 22*u**2 + u - 1. Let a be z(-11). Are a and -12 unequal?
False
Let b = 1.04 + -0.04. Are 1.2 and b unequal?
True
Suppose 258 = -2*q + 4*v - 0*v, 2*v = -5*q - 681. Let t be q/150*4/(-6). Which is bigger: t or 1?
1
Let r(o) = -o**3 - o**2 + 3*o + 4. Let d be r(-2). Suppose 0 = 5*n + 1 + 9. Is n greater than d?
False
Let y = 0.277 - 0.377. Let m = -0.26 + 0.3. Which is bigger: m or y?
m
Let a be 1/(20/(-16)) - (-1)/1. Is -61 at most as big as a?
True
Let i = -991 - -64413/65. Is i equal to -1?
False
Let y = -0.02 - -6.02. Let x = -6.1 + y. Which is bigger: x or -0.04?
-0.04
Suppose p = 2*y + 1 + 7, 0 = p + 4*y + 16. Let h(b) = -4 - 2*b + b + p*b. Let f be h(-3). Is f < -1?
False
Suppose 9*z = -57 + 30. Suppose -5*c = 3*a + 11, 0*a - 2*c + 7 = 5*a. Let f be (-16)/a + 3/9. Is f greater than z?
False
Let n be (2 - -1)/3 - -1. Suppose y + n*y = 0. Suppose 2*z + z - 3 = y. Are z and 1 non-equal?
False
Suppose 4*m = 2*m + 102. Let k be ((-333)/m)/(-3) - 2. Which is smaller: 1 or k?
k
Suppose 5*u - 65 = -20. Suppose 3*v = 6*v - u. Suppose -2*c - v*c = 2*z - 15, -z - 3*c = -9. Which is smaller: z or -1?
-1
Suppose -g = 3*g. Let h = -0.5 + 1.2. Let u = -0.6 + h. Is g <= u?
True
Let y = -13 + 9. Which is greater: y or -26/5?
y
Suppose -q + 16 = 3*q. Let p be (-10)/20 - 26/q. Which is bigger: -8 or p?
p
Let a be ((-6)/8)/(3/12). Is a equal to 0?
False
Let g = -89 - -87. Is -4 less than g?
True
Let y(o) = -o**2 - 5*o + 6. Let x be y(-5). Let g be ((-1)/x)/(1/3). Which is bigger: -1 or g?
g
Let k be (-105)/(-36) - (-6)/(-2). Let g = k + -1/6. Which is greater: 2/9 or g?
2/9
Let y = 7.1 + -7. Let b = -0.9 - y. Which is greater: b or 15?
15
Let c = -4.61 - 0.09. Let h = c - -5. Which is bigger: h or 2/5?
2/5
Let b be (-1636)/120 - 2/(-2). Let h = 64/5 + b. Is 0 <= h?
True
Let i = -101 - -89. Is -12 >= i?
True
Suppose 3 = g, 2*o - 5 = -g - 4. Is 19 less than or equal to o?
False
Suppose -z + 2 = -0*z. Let y be -2 + (-1)/(-1) + z. Let g = 0 - 0. Is g smaller than y?
True
Suppose -3*h - 82 = 4*f, -3*f = 5*h - f + 146. Is h at least as big as -29?
False
Let y = 5 - 2. Let x = y - 5. Let r = -4 + 4. Which is bigger: x or r?
r
Let v = 263.9 - 275. Which is greater: v or 1?
1
Let i(o) = 6*o**3 + o**2 - o - 1. Suppose 4*g - b + 0 + 2 = 0, 4*b = 4*g - 4. Let l be i(g). Is l <= -1?
True
Let w = 252 + -6298/25. Is 3 at least as big as w?
True
Suppose 3*j = -37 - 11. Let b be j/(-6)*(-9)/6. Which is smaller: b or -2?
b
Let j = 7 - 12. Which is smaller: -7 or j?
-7
Let w = -22/5 + 5. Let x = -1/5 + w. Let q = 0.04 - 0.44. Which is bigger: q or x?
x
Suppose -50 = -5*h + 5*p, 4 = -0*h + 2*h + 2*p. Which is smaller: h or 5?
5
Let i = 837/1477 - -1/211. Let v = -2 - -3. Which is bigger: i or v?
v
Let j = -0.06 - -0.07. Let a = j + -2.01. Which is smaller: a or -1/4?
a
Let j = 4 + -8/3. Let k be (-2)/(-1) + 1 + -2. Which is greater: j or k?
j
Let i(j) = j**3 + 14*j**2 + 2*j + 29. Let w be i(-14). Which is smaller: 21/13 or w?
w
Suppose -4 = y - 2*s + 2, 5*y = -3*s + 35. Let z(g) = 3*g - 1. Let l be z(2). Suppose 3*p + y*h + 6 = -4, -h = -l*p - 9. Which is bigger: -4 or p?
p
Suppose 6*u - 8*u = -44. Does u = 21?
False
Let h(d) = 5*d**3 - 8*d**2 - 12*d + 11. Let g(l) = -9*l**3 + 17*l**2 + 24*l - 22. Let t(a) = -6*g(a) - 11*h(a). Let z be t(-13). Which is bigger: z or -5/4?
-5/4
Let n be -1*7/((-826)/(-4)). Let y(c) = c**3 - 7*c**2 + 7*c - 6. Let j be y(6). Is n not equal to j?
True
Let y be 6/(-9) + (-296)/6. Let q be (-2)/(-5)*y/90. Let d = -1 - -1. Is q > d?
False
Let j be (2/(-2))/(1/5). Is -6 smaller than j?
True
Let o = 0.02 + -0.07. Let k = o + -0.05. Which is smaller: 0.1 or k?
k
Let t(o) = -o**2 + 6*o - 3. Let k be t(6). Do 13 and k have the same value?
False
Suppose -11*d - 6 - 16 = 0. Let i be (-1)/(-2)*2*-1. Which is smaller: i or d?
d
Suppose -5*b = -2*b + 12. Which is smaller: -10/3 or b?
b
Let w be 1/(-2 + 7/3). Let m be (-1 + w - 2)/(-2). Suppose m = -x - 0*x. Is x < 1?
True
Let f = 304 - 298. Suppose 33 = 3*v + 3*g, 0 = -5*v + 5*g + 12 + 3. Which is smaller: v or f?
f
Let n = 529/5 - 107. Suppose 3*z = -1 - 2. Is n smaller than z?
True
Suppose -2*o = -3*o + 35. Let t(i) = 5*i**2 + i + 1. Let u be t(-1). Suppose -u*q + 4*f = o, -3*q - 5*f + 10 = -6. Which is smaller: q or -2?
q
Suppose -5*z = 14 + 16. Is z < -5?
True
Let u(f) = -f**2 + 4*f - 3. Let s be u(2). Let n = 0 + s. Which is bigger: n or 0?
n
Let o = 81.1 + -81. Are o and 0.067 unequal?
True
Let y = -293 - -148. Let a = 1449/10 + y. Suppose 5*v - 2 = -7. Which is bigger: v or a?
a
Let n(v) = v**3 + v**2 - 2*v - 65. Let q be n(0). Suppose 80 = 4*j - 4*g, j - 3*j - 2*g + 24 = 0. Let c be (-2)/(-5) + j/q. Is 0 at least c?
False
Let r = 41 + -293/7. Which is smaller: r or 0?
r
Let m be (-1*1)/(3/6). Let f(z) = -2*z - 6. Let h be f(-5). Suppose 4*a + 0 + h = 0. Which is bigger: a or m?
a
Suppose -2*g = -5*u + 25, -3*g = g + 2*u - 10. Let y = 2241/16 + -140. Is g >= y?
False
Let i be (10 - 0)*(-2)/(-4). Does i = 4/5?
False
Let t = 3 + -2. Which is smaller: -2/185 or t?
-2/185
Suppose r + 20 = 5*r. Let w = r - 4. Let s(u) = u - 4. Let c be s(3). Which is bigger: w or c?
w
Let t be 116/36 + 6/(-27). Suppose t*i + 5 + 1 = 0. Which is smaller: -3 or i?
-3
Let l = 3 - 10. Let q be -6 - l/((-28)/(-8)). Suppose 12 = -5*b - 8. Is q not equal to b?
False
Suppose p + 4 = 2*p, -2*p = 2*d - 10. Is d < 15/8?
True
Suppose 8 = -5*s + 2*y - 7, 4*y - 15 = -5*s. Let v be (1 + 2 - s)/(-1). Let c = 5 + v. Which is smaller: c or 1/3?
1/3
Let h = -4259/4 + 57487/54. Let q = h + -2/27. Let t = -0.2 - -1.2. Are q and t nonequal?
True
Let v = 0.1 - 0. Let w = -0.3 - -0.1. Let o = v + w. Is o smaller than 0?
True
Let n = 5 + -24/5. Is n != 11?
True
Let a = -27 - -28.7. Let n = 2.15 - a. Let j = -0.05 + n. Is j not equal to -1?
True
Let s = -20 - -15. Which is smaller: s or -1?
s
Let c(d) = -d + 5. Let f be c(0). Suppose -f*t = -t - 16. Let r be (-6)/4 - 6/t. Is r at least -1?
False
Let c(u) = u + 3. Let s be (3/(-2))/(2/4). Let x be c(s). Which is bigger: -2/13 or x?
x
Suppose -5*f - x = -9, -5*f + 25 = 7*x - 2*x. Let n be 1/(f + 0) - 2. Let r = -16 - -46/3. Does n = r?
False
Let n = -1 - -3. Let s = n - 0. Let z be 13/5 - (-30)/75. Which is smaller: z or s?
s
Let q be (-2)/12 - 5/(-18). Is 1 greater than q?
True
Suppose -2*l - 2*l = -4. Suppose -9*f + 1 = -8. Is l greater than or equal to f?
True
Let a(k) = k**2 + 6*k - 8. Let s be a(-7). Let c be 50*s/(-3 - -1). Suppose -h - 5*f - c = -3, 0 = -5*f - 25. Is h smaller than 1?
False
Let v be 8/28*(-3*1)/(-6). Which is smaller: -1 or v?
-1
Let r be (1/5)/(7/14). Let t = 9 - 6. Let v = 2 - t. Do v and r have the same value?
False
Suppose 2*j - 8 = k - 4*k, 2*j - 8 = 4*k. Let f(u) be the third derivative of -u**4/24 + u**3/6 - 2*u**2. Let v be f(k). Which is smaller: v or -2/7?
-2/7
Let v(m) = -15*m + 3*m - m**2 - 2*m. Let r be v(-14). Which is smaller: r or 2/11?
r
Let c(v) = -5*v + 4. Let z be c(-4). Suppose -4*q = 7*h - 2*h + z, -3*q = 4*h + 19. Do -1/2 and q have the same value?
False
Let d be ((112/(-105))/(-8))/(3/(-1