ve 5*j + g = n, g + 10 = 5*j - 4*g for j.
5
Let v(n) = n**3 - 2*n**2 - 3*n + 2. Let s be v(3). Solve 0 = s*p + x - 2*x + 12, -p - 4*x = -12 for p.
-4
Suppose u + 3*u = -5*z + 21, -5*z + u = -1. Solve -2*m - z = d, d + 3*m + 2 = -0*m for d.
1
Let a = -11 + 15. Solve 0 = 4*m + 2*g - 1 - 5, a*m - 5*g = -15 for m.
0
Suppose -6 + 22 = 4*w. Solve -15 = 5*l - 5*p, 0*p = 2*l - w*p + 2 for l.
-5
Suppose -5*g + 17 = 2. Let n = -1 + 1. Suppose l + 5*i - 7 = 0, -g = -n*i - 3*i. Solve -2*b + 4 = 2*u, l*u + 0*b - b = 1 for u.
1
Let k(b) = 31*b - 8. Let l be k(6). Let f = l + -67. Suppose -24 - f = -5*g. Solve -d = -5*u - 24, 3*d - 5*u = 5*d + g for d.
-1
Let o = 2 + 3. Solve 0 = z - 2*z + 5*v - 11, -o*v = -5*z + 5 for z.
4
Let d(t) = -4*t - 2. Let s be d(-1). Suppose 50 = 4*r - 2*r. Solve 5*m = -s*h + r, h = m - 4*m + 15 for m.
5
Suppose 0 = -4*m - f - 3*f + 72, 4*m - 62 = f. Let a(w) = 4*w**2 + w - 1. Let o be a(1). Solve 5 = -2*v + 5*t, -v + m = o*v - 3*t for v.
5
Let h(q) = -q**3 - 5*q**2 - 2*q + 3. Let k be h(-3). Let x = -6 - k. Solve 0 = 4*w - v + 2 + 2, x*v = -5*w - 22 for w.
-2
Let c = 26 + -18. Suppose c - 3 = g. Solve -4*j - 19 = g*n, -n - 3 = 5*j + 5 for n.
-3
Let m(w) = 5*w + 42. Let i be m(-8). Solve -l = -3*l + i, -l + 1 = 4*q for q.
0
Let o(t) = -3 + t**2 + 8 - 1 + 3*t. Let w be o(-3). Solve 0 = 5*l + 10, w*a - 2*l = l + 2 for a.
-1
Let y(x) = -2*x**2 + 7*x - 1. Let d be y(2). Solve d*p + n = -11, 0*n - 3 = p + n for p.
-2
Let n be 0*(1/(-2))/(-1). Let j(t) = -t**3 + t. Let a be j(n). Solve a = -q - 3*w + 4, q - w + 4 = 2*q for q.
4
Let f(k) = 7*k - 23. Let p be f(4). Solve p*z = -5*o + 10, 1 - 6 = -4*o - z for o.
1
Let w be 6 - (14 - 5) - (0 - 7). Solve 7 = -w*q + 3*g - 6, -12 = -4*g for q.
-1
Suppose 0 = 2*a - 5*s + 25, 4*s - 20 = -2*a - 0*a. Suppose 4*b + 90 = 8*b + 5*y, 5*b - y - 98 = a. Solve -5*z = -q + 4, -q = 4*q + 3*z - b for q.
4
Suppose -2*h = -h. Suppose -a - 4*a = h. Solve a*i + i = 3*r - 4, 2*r = 2*i for r.
2
Let i = 8 - 6. Solve -i*b - 2*p - 13 = 5, 5*b = 2*p - 17 for b.
-5
Let y(k) = k**2 - 16*k + 19. Let p be y(15). Solve 9 = -p*q + 5*i, 0 = 4*q + 2*i - 15 - 11 for q.
4
Suppose -m - 10 = -3*m + 4*t, 5*m + t = 14. Solve 0 = m*i + 3*s - 3, -2*i + 2*s = -0*i - 6 for i.
2
Let d be (2 - 0)*6 + 1. Suppose 2*k + n = -0*k + 9, d = 4*k + n. Solve -4*j = q - 18, -2*q - 18 = -5*j - k for j.
4
Let d(i) be the first derivative of -i**2 - 9*i - 1. Let o be d(-6). Solve -9 = 4*t - h + 2*h, 7 = -2*t - o*h for t.
-2
Let t be 2 + (1 - 1)/(-2). Let r = t - -2. Solve f + 5*m = 2, -5*f - r*m - m - 10 = 0 for f.
-3
Suppose -4*x + 2*x = -36. Solve 0 = -3*h - 3*l - x, -2*h - 18 - 4 = 4*l for h.
-1
Let h(v) = -7*v + 1. Let j(a) = a. Let m(l) = -h(l) - 6*j(l). Let g be m(4). Solve -4*u + 5 = -2*i - 5*u, -g*i - u - 9 = 0 for i.
-4
Let h(k) = -k - 5. Let g be h(-7). Suppose 5*x + 20 = 0, g*t - 5*x = -x + 48. Solve 3*a - o - t = 7*a, 2*o + 20 = -5*a for a.
-4
Let p = -3 + 9. Solve -3*c + 3*z = -12, -4*c - p = -z - 22 for c.
4
Suppose 4*t - 15 = t. Solve -3*c - t*k = 7 + 5, 2 = -c - k for c.
1
Suppose -2*v + 0*v = 0. Let t be (12/30)/(2/(-10)). Let s(r) = 7*r**2 + r - 1. Let z be s(t). Solve 2*u + z = 5*j, v*u - 4*j = 2*u - 2 for u.
-5
Let v(s) = s**2. Let q be v(2). Solve -6 = q*m - 2*y, -3*y = -3*m + m + 3 for m.
-3
Let f(l) = l**2 - 3*l - 1. Let v be f(-2). Suppose a = -2*r + 28, -3*r + a = -r - 20. Suppose 2*k = -k + r. Solve v = w - 3*c, -2*c - 3*c = -k*w + 8 for w.
-3
Suppose 12 = 10*s - 6*s. Solve 0 = -y + 4*q - 8*q - 13, -s*q - 4 = -5*y for y.
-1
Let s = 131 + -129. Solve s*x = -4*v - 2, -2*v + 8 + 1 = -x for x.
-5
Suppose -2*j + 2 = -34. Suppose 5*d + 39 - 7 = h, 4*h - 4*d = 48. Solve -n = 5*s + 12, j = 2*n + 3*s - h*s for n.
3
Let q(g) = -g + 8. Let t be q(6). Let s(d) = -d**3 + 5*d**2 - 3*d + 6. Let h be s(4). Let c be 5*(0 + 6/h). Solve 2*p = -t*n - 3*p - 4, 10 = -5*n - c*p for n.
-2
Let v(x) = -x**2 - 12*x - 15. Let p be v(-10). Solve 2*o - 19 = -p*c, -2*c + 9 = 3*o - c for o.
2
Let v = 6 - -7. Let j(q) = -q**2 + 1. Let t(u) = 7*u**2 - 12*u - 21. Let z(l) = -6*j(l) - t(l). Let n be z(v). Solve 4*d = -4*g, n = 2*d - 3*g + 17 for d.
-3
Let q = 48 - 32. Solve -5*h - 3*x + 2 = 0, q = -5*h + 5*x - 14 for h.
-2
Let z = 91 + -89. Solve 0*g - g - 2*f = -8, 0 = 3*g + z*f - 8 for g.
0
Suppose 25 = 4*c + c. Suppose 4 = c*s - 2*n - 24, 28 = 2*s - 5*n. Solve 4*k = 4*f, -s*k = 3*f - 6*f + 1 for f.
-1
Suppose 0 = 3*l - 4*w - 7, -w + 0*w + 7 = l. Let m(h) = -h**2 + 6*h - 1. Let t be m(l). Solve -2*x + 3*p - p + t = 0, 2*x = -2*p for x.
1
Suppose -1 = 4*z - 5. Solve 4*m - m = 2*d + z, -3*m + 4*d = 1 for m.
1
Suppose 4*w = 3*w - 2*m + 10, -4*w - 3*m = -50. Let i = -10 + w. Solve -5*f + 13 = i*u, 0 = u - 0*f + 5*f - 22 for u.
-3
Let c be ((-21)/9 - -1)*-6. Solve -a = -5*q + c, -7*a - 5*q = -2*a + 10 for a.
-3
Let l be 10/3*6/4. Solve -4*k = -l*p - k - 10, -k = -5 for p.
1
Let o(v) = v**2 + 14*v - 41. Let i be o(-17). Solve 5*c + 5*r - 10 = -0, -c + 2*r = i for c.
-2
Let m be ((-98)/8)/((-7)/(-28)). Let f = m - -74. Let w = -40 + 63. Solve -j = 5*l - 2*j - f, 3*j = 2*l - w for l.
4
Suppose 0 = 10*w + w. Solve w = -v - v - 6, 5*v = 4*d - 7 for d.
-2
Let o be 5*(2*-1)/(-2). Let u = o - 3. Solve -3*n = -u*v + 8, 5*n = -3*v - 0*n - 7 for v.
1
Let x(c) = -c**3 - c**2 - c. Let a be x(0). Solve -2*z = 2*w - 4, z + a*z = -5*w + 18 for w.
4
Suppose 0 = -0*g + 3*g - 15. Solve -2*p - 2*v - 8 = 0, 2*p + 12 = 5*p - g*v for p.
-1
Let m = -8 + 7. Let v be m/(-4) + (-225)/(-12). Solve 5*c = -h + 19, 3*h + v + 4 = 5*c for c.
4
Suppose 24 = 4*j + 4*j. Solve -5*p + j*u - 8 = 0, -5 = 4*p - u - 0*u for p.
-1
Suppose -4*i + 39 + 5 = 0. Suppose -5*r = 1 - i. Let o = r + 0. Solve -4*v - 3*p = -31, -o*v + 4*p - 8 = v for v.
4
Let s(i) = -i**3 + 11*i**2 - 11*i + 13. Let t be s(10). Solve n = -2*g + 7, t*n = g + 6 + 8 for n.
5
Let v(t) = 3*t**3 + t**2 - 1. Let r be v(1). Let m be (r/(-4))/(2/8). Let d = m + 5. Solve -5*p - 5 = -5*j, 0 = 3*p - j + d + 5 for p.
-3
Suppose -2*a + 3*g = -15, 5*a + 25 = -9*g + 4*g. Solve -y = -a*k - 3*k - 16, 24 = -2*k + 4*y for k.
-4
Let q be (2 + -2)*(-1)/4. Solve -2*d + 12 = 3*a - 3*d, q = 3*a - 2*d - 9 for a.
5
Let a be (3/9 - 0)*15. Suppose 0 = a*k, -2*v + 5*k + 0 + 4 = 0. Solve -4*y + 4*r - 6*r = 0, 3*y = -v*r for y.
0
Let x be -2 - 0 - (-3 - 0). Let r be (0 - x) + 2 - -2. Suppose -r*a - 5 = -17. Solve p + 5*c = -15, -3*p - 24 = a*c - 1 for p.
-5
Let i(m) = -8*m + 9. Let j be i(-9). Suppose j = -0*h + 3*h. Solve 3*c + 3*z - 10 = 2, -h = 2*c - 5*z for c.
-1
Suppose 5 = k + 2. Suppose 4 = 4*l - 12. Suppose l*j = -2*n + 4, 2*j + 4*n - 2 = n. Solve 2*s = -5 - j, -k*u + 9 = -4*s for u.
-1
Suppose 3*n + 4*j = -11 + 37, 3*n = 2*j - 4. Solve -4*g + l = -3*g + 3, -n*g + l - 1 = 0 for g.
2
Let c = -22 + 25. Suppose -7*k = -c*k. Solve -3*j + 8*j + 5*r - 15 = k, 2*j - 16 = -4*r for j.
-2
Let s(j) = j**3 + 3*j**2 + 1. Let m be s(-2). Solve -z - 2*z - 5*q - 6 = 0, 2*q = m*z + 10 for z.
-2
Let h be (-3 - (0 - 3)) + 0. Solve h = 4*n + 4*x - 28, 0 = n + 2*n - 5*x - 5 for n.
5
Suppose w + 4*w - 10 = 0. Suppose c + w*c = 6. Let j(a) = 4*a**2 + 2*a - 3. Let y be j(c). Solve 3*o - 5*o = -5*z - y, -2*o + 2*z + 8 = 0 for o.
1
Let r = -7 + 2. Let a(k) = k**3 + 5*k**2 - k - 2. Let i be a(r). Solve -3*d - 5*y - 1 = -9, i = 2*d + y for d.
1
Let x = 3 + -3. Let d be (x - 0)*9/27. Solve -2*j + 2 = -4*b - 2, b - j + 1 = d for b.
-1
Let d be 4/((-14)/5 + 3). Let z = -18 + d. Solve -z*h = 2, -h = -2*s + 7*s - 4 for s.
1
Let s(m) be the first derivative of -m**4/4 + m**2/2 + 3*m - 3. Let z be s(0). Solve f + z*f + 4*a + 4 = 0, 3 = 3*f + 5*a for f.
-4
Let r be 19 + (-2 - 0) - -2. Let a = r - 13. Suppose -2*b - b = -a. Solve b*t - 17 = -4*d - d, 0 = 4*d - 2*t - 10 for d.
3
Let l = -1 + 3. Suppose -l*v = v - 9. Solve -15 = 5*i, -v*i - 5 = -2*w - 2*w for w.
-1
Suppose 3*s - 33 = -15. Solve -5*d - 3*a = s, 4*d + 0*a + 6 = -3*a for d.
0
Let q(s) = s**3 + 4*s**2 - 2*s - 7. Let z(c) = -4*c**3 + c**2 - 2*c + 1. Let p be z(1). Let k be q(p). Solve k = -2*x + d, 0*x = -2*x - d + 1 for x.
0
Suppose 9 = -2*n + 5*w, 0 = -3*n - 5*w + 49 - 0. Suppose 4*t - 4 = n. Solve c = 4*r + 24, 2*r - 4*c = t*r - 11 for r.
-5
Let g = -6 + 10. Suppose -g*m = -m - 15. Suppose 3*b - n - 3 - 11 = 0, m*b = n + 20. 