-6*p + a for p.
3
Suppose -16*q = -15*q - 5. Solve -q*l + 4*u + 36 = -0*l, l + 4*u + 12 = 0 for l.
4
Suppose i + 24 = 4*q, 4*i = -3*q + 2 - 3. Solve -t - q*a = 7, 0 = 4*t - 2*a - 14 - 2 for t.
3
Let s be 1*6/((-36)/(-78)). Solve v = -3*a + 2*v - s, a + 7 = 3*v for a.
-4
Let s be ((-5)/4)/(1/(-4)). Suppose l - 2*a = a + 12, -5*l - 2*a = 8. Solve -30 = s*w - 3*k, l = w + w - 2*k + 16 for w.
-3
Suppose b + 2*q = 3, b + 8*q - 4*q - 3 = 0. Solve 3*k - m + b*m - 14 = 0, 16 = 5*k - 4*m for k.
4
Suppose 24 = 3*w - 51. Solve w = -5*o + 5*z - 4*z, -2*o = z + 3 for o.
-4
Let c be ((-2)/4)/(2/(-168)). Let o(i) = -3 + 0 + 0 + i**2 - 2*i - 5. Let u be o(-4). Solve 5*p - 2*b + u = c, 4*b = 5*p - 32 for p.
4
Let p(j) = 2*j**2 - j. Let u be p(-1). Let f be u + 4 + 3 - -3. Solve -2*r - 2*r = -3*d + 10, 5*r = 4*d - f for r.
-1
Suppose 12 + 28 = 3*b + w, -3*b + 2*w = -28. Let i = b + -10. Solve -p - 14 = 3*x, 2*p + 2*x - i = -18 for p.
-5
Let y(m) = -m**3 - 4*m**2 - m - 4. Suppose -3*v + 7*v + 20 = -2*a, 0 = a - 2*v - 2. Let w be y(a). Solve -3*z + 5*p = -7, 0*z + 5*z + 2*p + 9 = w for z.
-1
Let s(u) = u**3 + 3*u**2 + 3*u + 1. Let p be s(-2). Let c = 3 + p. Solve -5 = 3*a - f, -a + 3*f - c*f + 1 = 0 for a.
-3
Suppose 3*x + 0*x + 2*n - 6 = 0, 3*n = 9. Suppose 0 = 5*m + 5, -3*j - j + 2*m = -22. Suppose 3*f = 33 - 0. Solve -5*r + f = -x*r - 4*v, j*r = v + 14 for r.
3
Let m(u) = u**2 + 2*u - 5. Let b be m(-4). Let c(f) = -2*f - 11. Let k be c(-8). Solve 3*h - 6 = -2*g - 0*h, -k*h = -b*g - 29 for g.
-3
Let q(g) = -g + 9. Suppose 0 = 4*k + u - 18, 26 = 5*k - k - 3*u. Let p be q(k). Solve p*l + 20 = 4*c, -4*c = c + 4*l - 25 for c.
5
Let x(j) = j**2 + j + 25. Let r be x(0). Let n = 37 - r. Solve -1 = 2*d + 5*q - 3, 5*d = -4*q - n for d.
-4
Let r = 3 - 1. Let z = 0 + r. Let g be 10/(0 + z - 0). Solve 4*o = -g*n - o - 45, 0 = 3*o + 12 for n.
-5
Suppose -4*k + 5*g - 5 = -6*k, k - 7 = 2*g. Let n be (-20)/50 + (-17)/(-5). Suppose 0 = -0*c - c + n. Solve 3*a = -5*f - 34, 0 = c*a - f + k*f + 29 for a.
-3
Suppose 0*l + 18 = 5*b - 3*l, 4*b + 5*l = 44. Solve 2 = f + 2*d - 0, -2*f - 5*d + b = 0 for f.
-2
Let i(f) = f**3 - 2*f**2 - f - 4. Suppose 3*c = 5 + 7. Let r be c*1*(-8 - -9). Let j be i(r). Solve -3*q = -3*p + j, 3*q = 3*p + 2*q - 18 for p.
5
Let o = 45 - 42. Solve -2*f + 14 = -o*b - 8, -25 = -5*f for b.
-4
Let j(g) = -g**3 - 7*g**2 + 6*g + 3. Let k be j(-7). Let a = -26 - k. Solve -3*i = -6*c + c + a, 2*c - 30 = -5*i for i.
4
Let n(f) = -f**3 + 4*f**2 + f - 10. Let p be n(3). Solve q = p*d - 0 - 2, 4*d + 8 = 5*q for d.
3
Suppose 4*z = 1 - 5. Let k be z/(-2 + 3) - -6. Solve 5*b + 5 = -k*a, -6 = b - 0*b + 2*a for b.
4
Suppose a + 2*o = -0*a + 1, 0 = -2*a - o + 14. Let g(j) = j - 6. Let m be g(a). Solve -2*u - 10 = -4*r, -u - m*r + 9 = -3*u for u.
-3
Let y(t) = t**2 + 8*t - 7. Let m be y(-9). Suppose 0 = m*g - 4 - 0. Solve -5*p + 7*r = g*r + 5, -2*r + 11 = p for p.
3
Let x be (192/(-240))/(1 - 6/5). Solve 2*o = 3*o - k - x, 2*k = -4 for o.
2
Suppose b - 2*z - 3 = -1, b - 5*z + 7 = 0. Let c = 10 - b. Solve -4 = -i, c*w + 3*i - i = 12 for w.
2
Suppose 4*n - 2*n = 36. Solve -2*h - n = h + 3*q, -4*h + 5*q = -21 for h.
-1
Let l(i) = 1 + 2 + 6*i - 4. Let d be l(1). Suppose -d = 5*c - 6*c. Solve -7*p + 2*p + 2*o - 12 = 0, -7 = p - c*o for p.
-2
Let x = -62 - -74. Solve -4*d + 1 = f - 11, -4*f = -2*d - x for f.
4
Let v be (-33)/(-5) + (-8)/(-20). Let t(g) = -v*g**2 + 5*g + 4*g - g - g**3 + 3. Let k be t(-8). Solve p - 2*p + 12 = -k*f, -2*f + 2*p - 12 = 0 for f.
-3
Let t(x) = 22*x**3 - 2*x**2 - x + 2. Let p be t(1). Solve -2*r - m - 11 = 0, 3*r - 4*m = -2*r - p for r.
-5
Suppose -2*d + 5*c = -0*d - 31, 2*d + 5*c + 19 = 0. Suppose -5*x = 2*a - x - 10, -2*a + d*x = -10. Solve -29 + 9 = -4*t - 4*m, -20 = -a*m for t.
1
Let w be 1*(-2 - (-5 + 3)). Suppose w = -3*y - 5 + 26. Solve 5*q = h + 11 + y, 3*q = -3*h for q.
3
Suppose -3*a + 10 = 4. Solve -a*m - 2 = -4*f, -3*f - 2*f = -4*m - 1 for f.
1
Suppose -5*n = c - 15, 3*c - 4*c - 3*n + 9 = 0. Solve 0 = -2*o - c*z - z + 3, -5*z + 15 = 4*o for o.
0
Let i = 17 - 17. Suppose i*a = 3*a - 12. Solve 5*j + 0*b + 24 = b, a*j = b - 20 for j.
-4
Suppose 0 = -2*d - 3*r + 8, -2*r + 8 = 2*d - 5*r. Suppose -d*i = -7 - 17. Solve 2*h + 3*w + 4 = 6*w, -3*h + 2*w - i = 0 for h.
-2
Suppose 3*m - 7*m + 16 = 0. Solve s + m*q - 2 = 0, -4*q + 8 = 3*s + s for s.
2
Let x = 14 - 9. Let s(t) = 2*t - 5*t + 5 + 7*t - t**2. Let f be s(4). Solve x = 4*n + f*o - 6*o, 5*n - 5*o + 5 = 0 for n.
2
Let n(t) = -t**2 - 4*t - 2. Suppose 4*d = -5*z - 33, 2*d + 2*d + 2*z + 18 = 0. Let w be n(d). Solve 5*s + j = s - 10, -5*j - 14 = w*s for s.
-2
Suppose 13 + 2 = 5*g. Solve g*w + 2*h - 18 = 0, 2*w + 0*w - 4*h + 4 = 0 for w.
4
Let r(q) = 2*q - 4. Suppose 0 = -g - 0 + 3. Let u be r(g). Solve s + u*k - 21 = -3*k, 2*k = s + 7 for s.
1
Let j be (2 + -2)*-1 + 5. Suppose -j*h + 9 = -6. Solve -4*z - h = 5*t, -5*z + t = -3 + 14 for z.
-2
Let a be 9/6*-1*2. Let y be (a/(-2))/((-3)/(-8)). Solve 0 = -5*g + 4*o - y + 7, -5*o - 9 = -g for g.
-1
Let z(y) = 3*y - 1. Let m be z(2). Suppose -3*k + 7*k = -4*o + 20, -m*k = -5*o + 25. Solve 5*c - 25 = o*w, c + 3*w = w - 7 for c.
1
Suppose -2*h + 26 = 5*x + 2, 0 = -4*x + 16. Let y be h/(-3)*-3 + 1. Suppose 5*z - 8 = 5*p - 2*p, 8 = 5*p - y*z. Solve p = -4*j, 15 - 3 = 2*l - 4*j for l.
4
Let g = 29 - 56. Let s = g + 57. Let k be 1/(14/(-5) - -3). Solve -4*d - 4 = t - 0*t, 0 = -k*d + 5*t - s for d.
-2
Let o be ((-3)/(-7)*-1)/((-6)/42). Solve 0*m = 3*m + 5*f + 1, -m - o = 3*f for m.
3
Suppose 0 = -4*h, i - 47 = -h - 20. Let q be (-94)/(-18) - 6/i. Suppose 25 = q*t - 0. Solve 0*g - 4*g = 2*c + 20, t*c - 2*g = -14 for c.
-4
Let n(b) = -b**2 - 2*b + 37. Let v be n(5). Solve -5*f - v*h + 9 = 0, 5*f + 4*h - 3*h = 12 for f.
3
Suppose 2*j + 0*y - 4*y = 4, -5*y = -25. Suppose 0 = 2*r + 2*r - j. Solve -4*u + 32 = -r*a, 13 = -4*a - 3 for u.
5
Let i be -1*3 - (-44)/4. Let p(a) = 6*a - 12. Let s be p(i). Solve -3*g - 5 = -n + 11, 0 = -5*n + 4*g + s for n.
4
Let q(c) = c**2 - 5*c + 3. Let i be q(5). Suppose -2*v + 2*b = -b - 34, -51 = -i*v + b. Solve -4*z - 19 = g, 49 = -4*g - 5*z + v for g.
-3
Let g be 16/48*(5 - 2). Solve 5*k - 3*l = -2*l + g, -k + 5 = l for k.
1
Let z be 410/50 - (-2)/(-10). Solve -u - u = -i - z, 0 = -4*i for u.
4
Let r = -8 + 12. Suppose r*x - 14 = 2. Suppose -12 = 4*g + 5*p, g - x*p - 24 = -3*g. Solve 0 = 4*l - 5*s, 0 = g*l + s + s + 18 for l.
-5
Let g be -5 + 7 + -4 + 0. Let h = 3 + g. Let p = h - -2. Solve 4*y + 5*s = -0*s - 9, -3*s = p*y + 6 for y.
-1
Let u(y) = 3*y**2 - 3*y + 4. Let d be u(2). Solve -21 = 4*s + 5*m - d, -5*s - 21 = -m for s.
-4
Let s be 30/9 - 2/(-3). Suppose -s*x - 16 = -4*n, -2*n = -11 + 1. Solve -1 = -2*j - r, 0*r - x = -4*j - 3*r for j.
1
Let c = 33 - 19. Suppose l + 4*i = -0*l - 10, -l - c = 5*i. Suppose 3*v = 2*d - 0*v - 34, -3*v = l. Solve -3*t + z = -0*z + 9, -2*z = -5*t - d for t.
-4
Suppose 0 = 15*h - 60 + 15. Solve -3*g = h*i - 2*g - 16, 0 = i - g for i.
4
Let y(o) = -2*o - 2. Let t be y(-1). Solve 2*d - v - v + 16 = t, d - 3*v = -16 for d.
-4
Let m be 0 - (2 - 2)*-1. Let n = 0 + m. Suppose n = 4*c - 7 - 5. Solve -3*a + 4*x + 7 = 0, 0 = -a - 0*a + c*x - 1 for a.
5
Let t be 1*4 + (9 - 11). Solve t*m = b + 2, 3*m + 5*b = -0*m - 23 for m.
-1
Let a(y) = 10*y + y - 5*y - 5*y - 8. Let q be a(10). Solve 2*v - 4 = 3*d, 1 = 4*v - q*d - 7 for v.
2
Let o be 8/(-2)*(-2)/4. Let j = 1 - -3. Suppose m - 20 = -j*m. Solve k - 15 = o*b + 2*k, 2*b - 10 = m*k for b.
-5
Let z(m) = m - 1. Let s be z(-2). Let j be (-10)/s*3/2. Suppose -2*g + 6 = -g. Solve -t = -j*b - 6*t - 10, g = 3*t for b.
-4
Suppose -5*v = -4*v - 33. Suppose -2*u = u - v. Suppose 2*q - 3*d = 11, -8 = -q - 2*q - 4*d. Solve 5*i + f = -3 - 6, 3*f - u = q*i for i.
-2
Let p = 7 + -3. Suppose -4*d - p*s = -12, -3*s + 15 = 5*d - 5*s. Suppose -x + 3*f - 12 = 0, 4*f = 5 + 15. Solve d*o + x*t = 9, 7 - 23 = -2*o - 4*t for o.
-2
Suppose 3*a - 3*y = -6*y + 54, 0 = -y - 3. Let s(h) = -h**3 + 2*h**2 + 8*h + 4. Let z be s(4). Solve k - 3*g + 0*g + 11 = 0, -z*k - g = -a for k.
4
Let t(q) = q**3 + 9*q**2 + 10*q + 20. Let d be t(-8). Suppose -2*h - 2*h = -32. Solve y - 3*u - 2 = 0, 0*y + 3*u = -d*y + h for y.
2
Let n(f) = f**3 + f**2 - f + 8. Let i be n(0). Suppose 5*j + 4 + 0 = 3*c, -c = -