*w + 10 = m*t for t.
4
Let x(u) = -u**2 + u + 2. Let m be x(2). Suppose -3*j - j = m. Suppose j = 5*l - 3*l + 5*q, 2*q = 4*l - 24. Solve -1 = -v - f, l = -v - 2*v - 5*f for v.
5
Let i(w) = -5*w - 119. Let g be i(-24). Solve -13 = -4*z - g, -5*k = 5*z + 5 for k.
-4
Let m(j) = j**3 - 2*j**2 + 2. Let o be m(2). Let v(c) = c**2 - c - 2*c**3 + 4*c**3 - o*c**3 - c**3. Let y be v(0). Solve y*p = w + p, -2*p - 20 = -2*w for w.
5
Let t(g) = g**3 + g**2 - g - 1. Let h be t(-1). Let f be (1 + h)/((-3)/(-6)). Solve 0 = -f*i + 4*r + 4, -4*i + 2*r + 2*r - 4 = 0 for i.
-4
Let k be (-4)/(-18) + 2/(-9). Suppose 2*s + 1 - 9 = k. Solve 4*w - 6*a + 8 = -2*a, -2*w + a = s for w.
-2
Let f be -3 - (-1 - (-15)/(-3)). Let h be (-15)/10*(-4)/f. Let s be 2/(h/1)*0. Solve s = 3*u + 4*a + 23, 2*u - u - a + 3 = 0 for u.
-5
Suppose x = 5*x. Suppose 5*v - v - 44 = x. Solve -6 = m + m + 3*t, -v = -5*m - t for m.
3
Suppose 3*s = l + s - 2, -3*s + 4 = 2*l. Let k = l + 3. Suppose k*m = -4*h - 8, h + 5*m + 14 = -h. Solve -2*n - 2*n + 10 = -2*t, h*t = 2*n - 7 for t.
-1
Suppose 4*c + 5 = y, -2*c - 4*y + 20 = -6*c. Solve 2*h = t + 15, c + 25 = 5*h for t.
-5
Let b = 59 - 54. Solve -t = 2*t - b*s + 7, -4*t - 5*s = -14 for t.
1
Let q(o) = -o**2 + 12*o - 11. Let v be q(11). Solve -3*l + 24 = -3*c, -4*l - 2*c + v*c = -14 for l.
5
Let p be 7*(-1 + 2 + 0). Suppose 3*d - v - v - 2 = 0, 0 = 2*d - 3*v + p. Solve 8*q - 3*q = d*l + 31, 5*q + 4*l = -1 for q.
3
Let a(k) = k**2 + 2*k. Let z be a(-5). Let f be (z/(-10))/(3/8). Let d be 8/f - 2*-1. Solve d*j - y + 17 = 3*j, 0 = -3*y + 6 for j.
5
Let r(g) = 25*g. Let p be r(2). Suppose 5*u = p - 0. Solve 5*z - 2 = 4*q, -2*z - u = -5*z - 2*q for z.
2
Suppose 3*g - 4*f + 23 = 0, -g + 3*f = 2*g + 24. Let s be ((-51)/g - 4)*3. Solve -s*u - 5*r = 35, -r - 2*r = 15 for u.
-2
Let f be 1*5/(10/4). Let j be (1 - -45) + (f - 0). Suppose 0*y - 2*y = -j. Solve a + 3 - 6 = 2*v, -4*v - 4*a = y for v.
-3
Let i be 0*(-6)/4*(-1)/(-3). Solve -2*l = -3*x - 6, 5*x + i*l + 10 = -2*l for x.
-2
Suppose 0 - 1 = -d. Let y be -1*(0 + d) + -1. Let z = y - -7. Solve 5 = -x, 0 = -z*q - 4*x + 2*x - 35 for q.
-5
Suppose -5 = -3*d - 2*p - 0*p, -5*d + 3*p + 40 = 0. Solve -c + 8*y = 3*y + 17, -4*c = -d*y + 23 for c.
-2
Suppose r = -3*n + 36, n - 5*r = 5*n - 37. Suppose -4*h = 1 - n. Solve h*j = 4*d + 4*j - 5, -5*d + j - 5 = 0 for d.
0
Suppose -3*p + 2*q = p - 254, 2*p = -q + 137. Let u = p + -37. Solve 5*d + l - u = 0, 2*d = d - 5*l + 25 for d.
5
Suppose 0 + 0 = -9*j. Solve -3*w = 4*c - 5, j = 3*w - 5*c + 19 + 21 for w.
-5
Let z be (3/(-5))/((-11)/165). Solve 2*o = 4*x + 18, -5*o - x - x + z = 0 for o.
3
Let c be 1/4 + 209/76. Solve -5*a = -3*f - 24, 0*f + 4*a - 21 = c*f for f.
-3
Let a(d) = 2*d - 15. Let i(z) = 3*z - 22. Let o(s) = -8*a(s) + 5*i(s). Let g be o(10). Solve 3*v = -g + 12, 5*v = n + 18 for n.
2
Let s(i) = 2*i + 3*i + 1 - 4*i. Let a be s(-1). Suppose a = -f + 5. Solve -2*z = f*h - 24, -3*z + 19 + 7 = 5*h for z.
2
Let v(l) = l**3 + 7*l**2 - 7*l + 10. Let u be v(-8). Solve -4*h = -3*d, -2*h = -0*h - u*d for h.
0
Let n be (-4 - -6) + -1 + -5. Let a be 2 - 0*2/n. Solve -w + 11 = -4*p, p + 3 = -a*w - 11 for p.
-4
Let n be 93/(-6)*-2 - -1. Let q = -16 + n. Solve 3*m = 4*l - q, 5*l + 3*m + 9 = 2*l for l.
1
Let s = 14 + -10. Suppose 0 = g - v - 0*v - 6, 4*g - 9 = -v. Solve 0*w = 2*w - m + s, 0 = g*m + 6 for w.
-3
Let l be ((-4)/3)/(6/(-9)). Solve -2*i - 1 = n, 0 = -0*i + i - l for n.
-5
Let q be ((-2)/(-4))/(2/(-8)). Let b be q/1 + 3/1. Solve 4*m + 5*k - 32 = 0, -3*k + 2*k + b = -m for m.
3
Let q be (-558)/(-27) - (-2)/6. Suppose -2*f + 15 + q = 0. Solve 2*n + n = 3*m - f, 2*n + 8 = m for m.
4
Let b = -9 - -6. Let c(x) = -7*x - 3. Let h be c(b). Solve -5*t - v + 2 = -h, t + v = 0 for t.
5
Let f = -13 - -18. Solve 0 = -t - 4*t + 5*c + 20, f*t - 4*c = 17 for t.
1
Let o be (-2)/(0 + 1 + -2). Let i = -411 + 413. Solve -x = -o, -i*h - 5*x = -h - 9 for h.
-1
Suppose -9*u = -4*u + 90. Let l be 3/u - (-26)/12. Solve 7 = y - l*h, 4*h = 4*y - 4 - 20 for y.
5
Suppose 2*z + 22 = z. Let j be (z/6)/((-4)/24). Suppose -3*a + 14 = -0*a + 2*h, 4*h = -3*a + j. Solve -b - a = -0, 0 = -4*d - 4*b - 28 for d.
-5
Let c = 182 + -178. Solve -2*d + l = -4, 0*d + c*d = -5*l - 20 for d.
0
Let l(c) = -c + 11. Let i be 1 + 3/(9/6). Suppose 0 = -i*a + 4*z + 32, 4*a + 5*z - 7 - 15 = 0. Let d be l(a). Solve -2*u = -4*b + 12, d*b - 6 - 3 = u for b.
3
Let j(w) = w - 4. Let m be j(9). Let a(o) = -19 + 19 + m*o. Let g be a(2). Solve 2*b - 2 - 2 = 0, -4*x - 3*b = -g for x.
1
Let x(w) = w**2 - w + 3. Let n be x(0). Let j be (8/10)/(4/10). Solve -5*s + j*z + z - 15 = 0, -4*s + n*z - 15 = 0 for s.
0
Suppose -2*u - 3 = -3*u. Solve 2*s - 4 = -u*r, -2*r + 0*s - 2 = -s for r.
0
Suppose 0 = 5*h + f + 5, -4 = 5*h - h - f. Let z be 4/6 + h/(-3). Suppose -b + 0*b + z = 0. Solve y = 2*y + 4*n + b, -3*y = -n + 3 for y.
-1
Suppose 0*j = 4*j - 16. Suppose -j*r - 5*d = -r - 30, -3*d = -2*r + 1. Solve -7 = -3*g - 3*u + r, 4*u = -3*g + 11 for g.
5
Let j be (5/15)/(2/12). Suppose 0 = -y + j*n + 4, 4*y - 31 = -n + 4*n. Let d = y + 0. Solve 0 = -s - m - d, 3*m - 2*m = 3*s + 10 for s.
-5
Let i = -8 - -12. Suppose i*u + 7 = 27. Suppose -20 + 4 = -u*t + 3*m, -4*m = 4*t. Solve -t*b + 6*b + 3*y - 11 = 0, 13 = -3*b + 2*y for b.
-1
Let z(d) = 2*d**2 - 5*d + 4. Let c be z(2). Solve 4*n + 1 = -3*l - 2, -3*n = c*l + 2 for n.
0
Suppose 0 = 2*x - 0*x - 6. Suppose -8 = -x*f + 4. Solve -3*l + 4 = -4*q, -q + 2 = f*l - 16 for l.
4
Let q = 68 + -42. Let s = q + 1. Let h(z) = -z - 4. Let a be h(-6). Solve m - 5*n = s, n - 3 + a = -3*m for m.
2
Suppose 7*s + 2*t - 18 = 4*s, s - 6 = -5*t. Solve s*r - r - 16 = l, -3*l - 2*r = -20 for l.
4
Let f(z) = 3*z**3 - 2*z**2 + z. Let r be f(1). Solve -5*y = 2*a - 21, -2*a + 2*y + 6 = r*a for a.
3
Let v(p) = -2*p**3 - p**2 - p + 4. Let i be v(0). Solve 3*l - 4*k = 35, -k - 2*k = i*l - 5 for l.
5
Suppose 4*n + n - 25 = 0. Solve 25 = -n*r, -6*t + 5*t + 5*r + 21 = 0 for t.
-4
Suppose 2*r = 4 + 2. Solve -5*f + 15 = -2*i, -f + 2*i + 6 = r for f.
3
Let h(k) = 4 - 7*k - k + 0*k + 6*k + 3*k**2. Let a be h(3). Solve 4*o + 26 = -2*w + 6, 5*o = w - a for o.
-5
Let j(y) = y - 1. Let a(v) = -3*v + 4. Let q(o) = a(o) + 2*j(o). Let n be q(-2). Suppose n*g = -0*g. Solve 3*l - 2*i - 9 - 14 = g, 0 = 2*i + 8 for l.
5
Let g = -20 + 22. Solve b - g*z - 2 = -1, 2*b = -4*z + 18 for b.
5
Let p(w) = -11*w - 1. Let r be (-1)/1*(-15)/5. Suppose r*d = 4*d + 1. Let v be p(d). Solve 5*a - 2*x + 30 = 0, -v = 5*a + 3*x - x for a.
-4
Suppose 4*j - 4 = 3*w + 4, -5*j = -5*w - 10. Solve -3*n - 2*a = -2 + 23, w = -4*a - 12 for n.
-5
Suppose -4 = -4*b, 0 = d + d + 4*b - 8. Solve d = -4*w + 5*n, -w + 3*n - 6 = -n for w.
2
Suppose 70 = 5*r - 3*r. Suppose 2*u + 2 = 5*j - 13, -5*u + r = 2*j. Solve j*t - 5 = -4*w, t - 17 = 5*w + 13 for w.
-5
Let t = 9 - 7. Suppose -2*l + 16 = t*l. Solve -2*o - 4*s = -7*s + 9, -4*s + l = 0 for o.
-3
Let f be (1*4/2)/(6/12). Solve f*n + 20 = -2*a, -4*a = 2*n - a + 14 for n.
-4
Let j(k) = -4*k + 5. Let o be j(6). Let x = 37 - o. Suppose 4*t - 20 = 0, 0 = -5*g - 3*t - x + 246. Solve 2*u + 5*y = g, 2*y = -4*u + 25 + 5 for u.
5
Let x = 7 - 2. Solve x*r = -3*s + 11, 5*r - 2*r - 18 = 2*s for s.
-3
Suppose -4*f + l + 15 = 0, 4*f - 12 + 0 = 4*l. Suppose -2*o + 4 = 0, -f*c - o + 10 = -6*o. Solve -v - c = 3*n, 0 = -3*n - 5*v - 9 - 4 for n.
-1
Let t(l) = -2*l + 14. Let k be t(6). Suppose k = -2*a + 10. Solve -2 = -3*b + a*q - 0*q, 4*b - q = 7 for b.
2
Suppose -3*n = -2*n - 4. Suppose -4*y + 2*b + 6 = 0, n*y + b - 12 = 3. Let v = -3 - -6. Solve -l + 5*l = -5*m + 4, v*l - 3*m - y = 0 for l.
1
Let b = -4 + 7. Let f be (-5 - 5)*1/(-2). Suppose -20 = 3*z + s - f*s, b*z + s = 5. Solve a - v - v = 1, z = -a + 5*v + 7 for a.
-3
Let t = -20 + 27. Solve 0 = -4*u - 4, t = 3*q + 4*u + u for q.
4
Suppose 0*a + 4*a = -24. Let t = -1 - a. Solve 2*c - 4*w = 26 - 8, -3*c = -t*w - 23 for c.
1
Suppose -5 = 4*w + h, -2*w - h = 6 - 1. Suppose 2*c - 4 = -w. Suppose -4*p = -3*p - c. Solve 3*s - 8 = -p*s - 2*a, 5*s = -a + 4 for s.
0
Suppose 0 = -4*r - 4 - 0, -3*b + 8 = 4*r. Suppose -1 - 3 = -b*n. Let m be -1*15/(-3)*n. Solve -6*k = -k + m*v, 2*v = k for k.
0
Let y be 0 + 2 - -1*13. Suppose -3*r = -7*r - 5*w + y, -4*w - 4 = 0. Solve -2*s + 1 = 4*k - 3*k, r = 