 - -23. Let g(b) = b**3 + 16*b**2 - 2*b - 33. Let h be g(-16). Which is smaller: h or u?
h
Let m = 154 + -1543/10. Which is smaller: m or 0?
m
Let s = -0.19 - -0.42. Let t = 0.13 - s. Which is bigger: 3/16 or t?
3/16
Let l = -270 + 279. Is l > 2/5?
True
Let k = -58 + 58. Suppose -15*s - 14 + 44 = k. Is 2 != s?
False
Let x be -5*-6*(-2)/(-10). Let w be ((-4)/(-5))/(x/30). Suppose w*m + 5 = -m. Which is smaller: -5/4 or m?
-5/4
Let b be (-8)/24*(-5)/1090*-18. Which is greater: b or 1?
1
Let v = 0.34 - 1.82. Let g = 1.5 + v. Which is smaller: -3 or g?
-3
Let y be 10/(-15) + 30/(-9). Let g be 5 + 5*y/(-10). Which is bigger: g or 9?
9
Let b = -0.112 + -0.818. Let c = b + 1.03. Which is bigger: -2/23 or c?
c
Let m = -20.2 + 20. Let v = 23.83 - 24. Do m and v have the same value?
False
Let y = -0.61 - -0.87. Let t = 0.46 - y. Which is smaller: 2/33 or t?
2/33
Suppose -255 = -2*l - 3*l. Let s be (-104)/(6*8/(-72)). Let k be -1 + l*4/s. Which is greater: k or -1?
k
Let f be (8 - 4)/(-1 + 3). Let k = 7 - f. Suppose -23 + k = 3*n. Which is greater: n or -8?
n
Suppose 0*b + b - 2 = 0. Let f = -563/214 + 14/107. Which is smaller: f or b?
f
Let b = 14.964 - -0.036. Let x = -13.02 - -0.02. Let n = x + b. Is 2/3 greater than n?
False
Let l be (-94)/(-14) - 5*4/(-70). Suppose -l = k - 0*k. Which is greater: -9 or k?
k
Let m(l) = 2*l - 2. Let s be m(1). Suppose -b + 26 = -s*b. Suppose b*c - 21*c + 15 = 0. Is -3 > c?
False
Suppose -2*u + 0*z = -3*z - 23, -3*u - 3*z = -42. Are u and 13 equal?
True
Let w = -0.092 - -0.054. Let h = w - -0.138. Are h and -0.034 non-equal?
True
Suppose -5*x = -p + 13, 3*x + 30 + 3 = 2*p. Is 130/7 less than p?
False
Suppose -490*k + 491*k = -3*p - 15, -p - 5 = 0. Which is smaller: -5/6 or k?
-5/6
Let a(f) = -f**3 + 3*f**2 + f + 1. Let n be a(3). Suppose -9*p - 32*p = -164. Let c = p - n. Which is smaller: -1/9 or c?
-1/9
Let l = -38 + -23. Let r = 62 + l. Is r > -0.03?
True
Let q = -4/55 - -158/3685. Which is smaller: q or -12?
-12
Let g be ((-1)/(-3) - 2)/(80/(-3168)). Which is greater: 67 or g?
67
Let t = -28 + 44. Suppose 7*c - 6*c - t = 0. Let x(s) = -s**2 - 10*s - 6. Let g be x(-7). Which is greater: c or g?
c
Let z(w) be the first derivative of -w**2/2 + 15*w - 3. Let a be z(14). Let b(s) = -s + 2. Let q be b(a). Are q and 1/2 non-equal?
True
Let m be 84/(-126)*(3/(-10) - 0). Which is greater: -47 or m?
m
Let o = 119 + -118. Let z be 2/(3*(o - 122/126)). Which is bigger: z or 22?
22
Let b = -16247/66378 - -1/851. Which is greater: -1 or b?
b
Let h be (-2)/4 + -1 + (-22)/(-44). Let n(u) = -u**3 - 7*u**2 - 13*u - 45. Let s be n(-6). Is h less than s?
False
Let s be 24/84 + 424/(-14). Let h = 86 + s. Which is bigger: 1 or h?
h
Suppose -3*y + 43 - 1 = 5*g, 0 = g - 5*y - 14. Let q be (g/2)/(15/(-40)). Which is bigger: q or -13?
q
Suppose -4*x - 10 = x. Let o be 1/x + 21/(-6) + 3. Let m = 71/296 + 5/37. Is m != o?
True
Let c be (-9)/27*(0 + -48)/(-2). Let q be 0*2/(-4) - 0. Suppose -2*f + 2*o = 22, -4*f - o - 2*o - 30 = q. Which is greater: c or f?
c
Suppose -3*q = -7 - 74. Let d = 10 - q. Is -18 bigger than d?
False
Suppose -b = 5*x - 27, 2*b + 5 - 14 = -x. Suppose g - 112 = x*g - 4*o, g + 5*o = -4. Is -24 > g?
False
Let m = 58 + -58. Suppose m = -2*r + 13 - 11. Which is greater: 3/2 or r?
3/2
Let q be (-49989)/(-1881) - 2/(-22). Which is greater: q or 28?
28
Let b = -21552/25 + 862. Are 0 and b unequal?
True
Let r = 5824/41 - 142. Suppose 0 = -y + 4*y + 21. Let p = 6 + y. Which is greater: r or p?
r
Let b = -47.9 + 47.87. Is b at least as big as 0.1?
False
Let z(x) = x + 1. Let l be z(3). Suppose -l*v = -0*v. Let c be (6/24)/(0 - 14/(-16)). Is v equal to c?
False
Let a(k) = k**3 + 3*k**2 - 6*k - 4. Let o be 8/3*12/(-8). Let m be a(o). Suppose m*t = -t + 40. Which is smaller: 7 or t?
7
Let c = 2/75 + -172/825. Let o be 4/(-8) + (-1)/2. Let j be 0 + (-4)/16*o. Which is smaller: c or j?
c
Let y be (-46)/(-11) + (-2)/11. Suppose 5*b - y = 4*b. Let o = 5 - b. Is 0 >= o?
False
Let m = 5 + -1. Let p(n) = n**3 + n**2 + 2. Let w(b) = 5*b**3 - 16*b**2 - 38*b + 51. Let c(t) = 6*p(t) - w(t). Let q be c(-20). Which is bigger: q or m?
m
Let l = 240 + -245. Let i(r) = r - 1. Let x be i(-5). Is l at most x?
False
Let m be (-12663)/(-33) + 21/77. Which is greater: m or 385?
385
Let d(i) = 3*i**3 + 3*i**2 - 6*i + 4. Let r be d(1). Which is greater: r or 132?
132
Let h = 1786/275 + -71/11. Is h smaller than -1?
False
Let k = -35 - -81. Let b = k - 111. Let u be (b/104)/((-1)/(-4)). Is -4 at least u?
False
Let q = 114 + -120.7. Which is smaller: 0.07 or q?
q
Let h = -0.3114 - -0.0114. Let s = 0.03 + -2.03. Is s greater than h?
False
Suppose 2 = -2*k, -2*k = z - 5*k + 15. Is -16 <= z?
False
Let v = 607 + -606. Which is bigger: -37 or v?
v
Let q = 423 + 47. Is 471 smaller than q?
False
Let x = -2109/184 - -91/8. Which is bigger: x or -2?
x
Suppose -2*l - 10 = 0, -43*i = -42*i + l + 3. Is 11/6 greater than or equal to i?
False
Let v be ((-2)/(-5))/((-3)/16050*5). Which is bigger: -427 or v?
-427
Let c(i) be the second derivative of -i**4/12 - 2*i**3/3 + 4*i**2 + i. Let j be c(-6). Let w be 2 - (-3 + (-16)/j). Is w at least 1/2?
True
Let m(x) = -x**3 + 2*x**2 + 4*x. Let d be m(3). Let t = 9 - d. Let c be 42/(-98) - t/(-14). Which is greater: 5 or c?
5
Let v be (48/(-36))/(44/(-282)). Which is smaller: 10 or v?
v
Let y be (-9)/(18/(-8)) - -1. Let w be 0*y*(-2)/(-20). Do w and 2 have the same value?
False
Let j = 122203/45 - 2716. Let t = 38 - 1708/45. Let d = j + t. Do d and 0.2 have different values?
True
Let h = 0 - 0. Suppose 4*z = 3*v - 29, 4*v + h - 37 = 5*z. Suppose -v*d + 2 + 2 = 4*i, 2*d - 14 = 3*i. Which is smaller: i or -3?
-3
Suppose -1 = 2*z - 21. Suppose 0 = -o + z - 1. Let x = -187/36 - -130/9. Which is smaller: x or o?
o
Suppose p - 8 = 6. Let r = 396 + -384. Which is smaller: p or r?
r
Let w(v) = 2*v**3 - 4*v**2 + 4*v + 1. Let h be w(2). Let r be (-240)/(-18)*2/(8/h). Is r at least 28?
True
Let a(x) = -12*x - 7. Let g be a(-7). Let i be (g/(-4))/((-12)/16). Let t = i + -27. Is -2 <= t?
True
Let l be 1*(13/90)/(-13)*49. Let n = 4/9 + l. Does n = -3/2?
False
Let p = -426 + 751. Let u be 52/p*(-5)/6. Which is smaller: u or -2?
-2
Let i be ((-5)/(-20)*7 - 418/56) + 6. Let j(b) be the second derivative of -b**3/3 - 3*b**2/2 - 2*b. Let g be j(-2). Which is greater: i or g?
g
Let m = -3 + 6. Suppose -v = m*v - 96. Let k be 3/2*(-32)/v. Which is smaller: -3 or k?
-3
Let q(m) = m**2 + m - 26. Let s be q(0). Let u = 29 + s. Is u at most -2?
False
Let d = -2 + 5. Let c = -7 + 8. Which is bigger: d or c?
d
Let m be -4 - -1 - (-180 + -3 + 4). Is 176 less than or equal to m?
True
Let y = 21 - 17. Suppose 25*o - 29*o = y. Is o <= 1?
True
Suppose -n = -2*z - 2153, -2*z - 2*n - 2173 = n. Let s = z - -78769/73. Is s >= 0?
True
Suppose -19*a = 44*a + 24*a. Let o be 1 + -1 - (-12)/(-38). Is o < a?
True
Suppose 14 = -4*c - 6, 60 = k + 3*c. Let x be (-15)/k*10/(-8). Suppose -18 = -2*q - 5*o, -o + 9 = -5*q - 0*o. Is x at least as big as q?
True
Let n(b) = b**3 - 11*b**2 + 2*b - 24. Let j be n(11). Let k = 3 + -2.99. Let w = -0.01 + k. Is w smaller than j?
False
Let k(t) = t**2 + 8*t - 4. Let c be k(6). Let i be (-6)/c*(-4)/(-12). Is 0 at most as big as i?
False
Let w = 6107/68970 + -1/1210. Is 0 <= w?
True
Let q(k) = 33*k - 3. Let a = -28 - -29. Let d be q(a). Let o = -21 + d. Which is bigger: 11 or o?
11
Let o = -290/3 + 4921/51. Are o and -11 unequal?
True
Let g be 20/(-12)*9/(-15). Which is smaller: g or 57?
g
Let z(h) = -2*h. Suppose 3*v + 5*d = 5, -2*v = -7*v + 2*d - 33. Let n be z(v). Let m be (13 - -3)*(-2)/n. Which is smaller: -3 or m?
m
Let k = 0.014 - -2.986. Let s = k + -2.9. Let n = 0 + -0.2. Which is bigger: n or s?
s
Let v(g) = g**2 + 19*g - 1. Let a be v(-19). Which is greater: a or -2/57?
-2/57
Let x = 561/12986 + 1/302. Let b(d) = -d + 4. Let k be b(4). Suppose -r + k*r = 0. Which is bigger: x or r?
x
Let m(a) = 2*a - 11. Let r = 23 - 15. Let s be m(r). Suppose -s*b = -4*b. Which is smaller: b or -1/4?
-1/4
Let u = -12 + 16. Suppose 4*l + j - u = 2*l, 2*j - 8 = 0. Let p = 420 - 7138/17. Which is smaller: p or l?
l
Let s = -1 + 0. Let f = -42 - -24. Let d be f/(-12)*(-8)/30. Which is smaller: s or d?
s
Let b be (1 - -1) + (-36)/(-9). Let k be 