ppose 4*b - s - 2 = 8*b, b - t = -5*s. Is l equal to b?
False
Let i(y) = -y**3 - 5*y**2 - y - 1. Let t be 3 + 2/1 - 3. Suppose 0 = t*n + 12 - 2. Let m be i(n). Is 3 less than or equal to m?
True
Let n = 0.01 + 0.04. Let d = -2.95 - n. Which is smaller: -1/4 or d?
d
Let r be 4/(16/12) + -28 + 3. Which is smaller: r or -20?
r
Suppose 0*m - 3*m - 72 = 0. Is -25 at most m?
True
Let q be -2*2 - (-2 - -4). Is q != 1?
True
Let f(d) = -2*d - 1. Let l be f(-2). Which is greater: l or 5?
5
Let c(g) = -2*g - 1. Let f be c(-3). Suppose 6*x + f = x. Let l be (-1)/x*(-3)/6. Is 0.1 at most l?
False
Let z be 1 - (-3 + -1 + 2). Suppose -7*r - 5*t = -z*r + 24, -22 = 2*r + 5*t. Which is smaller: -1/6 or r?
r
Let g = 1 - 0.7. Let t = 125 + -128. Which is greater: g or t?
g
Let y(n) = -n**3 + n**2 - n - 1. Let h be y(0). Let r be (-11)/(-40) - (-10)/(-25). Is r less than h?
False
Let p(g) = -2 + g - 2 - 1 + 0*g. Let o be p(4). Is -1 greater than or equal to o?
True
Suppose 5*y = 5*z - 100, z = -0*y - 5*y - 94. Which is greater: y or 0.2?
0.2
Suppose y - 2*c - 108 = -15, -5*y = 2*c - 513. Suppose y = -d + 14. Let g be -3 + d/54*-2. Which is bigger: -1 or g?
g
Let z be 3 + -5 - (1 - 3). Which is greater: 9/16 or z?
9/16
Suppose 2*c + 10 = 3*c. Suppose 3*t = -1 + c. Let j be (t/(-12))/((-9)/12). Is 1/3 bigger than j?
False
Let l be 4/8*2*8. Let d(b) = b**3 - b**2 + b. Let u be d(2). Let f be l/u - (-7)/(-21). Do -0.2 and f have the same value?
False
Let b be (2 - -4)*(-2)/4. Let h be (2/(-8) + 0)*(-200)/(-30). Which is smaller: h or b?
b
Let n = 23/20 - 9/10. Is 0 smaller than n?
True
Let k be (4/(-8))/(3/(-174)). Which is smaller: 28 or k?
28
Let u = -5 - -6. Suppose 3*m + m - 12 = 0. Let c = 3 - m. Which is greater: u or c?
u
Let m = 1 - -3. Let i = 3.9 - m. Let l = 0 - i. Which is smaller: l or 0.2?
l
Suppose 38 + 2 = 8*b. Are b and 3 non-equal?
True
Let p be 1 - 4 - (-1)/(-1). Let k be (-1)/p - (-33)/(-228). Which is greater: -1 or k?
k
Let m = -171 + 75. Let g = -140 - m. Let k be 4/18 + g/117. Which is smaller: 1 or k?
k
Let h = 3/5 + -1/2. Which is bigger: -1 or h?
h
Let q be (-13)/4 + 6/(-8). Let i be ((-2)/6)/(q/108). Let j = 5 - i. Which is smaller: -8/3 or j?
j
Let s be (2/3)/((-1)/126). Let v be 20/(-6)*s/(-35). Let f = -10 - v. Are -3/5 and f nonequal?
True
Suppose -3*j + 2*c - 25 = -3*c, 3*c - 15 = -3*j. Suppose 3*l + 3 = 0, -q = -0*q + l - 1. Let h be 1*(q - -1) - 2. Which is smaller: h or j?
j
Let h = 8 + -12. Let b(k) = k**2 + 3*k - 2. Let o be b(h). Let y(i) = -i - 1. Let g be y(-5). Is g >= o?
True
Let g be 3*(0 - 4/(-6)). Let p be ((-1)/g)/(4/(-8)). Is p at least -0.02?
True
Suppose 3*o = 4*f + 15, 0 = -4*o - 3*f + 2*f + 1. Suppose -v + o - 2 = 0. Is -1/3 less than or equal to v?
False
Let k be 114/8 - 50/40. Let c be (-8)/((-3)/((-9)/(-2))). Which is greater: c or k?
k
Suppose 3*q + 4*h - 38 = 0, -3*h - 4 - 10 = -2*q. Let f be q/(-4) - (1 + -2). Let a(s) = s**3 + 5*s**2 - s - 4. Let o be a(-5). Does o = f?
False
Let g = -14 - -17. Let w be -2 + (-4 - 0 - -2). Is g less than w?
False
Let h(l) = -l**3 + 8*l**2 - 7*l - 3. Let y be h(7). Let x be (2*y)/3 + 10. Let q be 4/(-6)*6/x. Is q greater than -1/4?
False
Let l = -5 + 5.3. Let m = 0.2 - l. Let g = -1.9 - -1.8. Are m and g non-equal?
False
Let g = -0.237 + 0.037. Which is smaller: g or -0.06?
g
Suppose -5*u - 5 = 0, 3*z - u = 4*u + 11. Let a be (z/(-8))/(5/(-20)). Which is smaller: a or -2/21?
-2/21
Let w be (-1 - -5) + -9 + 4. Is w < -2/45?
True
Let l be (-1*(-3)/26)/3. Which is greater: 1 or l?
1
Let u = 0.05 - 0.15. Suppose f + 2 = -v + 3*v, -f = 2. Let k = v - 2. Which is smaller: u or k?
k
Let b be 6/33 - (-185)/11. Let p = 69/4 - b. Is -1 not equal to p?
True
Suppose 13 = 2*v - 23. Let k = v + -23. Which is smaller: k or -4?
k
Let f = -11 + 7. Let y be (-2 + 1)*(-1)/f. Does 1/3 = y?
False
Suppose 0*x - 3*x = 4*t - 69, -t + 4*x + 22 = 0. Suppose 2*y + 38 = -3*y + f, 2*y + f + t = 0. Which is smaller: y or -7?
y
Suppose -3*f = 11 + 40. Let b be (-9)/6*2 + f. Let l be (15/b)/((-42)/(-4)). Is l > 1?
False
Let b be -1*11*(2 + 3 + -7). Is 22 at most b?
True
Let q = -11615/10584 + 54/49. Is 0 less than q?
True
Let t = -22 + 21. Is 1 not equal to t?
True
Suppose j + 4*j + 10 = 0. Suppose 0 = -2*b + 4, 2*a + b = 9 + 11. Let i be 12/a*j/8. Which is bigger: 0 or i?
0
Let l = -86 - -85.5. Let z = 1/6 + 1/3. Are z and l non-equal?
True
Suppose -4*d + 8 = 4. Let a be 27/(-45) - (-42)/20. Is d equal to a?
False
Let p = -45 + 27. Let n = -33 + 60. Let m be n/p - 2/(-1). Is 0 > m?
False
Suppose 2*f = -2*s + 4 + 2, s - f + 7 = 0. Let b be (-20)/(-11) + s/(-11). Which is bigger: -2/3 or b?
b
Let k = 18 - 0. Let w be 1/(-1 - k/(-21)). Are -4 and w nonequal?
True
Let g = 15 - -1. Let l = -17.2 + g. Let t = 1 + l. Which is smaller: -1 or t?
-1
Let c(q) = q**3 - q**2 + q - 1. Let w(k) = -k + 9. Let z be w(9). Let h be c(z). Is h at least -1/4?
False
Let n be 2 - ((-194)/206 + 3). Let p = -248/721 - n. Which is smaller: p or 7?
p
Let u = -1 - -0.8. Let o = -2.2 - u. Let x be 2*(8/16 + -2 + 2). Are o and x equal?
False
Let j = -0.14 + -0.16. Is j less than or equal to 0.1?
True
Suppose -5*v + 18 = -w - 0*w, w - v = -2. Let q be (-6)/26 - (w - 3). Is 0 at least q?
False
Let m be 2/(-18) - (-3468)/108. Do m and 32 have different values?
False
Let s = 0.27 - 0.57. Let h = -40 + 35.8. Let l = 4 + h. Is s at least l?
False
Let w = 0.4 - 1.4. Let z = w - -0.9. Is -1 equal to z?
False
Let h be (-1)/2 + (-9)/(-6). Let y = -41 + 41.1. Does h = y?
False
Let p(k) = -k**3 - 5*k**2 + 7*k. Let i be p(-6). Let v = i + 7. Which is smaller: -1 or v?
-1
Let q(i) be the second derivative of -i**5/20 + i**4 + 2*i**3 + 7*i**2 + 4*i. Let y be q(13). Which is smaller: y or -2/37?
-2/37
Let l be -13 + 15 - ((2 - 1) + 2). Is 1/60 greater than l?
True
Let p = 0.04 + -2.04. Let h = 0.05 - 0.15. Which is bigger: p or h?
h
Suppose -3*l - 2*l - 10 = 5*m, -2*m - 10 = 5*l. Let g = -3 - l. Let z = -0.1 + -0.1. Is g >= z?
False
Suppose 0 = -w + 3*w. Let x be 4 + (-3)/(-3)*-1. Let d be (x + (-164)/56)*8. Is d >= w?
True
Suppose 2*g = -0*g. Let q be (2 + -1 + -2)/(-7). Which is smaller: g or q?
g
Let b be -15*-1*4/10. Let c = b - 5. Is c less than 2/5?
False
Let c be (-2)/14*-1*-9. Which is smaller: c or 0?
c
Let c = 0.02 - 0.02. Suppose -4 = -x - 1. Suppose 2*w + 15 = -x*w. Which is smaller: c or w?
w
Let r(b) = -b + 2. Let m be r(5). Let y = -1 - m. Is 1 < y?
True
Let x = 5 - 4. Let f be (-1)/(0 - x/5). Let n(l) = -l**3 + 6*l**2 - 4*l - 6. Let w be n(f). Which is smaller: 0 or w?
w
Let g be 2 - (-59)/(-35) - (-6)/21. Is g greater than or equal to 2?
False
Let a = 1/4 + 1/12. Which is greater: a or 15?
15
Let l(t) = t**3 + 3*t**2 - t + 4. Let y be l(-3). Let x be 6/y + (-16)/56. Which is smaller: x or 2?
x
Let a(z) = -z**3 - 6*z**2 + 2*z - 1. Let i be a(-6). Let s = 126 - i. Let l = 421/3 - s. Does 0.1 = l?
False
Suppose 0*r - r = 0. Which is smaller: r or 3?
r
Let i = 70 - 46. Suppose i = -k + 22. Let f(y) = -2*y + 3. Let n be f(3). Which is smaller: n or k?
n
Suppose 5*a + 4*r + 25 = -45, -43 = a - 5*r. Is a greater than -17?
False
Let m be (2/(-28))/(3/(-2)). Which is bigger: -1 or m?
m
Let w = -16 - -11. Let y = -5.1 - w. Let z = 7 - 6. Is y bigger than z?
False
Let i = 13/12 - 3/4. Let w(q) = q + 7. Let n be w(-7). Which is smaller: n or i?
n
Let w = 55 + -56. Is -25 equal to w?
False
Let m = 104 + -102. Which is bigger: 18/29 or m?
m
Suppose 0*j + 92 = 4*j + 4*i, -10 = -5*i. Let a = 11 + -6. Suppose a*o - 2*o + 5*s = -j, 4*s = -2*o - 14. Which is smaller: o or -6?
o
Suppose -b = 2*k - 3*b + 28, -5*k - 2*b = 35. Suppose 2*c - 6*c = 3*y + 28, c + 4*y - 6 = 0. Is k at most c?
False
Suppose 3*u = u. Do u and -5/17 have the same value?
False
Suppose 0 = -4*x + 15*x + 253. Is -21 greater than or equal to x?
True
Let c = 13 - -2. Suppose 2*o = -3*o + c. Let d be ((-2)/(-6))/((-1)/(-6)). Is o smaller than d?
False
Let v = -0.07 - 10.93. Let d = 18 + v. Let x = -9 + d. Which is bigger: x or -1?
-1
Let b be 38/14 + (-42)/(-147). Which is smaller: 7 or b?
b
Suppose -5*t + 20 = -t. Let w(b) = -6*b - 2. Let x(s) = 5*s + 2. Let k(i) = t*x(i) + 4*w(i). Let j be k(-2). Which is greater: 6/5 or j?
6/5
Let b(h) = h**3 - h**2 + h. Let l be b(2). Let a be (8