 - 5*a for a.
2
Let o be 4/18 + 305/45. Let y be (-7)/(o/(-2)) + 3. Solve 3*m - 2*m - y = 0 for m.
5
Suppose -4*t = 2*q + 12, 2*q + 1 = 2*t + 13. Solve -w + q*w = 4 for w.
4
Suppose 3*z - 17 + 2 = 0. Let t = -79 - -83. Let g = 15 - -6. Solve -z*u + g = -t for u.
5
Let w(m) = -m**2 - 7*m - 7. Let b be w(-5). Let p = 6 - b. Suppose -5*a + 16 = 3*n, -p*a + 5 - 2 = 4*n. Solve -q = -a + 4 for q.
1
Suppose 0 = -3*k - k - 64. Let i = -11 - k. Solve -4*g = -5*g - i for g.
-5
Suppose -y + 13 - 80 = -5*n, 3*n - 45 = -y. Solve 5*g + 11 + n = 0 for g.
-5
Let m = -3 - -8. Suppose -4*f = 3 + 1. Let p be (1 + f)/(14/(-7)). Solve -3*y + 10 + m = p for y.
5
Suppose 4*f = i + 7 + 2, -3*f = 5*i - 1. Let z be ((-1)/i + -2)*-9. Let a = -6 + z. Solve a*c = 5 - 2 for c.
1
Let o(a) = 5*a + 1. Let l be o(2). Solve -5*k - 14 = l for k.
-5
Let s be (2 + -1)/(2/8). Suppose s*c = -c. Solve c = -3*b - b for b.
0
Let o = 6 - 14. Let t = 11 + o. Solve -t*h = -h + 6 for h.
-3
Let w = 3 + -1. Suppose -w*o - 24 = -6*o. Solve n = o*n for n.
0
Let t(f) = 4*f**2 - 2*f - 2. Let o(g) be the first derivative of g**3 - g**2 + g + 4. Let u be o(1). Let y be t(u). Solve a = -a + y for a.
5
Let m(t) = -t**3 + 8*t**2 - 6*t - 4. Let i be m(7). Suppose -4*j = i*c - 11, c - 4*j + 4 = -3*c. Solve -4*s = -3 - c for s.
1
Suppose 2 + 14 = -4*b. Suppose -90 = 3*r + 2*r. Let w be b/r - (-34)/9. Solve w*s = -s for s.
0
Let l(w) be the second derivative of 7*w**4/12 - 2*w. Let d be l(1). Suppose -4*z - d*p + 2 = -2*p, 5*z - 11 = -2*p. Solve f = -2 - z for f.
-5
Let s = 11 - 8. Suppose -4*z = -t - 14, s*z = t - 0*t + 9. Let r(h) = -h**2 + 7*h - 5. Let f be r(t). Solve f = l - 2 for l.
3
Suppose 0 = 6*s - 2 - 28. Solve -s*d - 1 = 14 for d.
-3
Let z = 1 + -3. Let f(w) = -w**2 - 1 - 3*w + 0 - 1. Let q be f(z). Solve q = -6*k + 3*k for k.
0
Let o be 15/(-2)*14/(-21). Let u(v) = v**3 - 6*v**2 + 4*v + 7. Let d be u(5). Solve d*s = o*s + 12 for s.
-4
Let p(k) = -2*k + 6. Let d(o) = -3*o**2 - 3*o - 1. Let q be d(-2). Let m be p(q). Solve 0*t = 5*t + m for t.
-4
Let q(u) = -u**3 + u**2 - u + 5. Let o be q(0). Solve 6 - 21 = o*w for w.
-3
Suppose m + 4*d + 10 = -0*m, -2*m + 3*d + 35 = 0. Solve -z - m = z for z.
-5
Suppose n = -5*d + 19, 2*d = 4*d + 3*n - 5. Solve -d = -m + 5*m for m.
-1
Let g = -5 + 9. Suppose 2*u + 3*p + 4 = 5*p, 2*p - 4 = 4*u. Let n = g - u. Solve -n*c = c for c.
0
Let d(w) = w**2. Let o(t) = -7*t**2 + 6*t + 7. Let s(x) = 6*d(x) + o(x). Let f be s(7). Solve -3*i = -f*i for i.
0
Suppose 0 = -0*s - s. Let g(v) = -3*v**3 - 2*v**2 + v + 2. Let f be g(-1). Solve s = 5*c + 17 - f for c.
-3
Suppose 8 = -38*j + 42*j. Let h be 30/9*6/5. Solve -h*w + 2*w = j for w.
-1
Let a(g) = g**2 + 4*g + 5. Let j = -9 + 17. Suppose 5*s + j = 3*s. Let o be a(s). Solve 2*p - o = 3 for p.
4
Let t = 11 - 5. Suppose -44 = -3*d + 34. Suppose -4*k + 16 = -0*k. Solve -k*p = -t + d for p.
-5
Let m be (-4)/14 + 150/35. Suppose 0 = m*x - 2*x - 6. Solve x*k + k - 20 = 0 for k.
5
Suppose 0 = -3*c, -5*u + 64 = -4*c - 16. Solve 3*o = 7*o + u for o.
-4
Let o = -1 - -4. Solve -12 = -3*x - o for x.
3
Suppose -1 + 3 = 2*n + 4*k, -5*n - 3*k = -5. Let r = n + 0. Suppose 5 = -h - 4*m - 0*m, -m = -2*h + 8. Solve i - r - h = 0 for i.
4
Let o be 9*1/4 + 1/(-4). Solve -a - a = -o for a.
1
Suppose 2*b = 4*j, j + j = -3*b + 8. Solve j = 4*r - 7 for r.
2
Let o(x) = -x**2 - 9*x - 14. Let u be o(-4). Solve t - u*t - 5 = 0 for t.
-1
Let u = -1 - -3. Suppose -u*s - 12 = -t - 0*s, -3*s = -4*t + 28. Solve 0 = -k + t*k - 3 for k.
1
Let z be (-20)/2*8/(-16). Solve z*l = l for l.
0
Let q(k) = 8*k - 9*k - 6 + 3*k. Let h be q(5). Solve -h*g - 11 = 9 for g.
-5
Suppose 4*k - 2*i - 70 = 0, -14 = 3*k - 2*i - 69. Solve 3*n + 2*n = -k for n.
-3
Suppose -2*v = 4*w - 2*w - 14, -v + 15 = 3*w. Suppose -y = v*y. Let r be -2 + 0/1 + 18. Solve 5*c + r - 1 = y for c.
-3
Let n be (4/(-7))/(-1)*385/110. Solve -n*a + 0 - 2 = 0 for a.
-1
Let n(t) = t**2 - t. Let h be n(0). Suppose 4*l - 6*l + 2 = h. Solve 0 = -2*d + l + 3 for d.
2
Suppose 4*a = 2*a + 4. Solve -16 = -2*m - a*m for m.
4
Suppose 3*g - 4*r - 32 = 0, -g - 36 = -5*g + 2*r. Solve 0 = 3*d - g + 23 for d.
-5
Suppose -1 = 9*z - 10. Let l(y) = y + 5. Let r be l(-3). Solve -3*n - z = r for n.
-1
Suppose -6*n = -9*n + 6. Solve 2*o + n = 8 for o.
3
Suppose -2*s = -4*s + 4. Let k = 1 - 2. Let n = s - k. Solve -d + 8 = -n*d for d.
-4
Let k(b) be the second derivative of b**3/2 + 3*b**2/2 - 2*b. Let i be k(7). Let p be i/14 - 10/(-35). Solve -p*v - 4 = 2*v for v.
-1
Suppose 7*d - 3*d = 12. Suppose -2*x + 3*q = -3*x + 13, -5*q = 4*x - 38. Solve -x*j = -d*j - 12 for j.
3
Suppose 0 = -s - 0*s + 7. Let p = 39 + -34. Solve -s + 2 = -p*y for y.
1
Suppose 6*s - 20 = s. Solve -4*n + s = -3*n for n.
4
Suppose 5*y + 13 = g - 27, -g + 2*y + 25 = 0. Let d be (-27)/g*(-30)/9. Solve 4*s + d = -2 for s.
-2
Suppose -2*q + 4*j + 0*j - 12 = 0, -4*j = 3*q - 22. Suppose q*b = 3*h + 12, 5*h = 2 - 22. Solve b = z - 3 for z.
3
Let c(i) = -5*i**2 - 2*i. Let x(n) = 9*n**2 + 3*n. Let f(k) = -11*c(k) - 6*x(k). Let o be f(-4). Solve 4*q + 2 + 6 = o for q.
-2
Let l(n) = 2*n**2 - 11*n + 10. Let b be l(5). Solve -b*h = -h for h.
0
Let y(z) = -3*z - 1. Let f be y(-1). Let m(r) = r + 12. Let q be m(-9). Suppose -q*u = 2*u. Solve f*x - x = u for x.
0
Let i = -6 + 6. Let a be i/(3 + 1 + -2). Solve a = -m + 6*m - 15 for m.
3
Suppose 4*v + 12 = 8*w - 3*w, -5*v = 5*w + 15. Let z(x) = -x + 5. Let i be z(7). Let m be ((-18)/(-12))/(i/(-4)). Solve w*b + 6 = m*b for b.
2
Let r = -6 - -4. Let q be r/(-5) + (-10)/25. Suppose 6*x - 14 = 2*x - 2*u, 3*x + 4*u + 2 = q. Solve x*h - h = 20 for h.
4
Suppose -3*c - 24 = -6*c. Suppose -30 = -2*r - 4*h, 4*r + 4*h - 30 = 2*h. Solve 7 + c = r*d for d.
3
Let n be (27/18)/(3/8). Suppose b - 25 = -n*b. Solve -15 = b*x - 2*x for x.
-5
Suppose -13*x = -5*x - 56. Solve -3 + x = 4*y for y.
1
Let f be 2/(-4) - (-41)/2. Suppose 0 = 3*r - 1 - 29. Let t = r - 5. Solve 0 = t*n - 0 - f for n.
4
Let b(v) = v**2 + 6*v - 9. Let c be b(-8). Solve -c*f = -5*f + 2 for f.
-1
Let v be ((-17)/2)/((-15)/30). Solve v + 8 = 5*q for q.
5
Let r = 17 - 3. Suppose y - 1 - r = 0. Let o(n) = n**2 - 3*n - 1. Let m be o(4). Solve 0 = -m*q + y for q.
5
Let k(i) = -i**3 + 5*i**2 - 3*i. Let u(q) be the first derivative of -q**2/2 - 2*q - 1. Let c be u(-5). Let w be k(c). Solve 2*o - w = 1 for o.
5
Let p(l) = -l**3 + 4*l**2 + 5*l - 6. Let j be p(4). Suppose 2*r + 6 = j. Solve -2*w = -r*w for w.
0
Let s = -192 + 196. Solve s*b + 9 - 17 = 0 for b.
2
Let u(h) = -h - 1. Let i be u(-3). Solve -t = -i*t + 3 for t.
3
Let z = -5 + 8. Solve 2 + z = -h for h.
-5
Let j be 4 - (-1 - 0)*0. Suppose 0 = 3*i - a - 44, 3*i + i + 5*a - 84 = 0. Suppose 5*m = j + i. Solve h + h = -m for h.
-2
Let o be ((-4)/(-12))/(2/18). Let x be (-2)/1 + o - -29. Suppose 0*j = -5*j + x. Solve 2 = -4*u + j for u.
1
Suppose 0 = w + 3*i, -2*i = 2*w + 2*i. Solve w = 2*v - 7*v + 5 for v.
1
Suppose 3*b + 5*d - 1 + 5 = 0, 5*d = 2*b - 39. Suppose 3*j - 14 = b. Let z = -4 + j. Solve -z*w = -w + 2 for w.
-1
Let x be (0 - 1)/(1/(-2)). Let n be (x/(-8))/((-5)/20). Solve 5*b = n - 11 for b.
-2
Let o = 9 + -2. Let y = o + -5. Suppose 4 = -h + 16. Solve -y*v - h = 2*v for v.
-3
Let m be 15/9*(1 - 4). Let p = 10 + m. Solve 0 = -p*n - 3 - 17 for n.
-4
Suppose 0 = 7*n - 2*n. Suppose n*d = d. Suppose 4*i + 4*w = 44, -2*i - 4*w = 3 - 17. Solve d*v - 5*v + i = 0 for v.
3
Let c(w) = w**2 + 5*w - 4. Let r be c(-7). Solve -11*k + r*k + 1 = 0 for k.
1
Suppose -3*z = 22 - 4. Let m be 96/44 - z/(-33). Solve -m*u = -u for u.
0
Suppose -7 - 5 = -4*a. Suppose -c - 4 = -a*c. Solve 4 = c*m + 2 for m.
1
Let o(q) = -q**3 + 3*q**2 - q + 1. Let t be o(2). Suppose -t*w - n = -2, 12 = -6*n + 3*n. Suppose 4*g - w - 6 = 0. Solve 14 - g = -4*b for b.
-3
Let r = 11 + -6. Let d be (r/2)/(5/10). Solve 2*z = d*z + 6 for z.
-2
Let a(f) = f + 15. Let w be a(-13). Solve -c + w = -2*c for c.
-2
Let u = 9 + -7. Let m(c) = c**2 - 1. Let s be m(u). Solve 2*d = d - s for d.
-3
Let x be (0/(-1))/(4/2). Let t = x + -2. Let s be ((-1)/t)/((-2)/(-4)). Solve -k - s = -4 for k.
3
Let x(o) = 7*o**2 + 2*o - 2. Let n be x(1). Suppose -14 = -3*k + n. Solve -2*g - k + 1 = 0 for g.
-3
Suppose 3*i - 5*i - 5*m = -45, -4*i + 4*m = -132. Let z be (-8)/(-6)*i/