-x - x = j - 7, -a*j = -p for x.
3
Suppose -x - 4 = -8. Let u be 4 + (3 + -1 - x). Solve a = u*a + 4*j - 10, 0 = -a - 2*j + 4 for a.
-2
Suppose -2*b - 3*c = -22, c = -5*b - c + 33. Solve 2*n - b = -3*x, -2*n + 7 = x - 0 for n.
4
Let v(g) = g**3 - 10*g**2 + 3. Let q be v(10). Let y = 23 - 14. Suppose 0*k = -3*k + y. Solve k*i - 2 = -w, 0 = -w - 4*i + q*i for w.
-1
Suppose -20 = -10*n + 5*n + m, 30 = n + 5*m. Solve -3*t = 2*g - g + 5, n*t + 5 = -5*g for g.
1
Suppose 5*v = 2*v. Suppose -3*l - l + 4*b - 12 = 0, -l = b - 1. Let z be (-22)/(l*3/3). Solve -4*j + 4*d - d + z = v, -j + 8 = -2*d for j.
4
Let j = 134 + -127. Let a be (2/3)/(4/72). Solve -2*v = -z - 0*z - a, 3*v - j = -4*z for z.
-2
Suppose -8 = -19*x + 17*x. Solve j + 7 + 3 = -4*b, x*j = -b - 10 for j.
-2
Let j(l) = l**3 - 9*l**2 - 11*l + 14. Let m be j(10). Solve 5*g + 7 = 2*s, -s - 7 = m*g - 3*g for g.
-3
Suppose 4*p + 26 = 2*l - l, 3*l + p - 26 = 0. Suppose 0 = -3*x + 2*a + l + 15, 5 = -a. Solve 2*d + 0*d = o + 11, x*d + 3*o - 22 = 0 for d.
5
Let n = 87 - 56. Suppose 2*k + 18 = 3*p, -k - n = -4*p + 4*k. Solve 0*a = 2*a - 3*h - 3, -p*h = 2*a + 4 for a.
0
Suppose -13*m = -10*m - 9. Solve -p - 2*s = -6 + m, 0 = 2*p + s for p.
-1
Let d(o) be the second derivative of -o**5/20 + o**4/12 + o**3/6 + 3*o**2 - 10*o. Let v be d(0). Solve -5*z + 2*n - 2 - 2 = 0, -3*n + v = -2*z for z.
0
Let g = -3 + 5. Let m be g/(-6) - 13/(-3). Solve 0 = y + 3*x - 3, m*y - 4*x = -9*x + 12 for y.
3
Let j = -10 + 6. Let w = j - -4. Solve -2*v - 5*g + 4*g + 10 = w, -g + 5 = v for v.
5
Suppose f + 5*c - 16 = -2*f, 0 = 3*f - 3*c. Solve 0 = -f*p, 0 = -o + 4*p - 3 + 4 for o.
1
Let p = -36 + 39. Solve 3*y - 2*u = -6 - p, 4*y + 12 = -5*u for y.
-3
Let f(v) = v + 9. Let c be f(-3). Solve -c*j + j + 4*b = -30, -2*j - 5*b - 21 = 0 for j.
2
Let a(g) = -g**3 + 3*g**2 - 3*g + 1. Let i be a(1). Solve 2*k + 2*b + 8 = i, -4*k + 0*b = -3*b + 16 for k.
-4
Suppose 230 = 14*y + 9*y. Solve y = -5*o + 5*a, 2*o + 4*a + 11 + 11 = 0 for o.
-5
Suppose k - 4 = 0, -6*k - 24 = 5*y - 2*k. Suppose 36 = -9*a + 11*a. Let h be 4*(a/y)/(-3). Solve -n + 6*n + 4 = h*q, -3*q = -3*n for q.
-2
Suppose -161 = 53*j - 60*j. Solve -4*u = 3*p - j - 0, 4*u = p + 3 for p.
5
Let b(o) = o**2 + 3*o + 2. Suppose -6*u + 2*u - 8 = 0. Let a be b(u). Suppose a = -3*z + 11 + 7. Solve 0 = -c + 4*x + 6, 3*x - z = 6*x for c.
-2
Suppose -3*t - 12 + 48 = 0. Suppose 3*b - t = -0*b. Let f(z) = -z**3 - 8*z**2 - 7*z + 2. Let v be f(-7). Solve 0 = v*h - b*h - 8, 5*p - 2*h - 18 = 0 for p.
2
Suppose 0 = -o - 2*o - 87. Let s = -18 - o. Solve 0 = n + 2*k + 10, s = n - 5*k - 0 for n.
-4
Let m = 13 - 1. Solve -5*n = -4*q + m, 5*q - 18 = n - 3 for q.
3
Let w(i) = -i**3 + 2*i**2 + 4*i - 4. Let v be w(2). Solve 15 = x + v*b, 4*b = -3*x - 0*x + 5 for x.
-5
Let w = -57 + 79. Solve -3*u = p - 7*u - w, 0 = -2*p - 2*u - 6 for p.
2
Suppose 0 = i - 6*i + 10. Let a(z) = -4*z + z**3 + 3 - 5*z - z + 9*z**i. Let r be a(-10). Solve -r*q - g - 8 = 2*q, 4*g + 8 = 4*q for q.
-1
Let i = -18 - -22. Solve 5*r + i*o = 2 + 8, 3*r + o - 6 = 0 for r.
2
Suppose d = -5*v - 8, 3*v - d + 2*d = -6. Let b be (v + -3)*(-1)/2. Solve -3*o - 1 = c - 0, -b*o = -2 for c.
-4
Suppose -2*a - 10 = -a. Let k = a - -23. Solve m - k = c + c, -2*m = 2*c + 4 for c.
-5
Suppose -12 = -3*q + 3. Solve 0 = 2*v + 5*h + 7, -q*v + 4*h - 3*h - 4 = 0 for v.
-1
Suppose 2*v = -2*v. Suppose -4*z - 12 = 0, 5*z + 26 = 5*l + 3*z. Let f = l - v. Solve f*k = -3*n + 6, 3*n - 5*k - 6 = -0*n for n.
2
Let d = -15 - -11. Let r = 0 - d. Let b(a) = 7*a - 3. Let k be b(r). Solve 0 = -3*u - 5*t - k, -21 = 2*u + u + 3*t for u.
-5
Let t be (-8)/36 + (-119)/(-9). Solve -h - 8 = -4*d, 6*d - 3*d + 4*h + t = 0 for d.
1
Let x be 2/(-9) - 2790/(-162). Solve -2*a + x = -5*u, -u - 5*a = -3*u - 11 for u.
-3
Let q = -7 - -7. Solve 5*p + 14 = 4*v, -p - 2*p + 4*v - 10 = q for p.
-2
Suppose 0*g = 3*g - 6. Suppose -m = g*m - 15. Suppose -25 = -7*x + 2*x. Solve 0 = -m*y - 5*v + 18 + 22, -x*v + 31 = 2*y for y.
3
Suppose -3*u = -5*l + 5 + 489, 0 = 2*l + 3*u - 206. Let g be l/6 + (-2)/(-6). Suppose 3 = 4*q - g. Solve q = -2*v + 6*f - f, 3*v + 19 = -4*f for v.
-5
Suppose -10*h = -7*h - 6. Solve -h*q + 2*k + 7 = -k, 3*k = -3*q + 3 for q.
2
Let g(p) = -4*p + 1. Let j be g(-1). Solve 0*n + 2*v + 24 = -4*n, -4*n - 36 = j*v for n.
-4
Suppose 23*h - 19*h = -188. Let r be h/(-9) + (-6)/27. Solve -r*g + 5 = 3*y, 3*y - 2 = 2*g + 5*y for g.
4
Let x(a) = -a**3 - 6*a**2 + a + 8. Let z be x(-6). Let i = -3 + z. Let h = 1 + i. Solve -j + h*f + f = 2, -6 = -3*j - f for j.
1
Let v = 4 + -7. Let i be (v + -1)*(-18)/24. Solve -i*p - 7 = -6*p - 2*h, -5 = -5*p - 5*h for p.
5
Suppose -112 = -3*j - 5*r - 17, 78 = 2*j - 4*r. Suppose -4*w - 3*m - 12 + j = 0, 19 = 3*w + 4*m. Solve -w*g = -b + 2*b + 12, -5*g - 20 = 5*b for b.
-2
Let z(n) = -n**2 + 6*n + 3. Let t(s) = s**2 + 2. Let x be t(-4). Suppose 0*m = -3*m + x. Let k be z(m). Solve 8 = -k*g - 2*v - 17, -5 = 2*g - v for g.
-5
Let q be (0 - 3/(-4))*4. Let o be 50/5*1/2. Solve -o*l - 6*k = -k, q*l - k + 4 = 0 for l.
-1
Suppose 10 = -4*h - 3*u + 2*u, -3*h - 4*u - 1 = 0. Let k be (h/(-9))/((-1)/(-6)). Solve -k*t = -3*a - 19, -3*t - 2*a - 3 - 1 = 0 for t.
2
Suppose -4*x - 6 = -5*x. Suppose -5*m + 20 = -4*u, 6 = 3*m + u - x. Solve -b = 2*c, -m*c + 11 = -3*b + 1 for c.
1
Suppose -2*v - 4*v + 30 = 0. Solve -2*a - 8 = 0, -v*c - 3*a = 27 - 0 for c.
-3
Let o(m) be the first derivative of 3*m**2 - m + 5. Let l be o(1). Let p be l + (-1 - 0) - -3. Solve 0 = 2*g + 3*a - 12 + 1, -5*g + 4*a - p = 0 for g.
1
Suppose -3*a - a = -4*i - 32, -3*i = 12. Let p(v) = 8*v - 6 + 5*v - 6*v. Let m be p(a). Solve x + t = -4*t - m, -5*t = 5*x + 10 for x.
3
Suppose -4 = 4*g, -x + g + 3*g = -7. Solve -4*t = 3*v - 6, x*v + 0*t - t = -9 for v.
-2
Let r = 153 + -122. Solve 3*m + 6 = -c, -3*c - 7 = -5*m - r for c.
3
Let i(a) = -5 - a + 3 - 1. Let y be i(-4). Let z = y - 1. Solve -2*d + 1 = -4*d + 3*w, z = -3*w + 9 for d.
4
Let y(r) = -r**3 + 3*r**2 - r. Let z be y(2). Solve -3*g + 2 = -z*x - 1, -2*g + 4*x - 6 = 0 for g.
3
Let j be (9 - 2)*6/14. Solve -15 = -3*d, -4*y + j*d - 7*d = -4 for y.
-4
Let h = -10 + 19. Suppose 3*v - h = -0. Solve -s - 5*w = 3*s + v, -3 = -5*s - 4*w for s.
3
Suppose 2*h + 65 = 3*q, -4*q = -q - 15. Let g = h + 36. Solve 3*s + 3*b = 8*b + 30, 2*b + g = s for s.
5
Let t = 58 + -28. Solve -5*x - t = -5*q, -5*x - 10 = -2*x + 5*q for x.
-5
Let h be 2 + -1 + 4/4. Suppose -h*u = 0, -7 - 2 = -3*c - u. Let l(m) = -m**3 + 3*m**2 + 4. Let i be l(c). Solve 0 = -w + 2*n - 3*n + 2, i*n + 37 = 5*w for w.
5
Let g be (-3)/12 + (-164)/(-16). Let c be ((-12)/g)/((-9)/60). Suppose y + 6 = -5*m + 23, -5*y - m + 61 = 0. Solve y = 5*w + l, 3*l + l = c for w.
2
Let j(h) = h**3 + 7*h**2 - 8*h + 4. Let g be 4*-2 + 2 + -2. Let z be j(g). Solve -z*q + 10 = 2*t, 7*t - 2*t - 25 = 4*q for q.
0
Suppose -7*z = -3*z - 8. Solve r + 5*j = 5*r - 7, 7 = -z*r - j for r.
-2
Let h be 8 + 1*3/3. Suppose -z + 7*w + h = 2*w, 0 = 4*z - 5*w - 21. Solve -z = n, -2*p = p - 4*n - 25 for p.
3
Suppose -3*c = -c + 2. Let a(f) = 2*f - 2. Let v be a(2). Let y = v - c. Solve -2*u + 24 = x - 7*u, 0 = -5*x + y*u + 32 for x.
4
Let n(g) = -13*g - 4. Let k(y) = -12*y - 5. Let x(f) = -3*k(f) + 4*n(f). Let r be x(-1). Let s be r/(-10)*10/(-3). Solve 0*m + s*l + 8 = 3*m, 2*l + 2 = 0 for m.
1
Let u be 4/(-2) - 0 - -3. Let f(p) = 12*p**2 - p + 1. Let j be f(u). Let v(c) = 2*c**2 - 3*c + 1. Let d be v(2). Solve -x = x - 3*z + 12, x + d*z = j for x.
0
Let x(i) = 2*i**3 - i**2 + 2*i - 1. Let c be x(1). Let n be (-30)/9*(-3)/c. Let l be 4/10 + (-83)/(-5). Solve n*w - 4*o = 15, o = -2*w - 2*o - l for w.
-1
Suppose -2*a + w - 5*w + 4 = 0, 15 = 5*a + 5*w. Suppose -a*z - z = 0. Solve z*y - u = 4*y + 19, -2*u = -4*y - 22 for y.
-5
Let l be (14/8)/((-1)/4). Let k be (1 - 1)/(6 + l). Let s = -11 - -19. Solve 2*h - j = 8, -j = 2*h - k - s for h.
4
Let a = 4 - 0. Suppose 4*i - a = 3*i. Solve -y = i*t - 4*y + 1, 6 = t - 2*y for t.
-4
Suppose 3*l - 4*g = -l + 4, 0 = 3*l + g - 3. Let i be 1 - (-2 - 1 - l). Solve h - 2*b + 12 = -h, -i*b = -10 for h.
-4
Suppose -f + 5 + 4 = 4*d, -2*f = 2*d. Suppose -3*g + 2*w = -23, 4*w = g - 21 - 0. Solve y + q = d, -g*y - q + 0*q = 5 for y.
-2
Suppose -3*s - 6 + 30 = 0. Let f = -7 + s. Solve 3*k = -3*z