 2. Let j(h) = -h**3 - h**2 + 1. Let y(c) = g(c) + 3*j(c). Let m be y(3). Is m less than -2/263?
False
Let z = -3070 + 21452/7. Suppose 258*h - 176 + 703 = -763. Which is smaller: h or z?
z
Let g = -3754 - -3545. Is g greater than or equal to -213?
True
Suppose -48*n - 14*n - 1984 = 0. Which is smaller: -19 or n?
n
Suppose -1258 = 3*s + 320. Suppose -17*d = -4*m - 22*d - 2114, -3*m = -3*d + 1572. Is m at most s?
True
Let n = -22377 - -22378. Let p be (12/19)/(-3)*-2. Which is greater: p or n?
n
Let y = -8/1025 + 6687/988100. Let t = 68564 - 68565. Which is smaller: y or t?
t
Let i be (-2)/(48/18) + (-24)/(-128)*2724. Is i at least 3566/7?
True
Suppose 947 + 726 = 7*b. Is b <= 241?
True
Let o = 231 - 228. Suppose -2*a + o*m = 8*m, 5*a = -5*m. Which is smaller: a or -11?
-11
Let o = 5742.6 - 5742. Which is smaller: o or 0.21?
0.21
Let b be (1/((-115)/(-34)))/(469/4690). Is b greater than 4?
False
Let b(x) = -16*x - 507. Let j be b(-44). Which is smaller: j or 196?
196
Let y be 24/((-44)/(-12) - 3). Let a(i) = -2*i + 17. Let x be a(0). Let f = x - 18. Which is greater: y or f?
y
Let g = -13371 - -13359. Which is smaller: 0.0909 or g?
g
Suppose 4*k = 28*k - 120. Let f be ((-12)/10)/(4/(-10)). Suppose -2*s + 0*s = l - k, -l = -f*s. Is 7 bigger than l?
True
Let u be -1 + 2*(-18 + 26). Suppose -13 = -h + a, -3*h + 2*a + 18 + 17 = 0. Which is smaller: u or h?
h
Suppose 52*m = -5477 - 314 - 1541. Which is smaller: -106 or m?
m
Let d be 896/960*(-1)/5. Is 2/15 at least d?
True
Suppose -38 + 104 = 22*q. Suppose 804 + 279 = q*g. Which is smaller: 360 or g?
360
Suppose 1239 = -2404*m + 2422*m - 201. Which is smaller: -29 or m?
-29
Let p = 3.8 + -0.8. Let t = 609057.6 - 609060. Which is bigger: p or t?
p
Let d be ((-1)/4)/(19/(-456)). Let a = 195 - d. Is a not equal to 189?
False
Let m be (3/(-660))/((-322)/46 + (-486)/(-70)). Which is smaller: m or 0?
0
Let z = 576 - 581. Let x be (z/55)/((-4)/11). Let r be 0 - 0 - (-4)/46. Is r less than or equal to x?
True
Let x be (-696)/(-14) + 20/70. Let q(m) = m**2 + 11*m - 11. Let a be q(-15). Let u = a - x. Is 2 less than u?
False
Let v = -42.912 + -18.188. Which is smaller: -1 or v?
v
Let w be -5 + 5611307/(-629) + -2. Let k = w - -8928. Is k less than 0?
False
Let v be 3/(-7) + 48/(-84). Let s be v*0/(6 - 2) - 3. Let z be s + (-228)/(-39) - 3. Which is bigger: 1 or z?
1
Let l = -496479 + 496477.1. Let u = -5 - -4.6. Which is bigger: u or l?
u
Suppose -2*n = 191 - 45. Let t(d) = -2*d**3 + 4*d**2 - 2*d. Let y be t(4). Which is bigger: y or n?
y
Let z(q) = -2*q**3 - 20*q**2 - 9*q - 2. Let o(b) = 4*b**3 + 39*b**2 + 20*b + 3. Let n(v) = -4*o(v) - 9*z(v). Let f be n(-12). Are -20 and f unequal?
True
Suppose 9*o - 12 = 6*o. Suppose 2*k = 5*x + 365, x - o*k + 91 = -0*k. Let t = x + 78. Is t < -2?
False
Suppose -h + 1831 = -68*a + 71*a, 3*a = -5*h + 9143. Is 7309/4 at least h?
False
Let h(j) = -2*j - 20. Let u be h(-11). Let b = -1586.97 + 1587. Which is smaller: b or u?
b
Let x be 2/(-1) - -6*352/336. Let z = x + -67/14. Which is greater: 9/79 or z?
9/79
Let g = 88 - 84. Suppose -5*b + 5 = -8*b - 5*l, -4*l = g. Is 7/99 at most b?
False
Let y be -9 - (-62)/(-31) - (-114)/10. Is y smaller than -8826/13?
False
Let k = -0.15549 + 0.19549. Which is smaller: -309 or k?
-309
Let z = -101.5281 - -9.5651. Let b = 92 + z. Let s = 2.037 - b. Which is smaller: s or 4/3?
4/3
Let g = -34707 + 34682.7. Which is smaller: g or 3?
g
Let v = -25 + 51. Let b = -93.4 + 89. Let z = -6.4 - b. Is z smaller than v?
True
Let z = 660 + -671. Let r(x) = -6*x - 17. Let j be r(z). Does j = 52?
False
Let r be (5/(-415)*499)/(-2 - 3). Let f = 1/415 - r. Is 1.5 <= f?
False
Let q = -24221 + 24221.2. Which is smaller: q or 15861?
q
Let p(z) = -2*z - 2. Let d be p(-1). Let w be (-28)/(-88)*1*(-3 - -1). Which is greater: d or w?
d
Let f be (-96 + 289)/((-2)/8). Let n be (-4)/14 - (-5)/(-35)*f. Is 112 bigger than n?
True
Let p be 4/14 + 6*(-1356)/(-42). Let n = p + -195. Suppose -45 = -3*c - 0. Which is smaller: n or c?
n
Let n = 29 + 96. Let w = n - 127. Which is smaller: w or -16?
-16
Let g be 0*(17 - 676/39) + (1 - 0). Is g bigger than -93/275?
True
Let h = -145 - -122.9. Let p = h - -24.1. Which is smaller: p or -1?
-1
Let i be 2/(-4) + 20514/52 + -29. Is i < 365?
False
Let n = 355 + -373. Let d = -18 + 7. Let m = d - n. Is 7 not equal to m?
False
Suppose -5*s - 3*z + 17 = -z, -2*z + 2 = 0. Suppose 2*i + 3*n = -18 + s, -3*i - 3*n - 15 = 0. Are 10/57 and i nonequal?
True
Let f(a) = 0*a + 2 - 314*a**3 - 2*a + a**2 + 316*a**3. Let h be f(0). Which is smaller: 12/19 or h?
12/19
Suppose -14*o - 24*o - 4 = -156. Which is bigger: 418/101 or o?
418/101
Let y = -4712 + 2558615/543. Suppose 2*z - r - 6 = 0, -2*r - 12 = 3*z - 7. Which is smaller: z or y?
y
Let v be 1444/7 + (27 - (-11078)/(-406)). Does -0.026 = v?
False
Let s = -1.33 + 3.33. Suppose -17 = -5*a - 10*f + 7*f, 0 = -a + 3*f + 7. Let i(m) = -m**3 + 6*m**2 - 10*m + 3. Let j be i(a). Do s and j have different values?
True
Let k be 70/4 - 330/132. Suppose -4*r + 4*w + 524 = 0, -35*w = -40*w + k. Is r bigger than 136?
False
Let g = 176 + -185. Let x be (3/g)/((-3)/(-27)) + -109. Which is greater: -114 or x?
x
Let u = 12 + 15. Suppose -3*d = 3 - u. Suppose d + 27 = -7*i. Which is smaller: -8 or i?
-8
Let u(k) = -k + 18. Let w be u(13). Suppose -w*q - 405 = r, -r - 132 = 2*q + 27. Which is bigger: -81 or q?
-81
Suppose -v + 2*n + 85 = 263, -5*v - 915 = -5*n. Let t be ((-4589298)/22059 - 2/(-43)) + 21. Are v and t unequal?
True
Suppose 3 = g, 5*a - 4*a - 5*g - 29 = 0. Let s = -44 + a. Suppose s*w - w + 2*d = 29, -3*w - 3*d - 42 = 0. Is w < -17?
True
Suppose a - 2*b + 3 = -4*b, -a + 3*b = 13. Let s be 1 + (a - -4) + -28. Let h be (-36)/s*20/(-9). Which is greater: -2 or h?
-2
Suppose 2*d + 16*r = 13*r + 1113, 0 = -3*d - r + 1673. Suppose -2*x - f + 5*f + 288 = 0, 0 = 4*x + f - d. Are x and 142 nonequal?
True
Let v = 107/271 - 834179/2111361. Is v less than 1?
True
Let d = -52637/40 + 1316. Let c = -1229 + 2112. Let v = 882 - c. Which is smaller: d or v?
v
Let k be (-3 - 49)/(((-6)/(-192))/1). Which is greater: k or 2?
2
Let v(y) = 2*y**2 - 80*y - 82. Let u be v(41). Which is smaller: 1217 or u?
u
Let c be (-44)/3 + 2/(-6). Let z be (-6)/(-15)*c/(-6). Let r be (((-3)/(-18))/((-63)/14))/(-1). Which is smaller: z or r?
r
Let q be 6/54*3*51. Let v = 81 - q. Which is smaller: v or 65?
v
Let u = 1067059/223 - 4785. Let z be (-2)/12 + (-910)/(-60) + -7 + -9. Which is smaller: u or z?
z
Let x = -42011/3 - -14134. Which is smaller: x or 129?
129
Let k = -17 - -25. Let b = k - 14. Suppose 0 = -2*o, -4*r + 2*o - 25 = r. Which is smaller: b or r?
b
Let u be 4/(-26) - (-1932)/897. Suppose -2*x - z - 29 = -20, u*x = -4*z - 24. Which is smaller: x or -15/16?
x
Let o = 8213 - 8213.064. Which is smaller: o or -85?
-85
Suppose -4*q = -3*w + 15, -2*q + 3*w - 5 - 4 = 0. Let n be (q/(-2))/(21/56). Suppose 4*z = -5*c - 23 + 7, 5*z + 20 = n*c. Which is smaller: -7 or c?
-7
Let l = 0.40354 + 74.65346. Let y = l + -75. Let s = 0.943 + y. Are -0.55 and s nonequal?
True
Let n(t) = 8*t + 1. Let a be n(-1). Let d = -1176074 + 1176063. Which is bigger: d or a?
a
Let q = 56428/5 - 11959. Let s = q - -678. Is 4 greater than s?
False
Let s = -0.4 + 0.3. Let x = 0.11 + 333.89. Let c = 333.999 - x. Is s != c?
True
Let x = -0.02 + -3.98. Let c = 1322.5 - 1318.5. Is c != x?
True
Suppose -4*j + r = 2, -24*j + 8 = -28*j - 2*r. Is 3/2089 >= j?
True
Let y = 5 + -5.222. Let k = -102.222 - y. Which is bigger: k or 1?
1
Let t = -689382342358 - -1804113464910628/2617. Let y = t + 47780. Is 0 smaller than y?
True
Let a(m) be the first derivative of m**4/4 - 14*m**3/3 + 5*m**2/2 + 47*m - 77. Let i be a(14). Which is bigger: i or 115?
i
Suppose -9 = 2*b - 11. Let h be 4 + (-24)/8 - (2 - b). Suppose -160 = -h*s + 10*s. Are s and -14 nonequal?
True
Let m = -116125961/491 + 236509. Is 0 greater than m?
True
Let p(t) = 2*t**3 - 43*t**2 - 22*t + 15. Let j be p(22). Let h be (-102)/(-4) + 2/(-4). Which is bigger: h or j?
h
Let z be 44/330 + 1558/15. Suppose -14*j + 8 + z = 0. Suppose j*o + 134 = -90. Which is greater: o or -29?
o
Let a = -1.65 - -5.53. Let m = a - 1.88. Is m < 2.8?
True
Let f be 26/6 - (-2)/(-6). Suppose -5 = c + 2*l + 5, -4*l - f = 0. Let m 