Which is smaller: i or o?
o
Let c be (12/(-10) + 2263/365)*(-228)/(-10). Is 103 <= c?
True
Let t be (72/(-648))/((-1)/9). Is t < -1/7233?
False
Let z be 40*(22/(-8) + 3). Suppose 0 = 5*n + 4*t - 61, -z*t = n - 15*t + 11. Let h = -4 - -13. Is h equal to n?
True
Let x = 753 - 752.9. Let y = -0.7 + 33.3. Which is smaller: y or x?
x
Let x(k) = -570*k - 1710. Let l be x(-3). Which is smaller: l or -1/9007?
-1/9007
Let l(b) = -94*b**2 - 224*b + 1726. Let j be l(8). Is j at most -6082?
True
Let z be 14/(-35) + ((-10554)/2940 - -4). Is z at least 1/2?
False
Let f(k) = 18*k - 31. Let m(w) = -6*w + 10. Let r(a) = -4*f(a) - 11*m(a). Let u be r(-6). Suppose 79 = 3*c - u. Which is greater: 44 or c?
44
Let j = 93 + -146.9. Let p = 56.18 + j. Which is smaller: 1 or p?
1
Let i = -0.96 + -0.19. Let x = i + 0.95. Which is greater: x or 5?
5
Let c(p) = -4*p**2 - 41*p - 57. Let g be c(9). Which is bigger: -735 or g?
-735
Suppose 5*j = 15, 22*j - 26*j + 21 = 3*q. Let o(c) = -c**2. Let t be o(-3). Which is greater: q or t?
q
Let h(i) = 4*i**3 + 2*i**2 + 2*i. Let z(m) = 3*m**3 + m**2 + m. Let r(s) = -2*h(s) + 3*z(s). Let w be r(0). Which is greater: 5/39 or w?
5/39
Let f be 4/(-16)*6*2/6. Let v = 1193/210 - 92/21. Is f smaller than v?
True
Suppose -74*s = -78*s - 5*a - 464, -3*a = -5*s - 617. Which is greater: -128 or s?
s
Suppose 3*i + 14 = -16. Let p be (2 - 0) + 15/i. Let l = 1/8480 + -16969/76320. Which is bigger: l or p?
p
Let s = -57 + 65. Suppose -5*z + 2*n - 4*n - 40 = 0, -5*n = z + s. Let y be 3/4 + 6/z + 1. Does -3/22 = y?
False
Let s = -30/157 - -10859/67510. Which is greater: s or 0?
0
Let r = -70.1 - -9.1. Let m = r - -60.965. Let p = m + -6.965. Which is smaller: p or -0.2?
p
Let q = 11/1365 - -24950/273. Let x = -92 + q. Suppose -3*m - 1 = -4*t + 2, -2*m - 2 = -5*t. Is t at most x?
False
Let t(x) = -2*x - x - 846*x**2 - 13 + 845*x**2. Let r be 2/4*(-10)/1. Let j be t(r). Which is greater: 0 or j?
0
Let j be -12*(-9)/(-12)*(-4)/6. Let g be 4 + -6 + j - 9. Is g < -7/2?
True
Let s = -12063/4 - -3021. Which is smaller: s or -31?
-31
Let y be (-12146)/(-10) + (-153)/255. Is 1214 at least as big as y?
True
Suppose 5*z - 5*a = -1665, -2*z + 5*a = -0*a + 672. Let k = z + 207. Are k and -1 nonequal?
True
Suppose 16 + 0 = 2*k. Let z(v) = v - 18. Let q be z(k). Let r be q/(-6)*(2 - (-16)/(-10)). Which is smaller: 0.5 or r?
0.5
Let o be (84/(-45))/14 - (-604)/30. Suppose 0 = o*m - 27*m + 602. Is 84 at most as big as m?
True
Suppose -4*t = -2*d + 602, -t - 145 + 33 = 5*d. Which is smaller: -146 or t?
t
Let l = -1765 + 12352/7. Suppose -23 = -4*s + 9. Let r = s + -8. Which is bigger: l or r?
r
Let z(l) = -l**2 + 25*l + 2. Let c be z(0). Which is smaller: c or -0.0063?
-0.0063
Let c = 924 + -924. Is -1/985 < c?
True
Let r = 499 + -494. Let h be 20/(-16) + r + (-5 - -1). Is 2/9 greater than or equal to h?
True
Let x = 4560.9 - 4561. Which is greater: x or 163?
163
Suppose -4*w + h = 0, 3*w - 159*h = -158*h - 1. Is -5/821 bigger than w?
False
Let w = 59 + -55. Suppose -8 = -w*p + 4*l, -l - 2*l = -2*p. Suppose -2 - p = x. Which is smaller: x or -2?
x
Suppose h - 4*x - 12 = -x, -x = -4*h + 70. Suppose 10*y + 3088 = h*y. Is 386 > y?
False
Suppose 0 = 3*q - n - 52, 8*q + n + 69 = 12*q. Let l = -501/7 - -626/7. Which is greater: l or q?
l
Let f = 68 - 66. Suppose -f + 14 = -4*v. Let x be (-1)/v - (-242)/66. Is -2 greater than or equal to x?
False
Let a be 4/18 - (42860/(-315) - (-10)/35). Is 131 >= a?
False
Let x(s) = s**3 + 26*s**2 + 50*s + 12. Let z be x(-24). Let r be 8330/(-84)*z/80. Is -2/7 bigger than r?
False
Let u(l) = -2*l + 9*l**2 + 13 - 2*l - 5*l - 1 - l**3. Let m be u(9). Let p = m + 486/7. Which is smaller: -6 or p?
-6
Suppose -5*l - s + 6 = 8, 0 = 5*l + 4*s + 23. Is l at least as big as -2/26881?
True
Let c = -14 - 26. Let a = 12 + c. Let s = -24 - a. Is s >= 7?
False
Let b be 112/280*10/18. Let w be (-884)/(-42) + 1/(-3). Let u = 21 - w. Is u less than or equal to b?
False
Suppose 0 = 4*k + 2*v - 2, 0 = 3*k + 5*v - 5. Suppose -2*h - x - 72 = 0, 3*h + 108 = 2*x - k*x. Suppose 0*j + 5*b - 62 = j, -96 = 3*j + 3*b. Is h at most j?
False
Let g = 12.98 - -0.02. Let v = g - 1. Let d = 35/66 + -1/33. Are v and d equal?
False
Let j = 700702/1435 + -2286/205. Which is bigger: j or 478?
478
Let c(g) = -1219*g + 10663. Let r be c(8). Do r and 912 have different values?
True
Suppose -13 = -5*s - 3*d, -4*s + 5 = d - 4*d. Suppose -r - 3*k - 14 = 0, r + s*k + 12 = -2*k. Let z be 4/(57 - -3)*(-6)/r. Which is greater: z or 0.1?
0.1
Let y = 142.1 + -141.1. Suppose -4*k + 2*k = -6. Suppose -2*l = k*l + 370. Is l at least y?
False
Let t be 0 + 0 - (-48)/(-6). Let o = -32 + 44. Let g be 5/30*-3*o. Is t less than or equal to g?
True
Let g = 17331.971 + -17332. Is g at least 36?
False
Let s be 155 - 137 - 34770/1930. Suppose 3*x = -3 + 6. Which is greater: s or x?
x
Let h(c) be the third derivative of -c**6/120 - c**5/3 - 23*c**4/24 - 13*c**3/3 - 2*c**2. Let s be h(-19). Let q = -37 + s. Is 0.3 at most as big as q?
True
Let j be -2 - (70/3)/((-47)/5640). Is 2797 bigger than j?
False
Let c(a) = a**2 + 22*a - 18. Let h be c(-22). Let l be 7 + h/2 + (-8)/(-19). Is -2 smaller than l?
True
Suppose 0 = -u + 1, -2*q = -5*q + 4*u + 863. Suppose -3*y = 15, -4*s + y + q = -0*y. Suppose -s - 178 = 3*h - 3*l, 2*l - 418 = 5*h. Is h >= -83?
False
Let r = 2 - 3. Let m be ((-5)/(0 + -5))/(1384/(-9656)) - -7. Which is bigger: m or r?
m
Let n be ((-2)/(-2))/(14/56). Suppose -3*z = -4*u + 5, 0*z = -n*u + 4*z + 8. Let w = 76 + -4257/56. Is u greater than or equal to w?
False
Let u be -4 - 0 - (-80)/(10 - 20)*-1139. Is 9109 at least u?
True
Let r = -1724/13629 + 4/177. Let s = r + -2/11. Is s <= -694?
False
Let k(x) = -x**3 + 15*x**2 - 6. Let m be k(15). Let h be (m/4)/(6/232*-2). Let c = -41 + h. Which is smaller: -9 or c?
c
Suppose -3*x - 5 = 4*r - 23, 2*x - 7 = -r. Let s be (7/(-2) + r)*106. Let g = 1083 - 1135. Which is smaller: s or g?
s
Let a = 20.1 - 20.022. Let l = -0.202 - a. Is l smaller than 0?
True
Let r = 3330 + -3329. Which is greater: 103/42 or r?
103/42
Let t be (-528)/(-14) - 2/(-14)*2. Suppose t = -v + 2*f, 15*f - 4 = 17*f. Is v equal to -42?
True
Let l = 14/467 + -480/47167. Suppose -5*w + 3*b + 3 = 0, -2 = -3*w - 2*b + 4*b. Which is greater: l or w?
l
Suppose 0 = 20*w - 23*w - 321. Suppose 0*c + 1 = c, 104 = -k - 5*c. Which is bigger: w or k?
w
Suppose 0 = 5*x - 169 - 61. Let u = 58 - x. Suppose -u*s - 4 = -8*s. Do -1 and s have the same value?
True
Suppose -18*q + 6*q = 10*q. Which is bigger: q or 46/63?
46/63
Suppose 9*s - 114 = -15*s - 90. Which is greater: s or -2/1255?
s
Suppose 5*n = 609 + 141. Suppose 0 = 2*c - 5*c - n. Let j = -53 - c. Which is smaller: j or 5?
j
Let d = -14600 + 14494. Which is greater: d or -135?
d
Let d be (10/(-6))/(25/(-60)). Suppose -3*z + 0*y + d*y + 11 = 0, -3 = -5*z - y. Are z and -23 non-equal?
True
Let b = -4 + 18. Let t = -129.8 - -138.8. Which is smaller: t or b?
t
Let h = 841/15 - 176/3. Suppose -4*m = -5*y + 15 + 1, -4*m + 3*y = 8. Let s be 128/(-40) - m/(-5). Which is greater: s or h?
h
Let o = 0.274 + -4.274. Which is smaller: o or 42?
o
Suppose 38*x + 654 = -752. Which is smaller: x or -74?
-74
Let g(c) = -3*c + 6*c**2 - 182 + 7*c**2 + 163 - 6*c**2. Let n be g(6). Is 214 at least as big as n?
False
Let f be (-1957)/(-76) - (-1)/8*2. Let m(y) = -2*y**2 + 52*y + 3. Let w be m(f). Which is smaller: 13 or w?
w
Let n = -61 - -65. Let a be 7 + 3*n/(-6). Let w = -10 - -15. Is a greater than w?
False
Suppose 254*s + 393846 - 977284 = 0. Does s = 2292?
False
Let t = -8/89587 - 4044673836/447935. Let c = t + 8937. Let w = -93 - c. Which is smaller: w or 2/15?
w
Suppose -3*g - 998 = -2*v, -17*v + 1495 = -14*v - 5*g. Which is greater: 497 or v?
v
Suppose -14*o = -19*o, 3*x + o = -159. Are x and 29 non-equal?
True
Let s = -134 + 134. Suppose 651 - 124 = 3*c - o, 3*c + 2*o - 512 = s. Let a be 8/(-28) + c/21. Are a and 5 non-equal?
True
Suppose h - 5*h = -4*l + 104, 11 = l - 4*h. Suppose -27 - 11 = 4*r - q, 3*r - 2*q + l = 0. Let o(s) = 9*s - 8. Let t be o(r). Which is bigger: -88 or t?
-88
Suppose -4*i = -2799 - 281. Suppose 16*x + i = 26*x. Which is smaller: x or 75?
75
Let i = 491 + -486. Suppose 15*w = -i*c + 20*w + 820, 2*c - 327 = w. Which is g