 smaller: h or o?
o
Let h = -3920 + 3931. Is h >= -38?
True
Suppose -m - 1 = -4*w, 2*w = 5*m + 3 - 16. Suppose -m*l - l - 4 = 0. Let v = -0.279 - 0.121. Which is smaller: l or v?
l
Let j(f) = -21 - 7*f**2 + 3*f**2 - 9*f - 3*f**2 + 6*f**2. Let i be j(-6). Let r be (4/(-5))/(i - (-80)/25). Is r less than -3?
True
Suppose -4*l - w + 71 = 0, 2*w - 22 = 2*l - 50. Let k be (6/(-4))/(9/(-18)). Suppose 2*d - l = -k. Is -2 at least as big as d?
False
Suppose 9 - 1 = 4*p. Let z be (-6)/(-14) - p/14. Suppose -8 = 11*i - 8*i - 2*f, -41 = -3*i - 5*f. Does z = i?
False
Let d = -293/3186886 - 3/3242. Are d and 1 nonequal?
True
Let r be 42/((-49)/(-7)) + -16. Suppose -3*v = -4*m + 6, 0*m + 2*m + 2*v = 10. Suppose -22 = m*p - p. Which is bigger: r or p?
r
Let r = -173/32 + 28007/5216. Let g = 1512 - 1511. Is r greater than g?
False
Let h = 46 - 28. Suppose -3*u = 4*i + 30, -2*u + 6*i - 20 = 8*i. Let z be (6 - (-94)/u)/((-1)/5). Which is greater: z or h?
h
Let d = -399 + 10769/27. Suppose 31*c - 30*c = -3. Let h be (c - (-51)/18) + 10/60. Which is greater: h or d?
h
Suppose 1489060 + 257255 = 145*h + 112*h. Which is smaller: h or 6794?
6794
Let i be 17/85 + (-79)/(-5). Suppose -f = -0*f + 4*g - i, -2*g + 4 = 0. Let l be f/30*(-3)/(-2). Is l < -18?
False
Let l = 92.2 + -3.5. Let m = l - 126.8. Let o = m + 38. Which is greater: o or 0.5?
0.5
Let t be (-1)/3*(4 + 14). Let w be -3 - -32 - (2 + t). Suppose 0 = 5*l + 2*c - 6*c + 29, -3*c = -5*l - w. Is l at least -7?
False
Let b = -21796 + 91216262/4185. Let v = 10034/20925 + b. Which is greater: v or -1?
v
Let s = 544 - 502. Suppose -218 + 50 = -4*p. Is s <= p?
True
Let v(y) = -19*y + 14. Let l be v(10). Let r = -15140 + 14965. Are r and l nonequal?
True
Suppose 0 = -4*n + 7*n. Let l = -253 - -271. Let g be (l/21)/3 + 292/(-336). Which is smaller: n or g?
g
Let d(o) = -5*o**2 - 96*o - 18. Let y be d(-18). Suppose -6*j + y = 528. Which is smaller: j or -72?
j
Let v = 0.0685 - -297.9315. Let j = 298.047 - v. Which is smaller: -6/11 or j?
-6/11
Let m = -12/6047 - 17037/556324. Suppose -2*l + 3*w = -5*l - 9, 4*w = 3*l - 5. Is m equal to l?
False
Let s be (-3)/(-9) + ((-106)/(-3))/2. Let a = s + -2. Suppose a*r - 12*r = 48. Is r at most 12?
True
Let b = 36.916 + -37. Let t = 694473/2 + -347237. Is b at least as big as t?
True
Let m(z) = -5*z**2 - 2*z + 12. Let u(c) = -9*c**2 - 4*c + 23. Let h(w) = -7*m(w) + 4*u(w). Let j be h(2). Which is smaller: j or 1/119?
j
Let u = -411 - -452. Suppose r - 64 + u = 0. Is r at most 28?
True
Let j(l) = -7*l**2 - 3*l**3 - 2*l**3 - 11*l - 7 + 9*l**3 - 5*l**3. Let r be j(-5). Let m be (0/r)/((-13)/(26/4)). Which is bigger: m or 24?
24
Let v be (20/(-25))/((-4)/20). Let n = -778 - -7039/9. Is n at least as big as v?
True
Let b(x) = x**3 - 21*x**2 - 20*x + 799. Let r be b(20). Is r bigger than 2/6881?
False
Let v = 752 + -1297. Let p = v + 277. Is -268 at least as big as p?
True
Let o(p) = 39*p**2 - 9*p - 18. Let n be o(-2). Let s(g) = -g**2 - g + 156. Let c be s(0). Is n not equal to c?
False
Let y(j) = 38*j - 325. Let x be y(14). Are 1 and x equal?
False
Let u(l) = -14*l**2 + 43*l + 17. Let d(r) = -5*r**2 + 15*r + 6. Let p(x) = 17*d(x) - 6*u(x). Let c be p(0). Which is greater: 2/297 or c?
2/297
Let c be 54/(-12) + 3 + (-27)/(-18). Suppose -5*w = -0*w. Suppose 0 = 3*r - 5*h - 11, -r + 5*r - 3*h = w. Which is greater: r or c?
c
Let v = 36476 - 36988. Which is smaller: v or -519?
-519
Let h = -11.618 - -9.618. Suppose 3*j = 5*j + 78. Is h at most j?
False
Let k(l) = l**2 + 17*l + 21. Let m be k(-20). Let b be (-6 + 1)/((-135)/m). Which is greater: 45/11 or b?
45/11
Suppose 4*m + 12372 = -4*v, 4*m = 5*v + 1195 - 13621. Which is bigger: -3097 or m?
-3097
Let j be (848/(-40))/(6/(-15)). Suppose 73*m - 220 = j*m. Is -18 < m?
True
Let z = -6/23 + 45/437. Suppose -3*o + 7 + 8 = 0. Let t = 4 - o. Do t and z have different values?
True
Suppose -8*f = -23*f + 22950. Let j be 6 + 15/(f/(-616)). Which is greater: j or -5?
j
Let v(h) = 5*h**2 - 29*h + 1. Let l be v(4). Which is bigger: -27 or l?
-27
Suppose 177267 = 36*z + 5*z - 74391. Does 6139 = z?
False
Let d be (-417)/(-188) - (360/(-96))/3. Which is bigger: d or 4?
4
Let j be -5 + 25/10*8/20. Is j bigger than -294?
True
Let s be 99/(-231) + 17*2/14. Suppose 6*y - 64 = -s*y. Suppose -4*d = 3*a - 36, -2*a - 5*d = -a - 23. Is y smaller than a?
False
Suppose 0 = 3*y - 27 - 0. Let u = 3 - y. Let v be u/15 - 168/(-270). Which is smaller: 19 or v?
v
Let l = -931 - -539. Let d = -391.7 - l. Which is smaller: 23 or d?
d
Suppose -4*r + 7 = -2*y - 11, 5*r - 2*y - 20 = 0. Is 487 less than r?
False
Let u be (-6)/4 + (-2)/(-4). Let p = 8/22001 - -719499/682031. Let c = 15/31 - p. Which is smaller: u or c?
u
Let d(g) = 34*g + 1. Let s be d(1). Suppose 2*p - s = 75. Let n = 46 - p. Is -10 >= n?
False
Let h be (-1)/1 + (0 - 1). Let n be (11 - 3 - 5) + -2. Let c be (n - (-95)/45) + -5. Which is greater: c or h?
c
Let k be (-16992)/528 + (-2)/(-11). Let b(g) = 1 - 5*g**2 + 2*g + 2*g - 8*g. Let c be b(-3). Is c at most as big as k?
True
Suppose 4*s - 5*c = 60, -s - c + 18 = -3*c. Let w be (-5)/s*-18 + -3. Is 11 <= w?
False
Let t be (-189)/(-14)*(-2)/3. Let f be (-294)/3087 - 23/(-21). Which is smaller: t or f?
t
Suppose 21 = -2*u - 11. Let c be u/18*1/2. Suppose m + 15 = -2*m - 3*z, -z = 4*m + 8. Which is smaller: m or c?
m
Let k(m) = -5 - 30 + m**2 - 4 + m + 5. Let d be k(5). Is d bigger than -5?
True
Let c(i) = i**3 + 12*i**2 + 10*i + 10. Let r be c(-11). Let s be 3969/(-360) - 2/(-5). Let o = 241/8 + s. Which is smaller: r or o?
o
Let v = -52 + 36. Let p be ((-4)/(-7))/(12/42)*1. Suppose -j - p = -l, j - l = -5*l + 8. Is j greater than or equal to v?
True
Let a be 84/(-24) - (-1)/2. Let o be (6 + a + -1)/(2/14). Which is smaller: o or 1?
1
Suppose -19135 = -3*r + v, 2*r = 7*r - 4*v - 31901. Are r and 6375 equal?
False
Suppose 0 = 9731*g - 9726*g - 200. Let y = 55 + -104. Let v = y + g. Which is smaller: -7 or v?
v
Let c(h) = 61*h**2 - 5248*h - 97. Let w be c(86). Let x be (-3 - -4) + -275 + 7. Do x and w have the same value?
False
Let w be -5 + (-174)/(-34) + (-3685402)/(-238). Is 15485 less than w?
False
Let q = 8210.3 - 8187.3. Let d be (-3)/(6/4) - -21. Are d and q nonequal?
True
Let n be 300/(-21)*(-3456)/(-30). Let h = 1643 + n. Is h at least -3?
True
Let h = -5/11 - 23/22. Let z = -227/738 + 7/82. Are h and z non-equal?
True
Let w = 2 - -1. Suppose 2*b = w*t, 0 = b + t - 0*t. Let c = -13087 + 13094. Which is greater: c or b?
c
Let y be 514/464 - -2*8/(-16). Which is greater: y or -1?
y
Suppose 2*c = 4*c. Let n be (-2 + -1)*(-1)/3*34782/(-26598). Is n less than c?
True
Let g = 0.1952 + 259.5548. Let z = 259 - g. Are -1/3 and z equal?
False
Suppose -179*z + 181*z + 24 = 0. Let h be (z/4)/(-3*4/(-24)). Is 7/4 less than h?
False
Let l(q) = q**3 - q**2 - 4*q + 3. Let d(c) = c**3 + 4*c**2 - 22*c - 5. Let k be d(-7). Let f be l(k). Let m be 37 - 8*4/8. Is f > m?
False
Let h be 2/(1/(3 - 21)). Let z = -35 - h. Let x be (-6)/189*7 - (-13)/99. Which is greater: x or z?
z
Let p(w) = -827553*w. Let i be p(2). Let y = -364124429/220 - i. Let n = 56/11 + y. Is n at most 0?
False
Let m be 6*6/(-744)*32/72. Is -20 at least as big as m?
False
Suppose -4*u - 133 = w, 5*w = -4*u + 26 - 643. Which is greater: w or -1329/11?
-1329/11
Let m = -242 + 101. Let a = -146 - m. Is 2/13 at least as big as a?
True
Suppose j = 5*f - 22, 12*j = 8*j - 4*f + 8. Which is bigger: -10/19 or j?
-10/19
Suppose -3*l = 2*l - 15. Suppose l*x + 5 = 29. Let k = -2631 + 2641. Which is bigger: k or x?
k
Let w(s) be the first derivative of -s**4/4 + 4*s**3/3 - 2*s**2 - 10. Let h be w(3). Which is smaller: h or -6?
-6
Let c(t) = -t**2 - 4*t + 31. Let f be c(7). Let w = -49 - f. Let p be (2/(-10))/((-4)/(-48)). Which is smaller: p or w?
w
Let f(x) = 24*x + 129. Let d be f(-6). Let a be ((-6)/d)/((-5136)/60). Which is smaller: 0 or a?
a
Let w = 26.125 - 25.925. Which is smaller: 1.785 or w?
w
Let x = -0.10439 - 335.41561. Let g = -1.52 - x. Is g less than 2/3?
False
Let z(v) = -v**3 - 10*v**2 + 8*v - 23. Let l be z(-11). Let u(h) = -7*h + 101. Let o be u(l). Is o not equal to 0.1?
True
Let i = -47.3 - -47.29. Let z = 94.9 + -95. Is z < i?
True
Let r = -5361 - -5044. Which is smaller: r or -318?
-318
Le