.79. Let g = 3.18 - i. Let k be -1 - (1/7 + -1). Which is smaller: g or k?
g
Suppose 16 + 50 = -2*d. Let i = -381 - -261. Let h = i + 86. Which is bigger: d or h?
d
Let s = 54 - 66. Let p be s/8 + 14/4. Which is smaller: 2/45 or p?
2/45
Suppose 2*s - 29 = -3*m + 3*s, -2*m - 2*s = -6. Let v be (-2)/m*(9 + -5). Let x = -396 - -30097/76. Which is greater: x or v?
x
Suppose -9*j + 81 + 9 = 0. Let f = j - 7. Suppose -2*w + f*o - 14 = -3*w, -13 = -w - 4*o. Is 17 at least w?
True
Suppose -49 = -10*t + 41. Suppose 0 = -u - 0*u - t. Let n be ((-6)/u)/((-18)/(-1539)). Is 57 >= n?
True
Let c = -1 - 0. Let p = -103.310641 - -0.310641. Is c smaller than p?
False
Let c = -4.7715 - 0.1185. Let y = c - -0.89. Is y less than or equal to -2?
True
Let r(l) = l**3 + 4*l**2 - 11*l + 6. Let h be 84/(-15) + 6/(-15). Let z be r(h). Let x = -188374/65 + 2898. Which is smaller: x or z?
x
Let a = -33.02 - 5.48. Let k = -38.51 - a. Is k at most as big as 9?
True
Let z be ((-80)/(-32) + 9/6 + -2)/2. Which is greater: 8/1659 or z?
z
Let q be (-16 + 17)/(20/(-16) - 5/(-20)). Which is smaller: q or -1/6165?
q
Let s(l) = l**3 + 5*l**2 - 7*l - 32. Let d(i) = 10*i + 46. Let o be d(-5). Let z be s(o). Which is smaller: z or 23/2?
23/2
Let b be ((-3523)/26)/(2/(-4)). Suppose -16*r - 31 + b = 0. Suppose 2*y = 3*j + 17, 3*y - 4*y + 7 = -2*j. Which is smaller: y or r?
y
Let u(v) = -150*v - 1800. Let f be u(-12). Which is bigger: 5057/4 or f?
5057/4
Let i be (14/(-4))/(58 + (-23625)/420). Let a = 1.643 - 1.87. Which is smaller: i or a?
i
Let b(c) be the third derivative of 7*c**4/12 + 35*c**3/3 + 2*c**2 - 3. Let j be b(-5). Which is greater: j or 2/43?
2/43
Let l be 8*273/624 - (-121)/(-86). Is l at most as big as 2?
False
Let t be 3/((-9)/12) + 15. Let h(z) = -z**2 - t + 30*z - 39*z + 4. Let b be h(-8). Which is greater: -7 or b?
b
Let j(a) = 13*a**3 - 17*a**2 + 7*a + 70. Let g(m) = -2*m**3 + m - 1. Let k(h) = 6*g(h) + j(h). Let q be k(16). Which is greater: 0 or q?
q
Let o be 12/(-14)*(-42)/12. Suppose s - q = -3, -2*s - 2*q = -3*s - 5. Let z be 9*(-1)/3*s. Is z at most o?
True
Let s be -6*(302/(-15) + 23/(-115)). Suppose 2*b - 2*u = u - 249, 0 = -b + u - s. Which is smaller: -118 or b?
-118
Let r = 296 - 293. Let d be 2 + (12/(-2))/(-6) - r. Which is bigger: d or -1/371?
d
Let h be -332 - -334 - -98*1*-11. Which is smaller: h or -1077?
-1077
Let a = 62 + -62.16. Let u = 126 - 69. Let r = u + -56.9. Is a < r?
True
Let a = -54.08951 + 0.08951. Is a at most as big as 0.018?
True
Let t = 2062 - 2065. Is t less than 2/99?
True
Let f = 432.017 + -3.017. Are f and 2/9 non-equal?
True
Let o be (12/(-84))/(2/4). Suppose 0 = -15*p + 41 + 64. Let k = 20/3 - p. Is k greater than o?
False
Let d = -2858 + 2859. Which is smaller: d or -1/1549?
-1/1549
Let b = 9267 + -9348. Do -24 and b have the same value?
False
Let d(x) = x**3 - 5*x**2 + 6*x + 2. Let h be (2 - -5) + 4 + -6 + -2. Let r be d(h). Do 2 and r have different values?
False
Let g = -950 - -950. Which is bigger: -42/5 or g?
g
Suppose -4*v + 2*b = 6, 3*b - 9 = -0*b. Suppose -27*u - 3532 - 3866 = v. Which is greater: -0.1 or u?
-0.1
Let n(y) = -33*y + 44*y**2 - 20 + 31*y - 9*y. Let p be n(-2). Are p and 178 non-equal?
False
Let s = -164 + 168. Let u = 720.51 + -721. Is s < u?
False
Suppose -2*t = -y + 1158, -2*y = 9*t - 14*t - 2319. Is 1153 at least as big as y?
True
Let o = 4051 - 2596. Which is smaller: -0.1 or o?
-0.1
Let k be (-2)/(-8) + (-6590)/(-40). Suppose 4*f + l = 5*l + 156, k = 4*f - l. Let n be ((-14)/105)/(f/10). Which is smaller: 0 or n?
n
Let l = -15541 + 16066. Is 521 greater than or equal to l?
False
Let x be (-1)/(-3*(-3 + (-64)/(-24))). Is x <= 1.55?
True
Suppose -4*x = -0*x + 3*b - 328, 2*b = -4*x + 328. Is x > -10?
True
Let a = -4129/6 + -5281/6. Is -1567 < a?
False
Suppose -515 = 3*i + 2*c, 2*i + 3*c + 144 + 206 = 0. Let k = i - -236. Is 69 greater than or equal to k?
True
Let j = 2916 + -3624.5. Let u = j - -709. Which is bigger: 2/55 or u?
u
Suppose 2*b - 4*b = 104. Let y = -48 - b. Suppose y*h - 10*h + 264 = 0. Which is smaller: h or 0.1?
0.1
Let v = 14.3 - -41.6. Let i = -53.9 + v. Is -10.2 greater than or equal to i?
False
Let k = 1 + -1. Let b = -9.14 - -13.31. Let m = 4.37 - b. Are k and m equal?
False
Suppose -4*u = -8, p + 2*u - 12 = -0. Suppose 5*s - 16 = -4*n + p, n = -5*s + 21. Let l be (18/(-5))/(((-19)/(-5))/(-1)). Is n at least as big as l?
True
Suppose 0 = -2*k - 12 + 6. Let r be k/(-12) - 301/(-28). Is r less than 2?
False
Let w(p) = -19*p + 75. Let a be w(4). Suppose -4*d + 61 = -59. Let h be (-594)/d - a/(-1 + -4). Is -20 less than h?
False
Let z(h) = -56*h + 11. Let j be z(2). Let m = j - -113. Is m not equal to 16?
True
Let p = 0 + 1. Let a be ((-2)/(260/30))/((-24)/32). Is a < p?
True
Let i = 2.11 - -41.09. Let b = i + -43.1. Is b at most as big as -31.3?
False
Suppose 247*x - 251*x + 30 = 5*o, 0 = 5*x - o - 23. Let q(m) = m. Let r be q(0). Suppose 5*d + 39 = -p - 3*p, r = -x*d + 4*p - 31. Is d < -46/7?
True
Let n be ((-528828)/1735)/((9/(-10))/(-3)). Do 2 and n have different values?
True
Suppose -24*w = 1297 - 12529. Let a = w + -471. Let v be (2/(-4))/((-2)/(-4)). Which is smaller: a or v?
a
Let r be 288/7*(-1498)/321. Suppose 0 = 5*t - 4*t + 192. Is t bigger than r?
False
Suppose -i + 20 + 12 = 0. Let p = i + -57. Let k(n) = -n**3 + 23*n**2 + 26*n - 1746. Let l be k(20). Is p less than or equal to l?
False
Suppose b + 108 = 3*t + 2*b, 2*t + 3*b - 79 = 0. Let x = 49 - t. Suppose q - 3*g + x = 0, 4*g = 5*q + 9 + 6. Which is smaller: q or -3/7?
-3/7
Suppose -4*v = -w + 6*w + 5, 5*v = 4*w + 4. Which is smaller: v or 9/34?
v
Suppose -3*f - 48 = -2*j, 46*f - 4*j - 32 = 48*f. Let a be 6*(0 - (-12)/8). Let l be (-142)/a + (-2)/9. Is l less than or equal to f?
True
Let u be (-64)/(-4) + 96/(-6). Is u bigger than 8/3787?
False
Let m be (-27)/6*(-552)/(-105570). Suppose -5*i = -2 - 8. Which is bigger: i or m?
i
Let t = 471127/138 + -3414. Which is greater: 1 or t?
1
Suppose -q = -u + 87, -27*q = -24*q - 5*u + 255. Which is smaller: q or -87?
q
Let b be (-16260)/75 - 2/20*2. Which is smaller: b or -216?
b
Suppose l - 86 = h, 5 = -2*l + h + 172. Let p = -97 + l. Let q be 0 + -3 + (-36)/p*2. Which is greater: 1 or q?
q
Let l(j) = j**2 + 30*j + 144. Suppose -12*u = 27 + 273. Let v be l(u). Is 8 <= v?
True
Let m = -18458 - -18454. Are 163.6 and m non-equal?
True
Suppose 0 = 5*k - 0*k - 30. Suppose -4*w = -k*l + l + 16, -2*w = 8. Let b = -242 - -2180/9. Is l greater than or equal to b?
False
Suppose -8 = -4*f + v, 0*f + 5*v + 21 = f. Suppose a = -5*n - f + 6, -3*a = -n + 1. Let y be n/(-4)*(-96)/56. Is y equal to 1?
False
Let u(w) = 4*w**3 + 16*w**2 - 5*w - 4. Let h be u(-4). Suppose -h*z - 54 = -25*z. Which is greater: 14/3 or z?
z
Suppose -2*a - 2*b = -3*a + 21, 0 = -a - 3*b + 6. Suppose -5*j + 18 = 28. Let p be ((-2)/5)/(j/60). Which is smaller: p or a?
p
Let y(a) = -5*a**2 + 2*a + 389. Let n be y(9). Is 45/74 at least as big as n?
False
Let i be (-10)/6 - (-9454)/87. Suppose -i*t + 144 = -113*t. Which is greater: -74/3 or t?
t
Suppose 9331 = 2*q - 8147. Let c be (-2 - q/48) + 2. Let d = 182 + c. Which is smaller: d or -0.1?
-0.1
Let f(w) = w**2 + 42*w - 189. Let u be f(11). Which is greater: u or 397?
397
Let y be (-6)/10 - ((-141)/(-15) + -6). Let c be (2/y + -3)*(-18)/63. Which is smaller: c or -1/3?
-1/3
Let j = 47290 - 47237. Let d(c) = 2*c + 1. Let i be d(-1). Does j = i?
False
Let g be (0 + (-4102)/(-4))*(-3336)/(-1946). Which is bigger: 1760 or g?
1760
Let i be (-409)/(-649) - (4 - (-76)/(-22)). Let q = -173/649 + i. Which is greater: 20 or q?
20
Let w be 4*((-16)/11 + 3). Let f(z) = 6*z + 13. Let q be f(-1). Which is smaller: w or q?
w
Let b be 2275/(-13)*4/(-310). Let s(g) = 29*g + 1567. Let p be s(-54). Which is smaller: p or b?
p
Let f be 0 + 0 + 1 + -117. Let c be -7 + (-1 - 94)/(-1). Let j = f + c. Is j not equal to -28?
False
Suppose -w + 5 = 2*p, -4*w + 2*p + 2 = 12. Let u = -296 - -289. Let o be (0 - (u + 6))*-1. Do w and o have the same value?
True
Suppose h = 4*y + 21, -2*h + 0*h = y - 6. Suppose -h*x + 7 = 2*x. Let a be ((-3)/78)/(18/(-8)). Which is smaller: a or x?
a
Let m = 700 - 367. Let q = m - 276. Let b = 128 - 71. Is b less than q?
False
Let i be (-35)/490*(2 + 12). Which i