= 5*r - 2*u - 19 - 22, -5*u = 5*r - 55. Suppose r*c + c = 50. Which is smaller: 6 or c?
c
Let u be (404/168)/1 + 12/(-9). Which is bigger: u or 2?
2
Suppose -51 = -2*s + 1. Suppose s = -4*n - 3*x, 0 = 2*n + x + 18 - 6. Suppose 3*l - 1 = -16. Is l at most n?
True
Let s = -0.137 + 25.137. Is s at least -7/2?
True
Let z(r) = 2*r**2 - 24*r + 24. Let y be z(11). Let x(s) = s**2 + 9*s + 4. Let a be x(-6). Let c = 17 + a. Is y at least c?
False
Let c = 3/1592 + -35063/20696. Is -2 != c?
True
Let v(s) = 3*s - 5. Let f be v(6). Suppose 6*d + x + 102 = 3*d, 0 = -3*d + 5*x - 102. Let i = 47 + d. Is i not equal to f?
False
Let h = -545391534 - -31636952837/58. Let c = h + -73173. Let m = c - -12/29. Is m equal to -4?
False
Suppose -k + 2*k - 9 = 0. Let g be 22/77 - k/7. Which is bigger: -3/5 or g?
-3/5
Let h be (1*2/4)/(2/92). Let c be (h - 22)/((-142)/69 + 2). Is c at least -16?
False
Let v be 18/27*(0 + 3/5). Which is smaller: v or -0.031?
-0.031
Let k = 1153 + -132602/115. Are k and 1 equal?
False
Suppose -449 = 32*o - 353. Let f = -63675 - -8914191/140. Let a = f + 1/140. Which is smaller: o or a?
o
Let q = 32.21 - 0.21. Suppose -3*y - 196 = -5*g - 227, 3*y = -2*g - 4. Are q and y unequal?
True
Let q = 45 - 103. Let h be (-19)/42 + (5 - q/(-12)). Is h less than or equal to -1?
False
Let d = 224/323 + -10/17. Let y = -2.3 + 8.3. Which is bigger: y or d?
y
Let y be 44/(-132)*(2 + (-26)/10). Suppose k = -0 + 1. Is k > y?
True
Let u(l) = -2*l**2 + 47*l + 29. Let g be u(24). Suppose 50 = -5*r - 5*t, 2*r + g = -0*t - 5*t. Is 1 <= r?
False
Let z be 4 + -1*1/(2 + -1). Let m be 2 + (-2 - 2*-11). Suppose 3*p = -0*g - 4*g - 19, -2*g - m = 4*p. Do z and g have the same value?
False
Let n be (-18)/10 - (-1 - 1). Let q(j) = -j**2 + 3*j - 7. Let o(t) = t**2 - 3*t + 8. Let w(f) = 5*o(f) + 6*q(f). Let i be w(2). Which is smaller: n or i?
i
Let q = -49 - -49. Let x = 1 + -0.86. Is q greater than or equal to x?
False
Let u = -18413053554/2635 - -6987876. Let j = u + 4/85. Suppose 2*g - 2*t + 8 = 0, 3*t - 19 = 2*g - 6*g. Which is greater: j or g?
g
Let k = 63 - 120. Let a = 47 + k. Is 1/2 equal to a?
False
Let a be (1 - 3)*(-3)/2. Suppose 3*z + 3 = -a*b - 0, 4*b + 18 = 3*z. Do z and 1 have the same value?
False
Let a(q) = 19*q - 43. Let x be a(-20). Let s be x/(-54) - 1/(-6). Is 5 >= s?
False
Suppose -5 + 13 = -4*a. Let s(z) = -z. Let i be s(a). Suppose 0*l - l = -i. Which is smaller: -1 or l?
-1
Let y(x) = x**3 - 14*x**2 - x + 19. Let f be y(14). Suppose c - 3*a + 4 = 3, 4 = -4*c - f*a. Is c at most as big as -1/18?
True
Let c be 5/((-20)/(-16)) + (17 - -1). Which is greater: c or 3?
c
Let a be 10/(14 - 12) + -7 + 1. Is -109 greater than or equal to a?
False
Let m = -7677008/3497341 + -2/85301. Is m less than or equal to -3?
False
Suppose -6*k + 512 = 4*i - 9*k, i + 4*k = 128. Is 128 less than or equal to i?
True
Let a = 1257/292 + -4/73. Is a bigger than 3?
True
Let j = -169 + 236. Let i = j + -67.1. Is i equal to 1.8?
False
Let q be (-2)/(-4)*(7 + 1). Suppose -q*a - 7 = 3*a. Which is greater: -2/25 or a?
-2/25
Let t be 0/(1/1) + 1. Let d(v) = -v**3 - 7*v**2 + 11*v. Let c be d(-8). Let b be (9/c)/(3/(-6)). Is b < t?
True
Let h be ((-8)/32 - (-278)/8)*-18. Is h greater than or equal to -622?
True
Suppose -32*o = -27*o - 5, -i = 4*o - 182. Which is smaller: 175 or i?
175
Let b(c) = 8*c - 28. Let y be b(3). Let q be 6/y*(-16)/488. Which is bigger: q or 0?
q
Let i(u) = u**3 + 16*u**2 - u - 13. Let t be -5*(-1)/(10/(-32)). Let d be i(t). Are d and 4 unequal?
True
Let a be 3/(-6)*(-2 + 2)/(-2). Let d = 23/5 + -5. Which is bigger: a or d?
a
Let b = 4 + -26. Let n = b - -21. Let s be -3 - (-1 + -2 - n). Is s at most -2?
False
Let b(y) = y + 11. Let v(h) = -3*h**2 - 2*h - 1. Let n be v(-2). Let k be b(n). Let d be 0 - 1/((-5)/3). Is k smaller than d?
False
Let d(s) = -21*s + 42. Let c be d(2). Let f be 1/(-5) - 428/10. Let i be f/82 + 2/4. Is c greater than i?
True
Let b = 0.01 + 1.99. Let t = -3 + b. Which is smaller: t or 0.04?
t
Suppose -3*s = s - 8. Let l be s - (128/(-14))/(-4). Let w = 35.6 - 35. Which is greater: l or w?
w
Let w = -53/195 - -23/195. Let c be (-15)/28 + 2/7. Which is greater: w or c?
w
Let t = -1491/2 + 19355/26. Do -0.6 and t have the same value?
False
Let r(j) be the third derivative of -7/30*j**5 - 1/120*j**6 + 0*j**4 + 0*j - 4*j**2 + 1/6*j**3 + 0. Let b be r(-14). Is 6 at least as big as b?
True
Let w = -0.389 - -10.349. Let u = w + 0.04. Which is smaller: -1/2 or u?
-1/2
Let a = -585.4 + 586. Which is smaller: a or -16?
-16
Let v(o) = -o**2 + 12*o + 8. Let p be v(12). Let t(x) = -2*x + 20. Let a be t(p). Is 2 greater than or equal to a?
False
Let y(u) = 5*u - 15. Suppose c + 5*j - 16 = 0, -2*j + 5 = -2*c + 13. Let b be y(c). Let m(p) = -2*p + 22. Let f be m(b). Which is bigger: -2 or f?
-2
Let b be 15 + -9 - (-3 - 1). Suppose -6*z - b = -4. Let k(g) = g + 1. Let i be k(z). Which is smaller: 5 or i?
i
Suppose -2*v + v = -5. Suppose -3*y = -3 - 3, 4*q = -3*y + 22. Suppose c = v - q. Which is smaller: 1/2 or c?
1/2
Let m be ((-2)/(-6) + 1*-1)/((-3068)/(-1534)). Let b = 9 + -6. Let o = 3.01 - b. Which is smaller: m or o?
m
Let o = 70 + -103. Let k be (o/(-5))/(9/(-2)). Is k >= 0?
False
Let j = 138 - 272. Is -132 smaller than j?
False
Let m = -42769813/203 - -210685. Let n = m + 42/29. Which is greater: n or -2?
-2
Suppose -3*m = -5*w + 19, 3*m + 2*w + w - 21 = 0. Suppose -35 = -m*p - 5*p. Do p and 4 have different values?
True
Suppose -5*f = -4 - 1. Let s = -14/3 + 3. Let z = f + s. Is z at most -1?
False
Let q = -367/26 + 45625/2886. Let f = 1/37 - q. Which is smaller: -3 or f?
-3
Let n be ((-2)/(-3))/((-12)/9). Let f(i) = -32*i - 98. Let d be f(-3). Is n smaller than d?
False
Let h be ((-8)/150)/((-56)/(-20)). Which is smaller: h or -1?
-1
Let d = 329/115 + -57/20. Are d and 1 nonequal?
True
Let d be 21/(-28)*32/66. Let c be (-3)/((-198)/(-101)) + 1. Let q = c - d. Which is smaller: -1 or q?
-1
Suppose 2*t - 2*k + 61 = 5*t, 0 = t + 2*k - 19. Which is greater: 26 or t?
26
Let p be 656/(-7585)*(1 + 4). Are 1 and p nonequal?
True
Let n(k) = -k**2 + 12*k + 23. Let m be n(-2). Which is smaller: m or 0.05?
m
Suppose 11 - 5 = 3*u. Suppose -8*t = -u*t + 60. Is t less than or equal to -10?
True
Let y = 2025 - 2085. Is -56 smaller than y?
False
Let x be (-6)/(-5)*(-5)/(-11). Let a(r) = -2*r**2 + 27*r - 81. Let h be a(9). Which is bigger: h or x?
x
Suppose 14*i = 18*i - 316. Do i and 79 have the same value?
True
Let g = -5849/17 + 344. Which is greater: g or 0?
0
Let z be -1 + -7 - 11580/(-1420). Which is smaller: z or 1?
z
Let m be (-6)/(-4)*16/(-12). Let r be 3/((-24)/52)*m. Is r less than or equal to 14?
True
Let w = 19153 - 11300267/590. Is w > 0?
True
Suppose -4*d - 21 = -5. Let x = -2345/552 - 1/552. Is x at least d?
False
Suppose 2*u + u - 41 = -4*o, 5*u + 5 = 0. Does -12 = o?
False
Let r = -312 - -3121/10. Let s(m) be the first derivative of m**3/3 - m**2/2 - m - 1. Let d be s(0). Which is smaller: r or d?
d
Let q = 8.5 - -0.7. Let f = q + -10. Which is greater: -2 or f?
f
Let b(h) = -4*h**3 + 148*h**2 - 143*h + 31. Let q be b(36). Which is smaller: q or 78?
q
Suppose 4*g - g = -3*v - 939, -2*g - 629 = 3*v. Let i = -7448075253/24017110 + -2/923735. Let h = g - i. Is -1 at least as big as h?
False
Suppose -r - 2*r = 5*r. Is -3/71 < r?
True
Let b be 2030/63 + (-4)/18. Are 33 and b non-equal?
True
Let v = -0.08 - -0.03. Let i = -1.05 - v. Let s = 87 - 86.9. Which is smaller: i or s?
i
Let w = 43 - 43. Suppose -p - 12 = t, 0*t - 4*t - 12 = w. Are p and -5 equal?
False
Let b = 1 - 0. Suppose 0 = 2*d - p - p + 4, -4*d - p = -7. Let a be -14 - -12 - ((-87)/39)/d. Which is greater: a or b?
b
Suppose -11 - 1 = 4*c, c + 149 = -2*l. Which is smaller: l or -2?
l
Let r(c) be the third derivative of c**5/60 - c**4/3 + 2*c**3 + c**2. Let z be r(6). Which is smaller: -2/11 or z?
-2/11
Let d(y) = y**2 + 7*y - 11. Let p be d(-9). Let w = 5 - p. Let q(r) = r**2 - 7*r - 9. Let f be q(8). Is f <= w?
False
Let y(o) = -9*o - 60. Let u be y(-12). Is u less than or equal to 48?
True
Let j(d) = -d**2 - 5*d - 6. Let y be j(-3). Let w be -1 + (-5)/20*y. Are -0.5 and w unequal?
True
Suppose 6*g - 3*g + 4*n - 59 = 0, -4*n - 16 = 0. Is g < 0?
False
Let u(s) = s**2 - 3*s - 1. Let p