159*q**2 + 119*q - 76. Let r be a(39). Let h be -3 + -4 - (-2)/1. Is h less than or equal to r?
True
Let p be (-1)/2 + (-715)/(-22). Let c = p - 108. Suppose -4*s = u + 76, -3*u - 5*s + 42 = 270. Are u and c equal?
True
Suppose -5*f = -4*n - 12240, 6102 = -2*n + f - 3*f. Let r = -4757 - n. Let z = r + 39134/23. Which is smaller: z or -1?
-1
Suppose -4*y + t - 100 = 0, 0 = -7*y - 5*t - 68 - 134. Let w = 11697937/512836 - -1/17684. Let r = -78/29 - w. Is r equal to y?
False
Let w be ((-9)/30)/(4/(-24)*3). Which is bigger: w or -24?
w
Let a be (0 - -6) + (-44)/22. Suppose a*h + n - 87 = 0, 7*h - 4*h - n - 60 = 0. Which is greater: -4 or h?
h
Let u be (-4)/(-48)*258*-18. Is -387 at least as big as u?
True
Suppose -5*c = -5*q - 0*q + 15, 3*c = -2*q + 16. Let o be ((-4)/(-16))/(5/60). Suppose 0 = -3*h - o*p - 12, 9*h - p = 8*h. Is c less than or equal to h?
False
Suppose 0 = -2*n + 117 + 163. Let g be -58 + 49 + ((-4784)/128)/(1/(-4)). Is n at most g?
True
Let h(d) = d**2 - 2327*d - 21013. Let x be h(-9). Let g(k) = -k**2 - 5*k - 5. Let y be g(-4). Let v be (-1)/y - (-7)/1. Which is smaller: x or v?
v
Suppose -3*w = w - 204. Suppose 4*z - 2*z = -5*m - 27, 5 = 5*z - 2*m. Let q be (78/12)/(z + (-54)/(-48)). Is w != q?
True
Let m be (-5)/2*(-24)/(-20). Let h be 2 + (m/1 - 2). Let a be (-18)/5 + h + (-52)/(-20). Is a <= -8?
False
Let c be (9 + (-38)/4)/(0 + 2/5492). Which is greater: c or -8239/6?
c
Let a(h) = -2*h + 49. Let y be a(12). Suppose -y*b = -6*b + 893. Is -49 at most as big as b?
True
Suppose -2*k = -3*n - 26, 4*n = -15 + 7. Suppose 5*h + k = 40. Suppose -a = -h*a + 25. Is 11/3 at most as big as a?
True
Suppose 8*c + h + 3 = 7*c, 4*c = -5*h - 11. Suppose -10 - 11 = -3*d. Which is greater: c or d?
d
Let t(h) = -25 + 0*h - h - h - 1. Let q be t(-13). Is -2/177 not equal to q?
True
Let j be 23/(14/5 - 3). Let i = j + 163. Is 48 > i?
False
Let h(r) = r**2 + 56*r. Let w be h(-56). Which is bigger: -111/170 or w?
w
Let f be 4*(-138081)/(-66) + -5. Let c = 8369 - f. Is c smaller than 4?
False
Let i be -40*((-45)/81 - -1). Is -19 at least i?
False
Let h(z) = 56*z + 1058. Let w be h(-15). Do 218 and w have the same value?
True
Let f(a) = -a**3 + 2*a**2 - a. Let n be f(1). Suppose 4*o + 3*g - 31 = n, -2*o - g + 4 = -13. Is 10 greater than o?
False
Let k = 42607/7 + -6087. Which is greater: -14/25 or k?
k
Let g be 1563/(-2)*1/((-21)/56). Let u be 28/(-210) - g/15*2. Are -278 and u equal?
True
Let m be 4/(-6)*3/(-113). Let w = -1195 + 1195. Which is smaller: m or w?
w
Suppose -27*n + 28*n + 792 = 0. Let u = n - -5464/7. Let s = -17 + 7. Which is greater: s or u?
s
Suppose -k = 11*k - 1392. Let u(q) = q**3 + 4*q**2 + 4*q + 3. Let w be u(-3). Suppose 3*l + 2*t + 83 = w, 4*l + k = -3*t - t. Is l at most as big as -26?
False
Let d = -122 - -130. Let w be 6 - d - (-223)/112. Which is greater: w or 0?
0
Suppose -4*h + 4*p + 20 = -0*h, -2*p = -4*h + 16. Let u = h + -3. Suppose u = 6*q - q + 20. Is -4 at most as big as q?
True
Let r(g) = 25*g**3 + 10*g**2 + 15*g - 15. Let i be r(3). Which is smaller: 793 or i?
793
Let f(v) = -v**2 - 46*v - 460. Let c be f(-14). Is 2 >= c?
True
Suppose 5*d - 576*f = -581*f + 2925, -2*d - 4*f = -1170. Are d and 585 nonequal?
False
Suppose 653 = 2*i + o, 4*i + 3*o = -o + 1300. Suppose 4*a - 8*a + 3*z = 438, -2*z + i = -3*a. Which is bigger: a or -107?
-107
Let g be (-270)/(-360)*(-208)/4. Is -40 != g?
True
Let x = 8515032510367/4170 - 10209853468/5. Let m = x - 7059/2. Does 1 = m?
False
Let a = 3222 + -2328. Which is smaller: a or 892?
892
Suppose -30*w - 23440 = -23410. Which is smaller: 11804 or w?
w
Let w = 116.5 - 9.5. Let k = 106.54 - w. Which is smaller: k or -1?
-1
Let b = 790378.082 + -790378. Let k = -2.3 + 2. Let c = -0.4 - k. Is b less than or equal to c?
False
Let o = 164536/15 - 10969. Is 7 smaller than o?
False
Let s be ((-1)/(-2))/((-7970)/(-3000) - 24/9). Is 10 at most as big as s?
False
Let h be 0/(3*(-2 + 3) + -1). Do -1/1400 and h have the same value?
False
Let k be (8/10)/(6/15). Let o(z) = -23*z - 29. Let i(v) = -1. Let a(j) = -6*i(j) + o(j). Let h be a(-1). Which is smaller: k or h?
h
Suppose 3*t = -3*t + 2*t. Let d be 9/270*54/45. Which is greater: t or d?
d
Let a = -54.542 + -364.21. Let v = a + 419. Which is greater: 0 or v?
v
Let u be 5 + -6 - -8 - 556. Let z be 26 + -28 + (u - 2). Is z > -552?
False
Let t be (2 - 1) + ((-610)/(-264) - 900/270). Suppose -k + 10*k - 9 = 0. Is k != t?
True
Suppose -15*o - 330 = -9*o. Let m = o - -54. Let j be m/(-4)*-1 - (-15)/36. Do j and 1 have different values?
True
Let y be (-35520)/(-143) + 0 - (-128)/832. Is y greater than 248?
True
Suppose 0 = 5*g - 10, 3*x = 4*x - 2*g + 3. Are x and -3/277 equal?
False
Let b = 101 + -170. Let t be (b/(-828))/((2/(-3))/1). Which is greater: t or 0?
0
Let l be 90/80*-4*12/99. Is 51 at most l?
False
Let g = 3448 + -4489. Is -1041 bigger than g?
False
Let i be (18 + 117/(-6))/((-3)/(-2)). Is i < 35/99?
True
Let l be 36/6 - (-20)/(-5). Let q = -3 + l. Which is bigger: q or 4/115?
4/115
Let j be -20*3/(-18)*18. Let z = j - 75. Let t be 100/z + 5 + 1. Which is smaller: -4/13 or t?
t
Let b be ((-3)/(-82))/1*(-41 + (-7582)/102). Which is bigger: b or -4?
-4
Let m(o) = o - 15. Let a be m(5). Let s = -1247 + 8664/7. Which is smaller: a or s?
a
Suppose -5*s + 16 = -2*s + 2*z, 4*s = 3*z - 7. Suppose -s*y + 2*f = 0, -y - 2*y + 10 = 2*f. Suppose 0 = x + y*x - 18. Is -1 < x?
True
Let a(i) = 2*i**2 - 4*i + 4. Let h be a(0). Let v be h/(-12)*1 - 898/6. Which is smaller: -149 or v?
v
Let z = 3672 - 3668. Let a be (-3)/(-6)*-2 + 9. Which is greater: a or z?
a
Let x = -218471/13 - -16828. Is x != 23?
True
Let j = 699.568 + -699.5. Does j = 54?
False
Let l = -0.23 - -0.08. Let j = l + 0.25. Let i = -1082 - -1082.28. Which is smaller: j or i?
j
Suppose -52*z + 3*t + 191 = -50*z, -z + 4*t + 78 = 0. Is -9 less than or equal to z?
True
Let y be (-10)/(-40)*56/(-55783). Which is greater: -1 or y?
y
Let i(z) = -13*z**3 - 12*z**2 - z - 4. Let a be i(-1). Which is greater: -38/47 or a?
-38/47
Suppose 5*b = 4*h + 2*b, 0 = 4*h + b. Suppose 0 = 15*w - h*w + 2385. Is w at least -159?
True
Let b be (-86)/4 - 2/(-4). Suppose 2*u + 210 = 154. Let d be (u/21 + 4)*15/(-2). Which is bigger: b or d?
d
Let w = -155 - -422. Let v = w + -271. Is v > 74?
False
Let i = -864.75 + 865. Is i bigger than -27/4?
True
Suppose 0 = 2*f + 8, -5*s + 2*f + f = 33. Let o(n) = 25*n + 80. Let a be o(s). Is -146 equal to a?
False
Let r be (-12)/(-15)*12/(-168)*-5. Is r less than or equal to 169/6?
True
Suppose 15*q - 16 = 19*q. Let f be (-2)/1*(q + 126/12). Let l = 4/15 - -2/105. Is f less than l?
True
Suppose 0 = -3*p + 3*b + 96 - 24, -5*b = 0. Suppose 5*f = -f + p. Suppose 4*c - 3*t - 1 + 13 = 0, -f = -t. Is c != -1?
True
Let i(y) be the second derivative of y**4/6 - 5*y**3/3 + 5*y**2 - 28*y. Let o be i(4). Suppose -4*l = -o*l. Is 2 bigger than l?
True
Let q(j) = -10*j + 7. Let o be q(2). Let c = o + -1. Let g be 12/c - (66/21 - 3). Do g and 4 have the same value?
False
Suppose 4*o + 24 = d, 0 = 36*d - 35*d - 5*o - 27. Let a be ((-60)/(-225))/(8/d). Is 174 greater than a?
True
Suppose 1683*j = -63*j - 931 + 4423. Let r = 1 - 1. Let w be 2*1 - (1 + r). Which is bigger: w or j?
j
Suppose -111*p - 3694 - 11180 = 0. Suppose 5*y - 130 = l - 0*y, 5*l + 671 = 4*y. Which is smaller: p or l?
l
Let o be 3 + 0 + 48/(-32) - 93036/104. Are o and -892 nonequal?
True
Let n(j) be the third derivative of -j**6/40 + 11*j**5/60 - 5*j**4/12 - j**3/6 + 8*j**2 - 16*j. Let h be n(7). Which is smaller: -560 or h?
h
Suppose 5*p + 885 = 4*q, -3*q - 4*p + 876 = q. Let c = 569 - q. Is c smaller than 348?
False
Let v = 1386.651 - 1386. Let c = 0.7 - v. Is -0.1 greater than or equal to c?
False
Suppose -8*v + 114 = -6. Suppose -6*p + 15 = -v. Suppose -5*k + 13 + 7 = 0, -p*y + 452 = 3*k. Is 89 at most y?
False
Let h be 5/(-2)*(-1744)/3665670. Is h >= -1?
True
Suppose -189*g + 223*g - 340 = 0. Which is smaller: g or 600?
g
Let s = -65 - -68. Suppose f = -s*p + 98, f + 36 = p - 2*f. Is p at most 34?
True
Suppose 0 = -5*j + 4*w + 19, 20 = 8*j - 3*j - 5*w. Let r be (3/j)/(14/7580). Let o = r + -540. Is 1 < o?
True
Let r be 0 + (0 - 2) + (-42303)/(-59). Which is bigger: 718 or r?
718
Let v be (36/(-4) - -6) + 0/1. Let n b