ch is greater: l or z?
l
Let z be -2 - -165 - 0 - -3. Let i = z - 138. Which is bigger: 142/5 or i?
142/5
Let n = -91649.973 - -91527. Let s = n + 123. Let g = s - 0.127. Is 44 greater than or equal to g?
True
Let s = 2711/185 - 73/5. Suppose 5*b + 0 - 6 = 3*z, -b + 2*z = -4. Is s bigger than b?
True
Let z(d) = 415*d + 2121. Let j be z(-5). Are j and 1 equal?
False
Let d = 547 - 951. Let z be 5/(335/d) - -6. Let j(i) = 2*i + 1. Let u be j(-1). Which is smaller: z or u?
u
Suppose -3*x - 4*h = -3, x + 1716*h - 1717*h - 1 = 0. Is x less than -494/43?
False
Let d(l) = -2*l + 4. Let k be d(2). Suppose 0 = 2*o - 4*j - 494, j - 1 + 5 = 0. Let m = o - 4061/17. Do k and m have the same value?
False
Suppose -4*i - 2*l = 2*l + 26604, -2*i - 5*l - 13314 = 0. Let w be 3/2*4 + i/1104. Suppose 2*b = 6*b + 4. Which is greater: b or w?
w
Suppose -8 = -2*j, 13*j - 14*j = 2*d - 3544. Is 1768 bigger than d?
False
Let w = -23517 + 16735. Are w and -6782 nonequal?
False
Let i(j) = 2*j**3 - 3*j**2 + 15*j. Let f be i(3). Suppose 0 = -f*z + 80*z - 88. Which is smaller: -6/7 or z?
-6/7
Let z = 1064 - 1117. Is z greater than 15?
False
Suppose t = 3*d + 137 + 169, 5*t - 294 = 3*d. Let a = d - -103. Which is greater: -3 or a?
a
Let k be (30/(-4))/(105/70). Which is greater: -113/30 or k?
-113/30
Let u = -55 + 54. Let k be 5/15 + (-155)/87. Is k at most u?
True
Suppose -2*u - 644 = 4*r - 4, 5*u + 795 = -5*r. Is r less than -152?
True
Let c be 3*28/(-12) + 23. Suppose -5*k = 5*o + 13 + 17, -k - 3*o = c. Suppose 5*h - 43 = 4*h. Which is greater: h or k?
h
Let c = -84 + 85. Let i be 2/(-8) + (-447)/(-12) + c. Let u = 38 - i. Are 10/9 and u equal?
False
Let t = 3.9 + -4. Let u = -0.76 - 0.12. Let y = 0.18 + u. Is t >= y?
True
Let t be (30923/(-15419) + 2)*(-1)/3. Which is bigger: t or 1?
1
Let n = -662526 - -662646. Let q be -5*(0 - 236/10). Is n smaller than q?
False
Suppose 41*n = 16*n - 675. Suppose 2*o + 8 = 3*c + o, 3*o + 14 = 4*c. Let u be (c + 1)*52/(-6). Which is smaller: n or u?
n
Let p = -4910 - -4859. Let y = -1 - -0.9. Which is greater: p or y?
y
Suppose 58*u - 1668 = 46*u. Let g be (-1 - 1)*(-1)/u. Which is bigger: -1 or g?
g
Let v = 28695 - 28696. Is -76/911 at least as big as v?
True
Let c be 539/14 + 2/4. Let m be (-2)/(-8) + c*7/(-756). Let k = 0 + 1. Which is smaller: m or k?
m
Let z = 275.726 + -275. Let t = -0.274 - z. Which is greater: t or -8?
t
Let v = 631 + -561.2. Is v at least 1?
True
Suppose f + 2*v = 149, -9*f + 7*f + 258 = -4*v. Is f <= 146?
True
Let b = -7729 - -7743. Let i be ((-72)/(-14))/((-5)/(-35)) - 1. Which is smaller: b or i?
b
Suppose -5*q + 4*r - 12465 = 0, -5*q - 4*r + 9976 = -9*q. Which is greater: q or -2488?
-2488
Let c = 120605.0156 + -120581. Let o = c - 1.9366. Let x = -0.079 + o. Which is smaller: 0.1 or x?
0.1
Let d = 965735696/28151655 - -6/1340555. Let a = -103/3 + d. Let z = -31 + 30. Is z equal to a?
False
Let w(a) = -a**3 + 10*a**2 - 27*a + 20. Let p be w(6). Is 2078 <= p?
False
Suppose 4*t + 60 = -w + 79, -5*t + 29 = -4*w. Which is greater: w or 2/5281?
2/5281
Let a = -0.04652 - -0.19652. Is a at most as big as 2/75?
False
Let v = -786727/1633122058 + -1/264302. Is v at most 0?
True
Let q = 9508.639 - 9504. Let i = q - 0.239. Is 1 at most as big as i?
True
Let v be ((-1384)/352 + 4)*(452/(-144) - -3). Which is bigger: v or -1?
v
Let n be (-3)/6*(-68)/6. Suppose -97*p - 2*y + 10 = -95*p, 0 = -y - 1. Is p greater than n?
True
Let m be (-38)/(-6) + -2*10/60. Let z be 4 - (m - 18/3). Which is bigger: z or 9?
9
Let l = 7983 - 7983.086. Let s = 1 - -1. Which is smaller: l or s?
l
Suppose a + 0*a - 8 = 0. Suppose 9 = -19*b + 123. Let o be ((-54)/(-8) - b) + (-198)/a. Is -24 less than or equal to o?
True
Suppose -79*o - 13807 = -4959. Which is bigger: o or -114?
o
Let q = 731 + -729. Let b(l) = 10*l - 4. Let h be b(5). Suppose h = -3*u + u + 4*s, 0 = 5*u - q*s + 91. Which is greater: u or -15?
-15
Suppose -5*i + 2*j + 57 = 0, -3*i + 12 = -5*j - 7. Suppose -44*y + z = -39*y - 110, -2*z - i = -y. Which is bigger: y or 24?
24
Suppose 14*u = 13*u - 9. Let d(q) = -q**2 - 10*q - 9. Let v be d(u). Is v at least as big as 2/305?
False
Suppose v + 2 = 2*m - v, 3*v = -15. Let z be ((-2)/4 - -1)*m/170. Is 0.1 < z?
False
Let g(b) = 2*b**3 + 32*b**2 - 4*b + 18. Let o be g(-18). Let c be 5 - (-165)/o*1096/30. Which is smaller: c or 2/3?
c
Let w = -5 - -5.5. Let p = w + -0.7. Let g = 456 + -4106/9. Is g equal to p?
False
Let q(f) = -325*f**3 + f**2 - 2*f + 9. Let j be q(-2). Which is smaller: j or 2616?
2616
Let f be (-18)/21*(-85)/(-1275). Which is smaller: f or -53?
-53
Let j be (10180/(-10))/(10/(-17 - -7)). Is j equal to 1019?
False
Let r = -187 + 189. Let s be (-858)/276 - -3 - r/(-4). Are s and 1 equal?
False
Suppose -41 = -5*b - 11. Suppose 765*r = 779*r - 28. Suppose -r*q = -b*q - 4. Which is smaller: -1/8 or q?
q
Suppose -6 = -7*u + 71. Suppose 6*y + u*y = 6*y. Is y at least -7/15?
True
Suppose -69*x + 28 = 70*x - 135*x. Let b(v) be the third derivative of v**4/4 - 22*v**3/3 - v**2. Let c be b(x). Which is smaller: c or -5?
-5
Let i = -101280 + 122042412/1205. Are i and 0 nonequal?
True
Let a = -2330066 - -79215683/34. Let p = 385/2 + a. Is p at least 0.4?
False
Let n = -318.6 - -17.6. Let b = -301 - n. Is -1/8 at most b?
True
Let c = 9488/3311 + -4/473. Let r = 406/11 - 2600/77. Let s = r - c. Which is greater: s or 1?
1
Suppose 418 - 119 = 2*y - 3*x, 4*y = -3*x + 589. Let b be 13 - (3 - 142) - (-1 - -4). Which is greater: b or y?
b
Let y be ((-2)/6)/(-20 + 464698/78). Which is smaller: y or 0?
y
Let v(c) = -4*c - 31. Let o be v(-8). Let y = -1/604004 - -19872939643/21140140. Let n = -940 + y. Are n and o nonequal?
True
Let p(h) = -3*h**2 + 18*h - 12. Let k(i) = -4*i**2 + 19*i - 13. Let r(c) = -4*k(c) + 5*p(c). Let o be r(-14). Let z = o + 7. Is z > 2/9?
False
Let o = 91 - 131. Let k be o/(-6)*27/18. Suppose -k*g + 4*g = -18. Do g and 4 have the same value?
False
Let v = -16.5 - -26.86. Let g = v - 9. Let a = g - -17.64. Is -1 less than a?
True
Let g(i) = -i + 41. Let r be g(20). Suppose 0 = 3*f + 2*b - r - 237, -3*f - 3*b = -261. Which is greater: 2/3 or f?
f
Suppose -2*u + 6 = u. Suppose 140 = 4*h - 4*b, -4*b + 88 = -0*h + 2*h. Let l = 37 - h. Which is greater: l or u?
u
Let p be 0/(6/6) - 2855/5. Let r = -572 - p. Is r greater than 115?
False
Let i(h) = 960*h - 22 - 1926*h + 945*h. Let d be i(0). Is -25 less than or equal to d?
True
Let s = -63 - -97.2. Let u = -36.2 + s. Which is bigger: 127/3 or u?
127/3
Suppose -3*n = -2*n - 4*m + 7314, n + 4*m = -7314. Let u = n + 2216140/303. Is -1 >= u?
False
Let i(x) = x**3 - 8*x**2 - 19*x + 40. Let k be i(9). Suppose 0 = -4*m + 4*w + 228, -3*m + w + 213 = m. Suppose -m = -3*d - 199. Which is smaller: d or k?
k
Suppose -13 = -22*k + 163. Suppose -112 = -15*y + k*y. Is y < 15?
False
Let c = -46 - -61. Let a = c - 21. Let n be 3/a*(-8)/(-12)*18. Is n at least -6?
True
Suppose -5*q = 15, 4*b = -b + 2*q + 61. Let r be (3 - b/4) + 8234/27720. Let y = -1/630 + r. Is y smaller than 1?
True
Let i = -574 - -878. Let m be i/(-114)*(-6)/8 + 12. Suppose -3*n = 2*v - 46, -68 = -7*n + 2*n + v. Is m < n?
False
Let f = 23213 - 19431. Is f at least 3780?
True
Let d be (-26)/(7 - (-11 + 2)). Is -1 less than d?
False
Let r = -1828 - -20137/11. Which is greater: r or 4?
4
Suppose 0 = -5*k + 4*b + 30 + 38, 4*k = b + 50. Suppose -k*g + 2 - 26 = 0. Let u = -0.7 + 4.7. Which is bigger: u or g?
u
Let k = -66 + 91. Let d = k + -27. Let x be (d/3)/(10/210). Which is greater: -18 or x?
x
Suppose 28*q + 4 = 30*q. Let i be (1 - q)*(-60)/(-28). Which is bigger: -1 or i?
-1
Suppose i - 2*z = -22, -4*i - 17 = 4*z + 23. Let r be i/(-2) - (-1826)/(-242). Let j be (1/22)/(1/4). Which is greater: j or r?
j
Let p = 3813/442 - 111/13. Suppose 5*c + 6*c + 10 = c. Is p greater than or equal to c?
True
Let p be ((-100195)/691)/((-5)/(-11)). Suppose 5*l = -0*f - f - 318, -4*f = -4*l + 1272. Which is greater: p or f?
f
Let w = 2266 + -2408. Is -1 at most w?
False
Let p = 4701 + -4700.7. Is -16/73 at least p?
False
Suppose 13*g = 12*g - 4*t - 277, 3*t + 795 = -3*g. Let u = g + 1567/6. Do 0.128 and u have the same value?
False
Let n = -11.2 - -2.2. Let v = n - -7. Let k = 1.37 - 4.37. Which is bigger: v or k?
v
Let u = 596 + -854. S