10/5313. Which is bigger: 0 or n?
n
Let k = -6 + -13. Are k and -20 unequal?
True
Let b = 473/6 - 79. Which is bigger: b or -0.1?
-0.1
Let v = 0.3 - 1.3. Suppose 0 = 4*z - 3*p - 0 + 1, -4 = 4*z - 4*p. Which is smaller: z or v?
v
Let l(k) = -k**3 - 6*k**2 + 10*k + 1. Let r be l(-7). Let o be (3/14)/(15/r). Which is bigger: o or 2/9?
2/9
Let j = 11 + -11.46. Let h = -0.04 + j. Which is smaller: -0.2 or h?
h
Let k be (-6)/24 + 34/8. Suppose k*u = -5*t + 2*u - 12, 2*t = -5*u - 9. Which is greater: t or -4?
t
Let h be ((-2)/(-5))/((-6)/(-60)). Suppose o + h*n + 5 = -11, -4*o + 4*n = -16. Let u = 17 + -135/8. Which is bigger: o or u?
u
Let m(p) = -3*p - 2*p + 4*p + 4. Let z be m(4). Let s be z + 2 + 12/(-3). Is s at least 0?
False
Let o(n) = n**2 - 6*n + 2. Let m be o(6). Suppose i - m = -1. Is i greater than 2/5?
True
Suppose 6 = -2*z - h + 3, 0 = 3*z + 2*h + 5. Let p(s) = s + 1. Let b be p(-3). Let q = b - -2. Is q at most z?
False
Suppose 2*g + 16 = -5*a, -3 = a + g - 1. Is -2 < a?
False
Let a be ((-1)/2)/((-6)/(-24)). Is 0 greater than or equal to a?
True
Suppose s = 2*p + 7, 0 = 4*p + 5*s + 28 + 7. Let c = 7.2 - 6. Let y = 0.2 - c. Is y bigger than p?
True
Let c be (-6)/(3 + -1) + 3. Suppose -6*x + x = c. Which is smaller: x or 1?
x
Let s = 0.7 - 0.7. Let f = -3 + 2. Let d = s - f. Is d greater than 1?
False
Let y be (-95)/(-10) + -4 - 4. Is -4 < y?
True
Suppose b - 1 = 4*l, 3*l + 3 = 5*b - 2. Is b smaller than 2/119?
False
Suppose -11*k + 18 = -15. Is 2 smaller than k?
True
Let u = -13 - -13. Let j = 13.9 + -21.76. Let c = j - 0.14. Is u >= c?
True
Let h be ((-6)/(-40))/((-6)/(-4)). Let t(k) = -k**2 + 2*k - 1 + 0*k**2 + 2*k**2 - k. Let n be t(1). Is h greater than or equal to n?
False
Let r(s) = -4*s**2 - 2*s - 2. Let f be r(-2). Which is smaller: -15 or f?
-15
Let s = -8 + 8. Let m = 1 + s. Which is bigger: 0.1 or m?
m
Let z = 238825 + -3106639/13. Let w = z - -147. Is 0 at most as big as w?
False
Let d(r) = -r**2 - r + 1. Let l(w) = -4*w**2 - 19*w + 16. Let v(z) = -5*d(z) + l(z). Let g be v(13). Is g at least as big as -2?
True
Let o(i) = -16*i**2 + i - 4. Let b be o(2). Which is bigger: b or -67?
b
Let s = -13 + 11. Let x be 200/(-90) + s/(-9). Which is smaller: x or -3?
-3
Let f = -9 + 8. Suppose -3*r = -0 + 9. Which is smaller: r or f?
r
Let p = 9.13 + -0.13. Let h = -51 + 52. Is p at most h?
False
Let s(q) = 3*q - 5. Let h be s(4). Suppose 1 = w + h. Let f be (-1 - 16/w) + 1. Which is greater: f or 2?
f
Suppose -3*t - 3*u - 18 = 0, -2*t - 4*u + 7*u + 13 = 0. Let n = -3.1 - -3.2. Is n smaller than t?
False
Suppose 2*s = 4*s + 6. Suppose -4 + 0 = 2*u. Which is smaller: u or s?
s
Let r be 2/3 - (-2)/12. Which is smaller: 0 or r?
0
Let s(u) = u**3 - 7*u**2 + 8*u - 7. Let a be s(6). Suppose 3*x + a*y = 6*x + 35, x = -4*y + 11. Let o(b) = b**2 + 5*b - 2. Let d be o(x). Is -3/5 less than d?
False
Let d(r) = -r + 4. Let n be d(6). Suppose 2*s = -0*s - 2. Which is smaller: s or n?
n
Let q be ((-1)/(-2))/((-13)/2). Let x = -12 + 13. Let c = -2 + x. Which is bigger: q or c?
q
Let m = 0 - 1. Let r be (-3)/(-6)*(-36)/(-225). Which is smaller: r or m?
m
Let p = 3 + -5. Let w = 2 + p. Suppose w = -5*a - 2 + 7. Which is bigger: a or -2/11?
a
Let p be (-1 + 2 - 1)/2. Let n be 2/6 + (-2)/(-3). Suppose -2*z - n = 1. Which is smaller: p or z?
z
Suppose n = 3*n - 4. Suppose g = -g + n. Which is bigger: -1/9 or g?
g
Suppose 4*v + 16 = 2*u, 0*u - 4*u - 5*v = 7. Suppose k = r + 5, k + 7*r - 3*r + 20 = 0. Suppose k = -2*d + 6*d + 4. Is d less than or equal to u?
True
Let k be 8/(64/(-30))*(-4)/(-6). Is k < -0.1?
True
Let q = -57 - -96. Let b = q - 40.9. Let d = b - -2. Is -0.1 at least as big as d?
False
Suppose -2*c - 24 = -4*d - 5*c, -5*c = -3*d - 11. Are 4 and d unequal?
True
Suppose -3 - 13 = -4*d. Let z = -55 + 57. Which is smaller: z or d?
z
Let j = 0 - -1. Let c be 0 + 0 + 1 + 2. Let m be (-5)/(-15)*(c - 0). Is m less than or equal to j?
True
Let d = 5 - 17. Which is greater: -11 or d?
-11
Let d = -7 + 6.8. Which is bigger: 3/10 or d?
3/10
Let x be (2/35)/((-2)/(-10)). Let k = 3/14 + x. Let p = 1/6 - k. Is p bigger than 0?
False
Suppose 0*o - 60 = 3*o. Which is smaller: -2 or o?
o
Let n be (-2)/7 - 4/(-14). Let c be ((-2)/12)/(6/(-12)). Is n smaller than c?
True
Suppose i = 2*u + 1 + 4, i - u - 4 = 0. Which is bigger: i or -1?
i
Let v be -15*(-8)/12 - 2. Suppose -3*o + i = v, -2*i = 3*o - i - 2. Let j be (6/(-9))/(-9 - -2). Which is bigger: j or o?
j
Suppose 5*o - 4*y = 371, -6*o + 2*y = -8*o + 134. Is 70 less than o?
True
Let p be 322/6 - (-6)/(26 + -8). Which is bigger: p or 55?
55
Suppose 2*z + 2 = 4*z. Let c = 8 + -5. Let v be 22/6 + (-2)/c. Is z not equal to v?
True
Let k(w) = -w**2 + 7*w - 6. Let m be k(7). Let p be (-4)/m - (-25)/(-15). Which is bigger: -2/13 or p?
-2/13
Let v be 268/504 + 15/(-6) + 2. Is v less than 0?
False
Let z = -164 + 299. Which is greater: z or 136?
136
Let q = -12 + 18. Let z = q - 5. Which is bigger: z or 4?
4
Let c = -3 + 16. Suppose -12*t + 2 = -c*t. Let w = 5 + -3. Do t and w have the same value?
False
Let d = -10251/14 - -731. Let i = d - -12/7. Suppose -5 = -5*k - 0. Is i bigger than k?
False
Let q = 16 + -15.93. Let x = -0.07 + q. Which is smaller: x or -1/6?
-1/6
Let u = -9 - -8. Do u and -6/5 have the same value?
False
Let f(l) = l**3 - 2*l**2 - 2*l + 2. Let g be f(1). Are g and -7 equal?
False
Let w = 201/2 + -3817/38. Which is smaller: 1 or w?
w
Let x = -9 + 1. Let u = -5 - x. Is 0.1 at most as big as u?
True
Suppose 3*c + 0*c - 18 = 0. Suppose 5*v = 7*v + c. Let r(s) = -s**3 - 3*s**2 + 4*s - 4. Let x be r(-4). Is x smaller than v?
True
Suppose 0 = -3*u - 5*o - 15 + 5, 3*u + 3*o = 0. Suppose 8*j + 180 = u*j. Let v be 2/5 + 42/j. Are 0 and v nonequal?
True
Let k = -5 + 5. Is 18 <= k?
False
Let a(s) = 9*s**2 + 2*s - 1. Let c be a(1). Let d(x) = x - 12. Let y be d(c). Let w be (1 - 1)/(y/(-2)). Is -1/8 > w?
False
Let r(d) = -d. Let z be r(1). Let h(l) = l - 6. Let g(v) = v + 12. Let n be g(-6). Let a be h(n). Which is smaller: a or z?
z
Let a be -2 + (-2)/(-10)*13. Which is smaller: a or 2?
a
Let o = -142/215 + -6/43. Suppose 12 + 58 = -5*q. Let w = q - -13. Are w and o equal?
False
Let n = 7 + -9. Is 0.5 <= n?
False
Let n(c) = c**3 - 7*c**2 + c - 8. Let y(w) = -2*w - 3. Let r be y(-5). Let s be n(r). Let j be ((-18)/(-11) - 2)*s. Which is bigger: j or 1?
1
Let l(x) = 24*x**2 - x. Let z be l(-1). Suppose 0 = 4*c - 9 + z. Let m be -1 + (c - -1)/(-6). Which is greater: 0 or m?
0
Let j be 1/2 - 3256/1840. Let s = -20/23 - j. Is -2 < s?
True
Let c(w) = w**2 + w - 5*w**2 + 0*w. Let a be c(-1). Let v = a - -4. Which is smaller: 2/11 or v?
v
Suppose 3*r - 22 - 17 = 0. Which is greater: 14 or r?
14
Let y = -4 + 4. Let h = -4 - y. Let k be 0/(-1)*2/h. Are k and 3/7 non-equal?
True
Let n be (-25)/(-8) - (-12 - -15). Is n at most as big as -2/9?
False
Suppose -2*c - 2 + 0 = -2*q, 2*q - 1 = 3*c. Suppose -q*n + 0*n + 4 = 0. Let z(a) = -a. Let r be z(0). Is n less than or equal to r?
False
Let v = -8 + 6. Let p be 0*(v - 1)/(-3). Let c be p + -2 - 1*-3. Is c less than 1?
False
Suppose u = -2*p + 2*u + 7, -5*u - 25 = 0. Let v = 81 - 890/11. Is v greater than p?
False
Let j(v) = 2*v**2 + 64*v + 1. Let k be j(-32). Is 5 >= k?
True
Let g(r) = -2*r**3 - 2*r**2 + 3*r + 2. Let k be g(-2). Let j = 0.95 + 0.05. Let l = j - 0. Which is greater: k or l?
k
Suppose 0 = -3*f - 0 + 9. Is 30/7 < f?
False
Let v = 204 + -1629/8. Let l be -1*-4*(-2)/8. Are l and v equal?
False
Let j = 0.5 + 8.5. Let y = j - 4. Let l = 2 - y. Which is smaller: 1/4 or l?
l
Let u = 5 + 0. Let n = 5 - u. Which is smaller: n or -3/10?
-3/10
Let h(k) = -k**2 + 5*k - 2. Suppose 0 = q - 1 - 2. Let x be h(q). Which is smaller: x or 6?
x
Suppose -3*h - 3 = 3. Suppose -1 = 3*x + 5. Is h <= x?
True
Let j = -4.8 - -5. Let i = 11477 - 46155/4. Let f = i - -61. Is f at least j?
False
Let a = -207/4 + 52. Let c(v) = -3*v + 3. Let l be c(3). Let d = l + 5. Which is greater: d or a?
a
Let m = -120 - -131. Is m greater than 11?
False
Let t be 1/(-9)*(-2 - (3 + -10)). Is t bigger than 1/2?
False
Let m(p) = -p**2 + p + 2. Let g be m(0). Let l(t) = t + 0*t + g + 1. Let j be l(-4). Which is bigger: j or -1/2?
-1/2
Let w be (((-3)/(-3))/(-1))/1. Let s be (4/5)/(10/25). Suppose 0 = s*