*3 + l**2 - 9*l - 13. Let n be o(-3). Let z = 15019/5 - n. Which is smaller: 12 or z?
z
Let h be -3 - 32/(-5) - (-9)/15. Suppose -h*y + 3*l - 807 = 0, -3*y + 4*l - 606 = l. Let v be y/63 + (4 - 1). Is -1 <= v?
True
Suppose -p = -4*r - 49, 5*p = -4*r - 0*r - 43. Let v be ((-3)/r)/(4/16). Which is bigger: v or -3/115?
v
Let k = -41.3 + -3.7. Let r = k + 44.48. Let c = r - -0.42. Is -7/3 smaller than c?
True
Let a = 19701 - 20304. Which is bigger: -5414/9 or a?
-5414/9
Let c = -7.35 - 0.65. Let a be 0/3 + ((-6)/(-67))/(-3). Which is greater: a or c?
a
Let c = -27035 + 27036. Do 23/325 and c have different values?
True
Let l(b) = 2*b + 28 - 33 - 36. Let q be l(21). Let u be ((-9)/(-18))/(q/(-4)). Which is smaller: 0.4 or u?
u
Let l(j) = -8*j - 5 - 2*j + 3*j - 7*j. Let p be l(-3). Let m = p - 97. Do m and -60 have different values?
False
Let f = 5351 - 5450. Is -94 >= f?
True
Suppose 49 - 9 = 2*s. Suppose 16*t - 12 - s = 0. Suppose 4*w - 7*w - 3 = 0. Which is smaller: t or w?
w
Suppose 69*h = -114*h - 319335. Is -1745 > h?
False
Let u = -27.69 - 568.98. Let p = u - 1.33. Which is bigger: p or -1?
-1
Let r = 81 + -77. Let l be (-37 - -1)/r*3. Let s = l + 676/25. Are -1 and s unequal?
True
Suppose 4805*p = 4843*p + 113544. Which is bigger: p or 0.2?
0.2
Let c(o) = -o**3 + 2*o**2 - 19*o + 19. Let f be c(7). Let y = -733/2 - f. Which is smaller: y or -8?
-8
Let a = 627 - 419. Let m = -9.063 - -8.963. Is m > a?
False
Let t = -6339 + 107698/17. Let y = t + 50717/13260. Are 1 and y nonequal?
True
Let t be 6 + -19 + (-38544)/(-3003). Which is bigger: 0 or t?
0
Let v = -43 + 43. Let o be (v/(0 + -3 + 6))/(-1). Suppose o = -j + 4. Which is smaller: 3 or j?
3
Let p = -226 + 128. Let a(t) = -98*t + 17. Let l be a(-1). Let s = l + p. Which is bigger: s or 20?
20
Let v = 205 + -370. Let r = v - -163. Which is bigger: r or -3?
r
Suppose -c = 16*s + 24511 - 4068, 2*s + 2561 = c. Which is greater: -1274 or s?
-1274
Let k = 170 + -176. Let f be (k/9)/((-4)/222). Are -4 and f nonequal?
True
Let v = 8065 - 56654/7. Is v != -28?
True
Let n(v) = -175*v + 1912. Let f be n(-13). Which is greater: 4189 or f?
4189
Suppose 5*q + 4*m + 7200 = 5*m, -5*m + 5760 = -4*q. Let t be (-6)/4*q/(-135). Which is smaller: t or -21?
-21
Let l(y) = 3*y**2 + 5*y - 6. Let z(o) = -11*o + 4. Let r be z(1). Let t be l(r). Do t and 104 have the same value?
False
Let y = -13884 + 6311. Is -7572 <= y?
False
Suppose 5*g - 656 = s + 2*s, -s = -5*g + 222. Let h = s + 203. Suppose 0 = -3*v - 0*v - 30. Which is greater: h or v?
v
Suppose -29*g + 45 = 45. Suppose g = 58*r - 71*r - 3328. Is -255 at most r?
False
Let b = -3.81 - -94.81. Let f = 155 + -243. Let m = f + b. Which is greater: m or 8?
8
Let q = -1383 + 1843. Is 466 > q?
True
Let s = 387 + -387. Is s greater than or equal to -82/117?
True
Let i = -264895 + 264878. Let t(s) = -s**3 + s**2 - s - 3. Let g be t(3). Which is greater: g or i?
i
Let r = -0.05994 + 0.55994. Is 711 at least r?
True
Suppose 105 = -w - 0. Let n = -105 - w. Which is greater: n or -128?
n
Let b = 1336 - 889. Let c = -452 + b. Is c < 26?
True
Let m(a) = 7*a**2 + 4*a - 10. Let q be m(4). Suppose 0 = 5*c - q + 48. Let w = -18 + c. Which is bigger: 0.3 or w?
0.3
Suppose -18*m + 334*m - 2151644 = 0. Is 6809 at most m?
True
Let p be (-947)/9 - (129 - 132). Which is bigger: -103 or p?
p
Let g = 114017239 + -624244386587/5475. Let d = g - -44/75. Which is smaller: d or -1?
-1
Let s = 72 + -93. Let b be (28/s)/2*51. Which is bigger: 0.2 or b?
0.2
Suppose 3*d = 8*d - 30, 0 = 2*c - 5*d + 708. Is -8 equal to c?
False
Let x be (-3)/2946*(-3 - -1)*(10 - 12). Is x at least as big as 0?
False
Let i(a) = -1325*a + 7. Let d be i(-8). Let v be (d/(-22))/(-1) + 8/(-16). Let f = 482 - v. Is 0 at least f?
False
Suppose 78 = 2*h + 2*y, -1688*h + 1685*h = -y - 97. Which is greater: h or -22?
h
Let r = 182.948356 + 0.051644. Let i = -2 - -2. Which is bigger: i or r?
r
Let f = 267 + -253.1. Let r = 14.7 - f. Which is bigger: 0.04 or r?
r
Let x be (58/(-174))/(2/(-666)). Is x < 119?
True
Let m = -89031 + 7923520/89. Is -3 at least m?
False
Let h be (-3)/18 - -338*5/456. Let q = h + 4/19. Which is bigger: q or -4?
q
Let g = 1411 + -1412. Let v = -850 + 510. Let p = v - -54739/161. Is p >= g?
True
Suppose -2*a = 8*a + 770. Let v be (-4642)/a + (-4)/14. Let q be ((-30)/v)/(2/(-14)). Is 3 >= q?
False
Let g = -5714 - -5615. Which is greater: g or -2?
-2
Suppose 9 = 3*f + 2*n, -5*f + 0*f = -5*n + 10. Let g(r) = 864*r + 17274. Let o be g(-20). Which is bigger: o or f?
f
Let n = -44305 + 52811563/1192. Which is bigger: -1 or n?
n
Let p = -11405 - -11417. Let b = 35 + -172/5. Is b at most as big as p?
True
Suppose -2*a + 20214 = 4*q, 6*a - 87927 = -3*q - 27321. Which is bigger: a or 0?
a
Let o(b) = 17*b - 23. Let z be o(7). Suppose 10*l - 320 - 650 = 0. Is z bigger than l?
False
Suppose 4*v = -v - 105. Suppose -35*q = 9*q + 968. Let x be (-13)/v + q/(-6) + -4. Which is smaller: x or -1?
-1
Let n(k) = 130*k + 1439. Let q be n(-11). Is 82 less than q?
False
Let a be (-45)/(-27)*8/(-15)*8750/28. Is a at most as big as -278?
False
Let g = 153 - 149. Let k = g - 25. Is k >= 3?
False
Let u be (12/(-8))/(51/8092). Is -951/4 less than u?
False
Let c(t) = -t**2 - 3*t + 49. Let j be 3/((-60)/176) + (-9)/45. Let x be c(j). Suppose 2*z - 2*s + 0*s = -10, 0 = z + 4*s - 15. Is z at most as big as x?
False
Let s = -116 + 116. Suppose 0*n + 6*n - 6 = s. Which is smaller: n or 10/29?
10/29
Let m be -1 + (-6 - -10) + -6. Let u(j) = j - 7. Let i be u(6). Let t be (i/2)/((-9)/(-6)). Which is smaller: m or t?
m
Let n = 51 + -51. Let r = 682 - 682. Is r <= n?
True
Let p = 17015 + -17011. Which is greater: p or 327?
327
Suppose -11*h + 4*v = -8*h - 79, -5*h - 4*v = -153. Suppose -2*b = 2*l + 56 - 12, -3*l - 2*b - 66 = 0. Let d = 5 - l. Which is bigger: h or d?
h
Suppose -13*i - 54 = 59 - 74. Is -39/17 at least i?
True
Let v = -138717653/2408 - -57607. Which is greater: -0.3 or v?
v
Let q = 21 - 41. Let k = 14 + q. Let s = k + 5.8. Which is greater: -2/11 or s?
-2/11
Let v be ((-4)/252*-3)/(741/(-25272)). Is v greater than or equal to -1?
False
Suppose 4*u + s = -0*s - 364, -5*u - 3*s = 455. Let b = u + 54. Let v = 221/6 + b. Is v equal to 1?
False
Let g be -33 + (-2 - 0)/(-1). Let x be 1423/(-45) + (-576)/(-1440). Let s = g - x. Which is bigger: s or 8?
8
Let c = -0.11 + -2.89. Let w = -53 + c. Let a = -60 - w. Are a and -9 equal?
False
Suppose 5*a = -2*b + 454, 3*b - 1053 + 395 = 4*a. Is 212 < b?
True
Let s be (-60)/180*(-1596)/2. Is s at most 267?
True
Let g = 86 + 65. Let v = -2117/14 + g. Suppose 9*u = 4*u. Is v equal to u?
False
Suppose -5*l - 12217 = 14188. Let y = l + 31819/6. Is y less than 23?
True
Let j = -247264/55 + 22494/5. Is j greater than -5?
True
Let r = 5971/5 - 1185. Suppose 2*p - 1 = 3*j, 491 = -2*j + 501. Which is bigger: p or r?
r
Suppose j + 2*j + 5*i - 13 = 0, -15 = -3*i. Let h be (j/10)/(1/20). Suppose -612 = 16*x - 500. Is x at most as big as h?
False
Let j be -2*(-4)/464*(6 - 12). Suppose -z + 4 = 2. Suppose -14 = 4*n + z*x, 4*n - 4*x + x = 11. Which is bigger: n or j?
j
Let o = -996.19 + 992. Let m = 11 - 6.8. Let k = o + m. Which is smaller: 1/3 or k?
k
Let b = -1945 + 1829. Which is smaller: -117 or b?
-117
Suppose -4*c + 4*h = -0*c + 112, -c - 22 = 5*h. Let g be ((-7)/9)/7 - (-618)/c. Which is smaller: g or -19?
g
Let q(n) = n**3 - 30*n**2 - 125*n - 89. Let m be q(33). Is 2 bigger than m?
True
Suppose -2*t = 2*t - 120. Let j = 86 + -82. Suppose -24*h + 19*h - j*x = -166, -3*h = 4*x - 106. Is h less than or equal to t?
True
Let z = -137439 - -137438.9. Let y = 723/11 - 131/2. Which is smaller: y or z?
z
Let l = 984 - 983.9. Is 3.9 at most as big as l?
False
Let w = -5483 - -7516. Are 2033 and w non-equal?
False
Let u = 43808 - 777460575/17747. Are u and -1 non-equal?
True
Suppose -27*c = -19*c + 816. Which is smaller: -99 or c?
c
Let k be (70/(-6))/((-2)/6). Let b = -34101 - -34132. Is b < k?
True
Let k = -0.354 + -22.846. Let z = 23.017 + k. Which is smaller: z or 1/4?
z
Let n be 1608/18*(-2 - (2 + 55/(-10))). Which is smaller: 142 or n?
n
Let k(b) = -b**3 + 44*b**2 - 50*b + 4. Let a be k(43). Which is bigger: -290 or a?
-290
Suppose 0 = -d + 2*g + g - 43, 71 = -2*d + 3*g. Let t = d + 259/10. Sup