q - 5*q. Is q smaller than -2/23?
False
Suppose -n = n + 2. Let y = -12/53 + -292/583. Is y greater than n?
True
Let i = -15 + 14. Is -6/5 greater than or equal to i?
False
Let a = 0.1 - 0. Let v = 17.1 + -17. Let k = v + a. Which is smaller: k or 3/5?
k
Suppose 5*j + 5*y - 23 + 3 = 0, -4*j = -2*y + 8. Is -1/399 at least as big as j?
False
Suppose 2*q - c = -5*c + 2, -5*c = 5. Let v = 91 + -88. Is v not equal to q?
False
Suppose 85 = -5*h - 3*f - 75, -4*f - 160 = 5*h. Is h bigger than -59?
True
Let i(y) = -y**3 - 7*y**2 - 6*y + 4. Let b be i(-6). Suppose 4 + b = 4*d. Suppose 5*g = -2 + 12. Is g >= d?
True
Suppose -5*x + x = -4*n - 12, 5*n = x + 5. Suppose 0 = 4*j - n*u - 32, j - 9 = -u + 2*u. Let k = j - -3. Which is greater: k or 2?
k
Suppose -55*m + 830 + 1315 = 0. Is -2/5 greater than m?
False
Let l = -7.6 - -7.6. Which is bigger: l or -1.21?
l
Let v = 307 + -404. Does v = -105?
False
Let j = -223 - -264. Is j bigger than 278/7?
True
Let n(x) = x**3 - 4*x**2 - 6*x - 2. Let r be n(-1). Are 10/117 and r non-equal?
True
Let s(g) = -g**2 + 4*g - 337. Let c be s(0). Which is smaller: c or -336?
c
Suppose -2*m - h = -62 - 168, -2*m = -2*h - 242. Let n be 26/m + (149/99 - 1). Which is smaller: n or 1?
n
Suppose -15*s = -2073 + 48. Which is greater: s or 131?
s
Let z = 0.38 + 0.02. Let h = z + -1.3. Let v = -0.1 + h. Is 2 less than v?
False
Let g = 0.047 - -0.116. Let q = g - -0.037. Let b(u) = 2*u - 10. Let f be b(7). Which is bigger: f or q?
f
Let c be 2 + 1 - (0 - -2). Let b(d) = d**3 - 21*d**2 + 4*d - 68. Let z be b(21). Which is smaller: c or z?
c
Suppose -z + 4 = -20. Suppose 0 = 5*g + 26 + z. Let u be (-26)/140 + g/(-35). Which is smaller: 1 or u?
u
Let j be 1 + (4 - (-2 - -4)). Let i(q) be the third derivative of -q**6/120 + q**5/30 + 5*q**3/6 - 2*q**2. Let d be i(j). Are d and -4 equal?
True
Let p = 612 - 588. Which is smaller: p or 119/5?
119/5
Let t = 157/126 + -5/63. Let f(c) = c**3 - 3*c**2 - 4*c + 1. Let y(u) = -u + 9. Let x be y(5). Let h be f(x). Is h >= t?
False
Let g be (24/(-20))/(3/15). Let t be (-208)/545 + g/(-15). Is 0 != t?
True
Let g be (3/139)/((-9)/(-6)). Are -1 and g non-equal?
True
Suppose 2*o = -3*y + 13, 9 = -3*o - y + 6*y. Let m = 9 + 17. Suppose -o = -3*b - m. Is 0.1 not equal to b?
True
Suppose 0*x = 2*x - 2. Let d be (x + (-16)/(-6))/(155/93). Is 3 > d?
True
Let y(t) = -t**3 - 16*t**2 + 58*t + 23. Let m be y(-19). Which is greater: m or -1?
m
Let p be 4 + -3*192/90 + 5. Are p and -10 equal?
False
Let h = -29 + 33. Suppose x - 17 = s, -2 + h = -x. Is -21 bigger than s?
False
Let f = -1.129 + 1.119. Let b = 3 + -2. Is b != f?
True
Let c(o) = -o**2 + 3*o + 58. Let k be c(0). Let v = k + -69. Are -8 and v equal?
False
Suppose 2*n = 4*q - 12, -q = -2*q + 4*n + 17. Is q greater than 4/27?
True
Suppose 4*m - 4*w = 200, -m + 48*w - 49*w = -52. Is 53 < m?
False
Let l(x) = x - 1. Let o be l(5). Suppose 0 = -5*h - 34 + o. Suppose -4*n + 6*n - 5*j + 4 = 0, 0 = 2*n - 4*j + 6. Is n != h?
True
Let a = -36 - -38. Suppose y - 104 = -4*g, -a*g = 2*g - 5*y - 104. Which is smaller: 25 or g?
25
Suppose -2*u = 4*p - 128 + 42, 3*p = -u + 43. Let l = 122 + -79. Is l less than or equal to u?
True
Let c = -1032 - -1032. Which is greater: c or -1/35?
c
Suppose -5*h + 2*t + 2 = 0, 5*t + 0*t = -h + 22. Let n = -39 + 37. Let r be (n/(-2) - -3)/(0 + 5). Is h greater than r?
True
Let k(d) = d**2 - d - 11. Let x be k(-5). Let t be (3*(-2)/(-32))/(x/(-190)). Is 0 > t?
True
Suppose 5 = 3782*d - 3777*d. Let r be 1/(-4) - 50/(-24). Is r at least as big as d?
True
Suppose 2*c + 4*j + 8 = 0, -2*j = -c - 6 + 2. Is c less than or equal to -25?
False
Let o = 1.18 - 78.18. Let y = o - -76.8. Is y greater than -24?
True
Let w(a) = -a - 16. Let f be w(-11). Let j(x) = x**3 + 5*x**2 - 2*x - 5. Let b be j(f). Suppose -b*m - 16 = -m. Are -14/3 and m non-equal?
True
Let b(s) = -4*s + 1. Let a be b(0). Is -637 > a?
False
Suppose 3*f + 3 = 4*g - g, -5*f - 4 = -4*g. Suppose -3*t + 5 = 5*z + 2*t, -3*z - 1 = 5*t. Let i be (z + 0)*(-6)/33. Which is bigger: f or i?
f
Let p = -0.266 + -21.634. Let i = p - -22. Let h = 2 - -4. Which is smaller: i or h?
i
Suppose 3*b - 6 = 9. Suppose 5*h - 12 = b*r - 2, r + 2 = 3*h. Suppose -5*d - 45 = 5*v - 4*d, -4*v + d - 36 = h. Which is bigger: v or -10?
v
Let u be 2 + (-9 - -2) - (-38 - -35). Is -41/20 less than u?
True
Let r(l) = -3*l**3 - l**2 + l + 2. Let g be r(-1). Suppose 0 = -0*t - g*t - 12. Is t at most -16/3?
False
Let c be ((-1)/((-1)/2))/12. Let z = 12 - 13. Is c less than or equal to z?
False
Let r = -5.1 - -24.2. Let d = -0.9 - r. Which is bigger: d or 2/5?
2/5
Let q be (-7)/(-8) - (-6)/(-6). Suppose -2*z + 5*t - 3 + 34 = 0, 2*z - 21 = 3*t. Suppose 0 = -5*f + z*p, -4*p = p. Is f not equal to q?
True
Let p be (-2 + 4)/(3/24). Let q(x) = x**2 - 16*x - 17. Let j be q(p). Is -17 at most j?
True
Let p = -15 - -15.2. Let r = p + 0.8. Let k = 0 - r. Which is smaller: k or 1/4?
k
Let a = -43.85 - -43. Let w = a - -0.45. Are -3 and w nonequal?
True
Let l(x) = -2*x - 6. Let r be l(-5). Let h be (6 - (-48)/(-8))*(-2)/(-4). Suppose r*n + h*j = -2*j, -j = -n - 3. Is -3/10 <= n?
False
Suppose 15 = -5*o, -3*z - 9 = 5*o - 2*o. Is 0 greater than or equal to z?
True
Let b be (-18492)/(-45780) - (-2)/(-5). Is 0 less than or equal to b?
True
Let g = -50 + 299/6. Suppose -10 = -4*s - 2. Suppose s = -2*n - 0. Is g bigger than n?
True
Let u(k) = k**2 + 4*k - 13. Let z be u(-6). Let q be (-3 - -2)*z*(-9)/(-33). Is 0 greater than q?
False
Let r be ((4 + -3)*68)/(6/3). Which is smaller: r or 31?
31
Let u be 0 + ((-1468)/(-420) - 1). Let p = u + 6/35. Let h = 7/3 - p. Which is greater: h or 2?
2
Suppose 9*i = 5*i. Suppose 4*a + 0*v - v + 21 = i, 2*a = 3*v - 23. Suppose -5*q + 5 = -5*j, -4*j + 5 = -3*q + 12. Is j less than or equal to a?
True
Suppose 2*p - 5*d = -23, 2 - 13 = 5*p + 3*d. Let q = p + 8. Let b be 3 + 1 + (-9)/3. Do q and b have different values?
True
Let x = -14.6 - -28.6. Is x at least as big as 14?
True
Let x(k) = -5 + 4*k**2 + 2 + 0 - 2*k - 4*k**3 + 3*k**3. Let y be x(3). Let b be (-2)/(1 + 1)*y. Is b != 2/5?
True
Let m = 1/697 + 1331/43911. Suppose -2*j - 3*z - 11 = 0, 0 = 3*j - 0*z + 4*z + 15. Are j and m non-equal?
True
Suppose 3*i - 5*t + 19 = 0, 2*i + 26 = 5*i + 4*t. Is 13/24 < i?
True
Let a(m) = -m**3 - 11*m**2 + 71. Let r be a(-7). Which is smaller: r or -377/3?
-377/3
Suppose 5*r + 3*w = 5*w - 1819, -3*w = -r - 369. Which is bigger: -364 or r?
r
Let t(l) = 6*l - 10. Let j be t(1). Let a be (1 + 1)*(6/j)/3. Which is smaller: -9/8 or a?
-9/8
Let f be (-2 - 20/(-15)) + 33/90. Suppose 0*i + 2*i = 0. Is i at least f?
True
Let g = 70 + -187/5. Do 33 and g have different values?
True
Suppose 3*g - 2*n = -106, -2*g = -n + 91 - 19. Let u = -184.7 - -186.7. Which is smaller: u or g?
g
Let i = 166 + -159. Is i at least 4?
True
Let y(t) = 0*t - 3 - 2*t**2 + 2*t + 3*t. Let f be y(3). Which is smaller: f or -5?
f
Let s = -11 + 16. Let n be (-20)/(-160) - 110/(-16). Is s at most as big as n?
True
Let z(u) = -u**3 - 6*u**2 + 8*u + 6. Let s be z(-7). Let j be (1729/(-84))/13 + 2. Is s <= j?
True
Let s = -5 - -28. Let z be (-39)/(-3) - 7 - 1*-16. Which is greater: z or s?
s
Let o be 9/(-24)*-2 - (-9)/4. Which is greater: 30/11 or o?
o
Let r = 601.0062 - 0.0062. Which is smaller: 1 or r?
1
Suppose -5*i + 72 = -9*i. Let r = i - 54. Let d be 4 + r/10 + 3. Which is bigger: -1 or d?
d
Let x(y) = -y**2 - 14*y - 15. Let a be 5/5*(-1 + 6). Suppose -w - a*f = 17, w - 3*f + 3 = -6. Let k be x(w). Is 10 >= k?
True
Suppose -50554 + 5860 = 26*r. Is -1718 < r?
False
Suppose -h + 0*l + 1 = -5*l, 5*h - 47 = 4*l. Let b = h - 6. Suppose 4*v + 4 = 0, b = -5*f + 3*v + 2*v. Which is greater: f or -2/3?
-2/3
Let u be (-12)/78 - (-189)/(-39). Suppose 2*k = o, -k = -5*o + 13 + 14. Let q be 4/o + (-17)/3. Does q = u?
True
Let l = 0.0292 - -0.1708. Is l greater than -141?
True
Let m be 2/5 - 542156/(-179760). Let i = -1/1498 - m. Let n = 10/3 + i. Is 1 greater than or equal to n?
True
Let o = 60130829/118332 + -38637/76. Let n = 1/173 + o. Do n and 1 have different values?
True
Let v(t) = 20*t - 13. Let l(m) = -59*m + 40. Let w(y) = 4*l(y) + 11*v(y). Let x be w(4). Which is smaller: x or 2/5?
x
Let r = -256 + 259. Which is greater: r or 19/2?
19/2
Let z = -0.39 