- 5 = -4*b. Suppose 2*n = -2*n - y - 2, 4*y - 8 = b. Let q be (1/7)/(n/(-2)). Which is smaller: q or 1?
q
Let v = 2 + -2.2. Let m = -82 + 82.2. Is v not equal to m?
True
Suppose 0 = 6*k - 3*k. Suppose 2*n + 0*n = k. Which is bigger: n or -1?
n
Let w = -2.5 - -2.7. Suppose -r + 221 = -5*u - 74, u + 68 = 2*r. Let c = -292/5 - u. Which is smaller: w or c?
c
Let d be (-1)/3 + (-5)/3. Let p be d*(1 - 3 - 0). Which is bigger: 3 or p?
p
Let y(l) = l**2 - 4*l - 4. Let s be (-24)/9*18/(-8). Let q be y(s). Let m = q - 5. Is 3 greater than or equal to m?
True
Suppose 5*g = -4*t - 10, 0 = 3*t + 2*g + 3*g + 5. Let y be 0 - -1*(-11)/3. Which is greater: y or t?
y
Let t = -13 + 11. Is -3 less than t?
True
Suppose 4 = 4*r + 3*k, 8 = -4*r + 2*k + 32. Suppose 0 = -m + 12 - r. Is 9 greater than m?
True
Suppose 4*s + 20 = 0, 2*s = j - 3*s - 27. Let d = j - 3. Let w = -43/3 + 427/30. Which is smaller: w or d?
d
Let p = 129 + -128.97. Which is smaller: p or 1?
p
Let u = 60 + -659/11. Is 1 bigger than u?
True
Suppose -2*v - 20 = 8. Let k = -11 - v. Which is greater: 5 or k?
5
Let g = 2.5 + 8.5. Let y = -30 + 29.65. Let s = y - -0.25. Which is greater: g or s?
g
Suppose 9 = 3*w + t - 74, -5*t = -3*w + 71. Is w != 28?
True
Suppose v + v = 14. Are v and 6 nonequal?
True
Let d(c) = 2*c**2 + 5*c + 4. Let i(g) = -2*g - 3. Let q be i(-3). Suppose -5*v + 0*u = -q*u + 18, -v - 3*u = 0. Let k be d(v). Which is smaller: 6 or k?
6
Suppose -3*o + 35 = 2*o. Which is greater: o or 8?
8
Let u = -93 - -90. Which is bigger: u or -0.9?
-0.9
Suppose 0 = 4*h + 20, 2*d = -0*d - 2*h - 2. Suppose 5*r - 23 + 3 = 0. Suppose -r*i - d*a = -4, -4*i - a - 1 + 17 = 0. Is 6 at least i?
True
Let s = 54.8 - 55. Which is greater: 0 or s?
0
Let v be (-2)/(-7) + (-30)/7. Let o = v - -1. Let d be o/(54/(-4)) + 0. Which is bigger: d or -1?
d
Suppose 3*a + 45 = 2*r, -6*a = 4*r - 2*a - 40. Suppose -l + 0*m + r = -3*m, 5*l - 4*m - 20 = 0. Which is bigger: l or 5?
5
Let m(a) = -a**3 - 4*a**2 + 5*a. Let r be m(-5). Let n = -9/47950 - -4877281/431550. Let p = n + -94/9. Which is greater: r or p?
p
Let x be (3*171/(-12))/(-3). Is x not equal to 14?
True
Suppose -2*l + 3 = l. Let g(z) = z**2 + 5*z. Let i be g(-5). Is l bigger than i?
True
Let v(b) = 2 - 2*b + 0*b**2 - b**2 - 3*b. Let f be v(-6). Which is bigger: f or 0?
0
Let l = 17 + -15. Which is greater: 1 or l?
l
Let f be 0 + (18 - 0) + 2. Suppose -3*n = 4*d + 12 + 4, f = -n - 5*d. Which is bigger: -2/3 or n?
n
Let o(a) = -a**3 - 4*a**2 - 4*a - 2. Let h be o(-3). Is 2 < h?
False
Let w(g) = 2*g**2 - 1. Let t be w(1). Let f(s) = s - 6. Let a(z) = -4*z + 25. Let q(m) = -2*a(m) - 9*f(m). Let u be q(4). Which is bigger: u or t?
t
Let j = 16 + -19. Which is greater: -2 or j?
-2
Let m be -6 + 1/((-3)/9). Let f = 17 + m. Let u(g) = g - 7. Let a be u(f). Is 1 at least a?
True
Let v be 2/(-5) + (-3)/10*-33. Which is smaller: v or 9?
9
Suppose 3*o - 6*o = -12. Suppose 3*h = 1 - o. Is h greater than 0.3?
False
Let s(l) = -2*l - 8. Let q be s(-6). Let g(m) = -m + 3. Let u be g(q). Let k be (0 - 0/(-3))/u. Is k <= -1?
False
Let d = 15 - 33. Is d at least as big as -16?
False
Let v = -1.9 - -2. Let l = 78.8 + -87. Let s = l - -8. Which is smaller: s or v?
s
Suppose 11 = 3*z + 2*v, 4*z - 5*v - 7 = -0*v. Suppose -3*m + 9 = -3*n, 1 = n - 3*n - z*m. Which is bigger: n or -5?
n
Suppose u - 19 = 76. Let i be ((-1)/10)/((-2)/u). Let t = i - 125/28. Is 1 at most as big as t?
False
Suppose 3 = -0*a - a. Let x = 3 + a. Suppose -4*v = -3*m + m - 8, x = 2*v - 4*m - 16. Which is bigger: -6/5 or v?
v
Let d(a) = -3*a**3 - 2*a**2 + 1. Let s be d(-1). Suppose 5*u = -n - 0*u - 5, -1 = -s*n + u. Does 1/7 = n?
False
Let j(w) = 5*w**2 - 2. Let p be j(1). Which is smaller: -4/5 or p?
-4/5
Let a = 274/21 + -13. Let s = a - -2/7. Which is smaller: s or -1?
-1
Let z = 0.8 - 0.5. Let b(t) = -t**3 - 12*t**2 - 12*t - 6. Let w be b(-11). Let j = -7 + w. Is z not equal to j?
True
Let l be ((-8)/(-6))/((-1)/(-3)). Suppose k + 10 = -k. Let w = l + k. Which is smaller: -1/5 or w?
w
Let g(v) = v - 13. Let o be g(7). Suppose -5*x - 6 = 24. Let m = o - x. Is 0 bigger than m?
False
Suppose 2*u = 6*u - 16. Let v(o) = o**3 - 5*o**2 + 4*o + 1. Let r be v(u). Is r at most as big as 1?
True
Let i = -11/3 + 64/15. Let f be 9 + -7 + -3 - 24/(-18). Is f greater than i?
False
Let g be -1 - -1 - (-2 + 1). Let p = 47 - 234/5. Is p at least as big as g?
False
Let s = -0.3 - 0.7. Let j = s + 2. Is j less than or equal to 2/3?
False
Suppose -2*v + 4*s = -3*v - 12, -4*s - 12 = 5*v. Suppose 5*j + 10 = -3*g, v*g + 2*g - 2 = j. Let x = -5 - g. Which is greater: -4 or x?
-4
Suppose -28 = 4*u + 5*x - 4, 0 = -u + 4*x + 15. Suppose s = 6*s. Which is smaller: s or u?
u
Let q be -1*2/4*-10. Let g = -17/3 + q. Let i(y) = -y**2 + y + 1. Let n be i(2). Is n != g?
True
Let a(h) = -8*h**2. Let x be a(2). Which is smaller: -33 or x?
-33
Let r be ((-5)/3 + 2)/(3787/(-42)). Which is smaller: r or 0?
r
Let c(o) = -o**2 - 3*o - 3. Let h be c(-6). Do h and -20 have the same value?
False
Let g = -374/9 - -1117/18. Let h = g - 20. Let b = -175 - -173. Which is bigger: b or h?
h
Let x = 1.2 - 0.2. Let n = -1 + x. Let i = -0.1 + n. Which is bigger: -2 or i?
i
Let u(h) = h + 4. Let f be u(-2). Are f and 1 equal?
False
Let n(k) = 5*k**3 - 2*k**2 - 2*k - 1. Let c be n(-1). Let a be 22/18 + (-7 - c). Is 0.1 <= a?
True
Let n be (1/(-2))/((-2)/8). Let y be (-1)/((-2 + 5)/3). Let j = y + n. Is j not equal to 1/8?
True
Suppose 0 = 5*b + 7 + 8. Let o(x) = -2 - 3*x**2 - 3*x + x**2 - 2*x**3 + x**3 - 2*x**2. Let p be o(-2). Which is bigger: p or b?
b
Let j = 10 + -11. Let y be j + 12/(-3) - -2. Let p = 1 - 3. Which is greater: p or y?
p
Let j be -3*(-1)/(-24)*4. Let y be 3 + -1 - 4 - -4. Let a = -4 + y. Which is greater: j or a?
j
Let a(i) = 3*i - 1 + 6*i - 2*i + i**2. Let u be a(-7). Which is smaller: -2 or u?
-2
Let b = -2 + 6. Let l = 0.3 + -4.3. Let f = b + l. Which is smaller: -0.2 or f?
-0.2
Let y be 2/(-4) + 68/48. Let u = -2/3 + y. Suppose 3*v = -h - 2*h, h + 3 = -4*v. Is u smaller than v?
False
Let g = -2.01 - 7.69. Let k = 10 + g. Which is greater: -0.3 or k?
k
Let f = 64 - 58.1. Let n = 6 - f. Is -0.1 less than or equal to n?
True
Let t(g) = 9*g - 1. Let q be t(2). Let m = -9 + q. Is m less than or equal to 9?
True
Let l = -0.1 - -0.3. Let f = -2 - -1.8. Let a = -0.3 - f. Which is smaller: l or a?
a
Let p(j) = -4*j**2 - j. Suppose 3*c + 1 = -2. Let i be p(c). Are -2 and i unequal?
True
Let x(b) = -4*b + 2 - 1 + 10*b. Let o be x(1). Let k(f) = -f**2 + 8*f - 6. Let i be k(o). Which is greater: i or 2?
2
Let s = -313/247 - -27/19. Suppose -3*g - 3 = -0*g. Which is bigger: g or s?
s
Let p = 4.24 + -0.04. Let f = 7.1 - p. Let i = f + -3. Is -2 greater than or equal to i?
False
Let b(h) = h - 7. Let c be b(8). Is -3/7 <= c?
True
Let y = -0.1 - -0.4. Let g = y + -0.2. Suppose 7*v = 3*v - q + 1, 4 = -4*v + 4*q. Is v at least g?
False
Let k be (-2)/4*2 + -15. Let q be -62*(k/(-6) + -1). Let l = q - -102. Is l != 0?
True
Suppose b + 3*b = -64. Let i be (1*3)/((-168)/b). Which is smaller: i or -1/2?
-1/2
Let q be -3*(-1 - 2/6). Let s = q - 6. Which is bigger: s or -1?
-1
Suppose 0*s - 2 = 2*s. Let n be 0 + (-3 - (s - 0)). Let i be n/((-21)/(-6) - 1). Is i smaller than 0?
True
Suppose 15*h = -5 + 20. Suppose 3*a - 4*b = -7, -19 = -2*a - 3*a - b. Suppose 12 = m + 2*l, -h = -a*m + 3*l - 2*l. Are 3 and m unequal?
True
Suppose 0 = 2*u - 3*h + 3, 0 = 4*u + 5*h - 1 - 4. Is -2/61 >= u?
False
Suppose 2*y + 2 = 4*y. Which is smaller: y or -2/9?
-2/9
Let d = 3 + 5. Suppose 0*h - 4*h + 48 = 0. Suppose 44 = 4*y + 3*t, -4*y - 4*t + 9*t = -h. Is y > d?
False
Let c = -83 + 80. Which is bigger: c or -7?
c
Let g be (1 - 0)/((-1)/(-2)). Suppose 0 = -g*a + 25 + 5. Let j be 42/a - (-3)/15. Which is smaller: 4 or j?
j
Let o(j) = 5 + 2*j**2 - 3*j - 2*j + 4*j**2 - 5*j**2. Let u be o(4). Which is greater: u or 3/10?
u
Let k(y) = y**2 + y - 1. Let f be k(-2). Let j = -2 + f. Is 2/5 <= j?
False
Let s = 0.56 - 0.51. Is -1/7 not equal to s?
True
Let c = -4.7 + 5. Let b = c - 0.3. Let i = 0.1 + -0.3. Which is bigger: i or b?
b
Suppose 5 = -5*y - 5. Let x(c) = -2*c - 2. Let f be x(y). Which is smaller: f or 3?
f
Let s = -8 + 6. Let m = 2507831/69 + -36346. Let l = 1/23 - m. Which is g