*q + p = -2*b. Is -26/7 at least b?
True
Let t = -3295 - -3294. Which is bigger: t or 10/43?
10/43
Let n = -3/23 + 67/161. Let r = -20026 - -20025. Do r and n have the same value?
False
Let i = -177.44 + 170.74. Is i greater than 0.54?
False
Let f be (-10)/35 - 106020/(-373863). Which is smaller: f or 0?
f
Let i = 66 + -57. Suppose 7*u + i = 23. Which is bigger: 1/32 or u?
u
Let z(c) = -24*c - 996. Let k be z(27). Is k less than or equal to -1644?
True
Let y(p) = 76*p**2 - 2*p + 1. Let x be y(1). Let q(h) = 8181*h + 106428. Let v be q(-13). Is v bigger than x?
False
Let m = -237 - -236. Let k = m - -0.9. Let r = 8 - 15/2. Which is bigger: r or k?
r
Let d be 4/(-22) + 6 + 512/(-88). Let o be (-10)/(-25) - 74/210. Which is bigger: d or o?
o
Let f(v) = 3*v + 1. Let z be f(-1). Let a be 0 - (5 + z - -1). Let s be (-36)/(-40) - 14/4. Which is smaller: s or a?
a
Let a = 2/24569 + -103306/61791035. Is a greater than -1?
True
Let g(v) = v**3 - 5*v**2 + 6*v - 5. Let y be g(4). Suppose y*j + 23 = -2*b - 4, -j + 5*b - 26 = 0. Is j at most -19?
False
Let x be 0 + -23 + (29 - 5). Is 16/1877 at least as big as x?
False
Let b(i) = -2124*i + 2111. Let l be b(1). Let x be 26/8 - 4/16. Let f be x/9 - 46/3. Is l greater than f?
True
Let c be (-10 - 20)*(-5)/2. Let d be (c/(-21))/(((-42)/(-36))/(-7)). Is 20 bigger than d?
False
Let a = -1.041279 - -0.041279. Let o = 0.04 - 2.24. Let l = o - -16.2. Is a >= l?
False
Let t(l) = -4*l**2 - 21*l - 5. Let f be t(-5). Suppose -2 = a, f = x + 3*a + 6. Let w = -2/301 - -2125/2709. Is w smaller than x?
False
Let f = 0.0481 - -605.9519. Let j = 605.3 - f. Is -26 bigger than j?
False
Let y = 59.6 + 261.4. Is y at most as big as 6?
False
Let l = -1395 - -698. Let v = l - -712.6. Which is greater: 1 or v?
v
Let g = 8/9 + -278/333. Suppose 2*z = 9 + 5. Suppose 3*w + q = -1, -3*w + 16 = -z*w - 5*q. Which is smaller: g or w?
g
Let p = 0.21381 - 0.18816. Which is smaller: -2 or p?
-2
Let h = -9481 + 9480. Which is bigger: h or -2805?
h
Let m = 3.488 + -3.358. Let z = 98732824/3115 - 158478/5. Let k = z - 4/89. Which is smaller: k or m?
m
Suppose -15*d = -77 + 17. Let w be (22/(-12)*d)/(1/(-3)). Which is bigger: w or 15?
w
Let g be 20/(-570) + (-9 - (-1414)/(-133)). Let c be (0 + -1)*(-21)/(-1). Which is smaller: g or c?
c
Let r(u) = -u**2 - 20*u - 62. Let h be r(-16). Let q be (17/(-8))/(h/(-24)). Suppose -37 = -2*j - 3*a, -10 = -j + a + 21. Is j smaller than q?
False
Let c(k) = 9*k - 4. Let m be c(-5). Let p = 180 + -90. Let h = -90 + p. Which is bigger: m or h?
h
Let n = 10053 - 3860353/384. Which is greater: -0.2 or n?
n
Let u = -2117 + 2227. Is u greater than 105?
True
Let j = 149179402/133 + -1121636. Let r = j - 422/19. Is r less than -2/7?
True
Suppose -2*j + 3*h - 9 = -27, -5*h - 26 = -3*j. Let q be (-2)/j*1/((-21)/2). Suppose 6*f = -4*f - 10. Is f equal to q?
False
Suppose 51*k - 3*r - 8568 = 48*k, 2*k - r - 5717 = 0. Are 2862 and k unequal?
True
Let b = -236.57 - 0.53. Let c = b + 253. Let t = c + -78.9. Which is bigger: t or -2/3?
-2/3
Let f = 23169/2 - 11587. Suppose -2*w = 3*w. Is f greater than w?
False
Let g be 3/(-2) + 3*7/6. Suppose -14*a = -12*a + g. Does a = 3/5?
False
Let j = -181 + 789. Let r = j - 606.88. Is -1/2 not equal to r?
True
Let h = -223 - -676/3. Let b(o) = o**3 + 4*o**2 - 5*o - 11. Let i be b(-5). Let x = i + 14. Is x equal to h?
False
Suppose -9468 = c + 3*k, 1416 = -3*k + 1389. Which is bigger: c or -9440?
-9440
Let x(f) = f**3 + 7*f**2 + 14*f + 6. Let b be (3/(-8))/(29/232). Let z be x(b). Is z not equal to -2/69?
True
Suppose -5*j - 2*w + 4997 = 0, 56*j + 5*w = 57*j - 1021. Are 1000 and j equal?
False
Let y = 194560051/7226 - 26925. Which is smaller: y or -1?
-1
Let z be (1806/(-63))/((-51)/27). Which is smaller: 16 or z?
z
Suppose -4*a + z - 384 = 364, 0 = a - 4*z + 172. Let w = -177 - a. Which is bigger: 10 or w?
w
Let q(b) = -3*b - 1. Let d be q(-1). Suppose -d = -2*c - 6. Let x be 5 + (4 - 10) + 44/c. Which is smaller: -22 or x?
x
Suppose -4*s - 2*o + 66 = 0, 2*o + 22 = 2*s + 4. Let q be (s/(-10815)*-5)/((-2)/6). Is q < 1?
True
Let u be (-8)/40 - (-3929)/5620 - 4/8. Which is bigger: 0 or u?
0
Let l(r) = 10*r**2 - 7*r + 11. Let k be l(4). Suppose 6*c - 2*c = 568. Is k >= c?
True
Let w = 33 - 125. Let c = -74 - w. Let z = 27 - c. Are z and -1/2 unequal?
True
Suppose 0 = 3*k + 2*k. Suppose 11*b = -4*v + 9*b + 14, 0 = 3*v + 2*b - 10. Let q be v*(-3)/(-120) - (-69)/(-1290). Which is greater: k or q?
q
Let l = -2625 - -2622.4. Which is greater: l or -69?
l
Suppose -2*i + 253 = 3*b, -29*b - 2*i - 443 = -34*b. Is b greater than 66?
True
Let d = -40473 + 40472. Let i = 6 + -5.7. Which is smaller: d or i?
d
Let v = 62 + -61. Let n be (-5)/2*v/5. Which is bigger: n or -1?
n
Suppose 28 = -6*l - 86. Let h(o) be the first derivative of o**4/2 + o**3 - o**2 + o + 5. Let z be h(-3). Which is smaller: l or z?
z
Let h(n) = -7*n**2 - 8*n + 54. Let t be h(10). Let r = 1481/2 + t. Is r bigger than 16?
False
Let z be (-1)/4*(4 - 4). Suppose g + 10 - 61 = z. Suppose 3*x = -0*x + 153. Is g at least x?
True
Let n = -1953.1 - -1958. Are n and 2/9 non-equal?
True
Suppose 3*j - 80 = 2*q, -3*j + 10 = -2*j - 4*q. Let g be 0/(j/6 - 2). Which is smaller: g or 2/87?
g
Suppose 5*j + 5*t - 10 = 0, -2*j = -2*t - 12 + 8. Suppose -m - 2 = 4*p, -j = m - 0. Which is smaller: 1/4 or p?
p
Let p be (-2)/(-50795)*(-58)/116. Which is smaller: -1 or p?
-1
Suppose -2*v = 5*j - 14245, -v + 6739 = 3*j - 387. Which is smaller: 7104 or v?
7104
Suppose -4*z + 24 = 0, 0 = 19*y - 15*y - 5*z + 34. Is y less than or equal to -4/2771?
True
Let c = 34.99 - -92.31. Which is bigger: c or 2/5?
c
Let k(l) = 15*l + 14 + 1 - 42*l + 35*l. Let w be k(-3). Which is smaller: 0.09 or w?
w
Let w(t) = t**3 + 17*t**2 - t + 5. Let m be w(-17). Let p be 32/(-18) - m/(-55)*5. Which is smaller: p or 230?
p
Let t be (-6)/8 + (-1)/(-4) - (-128640)/(-17152). Let k be 108/(-14) - (-6)/(-21). Is k at most as big as t?
True
Suppose -329*w + 730 = -324*w. Let b be (0 + 4/(-5))*(-1095)/w. Is b bigger than -31?
True
Suppose 22379 = 49*c - 19026. Is c at least as big as 846?
False
Let r be (-1 - -8) + 0 + (-1495)/230. Is r <= 2510?
True
Let p = -114.19 + 110.19. Let w = 3.4 - -21.6. Is p equal to w?
False
Let m(g) = -g**2 - 186*g - 973. Let x be m(-57). Is 6379 bigger than x?
False
Let o = -42204 - -1350365/32. Are o and -6 unequal?
True
Let p = -177.5 + 176.3. Which is smaller: 181 or p?
p
Suppose 0 = -5*k + 148 - 123. Suppose k*v = 11 - 16. Which is greater: v or -1/4?
-1/4
Suppose 5*d - 7*d + 6 = 0. Suppose d*k = -k + 4. Suppose -w = 20 - k. Is w less than -21?
False
Let k(z) = -z - 9. Let r be (-5*2)/(-1 + 3). Let h be k(r). Let d be (2/10)/(h/(-12)). Do d and 0 have the same value?
False
Let w = 16 + -21. Let z(u) = -u**3 - 3*u**2 - 3*u. Let l be z(w). Let p = l + -63. Which is smaller: 7 or p?
p
Suppose -3*y + 1900 = 85. Suppose 4*h = -h - y. Which is bigger: -119 or h?
-119
Let h = 13185 + -145036/11. Is -2.87 < h?
True
Let b = 1.168 - 1. Let h = -0.27 + 0.222. Let p = b + h. Is p equal to -3/4?
False
Let t be 55/((-1210)/(-88)) + 52/(-14). Which is greater: t or -1548?
t
Let k(f) = f**3 - 9*f**2 - f + 6. Let q be k(9). Let p be 3*(4 + 11/q). Let c = 18103/815 + -111/5. Which is bigger: c or p?
p
Suppose 0 = 5*d - 5*b - 120, -2*b = 4*d + 3*b - 51. Suppose -d*l - 210 = -4*l. Is l bigger than -2?
False
Let w be (-12)/14 - (2 - 2). Let d = 0.6078 - 0.2078. Do w and d have the same value?
False
Let n = -3308 + 3036. Which is bigger: n or 5?
5
Let c be ((-15)/(-18))/((-7)/(-42)). Suppose -2*s + c*l - 76 = -404, 506 = 3*s - 4*l. Let w be 352/s - (4 + -2). Do w and -1 have the same value?
False
Suppose 4*l = 4*c - 16, 2*l = -5*c + 12 - 13. Let r be (-3)/5 + 171/335. Which is smaller: c or r?
r
Let v(h) = 2*h - 8. Let o be v(5). Let d = 63.27 + -0.27. Let a = 83 - d. Which is smaller: a or o?
o
Let u = -207 + 207.099. Let q = u + 9.201. Let d = q - 9.5. Which is greater: d or -4/3?
d
Suppose 4*a = -4 - 0. Let z be 3/12 + (-150)/56 + 2. Let s = z - -127/280. Is s at least as big as a?
True
Let f(k) = -2*k - 83. Let z be f(-106). Is 113 <= z?
True
Let p = -200 - -200.328. Let o = 0.272 + p. Which is bigger: o or 3?
3
Let o = -4924 - -901094/183. Let h = -173 + 174. Which is