 Which is smaller: r or 0?
0
Suppose 2*o + 2*y = 8, o + 2*y = 3*o. Let u be (-1)/o*(-8)/6. Let l be -1 - (4/(-1) - -1). Which is smaller: l or u?
u
Let l = 0.024 + -2.924. Let u = 0 + 3. Let o = u + l. Which is greater: o or 2?
2
Let z = 0.3 - 0.4. Suppose -2*d = -0 + 22. Let m = 8 + d. Which is greater: m or z?
z
Let b = -17 - -18. Let k = -31.8 - -31. Is b less than or equal to k?
False
Let p be (-1)/(-2)*5468/(-119). Let a = 160/7 + p. Let j = 12 - 12. Is a at least as big as j?
False
Let z be ((-2)/(-1) - 3)*-1. Let r(x) = -7*x**2 + 2*x - 1. Let o be r(z). Is -1 less than o?
False
Suppose 0*c - 2*c - 5*b = 23, c = b - 15. Let z be (-18)/(-14) + 4/c. Let l = -159/4 + 40. Which is greater: l or z?
z
Suppose 58 = 2*p + 56. Is p at least as big as 8/9?
True
Suppose 11 = 2*b - 19. Let l = b + -10. Suppose 3*p + 0*c = -4*c + 9, l*c = 3*p + 18. Which is bigger: p or -2?
p
Let z(c) = -c**3 + 3*c**2 + 4*c + 1. Let v be z(4). Suppose -f = -3 - 2. Suppose 3 - f = y. Which is greater: v or y?
v
Let b = 41 + -40. Let n be 2/4 - (-11)/35. Let q = -3/14 + n. Which is greater: q or b?
b
Let u(k) = -k**3 + k**2 - k - 1. Let v be u(-1). Let q be 1 + v - (-24)/(-9). Suppose 0 = -3*i + l + 7, i - l - 5 + 0 = 0. Which is smaller: i or q?
q
Let n(l) = -l**3 - 8*l**2 - 4. Let t(z) = z - 8. Let f be t(0). Let s be n(f). Suppose 3*u = 8*u - 4*i + 38, 4*u - 3*i + 30 = 0. Is u at least as big as s?
False
Let b be (1/4)/(18/808). Let r = 11 - b. Let o(v) = -v - 6. Let j be o(-6). Which is bigger: j or r?
j
Let g(q) = -q**2 - 2*q - 3. Let o be g(-2). Let j be (-2)/(-8) - (-7)/4. Let t = j + -4. Is o < t?
True
Let k(w) = w**2 + 2*w - 2. Let p = -6 + 9. Suppose 5 - 14 = p*d. Let q be k(d). Is 1 greater than or equal to q?
True
Suppose -20 = -4*r - 3*v + 25, -5*v = -5*r + 30. Let f be (1 - 2) + r/11. Is f at most as big as 0?
True
Let p = -21 + 20.8. Do -2/3 and p have the same value?
False
Let l be ((-2)/3)/((-2)/(-18) - 0). Suppose 3*c + 4*z = -17, -2*c - 8 = -5*z + 11. Which is smaller: l or c?
c
Let l(p) = 2*p - 18. Let o be l(11). Suppose -o*g - 20 = -2*g. Is -10 <= g?
True
Let c = 1 - -1. Let t = c - -5. Let s = 6.9 - t. Which is greater: 0.02 or s?
0.02
Let g = 4 - 6. Let a = -1.9 - g. Is -4/5 less than a?
True
Let p(y) = y**3 - 4*y**2 - 6*y + 3. Let q be p(5). Let g(f) = f**3 + 6*f**2 - 7*f + 3. Let s be g(-7). Suppose -s = -0*v + 3*v. Is q less than v?
True
Let m = 0 + -1. Let p be (-3)/(0 + 3/2). Let d be 0 - (-1)/(p/2). Is m bigger than d?
False
Let n be (3/2)/((-3)/(-4)). Let s be 8/6*(-66)/(-44). Suppose -4*w + n + s = 0. Is -2/7 bigger than w?
False
Let v = 311 + -4041/13. Let b(j) = -2*j + 16. Let a be b(8). Which is smaller: v or a?
a
Suppose -2*i - 1 = -3*i. Let c be (-1*2)/(-2) - i. Is c != 1/3?
True
Let r(h) = h**3 + 17*h**2 + h + 21. Let l be r(-17). Is 7 at most as big as l?
False
Let b = -7.1 - -7. Which is smaller: -1/4 or b?
-1/4
Suppose 0 = -4*u + 8 - 0. Is 0 less than or equal to u?
True
Let g = 39 + -38. Which is greater: 8/15 or g?
g
Let r = -212 - -318. Are r and 106 equal?
True
Let a = -1 + 3. Suppose a*w - 2 + 6 = 0, -2*w = b + 1. Let i = 83/3 - 26. Is i less than b?
True
Let t(d) = -2*d - 4. Let g be t(-5). Suppose f = -f - g. Is -2 != f?
True
Suppose 0 = -3*o + 4*o - 2. Suppose -4*a = -q - a + 14, o*q = -5*a - 5. Suppose -m = -f + q, 3*m + 0*m = -2*f - 10. Which is bigger: f or 2/5?
f
Let o be (-3)/(-4) + (-1608)/(-32). Which is smaller: 50 or o?
50
Let z be (-2)/(-6) + (-2)/(-3). Suppose -4*m + 1 = -5*b - 3*m, m + 3 = b. Let d be (-35)/(-21) + b/(-3). Which is bigger: d or z?
d
Let s(k) = 6 - 6 - 3 - 4*k + k**2. Let w(o) = o - 4. Let g be w(8). Let n be s(g). Which is smaller: 1/4 or n?
n
Let l be 7 + (-9)/(45/20). Let s = 15/2 - 21/4. Are l and s nonequal?
True
Let a = -1.3 - -1. Is 6 equal to a?
False
Suppose 3*d - 5 = 8*d. Is d greater than -7?
True
Let s be ((2/(-534))/1)/(4/(-24)). Which is greater: -1 or s?
s
Let l = -2.02 - -0.02. Let d be (3/(-4))/((-162)/48). Is d less than or equal to l?
False
Let z = -1 - 2. Let v be 1/2 - (z + 4). Which is smaller: -1 or v?
-1
Let v = -366 - -583. Let r = v - 8896/41. Which is greater: r or -1?
r
Let h(y) = 2*y + 16. Let w be h(-9). Let n be (1/(-2))/(5/w). Is n greater than 1?
False
Let m = -158 - -476/3. Is -72 >= m?
False
Suppose b = 4*b - 129. Let p = -134/31 - -4463/93. Let o = p - b. Which is greater: -2 or o?
o
Let b = 28 + -28.1. Which is smaller: b or 2.1?
b
Let x = 17/5937897 + 246753266342/730361331. Let w = x - 4062/41. Let t = w - 239. Which is greater: -0.2 or t?
-0.2
Let w(p) = -6*p**3 + 1. Let r be w(1). Suppose 0 = 4*b - b. Are b and r nonequal?
True
Let n(t) = 3*t - 20. Let a be n(8). Suppose k + a = 17. Is k smaller than 13?
False
Let n = -18/11 - -184/99. Which is smaller: 1 or n?
n
Let d = 0.13 + -10.13. Let z = d - -10.2. Is z bigger than -1?
True
Suppose 4*y = 4*q - 9 + 1, 0 = 4*q - 5*y - 5. Let h = 5 - q. Is h smaller than 0?
False
Let q = 0.1 + -0.2. Is q <= -1/4?
False
Suppose 4*x = -16, -5*y - 5*x = 34 + 1. Do -4 and y have different values?
True
Let v be 6/4 - 47/(-2). Is v equal to 25?
True
Suppose -4*s - 17 + 1 = 0. Suppose -5*n = -n - 4*a + 4, 2*n = -5*a - 30. Which is bigger: s or n?
s
Let k = -5.1 + 0.1. Let n = 99.9 + -95. Let c = k + n. Do 1/2 and c have the same value?
False
Let n be ((-8)/(-3))/((-6)/9). Let m(w) = -4*w + 5. Let j(r) = r + 1. Let i(a) = 2*j(a) + m(a). Let x be i(6). Do x and n have different values?
True
Let q(u) = -4*u + u**3 - 3 + 3 + 2*u**2. Let c be q(-3). Let l be (-2)/6 + c/18. Is 2/7 != l?
True
Let p(i) = -i**3 + 3*i**2 + 2*i. Let y be p(4). Let x = y + 10. Suppose x*r - 4*r - 2 = 0. Which is smaller: 1 or r?
r
Suppose -2*a - 5*n - 20 = 0, -2*a - 6 = 3*n + 6. Suppose -3*c + 12 = -v, 3*c - 2*v - 3*v = a. Do c and 6 have different values?
True
Let d be ((28*2)/(-4))/1. Let b = d - -15. Is b > 1/5?
True
Let t(x) = -3*x**2 + 5*x - 1. Let y(c) = 7*c**2 - 11*c + 3. Let z(l) = 5*t(l) + 2*y(l). Let f be z(3). Is f at least as big as -2/11?
True
Let y = 0.28 - 0.18. Is -16 greater than y?
False
Let d be -3 + (24/4 - 0). Is -0.2 bigger than d?
False
Let a = 19/6 + -7/2. Let b(r) = -r**3 + 5*r**2 + 3*r + 6. Let x be b(5). Suppose 3*t + 15 = x. Is t greater than a?
True
Let a = -4 + 0. Let s be a/(-6) - 3/(-6). Is 0 at least s?
False
Let p = 20710 + -102978/5. Suppose -5*a + 193 - 763 = 0. Let l = a + p. Is 0 less than or equal to l?
True
Let t(q) = q**2 + q - 5. Let k be t(-5). Let z be (-5)/(k/(-9)) + -11. Which is smaller: -9 or z?
-9
Let i = 1 + 2. Let r be (3 - 2) + -1 + i. Suppose w = -t - r, 4*w - 2*w + 9 = -5*t. Is 0.4 <= t?
False
Let f be 0 - 5*4/10. Which is smaller: 2 or f?
f
Let w be 6/(-1 + 4) + 0. Let i(a) = a**2 + 9*a + 4. Let o be i(-9). Suppose o*x + 5*z = 11, -z - w*z = -x - 10. Which is greater: -5 or x?
x
Let q(a) be the first derivative of 4*a**2 + 2*a + 5. Let b be q(-1). Which is smaller: -4 or b?
b
Suppose -2*u - 2*s + 50560 = 0, 3*u + 3*s = s + 75842. Let d = u - 125937/5. Let t = 95 - d. Is t bigger than -2?
True
Let y = -3 - -6. Suppose 0 = -4*r + 3*x - 15, -4*r - y*x = 9 - 0. Is -3/2 greater than or equal to r?
True
Let z(l) = -l + 7. Let d(h) = h**3 + 4*h**2 - h + 4. Let s be d(-4). Let w be z(s). Is w at least -3/10?
False
Let y = 137 - 222. Let k = -509/6 - y. Is k < 0.1?
False
Let w = 0.01 - -0.39. Let j = 0.1 - w. Let n = -37 - -110/3. Which is smaller: j or n?
n
Let z = 1 - 0.93. Let k = -1.07 + z. Is 4 less than k?
False
Let x = -43 + 61. Suppose -5*t - 16 = 3*f, 3*t - 7*t = 5*f + x. Let z = -3 - t. Is 1 equal to z?
False
Let b = -3.26 + 1.3. Let d = b - 0.04. Which is bigger: d or 1/2?
1/2
Let m(l) = -5*l**2 - 3*l. Let q be m(-2). Let h = -7 - q. Let z be h/(-12) + (-9)/(-27). Which is smaller: 1/5 or z?
z
Let s = -233935/127 + 1842. Which is bigger: s or -1?
s
Let w be (-23)/(-4) + 1/4. Let q be (w/9)/(2/(-3)). Let j be 0 - q/(-2)*10. Is j at least -3?
False
Let a = 135 - 135. Let o = -3 + -2. Let c be 2/5 + (-3)/o. Which is smaller: a or c?
a
Suppose 3*a = -0*a - 6. Is -3/4 at most a?
False
Suppose 77 + 27 = 4*m. Suppose 4*t - 4*d - 8 = 0, -m = -4*t - 0*d - 2*d. Which is bigger: 6 or t?
6
Let i be 16*(1*3 - (-255)/(-60)). Are -20 and i non-equal?
False
Let i = -3992/33 + 121. Which is bigger: i or 0?
i