 for p.
-1
Let d(n) = 2*n - 1. Suppose -h + 3 = -2*w, -6 = -2*h + 5*w - 1. Let m be d(h). Solve -5*k - m = 1 for k.
-2
Let v = -16 - -20. Solve v*y - 16 = 8*y for y.
-4
Let w = 10 - 6. Suppose -w*z - 11 = -3. Let j be 1*-2 + z/(-1). Solve 0 = -5*d - j - 10 for d.
-2
Suppose -29 = -2*c - 11. Suppose -3*q = -c, 2 = -3*v + v + 2*q. Solve 0 = -f - v*f + 12 for f.
4
Let d(w) = 11*w**2 - 10*w - 4*w**2 - 3 + w**3 - 7. Let k be d(-8). Let u be (-2)/(-5) + (-4)/10. Solve k*q - q = u for q.
0
Let v = -5 - -8. Suppose -v*x + x - 2 = 0, 0 = -3*o - x + 2. Solve o = 2*p - p for p.
1
Suppose 3*w - 9 = 3*q, -w = 3*q - 4 + 1. Let n = q - 3. Let r = n - -3. Solve 5*h - 13 + 3 = r for h.
2
Let h(c) = -c. Let q(s) = 2*s - 1. Let d(k) = 3*h(k) + 2*q(k). Let j be (-1 - -2)*2*1. Let n be d(j). Solve b + b = n for b.
0
Let m be 6/(-14) - 45/(-105). Solve m = 5*o - 7*o - 2 for o.
-1
Let m = 7 + -7. Let n(w) = -w. Let l be n(m). Let f = 7 + -3. Solve -c = -l*c - f for c.
4
Let u = -11 - -15. Let m be 45/10 - (-2)/u. Solve -n = -0*n - m for n.
5
Let k(c) = -c**3 + 2*c**2 + 2. Let a be k(2). Solve -a*i + 5 = -i for i.
5
Let h = 17 - 17. Solve -3 = -h*l + l for l.
-3
Suppose -4*r + 2*q - 4*q = -2, 0 = 2*q - 6. Let a(i) = i + 1. Let w be a(r). Solve -z - 2*z + 12 = w for z.
4
Suppose 0 = h + 5, 5*l + 20 = l - 4*h. Suppose -4 = -5*j - 2*n + 6, l = 2*j + n - 3. Solve 6*g = j*g for g.
0
Suppose 2*n + 2*a = -a + 11, -2*n + 4 = -4*a. Solve -4*r + 3*r - n = 0 for r.
-4
Let x(f) = -2*f - 3. Let u be x(-3). Suppose u*l - 26 = l + 2*w, 0 = 4*l - 5*w - 57. Let p = -14 - -18. Solve 4*t = -l - p for t.
-3
Let p(o) = -3*o - 6. Let l(k) be the third derivative of -k**4/6 - 7*k**3/6 + 3*k**2. Let y(c) = 4*l(c) - 5*p(c). Let w be y(0). Solve -4 = -w*t + 3*t for t.
-4
Suppose -3*l - 15 = 0, l = f + 4*l + 15. Suppose -2*d + 1 = -1. Solve -n + d = -f*n for n.
1
Suppose 13*y + 5 = 18*y. Solve 2*d - y = 5 for d.
3
Let l(u) = 4*u**2 - 2*u + u + 0*u. Let y be l(-1). Let o = -42 - -46. Solve o*b = 5*b + y for b.
-5
Suppose -2*n + 12 = n. Solve n*m = -0*m + 20 for m.
5
Let x = -6 + 8. Solve 0 = v - x + 3 for v.
-1
Let i be (-40)/(-15)*18/(-4). Let g = -5 - i. Solve 3 = 2*n - g for n.
5
Let n = 5 - 4. Let i be ((-4)/(-10))/(n/5). Solve 0 - i = -2*z for z.
1
Let a = -21 - -23. Solve 4*w + a + 6 = 0 for w.
-2
Let g be 15/(1/(-4)*-6). Suppose 2*a = -5*q + 25, -q - g - 7 = -4*a. Solve q*k + 0*k = -9 for k.
-3
Let r be (-16)/10*25/(-10). Suppose r*p = -p + 10, -12 = -2*w - p. Solve -w*g = -g for g.
0
Suppose 2*q - 4*y - 12 = 0, 2*q + 12 = 6*q - 4*y. Suppose 2*w = -5*h + 3, 4*h + 1 = 3*h. Solve q = -o + w*o for o.
0
Let b be (-5 + 2 - 0) + 4. Suppose -3 = -n - b. Solve n*x + 4 = -0 for x.
-2
Let a be 2/4 - (-117)/18. Solve a*q = 3*q for q.
0
Let y = -7 - -10. Suppose -y*m - 2*x = 10, 0*x = 2*m + 2*x + 10. Suppose -7*j + 2*j + 15 = m. Solve -5*i - j - 2 = 0 for i.
-1
Let o = 2 + -3. Suppose -38 = -2*m + 4*q, -5*m + q = -3*m - 26. Let f = o + m. Solve 0 = -3*j - 5 - f for j.
-5
Let j = 1 - -1. Suppose x = 3 - 1. Let c(g) = 2*g**2 - 2*g - 1. Let n be c(x). Solve 13 = -n*d - j for d.
-5
Suppose 7 = 4*b - 5, -3*b = 2*p - 13. Solve 3*u + p = -7 for u.
-3
Let n(g) = 6*g - 48. Let t be n(10). Solve -u - 3*u = -t for u.
3
Suppose 161 = 15*z - 124. Solve -5*h - z + 4 = 0 for h.
-3
Let k be 75/(-10)*2/(-3). Suppose -2*u - 3*u + 25 = 0, 0 = -k*d - 3*u + 90. Suppose -5*c + 5 = -d. Solve -12 = -c*q + 8 for q.
5
Let n(a) = -7*a + 1. Let s be n(-4). Suppose -7*z = -5*l - 3*z + 33, 0 = -5*l + 2*z + s. Suppose -l*f + 9 = -6. Solve -b - f = 1 for b.
-4
Let k(r) = -3*r - 7. Let p be k(-6). Suppose -2 = 2*s - 3*o + p, 3*s + 22 = 5*o. Solve -s = 4*h + 7 for h.
-2
Let p = -47 + 47. Solve p*a - 4*a - 16 = 0 for a.
-4
Let l be (0 - -3)*(-1 + 0). Let p = 10 + -7. Let d = l + p. Solve -2*s + 6 = -d*s for s.
3
Let n(j) = j**2 + 3. Let a be n(0). Suppose -35 = -3*s + s + l, -5*l = 5. Suppose -s = -2*q - 13. Solve q*r - 4 = a*r for r.
-4
Let m(z) = z**3 - 5*z**2 + z - 5. Let o be (20/(-6))/(10/(-15)). Let f be m(o). Solve f = 2*g + 2*g + 20 for g.
-5
Suppose 0 = -3*d - d - 12. Let j = d - -4. Solve 1 = w - j for w.
2
Let w(z) = z + 1. Let g(d) = 21. Let v(a) = g(a) + w(a). Let r be v(-12). Solve -x = x - r for x.
5
Suppose 11 = -2*p + 81. Suppose 40 = 2*m - 5*n, 0 = 5*m + 2*n - p - 7. Solve -w + 6*w = m for w.
2
Suppose -4*c - 3 + 63 = 0. Suppose 3*o + f = c, 0 = -0*o - 2*o - 5*f + 23. Solve -o*t = -0*t for t.
0
Let t be 413/28 + (-2)/(-8). Solve p = 4*p + t for p.
-5
Let y = 23 - 11. Solve d + 2*d - y = 0 for d.
4
Let k = -4 + 12. Let t(y) = -6*y + 2. Let x be t(-1). Let q be 2/x + 38/k. Solve q*d = 2*d for d.
0
Let b(d) = d**2 + 8*d + 14. Let u be b(-9). Solve -u*p = -18*p + 25 for p.
-5
Let u(p) = -1 + 0*p**3 + p**2 + p**3 - 4*p**3. Let b be u(-1). Let m be (-2 - (-3 + 1))/(-4). Solve m = s + b for s.
-3
Suppose 0 = 3*p - 3 - 3. Let n be (-62)/(-12) + p/(-12). Solve 0 = -6*h + h + n for h.
1
Let i be (-4)/18 + (-114)/(-27). Let o(m) be the second derivative of m**4/6 - m**2 + 8*m. Let g be o(-2). Solve -2*c = -g*c + i for c.
1
Let q be (-3)/((-15)/(-4))*20/(-8). Solve 4*u - 6 = q for u.
2
Suppose 2*u - 10 = -5*k + 4*u, 0 = -4*k - u + 8. Let d(o) = o**3 - 6*o**2 + 6*o + 1. Let r be d(5). Suppose k*a + r = 18. Solve 3*f - 3 = a for f.
3
Suppose 145 = -2*h + 7*h. Let j(g) = -2*g + 6. Let p be j(10). Let l = h + p. Solve -v - 2*v = -l for v.
5
Let y(r) = -2*r + 22. Let g(a) = 4 - 3 - 2. Let h(l) = -10*g(l) - y(l). Let k be h(9). Solve -d + k*d = 0 for d.
0
Let q = 4 + -3. Suppose 6 = 5*v + q. Solve 0 = -2*n - 1 - v for n.
-1
Let c = 20 + -19. Solve 5*t - 4 = c for t.
1
Let z(k) = 3*k - 3*k**2 - 2*k + 2*k**2 + 2*k**2. Let r be z(4). Solve -4*p + r = -8*p for p.
-5
Let d(u) = 2*u**3 + u**2 - 2*u + 1. Let a be d(1). Let y be a/4 - (-2)/(-4). Solve y*o - 2 = -o for o.
2
Let g(x) = -6*x**2 - x. Let b be g(1). Let i = b - -10. Solve 2*t + i = 5*t for t.
1
Let w be -1*(2 + (-1 - 0)). Let x = -16 + 21. Let z = x + w. Solve 0 = -z*d + d + 9 for d.
3
Let u(r) = -r**2 - r. Let b be u(0). Solve b*a = a - 5 for a.
5
Suppose -2*w - 60 = -w. Let v be ((-4)/5)/(8/w). Suppose 3*p = p + v. Solve -p*j + 11 + 4 = 0 for j.
5
Let z be ((-3)/(-6))/(2/108). Suppose 33 = 2*h - z. Suppose -3*n = -n - h. Solve -n = g + 2*g for g.
-5
Let b(f) = -f**2 + 7*f - 5. Let h be b(6). Solve 5 + h = 2*q for q.
3
Let b = -10 - -10. Let s be 5 + b + -3 + -2. Solve s = t - 3 - 0 for t.
3
Suppose 4*i = 5*u - 107, 3*i - 2*i - 2 = 0. Solve -u + 3 = -4*d for d.
5
Suppose -7*b + 16 = -5. Solve 0 = 3*o - 2*o - b for o.
3
Suppose 2*j = -2*j. Suppose 4*z = -4*t - 12, 4*t - 4*z + 5 - 17 = j. Solve t = b - 0 - 2 for b.
2
Let t(u) be the first derivative of -u**3/3 + u**2/2 + 5*u - 1. Let c be t(0). Let h = c - 2. Solve -1 - h = -2*j for j.
2
Let k(i) = i**3 - 25*i**2 + 2*i - 41. Let a be k(25). Solve 0*d - a = 3*d for d.
-3
Let b(j) = -j**2 - 14*j + 15. Let q be b(-15). Solve 2*c - c = q for c.
0
Let b be 7 - 0*3/6. Let v be 2/(-4) - (-2)/4. Let z = 3 + v. Solve -5*f - z = b for f.
-2
Let q be 2/(-9) - (-470)/90. Suppose -4*o + 9 = -v, -q*v - 5 = -3*o - 11. Solve -h - o*h + 12 = 0 for h.
3
Suppose 2*o - 4*v + 4 = 0, 0 = -4*o - 2*v + v + 28. Suppose -10*j + 8*j + o = 0. Solve j*i = -0*i for i.
0
Suppose -11*o - 6*o + 85 = 0. Solve o*h + 0*h - 15 = 0 for h.
3
Let f be (25/15)/(3/9). Solve 19 = -f*c - 1 for c.
-4
Suppose -5*o + 2*k = -0*k + 48, 12 = 3*k. Let c = 13 + o. Solve c*z = z for z.
0
Let u(d) = d**3 - 3*d**2 - 3*d + 6. Let q be u(4). Suppose 2*y - 27 = -5*r, 4*y = -4*r + 34 - q. Solve -r*c + 0*c + 5 = 0 for c.
1
Suppose 26*a + 23 = 101. Let v(p) = -p + 7. Let o be v(5). Solve -o*h - a = h for h.
-1
Suppose -5 = -h, -31*m + 30*m - 3*h + 20 = 0. Let o(n) = -n - 1. Let b be o(-6). Solve -m + 0 = -b*v for v.
1
Let q = 65 + -60. Let n(v) = v**3 - 5*v**2 + v + 2. Let w be n(5). Suppose w*j + 4 = 3*j, -3 = 3*x + 3*j. Solve x*s = -s - q for s.
-5
Let c(y) be the first derivative of -17*y**4/4 - y**3/3 - y**2/2 - y + 1. Let w be c(-1). Suppose 5*v = 2*x + w, -x + v + 6 = 4*x. Solve 0 = x*g + 5 + 1 for g.
-3
Let w be (0 - 5)/20*8*-1. Solve w*c = 4 + 4 for c.
4
Suppose b = -b - 12. Let p be 6*b/4*-1. Solve 0 = -4*f + 11 + p for f.
5
Let c(z) = 4*z**2 - 3*z + 2. Suppose -1 = t - 2*t. L