hich is bigger: b or a?
a
Suppose 3*o + 2*o = 4*u - 21, -6 = -2*u - 2*o. Suppose -u*b + 2*w + 1 + 13 = 0, -5*b + 15 = -5*w. Let x = 14541 + -14538. Do x and b have different values?
True
Suppose n + 4*w = 40, -87*w - 48 = n - 91*w. Let s = -15 - 9. Is s >= n?
False
Let t = 224/5 + -141324/3155. Is 0 at most as big as t?
True
Suppose 3*f - 3*h + 6 = 0, 4*h + 20 = 2*f + 8*h. Suppose -v - f*u + 113 = 0, 6 = -0*u - 2*u. Which is greater: 118 or v?
v
Let z(v) = 3*v + 9. Let c be z(-4). Let t = -3.38 + 3.18. Which is bigger: c or t?
t
Suppose 87*l + 15*l = -38*l - 11*l. Which is smaller: -2/14473 or l?
-2/14473
Let u = 18 - 38. Let r = u - -36. Suppose 2*h - 2*g = -3*h - 8, 0 = h - 4*g + r. Is 1/9 at most as big as h?
False
Let c = -107 - -109. Let q = 2 - c. Is 3/88 smaller than q?
False
Suppose -8*q - 20*q = -q + 22545. Is q > -831?
False
Suppose 5*l + 41 = 2*f, 0 = 2*f - 4*f - 4. Let o(y) = -y - 4. Let u be o(l). Suppose -b + u*h - 34 = -5*b, h - 31 = -3*b. Which is smaller: 13 or b?
b
Let x = -201 - -158. Let m = x + 10. Let s = 20 + -20.1. Which is smaller: s or m?
m
Let f(z) = 111*z - 10713. Let k be f(96). Suppose 5*o = 3*a + 161, 0 = -a - 3*o - 46 - 17. Is k greater than a?
False
Let p(s) = s**3 + 61*s**2 + 67*s + 37. Let j be p(-60). Is -376 less than j?
False
Let o be (0 - 9)*1/(-4)*-28. Is -66 > o?
False
Let v be (2936/(-48))/((-24764)/3). Let x = v + -5/302. Let d = x - 1947/2296. Is 0 greater than d?
True
Let i(g) = 2*g. Let u be i(-9). Suppose 2*z - 16 = -3*j, -40 = -3*j - 10*z + 14*z. Let n be (j/16)/((-3)/u). Which is greater: n or 3/2?
n
Let c(k) = -8*k**3 - 4*k**2 - 5*k + 4. Let o be c(-2). Let d = 47 - o. Let l be 8/(-60)*3*d/(-3). Is l less than or equal to 0?
True
Suppose 6*t = -3*f + 7*t - 383, -125 = f + t. Which is bigger: f or 2?
2
Let r(v) = v**2 - 15*v + 20. Let b be r(14). Let p be (b - (9 - 6))*2/3. Which is smaller: p or -44?
-44
Let r = 18192 + -14954. Is 2 less than r?
True
Let l = 7452 + -7445. Which is greater: l or -136?
l
Let x = 4015.3 + -4015. Is x at least as big as 276?
False
Let u = -1 + 153. Suppose -u = 43*z - 44*z. Which is greater: z or -0.1?
z
Suppose 4*c = -383 + 15. Suppose 1373*r = -39392 - 85551. Is r greater than c?
True
Suppose 11*g - 4827 = 10*g - 3*d, 0 = -g + 5*d + 4827. Let s = -33855/7 + g. Which is smaller: s or -8?
s
Let m = 18264 + -18263. Which is bigger: -19/54 or m?
m
Suppose 2*p - 40 = -o - 33, p + 9 = 2*o. Is p less than or equal to -2/4697?
False
Let l = -4262.592 + 4234. Let m = -0.408 + l. Which is bigger: m or 3?
3
Let p = -50892/5 - -9923. Which is smaller: -254 or p?
p
Let f = -2 - 2. Let x = -2068/155 + 2316/155. Is x != f?
True
Suppose 27*u - 6136 - 9146 = 0. Let z = u - 105. Is z at most 463?
True
Let t = 18 + -18.124. Let g = -0.03149 - -1.03149. Which is smaller: t or g?
t
Let b = 39586 - 33560. Which is bigger: b or 6027?
6027
Let u(o) = -o**3 + 7*o**2 + 10*o - 102. Let i be u(3). Which is greater: i or -62?
i
Let z be 164/(-7339)*15739/(-52). Let x = -88/13 + z. Is 0 > x?
True
Suppose 3*z - 8 = -2*f, -8*f - 5*z + 20 = -3*f. Suppose -3*x - 2*x = -l - 150, f*l - 51 = -x. Which is smaller: 37 or x?
x
Let h = 224338/3065 - -4/613. Which is smaller: 74 or h?
h
Let y = 6039 - 6040. Which is bigger: 5/22 or y?
5/22
Let o = -2299 + 2597. Let d be ((-1)/(-1) + 1)*148. Are d and o unequal?
True
Suppose -27*v = -2*v + 3*v - 28. Which is smaller: -16/535 or v?
-16/535
Let m be (-6)/18 + (3 - 2). Suppose -2*v = -5*o - 142, 4*o - v - 12 + 125 = 0. Let x = o + 24. Is x >= m?
False
Let p(t) = -362*t - 24 + 386*t - 9. Let j be p(1). Let i(r) = 4*r + 2. Let z be i(-2). Which is greater: z or j?
z
Let u = -453845651/8410 + 53965. Which is greater: u or 1?
1
Let b be 0/(2/(2 + -4)). Suppose -2*m - 5*r - 32 = b, 90 = -8*m + 4*m + 3*r. Let n = -9 - m. Which is smaller: 13 or n?
n
Let h(k) = k**2 - 5*k + 14. Let l be h(3). Suppose l = p + 2*a, 8*p - 4*p = -5*a + 20. Are p and 3/76 equal?
False
Let d = -26629 - -25294. Which is greater: d or -1339?
d
Let g = 3/10 + -4/5. Let c(i) = i**2 - 5689*i - 56967. Let s be c(-10). Is s greater than g?
True
Let u = 12136 + -36407/3. Which is bigger: u or 1.2793?
1.2793
Let m = 295 - 434. Is m <= -3?
True
Let n(z) = 7 - 23 - z - z. Let j be ((-8)/10 + -1)/(6/(-20)). Let a be n(j). Is a at least -28?
True
Let q = 174808/59 - 166820091/56404. Let g = -1/239 + q. Is 4 less than g?
True
Let z = 3/6221 + -6233/24884. Is z less than or equal to 4/971?
True
Suppose -84*s - 130*s = 214. Which is smaller: s or 2/9645?
s
Let c = -136 + 137. Let k be ((-864)/21)/((-9)/42). Is k bigger than c?
True
Let c(j) = -j**2 + 13*j + 42. Let d be -3 + 3 - (-32)/8. Let u be (16*d/(-24))/(1/(-6)). Let g be c(u). Is -7 equal to g?
False
Suppose -17*y + 8633 = -2332. Which is greater: y or 0?
y
Suppose 24*z - 468 = 108. Suppose 0 = 39*c - 31*c - z. Is 25 < c?
False
Let t = 14971 + -15986. Are t and -1011 nonequal?
True
Let n be (4 + -4)/(19 - 20). Is n smaller than 2/2945?
True
Suppose 0*h - 3*h + 3 = 0, -3*a + 4*h = -53. Suppose 385 = -4*j - a. Which is greater: j or -100?
-100
Let f be (-34)/84 + 6/18. Let a be (-2)/(-5) + (-4807)/4830. Let q = f + a. Is q > -1?
True
Suppose 37035 - 3580 = -43*m - 164646. Is -4605 != m?
True
Let n = -5368.179 + 5368. Are -2/5 and n equal?
False
Suppose 30 = -r + 32, 68488 = 2*j + 3*r. Let d be (-2)/(-16) + j/(-776). Do -44 and d have the same value?
True
Let l = -6022 - -5950. Which is smaller: l or -86?
-86
Suppose 3*x - 20*p = -16*p - 162, 5*x = 4*p - 270. Which is greater: x or -435/8?
x
Let y = 21892 - 21892. Let s = 0.2 - -0.24. Which is smaller: s or y?
y
Let h = 239 - 238.4. Does -16 = h?
False
Let y = 8353 + -11871. Let x = 960412/273 + y. Is 0 equal to x?
False
Suppose -276*i + 280*i = -5*a - 2028, 5*i = 2*a + 831. Which is greater: a or -400?
-400
Let m = 149 + -80. Let b = 881.947 - -0.053. Let s = b + -881. Which is greater: m or s?
m
Suppose -100*f - 92*f = -190*f - 68. Which is bigger: f or 868/25?
868/25
Let v(t) = t**2 + 5*t - 3. Let k be v(-6). Suppose -k*g - a + 300 = a, -5*a = -5*g + 525. Which is bigger: 101 or g?
g
Let j be 15/2 - (-1110)/740. Let s(u) = 4*u. Suppose 0 = -3*i + 6 - 0. Let c be s(i). Is j at least as big as c?
True
Let b = -3351.8 - -3352. Is 5/14 at most as big as b?
False
Let p(s) = 3*s - 69. Let w be p(25). Suppose -10 = 4*o + w*o. Is 23 less than or equal to o?
False
Let q be (5 - -2) + -1*10/5. Suppose 0 = r - 4*c - 124, -q*r + 3*c + 519 = -33. Is 326/3 <= r?
False
Let h = 159.9572 - -0.0428. Let p = h + -159.85. Which is bigger: p or 0.01?
p
Suppose -4*y - 174 = -258. Suppose 0 = y*o - 7*o + 504. Is o at most -29?
True
Suppose 32*d = 18*d + 28. Suppose -5*a + 10*a + 1 = d*j, j + 22 = -2*a. Let q be -1 - 1*(4 + 0). Is j greater than q?
False
Let k = 13700/11 - 42374144/34023. Is -1 at least k?
False
Let i(v) be the first derivative of v**4/4 + 7*v**3/3 + 11*v**2/2 + 10*v + 16. Let o be i(-5). Suppose p - o*p + 28 = 0. Which is greater: 1 or p?
p
Suppose -4*q = -q + 2*q. Let n be (-81)/(-27) - ((-27)/(-13) + q). Suppose 2*i + 2*i = 0. Is n less than i?
False
Let j = 0.1 - -0.1. Let g = -14482/17 - -144871/170. Is g at least as big as j?
True
Let y(j) = -j**3 + 2*j**2 + 6*j - 6. Let b be y(3). Let d be (-42)/189 - b/(27/178). Let r be 0*(5/d + 0). Is 3/28 at most as big as r?
False
Let v = -86 - -428/5. Let j(q) = q**2 + 3*q - 24. Let k be j(-6). Let w be k/(-7) - 124/(-2387). Which is smaller: w or v?
v
Suppose -2*v = -22*l + 20*l - 18, 21 = l + 2*v. Let t = 1/882 - -3949/17640. Which is greater: l or t?
l
Let v be (-129)/441 - 2/(-6). Suppose 5*k - 6 = 2*q, 0 = q + k + 2 - 6. Suppose q*x - 2*g = 6, -5*x - 26 = 4*g - 5. Is x < v?
True
Suppose 0 = 3*j - a + 4*a + 24, 4*a + 20 = 0. Let k be (-67)/(j*4/24) + 0. Is 134 greater than or equal to k?
True
Suppose -199 = -2*b - 3*r, 13*r - 17*r = 2*b - 204. Let o be 252/b + -3 + 4 + -5. Which is bigger: o or -2?
o
Let w(h) = -h**3 + 4*h**2 + 12*h + 5. Let q be w(6). Suppose 4 - 9 = q*d. Which is smaller: -35/17 or d?
-35/17
Let u = 1383/4 - 341. Suppose 5*h = -3*k + 45, 0*h - 4*h - k + 36 = 0. Let d = h + -3. Which is greater: d or u?
d
Let t = -260 + 240. Let w(c) = c**3 + 20*c**2 - c - 3. Let j be w(t). Is j < 15?
False
Let c(u) = -22*u**2 - 2*u. Let f(r) = -3