*k - 2*k + 106. Let q be 8/p - (-148)/18. Is 8 less than or equal to q?
True
Let s = 694 - 684. Does -31 = s?
False
Let u(o) = -o**3 - 13*o**2 + 12*o - 19. Let s be u(-14). Suppose -4*x + 20 = -s*x. Which is greater: x or -2?
-2
Let p be 17 + -23 - -3*(-4)/(-6). Suppose c - 7 = -w + 2*c, -2*c = w + 5. Suppose 0 = 2*l + 3*f + 5, l + 0*f - 2 = w*f. Is l equal to p?
False
Suppose -4*v = -2*v - 6. Suppose 0*w - 32 = -2*w + 2*c, -12 = -2*w - v*c. Is w at most 9?
False
Suppose 5*s - 12 = u, 8 = 3*s + 5*u - 6*u. Is s at most as big as -3?
False
Let g = 6 + -5.91. Let p = -549272/95 + 5782. Let w = 4/19 + p. Do g and w have the same value?
False
Let i = -21 + 26. Suppose -3*k = p - 1, 5*p - i + 0 = -2*k. Let j = -87/2 - -779/18. Is p not equal to j?
True
Suppose 4*q - 7*q = -81. Suppose -2*w + 33 = q. Is w at most 4?
True
Suppose -5*c + 5*s = -5, -6*s + 9*s = 4*c - 3. Is c bigger than 14/261?
False
Let j be 12 + (-10 + 2071)/(-9). Do j and -217 have different values?
False
Let z(b) = b**2 + 7*b - 12. Let h be z(-7). Suppose 0 = 2*k + 20 - 6. Let s = k - -8. Which is smaller: s or h?
h
Let c = 54 + -32. Suppose -3*h - 3*z + 69 = 0, 2*h = 4*z - 8*z + 50. Is h bigger than c?
False
Let b = 0 - 3. Let y = b - -2.95. Let w = 465 - 466. Is w > y?
False
Let k(c) be the third derivative of 7*c**4/24 - c**3/6 - 6*c**2. Let o be k(-2). Let z be 20/o*-6 + -2. Are z and 11/2 nonequal?
True
Let v be (7 - 1)*(-2)/17. Let u = -298.1 + 298. Which is smaller: u or v?
v
Let w(v) = 4*v + 3. Suppose 18 - 17 = -u. Let f be w(u). Let d = -965/14 - -69. Is d < f?
False
Suppose -3*u + 83 = 2*v, -4*u + 51 + 29 = 2*v. Suppose -4*d + 7*q - 9*q = -v, 40 = 3*d - 4*q. Suppose -2*t + 26 = -0*t. Do t and d have different values?
True
Suppose -2*o + 1 = 3, 2*o = -4*c + 6. Let r = 9805/36 + -1085/4. Is r at least c?
False
Let u(a) = -a**3 - 21*a**2 - 24*a - 503. Let q be u(-21). Let d = 816 + -28563/35. Which is bigger: d or q?
q
Let t(c) = 12*c - 7. Let x be t(-2). Let o = -125/4 - x. Which is smaller: o or 6?
o
Suppose 5*v - 2*w - 2*w = -147, 5*w = 15. Which is greater: -24 or v?
-24
Let z = -103 + 101. Let w be 8/(-112)*8/z. Let j(q) = -q**2 + 6*q - 4. Let f be j(5). Which is smaller: w or f?
w
Suppose 0 = m - 7*m - 48. Let i be (-6)/33 + 86/(-11). Is i >= m?
True
Let x = -1861/227 + 948694/94205. Let h = -6/83 + x. Which is smaller: 3 or h?
h
Let l = 0 + 0. Let o be 2 - -1 - (l - 1 - -3). Let j be (-2)/6 + (-4)/6. Is o >= j?
True
Let p be ((-8)/35)/(11/1595). Which is smaller: p or -33?
p
Let p = 3.2 - 5.4. Let g = p + 2. Let r = -12 + 13. Is g at least as big as r?
False
Let g be (-14)/49*(-14)/2. Let h be 3/(-6) - g/(-4). Let c = 3/14 + 9/56. Which is bigger: h or c?
c
Let i = -24 + 27. Let p = i - 3.8. Is -0.1 smaller than p?
False
Suppose -2*l = -2*n + 8, 2*n + 4 = -l - 0*l. Suppose 8*d - 4*d + 4 = n. Is 1.6 less than or equal to d?
False
Let z = -23 + 20. Let g be 2 - -5 - (1 - z). Suppose -3*b = 4*w - 3, -4*w - 3 = -g*b - 9*w. Is 13/6 < b?
False
Let f be (-2 - -1 - -1 - 1)*3. Let o = -8 - -4. Let i = o - f. Which is greater: -2 or i?
i
Suppose -2 = -8*q + 142. Suppose 0 = -3*a - 5*n + q, 0 = 4*a + a - n - 2. Let f = 539/9 + -60. Is a >= f?
True
Let i be (6/18)/(80/(-32)). Which is smaller: -261 or i?
-261
Suppose -4*u - 5*f = 16, -3*u + 7*f + 23 = 2*f. Which is greater: 3/13 or u?
u
Let r = 546 + -7657/14. Which is smaller: -2 or r?
-2
Let b = -31 - -17. Let a be (1 - b/6)*36/(-15). Which is smaller: -9 or a?
-9
Suppose 3*w + 5*f = -7, 2*f = -4*w - f - 2. Let k = w + 24. Let l(m) = 10*m**2 - 136*m + 216. Let a be l(12). Which is greater: k or a?
k
Let v(m) = m**3 + 17*m**2 - 59*m + 38. Let f be v(-20). Which is smaller: 11 or f?
11
Let x(n) = -2*n**2 + 208. Let t be x(0). Suppose f - 5*f = -t. Let j be (f/(-5))/(4/(-10)). Do j and 25 have the same value?
False
Let q be (-4)/(4 + 0) + 3. Suppose 3*a - 5*a + 5*p + 38 = 0, 2*p + 26 = q*a. Is a less than 10?
True
Let q = 5 - 4. Let y = -97.76 + 98. Is y not equal to q?
True
Suppose 499 = -13*j - 502. Is -77 equal to j?
True
Suppose 0 = 2*o - z + 16, 21 = -4*o + 5*z + 1. Let b be (2/(-3))/(o/75). Let s = 2 - b. Which is greater: 0 or s?
0
Let c = 47 + -86. Let b = 39.1 + c. Which is bigger: b or 35?
35
Suppose -2*z + 3*r + 0*r = -47, -2*z + 52 = -4*r. Let t = z - 15. Suppose 0 = a - 0*a. Is t equal to a?
False
Let q be ((-4)/5)/(9/45). Let m be (-39)/6 - 1 - (-2)/q. Are m and -39/5 equal?
False
Let b be -2 + 3507/1896 + 2/16. Let t(a) = -9*a - 46. Let i be t(-5). Which is smaller: i or b?
i
Suppose 4*l = -x + 16, -l + 2*x = -8 - 5. Suppose 3*m + 3*r = -3, -l*m + 3*r + 14 - 3 = 0. Let c be (-24)/144 - (-2)/(-24). Which is smaller: m or c?
c
Let d = 47 - 75. Let u = d + 42.8. Let g = u - 15. Which is bigger: -1 or g?
g
Let v = -4987 - -214455/43. Let k = v - 295/774. Let o = -32/9 - k. Which is smaller: -5 or o?
-5
Let j = -26 - -53. Let p = j - 30. Is p at least as big as 6/11?
False
Let g = 7.7 - 8. Let a = 0.3 + g. Let k be 4/26 + 22/((-5720)/(-90)). Does k = a?
False
Suppose 0*w = -17*w - 17. Does w = -1/117?
False
Suppose -2*j + f = -1632, 4*f + 294 = -5*j + 4387. Let g = j - 98859/121. Let u = 2 + -3. Is u < g?
True
Let m(t) = -t**3 - 13*t**2 + 4. Let d be m(-13). Let k(c) = c**2 - 1. Let i be k(-1). Suppose -d*n + n = i. Do 4/3 and n have different values?
True
Let t = -1525 - -7621/5. Is 0.45 at least t?
True
Let w(h) = -3*h - 10. Let i be w(5). Let x = i - -21. Which is greater: -5 or x?
x
Let j be 33/209*(-2)/(-3). Suppose 5*n - 4*h + 7 = 0, -5*n + 3*h - 2 = 2. Which is greater: j or n?
n
Let z(m) = 60*m - 463. Let c be z(8). Is c at least 49/3?
True
Let o(w) = -32*w**2 - 60*w + 64. Let f(s) = 6*s**2 + 12*s - 13. Let h(g) = -11*f(g) - 2*o(g). Let t be h(-7). Is -2/169 at least as big as t?
False
Let h be -2*3263/(-26) - -11. Which is smaller: 260 or h?
260
Let s be 55/9 + -1 + -2. Let j = 3980 + -3979.9. Which is greater: j or s?
s
Let k = 5713/513 - 213/19. Let b be 1/(-2) - 2/4. Which is bigger: k or b?
k
Let x be 4*(6 + (-210)/(-24)). Is x != 241/4?
True
Suppose 47 = b - 7. Let t be (-3)/2*4/b. Let n be 0/3 - (-2)/(-6). Which is smaller: n or t?
n
Let y = -367 + 366.9. Let i = -1 + -2. Let w = -2 - i. Is w smaller than y?
False
Let s = -1.1 - 0. Let t = -0.2 - s. Let y = -0.9 + t. Is y smaller than 2?
True
Let r(l) = l**2 - 9*l - 6. Let y be r(8). Let i be (-16)/(-28) - 286/y. Is i > 21?
False
Let y(l) = -4 + 3 - 5 + l. Let c be y(9). Suppose -f - c*s = -16, -f - 5*s + 33 = 7. Do f and -2/27 have the same value?
False
Let m = -271.69 + 273. Let h = m + 0.09. Which is smaller: -0.1 or h?
-0.1
Let y = -32 - -2. Let l = -28 - y. Which is bigger: 5/3 or l?
l
Let d = -2109/2 - -965. Which is smaller: -89 or d?
d
Suppose 3*g + 1079 - 125 = 0. Which is bigger: -317 or g?
-317
Let d = 0.2 - 0.15. Let m = -4241/7 - -606. Is m <= d?
False
Suppose 369 = -7*b - 296. Let n = b + 95. Which is greater: n or -2/161?
n
Let x = 16003/1855 + -10/371. Which is bigger: -1 or x?
x
Let s be 155/(-325) - (-4)/10. Suppose -23 = -5*a + 17. Let n(w) = w**3 - 8*w**2 - w + 8. Let g be n(a). Which is smaller: s or g?
s
Let p = 2 - -9. Suppose -p*x + 6*x = 10. Is 0 at most x?
False
Let y = 60 - 58. Suppose -y*t + 2*k - 2 = -0*t, 4*t = 2*k + 6. Which is greater: t or 1/5?
t
Let c = -74 + -21. Let t = 107 + c. Let x = 7 - 5. Is t < x?
False
Let c be (-1527)/(-15)*-1*(-25)/(-3340). Let a = c - -2/167. Which is smaller: 0.11 or a?
a
Let g be 2/(-7)*(-4)/8. Let i = -15 - -23. Suppose 0 = -6*b + i - 2. Is g equal to b?
False
Let b = -251 - -252. Is 2/849 less than or equal to b?
True
Let q = 45 + -96. Let i = q + 409/8. Which is smaller: i or -1?
-1
Let u = 9.47 - 0.47. Let q = 9.1 - u. Does q = 15?
False
Let w(h) = h - 5. Let q be w(7). Suppose 0 = -g - 0*g, -2*c = 2*g - 2. Let j be ((-12)/10)/q + c. Which is smaller: j or -1?
-1
Let v(c) be the third derivative of -c**6/120 - 7*c**5/60 + c**4/12 + 7*c**3/6 - 14*c**2. Let z be v(-7). Is z smaller than -39/5?
False
Suppose 0 = 4*k + 10 - 2. Is -18/7 <= k?
True
Let j be (160/(-50))/(7 + 185/(-25)). Is 34 less than j?
False
Let n(c) be the first derivative of c**4/4 - 8*c**3/3 - c**2/2 + 2*c + 4. Let s be n(7). Is -55 > s?
False
Let r = -21.3 - -23.14. Which is smaller: r or 0.1?
0.1
Let m = -111/2 + 15