2. Let v be b(8). Which is bigger: v or o?
v
Let k = 2014783/67 + -30073. Is 1/3 at most k?
False
Suppose 5*w + 33 - 48 = 0. Let d = 7 - w. Are 16/5 and d non-equal?
True
Let w = -1143/7 + 161. Let a = 65 + -59. Suppose -2*m = -4*l + 10, -2*m - a = 5*l - 5. Is w at least as big as m?
True
Let r(f) = f + 14. Let j be r(-11). Let v(z) = 6*z**3 + 2*z**2 + z - 2. Let a be v(1). Which is smaller: j or a?
j
Let t(p) be the third derivative of -p**5/60 + 13*p**4/12 + 113*p**3/6 + 52*p**2. Let w be t(31). Let r be (14/(-3))/(1/9). Is r != w?
False
Suppose -13*m = -4*m + 4*m - 7644. Which is smaller: 7 or m?
7
Let k(m) = -m**3 - 80*m**2 - 156*m - 31. Let o be k(-78). Let p(s) = s**3 + 6*s**2 + 6*s + 5. Let y be p(-4). Suppose 0 = -r - y - 19. Which is bigger: o or r?
o
Let y be 11/77 - (-501)/21. Suppose -83*r = -77*r - y. Which is greater: r or 8.5?
8.5
Suppose 8*c - 22*c + 252 = 0. Let i = -16 + c. Suppose -4*u - u = -5*q + 60, 4 = i*u + 5*q. Is u less than -7?
True
Let u = 78 + -1327/17. Suppose 5*v - 5*i + 0*i = -305, -v = -4*i + 58. Let o = 63 + v. Which is greater: u or o?
o
Let f = -33.446 - -9.546. Is 14 < f?
False
Let l = 3341 + -3346. Is 3.6 < l?
False
Let g = -2618 + 2619. Which is smaller: -2/6139 or g?
-2/6139
Let m = -3.46 + 1.26. Let a = m - -2. Is -32 less than a?
True
Let k(x) = -x**2 + 14*x - 17. Let i be k(16). Let f be (4/4 + -2)*i. Let w = f + -30. Is w at most as big as 20?
True
Let o = 6499 - 6719. Which is smaller: -215 or o?
o
Let d = -7866 + 1242829/158. Let r(a) = a**2 + 6*a + 6. Let k be r(-5). Is k != d?
True
Suppose 69*i - 75*i + 3168 = 0. Suppose -i*s + 161 = -521*s. Let o(d) = -22*d + 1. Let c be o(-1). Is c at most s?
True
Let v(j) = -3*j**3 + 11*j**2 + 108*j + 20. Let a be v(-9). Is a < 2126?
False
Let v be (-13720)/36 - 5/(-45). Which is bigger: v or -378?
-378
Let v be (-14)/(-217) + 38/(-589). Which is bigger: v or -1/3984?
v
Let h(r) = 132*r**3 - 3*r**2 - 3*r - 3. Let a be h(-2). Let f be ((-2)/(10/(-3)))/(1562/a). Which is smaller: f or -1?
-1
Let y = -14298 + 4189321/293. Which is greater: y or -1?
y
Suppose 33*j = 37*j - 80. Suppose -79*g - 63 = -82*g. Which is smaller: j or g?
j
Let y = -5 + -10. Let a = y + 14. Let l be (3/(-276))/(0 + (-14)/16). Which is smaller: a or l?
a
Suppose 29022 = -1840*x + 1846*x. Is x > 4837?
False
Suppose 28*r + 27*r + 10 = 65. Which is bigger: r or 48/41?
48/41
Let z be (275/(-44))/25*0. Is -12/593 less than or equal to z?
True
Suppose 9*t - 284 + 1616 = 0. Let d = t + 128. Is -21 greater than d?
False
Suppose -159*q - 203 = -166*q. Suppose -q*u + 351 = 10*u. Which is greater: u or 17?
17
Let y(a) = a**3 - 15*a**2 + 16*a - 22. Let l = -114 + 128. Let m be y(l). Which is greater: 11/2 or m?
m
Let z(h) = h**2 + 17*h + 59. Let i be z(-5). Let m = -425 + 24223/57. Which is smaller: m or i?
i
Let v = 189 + -188.57. Let t = -0.448 + v. Do t and -0.1 have the same value?
False
Let x(t) = 6*t**2 - 5*t + 3. Let p(n) = -n**2 - 29*n - 27. Let z be p(-28). Let h be x(z). Is 13 at most h?
False
Let k(t) = t**3 + 4*t**2 + 5*t + 4. Let v be k(-3). Let z be 1 + -1 + (-2)/v. Let p = 1171220 + -18739525/16. Is z > p?
True
Let r be ((-28)/6)/1 + -2 + 3. Suppose -5 = -t, -4*h - 3*t - 69 = -8*h. Suppose 14*o + h = 7*o. Is o equal to r?
False
Let b(y) = -y**3 + 7*y**2 + 6*y - 41. Let q be b(7). Suppose -4*l - 3*j - 86 = -3*l, 3*j = -3*l - 288. Let m be 3/l*6/(-9). Are q and m non-equal?
True
Suppose -790 = -63*x + 722. Suppose -x + 22 = -2*w. Let y = 7803/35 + -223. Which is greater: y or w?
w
Let y be (-21 - (-8586320)/367980) + 14/(-6). Which is smaller: 0 or y?
0
Suppose 0 = 2*u + 3*u + 15, 4*l - 12 = 4*u. Let p = -8363/8687 - -11/511. Do l and p have the same value?
False
Let a = 1630 + -1629. Which is greater: 14/1369 or a?
a
Let p = -214.1448 + -0.8052. Let j = -215 - p. Are -21 and j unequal?
True
Suppose 5*r - 10 = 5*i, -4*r - 11*i + 9*i + 26 = 0. Suppose -r*b + 7*v = 8*v - 175, -v = -3*b + 97. Let j(c) = 34*c**2 - c. Let x be j(-1). Is b at most x?
True
Let w(a) = -3*a + 2. Let k be w(-16). Suppose -3*u + 2*l + k = 0, -4*u - 2*l + 31 = -17. Suppose -5 + 117 = u*v. Which is bigger: 10 or v?
10
Let h(i) = -26*i - 97. Let s be h(-4). Suppose 2*k - 9 = -s*k. Which is smaller: 2/53 or k?
2/53
Suppose 20817 = 363*p - 390*p. Are -771 and p unequal?
False
Let j = -23388/5 - -192763891/41210. Which is bigger: -1 or j?
j
Suppose -1516 = 3*l - 3*w - 8389, 4*l = -w + 9134. Which is greater: 2286 or l?
2286
Let i = -4.3415 - -32.5705. Let j = 28.2 - i. Is -0.01 bigger than j?
True
Let w(t) = -t - 1. Let q be w(-1). Suppose -l + 8 - 12 = 0. Let p be 4/(-7) - ((-1086)/238 - l). Which is smaller: p or q?
p
Let j = 577.34 - 584. Let a = 0.34 - j. Are 11 and a non-equal?
True
Let c be -22 + (15 - 34 - -44). Which is smaller: c or -579?
-579
Let v(y) = 18*y**2 + 689*y - 69. Let h be v(-42). Is 2746 >= h?
True
Let r(y) = 1276*y - 8959. Let x be r(7). Is 1 greater than x?
True
Suppose -t - 224 = -204. Suppose -b = -5*g + 21, 3*b + 2*g + 12 = -0*g. Is t less than b?
True
Let q = -20/189 + 6148/945. Let b(s) = -2*s + 4. Let j be b(0). Let x be j*3/3 + 1. Which is greater: q or x?
q
Let w(x) = x**3 + 11*x**2 - 3*x - 15. Let a be w(-11). Let k(v) = v**3 - 18*v**2 - 2*v - 3. Let c be k(a). Let r be 1 + (-15)/9 + (-29)/c. Is -1 at least r?
False
Let t(z) = -5*z**2 - 28*z + 220. Let b be t(5). Which is smaller: -46 or b?
-46
Let g = -19 - -25. Let a(h) = h**3 + 25*h**2 - 24*h + 59. Let z be a(-26). Which is smaller: z or g?
g
Let q(v) = v**2 + 5*v + 3. Let m be q(-4). Let y be 4/(-12)*0/m. Let o be -7 + ((-600)/44)/(-2). Which is greater: y or o?
y
Let x be (-1)/(-2) + (-45)/(-18). Suppose 2*i + x*p + 925 = 0, -7 = 2*p - 1. Let y = i + 3221/7. Which is greater: 3 or y?
3
Suppose -2383 = 3*b + 2*i, -522 = b - 3*i + 298. Is b != -800?
True
Let p be -2 + (-50)/(-15) + 6516220/258. Is p not equal to 25258?
False
Let f be (-12)/(-126)*((-351)/2286)/(-13). Which is smaller: f or 1?
f
Let l be 584 - (((-6)/(-21))/(5/(-35)) + 5). Which is greater: l or 579?
l
Suppose q = 9*q + 248. Let g = 22 + q. Are -10 and g nonequal?
True
Let j = -21451 + 19662. Which is smaller: -1793 or j?
-1793
Suppose 58*v = -0*v + 753 - 2551. Is -31 > v?
False
Let t be 503/(-3) + 4/6. Let v = -84290.8 + 84291. Which is smaller: v or t?
t
Suppose 26*x - 355 + 5713 = 83*x. Is x at most as big as 80?
False
Let r be (3/6)/((-2)/17520*-10). Which is smaller: 439 or r?
r
Let k(i) = -i**3 - 43*i**2 - 16*i + 47. Let q be k(15). Is -13244 greater than q?
False
Let j = 160 - 73. Suppose t - 175 = -2*y, -365 = -8*y + 4*y - 5*t. Which is smaller: y or j?
y
Let b = 11.2 + -15.74. Let p = b + 4.44. Which is smaller: -51 or p?
-51
Let l be (-2)/7 - 2*1263/(-3360). Let u = -28589/5040 + l. Let v = u - -34/9. Is v equal to -2?
False
Let f = -3156 + 3152. Is f greater than -128/47?
False
Let h(y) = -y**3 + 23*y**2 - 23*y + 20. Let w be h(22). Let d be (3/((-6)/8) - 0) + w. Let l = 1 + d. Which is smaller: l or -4?
l
Let k(z) = 12*z - 8. Let q be k(1). Let s be (41/q)/(-8 + 1164/144). Which is greater: s or 125?
125
Let m = 16571607/202 - 82038. Is -1 less than or equal to m?
True
Suppose -4*z - 1001 = -4*a + z, 0 = 2*z - 6. Let m = a - 249. Is m < -9?
False
Suppose -3*w - 3*f + 2246 - 6986 = 0, 2*f = 5*w + 7893. Is -1577 >= w?
True
Suppose 5*n = -4*q - 174, 4689*n + 86 = 4*q + 4684*n. Let a = -1 + 1. Suppose -j + 3*j + 20 = a. Which is greater: q or j?
j
Let r = 7356 + -7357. Let h be ((-138)/(-40))/(18/15). Is h < r?
False
Let v = -0.71 - -0.14. Let r = -12.83 + v. Let t = -23.4 - r. Is t bigger than -0.2?
False
Let p = -8831 + 8834. Which is greater: p or 139?
139
Let z be -4 - -3 - 10*341. Which is greater: z or 1/2?
1/2
Suppose 23*g - 3686 = 4*g. Let i = g - 1355/7. Does i = 8?
False
Let k be (((-60588)/(-136))/81)/((-2)/(-4)). Suppose t + 2 = 2*t. Which is bigger: k or t?
k
Let y = 717/4 - 517/3. Which is greater: y or 7?
7
Let n = 215 - 216. Let t be n*2 + (-32 - -15). Let q be (38/8)/((-3)/12). Are q and t equal?
True
Let c = 55 - 55. Suppose a + k + 2 = c, -4*a + 24*k - 20*k + 8 = 0. Which is smaller: 31 or a?
a
Let d = -1.7 + 3.7. Let g = -13 + d. Let l = 211 + -212. Which is bigger: g or l?
l
Let a be 3/(-9)*(-285)/(-95). Is -2/305 bigger than a?
True
Let 