 10. Solve a + x = 5*p for p.
1
Let a(r) = -r**2 + 13*r - 9. Let g(k) = -k**2 + 13*k - 8. Let l(y) = 5*a(y) - 4*g(y). Let j be l(12). Let c be 6/j*2/(-6). Solve 2*t - 20 = -c*t for t.
5
Let c(a) = a - 6. Let x be c(6). Suppose s = -x*s + 4. Solve 8 = -0*u + s*u for u.
2
Suppose -3*x + 3 = -3*t, t + 4*x + 1 + 5 = 0. Let r be 0*(t/(-4) + 0). Solve -4*h - 5 - 15 = r for h.
-5
Suppose -15 = -0*k - 3*k. Suppose -k*m - 1 = 2*j + 13, -4*m - 31 = -5*j. Solve 4*f + j = -9 for f.
-3
Let p(m) = -m**2 - 22*m + 50. Let c be p(-24). Solve 2*o + c = -4 for o.
-3
Let d = 10 + -14. Let k = -2 - d. Solve -k*o - 6 = -0 for o.
-3
Let f(b) be the first derivative of -b**3/3 + 18*b - 2. Let m be f(0). Solve 4*k + m - 2 = 0 for k.
-4
Let z = 2 - -1. Suppose 4*x + u - z = -2*u, -2*x + 4*u = -18. Solve r - x*r = 10 for r.
-5
Let r(z) = -z**2 + 6*z - 5. Let w be r(6). Let y = -2 - w. Suppose 0*v = -y*o + 2*v + 15, 5*v + 10 = 2*o. Solve 0 = q - 0*q + o for q.
-5
Let o = 12 - 8. Solve o*r = 3*r + 4 for r.
4
Suppose -6*h + h + 35 = 0. Let w = 3 + h. Solve -5*b + w = -3*b for b.
5
Let o(h) = h**2 + 2*h - 13. Let p be o(4). Solve -p = -4*k + 1 for k.
3
Let a be 2/1 - (-1 + -6). Suppose 4*t - 2 - 10 = 0. Let q be 0/(t*3/a). Solve q = -0*g - 4*g for g.
0
Let d(c) = c**2 - 5*c - 1. Let g be d(6). Solve g = -6*v + v for v.
-1
Let k(s) = 3*s**3 + 13*s**2 - s**3 + 2*s**3 + 15 + s - 3*s**3. Let a be k(-13). Solve -a*y = 3*y - 5 for y.
1
Suppose 3*c + 5*f = c + 24, -3*f + 6 = -3*c. Solve 0 = -w - c for w.
-2
Let u = -20 - -22. Solve 0 = -u*f + 3*f - 2 for f.
2
Let y(p) = p**3 + p**2 + 2. Suppose 4*d + 4 = -3*f + 2*f, 3*d - f - 4 = 0. Let j be y(d). Solve -n - 5 = -j for n.
-3
Suppose -5*x - y + 5*y = 0, 0 = -2*x + 3*y. Let o(p) = -p**2 + 3*p + 5. Let j be 6 - (-1 + 3 + 0). Let g be o(j). Solve x = 4*v - 17 + g for v.
4
Let w(c) = 1 - 2*c**2 + 6*c**2 + 2*c - 3*c**2 - c**3. Let i be w(2). Suppose 2*g = -i + 7. Solve 2*t = -t - g for t.
-1
Suppose 3*f - 2*c = -f + 16, 22 = 5*f - 3*c. Suppose 5*g - 27 = -f. Solve 5*d + g = -0*d for d.
-1
Suppose 2 = 5*c + t + 3, 0 = -c - t - 1. Solve x + x - 10 = c for x.
5
Suppose 7*b = 3*b + 24. Solve -q + 1 = b for q.
-5
Suppose 2*u - 4*u - 9*u = 0. Solve u*r + 1 = r for r.
1
Let y be 3/(-2) + 52/8. Let t(v) = v**2 - 5*v + 4. Let i be t(y). Solve 2 = i*s - 2 for s.
1
Suppose 16 = -7*g + 11*g. Solve -2*t + 4 = -g*t for t.
-2
Let h = 3 - 0. Let n be (-149)/(-6) + 3/18. Solve -2*a - h*a = -n for a.
5
Suppose k + 10 = 6*k. Let m = -8 + 6. Let z = k + m. Solve 4*w = -z*w for w.
0
Let s be 2/9 - 33/27. Let m be 0*(s + (-2)/(-4)). Solve m = 2*z - 8 for z.
4
Suppose 0 = a + 4, 5*n + 5*a = -8 - 12. Solve o = -n*o for o.
0
Suppose 0 = g + 2*g + 2*h - 3, 0 = -2*h. Solve -l - g = -5 for l.
4
Let s be 10/(-45) - (-276)/27. Let m be (-38)/95 - (-84)/s. Solve -m*l + 15 = -3*l for l.
3
Suppose 3*t - 7 = -5*a, -t + 0*t - 1 = 0. Solve q = -q - a for q.
-1
Let c be (-6)/5*(-20)/6. Suppose -3*t + 7*t - 60 = 0. Suppose 10 = p - t. Solve -p = c*v + v for v.
-5
Let h be (-1)/(-2) + 7/2. Let d = 5 - 4. Suppose 0 = -3*g + h*g - d. Solve -5*r + 6 = g for r.
1
Let r be (-4)/(-6) - 4/(-3). Let m = 12 + -7. Solve -r*i + i = -m for i.
5
Suppose -5*v + 2*v - 23 = -4*b, 0 = -5*v - 4*b - 17. Let u be v/(5/(-26)) - 3. Solve 0 = 5*a + u - 3 for a.
-4
Suppose 4*z + 19 = 3. Let o = z + 7. Solve o*q - 2*q + 4 = 0 for q.
-4
Let c = 166 - 163. Solve 4*p - 19 = -c for p.
4
Suppose 2*i + 12 = -4*b + 40, 4*b - 28 = -i. Solve 0 = 5*v - b - 18 for v.
5
Let w be (10/6)/(((-10)/(-6))/5). Suppose 4*z - 2*n - 352 = 0, z - 3*n = n + 88. Suppose 5*o - z = 2*u, o - 36 = 4*u + u. Solve 1 - o = w*q for q.
-3
Let p = 12 - 5. Solve p*s - 3*s = 4 for s.
1
Let h be (-3)/(-6) + 14/4. Let g be (-3)/(-2)*8/h. Suppose -3 + 9 = g*a. Solve -7 = s - a for s.
-5
Let s = 19 + -9. Solve -s = -4*v + 10 for v.
5
Let k(j) = -j**2 + 3*j + 4. Let q be k(4). Let h = -7 - -6. Let b(z) = -3*z. Let c be b(h). Solve q = -p - c + 8 for p.
5
Let p(s) = s**3 - 3*s**2 - 4*s + 3. Let v be p(4). Suppose 6*d - v*d + 31 = -4*i, 0 = -5*d + 3*i - 13. Let o = -2 - d. Solve b = -0*b + o for b.
3
Suppose 0 = 2*o - 3*z - 51, z + 0*z + 59 = 3*o. Solve 5*c = -2 - o for c.
-4
Suppose -3*f + 2*u + 40 = 0, 2*u + 2 = u. Solve 0*p - 3*p = -f for p.
4
Let h = 8 - 5. Let l be 1/3*h*2. Solve -l + 1 = z for z.
-1
Let r(c) = -c**3 - c - 2. Let o be r(0). Let b be (-3 + o)/((-1)/2). Suppose 0*a = -2*a + b. Solve -a*n + 4 = -6 for n.
2
Suppose -3*c + 18 - 61 = -5*v, 0 = 2*c - 8. Let b = -3 + v. Let z(u) = u**3 + 3*u**2 - 2*u - 2. Let r be z(-3). Solve b = -0*x - r*x for x.
-2
Let g be (10/(-15))/((-2)/3). Let h be -1 + 1 + 3/g. Solve z = -h*z - 20 for z.
-5
Let w = -4 + 7. Suppose w*t + t = 0. Suppose t*x - 5*r = 2*x - 2, -r = -5*x + 5. Solve -4*k + x = -19 for k.
5
Let o be (0 + -2)/2*(0 + 0). Solve o = -3*l + 3 - 0 for l.
1
Let m(k) = k**3 + 11*k**2 + 16*k - 16. Let o be m(-9). Solve q = o - 0 for q.
2
Let p(i) = i**2. Let w = -10 - -9. Let j be p(w). Solve 0 = 4*s + 17 - j for s.
-4
Let c(p) = 2*p**2 + 9*p - 4. Let h be c(-5). Let q(v) = 3*v**3 - v**2 - v + 1. Let o be q(h). Solve -o*k = -k for k.
0
Suppose 3*t = 8*t - 40. Solve t*f - 4*f - 16 = 0 for f.
4
Let j be 0 + 4 + -1 + 0. Suppose -j*g + 4 = -5. Solve 2*a = g*a for a.
0
Suppose 0*h + 20 = 5*h. Solve 0 = h*i - i - 9 for i.
3
Suppose 4*q - 6*q - 22 = -4*y, -y + 4*q + 16 = 0. Suppose -3*t - 16 = -157. Suppose -k + t = 2*k - d, -82 = -5*k - 2*d. Solve k = -0*l - y*l for l.
-4
Suppose 0 = -4*b + 4*a + 32, b + 31 = 3*b - 5*a. Solve h + b*h = -16 for h.
-4
Let z = -7 + 11. Let c = 13 + -9. Suppose 3*j - 5*w - c = -w, 4*w = -z. Solve -2*f + 2 + 6 = j for f.
4
Let x be (0 - 1/1)*11. Let m = x - -45. Let o = m + -10. Solve 4*c - o = -4 for c.
5
Suppose 2*k - 10 = k. Let x be 0 + 3*k/6. Suppose -x*s + 32 = 12. Solve -s*r + 9*r = -10 for r.
-2
Suppose -3*q - 2*o - 42 = 2*q, 0 = -5*q - 4*o - 44. Let y = -3 - q. Solve 0 = 2*m + y - 13 for m.
4
Suppose 2*j + 3*c - 23 = 0, 2*c - 7*c = -2*j - 17. Solve q - j = -6 for q.
-2
Let m be (-60)/(-5) + 0/2. Suppose n - 5*f - m = -3*n, 0 = 2*n + 4*f - 6. Solve n*u = 2*u for u.
0
Let a = -14 - -32. Let z be a/4 + (-1)/(-2). Suppose 5*p = -10, 3 = z*u - p + 1. Solve h + u = -5 for h.
-5
Let p(d) = 2*d - 3. Let l be p(10). Suppose 3*v - 2*c = l, -2*v - 3*c - 12 = -5*v. Solve -i - v = -4*i for i.
3
Suppose -2*z + 3*m + 6 = 0, 0 = -5*z + m + 2. Solve 2 + z = -a for a.
-2
Suppose 50 = 3*j + 2*j. Solve d - 6*d = -j for d.
2
Suppose 3*j = z + 5, 10*j = 5*j - 3*z + 13. Let w = 3 + -1. Solve -s + w = -j for s.
4
Let w = 64 + -64. Solve w*c + 2*c = -4 for c.
-2
Let t(y) = -y + y**2 + 2*y - 6*y - 6. Suppose 0 = 3*g - 0*g - 18. Let w be t(g). Solve w = -4*r + r + 3 for r.
1
Suppose -q + 5 = f, 10*q - 6*q = 5*f - 25. Solve 0 = -f*o + 4 + 6 for o.
2
Let q(j) = j**2 - 1. Let g be q(7). Suppose -4*i - 48 = -4*z, 3*z - g = -z - 5*i. Let u = z + -3. Solve 3*h + 0 + u = 0 for h.
-3
Let q(c) = c**3 - 8*c**2 - c + 10. Let b(i) = i**3 + 6*i**2 + 5*i - 4. Let v be b(-4). Let j be q(v). Solve 7*a = j*a + 5 for a.
1
Let t(y) = 4 + 2*y - 4. Let j(o) = o**3 + 2*o - 1. Let u be j(1). Let l be t(u). Solve 0 = w + l*w - 10 for w.
2
Let a(w) = 6*w**3 - 2*w + 1. Let j be a(1). Suppose -3*f + 9 = 3. Solve -22 = -j*b - f for b.
4
Suppose -5*y - 1 = -2*u, 5*y - 1 - 7 = -u. Solve 0 = 8*f - u*f + 20 for f.
-4
Suppose -89*p + 84*p = 0. Solve -10 + p = -5*d for d.
2
Let j be (-11 + 11)/(1 + 0). Solve j = -5*f + 3 + 2 for f.
1
Let f(t) = t**3 - 6*t**2 + 4*t + 7. Let g be f(5). Solve -8 - 2 = -g*d for d.
5
Let w(x) = 5*x - 25. Let i be w(5). Solve -5 = -i*b + b for b.
-5
Let o(d) = -5*d - 1. Let f(g) = -g**3 + 4*g**2 - g + 2. Let a be f(2). Suppose a*m - 4*m + 8 = 0. Let c be o(m). Solve 0*p - 3*p + c = 0 for p.
3
Suppose -4*k + 2*c = 42, 3*k - c = 4*k + 6. Let q = k + 24. Let w be q + (2/1 - 1). Solve -3*g + 7 = w for g.
-3
Let q(f) = -f**3 - f**2 - f + 2. Let r be q(-2). Suppose -k - r = -3*k. Solve c - k = -c for c.
2
Let w(g) = -g**2 + 11*g - 4. Let m be w(10). Suppose 2*q - 24 = -2*o, m*o + 30 = 5*q + o. Solve 3 = -3*d - q for d.
-4
Let r(v) = 7*v**2 - v**2 - 5 + 0*v**3 - v**3 + 2*v. Let t be r(4). Suppose -7 + 2 = -u. Solve -u*s = 15 - t for s.
4
Suppose 5*a + 4*q + 7 = 0, 2 - 1 = -5*a - 2*q. Let u