bigger: w or a?
w
Let c = -302 + 131. Let n = c - -51. Let t = n + 119.9. Which is smaller: t or -3.7?
-3.7
Let w = -5/1337 + 22879/40110. Is w at least as big as 0?
True
Let d = 33556 - 54796950/1633. Which is greater: 1 or d?
1
Let u = -183938/43 + 4278. Which is greater: 1 or u?
1
Let w be (-1 - -1)/(9/(16 + -7)). Let k be ((-24)/4 - -9) + w. Is 5 at most as big as k?
False
Let c(s) = -s**2 + 30*s + 27. Suppose -15*o = -14*o - 5*u - 56, 3*o - 73 = -4*u. Let b be c(o). Is 6 <= b?
False
Suppose 64*t - 67*t = 63. Suppose -f - 4*z = 4, 4*f + 5*z + 60 = 11. Which is smaller: f or t?
t
Suppose 8 + 10 = 6*j. Suppose 3*r - 5*x = 6*r - 74, -j*x = 4*r - 117. Let u = -33 + r. Which is greater: u or 11?
11
Let u be 214/(-30)*(-1962)/(-436). Which is smaller: u or -31?
u
Suppose -q + 477 = 41. Let s be -4 + 6 + q/(-220). Is s greater than or equal to 1?
False
Suppose 3*f = 7 + 2. Let r be (2 - -10) + -16*1/8. Which is bigger: r or f?
r
Let z be (-575)/(-230)*(-4164)/(-15). Which is smaller: z or 693?
693
Let w(k) = -7*k + 21. Let z(m) = 22*m - 63. Let q(j) = 7*w(j) + 2*z(j). Let v be q(0). Are 59/3 and v unequal?
True
Let u = 374 - 212. Suppose 16*j + u = -46. Which is greater: -12 or j?
-12
Let t(a) = a**3 - 31*a**2 + 6*a + 175. Let d be t(30). Are -546 and d unequal?
True
Let o(f) = 3 + 4*f + 17*f**2 + 2*f**2 - 27*f**2. Let n = -33 - -32. Let u be o(n). Is u < -3?
True
Suppose -6*h - 18 = -4*h. Let t be 2/6 - (-3)/h. Let g = 11/765 + 1387/9945. Which is greater: g or t?
g
Let u be 1*-1 - 1*(-67)/43. Which is greater: -6 or u?
u
Let p(q) = -q**2 + q - 1. Suppose 4 = -4*h, -4 = -2*n - 2*h + 2. Let v be p(n). Suppose -10 = 3*x + i, -35 = -x + 5*i - 17. Which is smaller: x or v?
v
Let u = 21 - 33. Let o = 387/4 - 97. Is o at least u?
True
Suppose u = o - 38 + 162, 4*u + 2*o = 472. Suppose -9*w + 21 = u. Suppose 0 = i + 2*i - 9. Which is smaller: i or w?
w
Let x be ((-5)/2 - -1)*2392/3588. Is x != 1/25260?
True
Let u be (5 - -2)/(-7) + (-237)/3. Are -2/5 and u unequal?
True
Let s = 7.02 - -309.98. Let p = s - 316.8. Which is smaller: -2/15 or p?
-2/15
Let u = 17631/38 + -464. Let n be 0/((-252)/(672/24)). Is n at most u?
False
Let q(d) = -2*d**3 - 33*d**2 - 18*d - 31. Let m be q(-16). Which is smaller: m or -58/195?
-58/195
Let w = 2129 + -2129.1. Let c be -1*-3*2/(-2). Let u be (-1 - -2) + 12 + c. Is w greater than u?
False
Suppose -p + 105 + 27 = 0. Suppose -11*d - p - 297 = 0. Is -193/5 equal to d?
False
Suppose 703 = 11*x - 408. Are x and 797/8 nonequal?
True
Suppose 24*g = 5*g - 5073. Let p be -795*(-3 - (-80)/24). Are p and g equal?
False
Let v = 4 + 7. Let o(x) = -2*x**3 + 23*x**2 - 13*x - 2. Let d be o(v). Let r = -15 - d. Which is smaller: -2 or r?
-2
Suppose -1128 = -6726*b + 6632*b. Which is smaller: b or 632/57?
632/57
Let q be (0 - (-5)/(-100))/(24/288). Let g = 9 + 1. Suppose 4*l + g = 2. Which is greater: q or l?
q
Suppose -3*x + 5*q + 53 = 0, -32 = -2*x - 2*x - 3*q. Let f = 993 - 2948/3. Is x bigger than f?
True
Let n = 1/132 + -279/44. Let m = n + 53/6. Let r be (6/(-72))/(-1)*(4 - 1). Are r and m unequal?
True
Let l be 180/25 - 1/5. Let q(u) = u**3 - 8*u**2 + 9*u - 1. Let p be q(l). Let j = 162 + -149. Is p smaller than j?
False
Let s be 2 - (-26)/(7956/135). Is 2 at most as big as s?
True
Let o(d) = -4*d - 109. Let u be o(-27). Let y be ((12/45)/4)/u. Is 1/3 not equal to y?
True
Let p = 487 + -490. Let s be (-10)/(-3)*p/(-13). Let q be (-2)/(-4) - 3/(-2). Which is bigger: s or q?
q
Suppose 0 = -8*j - 39 + 279. Suppose 7*d + 3*l = 3*d + j, d = l + 11. Suppose -5*q + d*c - 7*c = -65, 2*q - c - 25 = 0. Is q at most 14?
False
Let n = -23 - -20. Let y(b) = 7*b + 2. Let t be y(0). Suppose -t*v - 7*v = 9. Which is greater: n or v?
v
Let q be 24 - 27 - -3*1. Suppose 0 = -3*g + 2*d + 43, q = -2*g - 7*d + 2*d - 3. Suppose -5*j = -z - 64, -45 = -5*j - 4*z + 24. Is j less than g?
False
Let t be 0/(70/(-28) - (-6)/4). Let d = -3/1583 - 5045/679107. Is d less than t?
True
Suppose 3*w + 0*p - 4*p = 647, 5*w = -3*p + 1059. Let f = w + -330. Is -117 < f?
False
Let j be 25/5 - (-2983 - 170/(-10)). Which is smaller: j or 2968?
2968
Let f = -3148 + 3147. Which is smaller: 3/112 or f?
f
Let v = -15347653 - -57691822229/3759. Let g = v + 4/537. Let w be 2/(-5) - (-4)/10. Which is smaller: w or g?
g
Suppose 2*r - 3*a + 39 = 0, 25*r + a = 23*r + 5. Let u = 1 - 6. Is u at least as big as r?
False
Let g be 14 + -14 - (-5)/35*-7. Is -21/148 at least g?
True
Let o be (-10)/15*6 - -6. Let c be 232/(-6)*3/o. Is -288/5 bigger than c?
True
Let x(v) = 54*v**3 - 7*v**2 - 15*v - 16. Let a be x(-6). Let t be a/292*(47 - 11). Let j = 1460 + t. Is -2/9 != j?
True
Let v(f) = -f**3 + 124*f**2 + 645*f + 1. Let p be v(129). Which is smaller: p or 1/27680?
1/27680
Let v = 234.5 + -236.948. Is 0 at least v?
True
Let y = -5/1039 - 14411/28053. Which is smaller: -1 or y?
-1
Let n(l) = -l**3 + 16*l**2 - 16*l + 19. Let o be n(15). Let w be (4 + -4)/(-5 + o). Suppose 11*g - 128 + 18 = w. Which is smaller: 14 or g?
g
Suppose 4*h = -22*t + 23*t + 12, -5*h = -4*t - 15. Which is greater: 13 or t?
13
Suppose 0 = -437*o + 433*o + q - 7, -4*o - 16 = -4*q. Let y be (-2)/(-167) + 0/(-2). Which is smaller: o or y?
o
Suppose 4*c - 20770 - 63930 = -40*c. Which is smaller: 1922 or c?
1922
Let f(b) = 46*b - 574. Let v be f(15). Which is smaller: v or 16?
16
Let b be 21 + 147 + (1 - -1). Suppose 37 = 2*g + 5*p - 48, 3*g - p = b. Is g less than 56?
True
Let q = 81.4 - 18.54. Let k = -97 - -34. Let o = k + q. Is -3 at least o?
False
Let o = 9405.19 + -9458. Let d = o - -53. Are -2 and d equal?
False
Let n(g) = -77*g**3 + g**2 + 22*g + 40. Let t be n(-2). Which is smaller: 615 or t?
615
Let y = 440139/20 - 22033. Are y and -25 unequal?
True
Let o = -60.98 + -0.02. Let x = 61.39 + o. Let t = -1.61 - x. Which is greater: 0.6 or t?
0.6
Suppose -7*u = 666 + 34. Let n = -106 - u. Let r be 1 - (-6)/9 - (-4)/n. Are -3/73 and r non-equal?
True
Let q = -7 + -442. Let o = -448 - q. Which is bigger: o or 1.4?
1.4
Let q = 117/8 + -3377/232. Suppose -31 = -3*k - 2*f - 37, 4*f = 5*k - 12. Is q smaller than k?
False
Suppose -910 = 217*b - 203*b. Is b not equal to -61?
True
Let u be 3/2*(-12)/(-18). Let f = 51 - -9. Let i be 5 + 141/f*-2. Which is bigger: u or i?
u
Let w = 70 - 72. Let n = 95/4 - 221/12. Does w = n?
False
Let j(b) = b**2 - 3*b - 8. Let d be j(5). Suppose d*r = -9*r - 44. Let v = 371 + -371.1. Is v less than r?
False
Let w be 15946/153 - (-2)/(-9). Let v be 3*(3 + -2)*w/(-12). Let m = -39 - v. Which is bigger: m or -14?
m
Let u be (-904)/(-174) - (-26)/(-78). Let h = -5 + u. Which is smaller: 0 or h?
h
Let u = 19/26 + -15/26. Let m = -4.4 + -0.6. Is m < u?
True
Let h(q) = 78*q + 439. Let f(o) = 81*o + 438. Let n(m) = 5*f(m) - 6*h(m). Let p be n(-7). Which is greater: 149 or p?
149
Let t be 848/(2/(-32) - (-217)/(-112)). Are -424 and t nonequal?
False
Suppose -5*d - 1342 = -3*p + 15182, 3*p = -d - 3276. Are d and -3300 unequal?
False
Let n = -7647 - -7645. Is n equal to -29/7?
False
Let q be (68/30)/(22/99). Let n = -1178 + 1188. Is q < n?
False
Let z(m) = -m**2 - 45*m - 322. Let b be z(-39). Is -87 greater than or equal to b?
True
Let s(k) = 31*k - 143. Suppose -t = 4*g - 8*g + 4, 4*g - 3*t = 12. Let q be s(g). Is -143 > q?
False
Let k(c) = -c**2 - 33*c + 34. Let w be k(-34). Let v = -1/260 - 2047/8580. Which is greater: v or w?
w
Let u(y) = -35*y + 1542. Let v be u(43). Let k be 8/(-12) + (-232)/(-6). Is k greater than v?
True
Let c = -28295 - -35264. Which is smaller: -1 or c?
-1
Let n be 2/42*((-266)/(-14) + 80). Let k(x) be the second derivative of -x**5/20 - x**4/4 - x**3/6 + 3*x**2/2 - 3*x. Let s be k(-3). Are n and s equal?
False
Suppose -2*u - 8 = 0, -5*c = -u - 2*u - 22. Suppose 0 = -c*d + d + i + 5, 20 = 5*d - 4*i. Suppose d*s = s - 59. Are 60 and s non-equal?
True
Let s = -724/327 - -150346/17985. Is 5 at least as big as s?
False
Suppose 0 = -2*k - 93 + 91. Is k less than -5/459?
True
Let p be (-5)/((-189)/(-54) + (-3)/((-6)/(-8))). Is p > 13?
False
Let m = 0.075 - 1.059. Let x = -0.016 + m. Let n = 13 + -16. Which is bigger: x or n?
x
Suppose -2*h + q + 43 = 0, -5*q + 3 = -2. Is -38 bigger than h?
False
Let k be ((-3)/(-6))/((-4)/24). Let o be 7 - (36/(-2))/k. Is o > -3/175?
True
Let u(