t f(n) = 3*n - 39. Let y(q) = -q**3 + 8*q**2 + q + 6. Let u be y(8). Let k be f(u). Let x be ((-7)/2)/(k/6*1). Which is bigger: x or -6?
-6
Let f(g) = g**2 - 103*g + 2621. Let y be f(45). Does y = -0.582?
False
Let z be (88/(-33))/((-20)/15). Suppose -3*k + 4*k = 4*r + 5, 5*k - 25 = -z*r. Which is smaller: r or 9/88?
r
Suppose 1403*b + 30159 = 5*p + 1405*b, 4*p = -b + 24129. Which is smaller: 6034 or p?
p
Suppose -134 = -0*p - 2*p. Let y be 17/8 + ((-44)/32)/11. Which is greater: p or y?
p
Let b = 2693 + -2626. Are -26 and b unequal?
True
Let q be (1 - (-9)/3)/(13 - 14). Let p be -4 - 30/66 - q. Do p and 0.07 have the same value?
False
Let i be (-2 + (-4 - -3) - 4517) + -2. Which is smaller: -4521 or i?
i
Let k be (-1)/(2 + 51/(-27)). Let g(o) = -2*o**3 + 3*o**2 + o + 3. Let x be g(2). Let v be (-146)/2628*(1 + x - 0). Is v greater than k?
True
Let w = 61 + -120. Let t = w - -59.41. Let n = t + 0.59. Which is smaller: n or -8?
-8
Let x be (1 - 0) + 14/(-2). Let n be (x/(-21) - 2)*7. Does -7 = n?
False
Let s be (-6)/(-5 + 11)*(0 + -10). Let v be (-66)/12 + s + -5. Are v and -11/3 nonequal?
True
Let k(s) = s**2 - 2*s - 10. Let v be k(5). Let h(p) = -14*p + 6. Let g(y) = 40*y - 19. Let d(w) = -6*g(w) - 17*h(w). Let o be d(v). Is 8/5 less than o?
True
Let j = 5256 - 5253. Let q(g) = 0*g**3 - 2 + g**3 + 6. Let p be q(0). Is j >= p?
False
Suppose 2*r - 567 = -5*r. Suppose -5*u + 10 = 0, 2*o - 2*u = 2*u + 150. Is r at most o?
False
Let b = 36 - 33. Let g be 8*4/28*b. Suppose 0 = 2*t - u - 9, -9 + 3 = -2*t - 2*u. Which is greater: t or g?
t
Let f = 2223971/2007240 + 6/16727. Which is greater: f or 0?
f
Let z(d) = 9*d + 29. Let u(f) = f**3 + 3*f**2 - 3*f - 3. Suppose -13*w + 14*w = -4. Let x be u(w). Let v be z(x). Is -33 less than v?
False
Suppose 0 = -231*y + 547239 + 1288749. Is 7946 < y?
True
Suppose -14*z = 38*z - 2392. Are 63 and z equal?
False
Let h(b) = -2*b**3 + 7*b**2 - 5*b + 10. Let c be h(5). Let a = 99 + c. Let j(w) = -w**3 + 8*w**2 + 9*w + 1. Let t be j(a). Is t <= 5/16?
False
Let u = 0.03 + -0.05. Let b = -40.02 - u. Let l = 926 - 926. Do b and l have the same value?
False
Suppose o = -93 + 109. Let i be (-2)/(-4) + 2*(-1252)/o. Is i bigger than -156?
False
Suppose -3*y - 2*y + 15 = 0. Suppose 0 = -1282*j + 9509 + 8189 + 250. Is y greater than j?
False
Let t(u) = -6*u + 39. Let n be t(10). Let r be 28/n*3 + 1 + -3. Let i(k) = 2*k**2 + 14*k + 2. Let s be i(r). Which is greater: s or -19/2?
-19/2
Let m be (-316)/26 + 6492/541 - (-432)/2132. Let y = 4 - 10. Which is smaller: y or m?
y
Suppose -4*t = -22*t + 3996. Suppose 9*k = -28*k - t. Let p be (5 - 4) + 15/(-2). Which is smaller: p or k?
p
Let n(v) = v**3 - 5*v**2 + 16. Let d(x) = -x**3 + 7*x**2 - 13*x + 10. Let z be d(4). Let u be n(z). Let k be -61*(-1)/u - (-5)/(-20). Are k and 2 equal?
False
Suppose -3*u + 252 = 4*c, 36 = -5*c + 2*u + 351. Suppose 68*v = c*v - 35. Let b(j) = -j**2 - 5*j + 11. Let f be b(-7). Does v = f?
False
Let k = 6691 + -6691.58. Which is greater: -23 or k?
k
Let w(a) = -5*a - 35. Let d(l) = 10*l + 70. Let p(x) = 2*d(x) + 5*w(x). Let v be p(-6). Let z = v + -29/3. Which is bigger: z or -15?
z
Let o = 652 + -518. Let u = o - 131. Is u > 13/3?
False
Suppose -3*j = -5*u + 440, -3*u - 188*j + 264 = -189*j. Suppose -4*s - 433 = -5*h, -3 + 6 = s. Is h greater than or equal to u?
True
Let w(b) be the third derivative of 5*b**4/24 + 13*b**3/3 - 3*b**2. Suppose 4*j - 5*o + 29 = -2*o, -o = -2*j - 13. Let y be w(j). Which is bigger: y or -1/14?
y
Let r(d) = -d - 4. Let n be r(-3). Let m = -17233/6713 - -124/49. Is m at most as big as n?
False
Let s(o) = 1032*o + 117. Let p be s(-1). Which is smaller: p or 1?
p
Let c be (-18)/21 - ((-2)/(-8) - (-71386)/(-392)). Which is bigger: c or 153?
c
Let u be ((-4)/2)/(5*(-12)/(-30)). Let s be (1/u)/((-1)/87). Let v = 88 - s. Is v >= -3/49?
True
Suppose -2*o - 3*x = -541, 0*x - 268 = -o - 4*x. Suppose -365 = -7*g + o. Is g not equal to 92?
True
Let j = -10306 + 10305.29. Is -1/42 at least as big as j?
True
Let a = 16.815 - 0.115. Let y = a + 61.3. Let g = -62 + y. Do -1/3 and g have different values?
True
Let t = 11.5597 - -1.0403. Is t bigger than 7?
True
Let f be 33*8 + 3 + 10 + -12. Let h be 11/(-3 + f/90). Is -198 less than or equal to h?
True
Let j be (0 + 13)/((12/(-162))/2). Let x be (j/(-6))/(-9)*84. Is -546 less than or equal to x?
True
Let n = 9.749 + -9.799. Is -1/22 less than n?
False
Let l = -11628 - -2348847/202. Suppose -2 = -2*b - 0*b. Which is smaller: b or l?
l
Let a be (-2 + (-11)/(-8))/((-210)/168). Which is greater: a or -6/251?
a
Let v = -33 - -79. Suppose 48 = 3*t + 60. Let m = 42 - t. Is v at least as big as m?
True
Let i = 30.4 + -3.1. Let c = i - 72.3. Which is smaller: c or -2/7?
c
Let j = 252 + -436. Let k = 628/3 + j. Is k less than -1?
False
Let a(z) = z**2 - z + 1. Let p be a(2). Suppose -9 = 2*r + p*d, -3 = 4*r + 4*d + 9. Suppose -5*x + 0*x - 5*g - 65 = 0, g - 5 = r. Is x not equal to -20?
True
Let q = 176 - 178. Let n be q/(-3 + 0 - 2). Is n greater than 177?
False
Let l be 2/(-24)*(-250740)/280. Does 76 = l?
False
Let r be 46/(-10) + 2/(-5). Suppose -240*v = -273*v - 462. Let l be (4/(-10))/(2 - v/r). Is -2/33 <= l?
True
Let k = 3603.7 - 3604. Which is bigger: 919 or k?
919
Suppose 5*h + 45 = -3*b, 2*b - 5*b - 33 = 4*h. Let f = 34 - h. Let k = -42 + f. Is k <= -2/5?
False
Let m be 32*((-2792)/400 - -7)*-3. Which is greater: m or -2?
m
Let h = -3.419 + 2.419. Which is greater: 0.474 or h?
0.474
Let i(j) = -33*j - 152. Let s be i(45). Is s > -1637?
False
Let w(r) = -4011*r**3 + 3*r**2 - 11*r + 9. Let v be w(1). Is -4011 > v?
False
Let a = -4908 + 2772. Do -2136 and a have the same value?
True
Let w = -2098.051 - -2135. Let r = -0.051 - w. Let n = 30 + r. Which is smaller: 6 or n?
n
Suppose -34*d - 4 - 9 + 13 = 0. Which is bigger: -41/261 or d?
d
Let q = -24 - -33. Suppose q + 0 = -3*d. Let h(y) = 3*y. Let t be h(d). Is -9 <= t?
True
Let u be (116 - 234) + (-8 - 2) + 1. Is -1130/9 at least u?
True
Let s(a) = -13*a + 24. Let l be s(2). Let j be -6 + 12 - (l - -7). Which is bigger: -2/239 or j?
j
Let k(b) = -15*b**2 - 464*b + 7. Let w be k(-31). Suppose 2*l + 12 = -32. Is w smaller than l?
True
Let i be (-4 + 27534/6894)*3. Which is bigger: 0 or i?
0
Let i = -9.15 - -9.1. Let m be (-15)/(-3)*(-14)/(-5). Let j = m + -12. Is j less than i?
False
Suppose 3*p = -366 - 150. Let m = -177 - p. Which is bigger: m or 7?
7
Let p(o) = -7*o**2 - 11*o + 52. Let v be p(11). Let n be (99/66)/((-6)/v). Which is bigger: 228 or n?
n
Let b be (-10)/4 + 2 - 5030/(-20). Let l = b - 341. Which is smaller: 1 or l?
l
Let q = -483092/9 + 53777. Let d = q - 100. Suppose 4*m + 7 = -m - 2*v, 5*m + 5*v + 10 = 0. Which is smaller: m or d?
m
Let i be ((-1296)/(-243))/((-2)/6). Let p = -49/3 - i. Is p at most 24?
True
Suppose -2*a + 12*w - 14*w = 0, -a + 4*w = -15. Let c be 3/((-40)/(-14) - 3). Let m = 47/2 + c. Which is smaller: m or a?
m
Let d = -91854 - -371725/4. Is 1077 bigger than d?
False
Let n = -7 - -6. Let v = -1 - -33. Let l be v/(-6) - -5 - 219/(-630). Which is smaller: n or l?
n
Let n(s) = -313*s - 3757. Let a be n(-12). Which is smaller: 1/1084 or a?
a
Let m = -0.2228 + -2.4772. Let g = -0.14 - 2.46. Let j = g - m. Are -3 and j equal?
False
Let q(k) = -140*k - 5. Let j(g) = g**3 - g**2 - 5*g - 6. Let o be j(3). Let c be q(o). Suppose -8*y - c = -3*y. Do -83 and y have the same value?
True
Let s = 301080 - 7115724719/23634. Are s and 1 unequal?
True
Let k be 4/14 + 18/(-14). Let s be (1/20)/(39/(-4) - (-26 + 10)). Are k and s nonequal?
True
Let k(b) = 47*b + 1005. Let l be k(-22). Which is smaller: l or -17?
l
Let v(p) = p**3 - 10*p**2 + 10*p - 6. Let m be v(9). Suppose -m*o - 4 = -73. Suppose -2*q = -4*c + o + 7, -2*c + 3*q = -9. Is c at least as big as 8?
True
Let k(y) = 2*y**3 + 8*y**2 - 7*y + 19. Let j be k(4). Which is greater: j or -1?
j
Suppose 38 = 17*x - 30. Suppose -f - 1 = -i + 3, -x*f = -i + 19. Is i < -2/1183?
True
Suppose 16 - 313 = -3*q. Are q and 96 non-equal?
True
Let c = -40 - -45. Let q be 2/c + 6/10. Let m be (-8 - -7)/(0 - (q + -2)). Which is bigger: m or 1/27?
1/27
Let n = 92505467626/106879 - 86282/6287. Let t = n - 865169. Let r = 333 - t. Which is greater: r or -1?
r
Let j be (-12)/(-28) - 16/(-2