l.
3
Let a(c) be the first derivative of -c**3/3 - 4*c**2 - 4*c - 3. Let t be a(-5). Solve t = -4*h - 9 for h.
-5
Suppose 2*v + 5*n + 12 = 3, -4*v + 5*n + 27 = 0. Solve 0*o + 15 = -v*o for o.
-5
Suppose 6*c = 15*c - 36. Solve -a + c = -1 for a.
5
Let w be -1*0*2/(-6). Solve g + w*g = 2 for g.
2
Let a be 146/8 - 1/4. Let h be (-2)/(1 + 10/(-6)). Let g = 1 + 4. Solve h = g*s + a for s.
-3
Let c(r) = -r**2 + 13*r + 14. Let s be c(14). Solve -q = 2 - s for q.
-2
Let b = -24 - -26. Solve -b*z = 2 - 0 for z.
-1
Suppose 2*s - 45 = -5. Let f = -12 + s. Solve -c - c = f for c.
-4
Let a be (-1)/(-4) + (-28)/(-16). Solve 5 = -g + a for g.
-3
Suppose 1 = n - 3. Suppose 4*x + n*t = 0, -x - x + 2*t = -8. Solve -f - x = 2 for f.
-4
Suppose -j + 4*b = -7, 0*j + 4*j + 3*b - 28 = 0. Suppose -3*q - 2*g + j*g - 3 = 0, 0 = 5*g. Let o = -1 - q. Solve -2*i + 0 + 4 = o for i.
2
Let c(u) = -u**2 + 4*u - 1. Let l be c(3). Let h(f) = f + 2. Let i be h(l). Solve i*z - z = 12 for z.
4
Let a = 11 + -3. Let y = 11 - a. Let u(j) = j**2 - 5*j - 1. Let v be u(6). Solve y*g = -2*g - v for g.
-1
Suppose -k - 1 = -3. Suppose 5*a + 0*a - 3*s = -12, 20 = -a + 5*s. Suppose 4*o - 17 = -5*y, 3*y = 5*o - a + 25. Solve y*f = k*f + 3 for f.
1
Let c(h) = -h**3 - 6*h**2 + 8*h + 8. Let x be c(-7). Suppose -2*t = -t - x. Solve t + 11 = 4*z for z.
3
Suppose -31*w = -30*w. Solve s = -w*s for s.
0
Suppose 10 = j + 2. Suppose -4*l + 8 + j = 0. Solve -2*f + 0 + l = 0 for f.
2
Let x = -5 + 3. Let g = x - -6. Solve g*t - t = 0 for t.
0
Suppose 2*m - 16 = -0*m. Let r = 2 + -7. Let j = r + 5. Solve -4*a + j = -m for a.
2
Let h = -6 + 10. Let x(k) = 6*k**2 - 1. Let q be x(-1). Suppose q*z = 3*z + h. Solve 6*o = z*o for o.
0
Let d = -2 - -5. Let x be (-3)/d + 4 - 1. Suppose 4*q = -3*n + 29, -n + 5*n - 2 = x*q. Solve -n = 2*u + 3 for u.
-3
Let p(j) = 2*j - 2. Let x be p(3). Solve -x*h - 5 = h for h.
-1
Suppose -2*c - 28 = 2*s, -s + 0*c - 3*c = 16. Let r(n) = -n**3 - 13*n**2 + n + 13. Let a be r(s). Solve -3*o + 6 + a = 0 for o.
2
Let q(i) = i**2 + 9*i - 2*i**2 - 2 - 3. Let w be q(8). Let p be (-2)/w - (-34)/6. Solve 0*b - p = b for b.
-5
Let a(x) = -x**3 + 4*x**2 + 6*x - 3. Let l be a(5). Let d be 6/(0/l - -2). Solve 0 = -d*w - 2*w + 5 for w.
1
Suppose -6*i + 2*i = -16. Suppose -o + 4*m + 5 - 13 = 0, 2*m = -4*o + 22. Suppose 2*n + 4 = 4*j, 5*n - 1 = o*j + 1. Solve 3*a = -j - i for a.
-2
Suppose 0 = -5*p + 28 + 22. Solve -2*l - 3*l = -p for l.
2
Let f(q) = -2*q - 1. Let d(y) = 2*y + 2. Let p(w) = -4*d(w) - 5*f(w). Let i be p(2). Solve -3 + i = -r for r.
2
Let k = 75 - 69. Suppose 3*d = 4*j - 7, d = -3*j + 14 + 1. Solve d*a + k = a for a.
-3
Let c be 16/(-5)*-2 - 32/80. Solve 2*p - c = -10 for p.
-2
Suppose 2*k - 2 = -k + 2*f, 5 = -5*f. Suppose k = n + n - 4. Solve -5*o + n*o = 3 for o.
-1
Let p be -3*(-2)/6 - 0. Suppose 3*d - p - 23 = 0. Solve 6*v = 4*v - d for v.
-4
Let a(j) = 2*j**2 - 13*j + 12. Let c be a(6). Solve -2*r + c*r - 20 = 0 for r.
5
Suppose -4*i + 166 = 66. Suppose u - 3*l + 11 = 0, 4*u + u + l - i = 0. Solve 5 = -a - u*a for a.
-1
Let i(f) = -f**3 - 6*f**2 + 6*f - 3. Let b be i(-7). Suppose b*k - k - 12 = 0. Solve -10 = -k*j + 6 for j.
4
Suppose -2*q + 2 = 3*a, -4*a - 15 = -3*q + 5. Solve -2*f - q = -0*f for f.
-2
Suppose 4*r - 2*r = 0. Suppose r*a - 8 = -4*a. Let o be 2/5 + 144/15. Solve a*z + o = 4*z for z.
5
Let t(w) = -2*w**2 - 2*w + 2. Let u be t(2). Let h = -6 - u. Suppose -3*y = -h - 8. Solve -y = d + 3*d for d.
-1
Let u(w) = -w - 5. Let i be u(-7). Let q(g) = -2*g + 6. Let r be q(6). Let c = 3 - r. Solve -c = i*k - 3 for k.
-3
Let y = -65 + -23. Let q be ((-2)/(-4))/((-4)/y). Solve -4 = 5*d + q for d.
-3
Let f(u) = u**3 - 4*u**2 - 4*u - 5. Let v be f(5). Suppose 0 = 3*o - v*o + 6. Let i(z) = -z**3 + z + 1. Let a be i(o). Solve -2*k - 3 = -a for k.
2
Let b = 8 - 6. Suppose 1 = -5*x + 11, b*w - 4*x - 10 = 0. Solve 3*n - w = -0*n for n.
3
Suppose 0*n - 55 = -5*n. Suppose -4*p + n = h, 9*p - 4*h - 40 = 4*p. Solve p*l + 0*l - 4 = 0 for l.
1
Let h be 3/3 + 1 - -2. Solve 2*z + 4 = h*z for z.
2
Suppose -2*q + 4 + 6 = 0. Solve 2 + 3 = -q*u for u.
-1
Suppose 0 = -r + 5*r. Solve -t + 0 - 4 = r for t.
-4
Suppose -w = -5 - 6. Suppose -y + w = 4*l + l, 0 = 3*l - 2*y - 17. Solve 20 = -q - l*q for q.
-5
Let t = -50 + 52. Solve -6*s + t*s = 0 for s.
0
Suppose 4*g - r + 17 = 0, 2*r = g + 7 + 6. Let p = g - -6. Solve 1 = 4*b - p for b.
1
Let w be -1*(-1)/(-2 - (-18)/8). Solve -w*h = -5*h - 2 for h.
-2
Suppose 16 = 2*t + 3*s, -3 = 3*s - 15. Solve 4 = 3*q - t for q.
2
Let m = -34 - -50. Solve -a = -5*a - m for a.
-4
Suppose -5*n + 14 = -0*t - 3*t, -14 = -3*n - t. Suppose 0 = l - 5*c - 15, -n*l - c + 10 = 4*c. Solve 17 = -l*i + 42 for i.
5
Let v(y) = 3*y - 3. Let p be v(2). Suppose 2*u - 1 - 13 = 0. Solve -q - u = -p for q.
-4
Let s = -8 - -20. Let p = s + -6. Solve 0 = p*m - 4*m - 2 for m.
1
Suppose 4 = 4*r - 2*r. Suppose r = 5*c - 13. Solve c*s + 21 = 9 for s.
-4
Let z = 3 - 1. Suppose -2*t - t = y - 13, t = -3*y - 1. Solve -l = -z*l + t for l.
5
Let i be 7 + ((-3)/(-1) - 1). Let n be (-2)/(-6)*i/1. Solve -c - 4 = -n*c for c.
2
Suppose 3*a - 25 = -4. Let t be a - (4 - (1 + 1)). Let j = 5 + -2. Solve t*p - 12 = j for p.
3
Suppose -5*l + 0*l + 460 = 0. Suppose -2*o = -g - l, 3*g + 183 = g + 3*o. Let s be (-8)/(-6)*g/(-12). Solve 0*j - s = 2*j for j.
-5
Suppose -b - 65 = -4*n + 202, 270 = 4*n + 2*b. Suppose 4*k - 7 = -l, -2*l - 4*k = 3*l - n. Solve -4*f = 3 - l for f.
3
Let c = 0 - -6. Suppose 0 = -b + c. Let m be (-6)/(-4)*4/b. Solve 0 = -2*g - 5 + m for g.
-2
Suppose -2*n + n - 2 = 0. Let y = -1 - n. Solve 4 = 3*d + y for d.
1
Let h be (-6)/(-9) + 22/3. Let z be 1/(2*2/h). Suppose 3*v - z = 10. Solve 4*q = 12 + v for q.
4
Suppose -5*p = -20, -5*p = 4*m - 0*m - 20. Suppose -4*b + 20 = -m*b. Solve 0 = -4*t - t - b for t.
-1
Suppose 0 = 4*s - 33 + 13. Suppose 2*f + f = -s*b + 6, b + 4*f = -9. Suppose -j + 2*j + 8 = 3*c, b*j + 3*c - 24 = 0. Solve 8*n - j*n = -12 for n.
-3
Suppose 2*j = 3*r - 3, -5*j + 16 = -4*j + 2*r. Solve -j*y + 5*y = 0 for y.
0
Let r(j) be the first derivative of -j**3/3 + j**2/2 + 2*j + 2. Let p be r(2). Solve -y - 4 = -p*y for y.
-4
Suppose a - 3*a = -14. Suppose x = -5*g - 13, -2*x = -3*x - 3*g - a. Solve -2*d = x*d for d.
0
Suppose 4*n = -4*t + 24, 0 = 3*n - 4*t - 2 + 12. Solve -y = -3*y - n for y.
-1
Suppose -3*g + g = -224. Suppose 44*c - 5 = 43*c. Suppose 0 = 5*l + 15 - 0, 4*l + g = c*n. Solve 7*f - 2*f + n = 0 for f.
-4
Suppose -3*d = -2*d. Let m = d + 2. Suppose -g + 6 = m*w, 0*w + 2*w - 36 = -4*g. Solve 0 = 2*y - 4*y + g for y.
5
Suppose q = -3*q + 8. Suppose -2*d - q*y + y + 2 = 0, 3*y = d - 15. Let o be ((-3)/(-9))/(9/243). Solve 0 - o = d*p for p.
-3
Let q(t) = t**2 + 9*t + 2. Let p be q(-9). Solve 0 = -p*v - 3*v for v.
0
Let c(s) = -2*s**3 + 2*s - 1. Let r be c(-2). Suppose 5*h = -18 - 2, 2*h + 5 = -n. Suppose 2*j - 3 = n. Solve 4*z - r + j = 0 for z.
2
Let j be 2 - 1 - 30/5. Let y(t) = -t - 3. Let z be y(j). Solve z*i - i - 3 = 0 for i.
3
Let s(h) = h. Suppose 0 = 3*v - 11 + 5. Let w = v + 0. Let x be s(w). Solve 2*l - l = x for l.
2
Suppose 16 = -3*u - u. Let o be 0*(u/(-6) - 1). Solve -5*k + o*k - 25 = 0 for k.
-5
Let f(r) = -3*r**2 - 2*r + 4*r - r**2 - 2 + 3*r**2. Let t be f(2). Let c be -3 - (t + -14 - -2). Solve 0 = -5*y - 9 - c for y.
-4
Let g(a) = -a - 2. Let f be g(-6). Suppose z + z = f. Solve -z*i + 0 = 6 for i.
-3
Suppose -2*s = 19 - 29. Solve -6*u + s*u = -1 for u.
1
Suppose -2*l + 2*a - 5 = -17, 3*l + 5*a - 42 = 0. Solve 0 = -5*n + l - 34 for n.
-5
Suppose 5*k - 4 - 11 = 0. Suppose -4*b + 6 = 2*l + 16, -l + 5*b + 23 = 0. Suppose 0*r - l*m = 4*r - 44, 4 = 3*r - 5*m. Solve -r = -o - k for o.
5
Suppose a + 3 - 7 = 0. Solve l - a*l = 15 for l.
-5
Suppose 20 = 2*c + 3*c. Solve i + c*i = 15 for i.
3
Let a = -2 + 3. Let l = -1 - -3. Suppose -n - 2 = -l*n. Solve -h - a = -n*h for h.
1
Let h be ((-20)/(-8))/((-2)/4). Let v be 14/8 - h/20. Solve -v*r = 2*r + 8 for r.
-2
Let a(f) be the first derivative of f**4/4 + 7*f**3/3 + 3*f**2 + 3*f + 1. Let l be a(-5). Solve 0 = 5*v + l - 3 for v.
-4
Suppose 20 = 5*t - 0*c + 4*c, c = 4*t + 5. Suppose 2*v + 3*v - 20 = t. Suppose -v*a - 14 = -5*a. Solve 5*q - 1 = a for q.
3
Let n(u) = u**2 - 4 - u + 4 - 4. Let p(c) = -c**2 + 7