38. Suppose 0 = 3*x - h - 1, x = 5*h - u. Let q be ((-15)/(-50))/((-4)/(-30)). Which is smaller: q or x?
x
Suppose 0 = -0*y - 5*y + 10. Suppose 3*q - 82 = -q - 5*f, 0 = 4*q + f - 74. Let l be (2 + (-32)/q)/((-6)/(-9)). Which is bigger: y or l?
y
Let o = 203/88 + -24/11. Let q(x) = x**3 - x**2 + x - 4*x + x. Let u be q(2). Which is smaller: u or o?
u
Let t = 7554594653/4079384 - 1988040/1217. Let d = -31/838 - t. Let y = d - -218. Which is bigger: y or -1?
y
Suppose 2*y = -5*n - 114 - 66, 155 = -5*n + 3*y. Let g = -0.5 + 0.3. Is n <= g?
True
Let k = -604 - -42279/70. Which is smaller: 1 or k?
k
Let y = -191.6 - -189. Let l = -0.5 + -2. Let f = l - y. Is 1 bigger than f?
True
Let n = 347 + -372. Suppose -2*i + 7 = 55. Which is smaller: n or i?
n
Suppose 4*q = -10*q + 17*q. Which is smaller: -49/37 or q?
-49/37
Let t be -2*(-5)/2 - 89355/17865. Do t and 1 have different values?
True
Let m(l) = -l**3 - 10*l**2 - 8*l + 13. Let g be m(-9). Suppose 0 = q - 3*z + 9, 9*q - 4*q + g*z - 12 = 0. Is 7 != q?
True
Let l be 17458/252 + 0 + -1. Let s = l - 137/2. Is s less than or equal to -2/7?
False
Let a be (-1)/(-3) - 70/(-6). Let p be (-1 - (-76)/a)/2. Which is smaller: 2 or p?
2
Let t = -17.92 + -0.08. Let l = 10.323 + -10.023. Which is smaller: l or t?
t
Let y = -7 - -11. Let l = 2661.91 - 2662. Is y <= l?
False
Let f(v) = v + 10. Let h be f(-5). Suppose -4*x + 6*x - h*r = 21, -x - r = 0. Suppose -2*d + 4*y + 12 = 2*d, -5*d = -4*y - 17. Which is bigger: d or x?
d
Let f = 13 + -3. Let j(d) = 4*d - 15. Let l be j(2). Let i = f + l. Is 2 at most i?
True
Suppose 0*r + 4*r = -5*d, -3*r = 4*d. Are d and 3/23 nonequal?
True
Let y(w) = -w**3 - 16*w**2 + 19*w + 40. Let i be y(-17). Suppose 0 = i*k + 2*k + 80. Is k greater than -11?
True
Let m be 620/(-204) - (-6 - -3). Suppose -9*g = 4*g - 7*g. Do g and m have different values?
True
Suppose -5*t + d = 63, -5 - 13 = 2*t - 4*d. Let r(u) = -u**3 - 9*u**2 + 29*u + 64. Let q be r(-11). Do t and q have the same value?
True
Suppose -35*l = 10364 - 2559. Are -226 and l non-equal?
True
Suppose 0*d - 5*d = -3*f - 91, 5*f = -5*d + 115. Suppose 0 = -5*l + 5*a - d, 4*l + 2*a + 2 = -2. Is 3 not equal to l?
True
Let t be 12/10*(-1975)/(-15). Is t at most as big as 0.1?
False
Let r be -8*1*3/2. Let p = -129 + 130. Is r != p?
True
Let h be (1*12/20)/(14/(-140)). Is 2 != h?
True
Suppose 133 - 3 = -5*k + 5*b, b = 0. Let c = 14 + k. Let j = 8 + c. Is -5 smaller than j?
True
Let b = 5/58 - 37/261. Which is greater: b or -2/15?
b
Let v be -2 + (-102)/(-10) - (-6)/(-30). Is v at most as big as 19?
True
Let d = -12638/473 - -298/11. Is 1 equal to d?
False
Let d = -282 - -1111/4. Is -3 != d?
True
Let w = 23 + -20. Suppose 3*h - n = 4*n - 14, -3*h + w*n - 6 = 0. Let f = 0 + h. Which is smaller: f or 0?
0
Let t be (-6)/(-10) - 44/(-10). Suppose 0 = -5*i - 5 - t. Is i >= -13/5?
True
Let i be (-7 - -4)/((-9)/6). Is i at least as big as 13?
False
Let n be 6/(-4) + 44/8. Suppose 2*j - 2 = -n. Let c = 61 - 184/3. Do j and c have different values?
True
Let d = 185 + -185.1. Suppose 4*x + 16 = 4. Which is smaller: d or x?
x
Let r be -2 + (4 - (-184)/(-4)). Let z = 79 + r. Suppose -5*g = 5*n + z, n + 27 = 8*g - 4*g. Do -12 and n have the same value?
False
Let w be 710/(-25) - (3 + -1). Suppose -11*t + 4*t - 210 = 0. Let o = t - w. Which is bigger: o or 0?
o
Let f = -447.5 + 441. Which is bigger: -2 or f?
-2
Suppose 5*a + 69 + 11 = 0. Let k be (a/24)/(2/6). Is -9/5 less than or equal to k?
False
Suppose 2*o = 6*o - 16. Let g = 1/579 - 194/579. Is g at most as big as o?
True
Let l = 1081 + -1082. Is 4/373 <= l?
False
Let p = -8 + 14. Let x(i) = -47*i + 287. Let d be x(6). Which is smaller: d or p?
d
Let q = 13.1 - 12.172. Let g = -0.068 + q. Let v = g + 0.14. Which is smaller: -18 or v?
-18
Let c be 4/((14/78)/(-1)). Is c smaller than -22?
True
Let z = -11998/3 - -3963. Let w = -38 - z. Let u = w + 2. Is 0.4 < u?
False
Let m = 46 + -40. Let u be (-4)/6*165/(-10) - 4. Which is smaller: u or m?
m
Let c = 5.0288 + -0.0288. Is c less than 51?
True
Let q = 238 - 236. Which is smaller: q or -13?
-13
Let k = -2 + 41. Let q = 42 - k. Is q bigger than 1.4?
True
Suppose -3 = -a + 7. Let y(l) be the second derivative of -l**4/12 + 2*l**3 - 7*l**2 - l. Let x be y(a). Which is smaller: x or 2/7?
2/7
Let i(w) = -w**2 - 12*w - 20. Let z = -10 - 0. Let t be i(z). Which is smaller: 5/12 or t?
t
Let o = -0.2 + 0.9. Let r = o - -0.3. Let z = 229/1742 + 3/134. Are z and r nonequal?
True
Let h = 89 + -83. Let d = 0 - -5. Which is smaller: d or h?
d
Let n = 9.222 + -0.222. Which is smaller: n or 3?
3
Let x = -515 - -521. Which is greater: x or -0.1?
x
Let o be (120/(-50))/((-9)/30 - 0). Is o greater than or equal to 8?
True
Let g = 106 - 105.908. Let b = g - -7.908. Which is smaller: b or 0.5?
0.5
Let b be (-3)/(-6) - 4047/42. Let x = 97 + b. Let m be (-4)/(-1)*15/30. Do m and x have the same value?
False
Let u = 1 + -1. Let q be 1/(875/(-100) + 3 + 1). Which is smaller: q or u?
q
Let l = 8 - 6. Suppose -2 - 2 = -l*y. Let o be (105/36 - 3)*y. Which is smaller: 0 or o?
o
Let i(p) = -p**3 - 9*p**2 - 15*p - 2. Let h be i(-6). Let y be 32/(-30) + ((-16)/h)/2. Let c be (-9)/2*1/(-12). Are c and y non-equal?
True
Let z = -1237 + 1239. Let c = -1 - -1.08. Is z >= c?
True
Let g = 106 - 47. Let f = g + -59.04. Let v = 0.6 + 0.4. Which is bigger: v or f?
v
Let h = -565/12 + 47. Suppose q - 5*f - 12 - 3 = 0, -3*q + 4*f + 12 = 0. Suppose q*n - 1 = n. Do n and h have different values?
True
Let p = -780 + 814. Which is greater: 35 or p?
35
Let c be (-106324)/(-114) + 2/6. Which is smaller: 932 or c?
932
Let q = 1 - 0. Let l = -43 + 45.95. Let j = l - -0.05. Is j bigger than q?
True
Let o(f) = 3*f - 4. Let u be ((-9)/(-12))/((-9)/(-24)). Let a be o(u). Suppose -5*y + 45 = -5*t, 3*t = -a*y - 2*t - 17. Is y equal to -3?
False
Let j be (2/8)/((28/(-16))/(-7)). Let r be (j/202)/(6/12). Is r >= 1?
False
Let h be 7/(2/(-6*1)). Let j = 6 - 28. Let t = j - h. Which is smaller: -2/5 or t?
t
Let u = -113 + 113. Suppose 9*p + 16 + 74 = u. Suppose 0 = 4*l + 43 - 3. Are l and p unequal?
False
Suppose -5*m + 4 = -2*c - 3*m, -5*c - 26 = -m. Suppose -2*u + 7 + 1 = 0. Suppose 27 = -3*z + x, u*x - 34 = 4*z + 10. Is z > c?
False
Let q(y) be the first derivative of -y**4/4 - 4*y**3/3 + 3*y**2 - 4*y + 17. Let r be q(-5). Suppose 3*x = -x - 40. Do r and x have different values?
True
Let c(n) = n**2 + 10*n + 21. Let t be c(-7). Is -3/52 <= t?
True
Let l = 781/15 - -253/5. Is 104 less than l?
False
Let h = -24 - -22. Let p be 30/3 - (h + 4). Which is bigger: 9 or p?
9
Let n = 0.16 + 0.09. Let f = n - 0.23. Is f smaller than 2?
True
Let u be (-4)/(4/(-16)*-1). Let r(g) = -g**3 + 12*g**2 - 16. Let v be r(12). Is u at most v?
True
Let m = 281 - 191. Is 91 at least as big as m?
True
Let q = -2.05 - -2.25. Does q = -1/113?
False
Suppose -3*z - 2*a + 8 = 0, 24*a - 4 = -3*z + 23*a. Is 3/281 equal to z?
False
Let y(x) = x**3 - 3*x**2 - 4*x - 5. Let b be y(4). Suppose l - 2*u + 1 = 0, -4*l - l - 20 = -5*u. Which is greater: b or l?
b
Suppose 13*i - 12*i + 124 = 0. Is i smaller than -124?
False
Suppose -4*i = 5*n - 5 + 64, -3*i - 2*n = 39. Let y be (-2)/(-1) - 0 - -9. Let g = i + y. Is g bigger than -2/3?
True
Let g be (((-3)/(-2))/(-3))/((-3)/(-108)). Let d be ((-4)/(-30)*5)/(3/g). Which is smaller: -7 or d?
-7
Suppose 0 = 2*n + 3*n - 1830. Let s = n + -1441/4. Let v = -199/36 + s. Which is greater: v or -1?
v
Let f = 4037 - 52511/13. Is -3 less than f?
True
Let y be (2 - -1)*-2*3. Let r be (y/4)/(1/(-2)). Suppose 2*a + 5*h + 5 + r = 0, 8 = -2*h. Is a bigger than 2/17?
True
Let o(u) = u**2 - 8*u + 10. Let l be o(7). Suppose 6*c - l*c + 4*b = 20, 0 = c + b - 5. Are c and -1/61 unequal?
True
Let m = -23 + -431. Which is smaller: m or -1?
m
Let q(y) = -2*y**2 + 3*y - 13. Let r be q(-4). Let u be (-4)/(-30) - (-9262)/(-165). Which is smaller: u or r?
r
Let b be -1*((-4)/2 + -1). Let g(j) = 1249*j - 7490. Let p be g(6). Is p equal to b?
False
Let o = 28 + -31. Let l = 3.2 + o. Let d = 1 + -8. Which is smaller: l or d?
d
Let d be 4/(-6) - 364/12. Suppose -4*l + 5*h - 4*h - 129 = 0, 4*h - 4 = 0. Are l and d non-equal?
True
Let g be ((-44)/16)/(2*(-26)/8). Let x = g - -1/13. Does x = 10?
False
Suppose -4 = 4*z + 4. Let 