+ 4*f - 5. Let l be g(1). Is l at least as big as h?
True
Suppose 25 = -n - h + 2*h, 4*n + 4*h = -76. Let s(o) = o**2 + 22*o. Let t be s(n). Let l = -108 + 1838/17. Is l less than or equal to t?
False
Let s = 786.1 + -786. Which is smaller: s or 81?
s
Let r(z) = -z**2 - 3*z + 8. Let s be r(-5). Let c be (-12)/(-20) + s + 669/(-15). Is c less than -45?
True
Let h = -1319012/177 + 7452. Is h at most 1?
True
Suppose 2*g + 3 = -3*k, -5*g + 3*g + 18 = -4*k. Let u be (-26)/(-2) - (g + -1). Let w = u - 10. Is w less than or equal to 2/5?
False
Let l = -1.9 - -17. Let d = -15 + l. Let r = -10 - -25. Is d at most as big as r?
True
Suppose 2*q + c = 32 - 2, 0 = -q + 3*c + 22. Suppose 2*n + 3*g + 6 = -4, q = 4*g. Let k be n/(-60) - 5/20. Is 0 greater than k?
True
Let i = -9776 - -9746. Let s = 39 - 68. Which is greater: s or i?
s
Let w be 12/(-8)*(-4 - 0). Let s(g) = 2*g - 10. Let u be s(w). Is 6/7 bigger than u?
False
Let d be ((-10)/(-5))/(3/15). Suppose -3*p - 3 = -0*p + 3*h, 0 = -2*p - h + 1. Suppose -p*n - t = -n - 13, -5*n + 3*t + 41 = 0. Is n at least d?
True
Let i = 3.9 + -4. Let f = -0.8241 + -0.0159. Which is bigger: i or f?
i
Let c be 7*33*(-16)/48. Let p = 153/2 + c. Is 0.17 > p?
True
Let g = 0.289 + 5.301. Let q = -3.37 - g. Let y = -9 - q. Which is smaller: -1 or y?
-1
Let i(p) = -4*p + 62. Let d be i(11). Which is greater: d or 13?
d
Let g = -404 + 8482/21. Suppose -l = l + 2, -4*l = -2*p + 10. Suppose 0 = -7*x + 10*x + p. Which is bigger: g or x?
g
Let g(f) = f - 17. Let k be g(-6). Let c = k + 34. Do 13 and c have the same value?
False
Let u(f) = f**2 + 28*f + 5. Let k be u(-28). Suppose a + 4*w + 16 = 5*a, 2*w + 11 = k*a. Which is smaller: a or -10?
-10
Let w(c) = -c**3 - 3*c**2 + c - 5. Let q be w(-4). Suppose 0 = -5*n - 2*p + 17 - q, 5*n - p = 25. Let z be (n - 3) + 11/(-13). Which is smaller: -1 or z?
-1
Let m be 1*6*4/(-84). Let t = -0.44 + 0.3. Let i = -0.56 + t. Which is bigger: m or i?
m
Suppose 9*g - 34 = -8*g. Suppose -5*q + 30 = 5*o, 0 = -q - 4*o + o + 14. Let t be (-33)/(-12) - 1*q. Is g <= t?
False
Let z(u) be the first derivative of u**3/3 + 3*u + 15. Let b be z(-2). Is 6 > b?
False
Let k = -104 + 30. Does k = 1?
False
Suppose 5*p + 0 + 1 = 4*z, -4*z + 3*p - 1 = 0. Let u be 10*3/(-4 - z). Let i = -23 + 14. Do i and u have the same value?
False
Let r = 50 - 38.8. Let w = -5.2 + r. Which is greater: -0.1 or w?
w
Let q = 1/1467 + -508/27873. Which is smaller: 0 or q?
q
Let d = 58 + -68. Let o = -22 - d. Which is bigger: -0.3 or o?
-0.3
Suppose 61*v - 120*v + 354 = 0. Let d = 3 + 3. Does d = v?
True
Suppose -4*b = -4 + 24, 5*b = 3*z - 28. Let i be 0 - (z - 4/2). Let u be 4/(-5) + 13 + (-8 - 4). Are u and i nonequal?
True
Let y be 4 - 0 - (9 - 6). Let x be (12/y)/(0 - -2). Suppose 10 = x*s - 8. Which is bigger: 6 or s?
6
Let g = 329 - 269. Is 65 at least g?
True
Let k be 135/(-3350) - -4 - 4. Let t = 4/67 - k. Which is smaller: 1 or t?
t
Let r(d) = -d**2 - 4*d - 2. Let u be r(-2). Suppose -3*w + y - u = -0*w, 3 = -3*y. Is -1/42 at least w?
True
Suppose -31*m + 32*m = 3*y - 14, -4*y = -5*m - 15. Is m < 2/797?
False
Let l(i) = -2*i + 9. Let x be l(5). Let n be 738/(-4264)*((-128)/(-3))/4. Which is smaller: x or n?
n
Let a be (-3)/(-9) + 4/6. Let k be 4 + (a - ((-348)/8 - -1)). Which is greater: 48 or k?
48
Let h = -206 + 204.4. Which is smaller: 3 or h?
h
Let h be (-4)/(-5 + 21/4). Let k be (-1)/(-3) + h/(-6) - 4. Which is bigger: -2/369 or k?
-2/369
Let d be (-15)/((-2)/4 + 2). Suppose u - 2*o + 1 = 0, -3*u - 2*u + o - 50 = 0. Which is bigger: u or d?
d
Let r be (68/(-85))/(2/(-10)). Which is bigger: 96/29 or r?
r
Let o(n) = n**3 + 5*n**2 - 12*n + 19. Let d be o(-9). Is -198 < d?
True
Let h be 39/(-36) + 2/2. Let b = -57.3 + 52. Let f = -5.2 - b. Is h at least as big as f?
False
Let k = 4 - 1. Let j(a) = -a + 4. Let y be j(k). Let h be y/(-2) + (-9)/(-6). Is h < -1/9?
False
Let y be 10/(4 + 1) + 15/(-5). Let a be 1/33*(-9)/2. Is y at least a?
False
Let d be (-3)/(-6)*(-4 + -16). Which is smaller: 2 or d?
d
Suppose -8*s = 70 + 26. Which is bigger: -14 or s?
s
Suppose 3*t - d + 1947 = -5*d, t + 649 = 2*d. Let v be ((-3904)/t - 3)/(-5). Let g = 2/649 + v. Are g and -1 unequal?
True
Suppose -v - 107 = 4*w, 5*w + 63 = -2*v - 73. Let r = 40 + w. Suppose -21 = -5*p + 44. Which is smaller: p or r?
p
Let v(l) = 3*l**2 - 5*l + 2. Let a be v(3). Suppose 0 = 4*x + 3*g + 23, -5*g + g - a = -3*x. Suppose -3*i + 4*i = 4*r + 12, -24 = 4*r - 4*i. Is x at most r?
True
Suppose -9 = -3*b - 0. Let p = -23 + -6. Let i = -26 - p. Is b bigger than i?
False
Let n be -4 + 3 + -1 - -10. Suppose 5*t = 4*q - 16, -2*q + 3 = 4*t - 5. Suppose t*f - 7 = -f. Which is bigger: n or f?
n
Let l(t) = t**3 + 10*t**2 - 6*t + 48. Let y be l(-11). Let p = 120 + -60. Let k be 2/3 + p/(-9). Does y = k?
False
Let u be 144/30*(9 + 1). Suppose -2*c + u = -10*c. Let v be c/(-2) - (-2354)/(-792). Is 1 at least v?
True
Let y(n) be the third derivative of n**4/24 + 3*n**3/2 - 5*n**2. Let p be y(-9). Let h be (-6)/(162/75) + 3. Which is smaller: p or h?
p
Let f = -0.71 + 0.679. Let n = -18.969 + f. Is n less than or equal to 1?
True
Let g = 477 - 479. Which is smaller: g or 50?
g
Let f = -4133/46 - -90. Let a = 933/4922 - f. Is -1 < a?
True
Let g = 4 + -2. Suppose -3*w = -w - g. Let j be ((-18)/468)/(5/(-30)). Does j = w?
False
Let r = -0.2 + 0.2. Let s = -4943/58 - -282/29. Let l = s - -74. Is r less than or equal to l?
False
Suppose -10 = -30*x + 23 + 87. Let b(g) = g**2 - 7*g + 2. Let f = -10 + 17. Let k be b(f). Is x greater than k?
True
Suppose 2 = r + 2*f, -2*r = -4*f - 3 - 1. Suppose i - r + 8 = 0. Does i = -3?
False
Let z be (3 + -4)*4*7. Let s be (4/z)/(2/(-7)). Let j = 1.76 + 1.24. Does j = s?
False
Let k = 34.45 + -10.46. Let o = -0.01 - k. Is o at least as big as 1?
False
Let c be -7*((-4)/(-2) - 1). Let a = 40 + -34. Suppose 17 = 3*i - a*i - b, -4*i - 21 = 3*b. Is i bigger than c?
True
Let s be 356/24 - 1/(-6). Suppose -2*d + 2*h = d + 5, 0 = 5*d - 2*h + s. Let f(n) = 3*n + 16. Let x be f(d). Is 0 at least as big as x?
False
Let y = -15989/819 - -254/13. Suppose -4*t + 2*s + 1 = -t, s + 2 = 3*t. Are y and t equal?
False
Let c be (-1)/(-12) + 2/(-6). Let b = 2.9217 - -0.0783. Which is bigger: c or b?
b
Suppose o + 20 = 11*o. Which is bigger: o or 14/5?
14/5
Let a = 403 + -259. Does 141 = a?
False
Let b be (-676)/(-8) + (-2)/(-4). Suppose 5*t + 0*t - b = 0. Let w be 2/(-2) - (-54)/3. Is w bigger than t?
False
Let q = 217/10 + -91/5. Suppose 48 = -5*o + i, -4*i = -4*o - 0*i - 48. Let w be -3 + (-2 - (o - 4 - -3)). Which is smaller: q or w?
q
Suppose 26 - 34 = -4*u. Which is smaller: u or 28/27?
28/27
Let u = -12/13 + 85/78. Are 0.052 and u unequal?
True
Let d(u) = -22*u + 8. Let t be d(-6). Let g be 6/4*t/(-15). Do -17 and g have the same value?
False
Let k(v) = -27*v + 1. Let w be k(-1). Let r be (2/8)/((-154)/w). Is -1 bigger than r?
False
Let n = 1 - 1. Let j = -1271/7 - -182. Is n less than j?
True
Let t be (-6)/(-21) - (-80)/14. Suppose -4*w - 10 = -5*p, -3*p + t = -0*p + 3*w. Is 5 >= p?
True
Let k be (-278)/(-5)*3/(-9)*3. Is k not equal to -55?
True
Let k = 0.048 + 0.192. Let v = k - 0.04. Which is smaller: 2/3 or v?
v
Let p(r) = 7*r**3 + 167*r**2 - 22*r + 48. Let g be p(-24). Let v be 2/(-3) - (-4184)/(-6). Let b = -9086/13 - v. Is g at least as big as b?
True
Let g = 0.26 + 26.74. Let q = -26 + g. Is q greater than -3?
True
Let l = 71.8 + -80. Let m = l + 6.2. Let o = 0.04 + 0. Is m < o?
True
Let b(u) = -9*u**2 - 5*u + 4. Let w be b(-6). Let c = 3772/13 + w. Which is greater: c or 2?
2
Let o(n) = n**3 - 5*n**2 - n + 3. Suppose -2*q = -5 - 5. Let g be o(q). Suppose -54*i - 34*i = -88. Which is greater: i or g?
i
Let f be 122172/(-30) + 5/(-1). Let z = f + 4096. Which is smaller: 19 or z?
z
Let a = 120 + -119. Let w = -22 - -17.9. Let o = -0.1 - w. Is o at most a?
False
Let f be 88/3245*(-5)/(-4). Which is smaller: 0 or f?
0
Suppose 0 = -2*v - 3*p - 12, -3*v + p - 1 = 17. Let c(s) = s**2 + 5*s - 4. Let d be c(v). Suppose 0*o + 2 = o. Is d less than or equal to o?
True
Let m = -1170 - -1068. Which is smaller: 2/5 or m?
m
Let t = 48 + -19. Let x = t + -24. Let l = -4.8 - -5. Which is bigger: l or x?
x
Let k(m) be the third derivative of m**4/24 + 3*m**3/2 - 3*m**