+ 1. Suppose -20 = 5*k + 3*u, -p*u + u - 10 = 0. Which is bigger: k or 0?
0
Let g = -453/65 - -1401/13. Let a = g + -103. Which is bigger: a or -2?
-2
Suppose 0 = -b - b - l, -b - 1 = l. Which is smaller: b or 2?
b
Let n = 19 + -25. Let h = -1 + -3. Let s be ((-8)/1)/(n - h). Which is greater: 2 or s?
s
Suppose -2*k + 4 = 2, 0 = -5*x - 5*k + 85. Is 16 less than x?
False
Let n = -105 - -108. Which is greater: n or -1?
n
Let q = 783/11 - 71. Is q at most as big as -1?
False
Suppose -4*l + i = -9, -6*l - 3*i = -l - 24. Is l <= 0.1?
False
Let t = 6 - -1. Suppose -x = -3, -3*z - t*x - 3 = -4*x. Is z not equal to -4?
False
Suppose -9*p + 5*u - 56 = -10*p, 3*p + 4*u = 124. Is p at least 38?
False
Let u be (-6)/4*(-120)/18. Suppose 3 = -o + u. Which is smaller: o or 0?
0
Let z = -76 + 77. Which is bigger: 11 or z?
11
Suppose -24 = -5*u + 1. Suppose m = u*m - 84. Let n = m - 41/2. Which is smaller: n or 1?
n
Let z(f) = -3*f + 17. Let q be z(6). Is 2/81 != q?
True
Let m = -569/4 - -143. Let u = m + -1. Let t be -1 - -2*(-3)/(-9). Is u at least t?
True
Let v = 7 + -7.1. Let m = v - -0.08. Let i = -2.98 + m. Is i at least 0.1?
False
Let b be (1/(-2))/(1/6). Let c = -3 - b. Let d = -3 - c. Are -4 and d unequal?
True
Let l = 5 + -6. Let p be (-1)/((-33)/32 - l). Suppose -4*n - 20 = 0, 0 = -3*g - 3*n - n - p. Is g at least as big as -4?
True
Let u(d) = 3*d + 6. Let f be u(-3). Let l be (-6*1)/(-1 + -1). Let w be (-1)/(l/f - 0). Is 1 at most w?
True
Let h be (-4)/3*1554/28. Is -74 at least h?
True
Let v be ((-1)/(-4 + 8))/((-30)/(-64)). Is v > -2?
True
Suppose k - 4*k = -12. Let f be 0/(k + 9/(-3)). Let u be 16/(-6) + (3 - f). Is u <= 1?
True
Let w = -3 - -5. Let m = -13 - -20. Let b = m + -6.8. Is b >= w?
False
Let w(t) = -3*t - 23. Let h be w(-12). Is 12 smaller than h?
True
Let f = -13/1744 + -6/109. Let n = f - -41/144. Are 0 and n equal?
False
Let a(b) = b**2 - b. Let i be a(0). Is 1/9 not equal to i?
True
Suppose b - 8 = 2*b. Let i(h) = -h**3 + 6*h**2 + 9*h - 8. Let m be i(7). Let x be (-2)/(-4) + m/b. Is 2/3 at least as big as x?
True
Let j(m) = -m**3 - 5*m**2 + 4*m - 13. Let p be j(-6). Which is smaller: p or 16?
p
Let l be (90/26)/(-3) + 1. Let a(i) = -10*i. Let h be a(3). Let d = -30 - h. Which is smaller: d or l?
l
Suppose 3*f - 7 = 2. Suppose 0 = f*l + 2*p - 7*p - 12, 2*p + 10 = -4*l. Let r be (-4)/10 + (-6)/10. Is r at least as big as l?
True
Let l be 5/10 - 1 - (-1)/1. Suppose 2*s = j - 2, -3*s - 8 = -2*j - 2*j. Which is smaller: l or j?
l
Let d be (3 - 5) + -1 + 3. Suppose 10 = -5*z - 5*y, 5*z + 8 = -d*y - 4*y. Let q be -1 - z - (-5)/8. Which is bigger: q or -1?
q
Let h be (10/15)/((-2)/36). Is -3/8 smaller than h?
False
Let p(a) = 24*a**3 + a**2 + a. Let l be p(-1). Let r be (1/2)/(1/l). Let d be (-1)/r*(-10)/(-5). Which is greater: -1 or d?
d
Let t = 6 + 1. Is t >= 10?
False
Let y = -0.05 - 0.05. Which is smaller: y or 25?
y
Suppose 4*l - 5 - 50 = -3*u, -4 = -4*l. Suppose -7 + u = 2*b. Which is smaller: 4 or b?
4
Suppose 3*o = 3*f - o - 8, -o = -5*f + 2. Which is greater: f or -3/7?
f
Suppose q - p = 8, -4*p + 12 + 10 = 5*q. Let n be (-8)/q*12/56. Which is greater: 1 or n?
1
Let w(s) = -8*s + 35. Let c be w(6). Is -10 at most c?
False
Suppose w + w = -4*v + 20, v - 5*w = 5. Let y be (-3)/(-10)*4*(-30)/(-12). Which is smaller: v or y?
y
Suppose 6*a - 2*a = -d + 20, -4*a + 28 = 3*d. Let r(i) = i**3 - 9*i**2 + 2*i - 6. Let s be r(9). Suppose x = 3*x - s. Which is greater: a or x?
x
Let x = -0.4 + 0.5. Let d = -0.3 - x. Which is smaller: 0 or d?
d
Let c be ((-1 - -3) + -1)/(-1). Let b be (2/(-2) + 2)*c. Let o(m) = -m**2 + 8*m - 15. Let p be o(5). Is b <= p?
True
Suppose -n = -2*z - 1, -n - 2*n - 7 = 4*z. Let t be ((-1 - 1) + 1)/1. Let i = 1 + t. Which is smaller: i or n?
n
Suppose 3*j + 0*j = 96. Let i be (1*-1)/((-8)/j). Let h be (12/16)/(2/8). Which is bigger: h or i?
i
Suppose -3*i - 70 = 5*s + 2*i, 5*s + 54 = -i. Let t be (-1)/4*(-5)/s. Is t at least 1?
False
Suppose -2 = 4*z + 5*b + 9, -3*z - 22 = b. Are z and -5 equal?
False
Let x = -879 + 2669/3. Which is greater: 10 or x?
x
Let z be 10/7*5/20. Let m = z + -29/42. Do m and -2 have different values?
True
Let u = 41 + -39. Are 20 and u equal?
False
Let x = -2 - -4. Let i(m) = -m + 6. Let g be i(5). Let y = g - x. Is y at least as big as -1/2?
False
Suppose 2*o + t = 15, -o + 7 = 3*t - 2*t. Suppose o - 4 = -2*d - 2*n, -n + 10 = -3*d. Which is smaller: -4 or d?
-4
Let a = -135 + 171. Is 34 at least as big as a?
False
Let d be (26 - -2)*(-1)/(-4). Let o = -2 - -7. Suppose -10 = o*m - 50. Which is smaller: d or m?
d
Let t(p) = p**3 + 9*p**2 + p + 7. Let x be t(-9). Let f = -5 - -11. Suppose 2*l - f = -2*k, -l + k + 3*k = 17. Is x <= l?
True
Let b = -2.022 + 0.022. Is b at most as big as -3?
False
Suppose -2*a + 0*t + 4 = 2*t, -5*t - 22 = -3*a. Suppose 0 = 4*x + 5*o - o + 40, 0 = a*x - 4*o. Suppose 3*y + 0 + 15 = 0. Are x and y nonequal?
False
Let h be 0/2 - (-4)/6. Let t(m) = m + 5. Let i be t(-5). Let x be 0*(0 - i - -1). Is h greater than or equal to x?
True
Let l = 2 + 0. Suppose -l*j = j - 6. Suppose -3*m - j = -2*m. Is m at most -1?
True
Let l(o) = o**2 + 12*o - 31. Let p be l(-14). Which is smaller: p or -7/2?
-7/2
Let v = -517/2 - -253. Suppose -1 = -r - 8. Which is smaller: v or r?
r
Suppose -1 - 1 = 5*s - 4*n, -n + 3 = 0. Suppose 4*f = 0, 2*j - 4*f - 4 = s. Suppose 3*k = -2*v, 5*v = -j*k + 2*v. Which is bigger: -5/4 or k?
k
Let b be (-63)/(-2) - 4/12. Let p = -31 + b. Suppose 5*i + 9 = 5*f - 6, 0 = 3*f + i - 1. Is f > p?
True
Let k(u) = -u**3 + u**2 + 2*u - 1. Let f be 15/10*4/6. Let p be k(f). Is 1 at most p?
True
Let f be (-2)/(-8) - (-3985)/(-36). Let k = 24 + 86. Let q = f + k. Which is smaller: q or -1?
-1
Let f = -19 - -19.98. Let i = f - -0.02. Which is bigger: -2/11 or i?
i
Let n = -86 + 86. Let y be (-2)/(-10) - 118/(-10). Let s be ((-16)/(-54))/((-8)/y). Is n greater than s?
True
Suppose -4*z - z + 3*v = 0, 4*v = 2*z. Let s be (18/21)/(1/(-7)). Let j be ((-12)/(-18))/(4/s). Which is greater: z or j?
z
Suppose -r + 3 = 2*r. Let w(i) = i**2 - 3*i - 5. Let m be w(5). Suppose -16 = -g + m*g - 4*t, 3*g - 4*t = -17. Is g < r?
False
Let j = 24 + -24.3. Is -3 equal to j?
False
Let y = 14 - 13. Let m be (38/36 - y)*1. Which is bigger: -1 or m?
m
Let j = -35 + 32.9. Let i = 2 + j. Let w = 0 + i. Which is smaller: 3 or w?
w
Let t = -2 - -3. Let v(i) = i. Let k be v(t). Suppose 4*g = 1 + 3. Is k != g?
False
Suppose 0*z - 11 = z. Do z and -9 have different values?
True
Let r be 8/28 - (-6)/(-21). Let a be (-1)/(1/10) - 2. Let b be 2/a*-4*1. Which is greater: r or b?
b
Let q(v) = -v + 3. Let s be q(5). Let p be 1 + s/1 + 3. Is p at least 1?
True
Let a(o) = -o. Let g be a(3). Let y be 3 - (g + 13/2). Are y and -1 non-equal?
True
Let g = 5 + -28. Which is smaller: g or 2?
g
Suppose -5*v = -20 - 5. Suppose -3*d = -2*o - 9, -d = -o + 3 - v. Suppose o*b + 14 = 2*l - 1, -3*b = 3*l. Is l greater than or equal to 1?
True
Let m = 2/69 - 77/276. Let n = 0 - 0.1. Is n greater than m?
True
Let z be (-8 - -2)*(-4)/3. Which is greater: 9 or z?
9
Let d = 5323/5 + -1061. Is d at most 5?
True
Suppose -3*d + 68 = 3*c + 2*c, 32 = d - 3*c. Suppose 2*n - 2 = 4*y - d, -n - y = 3. Which is smaller: n or -5?
n
Let i be (-18)/(-60)*(-66)/(-9). Is 1 <= i?
True
Let p = -0.78 + 0.88. Let k = -1.7 - 0.3. Are p and k unequal?
True
Suppose -z - 4*b = 18, 0*b - 3*b = -4*z + 23. Suppose z*s + 4 = -w, 2*s + 0*s = 2*w - 10. Which is bigger: w or 6/7?
w
Let u be 15*(-2)/12*2. Let c = -10 - u. Which is greater: c or -6?
c
Suppose 0 = -z + v + 2, 0 = 4*z + 4*v - 5 - 3. Is 2/31 at least z?
False
Let c be (3/(-2))/(6/(-16)). Let m = c - 3. Let d be (-156)/360 + (2 - 7/5). Which is bigger: d or m?
m
Suppose 0 = r + 4 - 2. Let l = 10 - 12. Is l bigger than r?
False
Let c = 0.72 - 1.72. Which is smaller: c or 13?
c
Let s be (-3)/15*60/(-9). Are 0 and s non-equal?
True
Let c(y) = -y**3 + y + 2. Let v be c(0). Suppose -13 = -3*x + 5*t, -v*x - t + 0*t = 0. Let j be (-2)/(-5) + x/(-15). Is j less than or equal to -1?
False
Let j(a) = a**2 + 5*a - 2. Let h be j(-4). Let u be 4/22 + 62/22. Let c be (-1)/(u/h) - 6. Which is smaller: c or -1?
c
Let j = 133 - 240. Is -107 bigger than j?
False
Let g be 4/(-668)*(4 + -3). Is 1 greater tha