*r + 11, 8*r = 5*r - 15 for y.
-4
Let z = -4 - -4. Let y(t) = 2*t**3 + 10*t**2 - 2*t - 7. Let v be y(-5). Solve 2*u + 14 = -2*m, v*m - u + z + 1 = 0 for m.
-2
Suppose 0 = 6*g - 3*g. Solve -15 = -5*y - g*p + 5*p, 5*y = 4*p + 13 for y.
1
Suppose 0*a = 3*a - 15. Solve -4*u - 8 = 2*x - 4*x, -3*x = a*u + 21 for x.
-2
Let b = 4 - 1. Suppose -4*r = -c - 14, c + b*r = -r + 2. Let n be 66/14 + c/(-21). Solve 0 = n*d + y + 21, -5*d - 15 = -5*y - 0 for d.
-4
Let l be 8/(-12) - 50/6. Let j be l + (2*-1 - -1). Let f = -6 - j. Solve 3*y = -3, 5*i - 3*y + f*y = 4 for i.
1
Suppose 4*g - 3*u = -u + 16, 0 = 5*g - 5*u - 30. Suppose 3*y + y + 3*v = 12, -g*v + 15 = 5*y. Solve 3*k - y*a - 17 = -5, 0 = k - 3*a - 6 for k.
3
Let z be (-14)/(-49) - (-61)/7. Let i be (-2)/(-5) - (-36)/10. Suppose -2*q - 4*s = -44, 40 - 98 = -i*q - 2*s. Solve -4*l + 2*h + z = -3*l, 2*l = h + q for l.
5
Suppose -2*a - 150 = 70. Let w be 2/8 + a/(-8). Solve -2*i + 3*g = -w, g = 2*i + 2*g + 2 for i.
1
Let c(s) = -s**2 + 5*s + 5. Let f be c(5). Suppose f*k + p = -0*p + 8, -4*p = -3*k + 14. Solve 3 = 2*b + 9, -3*b = -k*g + 13 for g.
2
Suppose 2*j = 11*j. Solve j = 2*l + v - 1, -4*l = v - 7 for l.
3
Let j = -111 - -123. Solve 4*y + v = -0*v - j, -y + v + 2 = 0 for y.
-2
Let m(a) = a**2 - 5*a + 3. Let y be m(5). Solve k - 5 = d, -d - y*k = d - 5 for d.
-2
Let d(f) = -f**3 - 2*f**2 + 2*f + 1. Let h be d(-3). Let l = h + 4. Suppose 3*g = 2*g + l. Solve 2*u = o + g, u + 3 = 4*o - 0 for u.
5
Suppose -4*j + 3*j - 4 = 0. Let o be 3/6*j*4. Let c(w) = w**3 + 7*w**2 - 8*w + 4. Let u be c(o). Solve 5*s - 2*k - 12 = -3*k, -u*s - 5*k + 18 = 0 for s.
2
Suppose 3*q = -q + 32. Suppose 0 = r + r - q. Let k be 96/15 + 2/(-5). Solve -3*i - 5*d - 12 = k, -r*d = 2*i + 14 for i.
-1
Let y = 15 - 9. Let g(k) = 2*k - 9. Let n be g(y). Suppose 5*m + 4 = -4*i, 3*m - 3 = -2*i - 5. Solve 4*z - 5 - 5 = -n*c, 5*c + 3*z - 2 = m for c.
-2
Let w = -9 + 14. Solve -5*r = -3*s - 12, 2*r = -2*r + w*s + 7 for r.
3
Suppose -k + 0*k - 13 = 5*u, -5*k = 3*u - 1. Solve 2*t + 2*z + k*z - 8 = 0, -t - 5*z + 4 = 0 for t.
4
Let a(w) = w**3 - 7*w**2 - 3*w. Let q be a(7). Let i = -14 - q. Solve -2*h - 3*f = -4*f - i, 5*f = -25 for h.
1
Let w = 3 + 0. Suppose -w*r = -r - 32. Solve -3*g + 3*a = 6, 0*g = 5*g - 2*a + r for g.
-4
Let k = 7 - 3. Suppose m - 5 - k = 0. Solve 0 = -4*l - 5*b + m, -5*l - 25 = -4*b + 3*b for l.
-4
Suppose 2*q + 3*f - 3 = 0, -3*q - 2*f + 3 + 4 = 0. Let p(d) = 0 + d**3 + d**2 - 2 - 6*d + q*d**2. Let s be p(-5). Solve -v + s*c = -0*v, c = 5*v + 14 for v.
-3
Let x = -12 - -18. Let t(j) = -j**3 + 7*j**2 - 5*j - 1. Let c be t(x). Solve -21 = -4*m - 2*s - s, c*s = 5*m for m.
3
Suppose 4*c = -3*j - 8, -1 = 5*c + 24. Solve 0 = -5*d + j*v - 17, 0 = 4*d + v - 5*v + 16 for d.
-1
Let v be (1581/(-18))/(-17) + 1/(-6). Solve -v*s - 5*d + 0*d = -5, -2*s - 3*d = -4 for s.
-1
Let d = 16 - -8. Let b = d - 9. Solve m + b = 4*m, t = 4*m - 17 for t.
3
Suppose -4*k - 169 = -409. Suppose b + 3*b = 4*r + k, 2*r + 10 = b. Suppose -u - b = -5*u. Solve -u = -3*w - 3*d - 17, -d - 20 = 5*w for w.
-4
Suppose -z = -5*z + 8. Solve q + 17 = -2*q + 5*h, 4*q = z*h - 18 for q.
-4
Suppose -p - 2 + 7 = 0. Suppose -3*a - p*w = -85, -5*w = -15 - 10. Let z = 30 + -10. Solve 5*c - 5*n + z = 0, a = -c - 4*c + 3*n for c.
-4
Suppose 7*l = 5*w + 2*l - 60, 0 = 2*w + 3*l + 1. Let q = w - 4. Solve -3*k + 0*a = q*a + 12, -5*a = -4*k - 25 for k.
-5
Suppose 6*o + 14 = 92. Solve -4*g - g - 3 = f, 3*g = 5*f - o for f.
2
Let n(a) = a**2 - 9*a + 12. Let d be n(8). Let s = d + -4. Suppose s*p + p - 21 = i, -i + 45 = 2*p. Solve -b = -2*r - 4*b - p, -r - 1 = -b for r.
-5
Suppose -3*c + 28 + 11 = 4*r, 5*c - 3*r = 65. Let p = 16 - c. Solve 2*j = -2*n + p*n + 2, -4*n + 16 = 0 for j.
3
Let f = 37 - 34. Solve -20 = 5*a - f*j - 0*j, -5*j - 4 = a for a.
-4
Suppose f = 4*f - 45. Suppose 0 = c - 6*c + f. Solve 4*n + 9 = -5*j - 10, -j = c for n.
-1
Let b be (2/4)/((-2)/(-12)). Suppose 0 = -q - 5*f - 12, 5*f + 9 = 2*f. Suppose -3*g + q = -0. Solve x = -i - g - 1, b*x - 4*i - 22 = 0 for x.
2
Suppose m + c + 2*c = 0, 2 = m + 2*c. Let r = m - 3. Solve -f = 2*v - 3, -6 = -r*f - 4*v + v for f.
1
Let w(y) = -y**2 + 6*y - 2. Suppose 0 = 4*i - 0*i - 20. Let v be w(i). Let j be (-2)/v - (-32)/12. Solve 0 = -x - 3*l - 17, 0 = -j*x - 3*x + 2*l for x.
-2
Let z = -88 - 5. Let q be 4/(-36)*3*z. Solve 3*j = -15, y = 5*j - 11 + q for y.
-5
Let q be (-3)/(3*1/(-4)). Let b be 2 - (0 + q)/2. Solve b = -4*x + 5 - 25, -2*c - x = 11 for c.
-3
Suppose 0 = -4*k + 4*h, 0*h + 4*h - 24 = -4*k. Solve -4*f + 3 = -k*d, 2*d - 3*f = f - 6 for d.
3
Let j be 12/((-6)/(-3)) - -4. Solve 2*q + q - j = d, 2*d = q for d.
2
Suppose 0 = -5*n - 0*n. Suppose n = 8*i - 4*i - 12. Solve i*r - 8 = -v + 8, 2*v - 4*r = -18 for v.
1
Let t(o) = -o**2 + o - 1. Let v be t(0). Let w = 5 + v. Solve a = 5*i + 5, 0*i + 4*i = -3*a - w for a.
0
Let c(r) = -2*r**3 - 4*r**2 - 2*r. Let d be c(-2). Solve 3*t = 3*q, 0*q = -d*t + q + 15 for t.
5
Let y be (-3)/3 - (4 + -17). Let s be (-6)/(-2) + 24/y. Solve 20 = 2*h - s*q, 4*q + 3 = -5 for h.
5
Suppose 7 = 2*j + h - 1, 5*j = 4*h + 33. Suppose -29 - 16 = -j*s. Solve 5*a - 7 = -2*o, -7*a + 2*a = 4*o - s for o.
1
Suppose -5 = -6*v + v, -3*x + 4*v + 2 = 0. Solve 5*o + 34 = x*h + 4, 3*o - 5*h = -37 for o.
-4
Let s be (2 + 4 - 4) + 1*3. Solve 4*p + 12 = -2*w, -s*w = 5*p - 2*p + 9 for w.
0
Let f = -29 + 29. Suppose -3*a + v = -0*a - 3, 5*a - 4 = 2*v. Solve 5*k - a*g = 11, 1 = k - g - f for k.
3
Let w be ((-13)/(-2))/((-2)/(-4)). Let j = w - 11. Solve -2 = -5*c - j*m + 18, -c = 5*m - 4 for c.
4
Let n(s) = 2*s. Let z be n(3). Suppose z = 3*h - h. Solve -p + 3*l = -h, 3*p - 3 + 16 = -2*l for p.
-3
Suppose -3*r - 140 = 43. Let o = -39 - r. Solve 5*g = s + 22, 4*g - g = 5*s + o for s.
-2
Suppose 3*q + 2*q - 100 = 0. Suppose 5*l + 6 = 7*l. Solve 2*n - 3*f = 2*f + q, -l*f - 12 = -3*n for n.
0
Let f(t) = -t**3 - t**2 - t + 6. Let c be f(0). Let i(g) = g**3 + 6*g**2 + 3*g - 7. Let v be i(-5). Solve 2*a - 5 = v*k, a - 2*k = -3*a + c for a.
1
Let j = -5 + 7. Suppose g = 3*f + 11, 2*g + 0*f - 10 = j*f. Solve i = -5, g*i - 8 = p + 3*i for p.
-3
Let v = 26 - 16. Suppose 5*w + 2*a + 50 = 7*a, 4*w = -4*a. Let m = w + v. Solve -m*b = 2*p - 3, -3*b + 0*p - 2*p = -1 for b.
1
Let t(w) = w - 6. Suppose -47 = -4*n + 5*u, -5*u = -n - u + 20. Let x be t(n). Solve 2*d - x*h - 2 = 0, 3*h = 4*d + 2*h + 8 for d.
-3
Suppose -3*a - 2*m = 6, -5*m + 3*m - 6 = -5*a. Suppose t - 2*t = a. Solve 4*y = -0*y, 2*q - 4*y - 4 = t for q.
2
Suppose -6*r = -3*r - 195. Suppose r = 4*o - 11. Solve 17 = 5*l - 2*p, -4*p + o = l - 2 for l.
5
Let y be (-18)/(-12)*8/(-6). Let b(j) = -j**3 + 2*j - 1. Let d be b(y). Solve d*v + 12 = 2*u, -u = 3*v - 2*v + 4 for u.
0
Suppose 7 = 5*k + 2. Solve -5*c + k = h, 2*h = 4*c - 4 - 8 for c.
1
Let v = 1 + 0. Suppose -f + v = -1. Solve b - 17 = -7*g + 4*g, -6 = 2*b - f*g for b.
2
Let l be 1/(2/(-12)*-2). Let j = -18 + 33. Let g = j + -10. Solve -g*t - 2 = 2*u - 10*t, -22 = -4*u - l*t for u.
4
Suppose -4*f + 2*n = -318, 4*f - 353 = -2*n - 3*n. Let i be f/26 + 22/(-143). Let u = -1 + 3. Solve 3*v - u = i*p + 13, 0 = -3*p for v.
5
Let f = -2 + 7. Suppose 0 = -4*m - 2*s + 7*s - 7, -4 = -5*m + 2*s. Suppose 0 = -b + m. Solve -4*g + 19 = 3*o, 3*g + f*o - 18 = b*o for g.
1
Let s = -8 + 17. Let l = s + 3. Solve -8 = -5*i - 2*y, 0*y = -4*i - 3*y + l for i.
0
Let r be (-820)/(-45) - 2/9. Solve -3*b - 28 = 4*s, -s - 6 - r = 5*b for b.
-4
Suppose q + 6 = -5*u + 4*u, -2*u = -4*q. Let v = 2 + q. Solve -4*w - 3*j + 6 = -j, v = 2*w - j - 5 for w.
2
Let l(q) = q + 15. Let v be l(0). Solve 0 = -3*d - v, 0*d + 4*d + 22 = n for n.
2
Suppose -4*f + 11 = -1. Solve 3*j + 4*r + 16 = j, -f*j + r = 3 for j.
-2
Let c = 48 + -28. Suppose c = 5*v - 2*z + 4*z, 2*v = -2*z + 14. Solve -6*k - 4 = 4*b - 2*k, -v*b = k - 1 for b.
2
Suppose 9 = -i + 4*i. Suppose 32 = 5*t - i*t. Solve 6*h - t = 5*h - 4*b, -4*b = 4*h - 4 for h.
-4
Suppose 3*g = 2*s + 2, -g - 4*s = g + 4. Solve 0 = -4*z - g*z + 4*b, 2*b = -2*z + 16 for z.
4
Suppose -5*g + 18 = 3*i, -g - 8 = -3*g - 2*i. Solve -n - 3 = 2*f - 12, 3*n + g*f = 15 for n.
1
Let c be (-64)/6*6/(-4). Solve -h = 3*h, h + c = -4*u for u.
-4
Let f = -95 + 98. Solve -4*n + f*b - 4 = 0, b = -2*n - 7 - 5 for n.
-4
Let w = 8 + 