 5 = 2*p + 9 for s.
2
Suppose z + 40 = 11*z. Solve -z*j - 20 = 5*l, 4*l + 2 = -j - 14 for l.
-4
Let w(v) = -11. Let r(o) = -o - 11. Let s(b) = 3*r(b) - 2*w(b). Let k be s(-9). Solve -2*n + 2*h - 2 = -0, -n + 4*h - k = 0 for n.
4
Let i be 2 - (3 + -2)*14. Suppose o + 60 = -2*o. Let j = i - o. Solve -4*a - 12 = -3*u + j, -4*a - 3*u + 4 = 0 for a.
-2
Let d = 47 + -28. Solve 0 = 3*b + n - 8, -d = -5*b - 0*n + 4*n for b.
3
Let d(v) = -v - 11. Let z be d(-15). Solve -z*r + 8*l - 9 = 3*l, -4*r - l + 21 = 0 for r.
4
Suppose -3*l = -3*c - 273, -2*l - 2*c + c + 182 = 0. Let v be 13/l + 1/(-7). Solve -2 = j - 0, -5*n + j - 8 = v for n.
-2
Suppose f + 4*v - 8 = 0, -2*f - 20 = -3*v + 19. Let c be f/8 + 18/4. Solve -i = s - 8 + 3, c*s - 23 = -5*i for i.
4
Suppose 5*a = 2*a + 12. Suppose 0*p - 1 = -p + 4*t, 2*p + a*t - 38 = 0. Let j be 114/36 + (-2)/12. Solve -2*i + 5*k = p + 2, -2*i - k + j = 0 for i.
0
Let o be 2/(-1) + 2 - 0. Suppose -2*s + 24 = h - 3*s, h = -s + 16. Solve 1 = -2*z - 2*k - 3, o = z - 5*k + h for z.
-5
Let p(s) = -s - 2. Let f be p(-8). Suppose r + 0*r = -3*u - 6, f = 5*r + 3*u. Suppose -2*j + 3 = -r. Solve j*l = -6*i + i + 8, 2*l + i + 4 = 0 for l.
-4
Let r(g) = -g**2 - 9*g - 5. Let s be r(-8). Suppose 0 = s*j + 3*v - 27, v - 8 = 5*j - 29. Solve -j*p = -4*l + 1, 4*p - 18 = -2*l + 2 for p.
3
Let d(n) = -n**3 + 4*n**2 + 13*n - 3. Let w be d(6). Solve -2*i + 14 = -4*g, 3*i + w*g - 4 = 8 for i.
5
Let k = 22 - 7. Solve -k = 2*b + b, -v = -5*b - 22 for v.
-3
Let o be -5 - 2/((-6)/27). Solve -15 + 4 = -5*l + o*s, -4*l + 5*s + 7 = 0 for l.
3
Let o(r) = 8*r**3 + 2*r**2 - 1. Let b(k) = -k + 11. Let x be b(6). Suppose -3*m = 2*m - x. Let l be o(m). Solve -4*u = j + l, 5*j = 5*u - 3*u - 1 for j.
-1
Let r(b) = b**3 + 4*b**2 + b + 3. Let p be r(-3). Let t = p - 5. Suppose t*o - 8 = -0. Solve 5*x + 11 = 4*y, 24 = 7*y - o*y + 4*x for y.
4
Let s(x) = -6*x - 4. Let d be s(-3). Solve 0 = 4*i - 0 - 4, 5*h + i + d = 0 for h.
-3
Let k be ((-1)/(-2))/((-1)/22). Let n = 15 + k. Solve 4*x = 3*i + 6, -n*i = 4*x + 7 + 1 for x.
0
Let q = 4 + -2. Let j be (-3)/6 + q/4. Solve j = -3*t + 3, 5*a = -0*t + 4*t + 1 for a.
1
Let b(g) = 3*g**2 + 5*g. Let s(h) = -7*h**2 - 11*h - 1. Let j(n) = -5*b(n) - 2*s(n). Let i be j(-3). Solve -2*m = -p - 3, 0 = -i*m + 3*m - 3 for p.
3
Suppose -5 = -3*a + 10. Solve 3*f = -5*t + f - 5, 5*t = a*f + 30 for t.
1
Let l(o) = o**2 + 4*o + 5. Let p = -8 - -4. Let g be l(p). Solve y = -3*y - 16, 0 = -g*h - y + 16 for h.
4
Suppose 8*i - 4 = 7*i. Let f(b) = b + 2. Let m be f(2). Suppose 4 = -2*h + m*h. Solve -h*z - z = 5*o - 16, -z + 17 = i*o for o.
5
Suppose -12 = 4*d, -d + 47 = 2*g + 3*g. Solve r = -2*x - r + 2, 2*x + 5*r = -g for x.
5
Suppose q - 5 + 3 = 0. Suppose -q*b + 6 = -2. Solve 0 = b*d + 3*v - 19, -24 = -5*d - 4*v - 0*v for d.
4
Suppose -6*a = -2*a - 8. Let j be a/7 - (-66)/14. Solve -3*g = -8*g + j, 17 = 4*s + g for s.
4
Suppose i + 24 - 25 = 0. Solve -3*x + i = t, 8*x - 3*x - 5 = -t for t.
-5
Let p(z) = 3*z**2 + 1. Let w(o) = -o**2 + o + 1. Let j be w(2). Let k be p(j). Solve s - k*l - 2 = -0*s, 2*s = 4*l + 4 for s.
2
Let l be ((-6)/4)/(3/(-52)). Let h = -18 - l. Let v = h - -64. Solve r = -r + 10, 3*o + 4*r - v = 0 for o.
0
Let v(h) = -h**2 - 8*h + 1. Suppose 0 = -2*w - 16 + 2. Let f be v(w). Suppose -4*o + 8*o = f. Solve -y - 6 = -4*q, 2*q - 7*q + o = -4*y for q.
2
Suppose 3*k - 5*g = 48, 4*k - 54 = k + 3*g. Suppose 0*c = c - 6. Let i = 11 - c. Solve j = -0*j - i*z - k, -5*z - 29 = -j for j.
4
Let m(z) = 2*z**3 + 6*z**2 - 3*z + 2. Let s(i) = i**3 + i**2. Let v(h) = m(h) - 3*s(h). Let g be v(2). Solve -2*b + 7 = 3*t, 0 = -g*t + 4*t - 12 for b.
-1
Let p(w) = -5*w**3 + 6*w**3 - 6*w - 2 - 6*w**2 - 1. Let v be p(7). Suppose -3*s + 8*s + 12 = v*o, o = -2*s + 3. Solve s = y - m - 0*m - 4, y = -5*m - 2 for y.
3
Suppose -5*i - j + 16 = 1, 0 = i + 2*j - 3. Let g = i + 2. Solve 2*h + 3 = -1, -g*v = -5*h for v.
-2
Suppose -2*f = -3*f + 2. Let r = 0 + f. Solve 3*w + 1 = -5, r*k = -3*w - 2 for k.
2
Suppose d = 5*l + 1 + 5, d + 2*l - 6 = 0. Solve 33 = 2*c - 5*a, -d + 1 = 5*c + 5*a for c.
4
Suppose -5*l = -u - 11, 0*u + u = 4. Solve l*y - g = 14, -2*y = 5*g - 0*g + 2 for y.
4
Let p(x) = -x**2 - 5*x - 4. Let d be p(-3). Suppose 2*s + 16 = 5*t, -2*s - 10 = -t - t. Let z be (-2 + t + 8)/d. Solve -12 = z*a, -q = 3*q - a + 9 for q.
-3
Suppose -17*m + 20 = -7*m. Solve 2*z = 6*z + 16, m*z + 17 = 3*w for w.
3
Let u = -7 + 11. Let r = -9 + u. Let y = -2 - r. Solve -2*f - y*g - 11 = -0*f, 11 = -5*f - 2*g for f.
-1
Let r(l) = l**2 + l - 1. Let m be r(3). Solve -4*g = -3*s + 27 - m, -4*s = 0 for g.
-4
Suppose 5*q = i + 125, -38 = -3*q + q - 2*i. Suppose 0 = 2*a - 5*a + q. Solve -4*z = 5*r - 9, -a = 2*z - r + 5 for z.
-4
Suppose 10 = -3*l + 25. Suppose -5*f + 175 = 5*s, 4*s - 145 = -4*f - s. Let p = -2 - -6. Solve h + p*h - l*j = -f, -3*j = -h - 8 for h.
-5
Let x be (-2)/8*-2*-10. Let c = x + 7. Suppose c*k - 2*i = -5*i, 2*i = k - 7. Solve f + k*w = 1, 8 = 5*f + 3*w + 3 for f.
1
Suppose 5*x - d - 63 = 0, -5*x + d = 3*d - 69. Let v = x - 10. Solve v*c = y + 4, 0*c + 3*c + 5*y = -2 for c.
1
Let n(z) = z + 6. Let m be n(-4). Solve 2*f - f - 9 = 4*g, -5*g - m*f - 21 = 0 for g.
-3
Let j be (38/4)/(5/10). Let r = j - 19. Solve -5*x + 4*s = -0 + 2, r = -x + s - 1 for x.
2
Suppose 0*w = -4*w, -4*v = -3*w + 48. Let o = v - -19. Solve 3*k + 5*y = -29, 0 = -k - y - 0*y - o for k.
-3
Suppose 2 = -2*i + 6. Let x(u) = u**3 - 12*u**2 + 11*u - 1. Let o be x(11). Let j be 3 + (-5 + -1)*o. Solve -g = i*v - 0*g + j, -4*g - 1 = v for v.
-5
Let y be 6/(-2) - -4 - -49. Let h be (1/(-2))/((-5)/y). Solve h*r = 4*l + 17, -l = -5*r - 1 + 9 for r.
1
Suppose -4*z + 4*k + 8 = -28, z - 3*k = 5. Let v(x) = -x + 11. Let q be v(z). Solve q*o + 5*o = 4*g - 12, -4*o = -4*g + 8 for g.
-2
Suppose 2*s - 4*c = 2, -5*c + 5 = s - 3*c. Solve 0 = -b + 5, -b = s*a - 0*b + 10 for a.
-5
Suppose 3*p = 5*t + 12, 4*p = -0*p - 2*t + 16. Solve 3*a + 4*q - 14 = 0, 5*q - 21 = 2*a - p*a for a.
-2
Let g(x) = -x**2 - 5*x. Let i be g(-4). Solve -5*a = -i*u + 3, 8*u - a + 12 = 3*u for u.
-3
Let m(v) = v**2 - 2*v - 1. Let g be m(3). Solve 5*j + 28 = 2*l, -2*j - g*l - 4 = -l for j.
-4
Let f be 1 + (-3)/2*2. Let u = 2 + f. Let g be (-28)/(-6)*24/28. Solve a + 4*t - g = u, 0 = 3*a + a - 5*t + 5 for a.
0
Suppose -3*m + 10 = 1. Let r = m - 1. Solve 2*j + r*f + 5 = f, -20 = -j - 5*f for j.
-5
Let w(x) = -3*x + 5. Let z(d) = d - 1. Let g(t) = -w(t) - 2*z(t). Let r be g(0). Let u = r - -4. Solve 2*p - 5*m + u = -4*m, 17 = 5*p + 4*m for p.
1
Let v be -2 - 1/(2/(-4)). Suppose -15 = -3*z, g + 0*z = 5*z - 21. Solve -5*d + v*n = 2*n + 2, 4*d + g = -4*n for d.
0
Let d be ((-78)/(-65))/(1/15). Solve -3*t + d = -2*y, 2*t + y = 6*y + 23 for t.
4
Let d = 6 + -2. Let o(g) = 2*g - 6. Let a be o(5). Solve r - p - 6 = d*p, -3*r = -a*p + 4 for r.
-4
Suppose -4*g - 4 = 5*j, 3 = j - g - 2*g. Let k be 9/3 - j/2. Solve m - k*m = -3*s + 13, 24 = -5*m - s for m.
-5
Let t = -3 - -6. Let l be (1 + (-1)/3)*t. Solve 0 = -l*a - 4*g + 12, -g + 18 = -2*a + g for a.
-4
Let b = 83 + -80. Solve 3*o = b*z + 4*o + 2, -2*o - 2 = 4*z for z.
-1
Let j(f) = -5*f**3 - 2*f**2 - 4*f - 3. Let p(g) = g + 1. Let v(t) = j(t) + 2*p(t). Let n be v(-1). Solve 3*o - 2*o = n, -12 = -4*k - 3*o for k.
0
Let u(z) = -3*z + 6. Let m be u(5). Let j be (m/(-4))/(-3)*-4. Solve q = 3*p - 5, j*p + 2*p = 4*q + 13 for p.
1
Let g(m) = m - 1. Let b be g(6). Suppose -b = -4*q + 15. Solve -c + x + q = 0, -3*c = x - 2*x - 15 for c.
5
Let q(v) = 3*v - 5. Let l(h) = -2*h + 5. Let m be 19/4 + (-6)/8. Let x(j) = m*l(j) + 3*q(j). Let z be x(0). Solve 0 = -z*y - 5*u - 30, 2*y + 4 + 2 = 4*u for y.
-5
Let v(s) = s - 11. Let h be v(11). Let w be 4/(-1 + (-2 - -4)). Solve -q - 7 = 3*c, w*c + h*q + q + 11 = 0 for c.
-4
Let a be 10*(-7)/((-35)/18). Let n be (1 + -2)/(2*(-2)/16). Let l = 2 + 0. Solve -5*g = l*b + 2*b + a, -n*b = -4*g for g.
-4
Let m(q) = q**3 + 10*q**2 - 11*q + 4. Let k be m(-11). Solve -5*j - f = -8, 4*j - 6*j - 10 = -k*f for j.
1
Let y = 6 + -4. Suppose 0 = -0*t - t + 5*f + 29, t + 6 = -y*f. Solve t*r = -12, c - 3*r - 34 = -4*c for c.
5
Let n(b) = -22*b**2 + b. Let a be n(1). Let o be ((-7)/a)/((-2)/(-18)). Solve -r - 2 = -2*q, -o*r - 4*q - q = -27 for r.
4
Suppose 0 = -4*b - 3*n + 