*m**2 - 45*m + 56. Let r be v(22). Let o = 10 + -12. Is r at least o?
True
Let o = 0.108 + 5.892. Is 21 greater than o?
True
Let r be ((-56)/32)/((-51)/3954). Let q = r + -271/2. Let d = 1 - 2. Which is smaller: q or d?
d
Let g(b) = b. Let s be g(10). Suppose 0 = s*u - 6*u + 8. Which is smaller: u or -1?
u
Let c = 0 - 0. Let i = c - 1. Let y = -6/245 - 412/3185. Which is greater: y or i?
y
Let n = 1 - 1. Suppose 0 + 6 = 3*t, -3*b - 2*t = 5. Is n less than b?
False
Suppose c = 5*f - 3232, -2*c + 3241 = 3*f + 2*f. Let a = f + -343. Let g = a + -3342/11. Which is bigger: g or 0?
g
Let s = 807/175 + -1/25. Let f = 240 - 235. Is f < s?
False
Let v = 253 + -328. Which is smaller: -77 or v?
-77
Let f = -1/1129 + 1181/58708. Let t = f + 11/104. Do t and 1 have different values?
True
Let x = 13 + -14. Let n be x/6*(-272)/24. Are n and 1 non-equal?
True
Let k be (-96)/60 + (-4 - (-69)/15). Which is smaller: -2/1123 or k?
k
Let c(u) = -35*u + 1. Let z be c(-6). Let g = 321 - z. Is g at least 110?
True
Let c = -24/125 + 1034/5125. Is 0.2 < c?
False
Suppose 0*s - 962 = -3*m - 2*s, 4*m + 3*s = 1282. Which is smaller: m or 323?
m
Let v = 786 + -298. Let z = -10739/22 + v. Is z < -1?
False
Let u = -136 - -134. Suppose -2 = 4*l - 14. Let a = -4 + l. Is u > a?
False
Let y = 1903 - 1565. Which is smaller: y or 0?
0
Let d = -126.936 + 127. Is d at least as big as -3?
True
Let i(s) = -s**3 - 11*s**2 + 11*s - 11. Suppose -2*z - 13 = 11. Let x be i(z). Let b be 0/(-10 + 6) + 1/3. Which is bigger: b or x?
x
Let q = 164.1 + -88.3. Let i = q - 76. Which is smaller: i or 9?
i
Let w be 2/(-11) + 230/55. Let x be w/((28/8)/7). Suppose 3*n - x = 2*o + 8, 3*n + 5*o - 44 = 0. Does n = 6?
False
Suppose b - 3*f + 1 - 4 = 0, -b = -f - 3. Suppose -b*i + 20 = 17. Suppose -6*o = -10*o + 4. Is i smaller than o?
False
Let g be (2 + -23)/(-3) + 2. Suppose 4*s + l = 37, -9 = 3*l - 0*l. Which is smaller: g or s?
g
Let b = -2/55 + -149/440. Suppose 0 = 6*z - 15 - 87. Let n = -18 + z. Which is bigger: b or n?
b
Let f = 8 + -9. Let u be (2 - 1)*(20 - (2 + f)). Is u greater than 20?
False
Suppose 5 + 3 = -s. Let x be 2/(-42) + (5/(-3))/(-5). Is s not equal to x?
True
Let b = -448 + 409. Which is bigger: b or -46?
b
Suppose 5*w = 5 - 15. Let d be 3 + w + 93/(-27). Let j = d - -361/144. Which is smaller: 1 or j?
j
Let c(s) = s**2 + s - 4. Let f be c(-3). Which is smaller: f or 28?
f
Suppose 30 = 5*m + 4*d - 34, -4*d - 16 = 0. Let i be m + -15 + (-11)/23. Let t = i - 38/161. Is 0 greater than or equal to t?
False
Let z = -2112/7 - -301. Let j(q) = -q**2 - 45*q + 94. Let l be j(2). Are l and z non-equal?
True
Let k = 860 - 6050/7. Let i be (53/(-105))/(1/(-3)). Let g = i - k. Which is greater: 7 or g?
7
Suppose 0 = p - 2. Let d be 1 + (15/(-170))/(p/24). Which is smaller: 0 or d?
d
Let t = 60 - 59.904. Is 0.1 at least t?
True
Suppose 4*q - q - 9 = 0. Suppose 9 = -0*f - q*f. Let j(r) = 7*r**3 - 671*r**2 - 95*r - 98. Let v be j(96). Which is smaller: f or v?
f
Let u = 1.78 - -71.22. Let b = u + -41. Is 0.1 greater than or equal to b?
False
Let r(c) = 26*c**2 + 1. Let j be r(1). Are j and 21 equal?
False
Let z be 2/(-2) + 14/2. Let q be 126/4 + z/(-3). Let l = -30 + q. Is 2 less than l?
False
Let d(a) = -4*a + 24. Let n(i) = 2*i - 12. Let h(t) = -3*d(t) - 5*n(t). Let c be h(-5). Are -22 and c nonequal?
False
Suppose 3*b = 96 + 105. Is 69 not equal to b?
True
Suppose 0 = 973*p - 982*p - 3015. Which is bigger: p or -337?
p
Let j be (-2)/((-1)/(-3) - 1). Suppose 257*d - 236*d + 21 = 0. Let k = d + j. Which is smaller: -0.8 or k?
-0.8
Let g = 64 + 14. Let j = g - 77.9. Is -1/3 less than j?
True
Let s = 123/14 - 58/7. Which is smaller: s or -50?
-50
Let i(f) = -f - 7. Let g be i(-5). Suppose -13 = -6*q - 7. Let l = g + q. Does -1/3 = l?
False
Suppose 20 = -5*y, 2*w + 3148 = 6*w - 10*y. Are w and 777 equal?
True
Let w be 4*(-2)/2*-3. Let v = w - 9. Let i be 70/(-24) + 2/v. Is i bigger than -3?
True
Let w = -203 + 227.1. Which is greater: w or -1/3?
w
Let n = 0.65 - -29.35. Let b = n + -12. Let g = b + -18.2. Is -1/10 at least g?
True
Suppose -x = 4*b - 24 + 3, 0 = x - 3*b - 42. Suppose 5*l = 5*g + 35, -5*g - 2*l + 6*l - x = 0. Which is smaller: g or -4?
g
Let f = 12.7 - -2.3. Let i = -19 + f. Is i at least as big as 2/21?
False
Let k be (-3)/(0 + -2 + -65). Let s = k - -235/737. Let o = 608 - 609. Are s and o nonequal?
True
Suppose 5*p + 5*t = 4 + 11, 0 = -5*p - t + 7. Let h(n) = n**2 - 8*n - p - 3 - 7 + 2. Let x be h(9). Are x and -3/17 equal?
False
Suppose -55 = -3*n + s - 50, 0 = 2*s + 4. Which is smaller: n or -2/7177?
-2/7177
Let y = 20.013 - -1.687. Which is bigger: y or 0?
y
Suppose -4*a - 4 = -t, -3*t + 58 = t - 2*a. Suppose 13*j + t = 15*j. Let u be 1 + -2 - -3*3. Are u and j unequal?
False
Let r = -390 + 389. Is -1/913 < r?
False
Suppose 1356 = -3*q + 1212. Which is smaller: -53 or q?
-53
Let t(f) = f**3 + 3*f**2 - 3*f. Let i be t(-4). Let s(u) = -u - 2. Let o be s(i). Let b be (-81)/(-36) + (-3)/2. Is o <= b?
False
Suppose -82 = -8*a + 518. Is a smaller than 76?
True
Let o = 90630563/99560 + -135389/152. Let d = o - -27/131. Which is greater: d or 20?
20
Suppose 3*r = 1 + 17. Let t(f) be the second derivative of f**4/12 - 5*f**3/3 + 13*f**2/2 - 8*f. Let s be t(9). Which is greater: r or s?
r
Let k be (-2)/(-2)*(-1 + 1). Let q = 43 - 35. Let t be 153/(-231) - q/(-14). Are t and k unequal?
True
Let o(i) = -i**2 + 6*i + 2. Let l be o(6). Suppose -13 = -c - 10, 3*c = -5*b + 4. Is l bigger than b?
True
Let j = 31 + -11. Let r be (-8)/60*-9 - (-16)/j. Is r greater than or equal to 10/13?
True
Let p = -32 + 23. Let y = -15 - p. Suppose 2*t - 6*t - 16 = 0. Which is bigger: t or y?
t
Suppose -6*m + 10*m - 12 = 0. Let s = -1176/11 + 8496/77. Which is bigger: m or s?
s
Let v be -1417 + 2 - (-3 + (2 - 5)). Is v at most -0.1?
True
Let w = 5.39 + -5.35. Which is bigger: w or -2/19?
w
Let m be 39/(-45) + (-2)/6*1. Let u = -3 + 1. Which is bigger: u or m?
m
Suppose -2*j + 1 = 5, 4*j = -5*n + 367. Suppose -2*r + 192 = -4*c + 2*r, 2*c = -5*r - n. Is -45 equal to c?
True
Let t = -271062599738845/4122 - -65759970470. Let w = 3191/9 + t. Let m = w + -3649/2290. Do -2 and m have the same value?
False
Suppose 3*p - 541 = 5*g, 5*p - 4*g - 875 - 18 = 0. Is p < 177?
False
Let t(z) = 2*z - 11. Let y be t(5). Let j be ((-1)/y)/((-9)/90). Suppose 2*o + 4 = -16. Is o less than j?
False
Let s(z) = -z**2 + 52*z - 52. Let r be s(45). Which is bigger: 262 or r?
r
Let f be (-2)/5 - (-53)/20. Let w(q) = q**3 + 3*q**2 + 21*q - 4 + 4*q**2 - 22*q. Let z be w(-7). Is f less than z?
True
Suppose -5*x = -1942 + 5952. Let p = x - -26462/33. Is -1 bigger than p?
False
Let f = 89 + -29. Let r = f + -60.1. Is r less than 5?
True
Let t(k) = -5*k**3 + k**2 - k + 1. Let b be t(1). Let g(c) = 7*c + 28. Let p be g(b). Is p at most -1/3?
False
Let n(i) = 2 - 2*i + 2 - 11 + 3. Let h be n(-3). Suppose -3*p + h*y = -1, -3*p + 2*p + 3 = -2*y. Do p and 0 have different values?
True
Let k = -87 + 89. Which is smaller: k or 1/2?
1/2
Let g be (-4)/8*(3 + -3 + -18). Suppose 10 = z + k + 4*k, 3*k - g = 0. Which is smaller: -3 or z?
z
Let x be 1*(20*3 - -3). Let r = -1 + x. Let z be (-12)/(-54) + r/(-36). Does z = -3?
False
Let z = 6.21 - -0.29. Let m = z - 6. Let x be -9 + 7 - (-8)/6. Which is smaller: m or x?
x
Let s be 9/(-108)*12/44. Is 0 greater than or equal to s?
True
Let m = 17 - 20. Let g = m + 5. Is 0.2 <= g?
True
Let t = -1113 + 1615. Are 503 and t unequal?
True
Let r be (-4)/22 + 0 + (-35)/(-11). Suppose -20 = -f + r*f. Is f less than -0.2?
True
Let t be ((-2)/(-6))/(2/4). Let q = -1244 - -1244. Which is smaller: t or q?
q
Let b = 1971 - 2017. Is b < -46?
False
Let r(b) = -b**3 - 24*b**2 - 18*b + 13. Let l be r(-23). Let p = 120 + l. Which is smaller: p or 19?
p
Let l = -37 + 35. Let t be (-1)/3 - l/6. Let a = -23/10 - -14/5. Are t and a nonequal?
True
Let z = 6 - 4. Let v be 1*-26 + 15/(-5) + z. Which is smaller: -1 or v?
v
Let r(l) = -l**3 + 3*l**2 + 6*l - 5. Let a be -1 + 12/3 + 1. Let d be r(a). Suppose -d*j - 1 = 2. Which is bigger: -4 or j?
j
Let r(t) = 86*t + 83. Let g be r(-3). Suppose -2*h = 5*k - 134 + 44, 0 = 5*k - 3*h - 90. Let c be (-3)/21 - k/g. Which is bigger: c or 0?
0
Let j = 16834/1309 - 54/187. Let x = j - 1327/105. 