Let l be (-158)/(-11 - 404/(-36)). Which is smaller: l or -713?
-713
Let n be (4/((-16)/20))/(-7 + 6). Suppose 7*t = 10*t + 3, n*t - 23 = -2*x. Which is smaller: x or -10?
-10
Let z(v) = v**3 + 2*v**2 - 4*v + 3. Let f be z(1). Suppose f*d = -18 + 16. Which is bigger: -2/19 or d?
-2/19
Let w = -53 - -100. Let q = 56 - w. Let p be q + -11 - (-536)/270. Which is greater: p or 1?
1
Let t(w) = 2*w**3 - 111*w**2 + 51*w + 220. Let f be t(55). Are f and 1/36898 nonequal?
True
Let k = 10353 - 11836. Is -1484 at most k?
True
Let u be ((-12083)/3)/((-26)/36). Let t = u + -89322203/16016. Let a = -1/176 - t. Which is smaller: -19 or a?
-19
Let p(q) be the first derivative of 14*q**2 + 7*q + 18. Let s be p(-2). Let h = s + 48. Which is greater: 2/49 or h?
2/49
Let u = 21793 + -1000159/47. Let a = -416 + 929. Let w = a - u. Which is greater: 1 or w?
1
Let h(g) = g**3 + 31*g**2 - 2*g - 83. Let b be h(-31). Suppose -5*c + 0*c = w + 14, 4*w - 5*c = -81. Is w <= b?
False
Let p = 9.31 - 9.81. Let m = -32 + 740/23. Do p and m have the same value?
False
Let y be (-1)/3 - (-11)/33. Suppose 3*v = 4*a - 3*a + 9, 3*v - 4*a = y. Let p be 13*v/(-44) - 2/(-11). Which is bigger: p or 1?
1
Suppose -16 = -2*t + 2*b, -2*t + 3*b + 11 = -5. Let l be t/14 - (-135)/(-126). Which is greater: l or -276?
l
Let g = 2247/806 + -75/26. Suppose -1 = -3*r + 4*r. Is r bigger than g?
False
Let n = 0.24 - 0.229. Let d = -28.989 - n. Let m = d - -25. Is m equal to 2/3?
False
Suppose -12*d + 35 = 35 - 12. Let q be 75/(-33) + (0 - -2). Are q and d unequal?
True
Let j(k) = k**3 + 12*k**2 - 2*k - 17. Let f be j(8). Is 1247 smaller than f?
False
Let m(l) = l**3 - 28*l**2 + 44*l + 207. Let t be m(26). Which is bigger: t or -3/6388?
-3/6388
Let p be 240/42*(234/15 + -4). Let q = 56165/847 - p. Is q equal to -1?
False
Let m be (7 - 7)*(4 + -1 - (-70)/(-25)). Is m at most as big as -6/671?
False
Let n be (-1)/2 + (-18875222)/28 + -5. Let p = n + 677617. Let q = 3490 - p. Is q != -6?
True
Suppose -7*g + 6*g + 178 = 0. Suppose m + 176 = s, 2*s - 3*s + 2*m = -g. Suppose 3*u = -3*f - s, -f - 63 = u + f. Is u != -54?
True
Let n be 29 + 1 - 60*27/135. Which is greater: n or -4/79?
n
Let x be (-13)/(-573) - (15/(-5) - -3). Is 1 at most x?
False
Let t be (-1 + -3)*6/(-12 + -86352). Is t greater than 0?
True
Let g = 200 - 207. Which is greater: g or 430?
430
Let t = 0.234 + -0.018. Let f = -22.916 + t. Let d = -1.3 + f. Is d less than or equal to 2/5?
True
Let x = 3 - 3.2. Suppose -3*y + 24 = y. Suppose 2*f + y = -5*w, 4*f - 3*f = -5*w + 2. Is f greater than or equal to x?
False
Let h be ((-60)/(-585))/((-8)/(-12)) + 568/1209. Which is bigger: h or 1?
1
Let s(g) = 26*g + 55. Let j be s(-4). Are j and -60 equal?
False
Let l be 1/(4/(-102))*2740/(-34250). Do l and 3 have the same value?
False
Suppose -5*c = 15, -4*c - 15 = 4*l + 1. Let s be 1/(l + -1 + 22). Suppose 6*d = 3*h + 5*d, -2*h - 3*d - 11 = 0. Is h > s?
False
Suppose -67*y + 44 - 289 = -62*y. Suppose 4*s + 141 = s - 4*k, 2*k + 141 = -3*s. Which is greater: s or y?
s
Let u be 5*(9/(-7) + 1). Suppose 0 = -4*c - 4*k + 76, 5*c + 9*k - 92 = 7*k. Suppose -c*z + 106 = 34. Which is smaller: z or u?
u
Suppose -j - 2*j - 117 = 0. Suppose 1 - 10 = -3*b. Let x(t) = -10*t - 9. Let w be x(b). Is j at most as big as w?
True
Let l = 27540 - 22008. Do l and 5532 have the same value?
True
Let x be ((-120)/54)/(22/24). Let c be (-3978)/(-143)*4/(-8). Let b = c + x. Is b > -15?
False
Let s = -6.3551 + 6.359. Which is smaller: -3 or s?
-3
Suppose 3*u - 7 = -0*p + 2*p, 0 = -p - u + 9. Suppose -3*t = t + y - 112, -p*y + 124 = 4*t. Let x = -408 - -410. Are x and t equal?
False
Suppose -13 = -3*n - 25, -5*p - 3*n = -268. Suppose -15*l = p - 176. Are l and 21 equal?
False
Let s = 1788 - 1856. Is -71 less than s?
True
Let j be (-5 - 5)*(55 - 0). Let n = -567483 - -7384438/13. Let v = j + n. Which is smaller: v or 1?
v
Let j be -1*(13/((-156)/(-81)) - 7). Is j greater than or equal to -10334?
True
Let n(p) = 7*p - 112. Let t be n(16). Suppose -3*s - 3*d - 33 = t, -4*s + 2*s = -3*d + 27. Suppose -2*x + x = 13. Is s at most as big as x?
False
Suppose -5*j + 19 = -f, -2*j + j + 4*f = 0. Let k(o) = 5*o - 15. Let u be k(j). Which is greater: 2 or u?
u
Let a be -84*((-3 - -5) + -1). Is a != -1244/15?
True
Let u be (-2)/26 - 46/(-598). Is u greater than or equal to -14/723?
True
Let l = 78834335327/3606 - 21861990. Let r = l + 2/601. Let w = -2 - -1. Which is smaller: w or r?
w
Let g = 2 - -80. Suppose -g - 38 = 4*d. Let a = 2 + d. Is -29 bigger than a?
False
Let a = -308 + 2762/9. Let j be (-3)/20 - (30/(-8) + 4). Which is greater: a or j?
j
Let s = -1130 + 1128. Let x = 7940/231 - -1270/33. Let o = x + -4185/56. Is o less than or equal to s?
False
Let w(i) be the second derivative of -i**5/20 + 7*i**4/12 + 19*i**3/6 - 44*i**2 + 49*i. Let a be w(8). Does a = 1/74?
False
Suppose -5*s + 540 = y, 8*y - 4*y - 216 = -2*s. Suppose -5*n - 3*c - 94 = 0, -3*c - c = -5*n - s. Let k be 73/(-5) - n/(-50). Is -14 at most k?
False
Let i be ((-2)/6)/((-13)/28). Let w = i + -57/13. Is -2/5 less than w?
False
Suppose -27*y = -12*y - 2565. Suppose -4*j = -9*j - 25, r = j + 175. Do y and r have the same value?
False
Suppose -3*g = -3*u - 635 + 44, 0 = -g - u + 211. Is g not equal to 216?
True
Let t be 5088/288 - (1 - 5). Let x = 29 + -6. Is t less than x?
True
Let w = -24 + 28. Suppose -4*i - w = -2*n - 0, 4*n - 3*i = 33. Let t be (10/n)/((-20)/(-36)). Which is greater: t or -3?
t
Suppose 5*a + 3*t - 9 = 5, 3*t = 3*a + 6. Which is greater: a or 2/49?
a
Suppose -31*v - 3472 - 20894 = 0. Let n = 3916/5 + v. Do -2 and n have the same value?
False
Suppose -18*s = -12*s - 246. Suppose 3*j = i - 12, -9 = 2*i - 4*j - s. Let g be (-2)/10 + (-1)/(5/i). Which is smaller: g or -6?
-6
Let t = -24340851/1627765 + 643/43. Which is smaller: t or 1?
t
Suppose 109*r = 70*r + 1482. Let l be (-799)/(-22) - (-32)/176. Are r and l equal?
False
Suppose 17*t - 18*t = 0, -h + 3*t = -4920. Is h greater than 4920?
False
Let s be 4/(-24) + 7146/891*(-15)/(-740). Which is smaller: s or -1?
-1
Suppose x + 145 = 5*h + 3*x, 0 = -2*x. Let q be (35 - h)*(-9 - 0). Is q bigger than -53?
False
Let u(q) = q**2 - 7*q + 11. Let d be u(5). Let k = 7497 + -802199/107. Which is smaller: d or k?
k
Let q be 1 + -32 - (3 - 4). Let v(x) = -21 - 4*x + 2*x + 25 - 17. Let y be v(9). Is y less than q?
True
Let z(a) = a**3 + 19*a**2 - 38*a + 72. Let d be z(-21). Let l be 6/(d/14)*(-36)/21. Is 11 > l?
False
Suppose -52*k + 56*k = 8. Let u be (-1 - k/(-8))*8/(-1461). Is u < 0?
False
Suppose 5*u = -5*k - 0*k, 2*u = -4. Let b be (-74)/105*3 + k. Suppose 3*w - 2*t - 6 + 5 = 0, 0 = 5*w - 3*t - 2. Which is greater: w or b?
w
Let k = 214 - -246. Suppose -1028 - k = -12*u. Which is smaller: 123 or u?
123
Let i = -1/3437 + -30890/147791. Which is smaller: i or 1?
i
Let j be 1*(-4)/20*-5. Let t be 90/35 - (0 + j). Which is smaller: 2 or t?
t
Let q = 35047 + -35069. Let b be (0 - 4/(-2)) + 1. Suppose b*x + 120 = -2*x. Which is smaller: x or q?
x
Let z be (-82278)/7020 + 8/52. Which is bigger: -13 or z?
z
Let w = -35 + -950. Let v = w + 964. Which is smaller: v or -15?
v
Let k(h) = -h**3 + 21*h**2 - 21*h + 22. Let s be k(20). Let a be (12/(-357))/(s/(-7)). Is a at least as big as 0?
True
Let w = -2/119 - -23/357. Suppose 112*x = 116*x. Which is smaller: w or x?
x
Let s = 24256 - 24256. Is 20/779 smaller than s?
False
Suppose -4*n = -4*f - 0*n - 47708, -4*f - 5*n = 47717. Let i be (-3 + -1 - -2) + (-23840)/f. Which is smaller: 0 or i?
i
Suppose -5*j + 9086 = -19*j. Which is smaller: -5/3 or j?
j
Let r(l) = l**3 + 13*l**2 - 2. Let h be r(-13). Let d be h*(-35)/(-10) - (4 - 1). Let q = d - -15. Which is greater: q or 6?
6
Let u = 1/80 + -167/560. Let w be (2/(-27))/(1*62/(-3)). Which is smaller: w or u?
u
Let o be ((50/(-350))/((-2)/14))/(5/(-535)). Let z = -139 + 33. Is z smaller than o?
False
Let f be 0/7*-1 + (-2 - -2). Suppose 0 = -3*m - 2*w - 5, 4*m - w = -f*w + 8. Is m != -9/47?
True
Let r = -8788 + 8550. Is r less than or equal to -239?
False
Let b(s) = -s**3 + 17*s**2 + 48*s - 215. Let p be b(25). Which is smaller: -0.2 or p?
p
Let u be (5 + -2)/3 - (1 + -2). Suppose 0 = h + 5*w - 3198, -4*h - w + 12855 = -u*w. Let p = h - 9736/3. Which is smaller: -33 or 