i) be the first derivative of -i**2/2 + 4*i + 3. Let c be j(5). Do c and -0.08 have the same value?
False
Suppose 4*g + 15 = 3*f, -f + 6*g + 5 = g. Suppose 0 = f*b + u, 2*u + 2 = -2*b + 10. Which is greater: b or 2/11?
2/11
Let x be (-6)/(-14) + 4 + -4. Which is bigger: 0 or x?
x
Suppose -5*n - 4*t = 19, 11 = -5*n - 2*t - 6. Let g be 54/57 + (-4 - n). Is 0 greater than or equal to g?
True
Let m = 25 - 26. Which is smaller: m or -6?
-6
Suppose 5*c + 6 = 4*c. Let t = c + 11. Is t equal to 5?
True
Let r(j) = j**3 + 5*j**2 + j - 1. Let x be r(-4). Suppose 0 = -3*l - 4*m - x, -l + 0*l = 5*m + 11. Do -1 and l have different values?
False
Let h be 4/(-22) + 158/22. Let f be (-1)/21 + (-2)/h. Let w be (-2)/(-5)*(-15)/21. Is w < f?
False
Let b be -1*-1*-3*1. Let s(m) = -m**3 - 3*m**2 + 3*m - 3. Let c be s(b). Let t be ((-6)/c)/(1/(-4)). Is -1 < t?
False
Let o(f) = 2*f**2 - f - 1. Let u be o(2). Suppose -6*k - 6 = -9*k. Suppose -k*p + 4*y + 10 = 0, -3*p + 4*y + 0*y = -u. Is -5 not equal to p?
False
Suppose 4*c + 11 = 5*c. Let o = 1 + 3. Suppose c + o = 5*a. Which is bigger: a or 5?
5
Let n = -22 - -24. Let r be 0*2*1/(-4). Suppose -3 = 3*l + 3*p + 2*p, -4*p - 12 = r. Is n not equal to l?
True
Suppose -x - 6 = -o - 2*o, 0 = 5*x - 15. Suppose -2*n - 2*h + 14 = 2*n, -4*h = 2*n - 4. Do n and o have the same value?
False
Let y = -1.28 + 0.18. Let b = y + 0.1. Is b at least as big as -1.1?
True
Let y = 0 - -0.12. Let a = 1.02 - y. Let u = a - 1. Which is bigger: u or -3?
u
Suppose -4*b = -6*b. Suppose b = -w + 2*w + 1. Which is smaller: w or 2/25?
w
Let z(y) = y**2 + y + 5. Let n(i) = i**2 + 2*i + 4. Let o(q) = 6*n(q) - 5*z(q). Let p be o(-7). Which is smaller: -1/4 or p?
p
Let x be ((-13)/5 - -2) + (-70)/175. Is x greater than 1/87?
False
Let g be 1/7 - (-32)/(-28). Let i = 0 - -15. Suppose -u + 3*o + 15 = 0, u = -0*u - 3*o - i. Which is bigger: u or g?
u
Let k = 16.7 - 0.7. Let r = -15 + k. Which is smaller: 0.8 or r?
0.8
Let u = 33 + -18. Let r = -14.6 + u. Which is bigger: -1 or r?
r
Let j be 2/(-142)*73 + -8 + 9. Is 1 less than j?
False
Let o = -25518/47 - -543. Is 0 bigger than o?
False
Let f = -7.069 - 0.031. Let g = 7 + f. Is g at most as big as 0.6?
True
Let z(x) = 2*x + 33. Let v be z(-13). Which is bigger: 17/3 or v?
v
Suppose 141*s - 38 = 142*s. Is -39 > s?
False
Let o = 86 - 89. Which is bigger: 6 or o?
6
Let g be (12/(-10))/(2/(-5)). Suppose 3*a + 6 = -3*v, 0 = 4*v - g*v + 2*a + 1. Suppose u + 2*u = -9. Is u greater than or equal to v?
True
Let f = -0.22 - -0.12. Let c = 33.26 - 33. Let g = 0.04 + c. Is f equal to g?
False
Suppose -w = -3*w + 4. Suppose -12 = -2*n - 2*o, 5*n - w*o + 1 = -4. Is 2/7 at least as big as n?
False
Let l be (27/6)/(-3) - -1. Let c = -0.2 - -10.2. Which is smaller: c or l?
l
Suppose -5*f - y = 2*y - 17, -4*f + y = 0. Suppose 3*a = -h - 3, 3*h = a + f + 10. Are h and 3 unequal?
False
Let r = 5 - 5. Let f = -0.01 + 2.01. Let o = f - 0. Which is smaller: o or r?
r
Suppose -2*p + 5*f - 1422 = 0, -708 = p + 3*f - 4*f. Let m = 14123/20 + p. Let y = -27/20 - m. Is -2/5 greater than y?
True
Let s = -3 - -1. Let u be 2/(-2)*-1*12. Let w be (2/(-3))/((-20)/u). Are s and w unequal?
True
Let r = 0 - -4. Suppose 12 = 3*c + 3. Which is smaller: r or c?
c
Let j(o) = -o - 2 + 2 + 0*o. Let b be j(0). Suppose b = h + 3*h. Which is bigger: -0.01 or h?
h
Let o(q) be the second derivative of q**5/20 - q**4/3 + q**3/6 + q**2/2 - 6*q. Let p be o(1). Which is smaller: p or -0.5?
p
Suppose 3*v = v - 4*v. Which is smaller: 12/31 or v?
v
Let g be 2/(-4) + (-3)/(-2). Is g at most as big as -1/25?
False
Suppose -2*y + 5*y = 6. Suppose -5*f + 8 = y*s, -2*s = -2*f + s - 12. Let j = 3 - 6. Is f at most j?
False
Let z = -23 + 16. Let w be -1 - ((-140)/(-24))/z. Which is smaller: w or 1?
w
Let j be (20/5)/4 - 7. Which is smaller: -20/3 or j?
-20/3
Let l be ((-5)/20*0)/(-2). Let f = 3 + -2. Suppose -k + 0 = -f. Which is greater: k or l?
k
Let l(b) = -b**3 - 5*b**2 - 6*b + 3. Let y be l(-3). Let c = -2 - -4. Is y at most as big as c?
False
Let k = -45 - -44. Is 2/5 not equal to k?
True
Let l be -3 - 2*(-3)/2. Suppose -m - 4*t = 5, -m + 2*m + 2*t + 3 = l. Let p = -309/5 + 61. Which is bigger: p or m?
p
Suppose -9*a - 16 - 20 = 0. Do a and -4 have different values?
False
Let d(j) = -j**2 - 6*j + 11. Let n be d(-8). Which is greater: 1 or n?
1
Suppose 0 = -s + 4*s. Let y be s - (-2 - (-8)/3). Let r = 2.4 + -2.3. Which is smaller: r or y?
y
Let l(c) = 4*c. Let i be l(6). Suppose x - i = -2*x. Suppose 3*t + t + x = 0. Is -3 greater than or equal to t?
False
Suppose 5*o + 60 = 55. Let w = 2 + -7. Let d = w + 1. Which is smaller: o or d?
d
Let l be ((-1)/8)/((-10)/(-5)). Is 0.1 not equal to l?
True
Let p be ((-3)/12)/(3/(-24)). Is p at least 13/4?
False
Let a = 113 - 114. Which is smaller: a or 3/73?
a
Let u = -49/110 - -1/22. Let o(h) = h**2 + h - 1. Let l be o(-2). Let c be 0/(-2) - l - -2. Is c less than or equal to u?
False
Let t(l) = l**2 - 12*l + 8. Let m be t(9). Let s = m + 93/5. Suppose -p + 3*p - 3*c = 15, -4*p + 25 = -5*c. Which is smaller: s or p?
s
Let b = 7 + -25/4. Which is smaller: 2 or b?
b
Let b(a) = -a**3 - a**2 + 3*a - 4. Let q be b(-3). Let u(g) = g - 6. Let v be u(9). Suppose 0 = -5*l + 5*c + 45, l - v*c - 7 = 3*l. Which is greater: q or l?
q
Let i be (-131)/4 + (-6)/(-8). Is -32 >= i?
True
Let r(l) = -4*l**3 + l**2 + l. Let v be r(-1). Suppose 5*t = v*t. Which is bigger: t or -1/7?
t
Let d be 0 + -3 + 2 + 4. Suppose t - d*t = 4. Which is smaller: -3 or t?
-3
Let q = -0.66 - 0.04. Let b = 0.9 + q. Are 0 and b equal?
False
Let s be 18/6*(-14)/3. Is s smaller than -13?
True
Let w(d) = -2*d - 11. Let c be w(-8). Suppose v = -0*p + 3*p - 4, 6 = c*p - v. Is 0 > p?
False
Suppose 0*t = -5*v - 2*t - 178, -3*v = 3*t + 105. Let s be 8/v - (-1)/18. Suppose -b + 3*b = 2. Which is greater: b or s?
b
Let g be (-4)/(-38) + 1192/(-4104). Is g bigger than 0?
False
Let o = -31 + 31. Let g(l) be the third derivative of l**5/60 + l**4/4 - 2*l**2. Let y be g(-6). Is o less than or equal to y?
True
Let b(l) = -l**3 + 4*l**2 - 3. Let j be b(4). Let w = -162.1 + 162. Is w less than j?
False
Let o be 115 + 5/((-10)/(-6)). Let j = o + -48. Let r be (-8)/j + 12/(-42). Are -1 and r equal?
False
Let f be (4/6)/(0 + 10/(-15)). Is 24 not equal to f?
True
Suppose -g = -2*g - 5*i - 3, 0 = 3*g + 3*i - 3. Let j(b) be the first derivative of b**4/4 - b**3/3 - b**2 + 2*b + 1. Let q be j(2). Is g at least q?
True
Let y(s) = -s + 2. Let i be y(-8). Which is smaller: i or 11?
i
Let g be 1/1 - (0 + -1). Suppose -i + 5 = g*l + 2*i, 3*l = -5*i + 6. Let o be (6/(-4))/((-21)/l). Which is greater: o or 0?
o
Let c = 6 + -5.92. Let g = c + 0.02. Which is bigger: -1 or g?
g
Let m(v) = -9*v - 2. Let j be m(-1). Suppose -y = -3*n + j, 5*y - 30 = 4*n - 10. Which is smaller: y or 6?
6
Let c = 88 + -86. Let r(n) = -n**2 + 6*n. Let b be r(6). Which is greater: c or b?
c
Let r = -17 + 7. Let d = r - -9. Is d <= 2/3?
True
Let j(i) = i**3 - 7*i**2 + 6*i + 4. Let b be j(6). Suppose 2*o = -o. Which is greater: o or b?
b
Suppose o - 2 + 0 = 0. Suppose o*z + z - 6 = 0. Suppose -z = -x - 0. Is x != 1?
True
Let k = -0.074 - -0.096. Is 2 bigger than k?
True
Suppose 0 = 4*q + 9*q + 949. Is q greater than -73?
False
Let m(x) = -2*x - 2. Let o be m(-2). Let d be (o/(-9))/((-28)/12). Does d = -1?
False
Let o be (-40)/(-6)*(-6)/(-5). Which is smaller: o or 6?
6
Suppose p - 4*p = 3. Let t(q) = -q**2 - 3*q + 5. Let j be t(-4). Let h be (j/3)/((-2)/3). Do p and h have the same value?
False
Let j be 3/9 + (-2)/(-3). Let l = -7 + 7. Suppose -2*b + b + 2 = l. Is b > j?
True
Suppose -12*v = -13*v - 3. Is -34/13 not equal to v?
True
Let v be 2/((-48)/9*-1). Let w = -28 + 673/24. Let h = v - w. Which is bigger: h or -1?
h
Let z = -12 - -21. Suppose 0*d - 3*d + z = 0. Is d at most 3?
True
Let w(r) = -29*r**2 + r. Let y be w(-1). Let b = -17 - y. Are b and 12 unequal?
True
Let c be 10/4*(-4)/(-35). Suppose 0 = -m + 4*j + 11, 2*m + 2*m - 3*j = 5. Let h = m + 2. Which is greater: h or c?
h
Let j(f) be the first derivative of f**5/20 - f**4/24 + f**3/6 - f**2/2 - 1. Let r(u) be the second derivative of j(u). Let d be r(1). Which is greater: 2 or d?
d
Let j be ((-3)/2)/(15/(-4)). Suppose 0 = 3*r - 5*i - 2 + 3, -2*r = -