Is 1 at least i?
True
Let a(y) be the third derivative of y**5/60 - y**4/6 + y**3/2 + 60*y**2. Let u be a(2). Which is smaller: u or 3?
u
Let k = -109 + 78. Let x = -22 - k. Let a be 2/x + 91/(-369). Are a and 0 non-equal?
True
Let x = -673865/84 + 24056/3. Is x at least -5?
True
Let z = -59891/6 - -18821/2. Which is smaller: z or -570?
z
Let s be (-770 + 16 + -9)/((-16)/4). Is s at most as big as 191?
True
Let x(r) be the second derivative of -r**5/20 + 5*r**4/12 + 2*r**3/3 + r**2 + 2*r. Let w be x(5). Let a be (-3 + 1)*(-2)/w. Are 0 and a non-equal?
True
Let z = -0.58 - -23.58. Let v = z + -44. Let w = v + 5. Which is smaller: w or 1?
w
Let g(c) = 2*c - c + 5 + c - 24. Let x be g(8). Let i be (7/x + 3)*3. Is -1.7 greater than or equal to i?
False
Suppose -1701 = -66*x + 93*x. Which is greater: x or -61?
-61
Let q(o) = o**3 - 4*o**2. Let j be q(4). Let d be (4/30)/((-355)/(-25)). Let w = d + -301/9372. Which is greater: w or j?
j
Suppose 5*s + 2*s = 56. Let h = 26 - -144. Let d be 1 + (-5 - h/(-14)). Are s and d equal?
False
Let z be 1*4/6*6. Suppose -z*v = -3*t + 10, -2*t + 3*v - 2*v + 5 = 0. Suppose 4*f - h + 59 = 0, -2*h = t*f + 10 + 32. Is f <= -16?
True
Suppose -4*b = 5*d - 13, -5*b = -4*b + 3. Suppose 0 = -d*c + 10, -7*o + 6 = -3*o - 5*c. Let h = -48 + 61. Which is smaller: h or o?
o
Let j = 4366 - 3875. Let b = 31/4 - 8. Is b equal to j?
False
Let a be (-129444)/336 - (-2 - (-7)/4). Let t be (-25610)/a - (-8)/(-88). Is t less than 65?
False
Let j be (100/6)/(964/231) + -14 + 10. Is -1 less than or equal to j?
True
Suppose 4744 = 3*j - p, -5*j - 6*p + 7900 = -11*p. Let c = j - 93335/59. Is 1 at least c?
True
Suppose 0 = -7*h + 14*h - 0*h - 7. Which is greater: h or -4/1899?
h
Suppose 4*j - 28 = -0. Suppose -282 = -24*p + 126. Suppose p*t + 10*t = 351. Which is smaller: j or t?
j
Suppose -40 = -3*y - 2*y. Let z = y + -6. Suppose -46 = -2*a + 5*i, -4*i + i + 14 = z*a. Which is greater: a or 14?
14
Suppose 11*l = 115 - 1083. Let d be (-33)/l*12/(-1341). Are 1 and d non-equal?
True
Suppose -173 = -0*p - p. Suppose -h - p = 379. Let o be (h/(-36))/((-4)/6). Are -22 and o equal?
False
Let x(t) = -2*t**3 + 51*t**2 + 26*t + 3. Let r be x(26). Suppose 8*p = 4*m + r*p - 30, -5*m - 4*p + 17 = 0. Suppose 0*a = 5*a - 15. Which is smaller: m or a?
a
Let a = -570 - -2374. Which is smaller: 1803 or a?
1803
Let n = 5442.5 + -5442. Is n equal to -230?
False
Let w = -8796 + 8793.1. Which is bigger: -18 or w?
w
Let k be (-16 - (-322)/28)/(6/8). Suppose 4 + 4 = 2*y. Suppose -32 + 4 = y*g. Is g < k?
True
Let w = -616 + 316. Let o be (-2)/(-11) - (w/44 + 7). Which is bigger: -137 or o?
o
Let w = 2126 + -2126.7. Is w >= 93?
False
Let g be (104/(-39) + 2)*(1140 - 3). Is g at least -758?
True
Let r(q) = 3*q**2 - 9*q + 8. Let x be r(2). Suppose 4*p = 2*s + s + 15, -10 = -x*s - 4*p. Which is bigger: s or 3/23?
3/23
Let v be (-4)/5*(-35)/(-6). Let q = -37997 - -37996.9. Is q <= v?
False
Let c = -1421092/511 + 2781. Suppose -w - w = 0. Which is bigger: c or w?
w
Let x(f) = 40*f**2 + 43*f - 305. Let l be x(6). Which is smaller: l or 1392?
1392
Suppose 29*r = 39*r - 3560. Let u = 356 - r. Let j = -609586/287 - -2124. Which is greater: u or j?
j
Let n be 1 - (-6964437)/4788 - (-3 + 2). Let x = 1631/228 + n. Let b = x + -1458. Is 5 bigger than b?
False
Let a be ((-6)/4)/((-3)/(-4)). Let n be -5 + 6 + (-1813)/1815. Let m = -6659/3630 + n. Which is bigger: m or a?
m
Suppose 107*g - 68322 = 48*g. Is g > 1157?
True
Let b(q) = 8*q**2 + 26*q - 15 + 6*q**2 - 36*q**2 + 12*q**2 + 12*q**2. Let a be b(-12). Which is greater: -202/5 or a?
a
Suppose -6*b - 1347 + 513 = 0. Which is smaller: b or -140?
-140
Let n be ((-1)/12*-3 + (-6460)/816)*3. Which is greater: n or 161?
161
Let o be -14 - (-181747)/12835 - 1/5. Which is smaller: 0 or o?
o
Suppose -3*y + a - 3 = -y, 3*a - 9 = -y. Suppose 2*w - d - 19 = y, -2*d + 3 = 1. Do 39/4 and w have the same value?
False
Let g = -276 - -278. Suppose 0 = -2*u + g*n + 24, 15*u - 10*u + 4*n - 33 = 0. Is 8 greater than or equal to u?
False
Let t(g) = -5*g**3 + 10*g**2 - 10*g + 178. Let x be t(9). Is x <= -2746?
True
Let n(k) = 3*k - 9. Let h be n(9). Suppose -h*g = -946 - 2186. Let r = -455/3 + g. Which is greater: r or 23?
23
Let j = 466 - 247. Let r = -148 + j. Let k = -71.17 + r. Which is bigger: -0.1 or k?
-0.1
Let s(w) = 2*w**3 - 3*w**2 + 3*w - 13. Let h be s(3). Let i be ((-4)/(-30))/(h/69). Is i bigger than -2/27?
True
Suppose 2*k + 1 = 5. Let i = -225 + 230. Suppose -k = -z + i*v + 3, 38 = 4*z - 2*v. Which is smaller: z or 9?
9
Let y(k) = 30*k + 782. Let i be y(-12). Does i = 424?
False
Let g(w) = w**2 - w - 38. Let t be g(11). Let x be (-22)/t - (20/15)/(-4). Which is smaller: -1 or x?
-1
Let n = 0.044 + 0.132. Let v = -469.254 - -469.3. Let i = v - n. Is i < 0?
True
Let o(u) = 2*u**3 + 8*u**2 + 14*u + 42. Let t be o(-3). Which is smaller: 591 or t?
t
Let f(h) = 9*h**2 - h. Let s be f(2). Suppose 2*j + 264*d - 265*d - 74 = 0, 0 = -5*j - 2*d + 167. Is j <= s?
False
Let m be 25 - 11 - (3 + 1706). Which is smaller: -1697 or m?
-1697
Let u = 39.79 + -38.79. Is -1721 < u?
True
Suppose -47732 = -4*j + 2*r, 3*j + 2*r - 35785 = 7*r. Let s be (0 + (-2)/(-5))/((-77)/j). Is s equal to -62?
True
Let h = 1996 + -1990. Which is greater: -2 or h?
h
Suppose -i - 5*v + 156 = 0, -5*i - 5*v + 130 = -670. Suppose 4*r = -5*a - 106, 3*r = 5*a - 48 + i. Is a at most -25?
False
Let o = -2/137047 - 251000/1582481709. Is o at least -1?
True
Let l(o) = 1418*o**2 - 387*o + 764. Let c be l(2). Which is greater: c or 5663?
5663
Let s(v) = -4*v**2 + 12*v + 16. Let i be s(4). Is -2/9163 greater than i?
False
Let g = -21892/274275 + -2/10971. Which is smaller: 3.23 or g?
g
Suppose n + 5*m = 29, 37*n - 6 = 33*n + 2*m. Let w be n/14 + 0 + 14/(-49). Which is greater: w or 1/238?
1/238
Let s be (2/2 + 3)*(-1 - -2). Suppose -42 = -s*i - 46. Let l be 17/15 - (i - -2). Which is greater: 2 or l?
2
Suppose 3*o + 0*o = -4*j + 1, 3*j = -o + 2. Let z be (2*(-3)/42)/(1/89). Let k = 13 + z. Does j = k?
False
Let d(a) = 2*a**3 - a**2 - 2*a + 8. Let l be d(2). Suppose -2*p - p - l = 5*m, 0 = 2*m - 8. Is p <= -12?
True
Let k(v) be the second derivative of v**5/20 - 5*v**4/2 - 5*v**3 + 12*v**2 + 46*v + 1. Let r be k(31). Is 56 > r?
True
Suppose -f = -5*h + 2*f + 35, -2*h - 2*f + 30 = 0. Let n(m) = -15*m + 8*m + h*m - 5*m**2. Let k be n(3). Is -35 bigger than k?
True
Let h = 777 - 998. Let s = 162 + -384. Which is greater: s or h?
h
Let f(j) = 99*j**3 + 9*j**2 - 6*j - 1. Let p be f(1). Let g(w) = w**3 - 5*w**2 - 2*w + 15. Let m be g(7). Which is smaller: p or m?
m
Let a = 3044/795 + -58/15. Suppose 4*g + 130 = -5*m + 119, 0 = -m - 3. Are g and a non-equal?
True
Suppose -42 = 15*i - 13*i. Let r be ((-2)/(-4))/((4305/(-20))/i). Which is greater: 0 or r?
r
Let c be 3 + 7/((-245)/90) + (-27 - -239). Is c equal to 211?
False
Let b be 25320/100*(-105)/28. Which is bigger: b or -950?
b
Let y = -134421 + 911912067/6784. Are y and 1 equal?
False
Let z be 132/(-1664)*74 - -6. Which is smaller: 0 or z?
0
Let d be 489141/(-345) + 1*4. Let n = -7401/5 - d. Is n at most as big as -67?
False
Let b be 155*(13/(-5) - (2 - 5)). Let s be ((-51)/(-68) + b/(-8))/(-1). Which is bigger: s or -2?
s
Suppose 0 = 109*i + 21 + 88. Which is smaller: -2/641 or i?
i
Let d(z) be the third derivative of z**6/40 - z**5/20 + z**4/24 - z**3/2 - 2*z**2. Let s be d(2). Suppose 0 = -10*a + s*a - 3. Which is greater: a or 6?
6
Suppose -114*g - 9 = -117*g. Suppose -2*s - 10*d + 34 = -12*d, -d + 51 = g*s. Suppose -2*i = -0*b + 5*b - 57, -i = 5*b - 41. Is i >= s?
False
Let i be -5 + 1*118*3 + 2 + 3. Is i at least as big as 1061/3?
True
Let r = -6107 + 6105. Is 282.5 < r?
False
Suppose -29*a - 21*a + 6144 = -47*a. Which is greater: a or 2046?
a
Suppose -29 - 242 = -7*h + 107. Is h at most 68?
True
Let p = 152 - 333. Let d = -180.83 - p. Which is bigger: 11 or d?
11
Let h = -210.071 - -210. Let b = -34 + 34. Which is smaller: b or h?
h
Suppose 4*j = -2*i + 16, -2*j + 0*j + 8 = -i. Suppose -3*d + 15 = -3*x, i = -5*d + 4*x + 18 + 4. Suppose 18 = 4*y + d*c, -2*y + 7*y - 24 = -4*c. Is 4 < y?
False
Let y(o) = -17*o + 91. Let a be y(-7). Let m be 120/a - 2682/14. Which is smaller: m or -1?
m
Let a(v) = v**2 - v - 1. Let g(l) = 2*l - 2.