 + t for p.
-2
Let d(m) = m - 1 - 10*m**2 + 11*m**2 + 3*m. Let b be d(-5). Solve b*z - 2 = 3*z for z.
2
Suppose -8 - 16 = -4*q. Suppose -2*y + 4*k = 8*k - 8, -2 = y - k. Solve 5*c + q - 1 = y for c.
-1
Let v = -28 + 32. Suppose 2*w + 3 = 3*p, 2*p + 6 = 4*w - 0. Solve w - v = -r for r.
1
Suppose 3*q - 5*r - 2 = -6, -2*r - 8 = 0. Let y = -1 - q. Let m be 4/(-10) - (-4)/10. Solve m = y*w - 3*w + 20 for w.
-5
Let b(z) = -9*z**3 + z**2 + z + 1. Suppose -1 = r, -2*r + 4 = -5*t - r. Let m be b(t). Solve -o = 4*o - m for o.
2
Let a be (-28)/(-49)*(-7)/(-2). Solve 3 = a*b - 5 for b.
4
Let t(o) = o**2 + 6*o + 11. Let u be t(-6). Solve u + 4 = -3*c for c.
-5
Let v be (1 + -5)*(-9)/(-12). Let c be (-1 - v) + -1 - -7. Let x(k) = -k**2 + 8*k. Let l be x(c). Solve l = -0*d - d for d.
0
Let y(t) = -t**3 - 3*t**2 + 9*t - 5. Let w be y(-5). Suppose -5*r = -w*r - 40. Solve -3*g + g + r = 0 for g.
4
Let t(n) be the first derivative of -n**2/2 - 11*n - 2. Let p be 0 + 0 - -2 - 13. Let d be t(p). Solve 4*c - 5 - 3 = d for c.
2
Let d(l) = l**2 - 6*l - 6. Let h be 243/36 + (-1)/(-4). Let k be d(h). Solve -3*s + k = -2*s for s.
1
Suppose -4*s = 5*y + 10, y + 0*y - 4*s - 22 = 0. Let z(u) = 9*u. Let f be z(y). Solve 5*b = f + 7 for b.
5
Suppose 5*l - 5 = 0, -24 = -9*h + 4*h - 4*l. Suppose 4*m - 16 = 0, -5*b + 3*m = -m - 109. Solve h*p + b = -p for p.
-5
Let m be 1 + 26/22 + (-8)/44. Solve m*h + 2 + 8 = 0 for h.
-5
Suppose -i - 4*j = -28, -36 = -2*i - 2*j - j. Solve a + 3*a = -i for a.
-3
Let w(a) = -5*a. Let t be w(-1). Suppose t*d - 71 = 9. Let h(r) = 3*r + 1. Let c be h(1). Solve c - d = -4*n for n.
3
Let a(t) = -t**2 + t + 2. Let g be a(0). Solve 8 = -0*f + g*f for f.
4
Let j(i) = i**2 + 6*i - 6. Let r be j(-7). Let y(p) = p**3 + 6*p**2 + 7*p + 10. Let m be y(-5). Solve m = -5*f - r - 4 for f.
-1
Suppose -5*w = 5*s + 15, 0*s + 5*s + 15 = w. Suppose -m + w*m = 0. Solve 3*h - 12 = -m*h for h.
4
Let o(b) = 16*b - 1. Let m be o(1). Solve -2*f + 7*f + m = 0 for f.
-3
Suppose -2*z - z + 9 = 0. Let v = -3 - -7. Suppose 4*s + 2*g - 26 = 0, -5*s + 11 = -g - v. Solve -s*m + m = -z for m.
1
Let u = -32 - -34. Solve u*n - 4*n = -2 for n.
1
Suppose -2*r = 3*r - 45. Suppose r*d - 4*d = 0. Solve 0 = i - d*i for i.
0
Let i = -8 + 11. Suppose i*t - 5 = 19. Solve w - 5*w = -t for w.
2
Let d(s) = -3*s + 3. Let m be d(1). Solve m = j - 6*j for j.
0
Let a(t) = -2*t - 2. Let k be a(-5). Let c be (k/(-5))/((-2)/25). Suppose 3*n + o - 12 = 2*o, 2*o = 5*n - c. Solve -n + 13 = -3*h for h.
-3
Let u be 5 + 2/((-2)/3). Let p = u - 0. Let q be 5 - (-2 - 0/(-2)). Solve q = -p*i + 1 for i.
-3
Let k(y) = 7*y**2 + y. Let g be k(-1). Suppose -s - 3*s + 8 = 0. Suppose s*m + m - g = 0. Solve -m - 6 = 2*o for o.
-4
Suppose -5*z + 47 = 3*t, -4*z - z - 4*t + 51 = 0. Let n(u) = u**2 - 7*u + 9. Let j be n(z). Suppose -d - 2*m = -4, d + 4*d + 2 = m. Solve 3*q + d = j for q.
3
Let d(o) = -o - 12. Let m be d(-16). Suppose 0*k - f = -3*k + 10, -m*f = -2*k + 10. Solve k*h - 8 = -2 for h.
2
Let l(x) = 2*x - 1. Let g be l(2). Solve -g - 7 = 5*c for c.
-2
Suppose -16 = -d - 5*t + 12, 17 = -d + 4*t. Solve -4 = d*m + 2 for m.
-2
Let j = 3 - 1. Solve -i - j*i + 12 = 0 for i.
4
Suppose -13 + 1 = -4*u. Let o be u/(-6) + 27/6. Solve -o = -5*r + 11 for r.
3
Let t = -3 - -3. Suppose -s - s = t. Solve 3*h = 12 - s for h.
4
Let s = 12 + -2. Suppose 7*x - 2*x = 4*h - s, -4*h = -x - 18. Suppose 1 = f - 3, -3*r = -h*f - 28. Solve -3*v + r = v for v.
4
Let n(c) = c + 4. Let p be ((-3)/(-6))/((-2)/(-8)). Let a = -2 - p. Let r be n(a). Solve 2*h = -6 - r for h.
-3
Let x(a) = -a**3 + 8*a**2 - 4*a + 9. Let p be x(8). Let g = p + 43. Solve 4*v + v = g for v.
4
Suppose -11*w + 14*w = 6. Solve -w = 2*j - 4*j for j.
1
Let x(m) = -m + 4. Let p be x(12). Let q = -8 - p. Solve 6*c - c = q for c.
0
Suppose 4*x = -4 + 12, -4*d + 26 = -3*x. Solve -d = -4*y - 0*y for y.
2
Let n = 64 - 60. Solve -n*u + 5*u - 3 = 0 for u.
3
Suppose -33 = -7*a + 4*a. Suppose 0 = -5*i + w - 6*w + 20, 0 = 2*i - w - a. Solve i*u = 8 - 3 for u.
1
Let z be ((-15)/(-25))/((-1)/(-5)). Solve -z - 1 = -n for n.
4
Let u = -13 - -25. Let o(c) = -c**3 + 7*c**2 - 5*c - 4. Let t be o(6). Solve -t*i - u = i for i.
-4
Let m(a) = a**3 - 6*a**2 - 4*a - 7. Let r be 105/(-5)*1/(-3). Let u be m(r). Let j be 4/(-14) - (-88)/u. Solve 0 = 2*o + o + j for o.
-2
Suppose -3*n = a - 2 - 15, -4*n + a + 11 = 0. Suppose -9*h = -n*h - 10. Solve 4*f = h*f for f.
0
Suppose 2*z + r - 5 = 0, -3*z - r - 3 = -5*z. Solve -z*u - 25 = 3*u for u.
-5
Let m(z) = -2*z + 1. Let k be m(-2). Let f(o) = o. Let h be f(k). Solve -7 = -3*g + h for g.
4
Let y(j) = -8*j + 4. Let u be y(-3). Suppose 2*o + 2*q = 24, -3*o - 4*q = -o - u. Solve -2*h + 0*h + o = 0 for h.
5
Suppose -3*n + 7*n = -r + 21, -n + 19 = 3*r. Solve r*k = k - 12 for k.
-3
Let g = -20 + 41. Suppose s - y + 2*y + 82 = 0, -4*y = -s - 62. Let w be 2/7 - s/g. Solve r = w*r for r.
0
Suppose 3*l - 18 = -6. Suppose -3*p = -7*p + 2*x - 2, l*p + 4*x = 28. Solve 0 = -p*h - 6 for h.
-3
Suppose -5*c - 3 = -2*o - 6, -4*c - 3 = -o. Let h = -6 - o. Solve h*u - 6 = 5*u for u.
-3
Suppose -3*o + 3 = -5*n + 3*n, 2*n - 6 = 0. Suppose -u = -3*u + 4*m - 14, o*u = m + 4. Solve -2*t = u*t - 25 for t.
5
Let h = 7 + -10. Let y be h + 9/1 - 2. Solve -d + y = d for d.
2
Let c(b) = -b**2 - 9*b - 11. Let q be c(-7). Solve 0*p = -p - q for p.
-3
Let b(z) = -z**2 - 10*z - 1. Let j be b(-8). Solve -5*m - 5 = -j for m.
2
Suppose -3*d - 6 = 2*p, 7*d + p = 2*d - 3. Solve 0 = -d*j + 2*j for j.
0
Suppose -14*k - 6 = -16*k. Solve -9 = -0*v - k*v for v.
3
Let a(j) = -j**3 + 7*j**2 + 7*j + 11. Let i be a(8). Suppose -i*u + 3*s + 4 = s, 5*s = 20. Solve 25 = u*l + 5 for l.
5
Let x be 3*(16/4 + 1). Solve -x = -2*v - v for v.
5
Let q(z) be the second derivative of z**5/20 - z**4/2 + 5*z**3/6 + 5*z**2/2 - 3*z. Let g be q(5). Solve -2*n + g*n = 15 for n.
5
Let o be ((-1)/2)/(1/(-8)). Suppose -2*q = 6 - 2. Let i be ((-1)/2)/(q/12). Solve o*w - 15 = -i for w.
3
Let r(m) = -1 - 4 + 0 + m**2 + 1 + 3*m. Let x = -2 - 3. Let g be r(x). Solve -2*a + g*a = -4 for a.
-1
Let g = -126 - -128. Solve 5 = -o + g*o for o.
5
Let t(s) = 3*s**2 + 4*s - 6. Let q be t(-3). Solve q*b = 4*b for b.
0
Suppose -r = -2*g + 1, -4*g + 11 = 5*r - 12. Suppose -4*s = -g*s. Suppose -i + 2*o = -3*o, -o = 0. Solve s = 3*a - i*a + 6 for a.
-2
Let h be (-8)/(-6) - (-8)/12. Let y be (-3 + -1 + 4)/h. Solve -5*f + 6 - 1 = y for f.
1
Let o(w) = 4*w**2 - w + 1. Let v be o(1). Suppose -7*r = -v*r. Solve -4*b + r*b + 8 = 0 for b.
2
Let k be (-2)/(-10) - 84/(-30). Suppose 2*b - 4 = k*b, -22 = -5*u + 3*b. Let m = 0 + u. Solve -1 = m*y - 3*y for y.
1
Suppose -4*i - 3*s + 4 = s, 5*i - 14 = 4*s. Suppose 3*u = 4*u - 6. Let y be (u/(-12))/(i/(-56)). Solve -2 - y = -4*c for c.
4
Suppose 0 = 2*r - 11 - 1. Suppose r = -4*x - 30. Let p = -6 - x. Solve -p*j - 20 = j for j.
-5
Suppose 11 + 13 = 4*f. Let h(k) = -k**2 + 7*k - 4. Let s be h(f). Solve -6 + 0 = s*v for v.
-3
Let m(a) = 6*a + 10. Let j be m(-4). Let x = j + 14. Solve x = -p - 7 + 2 for p.
-5
Suppose 5*h - 4*h = 0. Suppose -2*k + 10 = h, 46 - 11 = 5*f + 2*k. Solve 1 = -f*j + 21 for j.
4
Let y be ((-9)/3 - -4) + 4. Solve -5*z - y = -20 for z.
3
Let p = 21 + 5. Suppose 2*u - 3*u = -3. Suppose i - u - 1 = 0. Solve 0 = -i*g + 10 - p for g.
-4
Let d = 0 - -14. Let t be (-4)/d - 44/(-7). Solve -s = 2*s + t for s.
-2
Let r(y) = 3*y - 9. Let h be r(9). Let p = h + -13. Solve p*d - 6 = 3*d for d.
3
Let u = 0 + 3. Suppose -i = -u*i + 46. Solve -4*k = -i + 3 for k.
5
Suppose -3*i = -i. Let f = 3 + i. Suppose -5*q + 26 = -3*g, 2*q - 4*q - f*g + 2 = 0. Solve -3*c - q - 2 = 0 for c.
-2
Let k(z) = -2*z - 10. Let a be k(-6). Solve -6 = 4*v - a*v for v.
-3
Let p be 4/3 - 18/(-27). Suppose 3*b + p*i - 64 = -2*b, 2*i = 4. Solve 0*t = -4*t - b for t.
-3
Let t = -24 - -28. Solve -r - r + t = 0 for r.
2
Suppose -f = -4*p - 0*p - 20, 10 = -2*f - 2*p. Solve f = -7*b + 4*b - 3 for b.
-1
Let c(j) = -2 + 4*j + j**3 + 3*j**2 - j**2 - 5*j**2. Let v be c(2). Solve -5*b + 7 = v for b.
1
Let p(g) = g + 11. Let h be p(-7). Suppose -3 = -s + j, 4*s + 6*j - 12 = h*j. Suppose 3*q = -2*a + 6, 0 = -3*a - a + 3*q + 30. Solve -a*t + s*t = 9 for t.
-3
Suppose -2*r + 3*l + 33 = -6*r, 0 = -2*r + 3*l - 21. Let u(b) = -2*b - 13. L