6. Let v be ((-30)/l)/(2/32). Let i be (6/45)/(v/10). Is i at least as big as 0?
True
Let n = -21.6 + 21.8. Let r be ((-6)/(-30))/(1/(-19)). Which is smaller: r or n?
r
Let o(w) = w**2 + 12*w - 12. Let f = 33 - 46. Let r be o(f). Suppose 0 = -2*z - 0*z. Is z >= r?
False
Let d be 1/8*2 - 450/(-24). Suppose d*k = 22*k + 3. Is k greater than or equal to -2/5?
False
Let w be (-1)/6 - (-92)/(-24). Let p be w*(2/8 + 1). Let b = 1 - p. Is b less than 7?
True
Let j = 14 + -6. Let c = -2 + j. Let b be (-1)/(4/12) - c. Is b equal to -9?
True
Suppose -5*d - 1 = -11. Suppose 5*j + 3*x - 13 = 7, d*j - 22 = -4*x. Is 3 less than j?
False
Let l = 201/137 - 26927/3973. Which is smaller: -6 or l?
-6
Let o = -0.23 + -0.07. Let z = o + 0.2. Let m = 851.3 + -852. Which is bigger: z or m?
z
Let z = -3 - -22. Let n = 19 - z. Are n and 0 unequal?
False
Let g be -4 + (-2 - 3*-2). Suppose 5*y + 4*m - 18 = g, 0*y + y - m = 0. Are 3 and y nonequal?
True
Suppose -47 + 15 = -32*s. Which is greater: -1/530 or s?
s
Suppose d = a + 5 - 3, 3*d + 3*a = 6. Suppose 3*n = d*n. Suppose p + 17 = 4*w, -p + 23 = -n*p + 4*w. Are 1 and p unequal?
True
Let v be (-7)/(-3)*3 - (-42 - -49). Do -7/213 and v have the same value?
False
Suppose 4*j + 88 = -5*h, -3*j = -3*h - 2*h + 66. Let x(c) = -10*c - 2. Let d be x(2). Is d < j?
False
Suppose -5*d + 161 = r, r + 4 = -2*d + 69. Suppose 0 = 3*k + 5*k + d. Is -6 greater than or equal to k?
False
Let k be (-16*(-4)/(-12))/((-7)/(-2)). Are k and -3 non-equal?
True
Let g = 626 - 626.1. Is 2.75 greater than or equal to g?
True
Suppose 0 = -3*m + 16 - 22. Let v be 1/m*(77 + -5). Which is smaller: v or -37?
-37
Let r = -46/11 - 2612/33. Which is bigger: -83 or r?
-83
Let n be 1/5 - 1728/15. Let k be n/46*1/2. Which is greater: -5 or k?
k
Let m be (7 - 993/105) + (2 - 0). Is m at most as big as 0?
True
Suppose q - 225 - 7 = 4*c, 3*q + 2*c - 752 = 0. Is 247 bigger than q?
False
Suppose 0 = -2*o + 4*f + 386, -3*o = -f - 805 + 221. Let p be (-8)/36 + o/27. Let z be 3 + (-33)/p + 2. Which is smaller: z or 1?
z
Let i(a) = a**3 + a**2 - a. Suppose 3*x - 36 = -x. Suppose 0 = -d - d - 3*j + 7, -x = -3*j. Let r be i(d). Is -2/33 < r?
True
Suppose 2*d = -3 + 15. Suppose 2*p + 4 = d*p. Which is smaller: -2 or p?
-2
Let t(a) be the second derivative of 11*a**4/12 + a**3/6 + a**2/2 - 3*a. Let u be t(1). Is u at most as big as 13?
True
Let g be (-161)/(-105) + (-36)/30. Which is bigger: g or -81?
g
Suppose -l + 3*q = 286, 35*l - 38*l = q + 838. Which is greater: -276 or l?
-276
Let o = -2.7 + -3.3. Let r = o + 22. Which is smaller: 1/2 or r?
1/2
Suppose -2*h + 2 = 2*d, d - 6*d = -4*h + 40. Let k = d - 0. Let a = 72 + -72. Is a > k?
True
Let y = 3940439/563 + -6999. Is y at most 0?
False
Let s = -363593/56277 + 239/37. Which is greater: s or -1?
s
Suppose -5*v - 2*v = -3*v. Suppose 4 = -d - o - v, -12 = 3*d + o. Which is bigger: -34/9 or d?
-34/9
Let g be ((-6433)/12)/((-27)/(-3312)). Let o = -66151 - g. Let q = 391 + o. Is q equal to 0?
False
Let y = -30.47 + 0.47. Let p = y - -28. Is p <= 0.05?
True
Suppose -b - 4*b = -3*j + 2, -2*j - 3*b = -14. Suppose 0 = -4*o + j*a - 26 - 82, 0 = -4*o - a - 98. Are -25 and o unequal?
False
Let o be 15 + -10 + (-2)/(2/15). Which is smaller: -80/9 or o?
o
Let s = 6 - 4. Suppose -5*j + b = 220, -176 = 4*j - s*b + 4*b. Let r be 6/(-9) - j/(-42). Is -2 > r?
False
Let c = 65/2 + -31. Suppose i + 6 = -2*i. Let m be i + (-32)/(-12) - 5/(-15). Which is smaller: c or m?
m
Let i be ((48/(-54))/(-1))/3. Is 1 at most i?
False
Let g = 2.11 - 5.11. Is g not equal to -2.3?
True
Let p be (-585)/26 + 2/4. Which is smaller: 0 or p?
p
Let z(j) = -j + 3. Let q be z(3). Let h be 14/(-49) - 36/(-175). Let b = h - 44/75. Which is bigger: q or b?
q
Let c = -36.3 + 30.3. Is c > -11/7?
False
Let r = 109 + -101. Let n(u) = 5*u - 31. Let l be n(r). Is 7 less than or equal to l?
True
Let t(z) = 7*z + 43. Let x be t(-6). Let k = 2 - x. Is k >= 1/3?
True
Let j = 235 + -13889/59. Let n = j - -7010/17523. Let r = n + -871/2970. Which is bigger: 0 or r?
0
Let t = 1168 - 1169. Which is greater: -31/21 or t?
t
Suppose 3*n = -5*z + 738, -z - 257 = -n + z. Is 252 at most n?
False
Let x be (-4 - 0) + 3 + 1 + 3. Let y be 1/(x/(7 + -4)). Is y >= 1/3?
True
Let j(r) = r**2 - 5 - 9 - r + r + 3*r. Let w be j(-5). Which is greater: -21/5 or w?
w
Let q be 5/(-20)*(-8)/(-2). Let m = q + -1. Is 0.7 less than m?
False
Suppose -90 = 1080*r - 1098*r. Let l be 2/(-1)*1/2. Which is smaller: l or r?
l
Suppose -440 = 19*q + q. Are 11 and q equal?
False
Let c be (35238/1175)/(-6) + (0 - -5). Is c greater than -1?
True
Let d = 20.71 - 19.9. Let g = 0.371 - -0.629. Which is greater: d or g?
g
Let k be (-3)/6*(2 + -2). Suppose p = -0*p + 4*m - 3, -4*p + 2*m + 30 = k. Let f be (-1)/(-3) - (-29)/3. Which is smaller: f or p?
p
Let m = 0.035 + 22.965. Let y = m - 22. Which is bigger: 2 or y?
2
Suppose -q = -4*q + b + 2, -3*q = 2*b + 13. Let i be q*(-5)/25*5. Which is smaller: -1/50 or i?
-1/50
Suppose 74 = -3*i - i - 2*p, 0 = 3*p - 9. Let b = i - -33. Let g be b/(3/2 - 2). Is g < -27?
False
Let k = -45 - -80. Suppose -2*v + v + 2 = -2*p, p = -4*v + k. Suppose -5*h + v = -7*h. Is h < 2?
True
Let l(s) = s + 8. Let n(g) = g + 7. Let h(i) = 5*l(i) - 6*n(i). Suppose -3*z + v - 1 = 0, -5*v - 35 = 4*z + z. Let k be h(z). Is k less than or equal to -2/11?
False
Let y be -95 + -2 - 1/1. Let w = 65 + y. Let a = -23 - w. Which is bigger: 11 or a?
11
Suppose -4*f = -12, 2*k + 3*f - 14 = f. Let p be 3/2*(-16)/12. Let v be (4 - 3)/(p/(-10)). Is k smaller than v?
True
Suppose o - 6*o = -25. Suppose -4*c + 2*c + 4 = 0. Suppose -c*j = -2*m + 12, 2*m + 5*j - 4*j = 9. Is o greater than m?
False
Let g = 13 + -24. Let m be -1*((-30)/(-18))/(-5). Are g and m equal?
False
Let m = 4/87 + 296/1131. Which is greater: 0 or m?
m
Suppose 4*w + 16 = -2*g + 4*g, 0 = -2*g - 3*w - 12. Let p be 4/(6/(-99)*3). Let s = p + 22. Are g and s unequal?
False
Let n = 2.7 + -3. Is n bigger than 4/3?
False
Let y = 1/143 + -749/4862. Which is smaller: y or 0?
y
Suppose 5*r - 3 = 3*o, 3*r + 5*o - o + 4 = 0. Let l be (3 + r)*1/((-9)/222). Is l < -74?
False
Suppose 0 = 69*k - 64*k + 5. Which is greater: -2/645 or k?
-2/645
Let m = 14.9 + 2.7. Is m smaller than -1/6?
False
Let o = 485087/28 - 17327. Let w = -6913/2828 - o. Which is smaller: w or -1?
-1
Let f be 15/(-4) - 13/(13/(-4)). Let o be ((-1)/(-22))/((-1)/6). Is f equal to o?
False
Suppose -5*t + y + 253 = 0, -5*t + 3*y + 550 = 291. Is t greater than or equal to 36?
True
Suppose -451 = 3*v - 4*v - 5*z, 2*v = -2*z + 926. Let b = 128179/231 + -622/7. Let o = b - v. Is 0 smaller than o?
True
Let l be (6/(-21))/(2/(-6)). Let b = 79 - 147. Let m = -66 - b. Which is smaller: m or l?
l
Let o be 2 - 4 - (0 + -4). Suppose 3*i + 5*t - 16 = 0, -o*t - 2*t - 11 = -i. Is 8 not equal to i?
True
Let s = 132.1 + -140. Are s and -2 nonequal?
True
Let i(p) = p**3 + p**2 - p - 2. Let g be i(2). Let u = g + 41. Suppose 4 = -2*z, -5*q + u - 20 = 3*z. Do q and 9 have the same value?
False
Let l be (177312/(-44304) - (4 - 0)) + 8. Is l not equal to 0?
True
Suppose -6*u + 28 = u. Suppose 4*b = b - 2*c - 4, -u*c = -b - 6. Which is smaller: b or -15/8?
b
Suppose -b = -2 + 12. Let w be (b/4)/(3/30). Let i be ((-8)/10)/(10/w). Which is greater: i or 3?
3
Let a = -734 + 5136/7. Suppose -4*q + 0 + 4 = 0. Let j = 0 - q. Is j at least as big as a?
False
Let g(u) = 2*u**2 - 38*u - 85. Let t be g(21). Which is greater: -3/421 or t?
-3/421
Let c be -3 + 7 + -5 + 3. Let h be c/(-142)*1167/619. Let p = -1/619 + h. Which is greater: -2/5 or p?
p
Let b(d) = -d + 6. Let r be b(-19). Suppose -4*s - r = s. Which is smaller: s or -2?
s
Let h = -3 - -4. Let d = h + -1. Let q = 405 - 390. Which is greater: d or q?
q
Let r(n) = -n**3 + 10*n**2 - 10*n. Let a be r(9). Let s be a/12 - 268/(-16). Let b = 12 - s. Is -6 <= b?
True
Suppose 0 - 12 = -4*n. Suppose 2*m = n*m. Suppose 0 = -4*v - p + 9, 5*v = -m*v - 2*p + 15. Is 3/7 < v?
True
Suppose 2*u - 9 = 5*u. Let c be (-3)/9 + 2/u. Let z be (-2)/5 + -5 + (-3044)/(-560). Which is smaller: z or c?
c
Let n = 2376719/650 + -14882/325. Let u = 3617 - n. Let g = -9/5 + u. Which is smaller: g or 5?
g
Let u be (-13)/(-52)*4*-10. Which is bigger: u or 45?
45
Let m(s) = s - 5. Let u be m(4)