. Which is smaller: w or -7?
w
Suppose 5*b = 2*y - 26, 2*b + 5 + 11 = -2*y. Do -4 and b have the same value?
False
Let c(r) = -58*r + 11. Let u be c(-5). Let g = u - 3915/13. Which is bigger: -1 or g?
g
Let h = 9 - 7. Let p(l) = -h*l**2 - l**3 - 3*l**2 + 4 + 4*l + 3*l. Let x be p(-6). Does -2 = x?
True
Let m(x) = -x**2 - 11*x. Let n be m(-10). Let f = 9 - n. Let c = -2069/1245 - 2/415. Which is smaller: c or f?
c
Let u(y) = -y - 3. Let r be u(-4). Suppose -1 = -5*f + 4. Do f and r have different values?
False
Let f(y) = 2*y**3 - 2. Let d(q) = 2*q**2 - q + 1. Let h be d(1). Let i be f(h). Suppose 4*b + 2*v = -i, 3*v - 2 = 2*b + 1. Is b greater than 0?
False
Let h = 0.5 + 0.5. Suppose q = 5*q + 8. Which is smaller: h or q?
q
Let i = 44 - 44.1. Does 0.14 = i?
False
Let s = 1310/3 + -442. Suppose 12 = -2*k - 0*k. Let i = s - k. Which is smaller: 2 or i?
i
Let b = -5/8 + 57/104. Let w = -23/39 + b. Which is smaller: w or -2?
-2
Let m = 14 + -19. Suppose -5*k = a - 6 - 9, 5*a + 5*k = 115. Suppose -3*l = -8*l - a. Is m not equal to l?
False
Suppose 0 = -x + 5*x. Let g = -15382/213 + -135/142. Let o = g + 73. Is o greater than x?
False
Let z(l) = 3*l - 17. Let n be z(7). Suppose -n*x = 10 - 18. Which is bigger: 1/2 or x?
x
Let u(z) = z**3 + 10*z**2 - 11*z + 2. Let r be u(-11). Suppose 0 = 4*m - g - 15 - 2, 0 = 3*m + r*g - 10. Is 4 != m?
False
Suppose h + 6 = 3*f - 7, 2*f - 6 = 2*h. Let k = 0 + 0. Suppose 0 = 2*z - l - 4 - k, 4*l = 0. Is h > z?
False
Let y(f) = f**3 + 1. Let h be y(1). Is 3 at most as big as h?
False
Let n = 3 - 9. Let l be (-8)/n*(-3)/(-14). Which is smaller: 1 or l?
l
Suppose 0 = 5*r - 1 - 4. Which is greater: r or 7/3?
7/3
Let l = 0.151 - 0.187. Is 1/2 equal to l?
False
Let m be -2*(1 + 4)/(-10). Is m greater than 1?
False
Let x(k) = 2*k + 3. Let m be x(-2). Let f = -4 + -4. Let c be 1/1 + 6/f. Which is greater: m or c?
c
Let o(d) = 2*d - 37. Let x be o(23). Is -5 less than x?
True
Suppose -3 = -3*f - 6. Let u = -2 - -2.2. Do u and f have the same value?
False
Let z(f) = f**2. Let h(v) = -v**2 - 7*v + 7. Let k(j) = -h(j) - 2*z(j). Let u be k(6). Is u smaller than 1/2?
True
Let g(i) = i**2 + 11*i - 4. Let l be g(-11). Is -4 != l?
False
Let o be (-8)/28*(-5 - 6/3). Suppose -3 = d - 6. Is d greater than or equal to o?
True
Let l be 5/(-3) + 28/7. Which is greater: l or -0.2?
l
Let n = -27.752 + 30.73. Let m = n + 0.072. Let l = -0.05 + m. Which is smaller: -1/4 or l?
-1/4
Let y = 0.12 + -0.22. Which is bigger: y or 0.22?
0.22
Let l(t) = -t**2 - 2*t - 1. Let p be l(-2). Let w = 6120/19 + -322. Which is greater: w or p?
w
Let q = 9 + -3. Let m = q + -7. Is m bigger than -2?
True
Suppose 0 = c - 6*c - 5. Which is smaller: -2 or c?
-2
Let a = -1 + 9. Which is smaller: 7 or a?
7
Let j(d) = -d + 19. Let g be j(11). Suppose 0 = -9*m + g*m + 1. Which is greater: m or 4/11?
m
Let y = 28 - 19. Let z = -11 + y. Let a = -0.4 + 0.6. Is z > a?
False
Let l = 0.29 - 11.29. Let c = -10 - l. Which is smaller: c or 0.4?
0.4
Let i(l) = l + 2*l**3 - 3*l**2 - 4 + 2*l**2 + 3. Let t be i(1). Which is bigger: t or -11?
t
Let g(c) = -c**2 - 2*c - 1. Let k be g(0). Let j be 35/14 + (0 - k). Is j at most 4?
True
Let x = 229 - 5953/26. Is x smaller than 0?
False
Suppose -3*z = -0*z - 6. Let w(s) = -z*s**2 + 3*s + 0*s**2 - 2*s + 0*s. Let f be w(2). Which is greater: -1 or f?
-1
Let f = 1 - 2. Is f less than -1/45?
True
Suppose -1 = -3*r + 2. Let x be 3/(-1) + r/1. Is -1 <= x?
False
Let b be ((-1)/(-2 - 2))/(9 + -8). Let i = 1/9 + 2/63. Which is smaller: b or i?
i
Let r be ((-111)/(-10))/(18/15). Is r <= 1?
False
Suppose 18 = -2*m + 3*s, 5*m + 2*s - 4*s + 56 = 0. Do -12 and m have the same value?
True
Suppose -7*w + 10*w = 2211. Let k be w/(-2) + 3/(-6). Let i = 9961/27 + k. Which is smaller: i or -1?
-1
Let g(i) = i**2 + 5*i + 3. Suppose 0*o = -3*o - 18. Let b = o + 2. Let f be g(b). Which is smaller: f or -2?
-2
Let l(z) = -z**3 - 10*z**2 + 4. Let m be l(-10). Suppose -5*v - 15 = 0, -m*w + v + 3*v = 12. Is -5 < w?
False
Let o be 342/8*4/(-6). Let h = -28 - o. Which is greater: -3 or h?
h
Let o = 73 - 103. Which is bigger: o or 0?
0
Let c = 53 + -76. Let y = c + 24. Which is greater: y or 11?
11
Suppose -4*q + 0*q - 5*s = -13, -3*s = -5*q + 7. Let v be (q - 14/6)/1. Which is smaller: -3 or v?
-3
Suppose 1 - 9 = -4*v. Let o be v*6*1/(-28). Let c = -3 + 2. Which is greater: o or c?
o
Let q be (-1)/(-2) - 9/2. Let l = q - -3. Is l bigger than -3/4?
False
Let x(m) = 8*m**2 - m. Let f be x(1). Is 10 greater than f?
True
Let z = -6 + 9. Let h = z + -3. Is h bigger than -1?
True
Suppose 0 = -2*k - 3*o - 10, -5*k + 4 = 5*o + 19. Let j(q) = -3*q + 2. Let c be j(-5). Let x = c + -83/5. Which is smaller: k or x?
x
Suppose f = 5*b - 59 + 17, -18 = -2*b + f. Let l be (-3)/12 - 6/b. Suppose -i = -0*i - 1. Which is bigger: l or i?
i
Let l = -4 - -1. Suppose 0 = -5*u - 18 - 2. Which is greater: l or u?
l
Let c be (-112)/(-3) - (-18)/27. Is 38 bigger than c?
False
Suppose -i = -5*i - 4. Suppose 23*v + 15 = 2*d + 26*v, -4*d - v + 5 = 0. Is d greater than i?
True
Suppose 0 = 4*n - 0 + 8. Suppose 2*d - 5*l = -6, 0*l - 3*l = 5*d + 15. Which is greater: n or d?
n
Let l be 21 + (-32)/(-12)*6/4. Are l and 26 nonequal?
True
Let f = -2 - -6. Let o = 1.9 - 2. Are o and f nonequal?
True
Let y be (-1)/(-4)*-2 + (-26)/(-100). Is 1 < y?
False
Let g be 2*6/(-4) - -6. Suppose -2*t + g*t = 0. Let s = 7/6 - 65/66. Which is smaller: t or s?
t
Let p = 0 - 2. Let h = -3.1 - -0.1. Let x = p - h. Is -1 at least as big as x?
False
Let b(k) = 5*k - 9. Let a be b(4). Which is smaller: 10 or a?
10
Let b = -23.2 - -23. Let r = 0 - -0.9. Let l = -1 + r. Which is smaller: b or l?
b
Suppose 44 = 2*p + 2*p. Let b = p + -7. Suppose -4 = -b*i + 12. Which is bigger: 5 or i?
5
Suppose -4*l - 8 = -g, 0 = -3*g - l - 1 - 1. Suppose 5*z + 2*p = 14, -2*z + 4*p - 5 + 1 = g. Is 2 less than or equal to z?
True
Let f be (-139)/(-4) + 3/(-4). Let i be 2/3 + f/(-6). Let a = -3 - i. Is -1 at most as big as a?
True
Suppose 3*u = 4*t - 2, -2 = t - 2*t. Suppose -2*g = u*g. Let s = g - 0. Which is bigger: -2/11 or s?
s
Let b be (-45)/(-30) - 38/20. Is -0.01 bigger than b?
True
Let c = -2.2 + 2. Let s = 0.7 + c. Let j = s - 0.3. Which is bigger: j or -1?
j
Let x(k) = 18*k + 35. Let p be x(-2). Which is smaller: 2/433 or p?
p
Let j = -5 - -19. Let a = -21 + 36. Does j = a?
False
Let g be (-6)/21 + 0/1. Let m = 2 - 11. Let k be m/26 + 4/(-26). Is g smaller than k?
False
Let r(o) = o**3 - 4*o**2 + 3*o + 3. Let h be r(3). Let t be (-1)/h - 28/(-21). Are 2 and t nonequal?
True
Let i(q) = q**2 - q - 2. Let u be i(-2). Is u not equal to 4?
False
Let i = -2 + 1. Let h be 1/(46/13 + -3). Let o = h - 313/161. Is i <= o?
True
Let k = 2 - -1. Let m = k - -3. Let r be 1*(-3)/(m/(-8)). Is 4 less than r?
False
Suppose 25 - 10 = -5*v. Is -3 > v?
False
Let c = 2 + -1. Let i(s) = s**3 + 4*s**2 + 2. Let g be i(-4). Let t = g - c. Is t greater than or equal to 1?
True
Let k(p) = p - 2. Let o be k(3). Which is smaller: -3/10 or o?
-3/10
Let c = -4 - -4. Let g = 212/91 - 34/13. Is c bigger than g?
True
Let n(p) = -p**2 - 9*p + 5. Let l be n(-9). Let x = 6 - l. Are -1/4 and x nonequal?
True
Let z = -6 + 10. Let g be z/(-6)*(-3)/(-2). Let t be -1 - (-2 - -2)/(-1). Is t at most g?
True
Let q(h) = 2*h**2 + 6*h + 3. Let j be q(-5). Is 22 bigger than j?
False
Suppose 0 = -2*h - 2*j - 1620, 2*h - 3*j + 1635 = -0*j. Let g = -12187/15 - h. Let r = -2/15 + g. Which is greater: r or 0?
r
Suppose 5*c - 5*d + 103 = 28, -2*d = 5*c + 96. Which is smaller: -17 or c?
c
Let c = -148 - -2222/15. Let g(y) = y. Let z be g(0). Which is greater: c or z?
c
Let d = 20 + -19. Which is bigger: 4/7 or d?
d
Let z be (21/15 - 1) + 0. Which is greater: -1 or z?
z
Let f = 113/2 - 56. Is f >= 1/2?
True
Let i = -4 - -14. Suppose 5*c = i + 15. Is 7/2 <= c?
True
Suppose 0*x - 42 = -x - 4*j, 2*j = 4*x - 114. Suppose -3*n + 3*g + 32 = n, x = 2*n - 5*g. Which is greater: n or 6?
6
Suppose -5*j - 625 = 4*o, 625 = -7*j + 2*j + 5*o. Is -124 > j?
True
Suppose 3*j - 8 = -q, 4*j + 5*q - 18 = -0*j. Suppose 0*n + 5*n - 15 = 0. Suppose -4 = -j*h - 3*d, -n*h - 2*d = -h. Do -4 and h have the same value?
True
Let a be (-5)/(-10) - 3/(-2). Let s(k) = -2*k**2 - k**3 - 2*k**2 + 6 + k - 2*k**a. Let j be 