)/3). Let w be b + (-26)/(-8) - 3. Let k = 65/276 - -1/69. Which is smaller: k or w?
w
Suppose 2*u + 3*s = 16, -2*u + 7 = -s - 1. Suppose -4*c - 2 + 6 = -3*p, 0 = 5*c + 3*p - u. Which is bigger: c or 3/4?
c
Suppose -2*m - 3 = -l, 1 = l - 0*l - 3*m. Let n be 5/l*6/5. Which is smaller: 1 or n?
n
Suppose 0 = -7*n + 2*n. Suppose 0 = 4*t - 2*w + 14, t - 3*w = -n*w + 9. Is -6 not equal to t?
False
Let c = 74 + -103. Which is bigger: 0 or c?
0
Suppose 2*o - 29 = -h, 0 = -3*h - o + 100 - 18. Suppose -5*a = 2*s + h - 6, 0 = -2*a - 5*s - 21. Does a = -4?
False
Suppose -5*z = 2*f - 41, 6*f + 3*z = 2*f + 47. Let t be f/6 + 32/(-6). Is t <= -5?
False
Suppose 4*t - 20 = -t. Suppose 3 = -v + t. Which is greater: v or 0?
v
Let w(v) = -v + 10. Let l be w(11). Let t(r) = -r**2 + 9*r - 7. Let d be t(8). Let s = d + -3. Which is smaller: l or s?
s
Let t be (-1 - 10/(-6))*-9. Suppose 0*h = 3*h + 3. Let p be ((-5)/(-4))/(h/4). Is p greater than t?
True
Let r = -44 + 68. Let c = -24 + r. Which is bigger: c or 20?
20
Let v = -13 + 23. Let w be (-2)/v + (-5)/(-25). Do w and 2/11 have different values?
True
Let t(h) = -5*h**3 - 5 - 1 + 4*h**2 + 4*h**3 + 2*h. Let u be t(4). Are u and 3 equal?
False
Suppose 4*v = -0*v + 5*a + 41, 3*v = -3*a + 24. Let n(z) = -3*z**2 - z - 1. Let j be n(-2). Let k = v + j. Which is greater: k or -1?
-1
Let g be (2/(-6))/((-4)/(-24)). Let y be g/(-6)*12/(-10). Suppose -3*z = -z. Is y at most as big as z?
True
Let q be (-7)/14 + (-189)/6. Which is smaller: q or -31?
q
Suppose -5*w + 40 = 4*s, 0*w = 4*w - 2*s - 6. Suppose -10 = -5*g - 5*a, w*g - 7 = -3*a - 1. Let j be 2/2 + (-2 - -1). Are j and g non-equal?
False
Suppose 5*w - 33 = 3*a - 0*a, -5*w + 45 = -5*a. Let y = a + 6. Suppose 2*n + 2*n - 12 = y. Which is greater: 2 or n?
n
Suppose 9 = 7*d - 4*d. Let h = 3/238 - -2609/714. Which is smaller: h or d?
d
Let g = -5 - -4.9. Let l = 5 - 3. Let h = l + -2. Which is smaller: g or h?
g
Let c = -65.94 + 66. Is 0.2 less than c?
False
Let f(a) = -a**2 + a + 68. Let g be f(0). Let q be (g/11)/(-4) - -1. Suppose 0 = -4*r + 5*l - 14, -5*r + 3 = -l + 5*l. Is r greater than or equal to q?
False
Let c(f) = -f**2 - 5*f + 2. Suppose -2*i - 2*i - 45 = 5*u, u = -4*i - 25. Let g be c(u). Suppose -5*o - 21 = v, g*o + 3 = 2*v + 3*v. Which is bigger: 0 or v?
0
Let c be -4 - -1 - (-1 - 24). Suppose -c = -5*a + 3*l, 0 = -6*a + 2*a + 4*l + 16. Do 6 and a have different values?
True
Let i(t) = -t**2 - 6*t - 3. Let y be i(-5). Which is smaller: y or 10/7?
10/7
Let a(s) = -s**3 - 8*s**2 - 5*s. Let r be a(-7). Which is bigger: r or -13?
-13
Let w be 4 - (33/9 - 2). Let b = 1 - -2. Which is smaller: w or b?
w
Let n = -802/5 + 161. Let y be (-4)/10 - (-7)/5. Let t = y + -1. Is n greater than t?
True
Let p(t) = t - 8. Let q be p(7). Let l = q - 5. Do l and -7 have different values?
True
Let w be ((-6)/9)/((-4)/30). Suppose -o = -3*z + 7 - 0, -5*o = -w*z + 25. Let l be 2 - (1 - 5/o). Which is bigger: l or 1?
1
Suppose 6*p - 4 = 2*p. Suppose -5*z - 4*r = 25, -6 - p = -3*z + 2*r. Is -3 at most as big as z?
True
Suppose 27*j - 32*j - 10 = 0. Which is greater: -5/4 or j?
-5/4
Let q = -19 + 19.92. Let k = -0.08 - q. Which is greater: -4 or k?
k
Let r = 5 - 9. Let h = 4 + r. Let l be 1 + (-3)/4*2. Which is bigger: h or l?
h
Let b = 3.04 - 0.04. Let m = b - 2.4. Let r = -0.7 + m. Is -9 at most r?
True
Let n = 4.27 - -0.73. Let a(b) = -b**2 + b - 1. Let d be a(0). Is n equal to d?
False
Let o(w) = 4*w + 17. Suppose 0 = -y - 3*y - 36. Let l be o(y). Which is smaller: -18 or l?
l
Let l(u) = u**2 + 3*u + 3. Let c be l(-2). Let y = -80 + 81. Is c less than y?
False
Suppose 14 = -j - 0*j. Let d be (1/j)/(6/120). Let n = 123/91 + d. Is n at least -1?
True
Let r = 0.16 + -0.16. Let f = 2.5 - 3. Which is greater: f or r?
r
Suppose -4*i + 33 = s, 2 = 2*i + 2*s - 22. Which is smaller: 8 or i?
i
Suppose -2*c + 3*z - 3 = 6, -3 = -3*c - z. Do -1/7 and c have different values?
True
Let m = -2 - -7. Let d be m - (1 - 0) - 0. Suppose 0 = -3*i + 4*i, -2*i = -d*o - 4. Which is smaller: o or -1/3?
o
Let t = -1/10 + -3/20. Suppose 5*n + 3*y = -32, 2*n + 5*y + 4 + 5 = 0. Let f = -5 - n. Do t and f have the same value?
False
Let s be 4 - (10 - 3) - -2. Which is bigger: s or -2?
s
Let h = 30 - 89/3. Let z be -1*2/(-1 + -1). Suppose -z = 3*q + 4*w, 5*w + 4 = 5*q - 6. Which is greater: q or h?
q
Let s = 8.6 + -11. Let u = -2.5 - s. Do u and 0.3 have different values?
True
Suppose -28 = -g + 5*g. Let i = 11 + g. Let d = i - 4. Which is bigger: -2 or d?
d
Let s(m) = m**3 - m**2 + m. Let z be s(2). Suppose -t + 15 = -z*t. Which is smaller: 2 or t?
t
Suppose -k - 48 = k. Let z be (-3)/6*k/4. Is z > -0.3?
True
Let c(n) = -n**2 - 5*n + 7. Let a be c(-6). Which is bigger: a or 7/3?
7/3
Let b(c) be the second derivative of 7/2*c**2 + 0 + 1/6*c**3 - 4*c. Let p be b(-6). Does p = -3/5?
False
Let n = 113/112 + -33049/1008. Let y = -32 - n. Are y and -1 non-equal?
True
Let v be (-2)/(2*(-2 - -3)). Let a = -1 - v. Which is greater: a or -1?
a
Let o be 1/2*112/7. Let c be (-2)/o*20/55. Is 0 smaller than c?
False
Suppose 21*y = 12*y - 189. Which is greater: y or -17?
-17
Let l be ((-5 + 7)/(-92))/((-1)/8). Which is bigger: l or -1?
l
Let p be (-14)/(-21)*6/(-146). Is p less than -1?
False
Suppose g - 5*s - 810 = 0, 4*s - 2350 = -3*g + 118. Let o be 1270/g + 3/(-2). Which is smaller: o or 0?
0
Let n(g) = 4*g + 6. Suppose -4 - 16 = 3*t + 2*l, -4*l = -2*t + 8. Let w be n(t). Is w at most -10?
True
Suppose -4*t - 21 = -5. Let y(u) = -u**2 + 4*u - 5. Let h be y(4). Do h and t have the same value?
False
Suppose -61 = -3*a + 23. Let l be (134/(-60))/(a/(-10)). Let v = l - 13/12. Which is bigger: v or 1?
1
Let m = -15 + 12. Is -1/5 <= m?
False
Let x(k) = k + 7. Let u be x(-5). Suppose l - 3 = -u. Is l <= 2?
True
Let l = -8 + 15/2. Suppose -3*t + t = -4. Suppose 2*n + t*r = -10, 19 = -3*n + r - 5*r. Which is bigger: n or l?
l
Let h = 6 - 5. Suppose 2*p = p. Let i = h + p. Which is smaller: -2/7 or i?
-2/7
Suppose 2*g + 4*a = 8, -g - 5*a + 7 = g. Let c be 14/g + 2/3. Suppose -2 = -c*l + l. Which is greater: l or 2/5?
l
Let d = -4 - -5. Suppose 3 - d = -i. Let h be 0 + -1 - (-1)/(-1). Is i less than h?
False
Let x = 18657/13 + -1434. Let j = -1 + x. Suppose -3 + 2 = q. Is q >= j?
False
Let a = -503/8 + 1225/24. Let r = a - -23/2. Let w = -4 + 2. Which is smaller: w or r?
w
Let y = -7 - -10. Let c = -6 + y. Let o = c + 2.9. Which is bigger: 2 or o?
2
Let z = 29 + -14. Is z greater than 81/5?
False
Let l be 64/(-10) - (4 + 0). Do -9 and l have the same value?
False
Suppose w - 48 - 16 = 0. Let t = w - 319/5. Let k = -0.3 + 0.4. Is k greater than or equal to t?
False
Let v(j) = j**3 - j. Let k be v(-2). Let a be -2 + ((-3)/k - -2). Are 2/7 and a equal?
False
Let i = -71/20 + 19/5. Which is smaller: 1 or i?
i
Let c = 0.6 + -0.7. Let n be 2/(-24)*(-90)/20. Are c and n nonequal?
True
Let h be 12/(-18) - (-23)/3. Which is greater: h or 10?
10
Let x = 3.9 - 2.8. Let m = 7.9 + x. Is 1/4 greater than m?
False
Let k = 5/2 - 2. Suppose -5*i - 4*c + 38 = 0, 37 = 5*i - c + 9. Let n = 8 - i. Which is smaller: k or n?
k
Let b(c) = c**2 + c. Let a(o) = 5*o**2 + 19*o + 1. Let d(u) = a(u) - 6*b(u). Let z be d(13). Let x be z/4 - 6/(-24). Is 0 < x?
True
Let i = -11.6 + 11.7. Is -5 bigger than i?
False
Let t be (0/(-1 - -3))/2. Let m = -220/3 - -72. Which is greater: t or m?
t
Let y be 8/(-28) - 200/(-14). Suppose -5*u - 3*c = -16, -5*u + c + y = 3*c. Let x = u - 1. Is -1/7 at least as big as x?
False
Let w = 2 + -5. Suppose 5*r + 2*d = 5 - 15, 4*r + d = -8. Is r greater than w?
True
Suppose 0 = v - r + 2, 3*v - 5*v - 4*r + 26 = 0. Suppose v*f = -0 + 9. Suppose -3*i = 3*g - 7 + 1, 4*i = -4. Is f at most as big as g?
True
Let f(a) = 8 + 9 - a - 4. Let m = -16 - -22. Let w be f(m). Which is greater: 8 or w?
8
Let o be (-3)/2*(-16)/6. Suppose -y + x + o = 0, -8 = -5*y + x + x. Let a be ((-6)/(-3) - -1)/6. Which is smaller: y or a?
y
Let o(j) = -j + 3. Let f be o(3). Which is smaller: f or -3/7?
-3/7
Let y = 6 + -4. Let x = -1 + y. Is x < 1?
False
Let h(b) = -b**2 - 5*b - 2. Let x be h(-4). Let a = -3/25 - -81/50. Is a > x?
False
Let c(o) = o**3 - 9*o**2 + 7*o + 8. Let q be c(8). Do -2/53 and q have the same value?
False
Let y = -6.95 - -7. Suppose -