*n - 5*z for n.
0
Let i(a) = 5*a. Let p be i(1). Let c be 2 + 4 + (-4)/2. Let k be (c/12)/(2/24). Solve p*x - 3*f = 24, -x + 2*f = -k - 5 for x.
3
Let d(i) = -i**2 - 4*i - 1. Let g be (4/(-10))/(2/10). Let j be d(g). Suppose 2*k + 0*k = 6. Solve -2*z + j*z = -5*n + k, -z = 4*n - 3 for n.
0
Suppose 7 = -5*z + 17. Solve -3*m - r - 2*r = 0, 4*r = z*m + 12 for m.
-2
Let d = 67 + -62. Solve -5*j + 35 - 15 = -5*q, -j - d*q + 10 = 0 for j.
5
Let v = 6 - 1. Solve 0 = v*g - 25, -c = 2*c - 3*g + 18 for c.
-1
Let l(i) = i**2 - 6*i. Let n be l(8). Let u = -11 + n. Suppose 3*s + 2*s = u*m + 10, -3*s - 3*m = -18. Solve f - s = -2*z, 0 = -3*f + 6*f for z.
2
Let r = 45 + 16. Let p = 181 - r. Suppose -3*c - c = -p. Solve -5*o = -4*m - c, 0 = 4*m - 4*o - 0*o + 28 for m.
-5
Let p = -55 - -60. Solve -5*w - p - 2 = -k, -4*k + 5*w = 2 for k.
-3
Let i(h) = -h**2 + 14*h - 8. Let d be i(13). Solve -q - q = n + d, 0 = -5*q - 20 for n.
3
Let n = 26 + -21. Solve 0 = n*k - 5*b + 8 - 33, 3*k + 2*b = -5 for k.
1
Suppose 3*c - 3*f - 16 = -c, 0 = -5*f. Solve -4*p = -x - c*x - 27, 0 = p + x for p.
3
Let s be 3/18 + 35/6. Suppose s = -2*w - 6. Let g be (-4)/(-4) + w/(-2). Solve 22 = 2*l + 4*n, -l + 6 + 11 = g*n for l.
5
Let p(u) = u**3 + 3*u**2 + 4. Let t be p(-3). Suppose 0 = -t*q - 4*f + 40, -4*f + 42 = 5*q - 3*f. Solve 2*v = -q, 0 = 4*b - 3*b + v + 1 for b.
3
Suppose 4*i = -3*a - 10, -6 = -a - 0*a + i. Let q(x) = -x**2 + 4*x + 1. Let h be q(a). Solve -h*f - 27 = -5*o + 8, -4*f - 8 = o for o.
4
Let w = 17 + -15. Solve -1 = w*l + 3*f, -4*l + 5*f = l - 35 for l.
4
Suppose 4*d = 2*d + 12. Let l be d/18 + 1/(-3). Solve q + 3*t - 4*t = l, 3*q + 28 = -4*t for q.
-4
Let p(a) = -5*a - 1. Let d be ((-1)/2*-2)/(-1). Let f be p(d). Solve -2*n - 7 = 3*u + 2*n, -u - f*n - 13 = 0 for u.
3
Let m = 84 + 327. Suppose 0 = 5*f - 2*f + m. Let d be f/(-9) - (-6)/(-27). Solve d + 0 = -5*t, 3*a - 24 = 3*t for a.
5
Let g = -18 + 23. Solve 12 = -4*q + g*v, -2*q = 3*q - 3*v + 15 for q.
-3
Let z(r) = -r**3 - r**2 - 3*r + 4. Let y be z(0). Solve -w + 2*w = -y*g + 7, 4*w = 2*g - 8 for w.
-1
Let l(k) = -k + 1. Let y(n) = -3*n + 7. Let m(b) = 4*l(b) - y(b). Let u be m(-3). Suppose -h + 4 = -u. Solve h*q = 2*c - 18, 0 = -0*c + 2*c + 3*q - 4 for c.
5
Let d(g) = g + 18. Let q be d(-14). Suppose q*r = -r - 4*a + 67, r - 11 = -2*a. Solve 0*t + r = -3*t, t + 9 = 2*o for o.
2
Let t(p) = p**3 + 5*p**2 + 3*p - 7. Let l be t(-3). Solve s + 10 = 3*q, -4*s + 3*q + l + 3 = 0 for s.
5
Let y be (6/4)/(6/4). Suppose -2*g - 2 = -p, 2*p - y - 3 = -g. Solve c + c - 14 = 2*f, 2*c + 4*f - 2 = g for c.
5
Let l(j) = -j**3 + 12*j**2 - 12*j + 15. Let n be l(11). Let y = n - 2. Solve -5*m = -2*f + 6, -y*f = -3*f + 3 for m.
0
Suppose -36 = 3*z - 12. Let i be -3 + z/6*-6. Solve -o + 0 = -3*u + 7, i*u - 2*o = 13 for u.
1
Suppose -24 = -4*c - 2*q, c + 3*q - 11 = -0*q. Solve -3*p + 9 = 5*i, 5*p = p - c*i + 7 for p.
-2
Suppose -v = 4*l - 0*v - 20, -3*l - 2*v + 10 = 0. Let i be l/21*(-42)/(-3). Solve 2*z + 15 = -3*f + i*z, z + 10 = -2*f for f.
-5
Let a be 2 - 0 - 3/(6/4). Solve -h + a*b + 4*b = -21, -3*h - 2 = b for h.
1
Let f = -2 + 6. Suppose -f*k + i = -18, -21 = -0*k - 5*k + 2*i. Let b be (3 - -3) + 2*-1. Solve -3*l + 17 = k*z, -b*z + 19 = l - 4*l for z.
4
Suppose 2 = 4*n - 6. Solve -2*o - 3*d + n*d + 5 = 0, 5*o + 5*d = 20 for o.
1
Let x = 97 - 87. Solve 2*m + 4*s + x = 5*s, 3*s - 21 = 3*m for m.
-3
Suppose -g = g - 12. Let l(z) = 2*z - 5. Let d be l(4). Solve -3*m + 2*m - 3*w = g, -m + d*w = 0 for m.
-3
Let q = 23 + -21. Solve -b = a, -2 = 2*a - q*b + 2 for a.
-1
Let y be (-74)/(-9) + 6/(-27). Suppose 2*x + 2*x = y. Let f(p) = -p**2 + 15*p - 24. Let m be f(13). Solve 0*o - m*o - 7 = -5*z, 11 = x*o + z for o.
4
Let o(q) = q + 8. Let j be o(-6). Suppose 0 = -2*w + 4*t + 54, -4*t + 0*t - 20 = 0. Solve 5*h = -4*s - 22, 0 = -h - j*s - 3*s - w for h.
-2
Suppose -q - 5 = -2*q. Solve 5*f + q = 4*c + 14, f - 5 = 4*c for f.
1
Let o(g) = 6*g**2 - g - 2. Let w be o(-1). Solve -3*k + w*k = -u - 1, 5*k + 30 = 3*u for k.
-3
Let x be -1 + (-20)/12*-3. Solve -v + x*q + 13 = 0, 3*q = 2*v - 0 - 6 for v.
-3
Let m(i) = 2*i - 3. Let t be m(-6). Let u be (-9)/t - 6/10. Let z = 2 + u. Solve -4*x - w + 1 = 0, 0*w = 5*x + w - z for x.
1
Suppose -z + 22 = 2*g + 3*g, z - 5*g = -18. Suppose -2*j = -2 - z. Solve -n - 1 + j = -b, -2*b - 2 = 0 for n.
0
Let k(v) = v**3 - 12*v**2 + 2. Let w be k(12). Solve -3*l - 4*f + 25 = 0, 5*f - 12 = w*f for l.
3
Let a(v) = v**2 - 5*v + 7. Let s be a(4). Solve s*z + 2*z = -2*i + 24, -z = 4*i - 12 for i.
2
Suppose -3*p + 6*t - 3*t - 9 = 0, 2*p + 15 = 5*t. Suppose -4*c - 63 + 15 = 0. Let o = c - -25. Solve n - 4 = l, -3*l + 3*n - n - o = p for l.
-5
Let u be -4 + (1 - -1) + 3. Let l(f) = 3*f**2 - 2*f - 1. Let o be l(-1). Suppose o*k - 7 = u. Solve d + 4*i + 19 = 0, d = 2*d - k*i - 5 for d.
-3
Let m be (1/(-1))/((-2)/10). Solve 4*q = m*d - 10, d - 10 = q - 4*d for q.
0
Suppose -8 = -6*c + 2*c. Let u be 0/((-1)/(-1) + c). Solve -2*f + t + 3 = 0, 5*f - 3 + u = t for f.
0
Let c(v) = v + 14. Let z be c(-10). Solve 0 = -u + 1, z*l - u - 2 + 23 = 0 for l.
-5
Let a be 330/11*2/(-3). Let l = -15 - a. Solve -4*t = 5*r + 16, l*r + t - 5 = -24 for r.
-4
Suppose f = -3*f + 20. Suppose -2*i - f = -3*i. Solve -23 = -i*o + v, -4*o = -v + 5*v - 28 for o.
5
Let l(d) = -d**2 + 15*d - 10. Let b be l(14). Solve 0 = 3*w + b*k - 3, 4*k + 4 = -5*w + 17 for w.
5
Suppose 0 = -2*y - 3*i + 13, -8*y = -5*y + 3*i - 12. Let u be (-2)/1*(-3 - y). Suppose 22 = u*w + 6. Solve w*j + 14 = b - 2*b, -3*j - 2 = 5*b for j.
-4
Let r(u) = -8*u - 48. Let k be r(-6). Solve k*a - 3*l + 14 = -a, 5*a = -3*l + 20 for a.
1
Let o be ((-16)/(-8))/(2/8). Let b be 26/o - (-2)/(-8). Solve 3*k + a = -11, -4*k = -b*k + 4*a - 11 for k.
-5
Suppose 5*r + 55 = 5*j, 1 + 35 = -3*r + 4*j. Let y be 16/(-6)*6/r. Solve -q + 5 + 3 = -2*v, -4*v - 24 = y*q for q.
-2
Suppose -3*t = 5*r - 45, -t = r - 4*r + 13. Solve r = -2*k - 3*l, -4 = 3*k - l + 3*l for k.
0
Let k = -38 - -25. Let o be 4*5 + 0 + -2. Let x = o + k. Solve -2*n + 31 = x*a, 0*a + 22 = 4*n + 2*a for n.
3
Let z(n) = 0*n**3 + 4 - n**3 + 15*n**2 - n**2. Let q be z(14). Solve 0 = -2*m + 5*h - 25, -4*m + 2*h - q = 6 for m.
0
Suppose z - 12 = -z - y, z + 3*y = 16. Solve 0 = v - 5*n, z*v + 0*n - 18 = 2*n for v.
5
Let n = -13 - 9. Let q = 41 + n. Solve -5*i - q = 3*y + 15, -i = -3*y - 4 for i.
-5
Let o = 7 - 5. Solve 0 = -3*g + b - 13, -b = o*g + 2*b + 5 for g.
-4
Let j be 4 + (-1)/(0 + -1). Suppose j*i = -0*i + 30. Solve i = 4*r + 3*w, -5 - 11 = -4*r + 2*w for r.
3
Let z(m) = -3*m**3 - 2*m**2 - 2*m - 1. Let w = -26 - -25. Let y be z(w). Solve y*g = -2*g + 20, 25 = 4*u + 5*g for u.
0
Let q be (3/(-3)*0)/1. Suppose q*v = -v + 3. Suppose 1 = -4*s + 13. Solve 5*n + 7 = s*c, 3*n + 9 = v*c - 6*c for c.
-1
Suppose 1 = 3*l - 3*f - 2, -5*l - 2*f = 2. Solve 5*h + 2*s - 21 = l, 2*s = -2 - 2 for h.
5
Let c be ((-10)/6)/((-3)/9). Let m = c + -1. Let r be (-3)/(33/(-12) + 2). Solve 2*j + 3*j = -m*z + 36, 0 = j + r*z - 20 for j.
4
Suppose 8 = -4*v - 0. Let i = 0 - v. Let a = i + 7. Solve -2*f + 7 = 4*t - a, 4*t = f + 22 for f.
-2
Suppose 0 = 2*c + 2*s - 14, 5*c + 6 + 4 = 4*s. Solve -c*a + 6 = -4*a, -a = -y for y.
-3
Let o = 19 + -9. Suppose 6*l - o = l. Solve -3*m + 13 = 3*x + l*m, 4*x + 4*m - 12 = 0 for x.
1
Let m(l) = l**2 - 5*l - 3. Let u be m(7). Suppose 0 = i + 3*i - 3*c - 7, -c = 2*i - u. Solve -5*k + i + 1 = -5*o, 0 = 4*k - 5*o for k.
5
Suppose -13*u = -6*u - 28. Solve 5*f + 0*f + 3*o = -6, -u*f + 5*o = -10 for f.
0
Suppose 32 = 5*x + 17. Solve 4*a + g + 17 = -2*g, x*a = 5*g - 20 for a.
-5
Suppose 5*r + 6*r - 44 = 0. Solve -3*x - 2*v + 25 = 0, -r*v = -5*v + 5 for x.
5
Suppose 2*r = r. Let d(a) = a**3 - a**2 - a + 16. Let g be d(r). Solve -1 = -2*s + b, 0 = 2*s - 2*b - 2*b - g for s.
-2
Suppose -d - 81 = -84. Let h be 0/(1 + -2 - 0). Solve 4*u + 0*c = c - d, u - c = h for u.
-1
Let t(l) = -26*l - 1. Suppose 4*z = 3*w + 2, 3*z = -2*w - 11 + 4. Let b be t(z). Suppose 5*u + 0*u = b. Solve q - h + 3*h = -4, 3*q + 8 = -u*h for q.
4
Let b(w) = -w**3 + 2*w**2 - 1. Let y be b(-1). Suppose 4*q - y*p = 80, 3*q - 2*q - 4*p = 34. Solve 3*i - 3*x + 6 + 6 = 0, -5*x + q = -4*i for i.
-2
Let a = -49 + 51. Solve -3 = l - a*v + 2, 0 = 5*v for l.
-5
Suppose 5*y - 3*d