8 - x. Let k = -47 + q. Which is greater: k or -2?
k
Let z = -6087/2358230 - 3/2855. Is 1 equal to z?
False
Let b be (-12424)/2072 + (1 - (-30)/6). Is b <= 1?
True
Let g = -287/2392 - -15/184. Which is smaller: g or 6?
g
Let n = -30847/21951115 - 1/16105. Which is greater: 0 or n?
0
Suppose -5*h = -4*d + 44, 5*d + 52 + 4 = -3*h. Let g be -153 - h/(-3) - -7. Is g at most -150?
True
Let g be (59 - (4 + -6)) + 0. Let k = -59 + g. Suppose 3*b + 94 = -5*c, -4*b - 134 = -0*c - k*c. Which is bigger: b or -1?
-1
Let s = -3.561 - -3.231. Which is smaller: s or -0.54?
-0.54
Let x = 27557/13 + -2121. Let b = 0 + 1. Let n = x + b. Is 1 > n?
True
Suppose -3158*x = -3163*x. Is x >= -8/573?
True
Let g = -249 + 283. Let b = g - 650/19. Let w = -3 - -3. Is w less than b?
False
Let n = -13.03 - -12. Let u = 4.87 - n. Let j = -5.8 + u. Which is bigger: j or 4/15?
4/15
Let w = 115/533 - 12/41. Let b be -92*2/(-16)*(0 + -2). Let j = b + 22. Is w >= j?
True
Let n = 13.04 - 13.022. Which is smaller: 26 or n?
n
Suppose 0 = -5*a - 23 + 43. Suppose -x - 1 = 0, -353 = a*r - x + 334. Which is bigger: r or -173?
r
Let a be 5/30 + (-4)/24. Let o = -371 + 2601/7. Are o and a equal?
False
Let j be 22 - (-5 + 4 + 14). Is j > 6?
True
Let u = -242.5 - -241.5. Which is bigger: 1/4147 or u?
1/4147
Let j be 9 + (-4144)/316 + 4. Let k = j + 589/316. Let p = 0.3 - 0.2. Which is smaller: k or p?
p
Let j = -2/482485 + -942832/5340626465. Which is greater: j or -1?
j
Let x = -0.3275 - -10.1225. Let q = -0.705 - x. Which is bigger: -0.1 or q?
-0.1
Let y be 3/2 + (-17)/34. Let o(k) = 14*k**3 + 2*k - 1. Let v be o(y). Let a = v + -12. Which is smaller: a or 1/2?
1/2
Suppose 24*g - 2*a + 3 = 25*g, -4 = 2*g - a. Are g and 3/2633 equal?
False
Let d = -2104/5 - -419. Let a = 4 - 3. Let o = 1.1 - a. Which is smaller: o or d?
d
Let x = -37 + 53. Let k be (1581/136 - 11)/(2/x). Which is smaller: k or 6?
k
Let f(s) = -s**3 - 10*s**2 + 10*s - 11. Let w = 345 - 356. Let l be f(w). Which is bigger: 11/27 or l?
11/27
Let j = -19190648271/31057 - -617917. Which is bigger: -1 or j?
j
Let i be (5 - (42/(-189) + (-168)/(-27)))*54. Is -50 < i?
False
Let t = 462 + -677. Let v be 1/3 + t/(-516). Is v at least as big as 12?
False
Let a(f) = 4*f + 17. Let o be a(-3). Suppose -o*v - 13 = -8. Let g be 3/4*(-4)/(-90). Is v not equal to g?
True
Let v be (6/5)/((-146595)/(-12225) + -12). Which is smaller: -140 or v?
-140
Suppose -2698 = -4*d - 7*c + 5*c, 3*c + 3 = 0. Suppose 35*b - 62*b - d = 0. Is -24 at least b?
True
Let x be 7686/14 + (-6)/3*3. Is x less than or equal to 543?
True
Suppose 3*t = -8 + 8. Suppose 2*g - 60 - 36 = t. Suppose -15*z - g = -12*z. Which is greater: -15 or z?
-15
Let p be ((-6)/4)/(213/(-4)). Suppose 2*u + 2 = 0, -5*c + 7*u - 12*u = 5. Is c greater than or equal to p?
False
Let o = -286 - -340. Let g = -27 + o. Which is smaller: 29 or g?
g
Suppose 2*a - 5*l = a + 186, -a = -4*l - 188. Suppose a = 5*t + 576. Which is smaller: t or -77?
-77
Let r = -259909 - -18454133/71. Is r less than or equal to 9?
True
Let t = 0.02712 + -401.32712. Which is greater: t or 2/7?
2/7
Let k = 50/39 + -8/13. Let g = -1952 + 1254. Let o = g + 3488/5. Which is greater: o or k?
k
Let n be (-4*2/58)/(-18). Suppose -10*d + c + 6 = 2, 2*c = 12. Is n greater than d?
False
Let x be (50/(-180))/((-5)/110361). Let d = x + -6107. Is 25 > d?
True
Suppose -5*u = 13*l - 17*l - 17516, 5*l + 10520 = 3*u. Is u at most as big as 3499?
False
Let f be 2*(8/9 + -1) - 33016/(-148896). Is 0 at least f?
True
Suppose -18 = -3*x + 30. Suppose -7*u + 21 = 2*z - 12*u, 3*z + 2*u + x = 0. Let w be (1*1/(-2))/(185/888). Which is greater: w or z?
z
Let b(t) = t + 26. Let n be b(-24). Suppose -726 = 3*i + 3*d, -n*d - 2*d = -20. Is i at least -248?
True
Let r = -1.526 + 3.477. Let k = -1.9 + 1.949. Let s = k + r. Which is greater: -29 or s?
s
Suppose 2*j - 2*l = -5*l - 13, -4*l = 3*j + 19. Let b be ((-2)/(-4))/((-1)/(-10)) - 1. Suppose -2*t - 14 = -3*t - b*a, 3*t + 22 = 4*a. Is t at least j?
True
Suppose 0 = -11*l + 28 + 27. Suppose -5*o + 4*z = 5, -57*z + 5 = -l*o - 58*z. Are 5 and o unequal?
True
Suppose 0 = 3*d + p - 4, 5*p - 2 = d + 2. Let v = 440 + -432. Let y be (v/26)/(6/(-3)). Is y at most as big as d?
True
Let o be (-1 + 0)*-8 - (91 - -340). Let a be 1/(10/26) + -3. Is o less than or equal to a?
True
Let p = -943/72 - -119/9. Which is bigger: p or 207.2?
207.2
Let v(p) = -p**2 + 14*p - 20. Let h(m) = 4*m - 43. Let s be h(13). Let i be v(s). Suppose 12 = 3*t, -3*y + 16 = -4*t - 40. Which is smaller: y or i?
y
Let a = -77196/11 + 7015. Suppose 22 = 8*s + 54. Which is greater: a or s?
a
Suppose -17 = -2*y + 9. Let s be (y - 5)*11/2. Let l = s + -28. Is l != 14?
True
Suppose s = -4*f + 43, 5*f = 3*s - 52 - 162. Suppose -3*v + 100 = -4*q, -4*q - s + 187 = 5*v. Which is smaller: v or 27?
27
Let o be ((-35)/25)/((1/(-10))/1). Suppose -3*l - 5*s = 38 - 22, -2*l = 5*s + o. Which is smaller: l or -2/21?
l
Let w = -35 - 81. Let a = w + 78. Which is greater: -37 or a?
-37
Let o = -496 + 496.3. Which is smaller: o or 12.39?
o
Let o = 338 - 336. Let k be o*15/18 + 51/(-36). Are k and 18 nonequal?
True
Suppose -n - 1 = -6. Let l be -1*(-37 + 8 + (-24)/3). Suppose l = n*w + 32. Which is smaller: w or 3/17?
3/17
Let u = 18165 + -19179. Which is smaller: -1015 or u?
-1015
Let c be (-112)/(-378) - 2/7. Suppose j - 72 = -v - 67, 5*v - j - 1 = 0. Is c > v?
False
Let c be 28/(-84) + (-3)/(27/(-3774)). Are c and -7 equal?
False
Let u be ((-2)/(-46))/((-1)/7). Suppose b + 11 = -3*f, -12*f + 21*f + 40 = 4*b. Is u bigger than b?
False
Let m(c) be the first derivative of -c**4/4 + 13*c**3/3 - 18*c**2 - 5*c + 47. Let i be m(8). Is i != 28?
True
Let v = 2362 + -2363. Which is smaller: 33 or v?
v
Suppose -150837 + 522982 = -283*m. Which is bigger: -1310 or m?
-1310
Let o be (1 - (-408)/(-412))/(2/838) - 4. Which is smaller: 1 or o?
o
Let q = 7246 + -3978. Do q and -0.1 have the same value?
False
Suppose -15*s - 588 = -36*s. Let u = -1 - s. Is -30 at least u?
False
Let x = 10559/2 + -5280. Is 84/31 <= x?
False
Let p be ((-564)/(-11750))/((-6)/820). Is -8 equal to p?
False
Let t = -8905 - -8905. Which is smaller: -2/7211 or t?
-2/7211
Let x = -432.614 + -0.386. Let d = x + 435.23. Let q = 2 - d. Which is bigger: q or -1?
q
Let l = -26 - -14. Let h = l - -12.2. Let u = 709.6 + -710. Which is greater: u or h?
h
Let r be ((-8730)/360)/((9/120)/(-3)). Which is bigger: r or 968?
r
Let a = -47.08 + 48. Let t = a + -0.7. Let c = t - 0.32. Is -9 < c?
True
Let q = 0.8 + 2.6. Let g = q - 4. Let r = -2731/4 - -683. Which is bigger: r or g?
r
Let h = 67749/4 - 17332. Is h smaller than -395?
False
Let a be 6518/6 + 3 - (120/9)/(-20). Is 3272/3 smaller than a?
False
Let i = 86.51 - -0.89. Let n = i - 173.5. Let m = -86 - n. Which is smaller: m or 12?
m
Let r be 1/(4/104*6). Let k(g) = 12*g - 109. Let w be k(9). Which is bigger: w or r?
r
Suppose -5*h - 14*h - 88977 = 0. Let w be h/(-21) + (-2)/(2/(-1)). Is 224 at least w?
True
Let u = -956 - -12408/13. Which is bigger: -3 or u?
u
Let g = -0.0785 + -0.6455. Let p = g - -0.734. Which is bigger: p or -22?
p
Let h = -6026 + 6083. Is 50 at most h?
True
Let i = 36012 - 3853386/107. Is -2 at least i?
False
Let j be ((-14)/602)/(5/((-460)/(-28))). Is -1 bigger than j?
False
Suppose -7*o + 2*o = -5*r + 10, -3*o = 3*r + 12. Suppose -14*f = -78*f - 25*f - 49484. Are r and f unequal?
True
Let m be (-1005 - 13)/((-2*2)/(-2)). Let z = m - -281. Let d be z/4947*-3 + (-2)/17. Are d and 1 equal?
False
Let z(g) = -g + 6. Let s be z(5). Let w = -1196287/34 - -35185. Is s != w?
True
Let q = -0.43 - 12.57. Let u = -46 - q. Which is smaller: 0.1 or u?
u
Let s = -137.33 - -137.23. Which is smaller: 9.383 or s?
s
Suppose 6*w = 3*w + 21. Let y = 2 - w. Let j be (0/(-2 + 4))/(-2). Are j and y unequal?
True
Let d be 3/(-1) - (-20 + 15). Suppose 2*m = 5*p - 297, 0*p + 294 = -2*m + d*p. Let r be (-8 - -11) + 437/m. Which is smaller: -1 or r?
-1
Let c = 6189 - 6138. Let b be ((-298)/(-18))/((-1)/(-3)). Let v = b - c. Which is smaller: -2 or v?
-2
Suppose 2*a = 5*z + 348, -4 = 71*z - 73*z. Are 179 and a equal?
True
Suppose 5*o - 79 = -4. Let z(i) = 170*i - 2194. Let w be z(13). Is o != w?
True
Let l(f) be the first derivative of -10*f**3/3 - 15*f**2/2 -