 = 5*o + p, -p = -o + p + 7. Let w(f) be the third derivative of f**5/60 - f**4/24 - 2*f**3/3 + 3*f**2. Let z be w(3). Which is bigger: o or z?
o
Let a be 8/(-18)*(18 - 6). Is a not equal to -6?
True
Suppose -3*q - 5*a = -2, 4*q + 0*q + 5*a - 6 = 0. Let c be (-10)/q*8/(-10). Is c != 1?
True
Let o = 143 + 8. Let s = o + -157.3. Let d = s - -6. Which is bigger: 0 or d?
0
Let l be -3*((-1104)/(-270) + -4). Which is greater: l or -2?
l
Let k(j) = j**3 + 4*j**2 - 2. Let h be k(-4). Suppose 0 = -5*s, -p + 3*s = p. Do h and p have different values?
True
Let k = -2 - -2.05. Let j = k - -0.05. Is j <= -2?
False
Let k = -51.06 + 51. Which is smaller: 3 or k?
k
Let b be 3 + (-2)/((-80)/(-132)). Which is smaller: -0.1 or b?
b
Let x(r) = -r**2 + r. Let m be x(1). Suppose -1 = -p - m*p. Which is greater: 3/7 or p?
p
Let i = -0.19 + 0.3. Is 2/5 equal to i?
False
Suppose 0*b - 15 = 5*b. Let d(j) = 6*j**2 + 2*j + 1. Let v be d(-1). Suppose -3*g + z - 3 = -0*z, v*g - 2*z = -5. Is g greater than b?
True
Let g(h) be the first derivative of h**3/3 + 3*h**2/2 - 2. Let d be g(-4). Let w be (d/4)/((-2)/(-4)). Which is smaller: -0.1 or w?
-0.1
Let c = 31 + -32. Is 11 smaller than c?
False
Let u = 184 + -184.01. Let y = 2 - 3. Is y greater than u?
False
Let a = -7/3 + 2. Let x be 1*(-45)/35 - -1. Which is bigger: a or x?
x
Let r(h) = -5 + 5*h + 3 - 1 - h. Let m be r(2). Is 2 bigger than m?
False
Let i = -0.9 + 1.7. Let d = 3.8 - i. Let v = d + 1. Is 0.1 >= v?
False
Let s = 7/284 - -127/17892. Let a = 23/63 - s. Is a smaller than -1?
False
Suppose 6*b - 3*b - 2*q = 8, 0 = -5*b + 4*q + 12. Let n be ((-5)/2)/(b/(-8)). Suppose -n*l - 11 = -1. Is l equal to -1?
False
Let n = 69 + -69.1. Is n bigger than 42?
False
Suppose m - 2*m + 133 = 0. Let n = 667/5 - m. Is n greater than -3?
True
Let q be (-9)/21 + (-371)/(-980). Are q and 1 equal?
False
Let m(v) = -v**2 + 5*v + 6. Let j be m(6). Suppose j = -0*o - 3*o - 3*c - 6, -3*c - 5 = 2*o. Let b be (-1)/(1*(-2)/(-2)). Is o greater than or equal to b?
True
Let y(a) = 30*a - 3. Let q be y(2). Suppose 3*d + q = 4*k, 0*k + 2*k = 6. Which is bigger: -14 or d?
-14
Let m = 689 + -688. Suppose 4*v + 2 = 10, 3*c = 2*v - 13. Are m and c equal?
False
Let x = 96 + -284/3. Suppose -2*p + 0*p - g - 1 = 0, -5 = 2*p + 5*g. Which is greater: p or x?
x
Let d = -0.15 + 0.03. Which is smaller: -0.1 or d?
d
Suppose -4*p - 3*p = 0. Which is smaller: 4/7 or p?
p
Let t(u) = -u - 7. Let v be t(-7). Let b = 16/3 + -68/15. Which is smaller: b or v?
v
Let w = -14 + 7. Let g be (6/14)/((-2)/w). Let x be ((-4)/6)/((-16)/12). Is g equal to x?
False
Let h(o) = -6 + 6 + 3*o. Let v be h(-2). Let y(k) = -k**2 - 7*k - 6. Let q be y(v). Are q and 2 equal?
False
Suppose -v - 68 = -5*y, 7*y - v = 4*y + 42. Which is smaller: 1 or y?
1
Let v = -6 + 7. Suppose 0 = 3*j - v - 2. Which is greater: j or 2?
2
Let s = -3.47 + 3.5. Which is bigger: s or 0.7?
0.7
Let h = -10 - -22. Let c = h + -21. Is -8 smaller than c?
False
Let b be (-1)/(4/(-4))*(-9)/3. Are -4 and b non-equal?
True
Suppose -14*j + 7*j - 273 = 0. Which is smaller: j or -38?
j
Let g = 21 - 29. Suppose 9*s + 11*s = -180. Which is greater: g or s?
g
Let i = -19 + 19.14. Let s = 3.14 - i. Is s at most as big as -0.1?
False
Suppose -3*n + 1 = -5. Is 4 not equal to n?
True
Let k be (2/6)/((-4)/(-12)). Suppose 6*r = 5*r - k. Are r and -2 equal?
False
Suppose -4*l = -0*l. Suppose l*q = -q. Is q != 2?
True
Suppose 6*k = -k. Do -4/5 and k have different values?
True
Suppose -5*g = -5*k, -2*g = -6*k + 3*k. Suppose -h + 8 + 6 = k. Let w be h/(-6)*4/(-14). Do w and -1/4 have different values?
True
Let j = 13 - 10.8. Which is smaller: -0.2 or j?
-0.2
Let h(r) = 8*r - 6. Let z be h(-6). Let c be (8/z)/((-4)/(-6)). Let t be 0 - (2 - (-2 + 5)). Is c smaller than t?
True
Suppose 6 - 2 = -4*m. Suppose -12 = 2*u - 4*w, 9*u + 2 = 4*u - 4*w. Which is smaller: u or m?
u
Let m(o) = 2*o**2 - 1. Let v be m(1). Which is smaller: v or 3/11?
3/11
Suppose -20 = -0*m - 5*m. Suppose -3*c = -2*f + 14, m*f + 3*c - c = -4. Is 2/7 < f?
True
Let j(g) = g**2 + 6*g + 2. Let r be j(-6). Suppose -s - 2 = -3*o, -5*o - r*s - 2*s = 25. Is -1 >= o?
True
Let g(c) = c**3 + 13*c**2 + 15*c - 25. Let o be g(-12). Which is greater: -0.1 or o?
-0.1
Suppose -c - 11 = 3*f, -4*f = -4*c - 7*f - 26. Suppose 0 = u + 6 - 3. Which is bigger: c or u?
u
Let l be 2/28*(1 - -7). Is l != 1?
True
Let y be 16/3 - 4 - 2. Let q be (3 - 1 - 2)/2. Let m be -2 + 0 - q - -2. Is y less than or equal to m?
True
Let p = 4034 + -641404/159. Is -1 bigger than p?
False
Suppose -2*y + 3*y = 1. Let p be y/2 - (-10)/(-5). Which is smaller: -3 or p?
-3
Suppose -2*h + 1 = -5. Suppose 4*f - 5*f = 0. Let r = f - -2. Which is smaller: r or h?
r
Suppose -21 = -0*q + q. Is -22 smaller than q?
True
Let t be 6*4*20/(-24). Which is smaller: -21 or t?
-21
Let h(b) = b**3 + 10*b**2 + 8*b + 11. Let j be h(-9). Suppose 4 = 4*t - j. Let i be t/(-3)*10/(-8). Which is bigger: i or 4?
4
Suppose 11 = 4*c - 5. Suppose -2*x + 69 = -h, -3*x - h = 3*h - 109. Suppose 2*j - 4*r + 10 = 0, -5*r = 2*j - 0*j - x. Is j at most as big as c?
False
Let c = 2 - 3. Let f = 126 - 77. Let j = 244/5 - f. Which is smaller: c or j?
c
Let r be 9 + -8 - 6/14. Which is greater: 0 or r?
r
Let r(v) = -v**2 - 3*v - 1. Let p be r(-3). Let z = 0 - p. Is 2/5 < z?
True
Let x = -12.28 + 12. Let b = x - -0.3. Is b >= 2/3?
False
Suppose -5*l + 3 - 13 = 0. Let f = 473 - 475. Is f > l?
False
Let k = 27 + -24. Do k and 5 have different values?
True
Suppose -14*z + 90 = -19*z. Which is smaller: -17 or z?
z
Suppose 6 = -12*v + 18. Which is smaller: 2/461 or v?
2/461
Suppose -y + 12 = 2*y, x + 50 = 5*y. Let f = 18 + x. Is -10 at least as big as f?
True
Suppose 4*k - 4*q - 5 + 1 = 0, k = -5*q + 1. Do 10/13 and k have different values?
True
Let p(l) = l**2 - 10*l. Suppose 3*a - 22 = 8. Let d be p(a). Suppose j - 12 = -s - 3*j, d = 2*s - 2*j + 16. Are -3 and s non-equal?
True
Let n(a) = -a**2 + 7*a + 4. Let l be n(5). Let t be 6/(-10)*2410/l. Let m = -103 - t. Which is bigger: m or -1?
m
Let v be 0 + -2*2/(-1). Suppose -6*o + 15 = -o. Which is smaller: o or v?
o
Let d be (-18)/8*((-4)/3)/2. Is -0.1 > d?
False
Let o be (-16)/(-12)*9/(-2). Which is smaller: o or 0?
o
Suppose 12*q + 12 - 60 = 0. Let n be (4/(-14))/((-3)/28). Which is greater: q or n?
q
Let p be -7*-12*3/(-42). Let j(h) = -h**3 - 5*h**2 + 4*h - 4. Let n be j(p). Let v be (2/n)/(1/5). Which is greater: v or 1?
v
Let g be (1/22)/((-4)/(-16)). Are 1 and g equal?
False
Let q(i) = 2*i + 14. Let r be q(-7). Are r and -1 nonequal?
True
Let n = 19/435 - 5/87. Let d = -17/29 + n. Let f = d + 4/15. Is f greater than 0?
False
Let x be 2 + (-1 - (3 - 3)). Which is smaller: 2/67 or x?
2/67
Suppose 0 = -6*v + v + 50. Let c(s) = -s**3 + 10*s**2 + 1. Let n be c(v). Does n = 3/5?
False
Let f be (29/3 + 4)*-5. Let d = f - -73. Which is smaller: -1 or d?
-1
Let g(h) = -6*h**2 + 7*h - 12. Let k be g(5). Which is bigger: k or -128?
k
Let s(h) = -h**3 + 5*h**2 + 7*h - 1. Suppose -5*n - 18 = -k + 8, 38 = 5*k - 2*n. Let z be s(k). Let i = 0 - -0.1. Is i < z?
True
Let l be (36/30)/((-2)/5). Do -5 and l have different values?
True
Let r be 12*2*(-1)/20. Let y = -77/60 - r. Let f = -2/3 + y. Which is smaller: -1 or f?
-1
Let h be 1 + 1 + 29/(-15). Let m = -3/5 - h. Let o be (-25)/20*2/(-5). Which is smaller: o or m?
m
Let c = -29 + 42. Let u = -13 + c. Which is smaller: u or -0.1?
-0.1
Let f(z) = -4*z - 3. Let i be f(-1). Is i < -47?
False
Suppose -2*z - 2*s = 3 + 3, -3*z = -s + 13. Suppose -2*u - 4 = 4*y, -5*u + y = 21 - 66. Let r be (-3)/u*z/6. Is r at least 0?
True
Let a be (-185)/35 + 4/14. Suppose 0 = x + 4. Which is smaller: x or a?
a
Let b(c) = -c**2 + 12*c + 1. Let j be b(12). Let a be 5/((-2)/j + 3). Is a at most 1/3?
False
Let o(h) = -h**3 - 6*h**2 + 2. Let c = -1 - -1. Suppose 0*a - a - 6 = c. Let m be o(a). Is 1 <= m?
True
Suppose 12 = -4*j - 24. Is -8 bigger than j?
True
Suppose a + 5*f = 23, -2*f + 5 = 3*a - 3*f. Suppose 27 = 2*v + a*b, 2*b - 5*b = -5*v + 15. Let m be (-1)/45 + v/(-30). Which is smaller: -1 or m?
-1
Suppose -5*p + 17 = -38. Let i = p - 11. Is i != 1/3?
True
Let f(t) = t**2 - 18. Let i be f(0). Let b be (i/(-16))/((-3)/4). Which is smaller: -3 or b?
-3
Suppose 0 = 2*z - z + 2. Let