a*b - 17 = -6*b + 5*p. Solve -b*f = -0*f for f.
0
Let m(i) = i**2 - 5*i + 12. Let s be m(4). Solve -s = a + a for a.
-4
Suppose 4*r + 0*r - 4*p + 4 = 0, -1 = 4*r - 3*p. Solve -o = -r*o + 3 for o.
3
Suppose 5*s + 10 = 0, 0*s = 5*n - 4*s - 28. Solve 0 = n*y + y - 10 for y.
2
Let z be 1 - 0/2 - -1. Let n be 1/(-1) + (-22)/(-2). Let d = n + 7. Solve 0 = -5*p - d + z for p.
-3
Let y = -15 - -16. Solve -h = -y + 2 for h.
-1
Suppose 0 = -w - 3*j, 0 = -4*w - j - 3*j. Solve 6 + w = -3*x for x.
-2
Suppose -3*o + 0*o = 0. Let i be (o/(-2))/(18/(-9)). Solve 7*w - 4*w = i for w.
0
Let h = -1 - -3. Let q be (5/(-2))/(h/(-4)). Suppose 4*c - 2*c - 4*s - 18 = 0, q*s + 15 = 0. Solve 0 - c = 3*b for b.
-1
Suppose -5*j - 5*g = 0, -5*j = 2*g - 2 - 1. Let i be j - 3*(-3 + 6). Let b(s) = s**2 + 8*s + 2. Let t be b(i). Solve -3 = w + t*w for w.
-1
Suppose -35 = -k - 5*h, k = -0*h + 2*h + 14. Suppose 5*y - 5*a + a = 13, 5*a - k = -y. Suppose 3*m - y*b - 15 = -m, 13 = 2*m + 3*b. Solve 2*l - 15 = -m for l.
5
Suppose -8*g = -10*g. Solve 2*m + 3*m = g for m.
0
Let p = -3 + 4. Let b(m) = 10*m**3 - m**2 - m + 1. Let r be b(p). Solve i - r = -2*i for i.
3
Let t = 8 - 3. Suppose 2*j + 8 = -x, 2*x + x = -j + 1. Solve x*u - t*u = -15 for u.
5
Suppose 0 = -0*z - 2*z. Let l be (-42)/(-15) - 4/(-20). Suppose -l*g = -z*g - 9. Solve 3*w + g = 4*w for w.
3
Suppose -24 = -3*a + j - 4*j, 0 = -j + 2. Solve 0 = 4*x - a - 14 for x.
5
Suppose -3*c - 19 + 28 = 0. Solve 0 = 8*v - c*v + 10 for v.
-2
Let a = 5 + -8. Let n be ((-3)/a)/((-1)/(-5)). Solve 2*p + 5 = -n for p.
-5
Suppose p + 7 = 12. Suppose -2*a = -a - p. Solve a*u = u for u.
0
Suppose 9*j + 4 - 58 = 0. Solve 7 = t + j for t.
1
Let d(k) = -k**2 + 2*k. Let x = -25 + 25. Let v be d(x). Solve -c - 2*c + 9 = v for c.
3
Let c(b) = -3*b - 1. Let y be c(-1). Solve -y*t - 5 = -t for t.
-5
Let i = -26 + 1. Let x be i/(-9) - 2/(-9). Solve x*p - 6*p = 0 for p.
0
Let c(h) = -h**2 - 8*h. Let p be c(-8). Let y(x) = -x + 8. Let t be y(8). Let r = 5 - t. Solve -g + r = -p*g for g.
5
Let f(y) = -y**3 + 4*y**2 - 3*y + 2. Let l be f(3). Solve -4*a = -l*a - 4 for a.
2
Suppose 0 = -2*w + w. Solve w*t + t = -4 for t.
-4
Let b = -10 + 21. Let w = -9 + b. Solve 0 = -w*n - 4 for n.
-2
Let p(u) = u**3 + 3*u**2 - 4*u - 3. Let o be p(-4). Let b = 1 - o. Solve -4*t = -3*t - b for t.
4
Let r = 15 + -5. Solve -o + r = o for o.
5
Let q(m) = -2*m**2 + 2*m. Let v be q(2). Let y = v + 6. Let z(r) = r**2 - r + 1. Let x be z(0). Solve -k + y*k + x = 0 for k.
-1
Suppose -b = -7 - 5. Solve 3*g = -0*g - b for g.
-4
Let q = 40 + -70. Let w be (-2 - 1)/(9/q). Suppose -c = -0*c - w. Solve -2*m = -4*m - c for m.
-5
Suppose -2*o + 11 = 3. Solve -g - o*g = 0 for g.
0
Suppose -15 = -5*c + 2*c. Solve -3 - 2 = c*o for o.
-1
Suppose 0 = 4*s + c - 0*c - 42, s + 4*c = 18. Solve 4*m = -m + s for m.
2
Let r(z) = 15*z + z**2 + 4*z**2 - 4*z**2 - 6*z - 3. Let h be r(-10). Solve 3 = -5*f - h for f.
-2
Suppose 12 = -x + 3*n - 6*n, 0 = -5*x + 2*n + 25. Suppose 5*k = -3*u + 13, -k + 7 = 2*u + x. Suppose 19 = k*w - s, -s = 4*s - 15. Solve -w = 4*z + 9 for z.
-5
Let i(w) = -w - 14. Let g be i(-6). Let m be (g/8)/(1/(-3)). Solve 2*c = -m*c for c.
0
Let o = 1 + 4. Let b be -1 + -3 + 0 + 0. Let l = -1 - b. Solve 2*h + o = -l for h.
-4
Suppose -8 - 12 = -5*w. Solve -w*h - h = 5 for h.
-1
Let j = 122 - 102. Solve 9*z = 5*z + j for z.
5
Let c be 186/15 - (-2)/(-5). Solve -2*z = z - c for z.
4
Let x(v) = v. Suppose 0 = g - 5*g. Let t be x(g). Suppose -d = -2, -5*w + 106 = d + 2*d. Solve -s - 3*s - w = t for s.
-5
Let l(x) = x - 2. Let v = 1 + 1. Let d be l(v). Let k be -2 + 1 + d - -35. Solve -k + 9 = -5*z for z.
5
Let j = -24 + 31. Solve j - 27 = 4*g for g.
-5
Suppose -9*c + 6*c - 5*f = -25, f + 13 = 3*c. Solve 0*o = -c*o + 10 for o.
2
Let t = 25 - 22. Let x be 6/3 - 8/4. Solve -w - t*w - 20 = x for w.
-5
Let t be 15/12 + (-3)/12 + 3. Let m(v) = v**3 + 7*v**2 + 6*v + 6. Let a be m(-6). Solve a = t*x - 6 for x.
3
Suppose w - 3 = 4*i - 30, -3*w = -5*i + 39. Solve -i*q - 9 = -3*q for q.
-3
Let j(i) = i + 3. Let d be j(-3). Suppose 3*b + 5 - 14 = d. Suppose 0*v - b*v + 6 = 0. Solve 8 = v*t - 2 for t.
5
Let f be (3 - 3)/(-3) - -2. Suppose 0*g + f*g + 8 = 0. Let s be (-4)/g - (1 + -1). Solve -s - 3 = c for c.
-4
Let z = -34 + 38. Solve -2 = -2*c + z for c.
3
Let c(j) = -j**3 + 6*j**2 + 2*j - 12. Let s be c(6). Solve s*m = 2*m for m.
0
Suppose -3*o - 9 = 3*j, -3*j - 4*o + 9*o + 31 = 0. Let f = j - 2. Let g(x) = x**3 - 6*x**2 + 2. Let i be g(6). Solve -i*q = -f*q + 8 for q.
-4
Let i be (9 - -1)*(-2)/(-5). Let f(u) = -u**3 + 5*u**2 - 4*u. Let v be f(i). Solve -3 = -3*b - v for b.
1
Let k be (-2)/6*(-36)/4. Solve -k*x = -0 - 6 for x.
2
Let t = -16 + 8. Let w be 10/t*2*-6. Suppose -2*j - 4*p = -1 - 23, -w = 5*j - 5*p. Solve -6*l + 4 = -j*l for l.
1
Let j = -18 + 11. Let d = 0 - -7. Let c = d + j. Solve c = -4*p + 3*p for p.
0
Let z(o) = 2*o**2 - o + 1. Let l(w) = -w + 7. Let s be l(5). Let i be z(s). Suppose -1 = -b + i. Solve -3*g + b*g = -25 for g.
-5
Let s = 16 - 4. Solve 4*k - s = k for k.
4
Let w = 6 - 11. Let j be w*2/(-1*2). Solve 0*c + j*c = 0 for c.
0
Suppose 4 = -5*g + 7*g. Solve 3*u + 25 = -g*u for u.
-5
Let v = 0 - -3. Suppose 0 = -5*d - f, -v*d + f + 7 = 3*f. Let r be 2/d*(-6)/4. Solve r = -0*p - p for p.
-3
Let z(i) = -2*i**3 + i - 1. Let j be 5/((-15)/9)*-1. Suppose j*u - 2*u + 6 = b, 4*u - 2*b = -16. Let x be z(u). Solve 4*s = -x + 1 for s.
-3
Let f(x) = -x**2 + 5*x + 2. Let v be f(5). Let g be v/(-4) + (-1065)/(-10). Let l be (-4)/(-22) + g/22. Solve -2*i = -3*i + l for i.
5
Let k be (3/(-4) - 0) + 60/16. Suppose -2*u = -4*u. Solve u = k*o + o + 16 for o.
-4
Let v(n) = 2*n**2 - 3*n + 1. Let h(m) = -m**3 + m**2. Let z be h(-1). Let g be v(z). Let t be 3 + 2*-1 + g. Solve 2 = t*k + 10 for k.
-2
Let z = -57 + 59. Solve -z*u = -5*u - 6 for u.
-2
Let x(c) = c**3 + 6*c**2 + 3*c - 6. Let p be x(-5). Suppose -p - 2 = -3*t. Let v be (-1 - (-1 + t))*-2. Solve -5*w + 1 = -v for w.
1
Let l = -7 + 3. Let t(m) = m**3 + 5*m**2 + 5*m + 5. Let z be t(l). Solve 2*k - 9 = -z for k.
4
Let o = -1 - -1. Solve 2*q - 5*q + 3 = o for q.
1
Suppose 8 = 3*t - 16. Let v be 3/((-6)/16*-2). Let p be 1 - ((-6)/(-4))/((-18)/(-12)). Solve t = -v*z - p*z for z.
-2
Let j(n) = n - 9. Let c be j(11). Let g = 5 - c. Solve 0 = 3*d - 0*d - g for d.
1
Suppose 2 = 2*q + 12. Let p be (-2)/q + (-40)/(-25). Solve -t - 2 - p = 0 for t.
-4
Suppose 4*w - 3*t = -2, 6*t - 2*t - 13 = -5*w. Let p(n) = 0*n**2 + n**2 + 0*n**2 - 1. Let o be p(w). Solve o = 6*x - x for x.
0
Let m(g) be the third derivative of -g**5/60 + 3*g**4/8 - 5*g**3/3 + 11*g**2. Suppose 3*b - 6 - 15 = 0. Let l be m(b). Solve 9*r = l*r - 25 for r.
-5
Let l(c) be the third derivative of 0 + 2*c**2 - 1/12*c**4 + 0*c - 1/3*c**3. Let t be l(-3). Solve -t*j - 8 = -20 for j.
3
Suppose -4 = d - i, 5*i - 1 - 10 = -4*d. Let a = d - -11. Solve 0 = -0*n - 5*n - a for n.
-2
Suppose 3*b - 2*b - 3 = -5*s, 0 = -4*b + 2*s + 12. Solve -b*y + 0 = -3 for y.
1
Let d(z) = 2 - 4 + z + 3 + 0. Let s be d(-1). Solve -4 = -4*a - s for a.
1
Let i(u) be the third derivative of u**4/24 - u**3/2 + 3*u**2. Let d be i(7). Suppose -10 = d*p - 6*p. Solve 15 = -p*k - 10 for k.
-5
Let s = 8 + -8. Suppose s = -4*v + 26 - 10. Solve v = -i - 0 for i.
-4
Suppose k - k + 2*k = 0. Solve k = 2*x - 5 + 7 for x.
-1
Let p = -35 + 36. Solve 1 = -q - p for q.
-2
Let o be (-24)/(-14)*(-14)/(-4). Solve -3*f + o*f = -6 for f.
-2
Let s = 25 + -21. Solve 20 = -4*h + s for h.
-4
Suppose -3 = s - a, -3*s + 5*a - 15 = -2. Let k = 6 + s. Suppose -5*m = k*q - 30, 2 = q - 2. Solve 5*j + m = -3 for j.
-1
Let d = -46 + 64. Solve d - 2 = 4*r for r.
4
Suppose 0 = -3*i - 2*h + 4, 4*i - 14 = -h - 2. Solve 5*z + 16 = -i for z.
-4
Suppose -4*q + 11*q = 14. Solve 3*l - q*l = -2 for l.
-2
Let i(o) = -o**2 - 6*o + 8. Let y be i(-7). Let h be (-2)/(-3 + y) + -1. Suppose 2*a - 3 - 3 = h. Solve 0 = -a*g + 7*g - 12 for g.
3
Suppose t = 3*t - 8. Solve 11 - 3 = -t*f for f.
-2
Suppose 6 = m + 1. Let h(u) = -u**2 + 3*u - 6. Let g be h(m). Let l = -11 - g. Solve 0*d - l = d for d.
-5
Suppose -2*q = -11*q + 36. Solve d - q*d - 15 = 0 for d.
-5
Let p(h) = h**2 + 2*h + 3. Let k be p(-2). Let u be (-26)/(-12) - k/18. Solve 0 = -u*t - 3*t for t.
0
Suppose 