0*c + 12. Let p be ((-88)/(-2))/((-10)/(-2) - b). Are p and 25 equal?
False
Suppose 2*t = -3*j - 0*j + 13, -5*j + 20 = 3*t. Suppose 0 = 9*o + j - 28. Let x be -4 - (-4)/o*(14 + -11). Which is smaller: 3/53 or x?
x
Suppose -2119 = r - s + 8*s, -3*s = 2*r + 4161. Which is greater: -2072 or r?
r
Suppose -3*i - 107 + 101 = 0. Let g(k) = 2*k**3 + 5*k**2 + 7*k. Let n be g(i). Which is bigger: -28/3 or n?
-28/3
Let n be 6/21 + (-37)/7. Let b(k) be the third derivative of k**5/60 + k**4/3 + k**3 + 257*k**2. Let t be b(n). Are t and -10 non-equal?
True
Suppose 4*f + 197 = -1271. Let c = f + 9173/25. Which is bigger: c or 1?
1
Suppose -3*d - d + 112 = 0. Let o = d + -42. Let w = 2/451935 + -1807754/3163545. Is o at least as big as w?
False
Let z = 1.2 + -7.2. Let n be ((-16)/12)/(41/246). Are z and n unequal?
True
Suppose -104*l = -74*l - 660. Suppose -k = -4*k + 174. Suppose -4*g + 26 = -k. Which is bigger: l or g?
l
Let t = 26165/63492 + -3/1628. Is 1 equal to t?
False
Let p be 1/(-5) + (-150)/(-625)*(-10)/3. Which is smaller: 12/583 or p?
p
Let x = -54.394 + 6.486. Let k = 0.092 - x. Let z = k + -43. Which is smaller: -3/7 or z?
-3/7
Let x be (-144)/660 - (-257 - -253 - (-4)/(-22)*-23). Let p be 2/(-3) - (-66)/27. Are p and x nonequal?
True
Let l = -31/73 - 7164/2555. Is -4 < l?
True
Let h = -8687 - -5532. Which is smaller: -3156 or h?
-3156
Suppose -11*v + 2*v - 1251 = 0. Which is smaller: -137 or v?
v
Suppose -10*a + 158 = -8*a + 5*i, 79 = a + 2*i. Suppose -108 = -4*n - 2*v, -4*v - 24 = -3*n + a. Which is greater: 3 or n?
n
Let j = -0.5 + -0.74. Let g = j + 3.24. Is g greater than -5.4?
True
Let u be (15050/2499 - 6)/((-10)/(1 + 4)). Let g be (-5)/(-20) - 3/(-4). Which is greater: g or u?
g
Let v = -0.148 - -0.698. Let u = v + 0.45. Is 62 > u?
True
Let r be ((-6)/(-22))/(6/(-4)). Let i = 136 - 136. Suppose i = 11*d + 17 + 60. Is r <= d?
False
Let i(r) be the second derivative of -r**3 + 54*r**2 + 29*r. Let f be i(18). Which is smaller: f or -1/11?
-1/11
Let h = 43.5 - 43.4761. Is h >= 0.1?
False
Let t = -146 + -514. Let p = t + 659. Is p bigger than -2/649?
False
Suppose 0 = -6*u - 580 - 1010. Let x = -529/2 - u. Which is smaller: x or 13/3?
x
Suppose -3*y - 23 - 43 = -3*t, 3*t - 86 = -2*y. Suppose -q - 8*w + 3*w + t = 0, 5*w = 2*q + 23. Let s = -538 - -27979/52. Is q > s?
True
Let u = 31/3 - 11. Suppose -58*q = 19*q - 539. Which is bigger: q or u?
q
Let i = 25034 + -26807. Is -1781 at least as big as i?
False
Let v be ((-42)/(-441) + 916/(-1386))/((-2)/(-24)). Is -8 less than v?
True
Let o be (1 + 0)/1*3. Let q be 19/(-6384)*-497 - 12/(-36). Which is smaller: q or o?
q
Suppose -565 + 3910 = 4*w - a, 0 = -5*a - 5. Which is smaller: w or 834?
834
Let q be (-1 - -1)*12/(-48) + -45. Let r = q - -58. Is 11 at most as big as r?
True
Let t = -49834/21 + 2374. Is 2 bigger than t?
True
Let m = 2983 - 2204. Is m at most as big as 3117/4?
True
Let t = -7766 + 15192. Does 7426 = t?
True
Let m(l) = -l**3 + 11*l**2 - 9*l - 7. Let s be m(10). Suppose 6*c = 3 + s. Let f = -682/3 - -30017/132. Which is smaller: c or f?
f
Let w(s) be the third derivative of 37*s**6/120 - s**5/60 - s**4/3 + 4*s**3/3 - 32*s**2. Let k be w(1). Does k = 36?
True
Let s = -5018495/468 + 138376/13. Let z = -79 - s. Let y be (-2)/(-4)*(-287 + 289). Is z at most as big as y?
True
Let b(t) = 2*t + 42. Let g be b(-24). Let u be (-12)/g + (-1 + -2 - 8). Which is smaller: -11 or u?
-11
Let n(a) = a**2 + 51*a + 98. Let f be n(-51). Is f greater than 583/6?
True
Let m = 13830.8351 - 13831. Is m equal to -0.2?
False
Let t(k) = -7*k**3 - k. Let u be t(-1). Let m be (-2)/u*192/(-168). Let a be 168/(-320) - (14/(-10) - -1). Which is smaller: a or m?
a
Let m = -11824 - -152532/13. Do m and -90 have the same value?
False
Suppose 447*b + 200 = 467*b. Suppose 7*q - 3*y = 2*q - 230, 3*q = -2*y - 138. Let p be (q/5)/((-2)/b*6). Which is bigger: 7 or p?
p
Let j be 11 + -2 + -4862 + 2. Are j and -4851 nonequal?
False
Let a be (6 + -1)/(45/(-18)). Let m be ((-3)/a)/(6 + -582). Is m greater than 0?
False
Let v be -1*1/1014*-4. Let a = v - 197/507. Is a less than or equal to 1?
True
Let z(u) = 4*u**3 + 9*u**2 - 11*u - 7. Let f be z(5). Suppose -4*j + 271 = -w - f, 0 = -3*j - w + 697. Is 233 at least as big as j?
True
Let t be (407/22)/(1/(-2)). Suppose 4*n - 154 = 3*z, 5*z = 2*n - 70 - 14. Let b = n + t. Is 2/25 greater than b?
True
Suppose 16595 = 1272*j - 1287*j - 44920. Which is greater: -4100 or j?
-4100
Suppose 4*z + 14 - 6 = -4*b, -3*z - 6 = 0. Let f be b/(-1) + 515/15. Let r = f + -34. Which is smaller: 0 or r?
0
Let m = -66596/711 + -281/79. Is -98 at most as big as m?
True
Suppose -140*j + 129*j + 55 = 0. Suppose -j*z - 11 = 4*v, -6*v - 4*z + 11 = -5*v. Is v >= -68/7?
True
Let p(j) = -j**2 + 18*j + 116. Let k be p(-5). Let c = 8593/191 + -45. Which is smaller: c or k?
c
Let j be (-1)/((-1)/10*20/8). Suppose -j*q - 20 - 8 = -2*m, -q = 5. Suppose -95 = m*f - 5*n, 4*n + 11 = -9. Which is smaller: -29 or f?
f
Let q = -97 + 98. Let w be 68/(-38) - -2*2. Which is smaller: q or w?
q
Let l = -147 + 4559/31. Is l <= 2/3?
True
Let y(k) = -9*k**3 + k**2 + 4*k + 53. Let z be y(-4). Let g = z - 748. Are -594/5 and g equal?
False
Suppose -5*l = -3*r + r + 14, -4*l + 16 = 0. Suppose -521 + 920 = 19*i. Which is bigger: r or i?
i
Let y be (6/5)/((-6)/(-80)). Let n be 3/4 - (-14)/((-336)/(-1710)). Suppose 5*c + 0*c = -2*l + 73, 0 = 5*c + 3*l - n. Which is smaller: c or y?
c
Let s(b) = -b**2 + b + 21. Let d be (54/(-27))/((-2)/(-4)). Let q be s(d). Is q < 1/39?
False
Suppose n + n = 0. Suppose 5*j + p = -586, 4*j - 587 = 9*j + 2*p. Let q = -110 - j. Which is bigger: q or n?
q
Let u = -6015206/11067 + 9240/17. Let t(q) = -4*q**2 + 1570*q + 3951. Let c be t(395). Is u at most c?
True
Let y = 0.0116 + 70.3884. Let o = y + -70.376. Which is smaller: o or 0?
0
Let h be (2 - (-6)/(-9))/((-1)/(-36)). Suppose -8*b = -12*b - h. Let a be (1/(-1) - 8/b)*-3. Which is bigger: a or 2/3?
a
Let y = -5.4 + 5.4. Let q = -8 + 9. Let r = 3 + q. Are r and y equal?
False
Let a(s) = -1539*s - 6192. Let m be a(-4). Which is greater: m or -1156/31?
m
Let c = -31217 - -21076. Is -30421/3 <= c?
False
Let n(c) = -11*c**2. Let k be n(1). Let o(m) = -2*m**2 - 24*m - 1. Let l be o(k). Suppose f - l = -20. Is 6/13 >= f?
False
Let o be (8 - 1000/132)/(8/(-168)). Are 0 and o nonequal?
True
Suppose 4*p = -0 + 12. Suppose -y + 168 = p*y. Let c = 41 - y. Which is bigger: 1 or c?
1
Let m be (-15)/3 + 32/4. Suppose -m*c = -0*c - 6*c. Is c less than -4/61?
False
Suppose -384 = -3*u - a - 1327, -a + 632 = -2*u. Are u and -315 equal?
True
Let l = 6587 - 6595. Is l smaller than -27?
False
Let r(a) = -21*a - 607. Let u be r(-10). Is -395 >= u?
True
Let f(v) = 30*v**2 - 329*v - 7. Let b be f(11). Let s = 8 - 5. Let i be s*(b + 213/(-53)). Which is smaller: i or 1?
i
Let y = 1906 + -1905. Does -14/191 = y?
False
Let s(t) = 7*t**2 - 10*t - 67. Let l be s(-19). Suppose 5*y - 3*f = -l, -4*y + y - f = 1576. Are -528 and y nonequal?
True
Suppose 277*o - 409 = 278*o + 4*s, -5*o - 2095 = -5*s. Is -416 at most as big as o?
False
Suppose r - 17071 = -4*f, -642*r - 4270 = -f - 643*r. Which is smaller: 4268 or f?
f
Let m = -1831 - -1836. Is -2.5 at least m?
False
Let t(h) = h**3 - 8*h**2 + 9*h - 12. Let v be t(7). Let g = v + -6. Let d be (-14)/g*(-2 + 4). Is d at least as big as 10?
False
Let q(b) = -b**3 + 9*b**2 - 7*b + 10. Let p(a) = a**2 + a. Let x(v) = -4*p(v) - q(v). Let y be x(13). Suppose -35*g + y*g - 12 = 0. Which is smaller: -3 or g?
-3
Let h(j) = -19*j + 136. Let f be h(7). Let c be (-2 + 5)*f/((-45)/(-1630)). Which is bigger: c or 325?
c
Let n(k) = 2*k - 15. Let x be n(10). Suppose 3*j = -4*c - 0*c + 95, 0 = 5*j - x. Suppose -p - c = 2*d, -p - 28 = -0*p + 3*d. Which is greater: -14 or p?
p
Let u = -414/13 - -1268/39. Which is smaller: -6.1 or u?
-6.1
Suppose -51*o = -46*o - 4690. Let w be 6/(-60)*o/8*2. Let g = w + 97/4. Which is greater: 3/5 or g?
g
Let f = -99 - -61. Let m = 126247 + -126247. Which is smaller: m or f?
f
Let j be 1 - -140 - (-6 + 7 + 1). Let l = 128 - j. Let x = l + 10. Which is bigger: x or -1/25?
-1/25
Let v(f) = f**3 + 26*f**2 + 27*f + 25. Let d = 137 + -162. Let l be v(d). Which is greater: l or -174/7?
-174/7
Let j = -10519 + 8602. Whi