 + 7*a - 15. Suppose -2*n - a = 3*q - 2*q, 0 = 2*q - 2*n - 6. Solve 5*f - 4*f + 2 = q for f.
-2
Let l = -4 - -5. Solve 5 = 4*i + l for i.
1
Let m = -3 - -3. Suppose 4*k = 55 + 121. Suppose -81 = -5*x + k. Solve m = -4*p - p - x for p.
-5
Suppose 15 - 1 = -2*m + 3*b, -3*b + 18 = -3*m. Let v = 5 + m. Solve 0 = -2*z - v + 9 for z.
4
Suppose -j = j. Solve -1 = n - j for n.
-1
Let x = -15 - -15. Let g = -1 + 2. Let b be g/5 + (-57)/(-15). Solve 3*m - b*m - 3 = x for m.
-3
Suppose -4*n - 4 = 2*k - 3*k, 8 = 2*k - n. Suppose 0 = r + z + 1, 5*z + 23 = 6*r - 2*r. Solve p = r*p - k for p.
4
Suppose b - 11 = -3*x - 1, 5*x - 2*b - 13 = 0. Solve -x*o - 10 = -5*o for o.
5
Suppose 60 = o - 0*o. Suppose 4*x - o = -x. Solve -2*h - x = 2*h for h.
-3
Let i(s) be the first derivative of s**3/3 - 3*s**2 + 5*s + 1. Let c be (6 + 2 + -1)*1. Let m be i(c). Solve 0*g - m = 3*g for g.
-4
Suppose -5*w = -14 - 11. Suppose -w*t = -3*t. Solve 4*u - u = t for u.
0
Let m = 11 - 6. Let w = -22 - -22. Solve w = -o + m*o for o.
0
Suppose -33*t = -38*t. Solve l - 5*l = t for l.
0
Let a(n) be the third derivative of n**5/15 - n**4/6 + n**3/2 + 38*n**2. Let x(c) = c**3 + 1. Let q be x(1). Let g be a(q). Solve 9 + g = -4*r for r.
-5
Suppose 0 = 3*m + 4*d - 51, d - 2*d = -m + 17. Let j = m + -4. Solve -3*s + j = 4 for s.
3
Let u be ((-3)/6)/(4/8). Let h be u + 1 + (2 - 0). Solve -v = h*v for v.
0
Let f(d) = d + 9. Let y be f(-9). Suppose y = -5*p + 3*p - 4*l, p + l = 3. Suppose r + 4*r = 10. Solve -p = -4*k - r for k.
1
Suppose 5*r = -3*h - 65, -3*h = -0*r + 4*r + 61. Let g = 17 + h. Solve -3 = -x + g for x.
5
Let j = -567 + 918. Let m be 2/4 - j/(-18). Solve 0 = 4*i - 0*i + m for i.
-5
Let g = 1 + 0. Solve q + 2 + g = 0 for q.
-3
Let t = -3 - -16. Let y be (-4)/22 - t/(-11). Let z(k) = k + 12. Let u be z(-8). Solve -g + u = -y for g.
5
Let z(o) = 0*o - 3 + 4*o - 6*o**2 - 5*o**3 + 6*o**3. Let p be z(6). Solve 4 = 5*g - p for g.
5
Let n(c) = 10*c**2 + 2*c + 1. Let a be n(-1). Suppose 0 = -j - 2*q + a, -3*q = j - 5*q - 1. Solve 9 - 4 = -j*v for v.
-1
Let v = 12 + -10. Suppose 0 = 2*b - 2 - v. Solve z + 0 - b = 0 for z.
2
Let s = 3 - -3. Let n = -2 + s. Solve n*v = v + 6 for v.
2
Suppose -2 = r + 6. Let y be (-10)/(-14) - r/28. Solve -u = 6 - y for u.
-5
Let r(s) = s + 9. Let p be r(0). Let v = 2 + 0. Suppose -14*m + 9*m = -25. Solve -m*j + v*j = p for j.
-3
Suppose 21*k - 30 = 16*k. Solve k = -2*i - 0 for i.
-3
Let r(k) = k - 2. Let u be r(5). Suppose f + c - 1 = u*c, 2*c = -5*f + 5. Let j = -1 + 5. Solve -3 - f = j*m for m.
-1
Let s = 5 + 1. Solve w + s = -w for w.
-3
Let f be 18 - (-1)/(1/(-3)). Solve -f = 4*v + v for v.
-3
Suppose -2*z + 3 - 12 = -5*h, 0 = 4*h - 3*z - 3. Let j(f) = f**2 - 4*f - 1. Let q be j(5). Solve h = -a + q for a.
1
Let p = 5 + 1. Let q = p - 3. Let m(r) = r**3 - 4*r**2 + 4*r. Let b be m(q). Solve -j + 8 = b*j for j.
2
Suppose -3*k + 0 = -9. Suppose 0 = k*w - 2*w. Suppose w*s - 3*s = 0. Solve s = -3*a + 7*a for a.
0
Let q be 0 + 2 + 35/(-5). Let y = 8 + q. Let c(x) = -x**2 + 3*x. Let a be c(3). Solve a*w = -3*w + y for w.
1
Suppose 10 = 4*j + 2. Solve -j*x = 2*x for x.
0
Suppose 4*t - 24 = -0*t. Let p = -2 + t. Solve -p*y = 2 - 6 for y.
1
Let g be -2*1*3*4/(-6). Solve -3 = -g*r + 13 for r.
4
Let l(b) = -4*b**3 + b**2. Let t be l(-1). Solve -3 + t = -g for g.
-2
Suppose -4*h + q = 0, 2*h - q = 3*q - 14. Let a be h*3*12/9. Solve u + a*u + 20 = 0 for u.
-4
Suppose 2*f + 2*k - 28 = -k, 2 = k. Let t = 16 - f. Solve -p = -0*p + t for p.
-5
Let t(k) = k**3 + 4*k**2 + 5*k - 7. Let x(s) = -s**3 - 5*s**2 - 6*s + 8. Let l(c) = -6*t(c) - 5*x(c). Let p be l(0). Solve -p*g = -6*g for g.
0
Let z = 19 - 5. Let h = z + -2. Suppose -u - h = -5*u. Solve 0 - u = w for w.
-3
Suppose -2*f = -2*t - 10, -f = -3*t - 4*f + 15. Let s = -1 - -1. Let v = s + t. Solve 2*p = -v*p - 8 for p.
-4
Let v = -26 - -51. Let g be ((-80)/(-100))/(2/10). Solve 0 = h + g*h + v for h.
-5
Let s be (33/12 - 2/(-8)) + -3. Solve r + 2 = -s*r for r.
-2
Let v be (-16)/(-12) + (-1)/(-3)*-1. Solve -3*i - v = -2*i for i.
-1
Suppose -2*s - 2*a = 3*s - 2, 4 = 4*a. Suppose 2*r = q + 4, 3*r + 4*q - 5*q - 4 = 0. Let m be (1 - -1) + r/(-3). Solve s + m = 2*c for c.
1
Let f = 6 - 2. Let z(m) = 5*m**2 + 9*m**2 - 9*m**2 + m + 8*m**2. Let b be z(-1). Solve -4*g - f = b for g.
-4
Let k(f) = -f. Let l be k(0). Let h = 7 + -12. Let v = h - -8. Solve l*w = v*w - 3 for w.
1
Let m(x) = -3*x**3 + x**2 - 3*x + 7. Let f(g) = -g**3 - g**2 + g + 1. Let v(w) = -4*f(w) + m(w). Let k be v(-6). Solve 0*n = 3*n + k for n.
-3
Suppose 1 + 4 = 5*b + 5*v, 0 = -5*b - 2*v + 2. Solve 3*y - 5*y - 10 = b for y.
-5
Let p be (0*(-4)/12)/1. Solve p*z + 3*z - 15 = 0 for z.
5
Suppose -4*y - 2*u = -70, 2*y - 5*u - 10 = 43. Let s = 28 - y. Solve 0 = -3*f - 0 - s for f.
-3
Suppose 0 = n + 5, -16 = 3*a - 5*a + 2*n. Solve -h = a*h + 4 for h.
-1
Let y be 4 - (0 + (2 - 1)). Suppose -4 - 2 = -y*t. Suppose t*i - 4 = 6. Solve -2*k = -i*k for k.
0
Suppose -4 + 3 = -p, -2*p = 4*z - 10. Suppose -3*k = 3*s, z*s + 9 = 3*k + 29. Let f be 3/9 - (-22)/6. Solve f*i - s - 4 = 0 for i.
2
Suppose 33 = 3*d + 3*j, 2*j - 3*j = 5*d - 35. Solve -5*c + 4 = -d*c for c.
-4
Suppose -103 = 2*r - 109. Solve 4 = -r*q - 5 for q.
-3
Suppose 5*b + 3*s - 66 = 0, -6*s + 22 = b - s. Solve 6 = 2*u + b for u.
-3
Let p = -131 + 133. Suppose 6*y - y - 15 = 0. Solve -p*t + y*t = -5 for t.
-5
Let f(z) = -z**2 + z + 1. Let m be f(-1). Let i be 2 - m/1 - 1. Solve -5*q = -i*q for q.
0
Let p(h) = -h**3 - 7*h**2 - h + 8. Let o be 272/20 + 4/10. Suppose t + o = -t. Let b be p(t). Solve -2*m - m = b for m.
-5
Suppose 5*v - 10 = 0, 3*x = -x - 5*v + 26. Let i(p) = p**2 - p + 4. Let z be i(-3). Let j = z + -10. Solve x*f = f - j for f.
-2
Let w = 2 + -4. Let t(r) = r**2 - r - 2. Let b be t(w). Suppose 3*j - b*j + 2*d = -10, 4*j - 34 = 5*d. Solve 5*s + 1 = j for s.
1
Suppose 5*w - 14 = 2*x + 24, -x + 1 = 0. Let k be 2/w - 11/(-4). Solve -k*g = -2*g - 5 for g.
5
Let j(v) = -v**2 - v + 1. Let t be j(0). Let p be t/(-4) - 426/24. Let b be (-2)/(-10) + p/(-10). Solve -8 = -b*r + 6*r for r.
-2
Suppose -3*l = -7 - 2. Suppose -5*c + 30 = 5*j, -2*j - l*j = -4*c + 60. Suppose -3*v = -5*p + 41 - c, -33 = -5*p + 4*v. Solve 3 = -p*q + 2*q for q.
-1
Suppose -3*p + 6*p - 48 = 0. Let d = 31 - p. Solve -5*l + 0*l + d = 0 for l.
3
Let i = -3 + 5. Solve 0 = n - i*n for n.
0
Suppose 0*p - 49 = -7*p. Solve 2*x - 15 = p*x for x.
-3
Let z be 25/(-3) + (-2)/3. Let g(h) be the first derivative of h**2/2 + 9*h + 3. Let c be g(z). Solve c = -0*o - 2*o + 2 for o.
1
Let o be 3/15 - (354/10)/(-3). Solve 0 = 7*r - 3*r + o for r.
-3
Suppose -42 = 3*x - c, c = 3*x - 2*c + 48. Let m = x + 9. Let y be (-6)/12 - 2/m. Solve 4*k - 18 - 2 = y for k.
5
Let d be (-1)/(-4) + (-44)/(-16). Suppose d = 4*k - 5. Solve 0 = k*w - 3*w for w.
0
Let l(w) = -2*w + 26. Let z be l(13). Solve -3 = m - z for m.
-3
Let q = -12 + 22. Suppose 3*n - q = 2. Solve -r = -3*r - n for r.
-2
Let j = 4 - 2. Let a(i) = 1 - i + 0 - 3. Let w be a(-2). Solve w*o = o + j for o.
-2
Let a be 1*(2 + 0 + 2). Let c be -1 - -3*(-2)/6. Let p be (2/4)/(c/(-36)). Solve -a*j - 7 = p for j.
-4
Let l be (4 + -3 - -3) + -2. Solve 2 = 4*y - l for y.
1
Suppose 4*x = 3*x + 12. Let i = -3 + x. Solve 4*q + 11 = -i for q.
-5
Let f(w) = 1 + 2*w**2 - w**2 + 5*w - 2. Let h be f(-6). Solve -h*x - 5 = 20 for x.
-5
Let n(g) = -g**3 + g**2 + 5. Let d be n(0). Solve 7 - 32 = -d*k for k.
5
Let o = 28 - 23. Solve -5*q + o = -15 for q.
4
Let p = -7 + 12. Let u(o) = o + 3. Let t be u(0). Suppose -t*x - 20 = -p*x. Solve x = -a - a for a.
-5
Suppose 2*m - m = 3. Suppose m*i + i - 36 = 0. Let t be (0 - -1) + -3 + 2. Solve -3*v = -t*v - i for v.
3
Let v(q) = q - 1. Let m(t) = -5*t + 1. Let j(r) = m(r) + 6*v(r). Let s be j(5). Solve f + 4 - 3 = s for f.
-1
Let q(x) = x**3 - 8*x**2 - x + 8. Let c be q(8). Solve c = -4*k - k + 15 for k.
3
Let a = -19 - -25. Solve -3*g = a + 9 for g.
-5
Suppose 15 = 2*u + 9. Solve u*z + 5 = -1 for z.
-2
Let x be 1/(5/(-5)) - -1*11. Solve -5*p + x*p + 15 = 0 for p.
-3
Let f(y) = y**2 + 7*y + 8. Let m be f(-6). Solve -3*r = m*r - 15 for r.
3
Let y = 26 - 14. Let t(u) = u**3 - 11*u**2 - 13*u + 14. Let n be t(y). Solve 3*l - n = l for l.
1
Suppose -2 = 2*h - 3*h, -10 = -4*u + 3*h. 