 d for u.
-3
Let a(d) = 4*d - 9. Let v(r) = -2*r + 4. Let h(s) = 3*a(s) + 7*v(s). Let x be h(-1). Suppose -z = -0*z - n - 3, 0 = 4*z - x*n - 11. Solve z*t = t + 3 for t.
3
Suppose 0 = m + 3 - 4, -3*a + 2 = 2*m. Solve -c = -a*c for c.
0
Let n be 5/1*(-30)/25. Let t(c) = -3*c + 2. Let r be t(n). Solve -2*d + r = -6*d for d.
-5
Let v be (-8)/24 - 14/(-6). Let t be 3 + 2 + 0/1. Solve v = a + t for a.
-3
Suppose 9 - 39 = -3*d. Let m = 1 + d. Solve -4*y = -3 + m for y.
-2
Let k = -21 + 29. Suppose -5*s + 2*c = -14, -s = -0*s - 3*c - k. Solve 6 = -2*m - s for m.
-4
Let o = -4 + 4. Suppose 0 = -2*r - o + 8. Suppose 4*i = 3*b + 40 + 31, -r*b = -3*i + 62. Solve 0 = 5*t + i + 11 for t.
-5
Suppose -7*x + 6*x - 9 = -2*q, 5*q - 25 = 0. Solve 0 = -u - 1 - x for u.
-2
Suppose -2*x - 35 = -3*x. Suppose -4*u + 1 = -3*b - x, -u + 3*b = 0. Solve u = 4*m - 8 for m.
5
Let c(s) be the second derivative of s**5/5 - s**3/6 + s**2/2 - s. Let j be c(1). Suppose 4 = -3*a + 5*w, j = 5*a + w - 8. Solve 4*l - a - 6 = 0 for l.
2
Suppose 0*w - w + 21 = 0. Suppose -4*q - 13 = -x, 5*x - 3*q - w = 2*x. Solve j - x*j + 8 = 0 for j.
2
Suppose 2*f = 3*f - 4, -3*f = -2*k - 4. Solve 0 = a - k*a for a.
0
Let b = -6 - -9. Let q be b/(1*(-6)/(-8)). Let u = 3 + -1. Solve -u*l + q = -4 for l.
4
Let y(h) be the first derivative of h**2/2 - h + 3. Let m be y(1). Let q be 3 + -1 + m + 0. Solve -2 = -3*f + q*f for f.
2
Let b be (-1)/((-3)/6*1). Suppose 5*p - 27 = -3*o, -b*o + 5*o - 15 = -p. Let s = -10 - -20. Solve p*i - s = -2*i for i.
2
Let n be -3 + 4 - (-28 - -2). Let d be 60/n - (-4)/(-18). Solve -d*f - f = 0 for f.
0
Suppose 15*f - 10 = 13*f. Solve 0 = f*a - 5 - 15 for a.
4
Let s(j) = -j + 11. Let f be s(10). Solve f = 2*a - 7 for a.
4
Suppose -75 = -5*q + 2*q. Suppose q = 5*v, 4*u - 4*v = -u + 5. Let g = -5 + u. Solve 0 = -g*z + z for z.
0
Suppose -10 = -5*v + 5. Let o be (2/6 - v)*-3. Solve 0*t + 2*t = -o for t.
-4
Suppose -5 = 2*a - 15. Suppose 5*b = -b + 150. Solve -5 = -a*y - b for y.
-4
Let y(g) = g**2 + 1 + 5*g + 1 + 1 - 2*g**2. Let p(o) = -1. Let j(w) = 5*p(w) - y(w). Let v be j(7). Solve v = -2*z - 2 for z.
-4
Let d be 1 - (1 - 3)*2/(-4). Solve -2*f + 0*f + 2 = d for f.
1
Suppose 2*s - 7*s = -5. Let u = -6 + 12. Let w = u - 2. Solve -s = -z - w for z.
-3
Let q = -12 - -7. Let s(b) = -b**2 - 5*b + 3. Let h be s(q). Solve 1 = -2*p - h for p.
-2
Suppose -4*q - 8 = -6*q. Solve -m - 15 = q*m for m.
-3
Suppose -4*k + 4 = x - 0*x, 0 = -3*k + 5*x + 26. Suppose k*d = -0 + 2. Solve -4*b = -5*b + d for b.
1
Suppose -b + 2 = -3. Suppose -b*z + 3*z = -4. Solve -3 - z = 5*q for q.
-1
Let u(n) = -n**3 + 2*n**2 + 2. Suppose -2*f + 2*y = -2 - 0, 4*f + 3*y = 11. Let z be u(f). Solve -z*t = -0*t - 8 for t.
4
Suppose -2*l - 24 = -4*h, h - 5*l + 4 = 28. Suppose 42 = t + 2*t + 2*z, 0 = -h*z + 12. Solve -3 = -5*n + t for n.
3
Let f be -3 + 1*(8 - 1). Suppose f*m = 12 - 0. Solve -m*i + 2 = -4 for i.
2
Let v(u) be the third derivative of u**4/24 - u**3/6 - 2*u**2. Let f be v(6). Let p = -2 + f. Solve 1 = -z - p for z.
-4
Let a(n) = 1. Let m(h) = -h + 7. Let f(q) = -6*a(q) + m(q). Let o be f(-5). Solve -2*j + o + 0 = 0 for j.
3
Suppose m - 8 = 4*a + 1, 2*m + a = 9. Suppose -i + 9 = -4*c, -m*i - c + 0*c = -24. Solve -h + i = 1 for h.
4
Let g = -11 + 41. Let m = g - 18. Suppose o + 3 = r + r, -2*r - 4*o - m = 0. Solve v - 4 + 3 = r for v.
1
Let i be (16/18)/((-18)/(-81)). Solve i*x + 4 - 20 = 0 for x.
4
Let r = -10 - -6. Suppose -2*c - 2 = 4*x + 3*c, -2*c + 4 = 0. Let y be x - ((r - -1) + -1). Solve y - 3 = h for h.
-2
Let a(c) = -c**3 + 6*c**2 + 9*c - 9. Let d = 23 + -16. Let k be a(d). Suppose 4*n + 14 = -2*p, -5*n + 0*n - 22 = -2*p. Solve -4*z - p = -k*z for z.
1
Let m(z) = -8*z + 19. Let q(b) = -b + 1. Let o(v) = -m(v) + 6*q(v). Let i be o(8). Solve -i*k - 6 + 3 = 0 for k.
-1
Let v(t) = -t**3 - 2*t**2 - t. Let u be v(-2). Solve u = s - 3 for s.
5
Let s(f) = f + 10. Let l be s(0). Solve y + 4*y = -l for y.
-2
Let h = -12 - -8. Let u = 35 + -41. Let i = h - u. Solve 0*b = -i*b for b.
0
Let x(z) = -z**2 - 3*z + 2. Let g be x(-3). Solve -g*l + 6 = -4 for l.
5
Suppose 2 = 2*w - 8. Solve 5*c - 10 = -w for c.
1
Let h(q) = 2*q**3 - q**2 + q - 8. Let u(s) = 5*s**3 - 2*s**2 + 2*s - 17. Let k(x) = 7*h(x) - 3*u(x). Let d be k(-3). Solve 6*w - w = -d for w.
-2
Let u(j) = j - 19. Let p be u(8). Let r(d) = -d - 11. Let w be r(p). Solve w = -5*n + 3*n - 10 for n.
-5
Let i be (1/(-3))/((-2)/24). Let n(r) = -r + 6. Let l be n(0). Suppose l = -y + i*y. Solve 0 = -7*j + y*j - 5 for j.
-1
Let h(q) be the second derivative of q**3/6 + q**2/2 + 2*q. Let m be h(-1). Solve d + d - 2 = m for d.
1
Let b = 3 + -2. Let x = 26 + -26. Solve b = j - x*j for j.
1
Let v(x) = x**3 + 6*x**2 - 3. Let d be v(-6). Let p be (-1 - (-10 + -2)) + d. Let r be 4/p*(1 - 1). Solve 0*t - 2*t + 10 = r for t.
5
Let l = 18 - 13. Solve a = 2*a - l for a.
5
Let r(w) = w + 4. Let c be r(-2). Solve v + v - c = 0 for v.
1
Suppose 0 = -s + 2 + 3. Suppose -s*t - q - 3*q + 35 = 0, 14 = 2*t - 4*q. Let z be (1 - (-1 - -5)) + t. Solve -z*r + 31 - 11 = 0 for r.
5
Let t(w) = -w**3 - 6*w**2 - 4*w + 2. Let s be t(-5). Let o = s + 7. Solve -5*q + o*q = 0 for q.
0
Suppose 3*x = -r + 19, -r - 2*x = -0*x - 14. Suppose 2*m = 4*m - 6, 0 = -3*z - r*m + 18. Solve -z*o - 3 = 7 for o.
-5
Let k(i) = -i**2 - 19*i + 29. Let w be k(-20). Solve 7*o - 4*o - w = 0 for o.
3
Let z(c) = c**2 - 9*c + 11. Let l be z(8). Suppose -3*s + 15 = -9. Solve l*r - 23 = -s for r.
5
Let x(f) = 2*f - 4. Let w be (1*-1)/(3/3). Let s be -1 - (-3)/1 - w. Let t be x(s). Solve t*h - h = -3 for h.
-3
Suppose -3*i + 2*f + 29 = 2*i, -i + 15 = -5*f. Suppose i*m = 2*m. Solve -5 + m = 5*n for n.
-1
Let f(g) = -4 + 0 + 2*g - 5 - 6. Let k = -21 + 31. Let r be f(k). Solve 0*y = r*y - 15 for y.
3
Suppose -5*k - 59 = -3*k - r, 3*k = 3*r - 87. Let l be (6/10)/((-6)/k). Suppose h - 2*h = -l. Solve -h*m - m = 16 for m.
-4
Suppose c + 4 = -1. Let t be (-3)/5 + (-3)/c. Solve -4*l + 2 - 6 = t for l.
-1
Suppose 0 = -2*z + 4*z. Let x be (26 - -1) + (-2 - z). Solve -x = -0*a + 5*a for a.
-5
Suppose -1 = -p + 1. Let n(f) = -f**2 + 4*f**3 + 0*f**3 - 3*f**3 - f + 2*f**2 - 2. Let x be n(2). Solve -2*q + p = -x for q.
5
Let t = -13 + 13. Solve t = -q - 0*q + 4 for q.
4
Suppose 1 = 2*i + 5*n, 2*i + 3*i + 70 = 2*n. Let b = i + 16. Solve b*o + 1 = -7 for o.
-2
Let k(g) = -g + 10. Let a be k(7). Let j be (-2)/(-4) - (-4)/(-8). Solve -3 = -j*q - a*q for q.
1
Suppose -3*z - 6 = -6*z. Suppose -g + 15 = 4*g. Solve -z*f = -g*f + 2 for f.
2
Suppose 23 = 2*o - 3*t, 0 = 4*o - t - 0*t - 21. Suppose 0 = -o*k - 0*k, 4*u = -k. Solve -p + u*p = 2 for p.
-2
Let t = 16 - 9. Let k(n) = -n**2 + 8*n - 7. Let c be k(t). Solve c = -2*x + 7*x for x.
0
Let i(v) be the first derivative of v**3/3 - v**2 + 3*v - 2. Let b be i(3). Suppose d + 75 = -n + b*n, -10 = 2*d. Solve -4*r + n = -6 for r.
5
Let w = -160 + 173. Solve -b = -w + 9 for b.
4
Let g = -6 + 8. Let r be 3*g/(-9)*-3. Solve r*z + 6 = -z for z.
-2
Suppose -2*p - 7*p = -36. Solve -30 = -p*k - 10 for k.
5
Suppose 0 = 3*f, 6*g - 2*f = g + 10. Solve -4*d = -3*d + g for d.
-2
Let o(q) = -q**2 - 11*q - 8. Let b be o(-8). Solve 5*j = 1 - b for j.
-3
Let n be ((-4)/(-3))/(3/9). Let k = -16 + 17. Solve -n*a - k = 19 for a.
-5
Let p(b) = 2*b**2 - 2*b + 5. Let v be p(3). Suppose 4*s - v = -5. Solve s*i = 9 - 0 for i.
3
Let n be 16/(-10)*15/(-6). Let j be n*16/(-12)*-3. Solve 3*z + j = 7*z for z.
4
Let n(a) = -a**2 - 7*a - 6. Let i = 10 + -4. Let r be (-38)/i - 3/(-9). Let q be n(r). Solve -3*c + q*c = 0 for c.
0
Suppose 2*w - 2 = w - q, -w - 10 = -5*q. Suppose r - 4 = -w. Suppose -4*m + b + 17 = 0, 5*m = -2*b - 2*b + 16. Solve 0*u + m*u - r = 0 for u.
1
Let r(q) be the second derivative of q**5/10 + q**4/12 - q**3/6 - q**2/2 + 3*q. Let o be r(-1). Let k be (5/(-25))/(o/5). Solve -2*s + 3 = -k for s.
2
Let g = 14 + -2. Let y = -9 + g. Solve 0 = -n + y*n - 6 for n.
3
Let c(y) = -y**3 + 13*y**2 - 12*y + 8. Suppose 0 = -t + 2 + 10. Let g be c(t). Solve g*x + 25 = 3*x for x.
-5
Let y be (-9 + 2)/(-1 - 0). Let v(f) = f**3 - 7*f**2 + f - 1. Let a be v(y). Let o be 5*1*a/5. Solve -o*p + 2*p = 0 for p.
0
Suppose o = -d + 3*o - 15, 5*d + 3*o = -75. Let k be (-6)/d + 66/10. Let l be ((-3)/3 + 2)*k. Solve 0 = 2*f +