+ 6*j**2 - j + 4. Let n be l(x). Solve 4*a - 3*y - n = -0*a, y + 6 = 4*a for a.
1
Let v be (-60)/(-14) + (-8)/28. Suppose 3*y = -2*i + 7, v*y = -i + 5*i + 36. Let h = -2 - -12. Solve -4*s - y = n, 2*n - 4*n - h = 0 for s.
0
Let o(z) = -z**3 - 2*z**2 - 4*z - 3. Let v be o(-2). Suppose 3*x - 4 = 2. Solve -v*u + 0 - 1 = -d, -2*d = -2*u - x for u.
0
Let p = -5 + 11. Suppose -3 = -3*t + 3. Solve -t*g - p = 2*m + 2, 5 = -g for m.
1
Let b(v) = 12*v**2 - v. Let m be b(1). Suppose -2*j + 21 = -21. Solve m = g - 4*i - 13, i = 4*g - j for g.
4
Suppose -8*s = -10 - 22. Solve 2*z - 17 = -z - s*o, 3*z = 2*o + 5 for z.
3
Let c = 89 - 87. Solve 2*d + 10 = -o + 5*d, -c*o = 4*d - 10 for o.
-1
Suppose 1 = -d + 6. Let y = 5 - d. Solve 4*l + 0*a + 2*a + 10 = y, 0 = -3*l - 4*a - 10 for l.
-2
Let h = 4 - -3. Let c(b) = b**2 - 3. Let w be c(3). Suppose 4*y - w - 2 = 0. Solve -3*o + 2*a = -y*a - h, -3*a = -5*o + 8 for o.
1
Let y be 7/(28/16)*1. Solve -2*t + 4 = -4*z, 4*t = 5*z + 2*t + y for z.
0
Suppose -5*y - q = -8, y = -0*q + 3*q + 8. Solve 2*o = -y*o + 3*h - 8, 3*h = -12 for o.
-5
Suppose -4*y + 22 + 58 = 0. Suppose 9*h = 4*h + 10. Suppose -4*i - 3*a + 9 + 8 = 0, -29 = -5*i + 4*a. Solve i = 3*f + 4*m, -2*f + h*m - y = -0 for f.
-5
Let i be ((-15)/6)/((-10)/24). Solve 4*u - a - 9 = 0, 0 = 3*u - i*u - 5*a - 22 for u.
1
Suppose -4*d + 4*h = -d - 23, -4*h = -2*d + 22. Suppose 2*y + d = -1. Let f be (y + 2)*(-6)/(-2). Solve 4*p + 19 = 3*o, 2*p - f*p - 26 = -5*o for p.
-1
Suppose 0 = 2*s - 23 - 23. Let g = -18 + s. Solve -g*j - i - 22 = -0, j = -2*i - 8 for j.
-4
Let g(s) = -10*s**3 - s. Let r be g(-1). Solve 2*c + 2 = 2*m, 12 + r = 2*m + 5*c for m.
4
Let g(f) = -f**2 + 5*f + 3. Let k be g(6). Let w = k + 8. Solve 9 = w*m + d, 0*m + 2*d - 4 = 4*m for m.
1
Let t = -8 + 12. Let a be (-20)/4*t/(-5). Solve -a*g + 5 - 1 = -4*k, 5*k + 1 = g for g.
1
Let t be (-44)/3 - 6/(-9). Let f be t/49 - 2/(-7). Solve -5*k + l + f + 1 = 0, 3*l - 17 = -5*k for k.
1
Suppose 5*d - 45 = g + 2*g, 10 = 2*g. Suppose 2 = -5*f - 3, d = 3*m + 3*f. Solve 0 = -3*u - 5*w - 14, -5*w = -m + 25 for u.
2
Let i = 58 - 53. Solve 0 = -2*j - l + 7, 3*j + i*l - 25 = -2*j for j.
2
Let n(f) be the first derivative of f**4/4 + 2*f**3/3 - 5*f**2/2 - 4*f + 2. Let r be n(-3). Solve -r*p + 3*k + 15 = 0, 0*k + 3*k = -3*p for p.
3
Let r be 4*-3*12/(-8). Suppose -r*t + 19*t = 0. Solve 2*j - 5*z = -9, t*z = -2*j - z - 3 for j.
-2
Let t(k) = -2*k + 43. Let i be t(20). Solve -2*q + 17 = -0*y + 3*y, -4*q = i*y - 25 for q.
4
Let c = -16 + 24. Suppose 0*g - c = -4*g. Solve 0 = p - 4*f - 5, 4*f = -g*p + 5 + 5 for p.
5
Let v = -13 - -7. Let u be (1 + -3)/4*v. Solve -a + 3 = u*h, -h - 15 = -a - 4*a for a.
3
Suppose -14 = 5*o - 49. Let k be (44/77)/(2/o). Solve 2*v + z - 1 = -3*v, 5*z - 5 = -k*v for v.
0
Let q be ((-3)/(42/8))/((-12)/84). Solve -2*t - 1 = q*n + 13, -3*t = 4*n + 11 for n.
-5
Suppose 4*a + 4*g = g + 8, -3 = -a - g. Let r be (4 - 2)/a - -2. Let i = r - -1. Solve 2*x - 17 = 4*s - i, -25 = 5*s for x.
-2
Suppose -33 + 2 = -r. Suppose 5*m + 0*p = -2*p + 4, 0 = -5*m - 4*p + 8. Let l(x) = x + 3. Let h be l(0). Solve 4*f = -5*w + 6*f + r, m = -f - h for w.
5
Suppose 5*v + i = -i + 134, 4*v + 5*i - 114 = 0. Let m = -13 + v. Let u be -1*(3/1)/(-3). Solve 0 = -5*p + 3*s - m, u = -2*p - 0*s - 3*s for p.
-2
Let a be 6/(-21) - (-142)/7. Suppose -k = -18 - 12. Let j be 4 + (1 - 0/(-2)). Solve i + 4*i - g = a, j*i = -g + k for i.
5
Suppose -11 - 5 = -4*f. Suppose 5*v - 9 = f*j, 2*j + 0*v = 4*v - 12. Let n be (-3 + 1)/j*-8. Solve -t + 1 - 3 = -p, t - n*p + 2 = 0 for t.
-2
Let t be 2 - (3 + -3 - 4). Solve 4*y = -4*i + y - 29, 3*y - t = 3*i for i.
-5
Let f be (0 - 2) + 11 + -7. Solve 3*y - 4*x + 1 + 0 = 0, -2*x + 18 = f*y for y.
5
Let x = -4 - -6. Solve 3*m + 17 = -3*c + x*c, 36 = -4*m - 4*c for m.
-4
Suppose 0 = -2*h - 4*s + 37 - 11, 0 = 5*h - 3*s - 26. Let d = -3 + h. Let z = 2 - -1. Solve -z*v - d*t = 4, -2*v - 2*t = -4*t + 12 for v.
-4
Suppose -3*j = -6*j + 6. Solve 4*l - 3*h - 23 = 0, -2*l - 3 = h - j for l.
2
Suppose 0 = 3*h - 7*h - 320. Let s be h/(-30) - (-4)/(-6). Solve 0 = -5*w + w + 4*g + 20, -3*g = s*w - 10 for w.
5
Suppose p + 10 = 3*p. Suppose 2*m - 3*m + 5*q = 4, -p*m = -3*q - 90. Suppose 2*c = -5 + m. Solve 0 = -5*z + 5*w - 35, -4*z - 4*w = -3*w + c for z.
-3
Let k be ((-3)/6)/(2/24). Let o = k - -8. Suppose -5*n + 10*n = 10, 4*z + 2*n - 20 = 0. Solve 0 = -4*s + 3*q - 19, 0*q + o*q - 6 = -z*s for s.
-1
Let l = -1 - 2. Let i be (-3)/(l - (0 + -2)). Solve 2*t = 2*r, -4*r + 3 = -i*t - 1 for r.
4
Suppose 64 = 2*h + 2*h. Solve -2*g - 5*w + h = -6*g, 0 = 3*g - 2*w + 12 for g.
-4
Let l = 8 + -8. Let y be 3 - 3 - l/4. Solve y*j + j = 2*a - 3, -3*j = -4*a + 7 for j.
-1
Let c = 4 + -1. Suppose 8 = c*p - 1. Let f(a) = -a - 3. Let n be f(-3). Solve -4*g = -h + 3*h + 10, n = -3*g - 3*h - p for g.
-4
Suppose 0 = -18*n + 12*n + 36. Solve 2*q - 2*k = -2, n = 4*q + k - 5 for q.
2
Suppose -s = 2*s - 105. Suppose -5*o + s + 15 = 0. Solve 0 = -2*f, 3*f - o = 5*i - 2*f for i.
-2
Let i(x) = 1 + 0*x**3 - 7*x**3 + x + 2*x**3. Let k be i(-1). Solve -4*h - 16 = 4*a, k*h + 4 = -a - 0*a for h.
0
Suppose 0*c - c - 4*v = -23, 3*v + 2 = 2*c. Solve 1 - c = 3*t, 0 = 4*h + 2*t - 4 for h.
2
Let a be (-5 - -23)*(-4)/(-3). Suppose -4*g + a = -0*g. Solve 0*n + 3*n - i = -7, g = 2*n + 2*i for n.
-1
Suppose x = -5*c + 1 + 19, -5*c + 5*x - 10 = 0. Solve 5*a - c*d = -2*d - 25, -3*d = 3*a + 15 for a.
-5
Let r = -4 - -1. Let w be 1/1*(-3 - r). Let y = 37 + -32. Solve 4*g + 3*d - 7 = 0, -2*g + y*d - 2 - 1 = w for g.
1
Suppose 2*r + 4 = 6. Solve -2 = k + 2*b, 3*k + r = 2*b - 3*b for k.
0
Suppose -4*a + 8 + 12 = 0, -r - 9 = -2*a. Suppose -r = -5*w + 4*w. Suppose 2*q - 17 + w = 0. Solve 4*n = -5*j + 8, -4*j + q = 3*n + 2 for n.
2
Let u be 4/30 - 3222/(-135). Suppose u = 5*j + 14. Solve -19 = -0*t + 3*t + q, -4*q = j*t + 26 for t.
-5
Let y(t) = 4*t - 4. Let c be y(6). Suppose -c = -0*s - 4*s. Solve s*b = r + 10, 5*b + 0*r - 30 = -3*r for b.
3
Let i be -2*(2 + (-6)/2). Suppose 4*j + 2*v = j + 11, j - 2*v + 7 = 0. Let f be 3/j - (0 - -2). Solve -5*r = 4*a - 11, 3 = i*a + 2*r - f for a.
-1
Suppose 4*l - 15 = -l. Solve -5*b - l*o + 14 = 0, 0 = -2*o + o - 2 for b.
4
Let m = 26 + -21. Suppose 2*k = 3*k - 3. Solve 2*q = 3*q + 3*b - 11, k*b = m*q + 35 for q.
-4
Let d = 6 - 3. Let c(u) = -u**2 + 5. Let s be c(0). Solve p - 3*a + d - 4 = 0, 0 = s*p + 5*a + 15 for p.
-2
Let m(a) = a - 4. Let l be m(6). Suppose -4*y + 4 = -4*s, -4*s - l*y + 3*y = 7. Let i = s + 4. Solve 0 = -i*x + 2*f + 10, -17 = 2*x - 7*x + 3*f for x.
1
Suppose -5*y + 5*b = -2*y - 10, -4*y = -5*b - 10. Solve y = -3*m + 3*d + d + 20, 3*m - d = 5 for m.
0
Let o be (323/(-19))/(1*-1). Solve 0 = v + 4*z + 15, -2*z = 3*v + 3*z + o for v.
1
Let x be ((-1)/((-2)/8))/2. Solve 3*r - x = -t + 11, 5*t + 25 = 3*r for t.
-2
Let y(f) be the second derivative of -1/6*f**3 + 0*f**2 + 1/5*f**5 + 0*f**4 + 0 + 2*f. Let o be y(1). Solve 2*k = o - 1, -x + 4*k = 0 for x.
4
Let d(k) = -3*k - 6. Let b be d(-4). Suppose 2*g - 3 - 1 = -3*a, -3*g - 5*a + b = 0. Solve -m - 4 = -w - 1, 4*w = -g*m for m.
-2
Suppose -r = 4*w - 4 - 8, 4*r = -5*w + 15. Let o be -1 - (-1 + -1) - 3. Let y(q) = -2*q. Let i be y(o). Solve -g = r, -3*g + i*g = -c + 5 for c.
5
Let l(v) = -16*v**3 - 2*v**2 + 1. Let w be l(-1). Let f be (2/(-6))/(w/(-135)). Solve 0*s - f*s + 8 = 4*i, 0 = 4*s + 3*i - 6 for s.
0
Let z(t) = t**2 - t. Let i be z(-1). Solve i = 2*r + 4, -4*u = r - 15 for u.
4
Let k(r) = 2*r + 3. Let u be k(-4). Let g = -2 - u. Let q = 25 - 24. Solve -3*b + 6*b = -g*h + 3, -b + q = -h for b.
1
Let j(f) = f**2 + 3*f - 7. Let a be j(-5). Suppose 4*n = a + 5. Suppose 0 = 4*q - n*q - 8, 4*d = q. Solve 0*b - b - 16 = 5*m, -2*m + 5*b - d = 0 for m.
-3
Let g be (-5)/(-4) + 6/8. Solve 19 = -2*l - l + 2*n, l = -g*n + 7 for l.
-3
Suppose -z + 3 = 0, -2*z = -0*f + 3*f. Let d be 2/f + 1 + 2. Suppose -4*x - 2*r + r + 4 = 0, -5*x - 4*r + 5 = 0. Solve i + x - d = -l, -3*i = -l - 7 for l.
-1
Let t be (3/(-2))/(1/(-14)). Solve 3*q - 7 = -2*n, q - 4*n = -0*n - t for q.
-1
Let v(u) = u - 1. Let w be v(6). Let x = -26 - -14. Let k = x - -17. Solve -2 = -2*b + 3*p - 3, 5*p - w = k*b for b.
-2
Let c = -5 - -7. Suppose 2*r - 12 = -c*r. Solve 4*z - q - 21 = 0, r*z - z - 6 = 