.
-2
Let x(v) = v**2 - 3*v + 2. Let l be x(3). Suppose k - l*k = -4. Solve -k*z + 1 = -15 for z.
4
Let s be (2 + 0)*6/4. Solve 2 + s = 5*z for z.
1
Let c be 2/((1 - 0) + 0). Let o be 24/(-32) + (-59)/(-4). Solve 4*i + o = c for i.
-3
Suppose -5*x = 0, -3*g - 27 = 3*x + 2*x. Let p be ((-6)/5)/(g/30). Solve -5*s = -p*s - 4 for s.
4
Let j(s) = -s - 1. Let f be j(2). Let p be 20/6*3 + f. Solve -c = -6 + p for c.
-1
Suppose 4*k - 28 = -k + 2*h, -5*k = -5*h - 40. Suppose 4*q + k*y - 52 = 2*q, y - 46 = -2*q. Let i = 16 - 11. Solve -i*l + 3 = -q for l.
5
Suppose 5*q - 40 = -5*u, -3 = -2*q - q + 4*u. Suppose -1 = -q*j + 19. Solve x - 20 = -j*x for x.
4
Let u = 10 + -7. Solve -2*j - u*j = 25 for j.
-5
Let u = -18 - -13. Let d = 20 - u. Suppose -x - h - h = -10, 2*x + 5*h = d. Solve x = b - 2*b - 3 for b.
-3
Let h(l) = l**3 + 4*l**2 + l - 1. Let m be h(-3). Suppose -3*y = -k + 15 + 12, 4*y - 124 = -4*k. Solve -m = 5*q - k for q.
5
Let r(o) = -o**3 - 7*o**2. Let f(g) = -g**3 + g**2. Let v(a) = -2*f(a) + r(a). Let n be v(9). Solve h - 2*h - 3 = n for h.
-3
Let h be (15/4)/(-6 + (-204)/(-32)). Suppose 2*b = r + 3, 0*r + 4*r - 2 = b. Let w be (0 + 1 + -1)/b. Solve w = -4*n - h + 2 for n.
-2
Suppose 17 + 29 = -2*q - 2*z, -5*z = 3*q + 77. Let f = -15 - q. Solve f*o = -0*o for o.
0
Suppose -8*w = -15 - 17. Solve -w*d + 3 = 23 for d.
-5
Let s be (-93)/7 + (-2)/(-7). Let y = -8 - s. Let h = 7 - y. Solve -l + h = 1 for l.
1
Suppose 13 = 3*x - 2. Solve 2*y - x = y for y.
5
Let h(u) = -2*u + 12. Let n be h(5). Suppose -n*r + 3 = -3. Solve -3*k - r = 3 for k.
-2
Suppose -6*o + 5*o + 4 = 0. Solve -o*m = -24 + 8 for m.
4
Let u = 24 - 10. Suppose u = z + 6. Solve 15 = -z*x + 3*x for x.
-3
Let p be (-1)/4 + 2/8. Suppose 0*o = -o + 42. Let z = -30 + o. Solve -3*t = -p*t - z for t.
4
Let g = -57 - -57. Solve -3*u + g*u = -12 for u.
4
Let x be ((-12)/(-24))/((-1)/(-4)). Solve 0 = -0*f + x*f for f.
0
Suppose 3*d = 8*d - 15. Let o(s) = 55*s**2 + 2*s - 1. Let p be o(1). Suppose -l + p = d*l. Solve l = 4*j + 6 for j.
2
Let x be (2 - 2) + -1 + 4. Let y = -7 - x. Let m be ((-4)/(-10))/((-2)/y). Solve m*b + 3*b = -15 for b.
-3
Let h(j) = -j + 4. Let f be h(2). Solve -3 = f*x + 1 for x.
-2
Let d be 4 + -5 + 2 + 0. Suppose -g - d = -3. Solve v = 1 + g for v.
3
Suppose 0 = 2*v - 3*j + 4*j - 1, -3*j = -5*v - 3. Solve x - 3*x - 10 = v for x.
-5
Let s = 7 + -2. Let w = -3 + s. Solve 0 = w*o - 4 + 12 for o.
-4
Let s(k) = -2*k + 14. Let d be s(6). Solve 2*x + 2 = -d for x.
-2
Let l(z) be the third derivative of z**4/24 - 5*z**3/6 + z**2. Suppose 3*f - 1 - 4 = 2*c, -4*c - 3*f + 35 = 0. Let p be l(c). Solve p*b + 2*b = -2 for b.
-1
Suppose 0 = -4*s + 5*l + 47, 5*s = 2*l - 3*l + 37. Solve s = -4*m + 6*m for m.
4
Suppose -2*u = 3*g - 2*g - 15, 0 = 3*g - 2*u - 21. Suppose -2*a - 2 = 2, -7 = -3*o - a. Solve o = -4*p - g for p.
-3
Let l(s) = -s**2 + 2*s + 1. Let a = -3 + 5. Let z be l(a). Suppose -2*w - 3*f = -w + 1, -w = -2*f - 19. Solve -2*y = -w + z for y.
5
Suppose w + f + 1 = 0, 3*w - 2*f + 14 = -4. Let u(z) = -2 - 3 - z**2 - 2*z**2 - z**3. Let d be u(w). Solve -2*g - d = -1 for g.
-5
Suppose -3*c + 3 = -2*w - 15, 5*w = 0. Suppose -5*t + 15 = -f, 2*t + 0*t - c = f. Solve 0*d + d + 1 = f for d.
-1
Suppose -5*t + 9 = -2*p, -p - 4*p = 3*t - 24. Let a = -11 - -11. Suppose a*x = -3*x. Solve x = p*h - 2 + 17 for h.
-5
Let y(m) = -m**2 - 9*m - 5. Let b be y(-8). Suppose 0 = a - 5, 4*x - 2*a + b = -11. Let v be (x - 0)/(2/(-4)). Solve 0 = v*c - c for c.
0
Suppose -3*u = -5*u + 4*r - 4, -3*u = 3*r - 21. Suppose d = -5*h + u*h - 1, h + 1 = 0. Solve d = 2*w - 5 - 5 for w.
5
Suppose 0 = 5*w - 2*t + 49, 0 = -3*w - 0*t + 5*t - 18. Let f = -4 - w. Solve 0 = 2*j - f - 1 for j.
4
Suppose -5*d + d + 4 = 0. Let r = d + -3. Let y be r - -1 - (-3 - 0). Solve 3 + y = -z for z.
-5
Suppose 0 = -3*q + 2*h + 96, 2*q - 4*h - 66 = -2*h. Suppose 3*z - q = 6. Solve z = 3*x + x for x.
3
Let x be -18*(-1)/2 - 3. Solve -x*z = -z - 10 for z.
2
Let r be (2 + (3 - 6))*0. Solve 0 = -r*n - 2*n + 8 for n.
4
Let f = -49 - -60. Solve -f + 1 = -5*x for x.
2
Let v = 13 + -9. Let c be (v - 8)*(-1)/4. Solve c + 3 = -t for t.
-4
Suppose 0 = -2*n + 3*n - 9. Let s = n + -7. Solve m - 4 = -s for m.
2
Suppose -2*p - 9 + 15 = 0. Let j be 2 - (-6)/((-6)/(-2)). Solve -p*i = j - 10 for i.
2
Let h = -8 + 13. Suppose -2*y - 6 = -h*y. Suppose -2*k - y*k + 16 = 0. Solve -2 = k*v + 10 for v.
-3
Let c(a) = a**2 + 5*a + 8. Let f be c(-4). Solve -f*s + 3*s + 3 = 0 for s.
3
Let q be (6/12)/(2/40). Solve u = -4*u - q for u.
-2
Let w = 11 - 8. Let h = 17 + -7. Suppose 3*b = 2*f - 5*f - 12, 5*b = -w*f - h. Solve t + 4 = -b for t.
-5
Suppose -4*n = -4*i - 16, 7 = -2*i - 5*n + 34. Let o be (i - -1) + (5 - 4). Solve -1 = -a + o for a.
4
Suppose 5*r - r = 24. Let j be ((-4)/6)/(2/r). Let d be 3/2 + 1/j. Solve 3*x = d - 10 for x.
-3
Let f(g) = -g**2 + 12*g. Let l be f(12). Solve -7*m + 9*m = l for m.
0
Let z(x) = x**2 - 5*x - 5. Let q be z(7). Suppose 5*j = 2*j - q, -3*j - 9 = -4*w. Solve w = u - 0*u for u.
0
Let q be ((-27)/(-15) - 1)*-5. Suppose 3*s = -5*o + 3*o + 28, -1 = 4*s - 5*o. Let g be (q/10)/(s/(-30)). Solve -2*a - g*a = -8 for a.
2
Let j(x) = -x. Let t be 1*(0 + -1 + -1). Let a be j(t). Let l be 10/4*2 + a. Solve -3*k + 5 = -l for k.
4
Let k(s) = -s + 7. Let a be k(-13). Solve -2*i = -6*i - a for i.
-5
Let i(p) = p - 1. Let y be i(6). Solve -h - 4*h = y for h.
-1
Let k(w) = w**2 + 8*w + 2. Let v be k(-7). Let h = v + 7. Solve 3*a + h = 8 for a.
2
Suppose 3*b = -0*k + 3*k - 21, -4*k + 21 = 3*b. Solve -4*c - k - 14 = 0 for c.
-5
Suppose -10*x + 5*x + 5 = 0. Suppose -k + 44 = 4*y - 5*k, x = -y + 5*k. Solve 5*p - 4 + y = 0 for p.
-2
Suppose -32 = -7*w + 3*w. Let d(b) = -b**2 + 1. Let n be d(1). Suppose -2*c + w = -n*c. Solve -19 = c*h + 1 for h.
-5
Suppose -v + 0*v + 8 = 4*r, -5*v = 0. Let y = 0 + r. Suppose -6*l - 8 = -8*l. Solve -y*w = -3*w - l for w.
-4
Let j be (-4)/4*(-5 + 0). Suppose 0 = -q - 3*q + 4. Solve j*z - 26 = -q for z.
5
Let m(f) = -f + 0 + 0*f - 3. Let s be m(-6). Let p be ((-5)/(-10))/(2/4). Solve -p - 2 = s*y for y.
-1
Suppose 2*n - 2*n = 3*n. Solve n = -5*h - 5 - 0 for h.
-1
Let k = 1 - 1. Solve k = -4*r + r for r.
0
Let b = 1 - 1. Suppose 2*y - 4 + b = 0, 0 = -4*n + 3*y + 26. Solve 0*u = 2*u - n for u.
4
Let j = 89 - 84. Solve v = j*v - 20 for v.
5
Let k(v) = v**3 + 4*v**2 - 4*v + 5. Let u be 3 - 1/((-3)/6). Suppose 0 = -p + 2*p + u. Let j be k(p). Solve j = -4*l - 0*l + 20 for l.
5
Suppose 0 = j - 4*t, j + 3*t + 1 = 2*j. Let q be 104/28 - 4/(-14). Suppose 5*v - 22 + 7 = 0, -2*r + 24 = q*v. Solve 0 = -j*u + r + 2 for u.
2
Suppose -4*n - 6 = -14. Solve 0*z + n*z - 8 = 0 for z.
4
Let t(m) = -m**3 + 3*m**2 - m. Let g be t(2). Suppose -2*u - 10 = -g*r, -3*r = 2*u + r - 20. Solve u*h + h = 4 for h.
4
Let i = -10 - -6. Let j(z) = -z**2 - 3*z + 4. Let s be j(i). Solve 0 = -s*d - 3*d - 15 for d.
-5
Suppose -2*t - 6 = -3*t. Let x be 0*((-3)/t - -1). Let b(u) = u**3 + 7*u**2 + 5*u - 3. Let q be b(-6). Solve -q*y + 4*y = x for y.
0
Suppose -5*r = -h - 31 - 40, -4*h - 59 = -5*r. Suppose -4*x = -9*x + r. Let d be ((-14)/(-8))/((-2)/(-8)). Solve 0 = -d*u + x*u for u.
0
Let d = 3 + 6. Let q = -7 + d. Solve -q = 3*f - 5 for f.
1
Let p(l) = l**3 + 9*l**2 - 11*l - 6. Let d be p(-10). Solve 0 = -d*w + w - 3 for w.
-1
Let y = 6 - 4. Suppose 0 = y*p + p. Let r(b) = -b + 7. Let a be r(5). Solve a*i - i = p for i.
0
Suppose p - 3 - 2 = 0. Suppose 0 = k + 3*k - 64. Suppose -h - k = -p*h. Solve h*n - 15 = n for n.
5
Let m = -26 - -31. Solve -m = -0*w + w for w.
-5
Suppose -3*h = 2*h + 20. Let v be (45/18)/((-2)/h). Suppose 0*c - 3 = 3*c + n, -c + 15 = -v*n. Solve c = -0*g + 2*g + 4 for g.
-2
Let l = 14 - 10. Let s = -2 + 2. Suppose -c = 0, s*c + c = w. Solve w = l*t + 20 - 0 for t.
-5
Let w = -11 - -16. Suppose -5*c - u + w = -4*c, -c + 4*u = 0. Solve -11 - 1 = c*p for p.
-3
Let t be (-3*25/60)/(1/(-4)). Solve 2*q + 1 = t for q.
2
Suppose 3 = o - 3*s, 3*o + 5*s = 5*o - 6. Let q(w) = -w**3 + o + 10*w - 6 - 7 + 7*w**2. Let z be q(8). Solve 0 = -2*u - z for u.
-3
Let s(i) = -5*i**2 - 46*i - 6. Let n be s(-9). Solve n*q - 8*q = 20 for q.
-4
Let b(f) be the third derivative of -13*f**6/60 - f**5/60 - f**2. Let d be b(1). Let v be d/6*(-8)/6. Solve v*q - 20 =