 a(q) = q**2 + 10*q + 9. Let w be a(-7). Let y be (w/(-75))/(2/5). Let z = -21 - -21. Which is smaller: z or y?
z
Let l = -8 + 7. Let y(x) = -x**3 - 2*x**2 - 2*x - 1. Let o be y(l). Suppose 1 + o = b. Is b not equal to -3/8?
True
Let l be (1 - -2)*78/13. Is 15 bigger than l?
False
Suppose -25*z = 17*z + 42. Suppose 0 = -a + y, -y + 2 = -4*a - 1. Let f be ((-4)/2 - a)/1. Is f less than or equal to z?
True
Let b be (0/(-2 - -1))/(24 + -22). Is 3/13 less than b?
False
Suppose 0 = z, -5*h = -2*z - 0*z - 35. Suppose l - 18 = -11. Are h and l equal?
True
Suppose 0 = p - 23 - 17. Suppose -p = 5*x - 4*y, 1 + 6 = 2*x + 3*y. Let s be x/(-22) + (-4)/22. Does s = 1?
False
Let v be 5/20 + (-22)/(-8). Suppose 0 = -o - 5*g + 20, 0*g - 2*g = v*o - 21. Which is bigger: 3 or o?
o
Let t = 25 - 19. Let n = -2 + t. Which is greater: 3 or n?
n
Let w be (-3 + (-10)/(-6))*-6. Suppose -5*a = 5*k - 40, 2*a - w = 4*a - 4*k. Let y(l) = -l - 7. Let o be y(-11). Is o greater than or equal to a?
True
Let o = 1.9 + -2.1. Which is smaller: o or -2?
-2
Let r be 1/(1/(-1 + 2)). Suppose 3*d + 5*g - 16 + 6 = 0, 2*g = d + 4. Are r and d equal?
False
Let a(c) = 7*c**3 - 7*c**2 + 9. Let k(z) = -6*z**3 + 6*z**2 - 8. Let h(o) = -5*a(o) - 6*k(o). Let m be h(0). Suppose -2*d + 5 = m*d. Is 1 >= d?
True
Let w = 2 - 1. Let s(l) = 7*l + 2. Let u(x) = x - 1. Let k(z) = w*s(z) - 6*u(z). Let y be k(-8). Are y and -1/5 non-equal?
True
Let o = 24 + -87. Let p = -439/7 - o. Let j(h) = -5*h**2 + 1. Let g be j(1). Which is smaller: g or p?
g
Let q = -4.4 - -0.9. Let t = -0.5 - q. Let x be (8 - 5) + 16/(-6). Is t at most as big as x?
False
Let d = 0.02 + 0.98. Is d bigger than 2/19?
True
Let n be 814/1848 - 2/6. Is 0 at most as big as n?
True
Let j = -268 + 1077/4. Let r = 14 - 12. Is r at least as big as j?
True
Let v = -69 + 69. Let l = -5 - -5.4. Let d = l + 0.2. Is v >= d?
False
Let b = 52/85 - 4486/7055. Which is smaller: 0 or b?
b
Let w be (-4)/(-2)*(-3)/(-2). Suppose -v + 3 = 1. Suppose -3*l + 2*d = -d, v*l = -d - w. Which is smaller: l or -2?
-2
Let a be ((-6)/(-2))/((-3)/(-4)). Suppose 0 = -2*t - a. Does t = -1?
False
Let k(c) = -c**3 - 6*c**2 + 6*c - 10. Let z be k(-7). Which is bigger: z or -0.2?
-0.2
Suppose 5*b = 7 + 3. Suppose -2*t + 3 = -3*n, -b*t = 2*n - 7*t + 13. Suppose -3 = -4*m + n. Which is bigger: m or 3?
3
Suppose 0*t + 3*t = -3. Is t greater than 1/4?
False
Let x be (-2)/(2/8 - (-215)/(-700)). Do 0 and x have different values?
True
Let c = 1.03 - 7.13. Let u = -9 - -3. Let k = u - c. Which is greater: 1/5 or k?
1/5
Let s = -667/564 + -11/47. Let k = s - -7/6. Which is smaller: k or 0?
k
Let x = -3 + 6. Suppose -3 - 6 = -x*y. Is 2 >= y?
False
Suppose -4*h = 45 - 93. Which is smaller: h or 14?
h
Suppose 0 = -4*h + 5*q - q - 48, 0 = 3*h + 3*q + 54. Suppose -11 = y - 0*y. Let p = y - h. Which is bigger: 5 or p?
5
Let c be -3 - 1 - (-2)/(-1). Let b be c/1 + (-2 - -2). Is b bigger than -7?
True
Let i be ((-5)/(-6) + -1)*-2. Is i smaller than 32?
True
Let b = 2 - 1. Let l = 169/6 - 983/30. Let o = 197/45 + l. Is o at most as big as b?
True
Suppose -5 = 5*a + g + 1, 4*a - g = -3. Let k = a - -2. Let x(i) = i**3 + i**2 - i. Let b be x(k). Is 1 <= b?
True
Let z = -761/8 - -95. Which is greater: z or 1?
1
Let l = -1 + 4. Does -5/4 = l?
False
Let l be (-6)/(-1 + 2) + -2. Suppose -245 = -6*i - 299. Which is greater: l or i?
l
Let y = -744361/80 + 9304. Let v = y + 5/16. Let m be (6/(-4))/((-35)/(-14) + -4). Which is smaller: v or m?
v
Let c be (-2)/2 + 1*-2. Let r = c + -1. Let z = r - -4. Is -1/8 less than or equal to z?
True
Let d(k) = -k**3 - 6*k**2 - 4*k + 8. Let i be d(-5). Is i != 12/7?
True
Let l(x) = -x**3 - 7*x**2 + 7*x - 7. Let t be l(-8). Are 11 and t nonequal?
True
Let p = -64/3 - -21. Which is bigger: -1 or p?
p
Let i = -4 + 7. Let m = -3.1 + i. Let n = -6 + 3. Is m at most n?
False
Suppose -5*z + 1 + 42 = -2*h, 24 = -h + 3*z. Which is greater: -10 or h?
h
Let t = 0.12 - -5.88. Let s = -6.1 + t. Which is greater: 10 or s?
10
Let u be 3 + (635/(-6))/5. Let h = 19 + u. Is h smaller than 1?
True
Let n be (-2)/3 + (-2)/(-12). Let g be 0*(3/2 - 1). Suppose 7*i - 3*i + 4 = g. Is n greater than or equal to i?
True
Suppose 2*j - 7 = b, 0 = b - 4*b + 2*j - 29. Let p = 45/4 + b. Which is greater: 0.3 or p?
0.3
Let i = -1.41 - -1.5. Let d = i - -0.01. Is -10 != d?
True
Let n be ((2 + 0)/(-6))/((-456)/(-54)). Which is greater: n or 0?
0
Let h(o) = -9*o + 3. Let p be h(1). Is -6 at least as big as p?
True
Let l(o) = -2*o**3 + o**2 - o + 1. Let j be l(1). Suppose 2*u - 5*p - 101 = 0, 18 = 3*u + 4*p - 76. Let i = -113/3 + u. Which is bigger: i or j?
i
Suppose 2*a - 8 = a. Let k = -5 + a. Suppose k*h + 6 = -0*h. Are h and -8/5 nonequal?
True
Let l = -0.01 - 0.01. Let r = l + -0.08. Is -3/5 <= r?
True
Suppose -5*b + 25 = -0. Suppose 4 = b*x - 11. Which is bigger: 2 or x?
x
Let m = 260 - 263. Suppose 12 = -4*u - 0. Does u = m?
True
Let f = -0.2 + 0.3. Let t(z) = 2*z + 1. Let q(c) = 10*c + 6. Let r(y) = -3*q(y) + 14*t(y). Let l be r(-3). Is l greater than or equal to f?
True
Suppose 5*o - 4*o + 23 = 0. Let r = 0 - o. Let f = -114/5 + r. Which is greater: f or -1?
f
Let u be -3*(4/6)/1. Suppose -3*x + i = -0 + 5, 4*x = -i + 5. Suppose x*a = 3*a - 2*y, -4*a = -y + 5. Is a < u?
False
Let o be (-20)/(-26)*(4 + (-132)/30). Which is smaller: -2/3 or o?
-2/3
Suppose 5*i - 3*t = 2, 0 = -4*i - 4*t + 9*t - 1. Suppose 3*b - 4*b - i = 0. Which is smaller: -3 or b?
-3
Suppose -2*j - 4*o + 23 = 1, -2*j = -4*o + 2. Let y = 6 - 3. Suppose s + 12 = -3*f - s, -j*s - 21 = y*f. Is f less than -3/5?
True
Let i = 292458/139 - 2104. Is 0 bigger than i?
False
Let k = -1.3 + 1. Let b be 3 - 3 - 2/7. Which is smaller: b or k?
k
Suppose -4*j = -5*a + 9, 6*j + 4*a - 1 = 3*j. Which is greater: j or -5/7?
-5/7
Let d = -1.9 + 0.9. Is 2/3 bigger than d?
True
Let v = 241/14 - 243/7. Let b = -18 - v. Let k be (1/(-6))/(7/(34 - 6)). Is b equal to k?
False
Let x = 1 + -3. Let b = 1 - x. Is b >= 0?
True
Let m = 10 - 7. Let l = m + 0. Are l and 2 equal?
False
Let o = 0.141 - 0.222. Is 1 not equal to o?
True
Let z(q) = q**2 - 2*q - 4. Let t be z(4). Let i(v) = -v**2 + 4*v. Let o be i(t). Is o less than -2/7?
False
Let s = -0.6 + 0.7. Let w = -0.2 + s. Which is smaller: 0.5 or w?
w
Let i = 15 - 14.82. Let b = i + 0.02. Let c be (-4)/3 + (0 - -1). Is c less than b?
True
Let c be ((-4)/(-10))/(96/(-60)). Is -2/69 at most as big as c?
False
Let x be 0 + -1 + (-3 - -4). Let c be ((-4)/(-6))/((-2)/(-3)). Is c less than x?
False
Let o be 0 + (-6)/44*4/6. Let v = 2 - 2. Which is bigger: o or v?
v
Let k(x) = -2*x**2 - 5*x - 4. Let q be k(-2). Which is smaller: -3 or q?
-3
Let t be 1/((-1)/(3 + -17)). Let j = -15 + t. Let s be -4 + 1 + 0/1. Is s greater than or equal to j?
False
Let v(y) = -y + 6. Let a be v(4). Let p be (1 + -2 + a)*-2. Which is greater: p or -1?
-1
Suppose -2*q + 5 + 1 = 0. Let v be -1 - q - (-288)/78. Is v at most as big as -1?
False
Let z be (3/9)/(1/(-3)). Is z > 3?
False
Let z = 3.1 + -3. Let i = -45.07 + 45. Is i <= z?
True
Let r be 3/(2 - (-5)/(-4)). Suppose -g + 5*s + 22 = 0, -3*s + 1 = -4*g + r. Let p be 4/34 - 2184/1224. Is g at least p?
False
Suppose -6*n + n = 15. Which is bigger: -2 or n?
-2
Let a = 20 - 19.6. Let k = 7.7 - 8. Let u = k + a. Which is greater: 0.3 or u?
0.3
Let p = -0.1 - 0.1. Let f = -0.3 + 0.2. Let r = f - p. Which is smaller: 2 or r?
r
Let j(u) = u**3 - 3*u**2 - 6*u - 7. Let x be j(5). Is -1 bigger than x?
False
Let a be 35 + -1 + (-5 - 2 - -4). Which is greater: -0.1 or a?
a
Suppose w + 20 = 2*f, w - 3*w - 2*f - 10 = 0. Which is smaller: w or -9?
w
Let p(a) = a**2 - 3. Let o be p(0). Suppose 4*m + 6 = m. Is m at least as big as o?
True
Let y be ((-8)/(-4) - -8)/2. Suppose 0 = y*h - 2*h. Let r = -109 + 1637/15. Which is smaller: h or r?
h
Suppose 2*o + 6 = -14. Let k(u) = -u**2 - 4*u + 10. Let m(c) = -2*c**2 - 7*c + 21. Let z(t) = 13*k(t) - 6*m(t). Let y be z(o). Which is smaller: 1 or y?
1
Let m be 3 - (1 - (-45)/23). Is 0 < m?
True
Let o = 1.1 - 0.2. Let y = o + -2.3. Let b = 0.4 + y. Is b at most -1?
True
Let r be -1*3 - (-8 + 6). Let n be r + (1/1 - -1). Which is smaller: n or 2?
n
Suppose 6*a = 2*a + 20. Is a smaller than 1?
False
Suppose -2*u = -7*u. Let b be 1/12 - 2/8. Is u equal 