t r(l) = -l**3 + 6*l**2 - 6*l + 6. Let a be r(5). Are o and a unequal?
True
Let p = -4/3 - -11/6. Let s = -3.16 - -0.16. Which is bigger: p or s?
p
Let u = 0 - 1. Let r = -100 - -699/7. Is u equal to r?
False
Let g(q) = 8*q - 4. Let r be g(-1). Which is smaller: -2 or r?
r
Let q(w) = w**2 - 13*w + 12. Let k be (-3 - (-16 + 2)) + 1. Let f be q(k). Is 1 less than f?
False
Let a be (-1)/((-4)/(24/87)). Which is bigger: a or 0?
a
Let g be 1/(22/(-8) + 6/(-8)). Are g and 0 equal?
False
Let y be (8/(-20))/((-1)/(-5)). Suppose 4*s + s + 3*r = -15, -3*s - r = 5. Which is greater: y or s?
s
Let z(o) be the second derivative of -o**4/12 - o**3/3 - o**2/2 - 2*o. Let f be z(-1). Let s(k) = k - 1. Let a be s(f). Is a equal to -1/3?
False
Let y be -1*(0 - (4 + -3)). Let l be (-2)/18*(y + 3). Which is bigger: 1 or l?
1
Let f(h) = h**3 + 6*h**2 - 1. Let l be f(-6). Is l less than -3/13?
True
Let n = 3 - 4. Let r be ((-4)/10)/(24/1510). Let c = -25 - r. Which is bigger: c or n?
c
Let q = 0.7 + -0.7. Let t = 0.2 - 0.1. Let a = 0.1 + t. Is q equal to a?
False
Let p = 23/40 - -2073/40. Let v = -52 + p. Is 0 != v?
True
Suppose 2*d + 3*d + 2*a = 5, -3*d - 2*a = -3. Let y = d - -1. Which is smaller: y or 1?
1
Let u = -8.23 + 7.9. Let r = -0.1 - -0.13. Let b = u + r. Which is bigger: b or 1?
1
Suppose d - 5*h = 2*d - 28, -3*d = -2*h + 1. Let l be 2/(-2)*(d + -5). Suppose p = i - 3, -i + 6*i + 6 = -l*p. Is -4 smaller than p?
True
Let r = -0.28 - 0.02. Let j = r - 2.7. Let d = -4 - j. Is d < 2?
True
Let s be 2 - 2 - (0 - 28). Let v = s - 0. Let n = v - 139/5. Which is bigger: 0 or n?
n
Let y(b) be the third derivative of -b**4/24 - b**3/2 + 2*b**2. Let a(o) = -o**3 - 7*o**2 - 6*o - 8. Let i be a(-6). Let g be y(i). Which is smaller: 6 or g?
g
Let n = -0.9 + 1. Let a = 7/6 - 5/12. Which is bigger: a or n?
a
Let f = 0.1 + -0.2. Is 14 > f?
True
Suppose 18*f + 18 = 21*f. Let k = 0 - -7. Suppose d + k = 5*h - 1, 2*d = -f. Is h greater than 2/7?
True
Let x(l) = -l**2 - 6*l - 5. Let i be x(-4). Let t be i/(-1 - (-13)/10). Let g be 2 + (-2)/(4/t). Which is bigger: -2 or g?
-2
Let v = -18 + 26. Is 9 > v?
True
Suppose -2*m + 4*u + 21 = m, -3*m = 5*u - 21. Suppose m = -q - 0. Are q and -4 unequal?
True
Let y be (90/(-25))/(2/5). Is -8 > y?
True
Let g = 3 + 0. Suppose 0*h - g*h = -6. Is h < 3/2?
False
Let n be (-20)/(-45)*3*3. Are n and 3 nonequal?
True
Let b be 0 - (-1 - 35/45). Which is bigger: 3 or b?
3
Let x(b) = -b - 4. Let i = -17 - -12. Let g be x(i). Which is greater: g or 15?
15
Let r = -7.8 + 6.8. Is r less than 0.7?
True
Let m = 15 - -17. Is m < 32?
False
Let v = 29/69 + -2/23. Let p = 5/19 + -1/76. Is p <= v?
True
Suppose -2*r = -2*z - 2*z + 26, 3*r + z + 11 = 0. Suppose 5*t + 11 = -9. Which is bigger: t or r?
t
Let d = 36 + -36. Is d != 1/3?
True
Let k be (-18)/(-14) + 2/(-7). Let d be 9/6 + 21/56 - 0. Is d >= k?
True
Let r = 77/592 + 159277/8880. Let w = -11 - 7. Let b = w + r. Which is greater: -1 or b?
b
Let b be (-1 - (-22)/21)/((-2)/9). Which is smaller: b or 1?
b
Suppose 6*x = 3*x + 3. Is -13 smaller than x?
True
Let r(u) = 7*u**2 + 7*u - 4. Let f(o) = -4*o**2 - 3*o + 2. Let t(v) = -5*f(v) - 3*r(v). Let z be t(-6). Let s be -1*14/16*z. Is -3 smaller than s?
True
Let b = -10 - -11.1. Let z = 0.1 - b. Let f = z - -2. Which is bigger: f or 2/5?
f
Let n = -1019/858 - -3/143. Is 0 greater than n?
True
Let b = 261/1496 + 1/136. Let h = 18 + -13. Does h = b?
False
Let u be 2/(-7) - 120/(-28). Suppose -u*g = g + 10. Is g greater than -3?
True
Let q = 1 + -1. Let b = q + -2. Is 1 at least as big as b?
True
Suppose 5 + 19 = -2*i. Let y = -11 - i. Let g be (3 - 0)*1/3. Is y less than g?
False
Let h(a) = a**3 - 3*a**2 - 2*a - 9. Let l be h(4). Let d be 6/(-9)*3/(-8). Which is smaller: d or l?
l
Let p = -264000 + 72599786/275. Let x = p - -24/25. Is x <= -1?
False
Let g be (-36)/(-3)*5/10. Suppose -g = -2*a + q, 5*a - 23 = 2*a + 5*q. Which is bigger: 8/5 or a?
8/5
Let l(q) = -q**2 + 3*q + 16. Let g be l(7). Which is smaller: g or -14?
-14
Let w = 0.058 - 0.018. Is w < 2/17?
True
Let d be (-106)/(-13) - (-14)/(-91). Which is greater: 20/3 or d?
d
Let s = -0.1 + 0.2. Let i = 0.04 - -0.06. Let j = i + -2.1. Is j at most as big as s?
True
Let t = -6 + 4. Let f = 6 - 6. Which is greater: f or t?
f
Let d be 2/(-12) - (-15)/(-18). Let r be (-2)/(-10)*2/d. Which is smaller: r or 1?
r
Let a be 1318/28 + 10 + -9. Let o = a + -48. Suppose -6*x = -2*x. Is x greater than or equal to o?
False
Let n be ((-8)/150)/(-6*1/30). Let b be ((-6)/9)/(2/(-3)). Is b at least as big as n?
True
Let i be 12/(-20)*(-83)/(-3). Let z = 81/5 + i. Let x = -1 + 3. Is x != z?
True
Let c = 40.1 - 40. Is c less than or equal to 20?
True
Let b(i) = -i**2 - i - 1. Let o be b(-2). Let t be 4/(-10) - 62/20. Is o at least t?
True
Let x(f) = f**2 + 8*f - 9. Let c be x(-8). Let d be (-1)/(-4) + c/150. Let q = d + 1/100. Is -0.3 >= q?
False
Let w = 14 - 7.9. Let n = w - 6. Which is greater: -0.1 or n?
n
Let x(j) = -j**2 - 2*j - 1. Let i be (-1)/3 + 6/(-9). Let r = i - 0. Let k be x(r). Is 0 at most as big as k?
True
Let c(w) = -3*w - 4 - 3*w + 2 + w**2. Let g be c(4). Which is greater: g or -11?
g
Let i = 2/6699 + 1668041/33495. Let z = i - 50. Is z smaller than 0?
True
Let t(l) = -l**3 - 6*l**2 - 5*l. Let y be t(-5). Suppose 5*d = -y*d - 5. Let i = -2 + d. Is i <= -3/2?
True
Let f be ((-1664)/(-24))/((-10)/6). Let m = -42 - f. Do 1 and m have different values?
True
Suppose 0 = 7*v - 2*v - 15. Suppose u + t = 0, v*u = t + 2*t. Is 1 at least as big as u?
True
Let i = 13/4 + -107/28. Is 0 bigger than i?
True
Suppose 66 = 3*z + 24. Suppose -38 = 2*y - z. Let c be (-14)/y + (-3 - -2). Which is bigger: c or 1?
1
Let o = -5 - -10. Suppose -2*g - 2*t + 8 = -t, o*g + t = 26. Let i be (g/(-9))/(14/6). Which is greater: i or -1?
i
Let m = 14 - 12. Which is bigger: m or 0.02?
m
Let a be 3 - 28/3*(-3)/(-2). Is -15 less than a?
True
Let d = 8.9 - 9. Is -1.8 less than or equal to d?
True
Let p = 0.8 + -3.8. Let i = p - 8. Is -0.1 != i?
True
Let g = 27.7 + -29. Let s = 0.3 + g. Which is smaller: -2/7 or s?
s
Let f = -4 - -6. Suppose 3*x - 2 = 4*x. Let z be -1 - 3*x/(-6). Is z at least as big as f?
False
Let m(g) = -g**3 + 9*g**2 - 8*g - 3. Let v be m(8). Let j be -3 + 0 + (v - -10). Let k be ((-5)/(-4))/((-2)/(-8)). Are j and k equal?
False
Let l = -26 - -25.7. Is 4 bigger than l?
True
Let t = -20 - -17. Do t and -3 have the same value?
True
Let x = -28/57 - -3/19. Let s(f) = -f**3 - 5*f**2 + 5*f - 7. Let n be s(-6). Which is smaller: n or x?
n
Let m be (-15 + 1)*4/(-8). Is 7 equal to m?
True
Suppose 0 = -4*p + 2*p + 8. Suppose 2*l - 25 = -5*c - 0*l, -3*c = -l - p. Suppose c*a - 21 = 3*w - 6, -4*w = 20. Are 2/11 and a equal?
False
Suppose 0 = 4*a - a. Let p be ((-1)/(-2) - a)*-2. Let c be (2/8)/((-10)/(-8)). Is p at least as big as c?
False
Suppose 10*t = 5*t. Let s(m) = -m + 4. Let y be s(5). Let d = y + t. Which is smaller: d or -2?
-2
Let d(m) = -m**3 + 2*m**2 + 2*m + 4. Let x be d(3). Suppose o - x = -0*o. Does -2/11 = o?
False
Let n = -580 + 580. Let h = -2.8 + 3. Let z = h - 0.1. Is n less than z?
True
Suppose 0 = -f - 1 - 3. Let t = -1 - f. Is 3 less than or equal to t?
True
Let j be -6*(-8)/12 + -3. Which is smaller: -1/48 or j?
-1/48
Let f = -70 - -24. Is f bigger than 1?
False
Let a = 4 + -4. Suppose -3*z + 2 = -z. Suppose -m + z = -a. Which is smaller: 0 or m?
0
Let x = 51/4 - 10. Do 4 and x have different values?
True
Let m(k) = k**2 - 4*k + 2. Suppose -2*w - 7 = -3*x, -w = 3*w - 4. Let o be m(x). Do o and 2/13 have the same value?
False
Suppose 0 = n - 5*n + 28. Suppose 5*k - n = 4*y + 2, 3*y - 2 = -5*k. Is k < 0?
False
Let n = -2.8 + -0.2. Let r = 7 + -6. Is r at least as big as n?
True
Let h = -55 - -58. Suppose 0 = a - 5*s - 8, -6 = -3*a - 8*s + 5*s. Are h and a unequal?
False
Let j = -79/43 + 9575/86. Let w = j - 144. Let a = w - -33. Which is smaller: 2/7 or a?
a
Let u be ((-12)/(-36))/((-41)/(-3)). Which is smaller: 0 or u?
0
Let f(j) be the first derivative of -j**3/3 - j**2 - 2. Suppose -10 = 6*b - b. Let y be f(b). Which is greater: y or -1?
y
Suppose 0*h + 4*h = 4. Suppose -7*s - 10 = z - 2*s, -2*z = s + 11. Let f = z - -7. Which is bigger: f or h?
f
Let h be (-30)/(-4)*(8 + -10). Let y = 6 + h. Is -9 < y?