e
Let z(a) = 3*a - 11. Let w be z(-4). Which is greater: -145/6 or w?
w
Let f be (-16 + 8)*6 + (-1 - 3). Are f and -24 nonequal?
True
Suppose 0 = 9*z + 1613 - 551. Are z and -118 unequal?
False
Let f = -24402613/244270 - -4/24427. Let g = f + 100. Which is smaller: 0 or g?
0
Let l = 8 - 8.07. Let f = -1.93 + l. Let k = -7/2 + 3. Which is smaller: k or f?
f
Suppose 225 + 387 = -17*k. Which is smaller: k or 0?
k
Let g be (5 - 6/3)*1. Suppose 5*h - 4*n = 47, -5*n + 12 = g*h - 2*n. Which is smaller: 0.2 or h?
0.2
Let o(z) be the third derivative of -z**5/60 - 2*z**4/3 + 9*z**3/2 + 25*z**2. Let k be o(-18). Does k = -11?
False
Let t = -1.8 + 0.7. Let n = -1 - t. Let f = 4 - 4.1. Which is bigger: f or n?
n
Let b be 18/81 - (-21)/27. Which is smaller: b or 7/18?
7/18
Suppose y - 24 = -3*y. Suppose u + 5 = y*u. Let g be (u/(-3))/((-23)/(-3)). Is g >= 1?
False
Let b be 1/6*2*-3. Suppose -16 = 5*c + 19. Let p = 6 + c. Is b less than or equal to p?
True
Let j(g) be the third derivative of g**5/60 + g**4/3 + 5*g**3/2 + 32*g**2. Let u be j(-5). Which is greater: 1/20 or u?
1/20
Suppose -20*p - 4 = 76. Which is bigger: p or -29/9?
-29/9
Let g = -31 + -4. Which is smaller: g or -33?
g
Let r = -757.3 - -757. Let i = -6.04 - -6. Which is greater: r or i?
i
Let i be ((-2)/12)/(38/(-228)). Is 91 at most as big as i?
False
Let j be 9 + (-85)/34*76/5. Suppose -q + 2 + 0 = 0. Suppose -9 + 67 = -q*i. Is j at least as big as i?
True
Let b = -18.6 + 18.73. Is -0.11 less than b?
True
Let f be 9 + -7 + 6 + -6. Let o be 11*(-4)/(-10) + -2. Is f at least o?
False
Let q(g) = g - 6*g**3 - 5*g**2 + 4*g**3 + 5 + g**3. Let y be q(-5). Suppose n - 4*l = -15, 0 = -3*l - 2*l + 20. Which is smaller: y or n?
y
Let o(k) = 14*k - 11. Let m be o(-6). Is -96 less than or equal to m?
True
Suppose 5*y + 0*y + 2*s = -21, -4*y + 2*s - 6 = 0. Let v be (2/6)/(y/(-549)). Is v greater than 62?
False
Suppose 13*w - 1260 = -5*w. Suppose -w = -6*i - 682. Which is smaller: i or -103?
-103
Let f = -938 - -937. Which is smaller: f or -32/17?
-32/17
Let x = -25.4 - -27.4. Are -0.55 and x equal?
False
Let m(d) be the second derivative of -d**3/6 + 5*d**2/2 + 7*d. Let i be m(4). Does 3 = i?
False
Let g(s) = -4*s. Let j be g(1). Let o be -1*(-7 - -2) + j. Does o = -2/31?
False
Suppose 4*w + 44 - 52 = 0. Suppose w*f - 5*b + 3 = 6*f, -2*f - 4*b = 0. Is 4/7 bigger than f?
False
Let z be 3 - (3 - (-4)/(-1166)). Let u = 1104/18073 + z. Suppose 12*f + 4 = 8*f. Which is smaller: f or u?
f
Let v be ((-56)/13 - 9/(-117)) + 6. Which is greater: 1 or v?
v
Suppose 5*r + 258 + 152 = 0. Let m = -73 - r. Is 11 < m?
False
Let c(o) = o**3 - o**2 - 3*o - 2. Let d be (-2)/8 - 26/(-8). Let l be c(d). Suppose -4*u + 5*b + 33 = 0, -7*u - 3*b - l = -3*u. Which is greater: u or 3?
3
Let s = -13 + -8. Let t = 7 + s. Let h = t - -13. Are h and 4 nonequal?
True
Let i = -1167 + 1165. Is i <= -11/9?
True
Let r = 73 + -53. Let o be 12/(-33)*(-15)/r. Is -1 less than o?
True
Let g(w) be the third derivative of -w**5/60 + w**4/24 + w**3/3 + w**2. Let m be g(2). Suppose -34*t + 21 = -13*t. Which is smaller: t or m?
m
Suppose -7*c + 12*c = -4*x + 10, 4*c - 8 = -4*x. Which is bigger: -1/9 or x?
x
Let n(r) = -223*r + 204. Let f be n(1). Do f and -380/21 have the same value?
False
Let t be 24/(-2*(-5)/30). Let q = 61 - t. Which is smaller: q or -5?
q
Let h(i) = i**3 + 12*i**2 - 4*i - 24. Let r be h(-13). Let b = r - -4934/35. Which is bigger: 0 or b?
0
Let b = 10/153 - 2/63. Which is bigger: -1 or b?
b
Let r(n) = -4*n - 5. Let j be r(-4). Let z(f) = -f + 17. Let d be z(6). Let x = d - j. Is -2/11 bigger than x?
False
Suppose 33 = i + 5*n, -3*n + 0*n - 27 = -2*i. Let v be ((-120)/84)/(i/14). Is v smaller than -0.1?
True
Suppose -4*u = p, 0*u = 3*p + u. Let j = 782 - 16418/21. Which is smaller: j or p?
p
Let k = -458 + 442. Is k != -6?
True
Suppose 0 = 3*v + 3*o + 6, -v + 14 = -2*v - 5*o. Let p be (v/1)/(54/(-12)). Let m = 6 - 5. Is m at most as big as p?
False
Let w be 9*(-2 + (6 - 2)). Suppose -10*b - g + 75 = -6*b, 3*g = -15. Is b smaller than w?
False
Suppose -6*i = 5*p - 2*i + 16, -p - 4 = i. Suppose -2*o - 8 - 20 = p. Which is bigger: o or -2?
-2
Let x(c) = -c**2 + 18*c - 9. Let h be x(17). Suppose -8 = 3*p - h. Which is bigger: 4 or p?
4
Let s = -32 + 33.3. Let x = -1.1 + s. Let k = -30/19 + 28/19. Which is bigger: x or k?
x
Let z be (-36)/(-12) + 143/(-3) + 0. Let c = z - -1063/24. Which is smaller: -1 or c?
-1
Let m = 2745 - 282733/103. Let w(u) = -u**2 + u + 41. Let z be w(7). Which is bigger: z or m?
m
Let c = 29.027 - 0.027. Let m = -23 + c. Let x = m + -6.3. Which is smaller: 7 or x?
x
Let h = -26 + 15. Let v = 12.8 + h. Let j = v - 1.8. Which is smaller: j or -3/2?
-3/2
Let s(n) = -n**2 - 6*n + 2. Let a be s(-7). Let z = -256 - -255. Which is bigger: a or z?
z
Suppose -2*w - 10 = 0, v + 12 = -2*v - 3*w. Let b be 5 + (0/v)/(-4). Suppose 17 = b*y - 38. Is y < 10?
False
Suppose -3*p + 2*o + 35 = 0, -8*p + 3*p + 2*o = -53. Suppose 4*z + 2*c - 3 + p = 0, -3*z = -3*c - 9. Let i = 12082 + -12081. Which is smaller: i or z?
z
Suppose -3*o = 17 - 5. Let r be (o/10)/(5/1). Which is smaller: r or -1?
-1
Let i(x) = -x**3 - 8*x**2 - 11*x + 3. Let y be i(-8). Suppose t - 22 = -4*h - y, -5*h - 96 = -2*t. Let g = -52 - -35. Is h not equal to g?
True
Let s(o) = -o**2 - 4*o - 6. Suppose -7*u = -2*u + 15. Let y be s(u). Which is bigger: 2 or y?
2
Suppose 0 = -4*b + 5*k + 19, 4 - 5 = 5*b + 2*k. Is 120 not equal to b?
True
Suppose -18 + 0 = -3*m. Suppose m*o = 7*o. Let i = 226 + -5196/23. Which is smaller: o or i?
o
Suppose 18*o = 194 + 2614. Are 155 and o nonequal?
True
Let j = -249 - -249.1. Is j less than or equal to -0.003?
False
Let c = -36 + 56. Let g = -18 + c. Which is bigger: 6 or g?
6
Suppose 31*i - 4 = 29*i - 2*w, 1 = 4*i - 3*w. Which is greater: -1/206 or i?
i
Let c(m) = m**3 + 2*m + 1. Let z be c(-1). Let x be 1*((-1)/z - (-11)/(-22)). Which is smaller: 2 or x?
x
Let x = -10.4 - -41.4. Let p = x + -30.8. Which is smaller: p or 0.6?
p
Let h = -277 + 238. Which is smaller: h or -38?
h
Let v be 9/12 - (-50)/8. Let y = v + -8. Which is bigger: -5/9 or y?
-5/9
Let g = 98 - 94. Let h be (-3)/12*34/(-3). Do h and g have different values?
True
Let y(g) = -2*g**3 - 2*g**2 + 5*g + 5. Let l be y(-1). Which is greater: -3/176 or l?
l
Let q be -48 + (-6 - -8 - 5). Is -552/11 smaller than q?
False
Let m(d) = -d**2 - 6*d + 9. Let s(w) = -w**2 - 2*w - 8. Let u be s(0). Let c be m(u). Suppose -2*l + 5*r = 29, 2*l + 0 = -5*r + 1. Is l at least c?
True
Suppose 7*g = -20*g + 837. Let c = -62 - -32. Let m = g + c. Is -6 less than m?
True
Let d(r) be the third derivative of r**5/60 + 7*r**4/24 - 8*r**3/3 - 4*r**2. Let z be d(-9). Let a = 771/5 - 153. Which is greater: z or a?
z
Let j be ((-18)/(-42) - 0) + 60/7. Suppose 13 = -j*x - 14. Which is greater: 17 or x?
17
Let n = -10 + 17. Suppose -5*z + 3 = -n. Let h be (3 - (-54)/(-12))*(7 + -1). Which is greater: h or z?
z
Let q be (-4)/(-9) - (-29029)/(-64728). Are q and -1 equal?
False
Suppose -14*j - 1746 = -1690. Which is smaller: -32/9 or j?
j
Let c = -8 + 9. Let m = -0.23 - -0.2. Let h = 0.23 + m. Is h less than or equal to c?
True
Suppose 3*h + 11*h - 364 = 0. Which is smaller: 25 or h?
25
Let a = -10901/20 + 2724/5. Let c = -5137/2848 - -57/32. Which is smaller: a or c?
a
Let i be (18/15)/(1/5). Let t = 1097/5 - 219. Which is greater: t or i?
i
Let b = -8/6003 + 1540778/6003. Is 256 greater than b?
False
Let i be (-5)/(-3) + -3 + (-16)/(-14). Suppose -11 = 5*b - 3*j + 6, -4*b + 4 = 2*j. Is b equal to i?
False
Let y = -2.93 - -3. Let c = -93/212 + 10/53. Which is bigger: y or c?
y
Let n = -11 - 4. Let r = -16 + 25. Let o = r + n. Which is smaller: 0 or o?
o
Let n(l) be the second derivative of -l**3/3 + 17*l**2/2 - 20*l. Let j be n(6). Is j smaller than 4?
False
Let l = -119 - -120. Suppose -3*c - l = x - 26, 0 = -3*x + 4*c + 23. Which is smaller: 11 or x?
11
Let s(g) = -g - 12. Let p be s(-14). Suppose 33 = n - 2*y, -p*n + 48 - 10 = 3*y. Which is greater: 23 or n?
n
Let z be (-385)/(-196) + 2/(-8). Let q = -19 - -23. Suppose -q*t - 2 = -6. Is z at most as big as t?
False
Let b = 114.1 - 116. Which is greater: b or -1?
-1
Let x = -3 + 6. Let m = 249 - 234.1. Let u = m + -15. Is x greater than or equal