et g = -8 + o. Is -1.3 < g?
True
Suppose 0 = u - 91 - 74. Let n be u/308 + 4/(-14). Is -8/9 equal to n?
False
Suppose 0 = -4*l - 12*l. Suppose 4*n - 2 + 6 = l. Which is bigger: -9/7 or n?
n
Let j(c) = -3*c**2 - 5*c**2 + c + 7*c**2 + 4. Let n be j(0). Suppose -11 = 2*g - 1, 0 = -3*d - n*g - 17. Which is smaller: d or 7?
d
Let u = -1.38 + 1.28. Let n = 17 + -14.7. Let k = -16.3 + n. Are k and u nonequal?
True
Suppose 5 = 4*s + 29. Let u(y) = 21*y - 16. Let r be u(s). Let i = 990/7 + r. Which is smaller: -2 or i?
-2
Suppose 0 = -8*f + 5*f - d + 4, -2*d = -2*f. Let j be 6/(-11)*f/(-4). Is j at most -1?
False
Let z(i) = -i**3 - 30*i**2 - 27*i + 60. Let q be z(-29). Are -1/5 and q nonequal?
True
Let x be 33/18 + -2 + (-525)/(-18). Is 262/9 > x?
True
Let n be (86 + -89)/((-42)/(-4)). Let s = 221/2 + -116. Which is greater: n or s?
n
Let i be (14/(-49))/(2/5). Let p = 277 - 279. Which is smaller: p or i?
p
Let c(o) = o - 5. Let b be c(5). Suppose 45 + b = 9*f. Let l be (2/3)/(-1)*-6. Is l <= f?
True
Let i be -2 + -13 - (-3 + 0). Let g = -7 - i. Let q = -6.9 + 7. Is g > q?
True
Let h be ((-36)/16 - -3) + (-9)/(-4). Let m = -22 + 21. Let f be m/(-3) - 92/(-48). Do h and f have the same value?
False
Let l be -579*(-1)/3*2. Let k = l - 1918/5. Suppose -3*a = -3*i - 21, 2*a + 2*i = 7*a - 23. Which is greater: a or k?
a
Let v be 44/48 - 2/8. Let d = -16 - -18. Let x be 1/d - (-1)/(-2). Is v > x?
True
Suppose -3 - 7 = -5*s. Suppose -2*r = -r + s*n + 11, -3*r + 17 = -4*n. Let f be ((-92)/(-322))/((-2)/16). Is f >= r?
False
Let z(v) = -v - 6. Let h be z(-5). Let u be h - ((-73)/5 + 15/25). Let f be 13 + -2*2/(-4). Do u and f have the same value?
False
Suppose -9*u - 80 = -10*u. Suppose 19 = h + u. Is h < -62?
False
Let w be (0*2/8)/(-3). Is w equal to 2/675?
False
Suppose 0 = -n + 394 - 132. Let d = -243 + n. Let s = -48 - -68. Which is bigger: s or d?
s
Suppose 0*q + 20 = 5*x - 2*q, -2*x - 4*q = 16. Let c be 3 + x*(-4 + 28/8). Is 30 equal to c?
False
Let o = -71 + 72. Is -493 equal to o?
False
Let w be ((-5)/(-15))/((-2)/6). Let o(m) be the third derivative of -m**5/15 + m**4/24 - 6*m**2. Let p be o(w). Which is smaller: p or -6?
-6
Let b = 2/179 + -368/895. Which is bigger: -8 or b?
b
Let n = -7485/2 + 3845. Let h = n - 102. Let g be (9/(-15))/((-4)/10). Which is greater: h or g?
g
Let t be (154/78 + -2)/(6/(-36)). Is -12 < t?
True
Let u(h) = h**3 + 9*h**2 + h + 9. Let s be u(-9). Let d(y) = y**2 + y + 5. Let g be d(s). Let c be g/(15/6) - 4. Is -3 at least as big as c?
False
Let n = 13 - -117. Let j = n - 130. Which is bigger: -0.6 or j?
j
Let k be 1 + ((-653)/(-6) - 35/(-14)). Which is smaller: 111 or k?
111
Let z be (2/(-7) + 189/(-196))/2. Let s be -1 + (2 - 1) + 0. Which is smaller: z or s?
z
Let n = 10 + -18. Let f be -3 + (2 - (-13 + 0)). Suppose -4*a = 20 + f. Do a and n have different values?
False
Let j be 2/4 + (-4)/((-8)/(-51)). Let a = -40 - j. Are a and -16 unequal?
True
Suppose 10 = 3*d - 5. Suppose -25 = d*m - 5. Which is smaller: -16/5 or m?
m
Let b be (-19 - 3)*(-13)/(-168). Let q be (1/35)/(8/10). Let h = q + b. Are h and -3 nonequal?
True
Suppose -144 - 263 = -11*j. Let d be (-420)/(-11) + (-2)/11. Are j and d unequal?
True
Let w(r) = -4*r**2. Let m be w(1). Let v = -4 - m. Suppose -2*d = -v*d. Is d greater than -0.5?
True
Suppose -4*h + 52 = -3*z - 31, -2*z - 5*h - 63 = 0. Is -29 greater than or equal to z?
True
Let d = 2/3749 - -7308/356155. Is 1 less than d?
False
Let l = -11 - -26. Suppose y + l = -36. Which is smaller: y or -50?
y
Let w = 0.2 + 0.9. Let f = w + -0.1. Let m = 93 + -281/3. Is f equal to m?
False
Suppose a + b + 20 = 0, 2*b + 26 = -5*a - 59. Suppose 0 = 3*r + r + 60. Is r >= a?
True
Let g be -2*(4/(-192) - 0). Let m(i) = -i**2 + 3*i - 2. Let w be m(2). Which is smaller: g or w?
w
Let p be 9486/(-81) - 1/(-9). Which is smaller: -116 or p?
p
Suppose 12*s - 80 = -28*s. Which is greater: 0.107 or s?
s
Let h = 18636/161 + -806/7. Are h and 0 equal?
False
Let i be 0*(0 - 4/12). Suppose -m + 3*h + 150 = 430, 4*h = i. Let d be 328/m - (-8)/14. Do d and 0 have the same value?
False
Let g(a) be the third derivative of a**5/60 - 3*a**4/8 - 11*a**3/3 - 29*a**2. Let c be g(11). Which is bigger: c or -2/27?
c
Let t = -33 + 55. Let m = t + -28. Is m greater than -5?
False
Let w = 27 + -3. Suppose 4*h - 4*a = w, -3*h + 8 = -a - 18. Let c be 12/h - 2/2. Which is smaller: c or -1?
-1
Let v(y) = 9*y - 1. Let t be v(2). Suppose 5*h + 3*s - 22 = 55, 0 = -4*h - 4*s + 68. Suppose h*i - t*i = 0. Is i greater than or equal to -2/9?
True
Let f = 60574 + -417415436/6891. Is -1 at most as big as f?
True
Let q = -31/8 - -325/88. Let x be 18/2 - (3 - 2). Let r(a) = -a**2 + 8*a. Let k be r(x). Which is smaller: q or k?
q
Let d(l) = 2*l - 15. Let a be d(15). Let n be 26/(-195) + 257/a. Is n > 18?
False
Let h(i) be the third derivative of -i**4/24 - 2*i**3 + 33*i**2. Let s be h(-4). Which is bigger: -9 or s?
s
Let m = 87/10 + -179/20. Is m greater than or equal to 1/11?
False
Let a = 54 + -59. Let b = 2.1 + -0.6. Let u = 0.5 - b. Which is smaller: a or u?
a
Suppose -3*k = -g - 206, -4*k = -g - 276 - 0. Is 71 greater than k?
True
Let w be -7 + -10*(-1240)/1750. Is -1 != w?
True
Let j = -1 + 1.2. Let o = 112 - 101. Which is smaller: j or o?
j
Suppose -2*p + 396 + 228 = 0. Let g = -5306/17 + p. Suppose -12*r - 5 = -17*r. Which is bigger: g or r?
r
Let i be (-34)/(-12)*-2*1. Let z be (798/28 - (-1)/(-2))*(-8)/32. Which is smaller: z or i?
z
Suppose 5*h + 12 = 2*h, 196 = -4*b - 5*h. Let s = b - -53. Let i be ((-6)/(-9))/((-2)/(-30)). Which is greater: i or s?
i
Let i(z) = -z**2 + 2*z - 9. Let v be i(-4). Let j = 27 + v. Let y be 0 + (-36)/21 + 2. Which is smaller: y or j?
j
Let v be 94/2 - (-2 + -1). Let x = -52 + v. Let o be 2 - (21/4 - 1). Does x = o?
False
Suppose 5*d = h - 27, 2*d - 5*h - 2 = 1. Let l be d/15*(-4)/28*-2. Which is smaller: l or 0?
l
Let o(h) = -h**2 - 5*h + 19. Let n be o(-7). Suppose 0*i - 3*i + 27 = 0. Let x be ((-15)/i)/(2/(-6)). Does n = x?
True
Let k(n) = n**3 - 6*n - 2. Let g(u) = u**3. Let q(v) = -g(v) - k(v). Let c be q(3). Which is greater: 2 or c?
2
Let y = -166 + 270. Which is smaller: 102 or y?
102
Suppose -21*c = -16*c. Which is greater: 46/33 or c?
46/33
Let u = 20802 - 19803501/952. Let a = u + -5823/35224. Let h = -56/111 + a. Which is smaller: -10 or h?
-10
Let k be 4/(-3)*(-27)/6. Let d be ((-1)/(-2))/(k/84). Let z be (1/12)/(d/98). Which is greater: z or 0?
z
Suppose -2*g - 11 = -3*g. Suppose -m + 4*f = -7, 3*f - g = -m - 4. Which is smaller: 8 or m?
m
Let j be (-2 + 6/4)*2. Let o be (4/(-6))/((-12)/36). Let v = o + -2. Which is greater: v or j?
v
Suppose 0*u - 2*u = 4, 4*w - 4*u - 20 = 0. Let y be 12/(-160)*12806/w. Let x = y + 320. Is 0 bigger than x?
True
Let j be ((-4)/3)/((-2)/(-252)). Let u = -1341/8 - j. Let z(g) = -g**2 + 10. Let w be z(3). Which is smaller: w or u?
u
Suppose -7*x = -2*u - 12*x + 399, 2*x + 646 = 3*u. Is 213 <= u?
False
Let g(h) = -3 - 34*h**2 + 2 + 37*h**2. Let v be g(-1). Suppose 0 = 2*w, -v*j = 5*w - 3*w - 36. Does 18 = j?
True
Let u = -7882 + 78601/10. Which is smaller: -23 or u?
-23
Let y = 152 + -152.08. Which is greater: -25 or y?
y
Let u be ((-4)/12)/((-3)/(-2)). Let o = 3.8 + -4. Are u and o unequal?
True
Let q = 194/3 - 69. Let x = 25 + -30. Which is greater: x or q?
q
Let o be 1/2 + ((-226642)/(-68))/(-13). Let y = o + 256. Is y at least 0.08?
True
Let m(d) = -11*d + 19. Let h be m(-2). Is h <= 1?
False
Let m = 10331/2510 + -4/251. Let o = -18/5 + m. Let i = 30/13 + -99/26. Is i <= o?
True
Let g = 194.84 + -187. Let j = -0.16 - g. Let p = 10 - 11. Is p less than or equal to j?
False
Let g(m) = -m**3 - 5*m**2 - 2*m - 3. Let r = 23 - 18. Suppose 5*c + 40 = -5*v, c + 2*v = r*c + 14. Let a be g(c). Is 8 at most as big as a?
False
Let w = -393/688 + -5/43. Is -1 greater than w?
False
Suppose -4*z = -9*z + 15. Suppose 0 = -3*o - 12, 3*t + z + 1 = -o. Is t != 2/35?
True
Let c = -5 + 8. Suppose -x + 3*x = -5*s + 18, 0 = -3*s - 2*x + 10. Which is bigger: c or s?
s
Let r = -6 + 10. Suppose r*t = 7*t. Suppose t*g = -2*g - y + 6, -3*g - 3*y = -12. Which is smaller: -1 or g?
-1
Let d be -68 + (4 - (-4)/(-4)). Let r = d - -75. Is 10 < r?
False
Let t(u) = u**2 + 17*u + 20. Let s be t(-16). Sup