 l = 3138 + -12489/4. Which is greater: l or 16?
16
Let x(t) = 3*t**2 - 9*t - 10. Let f(v) = -2*v**2 + 8*v + 9. Let n(b) = 4*f(b) + 3*x(b). Let k be n(-3). Which is bigger: 3/11 or k?
3/11
Suppose 0 = -v + 5*v + g - 681, -g = -2*v + 339. Let y be v/15 + (-2)/(-3). Let d be -1 + (1 - y/(-28)). Is 0 not equal to d?
True
Let x = -990 + 967. Do -35 and x have different values?
True
Let x = -137/28 + 36/7. Let o = -11 - -4. Let w = 5.6 + o. Which is bigger: x or w?
x
Let c be ((-7)/(196/60))/1. Let p = c - -121/63. Which is smaller: -0.2 or p?
p
Let w = 486 - 487. Which is bigger: w or -21/44?
-21/44
Let b be 9 - (-43 + 5)/(-2). Are b and -2/11 unequal?
True
Suppose -4*j + 220 = i - 819, -i - 2*j = -1041. Does i = 1043?
True
Let o(b) = 3*b + b - 3*b - b**2 + 186. Let i be o(0). Let f be 12/78 + i/(-26). Which is smaller: -6 or f?
f
Let p(i) = 19*i**2 - 117*i + 15. Let c be p(6). Let j(l) = l**2 + 9*l + 8. Let n be j(-7). Is n greater than c?
False
Let j be 3*(2 - (-20)/(-12)). Let s be j*(-7 + (-12)/(-3)). Let m(z) = -z - 12. Let k be m(-10). Which is smaller: k or s?
s
Let f = 130.97 - 131. Let d = 0.6 - 0.8. Is d greater than or equal to f?
False
Let i(t) = -t**2 + 8*t + 9. Let r be i(9). Let w = -20732/43 + 482. Which is smaller: w or r?
w
Let r(q) = q**3 + 5*q**2 - 2*q - 4. Let t be r(-5). Suppose 0 = 4*n + 2 - 6. Let g(i) = 7*i**2 - 2*i + 2. Let c be g(n). Which is bigger: t or c?
c
Let h be 4/18 - 34/72*1. Let u be (-13)/(-5) + (-6)/(-15). Suppose 0 = -3*q + u. Which is smaller: q or h?
h
Let f(k) = 14*k + 29. Let b be f(-4). Which is greater: b or 2/15?
2/15
Let q(w) = w**3 - 8*w + 13*w - 8*w - w**2 + 2*w. Let g be q(2). Suppose 0*b = 2*b. Which is smaller: g or b?
b
Suppose 3*w - 737 = 739. Let j = -3442301/11 + 312445. Let t = w + j. Is 1 < t?
False
Let m = -994 + 1002. Is 7 greater than m?
False
Let l(y) = 3*y**3 - 3*y**2 + 4*y - 2. Let o be l(2). Let t(k) = -4*k**3 - 49*k**2 - 3*k + 124. Let s be t(-12). Is s bigger than o?
False
Let b be ((-16)/(-12) + 4)/((-8)/72). Is b at most as big as -283/6?
True
Let o = -1602 + 1428. Which is smaller: -171 or o?
o
Let d be (12/(-125))/(-15 - 901/(-60)). Which is bigger: -7 or d?
d
Let w = 477/2665 + -9/130. Which is greater: 1 or w?
1
Let c(p) = 5*p**2 - p - 3 - p**3 + 2*p + 7*p**2 - 3*p**2. Let h be c(9). Suppose 0 = h*u - 2*u. Which is smaller: 7 or u?
u
Let f = -30 + 35. Let h(g) = 2*g + f + 6*g - 9*g. Let z be h(3). Which is smaller: z or 3/5?
3/5
Let o = -151.9696 + 0.2696. Which is greater: 0.1 or o?
0.1
Let q = 51.6 + -26.6. Which is smaller: q or -2/35?
-2/35
Let k = -8.57 - 0.23. Let y = k + 10. Which is smaller: y or 2/9?
2/9
Let j = 0.2 - 0.24. Let z = 0.1 - j. Let y = -0.14 + z. Which is smaller: -3/7 or y?
-3/7
Let c = -865 + 2594/3. Which is greater: c or -1412?
c
Let o = 3.5 - -12.5. Let t = 16 - o. Is 0.05 less than t?
False
Suppose -2*u - 17 = -9, 5*u = 3*c + 178. Which is smaller: -64 or c?
c
Let w = -1087 + 1102.26. Let r = w - 15. Let d = 0.06 - r. Do -0.2 and d have the same value?
True
Suppose -3*s - 70 = 146. Is s greater than or equal to -72?
True
Suppose 0 = -2*x - 12 + 86. Suppose -2*l = 3*y - 4*l - x, 4*l = -20. Let w(b) = -b**2 + 10*b - 10. Let r be w(y). Which is bigger: r or -2?
r
Suppose -d - 1114*f - 5 = -1115*f, 7 = -3*d + f. Let i be 10/8*8/(-23). Is d less than i?
True
Let q be (-794)/(-2)*(3 - -4 - 6). Is 399 at most q?
False
Let x(k) be the first derivative of -k**3/3 + 4*k**2 - 6*k + 2. Let r be x(7). Let i = 16728/35 - 478. Which is bigger: i or r?
r
Suppose -5*f - 3*y + 5 = 0, 1 + 29 = 5*f - 2*y. Let k = 109 + -106. Suppose -f*j + k*j = 8. Which is smaller: j or 0?
j
Suppose j + 6*z - 7*z + 21 = 0, 46 = -2*j + 4*z. Let x be (3/2 + 0)*-12. Which is bigger: x or j?
x
Let p = 0.191 - 0.291. Which is bigger: 0.61 or p?
0.61
Let w(x) = -x**3 - x**2 - x + 1. Let m = -30 - -33. Let s be w(m). Is s < 2/5?
True
Let t = -2487 - -2859. Is t > 372?
False
Let o = -19.9 - 9.85. Let z = 0.75 + o. Is z >= 0.1?
False
Let a be 834/57*(-1)/(-8). Let y = a + -3/38. Let f be (45/20 - 2)*4. Is y greater than f?
True
Let g = -26.5 - -47.5. Let n = 1.5 + -2. Let k = -1.5 - n. Is k at least as big as g?
False
Let h = -685 + 687. Is -276 at most h?
True
Let x = -0.03806 - 0.08194. Let v = -1.8 - -2. Which is smaller: v or x?
x
Let f = 0.27 - 0.33. Let w = 63.1 - 60. Let l = 3 - w. Which is smaller: f or l?
l
Let t = -10583/18800 - -1/2350. Let b = t + 95/112. Let x = 0.26 - 0.3. Which is bigger: b or x?
b
Let p = -11.8 - -11.87. Which is smaller: p or -5?
-5
Let b be 7/(21/(-4)) + 790/594. Which is smaller: b or 0?
b
Let t = -555/2188 + 2/547. Which is smaller: t or 176?
t
Suppose 6*h - 12 = 9*h. Suppose t - 55 = 6*t. Let r = h - t. Which is bigger: 8 or r?
8
Let v = -0.112 + 14.812. Let u = 15 - v. Is -0.3 at least as big as u?
False
Let b = -3.57 - -3.67. Let d = -0.3 + 1.3. Is b at least as big as d?
False
Let t = 12.78 + -13. Let i = t - -0.62. Let v = -0.1 + 0.3. Is v less than or equal to i?
True
Let f be (8/(-3))/(46/69). Suppose -3*h + 5*b - 54 = h, h + 5*b = -1. Let n = 6 + h. Is f less than n?
False
Let h(k) = 36*k + 176. Let t be h(-14). Is -327 bigger than t?
True
Let l be (-66)/(-4) - (-34)/(-68). Which is greater: l or 117/8?
l
Let c = 55 + -63. Let h be (2/4)/((-110)/c). Which is smaller: -0.2 or h?
-0.2
Let n = -1000 - -999.9. Are n and 932 unequal?
True
Let k = 77 + -84. Let s(r) = -r**3 - 8*r**2 - 7*r - 2. Let x be s(k). Is x at most as big as -24/11?
False
Let s = 10 - 5. Let g = 6 - s. Let z(v) = v**3 - 4*v**2 + 4. Let u be z(3). Is g <= u?
False
Let y be ((-40)/42)/(-11 + -1 + 14). Which is smaller: -1 or y?
-1
Let s be 4/(-22) + (-6103)/11. Are s and -557 unequal?
True
Let j(m) = -4*m - 2. Let f be j(-1). Suppose 4*i + 3*x - f*x = -194, -5*i = 2*x + 244. Let w be ((-6)/4)/((-18)/i). Is w less than -4?
False
Let v = 0.11 + 0.96. Are v and 0.2 unequal?
True
Let r = -177 - -353. Which is greater: r or 175?
r
Suppose -2*j - 1 = c - 0*j, -3*j = 0. Which is smaller: 19 or c?
c
Let z = 111 - 121. Is -7 less than or equal to z?
False
Suppose -1181 = 11*p - 279. Which is smaller: 1/4 or p?
p
Suppose -9*h - 20 = -14*h. Suppose 2 + h = -6*s. Which is smaller: 1/23 or s?
s
Let d = -35 - -29. Let b be 0/(6/5 - d/(-30)). Let j = -0.3 - -0.8. Which is smaller: b or j?
b
Let x(o) = -3*o**2 - 3*o - 7. Let k(q) = q**2 + q - 1. Let b(m) = -4*k(m) - x(m). Let d be b(-8). Does d = -44?
False
Let d(l) = -l**3 - 4*l**2 - 3*l + 2. Let r(f) = f**3 + f**2 - f - 1. Let p be r(-2). Let g be d(p). Which is bigger: 11/5 or g?
11/5
Let u = -1371 + 1486. Which is greater: 120 or u?
120
Suppose 2*r + o + 0 = 8, 3*o + 12 = 3*r. Let z be 444/150 - (r + -1). Is z < 0.1?
True
Let w = -51.43 - -51.43. Let q = 2.1 + -2. Let v = q + 0. Is v < w?
False
Let v(m) = m**2 - 2*m - 1. Let b be v(-3). Suppose -16 = 19*l - 15*l, -5*t = -l - 84. Is t not equal to b?
True
Let t = -41 - -57. Let l = -18 + 17.7. Which is bigger: t or l?
t
Suppose 0 = 2*l + 2*o + 209 + 69, 4*l + 531 = o. Which is smaller: l or -133?
l
Let f(q) = q - 9. Let z be f(-8). Is -5 at least as big as z?
True
Let k = -5.5 - -4. Let y = k - -1.59. Suppose 3*d = -9, 86*b = 90*b + 5*d + 15. Which is greater: b or y?
y
Let k be (-4)/(-14) - (-65)/(-7). Let v be (12/k)/((-3)/9). Suppose -v*x + p + 35 = -0*p, -31 = -3*x - 4*p. Are x and 9 nonequal?
False
Let r = 142 - 283/2. Which is smaller: r or 2.5?
r
Let u = 122 - 171. Let t = -62 - u. Which is bigger: t or -2?
-2
Suppose 4*a = -4*z + 36, 0*z = -4*z + 5*a + 9. Suppose -2*g + 0 = z, 2*o - 2*g - 10 = 0. Which is greater: o or 11/5?
11/5
Let h = 15 + -8. Let n = -20.2 - -20. Is h greater than n?
True
Suppose 17*n = -4*n + 1764. Which is greater: n or 81?
n
Let u = -276557/98 + 2822. Let w(y) = y**3 + 3*y**2 - 1. Let p be w(-1). Which is smaller: u or p?
u
Let j be ((-75540)/198)/(-10) + 6/33. Suppose 81 - 271 = -5*k. Let s = k - j. Is -1 less than s?
True
Let j = 248 - 248.66. Which is smaller: j or -2/15?
j
Let q = -28 + 28. Is q equal to 6?
False
Let h = 0 + 2. Suppose 2*z + 20 - 24 = 0. Let s be z/4*-2 - (-7)/3. Which is smaller: s or h?
s
Let k = 8 + -4. Suppose 13*c = 8*c - 15, -2*d + 2*c + 16 = 0. Which is smaller: k or d?
k
Suppose g - 5 = -1. Suppose -g*b + 7 = 15. Let v be ((-23)/(