 -5*b = -s*b - 3. Which is bigger: b or 2/9?
b
Let h = -187/1081 + 3/23. Does h = -1?
False
Suppose z + 2 = 0, -o + 0*z + 4*z = 11. Let s be 8/1 - (-76)/o. Is s less than or equal to 3?
False
Let u = 103 + -831/8. Which is greater: -1 or u?
u
Let r be 1*0/(2/(2/1)). Suppose 4*p = -0*p. Is r at most as big as p?
True
Let o(t) = t**3 + 2*t**2 - 2*t. Let u be o(-2). Let m = 1 - u. Is m != -2?
True
Let g be 9/(-30)*(-10)/(-24). Do 0 and g have the same value?
False
Let t be -2 - 5305*737/282. Let l = -55467/4 - t. Let w = l - -2/141. Which is smaller: w or 4?
w
Let j(a) = -2*a - 5. Let b be j(14). Which is greater: -32 or b?
-32
Let s = -9834/56839 - -20/113. Which is smaller: 0 or s?
0
Suppose 6*p + 84 = 3*p. Let g be 4/3*7/p. Is g less than or equal to 0.4?
True
Let q = 16312/1665 + 1/333. Is q >= 10?
False
Suppose -5*i = 3*v - 132, -5*v + 92 = 5*i - 2*i. Let a = 82/3 - i. Which is smaller: 2 or a?
2
Let n = -0.13 - -0.11. Let h = n + -0.08. Do h and -1/5 have different values?
True
Suppose 4 = g + g. Suppose 8 = 4*q + 28. Let f(k) = -k**3 - 5*k**2 + k + 7. Let m be f(q). Is g greater than or equal to m?
True
Let s be (-152)/(-136) + (-2)/17. Which is smaller: s or 7/3?
s
Suppose 0*h + 3 = h. Which is greater: h or 16/7?
h
Let u(r) = -r**3 + 5*r**2 - 3*r + 3. Let a = -4 - -6. Let c be u(a). Are c and 9 unequal?
False
Let c(l) = -l - 13. Let g be c(-12). Suppose 3*s - 2*h = -11, -1 + 2 = s + 4*h. Let z = s + 2. Is g >= z?
True
Suppose s = -0*s. Suppose 30 = -n - 4*n + 4*r, 2*n + 12 = -4*r. Let a be 1 + -2 - n/2. Which is bigger: s or a?
a
Let j = -5 + 5.5. Which is bigger: j or -2?
j
Suppose -6*k = -5*k + 4. Is k > -4?
False
Let l = 23 - 16. Which is smaller: 9 or l?
l
Suppose 0 = 3*z + r + 44 + 9, -z = -3*r + 11. Which is greater: -16 or z?
-16
Suppose 0 = -4*h - 20, -3*h + 1 = -5*j - 19. Is -7 equal to j?
True
Let g = 8 - 7.97. Which is greater: 3 or g?
3
Let d = 0.39 + -1.39. Which is smaller: -0.4 or d?
d
Let y be (-1)/(-33)*(-1 - -7). Let h = -0.7 + 2.7. Which is smaller: y or h?
y
Let q = -42 + 66. Is 24 less than q?
False
Suppose -3*q - 5 + 11 = 0. Let b = 1 - q. Is -1 at most as big as b?
True
Let p = 3 - 2. Let s = 15186 - 835179/55. Let q = s - 8/11. Which is greater: q or p?
p
Let v = 19 + -20. Let c be 3*(1*-3 - -2). Is v smaller than c?
False
Let h be 12/20 - 6/10. Suppose s + 3 - 18 = h. Are 15 and s nonequal?
False
Let b(k) = -8*k**3 + 17*k**2 + 11*k + 12. Let z(j) = -3*j**3 + 6*j**2 + 4*j + 4. Let u(n) = -4*b(n) + 11*z(n). Let c be u(-3). Let h = -3 + c. Is 2 >= h?
True
Let b = 6 + -4. Suppose 3*k + b*k = 5. Let h = 1 - k. Is h less than -2/5?
False
Let p(b) = -b**2 - 5*b - 3. Let k = -12 - -22. Suppose -5*c - k = 15. Let y be p(c). Do -4 and y have the same value?
False
Let l(p) = 2*p - 6. Let t be l(5). Let v = 1 - t. Is -11/5 < v?
False
Let r be -2 + 3/1 + -2. Let k be ((-4)/(-55))/((-8)/20). Which is greater: r or k?
k
Let r = 416/9 - 35/9. Let z = 8 + -50. Let o = z + r. Which is greater: o or 1/2?
1/2
Suppose -3*j = -15, 0 = -2*c - 0*j - 3*j + 17. Let m = -1 - c. Which is greater: -3/5 or m?
-3/5
Suppose -5*f + 5*w = -3 - 27, -14 = -2*f + 3*w. Suppose -f*o = -o - 3. Let m = o + -1. Which is bigger: 3 or m?
3
Let f(x) = x**2 - 2. Let o be f(1). Let v be ((-6)/4)/(42/8). Which is smaller: o or v?
o
Suppose 2*o + 19 = 5*q - 2*q, 5*o - 5*q + 45 = 0. Let h = o - -8. Is h greater than -1/5?
True
Let k = 0.03 - 0.01. Let d = -0.08 - k. Let r = d - -0.4. Is r at least -0.1?
True
Let j = 10 - 10. Let l = 6 - 0. Suppose j = 4*q + 6 + l. Is q >= -3?
True
Let x = 3 - 4. Let t be 1/x*1/4. Let w = -8 - -7. Is w >= t?
False
Let v be 2/(-6) + (-14)/(-6). Which is greater: 1 or v?
v
Let t = 4 - 1. Let p be 0 - (7 - t - 2). Which is smaller: 0 or p?
p
Let d be 5/(-3)*(-1 + -2). Suppose -2*q + g - 2*g = -28, -3*g = -5*q + 81. Suppose 0 = 4*h + 3 - q. Do h and d have different values?
True
Suppose 0 = 3*s + 193 - 61. Let o = s + 85/2. Is -3 >= o?
False
Let o(y) be the first derivative of y**3/3 + y**2/2 - 1. Let k be o(-2). Suppose 3*m = 6*m - i - 5, 0 = -k*m + 2*i + 10. Is 1/7 less than m?
False
Suppose 0 = -z + 1, 2*i + 5 = 3*z - 0. Which is bigger: 2/17 or i?
2/17
Suppose -5*b - 5*c = -8*c + 14, -3*b + 3*c - 12 = 0. Let a = 104879/9 + -11423. Let l = 230 - a. Which is bigger: l or b?
l
Let s = 88 - 198. Let b = -548/5 - s. Which is smaller: b or -2?
-2
Suppose 2*f + 5 = 7*f. Which is smaller: -3 or f?
-3
Let x = 8 + -8. Let h = x - -1. Which is smaller: h or 3?
h
Suppose 0 = 2*u - 0*u + 14. Let c(a) be the first derivative of a**4/4 + 7*a**3/3 + a**2/2 + 6*a - 1. Let h be c(u). Is h > -1?
False
Let t = -386/5 - -14272/185. Which is bigger: -1 or t?
t
Let m = -6/13 + 5/39. Let u(g) = -g**3 + 4*g**2 + 3. Let z be u(4). Is m > z?
False
Let n = 16 + -12. Are 5 and n non-equal?
True
Let b be 2*(1 - (-1)/1). Suppose b*c - 5*a - 22 = 0, 5*c + 5*a + 7 = 4*c. Is 2 greater than c?
False
Let l(o) = o + 11. Let g be l(-11). Suppose 4*y + z = 16 + 10, g = -y - 5*z + 16. Is 6 greater than or equal to y?
True
Let o = -15 - -9. Is -5 <= o?
False
Let i be -3 + (-7)/(-1) + -1. Is i at least as big as 2?
True
Let l = -113/4 - -28. Let p(y) = y**2 + y + 1. Let m(z) = 4*z**2 + 4*z + 5. Let c(t) = 2*m(t) - 9*p(t). Let k be c(1). Do l and k have different values?
True
Let q(w) = -2*w - 19. Let k be q(-9). Which is smaller: 0 or k?
k
Let f = 1/18 + 11/18. Let w(p) = -p**2 + p + 1. Suppose 0 = -2*v + 7*v. Let j be w(v). Is f equal to j?
False
Let w(a) = -a + 5. Let s be (-5)/(-4)*2*2. Suppose -4*o + 15 = -2*m + m, -2*o + s = -3*m. Let x be w(o). Is x less than 2?
True
Let q = 8 + -4. Suppose 0 = -q*j + 10 + 6. Suppose 5*b = -j - 1. Which is bigger: b or 1/3?
1/3
Let u be -4 - (135/(-6))/5. Is u equal to 3?
False
Let b be 2*((-1614)/(-270) + -6). Are 0 and b unequal?
True
Let p be 6 + -10 - 6/(-2). Which is bigger: p or 0?
0
Suppose -4*f + 3*f - 32 = 4*v, -5*f - 2*v - 124 = 0. Is f less than -25?
False
Let n(a) be the first derivative of a**3/3 - 3*a**2/2 - 2*a + 2. Let z be n(3). Is -3 greater than z?
False
Let w = -31 + 46. Let f be (-10)/(-4)*w/50. Which is bigger: 0 or f?
f
Let q = -52/3 - -50/3. Let w = 1.7 - -0.3. Let y = w - 2.4. Is y bigger than q?
True
Suppose 1 = 2*w - 1. Which is greater: w or -2/15?
w
Let a = 2 + 5. Suppose 5*g - 5*d = 30, 5*g + 2*d - 9 - a = 0. Suppose -2*o + 2 + g = 0. Does 4 = o?
False
Suppose 0 = 3*z - z - 10. Let a(v) = v + 7. Let c be a(-4). Are z and c equal?
False
Let g(r) be the first derivative of 3*r**2/2 - 3*r + 1. Let t be g(2). Suppose -2*z - t = z. Which is smaller: -2 or z?
-2
Let i be ((-5)/10)/((-1)/14). Which is smaller: 4 or i?
4
Suppose -3*k = 4552496 - 1699592. Let o = k + 501160657/527. Let w = 27/31 - o. Which is greater: 0 or w?
0
Let s = -5 + 9. Let y be s*3*2/(-8). Let x be 2 + (-1 - y)/(-2). Which is smaller: -1/4 or x?
-1/4
Let b(j) be the third derivative of j**6/120 - j**5/15 + j**3/6 - 2*j**2. Let z be b(4). Is -2 < z?
True
Let f(y) = -y**2 - 8*y - 7. Let t be f(-5). Suppose 3*s - 5*s + 18 = 0. Which is bigger: s or t?
s
Suppose j - 2*j = 3*h + 14, -h = -4*j - 17. Which is greater: -5 or h?
h
Let f(v) = v**2 - v - 77. Let k be f(0). Which is greater: k or -78?
k
Suppose 0 = 2*g - 6*g + 12. Suppose 2 + g = -5*v. Which is bigger: v or 1/5?
1/5
Let s = 5 - 4.7. Let a = 0.1 + s. Which is smaller: a or 2/7?
2/7
Let u(z) = -9*z + 3. Let k be u(-3). Let w be k/7 + 10/(-35). Suppose -6*m + m + 4 = w*n, 2*n - 2 = 4*m. Is 0 <= m?
True
Let y = 21 - 15. Let b be y/(-3) - (-4)/3. Let k(m) = -m + 8. Let t be k(10). Is t at most as big as b?
True
Let a = -421 + 8839/21. Let v be (1/2)/((-2)/8). Let k = -1 - v. Is k at least a?
True
Let b = -119 + 3453/29. Is 1 greater than or equal to b?
True
Let a be (-224)/6*(-2)/(-444). Let r = a - -2/9. Let x = r + 27/185. Is 1 less than or equal to x?
False
Let w be 80/(-36) + 4/18. Let l be 12/15*w/(-12). Is 0 >= l?
False
Suppose -5*a + 2 = -3*a. Let j be 3/(-4) - (-245)/380. Are a and j non-equal?
True
Suppose 4*x - 2*x = 12. Suppose -2*m = -4*h - x, h + 3*m = -2*h. Is 1/4 greater than h?
True
Let p = -0.6 - 0.4. Let m = 1.1 + -1. Which is smaller: p or m?
p
Let v(k) = -2*k - 6. Let l(x) = -2*x - 7. Let g(r) = -5*l(r) + 6*v(r). Suppose -3*m + 7*m = c + 5, 2*m - 2 = 0. Let t be