ue
Let l(v) be the second derivative of -v**4/12 - 13*v**3/6 - 18*v**2 - 40*v. Let a be l(-8). Suppose o - a*s + 13 = 0, 2*s - 17 = -2*o - o. Is o at most 6?
True
Suppose -356*m = -346*m - 10351 + 52231. Is -4187 less than m?
False
Let x(y) = y**3 + 22*y**2 - 23*y + 7. Let n be x(-23). Suppose -22 - 20 = n*w. Let j be (w/4)/((-121)/22). Which is smaller: -1 or j?
-1
Let a = -17438/7 + 156956/63. Let t = -41 + 168. Which is greater: a or t?
t
Let c = -7.525 - -7.565. Which is bigger: -41 or c?
c
Let u be (8/(-3) - 0) + 2. Let s = 10941 - 10897.784. Let h = 0.784 + s. Is u at least as big as h?
False
Suppose g - 9*g + 16 = 0. Let m be (-3)/(3/2) + g. Suppose 5*x - 15 = 0, m = 3*r - 5*r - 2*x + 48. Is r less than 21?
False
Suppose 0 = -20*p + 656 - 3300 - 5656. Are p and -404 nonequal?
True
Let z = 4011.9 + -4012. Which is smaller: z or 9/278?
z
Let a = -133000/53723 + 307/124. Let v = 582271/117844 + a. Is v <= 4?
False
Suppose 4*n + 4*a = 60, -2*n = 2*n - a - 35. Which is greater: -113 or n?
n
Suppose -5*v - 4*x = 89, 5*v - 5*x + 7 + 118 = 0. Let p = 495 - 517. Which is smaller: v or p?
p
Let p = 4 - 3. Suppose 7*i - 3*f + 14 = 3*i, 5*i + f + 27 = 0. Let z be (i - 834/(-162))/((-1)/2). Is z >= p?
False
Let g be 5*(3 + -5) + 3 - (156 + 11). Suppose 0 = -3*t - 94 - 425. Are g and t non-equal?
True
Let c be 3*(1 - 7/(-3)). Let g be c/(-3) - (-7)/21. Let r be (3/441)/(g/9). Are r and -1 unequal?
True
Let q be 5628/670*490/(-9). Is -456 at most q?
False
Let f be 2/(-1) + (-17 - (-5925)/315). Is -26 at most as big as f?
True
Let j(a) = -5*a**3 + 82*a + 8. Let u be j(-4). Let y = -1191/253 + 36/11. Which is smaller: y or u?
y
Suppose 2*t - 29 = -5*x - 180, t = -x - 71. Let u = -65 - t. Suppose -4*k + 15 = -n + 1, -3*k - 1 = 5*n. Is u < n?
False
Let n = 3 + -3. Suppose n = -11*j - 3 - 8. Let s be (-114)/(-99) - (j + (-12)/(-9)). Is 0.2 > s?
False
Suppose 6 = -2*d, 0 = -j - 2*j - 4*d - 12. Let k be (-7)/((-35)/48)*200/15. Let q be k/(-522) - (-8)/36*1. Which is bigger: q or j?
j
Let g(y) = y - 39 + 10 + 4*y - 8*y. Let p be g(-10). Are 25 and p equal?
False
Let x = -0.19 + -33.81. Let k = x + 118. Let j = 84.1 - k. Is 4 less than or equal to j?
False
Let k = -2/410337 - -1241879/2229771258. Which is greater: 0 or k?
k
Let v = -963 - -961. Let g be -43 + 46 + v*(-2 - -4). Are 2/3485 and g unequal?
True
Let l = 23662 - 22265. Which is bigger: l or 1403?
1403
Let x be (-1 - 0/10) + 0 + 16. Let k(a) = -a**3 - 2*a**2 + 8. Let r be k(-3). Is r less than or equal to x?
False
Let h(v) = -139*v**2 - 60*v - 25. Let m be h(-6). Which is greater: -4668 or m?
-4668
Let t = 67 + -64. Suppose 322 = 5*v + 2*m - m, -t*v - 3*m + 198 = 0. Let a = v - 94. Is a > 1?
False
Let b = -79/16 + 1805/48. Let m = b + -32. Let l(p) = 1070*p + 6421. Let h be l(-6). Which is smaller: m or h?
m
Let g = -5/56 + 1135/168. Let z = 188971 + -188968. Is z at least as big as g?
False
Suppose -26 + 2 = -4*o + 20. Which is bigger: o or 269/22?
269/22
Let q = 27071.95 - 27082. Is q > 2?
False
Suppose 0 = u - 46*q + 42*q + 13, -4*u + 11 = 5*q. Which is smaller: u or 12/4561?
u
Suppose 698*i - 4 = 702*i, -12 = -2*o + 2*i. Which is greater: 330/53 or o?
330/53
Let f = 2169.3 - 2171. Which is smaller: 0.012 or f?
f
Suppose 5*o - 3*i = 2*i + 520, -2*o - 5*i + 236 = 0. Let m be 2*(3 - 320/o). Suppose 15 + 14 = 4*h - 5*x, 4*h = -5*x - 21. Which is greater: m or h?
h
Let p = 13.7 - 0.5. Let q = p + -13. Is -0.3 greater than or equal to q?
False
Let j = -51480902/25 + 2058938. Is -297 bigger than j?
True
Let k(o) = -o**2 - o - 8. Let w be k(0). Let g be ((-2)/w)/(129/(-15652)). Is g < -29?
True
Suppose 40 - 22 = -6*v. Let a be ((-23)/(-2806))/((3/(-4))/v). Which is greater: a or -2/7?
a
Let f = 54.3652 + -44.08. Let r = f - 0.1552. Let d = -10.2 + r. Which is greater: -3/5 or d?
d
Let g(t) = -32*t + 1598. Let w be g(52). Which is bigger: w or -67?
w
Let d = 7282 + -7994. Which is smaller: d or -708?
d
Let p be (-20)/(-10) + (-3)/((-129492)/(-81538)). Let r = 33/218 - p. Is 1 smaller than r?
False
Let q(t) = -2*t**2 - 10*t - 2. Suppose f + h + 4 + 1 = 0, f = -3*h - 1. Let v be q(f). Let d be 3 + -5 - 61/v. Which is smaller: -1 or d?
-1
Suppose 19*t + 21*t - 360 = 0. Let b be (-10)/6 - (8 + 173/t). Is -28 smaller than b?
False
Let n be (-2)/(-1*(-18)/68). Suppose 3*q - 8 = -9*o + 14*o, 0 = 2*o + 3*q + 41. Which is smaller: n or o?
n
Let c(m) = 46*m**2 - 51*m - 16. Let d be c(8). Let r be (d/240)/((-2)/8 + 0). Is -43 > r?
False
Let b = 1813/3960 - -7/360. Which is smaller: b or 0.2?
0.2
Let p be 1/((-4)/133) + 39/(-52). Let s = p + -38. Are -72 and s equal?
True
Let r be 5*(-185 + 4)*(-32)/(-80). Is -363 greater than r?
False
Let h = 4790/371 + 406/53. Let g = -12 - -32. Is h at least g?
True
Suppose 11*n = -10 - 1. Let z(c) = 45*c**3 + c**2 + 5*c + 4. Let g be z(n). Which is smaller: -43 or g?
g
Let a be 15/970*(-2)/(-3). Let k be 53 - 7 - (-1 - (-2)/(-2)). Let f = k - 48. Is f greater than or equal to a?
False
Let l = -0.021 + 29.021. Let t = l - 28.98. Let q = 3.6 + -4.6. Is q > t?
False
Let y be 1 - (480 - 2) - 6/3. Let t = y + 654. Which is bigger: t or 174?
t
Suppose -17 - 55 = r. Let o = 76 + r. Suppose -5*z + 0*i + 87 = -4*i, -5*z - o*i = -63. Are z and 15 nonequal?
False
Let v(z) = -367*z + 463. Let r be v(3). Is -630 <= r?
False
Let f = 1807/2520 - 1/360. Suppose -17 = -3*q + 2*q - 2*a, -3*q = -5*a - 7. Suppose 0 = -q*j + 14*j - 5. Which is smaller: j or f?
f
Let v(l) = -625*l - 265. Let b be v(-6). Let f = -2714814/779 + b. Which is greater: f or 0?
f
Suppose -29*h - 5053 = -34*h - 26*h. Which is bigger: 177 or h?
177
Let q = -306764/129 - -2378. Suppose 0 = -3*f + y - 11, 5*f - 6*y = -2*y - 23. Let v be (f/6)/1*-2. Are v and q nonequal?
True
Let a be (-11 + 4)/(1/(-4)*1858). Which is smaller: a or 1?
a
Let a(o) = o**3 + 7*o**2 - 17*o + 9. Suppose -3*v = -13 - 2, p - 6 = -3*v. Let l be a(p). Let x be l*((6 - 3) + -2). Which is smaller: x or 9/8?
x
Let g be (126/(-12) + 9)*226/210. Let t = 19/10 + g. Which is greater: 3 or t?
3
Let b be 241 + -241 + (-1 - -2) + 1. Suppose -a - 124 = -123. Is b >= a?
True
Let s(n) = -86*n**3 + 4*n - 6. Let o be s(-4). Let a = o + -49721/9. Let l = a + 43. Which is smaller: -4 or l?
-4
Let h(d) = d**3 - 37*d**2 - 29*d - 43. Let p(t) = -t**3 + 19*t**2 + 15*t + 22. Let i(n) = -4*h(n) - 7*p(n). Let o be i(-6). Is -157 equal to o?
False
Let s = -11.1 - -12. Let n = 1 - s. Let r = 28.534 - 28.714. Is n bigger than r?
True
Let l be 1*63 - (-12)/(-4). Let o = 70 - l. Suppose o*f = 11*f + 7. Which is bigger: f or -10?
f
Suppose 0 = 3*q - 102 + 804. Let v be ((-2)/q)/((-105)/(-90)). Which is greater: 1 or v?
1
Let r = 864 - 887.99. Let y = -0.01 + r. Let u be 1*((-18)/24 - (-2)/(-8)). Which is smaller: y or u?
y
Let j be 4/(-14) + (-11)/((-462)/348). Let f(d) = d**3 + 3*d**2 - 10*d - 10. Let g be f(-4). Which is smaller: g or j?
j
Let w be (-603)/12*5/(27700/88). Let c = w - 1/554. Is c at least 5?
False
Let x = 11 - 8. Let m = 23 - -53. Let g = -145/2 + m. Which is bigger: x or g?
g
Suppose -47*c = -189 + 1881. Is -65 at most c?
True
Suppose 4 = 2*w - 0. Suppose -4*k - w = -2*k. Let y = 4754 - 4751. Which is smaller: k or y?
k
Let d = 137.171 - 0.171. Let u = d - 137.69. Let k = -0.59 - u. Is k less than or equal to 0.26?
True
Suppose 3*s - 2*n = -5, -s + 2*n = 3*s + 6. Which is smaller: 1/4709 or s?
s
Let g be ((0 - 2)/(-4))/((-9)/18). Let n = 9 + -9.32. Let w = -0.23 - n. Is w not equal to g?
True
Suppose 3325*r - 3314*r - 693 = 0. Which is greater: -9 or r?
r
Let g = 3735 - 3735. Is -2/2007 less than g?
True
Suppose 65*v - 47 = 64*v + 2*f, -4*f + 94 = 2*v. Is v < 47?
False
Let a = -134 - -124.4. Let q = a - -9. Is q at most as big as 0.1?
True
Let x = 120 - 132. Let p = x - -12.1. Is -77 < p?
True
Let z = 4998 + -5005. Which is greater: z or 7/12?
7/12
Let l = -1806/37 + 250946/5217. Let z be 32/(-40)*15/(-282). Let b = z + l. Is -1/6 at most as big as b?
False
Let y = 17.748 + -217.748. Is -5/7 smaller than y?
False
Let i = 80.005 + -0.005. Let w = i + -35. Let c = w - 46. Is c at most as big as 34?
True
Let c(q) = 224*q - 8 + 0*q**2 + 5*q**2 - q**3 - 219*q. Let g be c(7). Let o = -59 - g. Which is greater: o or 8?
o
Let k(f) = f**2 - f - 6. Let a be k(-4). Let j =