= n?
True
Let x(f) = -f**3 - 2*f**2 - 2*f - 2. Let b be x(-1). Is -2/181 less than b?
False
Let g be 3/21 + 2/(-14). Suppose -4*c + 6*c - 2 = g. Do c and 5/7 have the same value?
False
Let y = 2.7 + -2.81. Let k = 12 - 12.1. Which is bigger: k or y?
k
Let p be ((-20)/(-4) + -3)*-1. Which is smaller: -5 or p?
-5
Let l(o) = -3*o**2 - 8*o - 4. Let p be l(-3). Suppose 3*d + 49 = 2*q + 3*q, -3*q + 23 = -d. Is d less than or equal to p?
True
Let y = -26 + 24. Which is smaller: y or 11/4?
y
Let g = 12 + -6. Let z(v) = -g*v + v + 7*v + 2. Let i be z(-3). Is i smaller than -4?
False
Let x = 1 + -6. Let s(i) = i + 6. Let c be s(x). Which is greater: -1 or c?
c
Let i = -0.88 - 6.32. Let g = -6 - i. Let l = -0.8 - g. Which is greater: 3 or l?
3
Let g(j) = -j**2 + 6*j - 8. Let m be g(6). Let v(s) = s**3 + s**2 + 3*s + 3. Let w be v(-2). Which is bigger: m or w?
w
Suppose -5*j = -3*j - 106. Let k = j - 849/16. Which is bigger: k or 0?
0
Let x be (-4)/14 - (-15305)/(-63). Let k = x + 243. Let r be (-3)/27 - 60/(-54). Which is smaller: r or k?
k
Let m be 10/3*((-12)/30 + -2). Is 2 less than m?
False
Let d = -46/195 - 1816/39. Let y = 47 + d. Is 1 greater than or equal to y?
True
Let u(s) = s**2 + s + 1. Let d(h) = -3*h**2 + 5*h - 7. Let l(m) = d(m) + 2*u(m). Let v be l(5). Let r = -6 + v. Which is smaller: r or 5?
r
Suppose -5*g = -2*q - 9, q + 2*q - 2*g + 8 = 0. Do q and -2 have the same value?
True
Let i = 8 - -16. Suppose 3*s = -3*w - i, -5*s = -4*w + 6*w + 25. Is w smaller than -6?
False
Let y = 0 - 0. Suppose y = 4*l - 3 - 5. Suppose -m + 3 = 2. Do m and l have different values?
True
Let p = -6 - -6.4. Let w = p - 0.3. Let z = 26/9 - 304/99. Which is greater: z or w?
w
Let x = 53 - 74. Is 1/3 at least as big as x?
True
Let q be ((-8)/10)/((-18)/45). Suppose -3*u = -q*u - 4*y - 7, 4*u + y - 11 = 0. Do u and 4 have the same value?
False
Let q be 15*2*(-9)/6. Let t be q/6*4 + 1. Let c = t + 57/2. Is c < 0?
True
Suppose 4*g - c = -2*c - 1, 3*c + 3 = 0. Is 1 greater than g?
True
Let m be (-6)/40 - (-6)/8. Is m >= -1?
True
Let g(x) be the third derivative of 0 + 0*x + 1/24*x**4 + x**2 + 1/6*x**3. Let l be g(-3). Which is smaller: l or -1/2?
l
Let k be (-3)/(-1) + -5 + 3. Let d = k - -1. Which is greater: 3 or d?
3
Let v(j) = 3*j**3 + j**2 + 2*j + 1. Let d be v(-1). Is 2/33 less than or equal to d?
False
Let p = -307/1507 - -3/137. Is p < -5/6?
False
Let g = -147/4 + 37. Let p(d) = -d**2 - 9*d + 2. Let a be p(-9). Is g > a?
False
Let l be -6 + 4 + (4 - 1). Let h be (-4)/8 - l/(-2). Is 0 equal to h?
True
Let v = 2 + -2. Suppose 2*y + 12 = 4*q, -4*q - 15 = -7*q. Suppose y*d = 6*d. Is v > d?
False
Let q(z) = -2*z - 13. Let y be q(0). Let i = 15 + y. Let b = 5 + -3. Are b and i nonequal?
False
Suppose 7*u - 5*u + 22 = 0. Are -11 and u nonequal?
False
Let t = 7 + -11. Is t <= -0.1?
True
Let j = 41 - 43. Which is greater: 21 or j?
21
Let j(c) = 0 + c - 2 + 6. Suppose 5*s + 2*i = -13, 2*s + 2*s - 4*i = -16. Let w be j(s). Is w at least -1?
True
Suppose 2*t = 5*t - 60. Let k = -30 + t. Let b = -14 - k. Is -2 >= b?
True
Let v = -12 - -7. Let s be ((-2)/v)/(9/(-15)). Suppose 5*c - 1 = 4*h, 2*h - 4 = -3*c + 1. Which is smaller: s or c?
s
Let o be 0/(-1) - 6/(-59). Let s = o - 101/413. Let q = -0.05 - 0.15. Is s greater than q?
True
Suppose -5*z - 7 = -2. Suppose 9*r = 5*r + 36. Suppose -2*q = -5*q - r. Is q <= z?
True
Suppose -15 = -5*c, -3*c + 1 - 16 = -3*t. Let f be 9/4 - 2/t. Suppose j + j = f*l, -3*j = -2*l. Is -1 less than j?
True
Let u be (-3)/5 - 1 - 2/5. Is u less than 1?
True
Suppose -5*k - 2 = -42. Do k and -1 have different values?
True
Let m be 0 + -1 + (-18)/(-20). Suppose -4*w - 3*h + 5 = 0, 0 = 5*w + 3*h - 5*h + 11. Is m greater than or equal to w?
True
Let t be 15 + -6 - (2 - 2). Suppose 3*v = 5*l - 5, 4*l - l = 3*v + t. Which is smaller: l or -11/5?
-11/5
Suppose -81 = -2*t + 3. Which is bigger: t or 41?
t
Let p = -92/205 - -2/5. Is p less than or equal to 0?
True
Let c be 9 + -10 - (57/(-48) + 0). Is -2/5 smaller than c?
True
Let r be (3*-6)/(1/1). Let n be (4/(-6))/((-20)/r). Let t = 2/275 + -279/550. Is t > n?
True
Let v(i) = -i**3 - 6*i**2 - 5*i + 4. Suppose -s + 0*s - 5 = 0. Let y be v(s). Does 4 = y?
True
Let g be (6/12)/(3/(-66)). Let j = -10 - g. Is 5 greater than j?
True
Let h = 10 - 13. Is -7/2 less than h?
True
Suppose y + 16 = -2*h - 3*h, -5*y + 32 = -3*h. Do -5/2 and h have the same value?
False
Suppose -3*a = 2*t - 14, 2*a + 4 = -0*a + 2*t. Suppose 1 = a*y - 5. Which is smaller: 4 or y?
y
Let s be (2/(-7))/((-38)/133). Is s smaller than 1/3?
False
Let y be 11/(-7) - 56/(-98). Which is bigger: y or 1/6?
1/6
Let n = 5.3 + -0.3. Let x = n + -11. Is x greater than -1?
False
Suppose -8 = -2*z - a, -4*z + 2*a = a - 22. Suppose -15 = -5*w - z. Is -3 smaller than w?
True
Let c be (-9)/28 - 1/4. Let t(a) = -a**2 - 8*a - 7. Let f be t(-7). Is c greater than f?
False
Let q = -7 + 11. Suppose 0 = 2*s + 3*m + 6, m - 2 = -4*s - q. Is s bigger than -1/5?
True
Let i = -4/55 + -98/165. Suppose -9 = 5*s - 2*s. Let g = s - -2. Which is smaller: g or i?
g
Let i = 1249 + -1254.99. Let a = -6 - i. Let d = 1.01 + a. Is -0.2 > d?
False
Let g = 0.01 + 1.99. Let u = g - 4. Is 2/13 at least as big as u?
True
Let z(k) be the first derivative of -3*k**2/2 - 2. Let i be z(-1). Is 1/2 at most i?
True
Let t(u) = u**3 + 4*u**2 + u + 2. Suppose -p + 1 + 1 = -2*i, 4*p = -2*i - 22. Let q be t(p). Let c be (-1 + 1)/(0 + q). Which is greater: -1/5 or c?
c
Let r = -78 + 13. Let t = -794813/12190 - -5/2438. Let x = t - r. Is x greater than 2?
False
Suppose -2 = 3*f + 1. Suppose -30 = -5*g + 5*z, z = -2*g + 3 - 0. Suppose -10 = -g*q - 2*r, r = -q + 2*r - 5. Is q >= f?
True
Let q be (1 + -10)/((-9)/(-6)). Let s be (-54)/(-154) - q/21. Let l = s + 1/33. Which is bigger: 2 or l?
2
Let w = 3 + -1. Let m be (1/1 - w) + -1. Let q be 2/28 + 1/m. Which is smaller: 1 or q?
q
Let h = 2.9 - 3. Let u = 0.2 + h. Let i = 44 - 44.1. Which is smaller: u or i?
i
Let n = 11 - 6. Let h(o) = -o**3 + 4*o**2 + 6*o - 10. Let s be h(4). Let l be (-216)/(-63) + (-6)/s. Which is smaller: l or n?
l
Let f = 140 - 141. Which is smaller: 2/167 or f?
f
Let x be (2/90)/((-14)/(-1164)). Let b = 57542/15 + -3834. Let q = x - b. Which is smaller: q or 2?
q
Let h = 0.9 - -0.1. Let l be ((-20)/5)/(2/(-4)). Suppose l = c + 3*c. Which is smaller: c or h?
h
Let f(a) = -a - 9. Let t be f(-8). Let n be (-3 - t) + (-16)/(-6). Which is smaller: n or 0?
0
Let i = -0.4 - -0.42. Let s = -0.28 - i. Let u = 0.4 + s. Which is greater: u or 0?
u
Let g = -115/2 - -56. Is -2 less than g?
True
Let w = -1 + 7. Let s = 1 - 2. Is s <= w?
True
Suppose 2*v = -z + 5, 5*z - 46 = -0*z - 3*v. Are z and 11 equal?
True
Let y = 13 + -139. Is y smaller than -125?
True
Let y = -8 + 21. Are 14 and y equal?
False
Let v = -0.027 - -0.027. Which is greater: 0.33 or v?
0.33
Let f be -3 + (-2 - 994)/(-4). Let l = -1726/7 + f. Is -1 not equal to l?
True
Let o(y) = y + 1. Let l be o(-1). Is l smaller than -2/9?
False
Let d = -5 - -1. Suppose -3*s - 2*x - 11 = 0, -6*s - x = -3*s + 10. Are s and d nonequal?
True
Let i be 12/16 - 2 - -1. Is i at most 0?
True
Suppose i - 5*j = 3*i - 13, -2*i + 4*j = -4. Let x = i - 2. Which is smaller: 3/5 or x?
3/5
Suppose 0 = -3*v - 12. Is v greater than -10/3?
False
Let t = -3.8 + 4. Which is greater: t or 2/11?
t
Let w = 43/11 + -35/11. Let h = 35/33 - w. Is h less than 1/4?
False
Let k = -2525/108 - -5/108. Let o = -23 - k. Let v = 0.6 + 1.4. Which is smaller: v or o?
o
Let w = -0.09 - -0.2. Let f = w + 0.09. Are 1/5 and f non-equal?
False
Let a(c) = c**2 - 5*c - 7. Let n be a(6). Let l be (-2)/(-8) - (-1 - n). Which is smaller: 1 or l?
l
Suppose -4*z + 3*z - 5*l - 19 = 0, -3*l - 15 = -3*z. Which is smaller: 1/12 or z?
1/12
Suppose 10*h = 9*h. Is h equal to 0?
True
Let m be (1/(-2))/((-2)/32). Suppose 0 = 3*s + 1 + m. Which is greater: s or -1?
-1
Let j be (10/20)/((-2)/(-12)). Suppose y = -j*y + 4. Which is greater: y or -3/22?
y
Let l = 0.236 + -0.136. Is l at least as big as 0.046?
True
Let u = 4/233 + -822/20737. Let t be ((-1)/8)/(178/388). Let s = u - t. Is -1 at least as big as s?
False
Let r(p) = 7*p**2 + 11*p + 4. Let w(a) = -6*a**2 - 10*a - 4. Let m(v) = 5*r(v) + 6*w(v). Let j be m(-5). Let z be 2/(-8) - (-