 - 5 for j.
-5
Let u be ((-2)/6)/((-1)/15). Solve -2 = -h - g + 3, -25 = -3*h - u*g for h.
0
Let z be 4 - -2*(4/(-4) - -2). Solve 5*p + 9 = -2*f, 3*p = -3*f - 2*f + z for p.
-3
Suppose -d = -v - 5*d + 12, -v + 10 = 3*d. Solve -v*z = 2*w + 2, -3*w + 2*z + 8 = -3*z for w.
1
Let t(m) = -3*m + 8. Let u be t(6). Let g be (12/(-30))/(1/u). Solve 5*l - l = -g*c, -5*c - 24 = -3*l for l.
3
Suppose 0 = j + 3*p - 6, j + p = -0*p + 6. Let u = 8 - j. Solve -6 = u*l, -2*d = 5*l - 10*l - 7 for d.
-4
Let h(o) = -o + 13. Let c be h(8). Suppose -5*s = -20, 3*n + c*s - 20 = 8*n. Solve 2*w = 5*t + 9, w - 3*w + 3*t + 7 = n for w.
2
Let l(i) = -i**2 - 8*i - 4. Let u be l(-5). Suppose 3*z - 2*z = 2. Solve 3*p = -z*a + u, 0 = -a + 2*a - 2*p - 2 for a.
4
Let k(n) = -n**3 + 10*n**2 + n + 2. Let y be k(10). Suppose j - 3 = 1, 5*m - 2*j = 2. Solve 2*s + 8 = m*c, -s + 4*s = 4*c - y for c.
0
Suppose 15*w - 11*w - 12 = 0. Solve -5*p + 32 = 4*u, -w*p + 2*p + 4 = 0 for u.
3
Let k = -5 - -7. Suppose -3 = 3*o + 3*u, 4*o - 3 = 5*o + 3*u. Suppose 2*r - 4*l = 10, r + r = -5*l + 1. Solve -k*b - 2 = 2*j, 0*b + 3*b - 4*j + r = o for b.
-1
Suppose 4*g + 2 = -10. Let m(o) = 6*o + 26. Let x(d) = -2*d - 9. Let i(j) = -6*m(j) - 17*x(j). Let b be i(g). Solve 0 = 5*a, 5*a + b - 13 = 2*q for q.
-5
Let r(w) = 7*w - 1. Let q be r(-1). Let y(g) = -g**3 - 7*g**2 + 6*g. Let v be y(q). Solve h = -4*f + f - v, -4*h - f - 9 = 0 for h.
-1
Suppose 4*m - 14 = 58. Solve 15 = 2*g - 4*o + 1, 4*o + m = -2*g for g.
-1
Let g(d) = d**2 + 13*d + 2. Let z be g(-13). Let o = z - -1. Solve 0 = 3*h - o*c + 6, -10 = 2*h + 4*c + 6 for h.
-4
Suppose -2*i - 3*c + 2 = 0, -3*i + c + 18 = i. Suppose i = 2*p - 0. Solve 5*j - p = 3*m, 4*j = m - 6*m + 9 for m.
1
Let b(o) = -o - 3. Let y be b(0). Let i be y/((-10)/(-4) + -3). Solve -2*u + 2*z = -3*z + i, 0 = -2*u + 3*z - 6 for u.
-3
Suppose -57 = -2*v - 1. Let j = v - 12. Suppose 5*u - 22 = c, 0 = -3*c + 4*u + u - j. Solve 5*p = -2*d + 10, -2*p + 2 = -p - c*d for p.
2
Let s(m) = m**2 - 5*m + 9. Let r be s(6). Suppose 3 = 2*i - 5*i, 3*g - r = 3*i. Let u be 162/8 + 2/(-8). Solve 6*w - 22 = 3*n + w, 0 = -g*n + 2*w - u for n.
-4
Suppose -4*b + 9 - 1 = 0. Suppose -2*d + b = -d. Solve 2*f = 5*s + 9, 0 = -2*f + 5*f - d*s + 3 for f.
-3
Suppose 4*z - 6 = z. Suppose 0 = -3*o + 15 - 0, z*a - 25 = -3*o. Solve -a*i + 2 + 2 = 4*s, -3*i = 4*s - 4 for s.
1
Let u be -5 + (-42)/(-6) + 3 + 1. Solve -6 = 3*h + 5*t, 0 = 2*h + h + t - u for h.
3
Let b be 3 + 9/3*1. Let c be 3/b + (-3)/(-2). Solve c*s + 8 = 2*r, -s + 0 + 2 = r for s.
-1
Suppose 2*s - 15 = a - 6, 0 = -3*s + 3. Let u(i) = -2*i - 10. Let w be u(a). Solve -5*p - w*o = 9, 0*p - 3*p - 2*o - 7 = 0 for p.
-5
Let c = -66 + 94. Solve 2*p + c = -2*f - 2*f, 5*f = -p - 29 for p.
-4
Suppose 5*i + 0 = 30. Let f(a) = -42*a - 2. Let t be f(-1). Suppose -d = -i*d + k + 29, -t = -4*d + 5*k. Solve 0 = 5*m - d*o + 5, -o = -3*m + 3*o + 1 for m.
-5
Let c be (0 + -2)*1/(-2). Let q(i) = 6*i**2 - 2*i. Let g be q(c). Solve -4*z - 5*r + 27 = 0, -g*r - r = -z - 12 for z.
3
Suppose -h + 4 = -1. Let s = -1 + h. Suppose 4*n = -0*n + 16. Solve 0 = -2*a - n*w + 6, a = s*w - 4 - 5 for a.
-1
Let h = 28 - 16. Let n = -2 + 0. Let p be -1 - (n - (0 + 3)). Solve 0*v + 11 = p*b - v, -2*v - h = -3*b for b.
2
Let v be (6/4)/(15/80). Suppose -28 = v*o - 12*o. Solve -5*g - u - o = -0*g, u = g + 5 for g.
-2
Let d = -6 + 10. Let f be d/12 + (-10)/(-6). Solve 5*k = -4*y - 0*k - 10, -f*k = -y + 4 for y.
0
Let i(k) = 6*k + 11. Let b(s) = 3*s + 6. Let f(r) = -5*b(r) + 3*i(r). Let m be f(6). Let d = 11 - 4. Solve l + d = g + 2*g, -g = -5*l + m for g.
4
Suppose -3 = -5*w + 12. Let d = 1 + w. Solve 5*y + o = d*o - 15, -o = -3*y - 5 for y.
0
Suppose 5*z = 7*z - 8. Solve -5*c - 5*n - 15 = 0, 0*n + 2*n + 2 = -z*c for c.
2
Let g = -6 + 9. Suppose 0 = -2*p + 4*t - 2, -2 + 17 = 3*t. Solve 0 = -2*i + g*q + 23, 2*i + 5*q = -2*i - p for i.
4
Suppose j = -0*j + 2. Let u be (3 + -2)/1*15. Let p be ((-4)/6)/((-3)/18). Solve p*d = f + u, d - j*f + 15 = 2*f for d.
5
Let d = 1 + -1. Suppose 0 = 5*s - d*s - 25. Solve 5*h = -n - 3, n + 3*n = s*h - 12 for n.
-3
Let z = 14 + -22. Let a = z - -31. Let g = 23 - 15. Solve -3*x + 2*x - g = -4*p, 5*x - a = -p for p.
3
Let i(l) = -l**3 - 6*l**2 + 5. Let g be 6/((-1 - -2)*-1). Let c be i(g). Solve -3*x - 8 = -4*h, 5*h - 15 = -3*x - c for h.
2
Let q(i) = i**3 + 6*i**2 + 4*i - 5. Let m be q(-5). Suppose -5*o + 10 = 2*x, 5*o = -8*x + 5*x + 5. Solve m = -4*l - o*j, 0 = -l - 0*j + 4*j for l.
0
Let x(y) be the first derivative of y**2/2 + 11*y + 1. Let f be x(-8). Let k be 0/f + -1 + 6. Solve -7 - 3 = 5*z - k*n, 2*z = 4*n - 12 for z.
2
Suppose -3*c - 31 = 2*j + 2*j, -2*j - 2*c - 18 = 0. Suppose -5*o + 11 = 46. Let z = j - o. Solve z*r + 5*t + 7 = 0, 3*t + t + 16 = -5*r for r.
-4
Suppose 0 = 2*m - 7*m. Suppose m*c + 3*c - 30 = 0. Suppose -2*v + c = 2. Solve 2*a = -4*j + 20, 4*j - 25 = v*a - j for a.
0
Suppose -3*r - 2*r = -10. Let d be (-6 + (3 - r))*-1. Let p = d + -3. Solve 2*u - p = 4*y, -3*y + 2*u + 2*u = 4 for y.
0
Let p = 763 - 757. Suppose -2*t + 2 = -t. Suppose 20 = t*a - 5*o, -4*a + 58 = -0*o - o. Solve a = -j - 4*j, p = 3*f + j for f.
3
Let p(o) = o**2 + 6*o + 14. Let b be p(-6). Solve 0 = -4*m - 2*j - b, -3*m - 2*j = -j + 12 for m.
-5
Let k(t) = 2*t + 7. Let m be k(-5). Let u = -1 - m. Solve -2*i - 2*b = 12, -3*b = -0*i + u*i + 17 for i.
-1
Suppose 4 = 4*x - a, 4*x - 3*a = a - 8. Solve -x*s = -5*s - y, 3*s + 2*y = 0 for s.
0
Let n = 129 + -124. Solve -3*l + 5*l - 8 = t, 4*l - 28 = n*t for t.
-4
Let y(d) = -d + 15. Let n be y(12). Suppose -4*z + k - n = 0, -2*k + 8 = -2*z + 2. Solve 5*a = u, 5*u - 28 = -3*a - z*u for a.
1
Let s(k) = 4*k + 7. Let z(i) = 4*i + 7. Let h(x) = -2*s(x) + 3*z(x). Let l be h(5). Let m = l + -14. Solve -3*y - 3*v = -0*v - 9, 4*y - v = -m for y.
-2
Let k(p) be the second derivative of -p**3/6 - p**2 - p. Let f be k(-4). Solve w + 5 = -2*i, f*w + 0*i + 2 = -2*i for w.
3
Let k be (-2)/(-10) - (-9)/5. Let c(w) = w**2 - 4*w + 4. Let i be c(4). Suppose i*m = 3*m. Solve k*z = m, 4*t + 3*z - 4*z = -12 for t.
-3
Let c be ((-15)/25)/((-1)/(-5)). Let u(q) = -q**2 - 5*q - 4. Let x be u(c). Solve -5*y = -4*p + 9, -x*p - 17 = 5*y + 16 for p.
-4
Let t = -5 - -4. Let r = 2 - t. Suppose 0 = 2*u - 3 - 3. Solve 3*l - u*c = 12, -7*c + 5 = r*l - 3*c for l.
3
Let u(q) = q**2 - q - 1. Let b be u(-2). Suppose -4*k + 1 + 6 = b*c, 2*c + 4*k = -2. Suppose 0 = 3*t - t. Solve -h = -2*h - c*p + 2, t = 4*p for h.
2
Let b be (0 - -23) + -10 + 8. Solve 2*s - b = -5*h, -3*s - 6 = -2*h + 10 for s.
-2
Let g(n) be the first derivative of 3*n + 1/4*n**4 - 2/3*n**3 - 1 + 0*n**2. Let t be g(3). Solve 0 = 3*p - 4*v - 14, 2*p = 4*v + t for p.
2
Suppose -4*b + 11 = -57. Suppose b = 4*y - 3*u, 6*u - u - 25 = -4*y. Suppose -51 + 162 = 3*l. Solve -y*x + 2 = -h + 17, -3*x - 5*h - l = 0 for x.
-4
Let p be 9/5 - (-17)/85. Solve 14 = -5*k + 3*k - 3*v, p*k - 2*v = -4 for k.
-4
Suppose 6*q - 9*q = 0. Suppose j + 2*j = q. Solve -5*l + 27 = 2*w, -1 = 4*w - l - j*l for w.
1
Let g be 0/((-4)/(-2)) + 3. Let i(u) = 7 - 5*u + 1 + u + g*u. Let o be i(5). Solve -2*x + 22 = -7*x + o*q, 2*q = -x - 7 for x.
-5
Let p(x) = -2*x - 6. Let v be 0/(2/(-2)) - 6. Let l be p(v). Let t be (4/5)/(l/15). Solve 3*z + t*w + 13 = 6*w, -z = -3*w + 11 for z.
1
Suppose 10 + 6 = 4*r. Let o = r - -13. Solve 3*b = -0*b - 2*w - o, -3*b - w = 16 for b.
-5
Let y(d) = d**3 - 6*d**2 - d + 5. Let n be y(6). Let v = -3 - n. Let l be 2/(1 + v/6). Solve l*k - 2*m - 7 = 0, -5*m + 25 = 2*k - k for k.
5
Let z be (1/3)/((-1)/(-12)). Let i be -2*4*(-6)/z. Let k(q) = q**3 + 5*q**2 - 3*q - 3. Let u be k(-3). Solve f - u = -5*g, -3*g = -4*f - 7 - i for g.
5
Let n = -20 + 22. Solve 4*l - 20 = 2*y + n*y, 5*l - 17 = -3*y for y.
-1
Suppose -w = -4*w - 12. Suppose 2*r = 4*r - 16. Let j = r + w. Solve 0 = 4*l + 2*y, 2 = -j*l - 5*y - 10 for l.
2
Suppose 0 = 10*t - 5*t - 20. Solve -4*c - t = 2*w, 9*c - 4*c = 2*w - 14 for c.
-2
Let m(o) = o**2 + 6*o - 4. Let v be m(-6). Let c be v*((-21)/4)/7. Solve -3*t = -12, -8 = -3*x - 2*x + c*t for x.
4
Suppose 3 = o + 4*f, 0*o + 3*f = -o + 3. Suppose 6 = 2*y + 2*u, o = -4*u - 13. Solve -3*w = 3*t + 24, y*w = 3*w - 16 for t.
-4
Suppose -4*f + 19 = m - 0*f, -f = 3*m - 35. Solve m = -3*i - 2*g, 0 = 