 h = 3*p for p.
-5
Suppose 0 = -2*d + 6*d - 8. Let i = d + 3. Solve -i = -2*x - 1 for x.
2
Suppose -46 = 5*u - 4*b, 3*b = 5*u - 3*u + 24. Let k = u + 14. Suppose k - 32 = -4*q - 4*c, -c = -3*q + 14. Solve 1 = q*y + 16 for y.
-3
Let s be 110/30 + 2/(-3). Let l be (5 + 0)/(-2 + s). Solve c = l*c + 20 for c.
-5
Suppose 0 = 3*x + 2 + 1. Let g = x + 3. Solve -2 = -3*p + g*p for p.
2
Let i(j) = -j**3 - 7*j**2 + 7*j - 6. Let k be i(-8). Suppose -k*l = 2*l - 12. Solve -5*c + l + 17 = 0 for c.
4
Let b(a) = 6*a**2 + 2*a - 4. Let o be b(3). Let z be o/35 - 6/10. Solve -z = 4*q + 3 for q.
-1
Let f(v) = v + 2. Suppose 0 = -j - 3*w - 6, 5*j - 2*w - 4 = 4*j. Let q be f(j). Solve 2*s + q*s - 8 = 0 for s.
2
Let v be (1 - (4 + -21))/2. Solve 4*p - 1 = -v for p.
-2
Let q be (2 + 2/(32/(-12)))*4. Solve -q*a - 6 - 19 = 0 for a.
-5
Suppose -3*j + 8*j + 31 = 2*p, 4*p + 5*j + 13 = 0. Suppose -3*n = -15 - p. Let z = -2 + n. Solve -2*x = -z*x for x.
0
Let g be 192/20 + 3 + (-6)/10. Solve -o + g = 3*o for o.
3
Suppose o - 5 = -2*n, -3*o + 4*n = -8*o + 19. Suppose 0 = -0*t + 5*t. Solve t = -5*c + 2 + o for c.
1
Let x be 22/(-99) - 58/(-18). Solve -1 = 4*s - x*s for s.
-1
Suppose 0 = -24*p + 19*p. Solve x - 5*x = p for x.
0
Suppose -5*i = -o - 4, 4*o = -25 + 9. Let s(h) = -h**2 + 6*h + 8. Let f be s(6). Solve 2*d - 6*d + f = i for d.
2
Let c(i) be the second derivative of -i**5/120 - i**4/8 + i**3/2 - 2*i. Let q(w) be the second derivative of c(w). Let p be q(-3). Solve -y + 3 = -p*y for y.
3
Let b = -15 + 21. Let y be -3 - (1 + 1 - 1). Let p = b + y. Solve 3*q - p = 5*q for q.
-1
Let k(m) = m**2 + 5*m - 6. Let p be k(-6). Let z = p - 4. Let i be (-1 + 3)/z*0. Solve -d - 1 = -i for d.
-1
Let k(d) = -d + 11. Let t be k(-11). Solve -t = 5*n + 3 for n.
-5
Suppose -4*x - 10 = -126. Suppose 0 = -2*s - x + 71. Solve 1 - s = -4*n for n.
5
Suppose 6*z = 3*z + 6. Suppose -5 - 1 = -z*f. Solve -f*l - 4 + 1 = 0 for l.
-1
Suppose 0 = 4*a - 6*a. Suppose a*m + 4 = 2*m. Solve 0 = -m*v + v - 5 for v.
-5
Let x(v) = v**2 + 6*v - 27. Let s be x(-9). Solve s = -0*m + m - 1 for m.
1
Suppose -4*s - 13 = -9. Let c(m) = -m**2 - 2*m + 1. Let a be c(-3). Let v be (a - -1)*s + 4. Solve t = v*t + 20 for t.
-5
Suppose -5*c = -5, c = 4*n + n - 19. Suppose -16 = -n*m, 3*h + m = h + 8. Let g be (-95)/(-25) + (-2)/20*-2. Solve -g = h*q - 6*q for q.
1
Let s(p) = p - 14. Let x be s(11). Let b be 36/(-8)*(x + 1). Suppose -b*h = -4*h. Solve h*q + 3*q = 0 for q.
0
Let u be ((-12)/(-18))/((-2)/(-12)). Suppose -x = -4*c + u, -x - 3 = 2*c - 5. Let m = 2 - x. Solve -m*q - 3*q = -25 for q.
5
Suppose 2*l = 10, -8 = -3*x - 3*l + 22. Suppose -3*v + x*z = 5, 2*z - z = -4*v + 1. Solve -5*p + 3 + 12 = v for p.
3
Suppose 3*u + 0*i - 23 = -5*i, 5*u - i - 85 = 0. Solve 4*y + 0*y = u for y.
4
Let z(a) = 3*a**2 - 4*a - 4. Let o(s) = 4*s**2 - 4*s - 5. Let f(m) = -4*o(m) + 5*z(m). Let c be f(-4). Solve k - 3 + 1 = c for k.
2
Let b = -8 + 5. Let f = 7 + b. Suppose 4*s - 22 = f*a - 6, 5*s + 1 = -2*a. Solve 0 = m - s + 4 for m.
-3
Let r(k) = k**2 + k - 3. Let s be r(3). Solve s = 3*g - 6 for g.
5
Let y(c) = c**2 + 2*c - 3. Let n be y(2). Suppose g - 2*u = 12, -n*g = -0*g - 4*u - 36. Let d(s) = s - 4. Let b be d(4). Solve 12 = g*z - b*z for z.
3
Let m(d) = -12*d - 8. Let j be m(-1). Solve -j = -r - 1 for r.
3
Suppose 3*g - 1 - 5 = 0. Suppose g*x + 30 = 7*x. Solve p - x = -p for p.
3
Suppose b - 16 = -3*b. Suppose -4*r + 5*c = -27, 0*r + b*r + 4*c = 0. Solve -r*k - 3 + 9 = 0 for k.
2
Suppose -3 - 4 = -t. Solve 3*m + t - 1 = 0 for m.
-2
Let l(u) = 14*u - 2. Let b = -22 - -23. Let n be l(b). Solve 3*w - n = -w for w.
3
Suppose 8 = -15*k + 17*k. Solve 0 = -k*z + 8 for z.
2
Let f = 9 - 4. Suppose -f = -3*a - 2. Solve 0*s - a = -s for s.
1
Let s be 1 + -1 + (-12)/(-3). Solve s*a = 21 - 1 for a.
5
Suppose m + 2 = 3*m. Let f(z) = z - 1. Let i be f(m). Suppose 2*g - 5 = 3*a, 2*g - a - 7 = -i*a. Solve 20 - 4 = g*p for p.
4
Suppose 2*z - 2*t - 6 = -5*t, -4*z - 2 = -t. Solve z = -0*f - 3*f for f.
0
Let q be (1 - 3) + 6 + 1. Solve -2*o = -3 - q for o.
4
Let g = -94 - -97. Solve g*v + 10 = 4 for v.
-2
Let g = -22 - -31. Suppose d + 2*l = -l + 9, 3*l = -3*d + g. Solve -5*h + d*h - 25 = 0 for h.
-5
Suppose 0 = -0*c - 2*c. Suppose 2*h = -c*h - 5*f + 23, -2*h = -f - 17. Suppose h = b + 2*b. Solve -5 = b*t - 20 for t.
5
Let q = -3 + 3. Solve -o = 4 - q for o.
-4
Suppose 3*f + 24 = 3*z, 5*f - 20 = -z - 0*z. Solve 3*x + 5 = -z for x.
-5
Let u(t) = -t**2 - 7*t - 2. Suppose -3*p - 12 = -3. Let q be u(p). Solve 4*b = 2*b + q for b.
5
Let k(a) = a**2 - 3*a - 4. Let t be k(4). Suppose -x + t = -2. Solve x*z = 4*z - 6 for z.
3
Suppose 0 = -2*t + 15 + 9. Let n = t - 9. Solve -1 = n*v + 2 for v.
-1
Let j be ((-12)/(-2))/((-9)/(-6)). Let i be 21/j + (-1)/4. Let w be (0 + 0)/(1 + 1). Solve w = i*x + 14 + 6 for x.
-4
Suppose -8 = -3*p - 4*w, -3*p = -0*w + w - 11. Solve -p*x = -7*x + 3 for x.
1
Let t be -5 - 84/(-18) - (-32)/6. Solve 10 = t*l + 35 for l.
-5
Let f = -33 + 55. Let i be 2/(-6) - f/(-3). Suppose 12 = 5*x - 3. Solve -i = 5*a + x for a.
-2
Let q be 4/((-1)/4*2). Let r be (q/6)/(8/(-12)). Suppose 4*n + 2 + r = -4*z, 5*n + 11 = -2*z. Solve 0 = z*o - 7 + 1 for o.
3
Let q(r) = r + 17. Let i be q(-13). Solve 12 = -4*t + i for t.
-2
Let g be (4/(-6))/((-20)/90). Solve g = -4*w - 13 for w.
-4
Let r(d) = -2*d**2 - 5*d - 2. Let i(f) = 7*f**2 + 19*f + 7. Let j(n) = -6*i(n) - 22*r(n). Let k be j(2). Solve -k*a + 25 = 3*a for a.
5
Let s(y) = -3*y - 2. Let r be s(-1). Solve 0 = -0*o - o + r for o.
1
Let x be 3 + (-3)/(-3)*-1. Suppose 3*l = -x*l + 15. Solve -b + l = -0*b for b.
3
Suppose -4*f + 7 = 4*c - 37, -2*c + 5*f = -1. Suppose -n = -2*w - 2 - 4, -n + w = -6. Solve 0 = -n*u + 4*u + c for u.
4
Let x = -75 - -80. Solve 3*n + 2*n = -x for n.
-1
Let s(o) = o**2 - o + 4. Let l be s(0). Let r be -2*l/(32/(-12)). Let w(u) = -5*u - 3. Let k be w(-2). Solve -k*t + r*t - 20 = 0 for t.
-5
Let v = -7 + 13. Suppose 0 = v*l - 18 - 30. Solve 8*a - l = 4*a for a.
2
Suppose 4*o - 8 - 20 = -a, 3*o = 12. Let v(l) = -l**2 + 14*l - 17. Let s be v(a). Solve 0 = 3*m - s*m - 20 for m.
-5
Suppose 3*o - 3*a = -0*a + 36, 5*a - 12 = -o. Let f = 16 + -8. Suppose 3*b - f = 10. Solve -3*g = -b*g - o for g.
-4
Let w be (0 - (-12)/3) + -4. Suppose -8 = 5*h - 4*u, 2*h - 3*h - u + 2 = w. Solve 0 = -h*g - 3*g - 3 for g.
-1
Let u(f) = f**2 - 4*f + 8*f + f**2. Let k be u(-3). Solve a - k = -a for a.
3
Let k be (-1)/((6 + -3)/(-12)). Suppose -4*o + 6*g = 2*g - 32, -5*o + k*g + 35 = 0. Solve 3*p = -o + 6 for p.
1
Let u be ((-5)/2 + 3)/((-3)/(-24)). Solve 0 = -2*t - 2 + u for t.
1
Suppose 8*a - 2*a - 18 = 0. Solve a*i - 4*i + 4 = 0 for i.
4
Let r = -1 + 6. Suppose -4*l + 19 + r = 0. Let f(v) = -v**2 + v + 10. Let u be f(0). Solve -c + u = -l*c for c.
-2
Suppose s = 4*r + 1 + 3, 0 = 5*r + 5. Suppose -4*h - 20 = s, 0 = 4*i - 4*h - 12 - 28. Solve -4*q + i = q for q.
1
Let n be 22/55 + 48/5. Solve 3*y = 5*y - n for y.
5
Let v(l) be the third derivative of -l**5/60 + l**4/2 - l**3 + l**2. Let k be v(11). Suppose 6 = q - 3*g, -5*g - 10 = k*q - 0*g. Solve -p = -q*p + 1 for p.
-1
Let b be 4 - 2 - (1 - -1). Let n be b/(0 - 1 - 1). Solve -2*p + n*p = 2 for p.
-1
Suppose -8 = -6*w + 40. Solve 0 = 4*a - 4 + w for a.
-1
Let t = 139 - 127. Solve -5*j - 8 = t for j.
-4
Suppose 3*n - 4 = 2. Let f = 265 + -263. Solve -n*d = f*d for d.
0
Suppose 2*x - b = -4*b - 5, 0 = -3*x + 2*b + 12. Suppose l - x = -0*l. Solve -l = -y + 1 for y.
3
Suppose -5*o = -0*o - 15. Let g be (38 - -2)*2/(-5). Let u be -3 + o - (g + 1). Solve u = -3*n - 0*n for n.
-5
Suppose -9*n = -4 - 5. Solve -y - n + 4 = 0 for y.
3
Suppose -3*c = -4*c - 5. Let r(y) = y**2 - y - 4 + 2 + 5*y. Let z be r(c). Solve 0*t - 3*t = z for t.
-1
Let o(h) = -h**3 - 12*h**2 + 11*h - 6. Let m be o(-13). Suppose -5*y - 2*b = -m, 0 = 3*y - 4*y - 4*b + 22. Solve y*p - p - 5 = 0 for p.
5
Let s(o) = -3*o. Suppose 0 = 5*h + a - 24, 4*h - a - 25 = -4. Suppose -h*j - 1 = -4*j. Let q be s(j). Solve -q*i = -0*i for i.
0
Let k = -3 - -12. Let y = k - 5. Solve -s = y*s + 5 for s.
-1
Let l = -2 - -3. Let s be (1 - l)/(1*2). Suppose 0 = -4*o + 26 + 6. Solve s = 3*k - 2 + o for k.
-2
Let q(a) = a**2 - 8*a + 10. Let l be q(7). Suppose 1 = -l*o + 4. Suppose s - 3*f - o = 0, -3*s - 3