-6)). Which is smaller: g or q?
g
Let u = 1/28 + -15/28. Let y = 185 + -122. Is y bigger than u?
True
Let b(c) = -19*c - 73. Let w be b(-4). Suppose -2*y + 5*t - 11 = 2, -y - 12 = w*t. Which is smaller: -68/9 or y?
y
Let k be -806 + (5 + -3 - 4/3*3). Which is smaller: -809 or k?
-809
Let y be (-44)/3 + (2/(-18))/(18/54). Is y smaller than -2/661?
True
Let d be (-1*18/24)/((-6)/14396). Do d and 1800 have the same value?
False
Suppose -44 = -4*r - 0*r. Suppose -1109 = -139*d + 3. Which is bigger: d or r?
r
Let x = -1/6328 + -2979/1170680. Which is smaller: x or 4?
x
Let l(c) = c**3 + 19*c**2 + 34*c - 4. Let w be l(-16). Let s = -154 + w. Which is smaller: s or 67?
s
Let b(g) = g**3 + 16*g**2 + 45*g + 181. Let q be b(24). Which is smaller: 1/3 or q?
1/3
Let h = 148.7 - 283.7. Do 0.4 and h have different values?
True
Suppose 3*l = -4*r - 43, -3*l + 7667*r - 53 = 7669*r. Which is smaller: 132 or l?
l
Let r = -250/27 - 1511/108. Which is smaller: -22 or r?
r
Suppose -515*s + 508*s = -17108. Which is smaller: s or 2445?
s
Let u = -0.02 - -1.02. Let c be 1692/(-338) + -3 + (14 - 6). Which is smaller: c or u?
c
Suppose -x + 3 = -h, 5*h = 2*x - 2 - 10. Let p be 82 - (3 - 1)*-2. Let y be (1 - 84/p)*(h - 0). Is y bigger than 0?
False
Let c = 1.8945 - 62.8945. Is 34 less than c?
False
Let k(q) = 2*q**2 - 3*q - 5. Let v be k(-2). Suppose l + v = 4*l. Suppose 4*o + 2*a + 28 = 0, l*o = 5*a - 3*a - 14. Is 0 > o?
True
Let z be (-1368)/2128*((-1155)/36)/5. Suppose 0 = 2*l - a - 3, -4*a = l - 12 - 12. Is z < l?
False
Suppose -3*s + 20 - 8 = 0. Let v be -1 + 105/10 - (-1 + 4/8). Suppose -3*c = -s*c + v. Is c at least as big as 10?
True
Let h = 1712 + -1711.9. Which is smaller: 5/326 or h?
5/326
Let q(l) = 3*l**2 - 38*l - 106. Let o be q(15). Which is smaller: o or -9/47?
o
Let b = -75 - -14. Let s be ((-1120)/48)/((-1)/3). Let q = b + s. Is q < 9?
False
Suppose 4*k - 2*u = 136, 0 = 2*k - 5*u + 67 - 127. Let y(q) = 3*q**2 - 6*q + 12. Let r be y(4). Which is smaller: k or r?
k
Let g(w) = w**2 - w - 17. Let h be g(5). Suppose h*x + 3 = 21. Do 44/9 and x have the same value?
False
Let a = -9.8 - -72.8. Is -1/2 bigger than a?
False
Suppose 13*o - 10*o - 9 = 0. Suppose -k + 60 = o*k. Suppose 3*s + 4*f = k, 2*s + s + 12 = 5*f. Is 10/13 bigger than s?
False
Let j be (-2)/7 - -13*(-12)/(-252). Which is smaller: -10 or j?
-10
Let m = 13827 - 17546461/1269. Is m smaller than -1?
False
Let p(n) = -n**2 - 24*n + 26. Let q be p(-27). Let m = 51 + q. Let d be (-47)/12 - 8/24. Is d smaller than m?
True
Let c be -1 + 6/(-42)*-7. Suppose -5*p + s = 18, -3*p + c - 8 = -2*s. Do p and -3/4 have the same value?
False
Let y be 244/671 + (-4)/11. Suppose 28 = -20*p + 23*p - m, 2*p - 5*m - 10 = y. Which is smaller: p or 37?
p
Let d be ((-150)/(-1405))/6*72/420. Which is bigger: d or 0?
d
Let f = 3511.1 - 3506. Let x be (-1 - -4) + (-525)/55. Let r = x - -482/77. Which is bigger: r or f?
f
Let u be (-4010)/(-85) + 9 + (7 - 10). Which is smaller: 52 or u?
52
Let u(z) = z**3 + 6*z**2 - 7*z + 4. Let j be u(-7). Suppose -81 - 75 = j*t. Is -39 less than t?
False
Let k(t) = 6*t - 65. Let v be k(11). Let u be (6/(-184))/(4*6/192). Which is bigger: v or u?
v
Let c(m) = m**3 + 10*m**2 - 28*m - 24. Let r be c(-11). Let x = 29 - r. Which is smaller: -0.1 or x?
x
Suppose 9*h + 39 - 3 = 0. Let l be (-10)/h - 2/(-4) - 2. Let r = 31/21 - 8/7. Which is smaller: l or r?
r
Let w be (2/(-16))/((-1)/6)*(-2884)/(-130089). Is w > 1?
False
Let i be (-20)/30 + -62*((-84)/(-18) - 4). Are i and 278 unequal?
True
Let o = -208 - -347. Let f = o + -138.801. Which is smaller: -1 or f?
-1
Let s = 516.9783 + -517. Let u = s + 0.0467. Are u and -1/4 nonequal?
True
Suppose -7*x + 3*y = -3*x - 19, 0 = -2*y - 10. Let i(c) = 9*c - 4. Let h be i(-4). Let n be 4/(-10) - 1/h. Are n and x equal?
False
Suppose -72*w - 10 = -73*w. Suppose -5*r + 0*r - 165 = 0. Let g = r + w. Is 0.1 > g?
True
Suppose 2*q + 17799 + 11374 = 5*p, 0 = -4*p - 2*q + 23360. Are p and 5837 unequal?
False
Suppose 2*k + 117 = 131*n - 130*n, 5*k + 5*n + 285 = 0. Suppose -5*b - 32 - 258 = 0. Let u = b - k. Is -1 equal to u?
False
Let f = -5848 + 5461. Is -392 at most f?
True
Let l be 8/10 + -1 - (-6582)/(-15). Let a = 348 + l. Let u be -1 - (0 - -88) - 1. Is u < a?
False
Let u(h) = -5*h**3 - 32*h**2 - 13*h - 5. Let x be u(-6). Let d be (-1054)/2124 - (-7)/14. Is d smaller than x?
True
Suppose 2*f = j + j - 170, -2*f = -j + 83. Suppose -j = -3*t - 66. Is t at least as big as 5?
True
Let n(o) = -9*o + 17. Let j be n(5). Let i = j + 12. Let y be (-1)/(-2)*i/8 + -4. Is -5 equal to y?
True
Suppose 6*v - 92 + 80 = 0. Suppose -5 - 5 = 2*n, 0 = -v*u + 3*n + 17. Is u != -6/17?
True
Suppose -11*p + 40*p - 1218 = 0. Is p bigger than 40?
True
Let h = 2682965/243 - 11041. Is h less than -1?
False
Let u(w) = -w**2 - 45*w + 255. Let b be u(-58). Are b and -500 non-equal?
True
Let l(n) = -29*n**2 - 216*n - 3. Let z be l(-8). Let c(b) = -131*b**2 - b. Let f be c(1). Is f not equal to z?
True
Let a be 54/(-25) + 1 + (-78)/((-221)/17). Is a > 5?
False
Let m = 87 - 89. Is m bigger than -28.8?
True
Let o = 2588 - 1129. Is 1459 bigger than o?
False
Suppose -436*v + 480*v = -352. Is v < -204/23?
False
Let v be ((-1)/((-3)/(-1)))/(23/(-759)). Let a(s) = 4 + s**2 + 9 + 0 + 7 - v*s. Let k be a(9). Which is greater: 0 or k?
k
Suppose -x - 7*r = -4*r - 1, 4*r = 12. Suppose 5*p + 50 = 5*l, p + 2*l = -0*l - 4. Is p bigger than x?
False
Let s be ((-2 - -1)/(-2))/(704/(-133804)). Let u = 95 + s. Let j = 163/96 + u. Which is smaller: 1 or j?
1
Let u = 332/11 + -4395/154. Is -2/5 at most u?
True
Let t = -168 - -158. Let g be 295/(-700) + (-6)/t. Is g bigger than 0?
True
Let k(o) = -4*o**3 + 8*o**2 + 18*o + 19. Let v be k(10). Which is greater: v or -3002?
v
Suppose 4*b - 3 + 23 = 0, -12 = -2*p + 2*b. Let u be (-3)/(-4) + -1 - (-425)/1600. Is p less than u?
False
Let x(n) = n**2 - 48*n + 685. Let o be x(31). Suppose 3*k = -4*a + 386 + 85, -a = 0. Is k at most o?
True
Let z = 6568 - 6559. Suppose -4*r + 20 = 2*h + 2, 0 = 5*h + r - 54. Which is smaller: h or z?
z
Let a = -12435950/177870861 - -2/666183. Is a < -1?
False
Let t = 13 - 11. Let z = 3.427 + 0.063. Let h = z - -2.51. Are h and t nonequal?
True
Let o be 186/(-12)*1/(-3)*226. Is 1169 smaller than o?
False
Let z be ((-2)/(-15) + (-912)/1440)/((-3)/10758). Which is greater: z or 1801?
1801
Suppose -4*x + 6 = -6. Let t(z) = -5*z - 4*z - 21 - 32 + 74. Let g be t(2). Do x and g have the same value?
True
Let b = -499340/17 + 29389. Which is smaller: b or 17?
b
Suppose 2*o = -2*j - 14, -63 = 4*o + 343*j - 346*j. Does -333/31 = o?
False
Suppose 5*w - 12289 = -7*u + 5*u, -4*w + 24572 = 4*u. Is u at least as big as 6143?
False
Let x = -552 + 559. Let p(c) = c**3 + 8*c**2 - 26*c - 17. Let w be p(x). Which is bigger: 0 or w?
w
Let i be (-90)/4*(-74)/(-3). Let q = i - -4990/9. Let m be (2260/(-5085))/(4/18). Which is smaller: m or q?
m
Suppose 42*l = -7*l + 1029. Let x be -10*(-3 + (3 - 2)). Suppose 0 = g - 1, -2*b + g = -b - x. Is l > b?
False
Let y = -0.2143 + 0.3543. Which is greater: y or 38?
38
Suppose -8*p = 215 - 207. Let h be (-74)/8 + (-2)/(-8). Let j be p/h*-20 - 8/(-12). Is j >= -2?
True
Suppose 4*q = 230 - 258, -267 = 4*f + 5*q. Which is smaller: f or -691/12?
f
Let y(r) = 453*r**3 - r**2. Let n be y(1). Let p = -25410 + 25863. Which is smaller: n or p?
n
Let w = -7/16 + 117/304. Let o = 184 + -183. Suppose 0 = -34*f - 1 + o. Are w and f non-equal?
True
Suppose 4*s + 8*n = 6*n - 6, -36 = 4*s - 4*n. Let z be (s/(-13 + 5))/2. Which is smaller: z or -0.3?
-0.3
Let a = 42 + -10. Let x = a - 5. Let s = x + -47. Which is bigger: s or -21?
s
Let r be (5/(35/6))/(-19 - 2176/(-112)). Which is smaller: r or -4547?
-4547
Let l = -12795/13 - -984. Which is bigger: l or 3?
3
Let w(b) be the third derivative of -b**4/24 - 7*b**3/3 + 54*b**2. Let l be w(-13). Which is bigger: l or 2/823?
2/823
Let d be (75/10 - 3)/(186/8). Suppose 2 - 1 = u + 3*q, -u = 4*q. Suppose 3*p = -3*r - 2*r - 15, -4*p - u*r = 12. Which is smaller: d or p?
p
Let x = 2.99746 - -0.00254. Is -495 at most x?
True
Let w = 2 - 1. Let q = -0.1704 + -172.7496. Let n = -173 - q. Which is smaller: n or w?
n
Suppose -3*r = 2*u - 2*r + 431, -4*r - 644 = 3*u. Let w = u - -188. Which is sm