Let h be i(6). Suppose 25 = h*r - 0. Suppose -r*u = -10 - 5. Solve 0 = a - u - 0 for a.
3
Let d(i) = -i**2 + 8. Let q(f) = -f + 8. Let j be q(8). Suppose p - 5*r + 15 = 0, 4*p - 2*p - r + 3 = j. Let c be d(p). Solve 0 = -c*w + 3*w for w.
0
Let v(z) = -2*z**3 - z - 1. Let q be v(-1). Solve -3*r + q*r = 4 for r.
-4
Let s(b) = 2*b + 2. Let z be s(6). Let j = -11 + z. Solve -4*q = -j*q for q.
0
Suppose -g = 2*g - 3. Let d be ((-1)/(g - 2))/1. Let s be (3 + -3)*d/2. Solve s = -x - 0 - 5 for x.
-5
Suppose -37 = 2*i + 13. Let t be (i/(-10))/((-2)/(-4)). Suppose 2*m + 2*f - f - 9 = 0, -2*f + 8 = 2*m. Solve 0 = m*w + t for w.
-1
Suppose 4*l = -2*o - 10, 2*o - 4*l - 36 = -14. Suppose -o*p + 2*u - 2 = 2, -23 = -4*p - 3*u. Solve 0 = h - p*h - 4 for h.
-4
Suppose -4*q + 5*h + 110 = 0, -2*h - 3*h + 90 = 4*q. Solve -5*a = -0*a + q for a.
-5
Suppose 0 = -3*o + 15 - 6. Solve o*n = -22 + 7 for n.
-5
Let t = 27 + -31. Let u(f) = -4*f**2 - 3*f - 2. Let b(p) = -7*p**2 - 6*p - 3. Let j(a) = -3*b(a) + 5*u(a). Let d be j(t). Solve -5*h = 2 + d for h.
-1
Suppose -4*t + 9 + 15 = 0. Let l be 2/t + (-5)/(-3). Solve -3*c = -l*c + 5 for c.
-5
Suppose -3*o + 33 = 5*b + 4, 18 = 3*b + 2*o. Solve -3*x - b - 5 = 0 for x.
-3
Let r(d) = d + 10. Let k be r(-8). Solve 0 = -k*x + 3*x - 5 for x.
5
Let u(l) = -l**2 - 12*l - 18. Let c be u(-10). Solve -3*p + 15 = c*p for p.
3
Suppose 4*y + 3 = -3*r + 14, 4*y - 2*r = 26. Solve -y*g = 30 - 5 for g.
-5
Let s be -2 + (1 - 14/2). Let z(w) = -w**3 - 8*w**2 - w - 5. Let u be z(s). Solve -u*a + 4*a + 3 = 0 for a.
-3
Suppose 4*g = 56 + 4. Solve -2*z = -5*z - g for z.
-5
Let c(i) = -i + 4. Let g be c(2). Solve 6*v - g*v = -20 for v.
-5
Let j(y) = -y**2 - 6*y - 6. Let i be j(-4). Solve -5 = i*l + 3*l for l.
-1
Let g be -5*(4 - 15/3). Solve 0 = 5*y - 15 - g for y.
4
Suppose -c + 4*c - 9 = -t, 4*c - 8 = 0. Suppose t - 9 = -2*m. Suppose m*d - 7 = 2. Solve 2*g + d = -3 for g.
-3
Let c(v) = 7*v + 3*v - 3*v. Let j be c(1). Let m(p) = p**2 + 4*p - 3. Let d be m(-5). Solve j = -d*z - 1 for z.
-4
Let x = -41 + 45. Solve 19 + 1 = x*l for l.
5
Let b be 2/(-2)*-11 - 0. Solve 9 = -4*d - b for d.
-5
Suppose s - 15 = -5*n + 18, -33 = -3*n - 5*s. Let b = -3 + n. Let y = -1 + b. Solve 2*a + y = -0 for a.
-1
Suppose -6*o = -3*o. Suppose o = 2*i + i + 15. Let q(w) = w + 12. Let c be q(i). Solve 2*f - c*f = -25 for f.
5
Suppose 5*p - 4*p - 11 = -4*u, -36 = -4*u + 4*p. Suppose -3*k + 100 = 2*k. Solve k = -4*l + u for l.
-4
Let d be (1 + (2 - 2))/1*0. Solve d = -g - 2 for g.
-2
Suppose -4 = 3*r - 4*q, -r + 5*q - 2 = 3. Solve 4*p + p + 15 = r for p.
-3
Let u = 0 + 3. Let d(c) be the first derivative of -c**3/3 + 5*c**2/2 - 4*c - 3. Let m be d(u). Solve -m*w = w - 9 for w.
3
Suppose -3*i = -3*b - 3 - 6, 2*b = -2*i - 6. Suppose -4*g = -x + 2*x - 10, x - g = 0. Solve x*l - l + 3 = i for l.
-3
Suppose 25 = -4*v + a - 2*a, 0 = -2*v - 2*a - 20. Suppose -2*i + 7*i + 20 = 0. Let t = i - v. Solve -h + t + 1 = 0 for h.
2
Let v(t) = -t**3 + 3*t**2 + 6*t - 4. Let l be v(4). Suppose 6 = 2*g - h, 0*g - 4 = 3*g + 5*h. Solve -g*j = -0*j + l for j.
-2
Let s(y) = y**2 + 2*y + 3. Let g(r) = r**2 - 3*r. Let n be g(2). Let z be s(n). Solve -3*i = 9 - z for i.
-2
Suppose -d = 4*a - 7 - 14, 0 = -3*a + 2*d + 2. Suppose -s - 51 = -a*s. Solve -4*m + 5 = s for m.
-3
Let b = -1 + 3. Let z = 7 + -4. Let a(k) = k**3 - 2*k**2 - 2*k. Let o be a(z). Solve 25 = -o*q - b*q for q.
-5
Let u(a) = 3*a**2 - 4*a. Let h be 29/(-3) - 4/(-6). Let n be 3/h + 10/3. Let v be u(n). Solve 0 = -0*x + 5*x - v for x.
3
Suppose 6 = -2*y + 20. Solve -y*u + 2*u = 0 for u.
0
Suppose 6*r + 4 = 8*r. Suppose 4*t - 14 = -r*h, -3*t - 5*h + 10 = 2*t. Solve 0 = -t*x + 6 - 1 for x.
1
Let z = -36 - -15. Suppose -116 = -2*y - 2*y. Let g = z + y. Solve -a = a - g for a.
4
Let c = 0 - -4. Suppose 4*r - c = 4. Solve r*u + 5 = u for u.
-5
Let s = 17 + -7. Let d = s + -6. Solve 0 = d*m - 2*m + 4 for m.
-2
Suppose l - 2*c = 2, -3*c = l + 2*c - 9. Suppose -2*a - 24 = -5*u + 2*a, 0 = -l*u - 4*a + 12. Solve -u*j = 6 + 6 for j.
-3
Let s be (-6)/2 + (-3 - -6). Solve s = -8*j + 4*j for j.
0
Let x(g) = g**2 - 6*g + 2. Let f be x(5). Let j be (5 - 2) + 1 + f. Solve j + 3 = -4*y for y.
-1
Suppose k = l + 6*k, 0 = -2*l - 4*k. Suppose -4*q - 3*q = l. Solve -2*f + q*f = 0 for f.
0
Suppose -5 = b - 8. Solve 18 = -b*z + 6 for z.
-4
Let j = -8 + 13. Suppose -a + 0*a + 3 = 0. Suppose -a*s + m - 11 = -6*s, 0 = s - j*m - 9. Solve -f - f = s for f.
-2
Suppose -3*n - 2*a + 7 = -0*a, -a = 4. Suppose 4*c = n*c. Solve 2 = v - c*v for v.
2
Let q(h) be the second derivative of h**4/6 - h**3/2 + h**2 - h. Let l be q(2). Suppose -16 = -l*y + 2*y + 2*n, 0 = 5*y - n - 28. Solve y*v = 29 - 4 for v.
5
Suppose 10*i - 5*i - 14 = y, -4*i - 2*y = -14. Solve 8 = i*o + o for o.
2
Suppose -2*k - 2*g + 12 = -0, 5*k = 2*g + 9. Suppose 0 = 2*h + k*h. Solve h = -4*v + 6 + 6 for v.
3
Suppose -2*x = -5*s - 4*x - 39, -2*s - 3 = 5*x. Let c = -5 - s. Solve c*q = 5*q + 2 for q.
-2
Suppose 0 = w - f - 8, -5*f = 3*w - 9 + 1. Let g be (7 - 4)*4/w. Solve g*n = -0*n - 10 for n.
-5
Let g(f) = f**2. Let n be g(2). Suppose n*r = r. Solve -2*m + 10 = -r*m for m.
5
Let q(j) = -j - 7. Let u be -1 + 2 - 3*-2. Suppose 0*z + u = -z. Let n be q(z). Solve n*r - 6 = 2*r for r.
-3
Suppose 0 = -4*u - 20 + 96. Suppose -2*z = 11 + u. Let v be (-36)/z - 2/5. Solve v*i - i = 4 for i.
4
Let q be 32/6*54/12. Let r be 42/((-9)/q*-4). Solve 5*c - 3 = -r for c.
-5
Let m(o) = o + 4. Let x be m(12). Suppose 5*f - 41 = -x. Let k = f - 2. Solve -k = 2*r + 3 for r.
-3
Let f = -44 - -44. Solve f*b + b + 5 = 0 for b.
-5
Let b(o) = -o**2 + 8*o - 4. Suppose t = 13 + 14. Let r be (-5)/(-20) - t/(-4). Let z be b(r). Solve -6 = z*l - 5*l for l.
3
Let v be 2/(-1 + 13/11). Suppose -3*c = -5*j + 54, 4*j - 38 = -3*c - v. Solve -j - 1 = 5*r for r.
-2
Let a(m) = -7*m - 32. Let k be a(-5). Solve 2*n = -n - k for n.
-1
Suppose -5*y + 24 = -y - 4*f, 0 = 5*y + f. Let w be (-17 - -13) + 4*y. Solve w = -2*u - 2*u + 16 for u.
4
Let f(o) = 5*o - 29. Let z be f(7). Solve 0 = -2*v + 4*v - z for v.
3
Let u be 1/(0 - 3/(-12)). Let f(s) = -s - 9. Let t be f(-9). Let j be (t - -5)*6/10. Solve -u*d + 5 = -j for d.
2
Suppose 0 = 3*q - 20 + 11. Solve -4*j + q*j + 3 = 0 for j.
3
Let l = -7 + 12. Let i be l*1/((-10)/(-12)). Let z = i - 2. Solve 2 = z*b - 6*b for b.
-1
Suppose 6*v = 3*v + 24. Solve -3*m = -v + 2 for m.
2
Let f be (-14)/(-10) - 2/5. Let q = f + 3. Suppose 3*r - 2*y - 44 = r, -62 = -3*r + 5*y. Solve 5*n + q = r for n.
4
Let c be (6/18)/(1/6). Suppose -c*q + 4*q = 0. Suppose q = -5*v + v + 12. Solve 2 = v*o - 2*o for o.
2
Let z be 1539/45 - 1/5. Let u = 56 - z. Solve -5*g + u = -3 for g.
5
Let r(y) = 12*y - 4. Let w(q) be the second derivative of 11*q**3/6 - 5*q**2/2 - 2*q. Let l(f) = 5*r(f) - 4*w(f). Let a be l(1). Solve 4*n = -a - 4 for n.
-5
Let f be (-1)/(3/(-6))*10. Solve -6*b - f = -b for b.
-4
Let t be 7 + (-1)/(0 - 1). Let m(c) = c**2 - 2*c. Let u be m(2). Suppose u*i - 4*i = -8. Solve 0 = 2*b + i*b - t for b.
2
Suppose 3*u - 3 = -3*d, 3*u + 2*d - 8 = -0*d. Let s = u + -1. Suppose 0 = s*o - 2 - 18. Solve -o*p - 3 = -23 for p.
5
Let t be 6/4 + 6/12. Let u be (t - 1) + -3 + 4. Solve u*k - 5*k = -12 for k.
4
Let d(u) = -u**3 + u. Suppose 6 = 2*l - 0*j - 2*j, 4*l + 2*j = 0. Let i be d(l). Suppose f - 7 = -i*f. Solve f*y - 4*y = 0 for y.
0
Let a be (12/(-18))/(2/(-12)). Suppose a*n = 76 + 4. Solve 0*t - n = 4*t for t.
-5
Suppose -3*k + 10 = 2*k. Suppose k + 2 = -v. Let r = 4 + v. Solve -j - j = r for j.
0
Let l = -19 - -29. Suppose 5*c - l - 5 = 0. Solve -1 - 2 = c*z for z.
-1
Suppose n - 7*n + 60 = 0. Solve -3*p + n = -8*p for p.
-2
Suppose -13 - 20 = 3*m. Let b = m - -13. Solve -b*t - 3 = t for t.
-1
Let o = -6 - -9. Suppose -2*h = o*h. Suppose -9*i = -4*i - 15. Solve 0 = -h*v - i*v - 15 for v.
-5
Let u = -1 - -1. Let a(v) = -v**2 - 3*v + 3. Let f be a(0). Solve u*k - 6 = f*k for k.
-2
Suppose -2*a = a + 5*s + 14, 3*a + 4*s + 10 = 0. Solve -5 - 3 = -a*v for v.
4
Let r be (2 + 0)/((-10)/(-25)). Let w be 14/r - 4/(-20). Solve z - w = -2 for z.
1
Let h be (4 + -4)/3 + 15. Solve -5*i = -h - 5 for i.
4
Let d be 14/4 - 1/(-2). Let t = 7 - d. Suppose -t*f = -2*x - 3, 18 = -2*x + 3*x + 5*f. Solve -8 - 7 = x*s for s.
-5
Let i = -14 + 17