*3 - 11*t**2 + 5*t + 21. Let n(p) = p**3 + 11*p**2 - 4*p - 20. Let q(v) = -3*c(v) - 4*n(v). Let o be q(-11). Which is smaller: 4/5 or o?
4/5
Suppose -f + 3 = -p, -16 = 2*p + 4*f + 2. Let l be (-4)/p*(-20)/(-72). Is 2/15 at most as big as l?
True
Suppose 4*t + 4*m = -748, 7 = -m + 3. Let c = 1279/7 + t. Which is bigger: c or -6?
c
Suppose -5*w - 25 = -5*x + 6*x, -3*w - 15 = -5*x. Which is smaller: x or -4/11?
-4/11
Let v = -3/35 + -11/35. Let r = -17 - -25. Suppose -65 = 3*n - r*n. Is v at least as big as n?
False
Suppose 2*d = 3*d - 10. Let w(g) = -g - 10. Let s be w(d). Which is bigger: -19 or s?
-19
Let p = 0.9378 - 0.0378. Which is smaller: p or 1?
p
Suppose 2*t + 0*u + 4*u = 32, -116 = -4*t + 5*u. Let c be 18/t - (-6)/(-8). Does -2/105 = c?
False
Suppose -24*i + 1335 + 153 = 0. Which is greater: 61 or i?
i
Suppose 259 = 2*v + 271. Let c(z) = z**3 + 5*z**2 - 4*z + 8. Let t be c(v). Suppose -2*d + d - 2 = 0. Is d greater than t?
True
Suppose 2 - 6 = 2*n. Let f(m) = -2*m - 2. Let p be f(0). Let o be (-3)/p + 55/(-10). Which is smaller: o or n?
o
Let k = -52 - -69. Suppose -10*n - k = -57. Is n less than or equal to 5?
True
Suppose -5*n = 27 - 2, 4*q + 20 = -4*n. Let j(r) = -2*r**2 - 1 - 4*r - r**2 + 2*r**2. Let l be j(-3). Is l less than q?
False
Let z = 301 + -305. Is z <= -46/17?
True
Let y(x) = -x**2 + 68*x - 603. Let f be y(60). Which is smaller: -124 or f?
-124
Let p be (4 + -2)*(171/2)/(-9). Is 15 less than p?
False
Let c = 143 + -143.1. Is c greater than or equal to 1/4?
False
Suppose 0*h + 4*h + 12 = 0. Let l = 1.5 - -1.4. Let x = l + -3. Which is smaller: h or x?
h
Let y = -77 - -76.9. Is -13.8 greater than or equal to y?
False
Let o be (30 + 482)*(-1 + -1). Let y = o + 29699/29. Is 0 greater than y?
False
Let b = 76 + -49. Let y = b - 25. Let h be (-6)/9 - 2/(-6). Which is greater: y or h?
y
Let v = -109 + -313. Are v and -423 equal?
False
Suppose -4*l - 522 = k, l = -7 + 6. Which is smaller: -517 or k?
k
Let m(r) = -2*r**2 + 9*r + 6. Let k be m(5). Which is smaller: 8/39 or k?
8/39
Let l = 14673/14 - 1055. Let c = l - -15/2. Suppose -40*s = -53*s. Is s < c?
True
Let x be 3/(((-51)/10)/17). Which is smaller: x or -62/7?
x
Let r = 2161 + -451647/209. Which is greater: 1 or r?
1
Suppose -93 = 4*k + 59. Suppose 8*w - 5*w + 90 = 0. Let t = w - k. Is 7 equal to t?
False
Suppose 25 = 4*g + g. Suppose g*v + 3*b + 20 = -2, -4*v + 5*b + 12 = 0. Let h = -0.41 + 0.11. Which is greater: v or h?
h
Let d = -59 + 85. Which is smaller: d or 6?
6
Let q(k) = 4*k**2 + 2*k + 2. Let c be q(-1). Let t = 0 + c. Suppose -t*l + 0*l = 8. Which is smaller: l or -1?
l
Suppose -g + 3*j = -5, -3*j + 1 = -3*g + 10. Which is smaller: -0.31 or g?
-0.31
Let m be 9/(-2)*(-1 - -3). Let l be (-30)/m*36/10. Suppose 5 = o, -2*s = -5*o + 21 + l. Which is smaller: s or -8?
-8
Suppose 0 = -3*p + 4*p - 5. Suppose -p = -3*d - 20. Let w(v) = -v**2 - 8*v - 6. Let m be w(d). Are 8 and m non-equal?
True
Suppose 0 = 297*j - 284*j + 2652. Is -405/2 at least j?
True
Let z = 320/101 + -33163/808. Which is greater: z or -39?
z
Let v = -414 - -411. Which is greater: -7 or v?
v
Let g(b) = -2*b - 1. Let o be (-42)/24 + (-2)/8. Let d be g(o). Let r be ((-6)/(-5))/((-12)/(-15)). Are d and r equal?
False
Let j = 863431/621900 - 103/2764. Let h = j + -6/25. Is h bigger than -0.1?
True
Let o(l) = -l**3 + 6*l**2 - 4. Let f be o(4). Suppose 16 = -4*q - f. Let v be 2/q - (-32)/660. Which is bigger: 0 or v?
0
Let l = 17/24 - 121/120. Which is smaller: l or 0?
l
Suppose -3*k + 8 + 7 = 0. Suppose -3*u + 2*u + 3 = z, 0 = 2*u - k*z + 8. Is -2/105 smaller than u?
True
Suppose 2*u + g + g = 20, 0 = -2*u - 5*g + 14. Suppose 31 = -5*t - 19. Let b = u + t. Which is smaller: b or 1/2?
1/2
Let m be 22/(-20) + 0 - 317/(-3170). Are m and 1/883 unequal?
True
Let c = -137 - -83. Let f be (6/(-9))/1*c/(-3). Is -11 greater than or equal to f?
True
Suppose -5*h = -5*x - 40, -22 = -5*h - 19*x + 15*x. Which is greater: h or -6?
h
Let f(s) be the third derivative of s**6/120 - s**5/12 - s**4/24 - s**3/3 + s**2. Let n be f(5). Is -6 greater than n?
True
Let m = 34817/9330 + 1/622. Is m > 3?
True
Let j = -0.1 - 0.9. Let h be (42/(-4))/((-43)/86). Which is greater: h or j?
h
Let a be (2 + 17/(-4))/(28461/(-2506)). Which is smaller: -1 or a?
-1
Let o(f) = 3 + 3*f - 4 - 14*f**3 - f + 11*f**3. Let a be o(1). Is a < -2?
False
Let q(b) = b**3 - 25*b**2 + 51*b + 66. Let s be q(21). Are s and -626 equal?
False
Let f(m) = -7*m - 3 - m**2 + 4 - 4. Let g be f(-3). Let u = 14 - g. Is u equal to -2/7?
False
Let u = 4 - 4. Which is smaller: -6/77 or u?
-6/77
Suppose -11*l + 20 = -6*l. Suppose -l*q = -q. Suppose q = 3*m + 4*m - 28. Which is smaller: m or 3?
3
Suppose 50*v - 2*r + 22 = 54*v, r - 19 = -4*v. Are v and 62/23 unequal?
True
Let o = 138 + -87. Does 0 = o?
False
Let s = -0.02 - 1.98. Suppose -2*f + 15 = -4*a + 5, -8 = 2*a - 4*f. Is a < s?
False
Let l = -1351 - -1365. Suppose 3*t = 19 + 23. Is t <= l?
True
Let o = 115 + -96. Which is smaller: o or -0.7?
-0.7
Let n(s) be the third derivative of s**6/360 - s**5/120 + s**4/4 - 6*s**2. Let u(a) be the second derivative of n(a). Let t be u(-3). Is t <= -8?
False
Suppose -p - 5*q = -26, p - 20 = 6*p - 5*q. Let o(w) = w**3 - 3*w**2 - 2*w + 1. Let r be o(-2). Let j be ((-3)/r)/((-1)/2). Which is greater: j or p?
p
Let t = -51629/69 + -4280/23. Let d = -951 - t. Which is smaller: d or -17?
-17
Let g = -2178 - -2167.9. Let s = 0.5 - 0.4. Is g less than or equal to s?
True
Let m = -0.0009 + 0.1009. Which is smaller: m or -0.058?
-0.058
Suppose -2*w = 2*t - 3*t + 14, -22 = -t + 4*w. Suppose -t*i + i = -25. Does 13/3 = i?
False
Let h = 695/8 - 88. Let i(q) = -q + 1. Let v be i(2). Which is bigger: h or v?
v
Let s be (-36)/((-8)/4) - 0. Suppose 30 = 2*y - s. Which is bigger: y or 23?
y
Let f = -164 + 818/5. Suppose -21 = k - 5*c, -3*k = -0*k - c - 7. Suppose -5*a + 0*w = -w - 9, 0 = -5*a + k*w + 21. Which is smaller: f or a?
f
Let i = 260 - 237. Which is smaller: -0.1 or i?
-0.1
Suppose -6*v = -3*v - 3. Let w = v + -8. Let a = w - 1. Is a <= -9?
False
Let j be ((-4)/(3 + -7))/(1/1). Let m = 32 - j. Which is bigger: m or 32?
32
Suppose 1 = -k + 6. Suppose -5*m - 4*l = 101, -k*l = -2*m - 2*m - 89. Is -22 < m?
True
Let n = 4 + 17. Let g be (-3)/n + (-172)/(-28). Is g smaller than 4?
False
Let f = -451 - -4064/9. Let q = -98/9 + f. Which is smaller: q or -10?
q
Suppose -2*r + 4*r + 116 = -3*d, -4*r - 224 = 2*d. Let t = -53 - r. Is 1/26 != t?
True
Let j = 36.7 + -37. Let p = -3 - -3.3. Let x = j + p. Which is smaller: 3 or x?
x
Suppose 64*u = 69*u - 240. Let c = u - 16. Which is smaller: c or 33?
c
Let x = 1.227 - 0.697. Is x at most as big as 1/5?
False
Let z be (-2 + 3)*(-2 - -1). Let u be -2 - (-1 + (z - -1)). Let m = -7872 - -62973/8. Does u = m?
False
Let p = 59 - 63. Is p < -6?
False
Let y be 378/30 + (-2)/(-5). Suppose 0 = -4*a + 3*q + 27, -2*q = a - 2*a + y. Suppose 5*i + 2*n - 9 = 6*n, 2*n + a = i. Which is bigger: 3/7 or i?
i
Let y be (162/(-72))/((-3)/8) + 217. Which is smaller: y or 224?
y
Suppose -5*s + f = -2*s - 148, -s + 42 = -4*f. Let l be ((-2)/(-3))/(s/(-20)). Is 1 != l?
True
Let u = -0.0627 + 5.0627. Which is smaller: u or -46?
-46
Let p be (-19)/38*(-5 - -1). Which is smaller: p or 25?
p
Let h(k) = -15*k + 7. Let z be h(2). Let q be -2 + (-4)/z*10. Let v = q - 21/184. Is -1 < v?
True
Let y be (-12)/(-4) + 2*-2. Let r = -49/12 - -11/4. Is r at least as big as y?
False
Let x = 412 - 415. Is x less than or equal to -27/11?
True
Suppose 14 = -10*l + 64. Suppose -2*p - l*u - 25 = 0, -2 = -2*p + 2*u + 8. Are -1 and p unequal?
True
Let d(z) be the first derivative of 19*z**3/3 + 2*z**2 - 4*z + 5. Let r be d(-6). Let k = r - 4600/7. Which is smaller: -1 or k?
k
Suppose 0 = -2*g + 3*r - 8, -g - 2*r - 4 = 2*r. Let c(o) = o**3 + 4*o**2 - 2*o - 4. Let q be c(g). Suppose 6*d - 2 = q*d. Is -4/19 >= d?
False
Let s(o) = -o - 1. Let v be s(-7). Let t be 3/(-2)*(-16)/v. Let b be (4/t)/(1/(-2)). Which is bigger: -6 or b?
b
Suppose 78*j + 3581 = -241. Is j <= -67?
False
Suppose 120 = r - 2*f, -2*f - 2*f = -5*r + 624. Is -0.2 >= r?
False
Let m = 21.105 - 3.105. Let d = -0.01 + 0.41. Let o = d + -0.3. Is m greater than o?
True
Let s be (4/819)/((-14)/21). Let l be 1 + (33/6 - 5)*0. Is l < s