 + 3. Let h(q) = x(q) + 4*z(q). Let n be h(2). Let m = 28 + n. Solve m = i - 4*i for i.
-3
Suppose 0 = 2*o + 7 + 7. Let j(h) = -2*h - 2. Let b be j(o). Suppose b = 2*l + 2*l. Solve 2*d = -7 + l for d.
-2
Suppose -3 = -3*h - 0*h. Let r = 1 - h. Suppose r = -3*z - z. Solve 2*f - f = z for f.
0
Suppose 3*h = 3*q - 18, 2*h = -5*q + 3*q - 24. Let m = h + 12. Solve m*c + 2 = 5*c for c.
1
Suppose 3*o - 4*o = 0. Let z = 2 + o. Suppose -z*v = 2*f - 0*f + 8, 8 = -4*v - 2*f. Solve v + 20 = -4*t for t.
-5
Suppose -2*w = 5*h + 2*w - 33, 0 = 2*h - 4*w - 30. Suppose o = d - o - h, -o = 3. Solve 0 = x - d*x - 6 for x.
-3
Let q(m) = -m + 15. Let x be q(9). Let z(j) = -j - 13. Let a be z(-13). Solve 5*u + x + 9 = a for u.
-3
Let o be (-154)/(-56) - 1/(-4). Solve -4*h = -o*h + 1 for h.
-1
Let l(p) = 12*p - 39. Let s be l(5). Solve 5*v - 6 + s = 0 for v.
-3
Let y be (7 - 1)/(3/2). Let b(q) = q - 3. Let z(n) = 1. Let d(t) = -b(t) + z(t). Let v be d(y). Solve -k + v*k = 0 for k.
0
Let n(q) = q**2 + 5 + 2 + 17*q - 13*q - 1. Let v be n(-4). Solve -1 + v = -5*w for w.
-1
Let q(w) = w**2 - 4*w - 2. Let x be q(5). Let v be ((-6)/(-4))/(36/48). Suppose -x*j - v*j = 0. Solve j*n = -n for n.
0
Let j be (-14)/63 + 2/9. Solve j*b = 3*b - 9 for b.
3
Let n(g) = -g**3 + 5*g**2 - 2*g + 6. Let h be n(4). Solve 0 = -4*v - h - 6 for v.
-5
Let v be 3015/21 + 9/21. Let b be v/(-56)*14/(-3). Solve 0 + b = 4*q for q.
3
Let n(r) = -13*r + 15. Let f(g) = -6*g + 7. Let i(j) = -9*f(j) + 4*n(j). Let v be i(2). Solve a - v = -3 for a.
-2
Let q(v) = v**2 - v. Let h be q(0). Let i(g) = 6*g**2 + g - 1. Let c be i(1). Suppose -6 - 4 = 5*u, -3*a - c = 3*u. Solve a = 2*b - h - 4 for b.
2
Let b be (4/5)/((-1)/(-5)). Suppose 5*z - 65 = -3*y - 13, -3*y = -z - 22. Suppose b*h - h = y. Solve h*u = u for u.
0
Let d be (-15)/(-4) - 3/(-12). Suppose -5*j - i = -16, 4*j - d*i - 28 = -i. Solve 0 = -c + j*c for c.
0
Let d(p) = -p**2 + 7*p + 2. Let w be d(8). Let n be 9/(-2)*8/w. Solve 0 = -2*k - 0*k + n for k.
3
Let p(g) be the third derivative of -g**5/60 + 5*g**4/12 - 2*g**3 - 3*g**2. Let q = -2 - -10. Let v be p(q). Solve 0 - v = -4*t for t.
1
Let l(g) be the third derivative of -g**6/120 + 3*g**5/20 + g**3/6 - 2*g**2. Let h be l(9). Let k be h/(2 + (0 - 1)). Solve -d + 6 = k for d.
5
Let x be (-60)/(-16) + (-2)/(-8). Suppose -5*q - 24 = -4*v, 8 = x*v - q - 16. Solve 2*f + 2 - v = 0 for f.
2
Suppose 0*n + 3 = n. Solve -n = y - 8 for y.
5
Suppose 0 = -0*t + 3*t - 12. Let c be (-2)/(-11) - (-20)/11. Solve c*l - 6 = t for l.
5
Let u = 13 - 10. Let g(q) = q**3 + 4*q**2 - q - 4. Let c(l) = l + 1. Let r be c(-5). Let t be g(r). Solve t*o + o - u = 0 for o.
3
Let v be (-1 - -2)*-1*-3. Suppose -2*m = -g - v, -3*m = -g + 2*m - 12. Solve -k - 16 = g*k for k.
-4
Let k(d) = -d**2 + 5*d + 2. Let f be k(5). Suppose -t + 3*r - 4 = 0, 10 = -t + 6*t - 5*r. Solve -f*n + t*n = -3 for n.
-1
Suppose 0*z - 2*z = -3*n - 12, 0 = -4*z + n + 14. Solve z*b + 2 + 7 = 0 for b.
-3
Suppose -3*c + 54 = -3. Suppose -5*q - 7 = h, 4*h - 3*q + 1 - c = 0. Let t(r) = 2*r**2 + 3*r + 2. Let s be t(h). Solve -s = -5*z - 4 for z.
5
Let h(q) be the first derivative of q**2/2 - 2*q - 2. Let b be h(2). Suppose 2*n + b*n = 8. Solve x + n*x = -25 for x.
-5
Suppose -4*q = 5*t + 68, -40 - 4 = 4*t - 2*q. Let v be 12/(3 + 27/t). Solve 0 = 6*m - 2*m + v for m.
-4
Let c be 2 - 12/(2 - 6). Solve -24 = c*a + 1 for a.
-5
Let a be -2 + 2 + 0 + 2. Suppose 3*k + 9 = 0, -m + a*k - 4 = 4*k. Solve -z - m = -5 for z.
3
Let i = -5 - -7. Suppose 6*k - 12 = 4*k. Suppose 5*v - i*u = -0 + k, 3 = -v - u. Solve 2*w = -v*w - 2 for w.
-1
Let t be 6 + 1 + 4 + -2. Let d = -3 + 5. Solve -c - d*c = t for c.
-3
Let y be (-4)/(-10) + (-46)/(-10). Suppose y*v = 4*v + 4. Suppose -s + 0 + v = 0. Solve 4 + s = 2*t for t.
4
Let l = 13 - 3. Solve -2*m = -2 + l for m.
-4
Let q = 51 + -46. Solve 11 + 9 = q*c for c.
4
Suppose -2*z + 19 = -s, 2*z = -3*s - 0*z - 17. Let w = s + 9. Suppose 0 = -4*f - w*f. Solve 2*b + 4 - 10 = f for b.
3
Let n(u) = -u**3 - 11*u**2 + u + 13. Let x be n(-11). Suppose 2*s - x - 2 = 0. Solve -s*r = 2*r for r.
0
Let x be -1 - ((-1)/(-1))/(-1). Let a(i) = i + 5. Let k be a(x). Solve 0*y - k*y = 0 for y.
0
Let z(b) = -b - 3. Let q be z(4). Let i = -6 - q. Solve 2*s - i = 1 for s.
1
Suppose -19*c + 45 = -14*c. Solve c + 3 = -4*i for i.
-3
Suppose 2*c - c = -3*s + 6, 5*c + 5*s - 10 = 0. Let x be 12 - (2 - c/(-2)). Suppose -2*u = -6 - x. Solve z - u + 4 = 0 for z.
4
Let z(u) = 3*u + 0*u - 5*u**2 + 4*u**2 + 2 + 2*u. Let m be z(5). Solve 0 = -2*o - m + 12 for o.
5
Let m be (33/(-15) - -3) + 6/5. Solve n = -3 + m for n.
-1
Let h = -22 - -10. Let c(s) = s**2 - 12*s - 11. Let b be c(11). Let f = h - b. Solve d + d = f for d.
5
Let s(b) = -b**3 + 3*b**2 + 3*b + 4. Let u be s(4). Solve 0 = -u*o - 2*o - 8 for o.
-4
Let w(u) = 2*u - 9. Let t be w(6). Suppose 2*p - t*p = -3. Suppose 3*y - 7 = -1. Solve -p*b - y = 7 for b.
-3
Let w(y) = 2*y - 1. Suppose -7*r + 10 = -2*r. Suppose 0 + r = p. Let m be w(p). Solve -x + 0*x = m for x.
-3
Let c be 4/30*5*3. Solve c*d + 7 = -1 for d.
-4
Let q be ((-7)/(-1) + -1)*2. Let b be (q/14)/(4/28). Let p = b - 3. Solve p = 2*s - s for s.
3
Let q(l) = l**2 + 8*l - 6. Let x be q(-9). Solve 2*y + 1 = -x for y.
-2
Let h(c) = c**2 - 7*c + 6. Let a be h(4). Let x = -3 - a. Solve x*s + 2 = -10 for s.
-4
Suppose q + 5*n - 7 = -0*q, -4*n = -q - 2. Let h be -2 - ((4*6)/(-4) + 1). Solve -q*y + 5*y + h = 0 for y.
-1
Let x = -26 + 30. Solve 2*i - x = -6 for i.
-1
Suppose 2*d - 48 = 2*t, -2*d = 3*t - 25 - 38. Suppose 0 = 5*r - v + d, 3*r + 5*v = 4*r - 9. Let f be 1/(3/r*-1). Solve 8 = f*y - 4*y for y.
-4
Let r(f) = f**2 - 8*f + 4. Suppose 7*w - 24 = 4*w. Let k be r(w). Suppose 4 = -k*j + 16. Solve t - j = -0*t for t.
3
Let u = 4 + 1. Suppose 4*p + w = 25, 5*p + 16 = -u*w + 66. Suppose -p*z + 25 = 5. Solve -12 = -z*n + n for n.
4
Let t = -8 + 13. Let n = 8 - t. Suppose -2*y - 8 = 4*v, 5*v + 5 + 5 = 0. Solve y = -n*w + 4*w + 1 for w.
-1
Let o be ((-3)/3 + 0)*-1. Solve -4*c + o = -3 for c.
1
Let x be (-1*1)/((-2)/10). Let m(y) = y + 6. Let i be m(-3). Let j = -24 + 34. Solve -j = i*r - x*r for r.
5
Suppose 14*r = 3*r + 11. Solve o + r = 5 for o.
4
Suppose 0 = -2*b + 2 - 4. Let s be 8/16*(51 - b). Solve -4*r - 10 + s = 0 for r.
4
Suppose 0 = 8*i - 10*i + 4. Solve -i*m = -0*m - 8 for m.
4
Let b be (-18)/12 - (-9)/2. Solve 0 = b*p - 6*p - 12 for p.
-4
Suppose -20*u + 23*u = 3. Solve u = -h - 0*h for h.
-1
Suppose 6*x = -12 + 30. Solve -i = -x*i - 8 for i.
-4
Let n = 12 + 0. Suppose 4*y = 4, 5*i - 15 = 2*y - 7*y. Suppose -4*b = -k - 2 - i, -b - 4*k = 16. Solve b = 3*f - n - 0 for f.
4
Suppose 0 = -2*r + 5*r - 3. Let j be ((-13)/5 + 1)*25/(-10). Solve 5 = j*h + r for h.
1
Suppose 2*a = t + 6, -7 = -5*t + 13. Suppose 5*r = 10 + a. Solve -r*g = -6 - 0 for g.
2
Let k(f) = 6*f**2 - f. Let p be k(-1). Let a = p - 4. Let c = a - 0. Solve 3*r - 12 - c = 0 for r.
5
Suppose -15 = 3*l + 15. Let s = 14 + l. Suppose 0 = y - 6. Solve -y = -2*k + s*k for k.
-3
Let g = 0 + 2. Suppose -g*d = 3*d - 260. Let b = -37 + d. Solve -3*c = -6*c + b for c.
5
Suppose 3*p = -3*a - p, -5*a + 8 = 4*p. Solve -a*o - 16 = -4 for o.
-3
Let j(w) = 2*w - 3. Let s be j(5). Suppose -a - 3*q = s, 5*q - 4 = -4*a - 11. Solve 0*i - a*i = -8 for i.
4
Suppose 63*p - 61*p = 0. Solve p*v - 15 = 3*v for v.
-5
Let x(j) = 2*j**2 - 7*j + 5. Let q be x(3). Solve -h = -1 - q for h.
3
Let t(q) = -3 + 2 + 9 + 3 - q. Let o be t(8). Suppose o*z - 24 - 15 = 3*k, 4*z - 76 = -4*k. Solve -z = 3*n - 4 for n.
-4
Let j be -1 + 3 - 1 - -11. Suppose 3*a + 15 = 4*h + 2*a, -2*h + 2*a = -j. Solve 20 = -8*c + h*c for c.
-4
Let n be (2/(-5))/((-7)/35). Let l(s) = s + 2. Let d be l(-2). Let o = n + d. Solve o*k + 1 = k for k.
-1
Let g be (-3)/(38/(-8) + 4). Solve g*x + 1 = -11 for x.
-3
Let i(m) = -m**3 + 7*m**2 + 9*m - 6. Let j be i(8). Solve 0 = -l - j*l for l.
0
Suppose -2*w = 4*x - 34, -2*w + 5*x + 0*x - 11 = 0. Suppose 5*i - 4*j = -0*j - 35, 0 = j - 5. Let p = w + i. Solve 0 + p = -4*g for g.
-1
Let v(i) = -i**3 + i**2 + 2. Let a be v(0). Solve -2*y = -6 - a for y.
4
Suppose 4*k - 31 = -3*m, 3*k = -k - m + 21. Solve 0 = -7*c + k*c - 12 for c.
-4
Let k(j) = -j**2 + 2*j - 3. Let f be k(2). Let d = f - -7. Solve d*t - 19 = -3 for t