-2?
-2
Let a(v) = -v**3 + 5*v**2 + 3*v - 3. Let y be a(4). Let r(p) = p**2 - 29*p + 6. Let w be r(y). Is 0.2 <= w?
False
Suppose -6*c + 24 + 2262 = 0. Suppose -7*u = -312 - c. Is u equal to 100?
False
Suppose 5*x = -c + 703, 2*x + 0*x + 2*c - 286 = 0. Let n be (9/(-6))/(x/(-10) - -8). Which is bigger: n or 3/4?
3/4
Suppose 5296*m + 651 = 5289*m. Which is smaller: m or -179?
-179
Let z be 12/(-162795)*(-205)/(-82). Is z less than or equal to 1?
True
Let n = 0.24155 + -0.02555. Is 1/6 less than or equal to n?
True
Let q = -267 + 65. Let i = q + 197. Let r = 3.04 + -0.04. Is i > r?
False
Suppose 5*z + v + 1276 = -4, 0 = v - 5. Let j = z + 536. Is 279 at most j?
True
Let w = 221 + -216. Let c = w + 1. Is c >= 0?
True
Let l(n) = -n**2 - 85*n - 216. Let g be l(-75). Let x be (3/6)/((-1)/(-2)) - 0. Which is bigger: g or x?
g
Let u = 199.38 - 181.6. Let k = -17.5 + u. Let o(c) = c**3 - 5*c**2 - 7*c + 4. Let l be o(6). Which is bigger: l or k?
k
Suppose -2*m - 27*q = -24*q - 3, 5*q = -2*m + 9. Let g be (10 - 8)/((-18)/m). Let n = 0.3 + -1.3. Which is bigger: g or n?
g
Let v = 700673158/3013 + -232550. Which is smaller: v or -1?
-1
Let d be 259 + 3 + 51/17. Let w = d - 263. Is w less than -6/31?
False
Let c(b) be the first derivative of 5*b**2/2 + 19*b + 47. Let w be c(-3). Let y be (-2)/5 - 12/(-5). Which is smaller: w or y?
y
Let c = 4.5 + 0.3. Let x = c + -5. Let m = -581 - -591. Is x <= m?
True
Let y(t) be the third derivative of t**6/60 + t**5/10 - 3*t**4/8 - 5*t**3/6 - 222*t**2. Let z be y(-4). Is -8/83 greater than or equal to z?
True
Let j be ((-12)/(-42))/(3/42). Let l be (188/6)/(j/(-6)). Let x be (-4 + l/(-12))*-2. Is 1 < x?
False
Let k(o) = o**3 - 37*o**2 - 80*o + 82. Let g be k(39). Is 138/29 less than g?
False
Suppose 0*v + 2*v + 60 = t, 4*v - 342 = -5*t. Let f be t/(-3685)*((-1)/(-4) - -1). Which is greater: f or -1?
f
Let s = -820.2 - -1241. Which is smaller: s or 2?
2
Let u = 3940 + -4047. Let o = 19.1 - 19. Which is smaller: o or u?
u
Let t = -95403 + 95497.491. Let g = 3.499 + t. Let a = 98 - g. Which is greater: -0.01 or a?
a
Let j be 8/(-6)*(-135)/60. Let c be 196/112*(j/(-2) + 1). Which is smaller: c or -3/4?
c
Suppose 0 = -9*g - 29 - 97. Let q be 35*(-5 + (-74)/g). Suppose 0 = 9*k - 11*k - q. Which is smaller: k or -4?
k
Let h be (-1 + 2)/((-4)/(-16)). Suppose -h*s - 701 = -137. Are 1/2 and s equal?
False
Let l(s) = 3*s + 39 - 5*s - 7*s - 6*s. Let a be l(5). Let q be -3 - 104/a - 1. Do 0 and q have different values?
True
Let k = -3.62019 - 0.27981. Let p = -26639/315 + 250/63. Let h = p - -81. Is h less than k?
False
Let j = -0.02 - 0.01. Let u = 5222 - 5219.3. Is j greater than or equal to u?
False
Let u = 168 - 92. Let w = u + -74. Suppose 0*f + w*f = -0*f. Which is greater: f or -10/13?
f
Let h be ((-1)/3)/((-26)/(-3)). Let r be (-12)/78 + (-67)/(-13). Let z be 7/(105/(-50)) + (r - 1). Does z = h?
False
Let i = 34/21 - 128/105. Let x be 1 + ((-104)/(-50))/(-2). Which is greater: i or x?
i
Let s(m) = -16*m**2 + 3*m + 1. Let t be s(2). Let c = -60 - t. Let f be c + (-5 - 1)*(-8)/20. Is f > 0?
False
Let r = -4476 - -1924679/430. Let j = -3 - -3. Is r greater than j?
False
Suppose -8*u + 55*u = 6*u + 738. Which is smaller: -127 or u?
-127
Suppose 0 = -5*d - h - 2*h - 217, 4*h = -4*d - 180. Let s be (1 - d)*(-52)/156. Which is smaller: s or 0.3?
s
Let l = 87653/5 + -17459. Which is bigger: l or 71?
l
Let c = 772.13 - 778. Let r = c - -6.14. Which is bigger: -2 or r?
r
Let y(v) = -3*v - 4*v**2 - 7*v**3 - 5*v**2 - 2 + 0*v**2 + 10*v**3. Let h be y(3). Which is bigger: -12 or h?
h
Suppose -4*o = 5*n - 8 - 15, -2*n + 5*o = 4. Suppose 6*y - n*y = 0. Let b be (-1130)/(-339)*15/26 - (0 - -3). Which is smaller: y or b?
b
Let z(d) = -5*d + 24. Let h be z(-24). Let g = -82 + h. Let a = 62 - g. Which is greater: a or 1/12?
1/12
Let l = 2/16339 + -21861652/571865. Which is bigger: -37 or l?
-37
Let h = 84.919 - 85. Let n(k) = k**2 - 80*k + 700. Let p be n(70). Is h at least as big as p?
False
Let b be (18 + (-168)/9)*1137. Which is smaller: b or -765?
-765
Let r(g) = -g**2 + 60*g + 178. Let s be r(0). Is s at least as big as 893/5?
False
Let f(p) = 6*p + 118. Let k be f(26). Let y = k - 276. Which is smaller: y or -11/5?
-11/5
Suppose 2*i + 3*a + a = 28, -3*i - 2*a + 38 = 0. Let s be (-8)/12 - 22/i. Let k(f) = 337*f + 26958. Let l be k(-80). Which is bigger: s or l?
l
Let x(w) = -2*w**3 - 5*w**2 - 6*w - 2. Let q be x(-2). Suppose 4*h = h - q. Which is bigger: 15 or h?
15
Suppose -5*a - 31 = 2*s - 13, -4*a + 54 = -2*s. Let l(p) = p**3 + 21*p**2 + 53*p - 5. Let t be l(-18). Suppose -c - 9 = t. Is c at least s?
False
Suppose -5*y - 120 = -10*y. Suppose 0 = 2*k + 2*n - 0*n - 50, 4*k + 5*n - 103 = 0. Which is smaller: y or k?
k
Suppose -24*l + 99 = 271 - 100. Which is smaller: -96/37 or l?
l
Let f = -557.6 - -506. Let o = 52.6 + f. Do o and -0.069 have different values?
True
Let p be -67 - -72 - 3*1. Let v be 4/(-2994)*(-7 + 2 + p). Which is smaller: 1 or v?
v
Let h = 1060687/13395 - 3710/47. Which is smaller: h or 1?
h
Let b = -5037 - -5037.082. Are -23 and b equal?
False
Suppose -w = -5*w + 32. Let p be 2/(-5) + 73/(-5). Let g be p*(-20)/750*2*5. Which is bigger: w or g?
w
Let n = 36 - 19. Let u = 16.9 - n. Let x be ((-8)/(-20)*5)/(-14). Which is smaller: x or u?
x
Let r = 9805 - 9275. Are r and 523 equal?
False
Suppose 2*x + 390 = 4*x. Let h = -112 + x. Suppose 0 = 3*b + 3*r - 10 - h, -4*r + 92 = 3*b. Is 63/2 greater than b?
False
Let v be (558/(-62))/(-2*(-3)/(-2)) - -205. Is 212 >= v?
True
Let r(k) = 15*k + 1954. Let l be r(-14). Which is smaller: l or 1742?
1742
Let k = 36 - 150. Suppose -6*r = 291 + 534 - 129. Is k >= r?
True
Let d = -53 + -3. Suppose -7160 = 239*c + 6224. Is c equal to d?
True
Let u(b) = b**3 - 5*b**2 + 7*b - 13. Let p be u(4). Let a = 3/1817 + 517/1887863. Let j = 5227/16624 - a. Which is smaller: j or p?
p
Let u(n) = n**2 - 2*n. Let a be u(0). Let h be ((-42)/5)/(1/5). Let j be h/70 + 3/5. Is a at most j?
True
Suppose 28*l - 23*l - 3*g = 150, 5*g = 5*l - 160. Which is smaller: 7 or l?
7
Let b be (-16)/(-78)*47/(-188). Let p = -0.2 + 0.1. Let i = p + -0.1. Is i at least b?
False
Let s = 98965 + -2671510/27. Which is smaller: s or 21?
s
Let h = -1652/7925 - 10/317. Let j = -2843 - -2842. Which is smaller: h or j?
j
Let g(o) = 3*o**2 - 39*o + 36. Let z be (-5)/(203/(-84) + 2). Let n be g(z). Is -3/302 bigger than n?
False
Suppose -2*t + 3 + 1 = 2*r, 0 = 2*r - 3*t - 4. Let p = 734.9 - 736. Is p smaller than r?
True
Let i(l) = -l**3 - 57*l**2 + 6*l + 351. Let x be i(-57). Is x at least as big as 220?
False
Let v be 870/(-725) - 1/(-5). Which is smaller: v or -2/45563?
v
Let o = 0.23 + 73.77. Let n = o - 74.39. Let g = n + -0.61. Which is smaller: -0.1 or g?
g
Let q be (-234 - -239)*439/5. Is q < -1/3?
False
Suppose -32 = z - 9*z. Suppose 5*g + 9 = z. Let r be (-5 + (-2493)/(-495))/((-22)/(-5)). Is g bigger than r?
False
Let r be 4/(-4) + (-1 - 1). Let y be (-3)/(r*(-5)/(-40)). Let m be ((-4)/(-40))/((-2)/y). Which is smaller: 35 or m?
m
Let l = 1256/15 - 58997/705. Is l greater than 0?
True
Let t = 21359 + -277558/13. Which is bigger: 8 or t?
t
Let a be (54/(-280))/(3/46). Let u = -20/7 - a. Suppose 2*r - 18 = -4*h, -7 = -r - 2*r - h. Which is smaller: u or r?
u
Let j be (18/(-10))/(21/(-35)). Let k be 22/2 - ((-6)/(-3) - j). Is k not equal to 11?
True
Let b = -0.171 - 9.829. Suppose 3*o + 0*o + 5*x + 9 = 0, 5*o = 2*x - 46. Which is smaller: o or b?
b
Let r = 132.346 + -132. Suppose 5*m - l - 4 = 0, 4*m + 15*l - 11*l = 8. Is m at most r?
False
Let l be 7 - ((-6)/4)/((-2)/4). Suppose l*y = -20 + 20. Let d be (-1 + 4)/((-594)/(-12)). Is y > d?
False
Let a(r) = 12*r - 25. Let j(c) = c**2 + 7*c - 11. Let b be j(-9). Let s be a(b). Let m be 2/(-6)*(-529)/s + -3. Is m less than 0?
True
Let f be ((-3)/46)/(-1 - 7 - -5). Let o = -0.0993 - -0.2993. Are o and f equal?
False
Let t = -121 + 133. Let x be (100/(-6) - -4)/t. Is x less than 0?
True
Let h be ((-2)/(-17) + 7584/272 + -10)/58. Suppose 5*a + 0*a - 5 = 0. Are h and a equal?
False
Suppose -3*o + 5*j = 15, o - 6*o = -j + 3. Let l be 20/70 + 30/(-693). Let f = l - 401/429. Is o < f?
False
Let a be (-4)/(3 - 10/4). Let k = -3983 - -3983.05. Is a <= k?
True
Let a = 3208 + -3269. Is