e -2*f = -f - 27. Let z = -23 + f. Suppose 0 = 2*h - 2*c + 90, -3*h + 3*c - 139 = z*c. Which is smaller: -45 or h?
h
Let i(q) = -q**2 + 14*q + 53. Let h be i(17). Suppose 2*d - 5*u - 103 - 77 = 0, 8 = -h*u. Which is bigger: 79 or d?
d
Suppose -1823 = -33*m - 1757. Which is smaller: 1023 or m?
m
Suppose 0 = 5*f + 47 - 432. Let r be (-21)/114*(-11)/f. Is 0 at least as big as r?
False
Let t(z) = z**3 - 4*z**2 + z + 8. Let y(k) = -k**3 + 2*k**2 - 8. Let p(b) = 3*t(b) + 2*y(b). Let j be p(4). Which is smaller: j or -46?
-46
Let t be 92/80*-4*-10. Which is smaller: t or 65?
t
Let c = 841/33 - 77/3. Let k = -19.0016 + 19.3016. Which is greater: k or c?
k
Let g be 2/((21/(-14))/(-3)). Let n be ((21/2)/(-21))/(1/g). Which is bigger: -30 or n?
n
Let k = -22633/4 + 5660. Let m be (-3 + 3 + 0)/3. Suppose m = -4*i - 6 + 18. Which is bigger: i or k?
i
Suppose -3*r = -5*k - 1823, -1555 = -4*r - 2*k + 893. Is r greater than 4278/7?
False
Let b be (-1 - 1)*(-3)/(2 - -1). Suppose y + b*y = 3. Let t be 3*1/(y - -7). Is t equal to 0.1?
False
Let h be ((-398)/36 + 11)*-16. Let r(s) = 1 + 2*s**3 + 4*s - 4*s - s**3. Let z be r(-1). Which is greater: z or h?
h
Let b(h) = h**3 + 10*h**2 + 3. Let f be b(-10). Suppose -o - w = -32, -w = f*o - 43 - 49. Let d be ((-5)/(-35))/(o/(-21) - -2). Which is bigger: d or 22?
22
Let j(d) = -d + 33. Let x be j(6). Let n(f) = f**3 - 25*f**2 - 49*f + 1. Let s be n(x). Is s less than 136?
False
Let q be 1/(3 + -1 + -1). Let o = -190601/1365 - -1815/13. Is q > o?
True
Suppose -48 = -56*c + 8. Which is smaller: c or -3/7798?
-3/7798
Suppose 2*n - 349 = 4*z + 1225, z + 398 = 2*n. Let x be 9/(-12)*z/42 + -14. Suppose 4*y = 5*v + 3*y + 27, -y - 27 = 4*v. Is v != x?
True
Let q = -155 + 157. Suppose 4*y - 113 = n, 2*n = -y - q*n + 24. Suppose k = 5*d - 142, -3*k - 5 = 1. Do d and y have the same value?
True
Let h be (-3)/2*((-116)/12 - -5). Which is smaller: h or 127/22?
127/22
Let x = -276 + 275. Let d be (3/(-4))/(6 - (-1674)/48). Which is smaller: d or x?
x
Let j(b) = 11*b - 66. Let f be j(6). Which is smaller: 2/5405 or f?
f
Suppose -4*h = -7*h. Let q = 1 - h. Let j = 388 - 1934/5. Which is smaller: j or q?
q
Let x = -42061/3 - -13877. Let c = x - -128558/897. Are -1 and c nonequal?
True
Suppose 585 = 446*o - 251*o. Suppose -d - g - 17 = 0, -5*d - 67 = g - 2*g. Which is smaller: o or d?
d
Let w = 2890 + -3345. Which is smaller: w or -453?
w
Let g = -434 + 433. Which is bigger: g or 15/287?
15/287
Suppose -11*t + 62 - 18 = 0. Suppose 5*r + 3*a = 22 + 21, -t*r = -3*a - 29. Let u be 4/18 - 88/(-9). Is u >= r?
True
Let f = 7712 + -7711. Which is greater: -38/101 or f?
f
Let i(s) = -2*s**2 + s + 23. Let k be i(9). Let d = -62 - k. Let g = d + -67. Which is smaller: g or 2?
g
Let s = 95.77 - 96.77. Is s >= -942/17?
True
Let i = 21767 + -21765.093. Is -1/4 at most as big as i?
True
Let x = -143471/5 + 28694. Do -217 and x have the same value?
False
Let p(i) = i**3 + i**2 - 57*i + 18. Let q be p(-5). Is 2235/11 > q?
True
Let i be -4 - (-102)/24 - (-30)/8. Let u = 14832269/9 - 1645061. Let r = u - 2966. Which is smaller: i or r?
r
Suppose 80 - 89 = 9*n. Is n at most 4/873?
True
Let u(j) = j**3 + 35*j**2 + 3*j + 104. Let a be u(-35). Are 7/3070 and a non-equal?
True
Suppose -2*b - 5*a + a = -50, 5 = a. Let y be (-11)/b + (-2)/(-5). Let x be (5 - (-3 + 3))/5. Which is smaller: x or y?
y
Let y = 38.857 + 0.143. Let h = y - 38. Which is smaller: h or 7/4?
h
Suppose 0 = -2*s - 3*s. Suppose -3*k - 7 = -2*a - 0*k, 5*k = -15. Let g be (-117)/130 - a*1. Is g bigger than s?
True
Let p be (1 - (-610)/(-4))/(81/(-108)). Is p greater than or equal to 5?
True
Let u be (-4 + (-92)/(-14))/(6/(-28)). Let i be ((-4)/56)/((-3)/u). Which is smaller: -171 or i?
-171
Let n(h) = -h**3 + 49*h**2 - 10 - 125*h**2 + 58*h**2 + 18*h - 7. Let r be n(-19). Let u = 41 + -41. Are u and r equal?
False
Let c(t) = -30*t + 841. Let p be c(28). Which is smaller: p or -5/1491?
-5/1491
Let m = 30362/4352659 + -32/4443. Which is bigger: m or -1?
m
Let b = -2035 + 2034.8. Let l be (((-3)/(-35))/3)/1. Which is bigger: b or l?
l
Let a = 102 + -88. Suppose 13636 + 17276 = -a*p. Let q be 1888/p + (1 - 2/3). Do q and 0 have the same value?
False
Let s be -9*-2*(-2)/4. Suppose -4*x = 4*j - 14784, -5*x - 3*j + 18480 = -5*j. Let i be x/(-720) + (-2)/(-15). Is s >= i?
False
Let q(f) = 2*f**2 + 15*f - 64. Let n be q(4). Suppose n*h = 27*h - 20. Is -19 at most h?
False
Let s = 0.8855 - 0.7855. Is s greater than -57/68?
True
Let w = -14160 - -13342. Is -816 > w?
True
Suppose 2*o + 3*d = 5*d + 22, 18 = 2*o - d. Let j be o*9/((-9)/58). Is j at least as big as -405?
False
Let v be (63/10*10/6)/(222/296). Let y be 30/(-20)*(-14)/(-3). Which is bigger: v or y?
v
Let k = -212.83 - -214. Suppose 28 = -4*h, 5*o = 24*h - 27*h - 26. Is k less than o?
False
Let j = 31619614/1477 + -21408. Which is smaller: j or 0.6?
j
Let k(v) = -13*v**2 + 132*v + 59. Let n be k(10). Let s = 24.9 + -25. Which is greater: s or n?
n
Let t(l) = 2*l**2 + 34*l - 260. Let z be t(-34). Is z greater than or equal to 899?
False
Let g be (4/6)/2*(7 + -73). Let k be (2 + 0)*(-168)/16. Which is bigger: g or k?
k
Let w(j) = -j**3 + 15*j**2 - 21*j + 21. Let s be 1*2/(-5)*(-1 + -34). Let h be w(s). Let q = -57 - h. Which is smaller: 85/4 or q?
q
Suppose -3*j = 12*y + 33027, j + 3166 = -y + 413. Is -2751 < y?
False
Let u = 0.1531 - -25.8469. Are 4/5 and u unequal?
True
Suppose 18 = 5*a + 13*a. Suppose 4*d - 2*q - 4 = 0, -q = 9*d - 4*d - 12. Which is smaller: d or a?
a
Suppose 5*x - 15 = -0*x. Let w be (x/6)/((18/(-4))/9). Let m be 2475/9420 + 1/(-4). Which is smaller: w or m?
w
Let k = -225 + 225. Let t be (-12501)/(-2499) - 7/(49/35). Do k and t have the same value?
False
Let y = 38.688 + -38.488. Are -11447 and y unequal?
True
Suppose -1828 = 4*l + 3*y, l + 464 = 20*y - 19*y. Let c be 2*3/27 - l/(-2124). Which is greater: 0 or c?
c
Let n be (-27)/(-6) - ((-120)/(-48) - 1). Which is smaller: n or 122/41?
122/41
Suppose -3*d + 5*v - 2568 = -d, -62*v = -59*v. Which is smaller: d or -1281?
d
Let q be 5/25 + 143539/55. Are 2610 and q non-equal?
False
Suppose 0 = -2*t - 8 - 22. Let i = 13 + t. Let x be (-2 - (4 - 3)) + -1. Which is smaller: i or x?
x
Let y(b) = 20*b - 54. Let t be y(-7). Let f = -155 - t. Are f and 40 equal?
False
Let m = -50 - -2. Let n = m - -43. Let u = -37 + 30. Which is smaller: u or n?
u
Suppose 0 = -2*o + 15*o - 234. Suppose 109*h = 107*h + o. Is 43/5 bigger than h?
False
Let z be (-2)/((-8)/(-2))*(-56)/14. Suppose 47 = z*o + 3*f, -o = -3*o + f + 51. Suppose -o*h + 22*h = 0. Which is greater: 3/13 or h?
3/13
Let c = 10 + -2. Let p = -12 + c. Let f be 1 - p/((-48)/(-4)). Is 0 != f?
True
Suppose -5*o - 20 = 0, 0 = -3*s - 0*o - 5*o + 673. Let f = s + -226. Let x = 9 - 3. Is f at least as big as x?
False
Let s = -3093 - -2996. Which is smaller: -85 or s?
s
Let x(v) = -v**3 - 5*v**2 - 4*v - 10. Let a be x(-7). Suppose -10*k = -a - 24. Let g = 22 + -9. Which is greater: g or k?
k
Suppose -3*i = -19 - 2. Let f be 4/(i - 3)*33. Which is greater: 32 or f?
f
Suppose 3*f - 3*t + 0*t = -51, 2*f + 4*t = -16. Which is bigger: f or -13?
-13
Let g = 18.69 - -0.31. Let n = 57 - g. Let f = -3.1904 - -3.2904. Is n < f?
False
Let w(h) = -h**2 + 316*h - 1866. Let y be w(6). Let f(i) = i**2 - 7*i - 2. Let l be (9/(-4))/(12/(-32)). Let a be f(l). Which is bigger: a or y?
y
Let x be ((-10 + 8)*2/(-248))/((-6)/(-9984)). Is 27 != x?
True
Let f = -380 - -411. Let y be -4 - 1 - (-38 + f). Is y bigger than 15/23?
True
Let j be (-116)/(-7) + (-4)/7 - 2. Suppose 10*m = -24 + j. Do -3/2 and m have the same value?
False
Let c = -196.5 + 196.5. Suppose 4*g = 5*g + 67. Which is bigger: g or c?
c
Let i(f) = f**2 - 13*f + 14. Let x be i(12). Suppose -x*l - 10 = -4*l. Suppose -4*n - 84 - 24 = 4*o, -l*o - 25 = 0. Is -22 bigger than n?
False
Let o be (425 - -10) + ((-28)/(-4) - 6). Which is bigger: 435 or o?
o
Let j = 443 - 89. Let o = j + -344. Which is greater: 17 or o?
17
Let o(j) = -2*j - 37. Let i be o(-19). Let c be i/3 - 35296/(-312). Let l = c + -227/2. Is l not equal to 0?
True
Let b(g) = 49 + 41 - 98 + 0*g - 5*g + 2*g. Suppose q - 2 = -5. Let t be b(q). Is t at most -1/110?
False
Let l be (9/6)/((-96)/(-56144)). Is 877 greater than or equal to l?
F