o) = -o**2 + 6*o - 5. Let t = -4 - -8. Let l be v(t). Solve l*c - z = -0 for c.
1
Let g = -3 - -3. Suppose g = -v + 2*v. Suppose v*r = 3*r. Solve r = -5*f + 7 + 18 for f.
5
Let f(a) = 3*a**2 - a - 3. Let n be f(4). Let r = -8 - n. Let b = -29 - r. Solve 5*c = c - b for c.
-5
Let c(w) = w + 17. Let r be c(-12). Solve -y + 3 = r for y.
-2
Let k(t) = t**3 - 6*t**2 + 4*t + 11. Let o be k(5). Solve 18 - o = 4*j for j.
3
Let m be (-2)/4 + (-14)/(-4). Suppose v = 10 - 4. Solve 0*a + v = -m*a for a.
-2
Let c = 20 + -10. Let p = c - 6. Solve 3*s + p = 19 for s.
5
Let s = -2 - -2. Suppose 9 = -3*u + 2*u. Let j be 2*2*u/(-12). Solve s = g - j*g + 8 for g.
4
Let b(g) be the second derivative of g**4/12 + g**3/6 - 7*g**2/2 + 7*g. Let u be b(3). Solve 4 = -i + u for i.
1
Let l(c) = -c**3 + 2*c + 1. Let b = 3 + -4. Let f be l(b). Solve f*w = 3*w + 3 for w.
-1
Let x be (-20)/(-5)*(-5)/(-4). Suppose 0*r + 4 = r. Solve 0 = r*l + l - x for l.
1
Suppose -4*d = -66 + 42. Solve 5*k = 2*k + d for k.
2
Let t(n) = n + 22. Let d be t(-19). Solve 5 = d*f - 1 for f.
2
Let u = 8 + 2. Suppose f + 2*b = 5*b - u, -15 = -3*b. Solve -f*v + 9 + 16 = 0 for v.
5
Suppose m - 2 = 13. Solve -2*a = 3*a - m for a.
3
Let g = 1 - -3. Let f(m) = -m**2 + 9*m - 1. Let y be f(7). Let d = -13 + y. Solve d = -g*z + 4 for z.
1
Let f(p) = -p**3 - 17*p**2 + p + 17. Let b be f(-17). Solve b = -k + 5*k - 16 for k.
4
Let g(u) be the third derivative of u**4/24 - 2*u**3/3 + 2*u**2. Let y be g(4). Solve -5*l + 3*l - 2 = y for l.
-1
Let g be (-3)/(0 - 1) + 12. Let o = 17 + 64. Let s be o/g - 2/5. Solve s*p - 15 = 2*p for p.
5
Suppose -1 - 5 = -y. Let c be 10/y - (-6)/(-9). Suppose n - 3 = -c. Solve 3 = f - n*f for f.
-3
Suppose 4*x - 32 = 8. Solve -3*y - x = 5 for y.
-5
Let b be 1/(-2)*-2*5. Suppose -7*t = -b*t. Solve 2*s + t*s = 4 for s.
2
Suppose 2*u = 2*y + 6, -2*y + 2*u - 2 = 2*y. Let m(x) = 2*x**2 + 3*x - 2. Let r be m(2). Solve -l - r = y*l for l.
-4
Let c be (9/2)/(1/(-6)). Let q be 12/(-30) - c/5. Solve -q = -2*f + 3 for f.
4
Let v = 253 + -56. Let x = v - 89. Suppose 5*d - 40 = -o, 0 = -5*o + 3*d + x - 20. Solve -2*q - 3*q = -o for q.
4
Let q be (4 - 2)*(-35)/(-14). Solve 0 = -h - 0*h - q for h.
-5
Let u = 22 - 18. Suppose 0*n + 12 = u*n - 2*f, 3*f + 2 = -2*n. Solve 0 = n*i + 2*i for i.
0
Suppose 25 = 5*g - 40. Solve -g*j + 2 = -15*j for j.
-1
Let d(x) = 10*x**3 + x**2 - 2*x + 1. Let y be d(1). Suppose 2*b + y = -0. Let n(t) = -t**2 - 6*t - 3. Let a be n(b). Solve -2*f = -4 - a for f.
3
Let c be (-3 + (-5)/(-3))*6. Let v = c + 12. Suppose 0 = -2*q - t + 3, -2*t = 3*q - q. Solve -v = n - q*n for n.
2
Suppose 3*i = 4*k - 22, 3*k + 2*i = -3*i + 31. Suppose -8 = 6*b - 7*b. Let a be b/(-4) - (-2 + -3). Solve 22 = a*v + k for v.
5
Let p be (2 + 7)*(-1)/(-3). Suppose -p*m + 3 = -b, 0*b + 3 = -3*m + 3*b. Solve h = -m*h + 12 for h.
4
Let u = -5 + 8. Suppose 4*r - 5 = 2*d + u*r, 3*d + 18 = -2*r. Let i be 0/(d - -2 - -1). Solve -y = -i*y + 4 for y.
-4
Let m be 16*18/24*(-2)/(-6). Let p be (-50)/(-6) + (-2)/6. Solve -4*g + p = m for g.
1
Suppose 0 = -2*x - 2 + 12. Let f(s) = -s**3 + 3*s**2 - 2*s + 1. Let t be f(2). Let n(y) = 22*y**2 - y. Let w be n(t). Solve 0 = x*b + w - 6 for b.
-3
Let r(b) = -2*b + 15. Let k(w) = -w + 8. Let i(o) = -5*k(o) + 3*r(o). Let a be i(4). Let s = 1 + a. Solve 0 = d - 0 - s for d.
2
Suppose -2*i = d - 7, 0*i + 2*i + 2*d = 8. Solve -4*v - i = -3*v for v.
-3
Suppose 2*n + 11 = 3*l, -l + 11 = 4*n - 2. Let d(x) = x**2 + 1. Let u be d(0). Let f be 0 + u - (1 + 0). Solve f = -y - n*y for y.
0
Let m be (-62)/(-4) - 18/36. Let t = 6 - 4. Solve -j + m = t*j for j.
5
Let u(s) = s**2 - 11*s. Let b be u(11). Solve b*l = -2*l + 8 for l.
4
Suppose 5*l - 14 = 3*r, l + l - 4*r = 0. Solve -l = 5*p + 11 for p.
-3
Suppose -9 = -3*k - 3*o, 15 = -8*k + 3*k + 5*o. Suppose -4*l = -12, z + 0 + 2 = l. Solve z = y - k for y.
1
Let c be 4/14 - 2/7. Let k = c + 2. Solve 2*w + k*w = -8 for w.
-2
Let q be (2/6)/(1/9). Suppose -7*r - 7*r = -280. Solve -k = q*k + r for k.
-5
Suppose 0 = 5*a - 3*a - 16. Suppose 5*c - 12 - a = 0. Solve -c - 1 = 5*p for p.
-1
Suppose 5*z + 1 = 16. Suppose -4*c + 5*c - 6 = 0. Suppose c = z*j - 0. Solve -15 = j*d + 3*d for d.
-3
Suppose 1 = r - 0*r + 2*p, -p - 4 = -r. Solve -r*q = 7 + 5 for q.
-4
Let n = 49 - 34. Suppose 12*h + 6 = n*h. Solve -3*y - 25 = h*y for y.
-5
Suppose 2 = -3*f - 0*z - 2*z, 0 = -4*f - z - 11. Let d be ((-2)/3)/(f/18). Suppose d = 2*y + 1, -3*q + 5 = -4*y. Solve 0 + 3 = q*o for o.
1
Let o be (-2)/1*(-518)/4. Let m = 155 - o. Let a be m/(-6) - 2/6. Solve a + 3 = 4*w for w.
5
Let r = 3 + -3. Suppose -3 = 2*j - 5. Let b(q) = 5*q**3 - q**2 + 1. Let w be b(j). Solve r*k = 5*k + w for k.
-1
Let k = 8 + -7. Let s = 13 - k. Let c be 51/s - 3/12. Solve -8 = c*o - 0 for o.
-2
Suppose -o - 5 = -2*o. Solve 0 = o*c - 0*c - 20 for c.
4
Let y be (-15)/(-6) + (-1)/2. Solve -y = 2*d - 12 for d.
5
Let r be (-4 + 2)/(2/5). Let u = -2 - r. Let m(x) = -x**3 - 4*x**2 - 5*x - 2. Let l be m(-2). Solve 4*z - u*z = l for z.
0
Suppose -4*a = 5*k - k - 8, -a - 5*k = -10. Solve a = -3*i + 6*i + 3 for i.
-1
Let g(v) = 5*v**2 + 1. Let c be g(-1). Suppose c = 4*b - 10. Solve 11 = -b*t - 9 for t.
-5
Suppose 0 = -2*q - 0*q + 4. Suppose -h = 5*f - 21, 19 + q = 5*h + 4*f. Solve 2*a = h + 5 for a.
3
Let m(k) = 2*k**3 - 3*k**2 - 2*k + 2. Let s be m(3). Suppose 2*y = 4*y - 4. Suppose y*o = o + 4. Solve 0 = -o*i + s - 3 for i.
5
Suppose -5*p + 41 = -3*u, -18 = -4*p - 2*u + 28. Solve 4*y - p = -y for y.
2
Let w(z) = z**3 - 8*z**2 - 8*z - 5. Let x(i) = -i**2 + 7*i + 3. Let v be x(6). Let y be w(v). Solve -s = y*s for s.
0
Let m be 4/(-6) - (-84)/18. Suppose r = m*r - 147. Suppose -r = -0*u - 2*u + 5*x, -4*x = 20. Solve 0 = -5*q + q + u for q.
3
Let s = -11 + 22. Suppose j - 2 + 3 = l, -s = -4*l - 3*j. Let z be 2 - l - (-60)/3. Solve -z = r - 6*r for r.
4
Let h(o) = -o**2 - 5*o - 4. Let w be h(-3). Let a(v) = 2*v**2 - 13*v - 5. Let i be a(7). Solve -8 - w = i*m for m.
-5
Let n = 11 + -7. Suppose 2*o = -u + 18, -o + 56 = n*u + 3*o. Suppose -5*y + 3*y = -u. Solve y*t + 0 = 20 for t.
4
Let q(j) = j**3 + 4*j**2 + 2*j + 5. Let c be q(-3). Solve c = y + 3*y for y.
2
Let l(c) = 2*c + 7. Let m(j) = -j - 7. Let z(p) = -2*l(p) - 3*m(p). Let x be z(5). Solve -g = g - x for g.
1
Let n(p) = 3*p**2. Let g be n(-1). Suppose -b - u = -15, -b = u + 2*u - 11. Suppose -b = -g*o - 5. Solve 3 = -o*i - 5 for i.
-2
Let w be 8/(-28) - (-46)/14. Let j(i) = -i**2 + 3*i + 3. Let q be j(3). Suppose 0 = -2*t - 2*t. Solve w = q*u - t*u for u.
1
Let h(s) = -s**3 - 18*s**2 + s + 22. Let t be h(-18). Solve -3*n + 4*n - t = 0 for n.
4
Let a = -1 + 4. Solve -1 + 4 = -a*c for c.
-1
Let q be ((-3)/9)/((-3)/18). Solve 0 - 2 = q*a for a.
-1
Suppose 4*o - 4 + 8 = 0, -3*o = m + 1. Solve 4 = 2*h + m*h for h.
1
Suppose -30 = -5*n + 40. Suppose -u + n = -3*s, 0*u - 4*u = -5*s - 28. Suppose 0*p + u*p = 8. Solve -o + p*o = -9 for o.
-3
Suppose 0 + 8 = 4*d, -3*d + 26 = 5*c. Suppose 2*w + 4*j - 14 = 0, -2*w + 2 = 2*j - c. Let g be w/(0 - 3/24). Solve -4*s = 8 + g for s.
-4
Let q be (6/9)/(1/6). Suppose -3*o = 5*s - q - 102, 5*o = -4*s + 90. Solve -2*l - s = 3*l for l.
-4
Let s = 7 + -4. Let q(g) = g**2 - 2*g - 1. Let p be q(s). Suppose 0 + p = l. Solve -j - 6 = l*j for j.
-2
Let a(h) = -h**3 + h**2 + 3*h + 1. Let i be a(-2). Suppose 3*c = -5*d + 21, 2*c + d - i = -0*c. Solve -11 + c = -3*v for v.
3
Suppose 0 = 2*c - c - 5*j - 16, -5*c = -j - 32. Suppose 2*k + 0*k - 80 = 0. Suppose 2*w + k = c*w. Solve -w = 4*z - 9*z for z.
2
Suppose -42 = -5*u + 4*o + 23, -5*o - 70 = -5*u. Suppose p = -2*p + u. Suppose -p*y = -6*y + 18. Solve -3*c + 3 = y for c.
-1
Let r be (8/6)/(4/60). Solve 5*g - 5 = r for g.
5
Let d(n) = n**3 - 4*n**2 + 5*n - 2. Let l be d(3). Let x(g) = g**2 - 2*g - 5. Let v be x(l). Suppose -v*w = w. Solve j - 1 = -w for j.
1
Let q(d) = d**3 + 2*d**2 - 4*d. Let p be q(-3). Let m = 0 - p. Let z be (3/(-3))/(m/57). Solve 4*c + z - 7 = 0 for c.
-3
Let p be (-2)/4*(-4 - -4). Suppose -d + 5*s + 21 = d, -5*s - 15 = p. Solve 0*m = -m - d for m.
-3
Suppose -2*s - s - 12 = -3*m, -3*s = 12. Solve 2*p = -m*p for p.
0
Let i(k) = -9*k**3 - 2*k**2 - k. Let u be i(-1). Let w = u - 5. Solve 13 + 2 = w*y for y.
5
Let b = 11 + -8. Suppose 8 = -2*d - 5*