- 5*j - 2 = -21 for p.
1
Let o be (3 + 0)*8/12. Let d be 2/6 - (-260)/12. Suppose -p + 2*c = -d, 2*c + 102 = 2*p + 3*p. Solve -5*a + 31 = -4*r, -o*r = -2*a - 2*a + p for a.
3
Suppose -25 = -f - 4*f, 0 = -d + 2*f - 8. Let q be (-1)/(-2)*-2 - -7. Let b = q - 4. Solve 3*t + 23 = -b*c, -4*c - 3 = -3*t - d for c.
-4
Let f(h) = h**2 + 8*h - 12. Let k be f(-10). Suppose 0*j - 12 = -2*j - 2*u, 0 = -4*u + k. Solve 0 = -v - 2*v - n + 11, j*n = 8 for v.
3
Let d = -24 + 28. Solve 0 = -5*j + 3*q - 8, -d*j - 4*q = -0*q for j.
-1
Let k(l) = 4 - 2 - 5 - 3*l. Let v = -4 + 2. Let r be k(v). Solve p = -3*p - 8, -r*p + 3 = 3*m for m.
3
Let n = -12 - -8. Let p be (-2 - -2)*2/n. Suppose -4*h + m + 8 = 0, 3 = 2*h - 4*m - 1. Solve 17 = -4*x - c, -h*c + p = 2 for x.
-4
Let b = 36 - 17. Let v be 2/((-2)/3) + -6. Let m = v + b. Solve 2*l + f + m = -3*f, 3*l + 15 = f for l.
-5
Suppose -2*b + 13 = -5*b + 5*n, 2*b + n = 13. Let y(j) = -j - 2. Let f be y(-6). Suppose -f*w + 4 = -2*w. Solve k - 6*k + 9 = b*p, -2*k = -w*p for k.
1
Let o(i) = 2*i - 11. Suppose -2*z - j + 18 = 0, -z - 4*z + 3*j + 34 = 0. Let u be o(z). Solve -2*b - 24 = 5*f, -u*b = 13 - 3 for f.
-4
Let g(n) = 4*n**2 - n - 1. Let w be g(-1). Let h(t) = -t - 3. Let s be ((-2)/(-5))/(3/(-45)). Let i be h(s). Solve w*j + j + 2*y = 26, i*j + 4*y - 24 = 0 for j.
4
Suppose -74 = -4*n + 18. Solve 4*q = -f - 19, 5*q = 4*f - 5*f - n for f.
-3
Let x = 2 - 8. Let z = 12 + x. Suppose 24 = z*o - 3*o. Solve s + t = 3*t + 5, 5*t = 4*s - o for s.
-3
Let l be (-6)/10*(3 - 8). Let d be (2 - 4/l)*3. Suppose -5 = 2*g - 11. Solve -2*z = -7*f + 4*f - 9, -d*f + 7 = g*z for z.
3
Let a(z) = -z**2 - 12*z - 10. Let q be a(-11). Let b(i) = i**2 - 4*i + 1. Let v be b(4). Let n = q + v. Solve -10 = -3*t + 2*u, -5 = -t + u - n for t.
4
Let i be (-1*5 - 1)*15/(-30). Solve i*f = 2*t, 0*t + t + 11 = -4*f for t.
-3
Let p(u) = 3*u + 9. Let i be p(0). Solve 0 = -2*z + 4, -4*z + 8 + i = 3*m for m.
3
Let m = -69 + 69. Solve -3*w + m*c - 4*c = -7, 21 = -3*w + 3*c for w.
-3
Let w be (2/6)/(1/9). Let c = -1 + w. Let b be (-2 - (-6 - -3)) + 1. Solve -c*t + b*j = 0, -t - 4*j - 30 = j for t.
-5
Let r = -18 - -38. Suppose r = 7*f - 2*f. Solve 2*c + f - 3 = t, 14 = 3*t + 5*c for t.
3
Let f(i) = -i**3 + 4*i**2 - i - 2. Let r be f(3). Suppose -5*p - 3*m = -21, -r*p = -5*m - 5 + 3. Solve d + 3 = 2*j, -2*j = -3*d - p*j - 16 for d.
-5
Let z(g) = -g + 4. Let b be z(2). Let n = 115 - 103. Solve -3*i - n = 3*p - b*i, 3*p + 12 = 2*i for p.
-4
Let l(w) = -w**2 + 3*w**2 - 5*w + 3 - w**2. Let g be l(2). Let f = g + 5. Solve -2 = -2*y - j, 3*y - 3*j + f = 5 for y.
1
Let k(l) = -l**3 - 7*l**2 + 9*l + 9. Let d be k(-8). Solve -5*w = -5*y + 20, -3*w + d + 3 = y for w.
0
Let w(d) = 3*d + 27. Let z be w(-8). Solve 6*h + 5*n = 3*h - 4, 0 = -4*h - z*n - 9 for h.
-3
Suppose -4*v + 9*v = 2*m - 10, 5*v + 10 = 0. Suppose m = -z - 2*i + 6*i - 7, 9 = -3*i. Let h = 29 + z. Solve 4 = -3*a - 5, 2*a + h = -4*w for w.
-1
Let v = 71 - 51. Solve g = -5*n + 4, -4*n + 8*n + 5*g = v for n.
0
Let z(s) = s**3 + 20*s**2 + 20*s + 22. Let m be z(-19). Solve 0*v + v + 7 = -m*x, 0 = -3*v + 5*x + 7 for v.
-1
Suppose -3*p + 20 = -2*f, -4*f + 2*f + 50 = 4*p. Solve -h - 2*y = p, 2 = -3*h + 4*h - 2*y for h.
-4
Let r(i) = -i + 16. Let w be r(11). Suppose -2*k + 4*k + 52 = w*q, 2*k = 4*q - 42. Solve 2*s = -q, a - 4*a - 4*s = 5 for a.
5
Suppose 5*h - 10 = 0, 170 = -4*m - 6*h + h. Let z be (-3)/12 + m/(-4). Let c = 8 + -5. Solve -3*y + j = -7, 0 = 6*y - c*y - 2*j - z for y.
1
Let m be (-1)/3 - (-117)/(-81)*-3. Solve j - 11 = -m*x, 5*j + x + 1 = j for j.
-1
Suppose -4 = 3*x - 13. Let o be (4 + -1)*5/3. Suppose -x*l + 20 = 3*j + l, o*l + 20 = 0. Solve -3*q + 2 - 10 = 2*v, -3*v - j = -2*q for v.
-4
Suppose -4*o = -2*r + 6, -r = -4*o + 3*o - 3. Solve 4*m - 23 = c, 2*c - 4*m + 26 = -o*c for c.
-3
Let j(m) = -3*m - 12. Let k(h) = -h - 4. Let t(p) = 3*j(p) - 8*k(p). Let z be t(-5). Solve -2*y = 2*l, -l + 4 = z for y.
-3
Let c(g) = 2*g**3 + 2*g**2 - 1. Let t be c(2). Solve -2*m - f + t = 3*m, -3*m = -5*f - 25 for m.
5
Let j = 413 - 689. Let y be (-1)/4 + j/(-16). Solve l + 5 = -u + 4, -3*l + y = -2*u for l.
3
Suppose 0 = 3*m + 9 - 3. Let q be m/(-11) - (-106)/22. Solve -2*l = q*r - 0*l + 3, 3*l = 4*r + 7 for r.
-1
Suppose -3*a = -4*w - 6*a + 31, -5*a = w - 29. Suppose 2*y - 10 = -8*x + 3*x, -3*x + 6 = w*y. Solve 10 = -4*o - 3*l, -3*l - 6 = x*o + 2 for o.
-1
Let i = -12 + 17. Suppose -2 = -i*h + 13. Suppose -3*m - 12 = -4*g, -h*g = -0*m - 2*m - 8. Solve 5*n + f + 21 = g, 4*f = -0*n - 2*n + 6 for n.
-5
Let n = -14 + 27. Solve -2 + n = -t + 2*y, 4*t + 16 = y for t.
-3
Suppose 6*f - 69 = 3*f. Suppose -5*d = 2*l + f, -d + l = d + 11. Let c = d + 14. Solve -x + c = 3*u - 2*x, 2*u = -x + 1 for u.
2
Let s(k) = -2*k. Suppose -m = -1 + 2. Let a be s(m). Solve -3*r + a*r - 2 = 0, 4 = -h - r for h.
-2
Let q be (-68)/60 + (-4)/(-30). Let n be 1 - (0/2 + q). Solve -n*d + 3*x = 5, -5*d + x = 4*x + 23 for d.
-4
Let g(r) = -r**3 - 11*r**2 - 9*r + 13. Let s = -20 + 10. Let n be g(s). Solve -2*w - 7 - 3 = 4*d, 2*d + n*w + 3 = 0 for d.
-3
Suppose -4*c = -35 + 15. Suppose q + m = 2, -c*q = m + 1 - 11. Solve 3 = 3*v, q*r - 3 + 2 = v for r.
1
Suppose 0 = -3*b + b - 6, 0 = -3*d - 4*b + 15. Let o be (-24)/d*30/(-8). Suppose -2*u = 3*u - o. Solve -u*s - 17 = -3*s - 4*n, -3*n + 30 = -5*s for s.
-3
Suppose 12 = 3*r + 2*h - 53, 0 = r + 5*h. Let p(q) = -q**3 + 7*q**2. Let y be p(7). Let u = y + 4. Solve -u*i + 2*k - 6*k + 20 = 0, -5*i = 2*k - r for i.
5
Suppose 0 = 4*n - 5*g - 22, g = -10*n + 5*n + 13. Solve 5 = -3*k + c, -n*c = k - 3*k + 6 for k.
-3
Let y = 33 - 28. Solve -4*h + 1 = -5*j + 18, y*h + 3*j = -12 for h.
-3
Let h = 0 - 0. Let t(x) = -2*x**2 - x. Let j be t(4). Let v be (-100)/j - (-4)/18. Solve h = v*f - 4*y, 5*f = -0*f + 4*y for f.
0
Let n(q) = 2*q + 9. Let c be n(-7). Let t(g) = g**3 + 5*g**2 + g + 7. Let d be t(c). Solve -d*s + o - 6 = 3, -3*o = 5*s + 6 for s.
-3
Let s(f) = f + 11. Let a be s(-8). Let u be a - 2 - (1 - 4). Let d be ((-6)/4)/((-6)/20). Solve -3*x - d = -0*x - g, 24 = -u*x - 3*g for x.
-3
Let q(v) = 4*v. Let n be q(1). Suppose -g + 8 = -3*s - 3, -g - n*s - 3 = 0. Solve -3*y = -g*l - 27, 0*l + y = -5*l - 11 for l.
-3
Let i = -12 - -20. Let x = i + -7. Solve 3*y + 3 = 3*q, 4*q + x = 4*y - y for q.
-4
Let d be ((1 - -1) + -1)*-10. Let j be -4 - 1 - -3 - 13. Let k = d - j. Solve 4*h + k*s + 12 = 0, 0 = 2*s - 3*s for h.
-3
Let v(a) be the third derivative of a**6/120 + a**5/12 + 5*a**4/24 + a**3/3 - 3*a**2. Let t be v(-3). Solve -3*b + t*r - 6 = r, -10 = 5*b - 3*r for b.
-2
Let j be ((-2)/1 - 0) + 0. Let d = j + -8. Let l be (-4)/d - (-828)/30. Solve 4 = -3*q - 5*y + 12, -l = 4*q - 3*y for q.
-4
Suppose -2*m + 6*m = 16. Solve -5*t = -q + 10, 2*q - 6*t = -m*t - 4 for q.
-5
Suppose 5 = 2*k + 1. Suppose 4*y - 4 = -3*w, w + 1 = -k*y + 3*y. Solve w = -0*x - 2*x + 5*n + 3, -4*x = 2*n + 6 for x.
-1
Let t be 4 - (-1 + 0 + 0). Let c(x) = -4*x - 2. Let l be c(5). Let b be -25*(l/(-10) + -3). Solve 0 = t*o - 5*m + b, -5*o - 17 = -3*m - 3 for o.
-1
Suppose 30 = o - 14. Suppose 0 = 5*d - 36 - o. Solve 0 = j - 5*k - 24, j - 5*k - d = 2*j for j.
4
Let p be (4 - -2) + (-2 - -1). Let o(b) = 5*b - 3. Let s be o(6). Suppose -3*t + 20 = t. Solve p*v - f - s = 0, v - t*v + 2*f = -24 for v.
5
Suppose 3*v - 8*v = -30. Let j be (-4 - -7)/(6/8). Solve v = -2*p + 5*x, -3*x + j = -2 for p.
2
Suppose -7 = -3*k + 5. Suppose 0 = 3*m - k*m + 1. Let u be m/(-3) + 26/6. Solve -a - u = -c, 7*a - 3*a + 24 = -4*c for c.
-1
Let d be ((4 + -4)*-1)/2. Suppose d*o + 20 = 4*o. Solve -p = o*t + 3, 3*t - 3 = 6*t for p.
2
Let t(o) = o**2 - 5*o + 4. Let r(l) = 2*l**2 - 10*l + 7. Let q(u) = 3*r(u) - 5*t(u). Let m be q(6). Solve -2*c + m*c = 3*b + 1, 3*c = b + 3 for c.
2
Suppose -3*p + 6 = -2*n, 3*n + 0 = -3*p + 6. Solve 2*b = -4*g - 28, n*g + 2 = -3*b + 2*g for b.
-4
Let y = -36 - -38. Solve -2*u = -y*b + 6, -5*b + 6 = -u - 3*b for u.
0
Let n(q) = q**2 - 7*q + 4. Let x be n(7). Solve -4*c = 5*z + 4, -4*c - z + 5*z = x for c.
-1
Let n(o) be the third derivative of -o**6/120 + 2*o**5/15 + 5*o**4/12 - o**3 + 2*o**2. Let k be n(9). Solve -4*y = -2*f - 3*f + 2, k*f - y + 3 = 0 for f.
-2
Suppose -3*t - 131 = -5*z, -4*z + 2*t + 17 + 87 = 0. Suppose -3*y + 8 = -z. Supp