 0 = -u - 0*q - 4*q + 23. Solve u*x = -3*a + 3, -5*x + 2*a + 5 = -0*x for x.
1
Let m(n) = 2*n - 1. Let h be m(-1). Let d = h - -8. Suppose -4*v = -d*v + 5. Solve -2*o - 9 = -7*w + 2*w, -v*o = -w + 11 for w.
1
Let h = 0 - -9. Suppose -h = -4*v + 7, 5*q = 2*v + 7. Solve -5*l = 4*u + 2, 2*l - 1 = 2*u - q*u for u.
-3
Let k be (-27)/(-9)*(-2)/(-3). Suppose -k*t - 8 = -4*m - 0*m, t = -m - 4. Solve 0*r + 5*r = 4*h + 4, -5*h - 5 = m for r.
0
Suppose 0*q - 5*q + 125 = 0. Let f(b) = b - 2. Let m be f(3). Solve 5*h - j + q = 0, h + m = -3*j - 4 for h.
-5
Let i(p) = -2*p + 6. Let m be i(3). Solve y + 7 = -5*o - 4, -2*o + 5*y + 1 = m for o.
-2
Let o be ((-4)/8)/(4/(-16)). Suppose o*y + 2*y = 0. Solve -5*s + 0*s - 4*f + 16 = 0, y = -5*s + 4*f + 24 for s.
4
Let v = -36 + 46. Solve 0 = -4*j + k + 8, v = 5*j - 5*k - 0*k for j.
2
Let i = 10 - 13. Let x(g) = g**2 - g - 3. Let h be x(i). Solve -3*m = -s - 2*s - h, 4*m = s for m.
-1
Suppose -g - 2*g = 0, 5*z + 5*g = 10. Solve -a = -c - 5, -4*c = -z*a + 17 - 3 for c.
-2
Let g(y) = -2*y**3 - 2*y**2 + y - 2. Let l be g(-2). Suppose 5*m = -0*m + 10. Let i be (-1)/m - (-30)/4. Solve 0 = 4*f + 2*a + 22, l*a + 17 = -4*f - i for f.
-5
Suppose 2*w - 26 = 6. Suppose w = -l + 26. Solve 2*k - l = q + q, -4*k = -3*q - 20 for q.
0
Let c be 1 - (2 + -1 - 1). Suppose -5*v + c = -29. Suppose 4*p - v = 2. Solve -3*t + 1 = -4*d + p*t, 2*d + 3*t = 5 for d.
1
Let o = 38 + -22. Solve -2*k - 4*c + o = 0, -c - 2*c = k - 11 for k.
2
Suppose -5*i - 9 + 34 = 0. Solve 4*q + i*m - m = -28, -4*m = q + 22 for q.
-2
Suppose 2*n = 5*b - 10, -8 = -4*n + 6*b - 3*b. Solve p = n*m - 5 + 15, -5*p + 26 = -m for p.
5
Let h be (-1)/(-4)*6*2. Let m be ((-2)/4)/(h/(-6)). Suppose 0 = 4*w - 17 + m. Solve 3*k = w*b - 21, 0*b = -4*b + 12 for k.
-3
Suppose k = 5 - 0, 3*k = -2*y + 19. Let j = 2 + y. Solve f + 3*f = j*i - 32, -i - 7 = 2*f for i.
3
Let b(k) = -k**3 - 5*k**2 - 5*k - 13. Let s be b(-5). Solve 2*n + 2*n = 4*d + s, -n + 9 = -3*d for n.
0
Suppose 2*r - 2 = w, -3*w + 8 = 2*r + 22. Let n be (5 + 0)*w/(-5). Suppose -3*a + 5 = -1. Solve -a*p + 9 = 5*i + 33, -4*p + i = n for p.
-2
Let b(v) = v**2 + 2*v. Let p be b(2). Let k = -3 + p. Solve -3*y = -0*w + w, -4*y - k*w = 0 for y.
0
Suppose 20 = 2*l + 4*h, 10 = h + 4*h. Let j = -25 + 27. Suppose 0 = 2*c - j*p - 14, 19 = 3*c - 2*p - l. Solve 2*b + 3*m = 4*m + 5, -c = -4*b + 3*m for b.
2
Suppose 5*v = -0*v + 10. Suppose 4*b - o - 2 = 11, 5*b + v*o - 13 = 0. Solve b*r = h + 2*r + 1, h + 9 = 5*r for h.
1
Suppose 3*q = 118 - 7. Suppose -13 - q = -5*a. Solve -4*z = -4*m - 2*z - a, -2*z - 8 = 2*m for m.
-3
Let m be 1/3 + (-258)/(-9). Suppose -4*y + m = 9. Solve -6 = y*h + n, -2*h + n = -0*n + 1 for h.
-1
Suppose -3*h + 7*h - 28 = 0. Solve -5*s - 2*j - 9 = -4*s, -j - h = -2*s for s.
1
Let r be (2/4)/((-1)/4). Let q be (-1 - r)*1*16. Let w be (-4)/8*8/(-1). Solve -4*t = -2*o - 0*o + 28, 0 = w*o - q for t.
-5
Let p be (-2)/(-7) - 12/(-7). Suppose 0 = -2*q + 4. Let d be (3*q)/(2 - 0). Solve d*b - p*b + 4*a = 8, -4 = -4*a for b.
4
Let o be 1*(-5 - 0) - 1. Let f = -10 - o. Let g = 6 + f. Solve 4*x - 2*x = -z - 3, 5*x + 12 = g*z for z.
1
Suppose 0 = h - 6*h + 10. Suppose 5*a = h*d + 84, -2*d = 2*d + 8. Solve 2*j + a = 6*j, -t - j = -1 for t.
-3
Suppose -2*a - 4*x - 20 = -4*a, -4*a + 4*x + 28 = 0. Suppose 15 - 3 = a*h. Let z be ((-4)/3)/((-8)/108). Solve 6 = -p + 2*p + 5*i, 3*p - h*i + z = 0 for p.
-4
Let o = 1 - -4. Solve -2*k = 2*f + 12, -2*k - o = -4*f + 1 for k.
-5
Let o be (-3)/(-3)*(4 - -1). Suppose -o*d = -6 - 19. Suppose d*q = 6 + 4. Solve -6*a - 4*y - 20 = -q*a, -4*a - 5*y - 25 = 0 for a.
0
Let u(l) be the third derivative of -l**6/120 + 3*l**5/20 - 3*l**4/8 + 2*l**3 + 5*l**2. Let s be u(8). Solve -5*z + 11 = s*o, -4*o + 16 = z + 1 for o.
4
Let t(k) = 3*k - 16. Let j be t(10). Solve j = 4*f - 0*f - n, 2 = n for f.
4
Let x(k) = -3*k - k**2 - 3*k**2 + 5*k**2. Let b be x(4). Solve 4*g - b + 29 = 3*d, 2*d + 2 = -2*g for g.
-4
Suppose 0 = 16*v + 12 - 92. Suppose -2*c + 3*c - i - 4 = 0, -2*i = 4*c - 16. Solve -8 = -f - 3*w, w = v*f - c - 4 for f.
2
Suppose 3 = -4*w + r - 2*r, -4*r - 12 = -5*w. Let x(p) = 2*p - 10. Let j be x(9). Suppose 4*o - j - 8 = w. Solve 0 = o*q + 3*s - s - 2, -3*q + s - 11 = 0 for q.
-2
Let s = 2 - 4. Let p be 10 - (-1 - s)/1. Solve 4*y + 4*m - 3*m = -p, 3*y = m - 12 for y.
-3
Let t(l) = -l**2 - 11*l + 12. Let u be t(-12). Solve 5*s + 4 = 3*b, 4*s + u = b - 6 for s.
-2
Let o(s) be the third derivative of s**4/24 - s**3/6 + 3*s**2. Let t be o(3). Solve -t*h - 13 = -5*m, 3*h - 5*m = -8 - 4 for h.
1
Let x = -17 + 21. Solve -x*b + 22 = 2*z, 0*z = -4*z - 3*b + 24 for z.
3
Let q = -167 - -202. Solve 6*g + 32 = 4*i + 2*g, -5*i + 4*g + q = 0 for i.
3
Let z = -33 - -46. Solve 5*o = 2*s - z, 3*o + 5*s = -2*o - 20 for o.
-3
Let x be (3/6)/(3/150). Solve 5*q = -x - 0, -20 = -5*o - q for o.
5
Let o(j) = -j**2 + 1. Let m be o(0). Solve 3*i + m = -6*b + 2*b, -4*b + 17 = -3*i for i.
-3
Let d be (-3 - -1) + (-18)/(-1). Suppose 22 = 2*u - d. Solve 5*j = v - 3*v + u, -2*v - 21 = -3*j for v.
-3
Suppose -10 = -5*c - 0. Suppose 0 = -6*s + c*s + 4. Let u be 3*3/(4 - s). Solve 4 = d + 2*k + 15, 9 = -u*k for d.
-5
Let p = 51 + -48. Solve 5 = 2*q - 6*c + c, p*c + 2 = q for q.
5
Suppose k + 2*c - 3 = 0, 4*c - 9 = -11*k + 6*k. Suppose k = 3*l - 14. Solve 5*n = -3*z + 2*z - 8, -3*n - 18 = l*z for z.
-3
Let o = -5 + 10. Suppose 2*g = 2*b - b - 10, -b + 22 = -o*g. Solve -b*v = 5*l - 15, l - 35 = 3*v - 3*l for v.
-5
Let i(n) = 2*n**2 + 3*n - 2. Let b be i(-3). Let l(h) = h - 7. Let j be l(3). Let q = b + j. Solve 9 = q*a - 0*a - 5*s, s = -2*a + 6 for a.
3
Let i = 4 + -4. Solve 4*b - 3*u + 8 = i, -u = 3*b - 5 - 2 for b.
1
Let j(o) = 4*o**2 - 5*o + 9. Let s be j(2). Solve -3*f = -s, 2*x - 3*f - 2 = -5*f for x.
-4
Let h be (-1 - -1)*2/4 - -5. Solve 5*y + h = 2*f + 1, 0 = -f + y + 2 for f.
2
Suppose 0 = -4*n - 0*n + 8. Let z be (-2 - -1)/((-1)/25). Solve n*w = b + 8, -b + z = 4*b + 3*w for b.
2
Suppose -3*w + 2*w = -r - 12, -4*r = 4*w - 48. Let f = w - 9. Solve x + 11 = -4*k, 0 = 3*x - f*k + 1 + 2 for x.
-3
Suppose 15*q + 20 = 19*q. Suppose 10*l - 70 = q*l. Solve p + l = 4*j + 3*p, j - p - 5 = 0 for j.
4
Suppose t - 2*y = 4, 1 + 18 = 3*t + y. Let q = -3 + t. Suppose -3 = q*c - 12. Solve 1 = -n - 4*u, -4*n + 0*n + c*u + 15 = 0 for n.
3
Let v(h) = -3*h + 58. Let b be v(14). Solve -4*z + 4 = -2*f, -f + 3 + b = 5*z for f.
4
Let k = 4 + -2. Let y be -3 + (10 - 9)*(9 + -1). Solve 2*p + 2*r = -y + 1, -2*p = -k*r for p.
-1
Let z = -10 + 12. Let p be 2*3*(-2)/(-6). Solve 2*f = 3*t - 6 - 3, -4*t - z = p*f for f.
-3
Let k be (-555)/(-60) - (-2)/(-8). Suppose -k*c = -10*c + 4. Solve 0*r = 4*i - 3*r - 17, 21 = c*i + r for i.
5
Let s be (-2 + 15/6)*0. Let z be 9/(-6)*(-4)/3. Suppose 0 = -u + 1, 5*u = 2*p + 4 + 1. Solve s = 3*j + 9, 2*g + z*j + 14 = -p*g for g.
-4
Let a(b) = b**3 + 5*b**2 + 4*b + 4. Suppose -3*c + 0 = 9. Let w be a(c). Solve 0 = -3*j + 3*y + 2*y - w, -20 = -4*y for j.
5
Let l(t) be the first derivative of t**2/2 + 12*t - 2. Let x be l(-9). Suppose 5 = x*v - 4. Solve v*g = -0*n + n - 17, 2*g + 18 = 4*n for g.
-5
Let q(v) = v**3 + 2*v**2 - 3*v - 3. Let a be ((-2)/(-4))/((-4)/16). Let x be q(a). Solve 4*b + 3 = -3*l, -b + l - 4*l = x for b.
0
Let y(w) = -2*w - 8. Let j be y(-8). Let k = j - 6. Suppose q + k*a - a = -1, q - 4*a = 14. Solve -1 = -3*n - n - 3*s, q*n + 1 = -3*s for n.
1
Let s = 37 + -29. Solve 4*v - 2*f = -6*f + s, 2*v - 3*f = -21 for v.
-3
Suppose -5*y + 22 = -2*i, 0 = 3*i + 3. Solve y*s - u + 9 = 0, -2*s - 3*u - 22 + 7 = 0 for s.
-3
Let o(p) = p**2 + 8*p - 6. Let d be o(-9). Suppose -3*y + d = -3. Let u be 1/(-1)*(3 + -3)*1. Solve u*c + 10 = -y*c, 3*x - 2*c = 10 for x.
0
Suppose 0 = 5*w - 2*s + 30, 7 = -5*w + 5*s - 38. Let f be 1/w + (-1)/(-4). Solve f = 2*k + 2, q + k - 2 - 2 = 0 for q.
5
Suppose -2*b = -3*d - d + 8, 3*b + 6 = 3*d. Let v = -27 - -49. Solve 5*f - f + 2*y - v = 0, -3*f = -d*y - 6 for f.
4
Let i be (0 - 3)/1 + 6. Solve 0 = -u + q + 1, 4*u = i*q - 0*q - 1 for u.
-4
Let r(s) = -2*s + 14. Let x be r(6). Solve 20 = 5*q - 5*p, x*q - p + 4 - 9 = 0 for q.
1
Suppose -4*q + 7*q - 4*o - 94 = 0, 42 = q + 4*o. Let i be q/(-4)*(5 + -7). Solve -5*h + 5*l = -h - i, 0 = -4*h - l - 13 for h.
-2
Suppose -2*s = s - 30. 