2*x = 5*t - 28, 2*t + 3 = 5*x - 9. Solve 2*v - 4 = 4*v - m, -3*v = x*m - 5 for v.
-1
Let w(g) = g + 3. Let l be w(0). Suppose -3*u = -2*h + 2*u + 21, -l*u = h - 5. Suppose 5*r = -0*r. Solve -x - x - 9 = -3*q, -4*q - 4*x - h = r for q.
1
Let g = 0 - -7. Solve 0 = -p + 2, -4*t + 7 + g = -p for t.
4
Let n(g) = 2*g**2 + 2*g. Let v be (1 + -1 + 2)/(-1). Let k be n(v). Suppose -i - k*j - 6 = 4*i, -16 = 4*j. Solve -2*c = 3*c - 2*q - 21, -i*q = -2*c + 12 for c.
3
Suppose -129 = -6*d - 99. Suppose w + 20 = 5*w. Solve t - 2 = -l, d*l = -w*t + 2*t + 12 for l.
3
Let k be 166/12 + (-1)/(-6). Solve h - k = -h - 2*u, 2*h = -3*u + 16 for h.
5
Suppose 0*b + b - 3 = 0. Let r be 10/(-4)*(5 + -7). Solve -29 = -3*i + r*a, -b*i + 2*a = -4 - 13 for i.
3
Let z be (-4 + 2)/4*-8. Suppose 0 = -2*a - z + 14. Solve -5*j - 4*k + 4 = 0, 0 = -2*k - a - 3 for j.
4
Suppose -3*f - 15 + 0 = 0. Let b(o) = 5*o - 3 - 2 - 6*o. Let i be b(f). Solve 5*s - 10 = -3*h, -4*h = s - i*s - 19 for h.
5
Let y = -1 - 1. Let c be 1/((y + 5)/6). Let q be 1/(-2)*c - -6. Solve 0 = -4*g - j + 1, q*g = -j + 6*j - 5 for g.
0
Suppose 0*m - 16 = -4*m. Suppose 3 = 2*r - 5*w, -m*r - 2*w + 17 = -1. Solve 2 = -2*g + 2*c - 4*c, -2*c = r*g - 6 for g.
4
Let s = 90 - 85. Solve t - 4*y = -14, s*t + 16 = 2*y - 0*y for t.
-2
Let y(t) = 5*t**2 + 2*t + 1. Let x be y(-1). Suppose v + 10 = x*l, 3 = 5*v - l - 4. Let a be 46/12 + v/12. Solve -2*r - r = 5*n + 5, -a*r = -2*n - 28 for r.
5
Let m(a) = -a**3 + 3*a + 1. Suppose 5*z = z - 8. Let j be m(z). Solve 5*x - 2*x + 3*k = j, x + 24 = 4*k for x.
-4
Suppose -5 + 30 = n. Solve 18 = -4*y - 2, -n = -5*j + 3*y for j.
2
Suppose -i = 2*l - 5, -3*l = -1 + 7. Suppose -54 = -3*h + 3*g, 63 = 3*h + 5*g + i. Solve -4*o - a + h = 0, 0*o + o + 5*a - 14 = 0 for o.
4
Let j = 17 + -15. Solve -2*s - 2 = 4*b, -4*b + 2*s = -j*s - 28 for b.
2
Let z = 34 + -15. Let x = -2 - -2. Suppose -4*a = -2*u + 13 + 1, -2*u - 5*a - 4 = x. Solve u*r - 4*b = -b - 15, 5*b = 3*r + z for r.
-3
Let y(j) = -j**2 - 7*j - 3. Let d be y(-6). Solve 12 = 3*p + d*r, -p - r + 10 = 3*p for p.
2
Let h be 3*(-1 + 2 + 0). Solve 6*n - n + 35 = h*z, 0 = 5*n + z + 15 for n.
-4
Suppose -24 = -2*d + 5*u, d - 17 = 3*u - 3. Suppose -d*o = 3*o - 15. Suppose 40 = o*c + c. Solve -2*f = -2*a - c, 2*a + 5 = a - 2*f for a.
-5
Let k be 2/4*(-4 - -4). Suppose -2*s = -k - 8. Let x(j) = -j**2 + 7*j - 2. Let c be x(6). Solve 10 = 2*f + c, -14 = s*a + 2*f for a.
-5
Let i(u) = -u**3 - 3*u**2 + 4*u + 3. Let j be i(-4). Suppose j*s = -t - t + 6, s = -t + 2. Solve 5*h - v + 2*v + s = 0, -4*v = 8 for h.
0
Let b = -19 - -25. Solve -5*j + 3*k + 32 = -j, -2*j = 4*k + b for j.
5
Let q = 1 + 2. Solve -5*a + 4*h - 41 = 0, -15 - 7 = 2*a - q*h for a.
-5
Suppose 5*m - 3*c - 25 = 0, -3*c = 2*c. Let s = -3 + 5. Let w be (-996)/(-52) - ((-164)/(-52) + -3). Solve 5*y = -m*r - 20, -s*r - w = 5*y - 5 for r.
-2
Suppose -3*u - 28 = 2*h + 4, -28 = 2*h + 2*u. Let t = h + 14. Suppose t*o - 12 = -4*c, -4*c + 11 = c + o. Solve 13 = -3*y + 6*y - c*j, 5*j = 5*y - 30 for y.
1
Let k be 8 - (4 + -2)*1. Let w = k - 4. Let f(r) = 3*r - 3. Let s be f(3). Solve 0 = -2*n + x - w, -5*x + 15 = n - s for n.
1
Suppose 2*n - 3*i = -3*n + 88, n - 5*i - 22 = 0. Suppose -2*h - x - 4 = 0, -3*h - n + 1 = 4*x. Suppose v - 3 = 1. Solve 4*b + v*w = -8, -w + h*w = 4 for b.
2
Let x(s) = -s**2 - 3*s + 3. Let z be x(-3). Suppose -z*j - 4*l - 48 = 0, 0*j - 2*j - 12 = -4*l. Let u = -9 - j. Solve g - 2*n = -5, 3*n - 1 = -u*g + 2 for g.
-1
Suppose -y = -2*x + 41, y - 18 = -x + 4*y. Suppose 3*w = x - 6. Solve v + 4*d + 2 = d, -2*v - 5*d - w = 0 for v.
-5
Let k be 0 + 3/9*3. Let l be (k + -1)/((-2)/(-2)). Suppose 0 - 2 = -2*y. Solve s = 4, 0 = m - l*s + s + y for m.
-5
Let d be ((-2)/(-4))/((-9)/(-54)). Solve 2*l + 12 = -d*p, 3*p + 16 = 3*l - p for l.
0
Let a be 66/21 - (-5)/(-35). Suppose 3*h = o + 7, 0 = h - a*o + 8*o - 13. Solve k + 5*z - 7 = 1, 4*k + h*z = -2 for k.
-2
Let x be (4 - 1)*(11 - 10). Solve 3*o = 4*n + 1, -3*o + 0*n = x*n + 6 for o.
-1
Suppose 0 = 2*c + 5*c + c. Solve q + 3*q + 3*m - 26 = 0, c = q + m - 7 for q.
5
Suppose -4*w = -3*m - 12, -3*w - 2*m + 0*m + 9 = 0. Suppose 0*h - 2*h + 10 = 0. Solve -5*v + 23 = 4*y - w*y, -23 = -2*v - h*y for v.
4
Let k be ((-1 - -1)/(-1))/(-1). Solve 3*n = 0, k = -j - 2*j + 3*n - 15 for j.
-5
Suppose h + h = -6. Let r = 2 + h. Let n be (-1)/(12/15 + r). Solve -3*i = -2*y - 3 + 4, -n*y + 25 = 0 for i.
3
Let l(j) = 4*j + 1. Let w be l(5). Solve 5*u - q - w = 0, u + u - 3 = -5*q for u.
4
Let s = 9 + -6. Solve h + 4 - 5 = -f, 0 = s*h - 5*f + 29 for h.
-3
Suppose -5*q - a = -40, 0*a = -4*q - a + 31. Let p = -320 + 323. Solve p*d + 3*f - q = 0, d + 0*f - f + 3 = 0 for d.
0
Let f be -1 + 12/16*4. Solve 4*t + t + 4*q + 14 = 0, 4*q = f*t for t.
-2
Suppose 0 = -t + 3*v + 10, 2*t + t = 3*v + 30. Suppose 0 = -n - 4*n + t. Suppose -n*c + 6 = -2. Solve 4*w - c = 4*s, -17 = -5*s - 4*w - 4 for s.
1
Let l = 37 - 7. Let y be 20/6 - 10/l. Let k be (-148)/(-12) + (-1)/y. Solve -i = 5*f - 1, k = 5*f - 3*i - 5 for f.
1
Suppose -l + 4*l = 15. Suppose 0 = -3*f + f + 4. Suppose 0 = 3*u - 6*u + 45. Solve l*a = -f*j + 2 + 13, -u = 2*a + 5*j for a.
5
Suppose -3*x = 3*s - 15, 0*x + 10 = 3*x + 2*s. Suppose -4*k + 15 + x = g, -2*k = -g - 15. Solve 4*p + 20 = -5*n - 16, -5*n - 40 = k*p for p.
-4
Let o(z) be the first derivative of 5*z**3/3 - z**2/2 + z + 4. Let a be o(1). Solve 0 = 5*n + 2*t, -13 = a*n - 2*t + 7 for n.
-2
Suppose -7*j - 132 = -426. Solve 0 = 4*o - 12, -5*v - 4*o + j = 5 for v.
5
Suppose -5*k + 20 = -0. Solve g + 5*x = -19, -4*g - 6 - 6 = k*x for g.
1
Let f(s) = -3 + 19*s - s**2 + 4 - 15*s. Let d be f(3). Solve -2*i - 2 = -d*o - 4*i, -2*o - 2*i - 2 = 0 for o.
2
Suppose -1 = -x + 3. Suppose h = 2*f + 11, -2*f + 4 = x*h - 0*f. Let u = h - 3. Solve -2*j - g + 12 = u, 5*j - g - 4 = 3*g for j.
4
Suppose 8*y = 5*y. Solve -s - 5*v - 4 = y, 3*s = -s - 4*v for s.
1
Let z(a) = -2*a - 1. Let y be z(-2). Suppose n = y*n - 4. Solve 5*f = -n*x + 12 - 41, 5 = -5*x + f for x.
-2
Suppose 2*j = 5*j - 33. Let t be (-6)/12 - j/(-2). Solve -t*x - 4*l - l + 25 = 0, 5*x - 2*l = 25 for x.
5
Let z be (-6)/(27/(-6) - -4). Let j = 12 - z. Solve q - 2*i - 4 = 0, j = -6*q + q - 3*i - 32 for q.
-4
Let l(n) = -n**2 - 8*n - 8. Let h(p) = 2 - 2 + 4 - 2*p**2 - 2. Let r be h(-2). Let c be l(r). Solve 5*a - 4*a + 8 = -u, c*u - 5*a - 13 = 0 for u.
-3
Suppose z - 2 - 7 = 0. Let b be 2/(1 - 3/z). Let o be (1/1)/((-2)/(-4)). Solve o*a + 5*p + 11 = -1, -b*a - 3*p = 0 for a.
4
Let i(s) = 2*s**3. Let r be i(1). Suppose 0 = -w + 1, 3*p - 7 - r = -3*w. Solve 2*y - 2 = 0, 2*y - 3*y + 9 = p*l for l.
4
Let k(y) = y**3 - y**2 - 5*y + 3. Suppose 7*s = 3*s + 12. Let z be k(s). Solve 3*c + 2 = -r + 8, 0 = -3*c - 4*r + z for c.
2
Let m(c) = c**3 - 5*c**2 - 3*c - 13. Let s be m(6). Solve -d = -4*o - 1, -s*d = -6*o + 2*o - 5 for o.
0
Suppose 3*l - 13 - 4 = -a, 5*a + 4*l = 41. Solve a*g = 2*g - 2*o - 11, -16 = 4*o for g.
-1
Let o(g) = g**2 - 7*g - 4. Let i be o(8). Let v be i - 2*(-3)/6. Solve 0 = -v*s - 5*f + 5, -s - 5*f + 21 = -4*s for s.
-2
Let j(h) = h**3 - 6*h**2 + 4*h + 1. Let o be j(5). Let p be (0 + (-10)/(-8))*4. Let w be (-5)/2*o/p. Solve -u = -4*z - w*u - 16, -5*u = 2*z - 10 for z.
-5
Let o(b) = -b + 7. Let h be o(7). Let c = 2 - h. Solve -2*k - 16 = -c*a + 2*k, 2*k + 4 = 0 for a.
4
Suppose 0 = -l + 4*l + 3. Let b be 5 - (0 + l)*-1. Solve -b*i - 3*j = j + 8, 8 = -i + 5*j for i.
-3
Let v(o) = o + 1. Let d be v(1). Suppose 0*n = -d*n + 8. Let f(i) = i + 1. Let m be f(n). Solve 0 = 5*h, m*h - 6 - 6 = 3*k for k.
-4
Suppose 0 = 2*v + 5*s - 23, -4*v + 0*s - 19 = -3*s. Let a(d) = -5*d - 1. Let i be a(v). Solve -p - 8 = 3*b, -i*p + 2*b + 4 = 22 for p.
-5
Let p = -73 + 77. Solve -d - 3*a = -14, -d + p*a - 23 = -2 for d.
-1
Let y(z) = z**2 + 6*z - 2. Let t be y(-7). Let m = -25 + 25. Solve m = 2*q - 2*l + 2, -2*l + t*l - 13 = -2*q for q.
2
Suppose 0 = -i + 4*i. Suppose i = -3*p + 22 - 1. Solve -2*m + 4*k = -22, -4*m + p*m - 2*k - 17 = 0 for m.
3
Let d(n) = -n**2 - 7*n. Let l be d(-7). Let j = 2 - l. Solve -5 = 3*i - 4*k, j*k = -5*i - 3*k + 50 for i.
5
Let z(k) be the third derivative of -k**4/4 + 2*k**2. Let a be z(-3). Let g = a - 11. Solve x + g*t - 4*t = 0, -5*x = -2*t + 17 for x.
-3
Suppose -9*x + 22*x - 52 = 0