(2). Let o be 759/q + (-4)/16. Which is smaller: 7 or o?
7
Let g be (-3)/(36/4)*(-4 + 5)*-2382. Which is smaller: 5560/7 or g?
g
Let r be 15/20*2/(-18). Suppose -3*d + 4 - 1 = 0. Suppose 2*f + 2*x - 13 + d = 0, 25 = 5*x. Which is greater: f or r?
f
Let f be (2/32)/((-306)/(-180) - 2). Suppose -2*k = x - 3 - 2, 5*k + 2*x - 13 = 0. Suppose v - 1 = 5*i, -8 = k*i + i + v. Which is bigger: f or i?
f
Suppose -4*a = 4*b - 360, -2*a = a - 15. Suppose b*x = 91*x - 60. Let w(h) = 2*h**2 - 7*h - 2. Let t be w(5). Which is bigger: x or t?
t
Let o = -17.747 - -17.88. Which is greater: -0.4 or o?
o
Let i = -406 - -437. Suppose i*m = 22*m + 207. Let y = 69 - 45. Is m at most as big as y?
True
Let l be ((-15216)/1128)/(3/(-12)). Suppose 116 = -2*c + 2*z + 4, 160 = -3*c - z. Let d = l + c. Which is greater: 1 or d?
1
Let p = -417/43 - -11087/1161. Which is smaller: p or -1.6?
-1.6
Suppose -2*l + 16 = -0*l. Suppose -2*q - 25 + 65 = 0. Suppose -18*a + q*a = -l. Is -4 <= a?
True
Suppose 2*a + 4*x - 5 = 3, 3*x = a - 9. Suppose -6 = -3*g, l = a*l - 2*g + 9. Let j = 89/854 + -2/61. Is j not equal to l?
True
Suppose -3*i - 2*z = -8*i - 46, 0 = -4*z - 8. Let o(b) = b**3 + 12*b**2 + b + 12. Let r be o(-12). Suppose r = 2*j + 8 + 10. Is j not equal to i?
True
Let m = -6232 - -6258. Let t = -0.1 + -3.9. Which is smaller: m or t?
t
Suppose -4*m - 5*q + 10 = 0, 5*m + 2*q - 20 = 1. Suppose u = m*u - 0*u. Let x be (-1 - u)/((-8)/(-104)). Does -15 = x?
False
Let w(t) be the third derivative of -t**5/60 + 3*t**4/8 - t**3 + 11*t**2 + 5*t. Suppose 0 = 5*q - 0*q - 40. Let p be w(q). Which is smaller: p or 12/19?
12/19
Suppose 26*x + 1709 = -h + 30*x, 3*x + 6 = 0. Is -3435/2 > h?
False
Suppose 20*u + 4*u = 10056. Let l = u - 7960/19. Is -1 at least as big as l?
False
Let a = -2547341/44 + 57941. Let o = -189/4 + a. Let r(b) = -b**3 + 2*b**2 - 1. Let v be r(2). Which is smaller: o or v?
v
Let w be (-45)/13*(-5 + (-141)/9). Let c = w + -5925/91. Which is greater: c or 5?
c
Let x = 135413/6 - 22570. Let j be 1 + 0 - (2 + -2). Is j at least x?
True
Let k be (-5)/30*-1*-2 + 3131/8277. Does k = 1?
False
Let f = 2597 + -2596. Which is greater: f or 7/200?
f
Let q = -55467/4 + 588657/44. Is -487 < q?
False
Let b(g) = 2*g**2 - 42*g - 30. Let x(w) = 4*w - 51. Let r be x(15). Suppose 44 = -r*y + 251. Let p be b(y). Is 63 >= p?
True
Let o = 168183447/176 - 955591. Let y = -39/11 - o. Which is smaller: 1 or y?
y
Let g = -16116285/1639 - -9833. Let f = 6454/83589 + g. Which is smaller: f or 0?
0
Let k(w) = -w**3 - 7*w**2 + 2*w - 11. Let n be k(-7). Let g = n - -29. Suppose g*j = j - 2*j. Which is bigger: 6/29 or j?
6/29
Let i(v) = -2*v - 4. Let t be i(14). Let b = t + -42. Let w = -75 - b. Which is smaller: w or -6?
-6
Let b = -9290/11 - -846. Let p(q) = q**3 - 4*q**2 - 29*q + 57. Let g be p(7). Which is bigger: b or g?
b
Suppose 171 - 31 = -5*o - 190. Let d be (-4)/(-14) - (-9706)/(-161). Is o > d?
False
Let u = -4054 - -4517. Is u at most as big as 465?
True
Suppose f - 13*h = -14*h - 209, 2*h + 842 = -4*f. Let l = f + 351. Does 140 = l?
False
Suppose 38251 = -180*o + 143191. Is o at most 1/4?
False
Suppose 2017 = 4*t + 453. Does t = 1175/3?
False
Let b = -54 - -43. Let q(w) = 6*w**2 - 15*w - 11. Let s be q(b). Suppose -8*p + 0*p = -s. Is 110 at most as big as p?
True
Let m = -6 + 3. Let q = 139610/17 + -8214. Is q at most as big as m?
False
Let w = -11431.8656 + 11432. Which is smaller: w or 13?
w
Let b = -28 - -62. Suppose -b*z + 148 = -36*z. Let u be z/5 - (-2)/(-10). Which is smaller: u or -16?
-16
Let r = 30688 + -32994. Do r and -2306 have the same value?
True
Suppose -17*l - 426 = -23*l. Let a = -0.0263 - 0.0737. Which is greater: a or l?
l
Let o be ((0 + 0)/(-1))/(-1). Let q = 1225 - 466. Let i be (-2)/(-42)*(q/(-44))/(-23). Which is greater: o or i?
i
Let i = 20127.1045 + -20127. Which is smaller: 3/14 or i?
i
Let h be -12 + 780/66 - (-145)/11. Suppose h*a = 7*a - 1320. Which is smaller: -221 or a?
-221
Let a be ((-2265)/302)/(36/(-2253)). Which is bigger: 470 or a?
470
Let b be (84/(-1890))/(1/5). Which is smaller: -84 or b?
-84
Suppose r - 3*p = 16, 5*r + p = 2*r + 8. Let j be 891/(-77) + 12 - r/(-7). Is j greater than -3/122?
True
Let j be (-7)/(-294)*-166 - (1 - (4 + 0)). Let v be (-4)/28 + (-30)/35. Which is smaller: j or v?
v
Let k = -74 - -59. Let i = 82.7 + -83. Is k at least as big as i?
False
Let s be 157*(9/(-9) + 0 + 3). Is s at least 627/2?
True
Let d = -276 - -257. Let z(i) = -i**3 - 19*i**2 + i + 19. Let w be z(d). Is w greater than 2/661?
False
Let k = -57 + 61. Let g be (-3)/(-12) - 5/k. Which is smaller: g or -3/65?
g
Let z = -28 + 25. Let f be (-2)/z*885/(-118). Which is smaller: f or 2/7?
f
Suppose -26*p + 803 = -315. Suppose 6 = -p*q + 49*q. Let s = 4/87 - 1/87. Which is bigger: q or s?
q
Let j = 330 + -1. Let f be (-7)/(j/(-48)) + -1. Let s(i) = -51*i + 205. Let m be s(4). Is f at least m?
False
Suppose -7*u = 2*d - 6*u + 7, 5*u + 13 = d. Let n be 9/108*16 - 143/96. Let p = n + -383/416. Is p less than d?
False
Suppose 2*o = 7*o - 2*b + 7, -4*o = 5*b - 1. Let k be (-25)/(-30)*-38*-6. Let g = 197 - k. Is o at most g?
True
Let f = 1126 + -1120.67. Let z = f + -7.7. Let b = -1.37 - z. Are -19 and b unequal?
True
Let m be (3 + -1)*(-325)/(-26). Let g be (-17 + m)/(2/(-7)). Let l = 29 + g. Are -2 and l nonequal?
True
Suppose 178*a + 19*a = -20245 - 17776. Which is greater: a or -191?
-191
Let m(y) = -625*y - 2539. Let t be m(-4). Let c(h) = -41*h**2 + 2*h - 1. Let s be c(1). Which is bigger: t or s?
t
Suppose -68*z + 37*z = -48*z + 12529. Is 736 at least z?
False
Let o = -582/11 + 31000/583. Let c be 11 - (231 + -207 - 12*1). Which is smaller: c or o?
c
Suppose -5*v - 3*p - 2383 = 0, 56*v - 57*v - 481 = 5*p. Let t = v + 427. Suppose l + 144 = -3*z, 0*l - 9 = 3*l. Is z <= t?
False
Let j = 4918026361/20514 - 239740. Which is smaller: j or 0?
0
Let f = 1503477/88 - 17085. Which is bigger: f or 0.08?
0.08
Let r = -122 + 61. Let z = r - -41. Let c = z + 20.019. Is -0.1 > c?
False
Suppose 68*y = -55600 + 588. Is -809 smaller than y?
False
Let n(j) = -22*j**3 - 4*j. Let c(p) = -p**3 - 1. Let a(x) = -3*c(x) - n(x). Let d be a(-1). Which is smaller: -30 or d?
-30
Let r be (-21*18/(-378))/((-1)/(-1364)). Which is greater: 1360 or r?
r
Let k = -29272670/49713 + -1/33142. Let s = -587 - k. Which is greater: s or 2?
2
Let a be 3 - 15 - 3/(-3). Let z be (a - 20/4) + 0/(-1). Are z and -50/3 equal?
False
Suppose -18817 = -176*t + 16559. Which is smaller: -64 or t?
-64
Let y be (-2880)/(-506) + (-408)/(-374). Which is smaller: y or 8?
y
Let j be (-23)/((-115)/(-890))*-1. Is j greater than or equal to 177?
True
Let f be (88/(-253))/(-4) + (-260)/1932. Which is greater: f or -3?
f
Let o = 1.047 + -1.147. Is -10819 not equal to o?
True
Suppose 0 = -3*a + 3*l + 6306, 3*a = -8*l + 4*l + 6271. Suppose -33*b = -642 - a. Is 78 bigger than b?
False
Let q = -15802 - -18040. Which is bigger: 2235 or q?
q
Suppose -80*v + 10374 = 24*v - 13*v. Let o be (-12)/66 + (-1245)/(-11). Are v and o unequal?
True
Let z(a) = a**2 + a - 158. Let d be z(0). Suppose -150 = o - 4*x, -10*o + 2*x + 478 = -13*o. Is d <= o?
True
Let o = -18705 + 18713. Which is greater: -0.284 or o?
o
Let c(b) = b**2 - 56*b + 633. Let f be c(22). Is f > -115?
False
Let c(l) = 21*l + 192. Let s be c(-10). Let t be 58/s - (-4)/18. Which is smaller: t or -90/29?
-90/29
Let r = 1827 - 89519/49. Which is bigger: -16 or r?
r
Let t(r) = r**3 - 36*r**2 + 65*r - 93. Let g be t(34). Which is greater: 2 or g?
2
Let x = 26190 + -26175. Let b(k) = k - 3. Let u be b(5). Let m be ((-4)/(-16))/((-1)/u). Which is smaller: x or m?
m
Let r(u) = -8*u - 110. Let q be r(-16). Suppose -18 = -8*x - q. Which is smaller: x or -1/162?
-1/162
Suppose -q - 3*k - 48 = -93, 0 = 4*q - 2*k - 166. Does q = -17?
False
Let q = 3085 + -3156. Which is bigger: 18 or q?
18
Suppose -8*b = -12 - 12. Let q be b/4 + 252/(-720). Is -1/555 at least as big as q?
False
Let g = 33915.2 - 33915. Suppose -20 = s - 4*u - 6, 0 = u - 4. Let t be (s/(-16))/(2/6). Is g less than or equal to t?
False
Let n(d) = -2*d**2 + 26*d - 25. Let r be n(12). Let o be r*1/3*(0 - -303). Which is bigger: o or -2?
-2
Let s = -219 - -313. Let z = 375/4 - s. Which is bigger: -1 or z?
z
Let r = -35462