= 1312414. Let b = s - 24459142/15. Let c = b - -574. Which is bigger: 0 or c?
0
Let p = 186 - 184. Let x be p + 3 - 120/25. Which is bigger: x or 0?
x
Let z = 216.9514 + 0.0486. Let h = 221 - z. Is h > -9?
True
Let d(p) = p**3 + 12*p**2 + 36*p + 11. Let z be d(-5). Suppose 0*r - 4*r + z*r = 0. Which is smaller: -3/311 or r?
-3/311
Let d = -17557 - -17557. Let y be (-18)/(-411) + (-2 - -2). Which is smaller: y or d?
d
Let u = 282 - 188. Suppose 48 = -u*h + 97*h. Is h not equal to 17?
True
Suppose 0 = -0*u + u + 2*c + 6, -10 = u + 3*c. Let r be (-1 + 4)*-6*(-10)/(-90). Let k be 4/r*u/18. Is 1 less than k?
False
Let p(b) = 424*b**2 - b + 2. Let u(z) = -1272*z**2 + 4*z - 8. Let y(g) = -7*p(g) - 2*u(g). Let q be y(-1). Which is smaller: q or -422?
-422
Let m be 2/2 + 11 + -2. Let f be 2/(-10) + (-3)/m. Let k = 32.464 + 14.536. Is f less than k?
True
Let f be (-5)/422*(-1326)/(-85). Which is smaller: f or 0?
f
Suppose -9*t + 8*t = 34. Let j be (3 - (t + 2)) + -3. Suppose -5*v - 2*x = -19, 4*v - 7*x = -3*x + j. Is 7 at least v?
True
Suppose 2*d - 18 = -i, d = 2*i - d - 42. Suppose -i = 4*y - 0, -50 = -4*a - 2*y. Let f be (2 - 2)/(a + -19). Is 1 less than or equal to f?
False
Let q = -145/11 + 697/22. Which is greater: q or -35?
q
Let u = -2323 + 3503. Suppose u*m - 1176*m = 124. Let y = -0.1 + 0.3. Do m and y have different values?
True
Let h = -9.04 + -0.56. Let r = 3.6 + h. Is r > -2/15?
False
Suppose 5*v + 16*v = -138 - 156. Which is smaller: v or 1/64?
v
Let u be (24/16 + -2*1)*0. Suppose h + 2*n + 5 = -2, -h - 5*n + 2 = u. Which is smaller: -7 or h?
h
Let c(t) = -12 - 30 + 18 + 2*t. Let x be c(12). Is x less than -0.027?
False
Let h = -2 - -3. Let y = -11.05 + -2.95. Let q = 62 + y. Which is smaller: h or q?
h
Let l(b) = -b**3 + 48*b**2 - 217*b + 87. Let f be l(43). Which is smaller: f or 124/53?
f
Let o = 1712 + -1086. Let j = o - 597. Is j less than 27?
False
Let c(x) = 1198*x + 409. Let r be c(3). Is r != 4005?
True
Let a be (7920/(-24) + 24)/5. Which is smaller: a or 0.03?
a
Suppose u = 10 + 4. Suppose 3*c + 1577 = 1592. Let t(y) = y**3 - 6*y**2 - 13*y + 102. Let z be t(c). Which is smaller: z or u?
z
Let f = 441 - 347. Let h(o) = 25*o**2 + 17*o - 39. Let r be h(2). Is f at most r?
True
Let j(f) = 12*f + 1. Let g be j(6). Let t(d) = 12*d - 332. Let x be t(36). Let c = x + -28. Is c at most g?
True
Let t = 1.5187 - -27.0713. Which is greater: t or 0?
t
Let h be (-6)/15 - (-239)/210. Let k = -1/14 + h. Let n = 100/47 + -659/376. Is n smaller than k?
True
Let x be (13 + 7 - -13)*(237/(-9) + 2). Are x and -807 equal?
False
Let m = -770.0213 + 770. Which is greater: 0 or m?
0
Let b be -19*4/(-42)*42312/(-86). Which is smaller: -889 or b?
b
Let j = 60 - 104. Let b = j - -43.9. Is 55 greater than or equal to b?
True
Suppose -2*j + 2 = 4*n, 4*n + 13 = -3*j + 2*n. Let u(v) = -v**3 - 7*v**2 + 6*v + 13. Let z be u(j). Is -28 at least z?
True
Suppose -2*d = -33*w + 38*w - 7117, 5*d - 5*w = 17880. Which is bigger: 3572 or d?
3572
Let b be ((-1)/12)/((-4)/(-48)*-9)*4714. Is b != 523?
True
Let i = 3.98 - -0.02. Let o = -55688/5 - -55696/5. Which is bigger: o or i?
i
Let q = -112.26 + 112.445. Which is smaller: q or -0.13?
-0.13
Let q be 0/(1 - 14 - -8). Which is smaller: 5/218 or q?
q
Suppose -5*k = -4*t - t - 50, -4*t - k = 20. Let n = -77 - t. Which is greater: -69 or n?
-69
Let s(g) = -g**2 - 5*g - 9. Let d be s(-5). Let t be (-3)/d - 56/(-21). Suppose -h - 4*y = -6*h - 7, 0 = -t*h + y. Which is smaller: 1/7 or h?
1/7
Let p = 764 + -760. Suppose 15 = v + p*v - 5*b, -2*v - 4*b = 0. Is 34/13 bigger than v?
True
Suppose 5*l + 3*i = 14*i - 55120, -5 = -i. Is l at most -11013?
True
Let w = -1559 - -1559.1. Is 335.6 smaller than w?
False
Suppose -143*x + 137*x - 36 = 0. Suppose -3*l = -15, l - 4*l = 5*w + 5. Let b be (x/w)/(20/104). Which is smaller: b or 7?
7
Let g be (0 - -1) + (-1 - -1). Let c = -12567 + 8867. Let a = -1010098/273 - c. Which is smaller: a or g?
a
Let a be (-10351)/(-2) + 1 + 20 + (88 - 99). Which is smaller: a or 5186?
a
Let s = -28187070 - -2114061152/75. Let c = 412 - s. Suppose 2*l + 3*l - 16 = x, -4*l + 12 = 0. Is c smaller than x?
False
Suppose -3*q - 190 = 5*s, -3*q + 61 = 4*s + 252. Let i = 68 + q. Is i > 33?
False
Suppose 0 = -1097*z + 1090*z + 539. Is z bigger than 82?
False
Let h be -3669*(16/(-120))/(28/35). Is 613 at least as big as h?
True
Suppose 1264*i + 3488 = 1296*i. Which is greater: i or 8?
i
Let s be 15/(-270) - (-937)/18. Is s less than 124?
True
Suppose -n = -5*h - 2025, -3*n - 696 = 5*h + 1309. Which is greater: 0.3 or h?
0.3
Let l = 348 - 301. Let s(k) = 3*k + 9. Let i be s(13). Which is smaller: i or l?
l
Let d(f) = f**2 + f + 130. Suppose -3*c = 14*c. Let x be d(c). Suppose 2*s + 130 = -2*r, 4*r - x = -3*s + 5*s. Are s and -65 non-equal?
False
Suppose -5*f - 12 = 3*o + 8, 5*o - f = 4. Let u = 0 + o. Let i = 6/3325 + -66554/29925. Is u >= i?
True
Suppose 0 = -4*c - 109 - 51. Let x = c + 21. Let r be ((20/(-15))/(-1))/(-4 - (-354)/90). Which is bigger: x or r?
x
Let j = 499 - 502. Let t be (3 + 135/(-6))*(j + 2). Which is greater: 20 or t?
20
Suppose 0 = -10*i - 537 + 527. Which is smaller: -21/1502 or i?
i
Suppose 0 = 31*f + 31187 + 16956 + 37975. Are -2779 and f equal?
False
Let t = 11670 + -11595. Is 7/8 greater than or equal to t?
False
Let n be 4/(-30)*19/(456/(-16)). Which is greater: n or 0.1?
0.1
Let t(p) = -31*p - 1. Let n be t(1). Let d = 32 + n. Suppose d = u + u - 22. Which is bigger: 12 or u?
12
Let y(p) = -2*p**3 - 82*p**2 - 77*p + 121. Let g be y(-40). Do g and -2/4207 have different values?
True
Suppose 0 = 5*a - 5*z - 265, -4*a - 3*z + 2*z = -227. Suppose 15*h - 7*h = -a. Suppose 12 = -3*s + 4*v, s + 3*v - 1 + 5 = 0. Which is bigger: h or s?
s
Let d = -1182.41 - -1181. Which is greater: -2 or d?
d
Let s = -11.1 - -12.1. Let v = -11 + s. Let u = 3.8 - 4. Which is bigger: v or u?
u
Let m = 81056 + -727394/9. Which is smaller: m or 233?
233
Let s = 235 - 239.92. Let a = s - -4.82. Which is smaller: -4/13 or a?
-4/13
Let u = 13777 - 13534. Which is bigger: 222 or u?
u
Let z(b) = 67*b - 282. Let n be z(4). Which is smaller: 38 or n?
n
Suppose 2*g = -10*f - 26830, 5*g - 4*g = -3*f - 13405. Is -13390 at least g?
True
Let a be (-3)/((-300)/4904)*(2 - 7). Let h = a + 247. Which is bigger: h or 3?
3
Let b = 350 - 156. Let t = 201 - b. Is 0.04 greater than t?
False
Let o = 48.06 - 49.06. Is o at most as big as 1925?
True
Let u = 6/5 + -296/255. Let s = u - -80/561. Is -12 at least s?
False
Let p be 6/21 - (-186)/434*130/(-6). Which is smaller: p or -194/21?
-194/21
Let o(f) = -f**2 + 3*f - 1. Let w be o(3). Let q = -1697455/22659 + 6219/83. Do w and q have different values?
True
Let x be (-260)/(-406250)*(-5)/3. Is x at least as big as 1?
False
Let f be -459*(-1)/5 + (-1)/(-5). Let j be 0 + f/28 - 6/21. Suppose 0 = 9*k - 6*k + j. Is k >= -1?
True
Let o(y) = y**2 + 30*y + 573. Let g be o(-13). Which is smaller: 4 or g?
4
Let n = -1.047 - -1.047. Let y be 2/1*12/10. Which is greater: y or n?
y
Suppose 0 = -2*u + 9*u - 35. Suppose n + 4*n - t = -5, -u*t - 33 = 4*n. Let x be 1*-1 - (135/(-35) - n). Are 4 and x equal?
False
Suppose 2*n - 51 = 5. Let g be n/(-35)*(-10)/12. Let v = 31 + -44. Which is smaller: g or v?
v
Let k = -4.39 - 43.11. Which is smaller: k or 5?
k
Let w = 0.04 - -1.96. Let i = w - 3. Suppose 0 = 16*z - 344*z - 5576. Which is smaller: z or i?
z
Let m = -21 - -26. Suppose -2*x + 4*x - 3*t = 60060, -90090 = -3*x - m*t. Let j be 2/(-13) - (-4360)/x. Are -1 and j unequal?
True
Let r be (10 - (-204)/(-48))*10*2. Let q be ((-512)/r)/(-4) + (-6)/5. Is 0 < q?
False
Let x be (2 + -3)*1651/(-65). Which is smaller: x or -1/8?
-1/8
Let f(p) = 120*p**3 - 5*p - 5. Let v be f(-1). Let c = 136 + v. Suppose 5*w - 3*n + 160 = 0, w - 3*n + c = -4. Is -36 bigger than w?
False
Suppose 0 = -5*f - 4*u - 638, -5*f - 486 - 72 = 14*u. Which is bigger: -152 or f?
f
Let u = -34880.0326 + 34880. Are -1/4 and u non-equal?
True
Suppose -i - 1 = 13. Let o be 24 + (i - 1)/5. Suppose -4*l + o = 13. Is -2 less than l?
True
Let j be (((-55)/4)/1)/((-6771)/148 + 46). Is -63 <= j?
True
Let n = 2554 - 2596. Let y = 0.78 - 46.78. Let c = y - n. Is 0.08 greater than c?
True
Let r = 5.2525 + -5.2. Let w = r - -25.0475. Let f = -25 