+ 12, 10 = 2*z + 4*p. Solve 3*d = -h + 17 - z, -3*d = -2*h + 1 for d.
3
Let o be -4 + (-4 + -7)/(-2 + 1). Solve m - 5*b = o, 3*m + 2*b = 4*m - 4 for m.
2
Let d be (-9)/(-3) - 0/(-3). Solve -15 = -l + 5*u - 0, -5*l = d*u + 9 for l.
0
Let o(t) = t**3 + 26*t**2 + 24*t - 21. Let d be o(-25). Solve m + 5 = -2*j, 3*m + 5 = d*j - 0 for m.
-3
Suppose 3*n - 18 = -5*o, 2*n - o - 12 = 4*o. Let l = -6 + n. Solve 0*k = 3*k + 4*v - 11, -2*k - 2*v + 8 = l for k.
5
Suppose 0*k + k = 2. Solve -3*y - 1 = -4*a, 2*y + k*a = 4*a for y.
1
Let m be 3/(-4) + (-33)/(-12). Suppose -1 = -a + 2. Solve 5*o - m*y + 12 = 2*y, a = 3*o + y for o.
0
Let r be 2 + (0/4 - -2). Suppose 0 = 2*c - r, 4*c - 11 = -v. Suppose 3*i + 9 = 0, -2*y = y + 5*i - 9. Solve y = -v*w + 5*n - n, w + n = 2 for w.
0
Suppose 0 = u - 2 + 5. Let s = 0 + u. Let v be (-2)/6 + (-16)/s. Solve -p - g = -5*g + v, 5 = -2*p + 3*g for p.
-1
Suppose -4*g + 9 = -11. Let z = g + 12. Solve -5*c = 5*d + 25, -5*d + c + 2*c - z = 0 for d.
-4
Suppose 27 = d + 5*i, -d + 2*i + 0 = 1. Let k be 5/(-10)*4 - -19. Solve -k = 5*s - 3*w - d, 5*s + w + 30 = 0 for s.
-5
Let j(o) be the first derivative of -o**2/2 - 4*o - 1. Let x be j(-7). Let c = 1 + 2. Solve -3*v + 13 = -4*b, -v - 9 = -c*v + x*b for v.
3
Let q be -50*1*2*10/(-40). Solve -4*k + 7 = -3*z - 4, 2*k = -5*z + q for z.
3
Let q be 2/6 + -1 - 323/(-57). Solve 0 = q*j - 4*j + 3*o + 11, 0 = -3*o - 12 for j.
1
Let f(m) = m**2 - 4*m - 2. Let u be f(5). Suppose 0 = y - u*g - 20, -2*y = -5*y + 4*g + 40. Let h = -5 + y. Solve -2*b = 2*w - h*b - 2, -4*b - 2 = -5*w for w.
2
Suppose 2*o + o = 33. Let i = o + 4. Suppose 4*f - i = f. Solve 0 = f*q - 5*u - 5, -2*u = 4*q + 3*u + 41 for q.
-4
Let f = -1 - -6. Let x(l) = l**3 - 4*l**2 - 5*l + 3. Let k be x(f). Solve 5*b - t - 21 = 0, -2*b = -k*t - 12 + 1 for b.
4
Suppose -108 = 4*m - 264. Suppose 0 = -4*g - 4 - 0. Let d = 3 + g. Solve -5*u + 8 - m = -d*q, -28 = -q + 5*u for q.
3
Let m be -3*10/3*1. Let v be (-50)/(-15)*(-12)/m. Let z be (1/(-2))/((-1)/4). Solve z*f + v*p = 6*f + 24, -5*p = 5*f + 20 for f.
-5
Let d(n) = -2*n + 2. Let q be d(0). Solve -j - 4*g + 19 = 0, j - 9 = -0*j - q*g for j.
-1
Suppose 0*z = -6*z. Solve y + 2 = j, z = 5*j - 0*y + y - 28 for j.
5
Let l(g) = g**2 + g - 1. Let n be l(2). Solve -i - 6 = f, -4*i + 16 = -2*i - n*f for i.
-2
Suppose -2*p - 19 = -4*y + 3, -12 = 4*p. Suppose 0 = 2*r + r. Solve 4*t + y*a + 9 = -11, r = -4*t + a for t.
-1
Suppose 0 = 6*t - 3*t + 6. Let z(j) = j**2 - 1. Let x be z(t). Suppose -4 = -x*l + 2*l. Solve u - 1 = -2*a - 0*u, -l*u = 5*a + 2 for a.
2
Suppose 2*c = 2*i - 10, -2*c - 15 = -0*c - 3*i. Solve c = 4*n - p - 9, -n + 5 = n - p for n.
2
Suppose -3 = 4*q - 19. Suppose -2*l - l + 12 = 3*n, q*n + 20 = 5*l. Solve 4*z + 0*z = 3*f - 17, n = z + f + 6 for z.
-5
Suppose -15 + 5 = -i. Let r(z) = z**3 + 7*z**2 - 8*z + 6. Suppose -5*p - 7 = 4*x, 4*x + p + 41 = 14. Let k be r(x). Solve 2*l = i, -5*j + 2*l - k = -3*j for j.
2
Let y(l) = l**2 + 22*l + 3. Let p be y(-22). Solve -p*n = -j - 4*j + 13, 0 = 5*n - j - 15 for n.
4
Suppose -z + 10*k = 7*k - 8, 3*k + 52 = 5*z. Solve 3*d - u = 5*d - 5, 5*u = 2*d - z for d.
3
Let v(x) = x + 8. Let j be v(-6). Suppose -z + 7*g - 3*g = 20, -2*z - j*g = -10. Solve 4*p - 3 = 2*o - 9, z = 2*p - 5*o + 15 for p.
0
Suppose -4*f + 0*f = -8. Solve -d + 2*h + 4 = 0, -2 + 6 = f*d - 2*h for d.
0
Suppose 0 = 4*c + 4*c - 56. Suppose z + 2*z = -s - 3, 0 = 5*s - 2*z - 2. Solve 2*i + b - c = s, -b = 3*b + 12 for i.
5
Let u = 21 - 31. Let a = u + 15. Suppose -b = -0*b - a. Solve g = -b*r - 2 + 22, -2*g - 2*r + 8 = 0 for g.
0
Let w be 265/30 - 2/(-12). Let z(d) = d**2 - 9*d + 5. Let y be z(w). Solve -3*r = 2*r + 2*f + 19, -5*r + 5*f - y = 0 for r.
-3
Let d(l) = -l**2 + 6*l + 2. Suppose 0 = 2*a + a - 4*k + 2, 4*a + 3*k = 39. Let b be d(a). Solve 0 = -2*m + 4*y - 4, 0 = -2*y - b*y for m.
-2
Let j = -3 + 7. Let o be (4 - -1) + (2 - j). Suppose o*n + 4 = -5*m + 8, -3*m = 2*n - 2. Solve -5*b + 19 = -m*r - r, 20 = 4*b for r.
2
Let g = 5 - 1. Suppose 6*p - 20 = p. Suppose k = p*k - 33. Solve s - 4*z + g - k = 0, 0 = 2*s - 2*z - 2 for s.
-1
Let m be ((-2)/6)/(1/(-6)). Suppose 15 = 5*d - m*d. Solve 3*i + 1 = 2*g - g, -d*g + i = -19 for g.
4
Let f be 60/(-50)*20/(-6). Solve d - 6 = 3*d + f*l, 4 = 4*l for d.
-5
Suppose -5*j = -5*p + 120, 5*p + 2*j - 144 = -j. Solve 3*t = -4*g + p, -2*g + 11 = 4*t - 3*t for t.
5
Let r = -3 + 2. Let k = 5 + r. Solve 2 = -3*o - 2*u - 0*u, -5*o + k*u = -26 for o.
2
Let a be ((-4)/5)/(12/(-30)). Suppose 4*i + 3*y - 73 = 18, 5*i - 90 = y. Solve 3*x - 2*x - d - a = 0, -4*x - 5*d - i = 0 for x.
-1
Let z be (-1)/(2/(-2))*17. Suppose 3*u - 4*u = -2. Let m = -42 - -55. Solve -5*h - 5*j + 2*j = -z, -u*h + 5*j = -m for h.
4
Let m = -85 - -87. Solve -2*f = -5*q - 4*f - 16, 5*q - m*f + 24 = 0 for q.
-4
Let i(g) = g**3 + 5*g**2 + 3*g. Let m be i(-4). Solve -m*d + 3*z + 8 + 2 = 0, -d = 3*z - 10 for d.
4
Suppose 5*t - 2*z - 7 = 41, -3*z + 3 = 0. Solve -4*g - t = 5*k, -2*g = -4*g for k.
-2
Let z = -8 - -17. Suppose 0 = -3*y + 6*y - z. Suppose -5 = -3*r + 4. Solve 4*n = r*a - 5, 11 = -y*a - 2*n - 2*n for a.
-1
Let s(g) = 19*g**3 - g. Let r be s(1). Let m = r + -4. Solve -2*p + 0*p - 4*t - m = 0, 2 = 2*p - 4*t for p.
-3
Suppose 4*j - 30 = -j. Let r = 9 - j. Solve -5*p - h - 5 = -r*h, -3*p + 4*h - 3 = 0 for p.
-1
Suppose -m = 2*o + 4*m + 12, 4*o = -4*m. Solve o*h = a - 6, -2*a + h - 6 = 2*a for a.
-2
Let m = 25 - 11. Suppose 2*j + 3*j = 15. Solve m = -4*v - 5*i + 45, -2*i - 6 = -j*v for v.
4
Let h(x) = -x**2 + 7*x + 3. Let z be h(7). Solve -z*o + 4*r = 25, -5*o = -r - 6 + 25 for o.
-3
Let z be (6/(-2))/(3/(-2)). Suppose -z*c + 5*x + 30 = 0, x = 5*c - x - 33. Solve -l - 7 = -4*n, 3*l + l + c*n = -7 for l.
-3
Suppose -5*t = -3*t. Let l = 8 - 6. Let q be l/8 - 11/(-4). Solve -5*s - 15 = -x, q*x - 5*s = -t*x + 5 for x.
-5
Let a(f) = 2*f - 7. Let t be (-6)/(-10) - 22/(-5). Let x be a(t). Solve -x*p = -3*v - 5*p - 15, v - 5*p = 12 for v.
-3
Let o be (-1)/(-5) + (-8)/(-10). Solve 0 = u - t + o, -2*u = -u - 3*t - 3 for u.
-3
Let z(y) = 3*y + 21. Let w be z(-4). Solve 0 = 3*b - w, 0 = 2*f - 2*b + 6*b - 20 for f.
4
Suppose -3*w + 36 = -0*w. Suppose -y + w = y. Suppose c = -c + y. Solve 0 = -k + c*x, 2*k - k = -x for k.
0
Let b(n) = -11*n**3 - n**2 + n + 1. Suppose -1 = -4*r - 5. Let c be b(r). Let p be (-65)/(-25) + 4/c. Solve 0 = 2*s + p*y + 2*y + 23, -19 = 4*s + y for s.
-4
Let v(k) = -k**2 + 5*k. Let h be v(4). Suppose h*b = 5*p + 22, 3*p = -p + b - 11. Let q be (24/(-15) - p)*5. Solve -3*c = -3*x + 12, -q*x - 4*c = -x + 6 for x.
2
Let d(q) = -q**2 - 4*q - 2. Let v be d(-4). Let h be (5 + -4 - -3) + v. Solve -9 = -2*n + n + 4*a, 0 = n - h*a - 7 for n.
5
Let a = 6 - -2. Let r = a - 4. Solve 6 = -z - 3*k, r - 3 = -k for z.
-3
Let i = -1 + 7. Let k = -6 - -9. Solve 3*x - 1 = -2*u, 0 = k*x + 3*u - i*u - 21 for x.
3
Let z be 0 - (0 + 1 + 3). Let w be (-4)/(-3)*(-6)/z. Solve -w*y = 2*g - 9 - 7, -5*g - 4*y = -36 for g.
4
Let t(b) = -b**2 + 4 + 0*b**2 - 8*b + 3 - 6. Let l be t(-7). Solve -w - h + 4 + 2 = 0, -3*w = h - l for w.
1
Let g(s) = -s + 1. Let o be g(13). Let d be (8/(-3))/(8/o). Solve 3*l - 3*n = d*l - 7, 0 = 3*l + 2*n for l.
-2
Let r(t) be the third derivative of t**6/120 + t**5/15 + t**4/8 + 6*t**2. Let g be r(-3). Solve 5*f - 2*q + 13 = g, 0 = 4*f - 2*q + 8 + 2 for f.
-3
Let k be (-81)/(-9)*12/9. Let o be 2 + 1/2*2. Solve -2*b + 23 = -4*v - v, 0 = -o*b + k for v.
-3
Let m be 6 - -2 - (-4 + 8). Suppose -m*w + 6 = -2. Suppose 0 = -2*k + 3*q - 5, 13 = -5*k - 5*q + 38. Solve 4*b - 5*l - 28 = 0, -w*b - 6*l = -k*l + 12 for b.
2
Let y(j) = -j + 9. Let h(q) = q - 9. Let r(f) = -4*h(f) - 3*y(f). Let v be r(4). Solve 5*w + 30 = -5*t, -3*t - v*w = 10 + 14 for t.
-3
Suppose 10 = -5*s - 4*l, -s = s - 3*l + 27. Let g be (-7)/7 + (0 - s). Solve 2*t - 14 = 3*v + 2*v, g*v + 18 = 4*t for v.
-2
Let x = -1 - -4. Suppose 4*z - 6*z + 12 = 0. Solve -4*a = h + z - 2, 3*a = -5*h - x for h.
0
Let u = -9 - -17. Let c = u + -3. Solve -5*y + 0*y - 10 = -c*n, 5*n = 20 for y.
2
Suppose -6*n + 4*n = 10. Let i = n + 9. Solve 5*m - 4 - 6 = i*g, 0 = 2*g for m.
2
Let z(j) be the first derivative of j**3/3 + 3*j**2/2 + 1. Let t be z(-3). Solve -2*c + r + 0*r - 11 = 0, -4*r + 12 = t for c.
-4
Let w = 2 - -2. 