/24)/(-11). Which is smaller: 1/600 or o?
o
Suppose -2*b = -f + 76 - 21, 3*b + 5*f + 89 = 0. Let r be 2 + -1 + 21/b. Is r bigger than -4.1?
True
Let s = 7044935/541 + -13022. Let v = 27305/102249 + s. Let t = -5/27 + v. Is -4 greater than t?
False
Let w = 5/1019 - -94537/46874. Is 3 > w?
True
Let u(h) = -2*h**3 - 17*h**2 - 7*h + 2. Let v be u(-11). Suppose 29*z - 47*z = v. Which is smaller: z or -414/11?
z
Let y = 276 + -297. Which is bigger: y or 7.8?
7.8
Let s = 195 + -185. Let f be (-1)/s*3/(255/(-10)). Let p(n) = -n**2 - n + 1. Let w be p(-2). Is w smaller than f?
True
Let g be -1 + -1 + 2 + 0. Let d = g + -1. Let y = 4841 + -43567/9. Is d less than or equal to y?
True
Let a(c) = c**2 - 10*c + 12. Suppose 2*l - 1 = -2*x + 9, -2*x = 4*l - 20. Let o be (-9 - -11)*(x + -1) - -10. Let h be a(o). Is h < 9?
True
Let j be -3 - (2/9 + 7032/(-54)). Suppose j = -14*g + 155. Is g less than or equal to 8?
True
Let g be (-375)/(-1350)*3/10. Which is bigger: 6/25 or g?
6/25
Let n = -2452 - -1469. Let p = 961 + n. Is p greater than -19?
False
Let d = -11/3343 + -3964743/16715. Is d bigger than -237?
False
Let r = -5952329/588 + 10123. Do 1 and r have different values?
True
Let c be (558/2790)/((-4)/10). Is c > 1282?
False
Let r be (6/(-6100))/(849/1132). Which is greater: r or 0?
0
Let r = 203 + -200. Suppose 327 = r*v + 33. Is v less than 293/3?
False
Let z = -380 - -668. Let o be 4/(-6) + 174/z. Suppose -6*p = -4*p - 2. Which is smaller: o or p?
o
Let w = -1.1729 + 1.9729. Which is smaller: -698 or w?
-698
Suppose 0 = 2*a - 37 + 167. Suppose 14*x + 5*x + 589 = 0. Let q = a - x. Do q and -33 have different values?
True
Let c = 358.516 - 1.016. Let y = c - 353. Which is smaller: -2 or y?
-2
Let p = 0.0552 - 0.052. Let d = 9.9132 - p. Let x = d - -0.09. Which is bigger: x or 3?
x
Let f be 232 + (0 - 0 - -6). Suppose -76*c + f = -69*c. Which is bigger: 35 or c?
35
Let s(y) = y**3 + 15*y**2 - 18*y + 20. Let j be s(-16). Suppose -3*w = -13 + j. Let k be 1/(-4) + 0/w. Is 1 equal to k?
False
Let z be 11 - (-7)/((-7)/(-3)). Suppose -z*g = -20*g + 72. Let w be (-64)/g - -4 - 93/(-9). Which is smaller: w or 48/5?
w
Let i be (244/(-120))/((-6720)/22). Let a = -1/448 - i. Is a at most as big as 0?
True
Let z be -9*1 + 596 + 21. Let f = -607 + z. Which is bigger: f or 74?
74
Let z = -28.7412 - 0.0988. Let y = z + 28.2. Which is bigger: y or 0?
0
Let l be -2 + 128/(7 - 3). Let s(m) = -9 + 65 + 9*m - l. Let w be s(-3). Is -1/25 at most w?
False
Let b be (-13 - (1 + -8))*56/777. Is b greater than or equal to 1?
False
Suppose 5*j - 19 = 4*w, 0 = 3*w - 2*j - j + 12. Let x = 0.263761 + 0.048239. Is w less than or equal to x?
True
Suppose 6*a - 4 = 4*a, 0 = -4*w + a + 242. Suppose -w*z - 120 = -57*z. Are z and -0.1 non-equal?
True
Let o be 5/(-2 - 12/(-4)). Suppose -2*k + 2*m - 12 = 14, o*m = 5. Are -23/2 and k nonequal?
True
Let u(r) = -113*r + 1695. Let v be u(15). Let f(t) = -t**3 - t**2 - 11. Let b be f(0). Is b != v?
True
Let j be ((-12)/(-15))/(-4) - ((-5126)/(-1215))/(-22). Suppose 0 = 2*q + 1 - 3. Is j < q?
True
Suppose 0 = 2*c + 4*z - 6, 2*c - 4*c = z - 6. Suppose -48*t - 51 = c*t. Is t equal to 4/21?
False
Let o(h) = -2*h**2 + 5*h + 7. Let x be o(5). Let k = -36363 + 36344. Which is bigger: k or x?
x
Let i = 52 - 48.8. Let w = -3 + i. Let h = w + 2.8. Is -0.2 not equal to h?
True
Let m(b) = -b**2 - 25*b + 19. Let a be m(-26). Let z(k) = k**2 + 7*k + 18. Let t be z(a). Is t at most 17?
False
Let f be 2/6*10*25008/80. Which is smaller: 1041 or f?
1041
Let z be (-2)/1765*((-108)/13 - 60/(-10)). Which is bigger: 0 or z?
z
Suppose 0 = 9557*u - 9560*u. Is 2/1009 greater than or equal to u?
True
Let k be 55*7*(-15)/175. Is -5 bigger than k?
True
Suppose -4*w + x + 135 = 43, 0 = -w + x + 20. Suppose -4*o + w = -2*a, 4*a + 2*o - 14 = 6*a. Which is greater: a or -11?
a
Let p = -671 - 160. Which is greater: -814 or p?
-814
Let k = 54.91 + -48. Which is bigger: k or 1/2?
k
Let j = 29/112 + -11/16. Let s = j + 31/56. Suppose 2*r - 9 = 5*l, l + 4*r - 3 = 4. Is s < l?
False
Suppose -4*i + 3*n + 1 = 0, 5*i + 172*n = 168*n + 9. Which is smaller: i or -12/155?
-12/155
Let p = 653 + -685. Let j = 17 + 14. Let v = p + j. Is v less than 2/13?
True
Let z = 6469275 + -13168720. Let u = z - -522577735/78. Let k = u - 539/2. Which is smaller: k or -3/2?
-3/2
Suppose -85457*m - 159 = -85510*m. Let x be (-103)/(-30) - (-1)/(-3). Is m >= x?
False
Let t be (1*-14)/((-14)/105). Suppose 0 = 4*m - 5*f + 296, 0 = -2*m - 5*f - t - 13. Let z be (-219)/m + (-6 - (-2 + -1)). Is z < -1?
False
Let m(f) = 30*f + 6. Let d be m(5). Let h = d + -154. Let c = -75 + 861/11. Which is greater: c or h?
c
Let j be 37246/14883*6 + -15. Which is smaller: j or 0?
0
Let h = -53 - -63. Let t = -142 + 118. Which is bigger: h or t?
h
Let n be (10 - (-506)/(-33))*87/(-4). Suppose 5*i = -n + 131. Let r = -0.1 + 0.15. Which is bigger: r or i?
i
Let n = -9.997 + 3.597. Is n at most 7?
True
Let z(v) = v + 13. Let o be z(-5). Let g(b) be the third derivative of b**5/60 + 23*b**4/24 + 3*b**3/2 + 11*b**2. Let l be g(-23). Is l less than o?
False
Suppose 0 = -53*l - 67*l + 98400. Which is smaller: l or 821?
l
Let v = -1461 - -7306/5. Is -479 < v?
True
Let v = 39 - -33. Let u = v + -68. Let l(h) = -2*h**3 + 4*h**2 + 6*h - 3. Let j be l(u). Which is smaller: j or -44?
-44
Let i be (-1)/(273/479) - 30/(-18). Let x = i - -3/28. Which is smaller: 0 or x?
0
Let l = -1.7947 + 1.7547. Is 784 at most as big as l?
False
Suppose -66*z - 126 = -64*z. Let c be 14/10 + z/45. Are 3/50 and c nonequal?
True
Let h be (2/(-7) - (-4)/14)*1. Let g be (h - -2)*44/24*-1. Which is greater: -5 or g?
g
Let z = 573 + 149. Let w = 466 - z. Which is smaller: -1/2 or w?
w
Let t = -115 + 126. Let o(q) = 2*q**3 - 23*q**2 + 9*q + 21. Let l be o(t). Which is bigger: 7/60 or l?
7/60
Let r = 2.34 + -2.44. Let j(o) = -o**2 + 6*o + 64. Let c be j(16). Which is smaller: c or r?
c
Let i = 0 - 5. Let o(k) = 3*k**2 + 7*k + 10. Let n(y) = 2*y**2 + 5*y + 7. Let d(f) = i*o(f) + 7*n(f). Let c be d(1). Does 3 = c?
False
Suppose 4*u + 28 = -4*v, v - 5*u + 13 + 18 = 0. Let y = 414 - 422. Are y and v equal?
False
Let r = 609.2 - 561. Let t = r - 0.2. Let k = t + -45. Which is smaller: k or 8?
k
Let p = -16642 - -16643. Is p bigger than 1.68?
False
Suppose -4*w = -3*w + v + 5, 23 = -3*w - 5*v. Let l = 22 - 17. Suppose -10*q + l*q + 10 = 0. Is w at least q?
False
Let q(h) = 7*h + 5*h - 2*h**2 - 6 + 10. Let s be q(6). Suppose -u - s = -10. Is u > 7?
False
Suppose 4*i + 36 = -4*f - 48, -4*i - 12 = -5*f. Is 4/49 at most i?
False
Let n(c) be the second derivative of -7*c**3/3 - 13*c**2 - 16*c. Let u be n(-5). Let v be u/(-11) - (-30 + 1). Is v < 26?
True
Let i = -186021/7 - -26714. Let d = -139 + i. Suppose -w = 2*w + 6. Which is greater: d or w?
d
Let f = -3386 + 3383.159. Let c = f - -0.841. Which is smaller: c or -150?
-150
Let b(g) = 3*g**2 - 25. Let q be b(5). Let x = q - 459. Which is smaller: x or -410?
-410
Let l = 62349/27863947 - 1/30721. Let y = 0 + 1. Which is smaller: y or l?
l
Let z be (-6)/(-63) - (3 - 1333585/(-231)). Is z at least -5775?
False
Suppose -20*o + 33*o - 2860 = 0. Let x be (-11)/((-154)/28) - o/114. Which is smaller: -1 or x?
-1
Let r(w) = -4*w**2 - 4*w + 7. Let u be r(-3). Let n = -40 - u. Let f = 20 + n. Is -3 >= f?
True
Let s = 0 - 2. Suppose -4*a = -4*b + 12, 3*b + 15*a - 5 = 17*a. Let i be 35/5*b/3. Which is smaller: s or i?
i
Let m(u) = -u + 11. Suppose 2*g - 11 + 1 = 0. Let a be m(g). Suppose 8 - 26 = 18*x. Which is smaller: x or a?
x
Let d = 125.85 - 125. Let v = d - -0.15. Let q = 0.4 - 19.4. Is v greater than q?
True
Let j = -0.4 - -2.4. Let r = -444 - -217. Let a = -227.2 - r. Which is smaller: a or j?
a
Let j = -66887/18938 - 15/557. Let i = -1/17 - j. Suppose 0 = -2*f - 18 + 28. Which is bigger: i or f?
f
Let w = 12.85 - -0.15. Let h = w + -11.1. Let q = -1.86 + h. Which is bigger: q or -0.5?
q
Let o = 339519/98 - 9162/49. Let h = o - 3444. Are h and -167 equal?
False
Suppose -98 = -84*w + 70*w. Let t be (7 - w - -95) + 7. Is 103 bigger than t?
True
Suppose 4*p + 2351 = -5*y, 3*p - 585 = 5*y + 1808. Which is smaller: y or -486?
-486
Let x = 1655.63 - 1647. Which is bigger: -2/5 or x?
x
Let l = -24648 - -97953/4. Is l >= -161?
True
Let 