ose 0*l = -l. Let j be z(l). Suppose j = -2*t - 2*b + 5 + 7, -2*t + 2 = -3*b. Is 3 at most t?
True
Let c = 3.7 - -1.3. Let t = c + -5. Which is smaller: 2 or t?
t
Suppose 0*b = 3*b - 2*z - 54, -4 = -b - 4*z. Suppose 5*w = -y - 3*y + b, -2*y = 2. Suppose 2*k - 5*s = -2, -k - w = 3*k - 4*s. Which is smaller: 1/6 or k?
k
Let o = -53 - -53. Is o smaller than 9/19?
True
Let v be 2/(-3)*(-1 - 2). Let u be (-1)/(20/56) + v. Which is greater: -1 or u?
u
Let y(u) = 4*u + 2. Let a be y(-2). Let z be (-8 + 5)*(-2)/a. Is 4 greater than or equal to z?
True
Let c(s) = s + 1. Let d be c(0). Which is smaller: 0 or d?
0
Let h = 0.1 - 0.1. Let j = 0.8 + -4.8. Which is greater: h or j?
h
Let t = -23 - -22.9. Suppose 5*m + 16 - 1 = 0. Which is smaller: m or t?
m
Let m be -4 - -1*(-16)/(-4). Is m at most as big as 5/8?
True
Let c = 1 - -0.8. Are -2/5 and c unequal?
True
Suppose 0*u - 4*u = 12. Let d = 6 + -4. Suppose 4*q = -2*n + 8, d*q = -8*n + 3*n + 20. Which is smaller: u or q?
u
Suppose 4*n + 14 = -f, -2*f + f = 5*n + 18. Suppose -28 = 4*t - 2*d, 0 = -2*t + 4*t + 5*d - 10. Which is bigger: n or t?
n
Suppose 4*h + 16 = -0*h - 4*d, -h + 2*d - 19 = 0. Let i be 1/(0 - (-33)/h). Which is bigger: 1 or i?
1
Let w be (5/10)/(15/36). Which is smaller: 1 or w?
1
Let r(n) = -n**2 - n + 4. Let v be r(-4). Let w = v - -6. Which is greater: -5/3 or w?
-5/3
Let x be (-1)/2*(-6)/9. Let c(l) = l**2 + 6*l + 3. Let u be c(-6). Suppose -u*j = -2*j. Are j and x equal?
False
Let z = -3928 + 11891/3. Let k = z - 36. Is 2 < k?
False
Suppose 5*j + k = 11, -5*k - 6 = -5*j - k. Let z be 4/(-8)*(-16)/j. Let v be (-50)/(-18) + z/18. Is 4 bigger than v?
True
Let k(b) = b**3 + 10*b**2 + 7*b + 10. Let n be k(-9). Let f be 1672/n + 4/14. Let y be (-2)/1*(-5)/f. Which is smaller: 1 or y?
y
Let o = -10 - -14. Suppose 4*n = n - c + 5, 8 = 2*n - o*c. Suppose -n*z = z. Which is greater: 2/3 or z?
2/3
Let s = 1 - -1. Suppose -3 = -s*o - 1. Is 0 at most o?
True
Suppose -h = -2*h + 3. Do h and 1 have different values?
True
Suppose -3*u - 2 = -5. Let f be ((-2)/(-4))/((-3)/(-9)). Which is smaller: f or u?
u
Let w = -3 - -6. Suppose 0 = -t - 2*t + 6. Is w greater than or equal to t?
True
Let c = 12 - 45. Let w be (c/55)/(7/5). Which is greater: w or 0?
0
Let q be (-8)/(-8)*(-1 + -2). Let n be 9/(-84) + q/(-12). Which is greater: 0.1 or n?
n
Let f be 0/(((-3)/1)/(-3)). Suppose 4*i - 30 - 6 = f. Let p be (i/81)/(1/1). Which is bigger: p or 1?
1
Suppose 3*l + 2*l + 546 = 3*h, 5*h = 5*l + 550. Let t be 51/l + (-1)/(-4). Is t at least -2/7?
True
Suppose -5*i + 2*n = -38, 4 = -2*i + 3*n + 17. Suppose i = 4*g - 0. Is g < 2?
False
Let q = 602489/528 - 12432/11. Let w = -65/6 + q. Is 1 > w?
True
Let c(f) = f**3 - 6*f**2. Let j(m) be the first derivative of 2*m**2 - 2*m - 3. Let i be j(2). Let u be c(i). Which is smaller: u or 1/5?
u
Let m be 3 - 21*41/285. Is m < 1?
True
Suppose 3*o + o = -16. Let t be 1 - (4 + -2) - -5. Suppose 9*d - t*d + 15 = 0. Which is smaller: d or o?
o
Let m = 9 + -7. Let t be (-987)/12 - 3 - 0. Let c = t + 86. Is m > c?
True
Suppose -3*p - 2*g = -g + 9, 5*g = -p - 3. Which is smaller: p or 0?
p
Suppose -4*c = -3*a + 4*a + 35, 0 = -5*a + 5. Is c at least as big as 0.2?
False
Let f(a) = 3*a - 26. Let k(s) = -2*s + 17. Let r(l) = -5*f(l) - 8*k(l). Suppose 5*z + 4*g - 30 = 3*z, z + 10 = 3*g. Let o be r(z). Is -0.1 at most o?
False
Let p = -68 + 68. Is 4/31 at least as big as p?
True
Let f be (-4)/6 - (4 + -4). Let d(i) = i**3 - 9*i**2 + 10*i - 6. Let a be d(8). Let q be 7/(-4) - a/40. Which is bigger: f or q?
f
Let u be 6/(3 - 0)*(-1)/(-2). Which is bigger: -4/47 or u?
u
Let l(s) = s**3 + 6*s**2 - 2*s - 13. Let j be l(-6). Do -2/41 and j have the same value?
False
Suppose -4*l + 74 = p - 4*p, -2*l - 132 = 5*p. Is -26 > p?
False
Suppose 2*z = -3*o - 2, -2*o - 3*o - 1 = z. Let w(b) = b + 3. Let r be w(3). Let u be (-4)/(-6)*r/(-10). Which is smaller: o or u?
u
Let k = 18 + -19. Are -1 and k nonequal?
False
Let g be 2*(0 - (-4)/2). Suppose 4*s + 3*r - 23 = -g, -21 = 4*s - 5*r. Which is smaller: s or -1?
-1
Let p = 6.32 - -27.78. Let a = p - 38. Let l = a - -4. Is 1/5 smaller than l?
False
Suppose 5*d - 25 = -k + 5*k, -d + k = -6. Which is smaller: -2/33 or d?
-2/33
Let b = -35/22 + 353/11. Let g = 32 - b. Is 2 less than g?
False
Suppose 0*h + 18 = 3*h. Suppose 0*w = 3*w + h. Do -2 and w have different values?
False
Let i be 10/45 - (-8)/126. Let a(w) = w**2 + 5*w - 8. Let d = -14 - -8. Let b be a(d). Is b at most i?
True
Let b = 20/21 + 275/42. Which is bigger: 9 or b?
9
Let p = 5 + -7. Let k = -45 + 45. Which is smaller: p or k?
p
Let w(f) = f**3 - 4*f**2 - 4*f - 6. Let a be w(5). Let c(o) = -o**2 + 10*o - 1. Let p be c(11). Let s be p/(-22)*(1 - 2). Are s and a non-equal?
True
Let d be 1790/(-45) + (-4)/18. Let m be d/(-48)*4/(-15). Which is greater: 3 or m?
3
Let o be 1 + 5 + 3 + -5. Suppose 4*m + 5*q - 27 = 0, 30 = 3*m + 2*m + 5*q. Which is smaller: m or o?
m
Suppose 0 = -2*t - 4 - 0. Is -2 greater than or equal to t?
True
Let j = -7.5 - 1.5. Let m = j - -8.99. Do 0 and m have the same value?
False
Let h = -10 + 12. Suppose h*g - g + 2 = 0, 4*x + 2*g + 24 = 0. Which is bigger: x or -4?
-4
Suppose 0 = -4*k - a - 61, 71 = -4*k - 0*a - 3*a. Let s be (4/(-8))/(k/(-4)). Is 1 >= s?
True
Let f = -39 + 38. Is -12/5 at most as big as f?
True
Let g be 22*122*6/(-104). Let p = -155 - g. Which is smaller: 1 or p?
p
Let r = 44 + -44. Is 0.9 > r?
True
Suppose f = -3 + 7. Suppose -6 = -2*a, -7*a = -3*j - f*a + 6. Suppose 0 = -j*v + 17 - 2. Is v < 1?
False
Let p = -2.2 - 0.8. Let q = -39.1 - -36. Let t = q - p. Is -1 greater than t?
False
Let a = -9.6 + 17. Which is smaller: a or 0.2?
0.2
Let w = -0.887 + -0.113. Is -61 at most w?
True
Suppose 8 = -3*p + 4*b, -5*p - 3*b + 6 = -2*p. Suppose 5*i + 10 = p, -f - 5*i = f + 10. Let x = 1/78 - 1/6. Is f less than or equal to x?
False
Let v = -28/45 + -2/45. Let t be (-3 - -2)/(-5 + 6). Which is greater: t or v?
v
Suppose 0 = 2*s - 2. Let b be 1/2*2*0. Suppose 0 = k - 1 - b. Is s less than or equal to k?
True
Suppose 25*w - 32*w = 0. Which is greater: w or -6/65?
w
Let o = 2.49 - 2.3. Let r = -0.09 + o. Let c = -2.96 - 0.04. Which is smaller: r or c?
c
Let w(u) = u**2 + 4*u - 2. Let j be w(-4). Let h(g) = 5*g + 13. Let r be h(-5). Let k = r - -10. Is j < k?
False
Let d be (-3 + (0 - 3))/(-2). Let o = 7 - 3. Is o < d?
False
Let l = -86.04 - -86. Which is greater: 0.6 or l?
0.6
Let u be ((-12)/(-27))/(2/3). Is u > 0.06?
True
Let r(o) be the third derivative of o**4/24 + 2*o**3/3 + o**2. Let s be r(-2). Let u be 3/(6/(-8)*-2). Is u at most s?
True
Let c = 129 + -134. Is c >= -11/2?
True
Let j be 87*((-1)/4 - 0). Let i = j - -175/8. Let v = 13 - 13. Which is smaller: v or i?
v
Suppose 2*w + 3*j = -0*j + 8, 0 = -4*w - j - 4. Let k(f) = f**2 - 10*f + 9. Let r be k(9). Suppose r = 5*t - 2 - 3. Which is smaller: w or t?
w
Let p be 1 + -6 + 108/22. Which is smaller: -1 or p?
-1
Let t(n) = n**2 + 10*n - 10. Let r be t(-11). Which is smaller: 4/27 or r?
4/27
Suppose i - 3 = -2*d - 2, 4*d = 4*i + 8. Let o = -3 - -1. Are o and d equal?
False
Suppose 0 = -5*w + 14 + 6. Suppose -4*b + w = 16. Is -2 < b?
False
Let j = -0.62 + 0.02. Let t = 2.4 - j. Which is smaller: -1 or t?
-1
Let t(d) = -3*d. Let r be t(-2). Let q(s) = -s**3 + 6*s**2 + s - 8. Let x be q(r). Is x less than or equal to 1?
True
Let y = -11 - -35. Suppose -4*r + 24 = 2*o, -o = r + 4*o - y. Which is greater: r or 5/2?
r
Let r(p) = -p**2 - 9*p + 3. Let z be r(-9). Suppose 5*y + 4 = -z*k - 4, 4*k - y = -3. Is -2/5 greater than k?
True
Let i be (4 - 3)/(-1 - 8/3). Suppose 0*h + 2*h = 2. Which is smaller: h or i?
i
Let v = 4 - 2.3. Is v greater than 1/2?
True
Let g = -30/101 + 1372/3939. Which is bigger: 1 or g?
1
Let l(b) = b - 18. Let p be l(6). Which is smaller: -43/4 or p?
p
Let r = -3 - -2.7. Let m = r + 0.5. Let c be (3 - (-27)/(-12))/3. Which is smaller: m or c?
m
Let t(u) = u**3 + 12*u**2 + 11*u + 2. Let k be t(-11). Let r be (k - -1) + (-33)/9. Let z be 8/(-6)*9/(-42). Is r less than or equal to z?
True
Let d(c) = -4*c**2 + 4*c**2 - 7 + 8*c**2 + c**3 - c. Let g be d(-8). Suppose 3 = -x + g, 21 = 5*i - 3*x. Which is bigger: i or 1?
i
Suppose 2*k = 2*w - 4, k - 1 = -3. Suppose -v = -w*v - 1. Is v > -1?
True