ose 2*i = -4*b + 910, 2*b + 2*b - 940 = 4*i. Suppose -6*m = -b + 86. Let f = m + -24. Is f less than -1?
False
Suppose -46*i = -48*i + 5*l - 23, -2*i = l - 7. Let w = -761 + 58602/77. Is w equal to i?
False
Suppose -17*h = -28*h - 5*h + 1088. Which is smaller: 69 or h?
h
Let c = 125333/16 - 123704383/15792. Let i = c - -1/47. Is i <= -1?
False
Let r(v) = 3*v**3 + 139*v**2 - 97*v - 46. Let u be r(-47). Which is bigger: u or 10?
u
Let b(i) = -i**3 + 6*i**2 - 5*i - 10. Let h be b(4). Suppose -4*a + 16 = 4*k, h*a + 5*k - 18 = -7. Suppose 80*t + a = 77*t. Which is smaller: t or -1/75?
t
Let j(a) = -a**2 + 8*a - 7. Let p be j(7). Let i be 0 - ((p - 0) + 3). Let h be i*(-2)/45 + (-1714)/30. Which is smaller: -56 or h?
h
Let k = 452570591 + -472031064152/1043. Let g = k - 418/7. Are 1 and g non-equal?
True
Suppose -2*l = 2*d + 56, -3*l + 112 = -4*d + 2*l. Let k be (d/(-20) - 2)*10. Are 15 and k nonequal?
True
Let s(f) = 3*f - 1. Let n be s(-1). Let p(r) = -r**3 - 8*r**2 + 4*r + 7. Let a be p(-9). Suppose 4 - a = 6*o. Do o and n have the same value?
False
Let q be (21/2 + -11)*(0 + 2). Which is bigger: q or 1/11?
1/11
Let a be 27176/(-24) + (-9)/54. Let v = 1036 + a. Is v >= -96?
False
Let t = 2849 - 3066. Which is greater: -215 or t?
-215
Let j(b) = 3*b**2 - 209*b + 1878. Let i be j(9). Which is smaller: i or 479/2?
479/2
Suppose 9*c = 17*c - 1488. Let b be 97/c - (-75)/90. Does b = 0?
False
Suppose -4*l - 6 = -5*l. Let p be l/(-10) - (-128)/80. Let d be 112/(-40) - p/5. Which is smaller: d or -4?
-4
Let q = 6.1 - 0.1. Let v = 0.064 + 57.936. Let b = 58 - v. Are q and b nonequal?
True
Let t = 18600.2 + -18600. Suppose -3*k - 46 = k + 2*n, 65 = -5*k + 5*n. Let i be 19/4 - 3/k. Is i smaller than t?
False
Let z = 19987/168 + -1539/14. Let f = -75/8 + z. Which is bigger: f or -16?
f
Let j(c) = -c**3 - c**2 - 154. Let f be j(0). Let b be ((-15)/6)/((-6)/f). Which is greater: -63 or b?
-63
Let p be -6 + 8 - (-874)/(-484). Let t = p + 15859/5566. Which is smaller: 4 or t?
t
Let j be 8 + -7 - (-8)/6*-12. Let d = -15 - j. Is d at most 2/53?
True
Let d = -29225.795 + 29145. Let h = 0.305 - d. Let s = h + -81. Which is bigger: -8 or s?
s
Let o = 6043 - 5809. Which is smaller: 235 or o?
o
Suppose 93*s - 6 = 90*s + 3*f, 0 = 2*s + 4*f + 2. Let w = -110.4 + -6.6. Let x = -24 - w. Are s and x equal?
False
Suppose 0 = 28*x - 30*x + 5*y - 15, 0 = 4*x - 4*y + 12. Let k(h) = 2*h + 2. Let a be k(-2). Let c be 205/418 - (-1)/a. Is c greater than or equal to x?
False
Let t(d) = -d**2 + 5*d + 17. Let o be t(7). Suppose -o*y + 211 + 559 = 5*x, 2*y - 616 = -4*x. Let p = x - 153. Which is greater: 2 or p?
2
Suppose -3*l - 168 = l. Let b be l/(-7 - -4)*2. Let q = b - 34. Which is greater: q or -4?
-4
Let i = -1574 - -1571. Which is smaller: i or -60/17?
-60/17
Let u(v) = -8*v**2 - 13*v - 9. Let w(a) = -5*a**2 - 7*a - 6. Let c(i) = -3*u(i) + 5*w(i). Suppose -2*m + 2 = -0. Let h be c(m). Which is smaller: -61 or h?
-61
Suppose 17*v + 6*v = 115. Suppose -27*c + 22 = -v*c. Which is bigger: 50 or c?
50
Let k = -665 - -197504/297. Let c = 65/297 - k. Let i = 34 - 137/4. Is c at least as big as i?
True
Let n be (9/(-6))/(-3) - 28732/(-8). Let c be (-8)/2 + 6 + n/833. Let j = 108/17 - c. Is j <= 0?
False
Suppose -5012 = -109*s + 102*s. Is s at least as big as 719?
False
Suppose 0 = 5*z + 3*q + 84 - 375, 3 = -q. Suppose 3*d + 116 + 61 = 5*v, 0 = d + v + 51. Let t = d + z. Is 10 at most as big as t?
False
Let j(l) = -l**3 + 0*l**3 + 8 - 3*l - 1649*l**2 + 2*l + 1638*l**2. Let s be j(-11). Suppose -5*o - 4*w - w + 55 = 0, -4*o = -w - s. Is 5 < o?
True
Suppose 3*z - 6 = z, -5*r + 307 = -z. Let u(y) = -85*y - 190. Let c be u(-3). Is r at least as big as c?
False
Let y = -539 - -530. Let b(u) = -u**2 + 9*u + 9. Let q be b(-6). Let f be -3*6/q - (-11)/y. Does 3 = f?
False
Let b = 237.35 - 236. Let q = b + -1.55. Are q and -25/6 equal?
False
Let t = 205 - 10462/51. Is t > 1?
False
Let h = 848 - 857. Let n = 0.094 - 6.094. Is n smaller than h?
False
Suppose 20 - 70 = 3*r - 2*l, 28 = -2*r - 4*l. Is r > -0.9?
False
Let j = -0.5293 - -82.9293. Is 0 bigger than j?
False
Let z be 15/(-2)*570180/650. Is z < -6578?
True
Suppose -48 = 16*d - 10*d. Let g be (d/(-10))/(14/10). Which is smaller: g or 1?
g
Let u(l) = 114*l + 1147. Let f be u(-10). Which is smaller: 15 or f?
f
Let r(h) be the second derivative of -h**3/2 + 30*h**2 - 726*h - 4. Suppose 25 = s + 5. Let q be r(s). Is 0.82 less than q?
False
Let n = 8824 + -8825. Is 103 at least n?
True
Suppose -9*f + 13*f = -704. Suppose -9*a - 13825 = 70*a. Which is bigger: a or f?
a
Suppose -3*x = 4*c + 214, 21 = -c + 2*x - 38. Let z = -15542/3 - -5182. Which is greater: c or z?
z
Let y(s) = 68*s - 1358. Let u be y(20). Is 137/254 < u?
True
Suppose -2*i - 46 = -5*w, -8*w = 2*i - 7*w + 70. Let j be (-282)/9 - (-4)/(-6). Which is smaller: i or j?
i
Suppose 26*o = 32*o + 570. Let m = o + 119. Suppose 6*u - 72 - m = 0. Which is smaller: 50/3 or u?
u
Let t(w) = w**2 - 23*w - 7. Let s(y) = -y**2 + 23*y + 8. Let v(l) = 5*s(l) + 6*t(l). Let n be v(23). Let c be 0/(1/(1/n*-1)). Which is greater: c or 6/35?
6/35
Let t = 488 - 545. Let u = t + 113/2. Is u > 0?
False
Let v be 8 - (-8 + (-8 - 1933)) - 5. Does 1953 = v?
False
Let c = -33 - -41. Suppose -3*j - 6 = -5*t + 2*t, -4*j - 4*t = -c. Let a be 40/18 + (-4)/2. Are a and j non-equal?
True
Let x = 7398 - 7391. Is 657 bigger than x?
True
Let p = -96/6767 - 15162927/135340. Let l = 49 + -161. Let a = l - p. Do -1 and a have the same value?
False
Let k = 27179/6 - 11714005/2586. Is -1 greater than k?
False
Let j(q) = -5*q - 62. Let i be j(-13). Suppose -5*z = i*h - 56, 0*z = -3*z + 3*h + 24. Let f = 7 + -1. Is z at most as big as f?
False
Suppose -3*j + 14205 = -b, 0*j = -4*b - 3*j - 56775. Let i be b/(-4797) + (-2 - 1). Are i and 1 non-equal?
True
Let x(v) = 6*v**3 + 7*v**2 - 3*v + 3. Let c(y) = 4*y**3 + 5*y**2 - 2*y + 2. Let i(b) = 8*c(b) - 5*x(b). Let m be i(2). Let n = 35 - -1. Which is bigger: m or n?
n
Suppose 0 = -2*a + 4*u - 32, 4*a = -6*u + 3*u - 108. Let v(b) = b**3 - 5*b**2 - 6*b + 5. Let j = 55 - 50. Let z be v(j). Which is smaller: a or z?
z
Suppose 10*d - 28 = -798. Is d less than -78?
False
Let g be 2/(-2) - -7*3770/(-5280) - -6. Which is smaller: 2/5 or g?
g
Let c(d) = -7*d + 57. Let k be c(7). Suppose 0 = j - 4*q + k, 2*j + 22 = -19*q + 21*q. Do -78/7 and j have the same value?
False
Let j = -2874 - -2844. Is j less than -7?
True
Let u(n) = -15 + 3*n - 6 + 8*n. Let x be u(6). Suppose 0*l = l + t + 33, -l - x = 5*t. Is -30 at least l?
True
Suppose 0 = 11*q - 3 - 118. Let r be 36/(-24) + ((-979)/(-60))/q. Which is greater: -1 or r?
r
Suppose 42*t = -5*t - 141. Let h = -235 + 221. Which is bigger: t or h?
t
Let a be ((0/22)/(-10))/4. Is 9/1610 <= a?
False
Suppose -3*h = -2*j + h + 94, -196 = -4*j + 4*h. Let p = 4651 - 4648. Which is bigger: j or p?
j
Let u be 8 - 24/(-40) - (1 + 6). Is u at most as big as -0.1?
False
Let w = 12.88 - 12.68. Let i = -56.35 + 0.35. Which is bigger: i or w?
w
Let c be 1*-29*(69 + -68)/(1 + 0). Is 22 less than or equal to c?
False
Let k be -2*((-69)/(-52187))/((-24)/(-52)). Is 0 < k?
False
Let y(v) be the second derivative of 0*v**3 - 9*v + 0 + 1/2*v**2 - 1/20*v**5 + 2/3*v**4. Let z be y(8). Is 1 != z?
False
Let o be -1 - (-2 - (-1 + 3)). Let t be ((-2)/4)/(o/(-2)). Let r = -216 + 1942/9. Is r less than or equal to t?
True
Let p be (-295)/(-4) - (-54)/(-72). Let q be ((-4)/29)/(p/(-438)). Which is smaller: 1 or q?
q
Suppose -s - 4*s = -2*m + 29, 4*s - 16 = -4*m. Suppose -5*i - 2*c + m*c = 1210, -c = -2*i - 488. Let o be (0 - 170/i) + 176/(-264). Is o at most as big as 1?
True
Let s be 11/2 - 3/2. Let a be ((-2)/s)/((-10)/20). Let i be 1/(-11) + (-28)/(-792). Which is smaller: i or a?
i
Let v(z) = -22410 + 22137 + 2*z + z + 5*z + 7*z. Let a be v(23). Which is smaller: a or 74?
a
Let k = -28909 + 1474313/51. Is -1 at least as big as k?
False
Let t = 76 + -77. Let i be 4/t + (12 - 0). Let v(s) = -s**2 - 8*s - 4. Let y be v(-6). Is y less than or equal to i?
True
Suppose 30 = 5*q - 5*z, q - 3*z + 4 = -0*q. Suppose 3*f = 2*a + 4*f + q, a + 13 = -2*f. Is -4 at most as big as a?
True
Suppose -10*h + 6996 = -1964. Is 891 greater than or equal to h?
False
Let v be (1 + 8)/(36/2916). A