Solve a + 1 - p = 0 for a.
4
Suppose 0 = -0*g + g. Let l = -8 + 6. Let f be (-1 + g - l) + 3. Solve f*b + 9 = b for b.
-3
Let x be 17 + (-1 + 20/15)*-6. Solve -2*i + 7*i = -x for i.
-3
Suppose 5*i = 2*i + 9. Solve r - i = -2 for r.
1
Suppose -6*a - 4*i = -a - 21, -2*i + 13 = 3*a. Suppose 2*d - 9 = -3. Suppose -4*j - 1 = d*x, -4*j = x - 2*x - 11. Solve -3*p = -a + j for p.
1
Let a = 11 + 1. Suppose 0 = 5*f + t - a, -f + 8*t - 3*t - 8 = 0. Solve f*n - 3*n - 4 = 0 for n.
-4
Let f(k) = 2*k**3 - 2*k + 1. Let y be f(1). Let x = 11 + -5. Let w = -2 + x. Solve w = 5*u - y for u.
1
Suppose -7 + 2 = f. Let d(r) = -r**3 - 4*r**2 + 5*r - 1. Let m be d(f). Let c(n) = -4*n - 1. Let l be c(m). Solve 0 = l*a - 7*a - 8 for a.
-2
Let y be ((-2)/3)/(8/(-60)). Suppose p = y*v + 41, -85 = -3*p - 2*p + v. Solve 4 = -4*j - p for j.
-5
Let s(u) = 3 - 4*u + u + u. Suppose -18 = 2*n + n. Let a be s(n). Solve -2*t = t + a for t.
-5
Let j be 1 + 1 + 9/(-8 + 11). Suppose 2*r + 2*r = 64. Solve j*f + r = -4 for f.
-4
Let j = 12 - -10. Solve -5*m - j = 3 for m.
-5
Suppose -11 = m + 4*g, -3*m + 0 = 2*g - 7. Solve -m + 1 = 4*l for l.
-1
Suppose 4*n = n. Solve -3 = -h - n for h.
3
Suppose -48 = v - 9*v. Solve -i = -v + 9 for i.
-3
Suppose 5*q - 30 = -2*i, -4*q + 0*q + 5*i - 9 = 0. Solve 4*r + 8 = -q for r.
-3
Suppose 2*y + 6 = 4*y. Suppose -x - 5 = -f, -x - 3 - 1 = -2*f. Let n be (-122)/x + (-4)/12. Solve y*u + n = -u for u.
-5
Let x(v) = -6*v**2 + 4. Let t be x(-3). Let k = t - -70. Let c(j) = j**2 + 2*j + 2. Let d be c(-2). Solve 2*q + d*q = -k for q.
-5
Let p(l) = -l**3 + 5*l**2 + 8*l + 3. Let k be p(6). Suppose 0 = b + 2*f - f - k, 2*f = -3*b + 44. Solve -2*s + b = 4 for s.
5
Let c = 38 + -36. Solve -b + 15 = c*b for b.
5
Let x = -15 - -15. Solve x = -2*i - 2*i - 20 for i.
-5
Let m be 7/((-7)/20) + -2. Let w = m + 31. Solve 5*c + w = 2*c for c.
-3
Let m(q) = -q**3 - 6*q**2 - 9*q - 4. Let g be m(-4). Solve -z + 1 = -g*z for z.
1
Suppose 4*b + 0 = 8. Solve 0*p = -b*p - 2 for p.
-1
Let a be -5 + -4 + 5 + 5. Solve -s - a - 4 = 0 for s.
-5
Let k be (-9 - -4)*10/(-25). Solve 0*i - 8 = -k*i for i.
4
Let m = -9 - -9. Let g(d) = d + 3. Let x be g(m). Solve 0 = 2*s - x*s + 1 for s.
1
Let d be ((-1052)/36)/(-1) - 14/63. Solve -5*o + d = 9 for o.
4
Suppose 0 = q - 11 - 5. Let g = q + -1. Solve 3*n = -2*n - g for n.
-3
Suppose -2*w + 4*z + 8 = w, -6 = -4*w + 3*z. Solve w = -4*q - 4 for q.
-1
Let c = 226 + -208. Solve -5*p = -7 - c for p.
5
Suppose 2*w + 2*w - 40 = 0. Suppose -u - 2*u - 5*r - 16 = 0, 4*u - 22 = 2*r. Let a be 2 + (u - 2) + 0. Solve w = -a*d + 25 for d.
5
Let t = -147 + 272. Suppose -4*p = p - t. Solve 4*z - p = -z for z.
5
Suppose -5*c + 5*j + 15 = 0, -c + j = -2*j - 5. Solve 3*n = -c*n for n.
0
Suppose -2*f - 2*b + 4 = 0, 0 = 3*f - 6*f - 2*b + 6. Solve f*n + 6 = -n for n.
-2
Let d = 17 + -13. Suppose -d*c = -14 - 2. Solve 2*z + 0 = -c for z.
-2
Suppose -o = 60 - 67. Solve 2*g + o = 17 for g.
5
Suppose 0 = -6*y + 17 - 5. Solve 5*q + y = 3*q for q.
-1
Let h be (2 + 4)/(-2) - -1. Let t be 20/(-11) + h/11. Let p be (-22)/(-8) - t/8. Solve 0 = -p*a - 2*a - 10 for a.
-2
Suppose 0*g + 5*g + 75 = 0. Let k be (-9)/g - 12/20. Suppose 12 + 0 = 2*t - 3*u, 4*t = 2*u + 16. Solve t*w + 0 + 3 = k for w.
-1
Let g(s) = -s + 5. Let c be g(5). Let v = 6 + c. Let o = -1 + 3. Solve -x + v = o*x for x.
2
Suppose 0*i - 5*y = -5*i + 25, -i + 5 = 3*y. Solve -4*z + i = -15 for z.
5
Let d(n) = n**2 - 6*n + 12. Let j be d(5). Solve 4*r + 5 + j = 0 for r.
-3
Let k(z) = z + 10. Let c be k(-6). Let o = -21 + 23. Let n = c - o. Solve -17 = 3*g - n for g.
-5
Let n = -3 + 3. Solve 0 = -3*i - n*i + 15 for i.
5
Suppose 5*m = -1 - 14. Let n be 115/15 - 2/3. Let c = n + m. Solve 5 + 3 = c*b for b.
2
Let m be (-16)/12*(-3)/(-2). Let n be (4/(-5))/(m/5). Solve n = -3*k - 13 for k.
-5
Let x be -2 - (-5 + 2 - 2). Solve 5*g - x*g = -8 for g.
-4
Suppose -4 + 3 = -r. Let h be r/1 - 12/(-4). Solve -2*l + h = -4*l for l.
-2
Let x be (-1)/(-4) + (-78)/(-8). Let d be (0 + 1)/((-8)/(-232)). Suppose -3*b + 5*p = -d, 0*p + 2*p = -2*b + 14. Solve b*t = 3*t + x for t.
2
Suppose s - 7 = -y, 2 = 4*s - 10. Suppose -24 = f + 2*f - d, -4*d = -5*f - 33. Let l(j) = -j - 7. Let k be l(f). Solve y = -w + k for w.
-2
Let p(i) = -i**2 - 8*i - 8. Let l be p(-6). Let n be (6/l)/((-6)/(-84)). Suppose 5*o - 3*q - n = 2*o, -2*q - 12 = -o. Solve o*x + 12 = -x for x.
-4
Let m = 3 - -1. Suppose 4*c = 3*w - 0*w + 32, 0 = -4*c - 3*w + 8. Solve m*q = 3 + c for q.
2
Suppose -5*b = 4*l + 71, 0 = -3*b - 0*l + l - 29. Let j = b - -15. Solve -4 + 20 = j*q for q.
4
Let p(k) = 6*k**2 + 26*k + 70. Let y(v) = v**2 + 5*v + 14. Let a(t) = 2*p(t) - 11*y(t). Let d be a(6). Solve 4*m + 0 - d = 0 for m.
1
Let a = -20 + 34. Let g(f) = 2*f**2 - 3*f. Let o be g(2). Solve o*l - 4 = -a for l.
-5
Let i be (-2)/(-5) + 146/10. Suppose 5*b - 4*z - i = -3*z, -b = 5*z - 3. Suppose 0 = 3*y + 5*n - 14, b*n - 7*n - 2 = -2*y. Solve p = -y*p for p.
0
Let y(d) = d**2 - 4*d. Let p be y(5). Let x be ((-6)/(-8))/(p/(-40)). Let n be 2/x + 30/9. Solve -1 = -n*m + 5 for m.
2
Suppose -4*p + 2 = -10. Suppose -p = -4*u + 1. Solve -u = -5*t + 19 for t.
4
Let f = -175 - -177. Solve f*q + 5 = -3*q for q.
-1
Let s = -15 - -17. Solve -18 - s = -4*k for k.
5
Suppose u + 0 = 3. Suppose 2*g - 3*g + 27 = -5*n, 2*g - 3*n = 26. Solve 2*c = -g + u for c.
-2
Suppose -2*c = -c. Suppose 0 = -c*s - s - 216. Let j be 6/15 - s/10. Solve 3*b - 7 = -j for b.
-5
Let p = -5 - 0. Let u be (-1 - -1)/(p - -7). Let g be -2 - (-1 - (u + 3)). Solve 2*b - 4*b - g = 0 for b.
-1
Let k(j) = j**3 + 5*j**2 + 2*j - 4. Let h be k(-4). Suppose -2*f + 0*f = h*l - 10, -l + f + 4 = 0. Let b = -1 - -1. Solve b = l*c + c for c.
0
Let c(y) = 5*y + 15. Let r be c(-3). Solve 6 = -r*l + 3*l for l.
2
Let w be (15/(-9))/((-45)/108). Solve w*i - 5*i = -2 for i.
2
Let p(l) = -l**3 + 6*l**2 + 6*l - 9. Let i be p(7). Let w be 4/10 - i/10. Suppose -w*s + k = -10, 1 = -3*s + 2*k + 17. Solve 4*n = 3*n + s for n.
4
Let d(c) = -c**2 - 6*c - 1. Let h be d(-5). Let t(j) = j**2 - 2*j. Let n be t(3). Suppose 0 = 4*y + 3*z - 9, -5 = y - n*z + h. Solve y*s = -5*s - 20 for s.
-4
Let w(s) = -s**3 + 2*s**2 + 3*s + 1. Let h be w(3). Let t be (-1 - -27) + h/(-1). Solve 6*x - x = -t for x.
-5
Suppose 3*n - 116 = -86. Solve 10 + n = -5*x for x.
-4
Let x = 60 - 60. Solve x*c + c = 0 for c.
0
Let z = 2 + -1. Let p(l) = -5*l - 12. Let v be p(-8). Let a = -26 + v. Solve -a*o + 3*o + z = 0 for o.
-1
Suppose -3*h + 3 + 15 = 0. Let w be (0 - h/(-2))/1. Solve 0 = -w*v - 2*v for v.
0
Let u(v) be the third derivative of -v**5/60 - v**4/4 - 2*v**3/3 + 3*v**2. Let k be u(-3). Solve -6 - 4 = -k*x for x.
2
Let d be 15 - -2 - 0/(-1). Solve d = 4*g + 5 for g.
3
Suppose -4*r + 0*r + 20 = 0. Solve -15 = r*h - 40 for h.
5
Suppose -7*j = -3*j + 8. Let h = j - -5. Let s = 2 - 0. Solve -h*q - 5 = s*q for q.
-1
Let c(i) = -2 - 12*i + 0*i**2 - 2*i**2 + i**2. Let y be c(-6). Let k = -19 + y. Solve -3 = 4*w - k for w.
3
Let w(f) be the second derivative of f**4/12 - 2*f**3/3 - f**2 + 2*f. Let c be w(5). Solve -c*x = -5*x + 8 for x.
4
Let s = 10 + 0. Let t be 0 + 1 - (0 - 14). Let q = t - s. Solve -1 - q = 3*d for d.
-2
Let x(d) = d**2 - 5*d + 5. Let u = -7 - -12. Let b be x(u). Solve -b*y + 0*y = 20 for y.
-4
Let r(v) = -5*v**3 - 5*v**2 - 11*v + 11. Let y(p) = -p**3 - p**2 - 2*p + 2. Let m(z) = 2*r(z) - 11*y(z). Let d be m(1). Solve -2*j - 16 = d*j for j.
-4
Suppose 4*i - 4 = 4*h, 8 = h + 2*i - 6. Solve -3*c + h = -2*c for c.
4
Suppose 2*a - 61 = 25. Let o = -31 + a. Solve 3*b = -0*b + o for b.
4
Let l(f) = f + 9. Suppose 0 = 3*s - 0 - 3. Let o = s - 8. Let i be l(o). Solve -i*n - 2 = -n for n.
-2
Suppose x = 4*x - 3. Solve -2*a = -a - x for a.
1
Suppose o = 1 + 3. Suppose -x - o = -0*x. Let y = 4 + x. Solve -2*w + y*w = -6 for w.
3
Let u be 16/32*2*3. Solve -u*c + c = 8 for c.
-4
Let g = -19 - -2. Let y = g + 32. Let s be (y - 5) + 0 + -1. Solve -s = c + 2*c for c.
-3
Suppose 0 = 4*l - 5*v + 11, 3*v = -5*l + v + 11. Let u be 7 - (l - 0) - 2. Solve 11 + 5 = -u*s for s.
-4
Let q be (-17)/(-5) + 12/20. Suppose -q*p = -4*j + 6*j, j - 10 = 3*p. Solve o + 0 = -j for o.
-4
Suppose -20 = 6*p - 2*p. Let n = p - -9. Solve -n*o + 8*o + 16 = 0 for o.
-4
Let t(z) = z**2 - 16*z - 2. Let h