. Solve -j*a + 3*a - 15 = 0 for a.
-3
Let w(n) = n**3 - 7*n**2 - 6*n - 12. Let u be w(8). Suppose 0 = 2*f + 5*v - 5, 3*f + 3*v - 7*v - 65 = 0. Solve -u*l + l = f for l.
-5
Let f = 93 - 93. Solve f = -y + 3*y for y.
0
Let b(f) be the third derivative of -f**4/24 - 5*f**3/6 - 5*f**2. Let r be b(-5). Solve l = -r + 5 for l.
5
Suppose 7 = 7*y - 7. Suppose -1 = -r - 3*o + 8, 0 = -3*r + 2*o - 6. Suppose 2*u - 72 = -y*u + 2*h, r = -2*u - h + 28. Solve 7*t - 3*t = u for t.
4
Let v be ((-2)/3)/((-6)/36). Solve -2*b = -v*b + 8 for b.
4
Suppose 4 = 4*z - 12. Solve 0 = -z*m + 5 - 21 for m.
-4
Suppose 3*c - 9 + 0 = 0. Suppose 1 = -2*x - c*t, -x - x - 3 = 5*t. Solve -2 - x = -3*n for n.
1
Let r = 12 - 11. Solve -4*l = -r - 7 for l.
2
Let o = -1 + 4. Let c = o - 6. Let j be 8/12 - 13/c. Solve -j*f = -2*f for f.
0
Suppose -5*h + 2*l - 4*l + 8 = 0, 4*h + 4*l = 16. Solve 0 = -5*n + 5 - h for n.
1
Let s(r) = -r**2 + 8*r - 11. Let z be s(5). Solve z = x + 3 for x.
1
Suppose -5 - 67 = 6*s. Let o = 17 + s. Solve o = -3*t - 2*t for t.
-1
Let j be 16/(-6) - (-1)/(-3). Let w be (4/j)/(2/(-9)). Let v = 10 - w. Solve r = 2*r - v for r.
4
Let u(y) = -4*y**2 + 2*y**2 - y + 4*y + 4. Let a be u(-7). Let l be a/(-15) + (-1)/(-3). Solve w - 5*w - l = 0 for w.
-2
Let j = 207 + -201. Solve -z - 4 = -j for z.
2
Let z be (-3)/(-4) - 9/12. Solve -20 = -z*q + 4*q for q.
-5
Let r be ((-6)/4)/((-1)/6). Suppose -3*i = 3*t, i - 5*t - 8 = -4*t. Let b be (6/8)/(i/16). Solve b = 4*f - r for f.
3
Let u = 30 + -30. Solve u = 2*v - 3*v for v.
0
Let g = -1 + 1. Let z(l) be the first derivative of -l**4/4 + l**2/2 + 9*l + 2. Let j be z(g). Solve 16 = 5*y - j for y.
5
Let j be ((-96)/56)/(4/(-14)). Solve -2*k + j = -0*k for k.
3
Let w be (3 - 1)/(8/12). Let r be w - (-5 - 1)/(-2). Solve -l + 4*l - 12 = r for l.
4
Let s be ((-2)/1*1 - -2)/(-2). Solve -2*a + a = s for a.
0
Suppose 3*m - 74 = -14. Suppose 3*p + 3*y + 2*y = 15, -2*y + m = 4*p. Solve 0*n - n = -p for n.
5
Let o be (12 - 6)*10/6. Solve 0 = -b + 3*b + o for b.
-5
Suppose 9*d = 14*d - 20. Solve -l = -d + 7 for l.
-3
Let k = 9 + -6. Suppose -5*b + 109 = 9. Let j = b + -14. Solve k*o + j = o for o.
-3
Suppose 2*x - 6 - 4 = 0. Solve 11 = x*c + 1 for c.
2
Suppose -3*n = n. Suppose n*d - 5*d = 3*c + 8, -d - 8 = -c. Solve 5*g - c = 1 for g.
1
Let a = 22 - 20. Solve -j = -a*j - 4 for j.
-4
Suppose -2*i + 4 = m - 5, 4*i + 3*m = 23. Let f(w) = w. Let o be f(4). Suppose 0*l - 5*a = -2*l + 10, i*a + o = -3*l. Solve 3*d - 12 = -l*d for d.
4
Suppose 5*i - 3 - 17 = 0. Solve 0 = -5*p + i*p + 1 for p.
1
Suppose 0 = 3*y + g - 15, -20 = -4*y + 3*g. Let p = -5 + y. Solve -a + p*a = -4 for a.
4
Let l(r) = r**2 - 5*r + 3. Let c be l(6). Solve 3*n = -c + 3 for n.
-2
Suppose -10 = 2*f - 30. Solve 2*r = 4 - f for r.
-3
Suppose -5*a - d = -19 - 1, 5*d + 12 = 3*a. Let l(c) = -c**3 + 3*c**2 + 4*c + 2. Let r be l(a). Let j be ((-8)/(-6))/(r/3). Solve -f - j + 1 = 0 for f.
-1
Let c(q) = 6*q**2 - 8*q + 4. Let m(w) = 7*w**2 - 9*w + 5. Let l(h) = 6*c(h) - 5*m(h). Let s be l(4). Solve -5*r = -s - 7 for r.
2
Let m = 5 + -5. Suppose -15 = -5*x - m*x. Solve 0 = -2*n - x - 7 for n.
-5
Let c(g) = -g**3 - 1. Let q be c(-1). Solve 2*t - 3*t - 4 = q for t.
-4
Suppose -3*o = -5*j - 13, -o - 2*j + j = -7. Solve 9 + o = 5*l for l.
3
Suppose v + 6 = 5*f + 1, -v + 2 = 2*f. Suppose v = h - 5*o - 25, 3*o + 1 = -4*h - 14. Solve 3*b + h = -12 for b.
-4
Let l be 5/(15/12) - 0. Let g(s) = -s**2 + 5*s + 1. Let t be g(l). Let w be t + (1*-2)/2. Solve -w*p = -3*p + 4 for p.
-4
Let g(a) = -a - 1. Let m be g(-5). Solve -b = m - 0 for b.
-4
Let f(t) = -2*t**3 + 11*t**2 + 5*t + 8. Let k be f(6). Solve -k*v + 3 = 1 for v.
1
Suppose g = -3*x + 11, -3 - 3 = -2*g - 2*x. Let w = -1 - g. Let f(j) = j - 4. Let y be f(7). Solve -y = -w*m + m for m.
-3
Suppose -3*h + 5 + 22 = 3*v, -v + 13 = 2*h. Solve 5 - 1 = -h*l for l.
-1
Let l(o) = -o**3 + 3*o**2 - o + 1. Let w be l(2). Suppose w*h - 80 = 2*c, 4*c + 142 = 5*h + 5*c. Suppose -2*f + h = -2. Solve 7*u - 2*u - f = 0 for u.
3
Let q = -67 - -87. Solve -4*s = s + q for s.
-4
Suppose 3*b - 6 = 0, -5*s - b - 3*b - 22 = 0. Let t be (-28)/s - (-3)/9. Solve 3 = -t*x + 13 for x.
2
Let x be 14/6 - 6/18. Suppose x*z - 5*z + 4 = -q, 2*q + 8 = -2*z. Suppose 0*w + 5*w - 55 = z. Solve 2*t - 3 + w = 0 for t.
-4
Let r = -3 + 3. Let u = 10 + -6. Solve -12 = -u*z - r for z.
3
Suppose 0 = 2*m - 4 - 0. Suppose 16 = -o + 2*o - 5*j, -2*o - 5*j + m = 0. Solve -3*b + 12 = -o*b for b.
-4
Let s(g) = g - 1. Let d be s(-3). Let c = 12 + d. Solve 0 = -5*x - c + 33 for x.
5
Suppose 2*o + 5*r - 22 = 0, -6 - 10 = -2*o - 2*r. Solve 7*c - o = 4*c for c.
2
Let y be (10/(-2) + 7)/(6/9). Solve -y = 3*w - 12 for w.
3
Let d = 6 - 2. Suppose -v - d*v = -75. Solve -v = -2*j + 7*j for j.
-3
Let u(g) = 4*g**3 + g. Let c be u(1). Let n be (-40)/(-2) - (-3 - 0). Let j be (-4)/14 - 116/(-14). Solve c*k = n - j for k.
3
Suppose f = 5*d - 10, d + 4*f - 3*f = 8. Suppose 2*o - 8 = 0, -i - i + d*o = -4. Let y = 10 - i. Solve 4*p = 6 - y for p.
1
Let q be (-3)/(-3) - 2 - 1. Let t be 1/q + (-168)/(-16). Solve -f - t + 5 = 0 for f.
-5
Let n be 2/(-11) - 245/(-77). Solve 0 = -7*s + n*s - 8 for s.
-2
Suppose 2*h - 5*h = -21. Let q be (-69)/(-21) - (-2)/(-7). Let r(t) = -t + 2. Let y be r(-10). Solve -q*z = -h*z + y for z.
3
Suppose 18 = s - 0*s. Let c be s/3*(-3)/(-9). Solve b = c*b + 4 for b.
-4
Suppose -8 = 3*o - 7*o. Let d be 6/o - (-1 - -1). Solve -2 - 4 = -d*t for t.
2
Let t(f) = f**2 + 6*f + 5. Let p be t(-5). Solve l + 2 + 2 = p for l.
-4
Suppose -3*v + 1 = z, -6*v = -5*z - 4*v + 22. Suppose z*n - 8 = 2*n. Solve 6 = -5*w - n for w.
-2
Suppose 14*m = -5*m + 57. Solve m - 23 = 4*p for p.
-5
Suppose -10 = -2*p + 4*u - 2*u, -5*p = 3*u - 49. Solve -5*k + 12 = -p*k for k.
-4
Suppose 24 = 3*p - p. Solve -5*k = -2*k + p for k.
-4
Suppose -2*v - 1 = i - 3*v, -v - 9 = i. Let s = -3 - i. Suppose 0 = -3*m - 9, 16 = -0*p + s*p - 2*m. Solve -p*n = 4 + 1 for n.
-1
Let w = -9 + 13. Suppose 0 = -3*i - 2*d - 2*d + 58, -w*d = 2*i - 44. Solve 0 = -4*k - i + 6 for k.
-2
Suppose 5*t - x - 47 = 0, 2*t - 4*t + 17 = -x. Solve r = -4*r - t for r.
-2
Let u(h) = -h**3 + 8*h**2 - 4*h - 2. Let s be u(7). Let p = -17 + s. Solve 0 = z + p*z + 3 for z.
-1
Let c be 2 + -2 - (1 + -3). Let o be (-52)/(-14) - c/(-7). Suppose 3*b - o*b + 5 = a, -b - 3*a = -11. Solve 0 + b = -f for f.
-2
Let u be 15 + -4 + 3 - -2. Solve 4*a + 0*a = -u for a.
-4
Suppose 10*o = 6*o + 24. Solve 0 = -s - s - o for s.
-3
Suppose 5*d + 10 = 0, 4*x + 4*d - 1 = 7. Solve -x*o + 7 - 27 = 0 for o.
-5
Let v(h) = -h**3 + 3*h**2 + 5*h - 5. Let p be v(4). Let s = p - -4. Solve -7*r + 16 = -s*r for r.
4
Let y(a) = a**3 - 15*a**2 + 16*a - 19. Let n be y(14). Let o(g) = -g + 5. Let z be o(5). Solve 3*t + n = -z*t for t.
-3
Let p = -16 + 16. Suppose 0*f + 5*f - 25 = p. Solve -r = -2*r + f for r.
5
Let b = 195 - 191. Suppose -3*x = 9, x + x = -4*i + 2. Solve i*g = 3*g + b for g.
-4
Let l be -8*(-9)/(-6)*6/(-9). Solve l = -3*r + 7*r for r.
2
Let x = 46 - 42. Solve -x*s + 25 = 5 for s.
5
Let p(g) = g**3 - 5*g**2 + g - 4. Let b be p(5). Let q = b + 0. Let d = -1 + q. Solve 2*v - 4*v - 2 = d for v.
-1
Suppose 2 = 4*y - 3*y, -3*f = 4*y - 83. Solve -5*l + f = -10*l for l.
-5
Let m be 6/(-2 + (-2)/(-4)). Let k(x) = -x**2 + 5*x - 7. Let h be k(5). Let g = m - h. Solve -t + 8 = -g*t for t.
-4
Let b(q) = q**2 - 15*q - 15. Let y be b(16). Solve i = y + 4 for i.
5
Suppose k + 3 = -0*k. Let a(z) = -z**2 - 2*z + 3. Let m be a(k). Solve 4*x - x - 12 = m for x.
4
Suppose 9 = 5*j - 91. Let n be 6/4*j/3. Solve -2 + n = -4*t for t.
-2
Suppose -4 = -3*o + i, o + i = 2*o. Solve 8 = -o*g + 4*g for g.
4
Suppose -4*c = -12 - 8. Suppose -2*v - 5*b - 51 = -160, 3*v - c*b - 201 = 0. Suppose -11 + v = 3*p. Solve 8 - p = -3*a for a.
3
Suppose -2*v - 3*h + 2 = 0, -2*h - 2*h + 12 = 5*v. Suppose v*t + 8 = 0, -l + 11 = -4*t + t. Solve 0 = 2*j - l + 1 for j.
2
Let w be 10/(-4)*(-6 + 8). Let d be (12/w)/(2/(-5)). Solve -5*l + d = -2*l for l.
2
Let u(v) be the third derivative of v**6/120 + 7*v**5/60 + 2*v**3/3 + v**2. Let i = -8 + 1. Let y be u(i). Solve -y*c = c for c.
0
Suppose 4*o = 4 + 4, -g - 5*o + 15 = 0. Let d = -5 + 9. Let w = 4 + -1. Solve d + g = w*s for s.
3
Let l(k) = -k - 5. Let z be l(-5). Su