
Let i(f) = -258*f + 16313. Let w be i(9). Is 13992 greater than or equal to w?
True
Let w(a) = -a**2 - 2*a + 58. Let d be w(10). Let l = -83 - d. Let t(q) = q**3 + q**2 - q + 2. Let h be t(-2). Which is smaller: l or h?
l
Let s(j) = 4*j + 2. Let t be s(1). Let d be t/(-8)*(-4 + -4). Let y be 12/d*3/18. Which is smaller: -17 or y?
-17
Let r = 27/217 + 5/31. Let f = 687 - 686.82. Which is smaller: r or f?
f
Let y = -1444 + 1992. Do y and 549 have the same value?
False
Let m(j) = -1136*j**2 - 2*j + 1. Let z be m(1). Let u be (5/z)/((-3)/(-9)). Let s = u + 1153/29941. Is 1 bigger than s?
True
Let r(a) = -a**3 - 115*a**2 - 440*a + 299. Let w be r(-111). Is -15 less than or equal to w?
False
Let m be ((-3)/(-16)*-2)/(2052/16416). Is -128/85 smaller than m?
False
Suppose 4*f - 2*j - 3*j - 22 = 0, -2 = 2*f + 4*j. Let t(k) = -2*k**f + 2 - k**3 + 4*k**2 + 0*k + 2*k**3 + 5*k. Let g be t(5). Is 1 < g?
True
Let m = -202 - -87. Let b = -169 + 55. Is m > b?
False
Let j be (94990/56 - 4) + (-7)/(-4). Which is smaller: j or 1692?
1692
Let s = -66 + 67. Let b be (4*(-35)/(-14))/(1 + s). Suppose -5*l - 2*g = -19, 0 = -5*l - 4*g - b + 28. Which is bigger: 22/7 or l?
22/7
Let w(d) = d**2 + 11*d - 157. Let o be w(-23). Is o < -10?
False
Let i = 1.99 - -0.01. Let n = 7.264 - -57.736. Which is greater: i or n?
n
Suppose 12*c + 48 = 0, -9*p = -7*p - c + 466. Is p < -238?
False
Let m = 1454/3 + -502. Let b = 134 - 131. Suppose -32 = b*z + 19. Is z >= m?
True
Let a = 3341 - 3330. Which is greater: a or -39?
a
Suppose 43*c = 45*c - 5220. Suppose 47*t = 2278 + c. Which is smaller: t or 103?
103
Suppose 0 = 6*y + 18*y + 336. Let q be (4/y)/(70/2835). Which is smaller: q or -12?
-12
Let w = -4656/889 + 12/127. Let b = w + 109/21. Is -1 not equal to b?
True
Let n = 913292/21 + -43553. Let p be (362/(-9))/((-2)/3). Let k = n + p. Which is smaller: k or -3?
-3
Let l = -71 + 71. Suppose 3*d = 5*i + 100 + 6, l = -3*d + 2*i + 91. Suppose -5*u + 2*k + d = 0, 2*k = -3*u + 7*k + 1. Do u and 9 have the same value?
False
Suppose -10*f + 1791 = -10899. Is -2/3 at least as big as f?
False
Let u be (-15)/(-2)*(-3)/((-45)/(-40)). Let v be u - -27 - 2*1. Suppose 3*g + m = -10, v*g - 4*m = 4*g + 14. Is -8/13 at most g?
False
Suppose -958*x = -971*x. Is 3/932 at most as big as x?
False
Let v be -4 + 0 - 2736/(-50). Let q = v - 244/5. Which is smaller: -1 or q?
-1
Let d be (24 + 1054/(-51))/(8/6). Is d less than 148?
True
Let z(j) = -j**2 + 20*j + 68. Let r be z(23). Let l be ((-6)/(-45))/(132/300). Do r and l have the same value?
False
Let i = 10.1 + -14.63. Let z = -0.0985 - 0.2315. Let u = z - i. Is u smaller than 0.1?
False
Suppose -5*h + 1 = -4*l, -4*h + 0*l = -5*l + 1. Let v be 2/(-564)*272/(-136). Which is greater: h or v?
h
Let g(a) = -a**2 + 6*a - 10. Let u be g(4). Let s be (-2 + u)/(4 - 2) + 224. Suppose 12*c - s = -6. Is 19 >= c?
True
Let f be -1086 - -1 - (1 - -2). Let g = f - -103363/95. Which is greater: 1 or g?
1
Let a = -2.24865 + 0.04565. Let n = a - -0.203. Which is bigger: -2.2 or n?
n
Let t(x) = 13 + 15 - 3*x - 16. Let a be t(9). Let o be ((-3)/a*-12)/(4/30). Do -19 and o have different values?
True
Let w be 42/1054*(-176)/(-616). Which is bigger: w or -1?
w
Let r be 23 - (1 + 0 + (-2 - 1)). Let i(l) = 14 - 15*l + 60*l - 21*l - r*l. Let d be i(0). Is 0.1 greater than or equal to d?
False
Suppose -u + 31*z + 3 = 36*z, -2*u = 4*z - 6. Does u = 67/36?
False
Let t be (-3 - (-374634)/(-1240))/(6/(-15)). Let z = -6105/8 + t. Let i = -10739/33356 - z. Is -1 smaller than i?
True
Suppose -p = 8, -5*b - 3*p + 1972 - 2081 = 0. Which is greater: b or -254?
b
Suppose -9*x - 13 = -k - 13*x, 10 = k + 3*x. Does 739 = k?
False
Suppose -4*n = -46 + 18. Suppose 3*p + 126 = 3*v, -v + 2*p - 3*p + 48 = 0. Suppose -12 + v = 11*r. Do n and r have the same value?
False
Let i = 0.0251 - -3.9749. Let s be 13/2 - (0 - 0). Is s less than i?
False
Let s be 78/(-104) - 33/(-12). Let d be (3/s)/((-49)/(-294)). Which is greater: d or 10?
10
Let v = -19253 + 13720. Which is bigger: v or -5532?
-5532
Let k(v) = 320*v + 615. Let p be k(6). Is p bigger than 2534?
True
Let f = -16583/13 - -4876559/3822. Let d be (9/735)/(-16 + (-936)/(-60)). Let s = f - d. Is 54 bigger than s?
True
Suppose -4*w + 125 = 5*q, -2*w = -3*q + 21 - 78. Suppose 0 = -5*k + o + 109, w*k - 27*k = -5*o + 43. Is 18 less than k?
True
Let x be 37/((-4788836)/(-78))*(-8)/(-3). Is 1 <= x?
False
Suppose -2*c - i + 11 = 5, 0 = -5*c - 4*i + 12. Suppose 4*o + 4*n = c, -2*o + o + 3*n + 1 = 0. Which is bigger: o or 0.314?
o
Let h = -1.849 + -59.151. Is h smaller than -0.09?
True
Suppose -2*z + 5*k = -3*z + 1089, 4241 = 4*z - 3*k. Which is greater: 1066 or z?
1066
Let r be 0/(-2) + 8 + -18. Let y be (4/(-16)*r)/(1/(-2)). Let o = 0 - y. Which is bigger: 6 or o?
6
Suppose -25 - 23 = -4*n. Suppose 13*w + n = 7*w. Let t be 0 - 6/63*33. Does t = w?
False
Suppose 3*n + 506*i = 508*i - 9, -2*i = -6. Is 7/191 greater than or equal to n?
True
Let o be 33/(-77) - (-1247)/(-63). Let c = -2384/117 - o. Is -26 less than c?
True
Let l = 194 - 344. Let x = l - -164. Let r be -3 - -3 - 2/3. Which is greater: x or r?
x
Suppose 14*w + 667 = -663. Let t = -3518/37 - w. Which is greater: 0 or t?
0
Let g = 3706.13 - 3761. Let p = g - -98.88. Let m = 44 - p. Which is greater: 1 or m?
1
Let l = 202 - 249. Let s be (-9)/(63/(-14))*(-2)/l. Is s less than -1?
False
Let r(a) = a**2 + 123*a + 3081. Let z be r(-88). Which is smaller: z or -12/49?
-12/49
Suppose -4*f - 19 = -x + f, 5*x = 4*f + 74. Let o = -8 + x. Suppose 29 = -a + o. Which is smaller: a or -22?
a
Let m(s) = 57*s + 1. Let j be -1*6/30*5. Let b be m(j). Is b at most as big as -55?
True
Let d be (-1777)/(-10518) + (-114)/684. Is 1 less than d?
False
Suppose -3*m = 2*c + 68, 4*c - 8*c = m + 26. Let s(j) = j**3 + 21. Let p be s(0). Let d = -44 + p. Is d > m?
False
Let g = -0.7 - -14.5. Let y = -14 + g. Let o = y + 0. Which is smaller: -2 or o?
-2
Let p be 37434/85 - (3*-1)/(60/(-8)). Is 431 equal to p?
False
Let l = 7/80 + 5/16. Let k(u) = 5*u - 10. Let a be k(2). Suppose 0 = -2*q - 3*i, a*i = 5*q - 2*i. Which is bigger: q or l?
l
Let p = 168 + -64. Let u = -55 + p. Let m = u + -37. Is -0.2 not equal to m?
True
Let f(h) = 3*h**2 + 16*h + 27. Let n be f(-2). Which is greater: n or 19/15?
n
Let x = 210/529 + -55932/116909. Is -1 at most as big as x?
True
Let m be (23 + 5)/(-7) - 2*-3. Let j be m + -3 + 6 - 42. Which is smaller: j or -36?
j
Suppose 7475*k + 3083 = 3*b + 7474*k, 5*k = -2*b + 2095. Which is smaller: 1025 or b?
1025
Let u = 173 - -387. Let a be (-5*12/u)/(31/(-2)). Which is smaller: a or -1?
-1
Let z = -17408 + 1897457/109. Which is smaller: z or -0.1?
z
Suppose -5*p + 3*p = 0. Let i be (1 - -1) + (-2 - 1) + p. Is i at most -9/5?
False
Let r = 29625 - 44819. Which is bigger: r or -15193?
-15193
Suppose 3*l - 8271 = -c, 17*c - 66028 = 9*c - 4*l. Is -2 != c?
True
Suppose -48 = 57*g - 61*g. Suppose g*n + 912 = -4*n. Is n <= -57?
True
Let a be ((-56)/24 - (-814)/372)*(-4)/(-735). Which is smaller: a or 1?
a
Let j = -4 + 3.7. Let f = 38 - 90. Let p = 53 + f. Do p and j have the same value?
False
Suppose 4*s + 13 = -5*r, 0*s + 2*r + 4 = -2*s. Suppose 5*k - 21 = -56. Let g be -2 + 1 - 7/k. Which is greater: g or s?
s
Let g = 3082/22965 - 4/4593. Let v be (1 - 2/1) + -13. Let z be (-4)/v - (-45)/63. Is g at most z?
True
Let t = -163 - -81. Let m = -2.49 + -80.51. Let z = t - m. Is z at least as big as 2?
False
Let p(v) be the first derivative of 120*v**2 + 8*v - 24. Let y be p(-1). Let w be 5*(y/(-115) - 2). Is w equal to 0?
False
Let p(v) = -3*v + 29. Let h be p(9). Suppose -3*d = x - 11, 0 = 4*d - 2*d + h*x - 14. Suppose -14 = -12*j - d. Which is smaller: 18/19 or j?
18/19
Let z = -94 - -95. Let h = z + -2. Is h greater than 483?
False
Suppose -19*i - 34*i + 2650 = 0. Is 50 equal to i?
True
Let z be 832/(-44) + 19 + (-46)/22. Is z less than or equal to 246.6?
True
Suppose -3*c - 1251 = 3*b, 530*c + b = 526*c - 1659. Which is smaller: -411 or c?
c
Let t = 288962/345 + -13624/15. Which is bigger: t or -70?
-70
Let b = 4267 + -4313. Is -46 > b?
False
Let x = 117.415 - 117. Let l = x - 0.315. Is -2/13 greater than l?
False
Let y = -10215 + 14140. Is y at least 3925?
True
Let u = 0.24985 + -0.04985. Which is s