hich is bigger: b or u?
b
Suppose 9*s = 11 - 65. Let q be 10/(-210) + s/21. Suppose 21 = 2*k + 5*g, 18 = 3*k + 2*k + g. Which is smaller: q or k?
q
Let b(x) = 5*x**3 + x**2 - 5*x + 4. Let l be b(1). Suppose -2*i = l*t - 729, 715 = 5*t - 0*i - 5*i. Which is bigger: t or 143?
t
Let d be 1/(-2)*(-76)/(-57). Suppose 0 = 5*w - 3*b - 163, w + 2*b = 3*b + 33. Let a = w - 45. Which is greater: d or a?
d
Suppose 3*h = 0, 5*p - 108 = -2*h - 13. Suppose 0 = -6*g - 159 - 3. Let w = g - p. Is w bigger than -46?
False
Let o(b) = -b**2 + 15*b - 9. Let c be o(11). Let p = 108 - 73. Is c at most as big as p?
True
Suppose -5*x - v = -2062, -98*v + 101*v - 1632 = -4*x. Which is greater: x or -15?
x
Suppose 47*s = 1487 + 19757. Let f = -451 + s. Is 4/7 at most as big as f?
True
Let t be ((27/12)/3)/((-110)/32). Let g be 0*(2 + (-77)/44). Is t bigger than g?
False
Suppose 672 = 4*f + g, 130 = f + 4*g - 38. Let w = f + -168. Let l be (-38)/(-36) + 2/(-4). Is l at most w?
False
Let n = -16 + 15. Let f be 2/(-14) + (-479)/(-21). Let c = f - 23. Which is greater: n or c?
c
Let p(h) = h + 9. Let j be p(-4). Let z(l) = -l**3 - 17*l**2 + 14*l - 58. Let o be z(-18). Let w = o + j. Which is greater: w or 21?
21
Let t = -10114 + 394634/39. Are 4 and t equal?
False
Let f = -45.029 - -45. Let t = f + 17.029. Let q = t + -17. Which is greater: q or 1.5?
1.5
Let w = -3 - -3. Let s(v) = -2*v + 2. Let d be s(w). Suppose 8*a = d + 6. Is a at least as big as -2/47?
True
Let a = 13021 + -716179/55. Let g = a - 922/55. Is -18 less than or equal to g?
True
Let d be (-462)/(-63) - (-8)/((-72)/63). Which is bigger: d or 7213?
7213
Let f = -0.3458 + 0.2358. Is -2/71 greater than f?
True
Suppose 55*v = 109*v + 71*v - 160000. Which is smaller: v or 1281?
v
Let h = -4766 - -4754. Is 96 at least h?
True
Let w = 72773/30 + -14557/6. Is -2/1131 > w?
True
Let u(j) = j**2 + j - 15. Let d be u(4). Suppose -2*g - 2*g + 421 = 5*m, -4*m = -d*g + 557. Let c = -109 + g. Which is smaller: c or 8/9?
c
Let x be 2934/420 + -5 - 2. Let z be 200/(-84) - 0 - -2. Let y = z + -2/7. Is y greater than x?
False
Let k = 512 - 869. Let n be (-28)/(-42)*(k + 0). Is n < -239?
False
Let g(d) = -29*d - 41. Let o be g(-1). Let m be -4 + 1 - (o + 12 + -5). Is m not equal to 46?
True
Suppose 0*q - 81 = -3*h - q, -2*q = 3*h - 78. Let s be 5 + 187/(-44) - 1122/(-40). Which is greater: h or s?
s
Let b be -1 + 4 - (2/(-1) + 12455). Let j be 5/6 - (-10275)/b. Is 0 greater than j?
False
Let k be (-4 - (11 - -13))/569. Which is bigger: -1 or k?
k
Let p = 26.98 - -0.02. Let l = p + -29. Let h = 65 + -67. Is h less than or equal to l?
True
Suppose 2*g + 7*z = 24 + 44, 2*g - 2*z = 104. Let c = 1475/3 + -9347/21. Which is smaller: c or g?
c
Suppose 1881 = -3*o - g, -178 = o - 2*g + 456. Let q = -1663 + 1035. Is q greater than or equal to o?
True
Let g = 198920 + -198887. Let r = -0.2 + -0.8. Which is smaller: g or r?
r
Let c = -3174.984 + 3175. Is -0.65 less than c?
True
Let r(d) = -15*d**2 - 6*d + 15. Let t be r(2). Which is smaller: t or -35?
t
Let c = -883/132 - 2/33. Let x = 85 + -165. Let y be (-64)/x + 34/(-5). Which is smaller: y or c?
c
Let q be 30/8*(20704/48440 + 30/(-70)). Do q and -1 have the same value?
False
Suppose -151*g + 147*g = 0. Suppose 9*b + 9 = -g*b. Let c be (-2)/12*(-4)/123. Which is smaller: b or c?
b
Suppose 4*q - 5*i - 35 = 0, 0*q = -5*q + 4*i + 55. Suppose 2*f + 10*d = 7*d - q, -3*d = -3*f - 15. Is f smaller than -22/3?
False
Let k = 5 + 2. Suppose -19*d - d = -660. Suppose 38*x = d*x + 10. Is x at least as big as k?
False
Suppose 4*m - m = -4*p + 9, -5*p + 4*m + 19 = 0. Let z be (-9)/p*(-10)/3. Let n be 3220/253 - 1*(-6)/22. Is n bigger than z?
True
Let m be 28519 - (0 + 0)/(-1). Let b be 2/(-12)*-2 - m/237. Which is smaller: -121 or b?
-121
Let g = 1564 + -1940. Is -371 at least as big as g?
True
Suppose -91*f + 24 - 115 = 0. Which is greater: 1/801 or f?
1/801
Let x = 5.2 + -5.146. Let c = x + -14.254. Let t = c - -4.2. Are t and 0.2 non-equal?
True
Let t be (8/18)/((-828)/972 - -1). Let u = 72878/39393 - -8/4377. Is u less than t?
True
Suppose -5*z + 124 = -3*a, 5*a + 56 = 3*a - 2*z. Let h be 4/(-6) + (-2530)/a. Let o be (4 + (-298)/h)*2. Which is greater: -0.1 or o?
o
Let p = 460 - 471. Let c(b) = 11*b**2 - b. Let w be c(-1). Let q be 326/(-30) + w/(-90). Is p not equal to q?
False
Let k = 0.456 - 488.456. Is 1 at most k?
False
Suppose -88*j = -85*j + 507. Let v be j/22 - (-2 - 5/(-10)). Is v <= -6?
True
Let f(o) = -o**3 + 2*o**2 - 5*o + 5. Let h(j) = -j**2 + 2*j. Let s(x) = -f(x) - 5*h(x). Let v be s(-4). Let z = -2/61 + 264/4331. Which is smaller: v or z?
v
Let w = 171 + -157. Suppose -19*u + w*u = 50. Is u less than -17?
False
Let q be (-36225)/(-43659) - 1/(-11). Are q and 0 non-equal?
True
Let s be (-328)/10 + 2/(-10). Let l be -1 + (-6)/s + 1. Is 6/11 at most as big as l?
False
Let k = 183 - 189. Is -206 bigger than k?
False
Let q = 0.3 + 0.7. Let a(r) = 15*r - 56. Let u be a(4). Suppose -3*h - x = -333, x = 3*h - u*h + 109. Which is bigger: q or h?
h
Let q be -5*(-3)/(42/(-12) - -5). Let w be (2 - 416/q)/(38/76). Which is bigger: w or -79?
-79
Let r be (5/(50/255))/((-9)/(-6)). Is 83 at least r?
True
Let k = -10.4 - -29.4. Let p = 16.44 + -35.15. Let b = p + k. Which is greater: b or -1/2?
b
Let d be ((-2)/28 - 23389/266) + -8. Is 15/7 less than or equal to d?
False
Let j be (-49)/(-49)*-1*46. Let x = 45 + j. Let v be 2/(-8)*(-6)/4. Is v at least x?
True
Let x be ((-10304)/(-140))/(48/(-120)). Is 1/12 <= x?
False
Let n = 2.254 + 0.197. Let z = 0.549 + n. Which is greater: z or -10/37?
z
Suppose 0 = -98*i + 107*i + 1179. Let j be (5 - i)*(-3)/(-6). Which is smaller: j or 70?
j
Suppose 0*n + 6 = 3*n, 4*f - 324 = 2*n. Let k = -559/7 + f. Let w = -2 + k. Which is smaller: w or 1?
w
Let g be (-14*17)/(((-133)/14)/(-19)). Which is bigger: 1 or g?
1
Let k(r) = 3*r**2 + 19*r + 19. Let d be -1 - (-7)/(35/(-25)). Let l be k(d). Is l smaller than 14?
True
Suppose 5*l - l = x + 19, 0 = -l + 5. Let w be (x + -1*(-2)/(-1))/(-89). Suppose -2*m = 4*j + 5 + 1, 4*m + 3*j + 7 = 0. Do m and w have different values?
True
Let i = -14270 + 128426/9. Is 40/9 >= i?
True
Suppose -6*c + 5987 + 2055 + 682 = 0. Which is smaller: 1460 or c?
c
Let m be (5 - 8*21) + -1. Let v = -162 - m. Which is smaller: 4 or v?
v
Let t = 626 - 628. Let n be t/(18/597) - 5. Is -72 > n?
False
Let q = -11.29 + 5.37. Let g = 356.08 - q. Are -1 and g nonequal?
True
Suppose 0 = 4*n + 22 + 34. Suppose -25*s + 2674 = 11824. Let a = s + 354. Is n >= a?
False
Let q = 357 - 745. Let p = -388 - q. Is p at most as big as -1?
False
Let b = -38620/31 + 1246. Suppose -14*q + 39 = 25. Is b less than q?
True
Let n = -89.66 - -89.6003. Do n and 0.4 have the same value?
False
Let w(l) = -l**3 + 7*l**2 + 20*l - 27. Let d be w(8). Suppose 0 = d*v - 71*v + 168. Is 83 >= v?
False
Let r(d) = d**2 - 2. Let b be r(2). Let s = 45308/165 - 244/33. Let i = s - 268. Is i at most as big as b?
True
Let l be (-66)/(-15) + (3 - 3). Let d(h) = -6*h - 44. Let y be d(-8). Let t(v) = 2*v - 4. Let j be t(y). Is l less than j?
False
Suppose 0 = -42*o + 72 - 114. Which is smaller: o or -17/251?
o
Let a = -975.9 + 186.9. Let v = a - -790. Is v smaller than -5/56?
False
Suppose -z - 2*w + 4 = 0, 2*z + 3*w + 2*w = 7. Suppose -4*h - 18 = z. Is h smaller than -12?
False
Let n = -537 + 624. Let u = n + -211. Which is greater: -125 or u?
u
Let x be (-4)/(-20) + -3 + (-52)/(-20). Suppose -2*k - 3*p = 4 - 13, -2*p = -3*k + 33. Suppose -k = 3*m + 2*m - 2*y, 0 = m + 3*y - 5. Which is bigger: m or x?
x
Suppose -4*g = -0*z + 3*z + 18, z = 3*g + 7. Let l be ((-2)/((-16)/(-4))*-8)/2. Suppose 2*p + 3*h = -3, 5*p + 3 = l*h + 5. Is g greater than p?
False
Let n = -4994 + 1433276/287. Suppose -w + 1550 = -5*a, -4*a - 3*w = a + 1550. Let b = a + 310. Is n at least as big as b?
False
Let s be (-6)/18 - (-40)/12. Let g(h) = -12*h - 10. Let v be g(5). Let z be (-2*(-5)/v)/(s/2). Is z at most 0?
True
Let d be 5 - -1*(4 + 14914/(-1658)). Which is smaller: d or 1?
d
Let z(i) = 945*i - 5693. Let t be z(6). Is t smaller than -24?
False
Let u be (-37 + 32)*(91 - -1). Let r be (40/u)/(2 - 0). Which is smaller: r or 0?
r
Suppose -77*m + 76*m = w + 1, -w = 3*m + 7. Let s be 4/(-10) - 83/5. Let y = 6 + s. D