3.0306. Let f = p + 62. Is f at most -0.74?
True
Let g(w) = w - 5. Let s be g(8). Suppose -c - 4 = -1, -s*c + 38 = v. Let y be (-444)/(-10) - (-2 + (-34)/(-85)). Which is smaller: y or v?
y
Let h = -0.8 - 0.2. Let y = -21090 + 21093.13. Is y at most as big as h?
False
Let s = 13395271/15925 - 10935/13. Let l = s - 113821/15925. Which is smaller: -6 or l?
l
Suppose q = 3*a - 18 + 139, 3*q - 3*a - 345 = 0. Let u be ((-92)/(-30))/(q/(-84)). Which is greater: -3 or u?
u
Let a be -7 + 17 + (-42)/12*46. Which is smaller: a or -120?
a
Let r be (((-3264)/(-60))/(-17))/6. Is r at least -1/3?
False
Let j = 43 + -21. Suppose 96*s + 469 = 2869. Is j not equal to s?
True
Let t = 11068 - 12622. Which is bigger: 1 or t?
1
Let i(j) = j**2 + 7*j + 8. Let o be i(-6). Suppose 3*p = -o*y - 19, 0 = 5*y + 4*p + 41 + 24. Let u = 16 + y. Is 0.06 greater than or equal to u?
True
Let c = 491 - 492. Let f be (4/182)/(((-630)/(-49))/(-6)). Is c at most as big as f?
True
Let x be (-455)/(-4)*(42/(-15) - -3). Let n = x + -45/2. Which is greater: 1/121 or n?
n
Let b = 1.9 - 2. Let t be 16*(6/(-8) + 0). Let v be 2*3/4*4/t. Is v less than or equal to b?
True
Let v = 23 - 10. Let r = -11 + v. Let n = 0.03 + 1.37. Which is smaller: n or r?
n
Let z(b) be the second derivative of -b**3 + 2*b**2 - 110*b. Let q be z(3). Which is smaller: -15 or q?
-15
Let d(w) = -15*w + 11. Let c be d(0). Is 58 <= c?
False
Let x(k) = -k**3 + 9*k**2 + 7*k - 6. Let j be x(9). Suppose y - 8 = b + 3*b, 4*b = -5*y - 8. Let s be 52/(-28) - b - 782/(-14). Which is smaller: j or s?
s
Let p = -0.05973 - -480.65973. Let r = p - 480. Is -3 smaller than r?
True
Let l = -1151 - -1147. Let n = 7 - 19. Is n < l?
True
Let i be ((-36)/33)/(98/(-39347))*(-59)/(-45). Which is bigger: 574 or i?
i
Suppose 0 = -10*j - 26 - 34. Let c(r) = 2*r + 14. Let p be c(j). Let i be 4/8 - (-51)/12*p. Which is smaller: i or 11?
i
Let b = -152669 - -1677369/11. Are b and -180 non-equal?
True
Suppose -4*d - 2 = -4*x - 3*d, -4*d - 8 = x. Let t be 3 - (-72)/(-12) - (-2696)/1441. Let i = t + 5/131. Which is bigger: x or i?
x
Let v be 7221/28596 + 14/(-616)*11. Is v greater than or equal to -1?
True
Let q be (136/918)/(4/6 + -1). Is 0.077 <= q?
False
Let r = -6/1661 - 425/342166. Let f be (-30)/(5 - 0) + 20/4. Is r < f?
False
Suppose -4*d - 4*t = -52, -2*t + 9 = 11. Let o(f) = 2*f - 16. Let p be o(11). Suppose -n + 8 = -p. Is n > d?
False
Let d = 2512 - 6605. Which is greater: d or -4092?
-4092
Suppose -2*t - 5*r = -249, -340 - 6 = -3*t - 2*r. Suppose 0 = 12*d + t - 88. Let j(y) = y - 5. Let h be j(-6). Which is bigger: h or d?
d
Let g(i) = i + 3. Let f be g(-5). Let z be (-2)/f*(2 + -1). Let r be ((-177)/944)/(5/((-20)/18)). Is z greater than r?
True
Suppose 0 = -p + 11*s - 6*s + 2683, 4*s = 5*p - 13310. Suppose 7*q + 544 = p. Is 302 greater than q?
False
Let z = -16469/362 - 1/181. Let a = 5831 + -5878. Is a smaller than z?
True
Let g = 342 - 563. Let w = 2 + g. Let z be 3*(1 - (217/w)/(-1)). Is 0 >= z?
False
Let c = 2956 + 2064. Which is bigger: 1 or c?
c
Suppose 2*c - 8 = 2*b, -3*c = -45*b + 49*b + 16. Which is bigger: -31/105 or c?
c
Let i = -16.89 - 1.11. Let a = i - -18.1. Is a < -5?
False
Suppose 103*u - 97*u - 974 = 5*f, 0 = -3*f - 4*u - 592. Are f and -197 nonequal?
True
Suppose 1420 = -5*k - 5*c, -2*c = -k + c - 268. Which is bigger: -2521/9 or k?
k
Let h = -8 + 11. Suppose -h*p - p - 36 = 0. Let x(u) = -3*u**2 - 6*u + 14. Let i be x(-4). Are p and i nonequal?
True
Let i(q) = q**3 - 10*q**2 + 9*q - 2. Let p be i(9). Let g(l) = 3*l**2 + 2*l + 1. Let j be g(0). Let x be ((2 - (p - -4)) + 0)*j. Which is bigger: x or -1/26?
x
Suppose 18*p = 19*p - 5*d + 5203, -3*p = 4*d + 15761. Are p and -15730/3 unequal?
True
Let x = -27324 + 27294. Is 34 less than x?
False
Let b(l) = l**3 + 5*l**2 - 15*l - 27. Let o be b(3). Let y = -6 - -9. Let r be (-4)/42*y/(-2). Which is greater: o or r?
r
Suppose -675 = -7*p + 10*p. Let h = 94 + p. Which is smaller: -132 or h?
-132
Suppose -16193*j - 517 = -16185*j + 1467. Which is greater: j or -6?
-6
Let x = -96.1 + -66.9. Let a = -298 - x. Which is smaller: 2/11 or a?
a
Suppose -22*d + 98*d - 278692 = 0. Which is greater: d or -1/6?
d
Suppose -2*x + 13 = -0*x + 5*k, 5*x + k = 21. Let a = 20 - 18. Suppose 2*r = 4*w - 46, -x*w = a*r - 5*r - 63. Is -20 greater than or equal to r?
False
Let s(t) = -t**3 - 30*t**2 - 28*t + 33. Let z be 54/243 + (-263)/9. Let a be s(z). Which is smaller: 3.1 or a?
3.1
Let v = 9455 + -9454. Which is bigger: v or 8/291?
v
Let d = -5.67308 - -0.19308. Which is bigger: d or 5?
5
Let y = -4260/91 - -798/13. Let m = 2237/154 - y. Which is greater: m or -1?
m
Let q = -11.1 - -11.3. Let i = 93 - 39. Let o = -55 + i. Which is smaller: o or q?
o
Let z = -173.6 - 13.4. Let b = -160.75 - z. Let u = -0.25 + b. Is u less than or equal to -1?
False
Let d = 2.065 - 0.065. Let w be (-30)/(-33) - -10*(-4)/20. Is d <= w?
False
Let d(f) = 2*f**2 - 38*f - 13. Suppose 2*s + 8 = 0, 5*z + 3*s = -0*s + 73. Let r be d(z). Is -80 >= r?
True
Let u = -16709/12 - -1391. Let f = -640 - -639. Are u and f nonequal?
True
Suppose 0 = 4*i - 1 - 15. Let s be 2/(-24)*i + (-14)/(-6). Let n be (-2 + -2)*(s + -2 + -2). Which is smaller: n or 9?
n
Let f = 13 + -5. Let l be 51/7 - f/28. Suppose l*z = 4*z - 3. Is z > -7?
True
Let x be (-2345577)/360854*2 + 13. Which is smaller: x or 1?
x
Let q = -1267.0099 + 0.0099. Let k = q + 1289.08. Let n = 0.92 + k. Which is smaller: 0 or n?
0
Let g = -68 - -56. Let u be (-6)/(((-3)/1)/(g/(-618))). Is u not equal to 0?
True
Let p = -1410 + 1410.06. Let f be 396/(-187)*-2*(-1)/6. Which is bigger: p or f?
p
Let s be 1/24*3 + (-19)/(304000/1992). Is 1 less than or equal to s?
False
Let p be ((-1)/(1 + 3))/((-279)/1243344). Let m = p + -1114. Are m and -1 equal?
False
Let a be (-9)/(-2)*(-8)/(-6). Suppose 2*i - 9 = -4*y - 3*i, -2*y + 5*i = 3. Let k be a*3 - y/(-3)*3. Is k at most as big as 20?
True
Let k = -32.14 + 32. Let r = -0.22 - k. Let b = -7 - -5. Which is smaller: b or r?
b
Let z = 34 + -21. Let j = -4.0882 - -4.04. Let i = j + -0.0518. Is z greater than i?
True
Suppose -282*l - 5*v - 81670 = -277*l, 0 = -l + 4*v - 16319. Is l <= -16331?
True
Let m be (-8)/(-72)*-3 - 2312/(-6). Suppose -17*o = -3*a - 12*o + 245, 5*o - m = -4*a. Is 90 != a?
False
Let j = -35 + 34. Let m = 5011239/230 - 21788. Which is smaller: m or j?
j
Suppose -m = 5*w + 14, -16*m + 21*m - w - 34 = 0. Let k be ((-5)/870)/(m/24). Which is greater: -5/6 or k?
k
Let v = 734 - 746. Let d = -3 + 11. Suppose -42 - 22 = d*i. Does v = i?
False
Let d be ((-12)/(-68))/(18/4). Let i = 43 - 57. Let g = -15 - i. Which is greater: g or d?
d
Let d(g) = -191*g**2 - 10 + 3*g - 5*g**3 - 248*g**2 + 493*g**2. Let a be d(11). Is a smaller than -98?
False
Suppose -2*s = -360 + 1522. Let g = s - -694. Which is bigger: g or 116?
116
Let p = 27 - 13. Let y = -534 - -519. Let n = p + y. Is -0.27 < n?
False
Let f = -3515 - -3516. Is f greater than or equal to 3/1549?
True
Let k = -97 - -85. Let b be ((-1)/2)/((-226)/k + -1). Which is smaller: b or 1?
b
Let b = 3.317 + 0.143. Let n = b + -3.5. Is -3/5 at least n?
False
Let m be ((-273)/12)/((-42)/56 - -1). Which is smaller: m or -93?
-93
Let n(u) be the third derivative of u**6/120 - 2*u**5/15 + u**4/12 + 19*u**3/3 + 3*u**2 - 7. Let r be n(7). Which is greater: r or -0.18?
r
Let m = 118403/80 + -1480. Let i = 13573/720 + m. Is i greater than or equal to 0.1?
True
Let o be (-4009)/(-4642) - 1/2. Let i = -0.11 + -3.89. Let d = i + 4. Does d = o?
False
Let p(f) = 10*f**3 - 2*f**2 - 2*f + 1. Let v be p(-2). Let l = -73 - v. Let s be 0 + (-2)/l + 26/130. Is s at least as big as 3/25?
False
Let i = -7982 - -42205/6. Let a = -952 - i. Let o = a + 29/6. Which is smaller: 1 or o?
o
Let m be 60/(-75)*(-10)/1. Let z be (-9)/12*(-56)/(m/4). Suppose -u + 18 + z = 0. Which is bigger: 40 or u?
40
Let k(d) = -d**2 - 2*d + 1104. Let m be k(-34). Which is bigger: m or 68?
68
Let u be (-777)/14*(-22)/33. Let d be (-4 + 3 - -2) + 1. Suppose 0 = d*v - 0*v - 74. Is u at least v?
True
Suppose -2*k + 5*c + 83 = 38, -9*c = -4*c - 15. Suppose -3*g + r + 78 = -17, 37 = g + 5*r. Is k > g?
False
Suppose 0 = -2*r + 345 - 297. Let g(n) = -n**3 + 26*n**2 - 50*n + 57. Let u be g(r). Is 18 > u?
True
Suppose -5*i - 60