et h(f) = -f**2 + 6*f + 6. Let a be h(6). Let x be 2*3 + (-18)/a. Is 4 <= x?
False
Let a be ((-4)/30)/((-319)/(-66)). Let r = a + 326/1305. Do -0.2 and r have different values?
True
Let p(w) = w**3 - 3*w - 2. Let b be p(-2). Let k be 1/b - (-22)/(-8). Let j be (-15)/10*(-2)/12. Which is smaller: k or j?
k
Let q(w) = -w**2 + 4*w + 1. Let c be q(3). Let p = 5/2 - c. Let v be (-18)/3*1/2. Which is smaller: v or p?
v
Let i(h) = h**3 + 12*h**2 - 14*h - 14. Let z be i(-13). Which is smaller: -2/35 or z?
z
Let b = -9.1 + 1.1. Let n = -8.3 - b. Which is greater: 0.2 or n?
0.2
Let u = -9 + 5. Which is greater: u or -0.4?
-0.4
Suppose r + 6 = -2*k - r, 5*k = 4*r + 30. Suppose 3*a - 10 = k*a. Is a at most 10?
True
Let s be 0/((1 - 0) + 1). Suppose 2*i = -s*i + 12. Which is greater: i or 4?
i
Let j = 17 + -17.1. Is j >= -3?
True
Let m be ((-14)/(-6))/((-16)/(-24))*10. Is 36 greater than or equal to m?
True
Let k = -0.37 + 0.57. Which is bigger: k or 15?
15
Let q = 6 - 4. Suppose 0*i - 3*s = -q*i - 11, 4*i - 4*s + 12 = 0. Suppose -k = 5*r + 31 - 1, r - 5 = i*k. Is r smaller than -4?
True
Suppose -5*z + 8 + 17 = 0. Is z smaller than 5?
False
Let n be 13/4 - 2/8. Suppose n*m - 3 = 0, -j - 3*m + 4*m = 0. Let g be -1*(-1)/(j + -2). Is 0 bigger than g?
True
Let v = 3 - -5. Let h be v/20 + (-18)/20. Which is smaller: h or -0.1?
h
Let m be (-3)/(-5) - (-45)/(-75). Let h = 5987/19 - 315. Are h and m non-equal?
True
Let w be 8/(-20) + 68/(-55). Let x = 61/44 + w. Which is bigger: x or 2?
2
Suppose -5*g - 3*y - 2 = 0, -y = -3*g - 3*y - 2. Suppose 14 + 4 = -x + 5*i, -g = -3*x + i. Suppose x*n + 6 = n. Is n > -7?
True
Let b = 14 + -3. Let l be (-16)/28*7/(-2). Let p be l/b + (-32)/(-66). Which is bigger: p or 2?
2
Let h = 0.1 - 8.1. Let u = 10 + h. Which is bigger: u or -0.05?
u
Suppose 3*z = 5 + 19. Let h(u) be the first derivative of -u**4/4 + 7*u**3/3 + 7*u**2/2 + 8*u - 10. Let t be h(z). Which is smaller: -4/7 or t?
-4/7
Let w be -4*(0 - (-1)/(-7)). Suppose 2*m = 1 + 1. Which is smaller: m or w?
w
Let x = -11 + 7. Let d be 1/4 + (-19)/x. Is d less than or equal to 6?
True
Let u(f) = -4*f + 24. Let v be u(6). Let y = -1532/15 - -102. Is y at most v?
True
Suppose q + 3*q = 0. Suppose 0*o - 2 = 2*o + 4*g, 16 = 4*o - 2*g. Let p be 4 + 2/(-3)*o. Which is greater: p or q?
p
Let x be 165/(-12)*(-2)/10. Which is smaller: x or 2?
2
Suppose -5*c - 4 = -2*z + 4*z, 4*c - z = 2. Which is greater: c or -1/43?
c
Let r be ((-68)/(-42))/(30/(-9)). Let j = -2/7 - r. Which is smaller: j or 1?
j
Let p be (-1 - -1) + -2 - -26. Let v = 2 + 23. Is p greater than v?
False
Let r(c) = -c**2 - 4*c + 1. Let s(x) = -x**2 - 3*x. Let j = -7 - -4. Let p(m) = j*r(m) + 4*s(m). Let z be p(0). Do z and 0 have different values?
True
Let j be 1384/10 + (-4)/10. Let z be (1/102)/((-4)/j). Let q = 10/17 + z. Which is greater: q or -1/3?
q
Let s(r) = 2*r**2 - 13*r + 3. Let c be s(6). Which is smaller: -13/3 or c?
-13/3
Let x = -51202/51 + 1004. Are 1 and x non-equal?
True
Let a be 24/(-16) + 1/(-2). Is a less than -14/23?
True
Let y be (14 - -2) + -1 + 0. Suppose -45 = -4*m + 3*o, -m = 2*o + o - y. Which is smaller: m or 11?
11
Suppose -m = -w - 15 + 1, 0 = 4*w - 4. Suppose 0 = -13*b + 16*b - m. Is b less than or equal to 7/2?
False
Let h(y) = -y - 2. Suppose -3*z - 9 - 6 = 0. Let x be h(z). Suppose -x*l + 4*l + 5*b - 4 = 0, 0 = 4*l + 2*b + 2. Do l and 0.1 have the same value?
False
Let o(j) = -j + 1. Let f be o(5). Suppose 9*b + 60 = -b. Is b greater than f?
False
Let r = -23 - -47/2. Let u = -12.1 + 14. Let s = 0.1 + u. Is r equal to s?
False
Let n(q) = 2*q**2 + 17*q + 4. Let f be n(-5). Is f >= -59/2?
False
Suppose -11 - 9 = -4*p. Suppose -p*j + j - 8 = 0. Let m be ((-4)/(-8))/(6/(-4)*-1). Which is greater: m or j?
m
Suppose 2*l - 5*u + 4 = -14, 3*l - u + 1 = 0. Let h(x) = x. Let i be (-4)/(6 + -2)*-3. Let f be h(i). Is f at least l?
True
Let x be 4/(-2)*1938/(-68). Which is bigger: 1 or x?
x
Let d(g) = 2*g - 4. Suppose 9 = -3*r + 15. Let w be d(r). Let n be (-3)/(10*(-2)/(-4)). Is n <= w?
True
Let g = 13 - 13.1. Which is smaller: 9 or g?
g
Let z be -3*((-28)/(-12) + -3). Suppose 3*n + 4 = -z. Is -10/3 less than or equal to n?
True
Let p = 3 - -3. Let l = 5 - p. Let v = l - -0.9. Which is bigger: 0 or v?
0
Let b = 64.71 + -65. Let o = 3.29 + b. Which is smaller: o or -0.5?
-0.5
Suppose 7*c = 84 + 7. Which is greater: 12 or c?
c
Let y(j) = -2*j**2 - 49*j - 20. Let r be y(-24). Suppose -3*t - 2 = -17. Is r at least as big as t?
False
Suppose -7 = 11*w + 4. Which is greater: -2/97 or w?
-2/97
Let j = 4 - 3.6. Which is smaller: j or 2/3?
j
Let r = 10 + -9. Suppose -n - 8 = -r. Let c = -7 - n. Is c < -6/11?
False
Suppose 1 + 4 = m. Let t be ((-12)/m)/((-6)/20). Let y be (t/12)/(4/(-6)). Which is smaller: y or 0?
y
Let z(t) = -2*t**2 + 6*t - 5. Let m(r) = 3*r**2 - 11*r + 9. Let l(q) = -3*m(q) - 5*z(q). Let p be l(-4). Let i be (-4)/p - 16/(-7). Which is smaller: -0.3 or i?
-0.3
Let u = 0.28 - -10.72. Suppose 0 = -3*s - 0*s - 3. Which is smaller: u or s?
s
Let c = -0.02 - -0.06. Let b = -0.16 - c. Let m = 2 + -3. Is m greater than or equal to b?
False
Let m(n) = -n**2 - 5*n + 3. Let s be m(-5). Which is bigger: 13/4 or s?
13/4
Suppose -s = -4*s. Let k = 148 + -737/5. Is k smaller than s?
False
Let x = 0.12 - -4.88. Let g = -8 - x. Is g != 1?
True
Let n(d) = -d**3 - 4*d**2 + 3*d - 4. Let g be n(-5). Which is bigger: g or 0?
g
Let j = 142 - 1549/11. Is 0 greater than j?
False
Let m = 15 - 15. Which is greater: m or -3/7?
m
Suppose -2*q = 4, -3*v - 2*q + 19 = -7. Suppose v = 5*k - 0*k. Let j = 2 - k. Is j at most 2?
True
Let n be (68/4)/(-20 + 1) + 1. Is 1 less than or equal to n?
False
Let t(z) = -2*z - 12. Let s be t(-5). Which is greater: s or -7/10?
-7/10
Let x = -3 - -3.2. Let b = -0.2 + x. Let c = -6 - -8. Is b at most as big as c?
True
Let k(m) = m**2 + 13*m + 13. Let v be k(-11). Which is greater: -8 or v?
-8
Let n be (-3)/(-3) + 174443/(-36). Let m = n - -4844. Let j = m - -8/9. Is j >= 1?
False
Let k be ((-112)/(-196))/(6/(-7)). Let d be -2*(-3)/(-10) - -1. Are d and k unequal?
True
Let h be 3 - (-2 + (-73)/(-14)). Let q = h + -1/28. Which is greater: 1 or q?
1
Let u = -2/427 + 2997/1708. Which is bigger: u or 2?
2
Let j = 1.5 - 1.2. Which is greater: 2/9 or j?
j
Let r be 17/((-2)/63*-12). Let s = -44 + r. Is 1 bigger than s?
True
Let b(j) = -5*j**3 + 5*j - 4. Let l(u) = u**3 - u. Let x = 6 - 5. Let i(r) = x*b(r) + 6*l(r). Let v be i(0). Which is smaller: -5 or v?
-5
Let m(l) be the third derivative of -l**4/8 - l**3/3 + 2*l**2. Let c be m(-2). Suppose -p + 0 = 4*j - 19, c*p - 5*j = -8. Are 3 and p unequal?
False
Let p = -0.4 - 7.6. Let f = p + 8. Are f and -3 non-equal?
True
Let c = 8 - 5. Let i = c + 2. Is i greater than 0?
True
Suppose 0*w + 5 = -3*a - 4*w, 5*a - 2*w - 9 = 0. Suppose a = x + 4. Which is smaller: -2 or x?
x
Let s = 1 + 7. Suppose 2*j = -2*j - s. Is j greater than or equal to -1?
False
Let q be 3 - ((-2)/(-3) - (-518)/(-21)). Is 27 less than q?
False
Let m = -4 - -4. Let c(l) = -l**3 - 6*l**2 + 6*l - 2. Let r be c(-7). Let n be 2/r - (-24)/(-35). Which is greater: n or m?
m
Let t be 8/(-24) + (-2)/(-24). Is 1.5 greater than t?
True
Let l = 0.21 - 0.12. Is l greater than or equal to -3?
True
Let j(p) = p**2 + 15. Let h be j(0). Let g be 3/15 + 3/h. Is 1 less than g?
False
Let b = -235/88 + 17/8. Let q(n) = -2*n + 1. Let z be q(1). Which is smaller: z or b?
z
Let q = 32 + -34. Which is bigger: q or 0?
0
Let h = 2297/7 + -327. Which is bigger: 0 or h?
h
Suppose d = 2*r - 7 + 3, -3*d - 4*r - 2 = 0. Is -3 at most d?
True
Suppose 2*t - 4 + 2 = 0. Suppose -2*s - 4 + 2 = 0. Let u be s/3 + t/21. Is 2 less than u?
False
Suppose 0 = -4*u - 4*m - m + 41, 0 = 2*u + 5*m - 33. Which is smaller: u or -1?
-1
Suppose -3*b - 6 = -5*p + 19, -2*p - 2*b = -10. Let q = -5 - -8. Suppose -2*k - q*x = -7*k + 37, 0 = 4*k - x - 24. Is k > p?
False
Let v(c) = 2*c. Let u(j) = -2*j + 1. Let z(o) = 5*u(o) + 6*v(o). Let h be z(-4). Which is smaller: -0.1 or h?
h
Let o be 0 - (2 + 15/(-10)). Which is bigger: 42/11 or o?
42/11
Let g be 1 - (3 + 0/2). Let r = 7 + g. Which is smaller: 4 or r?
4
Let d be (12/90)/((-6)/(-9)). Which is smaller: d or 5?
d
Suppose 2*p = 4*p + r + 30, 0 = -2*p + 2*r - 30. Which is greate