). Solve 4*p - 7 - h = 0 for p.
2
Let b(t) = -2*t - 1. Let y be b(-2). Suppose -y*l + l = -4. Suppose -h + 3*s - 10 = 4, -l*h = -3*s + 13. Solve 7 = 4*f - h for f.
2
Let r be 6*1/(-2) + 6. Solve -5*q + r*q = 6 for q.
-3
Let o(g) = -7*g - 12. Let f(n) = 6*n + 12. Let w(v) = 6*f(v) + 5*o(v). Let s be w(-7). Let r be (-2)/3*(2 - s). Solve l + r = 1 for l.
-1
Suppose -8 = -5*x - 3. Let f = 11 - x. Solve 0 = 5*r - 0 - f for r.
2
Suppose -4*o + 6*l = 2*l - 28, -2*o + 4*l = -6. Suppose g + 5*r + 29 = o, -3*g + 4*r + 22 = 0. Solve 3*j - g + 5 = 0 for j.
-1
Let u(q) = 5*q**2 - q + 2. Let m(i) = -11*i**2 + 3*i - 3. Let z(r) = 6*m(r) + 13*u(r). Let c be z(6). Solve 0 = -k + c for k.
2
Let x be (14 + -9)*8/10. Solve 0 = x*o - 5 - 3 for o.
2
Let t(r) be the first derivative of r**4/4 - 2*r**3 + 3*r**2/2 - 4*r - 2. Let h be t(4). Let f be h/(-15) - (-2)/5. Solve 4 - f = 2*g for g.
1
Let x be (-2)/21 + 382/42. Solve 4*i - 7 = x for i.
4
Suppose 4*y + 4 = 5*k - 5, 3*y - 22 = -2*k. Suppose 0 = -3*g - 0*g. Let m = 0 + g. Solve m = k*w - 3 - 2 for w.
1
Let y(b) = b**3 + 19*b**2 - b - 16. Let p be y(-19). Solve -p*m - 3 + 0 = 0 for m.
-1
Let i be 18/81 + (-128)/9. Let u = 8 + i. Let n be ((-4)/3)/(4/u). Solve b = 2*b - n for b.
2
Let c(j) = 3*j + 2. Let b be c(-7). Let h = -17 - b. Solve -s = 5 - h for s.
-3
Let s(n) = 2*n - 2. Let f = 7 + -15. Let w = -5 - f. Let c be s(w). Solve -c*v = 5 - 17 for v.
3
Let c = -1 - -5. Suppose 15 = c*k + k. Suppose -2*z = k*z. Solve 0 = -2*y - z*y for y.
0
Let l = 11 - -9. Solve -5*h = -0*h - l for h.
4
Let o(f) = -f + 10. Let d be (54/(-12))/((-1)/2). Let x be o(d). Solve q = x + 4 for q.
5
Let i be 118/(-8) + 2/(-8). Let g = -7 - i. Solve -6*p - g = -4*p for p.
-4
Suppose 4*d - 63 = 29. Suppose -4*s + 3*g = -d, -3*g + 2 - 10 = -s. Solve -2 = s*r - 7 for r.
1
Suppose -7 - 2 = -3*w. Let z(b) = -b**2 + 3*b + 2. Let r be z(w). Let a be (-4 + 4)/(2*-1). Solve 2*p - 8 + r = a for p.
3
Let p be 1 - (-4)/6*-3. Let l be (0 - -7) + (-1 - p). Let h = 0 - -16. Solve 3*n + l = h for n.
3
Let h be 16/(-10)*10/(-4). Let n be 1/(-5) + 6/5. Let r be (-2)/(-1)*(n - -12). Solve -r = h*a - 10 for a.
-4
Let u(r) = r**3 - 2*r**2 + 2*r - 2. Let p be u(2). Solve p*s = -3 - 1 for s.
-2
Let h be (-3)/(-3 + (108/20 - 3)). Solve 9 = h*z - 1 for z.
2
Let p(o) = o**3 - 15*o**2 - 16*o + 4. Let f be p(16). Solve -12 = -f*l - 0*l for l.
3
Let t(w) = 4*w**2 + 6*w - 1. Let q be t(-2). Suppose 0 = 4*l + 24 - 8. Let u be (-2)/(-4) + l/8. Solve u = -q*a - a - 16 for a.
-4
Suppose 4*l = -2*d + 24, -20 = -3*d - 3*l + l. Suppose -d*w = -8*w + 24. Solve x - w*x = 0 for x.
0
Let z be ((-5 - -2) + 3)/(-2). Suppose -2*c = -z*c. Let i be (-1 - 0) + (-6)/(-1). Solve c = -5*s + 10 - i for s.
1
Suppose -2*a + 13 = 7. Solve -5*k + 2 + a = 0 for k.
1
Let t = 14 + -10. Suppose 0 = -3*d - 7 + 1. Let j be (d/6)/(1/(-18)). Solve -2*q + j = -t*q for q.
-3
Let x = 6 + 1. Suppose 2*c = x*c - 4*z, -4*c = 2*z. Solve w + 3 = -c*w for w.
-3
Let x be 3 + 1 + 2 + -3. Solve -x*s = -0*s - 12 for s.
4
Let i(z) = 5 + 3*z**2 - 2*z**2 - 3 - 6*z + 0*z**2. Suppose -5*a + k - 3 = -35, 5*k = 3*a - 28. Let l be i(a). Solve 0*c + l*c = 10 for c.
5
Suppose 2*s - 5 = 1. Suppose -s*p + 5*q + 25 = 0, -3*p + 33 = -4*q + q. Suppose -2*k + p = -1. Solve k = -4*t + 2*t for t.
-4
Suppose l - 6 = t, -5 - 16 = -3*l + 2*t. Let h be 78/l + (-1)/(-3). Suppose -5*s - c - 1 = -s, 3*s - 2 = 2*c. Solve 3*d = h - s for d.
3
Let l(u) = u**3 + 10*u**2 + 7*u - 13. Let d be l(-9). Solve 0*a = -d*a + 10 for a.
2
Suppose 4*f - 40 = -4*t, -2*t + 15 = -f + 2*f. Let s(j) = j**2 - 4*j. Let q be s(4). Solve t*k - 2 - 8 = q for k.
2
Suppose -q + 4*q = 0. Solve 20 + q = -5*n for n.
-4
Suppose 3*h - 32 = -h. Let i(l) = 3*l - 6. Let g be i(2). Solve y + y - h = g for y.
4
Let i(k) = 13*k - 6. Let x be i(-5). Let z = -51 - x. Solve -4*w + 0*w + z = 0 for w.
5
Let v be (-2)/(-5)*60/12. Solve 0*a = v*a + 10 for a.
-5
Suppose -3*r + 6 + 0 = 0. Suppose -w = -r*w. Solve -4*i = -w*i for i.
0
Let x(s) = s**3 + 3*s**2 - 5*s. Let h be x(-4). Suppose h*u + 8*r - 23 = 3*r, -3 = 3*u - 3*r. Solve y = -u*y for y.
0
Let c(z) = -z**3 + 11*z**2 + 13*z - 9. Let j be c(12). Solve -t - 12 = j*t for t.
-3
Suppose 5*r = -5*m + 4 - 14, 3*r = -2*m - 8. Let h = 8 + -3. Suppose h*k - 19 = -3*j, 0*j - 8 = -4*j + m*k. Solve 9 - 3 = -j*q for q.
-2
Suppose -3*f = -2 - 13. Let x be ((-22)/(-3))/(1/3). Suppose 4*c - 62 = -x. Solve f*n = c + 5 for n.
3
Let w = 39 - 36. Solve -w - 1 = y for y.
-4
Let g = -3 - -3. Let d(q) = q**3 - 4*q**2 - 3*q - 6. Let f be d(5). Solve g - f = i for i.
-4
Suppose -3*z = 4*p - 27, 3*z + 4*p - 27 = 2*p. Suppose 2*u - 4 = -3*r, -3*u = 4*r - r - z. Let h = r - -2. Solve -l = -h*l for l.
0
Let s(q) = -q - 2. Suppose -20 = -g - 4*g. Let u(y) = -2*y - 3. Let b(o) = g*u(o) - 5*s(o). Let z be b(-2). Solve -3*f - 1 = -z*f for f.
1
Suppose 3*y - 208 = -y + 2*u, 5*y - u - 266 = 0. Let m be 4/18 - (-96)/y. Solve m*n = -n - 15 for n.
-5
Suppose -30 = -a + 5*b, 4*a = a - 4*b - 5. Solve -a*z = -z - 4 for z.
1
Suppose 0*v - 4*u = v, -4*u + 16 = -3*v. Let a(c) be the first derivative of -c**4/2 - 7*c**3/3 - 5*c**2/2 - c + 1. Let s be a(v). Solve 0 = 5*l + s - 10 for l.
-5
Let o(y) = 13*y + 7. Let a(w) = -40*w - 20. Let m(b) = -6*a(b) - 17*o(b). Let s be (3 - (-20)/(-6))*-3. Let z be m(s). Solve -k + z = -5*k for k.
-5
Suppose -7*r = -2*r + 3*t - 10, 3*r - 5 = -2*t. Suppose 0 = -r*i + 1 - 6. Let u be (i + (-3)/(-6))*0. Solve u = q - 2*q + 1 for q.
1
Let s be ((-3)/(-12))/(5/80). Let p(m) = m**3 + 5*m**2 - 5*m - 5. Let g be p(-5). Suppose -h + g = h. Solve s*y + 2 = h for y.
2
Let b(x) = x**3 - 26*x**2 - 28*x + 32. Let i be b(27). Solve i*a = -0*a for a.
0
Let n(r) = r**2 - 4*r - 5. Let i be n(5). Solve 0 = h + 2 - i for h.
-2
Let t = 113 - 107. Let j(b) = b**2 - 2*b + 3. Let w be j(2). Solve -9 - t = -w*q for q.
5
Suppose 0 = 5*c + 2*b, -b = -3*c + 3 + 8. Suppose 0*a - 4 = c*a, 0 = -y - a. Suppose 6 = -y*m + 16. Solve 25 = -0*r - m*r for r.
-5
Suppose -q - y = 2*q + 8, 4*q + 2 = 3*y. Let m be (-2 - 15/(-6))*4. Let t = m + q. Solve 0 = 4*h + 16 - t for h.
-4
Suppose 26*y - 21*y - 50 = 0. Solve -y = -5*z - 5 for z.
1
Let s be 2*(-3 + (-15)/(-6)). Let h be 1*0/(s - 1). Solve -4*f + 4 = -h for f.
1
Suppose 5*l = 3*u + 21, 2*u - u - 4 = -2*l. Let j be (15 - 0)/l + -2. Let h be (-4)/(-20) + (-84)/(-5). Solve -j*b + 2 = h for b.
-5
Let t be ((-2)/10)/((-2)/10). Let x be (2 - -1) + 0/t. Solve -2*j - x*j = -5 for j.
1
Let k = -37 - -56. Solve 5*p + k = -1 for p.
-4
Let i = 4 - -3. Let p be (-44)/(-7) + (-2)/i. Let s = 8 - p. Solve 2*g - 4 = -s*g for g.
1
Suppose -3*i - 6 = -i. Let b(f) = -3*f - 4. Let z be b(i). Suppose 0*n - d = -z*n + 15, -n = -2*d + 6. Solve n*m = 13 + 3 for m.
4
Suppose -12 = -3*w - 3. Solve w = -3*r + 15 for r.
4
Let c be (88/(-55))/(2/10). Let h be c/2 + (-2 - -6). Let x = -6 + 10. Solve -x = -2*o - h for o.
2
Suppose -15 = -3*r - 6. Let h(m) = m. Let x be h(r). Suppose 40 = 5*v + 4*k, 0*v - x*k + 9 = 2*v. Solve v = 4*c - 0 for c.
3
Let z = 105 + -103. Solve -z - 6 = 4*o for o.
-2
Suppose 6*b - 23 = b - 3*g, 8 = b + 4*g. Solve -b*i + 6 = -6*i for i.
-3
Let w be (-8)/12 - (-1 + (-68)/12). Suppose -2*o + 0 + 4 = 0. Solve 2 + w = -o*b for b.
-4
Let w(r) = -r - 10. Let u be w(-8). Let b = u + 4. Suppose 0 = 3*s + 15, 5*h - 8 - b = -3*s. Solve -h*j + 3*j - 8 = 0 for j.
-4
Let z = -22 - -26. Solve -6*f - z = -2*f for f.
-1
Let v be 2 - 1 - (-24 - -19). Solve v*x - 7*x = 0 for x.
0
Suppose -3*r + m - 3 = -6, -2*m - 2 = -2*r. Suppose f - 2*n = 14, -r = -2*f - 3*n - 2*n. Solve -4*b + 2*b = f for b.
-4
Let h(t) = 1 - 3*t - 5 + 4 - 1. Let d(u) = 8*u + 4. Let l(r) = -4*d(r) - 11*h(r). Let q be l(9). Solve -q*p - 4 = -2*p for p.
-2
Suppose 5*v = -1 + 16. Suppose 0*m = 4*m. Solve -2*x - v*x + 10 = m for x.
2
Let u be (5 + 0)/((1 - -3)/12). Solve -p = 4*p + u for p.
-3
Suppose 4*y = -9 - 11. Let z(h) = -6*h + 6. Let k be z(y). Suppose 0 = 4*l - 6*l + k. Solve -6 = -3*a - l for a.
-4
Let o(c) = c**3 + 3*c**2 + 5*c + 3. Let b be o(-3). Let u be 7/(-2)*b/6. Solve -3 - u = 2*x for x.
-5
Let k be 6 + (-3 - (-1 - -2)). Solve k = q + 6 for q.
-4
Let w be 3 + 0 - (1 - (2 - 0)). Solve -2*s = -w*s + 2 for s.
1
Let q = -2 - -2. Let j(s) = s**2 - 10*s + 12. Let 