. Which is greater: g or -3?
g
Let h(a) = -a**3 + 13*a**2 - 22*a + 9. Let w be h(12). Let z = w - -124. Suppose -4*r = k + z, 2*r + 3*k - 3 + 12 = 0. Which is smaller: r or -2?
r
Suppose -5*b - 551 = -571. Suppose b*z = 10*z - 1092. Is z at least as big as 184?
False
Let y be (2144/256)/67 + (-3)/((-24)/(-2969)). Do y and -374 have the same value?
False
Let c = 26/11 - 531/220. Let s(m) = -17*m - 18. Let q be s(-1). Are c and q unequal?
True
Let x be (2/4 + 15/(-30))/(2 + -4). Which is smaller: 9/32 or x?
x
Let b(x) = -x**2 - 3*x - 2. Let z be b(-1). Let u be (-3 + 198/50)*(-4)/2. Let n = -378/275 - u. Is n at most z?
False
Let u = -6/27618533 - -16046412553/206586626840. Let x = 1/374 - u. Which is smaller: x or 2/9?
x
Let q(a) = 4*a**2 - 49*a - 479. Let r be q(-15). Which is smaller: 1157 or r?
r
Let b = 1026.355 + -1024. Does b = -4/3?
False
Let n = 289194513/4 + -17785236283/246. Let i = 3679/4 - n. Let g = -257/3444 + i. Is g > -1?
True
Let z = -1.88 - -1.68. Let t(b) = b**2 + 21*b - 174. Let c be t(-21). Are z and c equal?
False
Let n = 1749.942 - 1750. Are n and 5 non-equal?
True
Let r be (-2)/(-4) - 2/8. Let x = 26370 - 26349. Is r at least x?
False
Let f = 139.62 - 140.62. Which is smaller: -7926 or f?
-7926
Suppose -4*f + 3*d = -41, -f - 3*d = -6*f + 55. Let j be f/35 - 53/(-5). Is 8 not equal to j?
True
Suppose -40 = -h - 17. Suppose h = -9*l + 167. Let u = -10 + l. Is 6 less than u?
False
Let j = 0 + -4. Suppose 0 = -2*n - 858 + 248. Let s be 2379/n + (-1 - -2) + 3. Which is smaller: s or j?
j
Let t(m) = m + 64. Let q(g) = 2*g + 67. Let j(d) = -3*q(d) + 2*t(d). Let r be j(15). Is -133 != r?
False
Let v be (-6)/(-5)*(0 + 45). Let u be (-2)/v*(2 + -3). Let g = -2705 - -2704. Which is smaller: g or u?
g
Suppose -6*v + 3*v + 33 = t, -4*t + 132 = -2*v. Which is greater: 29 or t?
t
Let g = 83.4 + -79. Let w = g + 0.1. Suppose 0*i - 2*i - 8 = l, 3*l - 12 = 3*i. Which is smaller: l or w?
l
Let h = -59.58 - -30.58. Let x = 4/27 + -22/27. Which is smaller: h or x?
h
Let w(j) = -j**3 - 9*j**2 - 17*j - 6. Let c be w(-7). Let p(f) be the first derivative of f**2 - 36*f + 12. Let a be p(c). Are -6 and a unequal?
False
Suppose -o - 2*z + 7 = -9, 5*z - 1 = -o. Suppose 4*w + o = 6, 21 = 3*h - 3*w. Suppose h = -2*k + 4. Which is greater: k or 2/13?
k
Let z be 7/(42*9/324). Let g(r) = -r**2 + 4*r + 1. Let d be g(3). Let n be 1/2*(-3)/z*d. Is 1/27 >= n?
True
Let h = 2.737 + -2.527. Is 2 <= h?
False
Let v(q) = 20*q**3 + 11*q**2 - 27*q + 26. Let b be v(3). Which is smaller: 590 or b?
b
Let q = 545.1 + -516.1. Is q bigger than 12?
True
Let s(j) = -2*j**2 - 9*j - 4. Let d be s(-3). Suppose -2 = -w + d*k + 7, -3*w + k = -27. Let b be 2 + 51/w*(-5)/15. Which is bigger: b or -1?
b
Let d = 60 - 45. Suppose -d = 10*z - 15*z. Suppose 3*f - 44 = 4*p, -p - 20 = -z*f + 9. Which is smaller: f or 29/4?
29/4
Let h be 3/65 - 2 - (33 + -38). Which is bigger: h or 3?
h
Let k be 5 + 1/(-3 + 2). Suppose o + 3*o + 5*j = 5, 3 = -k*o + 3*j. Let h be (1/55)/(o - -1). Which is smaller: -1 or h?
-1
Suppose -3*u + 3*f + 1503 = 0, 2*u + f = -0*f + 1011. Let g = -504 + u. Which is bigger: -1 or g?
g
Let s = -1441 - -613. Let u = s + 498. Do -330 and u have the same value?
True
Let y(l) = -30*l**3 + l**2 - l - 6. Let w be y(-2). Let j be (-15174)/w - 2 - (-6)/(-16). Which is bigger: j or -67?
j
Let c = 31.983 + 0.017. Let t = c + -113. Let y = 81 + t. Is -11 >= y?
False
Let l = 349.5 + -352.5. Is -1/94 at least l?
True
Let d be (1 - 162/148)*-2. Let m(q) = -q**2 - 101*q - 2478. Let p be m(-59). Is p at most d?
True
Suppose -o - 317 = -3*u, -77*u + 2*o - 329 = -80*u. Are 112 and u equal?
False
Suppose 3*b = -u - 30, 5*u + 98*b = 99*b - 6. Is -2251 != u?
True
Let d = -146 + 234. Let r be ((-65)/52)/(2/d). Suppose 285 = -5*p - 2*j, -j - 100 = 2*p - 3*j. Are p and r equal?
True
Let u be 104/32 - 28/(-16). Let a be u*(-12)/10 + -1*91. Does a = -97?
True
Let s be ((-88256)/(-120))/14 - (1 + 1). Let v = s + -151/3. Which is smaller: v or 2?
v
Suppose 24*f + 52*f - 8027 + 9167 = 0. Let i(o) = o**3 - 1. Let m be i(-3). Is f <= m?
False
Let a be -4 + 2 - 49907/(-44). Let v = 2830633/2500 - a. Are v and 0 non-equal?
True
Let l = 27290 + -27392. Do -30/17 and l have the same value?
False
Suppose -10*z = -27*z + 12*z - 111000. Are -22199 and z nonequal?
True
Let p(t) = -t**2 + 31*t - 58. Let l be p(26). Let o be (-6)/(-4)*(-960)/l. Is 6 equal to o?
False
Suppose 2*m - 3*f = 194, 4*m - 3*f = -4*f + 430. Which is smaller: 92 or m?
92
Let s(h) = -4*h**2 - 33*h + 163. Let f be s(-12). Which is smaller: f or -44?
-44
Let p = 2451 + -428934/175. Let z = -109/8925 - p. Suppose -2*o - 5 + 3 = 0. Which is smaller: o or z?
o
Suppose -2*h - 3*h = -50. Let w be h/4 - 7/14. Suppose 4*f - w*z = 3*z - 5, 2 = 2*f + 2*z. Which is smaller: -1/56 or f?
-1/56
Let q be 45/(-10)*-1*(-15)/(-60). Let m = -38/507 - -4/169. Which is smaller: q or m?
m
Let r = 4 + -2. Let a be ((-69)/(-36))/(-23)*2/4. Is a bigger than r?
False
Let v = -162 + 102. Let l = -30 - v. Let r be ((-24)/l)/((-4)/70). Which is smaller: r or 11?
11
Let j = 3.1 + -3. Let t = 24361 - 23621.97. Let k = 739 - t. Which is smaller: k or j?
k
Let y(t) = t**2 - 36*t + 79. Let q be y(37). Suppose -q = -4*w - 4*m, -4*m - 1 = 15. Which is smaller: 34 or w?
w
Suppose 1890 + 2261 = 130*b + 1161. Are -100 and b unequal?
True
Let r = 1.9588 + 0.0412. Let h be (-1)/7 + 64/7. Let o = h - 13. Which is smaller: o or r?
o
Let i = 7 + -6.992. Let z = 0.038 - 0.146. Let k = i + z. Which is smaller: 3 or k?
k
Let j be 273/15 + (-1)/5. Let z be -15 + 3 + (-21)/(14/(-2)). Let q(d) = -3*d**3 - 28*d**2 - 11*d - 3. Let r be q(z). Is r < j?
True
Let o = 102.91 + -102.71. Which is smaller: o or -6.06?
-6.06
Let z be 21/(-7) + (-1 - -8). Suppose -z*b + 9*b = 0. Let r = -1728 + 32833/19. Which is bigger: b or r?
r
Let x be (-708)/(-10) - (-40)/(-50). Suppose u - 6*u - x = 0. Let w = u + 13. Which is greater: -5/19 or w?
-5/19
Let n(k) = k**2 + 17*k - 33. Let d be n(-18). Let h = d - -15. Which is greater: 20/29 or h?
20/29
Let m be -2 + (8*62 - 4). Suppose -m = k + 6*k. Let p = k - -69. Is p less than or equal to 1/64?
True
Suppose 13*b + 82346 = -9*b. Do -3743 and b have the same value?
True
Suppose 0 = h + 3*o + 3, 4 = 4*h - 4*o - 0. Let q be (-125)/15*(-450)/3250. Is q at least h?
True
Let o be ((-22)/(-72))/((-4)/(-6)). Let a be (-27)/(-189)*(-3 - 18/(-6)). Is o bigger than a?
True
Let y = -395.226 + 912.3. Let w = y + -517. Is w at least -0.3?
True
Let x = -393 - -392. Let h be -5*6/15 + 4 + x. Which is smaller: h or -7/15?
-7/15
Let b be (-660704)/(-968) + 12/(-22). Which is smaller: b or 683?
b
Let u = -0.0539 + 7.3039. Let q = u + 38.75. Let i(v) = -v**2 + 5*v. Let f be i(5). Which is smaller: q or f?
f
Suppose -5*c + 2*r + 33 = 0, -3*c = 5*r - 0*r + 5. Suppose -29*b = -34*b - c. Let f be 3*b - 705/(-225). Is 0 at least f?
False
Let i(u) = u - 3. Let a be i(0). Let o(j) = -25*j + 1. Let d be o(a). Let c be -1 - (-4 - (-236)/d). Which is greater: -1 or c?
c
Let t = -1758 - -6861. Which is greater: 0 or t?
t
Suppose -4*u + 2*h + 13 = -3*h, 2 = 2*u + 2*h. Suppose 5*a + 105 = -o + 6*o, -u*a - 5*o - 63 = 0. Is -2 greater than a?
True
Let t(d) = -75 - 3*d**2 + 2*d - 14*d - 13*d + 38. Let c be t(-6). Suppose -2*o - o = 3*g - 27, -g + 2*o = -3. Is c bigger than g?
False
Let g = -4066 - -4066. Are -28/41 and g equal?
False
Suppose 28*v - 2508 = 16*v. Let j = v - 209. Which is greater: j or 74?
74
Let y = -855.223 - 0.777. Is 0.1 at least as big as y?
True
Let l = 1559 + -1557. Which is smaller: l or 80/39?
l
Let m be 1*-2*1/(-2). Let s = 26753242/879 - 30436. Does s = m?
False
Let m = -2.681 + -52.019. Which is smaller: m or 1/10?
m
Let x = 30.8 + -17. Let q = x - -59.2. Let g = -71 + q. Which is smaller: -1.8 or g?
-1.8
Suppose -2*j + 10 = -12. Suppose 361 = 3*n + 1453. Let s = n + 373. Is j equal to s?
False
Let d = 115 + -86.2. Let r = d - -5.2. Let l = r + -19. Is 0.2 at least l?
False
Let i = 85/18 - 25/6. Suppose -13*r + 194 + 352 = 0. Let a = r + -40. Which is greater: a or i?
a
Suppose 0 = -4*y + 12, 9*t = 11*t - 2*y + 48. Let l be t/(-21) - (201 - (-2 - -2)). Which is bigger: -201 or l?
l
Let q be 312/84 - (2 - 16/7). Suppose -5*b - 15 - 14 = -q*h, b - 58 = -5*h. Is