s t?
False
Let m = -12 - -12. Let s(d) = -d**3 - 6*d**2 + 7*d + 3. Let h be s(-7). Which is bigger: h or m?
h
Suppose 4 = -b - 4*z - 4, 0 = -4*b - 3*z + 7. Suppose -b*t = -3*t. Are -4 and t nonequal?
True
Let c(n) = n**3 - 3*n**2 + 2*n + 2. Let k be c(2). Let x be (k/(-1))/(12/2). Which is greater: -2/3 or x?
x
Let h(u) = -u**3 + 5*u**2 + 7*u - 6. Let b be h(6). Let s(n) = n**3 + 8*n**2 + 2*n + 1. Let o be s(-8). Let k = -15 - o. Is k at most as big as b?
True
Let w be (0 - 2) + 5 + -1. Suppose 3*f = 5*a - 6, -2*a - 3*a = -w*f - 4. Are a and 3/4 nonequal?
True
Let a = -47 + 1. Which is smaller: -44 or a?
a
Let t(m) = -m**2 - 6*m - 3. Let c be t(-4). Suppose c*i = i + 4. Do i and -1 have the same value?
False
Let l = 423 + -1282/3. Let a = 55349/14442 - -2/2407. Let p = l + a. Are p and -5 equal?
False
Let u be 5/(-3) - (-4 + 1448/600). Suppose -a = 5*q + 5, -a = -2*q - 1 - 1. Is a less than u?
False
Suppose 0 = -6*d + 34 + 20. Which is bigger: d or 6?
d
Suppose 5*q = -8 + 18. Suppose 2*u = b + 21, 4*u + 4*b = -b + 49. Suppose -3*l - 2*t = 3*t + u, -5*l = -t - 19. Which is bigger: l or q?
l
Let m = -365 + 516. Is 151 greater than or equal to m?
True
Suppose -y + 5*f = -6*y - 35, 5*y = f - 5. Let d = 2.1 - 23.1. Let v = d - -22. Which is smaller: v or y?
y
Let u = -277/1798 + 1/62. Is u >= -1?
True
Let n be (-20)/(-6) + 2/(-6). Suppose -2*q - n*q + 21 = 4*k, -4*k - q + 1 = 0. Is -1/2 at least k?
True
Suppose -5*w + 2 = 3*k, -k - 6 = -3*k - w. Suppose -3*p = 2 + k. Which is smaller: -4/3 or p?
p
Let q be (2/(-4))/((-1)/(-18)). Let r(n) = -n**3 - 9*n**2 - n - 9. Let l be r(q). Is -1/15 at least l?
False
Let z be (8/(-4) - -3) + 0. Is -28/3 equal to z?
False
Suppose -2*i = h, 2*h - 3*i + i = 0. Let p be (-7)/(-8) - (h - -1). Which is bigger: 1 or p?
1
Suppose s = p - 2*s + 10, 0 = 5*s - 20. Suppose 0 = p*y + 2*y. Which is smaller: -1 or y?
-1
Let t = 1679/11 + -153. Is 0.2 bigger than t?
True
Suppose 3*z - 3*m - 75 = -4*m, -2*m - 50 = -2*z. Suppose -3*p - 2*p + z = 0. Suppose -3*h + p*h = -4*n, 3*n - h + 5 = 0. Which is smaller: n or 1/5?
n
Suppose 0*i = -3*i - 2*q + 35, 25 = -5*q. Is i equal to 14?
False
Let l = -0.08 - 2.92. Let s = l + 2.94. Does 0 = s?
False
Let l = -3 - -3. Let z(a) = a**2 + 6*a - 4*a - a + l*a. Let c be z(0). Is c greater than -1/4?
True
Let o = -27 - -28. Which is greater: -2/21 or o?
o
Let g be (1/5)/((-4)/12). Let j be 3*(-2)/(-18)*3. Let m be (0 + -2)/(j - -1). Which is smaller: g or m?
m
Let z(v) = 2*v**2 + 0 + 3 - v - 2*v. Suppose 0*i - i - 7 = -3*g, 0 = g + 3*i + 1. Let f be z(g). Is 5 bigger than f?
False
Suppose -5*o - 3*t - 4 = -24, 0 = -o + t + 12. Let i = -4 - -6. Suppose 0 = 5*b - o + i. Which is smaller: b or 3/8?
3/8
Suppose -4*t = -3*t - 3. Suppose -t*d + 5*x = 15, -3*x + 5 = -d - 2*x. Are d and -5 nonequal?
False
Let q be 3060/11151 + (-4)/14. Is 1 equal to q?
False
Suppose -3*j + d - 10 = 0, -5*j - 3*d - 20 - 6 = 0. Let z be j + (0 - 2) + 5. Is -2 greater than z?
False
Let o(r) = r**3 - r**2 - r. Let v be o(2). Suppose -6*g + 20 = -v*g. Suppose w + g*j = 23, 5*w - 15 - 12 = -3*j. Is w at most as big as 3?
True
Let m = -4 - -4. Suppose -3*a - a - 12 = 0. Let t = 0 - a. Which is smaller: m or t?
m
Let v be 2/(-7) + 0/(-2). Let h(w) = w**3 - 2*w**2 + 3*w - 1. Let z be h(2). Let r(f) = f**2 - 5*f. Let s be r(z). Is v >= s?
False
Let o = 1 - 0.8. Let r = o + -0.1. Let s be (2/(-12) - 0)/(22/(-88)). Is s at most as big as r?
False
Let l(x) = -x**3 - 4*x**2 + 4*x - 5. Let k be l(-5). Let j be 46/(-40) + 1 + 0. Which is bigger: j or k?
k
Let g = 4 - 4. Suppose g*b + b = -4. Let w(j) = -j**3 - 4*j**2 - j - 4. Let m be w(b). Which is smaller: 1 or m?
m
Let m = 113/114807 + 2/539. Is 0 greater than m?
False
Let n = -12 + 17. Suppose -n*x + 2*x + 180 = 0. Let d = -115/2 + x. Is 3 <= d?
False
Let i = 1.055 - 0.005. Let a = 0.05 - i. Is a greater than 0?
False
Let i be (-78)/4*(-6)/(-9). Let r = 7 + i. Is r bigger than -7?
True
Let m be 2 - ((1 - 1) + -2). Suppose m*w - 23 = -3*v, v = 2*w - 7 - 2. Suppose 2 - 12 = -w*h. Is 2 at most as big as h?
True
Let b be (-2)/(-4)*0 - -1. Let f = -1 - -4. Suppose -l = -f*l + 6. Is l <= b?
False
Let y be (-248)/42 + 6 - (-55)/84. Suppose -2*z + 2 = -0*z. Is z at most y?
False
Let b be 28/((-1 - 0)/1). Let w be 1/(7/(b/(-12))). Is 1 greater than w?
True
Suppose 2*x + 2*f - 10 = -2*x, -4 = -3*x - 5*f. Let m(k) = -k - 1. Let l be m(-4). Suppose 4*r - 3*t = 9, 3*r + 6*t - 12 = l*t. Is x greater than r?
False
Suppose -4*a + 0*a = -32. Suppose -a = -n - 3*n. Let q(j) = -j**3 - 12*j**2 + 2. Let w be q(-12). Is w greater than or equal to n?
True
Suppose -17 = -3*b - 5. Suppose 0 = 6*a - 2*a - 5*v + 22, -b*a = -3*v + 18. Which is smaller: 1 or a?
a
Let x(c) = 2*c - 12. Let q be x(13). Does q = 13?
False
Let j = 0.028 - -0.042. Is 2/3 > j?
True
Suppose -4 - 16 = 4*b. Is -4 smaller than b?
False
Let p(r) = -r**2 - 8*r - 1. Let d be (6/((-3)/1))/(-1). Let t be (-4)/d + (-18)/3. Let c be p(t). Is c at most as big as -1/6?
True
Suppose 2*o = -2*c + 4, 0 = c - 4*o + o + 6. Let l = c - 1. Is l > -4/9?
False
Let j be 6 + 2 - (-1 - -3). Suppose 15 = j*a - 3*a. Which is bigger: 4 or a?
a
Let j = 0.4 - 0.9. Let f = j + 0.4. Is f at least 2?
False
Let n(m) = -m**2 - 6*m - 4. Let q be n(-4). Let i be (6/q)/(-3)*-6. Suppose 2 = -k + 6. Does i = k?
False
Let j = 0.3 + -1.3. Suppose -5*s + 35 = -0*s. Let d be (6/(-21))/((-3)/s). Does j = d?
False
Let y = 10 + -11. Which is greater: -1/6 or y?
-1/6
Suppose -5*h - 5 = -5*w, 4*h - 25 = -h - w. Suppose -3*g + 2 = -h*j, -3*g = 2*j + 2*g + 14. Which is greater: -8/5 or j?
-8/5
Let x(u) = -u**3 + 6*u**2 + 6*u. Let f be x(7). Which is smaller: f or -1/3?
f
Let v be ((-1)/2)/((-2)/(-12)). Let c = 9 + -5. Suppose c + 0 = -4*o. Is o < v?
False
Let o = -16 + 28. Suppose 0 = -6*j + 2*j - o. Which is smaller: j or -2?
j
Let u = -2 + 1. Suppose -t - 2 = 7. Let p be (-2)/3*t/10. Which is greater: p or u?
p
Let t be (2/4)/(-3 - (-70)/24). Let y(n) = -4*n - 1. Let b be y(1). Which is smaller: t or b?
t
Let a = 2.6 + -13.6. Let s = 12 + a. Which is greater: 1/2 or s?
s
Let d(r) = 2*r - 4. Let u be d(3). Let x be (5/(-2) + u)*2. Let n = 0 + -1. Is x at most n?
True
Suppose 4*d + 15 = -9. Let w = d - -4. Let b = 0 + w. Are b and -2 equal?
True
Let v be (2/4)/((-2)/(-20)). Suppose 3*l = -v*c + 22, 3*l = 12 - 0. Let u be 2/(-5) + (-44)/(-10). Is u at least c?
True
Let x = 20 - 20. Suppose 0 = -4*z - 0*z - 5*l + 28, -5*z + 18 = 2*l. Suppose -3 = k - z. Which is bigger: k or x?
x
Let f = -2 + 7. Which is smaller: f or 1?
1
Let a = -2 - -18. Is a smaller than 15?
False
Suppose -4*a + 19 = -21. Which is bigger: 8 or a?
a
Let m = -7.5 + 10. Let c = m + -0.5. Let v = 6 + -6.1. Which is smaller: c or v?
v
Suppose -u + 3*x = -75, 2*x = -u + 2*u - 78. Let h = u - 60. Suppose -5*f - 20 = 3*m, 3*f - h + 2 = 5*m. Are -1/5 and f non-equal?
True
Let g = -9382297/1400 + 164912/25. Let p = 744/7 + g. Is p smaller than 0?
False
Suppose 2*p + 9 - 55 = 0. Let x = -91/4 + p. Let w(m) = -m**2 - 2*m + 3. Let r be w(-3). Does r = x?
False
Let v(i) = -i + 9. Let b be v(8). Let z be (b/5)/((-2)/(-10)). Is 1 at least as big as z?
True
Let n = -3.1 + 3. Let a = 0.3 - n. Let z = a - 0.4. Are 3 and z equal?
False
Let x = 15 - 31. Let p = -15.6 - x. Is p smaller than 3/2?
True
Let l = 23 - 16. Suppose -21 = -5*r - 4*j, 5*r + l = j + 2*j. Let g = 2 - 1. Is r equal to g?
True
Let a be (20/(-40))/(2/4). Let f be -1 + (-7)/(-2)*2. Suppose 2*y + f = -y. Is a at most as big as y?
False
Let p be (8/(-20))/((-1)/(-5)). Let l be (-2)/(-6) - (-6)/9. Which is smaller: l or p?
p
Let c = -0.66 - -0.66. Suppose -2*x = 5*o + 2*x - 26, -5*x = -20. Are c and o non-equal?
True
Let r = -867 - -2578/3. Which is greater: r or -9?
r
Suppose 0*u - u = -17. Is u < 19?
True
Let g(q) = -q + 4. Let m be g(4). Let x be (0/(-1))/(6/3). Suppose -4*u + 4 + x = 0. Which is bigger: u or m?
u
Suppose -5*c + 14 - 71 = -4*y, -y - 5*c + 33 = 0. Are y and 16 nonequal?
True
Suppose -2*t - 150 = -7*t. Suppose t = -5*u - 5*f, 4*u - 6 + 40 = -2*f. Which is greater: u or -10?
-10
Let m = 1.03 + -1.2. Let j = 1.17 + m. Is -2/7 >= j?
False
Let j(g) = 21*g**2 + g**3 - 1 - 20*g**2 - 2*g + 3*g. Let h(w) = w**2 - 3*w + 2. Let f be h(2). Let c be j(f). Wh