 = 0 for p.
4
Suppose -3*u = 5*t - 114, -2*u = t - 7*u - 6. Suppose 9 = 5*j - t. Suppose -k - 1 = -j. Solve 4*w = -k + 17 for w.
3
Let w be 3/(6/(-4)*1). Let j = w + 7. Solve 4 + 1 = -j*o for o.
-1
Suppose 3*u - 6 + 0 = 0. Suppose -3*o - 5 = s, 0*s + u*o = -s. Solve 5*z = 3*z + s for z.
5
Let g = 34 + -56. Let p = g + 26. Solve 3 = p*a + 11 for a.
-2
Let b be (6/15)/2*5. Let t be (6 + -7)*(-10 + b). Solve -t = -4*n + 11 for n.
5
Suppose -20 = 7*w - 11*w. Solve w*f - 5 = 15 for f.
4
Let b = -5 - -10. Let y = 5 - b. Solve y*u = u - 5 for u.
5
Let w(t) = -t - 1. Suppose 0 = -4*r - 13 - 7. Let v be w(r). Suppose v*i - 20 = -i. Solve -i*k - 15 = k for k.
-3
Let b be (4/(-6))/(4/(-6)). Suppose 1 = 5*k - 4. Suppose -o - 6 + k = -3*x, x + 2*o - 4 = 0. Solve s = x + b for s.
3
Suppose 0 + 2 = p. Suppose 0 = p*y - y - 5*x - 31, -4*y - 4*x = -124. Let z = y + -20. Solve 2*s = 3 - z for s.
-4
Let x(t) = -t - 7. Let k be x(-7). Solve k*d = 5*d for d.
0
Suppose 29 = 5*q - j, -5*q + 2*j = -4*q - 13. Solve -q*t = 4 + 6 for t.
-2
Let k be (-16)/(-6) + 4*3/36. Solve -2*c = -k*c + 4 for c.
4
Let g = 8 - 8. Suppose -3*u + 5*t + 31 = g, 2*u - 2*t - 19 = t. Solve u*z - 3*z = 0 for z.
0
Let h(c) = -12 - 8*c - 5*c + 0*c**2 - c**3 - 8*c**2 + 4*c. Let s be h(-8). Suppose 0 = t + u - 20, -4*t + s = -t + 4*u. Solve -5*k + 0*k + t = 0 for k.
4
Suppose 0 = -7*m - 1 + 22. Solve -m = 2*b - 1 for b.
-1
Suppose 0 = -z - 3, -5*z = n + 5. Let x = 18 - n. Solve 4 - x = -4*b for b.
1
Suppose 4*x = -2*l - 10, 0*l - l = -5*x - 23. Let i be (-1)/((-3)/2)*l. Suppose -6*s + s + 95 = -h, 0 = -3*h + 15. Solve i*b + s = 6*b for b.
5
Let c(h) = 2*h - 16. Let d be c(18). Solve -3*y - y = d for y.
-5
Suppose 0 = 3*a - 3*g + 15, 3*g = 4*a + 21 - 6. Suppose a*j - 5*t + 18 = 2*j, -8 = 4*j - t. Let p = 4 + j. Solve 0 = -2*o + p*o + 3 for o.
-3
Suppose 2*k - 2 = -2*y, 5*y - 3 = 3*k + 2. Solve k = 2*s - 7 - 3 for s.
5
Suppose p - v = 2*v - 15, 4*p - 4*v = -20. Suppose -4*s = 5*k + 33, k = -2*s - 0 - 9. Let u be 4 + s - 0 - -1. Solve p = 2*f + u*f for f.
0
Let j = 14 + -8. Suppose m = w - j, -5*w + 23 = -0*m + 2*m. Solve -4*p + 3 = -w*p for p.
-3
Suppose -3*o = -4 - 2. Suppose n = -o, -5*p + 2*p = n + 2. Suppose t = -p*t. Solve 4*x - 20 + 0 = t for x.
5
Let g(o) = o**3 + 7*o**2 + 5*o - 1. Let j be g(-6). Let x be (-2)/4 - (-15)/2. Suppose -x*p = -j*p. Solve p = -3*k + k for k.
0
Let w = 7 - 7. Suppose w = -5*g - 4 + 14. Solve -4*m - g = -3*m for m.
-2
Let q = -13 + 16. Solve -4*l + q*l = 0 for l.
0
Let p = 54 - 52. Solve 0 = -2*z - 6 - p for z.
-4
Let c be -7 + (4 - 1) + 28/7. Solve -f + 4 + 1 = c for f.
5
Let r = 105 - 105. Solve -y + r = -3 for y.
3
Let d(g) = -g**2 - 6*g. Let w be d(-6). Suppose w = 3*s - 0*s. Solve s = x + 2 - 5 for x.
3
Suppose -2*i + 6 + 4 = 0. Suppose 3*c + i*s = 14, -c + 4*s + 10 = 7*s. Let y = c - -2. Solve y*t = -2*t + 4 for t.
2
Let f(i) = 2*i**3 + 2*i**2 + i + 1. Let y be f(2). Let m = -7 + y. Solve -h + 6*h = m for h.
4
Let z = 8 + -8. Let v = 2 - z. Solve 0*m - v*m = 10 for m.
-5
Let l(i) = i - 12. Let w be l(15). Let d = w - 0. Solve 0*v - v + d = 0 for v.
3
Let j = 40 - 40. Solve j = -3*b - 0*b - 15 for b.
-5
Let c = 2 - 0. Suppose -3*l = -0 - 9. Solve -c = 4*w - l*w for w.
-2
Let o(v) = v + 1. Let f be o(-1). Solve f = 2*t + t + 15 for t.
-5
Let r = 2 - 0. Let m(n) = -r*n - n**3 + 2*n + 2*n + 2*n**2 + 0*n**2 - 1. Let l be m(2). Solve -l*v = 2*v for v.
0
Suppose 0 = 4*v - 7 - 5. Let d = v - -1. Solve -d + 10 = 2*c for c.
3
Suppose 0 = -0*n + n + 2. Let t be (-2 - 5/n)*4. Let f(v) = -v**3 - 5*v**2 + 6. Let d be f(-5). Solve t*y = -0*y - d for y.
-3
Let j(b) = b**3 + 8*b**2 - b. Let w be j(-7). Let c be 2/6 - w/(-21). Solve 3*n - c = -0 for n.
1
Let r = -5 - -6. Let x be -4 - -2 - -2 - r. Let t(s) = -8*s**3 - 2*s**2 - s. Let j be t(x). Solve -3 = -p - j for p.
-4
Let i(a) = -2*a**3 + 14*a**2 + 2*a - 10. Let z be i(7). Suppose 0 = -3*s - 5 + 35. Suppose 5*x - s = 0, 2*m = x + 31 - 3. Solve -m = 9*c - z*c for c.
-3
Let d(u) be the second derivative of -u**4/12 + u**3 - u**2 - u. Let r be d(5). Solve l + 4 = r for l.
-1
Let h(l) = l. Suppose -14 = -4*p - c + 3, -2*p = c - 11. Let z be h(p). Let w be (-2)/3 + 8/z. Solve u = -u - w for u.
-1
Let n be (-3 + -1 + 3)*-3. Let r(j) = -j**2 + 14*j - 9. Let a be r(13). Solve a = n*g - 7*g for g.
-1
Let z(g) = 7*g - 28. Let m be z(4). Solve -4 = -m*h - 4*h for h.
1
Let w = 16 + -16. Solve -4*c - 5 - 3 = w for c.
-2
Suppose -5*a + 14 = 4*g - 8*g, -4*g - 4 = 0. Solve -9 = a*l - 1 for l.
-4
Let m = 25 + -20. Solve 11 = m*r + 16 for r.
-1
Suppose 0 + 9 = -l. Let j(o) = o + 12. Let q be j(l). Solve -20 = -2*r - q*r for r.
4
Suppose 4*z + 12 = -4*u + 2*u, -3*u - 3*z = 6. Solve -8*y + 7*y = u for y.
-2
Let r be 10/6*6 - 0. Solve 5*m - r = -0*m for m.
2
Let p(f) = f**2 - 6*f + 5. Let i be p(4). Let w(m) = -m**3 - 2*m**2 - 3. Let o be w(i). Solve 2*k = -o - 0 for k.
-3
Let m = 170 - 167. Solve -4 = -w - m for w.
1
Let f(p) = -p**3 + p**2 - 2. Let t be f(-2). Let u be (-14)/(-4) + (-7)/(-14). Solve u*o - 2 = t for o.
3
Let k be (-1)/1 + (-2 - -5). Let g be k*5*16/40. Solve -4*p = -3*p + g for p.
-4
Let u = 3 + -12. Let l be (-13)/52 + u/(-4). Solve 6*k = l*k - 16 for k.
-4
Let l be (-36)/90 + 104/10. Solve f = -4*f - l for f.
-2
Let m(s) = 6*s - 7. Let q be m(6). Solve -4 + q = 5*o for o.
5
Let d be 4 - (-1 + (2 - 0)). Let z(l) = -4*l - 2 + 7 + 5 + d*l. Let i be z(8). Solve 0*m + i = 2*m for m.
1
Suppose 0 = -0*j + 2*j + 3*j. Solve 0 = 2*f - j*f + 6 for f.
-3
Suppose -4*z + 3 = -3*z. Suppose -z*u + 7*u = 0. Solve 0 = 4*k - u*k + 4 for k.
-1
Suppose -2*a - a - 45 = -2*v, -3*a - 2*v = 45. Let y = a + 20. Solve 0 = -5*i - y - 10 for i.
-3
Suppose 5*y + 61 = -64. Let j be (27/45)/((-1)/y). Solve -2*l - j = -5*l for l.
5
Suppose 0 = 3*w + 2*w - 2*a - 25, -3*w - 4*a + 41 = 0. Suppose -4*k + 3*u = -w - 5, 0 = -k + 5*u + 3. Solve -k*b - 2*b + 20 = 0 for b.
4
Suppose i + 20 = -4*i. Let t = i + 6. Suppose -3*g + 0*y - y + 4 = 0, 0 = -3*g - t*y - 1. Solve 11 + 1 = -g*c for c.
-4
Let v(d) = -d**2 - 8*d - 5. Let n(w) = w - 3. Let a be n(4). Let s be 0 + 1 - (a + 7). Let c be v(s). Solve -c = -2*o + 4 for o.
3
Let x = 0 + 6. Solve b - x*b = 5 for b.
-1
Let r be (1 - (-1)/((-8)/12))*-8. Solve -x = -r*x - 6 for x.
-2
Suppose -2*i + 23 + 6 = 3*u, -16 = -3*i + u. Suppose 0 = 3*g - i*g + 8. Solve -w + 4 = g for w.
2
Let t be 54/15*(-10)/(-2). Let w = -18 + t. Solve w = 2*n - 4 - 0 for n.
2
Let l(a) = -a**3 + 6*a**2 - 6*a + 7. Let r be l(5). Suppose 8*h - 63 = -5*w + 6*h, -3*h - 55 = -4*w. Solve -3*d = w + r for d.
-5
Let s = 10 - 8. Solve -8 = -3*n - s for n.
2
Let v(p) = p**3 - 14*p**2 - 17*p + 32. Let i be v(15). Solve -3*u + 14 = i for u.
4
Let q(w) be the first derivative of -1 + 2*w - 1/3*w**3 + 3*w**2. Let h be q(6). Solve h = p - 3*p for p.
-1
Let h be 972/30 + (-9)/(-15). Solve h - 13 = 5*w for w.
4
Let u(k) = -k**3 - 3*k**2 + k - 7. Let g be u(-5). Suppose -g - 18 = -4*y. Suppose -4*q + y = -2. Solve 0 = a - 0 + q for a.
-4
Let o(a) = -a**3 - 7*a**2 - 10*a + 4. Let q be o(-5). Solve 0 = q*g + g + 25 for g.
-5
Suppose -26*j - 39 = -29*j. Solve 7 + j = 4*p for p.
5
Let j be 0 + 2 - (0 + 1)*-2. Suppose r - 4*r = -12. Solve r*w - j = -0*w for w.
1
Suppose 0 = r - 4*r + v - 38, -2*r = -5*v + 47. Let d be -3 - (r + 3) - 3. Solve 2*k - 4 = -d for k.
1
Let m = 30 + -28. Solve -w - m*w + 6 = 0 for w.
2
Let j(k) = k + 11. Let d be j(8). Let f be (2*1)/(0 - -1). Suppose f*y - d = 13. Solve 0 = -0*b + 4*b + y for b.
-4
Suppose -a + 0*a - 3 = -3*j, 5*j + 6 = -2*a. Let n be ((-3)/9)/((-1)/9). Solve j = n*h + 24 - 9 for h.
-5
Let o(v) = -v**2 + v + 1. Let a be o(-3). Let n = a + 31. Suppose -5*s - 5*k = -15 - n, 3*s + k = 27. Solve -5*t + s = 25 for t.
-3
Suppose 0 = 2*c + 4 - 34. Solve 0*t = -5*t + c for t.
3
Suppose 0 = 4*q - 13 + 1. Let s be (-142)/(-9) + (-2)/(-9). Solve -k - q*k + s = 0 for k.
4
Suppose 0 = -5*y - 2*x + 62, -y + 4*y = -3*x + 39. Let z be (-2)/(-3)*y + -1. Solve 3*m - z*m = -12 for m.
3
Let d = 3 - 3. Suppose -2*i = 2*u - 0*i, -2*i + 10 = 4*u. Suppose u*k - 10 = 5. Solve d = k*t + t + 4 for t.
-1
Let w be (-2)/6 - 19/(-3). Suppose -g + 5*s - 3*s + 21 = 0, 4*s - 133 = -5*g. Solve -m = -w*m + g for m.
5
Let h be 2*9/8 - 2/8. Solve 4*s + h - 