hich is greater: x or b?
x
Suppose 4*s = s. Suppose 5*c = n - 7 - 9, s = 3*n + 3*c - 84. Suppose 4*p + 54 = 2*l, -4*l + 13 = 4*p - 83. Which is smaller: n or l?
l
Let d be (-1 - -3 - -3) + (-15 - (-9 + -1)). Is d at most 2/13067?
True
Let d = -11986 + 37031/3. Is 359 at least as big as d?
True
Let y(f) = 17*f**2 - 62*f + 368. Let b be y(27). Is b <= 11086?
False
Let w = 27 + -36. Let p be 4 - w/(-3) - -4. Suppose p*q - d + 12 = 0, q + 5*d = 4*q - 6. Which is smaller: -5/2 or q?
q
Let p(f) = f**2 - 32*f - 184. Let v be p(37). Let x be v/(-7) + (-15)/(-105). Is -1/41 at least x?
False
Let o(u) be the first derivative of -7*u**2/2 + 87*u + 122. Let d be o(10). Let x(v) = 5*v**2 + 3*v + 3. Let j be x(-2). Is d greater than or equal to j?
True
Let c = 7607/6 + -240971/190. Let r = -2/57 - c. Let w = 3503 - 38515/11. Which is bigger: w or r?
w
Let r be -5*((-332)/(-9) + (-3)/(-27)). Let a = -249 - r. Which is smaller: a or -313/5?
a
Let l be (-139)/(301094850/280420) + 1 + 13/(-15). Is l bigger than -1?
True
Suppose -9*s = 2*l - 4*s - 55, l + 4*s - 35 = 0. Let t(j) = 7*j - 117. Let v be t(l). Is -120/11 not equal to v?
True
Suppose 0 = 5*i + 5*f + 5, 6*i - 11*i = -3*f - 19. Suppose -3*t = -19 + 4, -2*a - 12 = -i*t. Is a less than 2/457?
True
Let c be (-6)/36 - 23195/(-30). Is c less than 773?
False
Let q = -80 + 79. Let l = -9166 + 6251211/682. Is q less than or equal to l?
True
Suppose -4*v = 9*v - 9*v. Let m = 193369/305 + -634. Does v = m?
False
Let q = -50.161 + 0.161. Let s = q + 50.2. Which is bigger: s or -0.6?
s
Suppose -4*n + 15 + 41 = 0. Let i = -559/3 + 199. Let b = n - i. Is -1 less than b?
True
Suppose 10*i - 3570 = 17*i. Let y = 478 + i. Is y not equal to -32?
False
Let h be (44/(-18)*-3)/(9105/(-315) - -29). Which is smaller: h or -38?
-38
Let z(c) = -31*c**2 - 25*c**2 - 31*c**2 + c**3 + 92*c**2 + 2*c - 5. Let l be z(-5). Are l and -17 nonequal?
True
Let l(p) = -p - 20. Let o be l(-20). Suppose o = g - 0*g - 55. Let t = g - 55. Are t and -1/21 equal?
False
Let g be 21/(-56) - ((-781935)/56)/11. Is g less than 1267?
False
Let u = -81 - -144. Suppose -3*g + u = -12*g. Do 2/17 and g have the same value?
False
Suppose -5*s - 23*z + 20*z + 14 = 0, 0 = s - 5*z + 14. Is s less than or equal to -33/490?
False
Suppose -228*a = -34*a - 23260 - 11854. Which is smaller: 129 or a?
129
Let x = -11223.128 - -11312. Let l = -0.128 - x. Is 0.1 < l?
False
Suppose -4*o - 3*t = 9 + 5, 4*o + 5*t = -18. Let j be 8/o + (-8 - -17). Suppose j*n + 24 + 11 = 0. Which is greater: -8 or n?
n
Suppose -4*t + 63 = 11. Suppose -t*l - 368 = 3*l. Is -23 != l?
False
Let v = 2 - -6. Let q = -403 + 952. Let d = 555 - q. Which is bigger: v or d?
v
Let u be (-1355)/1626 - 11/(-6). Which is bigger: -3/2756 or u?
u
Let x be 6/(11/(-2) - -4) - 8. Let n be (-3)/(-10)*8/x*3. Is n <= -1?
False
Suppose -2 + 11 = 4*r + 9*k, 4*r - 3*k + 3 = 0. Is -2/13579 at least r?
False
Let z = -2399 - -2399.063. Let b = -4 - -3.997. Let a = b + z. Is -4/5 <= a?
True
Let q = 1175 + -1176.054. Let h = q - 0.046. Let m = h + 1. Is m less than -3/5?
False
Suppose -1536 = -39646*c + 39630*c. Suppose 0 = 3*o - 4*k - 308, -5*k - 7 - 18 = 0. Does o = c?
True
Let p be (2/(-86))/((-2)/(-4)). Let l = 14226.1 + -14235.1. Is p equal to l?
False
Let h(t) = 20*t - 42. Let l be h(-6). Let i = 162 + l. Which is smaller: 19 or i?
i
Let s(h) = 3*h**3 + 13*h**2 + 18*h + 78. Let z be s(-11). Which is smaller: z or -2541?
-2541
Let o = 10511/3 + -3448. Let g = 1181/21 - o. Which is bigger: g or 30?
30
Let p be ((-39)/(-26) + -1)*2. Does p = 12/1867?
False
Let j be (-10)/(-25) + -38*27/90. Which is smaller: -41/4 or j?
j
Suppose -4*k - 2*k - 1 - 41 = 0. Are k and -3/35 equal?
False
Suppose -2*n + 4*b = 62, 2*n - b + 99 = 13. Let g be -1 - (-1 - 0) - 46. Is g equal to n?
False
Let f = 38/113 - 42105/125543. Let x = f + -2373/167761. Let y be (-10 - -10)/((-2)/4*-4). Which is smaller: x or y?
x
Let d = -44.988 - 0.012. Let x = d + 46. Let n = 16 + -15.9. Which is greater: n or x?
x
Suppose -u = -2, 0 = 3*r - 32*u + 33*u + 1954. Let i = r + 652. Which is smaller: 1/47 or i?
i
Let w(b) = -b**2 - 25*b + 317. Let k be w(11). Is -70 equal to k?
False
Suppose 1864 + 908 = -7*b. Let o = b - -387. Which is smaller: o or -10?
-10
Let k = -149.93723 + -0.06277. Which is greater: k or 2/7?
2/7
Suppose 0 = 8*w - 6*w - 16. Let o(g) = g**2 - 5*g + 16. Let t be o(w). Let b = 51 - t. Is b smaller than -0.4?
False
Let s(a) be the second derivative of -a**5/20 + a**4/12 + a**3/6 + a. Let q = 142 - 142. Let x be s(q). Which is bigger: x or 2/33?
2/33
Let i be (244/(-427))/((-14116)/(-14)). Is i not equal to -1?
True
Let v(s) = -5*s**2 + 8*s + 5. Let q be v(7). Let g = -1660/9 - q. Suppose 0 = 8*t - 142 + 150. Which is greater: g or t?
g
Let g(y) = y**3 + 17*y**2 - 6*y + 8. Let q be g(-7). Suppose q = 3*z + z. Let d = z - 138. Which is greater: d or -13/8?
-13/8
Let k = 700 + -705. Let s be -5 - (77 + -1 + 0) - k. Which is bigger: s or -78?
s
Let y be (1 - 303084/(-9)) + 5. Let k = y - 505046/15. Is k equal to 12?
False
Suppose -3*h - 6 = -5*b + 2*b, -4*b - 2 = -2*h. Let w = 8 + h. Suppose 0 = -w*s + 9, 8 = -4*c + s + 3*s. Which is smaller: 0.013 or c?
0.013
Suppose 248*k - 288 = 524*k - 252*k. Is k > -219/19?
False
Let o = 2 + -0.55. Let b = 620 + -620. Which is smaller: o or b?
b
Let o be ((-28)/10)/((-639)/720). Are o and 2 nonequal?
True
Let m = 50.39 + -51. Let h = -1.39 + m. Is h > -96?
True
Suppose -13*c + 5*c - 888 = 0. Let u = c + 116. Let a(w) = w**3 - 6*w**2 + 7*w - 10. Let n be a(u). Which is greater: n or -6/43?
n
Let i(k) = -k**2 - 8*k - 5. Let o be i(-7). Let z be 2/((o/(-3))/(-2)). Let g = 3519 + -3517. Is g != z?
True
Let k(d) = -2*d**3 - 9*d**2 - 9*d - 16. Let s be k(-7). Let m be 6 - (-72)/(-6) - (-1756)/s. Which is smaller: 1 or m?
m
Let n = 6175/21686 - -3/3098. Which is smaller: n or -111?
-111
Let z = -632.39 + 632.4. Which is smaller: z or -9/2?
-9/2
Suppose 4*w + 48 = -2*m, -185 = 9*m - 4*m - 3*w. Let k = 88 + -124. Which is smaller: m or k?
k
Let b be -1*(-5)/2*(3 - 1) - -89. Is 105 at least as big as b?
True
Suppose 4 = -2*h, 3*i + 7*h - 11*h - 11 = 0. Which is bigger: -5/71 or i?
i
Suppose 51 = 3*l + 3*x, -3*l + 2*x = -x - 51. Suppose 0 = 5*j - 2*z + 3*z - l, 3*j - 18 = 2*z. Let c = 18 + -9. Which is smaller: j or c?
j
Let t be (77/132)/(14/6)*4812. Which is greater: 1200 or t?
t
Let i = 64 + -60. Suppose -i*d + 39 = 39. Is 2/519 >= d?
True
Suppose -y + 0*y = -2*n + 351, -4*n = 0. Let k = -386 - y. Suppose s = -x - 4*s - 34, 3*x + 102 = 4*s. Which is smaller: k or x?
k
Let a = 0.353 + -18.453. Let o = a - -1.1. Let k = 14 + o. Are -3 and k non-equal?
False
Let n = -604 + 4331. Is 3726 less than n?
True
Let q(f) = -f**3 - 6*f**2 - 7*f - 15. Let u be q(-5). Let h be (-35)/50*u*-2. Is -2/67 at least h?
True
Let u = -0.06322 + 31.67322. Let t = u + -31.6. Is t != -7?
True
Let t(s) = 21*s + 25. Let k be t(-8). Let a = k - -94. Let n = a + 50. Which is smaller: n or 2/53?
2/53
Let g be 8 - 328880/39900 - 4/(-42). Are g and -1 equal?
False
Let o(t) = 3*t**3 - 45*t**2 - 18*t + 269. Let n be o(15). Is n at least as big as -128?
True
Suppose 198*k - 17772 = 205770. Which is smaller: k or 1135?
k
Suppose 4*g - 16 - 8 = -2*v, 5*v = 2*g. Suppose 2*o + 45 = 75. Suppose 4*k = -z + o, -g*k + 15 + 3 = 2*z. Is z >= 5/29?
False
Let v be ((-66)/10)/3*38. Let g = 134663 - 134747. Is v greater than g?
True
Let c = 542 - 507. Let m be (98/c - 2) + (-51)/20. Which is greater: m or -3?
m
Let i = -509264 - -509232. Let j(b) = -b + 1. Let a be j(-4). Suppose -5*d + 2 = -a*o - 23, -5*d + 25 = -3*o. Which is greater: o or i?
o
Let r be (-36)/24 - (-6)/4. Let d be r + 12/5 + -2*1. Let s = -153/395 + d. Are -1 and s nonequal?
True
Let t be ((-5442)/(-4))/(-3) - (-8)/(-16). Let k = -407 - t. Which is greater: k or 45?
k
Let p be (-41)/4 - 45/60. Let l = p + 19. Let d(h) = -3*h**3 + 2*h**2 - 3*h - 2. Let t be d(-1). Is l bigger than t?
True
Suppose -298*c - 343 = -17*c - 1748. Are 245/51 and c unequal?
True
Let d(i) = i**2 - i - 50. Let h be d(-15). Let k be ((-104)/76)/13 - 5186/h. Which is bigger: -27 or k?
-27
Let q = 0.805 - -6.975. Let n = q + -7.8. Is 7/2 smaller than n?
False
Let z be (-4)/(-3)*(-3)/(-2). Let y(t) = t - 2. Let g be 