7*l. Which is smaller: l or -16/101?
-16/101
Let q = 124 + -126. Are q and -13/7 unequal?
True
Let q = 14.85 - 20.9. Let a = -0.55 + q. Let z = a + -0.4. Which is bigger: 0.1 or z?
0.1
Suppose -2*c + 15 = -5*s, c - 11 = s - c. Let f be -4*(0 + s/1). Which is smaller: f or 0?
0
Let p = 15/44 - 765/308. Is 2 != p?
True
Let n(u) be the third derivative of -u**4/24 - u**3/2 - 6*u**2. Let x be n(0). Which is bigger: x or -2?
-2
Let z = -28 + 31. Suppose -z*o + 0 = -9. Is -2/5 less than or equal to o?
True
Let q = -369 + 442. Is 76 > q?
True
Let r = -0.9 + 17.9. Let w = -10 + 20. Let y = w - r. Is 1 <= y?
False
Let z be (7 - 45/6)*2/(-4). Do 0.5 and z have the same value?
False
Suppose -13*k = -37*k + 240. Which is smaller: k or 14?
k
Let b = -16/997 - 1861319/4985. Let f = b - -375. Which is greater: 3 or f?
3
Let s = 26 + -23. Suppose 0 = 4*f - s*f - 12. Let c be ((-4)/12 - 0)*f. Which is greater: c or -5?
c
Let c(k) = k**3 + 44*k**2 - 94*k - 87. Let f be c(-46). Do -2 and f have the same value?
False
Let t be (2/7)/((-2)/(-2)). Is t greater than -4?
True
Let n(i) = -i - 9. Let u be n(-5). Let k(x) be the first derivative of -x**4/4 - 8*x**3/3 - 7*x**2/2 - 9. Let w be k(-7). Which is bigger: u or w?
w
Let c = 23 + -23. Suppose c = -t - 6 + 5. Is -2/21 smaller than t?
False
Let m be ((-4)/(-18))/((-10)/6)*706. Let n = -96 - m. Is n != -1?
True
Let i = 2.85 + -4.85. Is -90 bigger than i?
False
Suppose 0 = 3*f + f - 120. Suppose 5*c + 3*g = f, 4*c - 2*g - 2 = -0*g. Let u = 10386 + -10387. Which is bigger: u or c?
c
Let k = 1557 + -23357/15. Let w = 2 + 0. Suppose 2*d = -w*d. Which is smaller: k or d?
k
Let v be 0 - (-1025)/(-15) - 3/(-9). Is -68 >= v?
True
Let x = 12 - 11.91. Is x >= -13?
True
Suppose 4 - 52 = -8*g. Let r be (-14 - 1)*(-2 + g + -3). Is r at least as big as -20?
True
Let h be 4/(((-2)/4)/(-1)). Suppose -2*z - 3 + 7 = 0. Suppose 11 = x - p, 3*p + 3 - z = -x. Are x and h nonequal?
False
Let r be 2 - (-2)/(2/5). Suppose -8*s = 9 + r. Which is smaller: -10/11 or s?
s
Suppose 7*n - 2*n - 1 = -4*c, 0 = -5*c + 5*n + 35. Suppose -c*m = -m. Let r be 6/21 - (-6)/(-168). Which is greater: r or m?
r
Suppose 18*v - 33*v - 135 = 0. Which is smaller: -93 or v?
-93
Suppose 0 = y + 5 - 9. Let f be ((0/(-3))/1)/2. Let h = y + f. Which is bigger: 6 or h?
6
Let f = 9 - -5. Let x(m) = m**2 - 13*m - 14. Let i be x(f). Let l be (7 - 3)*2/4. Are i and l non-equal?
True
Let r = 102 - 175. Let v = r - -512/7. Is -1 at least v?
False
Suppose -u = -6*u. Suppose 5*z = -0*z + 60. Let t be 2*z/(-9) + 4 + -1. Which is smaller: u or t?
u
Let h be (117/78 - (-15)/(-6))*(-1)/(-5). Suppose -4*q - 5 = -2*l - 13, 5*l - 3*q = -6. Let a = l - 0. Is a less than h?
False
Suppose 5*w = 13*w - 8. Which is greater: -1/68 or w?
w
Let q(t) = -t + 9. Let l be q(13). Let f(c) = -c**2 - 11*c + 208. Let d be f(-21). Which is greater: l or d?
d
Let q(v) = -v**3 + 2*v**2 + 2*v + 7. Let r be q(3). Let y be r/(-18) - (-20)/9. Suppose x - 5*c = -10, 0*c = -y*c + 8. Which is smaller: 7 or x?
7
Suppose 2*p + 5 = 7*p. Let u be (3/6 - 2)*p. Suppose 2 = 2*t + 2*k, 2*k + 8 = -5*t + 4. Which is bigger: t or u?
u
Let f be 4/104*(-5238472)/46. Let m = -4380 - f. Let w = m - 588/1495. Is w >= 0?
False
Suppose 8*w = 2*v + 3*w - 11, 2*v + 3*w = 3. Suppose 3*u = 3*j + 11 + 13, 0 = -5*j - v*u - 16. Let k = -18 + 12. Is j >= k?
True
Let h = 544 + -539. Which is smaller: h or 45?
h
Let a be (-90)/21 - 2/(-7). Let x = 44 + -43.9. Is a < x?
True
Suppose -4*t - 4 - 8 = 0. Let z be t/2*(-2)/3. Let q = -0.27 + 0.32. Which is greater: z or q?
z
Let k = -0.095 - -0.195. Let f(a) = -a**3 + 6*a**2 - 5*a - 2. Let c be f(5). Is c != k?
True
Suppose -j + 7*j = 30. Suppose j*b - 10 = x, -5*x = 4*b - 6*b + 27. Is b <= 5?
True
Let s(t) = -2*t - 41. Let m be s(-8). Which is smaller: m or -22?
m
Let j = -319 - -318.99. Which is bigger: -7 or j?
j
Let l be (9/(-939))/((-12)/56). Which is bigger: 1 or l?
1
Let k = -4.63 + -63.37. Which is smaller: 2 or k?
k
Let w = 617 - 651. Is -34 greater than or equal to w?
True
Suppose -7 = -2*a - 3*l, 7*a = 2*a + 4*l + 6. Let h(t) = -7*t + 9. Let w be h(1). Is w at most as big as a?
True
Suppose -3*t - 15 = 0, 7*t - 6*t = -v - 6. Which is smaller: -5/14 or v?
v
Let a(x) = -x**3 + 3*x**2 - x + 5. Let q be a(5). Let g be q/3*(4 + 33/(-6)). Is g smaller than 26?
True
Let s = 0.12 + 27.88. Let y = s - 18. Let u = 2 + -1.9. Is u less than y?
True
Let g = 1 + -1. Let j = -54682/31 - -1764. Are g and j nonequal?
True
Let m = 17/77 - 4/11. Let g be (60/(-45))/(40/(-90)). Is m smaller than g?
True
Let k(z) = z**2 + 9*z - 23. Let i be k(-10). Let t = 38/3 + i. Which is greater: -1/26 or t?
-1/26
Let n be (6 - -12)/(3 - (-244)/(-52)). Is -11 at most as big as n?
True
Let f = 0.471 + -0.011. Let c = f + -0.33. Which is smaller: c or 0.2?
c
Let d = 9999/5 + -1989. Let y = -173/10 + d. Let g(n) = -n**3 - 6*n**2 - 3*n + 3. Let p be g(-5). Which is smaller: y or p?
p
Let m be (-20)/(-3) - (-13)/39. Suppose 0 = -2*t + m*t + 5. Which is smaller: t or 0?
t
Let y = -2.88 - 4.12. Which is smaller: -12 or y?
-12
Let f = -15 + -10. Let d = f + 30. Let y = -0.03 - 0.27. Which is greater: y or d?
d
Suppose o + 4*o - 25 = 0. Let p = -11 + 14. Is o greater than p?
True
Let p be (-6)/27 - (-58)/18. Suppose -p*i - 18 = -z + 3*z, -2*i = -2*z - 38. Let v = z - -17. Is v smaller than 1?
False
Let p = 173/5607 - 4/267. Let g = p - -235/1071. Is 1 greater than g?
True
Suppose 2*c - 4 = 2*n - 2, 0 = -3*n - c + 13. Let a = -3 + 5. Suppose -n*s = -a*s. Is s less than 4/13?
True
Let w = 39 - 821/21. Let s = 9 + 4. Let z = -13 + s. Does z = w?
False
Let s = -250/3 + 85. Let q(b) = -2*b**3 - 3*b**2 + 2. Let z be q(-2). Suppose 4*r - 11 = -i, 6 = 3*r + 2*i - z. Which is smaller: s or r?
s
Suppose r - 4*r + 46 = 4*j, 0 = -2*j - r + 24. Suppose j*k = 17*k + 60. Is k smaller than 0.3?
True
Let j(m) = -26*m - 4. Let s(n) = n**3 - 2*n**2 + n. Let o be s(2). Let u be j(o). Let z = 391/7 + u. Which is bigger: -1 or z?
z
Let h be 1/(-4) - 31/4. Let y be ((-51)/(-34))/(6/h). Which is bigger: -5 or y?
y
Let j = -84/5 - -513/35. Let z be (-18)/(-20) - 2/5. Is j at most as big as z?
True
Let r(x) = 59*x - 5. Let c be r(13). Let f = c - 6848/9. Which is bigger: 1 or f?
f
Let n be (9/(-4))/(2 - 91/56). Which is smaller: n or -5?
n
Let r(l) = 7*l**3 - 5*l**2 - 3*l + 9. Let o be r(-3). Which is bigger: o or -215?
-215
Let h(k) be the third derivative of k**6/120 - 7*k**5/20 + 7*k**4/8 - 31*k**3/3 - 43*k**2. Let v be h(20). Is -43 at most v?
True
Let f be (-11)/627*-6 - 226/342. Which is greater: f or -2?
f
Suppose 5*y + 5*v + 41 = 6*v, -y - v - 13 = 0. Is y less than -0.13?
True
Let p = -1.38 - 2.62. Let t = 50 + -448/9. Are p and t non-equal?
True
Let v be (133/(-21))/((-2)/6). Let b = 23 - v. Suppose b*n - z + 17 = 0, -z - 3 = -3*n - 17. Which is smaller: -1 or n?
n
Let u(g) = g**2 + 4*g - 11. Let l be -4 - (-6)/(-4)*52/39. Let k be u(l). Which is bigger: k or -2/39?
k
Let y = 365 - 363. Let z = -2993 + 32947/11. Is y bigger than z?
False
Let u(o) = -o**3 - 7*o**2 + 8*o. Let l be u(-8). Suppose 26 - 2 = -3*x + 4*a, 0 = -5*x - 2*a - 14. Let y = l - x. Is y <= 2?
False
Suppose 0 = 32*x - 35*x + 2940. Which is bigger: x or 981?
981
Suppose 3 + 0 = -3*f. Let j be f/(7 + -4 + -4). Which is greater: j or -2/19?
j
Suppose -g = 2*y - 641, -5*y + 5*g + 1598 = 3*g. Do y and 320 have the same value?
True
Let j = -1.5 - -35.5. Let q = 29 - j. Is q at most as big as -1?
True
Let b be (-2)/(-5) + 1402/20. Let m = -71 + b. Is -1/2 smaller than m?
False
Let p = -8249/7 + 1184. Which is greater: 7 or p?
7
Let d = -3/151 - 713/2114. Which is bigger: d or 0?
0
Let x = 17/18 - -14/9. Suppose 36*m - 10 = 98. Which is smaller: m or x?
x
Suppose g = u - 6*u + 16, -3 = -u. Which is smaller: -14/65 or g?
-14/65
Let i = -15 + 18. Let z(y) = y + 12 + 0 - 4 + i. Let k be z(-11). Which is greater: 2/5 or k?
2/5
Let n(p) = -p**2 + 15*p - 9. Let q(t) = t + 4. Let x be q(11). Let h be n(x). Does -8 = h?
False
Let s be 24/8 + 1*-4. Let k be s/((-130)/71 - -2). Let i = k - -31/6. Which is smaller: -1 or i?
-1
Suppose -5*h - 11 + 0 = -4*x, 0 = -4*x + 16. Which is smaller: 3/68 or h?
3/68
Let j be 7/(42/(-18)) - (-11 - -9). Let d = 59/138 + -6/23. Is j <= d?
True
Let z 