 2*b - 3, 12 = 4*b. Let q = 2 + x. Solve 7*p = 4*p + q for p.
1
Let m = 14 + -5. Let s(t) = t - 6. Let u be s(m). Solve -u + 1 = -2*d for d.
1
Suppose -1 = d - 4*y - 2, -2*y = d - 7. Solve -d = -l - 2 for l.
3
Suppose -3 = -3*n + 6. Let h be 0*n/9*-1. Solve h*g - 3*g + 15 = 0 for g.
5
Let x(f) be the third derivative of f**5/30 - f**4/8 + f**3/6 + 3*f**2. Let z be x(2). Let p be 6 - ((-1 - 0) + z). Solve 0 = 3*h - h - p for h.
2
Suppose 4*a + 9 = a. Let h = 6 + a. Suppose y = 5*p + 7 - 21, -y = -1. Solve 0 + p = -h*d for d.
-1
Let r(w) = w**3 + 3*w**2 - 5*w - 3. Let t be r(-4). Let n = 25 - 21. Suppose 0 = 5*s - n*s. Solve s*p + p = -t for p.
-1
Suppose -2*t = -0*t - 3*o - 9, 2*o - 70 = -5*t. Suppose 4*u - 15 = u. Suppose 1 = -u*s + 16. Solve -s*i + t = -6*i for i.
-4
Suppose f = 4*b + 3*f - 28, 4*f = b - 25. Let v = -5 + b. Solve v*n + n + 10 = 0 for n.
-2
Suppose 3*u - h = -2*h + 12, 0 = 4*u - 4*h. Solve -7*c + u*c - 8 = 0 for c.
-2
Let d(f) = -f**3 + 7*f**2 + 9*f - 8. Let h be d(8). Let c(u) = u**2 + u + 11. Let l be c(h). Let p be (l + -14)*(-2)/2. Solve p + 1 = 4*i for i.
1
Let f be (-4)/(-14) + 150/14. Suppose 0 + 3 = -w. Let x = 7 + w. Solve -x*s = f + 1 for s.
-3
Let a = -13 - -33. Solve 9*z - a = 4*z for z.
4
Suppose -3*c = -0*c - 9. Let a(j) = j + j - j - j**3. Let d be a(0). Solve -3*f - c = -d for f.
-1
Let a = -95 - -97. Solve 4*i + a = -2 for i.
-1
Let l be 1/(-2) - (-5)/10. Solve l = -3*f + 6*f for f.
0
Let a(x) = 4 - 6*x + x - 5 - x**2. Let v be a(-4). Suppose -v*m + 2*u + 3 = u, -3*u = 2*m - 13. Solve -1 = w + m for w.
-3
Suppose z + 0 = 4. Let l = 6 - -3. Solve -x = -z*x + l for x.
3
Suppose -u - 7 = -5*a - 4, -4*u + 5 = -3*a. Let l = -2 - -12. Solve -4*w + l = -u*w for w.
5
Suppose -8 - 4 = -4*n. Suppose -10 = 4*y - 26. Suppose -2 = -n*k + y. Solve k - 3 = -f for f.
1
Let w = -5 + 11. Suppose -5*l = 4*q + 10, l = 5*l - q - 13. Solve l*n + w = 4*n for n.
3
Suppose -31 = y - 8. Let a = y + 23. Suppose -2 = -5*b + 8. Solve b*p - 5*p = a for p.
0
Suppose -5*b = 3*z - 26 + 2, 0 = 3*b - 9. Suppose 2*q = -3*u + 19, -2*u + 5 = -4*q + z. Solve -5*p - 5 = u for p.
-2
Let z = 4 - 1. Let y be (-2)/z*(-10 + 7). Solve 0 = -y*t - t + 6 for t.
2
Let p(x) = 3*x**2 - x - 8. Let s be p(2). Let g be 4/14 - 24/(-14). Solve g = -h - s for h.
-4
Let p = 44 - 42. Solve 0 = -p*z + 4*z for z.
0
Let g(a) = a**3 + 7*a**2 - 19*a - 5. Let h be g(-9). Solve 3*u = u - h for u.
-2
Let p be (-3 - -2)/((-2)/6). Let f(r) = r**3 - 3*r**2 + 2*r - 2. Let j be f(p). Solve -j*s = -2*s + 4 for s.
-2
Let i(q) = -q - 3. Let s be i(-6). Let a = 10 + 6. Solve s*g = -g - a for g.
-4
Suppose 5*s = -4*y, 3*y + 2*s = -y + 12. Suppose 5 = y*m - 5. Let p(w) = 3*w**2 + 2*w - 1. Let u be p(m). Solve -2*i - 3*i = u for i.
-3
Suppose s + 12 = -3*h, 3*s - 5*h - 20 = -s. Suppose -c + 2 = 0, c + 5 = 5*b - 8. Suppose 0 = 3*j, -k + b*j - j = 0. Solve s*a - a = k for a.
0
Let h(l) = 2*l**2 - l - 2. Suppose 5*c = 2*o + 4, c + 0*o + 13 = 5*o. Let g be h(c). Solve g*r + r + 20 = 0 for r.
-4
Let j(z) = -z - 4. Let v be j(-8). Suppose -a = v*a - 20, 0 = l + 4*a - 16. Suppose 2*n - 10 = l, 0 = 5*u - 2*n - 7 - 8. Solve 0 = -u*i - 7 - 8 for i.
-3
Let y = 29 + -13. Suppose -1 = 5*o - y. Suppose 0 = -2*j + 8, k - j - 1 = -4*k. Solve k + 5 = -o*n for n.
-2
Suppose -h + 3 = 2*i - 0*h, -i + 3*h = 9. Solve i*p - 5 = p for p.
-5
Let n = 14 + -8. Solve -5*c + 1 = -n*c for c.
-1
Let w = -3 + 5. Suppose 0 = r + w*r - 9. Solve 0 = r*p + 12 for p.
-4
Suppose -40 - 4 = -11*y. Solve f = 2*f + y for f.
-4
Suppose 5*s - 42 = 2*s. Suppose 3*y - 46 - s = 0. Solve -2*d + 6*d - y = 0 for d.
5
Suppose 4*q - q = 30. Let r = -2 + 1. Let j be -1 - (5/r + 0). Solve -q = m + j*m for m.
-2
Let t(h) = -h**2 + 20*h + 5. Let l be t(20). Solve -7*b + 2*b = l for b.
-1
Suppose 2*o + 2*o - 12 = 0. Let p = 37 + -31. Solve 0 = -t + o*t + p for t.
-3
Let k(l) = l + 5. Let p be -1*(7 + (-3 - -1)). Let q be k(p). Solve -2*n + 2 = -q*n for n.
1
Suppose -3*r = -6*r. Solve r = 3*a - 5*a - 10 for a.
-5
Suppose -3*a - 9 = -3*m, a + 1 + 2 = 5*m. Solve m = 2*g - g - 3 for g.
3
Let t(b) = b + 8. Let y be t(-4). Suppose -5*d = -2*j - 19 - 1, -y*j + 2*d = 8. Solve -q + j + 3 = 0 for q.
3
Suppose j + 9*v = 5*v + 14, j + 3*v - 11 = 0. Solve -7*i = -j*i for i.
0
Let d(h) = 3*h + 22. Let t be d(-6). Solve t*q = -q + 5 for q.
1
Let r(s) be the second derivative of -s**3/6 - 7*s**2/2 - 4*s. Let h be r(-11). Solve -h*q + q = -3 for q.
1
Let z(l) = -l - 1. Let g be z(-1). Let v(b) = b + 4. Let j be v(g). Solve j*r - 3*r - 4 = 0 for r.
4
Let q = 1 - -1. Suppose q*f = -b + 6, 0 = 2*f - 5*b - 6. Solve f*x - 8 = -x for x.
2
Let m(n) = n**3 - 5*n**2 + 4*n - 1. Let b be m(4). Let r(s) = s + 4. Let i be r(5). Let c = b + i. Solve 4*z = c*z for z.
0
Suppose -15 = -8*o + 3*o. Solve -8*w = -o*w for w.
0
Let u = -6 - -11. Let n(j) = -3*j - 1. Let b be n(-1). Let d be b/3*3/1. Solve d*q = q - u for q.
-5
Let l(y) = -y**3 + 6*y**2 - 2*y. Let n be l(6). Let f be (-135)/n + 2/(-8). Solve -14 - f = 5*k for k.
-5
Suppose -20 = -4*n + 2*n - 4*x, 17 = 5*n - x. Solve r = 1 + n for r.
5
Suppose 2*v - 2 = 2. Suppose 4*f + 3*t - 28 = 0, -25 = -3*f - v*t - 4. Let a = 1 + 4. Solve -a*l = 3 + f for l.
-2
Suppose 18 = 5*y - 2*a, 3*y - 2*a - 14 = -0. Let j be 2*(-10)/8*-2. Solve y*m - j = 3 for m.
4
Let h be (-3 - (-2 - 3))/1. Let q be h/7 - (-66)/14. Solve 14 + 1 = q*l for l.
3
Let v be (4 - 1)*(-30)/18. Let f = 11 + v. Suppose 20 = f*i - i. Solve 0 = -i*g - 2 - 14 for g.
-4
Let x(k) = 2*k**2 - 2*k. Let d be x(2). Let u(w) = w**3 - 6*w**2 + w - 3. Let j be u(7). Let c = -26 + j. Solve d*z = -c + 7 for z.
-5
Let a(s) = -s**3 + 7*s**2 + s - 7. Let m be a(7). Solve m = -2*n - n + 15 for n.
5
Suppose -2*b - 5*u - 36 = 2*b, 0 = 4*b - 2*u + 64. Let o = b + 14. Suppose 2*m = -2*m + 12. Solve o = -2*w + 7 - m for w.
2
Let r(v) = -v**2 + 8*v - 4. Let p be r(7). Solve 0 = p*f - 0*f for f.
0
Let y(s) = 2*s + 10. Let i be y(-5). Solve i*l - 1 = l for l.
-1
Let n be (-12)/18 + (-6)/(-9). Solve n = k + 2 - 7 for k.
5
Suppose 2*u + 11 = -1. Let i = 9 + u. Solve -i*y - 8 = -5*y for y.
4
Let q be 4/24 + (-46)/(-12). Let t = 6 - q. Solve t*k + 2 = -4 for k.
-3
Let l be ((-5)/3)/(7/(-21)). Solve 0 = -2*u + l*u + 3 for u.
-1
Let k be (-1)/(-3 - 22/(-8)). Solve 0*c + k = c for c.
4
Let m be 1*(-3 - (-6)/2). Solve 0 = 4*l - 8 - m for l.
2
Let z(b) = b**3 - 3*b**2 + 3*b - 2. Let f be z(2). Let y be (-4)/(2*3/(-9)). Suppose -v - r - r = y, -r - 4 = f. Solve -v*m + 10 - 2 = 0 for m.
4
Suppose -2*b = -b. Solve 3*t = -b*t + 12 for t.
4
Suppose -r + 3*x + 4 = r, 3*r = -5*x + 6. Solve -13 = r*z - 3 for z.
-5
Let p be 0 + (4 - 6 - -2). Suppose 3*f = 5*s + 2 - 5, -5*f = -s - 17. Solve s*v = -p*v + 9 for v.
3
Let c(y) = y**3 + 4*y**2 + 4*y + 3. Let z be c(-2). Let f(s) = -s**3 + 5*s**2 - 4*s - 3. Let r be f(4). Let u = r + z. Solve 0 = -u*l - l - 2 for l.
-2
Suppose -11*f = -4*f - 21. Solve -f*g + 2*g = 0 for g.
0
Suppose s + s = 10. Let a = -1 + s. Solve 0 = -0*v - a*v for v.
0
Let l be (-4)/(-14) + 14/(-49). Solve l = -d - 2 - 0 for d.
-2
Let a be 14/6 - 1/3. Let y be a/(((-3)/2)/(-3)). Let m = y - 2. Solve 16 = -m*i + 6*i for i.
4
Let x = 3 - 3. Let s(b) = b + 4. Let g be s(x). Solve 0 = 5*z - g + 9 for z.
-1
Let m be (-1)/((-4)/(-12)*-3). Solve -m - 2 = 3*i for i.
-1
Let h be (-4)/(2/3*-1). Suppose 2*m = h*m - 20. Suppose 3*x = -3*g + 4*x + 10, -1 = -2*g - m*x. Solve 6 = -g*v + v for v.
-3
Let b(s) = 9*s**2 + s. Suppose -r + 2 = 5*g, 0 = 2*r + 3*g - 4 - 0. Let w = r + -1. Let l be b(w). Solve 0 = -3*z - 4 + l for z.
2
Suppose 2*z + 2*p + 14 = 0, 30 = -4*z - 0*z - 2*p. Let w = z + 13. Suppose 3*v - 5*o + 3*o = 18, 6 = 3*v + 2*o. Solve -w = 3*c + v for c.
-3
Suppose 0 = -5*i - 3*f + f + 102, 2*i - f = 39. Suppose 2*z = 6*z - i. Solve -15 = -z*h + 2*h for h.
5
Let q(w) = w - 1. Let t be q(4). Solve -8 = l - t*l for l.
4
Let p = -6 - -6. Suppose -i = 3*o - p*i - 5, -5*i = 2*o + 1. Let d be (-2 + 0)*(-6)/4. Solve o*f + d = f for f.
-3
Let t be (-336)/(-98) - (-3)/(-7). Let a = -1 + 2. Solve 5 = -t*x - a for x.
-2
Suppose 0 = -4*t + 4*a + 4, -3*t + 2*a - 12 = -8*t. Solve -t + 0 = g for g.
-2
Let d(p) = p**2 + 1. Let t be d(1). Let z = 5 - t. Solve 0 = -5*h + 2 + z for h.
1
Let z = 2 - 8. Let i(v) = -3*v