 bigger: a or 6?
6
Let l(u) = 5*u + 8. Let r be l(-7). Suppose 4*c = -4*z - 132, 0 = 1224*c - 1226*c - 3*z - 72. Is r less than or equal to c?
True
Let p = 14 + 6. Suppose -3*g + c + p = -c, -24 = -3*g + 3*c. Let k be (-1)/4 + 2/8. Which is greater: k or g?
g
Let p be ((-14)/28 - 1252/(-10))/(10/20). Which is smaller: p or 249?
249
Let r be (-1248)/1456 - 165/(-182). Is 0 smaller than r?
True
Let x = -11120 + 11242. Is x greater than or equal to 47/3?
True
Let k be 3/(-20)*96/(-24372). Let s = k - -60868/104935. Which is smaller: s or 0?
0
Suppose 5*y - 2*o + 187 = 0, -o = 3*y - 5*o + 115. Let w = y + -18. Let n = 72 + w. Is n equal to 17?
True
Let x(i) = -6*i + 1. Let s be x(-5). Let l = s - 18. Let k = 1112 + -1100. Is k smaller than l?
True
Let d = 13 + -11. Suppose -2*r + 2*z = 24, d*z = 5*r + z + 40. Suppose -88*l - 168 = -322*l + 150*l. Is l <= r?
False
Let q(s) be the second derivative of s**4/6 + 5*s**3/6 + 2*s**2 - 4*s + 6. Let w be q(-1). Which is smaller: w or -8/17?
-8/17
Let a be 7 - (7 + -10 + 13). Let h be 2/(-5) - (-1731)/4365. Let p = -6409/2037 - h. Which is bigger: a or p?
a
Let k = 360 + -344. Let a = 1.28 - 17.38. Let v = a + k. Which is smaller: v or 2/9?
v
Suppose 0 = -7*l + 38*l + 155. Let g be ((-6)/4)/((50/20)/l). Which is bigger: g or 22?
22
Suppose 4*l + 3*t = 69 + 55, 0 = -t - 4. Let a = -34 + l. Let d be 3 + (-3 - 4/40). Which is greater: a or d?
a
Let w = 159.9 + -157.9. Which is smaller: w or -84?
-84
Suppose m - 9*m = -m. Let y be 6/8*(8 + m). Suppose 0 = 2*v - y*v. Is 1/50 bigger than v?
True
Let l be 4/2 - 69/34. Let b be 102/30 - 1/((-5)/(-2)). Suppose 3*g + b*z + 8 = -z, -4*g + 4*z + 8 = 0. Which is smaller: l or g?
l
Suppose -b = -3*l + 1, b + 2*l = 20 - 6. Let p be (b/(-6))/(12/(-9)). Which is smaller: -3/133 or p?
-3/133
Let h = -17 + 104. Let j = -424 - -154. Let x be (-9)/(j/h) + (-6)/2. Is x at least -1/4?
True
Let c(r) = 2*r**3 - 17*r**2 - 6*r - 19. Let m be c(9). Suppose -h + 27 = -5*b, -3*h = -4*b - 35 + 9. Which is greater: h or m?
m
Let o be ((-35)/(-14) + 24/16)/(20/25)*1. Suppose -2*n = n + a + 4, 3 = 2*n - 5*a. Let t = 3 - n. Which is smaller: t or o?
t
Let a be (5 + 4)/(57/(-19)). Which is bigger: a or -139/32?
a
Let r = -728/25 + 5021/175. Suppose 2*o = -2*o + 8. Suppose 0 = o*y + 3*y. Which is smaller: y or r?
r
Let q = 0.5 + -0.3. Let k = -3.145 + -83.855. Which is smaller: q or k?
k
Let n = 93393/4 + -23671. Which is smaller: n or -324?
-324
Suppose 0 = 3*u - 3*j, 2*u + 234*j - 238*j = -2. Which is greater: 5/1792 or u?
u
Let o be 4/(-22) + 3326848/2464. Which is bigger: o or 1351?
1351
Let y = -42.46 + 35.46. Do y and 285 have the same value?
False
Let i = 1.29 + -0.7. Let u = 0.11 - i. Let d = u + 0.08. Which is bigger: -1/3 or d?
-1/3
Let k(m) = 2*m**3 - 2*m**2 - 8*m + 68. Let b be k(6). Let w = b - 387. Let c = -0.54 + 0.04. Which is bigger: c or w?
c
Let c be -3*(3 + 1/6*-146). Suppose 67 = p + c. Suppose -4 = -2*z + p*b, -z = -0*z + 5*b - 2. Is -1 greater than or equal to z?
False
Let i = -1711 - -577. Which is smaller: i or -1131?
i
Suppose 5*d + 1 = -p, 8*d + 19 = 3*d - 4*p. Which is smaller: -12/547 or d?
-12/547
Suppose 3*y + 63 = 3*w + 2*w, 2*w - 28 = 4*y. Let r(p) = p**2 - 11*p - 24. Let o be r(w). Let g be (8/16)/((-63)/o). Is g less than -0.3?
False
Let o = 525.5 + -525.53. Which is bigger: -9 or o?
o
Let z = 75.94 + 0.06. Let g = z + -57. Let d = g - 7. Is -2/3 < d?
True
Let k = -36.1 + 3.1. Let r = -85 - k. Let g = r - -51. Is g > -0.22?
False
Suppose -103 = s - 3*p, -204*p + 203*p = -2*s - 201. Let i = 1.2 + -1. Which is smaller: i or s?
s
Suppose 5*o - 4*j = -24, 0 = 145*o - 146*o - 4*j. Is o at most as big as -26?
False
Let i(f) be the second derivative of f**4/12 + 13*f**3/6 - 41*f**2 + 139*f. Let a be i(-17). Is -15 at most as big as a?
True
Let h = 6.098 + -6.498. Which is bigger: -0.479 or h?
h
Let y = 254.9884 - -0.0116. Let w = y - 252. Which is smaller: -11 or w?
-11
Let j = 1 - 2. Let a = 464597/706563 + -94/143. Let r = a - 4/81. Is r not equal to j?
True
Let x = -11 + 23. Suppose 50*h - 49*h - x = 0. Suppose 3*g - 4*l = h, g = -0*g - 5*l - 15. Are -3/53 and g unequal?
True
Let k(v) = v**3 + 9*v**2 + 11*v - 9. Let r be k(-6). Suppose -l = r*l - 578. Which is smaller: 2/11 or l?
2/11
Let p(w) = -2*w**3 + 58*w**2 - 33*w - 51. Let u be p(24). Let g = -29417/6 + u. Is 13 at most as big as g?
True
Let a be (513 - 5)/(1/(2/(-4))). Which is greater: 2/27 or a?
2/27
Let l = -22 - -10. Let o = 36037 + -36048. Is o less than l?
False
Let y(l) be the second derivative of -l**4/2 + 5*l**3/6 + 3*l**2/2 - l + 6. Let r be y(-3). Is -66 bigger than r?
False
Let m = -456 + 447. Suppose -33 = -3*s - c, 37 + 18 = 5*s - c. Suppose -s = f - 0*f. Is m bigger than f?
True
Suppose -939 = 3*a - 3*r, 30*a - r - 1559 = 35*a. Do -311 and a have different values?
True
Suppose -3 = -3*b + 3*l, 17 = -b - 3*l + 6. Let z be b - (9992/(-1000) - -8). Is -0.2 at most as big as z?
True
Let d = -13 - 6. Let h = 18.78 + d. Let i = -5.08 + h. Which is smaller: 1/2 or i?
i
Let s be 16/9 + -3 + 1. Let c(d) = -d**3 - 36*d**2 + 61*d + 74. Let o be c(-38). Let p = o - 646. Which is bigger: p or s?
s
Let x(y) = y - 103. Let s be x(0). Let v(b) = -2*b**2 - 222*b + 816. Let z be v(4). Is z >= s?
False
Let u be (-2)/(-4)*(16626/(-306))/((-2)/(-12)). Is -26 not equal to u?
True
Let m = -17/4005 - 7929611/68085. Which is smaller: -116 or m?
m
Suppose z + 12*z = 13. Let k = 4931/11472 - 38/239. Which is smaller: k or z?
k
Let m be (-336)/176*-11 - 22. Let r(s) = -s + 1. Let w be r(0). Is w less than or equal to m?
False
Let p = -116358 - -314050246/2699. Which is bigger: p or 0?
p
Suppose -4*n - 2 + 20 = g, -5*g - n = -33. Let l be (-1)/((-5)/280)*3/g. Let t = 89 + -61. Is l at most as big as t?
True
Let b(i) = -2*i**2 + 33*i + 53. Let f be b(18). Which is smaller: f or 5/318?
f
Let z = -90 + 89. Let k = -287257/242 - -1187. Which is bigger: k or z?
k
Suppose -7871*f - 1853 = 4*y - 7872*f, 4*y + 1799 = -5*f. Is -475 > y?
False
Suppose -3*z - 5*z = -3*z. Let h be (0 - 2260/(-8103)) + z. Let t = h + -34/111. Does t = 1?
False
Let b be 7 - (-13 - (3 + -13)). Suppose -44 = -2*d + 2*i, -3*d - d - 3*i + 88 = 0. Suppose 0 = -2*f + 4*f - d. Does f = b?
False
Suppose z + 3*h + h - 5 = 0, 3*z - 15 = 2*h. Suppose 0 = 5*l - 4*c + 70, 4*l - z*c + 60 = -c. Let u be (l/(-24))/((-9)/(-36)). Do 2 and u have the same value?
False
Let s = 65310 + -202003828/3093. Which is smaller: s or 1?
s
Let c = -9 + 9. Suppose -t - d - 15 = c, -3*t + 2*d = -0*d + 20. Suppose 0 = 3*h + h - 4*a + 32, -4*h = 4*a + 40. Is h < t?
False
Let m = -18579/266 - -488/7. Are m and -2 unequal?
True
Let a = -359 - -367. Let c(r) = -28*r + 176. Let u be c(a). Is u < -46?
True
Let l = -21404948 + 10552643434/493. Let b = l + -4/29. Are b and 7 unequal?
True
Let t(g) = -g**3 - 37*g**2 - 69*g + 55. Let b be t(-35). Suppose -4*n - 4*r + 25 = 9, 3*n = 5*r - b. Let o = -1879/6330 + -2/633. Is o bigger than n?
False
Let s be (-39)/15 - -2 - 6044/(-10040). Let y = -22337/1004 - s. Let f = y + 9515/428. Is f >= -1?
True
Let t be (-369)/81 + 5 + 82/18. Suppose 3*g + 40 = -t*c, 5*c + 10 = 13*g - 10*g. Which is bigger: c or 0.024?
0.024
Suppose 23*o + 765 + 799 = 0. Let d = -70 - o. Let x be 2/(3/(63/(-15))). Are d and x non-equal?
True
Let f be (2/3)/(4/(-12)) + 5. Suppose -2 = -p - 3*a, -f*a + 0 - 5 = 2*p. Which is smaller: 2 or p?
p
Let w = -669 + 1006. Let c = w - 4715/14. Is -0.3 at most as big as c?
True
Let x(y) = -5*y**3 - 4*y**2 - 3*y. Let o = -16 - -14. Let s be x(o). Suppose -7*u = 3*u + s. Which is greater: u or 5?
5
Let h = -0.17905 + 0.07905. Is -657.3 at least as big as h?
False
Let i = -258 + 362. Suppose -25*f + 33*f = i. Which is smaller: -2/9 or f?
-2/9
Let x be ((-1456)/(-84))/(-13) - 248/306. Is -2 at most as big as x?
False
Let c(w) = -w**3 - 9*w**2 + 7*w + 80. Let j be c(-10). Let k = 0 + 112. Is k > j?
True
Let r be (-2 - 3)*(-1 - (0 - 0)). Suppose -4*q = -5*f - 199, 2*q + r*f = q + 56. Suppose -q = -m + 2*m + z, -153 = 3*m + 4*z. Does m = -51?
True
Let q(d) = d**2 + 37*d - 109. Let g be q(-35). Which is bigger: g or -164?
-164
Let g be ((-26)/(-8))/(1/(-4)). Suppose -31*y + 98*y = -31*y - 1176. Which is greater: y or g?
y
Let t(i) = 8*i**2 