, 2*u - 2*a = 180. Let b be 28/21 + u/(-6). Which is smaller: b or -13?
b
Suppose 9*k - 2 = -2. Suppose -12*f + 4*f + 8 = k. Which is smaller: 6/11 or f?
6/11
Let u(s) = -s**3 + 5*s**2 - 12*s + 12. Let r be u(4). Is -15 less than r?
False
Let n be ((-1)/(-20))/((-12)/(-45) + (-2)/9). Suppose q + 0 = 1. Which is bigger: n or q?
n
Let o = -116 + 112. Which is smaller: o or 2?
o
Let u(z) = -8*z - 4. Let o(w) = 24*w + 11. Let a(v) = 3*o(v) + 8*u(v). Let n be a(2). Let p = 513 - 497. Which is smaller: n or p?
p
Let f = -0.39 + 1.39. Which is smaller: f or -152?
-152
Let p(r) = 50*r + 2. Let j be p(1). Is j bigger than 51?
True
Let w = 264.4 + -269. Is 1/4 equal to w?
False
Let k(x) = x**2 + 7*x + 4. Suppose -g - 3*g - 28 = 0. Let u be k(g). Let d(c) = c**3 + 12*c**2 + 18*c + 79. Let t be d(-11). Which is greater: t or u?
u
Suppose -35*p - 486 = 179. Is -19 at least as big as p?
True
Suppose 3*j = -32 + 35. Let p(y) = -y**3 - y**2 + 3*y - 1. Let v be p(j). Suppose 4*w + c - 25 = -v, -9 = -3*w - 4*c. Which is greater: 0 or w?
w
Suppose 4*n + 135 = 879. Suppose 0 = -v - n + 121. Is -66 greater than or equal to v?
False
Let j = -98 + 103. Suppose 2*w - 6 - 2 = 0. Which is bigger: w or j?
j
Let h(g) = -2*g**3 - 2*g**2 + 8*g + 10. Let r be h(-2). Is r at least -3?
True
Let x = -32 - -32.29. Let y = x + -0.19. Which is smaller: -11 or y?
-11
Suppose 0 = 5*m + 4*b - 24, -3*b + 52 = 4*m - 8*b. Suppose -m*x - 2*r - 18 = -4*x, -4*r + 41 = -3*x. Is -6 bigger than x?
True
Let g be 6 - (15835/5275 + 3). Which is smaller: 0 or g?
g
Let q be (5 + -6)*34/12. Let z = -20/7 - q. Which is greater: z or 0?
0
Let r(j) = -6*j**3 - 12*j**2 - 18*j. Let y be r(-2). Is y > 184/5?
False
Suppose -4*f + 3*w + 11 = 0, 4*f + w - 6 = -w. Let n(s) = 10 - s**f + s + 1 + 8*s. Let c be n(10). Which is greater: c or 2/11?
c
Let k = -324.4 - 99.6. Which is bigger: k or 0?
0
Suppose -4*l + 0 = 8. Let k be (1 + 1)*l/6. Let j = -76 + 75. Which is smaller: k or j?
j
Let q be 40/4 + 0/(-1). Let b = -409.7 - -410. Which is greater: b or q?
q
Let l = 7 - 0. Suppose 3*v - l*v + 16 = 0. Suppose -1 = -m + u + 8, v*u = -4*m + 20. Does m = 8?
False
Let p(r) be the second derivative of r**4/4 - 2*r**3/3 + 7*r**2/2 + 765*r. Suppose 6 = -4*o + 18. Let d be p(o). Is d at least as big as 23?
False
Let q = -1.75 - -1.08. Let b = q - -0.7. Let k = 1.03 - b. Is k at most -8/7?
False
Let u = -10/4481 + 8088/7640105. Is u less than -1?
False
Suppose -q - q = 2, -143 = -4*u - q. Let o = u - 37. Which is smaller: 1/22 or o?
o
Suppose -l - 4*l = 120. Let r be 2 - (l/(-6) - 36). Is -2 smaller than r?
True
Let u = -345122463/4129 + 83585. Is 1 less than or equal to u?
False
Let i be (-2 + -10)*2/4. Let y be (i - -5)*(-1 + 0). Which is greater: y or 2/59?
y
Let m = -1.95 - 0.05. Let g = -100 - -216. Let r = 113 - g. Is r >= m?
False
Let t = 1 - 0. Let w(f) = 2*f + 5. Let z be w(-2). Let l = t - z. Is -2/15 greater than or equal to l?
False
Let q(r) be the second derivative of 11*r**3/6 + 15*r**2/2 + 8*r. Let m(h) = 6*h + 7. Let w(x) = 7*m(x) - 4*q(x). Let v be w(-7). Which is bigger: 2 or v?
v
Suppose -69 = -z - 4*a, 2*a - a + 3 = 0. Is z not equal to 78?
True
Let p = -1055 - -1055.2. Which is smaller: -4/3 or p?
-4/3
Let d be (3 + 0)/((-6)/(-4)). Suppose d*p + 2*p = -4*t - 104, 2*p + 4 = 0. Is -24 < t?
False
Let s be (-3472550)/48444*(-6 + 4). Let x = s - -2/12111. Let h = -143 + x. Which is greater: -1 or h?
h
Let b be 11/(11/(-4)) + 7. Suppose 7*r = -3*r + b*r. Which is bigger: r or 2/25?
2/25
Suppose 2*m + 32 = 48. Suppose 3*b - b = 4*l - 2, 5*l + b = -m. Which is smaller: -1/4 or l?
l
Let q = 5 - 3. Let t be (0 - 2)*(-10 - 48/(-5)). Which is greater: t or q?
q
Let m = -15 - 66. Let z = m + 82. Let g(o) = -o**3 - 4*o**2 + 6*o + 5. Let x be g(-5). Which is smaller: x or z?
x
Let b = 29 + -20. Let x(r) = r - 5. Let o be x(b). Let v = 69 + -70. Are v and o equal?
False
Suppose -2*u - 5*s = 2*u - 65, -5*u = 5*s - 80. Suppose -9*m = -26*m + 34. Let d be (u/30)/((-1)/m). Is d at least -1/4?
False
Let x(l) be the third derivative of l**4/12 - 7*l**3/6 + l**2. Let z be ((-12)/5 + 2)*-10. Let n be x(z). Which is smaller: 6/19 or n?
6/19
Suppose 0 = 11*u + 40 + 180. Let v be (u/(-25))/(0 - (-14 - -4)). Which is smaller: 1 or v?
v
Let c(u) = 8*u**2 + 6*u - 4. Let q be c(1). Let k(b) = b + 1. Let o(s) = s + 2. Let l(x) = -7*k(x) + 6*o(x). Let y be l(q). Which is smaller: -17/4 or y?
y
Let g = -44199/29491 + 115/77. Let c = g - -417/6511. Let o(x) = -x - 7. Let f be o(-6). Which is bigger: f or c?
c
Suppose 4*i + 3*j - 16 = j, -2*j - 4 = 0. Let v be 224/10 - 14/35. Suppose 5*t = k + v, 0 = -4*k - 4*t - 2 + 34. Do k and i have the same value?
False
Let u = 1.095 - -0.905. Which is smaller: 203 or u?
u
Let z = 34.798 + 0.202. Which is greater: z or -2?
z
Let x = 11 + -18. Let i(p) = -p**3 - 7*p**2 + 2. Let c be i(x). Let r be c/(-6) - (-1)/3. Is r smaller than -1/12?
False
Let b = 1 - 2. Which is bigger: 14/39 or b?
14/39
Let v = 4 + -4.4. Let h = 1 + v. Let z = -0.61 + h. Is z >= 1?
False
Let s = -26 - -40. Let q be ((-240)/(-448))/((4/s)/1). Is 2 less than or equal to q?
False
Let x = -4 + 3. Let s = 0.2 - 0.21. Let r = s + -1.99. Which is bigger: r or x?
x
Let q(l) = l**3 - 2*l. Let m be q(0). Suppose 0 = 3*w - i - 81, -4*w + m*i + 2*i = -110. Is w <= -1?
False
Let i be 2/(-1)*18/(-4). Let b = i - 11. Let a(j) = j**3 + j**2 + j - 1. Let d be a(b). Which is smaller: d or -5?
d
Let x = 32.1 - -10.9. Which is bigger: x or 0?
x
Let o = 0.035 - -0.165. Let a = -0.15 + 0.2. Is a less than o?
True
Let h(x) = -x**3 - 2*x**2 + x + 3. Suppose -5*o - 16 = -3*m + m, 4*o + 4*m - 4 = 0. Let n be h(o). Let c = -22 - 1. Is n at least c?
True
Let o(i) = -i + 3. Let v be o(9). Let c(u) = u**3 + 7*u**2 + 8*u + 11. Let x be c(v). Let r(z) = z - 1. Let m be r(-4). Which is smaller: x or m?
m
Let c be (1 + 233)*(-4)/(-6). Suppose -3*b + 3*t = -123, 0*t + c = 4*b - 2*t. Is b greater than or equal to 36?
True
Let x = 0.054 + 0.696. Let f = -0.4 + x. Which is bigger: f or -2/9?
f
Let l = -92/25 - -761/200. Are 15 and l equal?
False
Let z = -1275.877 - -1276. Is z >= 2?
False
Let j = 1.7 - 1.2. Let o = 0.9 - j. Let d = o + -0.5. Which is smaller: -2 or d?
-2
Let p(s) = s - 2. Let h be p(7). Suppose -q - h = -6*q. Is 3/41 at least q?
False
Let w be 1/(5/(-2340)) - 0. Let h be (-7)/(42/w) - 3. Do h and 75 have the same value?
True
Let z = -792.03 - -792. Let l = -2.9 - -3. Which is greater: l or z?
l
Suppose -26*i = 24*i - 50. Which is smaller: -14/117 or i?
-14/117
Suppose 0 = 7*o - 5*o - 10. Suppose o*d + 182 - 7 = -5*t, 5*t - 5*d + 205 = 0. Which is smaller: t or -39?
-39
Let g = -0.039 + -47.961. Let p = -35 - g. Is p >= 0?
True
Let b be (-1 - (-3)/6)/((-7)/6). Is 2 <= b?
False
Let y(s) = s**2 + 3*s - 8. Let b be y(-6). Let h be 21/9 - 1/3 - b. Is -3 less than h?
False
Suppose -c = 4*c - 10. Let m = 37901/55152 - -1/3447. Is c equal to m?
False
Let g be 1 - (8/(-4) + 0). Suppose -2*p - 46 - 102 = -4*r, -g*r + 93 = 3*p. Suppose -f + 6*f - 3*k = r, 0 = -k. Which is greater: 8 or f?
8
Let o = -133 - -135. Let f = 883/55 + -1336/11. Let b = -103 - f. Is o at most b?
True
Let y = -108 + -28. Is -137 != y?
True
Let s be 3/1 + (-120)/44. Let j = 14 - 15. Are j and s nonequal?
True
Let l = -0.261 + -0.009. Let x = -0.3 - l. Let k = 0.97 - x. Which is greater: k or 0.1?
k
Let g = -104/3 + 35. Let p(k) = 2*k**2 + 8*k - 13. Let b(l) = -l**2 + l + 1. Let i(t) = -3*b(t) - p(t). Let y be i(10). Which is smaller: y or g?
y
Let v = -0.1 - -0.13. Let b = v + -8.03. Let d = b + 7. Which is smaller: 4/3 or d?
d
Let p = -7 + 51. Let i be (-4 - p/(-8)) + -1. Is i < -0.19?
False
Let n = 0.08 - 4.08. Let u = n - -3.8. Suppose 62*y = 57*y + 10. Which is smaller: y or u?
u
Suppose 0 = -11*s - 830 - 4010. Is -441 > s?
False
Suppose -13*a - 74 = -282. Is a equal to 5/3?
False
Suppose 2*h + 33 - 35 = 5*g, -4*g - 3 = -3*h. Let w = 93/17 - 281/51. Is g <= w?
False
Let q = -14582 - -1312429/90. Let j = 2/45 - q. Which is smaller: j or 0?
j
Let l = -4 - 1. Let f = -4.1 - l. Let y = f + -1. Is y smaller than 10?
True
Let w = -33 - -11. Let j = w - -18. Let n be (0 - 1) + (-1 - -1). Which is smaller: j or n?
j
Let h = -369 + 369.6. Is -15 greater than h?
False
Let t = 146 -