 - 5 + v = 0 for a.
-3
Suppose -5*q + 23 + 7 = 0. Solve -2*p = -5*p + q for p.
2
Suppose 4 = -q - 5*g + 22, 3*q - 5*g = -6. Solve q*w + 0*w + 15 = 0 for w.
-5
Suppose -4*d = 3*y + 28, -3*y = -5*d - 9 - 26. Let o = 7 + d. Solve 3*p + 0 - 6 = o for p.
2
Suppose 2*i = 2*l, l = 2*l + 2*i - 15. Let b(t) = -2*t - 4. Suppose 0 = d - 4, 2 = -p - 3*d + 9. Let c be b(p). Solve 4 + c = -l*y for y.
-2
Let f(u) = u**3 + 7*u**2 - 9*u - 2. Let i be f(-6). Suppose -23 = -s - 3*v, v - 29 = 3*s - i. Solve -s = 4*c + c for c.
-4
Let x(n) = -n**2 + 8*n + 1. Let v be x(9). Let z = 8 - v. Suppose 0 = -2*o + 5*j + 30 + 14, 2*j - z = -2*o. Solve 2*l - o = -2*l for l.
3
Let d = 9 + -12. Let p be (d - -25)/((-1)/(-1)). Solve 3 + p = 5*v for v.
5
Let u(z) = -7*z**2 + 5*z + 5. Let y(a) = a**2 - 1. Let m(j) = u(j) + 6*y(j). Let b be m(4). Solve 0 = -3*q - 0 + b for q.
1
Suppose 0 = -4*a - 5*w + 25 + 7, a - 7 = -w. Suppose -4*i = -4*t + 8, 0 = -3*t - a*i - 2*i - 10. Solve z + 0*z + 2 = t for z.
-2
Let r be (-11 + 11)*(1 + 0). Solve r = c - 4*c + 12 for c.
4
Suppose -k = k + 8. Let q = k + 2. Let w be (-1)/(2/28*q). Solve 0 = -3*o + w - 1 for o.
2
Let i = 23 - 7. Let x = i + -14. Solve -x*c = c for c.
0
Suppose 2*v + 16 = 4*o + 2, -o - 4 = 2*v. Suppose -3*x + 4 = -8. Let p(u) = -u**2 + 5*u - 4. Let y be p(x). Solve -o*q + y*q + 6 = 0 for q.
3
Suppose -4*k + 16 = 0, -k = 2*g + 4 - 14. Solve 0 = -8*r + g*r - 20 for r.
-4
Suppose -2*x + 2*r + 0 + 4 = 0, 6 = -5*x - 3*r. Let v(j) = 0*j + 14 - 2*j + x*j + 3*j. Let b be v(-11). Solve b*o = -0*o + 9 for o.
3
Let u be 2*4 + -1 + 1. Let w be (-8)/(-28)*-1 - (-2)/7. Solve w = -2*h - u for h.
-4
Suppose 0 = 4*s + 5*t, 0*s + 2*t + 12 = -4*s. Let z = s - -10. Solve 0 = z*q - 2*q + 15 for q.
-5
Let o = -37 - -40. Solve o*r - 4 = -r for r.
1
Let q(g) = 4*g**2 + g. Let z be q(1). Suppose -4*c + 12 = m - z, m - 20 = -5*c. Solve 0 = h - 2 - c for h.
5
Suppose -2*r + 7*r - 40 = 0. Solve -u + r = 3*u for u.
2
Let h = -12 - -11. Let f = 3 + h. Solve 1 = 3*s - f for s.
1
Let s = -7 + 7. Suppose 5*i - 20 = -s*i. Solve i = -2*j + 12 for j.
4
Suppose 7*f - 40 = 2*f. Suppose 0*s = 4*s - f. Solve -s*u = u - 3 for u.
1
Let o(m) = 2*m + 6. Let q(l) = l**2 - 10*l - 3. Let w be q(10). Let v be o(w). Solve d - 4 + 2 = v for d.
2
Let o be (-1)/((-3)/(-30)*-2). Suppose -z + 2*z - o = 0. Suppose 2*j = -5*l + 5*j + 10, 3*l + 2*j - 6 = 0. Solve 7 - l = z*x for x.
1
Let v(m) = -m**3 + m**2 + m - 1. Let c be v(1). Solve 3*k - 3 - 3 = c for k.
2
Let l(r) be the second derivative of r**5/60 - 5*r**3/6 - 3*r**2/2 + 3*r. Let q(s) be the first derivative of l(s). Let x be q(-4). Solve 1 - x = -5*a for a.
2
Suppose x + 8 = -3*x, 54 = 5*r - 2*x. Suppose -3*q - r = s, 3*s = -0*s - 5*q - 10. Solve 0 = -s*i - 2 - 3 for i.
-1
Suppose 4*s - 44 = -7*s. Solve 5 - 1 = s*g for g.
1
Let v(u) = -u - 6. Let h be v(-12). Let t = h - 3. Solve -t*f + 8 = 2 for f.
2
Let c be (0 - 1)*(-1 + -14). Let r be ((-8)/(-5))/(6/c). Suppose 9*o - 4*o = 25. Solve o = 3*n - r for n.
3
Suppose 0 = w + z - 0*z, -5*z = -5*w + 30. Suppose 5*o = -20, 3*o + 16 = -3*h - h. Let s = h + w. Solve 3*c = s*c - 4 for c.
-4
Let x(b) = b**3 + 4*b**2 - b - 2. Let o be x(-4). Let s be (-8)/(-24) + o/(-6). Solve s*j + 3*j + 12 = 0 for j.
-4
Let y(h) = -h**3 - h**2 - h + 1. Let l(s) = -4*s**3 - s**2 - 2*s + 5. Let z(b) = l(b) - 5*y(b). Let u be z(-3). Suppose f - 1 - 1 = u. Solve -m - 1 = f for m.
-3
Suppose 4*x - 4*m - 4 = 0, -5*x + 2*m + m = -3. Suppose o - 5 = -x*o. Suppose 3*j + 3*a + 2 = -7, 0 = -4*a - 12. Solve 0 = c - j*c + o for c.
-5
Let i(g) = -g**3 + 3*g**2 + 3*g + 4. Let l be i(4). Solve l*u + 9 = 3*u for u.
3
Suppose 0 = n - 1 - 3. Suppose 2*b + 11 = 3*v, -4*v + n = -3*b - 2*v. Solve -b*y + 0 = -10 for y.
5
Let k be (-46)/(-14) - (-12)/(-42). Suppose k*c = -t + 97, 4*c + t = 5*c - 39. Suppose 2*o + 22 = 2*l, c = 4*l - o - o. Solve 2*q - l*q = 12 for q.
-3
Let i = -6 + 10. Suppose -3*z = z - i. Solve 0 = -3*k + 4*k + z for k.
-1
Suppose 4*c - 3*f - 35 = 0, 3*c + 10 = -5*f - 0. Suppose -2*j - 4*h = -7*j + 65, 52 = 4*j - h. Suppose 5*p - 63 = -j. Solve 20 = -p*l + c*l for l.
-4
Suppose 7 = 3*l + 1. Suppose 0 = 3*r - l - 31. Solve 3*s + 2 = r for s.
3
Let a = -7 - -2. Let f = a - -13. Solve -6*k = -2*k - f for k.
2
Suppose -7*d + d = 0. Let l(r) = r**3 + 2*r + 2. Let k be l(d). Solve -6 + 2 = -k*g for g.
2
Let f = 3 - -1. Suppose -f*z + 13 = -7. Solve z + 0 = -5*w for w.
-1
Let c be 1 - ((-2 - -1) + 4). Suppose 3*a - 36 = -a. Let t = c + a. Solve -s - 2 = -t for s.
5
Let j(z) be the first derivative of z**4/4 - z**3/3 - z**2/2 + 2*z + 1. Let w be 0/(-1)*3/(-6). Let u be j(w). Solve -2*m + m + u = 0 for m.
2
Let a(u) = u**3 - 3*u**2 - 2*u - 4. Let o be a(4). Let k(m) = 3*m - 2. Let t be k(4). Let w = t - 7. Solve -o*f + f = -w for f.
1
Let a be (-6)/4 + (-1)/2. Let r = a + 2. Solve r = -3*p + 2*p for p.
0
Let v = -1 - 0. Let a(g) = -3*g + 1. Let m be a(v). Solve -y + m*y = -9 for y.
-3
Let f(a) = 6*a - 2. Let v be f(2). Solve v = h + 4*h for h.
2
Let t be (-1 - -4)*(-8)/(-6). Suppose -t*w = 2*w. Let y = 7 - 5. Solve -y*m = -w*m - 10 for m.
5
Let w be (-2)/6 + 10/3. Suppose -w = d - 2*d. Let h be (d/1)/(3/2). Solve 4 = n + h for n.
2
Let v = 2 + -2. Let i = 0 - -2. Suppose u = 4*x - 53, -37 = -x + i*u + 3*u. Solve v = -m + 4*m + x for m.
-4
Suppose 0 = 4*m + 3*f + 18 - 3, 0 = 3*m - 3*f - 15. Let z be -32 - (4 - (5 + -2)). Let s be (-60)/z - 2/(-11). Solve 0 = -s*o - m*o for o.
0
Suppose -10 = -4*t + 6. Let q(u) = u**2 - 3*u - 5. Let p be q(t). Let n be p/(-1 - (-2)/3). Solve -n*c - c - 16 = 0 for c.
-4
Let u(r) = r + 14. Let v be u(-6). Suppose -3*m + 5 = 3*g - 5*g, 0 = 2*m + g - v. Let c = 3 - m. Solve -3*x - 2*x + 10 = c for x.
2
Let q(j) = -j. Let k(b) = -1. Let c(f) = 3*k(f) + 3*q(f). Let g(h) = h**2 - 6*h - 2. Let a be g(6). Let x be c(a). Solve 8 = -x*u - 1 for u.
-3
Suppose -2*v + 5*h = -8 + 27, -5*v + 3*h = 57. Let b(j) = -j**2 - 13*j - 11. Let d be b(v). Let z be 16 + (3 - 3) - d. Solve -2*s + 5*s + z = 0 for s.
-5
Suppose -3*t = 5*r - 21, -2*t + 7*r - 2*r - 11 = 0. Solve t*m + 2 = m for m.
-2
Let a(u) be the second derivative of -u**5/20 - u**4/4 + u**3/2 - u**2/2 + 3*u. Let w be a(-4). Solve -w*g + 3 = -0*g for g.
1
Let j(p) = -4 - 2*p + 0*p + 0. Let g be j(-3). Solve 0*c = -g*c - 4 for c.
-2
Let m(h) = 5*h + 37. Let b be m(-7). Solve -3*z - b = -z for z.
-1
Suppose -3*j = -14 - 7. Solve 0 = 2*u - j*u - 10 for u.
-2
Suppose -4*y = 3*d + 1 + 28, -y = 5. Let w be (-1 + -2)/d + 14. Solve w = 3*v + 2*v for v.
3
Let z be 18/8*80/30. Solve -2*s + z = s for s.
2
Let m be (4 + 1)*3/5. Let r(t) = -t**2 + 4*t - 3. Let f be r(m). Suppose 95 = -4*g + 111. Solve f*v = -g*v - 12 for v.
-3
Let g(l) = -l + 3. Suppose -2*f + 4*v - 19 = -3*f, -2*v - 7 = -5*f. Let k be g(f). Solve k = a + 4*a for a.
0
Suppose 0 = 3*d + 2*d - 15. Let z(b) = b - 1. Let v be z(d). Let q be 0/(v/(-4)*-6). Solve -2*n = -q*n for n.
0
Let w(m) = -m**3 - 8*m**2 + 8*m - 6. Let l be w(-9). Solve l*q + 1 = 4 for q.
1
Let g(p) = p + 4. Let q be g(-2). Solve 0 = 3*f + q*f + 15 for f.
-3
Let k be (20/(-15))/(2/(-3)). Solve v + 5 = k*v for v.
5
Let n(u) = -3*u + u + 0*u + 3*u + 1. Let v be n(0). Solve o = 2*o + v for o.
-1
Suppose -v - 4*v = 0. Let f = v + 3. Let u = f + 0. Solve u*d - d = 0 for d.
0
Let n be ((-21)/(-27) + -1)*-9. Let g(k) = -k**3 + 5*k**2 + 7*k - 3. Let r be g(6). Solve 5*a = n + r for a.
1
Let u = -9 - -13. Suppose -3*n - 12 = 0, 4*z - u*n - 39 + 11 = 0. Let b(q) = -q**3 - 2*q**2 + 2*q + 1. Let l be b(-3). Solve o - z = -l for o.
-1
Suppose -2*p = -3*g - 16, 2*g = -3*p + 4*g + 19. Suppose -j = -p*q + 6 - 0, -q - j = -6. Suppose -s = q, 4*i + 5*s = -0*s - 2. Solve 2*f = 6 - i for f.
2
Let y be ((-8)/6)/2*6. Let b(w) = -w**2 - 6*w - 5. Let d be b(y). Solve d*t = -7 - 2 for t.
-3
Let t(o) = o**2 + 8*o - 8. Let m be t(-9). Suppose 0 = -w - 2*w + 3, 2*b + w - m = 0. Solve 0 = -b*r + 2*r + 6 for r.
-3
Let g be 3/2*64/24. Solve g*m = 3 + 1 for m.
1
Let l(d) = -d**2 + 6*d - 5. Let p be l(4). Solve p*u = u for u.
0
Let j(a) = a**2 + 6*a + 9. Let g be j(-6). Let f = g + -9. Solve f = p - 2 - 1 for p.
3
Let v(o) be the third derivative of o**6/120 + o**5/15 + o**4/12 - 2*o**3/3 - 3*o**2. Let a be v(-3). Let d be -3 - 3/a*2. Solve -5*k 