- 3*y. Let u be 3*(x - (-6)/(-9)). Suppose 2*c - u = c. Solve -2*g - 16 = -4*f, g + 2 = -c*f + 24 for g.
2
Let m be (-3)/(-2) + 18/(-12). Solve -4*r = -m*p + 4*p - 32, 2*r - 31 = -5*p for p.
5
Let y(d) be the first derivative of d**2/2 - d + 1. Let m be y(6). Solve -5*g + 4*s - 7 = 0, -m*s + 8 = -4*g - s for g.
1
Suppose -k + 0*k + 3 = 0. Let d = 80 - 60. Solve 4*z + d = -2*i, k*i - z + 3*z = -10 for i.
0
Suppose 4*h + 32 = 4*w, 4*w + h = -3 + 10. Let i = 4 + w. Solve 4*b - g = -i - 6, b - 3 = -g for b.
-2
Let c(a) = 2*a**2 + 0*a**2 + 3 - 3*a**2 - a - a**3 + 1. Let t be c(0). Solve -5*i + r - 15 - 6 = 0, 4*r - t = 0 for i.
-4
Let x(f) = -17*f**3 - 3*f + 1. Let n be x(-4). Let a be (-4)/(-6) + n/9. Suppose -5*i + a = -17. Solve -4*h - 3*v + i = 0, -v - 12 = -5*h + 4 for h.
4
Suppose r - 4*i = 2*r, -3*r = 3*i - 9. Let z(n) = 33*n + 22. Let l be z(0). Solve r*s + 23 = -o + 8*s, -5*s = o - l for o.
-3
Let x be 5/(3 + -2)*1. Suppose 2*h - x*h + 26 = 5*d, -3*h + 10 = d. Let g be ((-1)/(-3))/(h/30). Solve -g*u = r + 20 + 8, -r = 3 for u.
-5
Suppose -4*c = 2*w + 2*w - 24, 4 = c. Solve -b = w*i, i = 5*b - i for b.
0
Suppose n - 4*f = 10, -4*f = f + 25. Let o be (-2 + 3)*-1 + -16. Let c = n - o. Solve 0*w = -3*p + w + c, 5*p + 5*w = 5 for p.
2
Let q = -2 - -6. Let x = -9 - 1. Let g = x + 23. Solve h - g = -4*s, 0*h + q = s + h for s.
3
Suppose -n + 2*n + 1 = -2*s, 5*s + 34 = n. Solve -4*h + h = 3*a + 18, 0 = -4*a + h - n for a.
-3
Let v(t) = -t**2 + 14*t + 5. Let y be v(14). Solve -15 + 2 = j - 4*b, -y*j = -4*b + 1 for j.
3
Let z(v) = v**3 - 5*v**2 + 2*v - 5. Suppose -2*f = 4*p - 24, -1 = p - f - 4. Let l be z(p). Solve 0 = -l*h + 25, 3*r + 2*r + h = 30 for r.
5
Let i be 10*(2 - (-9)/(-3)). Let n = 14 + i. Suppose n*f = 2*f + 6. Solve -4*t + 26 = -3*b + 6, -2*b = f*t - 15 for b.
0
Suppose 3*w + 0*s - 15 = 4*s, -2*w + 10 = 4*s. Solve 0*h + w*h = 3*v - 28, -h + 5*v = 10 for h.
-5
Suppose 3*i + 2*f - 8 - 12 = 0, 4*i - 3*f = 4. Let w be (1 + 1/(-2))*0. Solve 45 = 5*g + y + i*y, w = g + 4*y - 24 for g.
4
Let j(v) be the third derivative of -v**3 + 1/60*v**5 - 3*v**2 + 1/8*v**4 + 0*v + 0. Let f be j(-5). Solve -5*s = -0*a - 3*a - 40, -f*a = -2*s + 30 for a.
-5
Suppose -50 = -2*n - 6. Let d = n - 15. Let w be d/2 - (-1)/(-2). Solve 7 = -5*o - 4*i - w, 5*o + 5*i + 10 = 0 for o.
-2
Let f(h) = h**3 - 6*h**2 - 6*h - 5. Let p be f(7). Solve 0 = -4*q - 0*q - l + 5, 4 = -q - p*l for q.
2
Let z(c) = c**3 + 4*c**2 - c - 2. Let y be z(-4). Solve -u - 6 = -3*m, -y*m = 2*m + 2*u + 2 for m.
1
Let o(z) = -3*z - 3. Let t be o(-2). Solve 3*i - 5*r = -i + 20, -t*r = -4*i + 20 for i.
5
Let d = 13 - 1. Solve -3*z + 4*y = -d, -5*z - 2*y + 3 = -3*y for z.
0
Let c = -3 - -11. Suppose 0 = -2*a - 2*a + c. Let s(f) = -f**3 + f**2 - 4*f + 20. Let l be s(0). Solve -5*o + w = -a*w - l, 5*w - 12 = -3*o for o.
4
Suppose 0 = 2*o - 4, -3*o + 4 = -3*d + 2*o. Solve v - 2 = t - 0*t, 4 = 5*t + d*v for t.
0
Suppose -2*n = x - 8, -4*x = -n - n - 2. Let m = 0 + 3. Suppose -m*d + t = -14, -d + 5 + 17 = 4*t. Solve -4*l - 27 = -5*s, -x*s + d*s = -5*l - 3 for s.
3
Let x = -8 - -12. Suppose 0 = 4*c - 8 - x. Solve 0 = i - 2*l + c, -5*l = 2*i + i - 13 for i.
1
Suppose -119 = 8*l - 23. Let q be (2/(-3))/(4/(-18)). Let i be 77/q - 4/l. Solve 3*s - 5*y = -14, 4*s + 4*y = -s + i for s.
2
Suppose h = 2*h. Suppose h = -2*d + 6*d. Solve -4*a - 14 = -3*a + 4*k, 5*a + 4*k + 6 = d for a.
2
Let x(r) = -2*r - 9. Let t be (-6)/4*24/6. Let b be x(t). Solve 0 = -5*m - 3*p - 16, b*p + 4 = -m + 2*m for m.
-2
Let j(x) = x**3 - 10*x**2 + 8*x + 13. Let n be j(9). Solve 4*z = 5*m - 0*m + 15, n*z + 3*m = 23 for z.
5
Let a(t) = -t**3 - t**2 + t - 2. Let i = -3 - -3. Let b be a(i). Let u be (-8)/(-2 - 0/b). Solve -2*r + u*x + 10 - 4 = 0, x = 2*r - 3 for r.
1
Let m = 39 + -24. Suppose 3*f - m = -0*f. Let u = -10 + 13. Solve -2*d = -y + 2 - f, 2*d + u = 3*y for d.
3
Let m(r) = 3*r**2 + 6*r + 1. Let j be m(-7). Suppose 2*k + 20 = j. Suppose -k = -5*z + g, 3*z + z - 17 = -5*g. Solve i = 5*i + 2*b + 10, -5*i = -2*b + z for i.
-2
Let b be 3/((-1)/(-4)*4). Suppose 4*c = -2*m + 8, 0 = -2*c + m - 6*m - 4. Solve 2*w = -c*i + 1, 0 = b*i + 6*w - w - 16 for i.
-3
Let n(y) = 5*y**2 + y - 1. Let v be n(1). Solve -4*a + 12 = 4*f, v = -0*a + 3*a - f for a.
2
Let a = 9 - 5. Suppose 5*r = -51 - 309. Let u = -51 - r. Solve -3*v = -3*n + u, 3*v - 14 + 0 = -a*n for v.
-2
Let y(p) = p**3 + 10*p**2 + 2. Let w be y(-10). Suppose -5*i = w - 12. Solve -4*t = 2*l - 14, 4*l - i*t + 19 = l for l.
-3
Let x be -1*(-5 + 5 + 0). Solve -3*d - v + x*v - 18 = 0, -5*v - 40 = 5*d for d.
-5
Let n be 29/(1 - 0) + 2. Suppose -2*q = q + k + 50, q = k - 14. Let h = q + n. Solve -4*w = -s - 5, 3*s = -w - w - h for w.
0
Let v be ((-18)/(-15))/(-3) - (-18)/45. Solve 5*f + v*h - 5*h = 0, 3 = -3*h for f.
-1
Suppose c - 4*c = -2*b - 24, -3*c = -5*b - 42. Let h be (-5)/(-15) + (-22)/b. Solve -h*q - 5*y + 16 = 56, y + 9 = -q for q.
-5
Let p(d) = -d**2. Let c be p(-1). Let i be (0/1)/3*c. Suppose 4*t + 4*k = -i*t, -5*t - 3*k + 8 = 0. Solve t*g - w - 16 = 0, 4*g + 3*w + 9 = 3*g for g.
3
Let n be (5/(-10))/((-1)/14). Let q = -6 + n. Solve -c - 20 = 5*y, q = -3*c + 3*y - 5 for c.
-5
Suppose -3*k + 23 = -4*y, y + 27 = 2*k + 3*k. Suppose -4 = -5*b + 11. Solve 25 = -k*m + 4*r - b*r, m = 4*r - 24 for m.
-4
Suppose -5*y - 2*n - 14 = -0*y, 5*n = 3*y + 27. Let j be 8/y + (4 - -2). Solve -j*q - 19 = q + a, 4*q - 3*a = -19 for q.
-4
Suppose 20 = 3*p - 40. Let j(k) = k**2 + 5*k - 3. Let u be j(-6). Solve 4*m = -4*f - p, -m - u*m + 4*f = -20 for m.
0
Let z(v) be the first derivative of -13*v**2/2 + v + 1. Let q be z(-1). Suppose 0*s + f = s - 8, s - 3*f = q. Solve -6*k = b - 4*k + 2, b + s*k - 1 = 0 for b.
-4
Let g(x) = -x**2 + 5*x + 8. Let v be g(6). Suppose 0 = -2*w - 2*w. Let s = v - w. Solve 2*y - 18 = -s*d, d = 4*y - 13 + 2 for d.
5
Let z be 6*((-13)/(-2) + -6). Suppose -57 = -2*a + 3*n, -3*a - 4*n = -2*n - 92. Solve -z*k - a = 5*i, -5*k + 0*k - 3*i - 34 = 0 for k.
-5
Suppose 4 + 4 = 4*k. Solve 4*n - 26 = k*m, -n + 3 = m + n for m.
-5
Let g be (0 - (-2)/3)*3. Let t(a) = -a**3 + 4*a**2 + 2*a + 25. Let k be t(5). Solve -6 = g*p + 2*x, 3*p + 4*x = p - k for p.
-1
Let t = -7 + 8. Let i = 5 - t. Solve 2*y + m = 3*y + 6, i*m = -y + 4 for y.
-4
Let y be 1/3*(-3 + 27). Solve -4*t + y = 0, -5*t + 35 = g - 6*g for g.
-5
Suppose -3*o - o = 0. Solve l - 4 = 3*d, 5*l + 0*d + d - 4 = o for l.
1
Let w be -1*6*8/(-12). Let h(r) = 4*r - 5. Let l be h(w). Solve 4*g + 11 = q, -l = 5*g + q + 14 for g.
-4
Suppose -2*o - 2*o = -40. Let k(t) = 2*t - 3. Let n be k(3). Let y be n*(0 + o/6). Solve -2*c = -g, -g = -y*c + 4*g for c.
0
Let d(u) = -u**2 - 5*u + 8. Let n be d(-6). Let j = -84 - -48. Let x be (3/n)/((-2)/j). Solve -5*v + x = l, -l - 2 = -v + 1 for l.
2
Suppose 5*v + 5 = -3*m + 30, -10 = -2*v. Solve 5*l = 5*z - 3*z, m = -l - z for l.
0
Let v(k) = k + 1. Let n be v(2). Suppose 5*d - 40 = l + 4*l, d = -n*l - 4. Solve 3*a + 3 = -d*b - 0, -3*a = -5*b - 27 for b.
-3
Let j = 26 + -22. Suppose 7 = -4*w + 23. Suppose c + 2*c - 14 = -w*m, -2*c - 2 = -3*m. Solve p = 6*p + 10, p + j = -m*y for y.
-1
Let t = -4 + 9. Suppose -2*x + 3*z = 5, t*x + 3*z = -2*z + 50. Suppose -3*q + 4 = -x. Solve -4*p - u = -3*u + 6, 3*p = q*u + 3 for p.
-4
Suppose 4*d - 5*j = 6*d - 9, 0 = -3*d + 5*j - 49. Let f be 2 + 2 + -2 + d. Let t be -1*3*4/f. Solve -2*z + 22 = -a + t*z, a - 3 = -z for a.
-2
Let i be 0 + -1 - (-3 - (0 - 2)). Solve 3 + 3 = u + q, i = -2*u + 2*q + 4 for u.
4
Suppose -v - 4*o + 14 = 0, -v + 11 = 3*o - 1. Let d(a) = 3 + 6*a + 0*a - a**2 - 1. Let l be d(v). Solve -5*x = 5*i, -11 - 1 = -l*x + 2*i for x.
3
Let o(d) = -2*d + 11. Let t be o(8). Let v(c) = c**2 + 3*c - 7. Let f be v(t). Solve -2 = -n - 3*s - 4, f*n + 19 = 4*s for n.
-5
Let v(g) = 2*g - 5. Let m be v(5). Let y be (2 - (-120)/9)*3. Solve w - 2*f - 10 = 0, -5*w + y - 16 = -m*f for w.
2
Suppose -3*p - 15 = -6*p. Solve -5 = -j - 5*g + 8, -g = j - p for j.
3
Let a = 18 + -14. Solve -r = s + 1, 4*r - 3*s + 1 = -a*s for r.
0
Let g(v) = v**3 - 6*v**2 + 3*v + 13. Let q be g(5). Suppose -6 + 2 = -2*z. Solve -3*l - d - 7 = -z, -5*d + q = l for l.
-2
Let a(n) = 7*n + 20. Let c be a(-2). Solve c*g + 8 = g + 3*l, -3*l = -3 for g.
-1
Suppose 5*w - 18 = 4*w + 3*i, -w - i 