hich is bigger: a or g?
g
Let k be -5 + 3 - (-16)/6. Suppose -350 = 9*s - 11*s + 2*y, -5*s + 2*y + 878 = 0. Let i = -175 + s. Which is bigger: i or k?
i
Let p = 10.2 - 10. Let a = -93 + 87.14. Let t = -5.9 - a. Which is bigger: t or p?
p
Suppose 12 = -5*w + 2*w. Let f be 18/(-54) - w/(-6). Which is smaller: f or -0.03?
f
Let t = 29134.9 - 29135. Which is greater: t or 934.6?
934.6
Let j be 6 + -2 + 1 - (41 + -40). Let x = -47 - -47. Suppose u + u - 22 = x. Is u greater than j?
True
Suppose -514596 + 168920 = -178*m. Which is bigger: m or 1939?
m
Let u(s) = s**3 - 20*s**2 + 15*s + 62. Let n be ((-1064)/(-84))/(1 - 1/3). Let r be u(n). Let o be (-3)/(-3) + 13/(-1). Is o < r?
False
Let u = 170 + -178. Let m be 2/(-7) + 675*u/(-84). Are 3 and m nonequal?
True
Let c = 28 - 29. Let g = 2130 + -1011753/475. Let y = 1161/3325 + g. Do y and c have the same value?
False
Let u be 55/(-6)*((-96)/(-10) - (-70 + 78)). Let s = 1 - 0. Which is smaller: u or s?
u
Let s = 6 + -4. Let h be (-5 + 2 + 7)*1. Suppose -s*m - h = -4*m, 2*j = -5*m + 12. Which is smaller: 3/7 or j?
3/7
Suppose 3*l + 10*i - 6*i = -19, 4*l + 5*i + 24 = 0. Which is bigger: -2904 or l?
l
Suppose 3*i - 15 = -d, 3*d = 4*d - 2*i + 10. Let c be (-89 - -2) + 1 - d. Is c at most as big as -86?
True
Let u = 127 - 106. Suppose -5*k - 109 = -3*z, z + k + 3*k = 8. Which is smaller: u or z?
u
Let f = -324 + 336. Suppose -10 = -3*b + 5*h + 33, b = h + 13. Let q = f - b. Is 1 at least as big as q?
True
Suppose 2*n - 4*v - 2631 = v, v = -5*n + 6618. Suppose 15*d + n = -6*d. Which is bigger: -59 or d?
-59
Let s = 1711 - 6841/4. Is s >= -0.204?
True
Suppose 2*a - 34 = -3*z, -z + 0*z + 4*a = -30. Let x be (258/(-42) + 6)/((-6)/z). Which is bigger: -1 or x?
x
Let k be (-3)/15 + 4991/55. Suppose -2*x = 5*u + 185, 3*u - 6*u + 177 = -2*x. Let s = x + k. Is s bigger than 0?
True
Let a be 815*(-1 + (-36)/(-40))*-4. Let w = -362 + a. Are w and -36 equal?
True
Suppose 18759 - 6859 = -28*u. Do -2973/7 and u have the same value?
False
Suppose m + 3*m = 60. Suppose -10 = -d + m. Suppose 0 = 5*x + 4*v - 1 - 30, 3*x - d = -4*v. Is x at most as big as 7?
True
Let j = -254/9625 + -3/1375. Does 1 = j?
False
Let y be (-7)/2 - 567/(-162). Suppose 6 = 2*t - 5*t. Let f be 3/(143 + t)*-6. Is f equal to y?
False
Suppose -3*n + 12 = 0, v - 3*n = -2*v + 3. Suppose -2*f - 2*z + 28 = -4*z, v*f - 25 = -4*z. Suppose -45 = -f*m + 4*m. Which is smaller: 2 or m?
2
Let v = -5149/5 + 3460133/3360. Is -2/5 >= v?
False
Let u = 0.6 - -1.4. Suppose 3*i = 33*i + 35*i + 1430. Which is smaller: i or u?
i
Let h = 4438 + -4532. Are h and -12 equal?
False
Let w = -108/1835 + 361474/6079355. Is w > 0?
True
Let a be (-6340)/(-16) - 21/84. Is a greater than 394?
True
Suppose -921*s + 922*s + 43 = 3*y, 2*y - 18 = 0. Which is smaller: -248 or s?
-248
Let o = 4 - -325. Let b = -159473 + 159802. Are b and o equal?
True
Suppose 178 + 187 = -t + z, -5*z - 1071 = 3*t. Which is smaller: t or -725/2?
-725/2
Suppose -113 - 70 = 3*r. Let n = 121 + r. Let w = -1361 - -1421. Do w and n have different values?
False
Suppose 28*u - 6200 = 3*u. Is 249 greater than u?
True
Let l = -204 - -203. Let s = -1808/5 - -5396/15. Is l bigger than s?
True
Let j(a) = 4*a - 78. Let s be j(16). Let o = 28 + s. Which is smaller: o or 10?
10
Let q be 99/18*1*2*1. Suppose -8*c - q*c = 133. Does -13 = c?
False
Let j be -120 - (0 - (0 - 0)). Let p be 8 + (-155)/((-930)/(-756)). Which is smaller: p or j?
j
Let q = 354912610/743721 - 15748/33. Are 0 and q equal?
False
Let h = 36 - 37. Let a be 22/(-2) - 176384/(-15872). Which is greater: a or h?
a
Let q be 18/20 + (-3)/6. Let l be (-51)/238*((-60)/75)/((-21)/5). Is q bigger than l?
True
Let a be (-3)/(-12) - 400/64. Let x be -3*(-12)/(-18) - a. Let y(d) = -d**3 - 3*d**2 + 2*d - 1. Let f be y(-4). Which is smaller: x or f?
x
Let a = -2960 - -2906. Let f = -24 + 78. Let x = a + f. Which is bigger: -5 or x?
x
Let f = -7734.3 + 7735. Is f smaller than 78?
True
Suppose -14 = 2*o - 7*o + 2*h, 6 = 2*o - h. Suppose 0 = -2*l + 6*l + o*c + 646, 0 = 4*l - 5*c + 625. Let f be (l/24)/(-5)*6/(-4). Which is bigger: -24/11 or f?
f
Let i be 262/(-393) - (-184)/6. Let u be (11/(110/24))/((-4)/(-50)). Is u smaller than i?
False
Let d(l) = -5*l**3 - 19*l**2 - 41*l + 8. Let h be d(8). Which is bigger: h or -4095?
-4095
Let v = 1.19 + -1.2. Let z = v - 1.09. Let l be (3/12)/(1/(-2)). Is l less than z?
False
Let f = 9902 - 9902. Is f smaller than -9/457?
False
Let s = -1 - -7. Let u = 18 + s. Let v be 3/u + (-1)/24. Which is greater: 4 or v?
4
Let b = -443.2 + 401. Let t = -40 - b. Let h = t - 2.3. Are 9 and h nonequal?
True
Suppose -48 = 10*c + 142. Let y = -39 + 42. Let h be (-19)/2*(3 - -3)/y. Do c and h have different values?
False
Let w(v) = -v**3 - 5*v**2 + 1. Let g be (-3)/5 - 374/85. Let x be w(g). Let r be (8*x/2)/((-55)/22). Is r less than or equal to 1?
True
Suppose -l - 1 = 0, l - 3 + 0 = -h. Suppose -h*o = -8, -10*o + 7*o - 18 = 4*f. Which is smaller: 6 or f?
f
Let o(v) = 218*v + 17563. Let d be o(-84). Is -5239/7 greater than d?
True
Suppose 0 = 27*p - 22*p - 4*x + 5, -p - x - 1 = 0. Is -17/212 at most as big as p?
False
Suppose 25529 = -13*w + 25516. Which is bigger: -67/151 or w?
-67/151
Suppose -6*o + 204 = -0*o. Suppose -62*n + 61*n + 37 = 0. Which is greater: o or n?
n
Let t be (23 - 35) + (-7449)/(-627). Is t greater than or equal to -1?
True
Suppose -4 + 13 = -11*c + 2*c. Is -15/7 < c?
True
Suppose 4*p - 23 = -103. Let d = -19 - p. Let f be ((-2)/d)/((-120)/375). Which is bigger: f or 5?
f
Let v = 339 + -60. Let x = -279.3 + v. Is 0.4 equal to x?
False
Let n(c) = -4*c**3 + 25*c**2 - 20*c + 59. Let j be n(7). Which is smaller: -223 or j?
j
Suppose 22*g + 153 = 13*g. Let q(s) = -10*s - 169. Let h be q(g). Are h and 3/104 nonequal?
True
Let f be (-23)/(-4)*(-4)/1. Let c be (1 - -11) + 25 + f. Let d be (-150)/(-125)*10/c. Are -0.1 and d equal?
False
Suppose 46*v - 132 = -592. Let l = 0.37 + -0.87. Do v and l have the same value?
False
Let d = -529.034 - -529. Let y = d + -0.366. Is y != 63?
True
Let n = -111916 + 7498227/67. Are n and -1 equal?
False
Let g = -0.18539 + -194.81461. Which is bigger: g or -0.08?
-0.08
Let h = 342477 + -12670791/37. Are h and 23 nonequal?
True
Let l be 184/(-69)*10/776. Is -1 < l?
True
Let x = -116/9 - -616/45. Let u be (54/12)/((-3)/(-44)). Let h be u*2/(-21) - -1*6. Is x at least h?
True
Let d = -0.07342 + 2.07342. Let l = -1.91 - -0.21. Let m = 1.61 + l. Is m greater than d?
False
Let y = -70.1 + 70.85. Let b = y + -0.9. Is b <= 3/2?
True
Let r(w) = 3*w - 239. Let i be r(-39). Let j be 7*(-6 - (52 - 7)). Is i at least j?
True
Suppose 3*d - 3*j - 24 = -6*j, 5*j = -d + 24. Suppose -f + 5*m + 25 = d*f, -2*m - 4 = 4*f. Which is bigger: 138 or f?
138
Let n = 2744020648327759/94850 + -28930106994. Let j = n + 1/3794. Which is smaller: j or -1?
-1
Suppose -608 = 7*t - 615. Let u(o) = o**2 - 5*o - 12. Let m be u(7). Which is bigger: m or t?
m
Suppose -5*b + 4*j - 19 = 0, b - 2*j = -b - 8. Let r be 2*(8 - (15 - 6)). Is b at most as big as r?
True
Suppose -2*w - 55 - 18 = -3. Does 129 = w?
False
Let b = -125 + 261. Let l be 3*-1 + 144 + -2 + -3. Is l bigger than b?
False
Let b be (14 - 15 - 901)*5/(-2). Let c be (6/4)/(b/(-20) + 10). Is 0 < c?
False
Let r be (2 - -107) + 1/(-1). Let g = r - 108. Which is bigger: g or -5/76?
g
Let w = -6925 + 6931. Is w smaller than 69/10?
True
Let t be (-19)/(-133) + (-1195)/4200. Which is greater: 1 or t?
1
Suppose 0 + 6 = 2*y - 2*o, 0 = 4*o + 8. Suppose -q - 478 = -5*f, 5*q - 31*f = -27*f - 2411. Let s be 1/y + q/469. Which is bigger: 0 or s?
0
Suppose 2*b + 3*s = -168, 2*b = -764*s + 769*s - 136. Let w(p) = 38*p. Let i be w(-2). Which is smaller: i or b?
b
Let a = -12 + 13. Let f = -642 + 643. Is f smaller than a?
False
Suppose -2*y = -3*h + 30, -y - 66 = -5*h - 3*y. Suppose 5*x + h = 8*x. Are 25/6 and x nonequal?
True
Let k(n) = -2*n**3 - 40*n + 79. Let a be k(2). Which is bigger: a or -133/8?
-133/8
Let l(n) = 5*n**2 + 4*n + 4. Let h be l(-3). Suppose -4*a + 3*a - 9*a = 0. Suppose 2*w - 4*k - 90 = a, -4*w - k + 70 = -2*w. Is h at least w?
True
Suppose -164 = 8*z - 620. Let p = 59 - z. Let i(v) = v**2 + 2*v - 9. Let n be i(p). Which is smaller: -4/13 or n?
n
Let r = 4468 + -4465.8