han or equal to s?
True
Suppose 5*v = -q + 12 - 6, -2*q - 4*v - 6 = 0. Suppose -2*z - 1 = 4*k + 1, -k - 4*z = 4. Is q != k?
True
Let h = 16051/114 - 847/6. Which is greater: 0 or h?
0
Let q(z) = -z + 5. Let u(r) = 2*r - 5. Let h(k) = 3*q(k) + 2*u(k). Let n be h(-2). Let i be (-24)/(-60) - n/(-5). Is i at least -14?
True
Suppose -6*i = -49 - 71. Let x = i - 36. Is -16 at least x?
True
Let z(c) = c**3 + 31*c**2 - 34*c - 53. Let n be z(-32). Suppose 2*u - 11 = -n*d + 12*d, 0 = -3*d - 2*u - 49. Is -14 equal to d?
False
Let i(w) = -6*w**3 - 1. Let c be i(-1). Let d be c/(4 - (-34)/(-8)). Let n be (-2)/(-8)*16/d. Is n greater than -1?
True
Let c(j) = j**3 - j**2 - j. Let k(a) = 2*a**3 + 9*a**2 + 12. Let w = 11 + -10. Let i(n) = w*k(n) - c(n). Let p be i(-10). Is 22/7 <= p?
False
Let y = -1 - -3. Let l = y - 0. Let k = 0.1292 + -0.0292. Which is bigger: k or l?
l
Let r = -0.6 - -0.1. Let k = -48.33 - -0.33. Let m = k + 48. Is m > r?
True
Let g(h) = -h**2 - 7*h + 18. Let v be g(2). Are -4/269 and v nonequal?
True
Let d(z) = z + 1. Let q(w) = w + 1. Let a(x) = d(x) - 2*q(x). Let y be a(7). Suppose 3 = 2*j - f + 18, -5*f = 5. Are j and y equal?
True
Suppose -3*o + 11 = -2*v, 0 = -v + 2*o + 1 - 9. Is v bigger than -3?
True
Suppose -71*t + 4*x + 13 = -72*t, -5 = -t + 2*x. Which is smaller: t or -2/1437?
t
Let l = 525 + 126. Let s = -375344567/53 - -7082624. Let g = s - l. Is 0 bigger than g?
False
Let v = -10 - -5. Let c = v - -29. Let f = -32 + c. Which is greater: -1 or f?
-1
Let p = -15.7 + -1.3. Let b = -19.7 - p. Let k = 2.73 + b. Is k >= -1?
True
Suppose -2*b = -6*b. Suppose b*d = d. Suppose 3*z + d - 3 = 0. Is z less than or equal to -1?
False
Let a be ((-6)/435)/(4232/115). Which is smaller: 1 or a?
a
Let u = -31/75 - -1/75. Which is bigger: 2.3 or u?
2.3
Let w(q) be the second derivative of q**5/20 - 5*q**4/6 + 11*q**3/6 - 19*q**2/2 + 2*q. Let m be w(9). Which is smaller: -10/17 or m?
m
Let g be (0 - -1)/(2*(-7743)/(-1606)). Let d = g - 10/87. Which is smaller: -1 or d?
-1
Let a be ((5 - 17)/4)/((-1)/1). Is 80 smaller than a?
False
Let c = -6 + 5. Suppose 0 = -230*o + 234*o + 4. Is c less than o?
False
Suppose 5*g = -m + 26, m - 7 + 31 = 5*g. Is 2/23 >= m?
False
Suppose -2*b = -1 + 9, -5*q - 5*b = 0. Suppose -2*g - 7 + 3 = -3*h, -q = 2*h + 2*g. Is h at most as big as -1/5?
False
Let d = 84.1 + -93. Let h = d + -0.1. Is 0 equal to h?
False
Let x = 42.95 - -0.05. Let g = x + -23. Let c = g - 18. Is 2/5 at most c?
True
Suppose -4*w + 78 = -w. Is w less than 22?
False
Let b be ((-8)/22)/(2*-1). Let f(d) = -3*d + 32. Let h be f(9). Suppose h*t = 0, -2 + 1 = l + 5*t. Which is greater: b or l?
b
Suppose -78*t + 80*t + 52 = 0. Is t bigger than -26?
False
Suppose -307 = 10*w - 4197. Is w bigger than 390?
False
Suppose -s - 1 = -h - 8, 0 = h + 3*s - 1. Which is smaller: -1.7 or h?
h
Let g = 41 - 47. Let x(w) = -w**3 - 5*w**2 + 5*w - 6. Let i be x(g). Is -2/9 greater than or equal to i?
False
Suppose -8*i = -3*i. Suppose -4*c - 2 = -s, i = -4*s + 3*c + 24 + 36. Which is smaller: s or 20?
s
Suppose 24 = p + p. Let o be (-40)/(-6) + (-8)/p. Let w = -1 + 1. Which is greater: w or o?
o
Let s = -4 + 1. Let l = 2 + s. Let q = 16.6 + -16.6. Is l bigger than q?
False
Suppose -3 = -5*n + 2. Let z be (-20)/(2 + 18/(-8)). Let v be (-4)/(-5) - 56/z. Is v greater than or equal to n?
False
Let q be 4/108*12/10. Let p(z) = -3*z + 4. Let b be p(3). Let h = b + 4. Is q greater than h?
True
Let k(v) be the first derivative of -v**3/3 + 3*v**2/2 - 2*v + 3. Let z be k(2). Let f = -8/3 + 19/6. Which is smaller: z or f?
z
Let b(z) = -z**3 - 10*z**2 - 9*z + 6. Let n be b(-9). Let j be (-18)/4*n/(-3). Suppose 4*a = -3*y - j, -y = -0*y - 4*a + 3. Is -1 >= y?
True
Suppose 17 = -b + 73. Let a = b - 80. Which is bigger: -23 or a?
-23
Suppose 34*n + 12 = 30*n. Let y = -95/52 - 11/26. Which is smaller: n or y?
n
Let r(n) = n**3 + 14*n**2 - 7. Let v be r(-14). Let i = v - -6. Let y = 0.026 + 0.014. Which is bigger: i or y?
y
Let y = -1 - -1. Suppose -5*p - 10 = y, j + 4*p = -j - 10. Suppose 4*s + 2*a - 2 = 0, -4*a - 2 = 17*s - 15*s. Which is bigger: j or s?
s
Suppose 2*h + 3*v - 2*v + 3 = 0, -v - 4 = 3*h. Let n = 16 - 22. Let o = -10 - n. Is h <= o?
False
Suppose 15 = 3*w, -8*s + 3*w - 17 = -9*s. Which is bigger: 17/9 or s?
s
Suppose -2*o + 1 + 5 = 0. Suppose o*k = -3*t + 45, -2*t + 2 = -2. Let n = 25/2 - k. Is 2/7 >= n?
True
Let b be (2/(-6))/(20/(-60)). Is 4/245 less than b?
True
Let v = -83/5 - -17. Let d = -9.662 - -0.062. Let y = 3.6 + d. Which is smaller: y or v?
y
Let c be (-2)/(2116/(-10620) + 4/20). Is c less than -2654?
True
Let w be (-2)/(-8) - (-27)/(-108). Is w smaller than 1/20?
True
Let y be 2/7 + (-58)/56. Let r = -211 - -1057/5. Is r not equal to y?
True
Let d(q) = 2*q**3 - 15*q**2 + 17*q - 44. Let o be d(10). Is 625 smaller than o?
True
Let k(p) = -4*p + 78. Let z be k(19). Suppose 2*m = -5*c - 15, -4*c + 2*m = -2*m - 16. Let d be -4 + 2 + 0 - c. Which is bigger: z or d?
z
Suppose -4*j = -j. Suppose 2*s + 0*v - 5*v = -550, 2*s + 5*v + 510 = j. Let f = s + 3442/13. Which is bigger: f or 0?
0
Let j = 194 + -370. Let h = j + 7215/41. Does h = -1?
False
Let c = 16 + -10. Suppose 0 = c*v - 7*v. Let p be 2*(v + (-7)/2). Is p equal to -7?
True
Let w = -122/5 + 136/5. Let c = -5 + 9. Is c at least w?
True
Let n(w) = -15*w**2 - 2*w + 1. Let s be n(1). Let a(o) = o**2 + 12*o - 15. Let l be a(s). Let g be ((-14)/l)/((-16)/14). Which is bigger: 1 or g?
1
Let x(y) be the third derivative of -y**6/120 + y**5/30 - y**3/6 - 9*y**2. Let j be x(3). Which is greater: j or -11?
j
Suppose 20*f = 27*f - 168. Let t(q) = 11*q + 4. Let n be t(2). Which is greater: n or f?
n
Suppose -3*b + b - 16 = -5*z, -3*z + 14 = b. Let a be 3 - (b + (-12)/3). Suppose a + 0 = 5*j. Which is smaller: 2/71 or j?
2/71
Suppose -9 = -2*w + 5*m, -w + m = 5*m + 2. Let c = 22 + -7. Suppose w*r = r - 4*l + 21, c = 3*l. Is r < -3/7?
False
Let p(z) = 12*z + 10. Let a be p(-5). Let n be a/(-4) + (-3)/(-2). Is n at least 16?
False
Let r be (-2)/(-1 + 10 + -7). Is -6/317 at most as big as r?
False
Let l be (-5)/(5/(-3)) - 2. Let d = -876 + 1981. Let u be d/286 + 1*-4. Which is smaller: u or l?
u
Suppose 5*o + n = -357, 3*o = -4*n + 6*n - 209. Let g = o + 78. Is g equal to 17?
False
Suppose -69*z = -71*z - 128. Which is smaller: z or -60?
z
Let x be (-1)/(-22)*(-5)/(210/(-12)). Let t = x + -1311/154. Is -10 at most as big as t?
True
Let n = -11.36 - -11.26. Let j = 0 - 0.1. Is n greater than j?
False
Suppose h - 5895 = -4*h. Let r be 1*2 - h/810. Let i = r + -2/45. Which is greater: 1 or i?
1
Let y be 6/(-8) + 19/4. Suppose -2*z - 8 = 3*p + 2*p, 28 = -4*z - y*p. Let b = 15 + z. Is b at most 6?
True
Suppose 0 = -k + 601 - 597. Suppose 25 = -5*x - 0. Let l be (4/x)/(3/(-15)). Are k and l nonequal?
False
Let w(m) = -11*m + 4 + 1 + 6*m + 6*m. Let b be w(-5). Suppose 5*q - 30 = -b. Which is greater: q or 5?
q
Let b be (111/(-26) - 0) + (-412)/824. Which is bigger: -4 or b?
-4
Let g = 37 - 31. Let w be g/4 - (25/(-5))/(-10). Let j be 12/(-18) - (-4)/6. Which is greater: j or w?
w
Let c = 434569 + -243358779/560. Let t = c - 3/80. Which is bigger: t or 1?
1
Let r be 1*(3 + -1 - 2). Is r bigger than 15/49?
False
Let s(n) = n + 4. Let j be s(-5). Let b = 0.147 + -74.147. Let v = b - -73. Is j not equal to v?
False
Let a be (64 - -3) + 1 - (6 + -5). Which is bigger: a or 64?
a
Let a = 6680/39463 + -3/589. Is a <= 0?
False
Suppose -4 = q - 10. Suppose q*i = 5 + 67. Is i at most as big as 12?
True
Let h be 16/(-18)*3*9/2. Let b be (8*(-28)/h)/(2*-1). Are -8 and b equal?
False
Let c = -6 - -8. Suppose c*i + 13 = 1. Let z = 4 + -12. Is i >= z?
True
Let h(a) = a**3 + 4*a**2 + 2*a - 7. Let i be h(-3). Let c = -38 + 35. Is c > i?
True
Let y = 68/175 - -2/175. Let c = -670/279 - -40/31. Which is smaller: y or c?
c
Let t = 1641 + -1641. Suppose 5*i - 134 = v + v, -3*i + 183 = -3*v. Let x be 1/4 + v/36. Which is bigger: t or x?
t
Let z be (6/9)/(2/(-96)). Let x = z - -98/3. Let p = 8123/7 + -1159. Which is bigger: x or p?
p
Suppose -22*b - 90 = -17*b. Let r be (-2)/(-4)*(-8)/b. Which is smaller: 1 or r?
r
Let g(y) = y**2 - 96*y + 2160. Let z be g(36). Let v be (10/(-8))/(6/(-3)). Which is smaller: z or v?
z
Let a be (16/8860)/(52/(-20) - -