f be w(6). Let l = 21 - 65/3. Are l and f equal?
False
Let z(o) = -o**3 + 15*o**2 + 16*o + 19. Let r be z(16). Which is smaller: -0.1 or r?
-0.1
Let d = -3/2 + 2. Is d at least as big as -1?
True
Suppose -4*b = z + 2, 3*z - 39 + 105 = 3*b. Which is greater: -15 or z?
-15
Let q = 153 - 154. Is q < -1/4?
True
Let o be 102/14 + 4/(-14). Let n be 1/(-1) + 5/o. Let k be 6/(-4) - 2/(-4). Which is smaller: k or n?
k
Suppose -24 - 60 = -2*x. Let o be x/30 + (1 - 2). Are o and -1 nonequal?
True
Let s = -1 - -8. Let p be (-10)/s*(-42)/24. Which is smaller: 3 or p?
p
Let c be 0*(2 + 10/(-6)). Let o be c - (-3)/24*-2. Is o != -1?
True
Let v = -7.991 + -0.009. Suppose -5*y = -4*u - 0*u + 18, -y - 8 = -3*u. Which is bigger: u or v?
u
Suppose 3 + 17 = -5*i. Is i < 1?
True
Suppose -3*f = -5*f + 8. Suppose w = 4*k - 2, 2*w - 8 = f*w - 4*k. Are -5 and w nonequal?
True
Let b = -0.07 - 1.93. Let h = -11 + 8. Let c = b - h. Which is greater: 5 or c?
5
Let u(m) = m + 6. Let a = -12 - -5. Let f be u(a). Let x = 0.32 - 0.02. Which is greater: x or f?
x
Suppose -r - 22 = 3*p, 0 = 4*r - 4*p + 3*p + 88. Let l be 1/(-4)*16/r. Suppose -j - 4 = -5*j. Is j > l?
True
Let a = 10 + -9.8. Suppose p + 2*t = 1, 2*t + 1 = -2*p - 1. Let d(o) = o**3 + 3*o**2 - o - 3. Let u be d(p). Is u greater than a?
False
Let d = 0.2 + -0.2. Let b = 0.8 - 9.8. Let p = b - -5. Is d at least as big as p?
True
Let z be 50/24 + -2 + 0. Let w = -36 + 109/3. Let s = w - z. Which is greater: s or 1?
1
Let i be -3*(-4)/(-6) - -4. Suppose -5*z = -4*b + 7, z + 3*b + 1 - 11 = 0. Suppose -2*d = -d - z. Are i and d equal?
False
Suppose -b + 4 = -0*b. Let h be 1/b + (-462)/24. Is -0.1 equal to h?
False
Let l = -25.6 + -2.4. Let q = -28.1 - l. Is q equal to -4/5?
False
Let n = -10/91 + -3/7. Let h = n + 215/351. Which is greater: h or 0?
h
Let b = -14.7 + 14. Let s = b + -2.3. Let l = 3.1 + s. Which is smaller: 1/4 or l?
l
Suppose -4*h = h. Let z be (-68)/(-110) + 8/44. Are h and z unequal?
True
Let a = 191/4 + -48. Let n be 3/6*2 - -1. Let y be 1 + (4/n)/(-2). Is a >= y?
False
Let w = -0.04 + 0.14. Which is smaller: w or 1/17?
1/17
Let z = -3 + 5. Let m = -1 + z. Is m less than or equal to -1/8?
False
Let j = -172 + 1206/7. Which is smaller: j or -1?
-1
Let b be (-1 - 34/(-8)) + -3. Suppose 0 = 4*g + 7 - 3. Is b greater than g?
True
Let n = 0.1 - -0.3. Let r = 0.1 - -1.3. Let b = n - r. Is 0.1 > b?
True
Let d = 2 - 1.7. Let v = -0.2 + d. Let b be 6/24 - (-22)/8. Does v = b?
False
Let a be (-22 - 4/(-1))*27/6. Is -80 not equal to a?
True
Let h = 36 - 16. Suppose 5*a = a + h. Which is smaller: 6 or a?
a
Let m = -1.2 + 0.2. Let u = -0.62 - -0.52. Which is greater: u or m?
u
Let w = -33 - -54. Let r = 26 - w. Is -1 at most as big as r?
True
Let a = -3929/7 + 561. Let t(m) = -m**2 - 3*m + 4. Let w be t(-3). Suppose 5*n - n = w. Which is greater: a or n?
n
Let x = 0.13 + 8.87. Let b = x + -12. Which is greater: 3 or b?
3
Suppose r - 1 = -z, 5*z + 1 = -4*r + 6. Suppose -5*n = 5*v - 0*v, 3*v - 3*n = r. Is v equal to -1/6?
False
Suppose 5*i - 18 + 7 = -3*a, 0 = 5*a - 4*i - 6. Which is smaller: a or 5/4?
5/4
Let s = -48 + 47.67. Let x = 7.03 - 7. Let l = x + s. Which is smaller: 1 or l?
l
Let f(i) be the third derivative of 1/6*i**4 + 0 + 1/2*i**3 + 2*i**2 + 0*i + 1/30*i**5. Let k be f(-2). Is 5/3 bigger than k?
False
Suppose k = 3*f + 18, 0 = 4*f - 2*k - 3*k + 13. Let d = f + 5. Is d less than or equal to 0?
True
Let y(s) = -6*s - 55. Let j be y(-9). Suppose 0*a - 5*h + 17 = -a, 3*a - 5 = h. Suppose a*n - 4*b - 1 = 0, 0 = -3*n + 2*b - 1 - 0. Is j greater than n?
False
Let p be (-7)/(-6) - 2/12. Are p and 1 equal?
True
Let f be 5 - (-1 + 1) - 1. Suppose 3*j + f = 4*s, -4*j - 4 + 2 = -2*s. Let p = -511 + 2554/5. Is p at most as big as s?
True
Suppose 0 = 4*d + d - 15. Let m be ((-2)/(-2))/((-1)/d). Let z = m + 6. Is 4 != z?
True
Let i be (-140)/16 + 1/4. Let g = -31/4 - i. Is -3 equal to g?
False
Suppose 0 = -u + 3*u - 6, 3*g = -u + 45. Is 12 > g?
False
Let d = -22 + 21. Which is bigger: d or -1/3?
-1/3
Let l = 3/827 - 8309/10751. Let f = -2546/25077 - 2/1929. Let t = f - l. Is -1/3 at most t?
True
Let q(h) = h**2 + 4*h - 1. Let x be q(-3). Let t be 1/1 - (-2)/x. Are 3 and t nonequal?
True
Let c = 1.1 + -0.1. Let x = c + 0. Which is smaller: 2/7 or x?
2/7
Let w be (60/(-28) + -1 - -3)*1. Which is greater: w or 1?
1
Suppose 3*w - 13 = -1. Suppose -6 = -3*s - 4*d, -5*d - 9 = -0*s + s. Let u = w - s. Is u > 1?
False
Let v be 2*(11/6 - 2). Let k = 6 + -8. Is v >= k?
True
Let k = -15.9 + 19. Let g = k + -1.1. Which is smaller: g or 1/7?
1/7
Suppose y - 2*u + 4 = -2, 2*y + 5*u + 30 = 0. Let i(b) = -b - 4. Let x be i(y). Suppose 2*p = 4*d + 8, 3*d + 1 = -x*p + 5*p. Is 1 not equal to d?
True
Let i(v) = -v**2 - 3*v - 1. Let j be i(-4). Which is smaller: -3 or j?
j
Suppose 10 + 5 = -5*w. Let i(v) = -v - 3. Let r be i(w). Which is smaller: 1/4 or r?
r
Let a(f) = -f**2 - 5*f - 3. Let p be a(-5). Suppose 5*k - 29 + 44 = 0. Let b = p - k. Does 0 = b?
True
Let t be (4 - 0)/(4/(-46)) + 0. Which is greater: -45 or t?
-45
Suppose -7*o + 14 = -5*o. Is o bigger than 0.1?
True
Suppose s - 2*a = -2*s - 1, 4*s = -2*a - 6. Suppose 4 = 2*b + 5*t, -2 = -b + 4*t - 0. Let c = s + b. Do 1 and c have the same value?
True
Suppose -13*h + 11*h - 208 = 0. Is h less than -104?
False
Let b = -137.07 - -130.1. Let k = -7 - b. Let s = k + 2.03. Is s > 1?
True
Let g = 5 + -6. Let x = g + 1.06. Which is bigger: x or -1?
x
Suppose -2*m = k + 3*m - 4, 3*m = 4*k + 76. Which is bigger: -15 or k?
-15
Let n = 20 - 6. Let p = 13 - n. Which is greater: p or 3?
3
Suppose 0 = -4*f - y + 14, y + 0 = -f + 5. Which is greater: 11/5 or f?
f
Let t = 4 + -1. Let u be 2/(t/36*3). Suppose 14 = 6*a - 4*a. Which is smaller: a or u?
a
Let a = 94 - 64. Is a <= 30?
True
Let d(z) = -2*z**3 - 3*z**2 + z - 1. Let u be d(-2). Which is greater: u or 5/16?
u
Let z = -4 - 12. Is -17 <= z?
True
Let a = 4 - 6. Let g = a - -1. Let w be -1 + -4 + (1 - g). Is w equal to -3?
True
Let b be (-8)/(-6)*12/8. Suppose 0 = b*i - 5*g - 18, i - 11 = 2*g + g. Let m(y) = y - 2. Let q be m(2). Which is smaller: q or i?
i
Suppose 0 = 4*p - 32 - 20. Suppose -3 = 2*o - p. Let a(g) = -g**2 + 5*g - 1. Let m be a(o). Is m at most -4?
False
Let h(a) = a - 9. Let p be h(5). Is p > -7?
True
Let a be 2 + 0 - (-10 + 8). Suppose 0 = a*g - 3*l + 47, -5*l = g - 3*l - 2. Is -9 greater than g?
False
Suppose -4*t + 4 + 8 = 0. Suppose -3*c + t = -0. Do c and 1 have the same value?
True
Let g = 4/173 + 286/2595. Which is smaller: -1 or g?
-1
Let q be 3/6*2*6. Let i be (-1)/3 - (-8)/q. Let g be i + -4 - (3 - 4). Is g < -3/2?
True
Let c = 30 - 31. Which is bigger: c or 0.16?
0.16
Suppose -15 = -o - 0*o. Let i be o/(-2)*(-4)/(-5). Which is greater: i or -5?
-5
Suppose -4*z = -11 - 1. Let s = 25 - 20. Which is smaller: s or z?
z
Suppose -4*o - 9*o = 52. Which is smaller: o or -2?
o
Let r(p) be the first derivative of p**2/2 - 11*p - 6. Let g be r(13). Let k(u) = u**2 + 4*u + 1. Let i be k(-4). Is g equal to i?
False
Let q = -116 - -118. Is -6 at most as big as q?
True
Let b = 10 - 6. Let h = -0.28 + 1.58. Let r = -0.3 + h. Is b < r?
False
Let c = 18 - 18.02. Is 1/2 greater than c?
True
Suppose 14 = -2*q + 3*q. Suppose b + 5*z = -1 - q, b + 2*z = -6. Which is greater: b or -1/5?
b
Let x(d) = d**2 + 13*d + 33. Let y be x(-15). Is y greater than 62?
True
Let g = 14 - 11. Let h = 5 - g. Is 7 <= h?
False
Let c = 1 - -18. Which is bigger: c or 18?
c
Let s be (27/(-15))/(2/(-10)). Let l be (-44)/(-6) + 6/s. Let g be ((-2)/l)/((-1)/1). Are g and -2 unequal?
True
Suppose 4*f + 10 = 34. Let v(b) = b**3 - 7*b**2 + 5*b + 5. Let s be v(f). Let p be (-6)/56 + 3/12. Which is bigger: p or s?
p
Let z(j) = j**2 - 4*j - 2. Let i be z(5). Which is smaller: i or 12/5?
12/5
Let t(h) = 3*h - 3*h - 3*h**2 + 1 + 3*h + 5*h**2. Let c be t(-2). Suppose -6 = c*m - 24. Which is greater: 5 or m?
m
Let s = -3 + 7. Let x = s - 5. Which is greater: x or -21?
x
Let q be 12/(-60) + (-86)/(-5). Which is greater: 1 or q?
q
Suppose -5*b + n = 5*n + 61, 0 = 4*n - 4. Is b greater than -14?
True
Let d(v) = v**3 + 11*v**2 + 11*v + 9. Let j be d(-10). Are -1 and j non-equal?
False
Suppose 3*j + 8 = j. Let v be -2*j/(24/9). Suppose -h = -2*h + v. Is 3 >= h?
True
Let r