= -3*v - c for v.
-1
Let k(b) = -b**2 - 12*b + 3. Let t be k(-12). Suppose 0 = -t*n + n. Solve 0 = -n*d - d - 3 for d.
-3
Let u = -3 - -7. Suppose -8 = -2*v - z, -u*z = 2*v - 4 - 4. Solve 6 = v*q - 2 for q.
2
Let p(h) = -h**3 + 5*h**2 - h - 5. Let y be p(3). Solve 30 - y = 5*u for u.
4
Let k(v) = v**3 - 4*v**2 - 2*v - 1. Let u be k(4). Let i be 2/u - (-11)/9. Let w be -2 + 4 + (0/3)/1. Solve -w*q + 5 = -i for q.
3
Suppose -q = 4*q. Suppose 15 = -2*l + 21. Solve q = -l*x + 5 + 4 for x.
3
Suppose 4*p = -4*u + 3*u + 21, -3*u - 5*p + 28 = 0. Suppose -5 - u = -2*i. Let v be (-1)/((-9)/12)*i. Solve v*g - 7 = 13 for g.
5
Let p = -1 + 6. Let y be 8/p + (-4)/(-10). Suppose -3*h = -y*f - 6, 5*f + 2 = -2*h + 6. Solve h*r - 8 = 2 for r.
5
Let z(b) = -b**2 + 28*b - 73. Let d be z(25). Solve d - 14 = 4*j for j.
-3
Let l(j) = -4*j**3 - 2*j - 1. Let f be l(-1). Solve 0 = -2*q + f - 1 for q.
2
Let g(u) = u + 4. Let v be g(-3). Let y be (v/3*0)/1. Solve y = -7*x + 4*x + 15 for x.
5
Suppose -7 = -5*i + 13. Suppose i*h - 18 = 2*h. Solve -h = -3*n - 0*n for n.
3
Suppose 0 = 3*j - 5*s + 26 - 120, -3*s - 96 = -3*j. Suppose -c - j = -4*c. Solve 0 = 2*k - c + 1 for k.
5
Let y(g) = g**3 + 11*g**2 - 15*g - 23. Let x be y(-12). Solve 5*h = 12 + x for h.
5
Suppose 5*h + 31 = 51. Solve 0 = c + h - 0 for c.
-4
Let q be (1 - 15) + 1 + -1. Let k be (-4)/(8/q) + -2. Solve j + 0*j = -k for j.
-5
Let h be (-266)/(-57) + (-8)/(-6). Solve -3*a = -0*a - h for a.
2
Let h = 9 + -13. Let b be h/(-10) - (-54)/15. Solve -b*w = w + 5 for w.
-1
Suppose 0 = r - 0*r. Solve u - 5*u - 20 = r for u.
-5
Let t(f) = 2*f + 1. Let o be t(4). Suppose 2*q = 6*q - 12. Solve q*g = -6 - o for g.
-5
Let z(f) = -f**2 + 13*f - 10. Let m be z(12). Solve -w + m*w = 0 for w.
0
Let y be 10/4 - (-3)/(-6). Let k = 5 - y. Solve -k*p + p = -10 for p.
5
Suppose 2*h - 21 = -5*h. Solve -2*n + 10 = h*n for n.
2
Suppose 5*u + 44 = 164. Suppose -y - 3*z = -u, 4*y + 0*z = -2*z + 66. Suppose 0 = -3*l + y. Solve 8 = -l*v + v for v.
-2
Let u be ((-2)/(-6))/((-8)/72). Let o = u + 23. Solve -6*i + i - o = 0 for i.
-4
Suppose 3*n = 5*p + 5 + 5, n = 2*p + 4. Solve 0 = -n*r - 5*r - 20 for r.
-4
Suppose -2*v + 4 = -2. Solve 2 = v*s - 10 for s.
4
Let q be ((-4)/(-2))/(-4)*0. Solve q = -v - 1 for v.
-1
Let r = -31 - -36. Solve 2 = -r*o + 7 for o.
1
Let u = -173 - -177. Solve 0 = -u*h - h + 5 for h.
1
Let h(d) be the second derivative of -d**4/12 + d**3 - 3*d. Let j be h(5). Solve 0 = j*t - 3*t + 4 for t.
-2
Suppose 4*t + 2*w = 30, -4*t + 3*w + 2 = -13. Let c = -2 + t. Solve 0 = c*y - 3*y - 4 for y.
4
Suppose 4*t + 1 = -u + 16, -4*t = -4*u. Solve -t*n = -5*n + 8 for n.
4
Let y(k) be the third derivative of k**6/120 + k**5/10 + k**4/6 - k**3/6 - 5*k**2. Let a be y(-4). Solve -4*z = -z - a for z.
5
Suppose -5*r + c + 36 = 0, 0*r - 20 = -3*r + c. Let f be (-5)/(-2)*(5 + 4 - 7). Solve -i + r = -f*i for i.
-2
Suppose 5*x - 7 = -4*m, 3*x = 5*m + 4*x - 35. Solve -s - m = s for s.
-4
Let h be 160/9 + (-12)/(-54). Let q = -26 + h. Let d = 17 + q. Solve d*o = 4*o + 25 for o.
5
Suppose 0*o = -3*o. Suppose 45 - 12 = 3*f. Suppose 0 = -s - 2*m + f, -5*s + o*m + 73 = m. Solve b - 4*b - s = 0 for b.
-5
Suppose -q + 11 = -5*o, -3*q = -6*q - o + 1. Suppose 4*b + 2*c = 36 - 6, 4*b - c - 21 = 0. Let t be 7/b + 5/(-30). Solve -p + q + t = 0 for p.
2
Let j(b) = b**2 - b + 1. Let w be j(-3). Suppose -8 - 16 = -4*u. Suppose -2*r + u = c - w, 3*c - 37 = 4*r. Solve 0*m + c = 3*m for m.
5
Let b be (-198)/(-51) - (-12)/102. Solve -b*l = l - 15 for l.
3
Let t be (0 - -1) + (-5 - -3). Let u be (-3)/(2 - 15/8). Let x be u/(-2)*t/(-2). Solve -x = -4*v + 2 for v.
2
Suppose f + 8*f = 180. Solve -2*l + f = 3*l for l.
4
Suppose 10 = 5*r - 0*r - 5*p, r + p - 2 = 0. Suppose -3*i = s - 9, 2*i + r = 4*s - 3*i. Solve -5 - 10 = -s*k for k.
5
Suppose -4*v = -5*s + 1, 0*s + 5*s + 3*v - 8 = 0. Let a be s*1/(-1) - -5. Suppose 0*m = -m - 3, -3*u + 24 = -5*m. Solve 0 = -u*b - b + a for b.
1
Let l(g) = 20*g**2 + 3*g + 3. Let n(c) = -7*c**2 - c - 1. Let m(h) = 6*l(h) + 17*n(h). Let a be m(-2). Solve 6 + 0 = -a*t for t.
-2
Let s(w) = 47*w**2 - w + 1. Let i be s(1). Suppose -l = 2*g - g - 13, -l = -3*g + i. Suppose 0 = -3*b - 2*b + 5*j, 2*b - g = -3*j. Solve -1 = 2*q - b*q for q.
1
Let n(v) = v**2 + 5. Let c be n(0). Let l(p) = 2*p + 7. Let s be l(c). Let i(h) = h**2 + 2*h + 4. Let x be i(-2). Solve x*r - s = -1 for r.
4
Let f(g) = g + 1. Let k be f(1). Suppose 0 = -3*l - 12, 19 - k = s - 4*l. Solve 2*t + 5 + s = 0 for t.
-3
Suppose -s + 5 + 1 = 0. Solve -2*d + 4*d = s for d.
3
Let p = 7 + -5. Let i be ((-1)/p)/((-1)/4). Solve i*c - 7 = -3 for c.
2
Let m be 4/(-60)*-87 - (-8)/(-10). Solve -3 - 2 = -m*d for d.
1
Suppose 2*b = -6, 29 = -0*s - 2*s - 5*b. Let m = s - -9. Solve m*q - 8 - 2 = 0 for q.
5
Suppose -2*h - 4*c = -8, c = -4*h - 2*c + 11. Suppose -2*w - h*w + 12 = 0. Let k be 0 + 0*w/(-9). Solve k = -4*j - j for j.
0
Suppose 4 = -0*c + 5*c - 3*r, -4 = c - 3*r. Solve h = c*h for h.
0
Suppose -b = -16*b + 45. Solve -b = -0*u + 3*u for u.
-1
Let b(c) = c**2 - 2*c. Let p be b(3). Suppose p*u - 4 = 2. Solve 0 = 6*h - u*h + 4 for h.
-1
Suppose -5*o = -3*c - 9 + 54, 5*o + 65 = -c. Let u be (-52)/o - 2/(-3). Solve 0 = u*w + 9 + 11 for w.
-4
Let x be 2 - 2 - (-6 + 2). Suppose x*k + 8 = 28. Solve -7 - 3 = k*o for o.
-2
Let c(o) = o**3 - 9*o**2 - 11*o - 10. Let q be c(10). Let b = 25 + q. Let x(w) = w**2 - 2. Let i be x(-5). Solve 0 = -b*l + i - 3 for l.
4
Let k be ((-2)/3 + 0)/((-158)/948). Suppose -5*r = -s - 11, -4*s - 10 = -5*s - 2*r. Solve 3*t - s = k*t for t.
-4
Let y(o) = -o**3 + o**2 + 3. Let x be y(0). Suppose b = -x*b + 32. Solve 2*p = 6*p - b for p.
2
Suppose 2*o + 5*u = 30, 3*u = -3*o - 2*u + 40. Let r = -5 + o. Solve 0 = -r*h + 2*h - 3 for h.
-1
Suppose 4 = -z - 2*l, 5*z + 0*z + 5*l = -5. Solve 4*w - 6 = z*w for w.
3
Let p be -2 + (-12)/(-3) - -16. Let b be (-5)/20 - p/(-8). Solve 3 = -b*f - 1 for f.
-2
Let l be (-19)/5 + (-2)/10. Let k be 5/(-15) + l/(-3). Suppose -2*s + 5 = -t - 2, -4*s = 3*t - 9. Solve k = f - s for f.
4
Suppose 5*o = 12 - 2. Suppose 2*l - 23 = -2*n - 3*n, -5*l + 8 = -4*n. Suppose n*s = o*s. Solve s*r - 8 = -2*r for r.
4
Let i(q) = 2*q + 20. Let w be i(-9). Solve -y + w = -2 for y.
4
Let q(x) = -x**3 + 3*x**2 - x + 7. Let c be q(3). Solve -1 = 5*n + c for n.
-1
Let c(l) = -l**3 - 7*l**2 - 5*l + 8. Let s be c(-6). Solve i = -i - s for i.
-1
Let p be (-1040)/(-169) - (-2)/(-13). Let h be ((-8)/(-10))/(2/10). Solve -h*f + p + 10 = 0 for f.
4
Let p be 9/(-2)*20/(-30). Solve -l - 5 = -p for l.
-2
Suppose 3*n + 27 = 2*p, 2*p = 5*n - n + 26. Suppose 2 = -i - 2*l, -2*i - 5*l - 3 = 2. Suppose i*j + 18 = 3*j. Solve -p = -y + j*y for y.
-3
Let j = 2 - 9. Let x(u) = u**2 + 7*u. Let q be x(j). Solve -2*w = -q + 10 for w.
-5
Let r(p) = -p**2 + p. Suppose -4*j + j + 3 = 0. Let n be r(j). Solve 2*t + 7 - 15 = n for t.
4
Let x(q) = -q**2 - 4*q + 3. Let l be (-126)/(-8) - 9/12. Let f be l/(-5) - (1 - 0). Let s be x(f). Solve n = s*n for n.
0
Suppose 5 = v - 4*y, 0*y = -5*v - y + 46. Suppose -2*l + v = 3. Solve 2*c + l = -c for c.
-1
Suppose 0 = 5*l + 4*o - 68, 0*l - 2*o - 8 = -l. Let g = -20 + l. Let k = -6 - g. Solve -k*f = f - 15 for f.
5
Let i = -8 - -10. Suppose s = -i*s. Solve -6*g + 4*g - 8 = s for g.
-4
Suppose 0 = 2*y - 6*y + 4. Suppose 5*i = -5*m + 10, -3*i - m + 4*m + 18 = 0. Let n = -46 + 51. Solve n = -i*z + y for z.
-1
Let j(g) = g**3 - 11*g**2 + g - 7. Let z be j(11). Suppose l = 5*c - c + 29, 3*c = z*l - 103. Solve 10*t = 5*t - l for t.
-5
Let o = 17 - 15. Solve 0 = o*r + 3*r for r.
0
Let x(g) = g - 2. Let f be x(-4). Let b be 4*(4 + f + 3). Solve -1 = -h + b for h.
5
Let j(d) = 3*d**2 + 2. Let y(u) = 2*u**2 + u + 3. Let l(g) = 3*j(g) - 4*y(g). Let q be l(6). Solve -3*c - 6 - q = 0 for c.
-4
Let g(x) be the first derivative of x**2/2 - 3*x - 4. Let k be g(13). Let i = k + -8. Solve i*d + 14 - 4 = 0 for d.
-5
Suppose -5*u + 25 = 3*n, -2*n = 5*u - 3*u - 10. Solve n = 5*o - 5 for o.
1
Let d(n) = -n**3 - 11*n**2 - 10*n + 5. Let z be d(-10). Solve 3*y = z + 1 for y.
2
Let z be 27/(-6)*(-4)/6. Solve z = 3*o - 0 for o.
1
Suppose 5*k = -3*n + 39 + 30, 5*n - 15 = 0. Let y(p) = p + 10. Let z be y(-10). Suppose z = u + 2*u - 9. Solve 0*f = -u*f - k for f.
-4
Let v be