= -3*l**3 - 3*l**2. Let v be x(q). Solve 0 = -u + 5*u - v for u.
3
Let z be ((-57)/5)/((-7)/35). Let a(c) = c**3 + c**2 - c - 29. Let l be a(0). Let b = l + z. Solve -8 + b = -5*v for v.
-4
Suppose 82*j = 81*j. Solve 0 = -j*o - 3*o + 12 for o.
4
Let z = 18 + -10. Suppose 0 = -l - 2 + z. Solve 0 = -b + l*b for b.
0
Suppose 4 + 2 = 3*o. Suppose 2*c - 4 = -o. Suppose 4*u = -8 + 24. Solve 5*d - u = c for d.
1
Suppose 2*p + 12 = 4*i + 4, 0 = 3*i + 3*p - 15. Suppose -2*l - 9 = -i*m + 11, -5*l = -3*m + 23. Solve -t = t + m for t.
-3
Suppose 18 = 2*h - 2*t, -5*h - 2*t + 6*t + 48 = 0. Suppose 0 = 4*p - 5*p. Suppose 0 = 3*d - p*d - 27. Solve d*n - h = 5*n for n.
3
Let c(r) = r**3 - 12*r**2 + 4. Let l be c(12). Suppose 4*j = l, 2*s + 2*j - 17 = -s. Solve 0 = s*i + 5 for i.
-1
Let n = -2 + 26. Let d = 27 - n. Solve d*b - 3 = -0*b for b.
1
Let p = -38 + 41. Suppose -5*y = -4*j - 40, -2*y - 3*j + j = -16. Solve u + y = p*u for u.
4
Suppose 3*v + 11 = 2. Let j = -9 - v. Let y(h) = -h**3 - 6*h**2 - h - 1. Let p be y(j). Solve -p*l + 7 = -8 for l.
3
Let p = -27 + 27. Solve 3*g = -p*g - 6 for g.
-2
Let j(i) = i + 6. Let o be j(-6). Solve o = -8*v + 4*v for v.
0
Suppose 2*g + g = v + 6, -4*v = 2*g - 18. Solve g*m + 12 = 3 for m.
-3
Let m = -4 - -12. Let b(g) = g**2 - g. Let f be b(2). Suppose -f*s - 14 = 2*y + 3*s, 0 = -4*y - 5*s - 8. Solve l + m = y for l.
-5
Let d(h) = h**2 - 8*h + 8. Let n be d(7). Suppose 2*i - 5 = -n. Solve 0 = i*k - 1 - 5 for k.
3
Let s = -6 - -6. Let a = -5 + 7. Suppose -3*m + 2*j + 3 + 2 = 0, -4*m + 6 = -a*j. Solve -p + 1 + m = s for p.
2
Let g(y) = -y - 2. Let r be g(-5). Solve v - r + 7 = 0 for v.
-4
Suppose 18 = 2*u - 0*u. Let i be 1 + (-3 - 0/1). Let b be i/(-16)*10*4. Solve b*t = -u - 6 for t.
-3
Suppose 0 = -3*u + u - 3*f + 1, 2*f = 3*u - 8. Let p(h) = -h - 5. Let i be p(-5). Let r = u - i. Solve r*y - 3 = -7 for y.
-2
Let p be 2 - (-2)/((-4)/2). Solve -3 = m + p for m.
-4
Let u(b) = -b**2 + 3*b + 3. Let g be u(4). Let q = g - -5. Solve 0*f = -q*f - 16 for f.
-4
Let s = 10 - 10. Let o be 5 + -4 + (-1 - s). Solve o = 3*r + 2*r + 15 for r.
-3
Suppose -2*t - 12 = -3*m, 3*t = m + 4 - 1. Suppose 3*s = 2*h - m, -5*h + 1 = 2*s - 14. Let d be ((-3)/(-2) + -1)*s. Solve 0 = -2*b - d*b for b.
0
Let g(v) = 3*v + 3. Let t be g(3). Let m be 3*2/12*t. Suppose -m = -5*d + 4*a + 18, -7 = -2*d - a. Solve 0 = d*l + 3 - 19 for l.
4
Let l be 10/30*(0 - 0). Let b be (-23)/(-7) + (-6)/21. Solve l = 5*a - b*a - 8 for a.
4
Let h be 0 + 0 + 4/2. Let z(n) = 4*n + 4. Let w be z(3). Let b = w + -14. Solve -b*y - h*y = -4 for y.
1
Let l = -4 - -7. Suppose l*j = -s + 15, 2*s + 5*j + 13 - 42 = 0. Solve s = -3*p - 3 for p.
-5
Let r(d) = 13*d**2 + 8*d - 13. Let z(a) = 3*a**2 + 2*a - 3. Let u(n) = -2*r(n) + 9*z(n). Let g be u(-3). Suppose -g*x - 2*x = -12. Solve -x - 1 = -v for v.
4
Suppose 5*l = 9 + 16. Suppose 0 = l*y - y - 36. Suppose 8 = 4*z - 4*r, 3*z + z + 4*r = 0. Solve -z + y = 2*b for b.
4
Let x(y) = y**3 - 10*y**2 + y - 10. Let n be x(10). Suppose n = u - 6*u + 20. Suppose -c = -b - 4, u*c + b = 3*b + 26. Solve 5*j - c = -4 for j.
1
Let i(w) be the second derivative of w**3/6 + 3*w**2/2 - 2*w. Let k be i(-5). Let r be 1/k - 18/(-4). Solve p = r*p for p.
0
Let o(z) = 4*z + 3. Let c be o(-2). Let y = -8 - -6. Let k = y - c. Solve -k - 1 = -j for j.
4
Let b be 85/10 + 2/4. Let x = -6 + b. Solve -x*o - 9 = -0*o for o.
-3
Let b = -3 + 5. Let r = 17 - 25. Let y be 50/8 + b/r. Solve -i - y = i for i.
-3
Suppose 0 = 5*k + 10 - 60. Suppose -l + 0 = -k. Solve -2*h = -2 + l for h.
-4
Suppose -4 = -2*g - 4*o + 2*o, -3*o = -5*g - 6. Suppose -5*r = -g*i - i - 10, 0 = -3*r + 3*i + 6. Solve r*q - q = 5 for q.
5
Let m = -6 - -16. Solve -m = -7*d + 5*d for d.
5
Suppose -4*h - 2*p = -44, 9 = h + p - 2. Suppose t - h = -3*k, 0*t + 2*t - k + 13 = 0. Let c = 7 + t. Solve 4 = c*d + d for d.
1
Suppose -l + 3*l - 6 = 0. Solve -l*z = 2*z - 15 for z.
3
Suppose 2 = -2*i - 6. Let p = 4 + i. Suppose p*u + 2*u = 0. Solve u*w = w for w.
0
Let y = 5 - 5. Suppose -l = -y*l + 5. Let j(b) = -2*b - 6. Let k be j(l). Solve k*r + 8 + 4 = 0 for r.
-3
Let z be (-2)/(-7) - 10/(-14). Let u = 7 + z. Suppose 3*r = -4*y + 49 + 48, -y + 2*r = -27. Solve -3*l = -u*l + y for l.
5
Let l(x) be the second derivative of -x**3/6 + 2*x**2 - 2*x. Let y be l(4). Solve -1 = v - y for v.
-1
Let j = 2 - -3. Let l be (6 - j)*(-2)/(-1). Let q be 0 + (2 - l)/(-1). Solve -x + 2*x - 5 = q for x.
5
Suppose -r = -a + 6*a + 5, -a - 3*r + 13 = 0. Let z be 2/(2 - 1) + a. Let h(l) = l**2 - 6*l + 5. Let u be h(6). Solve 0 = 5*d + u - z for d.
-1
Suppose 0 = -4*g - 29 + 61. Solve -g - 8 = 4*j for j.
-4
Suppose 0 = -2*t + 3*f - 2*f + 13, f = -3*t + 17. Solve 0 = -3*h + t*h for h.
0
Let b(o) = o**3 + 3*o**2 - o - 3. Let a be b(-3). Let r = 7 + -2. Solve -r*v - 15 = -a*v for v.
-3
Suppose -d + 5*o - 14 = 0, d - 2*o = -0*d - 14. Let q be d/((-4)/(0 - -2)). Suppose 3*r = 5 + q. Solve 3*s - r + 1 = 0 for s.
1
Let b = 41 - 40. Solve -3*r = -b + 16 for r.
-5
Let o(u) = -u**2 - 5*u - 3. Let z be o(-4). Suppose -2*x = -3*x + k + z, 1 = -2*x - k. Suppose 3*t - 3*i = 21, 2*t - t - 16 = 4*i. Solve x = 3*m - t*m for m.
0
Suppose -x + 6*x = 10. Suppose -2*g - 2 = 0, 5*d + 2*g = -0*g - x. Suppose k + 4*q + 9 = 0, d = 2*k - 4*q + 5*q - 3. Solve -2*a - k = a for a.
-1
Let q(o) = -o**2 - 5*o + 3. Let z be q(-3). Let b = z - 6. Solve 0 = -c + b*c - 10 for c.
5
Suppose 0 = 3*x + 4 - 10. Solve x*t = 7*t for t.
0
Let h(g) = g**3 + 4*g**2 - 13*g - 2. Let p be h(-6). Solve 0 = p*f - 15 - 1 for f.
4
Suppose -5*v + 22 = -2*b - 18, -b - 40 = -5*v. Let g be -2 - v/(-2) - 8. Let c(o) = o**2 + 5*o - 6. Let j be c(g). Solve j*h = h for h.
0
Let c be (24/20)/(3/10). Solve -c*y = -2*y + 8 for y.
-4
Suppose -2*q - q = 96. Let x be (q/(-12))/((-2)/(-3)). Let k = x + -2. Solve 3*z + k = 2*z for z.
-2
Suppose f + 0*f = 2. Suppose 0 = z - 5*z + f*i, -2*z = 5*i. Solve z*w = w for w.
0
Suppose 0 = f - 3*m - 2, f - 10 = -4*f - m. Solve 6 = -f*t + 5*t for t.
2
Let m(w) = w - 11. Suppose -2*l + 4 - 12 = 0, 2*t - 3*l - 28 = 0. Let f be m(t). Let z = 1 - f. Solve h = 3*h + z for h.
-2
Suppose 0 = -o + 4*o. Solve o*c = c + 2 for c.
-2
Let x = -7 - -9. Let l be 2*(2 - x/(-4)). Solve l*v = 2*v - 3 for v.
-1
Let d be 3/((-3)/(-6)*2). Solve 9 = d*o - 6 for o.
5
Let n(v) = -v**3 + 20*v**2 - 20*v + 39. Let q be n(19). Suppose 0*d + d = 3. Suppose 3*a + 6 - 17 = 4*c, -a + d*c = -2. Solve a*i = -0*i + q for i.
4
Suppose 3*f + 6 = 3*d, -2*f = -4*d + 15 - 3. Solve -f*c = c - 15 for c.
5
Let b(x) = -3*x - 5. Let l be b(-8). Suppose 4*y - 1 = l. Solve -1 + y = -4*z for z.
-1
Suppose 0 = 2*b - 8. Suppose 59 - 55 = i. Let d(n) = n**2 - 2*n - 3. Let w be d(3). Solve -i*r - b - 8 = w for r.
-3
Suppose 4*w + 33 = -3*y, -y + 22 = -3*y - 4*w. Suppose -2*b - 13 - 13 = -2*q, 3*q = -3*b - 63. Let c = y - b. Solve -4*u = -2*u - c for u.
3
Let u(q) = 2*q**3 - 2*q**2 - q + 4. Let s be u(2). Solve s = -5*h + 3*h for h.
-5
Let u = -102 + 104. Solve -p = -3*p + u for p.
1
Suppose 0 = -z - 3*k + 7 + 3, z - 3*k = -2. Suppose -v = -5*x - 22 - 1, -5*v - z*x = 1. Solve a + 4 = v for a.
-1
Suppose -7*i = -5*i - 10. Solve -11 = i*t + 9 for t.
-4
Suppose -4*f = 3*w - 52, 80 = 4*f + w - 5*w. Suppose -14 = -6*a + f. Solve 0 = a*c + 22 - 7 for c.
-3
Suppose -4*r + 4*c - 4 = 0, r - 2*r - 4*c + 19 = 0. Let x be 6/4 + (-3)/(-6). Solve -r = x*q + 1 for q.
-2
Suppose -3*s + m + 28 = 0, 0 = -6*s + 5*s + 3*m + 20. Let x be 24/9 - 1/(-3). Solve -s*g = -x*g for g.
0
Let b = -11 + 16. Let x be 1/2 - (-1)/2. Solve s - x + b = 0 for s.
-4
Let b = -18 - -53. Let l be 20/6*63/b. Suppose 3*c = -3*w + 39, w - 16 = -2*c - 5. Solve -a = -l*a + w for a.
3
Let k(u) = 2*u**2 - 2*u - 2. Let g be k(2). Suppose -g*r = r. Suppose r*x + 2 = p - x, 2*x - 17 = -5*p. Solve 0 = 2*v + p - 1 for v.
-1
Suppose 0 = -5*b + 40 - 35. Let m(f) = 3*f - 1. Let n be m(4). Solve -b = -3*s + n for s.
4
Let j be 27*(-2)/6*2. Let b = -16 - j. Solve -b*d - 8 = 2*d for d.
-2
Suppose -4*z + 3*c + 4 = -1, 25 = 5*c. Suppose -3*a + 2*a = -5*l - 47, -4*a + 53 = -z*l. Let q be (6/l)/((-2)/15). Solve -1 - 9 = -q*k for k.
2
Let q be (1 - 2)*(1 - 3). Let g(d) = d - 2. Let s be g(6). Suppose 0*k - k = -5, -k = -s*x + 3. Solve -x*m - 12 = q*m for m.
-3
Suppose 4*c