be (-8)/(-15) - 4/20. Let u(o) = -3*o + 2*o - 7 - 2*o + 2*o. Let z be u(-6). Are m and z nonequal?
True
Suppose -2*c = u - 29 - 44, -5*c - 10 = 0. Is 78 greater than or equal to u?
True
Let v = -19/6 - -3/2. Let s(a) = a**3 + a - 1. Let m be s(0). Let w be 1 + m - (-2)/(-2). Which is bigger: v or w?
w
Let w = -2 + 14. Let f = w - 13. Which is bigger: -4/17 or f?
-4/17
Let j = -1463 + 1228. Is j at most -237?
False
Let o = -49 - -49.1. Let i = -1.1 + o. Is i smaller than -0.07?
True
Let b = 2743/66 - 233/6. Which is smaller: 3 or b?
b
Let w = -1.93 - 16.07. Which is bigger: w or -5?
-5
Let y = -2093 + 2090. Is y bigger than -428?
True
Let l be 147/98 + 16/(-20). Let g be 0/(1 + -1 + 2). Which is greater: l or g?
l
Suppose 2*n + 4*g - 12 = 0, -2*g + 9 = 2*n - 7. Let a = -39 + 42. Suppose 0 = a*b - 8*b + 55. Which is smaller: n or b?
n
Let z = -1604 - -1577. Is z less than -18?
True
Let b be -1*((-2)/9 + (-225)/81). Suppose 14*s - b = 11. Let j = -1509/4180 - 1/380. Do j and s have the same value?
False
Let a be (-96)/160 - (0 - (-1 + 1)). Suppose 7 + 14 = 3*n. Suppose 0 = 3*y - 2 - n. Is y greater than a?
True
Suppose y = 5*n - 0*y + 17, 0 = 5*n - 3*y + 11. Which is greater: -2 or n?
-2
Let d(g) = -g**3 + 6*g**2 + 3*g - 6. Let a be d(6). Let t be ((-1 - 0) + -1)/(16/a). Is 1 less than t?
False
Suppose j - 9 = 3*j + 3*c, 0 = 5*j + 3*c + 18. Let h be -3 - (j - (-5)/(-15)). Which is smaller: -0.39 or h?
-0.39
Let s = -1.9 + -1.9. Let v = -2.7 - s. Let p = 0.9 - v. Which is smaller: p or 0.2?
p
Let u = -0.3 + 1. Let b = 1 - u. Let n = -1024 - -1021. Which is smaller: b or n?
n
Let k = -0.0206 + -2.9794. Does 21/13 = k?
False
Let v = -105 + 110. Which is smaller: -1 or v?
-1
Let f be 1996/(-11) + (-168)/308. Which is greater: -179 or f?
-179
Let d(k) = -k**3 + 22*k**2 + 47*k - 27. Let q be d(23). Suppose 5*h + 2*h + q = 0. Which is smaller: h or -76?
-76
Let w be 25/(4875/30) + (-62)/65. Let s = 5 - 7. Is w less than or equal to s?
False
Let t = 212 + -309.4. Which is bigger: -0.2 or t?
-0.2
Suppose 4*j + 9*j - 39 = 0. Suppose -j*g = -g - 18. Is g at least as big as 2/3?
True
Let i be 5 + ((-17)/(-7) - 5) + -2. Is i not equal to -7?
True
Let t = -92 + 234. Let s = 1560/11 - t. Let g be -6 + (6 - -9) + -9. Is g < s?
False
Let z be (0 - 9/(-6))/(2/4). Suppose -o - z*i - 16 = -0, -4*o - 4*i = 32. Let g be ((-3)/(-2))/(3/(-8)). Is g != o?
False
Let v be (-174)/(-435) - (-12)/(-5). Which is smaller: v or -9?
-9
Suppose -1 = -3*b - 13. Let p(r) = 3 - 5*r**2 - 4*r - 2 + 4*r**2. Let u be p(b). Is u equal to -2/15?
False
Let x = -18482/33 + 560. Let p(t) = t**2 - 8*t + 9. Let y be p(5). Let o = y + 7. Which is bigger: o or x?
o
Suppose -q = -3, -2*g + q - 3*q = 74. Let c be (-4)/10 - 28/g*2. Is 1/22 >= c?
False
Let j(i) = -2*i - 7. Let g be j(-4). Let w be 2/2*-253 + g. Let l be (-2)/(-14) - 104/w. Does l = 1?
False
Suppose -2*b = -4*c - 4, 2*c = -5*b - 3 + 13. Let x = 1/590 + -3551/6490. Is x at most c?
True
Suppose -2*l - 2*v = -4*v + 4, 25 = 5*l + 2*v. Is l < 83/30?
False
Let z be (12 - 2)/((-2)/(-4)). Let t be (-6)/((-48)/z)*2. Let h = 4 - -1. Is h != t?
False
Suppose 7*h + 5 = -135. Which is smaller: -16 or h?
h
Let h(f) = -f**3 - 6*f**2 + 7*f. Let s be h(-7). Suppose -4 = -2*o + 2*u, -1 + 2 = -4*o - 5*u. Let p = s + o. Which is smaller: -1/7 or p?
-1/7
Suppose -5*o - 23 = 2*d - 0*d, 2*d + 3*o = -29. Let i = d - -21. Suppose -24 = 5*a - 3*u, i*a - 3*u = a - 12. Is -6 less than or equal to a?
True
Let w = -862/8151 + 2/627. Let c = -5/91 - w. Which is smaller: c or -1?
-1
Let d(r) = 10*r - 241. Let n be d(22). Which is bigger: n or -18?
-18
Let m(j) = -j + 12. Let c be m(9). Let a(h) = h - 4 + 2*h**3 - 6*h**2 - h**c + 1. Let k be a(6). Is 3 bigger than k?
False
Suppose 4*x - 2*x + 4 = 0. Let r be (6/((-9)/3))/x*0. Are 8/15 and r equal?
False
Let l be (-57)/(-20) - 10/(-25). Let c be (-7)/(2/4 + 0). Let s = -12 - c. Is s > l?
False
Let v(p) = -8*p - 47. Let n be v(-9). Is n at least 25?
True
Let l = 39 + -15. Let a be (-12)/30 - l/(-10). Let b be (0 - a/45)*-5. Which is greater: 0 or b?
b
Let p be (4/6)/(6/(-9)). Let q = -1.34 + 0.14. Let y = 2.2 + q. Is p < y?
True
Let i = 463 - 461. Is -881 at most as big as i?
True
Let r = 47 - 47.39. Let w = r + -0.01. Which is bigger: w or 2/3?
2/3
Let y be (1974/105)/((-2)/(-5)). Is 95/2 at least y?
True
Let f = 22.4 - 25. Let w = 18.6 + -21. Let v = f + w. Do v and -1 have different values?
True
Let d be (-5)/(-20) + (-65)/20. Let u(r) = -r**2 - 4*r - 1. Let k be u(d). Is k at most -1?
False
Let c = -1.37 - -1.363. Let d = c + -0.213. Which is smaller: d or -1/4?
-1/4
Let l(w) = -w**3 + 13*w**2 - 11*w - 14. Let r be l(12). Let f be (-11)/r + (-15)/10. Suppose 0*b - 3*b + 18 = 0. Which is greater: f or b?
b
Suppose -4*i + 282 = -3*x, 5*x + 3*i - 4*i = -453. Is -89 < x?
False
Let u be (1 - -2) + (-193716)/165 + -5. Let t = 1176 + u. Which is smaller: t or 0?
t
Let z(i) = 2*i - 13. Let h be z(9). Suppose -h*o + 9 = u - 4, 0 = 5*o - 3*u - 1. Suppose -o*t + 9 = 7. Which is smaller: t or -4/11?
-4/11
Suppose -3*o = 3 - 21. Suppose -2*s = o - 14. Let l be (-1)/(-1 - s/(-3)). Is l greater than or equal to -3?
True
Suppose -f - 9 + 7 = 4*x, -35 = -5*f - 5*x. Let j be 395/55 - (-6)/(-33). Which is greater: f or j?
f
Let k = 336/43 - 1177594/150715. Which is bigger: k or 1?
1
Let d = -310 - -855. Is -2 greater than d?
False
Suppose 4*a + 21 = -59. Let m = a + 24. Suppose m*s - 4*x + 4 = 0, -s + 6*s - 11 = -3*x. Is s greater than 1?
False
Let u = -55.035 + 0.035. Let f = 52.3 + u. Let z = 0.3 - f. Is 0.5 <= z?
True
Suppose h - 2 - 15 = 5*q, 2*h - 29 = 5*q. Let n = 20 - h. Let y = n + -9. Which is smaller: y or -3/11?
y
Suppose -42*p = -41*p + 982. Which is bigger: p or -983?
p
Suppose -3*b + 8*b = -s + 7, -3 = -3*s + 3*b. Let h be (0 + s)/(1/8). Let f = 338/21 - h. Which is greater: 1 or f?
1
Let o = -7 - -8. Let l be 3/(-6) - 3/(-24)*2. Let s = 0 + l. Which is smaller: s or o?
s
Let s = -1/3525 + 30966/85775. Let h = -2/73 + s. Which is smaller: h or 0.15?
0.15
Let h(b) = -b**3 - 11*b**2 - 12*b - 19. Let y be h(-10). Which is smaller: y or -1/336?
-1/336
Let w be 25/(-15)*24/840. Let l be (-4)/6*(-9)/6. Which is smaller: w or l?
w
Let i(g) = g**2 + 4*g - 1. Let n(h) = h**3 + 19*h**2 - 21*h - 24. Let y be n(-20). Let z be i(y). Which is bigger: 0 or z?
0
Let n(c) = -c**3 - c**2 - c. Let q = -17 - -17. Let h be n(q). Which is smaller: h or -6/13?
-6/13
Let f = 251 + -252. Is -0.0098 smaller than f?
False
Let x = 0.9 - -0.1. Let r = -2 + x. Let d = 5.066 + 2.934. Which is greater: r or d?
d
Let u = 470 + -471. Is u > 3/16?
False
Let b = 18 - 20. Let p be (-1)/b*12*2. Suppose v + p = 3*c + c, -3*c - 21 = 3*v. Which is greater: v or -9?
v
Let r(y) = y**3 - 8*y**2 - 13*y. Let u be r(9). Let f be 24/u*9/2. Let t = 18 - 56/3. Which is smaller: f or t?
f
Let q(b) = 5*b - 45. Let i be q(6). Suppose 53 = -4*k - 3*p, -105 = 2*k + 3*k - 4*p. Is k <= i?
True
Suppose 3*m - 656 = -5*u, 295 = 4*u + m - 227. Suppose -5*t + u = 2*i, 5*t = -2*i + 4*i + 110. Is t < 22?
False
Suppose 0*i + 42 = 2*i. Let f be 3/(-14)*112/i. Suppose 0 = -5*n + 13 - 13. Which is greater: n or f?
n
Let l(d) = d**3 - 10*d**2 - 22*d + 5. Let a be l(12). Is a >= 26?
True
Let j be (4/1 - 4)/(-3 + 7). Is j smaller than -2/7?
False
Let m = 83/28 + -12/7. Which is smaller: m or 1?
1
Let i(v) be the first derivative of v**3/2 + 8*v**2 + 10*v + 1. Let y(c) be the first derivative of i(c). Let w be y(-11). Is -17 <= w?
True
Let q(x) = 61*x + 540. Let g be q(-9). Let y = -64 + 36. Let r = y + 18. Are g and r non-equal?
True
Let v = 13 + -24. Let a = 2 + v. Let s = 10 + a. Is -1/5 at most as big as s?
True
Let h = 34 + -35. Let y(w) = w - 3. Let b be y(4). Suppose 0 = -5*j + b - 11. Is j >= h?
False
Let h = -4083 - -4101.99. Let i = -19 + h. Let g = 141/4 - 35. Is g > i?
True
Suppose 2*h - 20 = r - 6, 36 = 4*h - 4*r. Suppose h*k + 3*c - 39 = 3*k, -2*c - 126 = -5*k. Which is bigger: 23 or k?
k
Suppose 4*o - 8*o - 13 = -3*v, 0 = 4*v - o. Let k be (-3)/(-1*57)*v. Let q(a) = a + 6. Let z be q(-5). Which is smaller: z or k?
k
Let m be (318/(-1938))/(6/(-201)). Let s = -1/323 - m. Suppose 5*t + 6 = -19. Are s and t unequal?
True
Let g(k) = -2*k + 3. Let y be g(2). Let t be ((-291)/