 - 4*v. Solve 5*q - 2*q = -g for q.
-1
Suppose -5*n + 2*c = c - 74, 2*c - 77 = -5*n. Suppose -5*v = -0 - n. Solve v*s - 10 = 2 for s.
4
Suppose 0 = 2*k - 5 + 1. Suppose 0 = -3*a - k*g + 22, 3*a = 3*g + 1 - 4. Suppose -2*w = 3*x - 7*w - 88, -2*x - a*w = -22. Solve 6 = -5*i + x for i.
3
Suppose 3*g - 2*g = 4. Suppose h - g*d + 23 = d, -h - 13 = -3*d. Solve h*v = 3*v for v.
0
Suppose 15 + 7 = 5*a - m, -3*a + 27 = 4*m. Suppose -25 = -5*t - a. Suppose 0 = g - t*g. Solve g = -x - x + 4 for x.
2
Let c be (-22)/(-5) - 4/10. Solve 0*b + c = b for b.
4
Suppose 0*y - 15 = -5*y. Solve -y = 4*a - 7 for a.
1
Suppose 0 = -2*a + 6*a. Suppose 5*v = -2*r - 5, -v - 4*r - 19 = -0*v. Solve -u + a = v for u.
-1
Suppose -140 = 6*l - 10*l. Let n = 50 - l. Solve -2*t - n = 3*t for t.
-3
Let s(y) = -y**2 + 13*y - 9. Let r = 18 + -6. Let v be s(r). Solve v*p + p - 20 = 0 for p.
5
Let p be (-2)/(4/20*-1). Solve 0*d - p = 5*d for d.
-2
Let i be (-19)/3 - 5/(-15). Let x = 6 + i. Suppose -2*y = -5*y + 15. Solve z - y*z - 4 = x for z.
-1
Suppose -d + 2*w + 4 = 0, -1 = -4*d - 4*w + 39. Let c = 7 - 5. Solve 2*g = -c*g - d for g.
-2
Suppose -2*b = -6 - 10. Solve b = -4*l + 8*l for l.
2
Let j(c) be the first derivative of c**2 + c - 2. Let p be j(5). Suppose 5*i = p + 19. Solve u = i*u - 5 for u.
1
Let f(o) = -o**2 + 6*o + 2. Let g be f(6). Suppose 7*z = g*z. Solve l - 3*l - 4 = z for l.
-2
Suppose -7*i = -5*i - 8. Suppose -z - 15 = -i*l, 4 = 5*z + 5*l - 21. Solve -w + 0*w - z = 0 for w.
-1
Let j be (1 + -1)/(-1 - -2). Solve 6*u - 3*u + 12 = j for u.
-4
Let u = -6 - -16. Solve -3*g + 5 = -u for g.
5
Let q be -10*(0 + 2/(-4)). Solve 2*g + 3*g = q for g.
1
Let b(a) be the third derivative of -a**4/8 + 2*a**3/3 - a**2. Let i be b(-7). Solve 5*x = -0*x - i for x.
-5
Let l(m) = m + 1. Let f be l(1). Let z(p) = -p + 6. Let i be z(0). Let w be 56/i + 2/(-6). Solve s = -f*s + w for s.
3
Suppose 4*s = 2 + 2. Let w = s - -9. Solve -2*q + 0 + w = 0 for q.
5
Suppose 0 = -2*b + 5*b + 2*s - 2, -2*s = -5*b + 30. Let h = 7 - b. Solve h*x = -2*x - 10 for x.
-2
Suppose 1 + 7 = s. Let w(u) = u - 2. Let p be w(s). Solve -d - d = p for d.
-3
Suppose 0*o + 3*o = 12. Solve -8 = 2*m - o*m for m.
4
Suppose 0 = -5*o - 15 + 45. Solve -o*x - 15 = 3 for x.
-3
Suppose -3*l - z = -154, 3*l = 8*l + 4*z - 245. Let g = -33 + l. Suppose 0*c = 3*c - 12. Solve -n - c*n = -g for n.
4
Let z(f) be the second derivative of 3/2*f**3 - 3*f**2 - 1/12*f**4 - f + 0. Let j be z(8). Solve -j*h = 2*h - 4 for h.
1
Let w be 18/(-5)*(-105)/42. Solve -3*c = w + 3 for c.
-4
Let n = 1 + 3. Solve n*h - 21 + 5 = 0 for h.
4
Suppose 0*o - c + 21 = 2*o, 4*c = -4*o + 44. Solve 0 = -5*t - 10 - o for t.
-4
Let v(r) be the second derivative of r**3/6 - r**2/2 - 3*r. Let b be v(4). Solve b = -3*w - 0 for w.
-1
Let u be ((-2)/6)/((-15)/45). Solve 4*z + u = 17 for z.
4
Let l(o) = -o**2 + 8*o - 7. Suppose -2*k = -k - 6. Let u be l(k). Suppose 33 = 2*v - u*r, -5*r - 20 = -v + 9. Solve -5*g - v = 6 for g.
-2
Suppose i = 4*i + 2*h - 26, 0 = 3*h - 12. Solve -u + i = u for u.
3
Let p(a) = -a**3 + 3*a**2 - a + 5. Let l be p(4). Let t be 20/l*3/(-2). Let y(v) = 7*v + 2. Let z be y(t). Solve u + z = 5*u for u.
4
Let g be (-2)/(-8)*-2*-2. Let x be g/2*0*-1. Let z(r) = r**2 - 6*r + 4. Let a be z(6). Solve -2*k + 2 + a = x for k.
3
Let w(f) = -f + 1. Let a be w(-1). Suppose -2*v - 4 = -r - 12, -a*r + 20 = 5*v. Solve -11 = v*n - 3 for n.
-2
Let g(r) = -3*r. Let u be g(-1). Suppose u*q - 10 = -1. Let t = 14 + -9. Solve q = t*b - 2 for b.
1
Suppose 12 = -2*g + 16. Solve -3*p = -g*p + 5 for p.
-5
Suppose 2*b - 4*b = 4*b. Solve b*t + t = 5 for t.
5
Let n(f) = -f**3 - 3*f**2 - f + 3. Let i be n(-3). Solve u - i = -2*u for u.
2
Let c(g) = 5*g**2 - 4*g - 4. Let i be c(-1). Solve -4*h + i + 11 = 0 for h.
4
Suppose -11*k - 15 = -37. Solve k*p + 4 = -2*p for p.
-1
Let d be 6/2 + (12 - 12). Solve 5*l - d = 2 for l.
1
Suppose -15*a = -22*a + 14. Solve -s - s = a for s.
-1
Let c(n) = 2*n - 24. Let q be c(14). Solve -q*m = -0*m + 8 for m.
-2
Let r(a) = 5*a**2 - a**2 + 5*a**3 - 3*a**2. Let k be r(1). Let q be (-2)/k + 76/12. Solve 9 = 3*m - q for m.
5
Let n(u) = u - 2. Let d be n(5). Suppose 3*x + x = 0. Solve x - d = h for h.
-3
Let v = -8 - -17. Suppose -2*n = 3*g + 2 + 7, 0 = 4*n - 3*g - v. Solve n = -0*x + x - 1 for x.
1
Suppose 0*d = -5*d + 10. Solve -d*t = 3*t for t.
0
Let a(u) = u - 9. Let h be a(7). Let b be 1 - h/(-4)*14. Let o be (4*(-3)/b)/2. Solve 4 = 5*r - o for r.
1
Suppose 4*m - 60 = -4*a, 4*a + 5*m - 63 = -0*a. Suppose -t - a = -3*t - 2*c, -2*t + c = 0. Solve 2*z + t - 10 = 0 for z.
4
Suppose 0 = 5*m + 5*c - 10, 0 = -4*m - 5*c - 10 + 13. Solve -4 + m = -k for k.
-3
Suppose -3*p + 12 = p. Let v(f) = 5*f + 7. Let j(d) = -3*d - 3. Let b(s) = -7*j(s) - 4*v(s). Let n be b(7). Solve n = -p*a - 0*a for a.
0
Let c(q) = -q**2 - 3*q + 3. Let m be c(-2). Solve -2*v = 3*v - m for v.
1
Let w(l) = l**2 - 3*l - 4. Let h be w(3). Let u(z) = z**2 - 3 - 4 + 2 + 1 + 2*z. Let p be u(h). Solve -c = p*c for c.
0
Let c be (-2 + 2 - -3) + 1. Suppose -k + 0 + c = 0. Suppose -k*m = -0*m - 8. Solve -3*z + m + 7 = 0 for z.
3
Let w = 2 - 0. Solve w*h + 3 = -5 for h.
-4
Let k(t) = 3*t + 3. Let u be k(-1). Solve -2*w + w = u for w.
0
Suppose 3*k + 1 = 2*j + 3*j, 0 = -j + 2. Suppose -2*r = -k*l - 1, 0 = 4*l - 7*r + 3*r. Let n be l/(-1)*-1 - -4. Solve 6*v = n*v - 12 for v.
-4
Suppose -6 = t - 2*t. Let r be 8/(-3)*t/(-4). Solve -1 = -g - r for g.
-3
Suppose 12 = -5*o + 9*o. Solve -o*v = -7*v + 4 for v.
1
Suppose 0 = t - 6 - 4. Suppose t*j = 5*j. Solve 3*l + j*l = 3 for l.
1
Suppose -5*d + 1 = 4*y - 4, 1 = d + 4*y. Suppose 0 = 2*s + d - 7. Let u be -2 + 0/(-1) - -2. Solve u = s*g - 0*g for g.
0
Let h(b) = 3*b + 48. Let k be h(-15). Solve 0 = -k*r + 15 - 0 for r.
5
Let l(m) = -m**2 + 4*m**3 + 5*m**2 - 1 - 2*m**3 - 3*m - 3*m**3. Let p be l(3). Let v be p*(-3 + 2) - 1. Solve v = -5*h + 3*h for h.
0
Let f(l) = 7*l**3 - 2*l + 2. Let q be f(1). Solve q*t = 2*t - 10 for t.
-2
Suppose 0 = -5*u - 3*g + 10, 3*u = 4*u - 4*g - 25. Solve -3*m + u*m - 8 = 0 for m.
4
Suppose -4*r - 2*f = 3*f - 4, -r - 4*f - 10 = 0. Let o = 8 - r. Solve 0*i - 2 = o*i for i.
-1
Suppose 7*p + 32 = 2*z + 2*p, 3*z - 2*p - 26 = 0. Solve -2*l = z - 16 for l.
5
Let y(m) be the first derivative of m**3/3 + m**2/2 + 8*m - 8. Let v be y(0). Solve v = -n + 3*n for n.
4
Suppose 0 = -17*d - 36 + 121. Solve -x = -d*x for x.
0
Let m = -4 + 2. Let z = 5 + m. Solve z = -2*d - 1 for d.
-2
Let w(r) = -r. Let k be w(-8). Solve 4*m - k = 4 for m.
3
Let i be (5/4)/((-1)/(-4)). Solve -2 = i*g - 7 for g.
1
Let x(l) = -l**3 + 9*l**2 - 2*l + 10. Let c be x(9). Let h = -7 - c. Solve -4 + h = n for n.
-3
Suppose -3*h - r = 14, 2*h + 7*r + 18 = 2*r. Let a be 12/9 + h/(-6). Solve a*l + 2*l = 20 for l.
5
Suppose 18 = 21*n - 18*n. Solve 0 = f - 4*f + n for f.
2
Let x be ((-1)/((-3)/(-8)) - -3)*6. Solve -z = x*z + 15 for z.
-5
Let c = -5 - -10. Solve z - c*z + 20 = 0 for z.
5
Let l = 10 - 9. Let s = 3 - l. Solve -r - 4 = -s*r for r.
4
Let p(u) = u + 2. Let w be p(0). Let a be (w + -3 + 1)/(-1). Solve 0 = i - a*i + 3 for i.
-3
Suppose 2*f - 1 - 5 = 0. Suppose f*o = -0*o + 6. Solve 0 = -o*y - 16 + 6 for y.
-5
Suppose 14*v = 18*v - 8. Solve -c = -2*c - v for c.
-2
Suppose g = 5*x + 21, -5*g + 5*x - 2*x = -127. Suppose g + 14 = -5*j. Let y(v) = -v**3 - 8*v**2 - 5*v - 5. Let c be y(j). Solve 5*i - 10 = -c for i.
-5
Let x be (-21)/(-14)*16/6. Suppose 5*u - x*u - 5 = 0. Solve 0*g - u = g for g.
-5
Suppose 5*b = b. Suppose -6 = -3*w - b. Solve w*d - 3 = -1 for d.
1
Let p(s) = 4*s - 8. Let a be p(2). Solve 0 = -a*q - q + 3 for q.
3
Suppose -10 = 3*y + 5*h, -4*h = y + h. Let d = y - -8. Suppose 0 = -2*t - 2*j + 4, -3*j - 5 = -2*t + 9. Solve t*c = d*c for c.
0
Let f(j) = 2 - j**2 - 2*j - 3*j + 2 + j**3 - 3*j**2. Let g be f(5). Solve s - 3*s - g = 0 for s.
-2
Suppose 2*t + 4 = k, 6*t = -4*k + t + 68. Let j be (-6)/k*(0 - 2). Solve -o = -0 + j for o.
-1
Suppose a - 3*x + 4 = 0, 0 = -3*a - a - 4*x + 16. Solve 0 = m + a - 0 for m.
-2
Suppose -2*j - 2*z + 2 = -4, 4*j - 2*z = -6. Solve 0*y - y - 1 = j for y.
-1
Let p be 19/38*(5 - 1). Solve -p*v = v - 12 for v.
4
Suppose 0*f + 16 = 4*f. Let l = 0 + f. Solve 2*o + 6 + l = 0 for o.
-5
Suppose 21 + 3 = 3*v. Suppose 0 = 