0). Suppose m = -3*u - 0*u + 9. Solve -u*d - 4 = -7*d for d.
1
Let c(f) = -2*f - 4. Let g be c(-4). Suppose -g*s = s. Suppose s = v - 1, -3*h + 8*h = -3*v + 23. Solve w + w = h for w.
2
Let x = -3 - -13. Solve 0 = -4*y - 10 - x for y.
-5
Let b be 15/(-9)*(2 - 5). Solve 4*n = -b - 7 for n.
-3
Let h = -11 - -17. Suppose -20 = -4*u + 2*q, 0 = 3*u - 7*u - 4*q + 44. Let o(d) = -d + 10. Let m be o(u). Solve m*t = 18 - h for t.
4
Suppose 4 = -4*i - 5*r, -2*i + 40 = 3*i - 5*r. Let q be 0 + i - (-1 + 0). Solve 5*g = -0 + q for g.
1
Let f = -5 - -9. Solve 2 + 18 = -f*z for z.
-5
Suppose 4*s = 3*r - 29, r - 5*s - 34 = -2*r. Suppose 5*y - y - 32 = 0. Suppose 8 = 3*g - h, 2*g - g = 3*h - y. Solve -g*b + r*b = -3 for b.
3
Let r = 4 + -2. Suppose r*b + b = 6. Suppose -j = -b*j. Solve s = -j*s - 2 for s.
-2
Let h(k) = 2*k + 1. Let j be h(-5). Let c = j + 9. Solve v = -c - 1 for v.
-1
Let v(h) = h**3 + 5*h**2 - h - 3. Let s be v(-5). Suppose -4*c + 16 = z + z, -c = -s*z + 6. Let u = z + -2. Solve u = 3*o - 4*o for o.
-2
Suppose -3*u + 9 = -3*l - 51, u - 28 = 5*l. Suppose 3*a - a + u = 0. Let o = -6 - a. Solve -o*g = 2*g - 25 for g.
5
Suppose -j - 2 + 3 = 0. Let h = 3 + j. Solve h = -3*i + 2*i for i.
-4
Let p(i) = 5*i - 2. Let u be p(3). Let x = u + -12. Solve 3*q - x = 8 for q.
3
Suppose 4*u = 5*s + 133, 2*s - 71 = 5*s + 2*u. Let v be 20/(-6)*60/s. Solve f + f - v = 0 for f.
4
Let m be (-11)/((-2)/(5 + -3)). Suppose -5*g + 2*v = m, -v - 10 = 2*g + v. Let n be (5 + g)*(-6)/(-4). Solve 20 = n*i + i for i.
5
Let h be 10/(-5) + 4/2. Solve h*k - 4 = -k for k.
4
Let s = 6 + -1. Solve -11 - 4 = -s*o for o.
3
Let y = -1 - 0. Let d(q) = -3*q - 1. Let w be d(y). Suppose 4*u - 8 = -b, -2*b = 3*u - 5 - 1. Solve u*v - v = -w for v.
-2
Let r(x) = x**2 - 13*x + 48. Let a be r(5). Solve 0 = 4*p + a + 12 for p.
-5
Let x = 7 + -1. Suppose g + 10 = -3*g - 3*u, g = u - x. Let y be (1/g)/((-5)/20). Solve y = -b + 3 for b.
2
Suppose -15*v - 18 + 18 = 0. Let w be -3*(-1)/(0 + 1). Solve v = -0*g + w*g - 15 for g.
5
Suppose 0 = -5*c + 14 + 1. Suppose c*z + 3 = 5*p, z + 3*z + 4 = 3*p. Solve -4*j + 3*j = p for j.
0
Suppose 4*c + 44 - 44 = 0. Let m be (0 - -1) + (0 - -1). Let h be (m/(-3))/(4/(-18)). Solve -3*o + 0*o + h = c for o.
1
Suppose 0 = -4*y + 3*y. Let c(i) = -i**3 + 3*i**2 - 2*i. Let k be c(2). Solve y = -5*p - k*p for p.
0
Suppose 2*r = -5*m - 10 + 27, 0 = 2*m - 5*r - 30. Suppose m = 5*n - 10. Suppose n*p = k - 5*k + 16, -5*p + 50 = 2*k. Solve 0*d = -4*d + p for d.
3
Let w(n) = 3*n**3 - 2*n**2. Let o be w(2). Solve 3*h + h + o = 0 for h.
-4
Let d be (-7)/((-21)/(-6)) - -3. Solve -2*v = -3*v - d for v.
-1
Suppose -1 + 11 = 5*x. Solve x*o - o = 3 for o.
3
Let g be 9/(-3) - (-10)/2. Solve -g*c - 20 = -6*c for c.
5
Let v be 2*((-11)/(-2) + -3). Suppose 10*k - v*k - 10 = 0. Solve -4*n = -6 - k for n.
2
Let i(a) = a + 11. Let x be i(-9). Suppose -x*b = b. Solve b = -0*w + 4*w + 12 for w.
-3
Suppose 5*j + 5*i - 10 = 0, 4*j + 0*i - 7 = -5*i. Suppose -3*h + j = -4*h. Let d be h/6*-6 + -1. Solve -3 = d*s + 7 for s.
-5
Let r = -6 + 66. Suppose 4*h - r - 12 = 0. Suppose -c + 11 = 2*p - 32, -p + 3*c = -h. Solve -5*y - p - 4 = 0 for y.
-5
Let g(i) be the second derivative of -i**3/3 + 2*i. Let r be g(-1). Let m be 1*(0 + r) + -1. Solve 3*l + 4 - m = 0 for l.
-1
Suppose 5*z = -5*n + 45, -n + 3*n = -4*z + 28. Solve 0 = -n*x + 20 - 0 for x.
5
Let l(f) = f**3 - 15*f**2 + 14*f + 5. Let v be l(14). Solve -v*m = -2*m for m.
0
Let l = -10 + 10. Solve -3*k + 11 + 4 = l for k.
5
Let y be 3/6*4 + -35. Let f = -15 - y. Let q = -6 + f. Solve -v + 5*v = q for v.
3
Let b be 3 + 2*2/(-4). Let i be (-9)/(-1)*b/6. Suppose 2*x + i = -5*o, 0*o - o = 1. Solve -x = -v + 3 for v.
4
Suppose f = 2*f + 3*j + 1, -5*j = 5. Let q be ((-1)/((-1)/(-7)))/(-1). Solve -q = -i - f for i.
5
Suppose 0 = 5*j + f - 73, -f - 77 = -5*j - 0*f. Solve -4*k = j - 3 for k.
-3
Suppose -2*p - 10 = 0, -19 = -5*q + p - 4. Let z = -4 + 7. Suppose -5*o + 25 = 0, z*d - 3*o - 26 = -11. Solve q*r - d = -3*r for r.
2
Let w(q) = -q**3 + 4*q**2 - 4*q + 3. Let g be w(3). Let u = -59 - -60. Solve 4*o - 21 + u = g for o.
5
Let u(d) = 2*d - 8. Let a be u(5). Solve 2 = -k + a*k for k.
2
Let g be (-2 - -1)*-2 + 2. Solve -g*j - 3 = 9 for j.
-3
Let v(x) = -x**2 + 6*x + 2. Let j be v(6). Let d(o) = -8*o - 236. Let q be d(-31). Solve 2*z + j*z = q for z.
3
Let n = 6 - 2. Suppose 5*o = n*o - 4. Let y be (6 - 1)*o/(-20). Solve -2*k + 3 + y = 0 for k.
2
Suppose -n = 2*u + n - 12, 4*u - 15 = -n. Solve -5*a - 18 + u = 0 for a.
-3
Suppose 5*q - 3*g = 9 - 21, 2*q + g = 4. Solve q = 2*b + 4 + 4 for b.
-4
Suppose 6*r + 0*r = 60. Solve s = -4*s - r for s.
-2
Let n = 0 - 0. Let b be 6/21 + 394/(-7). Let k be (5/(-4))/(7/b). Solve 2*w = -n*w - k for w.
-5
Let i(m) = 1. Let v(p) = p - 1. Let x(j) = 4*i(j) + 5*v(j). Let g be x(5). Suppose q - g = 5*f, -2*f = -2*q + 3 + 13. Solve 4*z + 0*z + q = 0 for z.
-1
Suppose 4*j = 4*a, 6*a = -5*j + a + 10. Let n = -2 - -6. Suppose -2*s = n*u + 3*s, -5*s = 0. Solve -c - j = -u for c.
-1
Suppose -4*x + 15 = -x. Let c = x + 1. Solve 0*h - 3*h = c for h.
-2
Let t(c) = -c**3 + 17*c**2 + 36*c + 43. Let h be t(19). Suppose 5*k - 14 - 11 = 0. Solve 5 + k = -h*b for b.
-2
Let l(p) = -p**2 + 3*p + 10. Let a be l(5). Solve -3*q = -a*q for q.
0
Let b(p) = p**3 + 10*p**2 - 12*p - 11. Let h be b(-11). Solve -t + 1 - 3 = h for t.
-2
Let g = 22 + -12. Suppose 0 = 4*p - 8 - 4. Solve -p*j - 2*j = g for j.
-2
Let q = 143 + -143. Solve 3*b = -q*b for b.
0
Suppose -7*p + 8*p - 1 = 4*t, 28 = 5*p + 3*t. Solve -p*z = -6*z + 3 for z.
3
Let k = 13 + -11. Solve -k*j + 4 + 0 = 0 for j.
2
Let u(f) = -f**2 + 2*f + 1. Let z be u(2). Suppose 0 = o - z - 4. Let y(l) = l**3 - 4*l**2 - 6*l + 7. Let m be y(o). Solve -m = 4*a + 2 for a.
-1
Suppose -l + 4 = l. Suppose -l*q = 4 + 16. Let t be 5/(q/(-4)) + 2. Solve 0 = t*w + 3 + 1 for w.
-1
Suppose 0*j = j + 3*n - 15, 3*j - 4*n + 20 = 0. Suppose u + 2 = 5*a, -4*a - 11 = -5*u - j*u. Let g = -2 + 3. Solve u = -4*t - g for t.
-1
Let g(f) be the third derivative of -f**4/12 - 3*f**3/2 + 2*f**2. Suppose -k + 0*k = -4*w + 20, k - 7 = -5*w. Let j be g(k). Solve -4*l = -j*l - 3 for l.
-1
Let g(s) = 2*s**2 + 2*s. Let q be (0 - 1)*2/(-1). Let t be g(q). Let i = 17 - 14. Solve -t = i*z - 0*z for z.
-4
Suppose -3*r = 3 - 15. Suppose -10 - 38 = -r*v. Let b = v - 8. Solve -b = 5*o + 1 for o.
-1
Let x = -73 + 77. Let u(b) = 2*b - 8. Let c be u(6). Suppose f + r + 3*r = 13, -x*f + 12 = -c*r. Solve f*l + 2 = 17 for l.
3
Suppose 4*x - c - 11 = 0, 5*x + 5 = 5*c - 10*c. Solve 5*o + x = 3*o for o.
-1
Suppose s = -2*s + 42. Let p(b) = b**3 - 6*b**2 - 8*b - 3. Let r be p(7). Let d = s + r. Solve -1 - 3 = -d*i for i.
1
Let d(b) = -b**3 - 5*b**2 - b - 3. Let y(s) = s + 1. Let f be y(-6). Let n be d(f). Let u be 336/60*5/2. Solve 4 - u = -n*w for w.
5
Suppose -u + 5*h = -20, 7 - 1 = -2*h. Suppose -u*f + 7 = -48. Solve 2*a - 3 + f = 0 for a.
-4
Suppose 0 = -q + 2 - 12. Let b = q - -16. Solve d = -2 + b for d.
4
Let s = 14 - 12. Solve -s*j = -8 - 0 for j.
4
Suppose 0*n + 9 = 3*n - 5*h, 0 = h. Solve 4*o - n = 7*o for o.
-1
Let g = 82 + -58. Suppose -4*a = -0*a - g. Solve a*x - 3*x = -6 for x.
-2
Let j(z) = -z**2 + 12*z + 15. Let b be j(13). Solve b*s = 4*s for s.
0
Suppose 0 = 4*g + 3*n - 5 - 9, -12 = -g - 5*n. Suppose -5*u = s - 2*s - 3, 0 = 4*u + g*s + 6. Solve 3*r + u + 6 = 0 for r.
-2
Suppose -3*x = -1 - 2. Suppose 0 = -4*u - x + 9. Solve u = -m + 7 for m.
5
Suppose 252 = 4*t + 60. Let l be (-21)/49 - t/(-14). Solve -l*d = 2*d + 5 for d.
-1
Let u = 10 - 9. Solve 0 = -o + 2*o - u for o.
1
Let s = 101 - 99. Solve o = -s + 5 for o.
3
Let j(g) = g**2 + g + 43. Let s be j(0). Suppose 60 = -5*a - 65. Let u = a + s. Solve u = 5*d - 7 for d.
5
Let r = 1 - -2. Let x = r + 0. Let u = -2 + x. Solve p + u - 4 = 0 for p.
3
Suppose -3*x = -3*g - 15, -5*x - 3*g + 2 = 17. Solve x = -0*u + 5*u - 25 for u.
5
Let m(n) be the second derivative of n**5/20 + 5*n**4/12 + 5*n**3/6 + 3*n**2 + n. Let c be m(-4). Suppose z = -c + 4. Solve -i + 12 = z*i for i.
4
Suppose 0 = -5*r - 1 - 14. Let b(f) = f**2 + 2*f + 2. Let m be b(r). Solve 6 = -m*l + 1 for l.
-1
Let b = 14 + -8. Let z be 2*3/b + 4. Solve 3*p + z = -2*p for p.
-1
Suppose 0 = 5*v - 3 - 12. Let a be (0 - -9)