 4 for j.
-2
Let a = 7 - 5. Suppose n = 4*z - 15, 0 = 3*z + 2*z + a*n - 9. Solve 2*j + 5 = -z*j, -9 = 4*v + j for v.
-2
Let l(m) = 2*m + 33. Let y be l(-15). Solve -r - 4*j + 18 = 0, 2*j - 4*j + 2 = -y*r for r.
2
Let s = 14 + -10. Solve 5 = -2*w + 6*w - 3*x, s = 4*x for w.
2
Let i = 147 - 143. Solve -6 = 3*b - 3*g, 5*g - i = -2*b - 1 for b.
-1
Let v = -38 - -73. Suppose -4*p + 23 = -5*s, 4*p - 6*p - 5*s + 49 = 0. Let g be -10*(2/4)/(-1). Solve 0 = -u + g*u - 4*o + p, 5*o + v = -5*u for u.
-5
Suppose -4*c + 34 + 43 = 5*d, 5*c - 5*d - 40 = 0. Let n = -2 + c. Solve -n = m - 4*a, m - 6*m + 17 = -2*a for m.
5
Suppose -4*i = 8, -1 + 13 = 2*g + 5*i. Solve -n - 4*o = -10, -4*n + 1 = 2*o - g for n.
2
Let c be 4 + -1 + 0/(-1). Let r(g) = g**2 - 5*g + 7. Let f be r(4). Solve -3*u + f*y - 12 = 0, -c*y + 6 = -2*u + y for u.
-5
Let d(z) = 4*z**2 - z. Let x(g) = -g**2. Let l(h) = d(h) + 5*x(h). Let k be l(0). Let c be (k - 0)*(0 + -1). Solve 2*a + 2 = c, 3*s = 4*s + 3*a + 3 for s.
0
Let y = -6 - -11. Suppose -5*n - 1 + 16 = 0. Suppose -n = -y*d + 7. Solve 0*j + 5*j = -3*l - 7, -4*l - j + d = 0 for l.
1
Let v be (-6)/(-27) + 4/(-18). Suppose -3*m = -d + 2*d - 6, d + 2*m - 4 = v. Let f be 66/18 + 2/(-3). Solve -o = h - 3, o + d = h - f for h.
3
Let n = 3 + -12. Let m be ((-30)/9)/(6/n). Solve -4*y = -0*t - 4*t + 12, 0 = m*y + 5*t - 35 for y.
2
Let v be (-37)/(-7) + 3*10/(-105). Solve 28 = -2*l + l - 5*f, -v*f = 25 for l.
-3
Let s = -11 + 16. Solve 0 = -3*l + 5*o - 19, -3*l - s*o + 26 = -o for l.
2
Let a(i) = i**3 + 2*i**2 - i - 1. Let u be a(-2). Solve 5*w = -4*f + 27, -14 - u = -2*f - 3*w for f.
3
Suppose 4*g = 5*f - 128, -5*f - 5*g + 106 = -49. Let x = f + -20. Solve -4*h = -8, -2*o - 2*h = -4*h + x for o.
-2
Suppose -2*h - 2*h + 16 = 0. Let d(k) = k**2 + 8*k + 2. Let a be d(-8). Solve -3 = -a*s + 3*l + 5, -5*l = h*s - 16 for s.
4
Let y be (-3)/(-4)*(41 + -1). Suppose j = -5*x - 2*j + 34, 3*x - y = -5*j. Solve 0*l - x*o + 6 = -l, o = 4*l + 5 for l.
-1
Suppose -s + 3*n = 0, 0 = -3*s + 6*n - 4*n. Solve 0 = 5*h + 2*r + 14, s*h - 2 = -h + 2*r for h.
-2
Let o(c) = c**2 + 2*c + 2. Let q(a) = a**2 + a - 1. Let r be q(0). Let y = r + -1. Let l be o(y). Solve -l*p - 10 = 2*x, 2*x = p - 6*p - 25 for p.
-5
Let a(x) = -x + 1. Let m be a(2). Let v be m/(15/12)*-25. Let u(j) = -j**2 + 6*j - 3. Let n be u(4). Solve -3*o = -n*f - v, 0*o + 2*o - 4*f - 16 = 0 for o.
0
Let u(w) = -w. Let v be u(0). Suppose v*i - 3*i = -3*m - 45, -10 = -2*i. Let g be ((-8)/m)/((-8)/(-340)). Solve 3*h = -3*j + j + 19, 3*h - g = -5*j for h.
3
Let p = 5 - 6. Let f = 6 + p. Solve -2*g - 5*y + f = -4*y, 3*g - 4 = -5*y for g.
3
Let p(a) = -5 + 2*a + 0 - 1 - 1. Let u be p(5). Solve u*d = z + 2*z - 3, -3*z + 5*d = -5 for z.
0
Let p = 32 + -10. Solve 0 = -3*k + 4*o - p, 4*k + 6*o - 8 = 2*o for k.
-2
Let u(m) = -m**3 + 0*m**2 + 5*m**2 + 3*m**2 - 9*m**2. Let i be u(-1). Solve -16 = -4*p + r, 2*p + i*p - 30 = -5*r for p.
5
Suppose 2*k - 3*k = -3. Suppose -4*r = 3*v - 10, 4*r + v + k*v = 8. Solve -5*y - f = -20, 5*f + 1 = r*y + 14 for y.
3
Let f = -10 - -14. Solve -u + 5 = -4*r - 2, -f = 2*u - 2*r for u.
-5
Let a = 36 - 22. Let n = 2 + a. Solve u + n = 4*q, 0 = -q + 3*q + 3*u + 6 for q.
3
Let h(t) be the third derivative of t**6/120 + 2*t**5/15 + 5*t**3/6 - 2*t**2. Let c be h(-8). Solve 4*j - 3*j + 12 = c*f, -4*f + 6 = -2*j for j.
3
Let w = 288 + -288. Suppose -2 = x + 5*q, 5*x - 15 - 2 = 2*q. Solve w = x*p + p + 2*r - 12, -r - 14 = -3*p for p.
4
Suppose -w - 4 = -5*w. Suppose -w = j - 6. Solve 16 = -3*z - 5*f, 0 = 8*z - 3*z - j*f for z.
-2
Let z be (-1 + -1)/(-5 - -3). Let q = z + 3. Solve 5*l = -4*o + 5*o - 4, -3*l = o + q for l.
-1
Suppose -2*u - 2 = f, -f = f + 5*u + 6. Solve 4*x + 10 = 2*l, -5*l + 3*x + f = -2 for l.
-1
Let o(c) = c**2 - c. Let l be o(1). Solve l = 4*x + w + 8, 4*x + 1 = -5*w - 23 for x.
-1
Let h be ((-4)/6)/((-1)/6). Solve -5*d + h*v - 5 = 0, 3*v = -4*d - 22 - 13 for d.
-5
Let p = -17 - -22. Solve -14 = f - 3*k, -p*k + 1 = -3*f - 21 for f.
1
Suppose 4*p - 4*h + 3 + 9 = 0, 2*p + 11 = 3*h. Suppose p*s - 8 = -2*s. Solve s*b + 2*n = -0*n - 16, -3*n - 12 = 0 for b.
-4
Let m(x) = 3*x - 10. Let o be m(5). Solve -o*d = -h - 2*h - 11, -5*h = 2*d + 8 for d.
1
Let m(k) = 9 + 4 + 4*k - 3*k. Let c(n) = -3*n - 38. Let u(h) = -3*c(h) - 8*m(h). Let s be u(-6). Solve -4 = s*j + 2*d, 3*j + d + 4 = -j for j.
-1
Let p(r) = r**3 - 8 + 7*r + 4*r**2 + 5*r**2 - 18*r. Let q be p(-10). Solve -x + q = -5*g, 0*x + x - 3*g - 2 = 0 for x.
2
Let y(p) = p - 2. Let j be y(2). Let f be (-3 + j)/(15/(-10)). Suppose 4*a + b = 5*b - 12, -6 = -5*a - 2*b. Solve a = 2*g - 4, d - f*g = g - 11 for d.
-5
Let w(f) = f**3 - 5*f**2 - 2*f + 1. Let n be w(5). Let s = -5 - n. Solve x = 5*y + 22, s*x + 0*y + 17 = -y for x.
-3
Let w(n) = n**3 + 8*n**2 + 7*n + 3. Let a be w(-7). Suppose -a = -2*b - 1. Solve 0 = -2*h - 0*h + y - 3, -2*h - b = y for h.
-1
Suppose -a = 4*y - 9, 0*a = 2*y + 4*a - 22. Suppose -8 = -3*p - p. Solve p*g + 5*w + y = 10, -5*g - 18 = -w for g.
-3
Let g(n) = 3*n + 1. Let l be g(1). Solve -2*s - 6 = -l*s - 4*j, s + 5*j - 6 = 0 for s.
1
Let i = -5 + 3. Let c(w) = w**2. Let u be c(i). Solve 0 = -4*b + 4*n - 28, 2*b + 2*b + u*n - 4 = 0 for b.
-3
Let f = 12 - 8. Solve -k + 0*k = f*w - 7, -10 = 5*k + 5*w for k.
-5
Suppose 0 = 4*j - 5*l + 4 + 25, -1 = j + 5*l. Let a = -1 - j. Solve a*c + 4*t - 26 = 5, c - 7 = -t for c.
3
Let n(u) = 2*u - 11. Suppose 0 = -3*s - 0*s - 6, k - 5*s - 19 = 0. Let b be n(k). Solve -2*m + 4*t = 1 + b, 0 = 5*m + 3*t - 6 for m.
0
Let o(s) = -s**3 - 8*s**2 - 7*s + 1. Let h be o(-7). Let y = 13 + -9. Let v be 19/y + (-2)/(-8). Solve -v*x - h = -4*d, d - 5*x + 23 = 3*d for d.
4
Suppose -4*z - 6 = 90. Let i be 19/4 + 18/z. Solve i*g - 4 = p + 3*p, -5*p = -4*g + 4 for g.
1
Suppose -4*c + 4*p = c + 20, -c - p = 4. Let y = c - -6. Let i = 0 - 0. Solve -f = -y*t + 5, 2*f - 5 = -t - i*t for t.
3
Let z = -1 + 4. Solve -6*g - t = -g + 5, t = -g + z for g.
-2
Let b be (-42)/(-8) - (-3)/(-12). Solve b*r - 2*k - 20 = -k, -3*k + 5 = -2*r for r.
5
Suppose n + 4 = -2. Let l = -3 - n. Suppose 2*a = l*k - 54, 2*k = -3*k - 4*a + 90. Solve -4*m + k = 3*d - 4, -2*m = -8 for d.
2
Let g be 8/10*(-30)/(-12). Solve 4*n - b = -n - 1, -7 = -n + g*b for n.
-1
Let t(r) = 6 + 3*r**3 - 4*r**2 - 1 - 4*r**3. Let l be t(-4). Solve 6 = 2*m + 4*w, 4*w = -l*m + 2 - 5 for m.
-3
Suppose -9 = -0*t - 3*t. Suppose 7*d - 24 = t*d. Solve 0 = 4*f - 3*g + 11 + d, 3*f + g = -16 for f.
-5
Let a be (1 - 2)/((-1)/5). Solve 6 = 2*q, -a*u - 2*q - 5 = 3*q for u.
-4
Suppose 0*s - 2*t = -4*s + 42, 5*s - 5*t - 65 = 0. Solve 3*n - 3*o + 4 = -s, -5*o = 4*n + 16 for n.
-4
Suppose i = -2*w + w + 28, 56 = 2*w + 3*i. Suppose -p = 5*v - w, 6 = v + 2*v. Solve 4 = -5*n + 3*y, 0 = -2*n - n - 5*y + p for n.
1
Suppose 0*r + 63 = 3*r. Suppose -3*f + r = 9. Let b = 0 - 0. Solve 3*h - 6 - 3 = 2*l, b = f*l - 4*h + 16 for l.
-3
Suppose -4 = -5*f - 4*g, -4*f - g - 4 = -5*g. Let l = 2 + 7. Suppose f = k + 4*u + 16, -k + 15 = -4*u - l. Solve 21 = -5*z - k*a, 0 = -a - 0*a + 1 for z.
-5
Let o(w) = -w**3 + 7*w**2 + 20*w - 18. Let v be o(9). Solve 0 = -y - 3*k + 11, -4 = -v*y - 5*y + 2*k for y.
2
Suppose -z + 2 + 1 = 0. Suppose 5 = 4*a - z. Suppose -a*k - 5*d = -14, 3*d = -4*k + 7*d. Solve -2 - 3 = h + 3*w, 0 = k*h - w + 10 for h.
-5
Suppose -3*g = 4*u - 48, 2*g - 17 = -0*u - u. Suppose 0 - u = -3*m. Let w = -1 - -4. Solve -h + m*h + 13 = w*x, h = -4*x - 1 for x.
1
Let m be ((-4)/(-14) + (-243)/42)*-4. Solve 4*i - 7 = 2*i - 5*y, m = -4*i + 2*y for i.
-4
Suppose 0 = -2*r - 2*n + 3*n + 20, 2*r - 5*n = 4. Solve z - 4*u - r = 0, 4*z - u - 15 = 3 for z.
4
Suppose -4*h - h - 45 = 0. Let v be (3/h)/((-3)/27). Solve 3*q = 2*q - u + v, 4*q - 5*u = 21 for q.
4
Let f(c) = c**2 + 11*c - 12. Let s be f(-13). Suppose 0 = 2*p + 8, -q + p = -p - s. Solve z + 0*z = 2*v + q, -v - 5*z = -19 for v.
-1
Suppose -2*m - 5*l + 3*l + 6 = 0, 2*m = -4*l + 8. Solve -m*q = -3*t + 8, 2*t + 1 - 2 = -3*q for q.
-1
Suppose 0 = a + 2*a + 4*n - 28, -a = -5*n + 16. Solve -c - a = -4*p, 13 = 4*c + 4*p - 11 for c.
4
Let h be ((-60)/16)/5*-4. Solve 5 + 3 = 2*k, 3*i - h*k + 21 = 0 for i.
-3
Let y(r) = -4*r - 1 + 3*r**2 + 3*r - 1 + 1. Let a(m) = -m**2 + m - 1. Let w be a(0). Let c be y(w). Solve -2*t = 3*s + 17, 