*a, -u + 0*a = 5*a + f for u.
2
Suppose -4*q + 10*q - 12 = 0. Solve -3*u - 2 = -q*p, -3*p - 23 = -4*u + 6*u for u.
-4
Suppose -3*z - 12 = -24. Solve -z*n + 20 = -2*u, -2*u + 15 = 4*n - n for n.
5
Suppose -4 + 5 = 2*b - 3*r, -4*b + 5 = -3*r. Solve k + k - b*u - 4 = 0, -5*k = -4*u - 9 for k.
1
Let m = -2 + -3. Let l(c) = -c. Let q be l(m). Solve 5*p = 4*u - 7, -u + 2 + 6 = q*p for p.
1
Suppose 4*d - 2*d + 6 = -2*f, 0 = 2*f - 3*d - 14. Solve 2*p = -j + 6, p - j - f + 4 = 0 for p.
1
Let j = 8 + 49. Let w = -29 + j. Solve 10 = -2*f - i, 0 = -2*f - 5*i + 2 - w for f.
-3
Let c = 21 - -6. Let i be (c/12)/(5/40). Solve 3*h + j + i = 0, j - 1 = -h + 3*j for h.
-5
Let y(o) = o**2 + 10*o - 7. Let l = 12 + -23. Let t be y(l). Solve -2 = -v - 4, 2*c + t*v = -18 for c.
-5
Suppose -n - 23 = -2*q + 4*q, -3*q - 5*n - 31 = 0. Let h = q + 17. Solve -6*i - 4*w = -4*i - 12, w = h for i.
-4
Let x(g) = -g**2 + 18*g - 15. Let c be x(17). Solve c*v - 6*v = 0, -a + 2 = 4*v for a.
2
Let p be (-5 - -6)/((-1)/(-4)). Suppose -33 = -5*v + p*l - 9, 0 = 5*l + 5. Let d be 2/(-3) + 56/3. Solve 2*t = -2, g - 3*t = v*g + d for g.
-5
Let b(d) = d**3 - 3*d**2 - 2*d - 4. Let s be b(3). Let x = s - -14. Let c = 5 + -3. Solve -c*r - x*v = -2, 2*v - 6*v - 4 = 0 for r.
3
Let n(q) = q**2 + q. Let d(i) = 6*i**2 + 6*i + 2. Let t(a) = d(a) - 4*n(a). Let m be t(-3). Solve 3*o + m = 5*g, -5*g = -2 - 3 for o.
-3
Suppose -2*r = 2*v - 3*v + 30, -v + 10 = 2*r. Let c be -4*(2 + v/(-8)). Solve s - 2*z = c*z + 15, 2*s = -2*z for s.
3
Let h be (-1 + 9/6)*6. Suppose 3*o - 18 = -h. Solve 12 = -3*z - 3*j, z - o*j - 26 = -0 for z.
1
Let j be 4/14 + (-4)/14. Suppose -2*l - l + 66 = j. Solve h + 5 = 0, 0 = r - 4*h - h - l for r.
-3
Suppose -z = 12 - 4. Let r be (-52)/(-6) + z/12. Solve -m = -5*c - r, 0 = 3*m + 4*c - 7*c for m.
-2
Suppose o = k + 7, -4*o - 4*k - 7 = -o. Let c be (1 + 1 + -5)*-1. Suppose c = 3*r - o. Solve 3*l + 6 = -3*g + g, -g = r*l + 4 for g.
0
Let r = -19 + 21. Let f be 0 - -5*(-2 - -3). Let h = 0 + f. Solve 14 + 8 = -4*g + r*x, 0 = -h*g - 5*x - 20 for g.
-5
Suppose -6 = -3*z + 3. Suppose 0 = 2*w - 4 - 2. Suppose -u - w*u - 3*o = -37, -4*u = -4*o - 72. Solve 5*a - 3 = -z*m + u, 18 = 5*a + 4*m for a.
2
Let r = 6 + -12. Let a(u) = -u**2 - 7*u - 1. Let j be a(r). Let f(k) = -5*k - 5. Let b be f(-8). Solve -4*l + l - j*t = b, -5 = -3*l + 5*t for l.
-5
Suppose -3*z + 4*k - 47 = -k, 4*z - 3*k = -81. Let u be 4/z*2*-9. Solve b - 4*y = -5, b - u*b - 2*y = 10 for b.
-5
Suppose -3*w - 4 = -34. Suppose h - z = 9, 2 = -2*h - 3*z + w. Suppose 5*y - 25 = -5*j, -y + h = 2. Solve 5*m = -j*m + 3*v - 19, v - 3 = m for m.
-5
Suppose -5*o + 3 - 6 = -p, 5*p = 4*o + 15. Solve -4*f = -o*d + 3*d - 28, -8 = -2*d for f.
4
Let y(j) = 2*j - 10. Let s = 7 + -1. Suppose -s = -5*h + 29. Let n be y(h). Solve -2*w + 1 = -3*d, -5*w + 4*d + n = -w for w.
2
Let s = -30 - -32. Solve s*i + 28 = 7*i - 4*g, -2*i - 3*g + 2 = 0 for i.
4
Suppose 5*m - t - 9 - 8 = 0, 4*m = 5*t + 22. Suppose w + 2*p = 11, 3*w + 0*p - 4*p = -7. Solve -w*y - 14 = 4*c, 15 - 3 = -m*c - 3*y for c.
-2
Suppose 20 = 5*k - 4*c, -2*k - 1 = c + 4. Suppose 2*a = 4*a - 20. Solve 4*y = 5*f + a, 2*y + 0*y - 5*f = k for y.
5
Let d(w) = -w**3 - 2*w**2 - 6*w + 3. Let r be d(0). Solve -6*a - s = -r*a + 2, s = -a for a.
-1
Suppose -l - 4*l + 15 = 0. Let y = 5 - l. Let k = -7 + 12. Solve -2*b + k*h = -10, -3*b + y*h = b - 4 for b.
0
Let l(z) = z**3 + 2*z**2 - 1. Let h be (-5 - -2 - -2)/(-1). Let s be l(h). Solve 5*u = 4*p - 25, 10 = -s*u - 0*u - 4*p for u.
-5
Suppose -19 = -4*v + 5*g - 3, 0 = v - g - 4. Suppose -2*y = v*c + 6, -c + 0*c = -3*y + 12. Solve 1 - 13 = -y*i - 3*j, i = j - 6 for i.
-1
Let u(v) = -v - 2. Let y(p) = p**2 + 11*p + 4. Let g be y(-10). Let m be u(g). Suppose -m*q = -16 - 20. Solve 2*h + 3*j - q = 0, 2*j - 5 = 5*h + 1 for h.
0
Let a = -47 + 51. Solve -u = a*l + l, u = 5*l for u.
0
Let i(u) = -23*u**3 - 28*u**3 + 1 - 5*u + 50*u**3 - 5*u**2. Let y be i(-4). Solve 4*q + 2*w = 22, -7 = -y*q + 5*w + 13 for q.
5
Let a = 45 - 40. Solve a*j + 15 = -2*t + 4*t, 0 = -4*j - 20 for t.
-5
Let o(n) = n**3 - n**2 - n + 4. Let g be o(0). Suppose -2*d = -g*d + 10. Let m = d + -3. Solve -8 = 4*h + f + f, -4*h - m = -f for h.
-1
Let f = -92 + 63. Let o = 42 + f. Solve -4*r = -3*w - o, -r = w + 2*w + 8 for w.
-3
Suppose v + 2*j = -2*v + 25, 3*j = 3*v. Let u(t) = 2*t**2 - 2*t - 1. Let i = -5 + 7. Let o be u(i). Solve -d + 8 = o*d, -v*h = 3*d - 16 for h.
2
Let o(k) = 4*k**3 - 2*k + 1. Let x be o(1). Let i be 2 + 1 + 67 + 1. Suppose i + 1 = 4*r. Solve -x*g + j - r = -0*j, -5*j + 15 = 0 for g.
-5
Suppose 2*v - 5*v = 6. Let t be 0/1*v/(-2). Solve 3*i = -9, t*s = -3*s + 5*i + 30 for s.
5
Suppose 7 = 5*w - 8. Let j(s) = s + 4. Let x be j(-4). Solve d - w*u - 10 = x, -d - u = -2*u for d.
-5
Let t be (-2)/(-3) + (-6)/9. Let w = 60 + -22. Suppose 4*i - 16 = -0*i - 4*o, o + w = 5*i. Solve t*v - 3*h - i = -2*v, -2*h - 6 = 0 for v.
-1
Let a = 6 - 2. Suppose 26 = -5*v - a*j, -4*v = -6*v + 4*j + 12. Let l be v - (1 + -2) - -9. Solve l + 0 = -n - 3*f, 0 = -n + 5*f for n.
-5
Let p(b) = b**3 - 2*b**2 + 2. Let z be p(0). Solve 0*v = -4*v, -4*f - z*v - 8 = 0 for f.
-2
Let v = 2 + -3. Let w = 22 + v. Suppose -2*h + h - 9 = -3*s, -3*s = 3*h - w. Solve -4*i + s = -0, 2*i - 18 = 4*m for m.
-4
Let v = -19 + 29. Let u(i) = i**3 - i**2 - i + 2. Let x be u(2). Let h = -25 - -29. Solve 3*l = -2*l + 5*s + v, -x*s = h*l + 32 for l.
-3
Let g(l) = l**2 - 9*l - 7. Let f be g(8). Let n be 20/6 + 5/f. Solve -4 = 2*w + 2*s, w - n*s - 8 = 2 for w.
1
Let y be ((-5)/(-10))/(2/20). Let c be -1 - y*(-3 - -2). Solve 20 = c*n + l - 0*l, 4 = 3*n - 2*l for n.
4
Let w(n) = n**2 + 14*n + 19. Let y be w(-13). Suppose -4*p - 3*u + y = -15, 3*u - 6 = p. Solve -3*t = -o + 3 + p, -2*t = 5*o - 13 for t.
-1
Suppose 23*v - 3 = 22*v. Solve -v*f = 3*n - f - 7, 0 = -2*n + f + 14 for n.
5
Suppose 0 = c + 2*c - 45. Suppose -2*q - q - 2*u = -c, 3*u = 0. Solve -q*p = 5*z + 15, -2*z - 6 = -4*p + 6 for p.
1
Let h = -4 + 8. Suppose -h*a - a = -15. Let p be (4 - (-2)/(-1))*3. Solve g + a = -2*u, p - 1 = -4*g - u for g.
-1
Let k(u) = -u + 2 - 3 - 1 + 4*u**2. Let d = 45 + -43. Let t be k(d). Solve 3*p - 6*p - 2*n = -9, -4*p + t = 3*n for p.
3
Suppose 0 = -0*m - m. Suppose -12 = -p + 5*b, -2*b + m*b = 4. Suppose -3*t = p*t + 2*j - 20, -5 = -j. Solve 4*f + t*q - 15 = -f, 9 = 3*f + 5*q for f.
3
Suppose 3*o = 50 + 28. Let s be 1*(o + 0 - 1). Let m(c) = c**2 + 5*c + 4. Let j be m(-4). Solve 0 = 5*w + s, -t + 2*t + 5*w + 22 = j for t.
3
Let g(v) = 30*v. Let f be g(1). Let w = -9 + f. Solve -3*y + 2*a + w = 5*a, 3*a - 9 = 3*y for y.
2
Let z be 2/(-3) + 3/((-72)/(-112)). Solve 0 = 3*s + 2*j + 2, -z*j + 4 = 4*s - 0 for s.
-4
Let g(s) be the second derivative of s**3/6 - 7*s**2/2 + s. Let n be g(9). Suppose -5*l + 2 = -8. Solve -l*z + 2*d = 8, 2*d = -n*z + 6*d - 6 for z.
-5
Let u = -36 + 39. Solve 4*p + u*h = -0*p - 3, 0 = -4*p - 5*h - 5 for p.
0
Let r(a) = a**3 + 5*a**2 - 6*a + 2. Let c be r(-6). Let x be 6*(-3 - -1)/(-8 - -2). Solve 10 = x*h, 4*s + c = -h - 1 for s.
-2
Let c be ((0 - 0)/(-3))/(-1). Suppose c = p - 5*p. Solve t + p*m = -3*m - 14, -2*t + 5*m = -27 for t.
1
Suppose 3*t + 1 = 28. Solve -5*c = -3*w - 24, 0*c + t = w + 4*c for w.
-3
Suppose 0 = 2*g - v + 4 + 4, 5*g - 3*v + 22 = 0. Let h = -2 - g. Solve 5 + 17 = -k - 5*t, h = 4*k - 5*t - 12 for k.
-2
Let j be 3/6*16/1. Let w(o) = -o + 10. Let f be w(j). Solve -2*m - 2*m + 5*h = 12, 3*h - 16 = -f*m for m.
2
Suppose 0 = -4*u - 2 + 10. Solve u = -3*o + 5*d - 9, -5*o - 5 = -5*d for o.
3
Suppose -3*a - 4*a = -28. Solve -2*s + 5 = d, s = -2*s - a*d for s.
4
Let c = 12 - 11. Let d be -8 + 9 - (c - 0). Solve -5*g = -d*v + 3*v - 22, -3*v + 3*g = -6 for v.
4
Suppose c = -2*c + 12. Solve x = -2*p + 6, -c*p = -14 - 6 for x.
-4
Let i = -3 - -7. Suppose 2*q + w + i = 3*q, 20 = -5*q - 5*w. Suppose q = 3*k - k. Solve d = -k*j - 3*j + 1, 3*d = -3*j - 9 for j.
2
Let x(k) = k**3 - 2*k**2 - k - 3. Let i be x(3). Let y(j) = -j**3 - 6*j**2 + 8*j + 7. Let o be y(-7). Solve -i*b = -z, 4*z + z + 2*b = o for z.
0
Let m = 148 - 148. Solve -2*y = -7*y, 4*z + 5*y + 16 = m for z.
-4
Suppose 0 = -2*h - 20 - 10. Let p be (-2)/(6/h) + 0. Solve 0 = -3*m + m - p*f, -2*f = -2*m for m.
0
Let j be -9 + -3 + 0/(-2). Le