?
-2
Let n(t) = t - 2. Let g be n(6). Let l(p) = p**3 - 8*p**2 - 14*p + 18. Let s be l(8). Let o be s/(-30) + (-12)/90. Is g at least as big as o?
True
Let l be -23 - (-2)/(-3)*-3. Let n be (l/(-28))/((-123)/(-8)). Are n and -1 non-equal?
True
Let u = -11185 - -11233.91. Let k = -49 + u. Which is smaller: 1 or k?
k
Let f be ((-9)/(-6))/((-24)/(-80)). Is f > 4?
True
Let i = 172.8 - 153. Let j = i + -20. Which is greater: j or 0.7?
0.7
Let o be -3*-2*(-4)/6. Let x(z) = z + 4. Let y be x(6). Let a be (40/(-100))/(1/y). Is o greater than a?
False
Let s = 2020 - 2024. Let x be ((-16)/6)/(-4)*-24. Which is smaller: s or x?
x
Let w(b) = -b**2 + 4*b + 8. Let j be w(4). Suppose 1 = 3*r - j. Suppose 6 = -m + r*m. Which is greater: m or 2?
m
Suppose -5*m + 5*j - 565 = 0, 3*m - 4*j + 337 = -0*j. Which is smaller: 1/4 or m?
m
Let z be (-42 - -44)*(-2)/4. Which is smaller: z or -3/43?
z
Let o = 393 - 466. Which is smaller: -75 or o?
-75
Let y = 0.722 + 67.078. Let k = y - 68. Let f = -483/4 + 120. Are f and k nonequal?
True
Let r = -161 - -244. Is r at least as big as 2/5?
True
Suppose -o + 6 = 2*o. Suppose o*m - 22 = -2*k, m - 2*m + 3 = 5*k. Which is greater: 14 or m?
14
Let k = -29 + 34. Suppose -2*c = -3*f + 10, -k*f - 5*c + 0*c - 25 = 0. Is 3/5 > f?
True
Let u = -5/178 + -197/2492. Let z = 257 - 256. Is u at most z?
True
Suppose -9*h = -510 + 159. Which is greater: h or 45?
45
Let w(k) = -2*k - 1. Let b be w(-1). Let z be (-2 + 0)*4/(-124). Is z < b?
True
Suppose 0 = -571*p + 576*p + 15. Which is bigger: -49/16 or p?
p
Let u be 14/(-13) - 87/(-1131). Are u and -1/329 unequal?
True
Let h be 0*((-57)/6)/(-19). Are -4/1235 and h nonequal?
True
Let a be 5/(-20) + 931/28. Is 25 != a?
True
Let z(b) = -b**3 - 6*b**2 + b + 7. Let t be z(-5). Let r be (-105)/(-10)*(60/9 - 2). Suppose r = -4*q - 39. Which is smaller: t or q?
t
Let w = -36 + 33. Let z be (3/1)/(w*5/15). Which is greater: -2 or z?
-2
Let c = 44 + -48. Let f be 6/c*(18 + 0)*-1. Is f equal to 26?
False
Let b = -2 - 38. Let w be (-12)/(-21) + b/(-28). Suppose 0 = w*d - 1 + 9. Which is smaller: d or 0?
d
Let s = -2229 - -2287. Is s not equal to -6/11?
True
Let f(t) be the first derivative of 4*t**2 - 6*t - 2. Let j be f(1). Is j <= 14/13?
False
Let n = -8 + 12. Let t be (n/10)/((-30)/(-275)). Is 3 at most as big as t?
True
Let c = -2.23 - 0.96. Let i = c + 1.19. Is 0.04 > i?
True
Let w(d) = d**3 - d**2 - 2*d - 41. Let k be w(0). Let u(o) = o**2 + 35*o - 154. Let v be u(-39). Which is bigger: k or v?
v
Suppose -2*w = 6, 5*c = -3*w - 4 + 25. Let z(l) = l**3 + 6*l**2 + 7*l + 4. Let p be z(-4). Let d be -1 + p + 6/(-2). Which is smaller: d or c?
d
Let v(p) = -26*p**3 + 3*p - 7. Let w be v(2). Is -210 >= w?
False
Let i = 5.7 - 9.5. Let q = i + 3.7. Which is smaller: q or 15?
q
Let a(f) be the second derivative of -f**4/12 + 2*f**3 + f**2 - f. Let z be a(12). Suppose 0 = -z*s - s. Do s and -4/21 have the same value?
False
Suppose 3*u = 10 - 4. Let j be 1 + u/(-2) + 2. Suppose 0*z + z + 10 = -3*o, 10 = -j*z - o. Is -5 at least z?
False
Suppose -2*o = 2*o + 20. Let w = -106 - -68. Let c be (w/(-16))/((-11)/22). Which is greater: o or c?
c
Suppose 13 = -8*r - 19. Is 4 greater than or equal to r?
True
Let y be 2/16*-2 - 105/60. Is y less than -5?
False
Suppose 0*r - 180 = -5*r. Suppose -157 - 59 = -6*c. Is r smaller than c?
False
Let c = -3601.1 + -71.9. Let m = -3687.99 - c. Let l = 0.01 - m. Which is smaller: -1/4 or l?
-1/4
Let q = -11.3 - -12.3. Let l(t) = -t - 1. Let g be l(7). Which is smaller: q or g?
g
Let f = -5.3 + 3.6. Let v = f - -1.98. Is v at least 1?
False
Let o(j) = -3*j + 43. Let n be o(15). Let t be -6 + (-12)/8*n + -4. Let k = -14 + 8. Is t greater than or equal to k?
False
Suppose 19*t - 91 = 26*t. Let a = -44 - t. Which is smaller: -33 or a?
-33
Let z(t) = -t**3 + 6*t**2 - 3*t + 4. Suppose -5*n + 2*h = -21, -3*n + 15 + 10 = 5*h. Let u be z(n). Let k be 18/u - (-4)/(-14). Is 1 at least k?
True
Let r = 1013/20 - 237/5. Is 3 <= r?
True
Let v = 769/18 + -247/6. Are 0.1 and v non-equal?
True
Suppose -17*n = -20*n + 30. Suppose n*j = 8*j. Which is greater: -1/13 or j?
j
Let w be 166/54 + (0 + 1)*-3. Is w less than or equal to -1?
False
Let d be ((-16)/(-40))/((-9)/90). Let y(h) = -h**2 - 5*h + 5. Let w be y(-6). Let o be (-3)/w + (-1 - 6). Is o at least as big as d?
True
Let y be 804/(-810) + 32/(-20). Is -4 > y?
False
Let o = -31 + 94/3. Let x = 3574 - 3573. Which is smaller: o or x?
o
Let g = -51 + 67. Let k be 1 - (g/10 + 34/85). Which is smaller: -1/21 or k?
k
Let q be (20 - -4)*5/(-4). Let x be 5/(q/189)*96/(-28). Is 108 at most as big as x?
True
Let d = 49 + -16. Let j = 32 - d. Which is bigger: j or -1/6?
-1/6
Let s = -105 - -104. Let k = 3 - s. Is -2/19 > k?
False
Let g = -151 + 151.2. Let h = -29/3 - -28/3. Is h bigger than g?
False
Let r(b) = -31*b + 67. Let q be r(31). Which is smaller: -893 or q?
q
Suppose 0 = -2*o - 4*t + 7*t + 204, -3*t = 6. Is o bigger than 97?
True
Let g be ((1 + -2)*1)/(-1). Let w be 10/195*(-1)/3. Is w at most as big as g?
True
Suppose 5*n + 4 = -1. Let p be (9/(-33))/((-44)/(-352)). Which is bigger: p or n?
n
Let p(i) = 2 + 4 - 3 - 4 + 43*i. Let b be p(-1). Let z be (-6)/(-33) - 432/b. Is z equal to 10?
True
Let d be (-4)/10 + (-12916)/(-65). Let v = d + -198. Is 0 less than or equal to v?
True
Let v = 0 - 0. Let l = 2 - v. Let w be 9/5*((-121)/6 + 20). Which is smaller: l or w?
w
Let o(y) = -y**3 - 6*y**2 + 8*y + 10. Let h be o(-6). Let k = -21 - h. Is 17 greater than k?
False
Suppose -d - 12 = 4*m - 4, -4*m = 3*d + 32. Which is smaller: -10 or d?
d
Let h(x) = -x**3 - 6*x**2 - 7*x - 7. Let w be h(-5). Suppose 1 = w*d - 8. Suppose -3*o = 3*r + 18, -d*o - 4*r = -8*o + 6. Is -6 < o?
True
Let t = 197/55 + -17/5. Which is smaller: -0.2 or t?
-0.2
Let o = -64 + 64. Let v = -1.9 - 12.1. Let n = -14.04 - v. Which is bigger: o or n?
o
Suppose 3*x - 4*r - 991 = 0, 4*r - 1088 = -4*x + 224. Which is smaller: x or 328?
328
Let u(h) = h - 1. Let a be u(0). Let m(g) = g**2 + g + 1. Let t be m(a). Is t > 0.18?
True
Let l(c) = c**3 + 15*c**2 + 13*c - 7. Let h(b) = 2*b**3 + 31*b**2 + 27*b - 13. Let o(q) = -3*h(q) + 7*l(q). Let u be o(-11). Is u <= -1/46?
False
Suppose -3*y - 3 = 3. Let l be (-4)/(1*y)*230/(-20). Is l < -22?
True
Suppose 3*i - 5*r = 277, -r + 122 = -3*i + 403. Suppose 2*t - x = -t + i, -28 = -t + 2*x. Suppose -t = 5*a - 4*v, 0 = 2*a + 4*v - 4. Is -4 less than a?
False
Let f = -20 - -19.8. Let q = 674/399 + -3/133. Is f less than q?
True
Suppose -15 = 4*d - 5*u, -2*d + u + 4*u = 5. Let t = -29 + d. Does -34 = t?
True
Suppose -2*f = l - 164, 2*l - 4*f = 5*l - 488. Which is greater: 162 or l?
162
Suppose -2*f + 5*f + 8 = 4*p, 0 = 2*p - 3*f - 4. Suppose 38 = -p*c + 3*r - r, -2*c = -4*r + 36. Is -20 less than c?
False
Let g = 145 - 577/4. Which is smaller: g or -4/21?
-4/21
Let r = -139 - -138. Are r and -3/115 unequal?
True
Let b(v) = v**2 + 9*v - 18. Let y be b(2). Let o be 1/y + (-150)/24. Which is smaller: o or -3?
o
Let w be ((-244)/8)/(1/2). Which is greater: 2/9 or w?
2/9
Suppose -2*u - 5*f = 144, 0 = -6*u + u - f - 314. Let o = 748 + -811. Which is smaller: u or o?
o
Let z = 327 - 550. Which is smaller: 1 or z?
z
Let g = -452 - -446. Which is smaller: g or -31/5?
-31/5
Suppose 0 = 5*a - 5*p, -p - 5 = -2*p. Let s be (-14)/70*(-55)/3. Do a and s have the same value?
False
Let o = -2755 + 8429/3. Let y = o + -2138/39. Is 1 equal to y?
False
Let k = 179 + -179. Is k at least as big as -1/248?
True
Let w = -10.9 - -0.9. Let p = -74 + 75. Which is greater: w or p?
p
Suppose 0 = -2*x - 3*g - 269, 5*g = -4*x - 572 + 33. Which is greater: -135 or x?
-135
Let m = 0.1 - 0. Let c = -0.3 + m. Let s = -421 - -420.97. Which is smaller: s or c?
c
Suppose -2145*y = -2157*y + 14820. Is y at least as big as 1235?
True
Let p be 72/790*(-120)/(-36). Is p bigger than -1?
True
Suppose x - 50 = -u - 157, 3*u = -5*x - 529. Which is greater: 5 or x?
5
Let p = 0.045 - 31.045. Let j = -33 - p. Is j greater than -0.19?
False
Let o = 87 - 78. Suppose -14*g + g = -o*g. Is 0 > g?
False
Suppose -2*c + 32 + 6 = 4*t, 3*c = -2*t + 41. Suppose 2*a - 11 = -3*x, -2*x + c = 4*a - 23. Suppose 5*o + a = 2*n + 2, -o = 3*n - 12. Is o > -1/3?
True
Let t be 15*(-6)/9 + 5. Is t smaller than -48/11?
Tr