et b be w(0). Suppose 4*l - 3 = -u, -3*u + 5*u + 7 = 5*l. Let k be 1 - (0 + u + 2). Solve -i + b*i + 5 = k for i.
5
Suppose c + 4*q - 16 = -3*c, 0 = -4*q + 8. Suppose -2 = -x + 2*g, -c*x - 2 = -2*g - 4. Solve 10 = -x*a + 2*a for a.
5
Let s = 68 - 68. Solve 0 = -j - 4 - s for j.
-4
Suppose 4*c - 5*z - 44 = 0, -3*c + 2 = z + 3*z. Solve -c*p + p = -5 for p.
1
Let d = -1 - -5. Solve -d*v + 10 = -2*v for v.
5
Let d = 12 + -2. Suppose 0 = 5*n + 6 + 24. Let o = d + n. Solve -b = -0*b + o for b.
-4
Let c(w) = -2*w + 8. Let d be c(3). Suppose b + d = 2*b. Solve t = b*t for t.
0
Suppose -8*a + 3*a = 0. Suppose 3*l + 44 = 7*l + 5*j, -5*j = -20. Solve a = -l*r + 2*r - 4 for r.
-1
Suppose 5*w + 23 = -3*q + 9, 6 = -3*q - 3*w. Solve q*x = -0*x - 10 for x.
-5
Let i(w) = w - 8. Let r be i(12). Let z be r + (-1)/(1 + -2). Solve 0 = -z*t + 2*t - 12 for t.
-4
Suppose -3*y + 9 = -3*r, 5*y - 23 = r - 0*r. Suppose -r*z + 10 = -10. Solve -6 = -4*t + z for t.
4
Suppose -4*x = -2*x - 4. Let r be (-6)/((45/6)/(-5)). Let f be (-7)/28 + 61/r. Solve -x*p + f = p for p.
5
Let n(x) = x**3 - 5*x**2 - 6*x + 2. Let o be n(6). Suppose 0 = o*v - 7*v. Let q = -6 + 26. Solve 4*i + v*i = q for i.
5
Let z = 7 + -4. Solve -2*f - 5 = z*f for f.
-1
Let n = -10 + 7. Let m be ((-1)/(-2))/(n/(-30)). Solve -m*f - 12 = -37 for f.
5
Let b be 10/3*(-9)/(-5). Solve 11*p = b*p for p.
0
Let c(q) = 3*q**2 - 2*q + 1. Let g(f) be the first derivative of f**2/2 - 5*f + 3. Let t be g(6). Let x be c(t). Solve -x*m + 4 = -m for m.
4
Let c(m) = m**2 - m - 4. Let n(p) = p**3 + 9*p**2 - p - 6. Let l be n(-9). Let g be c(l). Solve 3*d + 5 = g*d for d.
-5
Let g be -32 + -2 + -3 + 3. Let s = -9 - g. Solve s = 4*d + d for d.
5
Suppose -2*n - 16 = -4*l, -n + 5*l - l - 16 = 0. Suppose n = -3*j - 12, -4*j - 13 = -4*y + 5*y. Suppose -5*m + 6 = -y*m. Solve 0*h + h = -m for h.
-3
Suppose 0 = 2*l + 3*l + 5*k, 2*k = -4*l. Solve -c + 2*c - 3 = l for c.
3
Let b(t) = t**3 + 7*t**2 - 9*t + 2. Let l be 16/(-36)*-6*-3. Let c be b(l). Solve -q + c = q for q.
5
Let i(r) = -2*r + 12. Let m be i(6). Suppose m = 5*p - 7 - 3. Solve p*q = -q for q.
0
Let k(h) = h + 9. Let q be k(-7). Solve 2*d = 3*d + q for d.
-2
Let k(u) = 4*u**3 + 1. Let b be k(1). Suppose 7*y = 5*y. Suppose y = i - b. Solve 2*w - i*w = 0 for w.
0
Let a be (-4 - -14)*3/2. Let o be -15*(-2 + a/9). Suppose 3*h = -0*h. Solve -o*t = -h*t + 15 for t.
-3
Let m(h) = -h + h - h - 7 + 0*h. Let d be m(-7). Solve d = -3*l + 6*l for l.
0
Suppose 11 = 3*c + 3*h + h, 2*h + 17 = 3*c. Solve 3*o = c*o + 2 for o.
-1
Let z(i) = i - 7. Suppose 0 = -k + 4*k - 27. Let f be z(k). Solve -12 = -f*y - y for y.
4
Let r = 6 + -16. Let i = r - -15. Solve 0*o - 15 = i*o for o.
-3
Let j = -149 - -180. Solve 5*x - j = -26 for x.
1
Let b(n) be the first derivative of -n**3/3 + 5*n**2/2 + 2. Let o = -1 - -5. Let g be b(o). Solve r + 0 = g for r.
4
Suppose 3*p - p = -3*k + 14, 0 = -3*p + 3*k - 9. Suppose 4*l + 4 = 5*w - 13, 3*l - 16 = -2*w. Let t = 11 - 10. Solve l*j + p = -t for j.
-1
Let r = 3 - 2. Let b be (0 - -1)*-1*r. Let x(c) = c**3 - c. Let m be x(b). Solve -15 + m = -5*v for v.
3
Suppose 45 = 11*w - 8*w. Suppose 2*m + 3*d = 25, m - 6*d + 2*d = -w. Solve 11 + 4 = -m*c for c.
-3
Suppose 0 = -5*k - 5, -4*k = z - 0 + 2. Solve 0*g - 4 = z*g for g.
-2
Suppose -8*j + j = -140. Solve -k - 4*k + j = 0 for k.
4
Let q(y) = -y + 10. Let d be q(6). Suppose 10 = f + f + d*z, 10 = 2*f - z. Solve 5*u - 5 = f for u.
2
Let o(r) = r + 3 - r + 2*r**2 - 4*r + 2*r**2. Let k be o(2). Suppose k = 2*j - 5. Solve -3*l - j = -l for l.
-4
Let p(h) = h**2 + h - 1. Let k be p(-2). Let y(a) = 5*a**2. Let x be y(k). Suppose -x*t = n - 5, 3*t + 4*n + 23 = 9. Solve b = -0*b - t for b.
-2
Let r be (-1)/2*(-3 - -3). Let l = 8 - 6. Suppose r = -l*a - 4*x - 16, 5*x - 4 = -3*a - 24. Solve a*v - 5*v + 25 = 0 for v.
5
Suppose 0 = -4*t - 7 + 15. Suppose 0*p = -p + 3, 4*p - 24 = -4*r. Solve z + t*z = r for z.
1
Let x = 1 + 3. Suppose -4 = 4*h + x. Let v be 1 + 0 + h - -3. Solve -v*t + 3 = t for t.
1
Suppose 55 = 7*u - 1. Solve u = 4*k - 0 for k.
2
Let w(u) be the first derivative of u**4/4 + 2*u**3 + 2*u**2 - u + 1. Let h be w(-5). Solve j = h*j - 12 for j.
4
Suppose -2*r - 4 = -4*r. Suppose -r*f = 2*f - 12. Solve -f*v = 1 + 5 for v.
-2
Let s be (4/5)/(1/5). Suppose -r = 5*l - 7, 2*l + 4*r = 7*r + 13. Solve 0 = s*p - l*p + 6 for p.
-3
Let x(m) = m**3 - 5*m**2 + 7*m - 6. Let c be x(4). Let b(v) = v**3 + 10*v**2 + 10. Let r be b(-10). Solve -i + r = -c*i for i.
-2
Let o be ((-112)/(-12))/(2/6). Suppose -h - 17 = -3*k, -4*k + 8*h + o = 4*h. Let b be 0/(4/2)*1. Solve b = k*c + 12 + 13 for c.
-5
Suppose p - 9 + 0 = 0. Let b(n) = n**3 - 10*n**2 + 10*n - 5. Let a be b(p). Suppose -2*o - 2*o + 2*g - 8 = 0, 20 = -2*o + 5*g. Solve o = -3*m - 2 - a for m.
-2
Suppose -t - 80 = -3*t. Suppose -3*p = 4 - 13. Suppose 5*v + t = 5*y, 0*y - 4*y + 11 = p*v. Solve 5*h = y + 15 for h.
4
Let p = 9 - 9. Solve p*f - f - 3 = 0 for f.
-3
Let f(s) = s**3 + 5*s**2 + 1. Let d be f(-5). Let t be (2 - d)*9 - 1. Let k = 21 - 16. Solve k*a + 2 = -t for a.
-2
Let s(l) = -l**2 - 9*l + 6. Let d be s(-9). Solve d*v = 3*v for v.
0
Let o(s) = -7*s + 14. Let q be o(1). Solve 3*l - q = 8 for l.
5
Suppose -2*o = -2 - 14. Solve 5*a - a = -o for a.
-2
Let f = 4 + -4. Suppose f*x + 12 = 3*x. Suppose -3*n = -x - 14. Solve -d = d + n for d.
-3
Let w(q) = 3 - 1 + 0 + 3*q - 4*q. Let v be w(2). Solve v*c = 5*c + 15 for c.
-3
Let b(n) = 2*n - 2. Let x be b(1). Solve -2*i + x*i - 10 = 0 for i.
-5
Let l(b) = -b**2 + b - 3. Let o be l(4). Let x be (-1)/(2 + 33/o). Solve 0 = x*t - 22 - 3 for t.
5
Suppose -2*b + 0*t - 17 = -t, 2*t = b + 16. Let a(l) = -l - 1. Let x be a(b). Solve 0 = 3*g - 20 + x for g.
5
Suppose -5*d - 26 = -u, 0*u = 2*d - 3*u. Let z = d + 0. Let r be ((-6)/(-5))/(z/(-40)). Solve 2*h - 6*h = -r for h.
2
Suppose 60 = 5*m + r + 17, -m - 4*r + 1 = 0. Suppose m = 3*i + 3. Solve -i*w - 4 = 6 for w.
-5
Suppose -3*h = -2*h - 10. Solve -1 = 3*u - h for u.
3
Let r(y) = y**3 + 7*y**2 + 5*y - 6. Let f be r(-6). Let a = 5 + -8. Let x = a - -5. Solve -b + x*b + 1 = f for b.
-1
Suppose -5*s = -0*s + 10. Let j be (-2)/(s + 1)*1. Solve b - j = 2 for b.
4
Let w = 0 - -3. Let n be w*(-2)/(-3) + 0. Solve 0 = -2*i - n*i - 8 for i.
-2
Suppose -15 = -3*t - 0*t - 3*p, -3*t = -p - 3. Solve 2*d = -t*d for d.
0
Let d = -141 + 141. Let z(v) = v - 5. Let i = -7 - -12. Let b be z(i). Solve d*u + u + 2 = b for u.
-2
Let q = 9 + -5. Solve -5*g = -q*g - 3 for g.
3
Suppose 3*x - 67 = 2*u + 19, -5*u + 130 = 4*x. Suppose -3*k + x = 2*k. Solve d = k*d + 10 for d.
-2
Suppose -2*x + 24 = 2*r, 0*x = -x + 2*r. Solve i = 5*i + x for i.
-2
Let k = -3 + -7. Let s be k/(-4)*4/2. Suppose 0 = 4*q - 3*q - 4, -3*f - s*q + 29 = 0. Solve 0 = m + f*m + 20 for m.
-5
Let y(i) = 6*i**2 - 1. Let r be y(1). Solve 17 + 3 = -r*f for f.
-4
Suppose 0 = -i + 2*x, -4*i - 7 = 2*x - 37. Solve -2 + i = 4*w for w.
1
Suppose 3*o + 0*w = 3*w + 15, -5*w + 5 = 0. Let j be 36/6 - o/2. Solve -j*u + 2*u = 0 for u.
0
Let v be (-39)/(-9) + (-4)/(-6). Suppose 0 = 3*q - v - 4. Suppose 7*i + 2*p - 10 = q*i, 3*p - 11 = -4*i. Solve -6 + i = -2*n for n.
2
Let l be (-6)/(-21) - 194/(-7). Solve 8 - l = -5*o for o.
4
Let a(w) = 2*w**2 - w - 10. Let j be a(3). Solve 6*s = 5*s + j for s.
5
Suppose -5*q = -4*q - 1. Let v = 1 + q. Suppose v*c + 12 = 7*c - 2*j, -5*c - j + 24 = 0. Solve -1 = -c*m + 3 for m.
1
Let b(w) = w**3 + 7*w**2 + w + 7. Let o(c) = -2*c**3 + c**2 + 4*c - 3. Let l be o(2). Let d be b(l). Let y be (6 - 2 - 2) + d. Solve 4 = -y*v - 0 for v.
-2
Suppose 0 = 2*f - 7*f - 2*k + 30, -3*f = 2*k - 14. Solve 3*l + 1 + f = 0 for l.
-3
Let v = -136 + 140. Solve -2*u = -u + v for u.
-4
Let f be (-1)/(20/18 - 1). Let w be (24/f)/(2/(-3)). Solve 0 = b - w*b for b.
0
Let f(q) = -6*q**2 + 3*q + 3. Let l be f(-2). Let y be 4/(-18) - 438/l. Solve -4 - y = 4*n for n.
-5
Suppose 4*k - 9 = c + 8, 5*k + c - 10 = 0. Suppose 2*q + 4 = 2*n, 0 = 4*n - 6*n. Let z be (q + k)*0/2. Solve -5*u + z = 10 for u.
-2
Let t = 7 - 6. Suppose -10 + 0 = -2*o - 2*m, 3*o - 4*m - t = 0. Suppose o*k = 9 + 3. Solve -c = 3*c - k for c.
1
Suppose 0 = 2*a + 3*n + 2, 4*n + 15 = a + 5. Let g(l) = -l**a + 8*l + 2 + 0 + 0. Let b be g(8). Solve -3*v + b*v = 1 for v.
-1
Let j(f) = f**3