*u - 1 for n.
3
Let x = 7 - 3. Suppose -2 = -2*w, -2*z - 3*w = 2*z - 15. Let v = -13 - -18. Solve 4*g - 8 = -z*f, -5*f + x*g + 29 = v for f.
4
Suppose k - 7 = -3*s, -5*k + s + 19 = -0*s. Suppose 0 = k*j - 14 - 6. Suppose j*r - 14 = 31. Solve -r = 3*p, 2*a + 15 = 3*a - 5*p for a.
0
Suppose 3*z + 3 = 4*s, 3*s + 2*z + 2 = -0. Solve 3*j = -4*g + 13, s = -j + 5*j + g - 13 for j.
3
Let q be 12/9 + (-4)/(-6). Solve 2*n - 5 = -c, -q*n + 7*n + 4*c - 17 = 0 for n.
1
Let a = -23 + 27. Let m = 6 + -4. Solve 0 = x - l + 5, 5 = -3*x - a*l + m*l for x.
-3
Suppose 0*h = h + 3*f + 7, -3*h - 4*f = 6. Solve 0 = a + h*a + s + 8, a + 6 = -s for a.
-1
Let m be 36 + -35 - (-3 - -1). Solve 0 = -m*v + 3*n + 12, -4*n - 6 = v - 0*n for v.
2
Suppose 25 = -5*w, -o = 2*o - 4*w - 17. Let l = o - -1. Solve 5*b - 20 = l, -5*c - 4*b + 0 = -6 for c.
-2
Let c(o) = o**2 + 5*o + 2. Let x be c(-3). Let v be ((-12)/2)/(6/x). Solve 0 = -n + v*n - 2*t + 15, -5*n + t - 25 = 0 for n.
-5
Suppose 6 = 3*l - 18. Let n be 60/16 - (-2)/l. Solve -p = -3*w + 5, 3*p + n*w - w = 9 for p.
1
Let u(t) = 7*t**2 - 7*t + 13. Let c(i) = -3*i**2 + 3*i - 6. Let b(q) = 9*c(q) + 4*u(q). Let s be b(3). Solve -4*n - s = 4*r, 13 = -3*r + 1 for n.
3
Suppose -4*b + 4 = 2*p, 5*b = -0*p - 4*p + 8. Let u be 2 + (1 - -1) - p. Solve -u*c + 5*c = 4*m + 21, c = -m for c.
3
Let l(j) = 2*j + 29. Let u be l(-6). Solve 5*n - u = 4*m + 2*n, 3*m - 5*n + 21 = 0 for m.
-2
Suppose 2*a + 2 = 3*a. Suppose 0 = 3*l - 2*s - 11, l + 3*s + a = -2*s. Suppose 0 = -0*t - 3*t. Solve -b - 13 = 3*v, -l*b = -t*b - 4*v for b.
-4
Let r(y) = -8 - 2 - 6 - y**2 - 15*y. Let v be (-2)/(4/26) + 1. Let i be r(v). Solve 0 = 2*t - 4*n - 8, 5*t + 0*t = 2*n + i for t.
4
Let q(v) = -v**2 + 18*v + 24. Let p be q(19). Solve 0 = 5*d - 5*s, 12 = -p*d + 3*s + 2 for d.
-5
Let k be (-1 + -3 + 4)/(-1). Solve 3*z + 6 = k, -x + z + 2*z + 1 = 0 for x.
-5
Let y = 136 - 133. Solve f + 3*o = 2, -2*f + y = 3*o - 4 for f.
5
Let i(n) = n**3 + 9*n**2 - n - 5. Let q be i(-9). Let c = q + -6. Let l be (1/c)/(1/(-2)). Solve -2*f = 2, -3*f - 6 = -s + l for s.
4
Let m = 64 - 56. Solve m = -2*v + 3*s, -6*v + 4*v - 8 = 3*s for v.
-4
Suppose 14 + 2 = a. Let x = a - 16. Solve -3*p - 6 = 3*h, x = p + 4*h - 6 - 1 for p.
-5
Let l(r) be the first derivative of -r**3/3 - 5*r**2/2 - r - 1. Let x be l(-2). Suppose 5*u + x = 80. Solve t - 7*j + 3*j = -u, -4*t = 3*j - 16 for t.
1
Let d be (25/(-10))/(1/(-2)). Suppose 0 = 4*w - z - 16, 3*w - 18 = -d*z + 17. Solve -2*s + 2*i - 10 = 0, 3*i - 2 + 3 = -w*s for s.
-2
Suppose 4*j + 60 = 14*j. Let y(q) = -q**3 + 10*q**2 - q + 13. Let h be y(10). Solve j = -5*u + h*u + 2*i, -i + 9 = 2*u for u.
2
Let l = 70 + -68. Solve -3*j - 16 = j, 3*q = -l*j - 20 for q.
-4
Let f = 14 - 5. Let v = f + -3. Solve v = 2*c - 0*u - 4*u, 3*u = 0 for c.
3
Let b(l) = l - 5. Suppose 2*o + 3 = -u, 0*u - 2*o = 4*u - 12. Let h be b(u). Solve -4*k - x - 16 = h, -25 = 2*k + 3*x - 7 for k.
-3
Let a(u) = -2*u - 15. Let k be a(-10). Suppose 2*t - 45 = -3*j, -130 = -5*j - 4*t - 53. Solve 0 = -4*r + f - 1, -r + k*f = j + 11 for r.
1
Let z be ((-16)/(-6) + -1)*3. Suppose 3*c = -x, -4*x + z*c = c. Solve 4*j + v + v + 12 = x, 5*j - 4*v + 2 = 0 for j.
-2
Let o(q) = -q**3 - 2*q**2 + 0*q**3 + 8*q + 9 - 4*q**2. Let s be o(-7). Solve -3*x = -s*v + 11, 0 = 2*v - 5*x - 11 - 10 for v.
-2
Let z be (-10)/35*(-2 + -5). Let y be -1 + ((-4)/1)/(-1). Solve -20 = -w + 3*a, -z*w - y*a = -a for w.
5
Suppose 4*w + 3*m - 12 = 0, -9 = -3*w - 3*m - 0*m. Solve -4*n = w*q + 31, 3*n = 3*q + q + 8 for q.
-5
Let d be 3/6*2 - -1. Suppose -d*i + 3 + 1 = w, -2*i = 2*w. Let m = -9 - -21. Solve -3*q - m = -5*u, -i*q + 3*u + 4 = 20 for q.
-4
Let c be ((-8)/(-14))/((-3)/(-21)). Solve c*w - 4*i = 6*w - 14, 5*w - 5*i - 20 = 0 for w.
5
Let n be (-3 + 9)/((-4)/10). Let o be (-1 - -3)*n/(-6). Solve 2*y - o*b + b - 14 = 0, -y + 3*b + 11 = 0 for y.
-1
Suppose w = 2*f - 2, 2*f - 4 = -0*f + 2*w. Solve -3*z = -3*b - 6, -z + f*b + 4*b - 1 = 0 for z.
3
Suppose 2*n - 4 = -3*o - 0, 5*o + 5*n = 0. Let s = o - 2. Let u be 1 - (2 + 0) - -9. Solve -t + 5 = 2*i - 5*i, s*i + u = 3*t for t.
2
Let i be 68/20 + 2/(-5). Let p = 7 - 3. Suppose -4*y - 4*k = -32, 19 = 5*y - p*k - 48. Solve y = -2*u + 3*u - i*l, -u + 7 = -l for u.
5
Let n be 4*(2 - 2/4). Let t = n + -4. Solve 0 = -t*k + 5*k - a - 5, a = -2*k + 10 for k.
3
Suppose -i - i = -8. Let f = i + -1. Let k be 5/((-10)/(-4)) - -3. Solve 0 = -2*u + g + f*g - 2, 0 = k*g for u.
-1
Let t(o) = -2*o**2 + 27*o + 19. Let y be t(14). Solve 5*k - z = k + 21, -y*k = -3*z - 35 for k.
4
Suppose -2 = -t + 1. Suppose t*f = -0 + 3. Let g be ((1 - 0) + 1)*f. Solve 0 = -4*x + g*b + 16, 0 = 4*x + 5*b - 20 - 10 for x.
5
Let a(p) = 3*p**2 - p. Let m be a(-1). Suppose -2*r = 3*r - 80. Suppose -v = -4*u - 5*v, r = -m*v. Solve u*y - 20 = -4*k, -5*k + 7*y - 5 = 2*y for k.
2
Let i(t) = 6*t - 44. Let p be i(10). Suppose 0*b - 5*c = b, -3*c = 4*b - 17. Suppose -b*h + h = 0. Solve p = 4*l - h*y + 3*y, 3*l - y = -1 for l.
1
Let h = 4 + 2. Let g = -6 + h. Solve g = 5*z - 3*k - 17 - 8, -k + 15 = 3*z for z.
5
Let a(g) = g**3 + 7*g**2 + g - 14. Let c be a(-5). Solve 4*v + 37 = 5*b, b = -4*b + 2*v + c for b.
5
Suppose -v - v + 6 = -4*q, 0 = -2*v - 4*q + 6. Solve 5*s + 5 = 3*a, -5*s = 4*a + v + 2 for s.
-1
Let k(l) = l**3 + 5*l**2 - 6*l - 7. Let m be k(-6). Let z = 10 + m. Solve -g = 2*r - z, 2*g - 5*g = 4*r - 9 for r.
0
Suppose 3*a = r + 19, -3*r - 1 - 6 = a. Solve -12 = -2*m + 3*w, w + 12 = -a*m - 2*w for m.
0
Suppose -154 = -5*z - 14. Let n = 244 + -242. Solve -b = 6*y - n*y - 12, 5*b - z = -4*y for y.
2
Let d(v) = -v**2 - 4*v + 3. Let n = -13 + 26. Suppose -5*x = -3*y + 17, 5*x + 6 = y - n. Let j be d(x). Solve -j*t - 5*b + 19 = 0, t = -0*t + 4*b - 5 for t.
3
Let t(q) = 2*q**2 + q - 1. Let s be t(1). Let g = s - -1. Solve -4*z = z - 3*o - 3, 3*o + g = -5*z for z.
0
Let p(m) = m**2 + 14*m - 27. Let i be p(-16). Solve -i*k + 3*d - 17 = -d, k - d = -3 for k.
-5
Suppose 5*q - l + 5*l - 29 = 0, -3 = -3*l. Suppose -5*v + 3 = 4*x, x + 2*v = v + 1. Solve x*a + 4 = b, q*a + 4*b = 20 - 4 for a.
0
Suppose -12 - 12 = -4*f. Suppose 0 = 2*d - 5*t - 31, 5*d - 3*t - 155 = -f*t. Suppose -7*y = 2*y - 90. Solve 5*j - 4*b = -d, 5*j - 4*b + y = -9*b for j.
-4
Let z = -17 - -6. Let j = 20 + z. Solve 2*p = -2*g - 6 - 8, 0 = -p + 3*g + j for p.
-3
Suppose -10*l - 16 = -14*l. Solve 0 = 4*p + 2*v, -l*v = p + v - 9 for p.
-1
Suppose 1 = -3*j + 7. Solve -5*n + 4*n + j = 4*o, -n + 4*o = -2 for n.
2
Let r be 1 - (-5)/(15/1377). Suppose 3*z + z - r = 0. Suppose -4*l = -u - z, -u = 5*l + 2*u - 131. Solve 4 = c, 2*a + 2*c = -3*a + l for a.
4
Let p be -3 + (1 - -1)*1. Let t be (0 - 0 - -1) + p. Solve 4*k + 0*h - 3*h - 35 = 0, k - h - 10 = t for k.
5
Let k(c) be the first derivative of -c**3/3 - 2*c**2 + c + 3. Let l be k(-3). Solve -4*r + p - l = 5*p, -r - 16 = 4*p for r.
4
Suppose 8*x - 3*x - 25 = -j, -2*j - 3*x = -43. Solve 5*t + c + 8 - j = 0, -4*t + 2*c = -18 for t.
3
Let j(i) = -i**3 + 12*i**2 - 2*i + 26. Let l be j(12). Solve -5*r - 1 = -4*r + 4*d, l*r = -5*d + 1 for r.
3
Let z be 8/(-10)*15/(-6). Suppose -t + 2*s + 28 = -0*s, -z*s = 5*t - 188. Suppose 40 = -0*k + 10*k. Solve k*l - 4*y = -t, y + y = 8 for l.
-5
Let c = -35 + 75. Suppose 3*s - c = s. Solve 3*u + 2*v + 4 = -4, -2*u - s = 5*v for u.
0
Let b = 17 + -26. Let a be (-4)/(-18) + 2/b. Solve o - 21 = -4*y, o - 13 = -a*y - 2*y for y.
4
Suppose 4*l - 20 = 2*v, 3*v - 4 = 3*l - 25. Solve 0*s + 4*s - 11 = l*m, 4*m + 3 = 3*s for s.
5
Let s be -4*2*(-15)/(-24). Let w = s - -7. Solve 0 = -3*k + d - w + 5, 2*d = 0 for k.
1
Suppose 0 = -3*b + 4*b - 7. Suppose -5*r + b = -3. Solve 5*m - 4*g - 4 = 0, -m - r = g + g for m.
0
Let a = -10 + 14. Suppose 4*u - 8 = a. Solve 3*b - 19 = -2*t, -u*t - 2*b = -b - 18 for t.
5
Suppose 13*r - 4 = 12*r. Solve -d + 3*p + 6 = 2*d, 0 = -3*d + r*p + 8 for d.
0
Let i(p) = p**2 - 3*p + 6. Let l be i(2). Solve -2*c + 5*y - 10 = 3*y, -4*c - l*y - 12 = 0 for c.
-4
Let w be 0/2 + 0 + -2. Let d be (-4 - -2)*(-3 - w). Suppose -n = -1 - 3. Solve 0*a = n*a - 5*b + 22, -3*a - 5 = d*b for a.
-3
Let x = 5 + 2. Suppose 0 = 2*i - x*i + 10. Solve 3*u + 12 = u + 2*w, i*u - w + 10 = 0 for u.
-4
Let w = -59 - -64. Solve -3*x - w*s = 20, 4*x + 3*s = -10 - 2 for x.
0
Let f be (-9)/(-7) 