 + f = h for h.
1
Let g(x) = x**3 + 9*x**2 + 8*x + 3. Let w be g(-8). Solve 4*f + w*t = 4, -4*f + 10 = 5*t - 2 for f.
-2
Suppose -5 + 61 = 4*g. Let d be (-4 + 7)*g/6. Let r = d + -4. Solve r*u - 4*z = -14, 0*u = u - 3*z + 13 for u.
2
Suppose 0 = 3*a - 21 + 6. Solve -a*d - 2 + 0 = k, 3*d = 0 for k.
-2
Let r = 5 - 2. Suppose 5*u = r*a - 77, 4*u - 21 = -a - 1. Solve 9 = -5*n - 2*p, 4*n - 4*p + a = -0*p for n.
-3
Let s = 10 - 5. Suppose -4*j = 3*n - 7*j + 9, 4*n = -s*j + 33. Solve 4*f = f - 9, 0 = n*w + 5*f + 5 for w.
5
Let s be -3*3/(-9)*5. Let f(w) = w**3 - 5*w**2 + 5*w - 5. Let t be f(s). Solve -4*l - t = d, -3*d - 19 = l - 3 for l.
-4
Suppose 2*d + 48 = 8*d. Suppose 4*o = 5*c - d, -4*o = -c - 9 + 1. Solve o*z = -0*a - 2*a + 22, 3*z = 5*a - 13 for a.
5
Let f(z) = 10*z**2 - 16. Let n(p) = 3*p**2 - 5. Let q(d) = 5*f(d) - 16*n(d). Let m be q(-2). Solve 2*r + b - 8 = 0, 5*b = 5*r - m - 12 for r.
4
Let x(j) = 2*j**2. Let v be x(-1). Suppose 0 = -4*f + 3*o + 11, -f + 5*f + 5*o - 35 = 0. Let t = -10 - -14. Solve h + v*l - t = f*h, 0 = h + l - 5 for h.
1
Suppose 0*k - 15 = -5*k. Suppose q + 0*f = 3*f, -3*q = k*f. Suppose -u = x - q*u, -5*u = x + 12. Solve g + x*n + 5 = 0, 6*n = 4*g + 3*n - 10 for g.
1
Let q(j) = 9*j + 2. Let d be q(4). Suppose 5*p = 12 + d. Solve 4*a = 2*a - 4*s - p, 0 = 2*a - s - 10 for a.
3
Let f = -6 - -7. Suppose -11 + f = -2*p - 2*v, v = -3*p + 5. Suppose a + p*a + g = 6, 0 = 5*g + 5. Solve 6*t + a = 5*o + 3*t, 0 = 5*o + 3*t - 13 for o.
2
Suppose 2*q = -5*u + 25, -u - 3 = -4*q + 14. Suppose -w + q = -0*w. Solve w*n - z - 10 = 0, 0*n + 4*z = 2*n - 22 for n.
1
Suppose 0 = -4*z - g + 13, -g = 5*z + 3*g - 30. Solve -u - 4 - 2 = 2*p, 2*p - z = u for u.
-4
Let d be (4 - 3)/(2/30). Suppose v - d = -4*v. Suppose -v*h + 72 = 3*x, -2*x - 4*h = 3*x - 119. Solve -4*i = 3*q - 7, x = 3*q - 5*i + i for q.
5
Let h = 6 + -1. Suppose -3*m - 2*m + 45 = 0. Let i be (m - 6) + -1 + 2. Solve i*p = -h*a + a - 24, 16 = -3*p - 2*a for p.
-4
Let x = 61 + -59. Solve 8 = x*c + 3*z, -5*c + 0*c = 4*z - 6 for c.
-2
Suppose 0*o + 5*a - 6 = -4*o, -3*o = 5*a - 2. Solve -o*x - 4*u + 0 - 8 = 0, -2*u = 5*x + 4 for x.
0
Let b = 34 - 72. Let r = -14 - b. Solve 3*s - 4*z + 11 = 0, 4*z - r = -3*s + z for s.
3
Let t(x) = 2*x - 7. Let r(a) = a - 6. Let z(h) = -3*r(h) + 2*t(h). Let p be z(-6). Let j = 7 + p. Solve -j*q - 27 = -4*d, -4*d - 2*q - 5 = -11 for d.
3
Let f be (1 + (-18)/8)*-4. Let c = -358 - -358. Suppose -2*l = -3*l + 16. Solve -f*d + l = 3*a + 3, -d + 5 = c for a.
-4
Let r be (-21)/(-15) + -1 - (-4)/(-10). Solve 0 = 5*i + 20 - r, 6 = -2*a + i for a.
-5
Suppose -2*w - 10 = 3*w - 5*h, -2*h = 2*w - 4. Let z = 79 + -55. Suppose 0 = c, -q - 3 + 7 = 3*c. Solve -q*t = 5*k - 3, w = -5*k - 0*k + 3*t + z for k.
3
Let z = 2 + -2. Let d = -13 - -16. Solve d*y - 4*q + 14 = 4*y, 4*y - 3*q + 20 = z for y.
-2
Let u = -64 - -88. Solve -6*n + b = -8*n + 10, -5*n = 2*b - u for n.
4
Suppose -2*f - 4*n = 48, 0 = 2*n - 7*n - 10. Let x be 21/2*f/(-15). Solve 2*w = -y, -5*y + y = w - x for w.
-2
Suppose 3*r - 107 = -20. Suppose -4*i + 0*i = 2*q - 30, 4*q = 20. Solve -3*p = -i*s + r, 3*p = 6*s - 4*s - 17 for s.
4
Let b be (-74)/(-26) - (-4)/26. Let o = -2 + 7. Solve -o*x = -3*r - 14, -4*x = -5*r - 16 - b for r.
-3
Let o = -16 + 17. Let v = o + 14. Solve 0 = -3*l - 2*m + v - 2, 4*l = -3*m + 17 for l.
5
Suppose 5*w + 25 = 5*f, -2*w = -3*f - w + 13. Solve -4*g - f*t - 12 = 0, 3*t = -0*g + g - 17 for g.
2
Let k be 1/(-1) + (1 - 0). Solve 4*t - 3*t - 4*s = 21, k = 5*t + 5*s - 5 for t.
5
Let v = 151 - 147. Solve 2*t + v - 2 = 0, 0 = 2*a - 5*t - 13 for a.
4
Suppose 4*n - 16 + 0 = 0. Solve n*x - 12 = -4*o + 7*x, -2*o + 16 = -4*x for o.
0
Let g = -2 + 4. Suppose -g*w = -2*p + 22, 0 = 5*w + 5*p - 16 + 121. Let c = w - -26. Solve -3*y = 9, 0 = 2*q + 5*y + 5 + c for q.
0
Let i = -1 - -6. Let m(d) = d**3 - 4*d**2 - 5*d + 5. Let c be m(i). Solve -5*z - c*j = 10, j - 10 = -5*z + 6*j for z.
0
Let r(i) be the second derivative of 0 - 1/6*i**3 + 4*i + 5/2*i**2. Let t be r(4). Solve 3*z - 3*d = -3, 0*z - 2*z - d = -t for z.
0
Suppose -44 = -2*i - 42. Solve 0 = 3*b - 6*b + 3*r, i = 4*b - 5*r for b.
-1
Suppose 2*d + 4 = -6*h + h, -4*d = h + 8. Let m(l) = -3*l. Let y be m(d). Let v = 9 - y. Solve i + n = 5*n - 11, v*n - 15 = 3*i for i.
-3
Let c = 21 + -19. Let b(j) = j**3 + 3*j**2 - 4*j + 2. Let d be b(-4). Solve -3*k - 2*q + 16 = k, -d*k + c = -2*q for k.
3
Let d(q) = -q**2 + 9*q + 24. Let h be d(11). Solve -3*f + 3*x = h*f - 7, -2*x + 2 = 0 for f.
2
Let x(z) = -z**3 + 6*z**2 + 2*z + 2. Let f be x(6). Solve 5*b + 11 + f = 0, -2*h = -b + 5 for h.
-5
Suppose -4*l = -34 + 14. Suppose -2*i - 14 + 20 = 0. Solve -m = -2*c, -2*c - l = -i*m - c for m.
2
Let u be (-2)/(-2)*(-2 + -8). Let t = u + 12. Suppose -a + f = a - 3, -2 = -2*a + 2*f. Solve -a*k = 2*y + 2, 4*k - 5*y + t*y = 31 for k.
4
Let b = 2 + -2. Let k(g) be the first derivative of -g**2/2 + g - 4. Let z be k(-1). Solve b = 5*u - 4*p + 7, -3*p = z*u + p - 14 for u.
1
Let o = 13 + 7. Solve -16 = 2*f - 4*c, 6*f - 2*f = 5*c - o for f.
0
Let y be (2/(-4))/((-2)/20). Suppose 6*z = z + 10. Let u be 17/4 - z/8. Solve -2*q = -5*r + q - y, 2*q = 3*r + u for r.
2
Let w = 12 + -8. Suppose 2*l + 0 = 2. Let r be 19/5 + l/5. Solve -r*d = 3*f - 14, -f - w*d = f - 16 for f.
-2
Let w(f) = -f**3 - 3*f**2 + 3*f - 2. Let t be ((-20)/25)/((-2)/(-10)). Let v be w(t). Suppose 0*j - j = -v. Solve -19 = -3*c - j*c - h, -h + 4 = 0 for c.
3
Let c = -23 - -28. Solve 0 = i + c*y + 23, 0 = -5*i + 3*y - 6*y - 5 for i.
2
Suppose 7 = 4*z - 5. Suppose a = -z*b + 4, b + 2*a + 5 = -2. Solve -q = -b*c, -q + c + 0 = -2 for q.
3
Suppose -3*p = -3*u + 1 + 2, 4*p - 1 = 5*u. Let x be -2 - (p/2 + -7). Solve -4*z + 2*r = 0, x*r - 3*r = z for z.
0
Let a = -10 - -11. Suppose a = -u - 8. Let g = -4 - u. Solve 0 = -2*k + 3*l - 11, -1 + g = -2*k - 4*l for k.
-4
Let a be (15 - 2) + 0/1. Suppose -2*z = -0*m + 3*m, -m = 5*z - a. Let v = z + 2. Solve 3*n = c - 12, -n = n - 5*c - v for n.
-5
Suppose -2*c - 3 = -4*g + 5, 4*g - 8 = -2*c. Suppose 7 + g = 3*w. Solve -w*f + 2*h = -11, -8 = -2*f - 3*h + 5*h for f.
3
Let v(l) = 3*l - 9. Let s be v(3). Solve -2*z + c - 1 = s, -5*z - 16 = 2*c - 0 for z.
-2
Suppose -4*b + 59 = -i, 2*b - 2*i + 32 = 4*b. Solve 0*h - 2*q - 3 = -h, -5*h + 3*q + b = 0 for h.
3
Let c(q) = q**2 + 4*q - 1. Let s be c(-5). Suppose 2*h + 9 = 3*b - 3, 3*b - 15 = 3*h. Let j = h + 5. Solve r + 0*r + 7 = -4*z, 2*z - s = -j*r for r.
5
Let h = 26 + -21. Solve -k - 16 = -h*g - 6, -4*k - 15 = 5*g for k.
-5
Suppose 0*b = 4*b - 76. Let u = 22 - b. Solve 2*m + 2*m = u*a + 1, 0 = -5*m - 10 for a.
-3
Let p(l) = l**2 - 9*l + 12. Let s be p(8). Suppose -s*i = -78 + 30. Let a = i + -7. Solve -4 = -4*g + h - 19, -a*g + 5*h = 0 for g.
-5
Suppose 0 = -5*w - 5*o + 45, -6*o + 12 = -3*o. Solve 0 = -4*q - 3*c, 2*q = q - w*c + 17 for q.
-3
Let z(f) be the second derivative of f**3/6 - f**2/2 - 2*f. Let i be z(-1). Let m = i - -3. Solve -1 = b, x - 5*b = -3*b + m for x.
-1
Suppose 42 - 17 = -y + 3*a, 5*y + 77 = -a. Suppose 0 = -5*i - 36 + 6. Let l = i - y. Solve 13 = 4*w + 5*s, -4*s = 4*w - w - l for w.
2
Let h(a) = -a**3 + 2*a**2 + 2*a. Let l be h(2). Let x be (-3)/(l/(-8) - 1). Solve -n - x*c = -4, -7*n + 3*n - 5*c = -7 for n.
-2
Suppose -4*a + 0*z + 1 = z, -2 = -5*a - 2*z. Let w be ((-10)/3)/(8/(-12)). Solve -3*s - 24 = -a*q - 3*q, 0 = w*s + q + 22 for s.
-5
Suppose 4*u = 2*a - 30, -4*a - u = -2*u - 74. Solve 0 = y + 3*t + a, -4*y + 4*t + 4 = 0 for y.
-4
Suppose k = -3*p + 3, 2*k = -k - 9. Let a be (2 - (2 + 0))/p. Solve 3*d - 2*x = d, 5*d + 4*x + 45 = a for d.
-5
Suppose -5*g - 175 = 5*t, 2*g = -0*g + t - 73. Let s be (g/27)/((-4)/6). Suppose 3*r - 7*r + 20 = 0. Solve -4*c = -r*d, 5 = -s*d + 13 for c.
5
Let f = 24 + -22. Solve 3*s - 3*g = 9, f*s = 4*s + g for s.
1
Let n(i) = -i**2 + 5*i + 9. Let r be n(6). Suppose 0 = 3*g - 2*w - 35, r*g + 3*w = -0*g + 15. Solve -5*b + 31 = -2*l, -2*l - g = l for b.
5
Suppose 25 = 3*j + 2*j. Suppose -17*h - 12 = -20*h. Solve 3*d + h = 2*l - 4*l, -j*l - 23 = d for l.
-5
Let p = -8 - -11. Let j = -7 + 5. Let b be -2*(j + -2 + 1). Solve -o + b = 4*o + 2*n, 0 = -p*n - 6 for o.
2
Let n = 9 + 7. Solve 3*d - 5*h + n = 0, 2*d - 4*d - 2 = h for d.
-2
Suppose -35*p = -32*p - 15. Solve -2