ve -5*a = -5, z + a - 16 = -i*z for z.
5
Let q = 20 - 16. Solve -3*h = -4*h - 3*z - 12, q*z = -h - 15 for h.
-3
Let n be ((-1)/(6/(-4)))/(2/6). Solve 5*d - 10 = n*a, 4*d = -4*a + 29 + 7 for d.
4
Let q(i) = 2*i - 1. Let t be q(3). Let f = -3 + t. Solve -u = f*u - 5*r - 30, 4*u - 2*r = 26 for u.
5
Suppose -2*d + 16 = 2*d. Let f(c) = 3*c - 2. Let j be f(2). Solve 2*x = -d*b + 22, -3*b + 9 = 3*x - j*x for x.
3
Suppose -q = -13 - 8. Suppose 0*l = -4*l - d + q, 13 = -3*l + 5*d. Let n = -25 + 60. Solve -3*u + 7*u + o = -17, l*o = -5*u - n for u.
-3
Suppose -x - 3 = -2*x - 2*s, -11 = -3*x - 5*s. Let n(r) = r - 1 - 4 + 0. Let g be n(x). Solve 3*y - g*h = 19, -4*h - 2 = 3*y + 9 for y.
3
Suppose -2*s = -4*s + 2. Solve 10 = -2*f + i + s, -5*f - 24 = -3*i for f.
-3
Suppose 0 = -2*t + 20 - 4. Let q be (1/(-2))/((-1)/t). Solve -4*d - 3*o = -0*d + 11, 0 = -q*o - 20 for d.
1
Let q be 2/(-4*(-1)/10). Solve -5*t + q*y + 17 - 7 = 0, t - 4*y = -4 for t.
4
Let b be 2*((-79)/(-2) - 0). Suppose 2*t = -0*t - 2, t - b = -5*d. Solve -5*m + 11 = 3*o, d = -m + 5*m for o.
-3
Let y(s) = s**2 + 5*s. Let v be y(-6). Suppose -15 = u - v*u. Solve 3*h = 2*j + u*j + 13, -3*j - 5 = h for h.
1
Suppose 5*i + 40 = 5*m, 0*i - 8 = 2*i. Solve -k + m*f - 21 = 0, 4*k = 2*f - f - 9 for k.
-1
Suppose -5*x + 217 = 22. Suppose 3*t + 15 = 0, -t - 26 - x = -5*h. Solve -3*b = 3*d - h, -5*b = -4*d + 2 + 14 for d.
4
Let v be 2/5*5/1. Suppose -5*m + 4*r - r = -16, 4*m - 5*r - 5 = 0. Solve 0 = s - m*j - v, s - 2*j - 3 = -4 for s.
-3
Suppose 7 + 41 = 16*n. Solve 2 = u - 3*x, -u = -3*u - n*x + 13 for u.
5
Let p = 46 - 31. Let k = 17 - p. Solve g - 17 = 4*r, g - k = r + 3 for g.
1
Let t(p) = p**2 + 5*p - 4. Let a(m) = 2*m + 2. Let z be a(-4). Let f be t(z). Suppose 2*k + f = 3*k. Solve h = -2*g - k, -5*g + h = 2*h - 1 for g.
1
Suppose 12 - 37 = -z + v, -4*z - 4*v + 100 = 0. Solve 4*i - 2 = 2*f - 4*f, z = 5*i - 2*f for i.
3
Let s be (-2)/3 - 520/12. Let u = -28 - s. Solve -3*d = t - 14, t + u = -0*d + 3*d for d.
5
Let k(r) = -r**3 - 8*r**2 - 8*r - 10. Let s be k(-7). Let l be 2/(-2) - -4 - s. Solve -5*m = 5*g - 25, -l*g = 5*m - 2*g - 22 for m.
2
Let m(b) be the third derivative of b**4/24 - b**3 - b**2. Let h be m(6). Solve 5*l = -10, h*l - l - 12 = -5*a for a.
2
Let o be ((-40)/12)/((-6)/9). Solve -2*k = -t - o*k + 4, 0 = -3*t - 5*k + 4 for t.
-2
Let q(p) = -2 + 2*p**2 - 3*p**2 - 2*p**2 - 4*p - p**3. Let h be q(-2). Solve 3*m = t - h, 0 = 6*t - 4*t + 4*m - 14 for t.
5
Let m(l) = -2*l**2 - 24*l - 10. Let v be m(-10). Solve 2*z + 12 = -k, -2*z - v = 5*k + 2*z for k.
-2
Suppose 4 = m - 0. Suppose -11*l + 7 = -10*l. Solve -20 = m*u + 4*z, -l + 0 = 2*u + z for u.
-2
Suppose 4*z = -13 - 11. Let l be (-54)/(-15) + z/(-15). Let d be ((-2)/(-2) + l)*1. Solve -5*k - m - 4 = 0, 0 = -5*k + m - d*m - 16 for k.
0
Let b be ((-3)/9)/(2 - 273/135). Solve 0 = -3*o - b, 0 = r + 4*o + 13 + 7 for r.
0
Suppose 0 = -4*f - f. Let n = 10 - 29. Let h = n + 37. Solve -4*q + 12 = l, 5*l - q = -f*l + h for l.
4
Let j = -6 + 4. Let r = j + 9. Suppose h = r - 2. Solve n + h = -t, -1 = -n + 6*t - t for n.
-4
Suppose 3*o = o. Solve -l + 5*h + 17 = o, -4*l - 2 - 2 = -2*h for l.
-3
Suppose 5*c = 5*x + 20, c + 2*x - 9 = -2. Solve 3*z - 8*z - o - 22 = 0, -3*z = c*o for z.
-5
Let v(u) = -5*u + 27. Let x be v(5). Solve n - 8 = -x*c + 3*n, 0 = 4*c + 2*n + 2 for c.
1
Let y(d) = -d**3 - 5*d**2 + 2*d - 4. Let w be y(-6). Solve w = -2*k - 2*l, -l + 4 = 2*k + 19 for k.
-5
Let w = -19 + 19. Solve -3*g - 2*k = -18, w*g + 5*k - 3 = 3*g for g.
4
Let o(v) be the second derivative of v**4/12 + v**3/3 + v**2/2 - 5*v. Let u be o(-6). Solve -5*g - 2*z = -0*g - u, -6 = 3*g - 3*z for g.
3
Suppose 0*j + 3*b = 2*j - 4, 0 = b - 2. Let t(o) = o**2 - 5*o + 2. Let d be t(j). Suppose -6*i + 20 = 4*i. Solve -5*s = -i*z - 0*z - 23, -z - d*s = -11 for z.
1
Suppose -6*h - 14 = -13*h. Solve -3*d - 12 = -3*r, -d + 0*r = r - h for d.
-1
Suppose -a + 3*v - 4 = 0, v + 0 = 2. Let i(q) = -7*q**2 + 10 + 5*q**3 - 2*q + 9*q - 6*q**3. Let k be i(-8). Solve a*g - 5 - 3 = -c, -4*c + k = g for c.
4
Let c(t) = -14*t**3 + 2*t**2 + 2*t + 1. Let n be c(-1). Let p be -5*(2 - 39/n). Solve r = y - 0*y + p, -3*y = 0 for r.
3
Let o = -108 + 180. Let q be o/4*(0 + 1). Suppose p + k = q, 2*p + 3*k = 40 - 8. Solve 2*d - 4*d + 19 = -3*r, -5*d - r = -p for d.
5
Suppose 0*g + 3 = 3*g. Let h be 4 + ((-4)/(-2))/g. Suppose -h*u + 2*u = 0. Solve -c - 2 = -3*n + 8, -2*n + 2*c = u for n.
5
Let f(z) = z**2 + 7*z - 17. Let d be f(-9). Solve -2*c - 4 = -l, 14 - d = -5*c + l for c.
-3
Let q be (-4)/8*(-1 + -121). Let y = q + -43. Solve 5*j + y = -3*u, -4*j - 20 = 2*u - 6 for j.
-3
Let n(r) = -r + 9. Let j be n(-7). Suppose -5*m - k = 2*k - 21, -j = -4*m - 2*k. Solve m*i + 3*y - 7 = -1, -y + 2 = 3*i for i.
0
Let y(q) = -q**2 + 7*q + 11. Let f be y(8). Suppose 8 - 23 = 3*i, -h - i = -3. Solve f*n + 1 = -c - 1, 2*n + 4*c = -h for n.
0
Let q(l) = -l**3 + 4*l**2 - l. Let i be q(4). Let r be (-8)/6*(-6)/i. Let y be 0*r/(-2 + 4). Solve y = z, -3*a - z + 0*z + 3 = 0 for a.
1
Let g = 2 - 5. Let w be 7/1 + (-3)/g. Let a = 13 + -10. Solve a*n = -2*y + w, 0 = 2*n - 3*y + 7 + 5 for n.
0
Let z = -14 - -1. Let p = z - -16. Solve -g + 4*b - 40 = p*g, 5*b = -3*g + 10 for g.
-5
Suppose 5*q + 4 = -y, -y + 14 + 22 = -3*q. Let u be (-16)/(-7) - 6/y. Solve w = -3*i + 12, -2 = 2*w - u*i + 6 for w.
0
Suppose 64 = 2*n + 2*n. Let o = -8 + n. Solve 6*w - 3 = -g + w, -2*g - o = -4*w for g.
-2
Suppose 3*g - 18 = -3*g. Solve -2*i + g*d + 15 = 0, 4*d = -i + d - 15 for i.
0
Suppose 3*y = 11 - 5. Solve -2*j - 4 = 5*x + y*j, -3*j - 3 = -5*x for x.
0
Let s = -1 + 4. Suppose -3*z - 5 = -4*x, 3*x + 13 = -s*z + 43. Solve -4*q = j + 6 + 17, x*q = 3*j - 16 for j.
-3
Let r = -7 + 8. Suppose 4*w + 20 = 0, -3*h - r = -7*h - 3*w. Solve -3*x = -f - h*f - 40, -4*x = -5*f - 45 for x.
5
Suppose 41 = 3*d + k + 15, d - 3*k - 2 = 0. Solve 0*c + c = 3*x + d, c - x = 6 for c.
5
Let o = 7 + -4. Suppose -y = 1 - o. Suppose -y*k - k = -6. Solve 10 = 5*i - 5*r, -2*i - k*r - 21 = -5 for i.
-3
Let m(r) = r**3 - 7*r**2 - 8*r + 6. Let i be m(8). Suppose -v + 5*s = -10 - 3, -3*s = 4*v - i. Solve 0 = -3*a - 3*g, v*a - 3*g + 18 = -0*g for a.
-3
Let t(i) = -i**3 + 12*i**2 + i - 7. Let x be t(12). Solve p + x*y + 2 = -0, -4 = 2*p - y for p.
-2
Let k(t) = t**2 + 23*t + 44. Let m be k(-21). Solve 2*n + 12 = -2*q - 0*q, -n - m = -q for q.
-2
Let q(v) = 5*v. Let l be q(1). Solve l*y - a = -0 + 10, 4*y = 2*a + 14 for y.
1
Suppose -6 = -j + 2. Let d = 412 - 408. Solve -4*x - d = 4*b, -5*b = -2*x + 4*x + j for x.
1
Suppose 3*q + 5 = 17. Let v be (40/(-25))/(q/(-50)). Solve 4*t - 12 = 3*r, -5*t - v = -0*r + 5*r for r.
-4
Let l(t) = -t - 12. Let j(f) = f + 12. Let k(p) = -3*j(p) - 4*l(p). Let x be k(-8). Solve x*o + 9 - 1 = 3*d, o - 21 = -5*d for d.
4
Let h be 10 - 4 - (-3)/((-5)/5). Solve 0 = k - 4*m - 4, 22 = -h*k - 4*m - m for k.
-4
Suppose -4*k = -3 - 5. Let w be (-1 + 2)/(k/4). Let l = 1 - -1. Solve 0 = 3*f + i - 16, l*f + w*f - 2*i - 8 = 0 for f.
4
Suppose 4*v - 5 - 11 = 0. Let b be (-1)/2 + v/8. Solve 4*f + 19 = l, 3*f + 3*l + 3 + 0 = b for f.
-4
Let q be 15/20 + (-15)/(-12). Let n = 0 - -2. Solve n*c = -4*v - 10, 3*v - 2*v - q*c - 10 = 0 for v.
0
Let v(c) = -c**3 + 5*c**2 + 3. Let b be v(0). Suppose p - 28 = -2*n, -p - 16 = 5*n - 53. Let a = p - 6. Solve 4*q + a = b*u, 3*u = -5*q - 2 + 9 for u.
4
Let d be 0*((-20)/8 + 3). Solve 5*w + 15 = d, 3*w - 3 = -0*r - 3*r for r.
4
Let c(f) = f**2 - 5*f - 2. Let r be c(6). Let b = r + 9. Solve -b = 4*u - 3*g, u + 5*g + 6 - 20 = 0 for u.
-1
Let n(o) = 2*o + 22. Let v be n(-9). Solve 2*x - 4*y = -4, -18 = v*x + x - 2*y for x.
-4
Let q = 3 - 3. Suppose -2*x + 10 = -q. Solve d = -x*c - 17, 2*c = 6*c - 2*d + 22 for c.
-4
Suppose -17 = -4*q - 5. Suppose -30 = -13*r - 4. Solve -3*j - q*l = -12, -6*l - 8 = -4*j - r*l for j.
3
Let r(i) = -i**3 - 19*i**2 - i - 17. Let s be r(-19). Solve -s*k + 5 = -5*b, 2*k = 5*b + 5*k + 30 for b.
-3
Let g be (-2)/6 - (2/6)/(-1). Solve 2*w - 4*a + 16 = g, 2*a + 7 - 23 = 3*w for w.
-4
Suppose 36 = 8*d - 2*d. Solve -3*u + 15 + 3 = 3*r, 5*u + d = 4*r for r.
4
Suppose 0 = -m + 6*m - 10. Suppose -7*t = -m*t - 15. Solve -t*i - 6 = -0*i - 3*v, -2*v = -4*i - 2 for i.
1
Let l be (-1)/(4/(-2))*-2. Suppose 0*b = b 