+ 9 + t for z.
4
Let i be (-2)/7 + (-32)/(-112). Solve i = 3*f + 4 + 8 for f.
-4
Let i(m) = m**2 - 16*m - 11. Let k be i(17). Solve k = -q + 4 for q.
-2
Let f = 2 - 10. Let r be 6/(-3 - 27/f). Solve -2*m + r = 2*m for m.
4
Suppose -5*a + 5*p = -35, -10*a - 15 = -13*a + p. Solve a*f - 1 = -9 for f.
-2
Let x(t) = t**2 + t + 12. Let w be x(0). Let i be 6/7*(-21)/(-6) + 10. Solve 0 = 5*g - w - i for g.
5
Let j = -1 - -4. Solve -1 - j = 2*l for l.
-2
Let f be 10/4*(-8)/(-10). Suppose -b - g + 14 = 0, f*b = -3*g + 36 - 11. Suppose -4*z = -b + 1. Solve 0*h - 12 = -z*h for h.
3
Let h = 0 - -3. Suppose 2 = c, -h*c + 11 = 3*q - 5*c. Solve -9 = -q*z + 16 for z.
5
Suppose -8*w = -12*w + 12. Let z(v) = v - 1. Let n be z(1). Solve -s + w*s + 10 = n for s.
-5
Let x(p) = 2*p - 6. Let z be x(4). Suppose -1 = o - z. Solve c - o = -0 for c.
1
Let o(r) = -4*r - r**3 + 3 + 2*r**2 + 3*r + 3*r. Let n be o(3). Solve -q + n = -2 for q.
2
Suppose -2 - 3 = -5*a. Let m = -21 + 30. Suppose 5*i = 4*n + 46, -2*i = -m*n + 4*n - 32. Solve t + i = a for t.
-5
Suppose 5*b = -2*m - 3*m + 150, -b = 2*m - 65. Solve 5*j - m = -10 for j.
5
Let x be (-208)/(-20) + 4/(-10). Suppose -5*z = -x - 0. Solve -z*i = -0*i - 6 for i.
3
Let b(m) be the first derivative of -m**3/3 - m**2/2 + 16*m + 2. Let c be b(0). Let g = c + -11. Solve -g*d = -d for d.
0
Let a(o) = -o**3 - 7*o**2 - 6*o + 2. Let k be a(-6). Let q(i) = i + 14. Let l be q(-12). Suppose l*z = -3*z. Solve z*w = -k*w for w.
0
Suppose 4*v - v = 3. Solve -d + 0 = -v for d.
1
Let d be 0/((-12)/(-5) + 2/(-5)). Solve -2*a - 2*a + 20 = d for a.
5
Let q(m) = -3*m - 4. Suppose 0*t + 5*t = -15. Let u be q(t). Solve 0 = -3*d - u - 1 for d.
-2
Let i be (21/(-35))/((-1)/5). Suppose -i*n + 32 = -u, 2*u - 32 = -2*n - 0*u. Suppose -3*c = -4*w + 46 - 7, 0 = -w + 3*c + n. Solve w = -4*f + 1 for f.
-2
Let t(h) = 2*h - 4. Let i be t(3). Let l(p) be the first derivative of p**4 + 2*p**3/3 - p**2/2 + 2. Let k be l(1). Solve -3*q = -i*q + k for q.
-5
Suppose 0 = -0*o + 2*o - 6. Suppose 2*w = -4*i - 2*w + 256, -2*i + o*w = -128. Suppose -c = 3*c - i. Solve -2*h = -6*h - c for h.
-4
Let u(k) = -k**2 - 3*k - 2. Let b be (-4)/(-6)*(18 + -3). Let d = -12 + b. Let i be u(d). Solve 3*v + i*v = 0 for v.
0
Suppose 0 = 3*m + m - 36. Let j be 3*-3*(-2)/m. Let a = -6 + 6. Solve 0*z - j*z = a for z.
0
Suppose 0 = f + 3*r - 5, -3*r + r = -8. Let w = 10 + f. Suppose -5*j + 2*u = -26, 3*j - j - 3*u = 17. Solve 0 = w*s - j - 2 for s.
2
Let a(u) = -u**3 + 4*u**2 + 7*u - 7. Let t be a(5). Suppose -2*v = t*v. Solve v = 4*n + 2 + 10 for n.
-3
Let i(p) = -3*p - 7*p**2 + 3 + 2 + 0 - 2*p - p**3. Let q be i(-6). Let s be (-1 + 0)*1 - q. Solve s = l - 2 + 6 for l.
-4
Suppose -n - 4 = -7. Solve 20 = -x - n*x for x.
-5
Let b be ((-20)/(-5) - 1) + 2. Solve 2*c = b + 5 for c.
5
Suppose 0 = 4*z - 6*z. Let a = -10 - -8. Let k be a + (z - -6)/3. Solve 3*g + 0*g = k for g.
0
Suppose -2*k + 5*k = -q + 16, -3*k = -3*q. Suppose 0 = -q*o + 5 + 23. Solve -3*v = o - 4 for v.
-1
Suppose 4*b + 4 - 20 = -o, 0 = 4*o + 3*b - 12. Suppose o = -n - 2*n + 72. Solve -8 = -4*p - n for p.
-4
Suppose -6*n + 2*n + l = -30, 0 = 3*n + 4*l - 32. Solve -f - f = n for f.
-4
Let o be (-26)/(-6) - 1/3. Solve 0 = h + o + 1 for h.
-5
Let j = 51 - 49. Solve -4*d = -j*d for d.
0
Let c be 0 - -3*(-2 + 3). Solve -c*z + 8 = -1 for z.
3
Suppose 3*c = 4*c - 42. Suppose -3*f - 3*g = -0*f + c, 4*f + 5*g + 57 = 0. Let h = 38 + f. Solve 0 = i + 4*i + h for i.
-5
Let n be 2 - ((1 - -2) + -2). Let u = 16 + -8. Suppose 0 = -4*a + u. Solve a*q - q = n for q.
1
Suppose -2*n + 77 = -5*g + 17, 2*n + 10 = -2*g. Let o be (-4)/g + (-10)/25. Solve o - 2 = -v for v.
2
Let f be (-12)/(-8)*4/6. Solve j - f = -0 for j.
1
Let s be 1 + -2 + 20/4. Let x(j) be the second derivative of j**4/12 + j**3/6 + 25*j**2/2 - 2*j. Let l be x(0). Solve 0 = k + s*k + l for k.
-5
Suppose 10*v - t = 5*v + 6, 2 = -3*v - 5*t. Let l = v - 0. Suppose -14*x = -15*x. Solve x = 4*b - 5*b + l for b.
1
Let r be -2 - 26/(-4)*2. Let f = 16 - r. Solve f*s + 8 = 23 for s.
3
Suppose 0 = 5*z - 2*z - 3*h - 27, 0 = -5*z + h + 29. Solve s - 8 = z*s for s.
-2
Let u(k) = -k**2 + 9*k - 2. Let o be u(9). Let j be o*9*-1 - 3. Solve -5*p + j = -5 for p.
4
Let k(o) = -2*o + 54. Let a be k(17). Solve 8*u = 3*u + a for u.
4
Let w be 3/(-3*(-4)/12). Solve -w*v + 1 + 2 = 0 for v.
1
Let l = 38 + -25. Suppose -l = -2*m - 3. Solve m*d + 5 = 4*d for d.
-5
Let y(u) = u**3 - 4*u**2 - u - 16. Let i be y(5). Solve 10 + 6 = i*k for k.
4
Let q = 10 - 16. Let f = q - -6. Solve -4*l + 1 - 5 = f for l.
-1
Let v be (4/6)/((-7)/(-63)). Let g be 3 - 4*3/v. Let c = g + 0. Solve c = 3*u + 10 for u.
-3
Let x = -17 - -22. Solve 3 = 2*s + x for s.
-1
Let d = -6 + 8. Let m = 9 - 7. Solve -2 = m*j + d for j.
-2
Let d = -15 + 19. Suppose -3*f + 0 - 1 = d*a, 3*a + 2*f = 0. Solve -2*t + 4 = a for t.
1
Let h = 26 - 24. Solve 0 = -2*g - 0 - h for g.
-1
Suppose 0 = -4*r + 4*b + 36, 7 = 3*r - 2*b - 15. Solve -r = n + 3*n for n.
-1
Let q be (3 + 3)*3/9. Solve -3*d = q*d for d.
0
Let u = 12 + -6. Let z = u + -5. Let v = -1 + z. Solve 0 = 4*r - v*r for r.
0
Let h = 0 - 12. Let a(x) = -x**3 - 11*x**2 + 12*x. Let k be a(h). Solve -2*n - 2*n - 4 = k for n.
-1
Let n be -27 + 33 + ((-4)/1 - -1). Solve n*p = -3*p - 30 for p.
-5
Suppose 2 + 3 = 5*z. Let d(t) = 2*t**3 - t + 1. Let l be d(z). Let y be (34/(-2))/(l + -3). Solve -4*b - y = -1 for b.
-4
Let w(a) = -4*a + 1. Let y be w(4). Let m = -9 - y. Suppose 5*p - 32 = -4*z - 6, p = 2. Solve -m = -z*b + 2 for b.
2
Suppose -3*u + 22 + 20 = 3*i, 3*u - 22 = -i. Solve -n + i = 4*n for n.
2
Suppose 0 = w + 4*n - n + 12, n + 4 = 0. Solve w = 2*d + 1 - 5 for d.
2
Suppose -5*c - 4*u + 7 = -3*u, -2*c = 3*u + 5. Suppose -4*p - 6*x + 3*x = -5, 3*p = 3*x + 9. Solve c = -p*z - 2 for z.
-2
Let h = -45 - -48. Solve 2*z - 3 = h for z.
3
Let l = 132 - 127. Solve -l*n + 20 = -n for n.
5
Let w(k) = -k**3 - 14*k**2 - 13*k - 2. Let s be w(-13). Let j be s/4 + 1/2. Solve j = -5*a - 18 - 2 for a.
-4
Suppose 0 = -17*c + 20 + 14. Solve -c*h + h = -1 for h.
1
Let c(i) = 0*i + 1 + 5*i - 4*i. Let b be c(-1). Solve 3*q + 5 + 4 = b for q.
-3
Let s(x) = 5*x + 2*x**3 - 3*x - x**3 - x - 2*x**2. Let d be s(2). Solve h = -3 - d for h.
-5
Suppose 5*l + n = -2, l = 5*l - n - 2. Suppose 5*b + 2*j = 6 + 5, -3*b - 3*j + 3 = 0. Suppose 0 = -b*f + 9, 0 = c - f - 4 + 6. Solve l*z - z = c for z.
-1
Suppose -12 = -0*m - 4*m. Suppose -4*y = m*t + y + 4, 16 = 3*t - 5*y. Suppose 1 + t = w. Solve w*q - 8 = q for q.
4
Suppose 0*i + i - 20 = -p, 2*i = p + 52. Suppose 0 = -4*m + 3*k + 4 - 1, 3*m + 5*k = i. Solve m*j = 10 + 2 for j.
4
Let v = -6 - -6. Suppose -17 = -5*k + 5*h + 13, 4*k = -4*h - 8. Suppose n + 26 = k*o - 0*n, 4*o - n - 50 = v. Solve -5*l + l = -o for l.
3
Suppose -b - 2*f + 17 = -7*f, -10 = b + 4*f. Suppose 2*l + b = -2. Let n = 4 + l. Solve 0 = n*v + 4 - 2 for v.
-1
Suppose z + 31 = 4*t - 4*z, 5*t = z + 23. Solve 4*s - 5*s = -t for s.
4
Let f(g) = -2*g - 10. Let l be f(-7). Suppose -a = -2*w - 10, 12 + 8 = l*a - 3*w. Suppose -x - 8 = -28. Solve 7*z = a*z - x for z.
-4
Let n be (8 - 3) + 3/(-1). Let t be (-1 - n) + (3 - -20). Solve -k = -6*k - t for k.
-4
Suppose 3*f + 148 - 33 = 5*t, t - 2*f - 30 = 0. Suppose 0 = 3*m - s - 7 - 2, 3*s = -3*m + 9. Solve -m*v = 2*v + t for v.
-4
Suppose -3*t = 3*b - 15, 3*b = b + 4*t + 10. Solve -b*o = -7 + 2 for o.
1
Let l = 6 + -3. Let j = -3 + l. Solve -d + j = 2 for d.
-2
Let d be 4/(-5)*25/(-2). Let s = -5 + d. Solve -s*a = -a for a.
0
Suppose -d + 2*y + 1 = -3*y, -2 = -2*d - 4*y. Solve 2 + d = -w for w.
-3
Suppose -4*z - 3*g = 4, 2*z + 22 = 5*z - 4*g. Solve 0 = -z*c - 3*c for c.
0
Suppose -4*d + 5*l + 51 - 10 = 0, l - 15 = -5*d. Suppose 0 = 2*c - d*c + 6. Solve -25 = -c*z - 2*z for z.
5
Let q = 111 + -86. Solve -5*t = -0*t + q for t.
-5
Suppose -3*q + 14 = 4*a, 2*q - 5*a = -2*q - 33. Let y be q/10 - 3/(-15). Solve -3 = f - y*f for f.
-3
Let l = 4 - 1. Suppose -4*s + 4 = s + 2*b, -l*b - 15 = -3*s. Let d be (-22)/(-5) + s/(-5). Solve -n = d*n - 15 for n.
3
Let x be (-34)/(-6) + (-2)/3. Let k(s) = s**3 + 7*s**2 + 7*s + 5. Let a be k(-6). Let q = 3 - a. Solve -q*d - 25 = -x for d.
-5
Let l(q) = -3*q - 5. Let a(o) = 3*o + 4. Let x(i) = 3*a(i) + 2*l(i). Let j be x(6). Solve -g 