 = -3 - 0 for p.
-1
Suppose 3*h - 14 = -2*w, -2*h + 4 = -0*h. Solve 0 = -5*x - w*x - 27 for x.
-3
Suppose 4*h + 2*u + 254 = 0, -3*u + 5*u = -5*h - 317. Let c = h - -63. Solve -3*i - 3 + 6 = c for i.
1
Let h = -58 - -60. Suppose -5 - 1 = -h*a. Solve -a*j = -2*j + 2 for j.
-2
Suppose 4*v - 14 = -5*p, -4*p = 3*v - 2*p - 7. Let m(u) = u**3 + 12*u**2 - 13*u. Let b = -34 - -21. Let z be m(b). Solve -j = -z + v for j.
-1
Suppose -4 - 1 = -x. Suppose -2*v - 4*c + 5*c + 30 = 0, -x*c - 30 = -2*v. Let i = 18 - v. Solve -4*y = -i*y - 3 for y.
3
Suppose 0 = x + 2, -u + 5*x - 7 = -20. Solve 15 - 3 = u*m for m.
4
Let m = 18 + -10. Let z = m + -5. Suppose -p = -3*s - 1 + z, -3*p = -2*s - 8. Solve 0 = -2*f - 0 + s for f.
1
Let f(j) = 2*j**2 + j. Let c be f(-3). Suppose -r - 2*r + 2*g = c, -2*r + 2*g - 12 = 0. Let t be (r + 7)*(-2)/(-4). Solve -x + t = -2 for x.
4
Suppose -5*p + 2 + 3 = 0. Suppose -4*s + p + 23 = 0. Let q be 1/6 + 23/s. Solve -q*r = -2*r - 6 for r.
3
Let c = 31 + -17. Let w = -5 + c. Suppose -8*r = -w*r + 2. Solve 3 = r*g - 7 for g.
5
Let w(h) = -h**2 - h + 4. Suppose 3*c + 2*f = c, c = 3*f. Let j be w(c). Solve -4*b = -j - 12 for b.
4
Let n = -88 - -32. Let q = -52 - n. Solve -2*l - 6 = q for l.
-5
Let o = -162 - -167. Suppose -o*r + f + 25 = 0, 6*f = 2*r + 3*f - 10. Solve -10*t + r*t + 15 = 0 for t.
3
Let h(f) = -45*f**3 + f - 1. Let x be h(1). Let k = 9 + -49. Let s = k - x. Solve -s*d - 12 = 3 for d.
-3
Let f(s) = 2*s**2 + 6*s + 2. Suppose 2*c = 3*c + 3. Let i be f(c). Let n = -7 + 10. Solve n = -5*d - i for d.
-1
Let j(h) = h + 12. Let y be j(-10). Suppose 2*t = 2, y*t = -m - 2*t + 11. Solve -5*n = m + 18 for n.
-5
Suppose 24*l = 50*l. Solve 4*f + l = -4 for f.
-1
Let g be -12*2*(-2)/(-12). Let r be 2/g + (-72)/(-16). Solve z = -0 + r for z.
4
Let i be (-127)/(-6) - (-2)/(-12). Suppose 0 = 2*v - i - 29. Solve v = 3*t + 2*t for t.
5
Suppose 2 = 2*l - 3*m - m, -2*l + 2*m - 6 = 0. Let w be (-4)/8*(l - -1). Suppose w*h - 30 = -5*f, h - 8 = -4*f + 3*f. Solve 0 = -h*y + 8 + 7 for y.
3
Let h(l) = l**2 + 4*l - 2. Let m be h(-3). Suppose o + 5 = 3*o - z, -5*z - 25 = 2*o. Let w = o - m. Solve 2*t + 1 = w for t.
2
Suppose -5*h - 2*v = -5*v - 45, -5*v = 3*h - 27. Solve -h - 9 = -6*w for w.
3
Let i be (-2 - 1)*(-12 - -11) - 3. Solve -3*u + u + 8 = i for u.
4
Let d(o) be the second derivative of o**3/6 - 5*o**2/2 + o. Let r be d(6). Let j be 3 + (-2 + 2)/r. Solve j*i - i = 10 for i.
5
Suppose -q + 10 = 3*q - 2*u, -q - 2*u = -5. Solve 8 - q = t for t.
5
Let g be (-2)/(-8)*0 + -1. Let d = g + -2. Let a be 0 - (-8)/(-12)*d. Solve 3*s - a - 10 = 0 for s.
4
Suppose -2*c + 9 - 1 = 0. Suppose c*w - 76 = k, 2*w + k - 60 = -4*k. Suppose l - w = -l. Solve 5*z = -0*z - l for z.
-2
Let w(u) = 15*u + 1. Let v be w(-3). Let i = v + 49. Solve -i*r - 19 = 6 for r.
-5
Let d be 10756/52 + -1 + 120/104. Solve -d*u = -205*u - 6 for u.
3
Suppose -25*r + 24*r = 105*r. Solve r = -v - 18 + 16 for v.
-2
Let a(s) = -s**3 - 18*s**2 - 4*s - 27. Let o be a(-18). Suppose d - o = -2*d. Solve d = -4*k + 3 for k.
-3
Let p(s) = 2*s**2 + 3*s - 4. Let o(u) = -4*u**2 - 6*u + 8. Let k(a) = 2*o(a) + 5*p(a). Let n be k(-3). Solve 4*d - n = 3 for d.
2
Suppose -4 = f + 3*l, f = -f + 2*l + 16. Suppose 2*r + 2*m - 13 = -r, f*r + 5*m = 25. Suppose r = 3*n - 15. Solve 3*o - 3 = n for o.
3
Let k = 2868 + -2858. Solve 0 = 12*n - 38 - k for n.
4
Let f be 0*((-14)/8)/7. Suppose f = -4*v + 2*v - 10*v. Solve 3*s + v*s = 0 for s.
0
Let b(q) = 2*q - 10. Let y be (0 + 14)/(12 - 10). Let k be b(y). Let p = 22 - 18. Solve 3*t - k*t = -p for t.
4
Let m = 72 + -71. Solve -b + m - 2 = 0 for b.
-1
Let s be (-2)/2 - 0 - -4. Suppose -5*m - z - 5 = 0, -4*m + z = 5*z + 20. Solve m = -3*w - s + 12 for w.
3
Suppose 0 = 21*y - 15*y - 648. Let a be (-36)/(-17) + (y/(-51) - -2). Solve -5*r = -18 - a for r.
4
Let p(i) = 3*i - 23. Let j be p(9). Suppose -16 = -j*a, -5*a - 30 = -0*o - 5*o. Let f(r) = r**3 + 7*r**2 + 6*r + 4. Let y be f(-6). Solve y*t - o = -t for t.
2
Let g(m) = 27*m - 27. Let j(d) = -14*d + 13. Let p(x) = 3*g(x) + 5*j(x). Let h be p(5). Suppose -3*y - 1 = -4*y, 0 = -2*t + 3*y + h. Solve -4 - t = -5*k for k.
5
Let w be (-1312)/(-112) - 4/(-14). Solve w = 3*q + 3*q for q.
2
Suppose -33 = -4*j - 13. Suppose j - 5 = -l. Solve -4*b + b = l for b.
0
Let r(i) = i**3 + 4*i**2 - 44*i - 195. Let u be r(-5). Solve u = 6*t - 9 + 21 for t.
-2
Let n(y) = 3*y**3 + y**2 + 5*y - 3. Let l be n(3). Let j = 110 - l. Solve -r + 5*r + j = 0 for r.
-2
Let g(f) = -21*f - 137. Let v be g(-7). Solve 33*q = 38*q + v for q.
-2
Let w be -24*(-5 - 45/(-10)). Let q(j) = -3*j - 9*j - j + 12 + j**2. Let h be q(w). Solve 6*l - l = h for l.
0
Suppose -j = -3*j - 14. Let c = -3 - j. Solve 4*k - c = -0 for k.
1
Let b(f) = -15*f + 5. Let r be b(2). Let w be 16/32 + r/(-2). Solve -3 = 4*x + w for x.
-4
Let v = -5 + 8. Let t be (-1)/(-3) + 44/v. Let q = -256 - -259. Solve t = -q*i - 0*i for i.
-5
Let y be -2 - 8/(0 + -2). Let k be 44/22*((-3)/2 + 3). Solve -f = y*f + k for f.
-1
Let b be 6/4*(-4)/3. Suppose 8*v = 7*v. Let j = v - b. Solve 0 = -2*f - j*f for f.
0
Suppose 0 = -s + 5*s + 5*x - 17, 4*x - 19 = -5*s. Suppose 4*d - 1 + 0 = -5*u, -s*u = 3*d. Solve 0*p - p = u for p.
-1
Let w = -673 + 701. Solve 0 = 22*m + 38 + w for m.
-3
Suppose 4*i - 24 = -5*c + c, 3*i - 4*c - 32 = 0. Let r = 15 - 13. Suppose 4*o - 3*m + 5 = r*o, 4*o - 2 = 2*m. Solve o*g = -0*g - i for g.
-4
Let k(o) = o**3 + 3*o**2 - 6*o - 5. Let f be k(-4). Let b be 7/1*(-3 - -4) - f. Solve -x - 15 = b*x for x.
-3
Let s = 36 + -59. Suppose -3*f + 90 = 3*r - f, 5*r + 3*f - 149 = 0. Let w = s + r. Solve w*m = m + 16 for m.
4
Let l = -510 - -510. Solve l = 20*n + 4 + 16 for n.
-1
Suppose 6 = 2*q - 14. Let a(i) = i**2 - 33*i - 116. Let g be a(36). Let c be 86/q + g/(-20). Solve c = -6*n + 3*n for n.
-3
Let c = 154 + -152. Solve -8 = 6*y - c*y for y.
-2
Let g(s) = 2*s**2 - s + 3. Let r(k) = k**3 - 6*k**2 + 3*k - 8. Let m(o) = 8*g(o) + 3*r(o). Let l be m(1). Solve -12 = -y - l*y for y.
4
Let b = 12 - 8. Suppose 6*m - b = 2. Solve -v - m = 3 for v.
-4
Let a = 2295 + -1944. Solve -4*j + 367 = a for j.
4
Suppose 0 = -14*f - 0*f + 126. Solve -4*x = -7 - f for x.
4
Let k be (-40)/5 - (1 - -3). Let d = k + 16. Solve -d*g = g - 15 for g.
3
Let o(t) = t - 7. Let u be o(0). Let f(b) = b + 7. Let q be f(u). Let k(c) = c**3 - c. Let p be k(q). Solve p = 2*i - 5*i + 12 for i.
4
Let g = -94 + 103. Solve -g*f - f = -f for f.
0
Let k(v) = 2*v + 2. Suppose 0 = 3*d - 4 + 1. Let h be k(d). Let i = h - 2. Solve 0 = -3*w - 10 - i for w.
-4
Suppose 0*k - 2*k + 6 = 0. Suppose g - k = 3. Suppose -3*n + 11 = f, 0 = -n + 2*f - g - 2. Solve 0 = 3*d + n*d + 5 for d.
-1
Suppose 2*s + 2*f = 56, 2*s + 0*s = 5*f + 35. Let n = -19 + s. Solve -2*u = -n*u for u.
0
Suppose 4*m = 8, 4*i - 62 = -2*m - 10. Solve i = 2*f + 8 for f.
2
Suppose -h + 72 = -0*m - 4*m, 3*m = -4*h - 73. Let i = -16 - m. Solve i*x = -1 - 5 for x.
-2
Let z = 2 - -3. Suppose 0 = 3*k + 3*v - 8*v - z, 3 = -5*k - 3*v. Suppose k*m - 16 = 3*m + 5*f, -3*f - 27 = -4*m. Solve j - m = 2*j for j.
-3
Let w = 21 - 33. Let b be -2 - w - (0 - -4). Let n(o) = 2*o**2 + o + 2. Let x be n(2). Solve 2*m = b*m + x for m.
-3
Suppose 9*h = -5*z + 4*h + 15, h = 2*z + 3. Solve -5*k + 10 + z = 0 for k.
2
Suppose -2*g + 3*f - 5*f + 42 = 0, 0 = g - 2*f - 36. Let k = g + -25. Solve -t + k = 5 for t.
-4
Suppose 4*b + 3*w + 30 = b, w = -4*b - 28. Let i(r) = r**2 + 10*r + 26. Let y be i(b). Solve 6*h - y*h + 4 = 0 for h.
-1
Let u = 52 + -51. Let i be 10 + 0 - (6/u + -3). Solve 0 = -i*d + 3*d + 12 for d.
3
Suppose -3*i + 4 = -0*i + y, 5*y + 18 = 4*i. Let p(n) be the first derivative of -n**4/4 - 2*n**3/3 + 4*n - 19. Let t be p(-2). Solve -i*c - 4 = -t*c for c.
2
Let u(l) = -l**2 - 14*l + 20. Let y be u(-15). Suppose j = -5*h + 25, j = -y*h + 4*j + 5. Let r be 2/8 + 11/h. Solve -r*m + m = -2 for m.
1
Suppose -36 = 3*r - 45. Solve 0 - 3 = r*v for v.
-1
Let d(z) = z**3 - 12*z**2 + 13*z - 130. Let s be d(12). Solve 0 = 20*c - s*c for c.
0
Suppose 15 = p - 4*m, 2*m + 36 = -p + 3*p. Suppose -u - 6 = -t, -u + 3 - p = -2*t. Solve 4*l = 6 + t for l.
4
Let c(i) = 16*i**2 - i. Let g be c(1). Let p be 20/6*18/g. Suppose -9*o + 75 = -4*o. Solve p*d = -o + 3 for d.
-3
Let l(m) = m**2 - 5*m - 10