 Suppose n + 2*v = -l, -3*n + 7 = -0*n - v. Which is greater: n or y?
n
Let t = 7 + -2. Let o = 18.4 + -18.3. Which is smaller: t or o?
o
Let s(r) = r**3 - 6*r**2 + 7*r - 6. Let p be s(5). Suppose d + 71 = p*d + 2*j, 0 = 5*d + 2*j - 113. Which is smaller: d or 22?
d
Let l = 0.18 + 1.82. Let u = -6.1 - -5. Let k = u - -1.2. Is l greater than k?
True
Let t be 2/(-8) + 75/(-20). Let g be ((t - -6) + 5)*1. Is g at least as big as 9?
False
Let j(h) = -19*h - 82. Let q be j(-4). Is -8 bigger than q?
False
Suppose 8*l - 3*l = -30. Let t be -2*1*l/4. Let h be -3 + 1 - 0 - (-16)/12. Is t equal to h?
False
Suppose 48 = -z - 3*z. Suppose 24*l + 5*u = 23*l + 65, 4*l + 2*u = 296. Let h be (z/l)/(10/25). Which is greater: 0 or h?
0
Let o = 1.11 - 0.11. Let z = -0.6 + o. Let v = 5 - 3. Which is bigger: z or v?
v
Let v(j) = j - 4. Let o be v(7). Suppose -p - 62 = -4*t, 2*t + 4*p = -3*t + 88. Let k be 12/t - (-1 - -2). Which is smaller: k or o?
k
Let r be (-68*(-6)/(-8))/((-1)/1). Do -14 and r have different values?
True
Let o be 2/(-8) - 12*189/288. Which is greater: o or -7?
-7
Let j(v) = -v**2 - 9*v - 11. Let x be j(-3). Suppose 0 = -i - 2*k - 6, 5 + x = 4*i - 4*k. Let s be (-1)/(-3) + 16/(-3). Is i at least as big as s?
True
Suppose -10 = 5*i - v, i - 2*v + 5 = 3. Let c be (-6)/(-6)*i*12. Suppose 4*a = -0*a - 100. Which is bigger: a or c?
c
Let d(b) = -9*b + 10. Let p be d(-8). Suppose 2*m - 5*m + g - p = 0, 3*m = -g - 80. Let q = m + 134/5. Which is smaller: q or -2?
-2
Let u = 10 + -14. Let i = 5 + u. Let x = i - 0. Is x less than 2/7?
False
Suppose -20*z = -14*z + 222. Suppose 0*x = -4*x + 2*f - 144, -f - 144 = 4*x. Which is smaller: x or z?
z
Suppose -5*f = -2*g + 3, -4*g - 2*f + 30 = -12. Suppose g = -4*p + 7*p. Let k = -4 + 5. Which is greater: k or p?
p
Let a(y) = y**3 + 7*y**2 - 9*y - 9. Let w be a(-8). Let k be (w + (-85)/(-5))/1. Which is bigger: 17 or k?
17
Let s = -262/3 + 87. Which is smaller: 2.3 or s?
s
Suppose 4*d - 14 = -5*p, 0*d + 2*d + 3*p - 8 = 0. Which is bigger: d or -4/53?
d
Let p(n) = n**2 + 19*n - 94. Let q be p(-23). Which is greater: -0.08 or q?
-0.08
Let k be (-192)/12*(-6)/(-2 + -4). Which is smaller: -142/9 or k?
k
Let v be 4/3 - ((-108500)/(-5334) - 19). Do -1 and v have the same value?
False
Suppose -4*f + 8 = 2*u, 23 - 3 = -2*f + 5*u. Which is smaller: -133 or f?
-133
Let w = 2257 + -2236. Which is smaller: 19 or w?
19
Let a = -41 - -41.14. Does 0.5 = a?
False
Suppose 0 = 8*g - 5*g - 15. Suppose 3 - g = l. Let a = 2 + -7/2. Is l at least as big as a?
False
Let m be -3 + ((-2079)/(-182) - 8). Is -1 at least as big as m?
False
Let z(q) be the second derivative of 7*q**4/12 + q**3/3 - q**2 + q. Let a be z(-3). Suppose 3*r + 0*p = -4*p - a, -3*r + 4*p - 23 = 0. Is -13 equal to r?
True
Let w be (-54)/(-48)*(-1)/3. Let u = w - -13/56. Is u > -1?
True
Suppose -27 + 1 = -2*x - 4*q, -5*x = q - 29. Suppose -12*i = -7*i - 85. Suppose -i = -5*w - 4*h + 39, 0 = -x*h + 20. Is -1 greater than w?
False
Let p = -127 + 126. Which is bigger: p or -9?
p
Let w be 2/(-5)*175/(-7). Suppose -5*i + 5 + w = 0. Suppose -i*f + 71 = 4*t, -2*f + f = -t + 16. Which is bigger: t or 16?
t
Suppose 5*p - 144 = p. Let b be (-4)/18 + (-46)/p. Let u = 131/210 - -3/70. Is u at most as big as b?
False
Let d = 2.1 - 2.2. Let y = 2.8 + -16.8. Is d < y?
False
Let n be 4/(-3)*-13*63/(-14). Let a = 76 + n. Which is greater: -6/5 or a?
-6/5
Let u = -51.7 + 88. Let t = u + -35. Which is smaller: -0.1 or t?
-0.1
Let t = 168 + -83. Which is greater: t or 1/2?
t
Let p = -4777942/265 + 18030. Let d = p - -25946/795. Let z = 33 - d. Is z less than 0?
False
Let a be 6/(-10) - (-4)/(-10). Suppose -t + v = -143, v - 10 = -3*t + 399. Let g be t/42 - 6 - (2 + -4). Are g and a equal?
False
Suppose 5*c + 3*y = -20, 7*c - 2*y = 2*c + 5. Let x = 0.534 + 0.046. Let u = x + -0.6. Is c at least u?
False
Let a = -996 + 994. Let c = 4 + -6. Are c and a nonequal?
False
Suppose 0 = 2*x - 4*g - 1388 - 666, 4*x + 2*g = 4098. Let f be (-33)/27 - -1 - x/45. Which is smaller: f or -25?
-25
Let w = -777 - -779. Is 184/9 less than w?
False
Let y = 194 - 296. Let v = y - -101. Is -7/5 <= v?
True
Let w = -667 + 7388/11. Are w and 4 equal?
False
Let g = -1267 + 1155.2. Let n = 113 + g. Which is greater: n or -4?
n
Let c = -2.83 - 148.17. Let q = 154 + c. Is q greater than -20?
True
Let c(x) = x**3 - 10*x**2 + 2*x - 12. Let t be c(10). Let w be ((-24)/16)/(102/t). Is w at most as big as 0?
True
Suppose 14 = -6*a - 4. Is a < -0.15?
True
Let d = -5 + 6. Suppose 19*l - 4 = 15*l. Let n be l*-2*(-3)/12. Do d and n have the same value?
False
Suppose -60 - 48 = -3*h. Let v be (-9)/15 + h/10. Let m be 0/v - (-3)/(-9). Which is bigger: 0.6 or m?
0.6
Suppose 2*v + 43 = -y - 3*v, 4*y = -v - 153. Let r = y - -40. Let a = -374/3 + 126. Which is smaller: r or a?
a
Suppose 48*y - 49*y + 55 = 0. Let t = y + -44. Is t greater than or equal to 11?
True
Let q = -201 + 28. Let y = -147 - q. Is 24 greater than or equal to y?
False
Suppose 12*c - c = -55. Suppose -2*w - 56 = -4*g - w, -3*g + 47 = -2*w. Suppose 0 = 2*j + g + 1. Is j bigger than c?
False
Let l be 5 - (28/(-10))/(6/(-15)). Which is greater: 153 or l?
153
Let b = -0.8 - -2.8. Let m(t) = t + 9. Let n be m(6). Let h be (-2)/(-5) + (-16)/n. Which is greater: b or h?
b
Let s(f) = -3*f + 14. Let d be s(6). Let n be (2 + 0/2)/d. Which is smaller: -1 or n?
-1
Let c be -13*(2 - (3 + 0)). Let y be (c/(260/16))/(6/(-10)). Is y at most as big as -0.05?
True
Let u = 7 - -3. Suppose -2*n = -y - u, -2*n + n - 3*y = -5. Let j = -0.3033 + 0.1033. Do j and n have different values?
True
Let w = 131 - 130.6. Is -26/9 at most as big as w?
True
Let g(x) = -x**3 + 11*x**2 - 9*x. Let b be g(10). Let l be 1/3*b*3. Let i = 240 + -230. Is i smaller than l?
False
Let a = 1649 + -1932. Is -283 <= a?
True
Suppose u - 87 = -12. Suppose -2*i - 7 = -4*r - u, r + 5*i = 5. Is -14 not equal to r?
True
Let f(r) = r**2 - 13*r - 41. Let u be f(-3). Which is greater: 62/11 or u?
u
Let j = 133 - 69. Let b = 61 - j. Is -3 greater than or equal to b?
True
Suppose -77*k = -36*k - 4059. Which is smaller: k or 301/3?
k
Suppose -5*s - 4 = -4*c, -2*c + 2 = -0*s + 3*s. Suppose 0 = 3*y - z - 40, s = 5*y + 2*z - 4*z - 68. Suppose 22 = 3*o - 14. Is o less than y?
False
Suppose 9*v - 3*v - 48 = 0. Let a be 258/v*(-4)/1. Let r = a + 905/7. Is 9/5 bigger than r?
True
Suppose 13*q - 440 = 8*q. Which is bigger: 1/3 or q?
q
Let t = 5 - -1. Let r be (909/505)/((-3)/(-10)). Is r greater than t?
False
Let r(m) = m**3 + 2*m**2 - 3*m - 3. Let h be r(-2). Suppose -2*q + v = -5, 0 = q + 4*v - 1 + h. Let u = 153/2 - 75. Is q less than u?
False
Let f = 5223/6239 - 5/367. Let j = -92/153 + f. Suppose w - 2 + 1 = 0. Is j at most as big as w?
True
Let h = -0.02199 + -26.36801. Let y = h + -0.61. Which is smaller: 0.1 or y?
y
Suppose 2*r + 46 = 2*l, 6*r + 68 = 3*r + 2*l. Which is smaller: r or -21?
r
Let y be 7 - -7*(-18)/21. Which is greater: 4 or y?
4
Let a(j) = -j**2 + 12*j + 36. Let i be a(17). Is -55 at least as big as i?
False
Let z = 97 - 81. Suppose 3*h - 3*c = 2*c - z, 5*h - 10 = c. Which is smaller: 6 or h?
h
Let h(f) = -18*f**2 + f - 1. Let d be h(1). Let g be 3*20/(-108) + (-3)/(-9). Which is bigger: g or d?
g
Let x = -140 - 14. Let d = x - -139. Which is bigger: d or -14?
-14
Suppose 0 = -10*u + 8*u. Let c be (-2)/(-3) + 4/3. Let w = u - c. Is -7/9 equal to w?
False
Let a be 1 + (0 - 0) + 1. Suppose u - d + 0 = -1, 0 = 2*u + a*d + 2. Let v be 2 + 3 - (11 - (-1690)/(-280)). Does v = u?
False
Suppose -33*o - 145 = -4*o. Which is smaller: 7/5 or o?
o
Let u = -39 + 22. Let i = u + 9. Suppose -2*y + 0 = 2. Is i at least as big as y?
False
Suppose -3*p - 8*p - 33 = 0. Which is greater: -11 or p?
p
Let j be 20*5 + 66/22. Let g = j - 73. Suppose 5*f = g + 5. Which is bigger: 8 or f?
8
Let a = 575 - 573. Which is greater: -105 or a?
a
Let g = -10.16 - -10. Let i = g - 2.84. Is i at most -0.2?
True
Let s(m) = -m**3 + 6*m**2 - m + 7. Let g be s(6). Let o = -103 - -120. Let u(z) = -z + 7. Let f be u(o). Is g < f?
False
Let c be 6/21 - (4 + 3616/14). Let n = -253 - c. Let d(a) = a**3 + 5*a**2 + 3*a. Let x be d(-3). Is x greater than n?
False
Let v = 0 - 2. Let h(p) = -55*p + 275. Let m be h(5). Is m > v?
True
Let p(n) = -n*