et t(v) = -v**3 + 6*v**2 + 6*v + 9. Let r be t(7). Let h be (r/24)/(15/(-40)). Is n smaller than h?
False
Let u be (3 - (-260)/(-36)) + 2/9. Suppose -4 = -3*l + 2*c, 2*l - 5*c - 31 = 5*l. Which is greater: l or u?
l
Let v = -60 + 297/5. Suppose -3*w - 3*s - 6 - 9 = 0, s + 9 = -5*w. Which is smaller: v or w?
w
Let x = 102506/5 + -25420753/1240. Let v = x - 30/31. Suppose -4*r = -5*p + 35 - 14, 15 = 3*p. Which is bigger: r or v?
r
Let r be 32/(-5) - (-2)/5. Let x = -8 - r. Let w = 353/4 + -89. Which is smaller: w or x?
x
Let l = -6 + 8. Let o = l + -1.7. Is 0.3 equal to o?
True
Let t(y) = -y**3 + 4*y**2 + 3. Let c be t(4). Which is bigger: 4 or c?
4
Let s = -0.268 - -0.559. Let k = s + -7.251. Let b = -7 - k. Which is smaller: 1/4 or b?
b
Let q = -13 + 4. Let t = q + 5. Which is smaller: -1 or t?
t
Let z be -3*2/(-2 + 4). Let g = 21 - 25. Which is greater: z or g?
z
Let h be 2/4 + 214/52. Let m = h - 284/39. Suppose -3*n = -15, 5*o + 15 + 20 = 5*n. Which is smaller: o or m?
m
Suppose -3*f + 6 = -2*f. Suppose -f*t = -9*t - 3. Do t and 2 have different values?
True
Let o(u) = u + 5. Let f be o(-4). Let b = 11 + -6. Let j(x) = x**3 - 4*x**2 - 6*x + 7. Let s be j(b). Are f and s nonequal?
True
Let q be 1/((-2)/(-26)) + 5. Are q and 18 equal?
True
Let p(v) = -v - 6 + 3*v + 0*v. Let x be p(5). Let h = 41 + -36. Which is smaller: x or h?
x
Let o = 1/160 - -143/2720. Which is smaller: o or 0.2?
o
Suppose -3*z - 8 = -5*j - 4*z, 4*z = 12. Let k be (-6)/(-4)*(-8)/18. Which is bigger: j or k?
j
Let l be (-20)/6*168/(-35). Let x be (-3)/(-1) - l/10. Is -0.1 <= x?
True
Let t(y) = -y**2 + 4*y + 7. Let h(n) be the third derivative of -n**3/6 - 2*n**2. Let z(l) = -3*h(l) - t(l). Let o be z(5). Is 1/2 greater than o?
False
Let j be 11/(-6) - 2/12. Let y = j + -2. Is y != -5?
True
Let i be (4/(-30) + 2/(-3))*-5. Which is smaller: i or 7?
i
Let v = -61 + 56.9. Let b = v - -4. Are b and -1 nonequal?
True
Let g be 8 + -4 + 3*-1. Does 1/2 = g?
False
Let z(b) = -b - 1. Let a(q) = 3*q - 2. Let v(g) = a(g) + 2*z(g). Let j be v(4). Let f = -2 + j. Is f not equal to -2?
False
Let k be 4/(-14) + (-30)/(-7). Let x be (k/(-3))/(4/(-6)). Which is bigger: x or 1?
x
Let b(v) = v**3 + 3*v**2 - 2. Let y be b(-3). Let z(k) = 2 - k + 14*k**2 - 17*k**2 + 0*k**3 - k**3. Let x be z(-2). Which is greater: y or x?
x
Let r = 10377517/48973760 + -462/13913. Let w = 1/320 + r. Let a(x) = -x**3 - 5*x**2 + 5*x - 7. Let o be a(-6). Is o bigger than w?
False
Let p = -1 + 0. Let h = 15 - 13. Let k = h + 0. Which is smaller: p or k?
p
Let c(g) = g**3 + 2*g**2 - g - 1. Let f be c(-1). Let d = 2 + 0. Suppose -3*p - 2*o = -4 - 7, d*p - 5*o + 18 = 0. Is f at most p?
True
Let b = -14 + 16. Do b and -1 have different values?
True
Suppose -o = -6*o. Does -1/8 = o?
False
Let v = -1 + 1. Suppose 4*o + 5*k + 4 = 0, 3*o + 4*k - 3*k + 3 = v. Is -1/4 less than or equal to o?
False
Suppose 3*s + m - 16 = 0, -s + 5*s + 2*m = 24. Let g be s + 3/(9/(-6)). Let f be (-4)/(-14) + 24/(-35). Is g >= f?
True
Let j = -2 - -2. Suppose -9*t + 48 = -33. Which is greater: j or t?
t
Let r = 5.4 + -5.3. Let u = -0.2 + 0.25. Is r less than or equal to u?
False
Suppose -3*h = -5*h - 5*g, 0 = -4*h - 2*g + 16. Suppose 0 - h = -5*a. Which is bigger: a or -2/13?
a
Let i be 5/100*-4 + (-8)/10. Are -2/43 and i equal?
False
Let r(p) = -p - 8. Let c be ((-18)/4)/((-6)/8). Let d(z) = z**2 - 8*z + 5. Let s be d(c). Let x be r(s). Which is smaller: x or -3/2?
-3/2
Suppose 3*u - 3*i + 17 = u, 0 = -4*u - i - 13. Let j be (u/2 - -1)/(-1). Which is bigger: j or 3/7?
j
Let p = -1.4 + 0.5. Let m = 0.7 + p. Is m < -0.1?
True
Suppose 0 = 2*n + 3*s + 6, 3*n + 2*s - 2 = 3*s. Let x be -3 - (1 - (4 + n)). Is x at least 2?
False
Suppose 0 = 5*r - 4*x - 27 - 19, 0 = 3*r + x - 31. Let l be (-1 - -1) + (-4)/r. Which is smaller: l or 1/16?
l
Suppose 0 = -2*n + 3*r - 10, 5*r - 11 = 2*n + 3. Let y = 14 - 14.1. Are n and y equal?
False
Let q = 1048/7 + -150. Are q and 10 equal?
False
Let p(i) be the first derivative of -i**4/4 + 4*i**3/3 - i**2 - 4*i + 2. Let n be p(3). Is n at least as big as -3?
True
Let q(w) = -w**2 + 10*w - 10. Let x be q(9). Let s = x - 0. Is -2/13 >= s?
True
Suppose 3*k = 2*k + 14. Suppose -2*t + 3*r - 39 = -5*t, 4*t - 52 = 4*r. Is t less than or equal to k?
True
Let s = -16 + 18. Suppose -r - 3 = g, 4*r + 17 = -4*g + 5*g. Let t = g - s. Are -1 and t equal?
True
Let q(d) = -4*d**3 + d. Let i = -8 + 11. Let t be ((-1)/2)/(i/6). Let o be q(t). Are 3 and o nonequal?
False
Let h = 58 + -35. Which is bigger: 0 or h?
h
Let g = -0.3 - 0.2. Let a = 0.1 + g. Let s = 0.14 - -0.86. Is a bigger than s?
False
Suppose -5*k - 1 = -16. Suppose 3*l + 2*i - 14 = 0, -i + 29 = k*l - 2*i. Let u be (-6)/l + 9/(-20). Is u at most as big as 0?
True
Let a be (-6 - 33/(-6))/(2/4). Let s be ((-2)/(-75))/((-3)/5). Which is smaller: s or a?
a
Let i be 13/65*((-10)/4 + 1). Which is bigger: 1 or i?
1
Let n(h) be the second derivative of h**3/6 + 3*h**2/2 + h. Let w be n(-7). Let i be 1/w*-2*2. Is 1 greater than or equal to i?
True
Suppose -5 = -3*z + 7. Let w be 3*-1 - (z + -7). Is w >= 0?
True
Let i = -2.5 - 14.5. Let o = 16.9 + i. Is o >= 2?
False
Suppose m - 19 = -4*n + 1, 2*m - 4 = n. Is n >= 4?
True
Let n = 0.4 - -0.7. Let s = 0.8 - n. Let c = 47/6 - 137/18. Is c greater than s?
True
Suppose -3*k - 3*t + 7*t = 21, 0 = 5*t. Let y(i) = 2*i + 10. Let u be y(k). Are -5 and u equal?
False
Suppose 5*u - 9 = 2*l + 44, -3*l - u - 54 = 0. Let w = 473/25 + l. Is w at least -2/3?
True
Let t be 1 - 106/(-34) - 4. Which is smaller: t or 0?
0
Let j(l) = -2 + l**3 + 6 - 5*l - 3 + 2*l**2 + l**2. Let r be j(-4). Suppose 3*f - 3 = 9. Which is bigger: f or r?
r
Let c = 27 + -27.1. Is -0.06 > c?
True
Let u = -0.3 + 0.2. Let q be 2/(-4) + (-1)/(-2). Let o be 1/2*-2*q. Is o less than u?
False
Suppose 5*p = -q - 5, 2*p - 15 = -2*p + 3*q. Let m = 1 - 2. Let k be ((1 + m)/1)/2. Do k and p have the same value?
True
Suppose -5 - 59 = -8*t. Which is smaller: 1 or t?
1
Let h(n) = n - 1. Let d be h(2). Let t = -11/3 + 4. Which is smaller: d or t?
t
Let h = 2 + -1. Is h equal to 2/7?
False
Suppose -q + 6 = -0. Let b = q - 10. Is b less than -5?
False
Let a = -7 - -6. Let j = 2 - 2.3. Which is bigger: a or j?
j
Let u = -36/7 + 115/21. Let t(q) = 2*q - 3. Let p be t(3). Suppose 0 = y + p*y. Which is smaller: y or u?
y
Let q be ((-38)/(-2))/(-1)*(6 - 7). Is 19 >= q?
True
Suppose -4*c - 3 - 9 = 0, -c = n - 3. Let j be (196/8)/(-7)*-6. Let p = -15 + j. Is p smaller than n?
False
Let y be (6/(-4))/((-6)/(-16)). Let w(t) = 3*t + 5. Let f be w(y). Is -8 at most as big as f?
True
Let v(z) = z**3 - 6*z**2 + 2*z - 10. Let o be v(6). Suppose 2*a - 4*w + 6*w = -4, 4*w = a + o. Do -3 and a have different values?
True
Let i = 54 + -55. Is i > -2/93?
False
Suppose -4*j - 15 = 9. Let h(p) = -p - 1. Let m be h(j). Suppose 0 = -4*f + 4 + 16. Is f != m?
False
Let y = 5 - 4. Let v be (2 + 0)*(-2)/18. Which is greater: y or v?
y
Suppose -4*t + 5 = m - 2*m, 0 = 4*m + 3*t + 20. Let s be (8/(-5))/(7/5 - 1). Is s at most as big as m?
False
Let r = -7/15 + 4/15. Let d(s) = -s**3 - 4*s**2 - 2*s + 3. Let v be d(-3). Is v < r?
False
Let n be (-1)/10*5/(-2). Let d = -31 + 161/5. Is d <= n?
False
Suppose 11*f - 4*f = -77. Is f at most as big as -11?
True
Suppose j + j = -2*g - 2, 0 = -3*g + 3. Let v be j/(-24) - 5/15. Let c(q) = -q - 6. Let p be c(-6). Which is smaller: p or v?
v
Let l = -0.08 + 0.08. Let s = 1 + l. Are 0 and s unequal?
True
Let d be (-3 + (-9)/(-6))*-24. Suppose -4*r - 4*c + d = 0, 2*c - 3*c = 0. Let z be 10*(r/6 - 2). Is z less than -6?
False
Let m be 15/(-20) + 44/16. Which is greater: m or 1?
m
Suppose 0 = -3*g + 8 + 4. Suppose 28 = -5*x + x - g*r, 0 = 3*x - 4*r - 7. Let o(d) = -d - 2. Let u be o(2). Which is bigger: x or u?
x
Suppose 0 = 18*s - 20*s. Which is bigger: 2/3 or s?
2/3
Let x be (-56)/38 + 1 + 0. Let l = -1377/76 - -71/4. Let z = l - x. Which is smaller: 0 or z?
0
Let h(v) = v**2 - v + 1. Let z be h(1). Let o be 27/18*(-2)/(-5). Is o at least z?
False
Let d(l) = -l**2 + 13*l - 21. Let j be d(11). Which is bigger: 1/30 or j?
j
Let n = 90 - 102. Is n at most as big as -12?
True
Let y be (-8)/(-1) + (-3 - -2). Let l = 12 - y. Suppose l*g + 4 = m, -4*g + 4 = g + m. Is g > 0?
False
Let x = 