*3 - 7*f**2 + 9*f - 11. Let y be v(13). Let m be (3/(-5))/((-144)/y). Does m = 0?
False
Let o = -1 - 0. Suppose -2*h + 8*l - 3*l - 17 = 0, -h + 9 = l. Let j be ((-2)/h)/(7 + -9) - 1. Which is greater: j or o?
j
Let t(z) = 7*z + 54. Let x be t(-8). Let b be ((-45)/x)/(-2 + (-77)/(-28)). Suppose 4*c - 9 = c, -2*f - 5*c = -75. Is f bigger than b?
False
Let c = 41 + -46. Let f = c - -5.1. Is 27 at least f?
True
Let q(t) = t**3 + 12*t**2 - 25*t - 12. Let r be q(-14). Let y be 2*(-346)/420 - (r + 51). Let f = y + -20/21. Which is smaller: f or 0?
0
Let n = 2.8 - 3. Let x be (4/(-18) - 72051/(-189)) + 6. Let p = x + -396. Which is greater: n or p?
n
Let t = -50.932 + -0.068. Let l = 52.4 + t. Which is smaller: -3/2 or l?
-3/2
Suppose 0 = -n + 2*o - 12, -5*n - o + 188 = 182. Let l(x) = x**2. Let a = -2 - -1. Let r be l(a). Is n at most r?
True
Let j be (-4)/((-24)/15)*(0 + -74). Let w = j - -177. Let y(s) = s**2 + 7*s + 5. Let z be y(-4). Which is smaller: z or w?
w
Let o(r) = r**3 + 9*r**2 + 9*r - 14. Let c be o(-7). Suppose -57 = -3*n + 3*f, n - 3*f = -n + 40. Are n and c non-equal?
True
Let t be -1 + 602 - 5/((-15)/(-3)). Suppose -2*x + t = 4*k, 5*k + 138 + 190 = x. Let m be (56/x)/(6/22). Which is smaller: m or 0?
0
Let a = -3.204 + 3.204. Which is smaller: 33 or a?
a
Suppose 18 = 4*s - 2*l, s = -4*s + 4*l + 15. Suppose 4 = c + s. Let d(m) = 2*m**3 + 5*m**2 - 7. Let w be d(c). Is -16 at least as big as w?
True
Suppose 5*g + 6 = 7*g. Suppose g*t - 15 = 5*f, -t = -4*f + t - 12. Let v be f/(45/55) + (-2)/6. Is -4 bigger than v?
False
Suppose z + 1190*a = 1191*a + 9563, -2*z + 19138 = 4*a. Which is greater: 9566 or z?
9566
Let q(b) = b**3 + 21*b**2 + 3*b - 23. Let y = 82 + -103. Let o be q(y). Let k = 84 + o. Which is smaller: -1/2 or k?
k
Suppose 5*f - 27362 - 29878 = -19*f. Is f greater than 2385?
False
Let v = 326 + -166. Let o(t) = 1824*t + 5471. Let s be o(-3). Which is greater: s or v?
v
Let h = 2979.7 - 3094. Is -2/11 less than h?
False
Let p be -6*4/3 - -127. Let s be (-8)/(-2) - 490/p. Does 2/15 = s?
False
Let n(m) = 81*m**2 + 75*m + 37. Let w be n(-7). Is w > 3480?
True
Let y be 96/(-36)*(-3)/4. Suppose -4*u + y*s + 20 = 0, u + u - 4*s = 22. Suppose 0 = u*h - 21 + 24. Is h bigger than -2?
True
Suppose 21 = -15*n + 3*n - 123. Which is smaller: -1.25 or n?
n
Let k = -2 + 1. Let u = -0.04 - 472.96. Let t = u - -502. Which is bigger: k or t?
t
Let t = 2242 + -2144. Is 87 greater than or equal to t?
False
Let j be (-16)/(-72)*18*(-2)/(-8). Is 2/19263 greater than j?
False
Let b be (1 + -29)*(-24)/28. Let q be (-15)/b + (3 - 2). Are 3/4 and q non-equal?
True
Suppose 19*r + 12571 = 3331 - 13655. Which is greater: -1200 or r?
-1200
Let y = 9197 + -1397951/152. Which is smaller: 1 or y?
y
Suppose -3*g + 9*g + 54 = 0. Let z be ((-9)/g)/(2/(-4)). Which is greater: z or -4/3?
-4/3
Let j be (-6694)/10 - (-134)/335. Which is smaller: -668 or j?
j
Let i = 0.54 + 0.41. Let w = -1.05 + i. Which is greater: -0.2 or w?
w
Suppose 45*n = -4*d + 44*n + 124, -d = 5*n - 50. Which is smaller: 139 or d?
d
Let v be 6*1*2/6. Let s be v/(-8) - (-5)/4. Suppose 23 = 5*l - 8*j + 4*j, 0 = 5*l - 5*j - 25. Which is smaller: s or l?
s
Let t(l) be the second derivative of -l**4/6 + 32*l**3/3 + 99*l**2/2 - l + 45. Let j be t(33). Is j at least 63/2?
True
Let s be (-1)/((-27)/(-72))*((-2673)/(-92))/(-11). Which is bigger: 6 or s?
s
Let i = 658 + -760. Let a(k) = -96*k - 9. Let h be a(1). Are h and i equal?
False
Let o = 1028 - 944. Suppose 5*r + 0 = -425. Let t = r + o. Which is bigger: 2/91 or t?
2/91
Let s = -73.4 - -138.5. Let f = -54.1 + s. Is -12 smaller than f?
True
Let z(h) = 3*h + 9. Let w(o) = -o**3 - 16*o**2 - 6. Let a be w(-16). Let s be z(a). Let j be 7/((-28)/s) - 2. Is j >= -12?
True
Let b be -3 - 15/(-6)*(-126)/15. Suppose -24*t + 29*t = -115. Which is smaller: t or b?
b
Let a = -18.13 - -0.93. Let h = -17.607 - a. Which is bigger: -1 or h?
h
Let p be 537/2*(-5)/5*-2. Suppose 399 = 3*c + 3*n - 6*n, 4*c + n = p. Which is smaller: c or 135?
c
Let b be ((-32)/240 + 3/(-15))*0. Is b > -5/618?
True
Let n = 1766/9 + -196. Let d = -3889/33 - -90/11. Let v = d - -110. Are n and v non-equal?
True
Let i be ((-608)/1820 + 6/15)*-119. Let o = -2283/286 - i. Is 0.14 less than or equal to o?
False
Let k = -80.3 - -40. Let d = k + 40.4. Let q = 174 + -3481/20. Which is bigger: q or d?
d
Let a be 20 - 1/((-2)/(-4)). Let f = 2115328/189 - 78346/7. Which is smaller: f or a?
f
Let j = -27 + 40. Let n = -103 - -103.1. Let g = -0.1 - n. Is g at most j?
True
Suppose -4 = -6*l + 9*l - 4*c, 2*l + 12 = 5*c. Let x be (-348)/(-1365) - -7*l/(-98). Do x and 1 have the same value?
False
Let k(w) = -13*w + 3. Let q = 181 + -179. Let i be k(q). Which is bigger: -24 or i?
i
Let r = 6 + -5. Let h be 11 - (9 + -3) - 9. Let p be -30 - ((-2 - h) + -4). Is r equal to p?
False
Suppose -677 = -29*t - 17*t - 188*t + 259. Suppose -6*z = -z + 15. Let s be (0 + -1)/(z/13). Which is bigger: t or s?
s
Let w be ((-154)/(-21) - 7)*-3. Is -1/71 at most w?
False
Let v = 9.35 - 6.35. Suppose 2*a - 46 = -3*k + 118, 0 = 2*a - 4*k - 150. Is v < a?
True
Let x = 16164 + -16164.2. Which is smaller: x or 225/62?
x
Suppose 6*h - 125 = 2*h + 5*c, -110 = -4*h + 2*c. Suppose -49*a + 3*i + 95 = -44*a, 5*a + 2*i - 145 = 0. Is h at least as big as a?
True
Let y = -170788 + 1537094/9. Let z = 70.48 + -72. Let l = 0.02 + z. Are y and l unequal?
True
Let n = -8496 + 663. Which is greater: -1 or n?
-1
Let g = -4008/11 - -24777/44. Does 200 = g?
False
Suppose -2*a + c + 0*c = 1217, 5*c = 3*a + 1829. Is -608 > a?
False
Let p be (6/(180/282))/(-4 - 64/(-20)). Let r be (-1)/3 - 37/(-3). Let v = r + p. Which is greater: 1 or v?
1
Let t be 1/((-11)/(-3) + -3). Let z(y) = -y**3 + 18*y**2 + 8*y - 45. Let k be z(18). Let i = -98 + k. Which is bigger: i or t?
t
Suppose 10*c - 14*c - 4 = f, 0 = 2*f + 8. Suppose 58*z - 71*z - 26 = c. Which is smaller: 128 or z?
z
Let x(y) = -y**2 - 3*y - 5. Let v be x(-3). Let p be v - -3 - (-44)/(-33). Which is smaller: 2/9 or p?
p
Let p = 8279 + -8279.3. Is -3/1042 at most as big as p?
False
Suppose -8*b - 917 = 771. Let i = b - -388. Is 178 <= i?
False
Suppose 0 = 4*y - 12, 7*p - 4*y = 6*p - 30. Let s be (13/(-2))/(p/8608). Let f = 3112 - s. Is f smaller than 4?
True
Suppose -12 = 18*a - 21*a. Let o be a/22 - ((-270)/88 + 1). Let i = 9 - 6. Which is smaller: o or i?
o
Let a = 4 - 21.7. Let h = -22.6 + 4.6. Let u = h - a. Is u < -1/4?
True
Let h = -19597/5106 + 290/69. Is 1 >= h?
True
Let m be (-2)/((-25)/1815*-582 - 8). Is m at most -127?
False
Let o be -5 + 158 - (-3 + -2). Let i be (o/4)/((-54)/(-81)). Which is smaller: i or 60?
i
Let h = 542 + -542.337. Let m = h - 0.043. Let v = m - -0.48. Is v greater than 0.4?
False
Suppose -l + 3*d + 3 = 6*d, -3*l + 2*d = -9. Suppose 0*v - l*v - g + 187 = 0, -3*v + 4*g = -167. Suppose -59 = 6*p + v. Is p greater than -21?
True
Let k be (-19)/(48735/(-936)) + 2/(-5). Let w = 75 + -70. Suppose w*i = -5*m - 15, 4*m + 9 = -2*i + i. Which is smaller: k or i?
i
Suppose -19*g + 30 = -65. Suppose t = 4*w - t + 170, -w - g*t - 26 = 0. Which is greater: -39 or w?
-39
Let r(j) = -j**3 - 12*j**2 + 29*j + 13. Let u be r(-14). Suppose 4*a = h - 2348, -4*h = -h. Let z = a + 26416/45. Which is greater: z or u?
z
Let n(t) = -94*t - 1251. Let i be n(-12). Which is smaller: i or -2/3?
i
Let z = -593 - -1511/2. Is 164 > z?
True
Let y = 2 + -2. Let c = -459126 - -7346015/16. Is y greater than c?
True
Suppose 2*c - 5*g - 603 + 10789 = 0, 4*g - 5102 = c. Which is smaller: -5079 or c?
-5079
Suppose 60*z + 62090 - 867 = -34117. Which is bigger: -1592 or z?
z
Let m = -1690 + 1690.02. Is m at most as big as 57?
True
Let c(a) = 3*a**2 - a + 1. Let h be c(2). Let o(w) = 1050*w - 37788. Let z be o(36). Is h smaller than z?
True
Let i = 60514 - 1876528/31. Which is smaller: i or -19?
i
Suppose -3*m - 6 = 0, -2*s + 2*m - 4*m = 4. Let y = -332277 - -21598001/65. Do y and s have the same value?
False
Let r be (-4)/(-2) + (-1)/(-3). Suppose 5*z - 7*z + 8 = 0. Suppose -4*a + 23 = 3*g, 11 = z*a - 9. Is r bigger than g?
True
Let v be 82/4*3/17. Let n be ((-15)/75)/(51/30). Let f = n + v. Which is smaller: 3 or f?
3
Suppose 0 = 354*h + 395545 - 28801. Which is greater: -1025 or h?
-1025
Suppose 12 = 3