 g = -1370 + 1365. Let l(p) be the third derivative of -p**5/60 - 5*p**4/24 + p**3/6 + p**2. Let j be l(g). Is 1/17 bigger than j?
False
Let z be 1 + 0 - 26/24. Let c = 284 + -128. Let i be (-26)/c + 1/(-3). Which is bigger: i or z?
z
Let b = 116433/13 - 8968. Let a = -1856/143 - b. Is a smaller than 0?
True
Let f(w) = 3*w + 41. Let d be f(-12). Let h be (d + -3)/((-11)/394). Let q = -72 - h. Which is smaller: 0 or q?
q
Suppose -31*p + 9 = -22. Suppose 0 = q - 3*a + 5*a - p, 5*q = 2*a + 29. Which is greater: q or -3?
q
Let w = -10.03396 + 0.03396. Which is greater: w or -2/133?
-2/133
Let z = 32137 + -16908. Are z and 15228 non-equal?
True
Let f be 78/(-2)*(-20)/30. Suppose 19*q = 21*q + f. Which is greater: q or -66/5?
q
Let c = -7.7 + 13. Let g = 5.1 - c. Let j = -0.19 - 15.81. Which is smaller: j or g?
j
Let y = -1.63 + -64.37. Let s = y - -32. Let i = s + 19. Which is greater: i or -1?
-1
Let u be (-1 - (-5 - 0)) + -2. Let q be (-15)/((-75)/(-40))*(u + -1). Suppose -2 = -i - 6. Are i and q non-equal?
True
Suppose 3*l + 3*w = 195, 4*l - 8*l - 3*w + 257 = 0. Suppose 3*y = 349 + l. Does y = 136?
False
Suppose -134*i - 26 = 74*i + 182. Let q be (-402)/(-5) - 8/20. Are q and i equal?
False
Suppose 5*i - 2*k = -89 + 121, -4*i = 3*k + 2. Let o = -4 + 7. Is i at least as big as o?
True
Let o = 1.2 + -6.1. Let k = o - -5.13. Let f = 0.13 - k. Which is greater: f or 2/9?
2/9
Suppose 2*d + 4 = -2*p, -63*p = -4*d - 61*p - 8. Is d less than -7087?
False
Let p = -25819 + 25819.877. Is p at least 0.3?
True
Let z = 197 - 187. Suppose -5*i - w = z, i = 4*w - 4 + 23. Let t be (-2)/(-4) - (-29)/(-18). Which is bigger: t or i?
i
Suppose 0 = i + 5*a - 29, 76 = 3*i - i + a. Let n = 59 - i. Let k = 463 + -443. Do n and k have the same value?
True
Let f be 0/((2 - 5)/3). Suppose 4*j - 52 = -4*v, 0 = -4*v + j + 4*j + 16. Suppose -v = -24*d + 21*d. Which is smaller: d or f?
f
Let h(y) = y**3 + 32*y**2 - 521*y + 125. Let k be h(-43). Is -0.1 bigger than k?
False
Let t be (-24)/40 - 271473/(-375705). Let z = -16/121 + t. Is z less than -1?
False
Let d be -3 + 6/((-36)/(-17)) + 10517/(-6). Do -1754 and d have different values?
True
Suppose 0 = -3*u + 11 - 14. Which is smaller: u or 2/4437?
u
Suppose -n - 3*o = 3, -4*o - 5 = -n - 1. Let i be (-18)/5*770/(-21). Let s = i - 224. Is s at least n?
False
Suppose 0 = -11*u + 23*u. Suppose u*r = 10*r + 120. Which is bigger: r or -67/5?
r
Let k be (-1439)/(-12) - -9*5/540. Is k less than or equal to 127?
True
Let d be 45/(-27)*(-215 + 1 + -2). Suppose -7*h = -2*h - d. Let n be 4/((-136)/1)*h. Is n >= -1?
False
Let d = 252489/320 + -3951/5. Is -1 greater than d?
True
Suppose 4*x + 11 = -f, f - 2*x - 16 = -3. Suppose -3*c + 6*c + 10 = 4*z, 2*z + 8 = -f*c. Let q(s) = 2*s**3 - 1. Let k be q(z). Which is smaller: k or -4/9?
-4/9
Let w = -60/17 - -248/51. Suppose 4*k = -9*k - 1963. Let h = k + 603/4. Which is greater: w or h?
w
Let z be (0 + 1 - 0) + 4. Suppose l - 6*l = 2*f - 30, z*f + 12 = 2*l. Let q be (51*(-4)/(-144))/((-14)/(-56)). Is l at least as big as q?
True
Suppose 5*y - 406 = -4*c, 17*c = 22*c - 5*y - 485. Let a = -2 + 101. Is c at most as big as a?
True
Let d = 0.53 + 3.67. Let w = -0.8 - d. Let v = 5.3 + w. Which is greater: -9 or v?
v
Let p be (83 - -1)/(17 - 15). Is -10 not equal to p?
True
Let g(y) = 7*y**2 + 2*y - 6. Let k be g(3). Suppose -3*z = -4*x - k, 0*x - 2*x - 5*z = 51. Let q = x + -5. Which is smaller: -21 or q?
q
Let u(o) = o**3 - 81*o**2 + 152*o + 474. Let x be u(79). Is x bigger than -20/1069?
True
Let r(l) = 9 + 2*l + 23 + 8. Let c(m) = -m**2 + 5*m + 31. Let a be c(10). Let k be r(a). Which is bigger: 1/2 or k?
k
Let m = -8716 + 9102. Which is smaller: m or 375?
375
Let m = 71.2195 - -0.1805. Which is smaller: -1/3 or m?
-1/3
Let n be ((-26)/12)/13*(-16 - (5 - 4)). Which is bigger: n or -76?
n
Let d = 14092.6 - 14090. Which is smaller: d or -244?
-244
Let g(q) = 19*q**2 - 4*q + 4. Let r be g(3). Suppose 0 = 682*p - 681*p + f - 7, 0 = -4*p - 2*f + 12. Which is smaller: r or p?
p
Let a be ((-12)/(-10))/(3/(-15)). Let h(l) be the first derivative of -l**4/4 - 7*l**3/3 - 5*l**2/2 - 7*l - 615. Let r be h(a). Does -12 = r?
False
Suppose 4*m - 47 + 1215 = 3*z, 5*m = 5*z - 1955. Let v = z + -390. Is v greater than or equal to 92/13?
False
Let p = -4.7 + -0.3. Let t = 335.6 - 329.6. Which is smaller: t or p?
p
Suppose -i = 1, 0*m - 5*i = -2*m + 65. Let x(n) = -7*n + 18. Let k be x(-12). Let j = k - 73. Which is greater: m or j?
m
Let v = -23576 - -23916. Which is smaller: v or 362?
v
Let l(r) = 17 - 12 - r - 5 - 12. Let m be l(-16). Suppose -2*h + 2 = -2*x, -5*x + h + 5 = -2*h. Is x greater than m?
False
Let v = 15947/265950 - 35/591. Let d = -1103/29700 - v. Which is smaller: d or -1?
-1
Suppose 10 = c - 21. Let r = c + 41. Are r and -1 unequal?
True
Suppose -5*i - 285*r - 13 = -289*r, 3*i + 3*r - 3 = 0. Let m = -40588/41 + 990. Which is smaller: i or m?
i
Let g be (-90 + 0)*(-132)/55. Let a be 1/(3*3/g). Let p = 0.6 + 0.4. Which is bigger: p or a?
a
Let p(j) = -j**3 - 9*j**2 + 10*j. Let m be p(-10). Let n(v) = v**3 - v + 7. Let f be n(m). Let d = 1.35 + -1.25. Which is bigger: d or f?
f
Let z be (0 - (-3 + -3)) + -4. Let m be (2 - z)/(0 - -1). Suppose m*t = 7*t + 7. Do t and -2/7 have the same value?
False
Suppose 4*f + 172 + 268 = 4*s, 5*f + 214 = 2*s. Let l be s/14 + 0 + 1. Suppose -l*q = -3*q. Is -10/47 <= q?
True
Let p(u) = 8*u**3 + 2*u**2 - 59*u + 57. Let v be p(1). Is v less than 238/31?
False
Let q(d) = 26*d + 774. Let n be q(-27). Are n and 24 nonequal?
True
Suppose t = -s + 4, 0 = t - 8*s + 4*s + 16. Suppose t = 5*i + 119 + 56. Does -33 = i?
False
Suppose 14246 = 23*l - 8133. Which is smaller: 980 or l?
l
Suppose -3*v + m - 1274 = -2*v, -3*v - 3832 = 2*m. Is v greater than -1283?
True
Let c = -8161 + 8307897/1018. Do c and 0 have the same value?
False
Let c = 0.0004 + -2.0004. Let r = -8.99 - 0.01. Let i = r - 7. Which is greater: c or i?
c
Let o = 1106 - 979. Is -0.2 at most o?
True
Let v be 10/(-3)*9339/22. Is v smaller than -1416?
False
Let z = 19772 - 19771. Which is smaller: z or 2/353?
2/353
Suppose n + 5*g - 12 = 13, -2*n + 6 = -g. Suppose 0*p - 280 = n*p. Suppose 2*k - k = a + 60, 3*k + 105 = -2*a. Which is bigger: a or p?
p
Let k = -9583 - -9882. Which is bigger: 279 or k?
k
Let t be 5/(-7) + 4/(-14). Let z = 55 + -53. Let n be ((-468)/459)/(-13)*z/4. Is n > t?
True
Let s = 1186 - 1007. Which is greater: s or 894/5?
s
Let w = 1843 + -1060. Let v = w + -782. Is 4/203 not equal to v?
True
Let p = -0.099 + 4.099. Let y = -0.02 + 30.02. Which is greater: y or p?
y
Let k = 10352/75 + -138. Suppose -2*h - 6 = -2*t, 5*h = 2*t + 343 - 352. Which is greater: h or k?
k
Suppose 34*y = -24*y + 168722. Is y less than 2908?
False
Suppose z + 4*z - 5*q - 10 = 0, z = -2*q + 8. Suppose -l = -w + 34, 2*l + z*w + 80 = -0*l. Let j be (-24)/l + ((-5)/3)/1. Which is smaller: j or -2?
-2
Let r be (6/(-9) - (-15)/36)/(-14). Is 2/3 > r?
True
Let i = -764 - -1687/2. Let n be (-4 - -1)*2/6*-8*10. Which is greater: n or i?
n
Suppose 0 = -p + 4*k - 12424, -2*p - 2*k + 1481 = 26249. Is p < 1/4?
True
Let y be 11/(-9) + (-6)/(-27). Suppose 0 = -5*x - 44 + 89. Let p be 2 + 2526/(-1431) + (-2)/x. Which is bigger: y or p?
p
Let h(y) = 2*y - 10. Let b be h(-10). Suppose 69 = -3*o + 399. Let i = o + -140. Is i not equal to b?
False
Suppose -2*t = -t + 19. Suppose 2*d + 2*q = 246, 2*d + 61*q - 240 = 57*q. Suppose 65*z = 58*z - d. Is z at most t?
False
Let f be (5/10)/((-10)/(-48))*5. Suppose -3*t + 24*z = 20*z - f, -t = z - 4. Is 3 < t?
True
Let x = -3960.7 + 3960.502. Which is smaller: x or 0.18?
x
Let v = 1.7 - -5.3. Let u be ((-5)/(-7))/(-1)*((-793)/65 - -12). Is v at least u?
True
Let u = -0.39387 + 0.09387. Which is smaller: u or -0.67?
-0.67
Let q be ((-6)/(-4))/((729/(-2088))/(-27)). Let m be (952/20)/((-2)/(-10)). Let v = q - m. Which is bigger: v or -123?
v
Let k = 689/14 + -91/2. Let m(v) = 5*v - 21. Let o be m(4). Is o > k?
False
Let i be 26*((-1)/(-2))/1. Let k be 4 - 34/6*(-9 - 3). Suppose k = 5*c + c. Is c less than i?
True
Let n(v) = -27*v + 1119. Let j be n(42). Which is greater: j or -733?
j
Let q = -59.24 - -25.64. Which is smaller: q or -2?
q
Let r = 3 + -2. Let v = 812 + -814. Let k be v/8*1/(-20). Is r 