 Is -1 bigger than y?
False
Let j(h) = -h**2 + 4*h + 4. Let r be 205/20 - 2/8. Let s be r/3*6/4. Let u be j(s). Which is smaller: u or 1/4?
u
Suppose 2*p = -2, -3*i - 3 = p + 1. Is i != -1/22?
True
Let w be ((-3)/9*0)/(-3). Suppose 3*x - 2*x + 8 = w. Let k = 13 + x. Is 4 at most k?
True
Suppose 0 = 5*x - 2*h - 41, -5*h = -0*x - 4*x + 26. Let q = 4 - x. Let t = q - -5. Which is bigger: t or 4/5?
4/5
Suppose -3*j - d + 6 = -1, 0 = -4*d + 4. Suppose 2*v - 4*x - 14 = 0, 5*x = -j*v - 0*v + 14. Is 0 at most as big as v?
True
Let y be (3/26)/((-9)/(-36)). Which is smaller: 0 or y?
0
Let d = -4 + 3. Let w = 202 - 135. Let x = 334/5 - w. Is x smaller than d?
False
Let f(b) = -b**3 + 8*b**2 - 13*b + 4. Let g be f(5). Is 15 at most as big as g?
False
Let w(c) = c**2 - 2*c - 14. Let g be w(5). Which is smaller: g or -8/53?
-8/53
Let h = -7/2 + 2. Let g be ((-5 - -3)/(-2))/(1/(-2)). Which is smaller: h or g?
g
Suppose 0 = -2*g + g + 6. Let o be (9 - g) + (-65)/22. Which is greater: -1 or o?
o
Let l = -2 + 2. Let z = l + 1. Are z and 2 non-equal?
True
Let k = -29 + 8. Is -2 bigger than k?
True
Suppose -3 = 3*y - 18. Suppose -n + 9 = -4*r, y*n - 5*r = 9 + 6. Is 4/3 smaller than n?
False
Suppose -4 = -2*d - 0. Suppose 0 = 2*h - d. Let k(t) = t - 5. Let i be k(6). Is i at least as big as h?
True
Let s = 28 - 26. Suppose -2*u - 3*u + 20 = 0. Let h be (-2)/u + 5/2. Is h > s?
False
Let i be (8/(-6))/4*-12. Suppose -f = -i*f - 39. Is f at least -14?
True
Suppose 0 = g + g - g. Is -1/38 smaller than g?
True
Let k = 1.9 + -2. Let j be -1*1 + 30/35. Which is greater: j or k?
k
Suppose 0 = -15*m + 13*m. Is m != 8/15?
True
Suppose 0*w = -w + 3. Suppose 0 = -w*b + 23 + 49. Suppose -o - 3 = -k, 0 = -o + 5*o + 5*k - b. Is o at most as big as -2?
False
Let q = 12 - 8. Let t be (-6)/q*(-3)/18. Is -1 > t?
False
Let y be (1 + 2)*5/40. Let c(x) be the third derivative of -x**4/24 + 2*x**3/3 + 4*x**2. Let a be c(4). Are y and a equal?
False
Let f = -3 - -16. Which is greater: 12 or f?
f
Let x(a) = a**3 - 4*a**2 - 2. Let p be x(4). Let r = 8 + p. Let u be 0/r*(0 + -1). Is -2/5 at least as big as u?
False
Suppose 0*i + 4*p + 15 = 3*i, 3*i + 5*p = -12. Let b be (-2)/3 + 28/6. Let f(y) = y - 3. Let j be f(b). Is i at least j?
True
Let k = -18 + 35/2. Let j(u) = 10*u + 11 - u**2 - u + 2*u**2. Let o be j(-8). Which is greater: o or k?
o
Let q = -191 - -5541/29. Is 1 not equal to q?
True
Let h = 113 - 86. Is 77/3 > h?
False
Let k = 187/151 - 3339/8305. Let l = k - 6/5. Is l >= 0?
False
Let a(l) = -l + 8. Let v(u) = -1. Let f(s) = -a(s) - 6*v(s). Let k = -6 + 6. Let c be f(k). Is 2 at most as big as c?
False
Let w be (-15)/(-6)*24/10. Suppose v + w = 4*v. Is 1/2 equal to v?
False
Let z be (((-164)/12)/1 - 1)*9. Are z and -132 unequal?
False
Let t be 3/3 - (3 - 0). Let v be ((-1)/t)/((-34)/(-24)). Which is bigger: 0 or v?
v
Suppose 2*b - a = -b + 14, -5*b + 3*a + 30 = 0. Let r = 7 - b. Is r not equal to 3?
True
Let v(b) = 5*b**3 - 11*b - 6. Let l(h) = -h**3 - h**2 + h + 1. Let u(c) = -6*l(c) - v(c). Let p be u(-5). Is p greater than -4/3?
True
Let h be (2 + -2 + 0)/(-2). Let y = -0.13 + -1.87. Is h less than y?
False
Let w = 3 - 2.43. Let v = w + -0.6. Is 1 >= v?
True
Let f be (-12)/9*(-6)/16. Is 0.17 at most as big as f?
True
Suppose -13 = -3*x + 2. Suppose 0 = 4*g + 3*f - 10, 0 = x*g - 4*f + 3. Is g > 1?
False
Suppose 0 = j - 5*s + 10 - 3, 4*s = -j + 11. Suppose 1 = y, -j + 0 = -2*p - 3*y. Let l be (p/2 - -2)/5. Which is bigger: l or -1?
l
Let h = 6 - 8.3. Is h smaller than 1/4?
True
Let a = -23/3666 + 3/94. Which is smaller: a or 0?
0
Let z be 0 - (2 - (3 - (-9)/(-5))). Which is greater: 0 or z?
0
Let t = 1.37 - -0.6. Let y = -0.97 - -1. Let c = y + t. Which is smaller: 0 or c?
0
Let h = 48 + -142/3. Which is smaller: -11 or h?
-11
Let s(q) = -q**3 + 2*q**2 - q. Let x be s(2). Let r = x + 7. Let f be (r/10)/(0 + -2). Which is bigger: 1 or f?
1
Let k be 64/(-24)*(-66)/(-8). Which is smaller: k or -21?
k
Let u = -2.64 + 0.04. Let s = -1.4 + u. Is s less than or equal to -2/7?
True
Let k(z) = z**2 - 3*z - 2. Let y be k(4). Suppose y = -2*m - 2. Is -4/3 not equal to m?
True
Let r be (-26)/(-56) - (-1)/4. Are 2 and r unequal?
True
Suppose 0 = r - 4*o - 25, 0*o = 5*r + 4*o - 5. Let z be 10 - (-2 + (3 - -3)). Which is smaller: r or z?
r
Let w(d) = 8*d**2 + 3*d - 6. Let y be w(6). Let j be (-3)/12 - (-83)/y. Let x = j + -164/525. Which is bigger: x or -1?
x
Suppose 3*u = -u. Let s be 2/(-8)*-1 - u. Is 0.07 at most s?
True
Suppose 0 = v - 1 + 2. Suppose 2*q + 6 = -2*t, 0 = 3*t + 2*q + 12 - 1. Let c = t + 5. Which is bigger: v or c?
c
Let y(x) = 2*x**3 - 7*x**2 - 9*x + 2. Let f(v) = -v**3 + v - 1. Let p(m) = -f(m) - y(m). Let w be p(8). Which is smaller: w or -1/3?
w
Let r = 19 - 211/11. Let f = 7.7 + -8. Is r at least as big as f?
True
Let f be 3/((-9)/(-12)) - 0. Suppose 5*b = f*b. Suppose b = -5*y - 2*o + 7 + 3, 20 = 5*y + 4*o. Is y > 0?
False
Suppose -5*y = -x - 0*x - 12, 4*y = -4*x. Suppose 4*i = -3*v + 6, 2 = 2*v - y. Let o = 1 - i. Is o smaller than 1?
False
Let q(x) = -x**3 + 5*x**2 - 6*x + 5. Let f(z) = -5*z**3 + 26*z**2 - 31*z + 26. Let g(s) = 2*f(s) - 11*q(s). Let v be g(2). Let b = -2 + v. Is b equal to -1?
True
Let c = -13.8 + -2.2. Let w = c + 23. Is w smaller than 2/7?
False
Let s = -126 - -1011/8. Is s bigger than -1?
True
Let c(l) = l**2 - 6*l - 3. Let v be c(6). Let d = 4 + v. Suppose -m + 0 = -d. Is 0 smaller than m?
True
Let i be (-12)/(-20) - 2 - -1. Let v = -2.8 - -3. Which is smaller: v or i?
i
Let j = 0.6 - 0.6. Is -1/5 at least j?
False
Let s = -390/7 - -56. Let i(k) = -2*k**3 + k**3 + 5 + 4*k**2 - 4*k + 3*k. Let g be i(4). Do s and g have the same value?
False
Let d = -4 + 9. Suppose 0*j = -5*j + d. Suppose 0 = 2*h - n + 1, 25 = 5*n. Is h < j?
False
Suppose -j - 13 = -5*a, -2*a - 4*j - 5 = -j. Suppose -40 = 3*g + a*g. Let o be g/18 - 4/(-6). Is 0.1 less than o?
True
Let o be 2 + 1 + 0/2. Let y = 7 + -5. Which is bigger: y or o?
o
Let w be 7/((-7)/(-2)) + 33. Let n = w + -21. Which is greater: n or 13?
n
Suppose -25 - 11 = -3*s. Let i = s + -2. Is 11 smaller than i?
False
Let j = 16 + -17.6. Let h = 0.34 + 0.06. Let l = h - j. Are l and -0.1 unequal?
True
Let y(c) = c**3 + 8*c**2 - 3*c - 6. Let s be y(-6). Suppose -24 = 3*f - s. Let i be (-8)/f + (-3)/5. Do i and 2 have the same value?
False
Let x be ((-10)/4)/(-2 - 525/(-260)). Is -130 greater than x?
False
Suppose -2*r - 3 = -5. Let c be -6 + 6 + r*2. Suppose 6*a - c*a = -16. Which is smaller: -3 or a?
a
Let r = 1 + -5. Let w = -29 - -29. Let l be (w + 1)*(3 + r). Which is bigger: 4 or l?
4
Let w(c) = 4*c + 15. Let u(x) = -x - 1. Let d(f) = 5*u(f) + w(f). Let l(v) = -v**3 + 9. Let k be l(0). Let j be d(k). Does 0 = j?
False
Let p(d) = d**3 + 4*d**2 + 3*d. Suppose -3*z - 6 = -z. Let k be p(z). Suppose 5*m + 2 - 12 = k. Which is bigger: 3 or m?
3
Let l = -2999 - -368879/123. Are l and 0 nonequal?
True
Let v(j) = -j**3 + 13*j**2 - 12*j + 12. Let w be v(12). Suppose n - 7 = 2*q, 4*q + w = 3*n - 1. Let u = -5242/19 - -276. Which is greater: u or n?
u
Let h be (-3)/12 + (-699)/(-12). Suppose 0 = 3*k - p + 32, -5*k + p + 3*p - h = 0. Let v be 14/k - 2/(-5). Is 1/5 > v?
True
Let b = 0.12 + 5.88. Let w = b + -6.4. Is w less than or equal to 0.1?
True
Let w = -943/7 - -135. Let m = 120/371 + -2/53. Is w < m?
False
Let j = 252/5 + -50. Let i(z) = z**3 - 2*z**2 - 2*z + 1. Let r be i(3). Suppose -c - 15 = -0*l - 5*l, -3*l + 9 = r*c. Does c = j?
False
Let o = 6 - 21. Is -15 greater than o?
False
Let v = 2.19 + -2.3. Let l = -0.11 - v. Is l bigger than -8?
True
Suppose 0 = 4*a + 2*o - 2, 4*a + o - 5 = -2*o. Is a at least as big as 3/34?
False
Let z(i) = i**3 + i - 2. Let a be z(2). Let p be (a - 4)*7/4. Is 8 at most as big as p?
False
Let c be -1*(1 + 2)*-1. Suppose 5*y - p - c*p = -7, 3*y = p. Is -1 < y?
True
Let q be -1*2/(-23 + 3). Is -1 less than or equal to q?
True
Let l be (-125)/(-20) - (-2)/(-8). Let n be 6 - 1 - (l - 4). Which is greater: n or 2?
n
Let b = 47 - 48. Let f = 3 + -2.4. Is b > f?
False
Let m = 36.2 - 36. Let n = -41188/13 + 3166. Let s = 116/39 + n. Is s greater than m?
True
Let j = -40.94 - -41. Let p = -2 - -1.84. Let t = j + p. Is 4/5 greater than t?
True
Let p = 89 - 56. Which is smaller: 31 or p?
31
