 = 3*p + 15. Solve -12 = p*r + r for r.
-3
Suppose -2 - 10 = -2*g. Suppose 5*b - 2*a - 15 = 0, -b = b + 4*a - g. Solve 0 = -0*v + v + b for v.
-3
Let n be (102/4)/(15/20). Suppose 6*a + l - 39 = 2*a, 0 = -3*a + 4*l + n. Solve 5*v = -a - 10 for v.
-4
Let f = 14 - 26. Let s(b) = b**3 + 13*b**2 + 13*b + 14. Let g be s(f). Suppose -4*v = -81 - 7. Solve -4*u + v - g = 0 for u.
5
Let m(f) = -f**2 + 7*f - 5. Let n be m(6). Solve -g + 5 = n for g.
4
Suppose 5*u - 35 = -4*s, -4*u - s + 14 + 3 = 0. Suppose -l = 4*z + 1, -4*l = -u*l + 1. Solve 2*y + 0*y - 10 = z for y.
5
Suppose 0 = -j + 5, -15 = -y - 4*j + 8. Let s(v) = v - 6. Let n be s(6). Suppose -y*o + 15 = n, 9*c - 80 = 4*c - o. Solve 2*d + c = -3*d for d.
-3
Let u = 0 - -4. Let z be (-2 + u/2)/(-2). Solve z = 2*c + 2 for c.
-1
Let k = -10 + 17. Suppose -4 = 3*q - k. Solve 2*p = p + q for p.
1
Suppose 20 = -j + 5*y, -3*j + 2*y = -y. Let k(o) = -2*o**2 - 5*o + 12. Let q be k(-4). Let f(x) = x**2 - 5*x + 1. Let l be f(7). Solve -j*a - l = -q for a.
-3
Suppose 4*a - 2*a - 4 = 0. Let r be (4/(4/7))/1. Suppose 10 = -a*j + r*j. Solve j*k + 5 = -3 for k.
-4
Suppose -l = -3*l. Solve l = -4*v + 2*v for v.
0
Let k(y) = -10*y + 7. Let h be k(-5). Suppose -13 = 4*a - h. Solve 1 = -3*l - a for l.
-4
Let n be 0 - -3 - (-2 + 2). Suppose -10 = n*p - 5*l + 15, -p = 2*l - 10. Suppose 4*g - 32 = -p*g. Solve g = -3*x + x for x.
-4
Let k be -1*(-18)/(-2)*-1. Suppose -4*p + k = -3. Let l(f) = -f**2 - 9*f - 18. Let g be l(-3). Solve p*m + 0*m + 15 = g for m.
-5
Let k = -83 + 89. Solve 8*x - k*x = 0 for x.
0
Let n be (-2)/(-4)*2*(-49)/(-7). Solve -n = 2*t + 3 for t.
-5
Let g be (-3)/(6/22) + 2. Suppose -11*w + 0 - 99 = 0. Let t = w - g. Solve t = -2*x + 3*x for x.
0
Let u(z) = -z**2 + 3*z + 2. Let k be u(3). Suppose 0 = 2*g + k*g - 8. Solve -25 = -g*t - 3*t for t.
5
Let v = -28 - -20. Let c(g) = g**3 + 7*g**2 - 9*g - 4. Let i be c(v). Solve -l = i*l - 25 for l.
5
Let d be 1/10*14 - (-12)/(-30). Let i = -6 - -11. Solve -3*g = i + d for g.
-2
Let t be (-7)/(3/(3/1)). Let q = t - -9. Suppose -4 = -3*b - 5*d, 2*b - d = -0*d + 7. Solve q + 13 = -b*o for o.
-5
Let q be (-16)/24 + 11/3. Solve q*t = 4 - 16 for t.
-4
Let m be (-5)/((-25)/(-14))*-5. Let p be (5/(-10))/((-1)/(-24)). Let v be m/3 - (-8)/p. Solve -i = -3*i - v for i.
-2
Let m(c) = -c**3 + 22*c**2 - 21*c. Let f be m(21). Solve 0 = -f*t + 5*t + 5 for t.
-1
Suppose 2*m - 54 = -3*o - o, 5*m = -o. Let q = o - 11. Solve 0 = -2*a + q*a + 10 for a.
-5
Let s be ((-1)/(-2))/(3/30). Suppose 0 = -b - 2*u + 32, -4*b - 3*u - 21 + 124 = 0. Let d = b + -15. Solve -s*p - d = -17 for p.
2
Suppose -6*w + 7*w - 5 = 0. Let p = w - 2. Solve p = 5*h - 22 for h.
5
Suppose 40 + 0 = 5*f. Suppose -5*w = -w - f. Suppose -d = 3, -4*m - 6 = w*d - 0. Solve 3*i - 3 - 9 = m for i.
4
Let l(o) = o - 7. Let k be l(9). Solve 4 - 12 = -k*w for w.
4
Suppose 0 = 3*p + 1 + 2. Let u = p - -3. Suppose 4 = 5*c + 2*y - 7, c - 3*y - 9 = 0. Solve 5*r - c = u for r.
1
Suppose 5*h = h - q + 5, 4*h + 20 = 4*q. Solve h*c = 3*c - 6 for c.
2
Let h be 39/9*(-11 - 1). Let y be 8/(-36) + h/9. Let a = 21 + y. Solve t + a = 4*t for t.
5
Let v be 2/(-5) + (-216)/(-15). Let d = -10 + v. Suppose m = -d*m + 20. Solve m*y - y = 0 for y.
0
Let p = -75 + 80. Solve p = 5*w - 0 for w.
1
Let c = -4 + 6. Let j(o) = o**2 - 7*o + 6. Let x be j(7). Suppose 4*y - 16 = -4*t, -3*t + 2*y + x = 7*y. Solve 0 = t*h - c*h - 20 for h.
4
Let k(x) = 2*x**2 + 4*x + 2. Let h be k(-2). Suppose -h*z + 4*l + 6 = -0, 5*z - 29 = -4*l. Solve -1 = 2*w - z for w.
2
Suppose 4*m = -4*v + 8, 2*v - 4 = -3*m + 3. Solve 3 - 6 = m*a for a.
-1
Let d be (-40)/(-14)*(-91)/(-26). Solve -6*p - d = -p for p.
-2
Suppose 0 = -12*f + 5*f. Suppose 0 = 4*w - l - 20, -3*l + 0*l - 12 = f. Solve w*q + 3 = -1 for q.
-1
Suppose 3*p - 4 = -p + 2*f, 2*p - 5*f = -6. Suppose -5*s - 6 = -p*l, 3*s + l - 2 = 1. Let z = 3 + 0. Solve s = -z*o + 2*o for o.
0
Let l(u) = u**2 + 4*u - 12. Let c be l(-6). Solve 2*d + c*d - 10 = 0 for d.
5
Let p = 28 + -26. Solve z + p*z - 9 = 0 for z.
3
Suppose 2*d - 3*d + 2 = 0. Solve 0*r + d*r - 2 = 0 for r.
1
Let u(s) = -2*s**2 - 2*s**2 + 6*s**2 - s + 3 + 5*s. Let x be u(-2). Suppose 4*i + 17 = x*p + 2*i, -4*p + 4*i = -24. Solve -6*k + k - p = 0 for k.
-1
Let q = 7 + 2. Let n = -7 + q. Suppose n*t = -0 + 6. Solve -t*x = 2*x - 25 for x.
5
Suppose -3*g + 35 = -4*p - p, -40 = -2*g - 5*p. Solve 5*k = 2*k - g for k.
-5
Suppose 2*a - c - 29 = -12, 5*c = -4*a - 1. Suppose k = -4*t + 3, -3*t - 15 = 5*k - 10*k. Suppose t = m - 3*m + a. Solve 7*n + 16 = m*n for n.
-4
Let j be (-13 + 13)*2/(-4) - -5. Solve -3*u + 4*u = -j for u.
-5
Suppose 2*k + 3 - 15 = 0. Let w = 31 - k. Let v = -35 + 39. Solve -y - v*y = w for y.
-5
Suppose 0 = -3*h + 4*h - 147. Let i be h/(-28) - 2/(-8). Let r = 6 + i. Solve 4*x - r = -9 for x.
-2
Suppose 2*l + 0*l - 6 = 0. Let w = 6 - 2. Solve -w = l*x - 1 for x.
-1
Let l(s) = -4*s + 4*s - 2 - s**2 - 3*s - 5*s. Let b be l(-7). Solve 0 = b*c - 9 - 1 for c.
2
Let t(m) = -m**3 + 4*m**2 + 13*m - 23. Let l be t(5). Solve 0 = -19*p + l*p for p.
0
Let r(g) = -2*g - 18. Let m be r(-9). Solve m = -2*n - n - 3 for n.
-1
Let q(i) = -5*i - 3. Let y(w) = -9*w - 7. Let c(f) = -11*q(f) + 6*y(f). Let h be c(13). Solve -h*a - a = -25 for a.
5
Suppose 23 = 5*r - 37. Solve -m + r = 2*m for m.
4
Suppose -16 = 2*l - 88. Let u = l + 24. Suppose -u = -k - 3*k. Solve j - k = -2*j for j.
5
Let g(f) = f - 11. Let w be g(11). Suppose k + 3*k = 4. Solve -3*l + 4*l - k = w for l.
1
Suppose 5*x = 3*z + 24 + 24, 0 = -z + 5*x - 16. Let w = z + 21. Solve 3 - 18 = -w*k for k.
3
Let z(d) = d**2 - 6*d - 5. Suppose 2*u - 5*s - 9 = -2*u, 2*s = -u + 12. Let o be z(u). Let j be 4/((10/(-4))/o). Solve -3*k = k - j for k.
2
Suppose -51 = 4*b + b + 3*d, 19 = -3*b + 4*d. Let q = 11 + b. Solve q*c = 7*c - 15 for c.
3
Let o be (18 - 15) + 1 + 1. Solve -4 = -o*u + 1 for u.
1
Suppose 2*i - 6*i - 20 = 0. Suppose 18 = 4*m - 14. Let p = m + i. Solve z = -p*z - 8 for z.
-2
Let g be -4*(2 - 3) + 2. Suppose g*s = 9*s - 6. Solve -s = y - 0*y for y.
-2
Let a(b) = b + 5. Let k be a(4). Suppose u + 30 = 5*f - 3*u, u + k = 2*f. Solve f*l = -2*l + 4 for l.
1
Let p(j) = j**3 - 8*j**2 + 8*j - 7. Let a be p(7). Solve 5*l - l + 8 = a for l.
-2
Suppose 4*v = -2*b + 2, -b = 5*v + b - 4. Let q be 6 + 8 + -3 + -1. Let x = q + -7. Solve -x*t + 8 = v for t.
2
Let m = -6 + 4. Let u be (-1)/m*(-3 - -7). Let v be u - (-1 - (-9)/3). Solve v = -0*f + 5*f + 25 for f.
-5
Suppose -2*o = 2*o - 64. Suppose y - 9 = o. Solve -2*t = 3*t + y for t.
-5
Let i be (6/1)/(20/30). Solve 5*b = -i - 16 for b.
-5
Suppose 4*m - 4 = 8. Suppose -3*z - z - 2*r = -56, 2*z = -4*r + 34. Solve -2*h + z - m = 0 for h.
5
Let a be 0*(-4 - (-45)/12). Suppose 3*c + c - 12 = 0. Solve a = -c*w + 2 - 11 for w.
-3
Let b(f) = 3*f**3 - f**2 - f + 1. Let c be -1 - ((0 - 3) + 1). Let h be b(c). Solve h*q = -q for q.
0
Let p(t) = t + 44. Let z be p(-24). Solve z = -3*q - 2*q for q.
-4
Let w = 16 + -16. Solve w*g = 5*g for g.
0
Suppose 4*r = -5*u + 45, 2*u - 27 = -u + 5*r. Solve -u = -5*l - 4 for l.
1
Let i(s) = s**2 + 10*s + 7. Let q be i(-9). Let m = q + 10. Suppose 0 = -2*y - 2*y + 16. Solve -y*b = m - 0 for b.
-2
Let y(o) = -2*o - 1. Let a be y(-1). Let d = a + 4. Solve -d*l + 6*l = -4 for l.
-4
Suppose -5*k = -2*d - 19, -3*k - 13 = 5*d - 4*k. Suppose -u + 1 - 6 = 0, 2*m - u = -9. Let h be (-1)/(d + m/(-4)). Solve -w = -3*w + h for w.
2
Let l be (-4)/(-10) - 32/(-20). Let a = 8 - 9. Let q(m) = m**2 - m. Let b be q(a). Solve l*z + b*z - 12 = 0 for z.
3
Suppose -4*s - 16 = -4*m, -6 = -4*m - s - 0*s. Let z = 134 + -132. Solve -m*p + z = -p for p.
2
Let i(l) = -l**3 - 3*l**2 + 2*l - 3. Let z(x) = x**3 + 3*x**2 - x + 3. Let j(p) = 2*i(p) + 3*z(p). Let m be j(-3). Solve m = -3*d - d for d.
0
Let s(p) = -5*p**2 - 2*p - 13. Let v(k) = k**2 + k + 1. Let u = 10 + -16. Let t(q) = u*v(q) - s(q). Let n be t(-5). Solve 0 = -2*b - n*b + 4 for b.
1
Suppose 72 = -11*r + 19*r. Solve 5*l = r + 1 for l.
2
Let j(t) = t**2 - 4*t. Let d be 30/8 - (-2)/8. Let k be j(d). Let f(u) = u - 7. Let i be f(11). Solve 0*b - b - i = k for b.
-4
Let c be 3 - (-9)/(3 - 6). Suppose 4*d + 24 = 4*l, c = -3*l + 3*d + d + 23. Solve -3*k = 10 - l for k.
-3
Let q(v) be the third derivative of v*