q - 6 = -4*q + 5*d for q.
4
Let x(h) = -h**3 + 2*h + 1. Let t be x(-2). Solve -t - 9 = -5*k + q, -1 = -k + 2*q for k.
3
Let o = -4 - -10. Solve 5*u = 4*d + o, 0*u = -3*u + 6 for d.
1
Let j(w) be the third derivative of -w**4/8 + w**2. Let x be j(-1). Suppose 0 = 2*v + x*v. Solve v*m = 5*o + 3*m - 1, -3*m = -o + 11 for o.
2
Suppose -3*m - 2*w + 25 = 0, -5*w - 31 = -3*m - 10*w. Suppose -2*f + 4*f + 7 = q, -9 = f + 5*q. Let h = f + m. Solve 0 = 5*r + 25, 0*u = h*u - 3*r - 30 for u.
5
Suppose 151 = 7*h + 18. Let b = h + -15. Solve s = p + 1, -b*s + 2*p + 0*p = 2 for s.
-2
Suppose 2*p + 2 = 2*r, 2*p + 5 = 3. Solve 0 = 4*i - 5*w + 23, 3*i - 2*w + 12 = -r*i for i.
-2
Let x(d) = -2*d + 2. Let a be x(0). Let r(f) = -f**3 + 2*f**2 + f - 2. Let i be r(-2). Let o be -2 + 1 + i/1. Solve m - 6 = 4*p + o, a*p = -5*m + 19 for p.
-3
Let w be (-7)/28 - (-18)/8. Suppose -k = w*k + 5*a + 34, 0 = 3*a + 15. Let p be (-2)/k*(-45)/(-10). Solve 2*v + 2 - 7 = p*f, -2*v + 5*f = -7 for v.
1
Suppose 4*z = 12*z - 80. Solve 0 = -3*f - x - 7, -x + z - 2 = -2*f for f.
-3
Let u = 25 + -21. Let a = 12 - -6. Solve u*w - 2*k = -0*w + a, 0 = w + 3*k + 13 for w.
2
Let d be ((-84)/49)/((-4)/14). Let a be 30/9 - 2/d. Let c(q) = -q**3 - 5*q**2 - 2*q - 7. Let j be c(-5). Solve -2*g - 16 = a*o, j*o - 4*g + 10 = -3*g for o.
-4
Let k = 30 - 24. Solve 0 = -2*j - d + k, -5*j - 3*d = -j - 8 for j.
5
Let m = 58 - 53. Solve -3*n - 4*y + 13 = 0, 3*n = -m*y + 3*y + 5 for n.
-1
Suppose h = -3*h + 4*o + 24, -13 = -3*h - 2*o. Solve -h*d = -t + 14, -4*d - t - 13 = -0*d for d.
-3
Suppose -n + 3*p = -8, -2*n + 2 = -3*p + 4*p. Suppose n*q - 1 = 9. Let x = q - 0. Solve t - 5 = 0, -x*m = -t - 0*t - 20 for m.
5
Let d = -99 + 101. Solve 0 = d*x - 2*l + 10 + 8, 0 = 4*x + 2*l + 6 for x.
-4
Suppose 2*z - 4*w + 9 = 31, 4*z - 3*w = 44. Let c = 5 + -17. Let t = -8 - c. Solve -22 = 4*m + 2*g, t*g - 3 = 4*m - z for m.
-3
Let a be (-4 + 0 + 4)/2. Solve 0*l + 21 = -4*l - x, a = -4*l - 5*x - 25 for l.
-5
Suppose -2*g = -g - 3*h + 6, g + 5*h = 18. Solve 7*l - 3*l - g = s, 4*l = -s + 5 for s.
1
Suppose -l = 4*m + 8 - 30, 0 = -5*m + 25. Solve -3*b + 4 = -v - l, -6 = -v - b for v.
3
Let n be 1/(-2) + 174/12. Suppose -n - 2 = -4*y. Solve -4*l + y*d = -12, 1 = -5*l + d - 0 for l.
-1
Suppose -3*x = -34 + 4. Suppose -x - 35 = 5*a. Let w be (-2)/(-9) + (-34)/a. Solve 5*m + 31 = -2*y, -4*m - w*y = 16 + 16 for m.
-5
Suppose -2*n - 2*n + 89 = 5*c, -4*c = -2*n - 66. Let f = -12 + c. Solve 2*w = -2*p - w - 6, f*p - 4*w = 8 for p.
0
Let n(r) = 2*r + 5. Let z be n(-7). Let l = -5 - z. Solve -4*h = -l*o + 3*o - 21, 5*o - 3*h = -37 for o.
-5
Let u = -1 - -3. Let h = u + -2. Suppose -2*j + 10 = h, 0*x - 10 = -x - j. Solve 0 = w - x*k - 31 + 2, 4*k = -5*w for w.
4
Let s be (1 - 0)*(-7 + 8). Solve -3 = -d, 2*l + 2*d = s + 1 for l.
-2
Suppose 0*u + 2*u - 8 = 0. Let m = u - -1. Solve 0 = 4*p + m*c - 41, 0 = 5*p + 5*c - 29 - 16 for p.
4
Let i be (1/2)/(14/140). Solve 0 = 5*q + g + 19, 2*q - i*g = -3*g + 2 for q.
-3
Suppose 34 = 18*k - k. Solve 4*z + 5*q + 40 = 0, 0 = -k*z + 4*z + 3*q + 22 for z.
-5
Let u(q) = 2*q - 2. Let i(h) = -2*h + 3. Let w(r) = 3*i(r) + 4*u(r). Suppose 1 + 2 = 3*o. Let v be w(o). Solve -3*g - 4*n = 4, -v*g = g - n + 18 for g.
-4
Let z = 80 - 75. Solve -3*d + 15 = 0, z*q - 6*d = -2*d - 10 for q.
2
Suppose -5*g - 3*f + 5 + 13 = 0, -32 = -4*g + 2*f. Suppose g*s - 36 = 5*s. Let m = 2 + 0. Solve 4*k = 5*r + s, r = -m*r + 3*k - 24 for r.
-4
Suppose -3*l - 16 = -7*l. Let j be 122/14 - l/(-14). Solve j = -2*b + 5*z, -5*b + 0*z = 4*z + 6 for b.
-2
Let z be (-4)/18 + (-26)/(-117). Solve 0*d - d - 2 = -2*y, -3*d + 3*y = z for d.
2
Suppose q + d = -2, -5*d = -5*q - 2*d + 22. Solve 2*l + 1 = -2*r - 9, 0 = -q*r for l.
-5
Let u(l) = -4*l**2 + 3 + l - 11 + 3 - l**2 + l**3. Let i = 0 + 5. Let z be u(i). Solve -2*f - 4 = z, -a - 2 = a - f for a.
-2
Let j be (-8)/10 - 7/(280/(-232)). Solve t + 15 = 3*f, j*t = 7*f - 2*f - 35 for f.
4
Suppose -r - 3*q = -5*r + 5, -2*r + q = -5. Solve 1 = -4*p + h - 19, 36 = -4*p + r*h for p.
-4
Let k = -4 - 2. Let o(u) = u**3 + 5*u**2 - 5*u + 8. Let b be o(k). Solve -5*f = -4*x - 5, 0 = 3*x - 2*f - 0 + b for x.
0
Suppose 3*d - 20 + 8 = 0. Solve 7 = -t - d*f + 2, -t - f = -1 for t.
3
Let f(r) be the first derivative of -r**4/4 + 4*r**3/3 + r**2/2 + 2*r + 3. Let q be f(4). Solve 2*p + 4 = 0, 3*t - q*t - 3*p = 12 for t.
-2
Suppose t - 5 = -3*l - 2*l, 0 = 3*t + 4*l - 4. Let v = 2 - t. Suppose 0 = 5*c - 7 + v. Solve c = o, -i - 4*i + 5*o = -20 for i.
5
Let n(j) = j + 1. Let z be n(2). Suppose -5*l + 2*c = -7, -6*c + 3*c = z*l - 21. Solve k - l = 4*k, 4*s - 5*k = 1 for s.
-1
Suppose -5*u - 5*y = -145, u = 3*y + 21 + 4. Let l(x) = x**2 - 6*x - 2. Suppose 4*a - 21 = a. Let q be l(a). Solve u = q*g + r, -3*g + 14 = 5*r - 16 for g.
5
Let l be 6/(-10) - 12/(-20). Solve l = -3*i + 2*r - 4 - 5, -8 = 2*i - 2*r for i.
-1
Let p = -32 + 36. Suppose 2*h - 3*h + 5 = 0. Solve 0 = -3*m - 9, -p*i + h = -5*m - 10 for i.
0
Let r(k) = -k**3 + 4*k**2 - k - 4. Let m be r(3). Suppose 0 = -0*g + 4*g - 4*x - 20, 0 = 5*x + 5. Solve -t + z - 11 = g*z, 1 = -m*t + z for t.
-2
Let x = -19 - -37. Solve -18 = -3*m - 3*q, 5*m = -0*q - q + x for m.
3
Suppose -4*w + j - 25 = -9*w, 0 = j. Solve -w*n = 3*a - a - 27, -2*a - 4*n + 22 = 0 for a.
1
Let b(c) be the first derivative of -c**2/2 - 1. Let a be b(0). Solve -5*d = 2*p + 8, a = -5*p + p + d + 6 for p.
1
Let p = -56 + 58. Solve -r + o = p + 1, -2 = 3*r + 4*o for r.
-2
Let o be (1/3)/(2/30). Let f(x) = -2*x + 5*x - 3 - 2*x. Let a be f(3). Solve a = -j - j, -5*j = -g + o for g.
5
Let p = -8 + 15. Suppose -3*h = -p + 1. Suppose 0*m + 15 = 5*m + 5*o, 3*m = -2*o + 10. Solve 5*b - h*x = 17, 0*x - 26 = -2*b - m*x for b.
5
Suppose g + 5*w - 5 = 0, -3*g + 0*w + 4*w + 72 = 0. Let o = g - 16. Solve -5*k - o*i - 26 = 0, 5*k = k - 5*i - 28 for k.
-2
Let j(i) = -7*i + 86. Let v be j(10). Solve z + v = -3*z + 3*b, -2*z - 5*b - 8 = 0 for z.
-4
Let u(s) = -s**2 + 7*s + 5. Let w be u(7). Solve -6 = -2*y - 0, -5*y = w*d for d.
-3
Suppose -27 + 33 = 3*v. Solve -6*f + 3*d - 1 = -4*f, -2 = -v*d for f.
1
Let y be 5 + -2*2/4. Suppose 6 = y*r - r. Suppose -2 - 4 = -r*f. Solve f*x - 9 = -z, 23 = -z + 5*x - 0*x for z.
-3
Let o = -31 + 36. Let m(i) = -i**3 - 2*i**2 - 1. Let y be m(-2). Let a = y - -1. Solve b + 0*b = -o*l, -5*l - 3*b - 10 = a for l.
1
Suppose -8*n + 217 = 41. Solve -3*p = 5*f - 3*f + 19, -p = -5*f - n for f.
-5
Let y = 42 - 39. Solve 0 = -f - 5*j - 6 - 14, -20 = -y*f + j for f.
5
Let c(h) = -5*h - 1. Let b be c(-1). Solve -j - b*j = -5, a = 5*j - 9 for a.
-4
Let c = -42 + 79. Let b = c - 75. Let z be (-14)/(-21) - b/6. Solve 2*x = 3*r - z, -3*x - 15 = -x + 5*r for x.
-5
Suppose 0 = -g - 2*g - 18. Suppose -2*o + 10 = -8. Let s = o + g. Solve 0*i + 5*f = -2*i + 12, -4*i + s*f - 2 = 0 for i.
1
Let s be 26/3 + (-3)/(-9). Suppose -29 = -5*f - s. Suppose -f*o - 4*r = -32, -2*r + 24 = 5*o - r. Solve 0*q + o*q - 3*b = 7, 0 = 5*q - b + 5 for q.
-2
Let f(b) = b**2 + b + 3. Let i be f(0). Suppose 25 = 4*g + w, i*g - 5*w = -g + 43. Solve -20 = 5*n - 5*o, -n + g*o - 7 = 3*o for n.
-3
Let f(m) = m**3 + 4*m**2 + m + 4. Let b be f(-3). Let u be (4/b)/(4/20). Solve 5*g - 5*a = 0, 0 = u*a - 5*a - 12 for g.
-4
Suppose 0 = -5*y + 1 + 19. Suppose 2*x = 6 + y. Suppose h + 3 = x. Solve 2*o + 33 - 7 = -5*d, d = 2*o + h for o.
-3
Let m be 78/4 + (0 - 6/(-4)). Solve 3*r + 4*a = 2*r, 5*r - a = m for r.
4
Suppose 8*j - 3*j = i + 13, 0 = -2*i - 4*j - 12. Let v be (i/(-5))/(6/15). Solve -o + v*d + 5 = -3, 4*d + 8 = -5*o for o.
0
Let i(k) = k**2 + 7*k - 6. Let q be i(-7). Let n be (-3)/q*-2 + 4. Solve 3*o - 18 - 9 = n*c, -2*o = -3*c - 23 for o.
4
Suppose -q = -2*r + 3*r - 5, 5*q + 3 = 2*r. Solve 14 = -5*b + 3*y, -r*b - 4*y + 5 = -y for b.
-1
Suppose b = -2*j - b + 4, -3 = b. Let n(p) = -p + 11. Let c be n(-6). Let r = c + -12. Solve 0 = 5*i + 2*m - 13, -4*m + j - 24 = -r*i for i.
3
Let b be (-2)/(-7) - 760/(-35). Let g = 26 - b. Let z(r) = -r**2 + 4*r + 4. Let a be z(4). Solve k - 1 = -g*h + a*k, -2*h - 19 = 5*k for h.
-2
Let i(f) = 5*f + 23. Let b be i(-4). Solve -4*j - b = -d, -4*d + 2*d + 2*j = 6 for d.
-5
Let g = -27 + 27. Solve -4*r + 10 = 2, b + 2*r - 4 = g for b.
0
Let p(m) = -3*m + 1. Let g be p(-2). Suppose -3*b - 15 = -