for p.
-2
Suppose -4*t + 2*m + 10 = 0, -2*m + 7 = 4*t - m. Let a be (9 - -3)*t/6. Solve -3*l = a*d - 22, 2*d + 0*l - l - 6 = 0 for d.
4
Let l be (1/(-2))/(2/4). Let f = l + 3. Solve -2*z = -3*p - 18, 2*z - 4*z + 14 = -f*p for z.
3
Let u be (7 + -3)/(-4 - -5). Solve -u*x + 13 = o, 4*o - x = -o + 2 for o.
1
Suppose 2*f + 0 - 6 = 0. Solve 0*k - 4*h = 2*k - 10, -f*h = -12 for k.
-3
Let p = 5 - 1. Solve p*o - 10 = y - 4*y, 18 = -3*y + 3*o for y.
-2
Let s be 0 - (-10 + 7 - (-3 - -2)). Solve 0 = 5*x - 4*o - 6, -s*x - 5*o - 39 = -15 for x.
-2
Suppose -2*z - 2*z + 2*b = 2, -z + 5*b = 23. Let y be z/((-16)/(-6) + -2). Solve -3*j - 4*g = -4*j - 18, 0 = y*g - 15 for j.
2
Let z be 10/(-4)*12/(-10). Let r be (-2)/(-8) + (-3)/12. Solve -13 = -l + 4*w, r*w - z*w - 16 = -2*l for l.
5
Let p(d) = -d - 10*d - 10 + 2*d + d**2. Let o be p(10). Suppose -4*m - 3*l + 27 = o, -5*m - 2 = -4*l + 3. Solve 0 = h - m*h + 3*w + 4, -w = -h for h.
-4
Suppose 4*i + 6 = 5*i. Suppose i*r + 3 = 7*r. Solve r*h = 4*y + 8, -2*h = -y + 2*h + 11 for y.
-5
Let f be 10/(-2 - (-4 + 1)). Suppose 2*y + 2*h = 3*y, 0 = -5*h + f. Solve 0 = 5*m + r - 13, -y*r - 2 - 15 = -3*m for m.
3
Suppose 2*j + 9 = -5*x - 0, 4*x + 24 = 4*j. Suppose b + j*b = -16. Let m = b - -4. Solve -19 = 5*u - m*d - d, -5*d + 14 = 2*u for u.
-3
Let g be (-368)/(-69) - 2/6. Solve l + 21 = -g*c, 4*c + 18 = 3*l + 5 for c.
-4
Let u be ((-72)/(-15))/(9/30). Solve 4*c - 4*q = 0, -2*c = q + q + u for c.
-4
Let k be (-4)/24 - 110/(-12). Suppose -2*h - 1 = -k. Solve -11 = 5*v - h*f, -2*f + 4 + 3 = -v for v.
1
Let s = 5 + -4. Suppose 4*z - 2*n - s - 31 = 0, -3*z + 19 = -4*n. Suppose u + 6 = 3*u. Solve -u*p = z, 4*r - r + 3*p = -24 for r.
-5
Let d be 6/4*(16/3)/4. Solve d*q - 2*n + 22 = -6*n, 2*q + n = -7 for q.
-1
Let m(p) = p - 7. Let l be m(7). Suppose 0 = -l*h + h - 5. Solve -3*k = -h*b - 32, -k + 10 = -2*b - 2 for b.
-4
Let y be ((-5)/2)/((-2)/4). Suppose 0 = 5*q - c - 17, 5*c - y = -5*q - 0*q. Solve -a + 2*b = 0, -a - q*b - 5 = -0*a for a.
-2
Let d(w) = -w**2 - w + 1. Let f be d(0). Let m be (-1 - 2) + 5*f. Solve -4*n + 3*l = -8, 3*n - m - 4 = -2*l for n.
2
Suppose g = 2*g - 2. Solve 10 = -5*l, 2*u + g*u + 2*l = -24 for u.
-5
Suppose -3*t = -4*b + 2*t + 23, -2*t = -3*b + 12. Solve 2*p = -5*v - 10, b*v = -3*p + 4*v - 15 for p.
-5
Let j be (-4 - 4)/(-2 + 8/6). Let r = 2 - 2. Solve 0 = h + 2*o - 4, -3*h - o + j = -r for h.
4
Suppose 21 = 4*v - 19. Suppose p = -p + 70. Let x be 38/14 + v/p. Solve 5*r + x = 4*r, -4*r - 14 = 2*n for n.
-1
Let a be ((1 + -1)/2)/2. Let f(q) = -2 + a*q - 3 - q. Let y be f(-7). Solve 3*r - 6*r + d = -8, -2*r + y = -4*d for r.
3
Let m = 20 - 15. Let q(n) = -n**3 + 6*n**2 - 3*n - 6. Let a be q(m). Solve -2 = a*s - o, 0*s = s - o + 2 for s.
0
Let p = 40 - 27. Suppose -3*w - 3 = -2*x + 5*x, 5*x = 4*w + p. Let b be w/1*(-2)/1. Solve 2*c + l - 13 = 0, -b*l + 32 = 2*c + c for c.
4
Suppose 0 = -5*u + 15 + 5. Solve 5*w + 5 = -h + 22, 0 = -w + u for h.
-3
Suppose -3*y - 5*a - 12 = 0, 5*y + a - 7 = -5. Solve -4*n - 11 = -3*b, 2*n = b - 6 - y for n.
-5
Let f = -2 + 8. Solve 5*o = -q + 10, 2*q = o + f*q - 2 for o.
2
Let n(y) = y**2 + 13*y - 27. Let i be n(-15). Solve 5*o = -10, -i*o = -0*c - 2*c + 16 for c.
5
Suppose -4*g = -6*g + 10, 3*n + 25 = -g. Let d = -8 - n. Solve 4*y - d*p = -7 - 9, 20 = -5*y - 2*p for y.
-4
Let v be -4 - 6/(1 + -2). Let n = -19 + 31. Solve 36 = -4*x + 5*z, -4*x + z = -v*x + n for x.
-4
Suppose -5 = -3*d + 10. Suppose -o + d*o = 0. Suppose -4*k + k = o. Solve -i - 6 = -k*i + 2*a, -15 = 5*i - 5*a for i.
-4
Suppose 0 = -5*k - 5, -5*y = 2*k + 2*k - 81. Solve 10 = z + z + 2*p, -5*z + y = -3*p for z.
4
Let t(c) = c**3 + 9*c**2 + 9*c + 12. Let k be t(-8). Suppose 0 = -3*r - 0*q - 5*q + 37, 2*q = 3*r - 2. Solve 0 = -3*a - b + 19, a = -r*a - k*b + 41 for a.
5
Suppose 2*r + 0 = 8. Suppose -w + 15 = 4*c, -r*c = w + 2*w - 21. Let t be 4 - c - 1 - -5. Solve 2*m + 3*u = -2*u - 20, t*u + 10 = 0 for m.
-5
Suppose 0 = -5*v + 2*v + 42. Let w = v + 1. Solve -f = -4*n + w, -4*f + 2*n - 5*n = -16 for f.
1
Suppose 7 = y + 4*n, -n = 2*y + 3*n - 10. Let g(c) = -c**3 + 3*c**2 + 2. Let x be g(y). Solve -5*i = -0*p - x*p + 5, 5*p = -2*i - 31 for p.
-5
Let q be (-20)/30 + 2/3. Solve d + 3*f - 11 = q, -2*d + 2 = f + f for d.
-4
Suppose 3*q - 4*l + 11 = 0, 2*q - 27 + 6 = -3*l. Solve -q*z + 4*s = 18, -2*s = z - 2 - 2 for z.
-2
Suppose 2*q + 8 = -l + 3*l, -5*l = 3*q + 12. Suppose -4 = -t - l. Let i be (t/4)/(2/4). Solve 0 = 4*a + i*p - 24, 2*p - 2 = p for a.
5
Let r = -6 - -5. Let m = r - -1. Solve -5*i = -4*y - m*i, 0 = 4*y + 5*i for y.
0
Let l(m) be the first derivative of m**2/2 - 3*m + 1. Let q be l(0). Let a be 4 + (-2 - q) + 0. Solve 4*f + a*r = f - 15, -5*f - 5*r = 15 for f.
0
Suppose 6 = -3*v - 3. Let a = v - -4. Solve -5*o + 13 = -3*y - a, -o = -2*y - 7 for o.
1
Let u be 5/(-10)*(1 - 5). Suppose 0 = -u*s + 8 + 4. Solve -2*b - 2*x - s = 0, 5*b + 2*x = -13 - 2 for b.
-3
Let a = -2 - -6. Suppose 0 = 3*q - 10 + 1. Suppose -b - p = -7, 2*b - a*p = b - q. Solve -6 = -2*d + 4*h, -5*d = -3*d + b*h - 15 for d.
5
Suppose 3*w - 4*m - 31 = 0, -w + 2*m + 13 = -0*m. Solve 0 = -4*o - 4*k + 4, 4 = -o + 5*o + w*k for o.
1
Suppose -12 = -4*j + 8. Suppose -1 = -w + 1. Solve -3*s + 5 = -2*n, 0 = -j*n - w*s + 15 + 1 for n.
2
Let x(w) = w**3 + 7*w**2 - 6*w + 11. Let u be x(-8). Suppose 0 = 4*b, 5*j + 3*b - 40 = b. Let y = u + j. Solve -6*s = -o - 3*s + 7, -y*o = -2*s for o.
-2
Let q = -4 + 8. Let z(u) = -u**2 + 6*u - 6. Let a be z(q). Solve 8 = -p + a*w, -3*p = -p + 2*w - 8 for p.
0
Suppose -5*h = -o - 280, h + 2*o = 6*h - 285. Solve 21 = 2*p + 3*t, -5*p - 5*t + h - 15 = 0 for p.
3
Let k(m) = -m + 8. Let a be (-50)/(-6) + (-2)/6. Let j be k(a). Solve 2*l - 6 = 2*z, -2*z - 4*l - l + 22 = j for z.
1
Let g = -7 + 11. Suppose c + 4 = 2*i, 36 = g*i + 4*c + 4. Solve -j - 4*j - 7 = -2*u, i*j + 4*u = 0 for j.
-1
Let d = -9 - -12. Solve 4*b + d*p - 9 = 0, p - 5*p - 19 = -5*b for b.
3
Let s = 7 + -3. Let i = -14 - -23. Solve -o - 3*o + 3*u = 10, o = s*u - i for o.
-1
Let l(r) = -r + 1. Let t(f) = f**2 - 5*f + 1. Let z = -11 - -10. Let u(o) = z*t(o) + 2*l(o). Let a be u(3). Solve 1 + a = d, 2*h - d = 0 for h.
1
Let l = 1 + 1. Suppose 6 = -l*c + 3*c. Solve u - 3*u + 9 = 3*z, 3*z + u = c for z.
1
Let n = -18 - -21. Suppose 2*w - 20 = -4*m - 0*w, 0 = -2*m + w + 6. Solve -b - 5*y - n = -6*y, -26 = -3*b - m*y for b.
2
Let t = 14 - 10. Suppose -3*l + 5 = -t. Suppose l*x - 5*c + 10 = 0, -x + 5*c - 21 = -1. Solve -5*v - 4*i + x = 25, 4*i = -3*v - 20 for v.
0
Let i(z) = -z**2 - 9*z + 8. Let m be i(-9). Suppose -3*v + x = -m, x + 9 = 4*v - 2*x. Solve 0 = -f - v*s - 3 - 7, 0 = 4*f + 3*s - 5 for f.
5
Let n = 4 + -1. Let u be (1/2)/(n/72). Solve 5*w = 3*r - u, 4*r - 6*w - 16 = -w for r.
4
Suppose -5*y + 26 - 6 = 0. Let w = 0 + y. Solve -2*h + p - 2 = 0, -h + 2*p = -4*h + w for h.
0
Let f be (33 - 12) + (-8)/2. Solve 5*n = -s + 9 + 10, -s = -4*n + f for n.
4
Suppose -l - m = -3, 2*l - 5*m = -2*m + 11. Let t be 0*(1 - -2 - l). Solve t = -w - 1, -2 = b - w + 1 for b.
-4
Suppose -5 = -s, -2*g + 4*s + 4 = 16. Solve 11 = -3*j + g*v, -4*j - 23 = j - 2*v for j.
-5
Let g be ((-39)/6)/(1/2). Let v be (-67)/g + 2/(-13). Solve 0 = 3*h + 2*b + 2, -4*h - b + v = 1 for h.
2
Let q be ((-2)/3)/(1/(-6)). Let m(j) = j**2 - 10*j + 3. Let s be m(10). Solve -2*d - 2 = -q*b + 6, -2*b + 4 = -s*d for b.
2
Let x be (0/(-1))/(4/2). Suppose -3*n + 2 = -x*l - 2*l, -2*n + 10 = 3*l. Solve 2*y = l, 2*y - 13 = -2*p - y for p.
5
Let o(c) = -3*c. Let f be o(-1). Suppose 0 = 4*h - 8*h. Let g(l) = -l - 6. Let w be g(-8). Solve -4*s - w*u - 40 = 2*u, -f*s + 4*u + 5 = h for s.
-5
Suppose 2*v - q = 2*q - 5, v = -3*q + 20. Let b = v + -1. Solve 0 = 5*f + b*k - 3, -3*k = -2*f - 0*k - 8 for f.
-1
Let k = 90 - 86. Solve -k*p - h + 9 = -6, -4*p = 4*h for p.
5
Let g(y) = -y**3 + 5*y**2 - y - 5. Let z be g(5). Let d = -6 - z. Solve 0 = d*c + 4*r + 21 - 1, -3*r - 11 = -c for c.
-1
Let p = -19 - -23. Solve 4*l + 2*m = -l - 14, l + p = -m for l.
-2
Let x = -1 + 4. Solve 0 = -4*b + b + x*q + 12, -12 = 5*b + 3*q for b.
0
Let s(m) = -m**3 + m + 5. Let u be s(0). Solve 5*f + u = -3*y, -4*f + 0*f = -8 for y.
-5
Let o(k) = 13*k - 6 + k**3 - 7*k - 6*k**2 + k**2. Let p be o(4). Solve r - 1 = -5*s, s - p*r - 5 