 5*s**2 - 4*s - 1. Let l be w(-4). Let z = -15 - -9. Let h be z/9 - (-21)/45. Is h >= l?
True
Let c be -1 + (-29)/(-72) + (-24)/(-36). Is 1 at least as big as c?
True
Let c = 6 - 0. Let r = -2 + c. Suppose -4*p - 4*o + o = -31, -p = o - 9. Is p greater than or equal to r?
True
Let a be 4/5*(3 + -2). Are a and 2 non-equal?
True
Let n = -15/4 + 4. Let h be ((-8)/3)/(4/(-6)). Let q be h/(1 + 3) + -1. Is q bigger than n?
False
Let g = -132/5 - -3163/120. Is g bigger than -1?
True
Let v(b) = 6*b + 1. Let p be v(-1). Is p equal to -10?
False
Let x be (-2)/(-22)*(4 + -2). Let v = 8 - 8. Let f = x + v. Do f and 0 have the same value?
False
Let v be (-2)/(-8)*(8 - 4). Is 7/4 at most as big as v?
False
Let z = -2.6 + -11.9. Let t = z - -15. Which is bigger: 2/7 or t?
t
Let a be ((0 + 24/39)/(-46))/2. Is 1 greater than a?
True
Let h = -0.064 + -14.136. Let i = 14 + h. Which is greater: i or -2?
i
Let w(r) = r**2 - 12*r - 5. Let q be w(12). Let x(i) = -i**3 - 11*i**2 - 11*i - 1. Let b be x(-10). Let f = 4 - b. Is q greater than or equal to f?
True
Let q = 19 + -75/4. Let z = 0.1 - 0.8. Let u = 0.6 + z. Is u bigger than q?
False
Let m = -7.12 + 0.12. Let p = -6 - m. Is p at most 1?
True
Let f be (-1)/4 - (-7)/(-14). Let j(c) = -c + 7. Let o be j(6). Suppose 0 = 4*z + o + 7. Do f and z have different values?
True
Let v(m) = m**2 - 23*m - 9. Let f be v(20). Which is smaller: f or -67?
f
Suppose -3*g - 3*j - 27 = 0, -g = -6*j + j - 15. Suppose 3*w = 5*s - 41, 5*w = 4*s + w - 36. Let h = g + s. Which is smaller: h or 3?
h
Suppose -5*o = -60 + 50. Is 9/5 > o?
False
Let d = -3.1 + 3.2. Is d less than -1?
False
Suppose -2*x = -2*z - 0*x + 6, 4*x = 0. Suppose -z = -4*o - 4*k + 13, o + 2*k = 1. Are 7 and o equal?
True
Let p be 7/14 + 5/((-20)/(-3)). Is 1/6 smaller than p?
True
Suppose -5*u + 30 + 19 = -i, 0 = -3*u - 2*i + 32. Is u at most as big as 10?
True
Let l = -21 - -41/2. Let x = -61 + 57. Is l >= x?
True
Let x = -22 + 39. Let c = 12 - x. Suppose -3*l + 4*l = -4*v - 21, l - 11 = 4*v. Is l > c?
False
Let w = -0.3 + 0.3. Is 0 equal to w?
True
Let q = -23 - -23. Suppose 4*z - 41 + 133 = q. Which is greater: -22 or z?
-22
Let a = 1.26 + -1.16. Is a at least as big as -7?
True
Let s be 3/(-4) + (-3)/(-4). Is s less than -1/7?
False
Suppose 0 = u + 4*u + 15. Let b be (-82)/8 - u/12. Let d be 2 + b/3 + 1. Is -0.2 smaller than d?
False
Suppose 0 = 3*q - 7*q + 2*v - 2, -5*v + 13 = -2*q. Let o = 4 + -3. Is o bigger than q?
False
Let a = -11 + 13. Is a greater than or equal to 2.6?
False
Let h = -0.1 - 0. Let y be (-1)/(-14)*-6*(-2)/3. Is h <= y?
True
Let r(t) = -t + 6. Let k be r(6). Suppose -3 = -3*u - k. Let b be 3 - 38*u/14. Is b less than -0.1?
False
Suppose -3*j + 5*j = -3*l + 13, -j = -5*l + 13. Let p be l/(-12) + (-57)/(-132). Which is smaller: 1 or p?
p
Suppose -h + 2 + 1 = 0. Suppose -v = 3*j + 4, 0 = -h*j + 2*j + 3*v - 18. Is j greater than or equal to -3?
True
Let p = -16 - -22. Is 12 > p?
True
Let m = 1 - 1.1. Which is smaller: 2/31 or m?
m
Let i be 142/60 - 8/48. Is 2 != i?
True
Suppose -5*q + 80 = 5*u, -2*q = -7*q + 2*u + 73. Let g = 15 - q. Which is bigger: 2/19 or g?
2/19
Let p = 0 + -2. Which is smaller: 27 or p?
p
Let y = -52 + 96. Let x be (-68)/(-253) - 8/y. Is -1 >= x?
False
Let m be 46/(-42) - 3/9. Does m = -2?
False
Let f(g) = -g**3 - 3*g**2. Let q be f(-3). Suppose 5*n + 5 = -q. Let k be 0*(-1)/(-2)*2. Which is smaller: n or k?
n
Let z = 24 - 40. Let q = -17 - z. Is q > 2/19?
False
Let y(n) = -3*n + 13 + n + n. Let m be y(6). Let x be (2/m)/(-2 + 3). Is x smaller than 0?
False
Let s = 1/38 - 85/342. Let g = 0.1 - -0.1. Does s = g?
False
Let m be (4/(-3))/((-1)/12). Suppose 4*x + 3*w - 15 = -0*w, 0 = 5*x + w - m. Is 4 equal to x?
False
Suppose 0 = 2*q - 4*d - 316, 2*q + 4*d - 280 = -d. Is 149 < q?
True
Suppose 2*d - 15 = -d. Let c be (10/(-4))/(d/(-10)). Is -0.1 less than c?
True
Let t be (-1 - -2)/(346/(-4)). Let r = t + -340/519. Let u = -0.1 + 0.2. Does u = r?
False
Let l(r) = -r + 8. Let s be l(7). Let t = -5 - -33/7. Which is smaller: s or t?
t
Let k(i) = i + 9. Let n be k(0). Let l = -14 + n. Which is smaller: -6 or l?
-6
Let h = -18 + 15. Is h < -10?
False
Suppose -3*y - 2*y = -30. Which is bigger: y or 5?
y
Let p be 5*-1*(3 - 2). Let q = -6 - -10. Suppose q*c - 5 = 2*b + 13, 4*c = 3*b + 23. Is b less than p?
False
Let u(f) = f + 3. Let n be 5/(-3*(-3)/9). Let w be u(n). Suppose -w = -10*x + 6*x. Which is smaller: 0 or x?
0
Let g = -0.089 - -0.179. Is -2 less than g?
True
Let z(i) = i**2 - 7*i + 6. Let s be z(5). Suppose 3*j + 3 = -12. Let c be (-2)/4 - j/(-2). Are s and c equal?
False
Suppose 0 = 5*x - 170 - 10. Let p be (-17)/x + 2/9. Let r = 17 + -17. Which is smaller: r or p?
p
Let s(r) = 4*r**2 - 11*r + 16. Let c(j) = j**2 - 2*j + 3. Let w(f) = -11*c(f) + 2*s(f). Let q be w(-1). Do q and -1 have the same value?
False
Let i = -283 - -478. Let t = i - 1753/9. Which is greater: t or -1?
t
Suppose -3*b + 2 - 5 = 0. Let r be -1*(1/b + 2). Let g be (-1 - r)*(-1)/(-1). Are g and 0 nonequal?
False
Let h(x) = -x**3 - 3*x**2 - 3*x - 2. Let l be h(-2). Let b = 91 - 92. Which is bigger: l or b?
l
Let a = 84/17 - 419/85. Let n be (-178)/(-30)*12/272. Let q = a - n. Is q bigger than 0?
False
Let t be (-5)/(-4) - 4/16. Let d be 1*1/t + 2. Suppose -2*b + j = 3, -d*b = b + 5*j - 29. Are 2/9 and b equal?
False
Let t(l) = -4*l + l**2 - 2*l + 3*l - 4. Let m be t(4). Which is bigger: m or -7?
m
Suppose 224 = 7*p - 161. Is 54 < p?
True
Let t be -3*(33/(-9) - -4)*11. Suppose -a = -0 + 10. Which is smaller: a or t?
t
Let o = -24 + 9. Let l = 16 + o. Which is bigger: l or 2/3?
l
Let f = 14 + -10. Let n(x) = 2*x**2 + 2*x. Let c be n(-2). Is f less than or equal to c?
True
Let h be (-2369)/(-3480) + 2/(-6). Let w = 4/145 + h. Is 2/9 at most as big as w?
True
Let g = -12.29 - -0.29. Which is smaller: 1 or g?
g
Let v be 3*4/6 + -5. Let g be (5/15)/(4/v). Let u be 3/3 + -1 + 0. Which is bigger: g or u?
u
Let m = 7 - 6. Suppose m = -i - 0. Which is smaller: i or -2/21?
i
Let j(m) = -2*m**2 - 4*m - 4. Let b be j(-3). Let p = 8 + -12. Let v be (-1)/2*p/b. Do 1 and v have the same value?
False
Let r be 0 + 7*(-1 - -2). Let t = 7 - r. Which is greater: -1 or t?
t
Let s(l) = l**3 + l**2 - l + 1. Let g = 4 + -3. Let c be s(g). Suppose -2*b + 4*t = 3*b - 2, -5*t = -5*b. Is b at most c?
True
Let o = 22 + -18. Which is greater: o or -1/9?
o
Let h = -2/35 - 8/35. Which is smaller: 0.082 or h?
h
Let h = 0.18 + 0. Let d = 3.18 - h. Is d bigger than 2?
True
Let u be (5 + -2)/((-3)/(-4)). Let a = u - 7. Let f = 5 + a. Is f less than 3?
True
Suppose o + 5*y = 16 + 1, 2*y - 2 = 2*o. Let p be o/2 + 489/(-487). Let s = 952/5357 - p. Are s and 0 equal?
False
Let k be 48/76*(-4)/(-84). Which is smaller: 0 or k?
0
Let o = -0.38 - -0.15. Are -0.4 and o nonequal?
True
Let c = -47 + 43. Is -0.1 not equal to c?
True
Suppose -3*r - 5*a + 31 = 0, 5*r = -3*a + 4*a + 5. Let o be ((-2)/8)/(2/(-6)). Are o and r equal?
False
Let s(g) = -2*g**3 + 16*g**2 - g + 5. Let l be s(8). Is l greater than 4?
False
Let y = -0.13 - 2.37. Let v = y + 0.9. Let o = 0.4 - v. Which is bigger: 3 or o?
3
Let f = 7/3 - 25/12. Let i = -6 + 6. Let z be i/(4 + -2 + -1). Is z bigger than f?
False
Suppose 3*b = -11 + 2. Let j = b - -4. Let f be -2 + (j - (3 - 2)). Which is greater: f or 0?
0
Let k be 2*(2 - (-21)/(-6)). Let b be ((-1)/3)/((-11)/(-165)). Which is smaller: k or b?
b
Let p(w) = -w**2 - 6*w - 4. Let z be (2 + -20)/3 - -1. Let f be p(z). Let q(g) = -g**3 + 6*g**2 + 7*g + 2. Let m be q(7). Which is smaller: m or f?
f
Let q be 6/(0 + -2) + -2. Suppose 2*i - 4*d = i + 10, -5*i - d - 34 = 0. Which is greater: i or q?
q
Let q(o) = -o**3 + 7*o**2 - 6*o - 3. Let n be q(6). Let c be ((-9)/(-4) - 2)*4. Does n = c?
False
Let d be ((-9)/4)/(3/88). Is d < -67?
False
Let w be 4/2 - (0 + -2). Suppose -y = -w + 1. Let z(b) = 6*b**2 + b. Let p be z(-1). Which is smaller: y or p?
y
Let f = 1.2 - 1.1. Let s = f + -0.3. Let m be (-6)/9 + (-32)/(-66). Which is smaller: s or m?
s
Let c(h) = h**3 - 17*h**2 + 19*h - 32. Let t be c(16). Is 16 >= t?
True
Let u = 89/3 + -30. Let c = -0.04 + 5.04. Which is greater: c or u?
c
Suppose -2*t - 4*v + 28 = 0, 3*v - 14 = t - 3. Suppose -35 = -5*d + 4*x - t, 0 = -5*d + 5*x + 35. Let g be (