j = 0, -5 + 0 = 5*i - 4*k. Solve i*v - 2*t = -13, -2*v - 3*t = 14 - 1 for v.
-5
Suppose -5*v + 16 = -9, 12 = -2*r + 4*v. Suppose -3*a + 2*a - 54 = -5*q, -r*q = -a - 43. Let o = q + -11. Solve -3*y + 2*y = -5*z, -5*z = o for y.
0
Let o(q) be the third derivative of 5*q**4/24 - 5*q**3/6 - 28*q**2. Let a be o(1). Solve a + 2 = g - h, -g - 2*h = -8 for g.
4
Let f = 0 + 1. Suppose 10*r + 32 - 2 = 0. Let x be 1*(r + (8 - f)). Solve 3*a = 2*a + 4*w + x, 2*w + 2 = -3*a for a.
0
Let g(n) = 2*n**2 - 4. Let k be g(-2). Solve 0 = k*c + 5*i - 10, 3*i - i = 2*c + 4 for c.
0
Let u be (4/(-6))/((-3)/36). Solve -5*r = -3*m + 7*m + u, 31 = 5*m - 4*r for m.
3
Let o be -2 - (-3 + 4 - -50). Let m = -49 - o. Solve -16 = -4*l, 3*l + 4 = m*u + 7*l for u.
-3
Let t(r) = r**3 - 9*r**2 + 15*r - 2. Let o be t(7). Solve -3*p - 16 = 3*w - o*p, -4*w + 7 = 3*p for w.
-2
Suppose -21 = 4*h - 2*o - 67, -3*h = 2*o - 17. Suppose 0 = h*x - 11*x + 6. Solve -3 = t, 3*l + x = -0*l - t for l.
0
Let n be (-4 + 9)*2 - 8. Solve -4*l + 4 = w - 3, -w + n*l = 5 for w.
-1
Suppose 0 = 9*z + 35 - 107. Let a(b) = 2*b**3 + b**2 - 3*b + 1. Let j be a(2). Suppose 0 = -0*f + 5*f - j. Solve -2*t = 4*c - z, -t - f*t - 4*c + 8 = 0 for t.
0
Suppose -4*p + 0*p + 12 = 0. Suppose -5 = -4*c + p. Let b be 7 - 0 - 2*1. Solve -25 = b*z, c*z = -4*l + z + 7 for l.
3
Let s be (8/22)/((-210)/55 + 4). Solve -i = 2*d - 9, s*i = 5*i - d - 6 for i.
3
Suppose 7*t = 4*t + 12. Let x = -40 + 43. Let h be (-4)/10*10/x*-15. Solve 2*r + t*z + 12 = -z, h = -5*z for r.
4
Suppose 0 = 7*y + 12*y - 285. Solve -5*j - 5*o + y = 0, 2*j + o = -0 + 2 for j.
-1
Suppose 5*l + 5*k = 39 + 106, 3*l = k + 99. Let h = 0 - -4. Suppose -h*b + l = -3*x, x = 4*b - x - 28. Solve 4*z + b*m + 2 = 0, z = -z - 5*m - 6 for z.
2
Let c = 2 + 1. Suppose -5*o + 5 = -5. Solve 2*h - o*v + 2 = -0, c*v = -h - 9 for h.
-3
Let h(l) = -9*l - 85. Let y be h(-10). Solve -m - 2*m = -3*w - 15, 2*w = y*m - 19 for w.
-2
Let z(v) = -v**3 - v**2 + 2*v + 13. Let c be z(0). Suppose -2*x + c = 3. Solve -2*h = -6, 3*o - x*h = -1 - 29 for o.
-5
Let b be 5 + 1 + -3 - 0. Suppose -s + b*s - 30 = -a, -4*a = 0. Solve -l - 3*k = -6*k - 5, 0 = 3*l + 2*k - s for l.
5
Let p(u) = 2*u + 6. Let t be (-5 + 5)*3/(-9)*-1. Let z be p(t). Let a(h) = -h + 6. Let b be a(3). Solve 5*q = -2*d + z*q + 1, b = q for d.
2
Let c(z) = -z**2 + 11*z + 8. Let u be c(11). Let x(s) = 2*s**2 - 18*s + 18. Let o be x(u). Solve 3*k = -3*p - 2 + 5, -3*p + o*k = -18 for p.
4
Suppose 57 = 1105*z - 1086*z. Solve -5*u = 2*b - 31, -z*u - 9*b + 8*b + 18 = 0 for u.
5
Let c(q) = q**3 - 3*q**2 - 7*q + 9. Let s be c(4). Let f be 4/(-10)*(s + -2). Solve 2*d + 3*l = -d - 3, -d + f = -2*l for d.
0
Let n(o) = -36*o + 182. Let m be n(5). Solve m*y + 0*g + g = 10, -3*g + 5 = y for y.
5
Let r be 8/1 - 1 - 2. Solve r = -4*h + 3*b + 31, b = -4*h + 18 for h.
5
Let p = 330 + -325. Solve -3*m - p*l - 15 = -2*m, -4*m + 16 = l for m.
5
Let u be 30/(-1 + -1 - (-6 + 2)). Suppose 2*d + 4*v = -10, -d - 3*v = v + u. Solve d*w - 6 = -2*n - 23, -2*n + 5*w + 33 = 0 for n.
4
Let i(c) = -7*c**2 + 20*c + 5. Let g be i(3). Solve v + 17 = -g*v - 2*o, 0 = 4*v - 5*o - 8 for v.
-3
Suppose -3*w = -2*s - 4, -12 - 16 = -3*w - 4*s. Solve -w*r + 2*o - 16 = -4, 1 = -5*r - o for r.
-1
Suppose -14 = -2*j + 24. Let c = j + -10. Suppose m + 2*m - c = 0. Solve m*z + 17 = 4*g, 0 = 2*z - 0*g + 3*g for z.
-3
Let y(a) be the first derivative of a**4/2 - a**3 + a + 3. Let o be y(2). Solve o*f + 8 = 2*j - j, 5*f + 17 = 4*j for j.
3
Let q(j) = 22*j - 4. Let i be q(3). Let u = i - 42. Solve 4*a = k - u, -k + 9 = -3*a - 7 for a.
-4
Let x(v) = v**3 - 6*v**2 - 6*v - 4. Let d be x(7). Solve 0 = 3*j - m - 2 - 10, d*m = -9 for j.
3
Suppose 18*c + 140 = 23*c. Suppose c = 2*i + 20. Solve d = -x + 5, d + i*x = -x + 17 for d.
2
Suppose -m = -0*m - 4. Suppose 4*w + m*a = 2*a + 18, -4*w + 9 = -a. Suppose -f = -0*f - w*h - 9, 4*h - 18 = -2*f. Solve i + 4*n = 4, -3 + f = -2*i - n for i.
-4
Let d be (-8)/((-10 - -18)*(-2)/8). Solve 4 = -3*m + 3*w + 1, 0 = 5*m + d*w + 5 for m.
-1
Let f be 0 - ((-3 - -1) + 8). Let a be (6/f)/(3/18*-2). Solve -4*g - a*y + 5 = 0, -2*y + 3 + 1 = 2*g for g.
-1
Let c(k) = -2*k + 4. Let l be c(-3). Let z be 33/(-6) + 5/l. Let a be 4/(-8)*(z - -1). Solve -a*d = -2*v + 5*v + 22, 4*d = 5*v for v.
-4
Suppose 0 = -8*v - 156 + 172. Solve 2*x = 5*z - 11, -5 = -v*z - x + 2*x for z.
1
Suppose -117 = -49*m - 19. Solve k - 4*b = -m*k - 12, 3*k + 3*b - 9 = 0 for k.
0
Suppose 14 = 3*n - 2*h, n - 2*h + 3 = 9. Suppose 0 = -b + 2, -2*c + b = 3*b - 12. Suppose 0 = c*r - 8. Solve n*u - r*k - k = 7, -k = -2*u + 3 for u.
1
Let g be 30/60 - 20/(-8). Solve -4*v + 4 = 2*w, v + g*w = -0*w - 9 for v.
3
Suppose 24 + 56 = 5*u. Suppose 5*b - u = -6. Suppose 4*m - 15 = b*z - 7*z, 22 = 4*m - 2*z. Solve p + 2*p + i = -1, m*p + 2*i + 3 = 0 for p.
1
Suppose 0 = 4*q + 2*k - 210, -4*q + k + 51 = -3*q. Suppose 14*g - g - q = 0. Solve 0 = -h + g*u + 1 + 24, 0 = u + 5 for h.
5
Let y = 2943 - 2935. Solve -3*c - 3*s - 13 = -y*c, -17 = -c - 3*s for c.
5
Let d(u) = -u**2 - 37*u - 208. Let i be d(-30). Solve i*f = -h + 5, -13 - 6 = -5*h - 4*f for h.
3
Suppose -12 = -2*n - 2*q, -3*q - 31 - 21 = -4*n. Let u be -1 + n + (1 - 2). Let y be (u - 7) + 2/2. Solve -y = -2*p + 2*s, 2*p + 20 + 3 = -3*s for p.
-4
Suppose 0 = -3*w + 4*z + 11, -145 + 141 = -4*z. Solve -4*g = 4*c, -w*c + g - 3*g = -3 for c.
1
Let o(y) be the first derivative of 3 - y**2 + 3*y - 1/4*y**4 + y**3. Let v be o(2). Solve -d + 16 = -4*k, -v*k - d - 20 + 1 = 0 for k.
-5
Suppose 4*l - 12 = -5*r, 6 = 2*l - 8*r + 4*r. Solve 5*m - 4 = -4*c + l, 4*c + 11 = m for c.
-2
Let l = -5 + 30. Let v = -22 + l. Solve 5*g + 2 = 2*a, 6*g - v*g + 3*a = 3 for g.
0
Suppose 2*z - 4*z = -20. Suppose 2*b + 0*b = z. Solve -c = -0*c - b*s + 2, -s = 2*c + 4 for c.
-2
Suppose -2*j + 2*s = -2, -2*j + 8*s - 5*s = -1. Solve 5*f - 21 - 7 = -u, -13 = -u - j*f for u.
3
Let c = -867 + 870. Solve 0*o + 3*t = o + 7, -15 = -c*o - 3*t for o.
2
Let d = -719 + 724. Solve d*c - 7 = -r, 4*c = 7*c + 2*r for c.
2
Suppose 0 = -4*c + 222 - 174. Solve -2*g = t, 2*g - c = 4*t + 4*g for t.
-4
Suppose 5*m - 94 = -19. Suppose -2*n + 4 = -4*x, -5*n + 3*x = 6 - 23. Solve -5*i + 5*v = m, -i - 2*i = n*v - 26 for i.
2
Let x(l) = -3*l. Let q be x(-1). Suppose d = -d + 2*h + 10, -q*d - h + 3 = 0. Suppose -6 = -d*w - w. Solve 3*u + 15 = 0, w*u + 0*u = 3*s - 13 for s.
1
Let v(r) = -r**3 + 15*r**2 - 12*r - 25. Let i be v(14). Suppose i*u + o = -u + 9, u = -2*o - 3. Solve 0 = 2*s + 2*a, -u*a + 0 = 4*s + 3 for s.
-3
Let v = 16 + -12. Suppose 6*a - 5*a = 5. Suppose 0 = -2*x + t + 3 + 2, -5*t - 25 = 4*x. Solve -v*w + 45 = a*n, 10 = -x*n + n + w for n.
5
Suppose 3*z = -5*d - 19, 3*d = 5*z - d - 30. Solve -h + 2 = -5*h + z*o, -11 = 2*h + o for h.
-3
Let v be (-2)/8 + 17/4. Let g(i) = -i**2 - 15*i + 19. Let m be g(-16). Suppose -7*q = -4*q + m*p - 21, -q = -2*p + 8. Solve -k - 6 = k, -q*k - 10 = v*y for y.
-1
Let a = -16 - -19. Suppose u - 1 - a = 0. Solve 2*l = 4*n + u, -7*n + 2*n + 13 = 2*l for n.
1
Suppose 4*z - 3*g + 2 - 3 = 0, 5*z - 45 = -5*g. Let a be 6*z*2/12. Solve -17 + 2 = 3*n + q, -4*q = -a*n - 20 for n.
-5
Let n = 31 - 19. Solve -4*f = -5*o + n - 0, 3*o + 4*f = 20 for o.
4
Let i be (4/9)/2 - (-1612)/279. Solve -5*g = -3*g - 2*t, 3*t + i = 0 for g.
-2
Let b(v) = -126*v + 885. Let a be b(7). Solve 4*m + 1 = 4*y - 3, 0 = -m + 3*y + a for m.
-3
Let v be 9/6*132/18. Solve h = -2*z - 4*h, v = z - 3*h for z.
5
Let h(q) = -3*q**2 + 33*q + 3. Let m be h(11). Suppose 0 = -4*g + 3*g + m. Solve 5*s = g*y + 13, -y = -3*s - 5*y + 2 for s.
2
Suppose -5*g = -39 - 21. Let t = -22 - -13. Let n = t + g. Solve n = m, i + 10 = 6*i - 5*m for i.
5
Let o(h) = 5*h - 19. Let y be o(8). Suppose -12 = -5*n - t, -6*n + 2*n + y = -3*t. Solve -4*b = -4*q + n*q + 1, 4 = 4*q - b for q.
1
Let t(v) = -10 - 63*v + 62*v + v**3 + 32 - 19*v**2. Let h be t(19). Solve 5*s = h*f, 0 = -f - 0*f - 5*s - 20 for f.
-5
Let f = 27 - 27. Solve 5*i - 10 = f, 3*x + 2*i - i = 17 for x.
5
Let v be (82/(-205))/((-4)/(-24) - 31/150). Suppose 11 = 3*m - 1. Solve 5*u + v = 0, -u - 6 = -4*k - m*u for k.
3
Let n(g) = g - 8. Let v be n(9). Suppose v = -l - 8. Let h(s) = s**2 + 8*s + 4. Let m be h(l). Solve -4*b = f + 22, 7*b + m = 4*b + f for b.
-5
