. Which is smaller: i or 2/5?
i
Let l be (0 - 2)/(-2)*-1. Let w = 39807 + -795877/20. Let g = -55/4 + w. Is g at most as big as l?
False
Suppose 5*k + 3*j = 10 + 8, k - 14 = 2*j. Let o be ((-10)/k)/((-8)/24). Which is smaller: o or 7?
o
Let m be -4 - (-2)/(-6)*0. Let c be (-1 + 0/(-2))/1. Which is bigger: m or c?
c
Let d = -2 + -9. Is d at most as big as -11?
True
Let c = 0 - 5. Let k = c + 1. Do 0 and k have different values?
True
Let j = 0.096 - 0.296. Let o = 1/69 + -281/345. Do j and o have different values?
True
Let x = -0.1 + 5.1. Let q = 1 - -2. Let z = x - q. Is z greater than or equal to 2?
True
Let p = -8 + 13. Let m = 25 + -28. Let g = m + p. Which is greater: g or 1?
g
Let n(w) = w**3 - 8*w**2 + 3*w - 1. Let r be n(8). Let a = r - 117/5. Is 0.1 greater than or equal to a?
True
Let a = 3 + 1. Let w = -39 - -40. Suppose 3*t + 32 = -4*l, a*t - 3*l + 0*l + w = 0. Is t < -5?
False
Let b = -2.1 + 2. Let y = 0.4 + -2. Let d = 1.9 + y. Are b and d unequal?
True
Suppose 4*d = -w + 17, -3*w - 4 = -3*d - 10. Suppose -t - 4 + 1 = -o, -5*o - t = d. Suppose 8 = -2*g + 5*h, 0 = -5*h + 8 + 2. Is g < o?
False
Let u = 19/5 - 21/5. Is 1 > u?
True
Suppose 2*o - 15 = -3. Let q(m) = m**3 + m**2 - m + 2. Let b be q(0). Let d be -1 - (b + (-20)/o). Do -1 and d have different values?
True
Let b = 35 - 48. Let y(a) = -a**2 - a. Let z be y(-1). Is b smaller than z?
True
Let v(m) = m**3 + 3*m**2 - 2*m - 2. Let r be v(-3). Let f(z) = 2 + 0*z - 3*z + r*z. Let s be f(-5). Which is greater: s or 0?
0
Let r = 0 + 2. Let j be (-2)/9*(1 - r). Which is bigger: -0.1 or j?
j
Let o = -2577463510/189 - -13637342. Let h = -218/7 - o. Is h greater than -1?
True
Let q be (5/(-2))/(6/24*-2). Is 4 < q?
True
Let t be (-1)/(-5) - (-58)/(-190). Which is smaller: t or 0?
t
Let z = -1.4 - -1.3. Is -20 bigger than z?
False
Suppose -6 = -8*o + 5*o. Let r(l) = -l. Let j(u) = -3*u + 14. Let w(v) = o*r(v) - j(v). Let i be w(9). Which is smaller: i or -6?
-6
Suppose 3*a = -11 + 68. Are 21 and a non-equal?
True
Suppose 4*j - 36 = 4*c, -3*c = j - 2*j + 37. Which is greater: -13 or c?
-13
Let o(t) = 2*t**2 + 3*t + 2. Let u be o(-1). Which is greater: -1 or u?
u
Let m be ((-2)/(-10))/(-1)*(-8 - -10). Is 20 at least m?
True
Let v = -0.149 + 0.152. Which is bigger: 2 or v?
2
Let i be -1*(-2)/3 + 0. Let z(l) = 3*l + 27. Let n be z(-12). Is n smaller than i?
True
Suppose -k - 2*k = 21. Let n(b) = -b**3 - 8*b**2 - 7*b. Let s be n(k). Is s less than -1/4?
False
Let q(v) be the first derivative of 3 + 1/3*v**3 - 1/2*v**2 + v. Let p be q(2). Which is smaller: p or 7/4?
7/4
Let u = 1102 + -47384/43. Does 0 = u?
False
Let v = -9.22 + 7.3. Let f = v - 0.08. Are -2 and f unequal?
False
Let q be 1*7/(84/8). Which is bigger: -0.16 or q?
q
Let i = 24 - 43. Which is greater: i or -1?
-1
Suppose 2*a + i = 4*i + 11, -2*a - 19 = 3*i. Let c(v) = -v**2 - 2 - 2*v - v**3 - v**2 - 1. Let k be c(a). Which is smaller: k or 0?
0
Let c(g) = -g**2 + 11*g - 3. Let d be c(9). Let x(q) = 5*q**2 - 2*q. Let k be x(2). Is k >= d?
True
Let t = -175 - -53. Let l = t + 117.1. Let h = l - 0.1. Is -1 at most as big as h?
False
Let l be ((-99)/(-18))/((-9)/(-6)). Is l equal to 2/3?
False
Suppose 3 = -5*s + 2*s. Which is smaller: s or -6/25?
s
Suppose 3*f + 3*g - 18 = -2*g, 0 = -5*f + 5*g + 30. Let n be (-4)/(-2)*3/f. Is 4/11 at most as big as n?
True
Let u = -18 + 5. Let s = 18 + u. Which is smaller: 6 or s?
s
Suppose 2*v + 5*t = 3*t - 4, 2*v = 3*t + 6. Let a be -4 + v*(-2)/4. Let d = a - -1. Which is smaller: d or -2?
d
Let z = 21 + -24. Let t = 2.94 + 0.26. Let d = z + t. Which is greater: d or -2/3?
d
Suppose -2*z + 5 = -3, -4*d + 4*z = 0. Suppose -q + 4*i - 2*i = 9, d*q - 4*i + 28 = 0. Suppose s + s = -10. Is s > q?
False
Let l = -2.6 - -3. Let c = -0.3 + l. Let s = -13 - -64/5. Is c bigger than s?
True
Suppose 4*p = -5*i, -3*p = -4*p. Let u be 2 + 17 + i + -2. Let c = -49/3 + u. Which is smaller: 0 or c?
0
Let v = -2 - -2. Suppose v = -h + 4 - 0. Suppose -5*x = -3*x - h. Is x < 2/3?
False
Let y(l) = l**2 + 8*l + 10. Let u be y(-4). Let p be 4/u + (-224)/(-273). Let z(w) = w**3 - w + 1. Let b be z(1). Which is greater: b or p?
b
Let p(r) = -r**3 - 3*r**2 + 7*r - 5. Let t be p(-5). Which is bigger: t or 8?
t
Let w = 3/1046 - -21951/5230. Which is bigger: 3 or w?
w
Let f = 9 - 44/5. Let m(l) = l + 5. Let y be m(-5). Suppose y = -d - 2*d. Is f > d?
True
Let j = 0.37 + 0.07. Let t = -0.5 + j. Let u = t - -0.06. Which is bigger: u or 2/7?
2/7
Let w = -843/253 + 39/23. Which is smaller: w or -3?
-3
Let h = -1 + 2. Let w be 0/(-2)*(h - 2). Do w and 0 have different values?
False
Let f = -3.9 + 4. Let o = f + -0.1. Is o less than -1/3?
False
Let k(j) = -5*j - 1 + j**2 + 0*j - 6 - 2*j**2. Let o be k(-5). Which is bigger: o or -6?
-6
Let w be ((-3)/12)/((-3)/24). Is 2/11 < w?
True
Suppose -2*i + 3 = -3. Is 3 less than i?
False
Let q be (-1 - -3)*-1*(-2)/(-14). Let c be (-2 - 1)*8/10. Is c > q?
False
Let m = 3 - 1. Let v = 1 + m. Is v >= 4?
False
Let j(k) = 1. Let a(q) = q + 3. Let x(v) = -a(v) + j(v). Let z be x(-3). Is 5 bigger than z?
True
Let h = 0.02 + 1.98. Let a(b) = -b**2 + 11*b + 11. Let l be a(11). Let w = 11 - l. Is h less than or equal to w?
False
Let r(q) = -q**2 + 3. Let l be r(0). Let u be 1/(-2)*2/l. Let y be (2/5)/((-14)/10). Is y not equal to u?
True
Let p = -29 + 29. Does p = 1/18?
False
Suppose 6*d + 6*d + 348 = 0. Is d equal to -31?
False
Suppose -3*p - 63 + 12 = 0. Is p less than -14?
True
Let i be 28/16 + (-6)/8. Let f be i*(-3 - (-2)/1). Which is smaller: 0 or f?
f
Let k = 1/3825 - 2597/179775. Which is smaller: k or -1?
-1
Let q = -9498/19 + 500. Suppose 8 + 0 = -4*j. Let b be (2 - -1 - 2) + j. Is q less than or equal to b?
False
Let c be -1 - 44/(-60)*1. Which is smaller: 1 or c?
c
Let d be 4 + -6 + (-836)/(-707). Let q = -4/101 + d. Which is smaller: q or -2?
-2
Let h be 36681/(-117) - 2/(-3). Let u = h - -313. Does u = -2/7?
False
Let q = -5 + 7. Let b(x) = -5*x + 2. Let a be b(q). Let h = -6 - a. Do h and 2 have different values?
False
Suppose 0 = -2*d + 3*d + 5*w + 25, 4*w = -d - 20. Suppose d = 2*p - 11 - 13. Is p bigger than 13?
False
Suppose -3*b = 2*k - 8, -2*k - 4*b + 5*b - 8 = 0. Which is bigger: -14/5 or k?
k
Let m = -6 + 5. Suppose 15 = 3*t + 5*c, 2*c - 3 = 3*t + 3. Is t > m?
True
Let g(v) = -v**2 + 11*v - 8. Let u be g(9). Let c be u*(-2)/(4/(-1)). Let f be 1/((-7)/(-2) + -1). Which is bigger: c or f?
c
Suppose m + 0 + 1 = -2*u, 5*u = -2*m - 1. Let g be 1 + m - 0/1. Let h = g - 0. Is -3 < h?
True
Let f be ((-2)/6)/(1/(-12)). Suppose f*v = -v. Which is bigger: v or -3/13?
v
Let d = -14 + 2. Let w = d + 11. Let j = 13 + -8. Is w at least as big as j?
False
Let l be (-108)/(-20) + (-6)/(-10). Suppose -y + 10 = -l*y. Which is bigger: y or -3?
y
Let a(z) = -12*z**2 - 4*z - 3. Let m be a(-1). Which is greater: m or -7?
-7
Let g = 27 + -26. Which is smaller: g or -1/19?
-1/19
Let o(l) = l + 1. Let t be o(-1). Let g be (t - (-4)/(-20)) + 1. Which is smaller: g or -1/4?
-1/4
Let i be (-5)/2*(-2)/1. Which is greater: 15/4 or i?
i
Let r = -1 - -3. Suppose 2*z = z + 10. Let i(c) = -c + 11. Let s be i(z). Is r greater than s?
True
Let j = 23/42 - 3/14. Let c(z) = -z**3 - z - 1. Let k be c(0). Are j and k nonequal?
True
Let h(r) = 4*r**2 - 4 + 0*r**2 - 5*r - 3*r**2. Let b be h(5). Let s be (-1)/4 - 7/4. Which is smaller: b or s?
b
Let l = -0.9 + -0.1. Let d = 3.06 - 0.06. Let k = d + -1. Which is smaller: k or l?
l
Suppose -2*g = -2*r - 270, -11*r - 3*g = -7*r + 575. Is r at least -139?
False
Let a = -4 - 6. Let l be 9/(-15) + (-46)/a. Suppose 5*t - t - 14 = 5*p, -l*t + 2 = p. Which is smaller: t or -1?
-1
Let t = -19/45 + 1/5. Which is smaller: -1/2 or t?
-1/2
Let g = 5 + -3. Let o = -4 + g. Let n be o*((-6)/4 - -1). Which is greater: n or 2?
2
Suppose 5*x = -5*a + 40, -5*x - 6 + 34 = a. Suppose 5 = 2*l - s - 5, 0 = 3*s. Suppose p - 4*c - 11 = -c, p - l*c = 17. Is a < p?
False
Let l(i) = i - 10. Suppose -j = -5, 0 = 2*s - j - 4 - 7. Let r be l(s). Suppose -t + 4 = -5*t. Is r less than t?
True
Let j be 3/(18/15)*-2. Let f = -23 - -16. Let v = j - f. Which is smaller: v or 3/5?
3/5
Suppose 5*g = -s - 0*g + 13, s - g - 1 = 0. Suppose s = -3*j - 0. Which is greater: -3/5 or j?
-3/5
Suppose p + 5*m + 17 = 0, 2*m