- 12 - 13 = -d*f, -2*b - 4*f = 4 for b.
-4
Let h(g) = -g**3 + 10*g**2 - 7*g - 13. Suppose -2*u + 5*v = -3, 0*v = -u - 2*v + 15. Let k be h(u). Solve -k*f + 4*q = -16, -2*f + 0 + 9 = q for f.
4
Let d(m) = -m**2 + 21*m - 15. Let q be d(20). Solve -5*g = -5*y - 10, g = -g - q*y - 24 for g.
-2
Let b be (6/(-9) + 1/(-3))*-5. Solve l + 6 = -4*w, b*l = 2*l - 4*w - 10 for l.
-2
Let s be 2/(-4)*-3*2. Suppose -3*m = -c - s*c, -4*c + 5*m = 0. Solve -4*a + c*a - n = -15, 4*n + 16 = 3*a for a.
4
Let h(c) = -c**3 - 4*c**2. Suppose 3 = -n - 2. Let y be h(n). Let d = y - 9. Solve -2*m + 5*x = d, -4*m + 6 = -5*x + 18 for m.
2
Let o be (-2 - 7)/(1/1). Let t = o + 9. Solve 3*a = -t*a - 4*w + 11, -2*a + 2*w - 2 = 0 for a.
1
Suppose 2*p - 4 = -0*p. Suppose r = 3 + p, -4*j - 97 = -5*r. Let d be (-3)/((j/(-8))/(-3)). Solve -3*h = -2*b - 5*h - 16, 5*b + d = 4*h for b.
-4
Let t = 5 + -2. Suppose c = t - 0. Solve 5*d = c*a + 10, 0 = 6*d - d + a - 30 for d.
5
Suppose -4*j + 6 = -2*j. Let n(t) = -t**2 - 6*t - 5. Let v(f) = -f - 1. Let l be v(3). Let o be n(l). Solve -5*x = 10, -x - 2*x + o = j*m for m.
3
Let m = 1 - -3. Suppose s + 0*s + 5*d = 29, -s + 3*d = 11. Suppose -s*a - a = -150. Solve a = 5*b - 3*z, 2*b - m*z = 29 - 3 for b.
3
Let x = 21 - 15. Suppose x = 3*g - 30. Solve 5*h - 18 = 3*n, -8*h = 3*n - 3*h - g for n.
-1
Let n(h) = -3*h - 8. Let s be n(-6). Solve -11 = f + 4*r, -f - f - 2*r - s = 0 for f.
-3
Suppose u = 4*u - 75. Let t = -16 - -37. Solve -h - 2*h + t = -2*p, -5*h = -u for p.
-3
Let q be ((-3)/(-2))/((-3)/(-6)). Solve 9 = -3*o + 2*p, -q*p + 6 + 6 = -4*o for o.
-3
Suppose -4*p + 28 = 4*a, 3*p - a - 4 - 1 = 0. Solve -p = -5*r - n - 0, -r - 4*n - 7 = 0 for r.
1
Suppose -z - q + 4 + 5 = 0, -20 = -5*q. Solve -z*b = -4*o - 27, -b + 3 = 4*b + 4*o for b.
3
Let y be 1/3*(-5 + 11). Let q be 2/3*15/y. Solve 0 = -2*c + q*v - 6, 4*v - 3 = c + 3*v for c.
-3
Let z = 5 + -2. Suppose 5*l + x - 6 = 13, z*x = 5*l - 23. Solve 3 = 3*s, s + 3 + 16 = l*y for y.
5
Suppose 24 = 3*i - 3*m, -i - 5*m + 14 = 36. Suppose -11 = -4*u - 5*q, -5*q - 27 = -4*u - 6. Solve -o + i*k = u*k + 8, -24 = 5*o + k for o.
-4
Let r(b) = b**2 - 6*b + 5. Let g be r(5). Suppose g = -3*z - z + 8. Suppose 3*s = -z*s + 20. Solve 0 = -s*x - 5*d - 3 - 1, 5*x = d + 24 for x.
4
Let f be (22/4)/(3/6). Let g be f/5 - 1/5. Suppose -w = -0*w. Solve -3*k - g*h + 3*h = 2, -4*k - 4*h - 8 = w for k.
-1
Let b(h) = 3*h**2 + 2*h - 1. Let i be b(1). Solve -30 = d + 5*c, -3*d = -i*c - 3 - 2 for d.
-5
Suppose -2*w = -0*w - 6. Suppose 4*z - 1 = -l, 9 = -3*z + 3. Solve -4*v = -0*v - 5*u - 23, -w*u - l = 0 for v.
2
Let f = -20 - -29. Suppose 3*n - 5 = -2*n. Let r be (4/(-4) - n)*-1. Solve 0 = 2*x + r*m + 3*m - f, 0 = 2*x - m - 3 for x.
2
Let x(z) = z**3 - 7*z**2 - 6*z - 11. Let c be x(8). Suppose -7*m + c = -6*m. Suppose 1 = l - 1. Solve m*w + 18 = -2*y, -l*w + w + 14 = -4*y for y.
-4
Let v be (4/14)/(-4*6/(-336)). Solve -v = -3*f + 5*f - 4*b, 0 = 5*f + 5*b + 10 for f.
-2
Let h = -9 + 14. Solve 0 = -b + o - h, b + o = -0*b + 5 for b.
0
Let o = -10 - -16. Suppose -4*d = 3*t - 70 + 14, 72 = 5*t - 4*d. Suppose 2*i - o*i = -t. Solve -3*r + 3*m - m = -19, -i*r + 5*m = -37 for r.
3
Suppose -8*h + 68 = -28. Solve -5*z = 5*n, -z + 0*n + 5*n - h = 0 for z.
-2
Let o be -2 - ((-6)/(-2) + 60). Let x be (-465)/o + (-4)/26. Solve 3*f = 5*b + 25, b + 0*f - f + x = 0 for b.
-2
Let x = -2 + 8. Let c = -10 - -15. Solve g + c*s - 9 = x, -2*s + 6 = 0 for g.
0
Let t(p) = p + 2. Let h be t(0). Suppose -3*w - 3 = -2*w. Let m = h - w. Solve 5*a - 5 = -m*u, -29 = -5*u + 3*a - 0*a for u.
4
Suppose 5*z + r = 28, -3*z + 5*r = -0*z. Solve z*h - n + 2*n + 7 = 0, 0 = -3*h + 4*n + 5 for h.
-1
Let n(q) = q**2 + 6*q + 1. Let w be n(-5). Let l be (-16)/20*10/w. Solve -5 = 5*h + 3*g + 5, l*h + 3 = -g for h.
1
Suppose l - 3*l - 12 = -2*f, -3*f - 4*l + 39 = 0. Let o = -4 + 8. Solve 0*n = o*u + n, 0 = -3*u - 3*n - f for u.
1
Let x be 7 + -6 - (1 - 3). Suppose 0 = x*s - 6, 3*l - 4*s = -4 - 4. Solve 2*v - n - 21 = -2*v, 4*v - 3*n - 23 = l for v.
5
Suppose -4*l + h = -46 - 5, 0 = 5*l + h - 57. Let u be -3*(-1)/(l/8). Let b = -3 + 5. Solve u*v + 29 = 5*z, -3*z = b*v + 2*v - 7 for z.
5
Suppose 0*p = 3*p - 2*d + 20, 28 = -2*p + 5*d. Let c be 7 + 3 + p + 0. Solve 5*t - 18 = 4*w, -w = 4*t - 0*t - c for t.
2
Let o = 15 + -11. Let k(z) = z. Let g be k(1). Let q = 6 - g. Solve -8 = -4*b + 4*w, -q*w - 12 = -o*b - 0*w for b.
-2
Let s = -16 - -22. Suppose d = 3*r - 9, 0 = 5*r - 2*d - 3 - 12. Solve h = -5*x + s*h - 45, -r*h = -5*x - 35 for x.
-4
Let b = -3 + 5. Let o(y) = y + b*y + y. Let j be o(3). Solve -5*g - 2 = 4*w - w, -4*w - 2*g = j for w.
-4
Suppose 2*l - o - 32 = 4*o, 2*l - 4*o = 34. Solve -n - 4*p - l = 0, 0*n - 2*n = 5*p + 27 for n.
-1
Suppose -5*t + 45 = -0*t. Suppose -1 + t = 4*v. Solve 0 = v*f + 4*b - 6, 3*b - 2*b = f for f.
1
Let j(q) = q**2 - 3*q + 1. Let b be j(4). Suppose u + 2*l = 10, -5*u - 5 - b = -5*l. Solve -n - k = -0*k + u, 4*k = 5*n + 28 for n.
-4
Let s(t) = t**2 - 6*t - 6. Let g be s(8). Let x be 12/7 - g/(-35). Let k = 4 - x. Solve 3*y = -5*c + c - 4, 0 = -k*c + 5*y - 28 for c.
-4
Suppose -3*j = -4*j + 15. Suppose 0 = -v + 5*v - 20, -5*v = -2*n - j. Solve 3*o = -4*u - 7, -4*o - 3 = n*u + 5 for u.
-4
Let d = 55 + -26. Suppose -4 + 0 = -h, -5*h + d = 3*f. Suppose f - 5 = -i. Solve j + j + 22 = -4*y, -i*j + 3 = -y for y.
-5
Let o(h) = -2*h - 5. Let k be o(-5). Solve 0 = 2*y - k*b + 29, y - 2*b - 2*b = -22 for y.
-2
Let l be (-9)/(-12) - 171/(-12). Suppose 0*m + 9 = -3*m. Let p be (4 - 2)/((-2)/m). Solve a + 4*w = 2*a + 13, p*w - l = -a for a.
3
Let x be 1*-1 - 4/2. Let v be 3/((-18)/68)*x. Suppose -c + 12 = -4*w - 17, 2*c - v = -4*w. Solve 0 = -6*b + b + 4*g - 27, c = -3*b + 4*g for b.
-3
Let z = -5 - -5. Let a(o) = o**3 + 7*o**2 + 4*o - 8. Let b be a(-6). Suppose -v = -z - b. Solve 0 = k + 1 - 5, -4*k + 32 = v*n for n.
4
Suppose -3*p + 2 + 5 = n, 13 = 5*p + n. Solve t - 3*i - p = 0, 5*t - 2*i - 15 = -6*i for t.
3
Suppose -20 = -2*x - 3*x. Let w be (2/4)/(x/320). Solve 2*y + 2*y = -5*l + w, 0 = -2*y + 10 for l.
4
Let r be -2 - 5*(12/5)/(-3). Solve y + r*g = 4*y + 2, -5*y - 45 = 5*g for y.
-4
Suppose 3*u - 2*u = -3*k + 36, 0 = -3*k + 15. Solve -5*n - 9 = x, 3*n = 5*x + 4*n + u for x.
-4
Suppose 2*h + 3*j + 15 = 0, 5*h + 0*h - 10 = 2*j. Solve -3*q - 5 = 2*x, -3*q + h*x = -x + 20 for q.
-5
Suppose -5*m = -3 - 2. Let v = m - 4. Let a = v - -5. Solve -3*t - 4 = -2*b + 1, -3 = 5*t - a*b for t.
1
Suppose -2*b + 5*n + 10 = 0, -3*b + 70 = 2*n + 17. Suppose 0*w + 3*w = 0. Suppose c = -w*c. Solve c = -a + 3, b - 4 = 2*o + 5*a for o.
-2
Let l be (-6)/(-4)*(-44)/(-33). Suppose 5*a = -3*n + 52, -2*a + l - 10 = 0. Solve -n = 4*s - 2*v + 5*v, 2*v = -4*s - 20 for s.
-3
Let k be ((2 - -2) + -4)/1. Solve 2*q - 3*a - 13 = 0, k*q + 3*q + 5*a - 10 = 0 for q.
5
Let t be (3/(-9))/((-4)/24). Solve -t*m - 14 = 2*q, 5*m - 1 = q + 3*q for q.
-4
Let t(o) = -o**3 + 5*o**2 + 16*o - 12. Let b be t(7). Solve -3*r - b*r - 5 = -5*w, 13 = -5*r - 3*w for r.
-2
Suppose -2*o + 3*j + 7 = 0, o + 3*j - 8 = -0*o. Suppose a - o*a + 8 = 0. Let y be 1/2 - (-52)/8. Solve -5*v + y = a*x, -5*v - x - 1 + 7 = 0 for v.
1
Let y(v) = v. Let p be y(6). Let s be (1 - 1)*p/12. Let l(q) = -q**2 + 8*q - 8. Let n be l(6). Solve n*o = -0*x + 5*x, 2*o + 4*x = s for o.
0
Let d(q) = q**2 - q - 4. Let l be d(3). Suppose -t = -x + 5*x - 6, l = 2*x. Solve 4*n - 3*w - 32 = 0, 2*n + 3*n - t*w = 33 for n.
5
Suppose a = n - 7, a = 4*n - 2*n - 11. Solve -5 = -5*b + b + l, -n*b + 15 = -3*l for b.
0
Let g = -4 + 9. Suppose -3*m = -g*m. Suppose 6 + 3 = 3*a. Solve -3*f - f + 3*s + 23 = m, -3*s - 21 = -a*f for f.
2
Suppose 2*p = -p + 12. Suppose f + 9 = 2*z, 2*z - f - 7 = z. Suppose -3*g + 2*g - 8 = 3*x, 12 = g - z*x. Solve p*o = -g*t + 16, -4 + 11 = 3*o + 2*t for o.
-1
Let j be 9/(-6)*56/(-6). Suppose 8 = -t - 3*r - r, 3*t = 5*r + 44. Solve 2*a = -a + 2*g - j, t = 2*a + 3*g for a.
-2
Let j(b) be the second derivative of -b**3/6 - 3*b**2/2 - b. Let f be j(-7). Solve -s + f*v - 2 = s, -2*s = -v + 8 for s.
-5
Let y(j) = -j**3 + 7*j**2 - 6*j. Suppose 0 = -4*d + 5 + 19. Let k be y(d). Suppose -w + 16 = -k*w. Solve 5*p = -2*t - w, -4 + 2 = p for t.
-3
Suppose 2*r = -3*z - 3, 4*r - 2*z + 4 = -6*z. Solve r = h - 3*b - 11, 4*h = 3