= 0.3 - y. Which is smaller: b or -1?
-1
Let m = 18 - 18.2. Is m at most as big as -1/44?
True
Let m be (-30)/8 + 4 + 0. Which is bigger: 3 or m?
3
Let h = -6 + -3. Which is smaller: h or -10?
-10
Let k = -179/3 - -59. Let c be 3/(-9) - 10/6. Which is smaller: k or c?
c
Let c be (-4 + (-15)/(-5))/(-2 + 1). Which is bigger: 1/150 or c?
c
Let x(l) = -8*l**3 - 15*l**2 - 22*l - 17. Let m(v) = -7*v**3 - 15*v**2 - 21*v - 17. Let g(u) = -7*m(u) + 6*x(u). Let d be g(-14). Which is smaller: 2 or d?
2
Let w = -13 - -14. Do w and 4/3 have different values?
True
Let t be 26/(-169) + (-16)/65. Which is smaller: 3 or t?
t
Let o(h) = -2*h**3 - h**2 - 3*h. Let g be o(-3). Let k be 8/g*6/(-4). Is k greater than -0.1?
False
Let h = 1 - 4. Let i = 5 + h. Let c = 2.9 + -3. Which is smaller: i or c?
c
Let a(h) = 3 + 1 - h + 2. Let s be a(8). Let k be (-3)/15*15/2. Is s bigger than k?
False
Let d = 112 + -39. Let m = d - 76.1. Let u = m + 3. Which is bigger: 0.3 or u?
0.3
Suppose 3*p - 6 = 3*h, -3*p + 6*p + 10 = -5*h. Which is greater: 8/19 or p?
8/19
Let l be 10/(-25) + 143/45. Let b = -3 + l. Is b greater than 0?
False
Let f be (-3)/(-1)*(-2)/(-18). Suppose -4*a - 8 = 4*j, 2*j + 4 = -8*a + 10*a. Which is greater: f or a?
f
Let d(r) = 3*r - 1. Let o be d(2). Let j = o - 6. Is j > -2?
True
Let q be 6/(-3) + -5 - 2. Is q >= 2?
False
Let w(u) = -2*u**3 + 3*u + 2. Let p be w(-1). Is p > 1/30?
True
Let p(i) = i**2 - 7*i - 7. Let g be p(7). Let b be g/(-9) + (-14)/(-63). Is -1 < b?
True
Let g = -3.5 - -4.44. Let b = g - -0.06. Let z = 2.9 - 2.6. Is z smaller than b?
True
Let n = -8 + 2. Let a be (30/5)/((-6)/(-8)). Let c = a + n. Which is bigger: 1 or c?
c
Let m = -1 + -2. Let i be m - ((-5)/1 + -3). Suppose -l - 4*l + i = 0. Is 3/8 less than l?
True
Suppose -4*g - 14 = -m, -m + 0*m + 8 = -2*g. Suppose 2*d - 2*h + 44 = -6*h, -3*d - h - 51 = 0. Let z be (-8)/14*56/d. Is z > m?
False
Suppose 2*r = 0, 5*t - 169 = -4*r - 9. Suppose -4*m - 4*n + t = 0, 28 = 4*m - n + 4*n. Which is bigger: m or 1/5?
m
Let t(l) = -2*l + 1. Let m be t(1). Suppose -10 = 3*k + 11. Let q = 5 + k. Are m and q equal?
False
Suppose 5*l = 2*i + 14 - 5, 0 = -4*l + 2*i + 8. Let x be (l + -5 - -1) + -1. Which is smaller: -3 or x?
x
Let o = -0.8 + 6.8. Let q = 5.9 - o. Let c = q + -0.2. Is -0.1 at most as big as c?
False
Suppose 0 = -5*s + 7*s + 6. Let n be (-1)/s - 1/4. Does 0 = n?
False
Let c(y) = y**2 - 5*y + 1. Let k be c(4). Let t(i) = -i**3 - 2*i**2 + 2*i - 3. Let f(p) = p - 1. Let m be f(-2). Let s be t(m). Which is smaller: k or s?
k
Let a = -0.039 + 11.239. Let s = -15 + a. Let i = 0.8 + s. Is 0 greater than i?
True
Let o = -1.6 - 7.4. Let m be 6/22 - (-882)/(-693). Is m greater than o?
True
Suppose -c - 2*c + 4*p = -23, 2*c - 3*p = 16. Let d = -8 + 13. Is c > d?
False
Let q be 24/(-9) + 2/3. Let x be (-6 + 1)*(q - -3). Let g(t) = -t**3 - 2*t**2 + 8*t - 4. Let y be g(-4). Which is smaller: x or y?
x
Suppose 3*f + 13 = a + 4*a, 28 = -5*f + 2*a. Let b be -9*(-2 - 16/f). Let r be 19/b + 4/6. Is -3 bigger than r?
False
Suppose -8 = 4*o + 3*y + 1, -o + 5*y + 15 = 0. Are o and -1 nonequal?
True
Let o(l) = l - 11. Let w be o(6). Let m(s) = 2*s**3 + 7*s**2 + 5*s + 3. Let g be m(-3). Which is smaller: g or w?
w
Let f(u) = -u + 2. Let m be f(6). Let i(x) = -3*x - 4. Let s be i(m). Let a be 9/(-12)*s/10. Which is greater: a or 0?
0
Suppose 3*s = -s. Let o = s - -4. Is o > 4?
False
Suppose s = -s - 126. Let g be (-2)/(-7) - 45/s. Is g bigger than 2/5?
True
Suppose 0*k - 20 = -3*q - k, 5*q = k + 20. Let c(p) = p**3 - 5*p**2 + p - 4. Let i be c(q). Which is bigger: -1 or i?
i
Let z = -0.05 - 0.05. Do -4 and z have different values?
True
Let w(m) = -m. Let g be w(-5). Suppose 0 = 5*f + 10 + g. Are f and -3 unequal?
False
Let m be ((-5)/(-10))/((-1)/8). Let y = -3 - 1. Are y and m unequal?
False
Let y(t) be the second derivative of t**5/20 + 3*t**4/4 - t**3/6 - 2*t**2 - 2*t. Let b be y(-9). Suppose -q = 5*x - 2*q, -26 = x + b*q. Is x smaller than 1?
True
Let w = 73/96 - 3/32. Which is greater: w or 1?
1
Let o = 1437/13 + -111. Is o greater than or equal to 0?
False
Let f be (-1)/2 - 7/2. Let p = -5 - f. Is -1 not equal to p?
False
Let n = -0.2 + 0. Let z(l) be the third derivative of l**5/60 - l**4/4 - l**3/6 + 3*l**2. Let j be z(6). Which is smaller: j or n?
j
Suppose -2*r - r = 0. Let g = 4 - r. Is 2 != g?
True
Let r = 2 - 3. Let v = -107710528 - -646586302234/6003. Let m = -2/667 - v. Are m and r unequal?
True
Suppose -v - 15 = 4*l + l, -l = 4. Let b(y) = 5*y + 1. Let q be b(2). Let w = q - 9. Which is smaller: v or w?
w
Let p = 85/132 - -1/44. Suppose 8*x - 9*x = 1. Which is smaller: p or x?
x
Suppose 21 = 4*c - c. Let y = c - 6. Let u be (-30)/(-56) + (-4)/14. Which is greater: u or y?
y
Let q be (-6)/10*(-18)/(-27). Does q = -2/19?
False
Suppose -g + 2 = -7. Which is greater: g or 10?
10
Let j = -75.1 + 75. Let w = -7 + 14. Is w > j?
True
Let q(p) = -3*p**3 + 2*p**2 + p + 2. Let i be q(-2). Let o be ((-3)/6)/(4/i). Do -4 and o have different values?
False
Let v = 8 - 6. Let p = v + -2. Do p and -1 have the same value?
False
Suppose -24 = 2*w - 0*w + i, 3*w - i = -31. Which is bigger: -12 or w?
w
Let v be -1 - 3/3*-2. Let w = -547/14 - -79/2. Which is smaller: w or v?
w
Let y be (4/10)/(3/(-45)). Let b be ((-4)/7)/(y/21). Let s = b - 0. Which is bigger: 1 or s?
s
Let l be (2 - 2) + (-2)/(-11). Let w = l - -7/22. Let c be 2/(-8) - (-2)/8. Is w at least as big as c?
True
Let l be 20/4*2/(-5). Let v be (-26)/30 + l/(-10). Let o = -1 - 0. Are o and v nonequal?
True
Let k = -0.012 - -22.012. Let l = k + -23.1. Are l and -2/5 unequal?
True
Let z(u) = u**2 - 5*u - 6. Let v be z(6). Let x be 3/6*(v - 12). Let m be ((-4)/x)/((-6)/18). Is m <= -2?
True
Let t be (-26)/(-15)*(-4 + 0). Let m = 38/5 + t. Let p = 0.96 - -0.04. Is m greater than or equal to p?
False
Let o = -264 + 124. Let s = -704/5 - o. Let y = -11.4 - -12.4. Is y at least as big as s?
True
Let j = 1.44 - 1.8. Let q = j + 0.4. Let b = -0.36 - q. Is -2/3 bigger than b?
False
Let y be (-3 - -2) + 26/12. Which is smaller: y or -1?
-1
Let r be 8*33/156*-1. Let y be 89/(-91) - (3 - 2). Let g = y - r. Which is smaller: g or 0.1?
g
Let l(f) = -f**2 - f + 1. Let d be l(1). Let b(o) = 3*o + 20. Let u be b(-5). Let t = d - u. Which is smaller: -1 or t?
t
Suppose -r + 0*r = 0. Suppose 4*c = -r*c. Is -1/8 greater than or equal to c?
False
Let b = 1 - 2. Let m be -2 - (3 + -12) - 3. Suppose -m*p + 10 = -2*t, 16 = 3*t + 4*p + 1. Which is greater: b or t?
t
Let g(t) = t**3 - 10*t**2 + 10*t - 8. Let z be g(9). Let f(q) = 9*q - 1. Let w be f(z). Suppose 5*b - 2 = w. Is b smaller than 3?
True
Let j(q) = -q**3 + 5*q**2 - 5*q + 5. Let w be j(4). Let f(x) = x + 1. Let b(i) = -2*i - 1. Let h(p) = -2*b(p) - 3*f(p). Let g be h(w). Which is bigger: -3 or g?
g
Let r be 2 - (-2 - -5)/(-3). Suppose -3*p + 3 = -r. Suppose 4*y = 4*g - 4, -g - p*y - 1 = 1. Which is smaller: g or -2?
-2
Let y be 3/58*(-13 + 9). Is 0 less than y?
False
Let d(i) = -5 + 5 - i**2 - 1 + 6*i. Let h be d(5). Suppose x - 3*m = -4, h*x = x + 2*m - 5. Which is greater: -2 or x?
x
Let t = 49 + -97/2. Which is bigger: t or -0.051?
t
Let s = 0 - 0.2. Let r = s + -2.8. Which is smaller: r or 0.1?
r
Let d = -12 - -6. Let t be 0/((-3)/d*-2). Is 3 less than or equal to t?
False
Let z = 11 - 6. Suppose -2 = 3*g - 4*c, -2*c - z = -2*g - 3. Let v be (-9)/g - 15/(-6). Which is smaller: 2/7 or v?
2/7
Let s = 25.23 + -25. Let c = -0.2 + s. Let d = c - -1.97. Is 0 bigger than d?
False
Let j be 1/3*6/2. Let o = -7 + j. Let x(s) = -s**2 - 5*s + 2. Let z be x(o). Which is bigger: -1 or z?
-1
Let o = -8 - -14. Let a be (-9)/o*(-1 + -1). Is 2 bigger than a?
False
Let f = 51 - 356/7. Which is greater: f or -2?
f
Suppose 3*p = -2 - 10. Is -3 >= p?
True
Suppose 3*t - 54 = 9*t. Which is smaller: -10 or t?
-10
Let j be 12/15 - 3/(-15). Let p = -26/5 + 24/5. Which is bigger: p or j?
j
Suppose -3*s + 7*s = 20. Suppose -s = -2*z - 3. Is -2/5 at least z?
False
Suppose 0 = -4*y - 3*g + 7, -5*y - 30 = -8*g + 4*g. Let h be y + 0 + 21/6. Which is smaller: 2 or h?
h
Suppose 2*m + 10 = 4*z, -z = m - 0*z + 2. Let y be ((-6)/(-15))/((-3)/5). Which is bigger: y or m?
y
Let f(v) = v**3 + 4*v**2 + 3*v - 3. Let g be f(-3). Let a = -349/81 - 2/81.