 9, -3*b + 5 = -v + q*v for v.
-2
Let v(p) = 3*p**2 - p. Let g be v(-1). Let q be (4 - 14)/(1 + 0 + -3). Solve -2*d = -g*t - d - 16, -3*t - q*d - 12 = 0 for t.
-4
Let q(g) = -2*g**3 - 19*g**2 + 12*g + 26. Let k be q(-10). Solve 2*o - k = 4*v, 4*v + 24 = 4*o - 8*o for v.
-3
Let h = 43 - 31. Let a(f) = -10*f**2 - 7 + f**3 - h*f + 13 + 8. Let b be a(11). Solve -2*x - 2*x = -b*i, -4*i + 4 = -4*x for x.
3
Suppose 0 = -22*n + 65 - 21. Solve -3*m - 3*o - 9 = 0, n*o = -m - 5 + 3 for m.
-4
Suppose 43 = 37*f - 31. Solve -16 = -3*s - f*t, 5*s + 3*t - 21 = 2*s for s.
2
Let p(r) = -11*r - 63. Let j be p(-6). Solve 3*c + j*a = -18, c = -0*c + 5*a + 12 for c.
-3
Suppose -3*q - 2*q - f + 41 = 0, -57 = -5*q + 3*f. Let n be (q + (4 + 2)/(-3))/1. Solve n*a + 3 = 4*a - 2*y, 5*y - 18 = a for a.
-3
Let x = -48 + 21. Let i be (-575)/(-45) - 6/x. Suppose i*j = 16*j. Solve -3*u - 6 = -3*r, j*u - 13 = 3*u + 4*r for u.
-3
Let w(i) = -i**3 + 2*i**2 - i. Let t be w(1). Suppose 45 = -t*n + n. Solve -5*g - 3*a + 10 - n = 0, 5*g + 45 = -5*a for g.
-4
Suppose -2*x - 5 = t, -3*x = -x - 3*t - 15. Solve x = 3*s + 5*g - 4, 5*s - g - 17 = g for s.
3
Let m be (-1)/2 - 105/(-14). Let q(y) = y**3 - 8*y**2 + 8*y - 4. Let d be q(m). Suppose -t + 2 = -d. Solve 2*o - o - 23 = -t*j, -4*j + 19 = o for o.
3
Let m(u) = -u**3 - u + 6. Let v be m(0). Let d = 9 - v. Suppose -4*i - 12 = 5*k, -5*k + 0*i - 9 = d*i. Solve k = -2*z + 2*o + 8, -3*o = 2*z - 6*o - 9 for z.
3
Suppose -5 = 3*m + 49. Let r = 26 + m. Suppose 12*w - 12 = r*w. Solve -14 = w*g - s, 0 = -5*g + s + 4*s - 30 for g.
-4
Suppose 3*m + 10*z = 12*z + 41, 32 = m + 3*z. Solve 5*x - m = -3*s, -4*x + 14 = -s + 3*s for s.
-1
Let y(p) = p**3 - 6*p**2 - 9*p - 4. Let h be y(7). Let o be (-3)/6 + (1 - h/4). Solve m = -c + 3, -3*m = c - o*c + 19 for c.
4
Let p(g) = 2*g**3 + 7*g**2 - 5*g + 2. Let i(b) = -b**3 - b**2 + b - 1. Let r(l) = 3*i(l) + p(l). Let h be r(3). Solve -6 = 3*a - 2*c, 0*a + a + h*c = 6 for a.
0
Suppose -5*d + 4*d = -3. Suppose -d*r = -5*f + r + 12, 3*f = 2*r + 6. Suppose 2*i + 3*i - 20 = f. Solve 0*y + i = -2*g - y, -16 = -4*g + 4*y for g.
0
Suppose 0 = 5*s - 5, -3*d + 3 = 3*s - 9. Solve -4*r - 4 = 2*k + 2*k, -d*r - 9 = 0 for k.
2
Let r = -41 + 65. Let t = -10 - r. Let z be (-10)/25 - t/10. Solve -5*i + 15 = -2*b, 0 = -z*b + 7*b - i + 3 for b.
0
Let g = -20 + 11. Let r = g + 14. Suppose r*p - 6 = 2*p. Solve -4*a + o - 20 = -o, -a + p*o = 8 for a.
-4
Let c be (-2)/(3/(-18)*6). Solve -4*j = 3*k - 15, 4*k + 3*j - c*j = 7 for k.
1
Let o = 7 + -9. Let l be -6 + 5 + (-14)/o. Suppose 0 = 3*y - l*y + 9. Solve -r + 4*v = -19, -r + v + y = -1 for r.
-1
Suppose 18*v = -70*v + 176. Solve 0 = -5*s - 4*a - 2, s - 3*s = -v*a - 10 for s.
2
Let t = 52 - 50. Suppose t*u - 31 + 7 = 0. Solve -n + u = 3*n + 2*a, 0 = -5*n - a + 9 for n.
1
Let x(l) be the third derivative of -l**4/24 + l**3/2 - 2*l**2. Let n be x(-8). Let m = n - 7. Solve -d - d - 10 = -3*j, -14 = m*d - 3*j for d.
-2
Let a = -2 - -6. Let p(o) = 2*o**2 - 5*o - 2. Let b be p(a). Suppose 5 + 3 = 2*n. Solve 0 = -4*u + g + b, u = -g - n + 9 for u.
3
Let v be ((-161)/35 - -5)/((-1)/(-25)). Solve 2*w - v = -m - w, 3*m + 2*w - 9 = 0 for m.
1
Suppose -2*y = -63 + 57. Solve -3*s = 6, -y*d + 3*s + 27 = 6 for d.
5
Let l(a) = -a**3 - 7*a**2 - 4*a - 4. Let q be l(-7). Solve -4 = -2*f - 5*h + 8, 4*h = 2*f + q for f.
-4
Let z = 44 - 30. Solve -11 = -3*h - 5*i + z, 5*h = -4*i + 20 for h.
0
Let n be 3216/240 - (-6)/(-15). Solve 3*z + n = b, -b + 6*z + 19 = z for b.
4
Suppose 0 = -0*r + r - 49. Let g = r + -44. Solve 0*s = -s - 2*v + 1, -5*s = 3*v - g for s.
1
Let p = 86 - 90. Let n = p + 14. Solve -2*b - n = -u + 3*u, 5 = 3*b - u for b.
0
Suppose -m = 5*t - 27, 5*m + 0*m - 5*t - 15 = 0. Suppose -m*q + 28 = -3*q - 4*d, 5*q + d - 41 = 0. Solve 2*j + i = q, -3*i - 14 = -j - 6*i for j.
2
Suppose -21*l + 14*l = -42. Suppose 0 = 3*t + 2*w - l*w - 32, 16 = -t - 4*w. Solve 5*b + n + 4*n = -10, t*n + 12 = -2*b for b.
2
Let a(c) be the first derivative of 5*c**2/2 - 23*c - 3. Let k be a(8). Solve 3*h - 23 = 2*m - 0*h, -2*m = 5*h - k for m.
-4
Let c be 2/9*3*3. Let a(z) = -10*z**3 - 9*z**2 - 4*z + 6. Let i be a(-3). Let y = 210 - i. Solve -4*k = -p - 20, -9 = p - c*k + y for p.
-4
Let s = 288 - 285. Solve 3*o - 15 = 0, 5*v + 0*v + s*o = 30 for v.
3
Suppose 0 = 6*d - 3*d - 30. Solve -5*s + 0 - d = 5*k, 0 = -4*s + 4*k - 24 for s.
-4
Let n(q) = -q**2 - 6*q + 1. Let o be n(-5). Let w = o - 5. Solve b + 2*p = 11, -4*b - 5*p = -31 - w for b.
3
Let x be 8/48*(3 + -1 - -4). Solve r = -2*b + 8, 4*r = b + 3*r - x for b.
3
Let s(y) = y**2 + 8*y - 3. Let q be s(-9). Let u be q*2/6*2. Solve u*r = r + m + 11, 0 = -2*r - m + 14 for r.
5
Let n be (-10 - -8) + -2 + 4. Solve 5*t + n*u = 4*u - 3, 0 = -4*t - u - 15 for t.
-3
Let x(i) = -11*i - 6. Let w be x(-1). Solve -y - w + 1 = -4*u, -y + 3*u - 2 = 0 for y.
4
Let j be (-14)/(7/(28/(-8))). Let m(g) = -10 + 8*g + j - g**2 + 6. Let s be m(8). Solve 2*k - 4 = -k + 5*b, -3*k = s*b + 12 for k.
-2
Let h = 0 - 6. Let j(x) = -5*x - 10. Let l be j(h). Suppose -l = -5*q, -4*q - 3 = -5*u - q. Solve -19 = -4*f - u*o, 3*f - 19 = -5*o - 2 for f.
4
Let k(m) = 2*m - 25. Let o(s) = -5*s + 76. Let g(d) = 11*k(d) + 4*o(d). Let r be g(-12). Solve 4*b = -i - 5, -3*b - r = 3*i - b for i.
-1
Let p = 686 - 684. Solve 4*b - a = -3, 3*a - 4 - 5 = -p*b for b.
0
Suppose 7*w = 6*w. Suppose 3*x + 3 = -2*m - 3, w = 2*x + 5*m - 7. Let a = 8 + x. Solve -20 = -a*v, -u - v = u - 7 for u.
1
Let x be (-3)/((-2)/(-4 + 6)*-1). Let j(h) = -2*h + 1. Let m be j(x). Solve -3*z = 2*q + m, -4*z + 2*q - 29 = -1 for z.
-5
Suppose -5*v - 5*q = -80, -5 = -v + q + 3. Solve 3*c - u = v, -4*c + 16 = c - 3*u for c.
5
Suppose -3*l - 69 = -5*x, 28 = 2*x + 2*l - 3*l. Suppose -5*o = -3*o - 10. Suppose 0*i + x = p + 5*i, 5*i = o. Solve 0 = 5*d + 9 + 1, 0 = 4*n - 3*d + p for n.
-4
Suppose -r + 6*r - 210 = 0. Suppose 0 = -47*x + r*x + 20. Solve 0 = -x*z + 3*m - 4, 6*z - 4*m = 2*z for z.
-4
Let z be (-5)/1 - (-56)/7. Solve 0 = 4*y - w - 4, -2 = 2*y + 3*y - z*w for y.
2
Let i = -819 - -824. Solve 0*g + 4 = -4*g - 2*l, -g - 19 = i*l for g.
1
Suppose -2*l = -l - 2. Solve 0 = -l*j + x - 10, 0 = 4*j + 5*x - 7 + 27 for j.
-5
Suppose -66*y = 199 - 2047. Solve 33 = -5*h + 2*l, 3*h - y = 7*h - 2*l for h.
-5
Suppose -729*q = -721*q. Solve 3*a - 9 = -q*a, c = a - 3 for c.
0
Let q = -1 + 3. Suppose 14 = 34*l - 27*l. Suppose 0*u + 8*u = l*u. Solve -2*m + 5 - 13 = -t, u = 5*t - q*m for t.
-2
Let z(a) = a**2 - a. Let q be z(2). Solve 2*t - 2 = -q*y, -y + 4*t - 1 = -6*y for y.
-3
Let g = 12 + -25. Let t = g - 13. Let s = t + 47. Solve -m + 0*z - 5 = -z, 4*m = 5*z - s for m.
-4
Let d = -96 + 101. Suppose d*b - 7 - 18 = 0. Let o(x) = -x**2 + 8*x + 2. Let m be o(6). Solve -b*n + m = 2*t + 33, -5*t = -n + 7 for t.
-2
Let s(x) = -2*x**3 - 5*x**2 - 2*x + 1. Let n be ((-6)/10)/(6/30). Let g be s(n). Let y = g - 11. Solve 13 = 5*c - 4*z, -c + 6*c + y*z + 5 = 0 for c.
1
Suppose -36 = -3*z - 0. Suppose z = 3*i - 0*i. Solve 0 = 5*c - 2*c + 2*d - 17, 0 = i*c + 4*d - 24 for c.
5
Suppose r - 3*l - 7 = -7*l, -3*l = r - 6. Suppose h - r*m + 7 = -0*m, -2*m = h - 8. Solve -g + 8 = 4*v, -h*g - 2*g = -v - 15 for g.
4
Let c be (11 + (-43)/3)*18/(-10). Solve p - l = c, -16 = -3*p - p - 4*l for p.
5
Let w = 9 + -6. Suppose q - 12 = -w*q - n, -2*n - 20 = -3*q. Suppose -3*v = 4*r + 1, -4*v = v + r - 21. Solve 8 = -4*k + q*f - 4, 4*k + v*f = 6 for k.
-1
Let f be 0 + (3 - 1) + 1. Suppose 0 = -2*v + 8. Solve -5*t - 31 = -f*z, z - 3*z = -v for t.
-5
Let g be 17 - (3 - -2 - 8). Solve -3*l = -2*t + 8, l + 5*t = 6*l + g for l.
0
Let n be -4 + 4 - 3/(-1). Solve 0*f + 2*f = 3*y + 10, -8 = n*y - 4*f for y.
-4
Suppose 11*i = 19*i - 40. Solve -2*g - g - 18 = -d, d - 28 = i*g for d.
3
Let z be 1 - 6 - (-10 + 1). Solve i = 5*a - 3, -z*i = 5*a - i + 9 for a.
0
Suppose -r + 2 = 2*m + 17, -14 = 2*m + 2*r. Let h be (m/(-5))/(127/25 + -5). Solve -5*u + f - h = -0*u, -2*u - 21 = -3*f for u.
-3
Suppose -9 = -11*s + 13. Let y be (2/3)/(4/12). Solve b + 0*b + r = -3, 0 = s*b - y*r - 6 for b.
0
Suppose 4*i - 171 + 151 = 0. Solve -5*m + i*s + 1 = 2*s, 0 = 4*m + 5*s - 23 for m.
2
Let b(m) be the first derivative of -m**3/3 + 7*m**2/2 + 17*m + 3. Let i be b(8). Solve 4*x + 12 = -5*y - 0*x, -3*x - i 