5 = -b*p + 9 for p.
-4
Suppose 0 = q - 2*q. Solve 3*b + 0 - 3 = q for b.
1
Let o be (-10)/(-4)*(-12)/(-15). Solve 3*a + 8 - o = 0 for a.
-2
Let r(c) be the first derivative of -c**3 + c**2 + 2*c - 2. Let f be r(2). Let h = f + 10. Solve -h*n + 3*n + 1 = 0 for n.
1
Let s be (-2)/7 - 2/(-7). Suppose 1 = -t + 3*n + 7, 3*n - 30 = -5*t. Solve s*h = -2*h - t for h.
-3
Suppose -30 = 2*o - 2*y, -3*o = 4*y + y + 45. Let p be (-5)/o + (-1)/3. Solve p*l = 4*l + 16 for l.
-4
Let i(c) = -c**3 - 21*c**2 - c - 21. Let f be i(-21). Solve f = -3*r - 6 + 21 for r.
5
Let j(n) = n**2 - 12*n + 2. Suppose m = -5*o + 64, 45 + 3 = 5*o - 3*m. Let f be j(o). Suppose 2*s = -5*d - s, 1 = f*d + s. Solve -2*i + 25 = d*i for i.
5
Let n = 21 - 45. Let u = -16 - n. Suppose -4*b - 4*g = u, 2*b = -0*b - 4*g - 12. Solve 0 = -2*r - b + 6 for r.
2
Suppose -4*x + 2*j = -12, -x = -j + 4*j - 10. Suppose 1 + 7 = x*y. Suppose -2*f = -f. Solve y*c - 8 = -f*c for c.
4
Suppose 0 = -3*v + v, -2*v = -4*c + 32. Solve -3*m = -m + c for m.
-4
Let s = -12 + 27. Suppose 4*k + k + f = -3, -k - s = 5*f. Solve -o + 1 - 5 = k for o.
-4
Let q = -59 - -62. Solve 2*n = n - q for n.
-3
Let x be (0/(-4) - -2) + 0. Suppose n = 3 + x. Solve 2*u - 15 = -n for u.
5
Let k(n) = -3*n + 2. Let d be k(-6). Let g be 6/(-18) + d/6. Solve -g = 2*y + 3 for y.
-3
Let w be 12/10*(-15)/(-6). Let k be -1*w + (10 - 1). Solve 2*b - 12 = k*b for b.
-3
Let v(x) = -x**2 - 11*x + 17. Let z be v(-12). Let p be z/(-10)*-2*1. Solve 0 = 4*f + p - 13 for f.
3
Suppose y - 2*y = -24. Let a = 40 - y. Let q = a - 7. Solve -5*s + q = -2*s for s.
3
Let m(t) = t**3 + 4*t**2 + 4*t + 7. Let q be m(-3). Solve 2*o - q = 6 for o.
5
Suppose -2 = -2*w + s + 8, s + 16 = 4*w. Let g(d) = 3*d**3 + 11*d**2 + 2*d - 7. Let r be g(-3). Solve -r*m + w = 8 for m.
-1
Let l be (-6)/8 - 2/8. Let y = l - -1. Solve 3*j + 2*j - 15 = y for j.
3
Suppose -w + 1 = -1. Solve r - w*r = -2 for r.
2
Let h = -11 + 11. Suppose g - 26 = -2*c, -g + 3*g + 3*c - 47 = h. Let v be 8/5 + (-4)/(-10). Solve -2*q + g = v*q for q.
4
Suppose 5*l - 26 = 4. Let o(w) = 12*w**2. Let m be o(1). Suppose 3*h + 5*v - 24 = 0, 4*h - m = -h + v. Solve -3 = h*u + l for u.
-3
Let f(r) = -r + 15. Let q be f(11). Solve -q*a + 3 = -9 for a.
3
Let z be 6/(-9) + 32/(-6). Let n be (-8)/z*(-3 + 6). Solve n*o + 0*o - 20 = 0 for o.
5
Suppose 8 = 2*d + 2*d. Solve -c + 3 = -d*c for c.
-3
Let d(j) = j**3 + 15*j**2 + 2*j + 34. Let u be d(-15). Solve 0 = u*z - 1 - 3 for z.
1
Let y(w) = w**3 - 12*w**2 + 12*w - 7. Let p be y(11). Solve -g + p = 3 for g.
1
Let m = -7 - -14. Suppose 0 = 2*t - m*t. Suppose t = -w - 9*r + 4*r - 3, -5*w + 15 = -5*r. Solve -w*p + 4*p - 6 = 0 for p.
3
Let k = 0 - 2. Let a be (k/(-6))/((-2)/6). Let q be 4 + (-1)/(-1)*a. Solve -q*z - 2 = 1 for z.
-1
Let u be 9/6*(-2)/3. Let y = 1 - u. Solve y*f + 8 + 2 = 0 for f.
-5
Let l be 9/6*8/6. Suppose -q - l = -4. Let c = q + -1. Solve -2*d = c - 3 for d.
1
Let n be ((-24)/(-15))/(1/(-10)*-4). Solve -n*a + 13 = 5 for a.
2
Let q be -2*(2 - 3) - -1. Let r(o) be the third derivative of -o**5/60 - o**4/24 - 4*o**2. Let z be r(-1). Solve 15 = -z*n - q*n for n.
-5
Suppose 0 = -4*l + 11 + 5. Let d = -4 + l. Suppose -3*j + 7*j = d. Solve -t + j*t = 1 for t.
-1
Let y = 11 + -1. Suppose 11*g - y*g = 0. Solve -2*u - 8 = -g for u.
-4
Suppose 0*i + 8 = -4*i. Let h = 3 - i. Solve -x - 20 = -h*x for x.
5
Let n(z) be the second derivative of 0 - 1/6*z**3 - 3*z + 7*z**2. Let s be n(9). Solve v = s*v + 20 for v.
-5
Suppose -4*y + 0*y = -16. Solve 2*t + y - 2 = 0 for t.
-1
Let s = 3 - 4. Let m = 3 - s. Suppose -m*b + 5 = -3. Solve 0*z - b*z = 0 for z.
0
Suppose -2*x = -5*x. Suppose -4*c - 6 - 10 = x. Let j be 4/8 - (-2)/c. Solve j = q + 1 for q.
-1
Let r(q) = 21*q**2 - q + 1. Let v be r(1). Suppose 57 = 5*o + 3*d, o + 3*d - v = -0*d. Suppose 5*i + 4 = 24. Solve 0 = -p + i*p - o for p.
3
Let m(j) = 3*j**2 - 2*j**2 + 0*j**2 - 3*j + 3. Let c be m(3). Suppose -6*s = -c*s. Solve 5*d + 26 - 6 = s for d.
-4
Let g(t) = -4*t + 47. Let p(c) = c - 12. Let u(m) = -6*g(m) - 22*p(m). Let s be u(11). Solve 0 = s*k - 9*k for k.
0
Let j be (0 + 5)*12/15. Suppose -j*y = -8 - 4. Solve -y*q - 10 = -1 for q.
-3
Suppose -4*v + 5*v = 3. Let f = 15 + -7. Solve f = -v*d - 7 for d.
-5
Suppose -22*v = -21*v. Suppose -7*a + 3*a = -8. Suppose v = -a*f + 5 + 5. Solve x + 3 - f = 0 for x.
2
Let r be (0/1)/(0 - 2). Solve -3*x - 6 = -r*x for x.
-2
Let l(k) = -k**2 + 3*k + 3. Let z be l(4). Let q(t) = 4*t**2 - 2*t - 1. Let c be q(z). Suppose c*x - 41 - 9 = 0. Solve -5*u + x = -0 for u.
2
Let g = -2 - -11. Suppose 3*t - g = 21. Solve -i - t = -3*i for i.
5
Let t = -7 - -10. Suppose -r = -4*r + 3*a + t, -4*a + 14 = 5*r. Solve r*c = -3*c for c.
0
Let m = 55 - 39. Let r = -10 + m. Let i(t) = t**3 - 9*t**2 + 9*t - 8. Let a be i(8). Solve -r = -a*f - 2*f for f.
3
Let f = -1 - -8. Let x(c) = -2*c**2 + 7*c + 1. Let v(h) = -h**2 + 4*h. Let m(j) = -7*v(j) + 3*x(j). Let w be m(f). Solve -w*l + 10 = -2 for l.
4
Let i(o) = 2*o**2 - 1. Let f be i(1). Let n be (2 - f)*-1*-3. Solve 0 = -j - n + 2 for j.
-1
Suppose 15*q = 18*q - 3. Solve q = r + 6 for r.
-5
Let l be ((-24)/10)/(3/(-20)). Solve 0 = -5*c - 9 - l for c.
-5
Suppose 0 = 3*p - 8*p + 5. Let x be 36*p*8/12. Suppose 2*d - 16 = 4*d - 5*s, x = 4*d + 4*s. Solve q = -d*q + 9 for q.
3
Let q(m) = m**3 - 4*m**2 + 5*m - 3. Let r be q(3). Suppose 0 = 3*w + 12, 5*y - 125 - 127 = -2*w. Let j = y + -37. Solve -r*v + 0*v = -j for v.
5
Suppose 6*q - 2*q - 80 = 0. Suppose 2*h + 3 = 3*w, -4 = 5*h - 3*w - 10. Solve s - q = -h*s for s.
5
Let x be 1/(1/9)*1. Let u = 22 - 22. Solve -q + 4*q - x = u for q.
3
Suppose 4*i - 12 + 4 = 0. Suppose 5*d - 62 = -o - o, -2*d - i*o + 26 = 0. Solve 13 = -5*w - d for w.
-5
Suppose -3*d = -r - 14, 0*d + 4*r = -3*d + 4. Solve d*q + 1 + 3 = 0 for q.
-1
Let i(m) = m**3 + m**2 - m + 3. Let z be i(0). Let f(o) = o**z + 5*o**2 + 3*o - 3*o**2 - 4 + 0*o**2 + 3*o**2. Let b be f(-3). Solve -34 = b*l - 9 for l.
-5
Let a be 1 + 2/(-4)*-2. Let h(n) = 2*n + 2. Let g be h(8). Let t = g - 18. Solve 4*k - a*k - 6 = t for k.
3
Let p be ((-14)/(-12) - 5/10)*6. Solve 10 = p*u + u for u.
2
Let x(u) = -3*u - 6. Let i be x(-4). Solve 0 = -w - w + i for w.
3
Let q(a) = a**2 + 16*a + 17. Let i be q(-13). Let x be (-4)/i - 4/22. Solve -5*z = -x*z - 25 for z.
5
Let j be (1 + 0)*1*2. Solve 5 = -j*s - 1 for s.
-3
Let h(m) = -m**2 - 3*m + 0*m**2 + 3 + 1. Let c be h(-4). Suppose -2 = -3*j + 4*d, c = 4*j - j - d - 5. Solve j + 13 = 3*i for i.
5
Let g(k) = -5*k - 6. Let l(i) be the first derivative of i**2/2 + i - 3. Let f(n) = -g(n) - 6*l(n). Let v be f(-5). Solve -v = -5*r + 10 for r.
3
Suppose -2 = 2*l + 4. Let t(z) = -4 + 4 - z. Let n be t(l). Solve 1 = n*h + 4 for h.
-1
Let f(g) = -g**3 - 9*g**2 - 7*g + 10. Let y be (88/(-55))/((-2)/(-10)). Let j be f(y). Suppose -4*a = 2*b + 7 + 5, -2*a - 6 = 0. Solve j*t + t = b for t.
0
Suppose 0 = 2*r - 4*r + 8. Let m be -3 + r + 1 - 0. Solve m*g - 3*g - 4 = 0 for g.
-4
Suppose 0 = 2*n - 5*c + 7, -2*n + 4*c - 5*c = -11. Solve n*d = 9*d for d.
0
Let m be 2/(-4) + 36/8. Suppose 6 = 4*r - 4*k - 6, 4*k + m = 2*r. Suppose 18 + 2 = r*u. Solve 0 = 3*x - u - 10 for x.
5
Let n = 7 - 2. Suppose 5*s + 4*p = 2*p - 18, 0 = -4*s + 2*p - 18. Let g be (8/10)/(s/(-10)). Solve -n = g*u - u for u.
-5
Let t = -26 + 26. Solve t*c = -3*c - 12 for c.
-4
Let c(x) = x**3 - 5*x**2 + 4*x - 3. Let h be c(4). Let f be ((-4)/6)/(1/h). Solve -7 + 1 = f*u for u.
-3
Let w(v) = -v**3 - 6*v**2 - 4*v + 6. Let m be w(-5). Solve j = m + 4 for j.
5
Let c be (-20)/(-15) - (-2)/3. Suppose 3*f - c*a - 10 = 0, 0*f - a = f - 5. Solve 1 - f = -y for y.
3
Let d = 123 - 121. Solve -1 = d*a + 1 for a.
-1
Let p be 6 - ((1 - -3) + -4). Let y(s) = -s**3 + 3*s**2 + 3*s - 1. Let u be y(2). Solve -p - u = -3*z for z.
5
Let w be (-1)/1*-4*(-3)/(-6). Solve y - 5 = -w for y.
3
Let g(m) = -m**2 + 8*m. Let c be (-6)/15 + 42/5. Let p be g(c). Solve p = -4*h + 8 for h.
2
Let y(r) = r**3 - 9*r**2 - 4*r - 2. Let i(w) = -w**3 + 10*w**2 + 5*w + 2. Let k(u) = -4*i(u) - 5*y(u). Let a be k(5). Solve -6 + a = -v for v.
4
Suppose -y - 4*y - 5 = 0. Let w be 2 + (1 - -1) - y. Solve -5 = 2*j + w for j.
-5
Let p be (-2 - (-141)/6)*2. Suppose -3*k + 2 = -p. Solve -4*v = -v + k for v.
-5
Suppose -2 - 