uppose -g + 5*z + 6 = -0*g, -z = 3*g + 14. Let n(u) = -5*u + 4. Let t be n(-1). Let m be t/3 + 9/g. Is 0.1 < m?
True
Let l = 27 - -17. Let s = l - 52. Which is smaller: s or -12?
-12
Suppose -2*n + 1336 = -3856. Let l = -23392/9 + n. Is l at most -2?
True
Let q(l) = l**2 - 13*l + 40. Let a be q(7). Let y be (14/(-8) - a) + 79/4. Does y = 22?
False
Let r be 6/2*(-5 - 25/(-3)). Which is smaller: 1 or r?
1
Let y = -30757 + 4090724/133. Let n = y + 2/19. Is n <= -2?
False
Suppose 0 = 2*w - 5*j + 26 + 37, -3*j = 3*w + 105. Let x = w + 36. Suppose m = -2*c + 6*m + 8, -4*m = 2*c - 8. Which is greater: c or x?
c
Let b be 0*((-21)/14 + 1)/1. Is b equal to -48?
False
Let g(f) = -f**2 + 10*f + 1. Let m be g(4). Suppose h - 6*h + m = 2*o, h - 5 = 3*o. Suppose -3*q + 1 - 19 = o. Is q greater than -24/5?
False
Let i = 3 - 2. Suppose 8*x = 5*x + 99. Let k = -29 + x. Which is greater: k or i?
k
Suppose 7*x - x = 12. Suppose a + 3*b = 2*b - 6, x*b + 8 = 2*a. Is 2/197 != a?
True
Let y = 23 + -123. Let t be 25/y*(-9 - -1). Suppose 5*g = m + 8, 5*m - 2 = 3*m + g. Is m >= t?
True
Suppose 78 = 5*d - 7*d. Let r be (-14)/24 + d/52. Is -1 at most as big as r?
False
Let r(m) = 3*m - 3. Let l(i) = 5*i - 7. Let x(n) = -2*l(n) + 5*r(n). Let b be x(-1). Let z be 0 + 0 + (b - -6). Which is bigger: 1/3 or z?
1/3
Suppose c + s - 28 = 0, 0 = -c - 2*c + 2*s + 69. Let q = c + -21. Are 7/2 and q non-equal?
True
Let d = 48036763/1160 + -41411. Do d and -2/3 have the same value?
False
Suppose 33 = 2*i + 23. Suppose o - 2*o - 20 = -i*u, -2*o + 2*u - 8 = 0. Is 4/17 > o?
True
Let s = 0.23 + -2.73. Let z = -2.4 - s. Let c = 12 + -17. Which is smaller: z or c?
c
Let v = -49 - -17. Let u = v - -32. Which is smaller: u or 4?
u
Let u(w) = w**2 + 7*w + 3. Let y be u(-7). Let i be (-42)/(-12) - (-1)/(-2) - 1. Suppose -2*n + y*z = -i*z + 11, 4*z - 2 = 5*n. Which is smaller: n or 4/3?
4/3
Let d = 24 + -21. Let s be (0/((-15)/3) - -4) + 2. Is s < d?
False
Let r be (-8)/(-1 + -3) - -3. Let n(v) = -4*v - 2*v**2 + 4*v - 4*v + v**3 - 3 + r*v. Let j be n(3). Is 11 < j?
False
Let c(z) = -z**2 + 18*z - 91. Let h be c(14). Is h at most -0.1?
True
Suppose 4*l - k - 8 = 0, -4*l = -5*k + 7 + 1. Suppose -8 = 4*x, l*x = 4*p - 7 + 21. Let w be (-35)/100*(p - -1). Which is greater: 0 or w?
w
Suppose 9*m + 289 = -134. Let y = 43 + m. Is y <= -14?
False
Let w(d) = -2*d + 7. Let j(x) = 10*x - 28. Let k(i) = -2*j(i) - 9*w(i). Let h(m) = -m**3 - 6*m**2 - 7*m - 6. Let n be h(-4). Let q be k(n). Is 12 equal to q?
False
Let i = -3.211 + -0.539. Which is smaller: -1/4 or i?
i
Let c = -577 + 647. Is 139/2 equal to c?
False
Let c = 35 + -34.946. Let z = 2.946 + c. Let s = -2 - -1. Do s and z have the same value?
False
Let x = -182 + 180. Is x less than 0.7?
True
Suppose -1197*v + 1179*v = 36. Which is smaller: -16/19 or v?
v
Let t(x) be the second derivative of x**5/20 + x**4/12 + x**3/6 - 3*x**2/2 + 5*x. Let u be t(0). Let o(k) = -k + 8. Let y be o(11). Is u >= y?
True
Suppose -4*g + 3 = -13. Let h be (-6 - (-6 + 3)) + 57/9. Is g > h?
True
Let l = 463 + -376. Which is smaller: 86 or l?
86
Let f(n) = n**2 - 19*n - 29. Suppose 0 = -2*d + 4, 4*t - 71 = t - 4*d. Let u be f(t). Is u greater than 14?
False
Let u = -9 - -8.94. Which is bigger: u or -1?
u
Let q = 31 + -59. Let n be 240/q*(-2)/(-4). Let s = 113 - 118. Which is bigger: n or s?
n
Let o = 0.6 - 0.8. Suppose -28 - 28 = 7*i. Let b be (((-3)/(-12))/(2/i))/3. Which is smaller: b or o?
b
Let s = 768 + -759. Is s less than 73?
True
Suppose -4*k = k + 10. Let i = 4 - k. Suppose 4*h - i = -10. Which is greater: h or 3/8?
3/8
Let w = -6.0466 + 0.0466. Which is smaller: w or 26?
w
Let m = 16 + -10. Let a = m - 9. Let d = -8 - a. Is d greater than -6?
True
Let a(z) = 4*z + 2. Let d be a(-6). Let b = d + 41. Which is smaller: 18 or b?
18
Suppose -1 = -2*w - 5. Let f be (51770/780)/(-31) + 2/(-12). Which is smaller: w or f?
f
Suppose p + 877 = -5*z, -16*z + 2*p - 886 = -11*z. Which is bigger: z or -177?
z
Let h = -18 + 32. Let d = 6 - h. Which is greater: -6 or d?
-6
Suppose -4*s = -s - d - 15, -2*s - 4*d = 4. Suppose -4*t = -3*z + 104, s*t - 3*t + 2 = 0. Let k = 27 - z. Which is greater: -4 or k?
-4
Let g(c) be the second derivative of c**5/20 + 2*c**4/3 - 5*c**3/3 - 5*c**2/2 + 32*c. Let v be g(-9). Suppose 11 = 5*j - 4. Is j > v?
False
Suppose -q - 4*q = 50. Suppose 7*y = 6*y - 1. Let l = -10 - y. Which is greater: l or q?
l
Let d = 21 + 32. Is d < 54?
True
Suppose -g - 4*g + 22 = -3*t, -4*t = g + 14. Suppose -4*h = -2*h - 2, 0 = g*f - 4*h + 14. Are f and -19/4 equal?
False
Suppose 151*o - 153*o = 54. Is -22 < o?
False
Let q = -6 - -5.9. Let d = -23.7 - -24. Let l = 2.3 - d. Are l and q nonequal?
True
Let a(b) = -b**2 - 2*b - 4. Let t be a(-3). Let k = 6 + t. Let q(i) = 8*i**3 - i. Let d be q(k). Is -7 equal to d?
True
Suppose 2*m = -3*m + 25, 4*y - 5*m = -57. Let v = -6 + -1. Is v <= y?
False
Suppose 45 = -27*d + 30*d. Suppose -3*z + d = 8*x - 3*x, 9 = 3*x + 3*z. Suppose -t = -4 + 2. Does x = t?
False
Let j(y) = -10*y + 86. Let i be j(8). Suppose s + 4*o + 3 = 2*s, 2*o - 6 = -2*s. Suppose -l + 13 = s*g, 4*l + g - 16 = -2*g. Is i at most l?
False
Let g = 0.8 + 1. Let c = 1.7 - g. Which is smaller: 11 or c?
c
Let c(o) = -o - 2. Let t be c(-10). Let r be (t/(-28))/((-10)/14). Suppose p - 4*p + 18 = 0. Is r greater than or equal to p?
False
Let l = 16.32 + 0.68. Let o = l + -18.9. Is o not equal to 1/2?
True
Let a = -7722/7 - -1103. Is 5 greater than or equal to a?
True
Let y = 3.07 + -0.07. Let j = -4 + y. Let z = -38.1 - -35.1. Which is greater: z or j?
j
Let n(j) = -j**3 - j**2 + j - 2. Let c be n(-2). Let q = 0.536 - 0.106. Let i = q - 0.03. Which is bigger: c or i?
i
Let u be -1 + 6 + (-6)/18 + 112/(-24). Suppose -l - 2*l - 198 = 0. Let v be (-2)/(-6) - (-46)/l. Is v > u?
False
Suppose 0 = 8*k - 12*k + 8. Let m = k + -2. Suppose m = -s - 2 + 4. Are s and 3 nonequal?
True
Let r be 168 - (4 - (4 + -3)) - 3. Are r and 162 non-equal?
False
Let j(p) = 19*p + 3. Let b be j(6). Let w be 4/18 + (-26)/b. Which is bigger: -9 or w?
w
Suppose 0 = -5*y - 13*f + 11*f + 3, -5*f + 15 = 5*y. Are y and -2/9 equal?
False
Suppose 3*a - 8 - 1 = 0. Suppose 3*j + 2 = 3*v + 14, -a*j - 3*v + 30 = 0. Is j less than 6?
False
Let z(s) = 20*s**3 - 12*s**2 + 10*s. Let f(w) = 7*w**3 - 4*w**2 + 3*w. Let u(p) = 17*f(p) - 6*z(p). Let x be u(4). Are x and -38 nonequal?
True
Suppose -5727 = -48*l + 25*l. Is 250 >= l?
True
Let m = -12 + 23. Do 21 and m have the same value?
False
Let k be -34 + 18 - (0 - -1*2). Let q = -16 - k. Is q <= 5/9?
False
Suppose -1205 = 26*n + 875. Is -76 >= n?
True
Suppose -u = -4*u - 84. Let d be 72/u*(-56)/60. Which is bigger: 2 or d?
d
Let b = 703 - 550. Are 152 and b nonequal?
True
Let g = -34.88 - -35. Let l = -0.38 - g. Which is bigger: l or 3?
3
Suppose 40 = 21*i - 26*i. Let n(d) = -d**3 + 6*d**2 + 6*d. Suppose 10 + 4 = 2*c. Let r be n(c). Is i <= r?
True
Suppose 5*n = 20, n - 32 = -6*r + 8*r. Let l be (-3)/(-7) + 20/r. Are 0.1 and l equal?
False
Let u(i) = -9 + i + 16 + 0*i + 0*i. Let a be u(-7). Let d be 0/(-5) - (-6)/(-9). Which is smaller: a or d?
d
Suppose -1347 + 8583 = -54*z. Is z at most as big as -2?
True
Let c be (2/1)/(34/(-5)). Let o(j) = j**2 + 26*j + 143. Let n be o(-8). Is n at most as big as c?
True
Let y = -1.26 - -1.16. Let w = -84 - -84.52. Is y smaller than w?
True
Suppose -k = -o - 2, -3*k = k + 2*o - 32. Let d be k/15*(3 + -4). Which is greater: -0.5 or d?
d
Let c = 475 - 4277/9. Suppose 3*y - 5*y = -18. Let t = 10 - y. Is t < c?
False
Let p = -25641/40 + 641. Which is smaller: 0 or p?
p
Let q = 1091/2449 - 25/79. Is 1 > q?
True
Let u(y) = 5*y**2 + 24*y - 5. Let o be u(-5). Is -1/242 smaller than o?
True
Let v = 776 - 803. Which is smaller: v or -2?
v
Let o be (-14)/91 - (-498)/26. Suppose -o*w = -20*w. Which is smaller: w or -1/37?
-1/37
Let j = -162817/62 - -2626. Which is smaller: 0 or j?
j
Let f be 40/(-36)*(3 - 21/2). Which is smaller: 7 or f?
7
Suppose -18 = 15*h - 18*h. Suppose -u - h = -9. Let p be u - (12 + (2 - 6)). Is -4 less than p?
False
Let j(l) = l**3 - 4*l**2 + 4*l - 1. Let k be j(3). Suppose 3*n - f - 180 = -185, 4*f - 20 = 3*n. Which is smaller: k or n?
n
Let h = -1275 - -966. Is h smaller than -2?
True
Let s = 26 + -36. Let n(x) = 