+ 13 = 2*z, 3*q - s = -5*z for q.
-1
Suppose 0 = -4*b - 1 + 9. Suppose 0*y = -b*a + 3*y - 81, -3*a = 2*y + 115. Let d = a - -57. Solve 0 = 4*w - d + 6, 0 = 5*p + 4*w - 17 for p.
1
Let h be (1/(-2))/((-3)/(-6)). Let g be (1 - (-2 + -2)) + h. Suppose 0 = c + c - g. Solve 0 = -3*v - 3*x + 21, c*v + 5*x - 23 - 6 = 0 for v.
2
Suppose 1 + 1 = 5*t + 3*v, -v = 1. Let g = t + 4. Solve 20 = -g*c - 4*a, -4*c - 25 = 2*a + 3*a for c.
0
Let h(g) = -g**3 + 11*g**2 - 10*g + 2. Let o be h(10). Suppose -o*l = l - 12. Solve 5*x + 4 - 3 = u, 5*u + 16 = l*x for x.
-1
Let q = -99 + 104. Solve 17 = -3*y - j, q*y + 3*j + 19 = -12 for y.
-5
Suppose -3*f - 3*i = -21, -2*f + 14 = -0*f + 3*i. Solve -3*y - 6 = 0, 5*c = 5*y + 28 + f for c.
5
Suppose 4*k + 112 = 5*p + 383, -242 = -3*k - 4*p. Suppose -r + 16 = -t, 3*r - k = -r + 2*t. Solve 0*m - 3 = -m - 2*v, -4*v + r = 5*m for m.
5
Suppose 4*h + h - 10 = 0. Suppose 0 = 4*t + y - 20, -t = h*y - y - 8. Solve j + 3*s + 2 = -6, s + 7 = t*j for j.
1
Let n(i) = -i - 2. Let c be n(-2). Let s be 6/(-2) + 4 - -44. Suppose s = 4*q - 5*o - 4, c = 4*q + 4*o - 40. Solve -v - 4*v - 2*p = -16, p - q = -4*v for v.
2
Let t = -7 + 12. Solve 0 = t*l + 4*m, 2*l + 2*m = -1 - 1 for l.
4
Suppose 7 = u - 0. Suppose 3*h - u*y + 2*y - 49 = 0, 0 = 2*h + y - 24. Solve 4*j + 12 = -5*b + b, -4*j = 5*b + h for j.
-2
Let o(a) = 2*a - 5. Let h = 28 + -3. Suppose j = 5*p + h, -j + 3 = -3*p - 14. Let n be o(j). Solve n*v - 4*t = 28, -18 = -4*v - 5*t + 6*t for v.
4
Suppose -2 + 0 = -r. Solve 5*m - 10 = 5*v, r*v = 6*v + 8 for m.
0
Let a be (-3)/((-42)/(-4)) - (-30)/7. Solve 30 = 4*y - a*v - 6, -4*y - v + 16 = 0 for y.
5
Let t(r) = r + 2 + 10 - 2. Let s be t(-9). Solve -4*b - 1 = -m, -b - m = -6*b - s for b.
0
Suppose -o = -4*o + 378. Suppose 5*b - 18 - o = 3*g, -2*b = -g - 57. Solve -f - 3*j = -7, -3*f + 3*j = -0*j + b for f.
-5
Let m(v) = 2*v + 1. Let d be m(1). Suppose 29 = b - d*r, -2*r = b - 4*r - 33. Solve -5*j + 29 = -a, -5*j + a + b = -3*a for j.
5
Let q(g) = g - 1. Let l = 3 - 1. Suppose -l*i + 16 = 2*i. Let m be q(i). Solve 5*b + 3*h + 4 = -4, -m*b - 4 = 2*h for b.
-4
Let m(v) = -v**3 + 6*v**2 - 3*v - 6. Let c be m(5). Suppose -k + 35 = c*k + 4*d, -19 = 2*k - 5*d. Solve -9 - 6 = k*g + 2*a, 2*a - 6 = 4*g for g.
-3
Let q be (-2)/(-2)*(-3)/15*0. Solve 3*o + 4*d + 7 = -6, 3*o + 5*d + 14 = q for o.
-3
Suppose -2 = -5*p + 5*n + 3, -3*p - 3*n + 21 = 0. Suppose 0 = -4*f, -p*v + 8 = -4*f - 0*f. Suppose c = v + 2. Solve 2*w = 2*a + c, -5*a - w - 8 = -5*w for a.
0
Let o(m) = -2*m - 12. Let l(w) = -w**2 - w - 3. Let f be l(-3). Let i be o(f). Solve 10 = 2*k, 2*k = h + i*k - 19 for h.
-1
Let y(d) = 2*d - 42. Let w be y(21). Solve 2*b + 4 = -w*b, -4*b = 4*g + 16 for g.
-2
Suppose 0*z = -3*z - 9. Let m(c) = c**2 + 2*c - 1. Let j be m(z). Suppose 0 = 2*w + 4*q - 18, -q + 3 = -0*q. Solve -3*p = -j*o - 10, 0*o - 2*p - 15 = w*o for o.
-5
Let d be 0/3*(-8)/40. Solve -5*f - 4*g - 20 = d, -f + 6*f + 25 = -5*g for f.
0
Let q = 6 - 1. Let w be q*(0 + 4/10). Solve -w*z + 6*z = 2*g - 26, 6 = 2*g for z.
-5
Suppose 3 + 0 = y. Let w = 14 - 11. Solve s = 3*m + w*s + 6, y*s + 8 = -4*m for m.
-2
Let i(y) = -y**2 - 2*y + 2. Let a be i(-3). Let d = 1 + a. Suppose 4*l = 4*r - 56, 0 = -r - 2*r + 2*l + 38. Solve d*p = p + 4*g + r, -3 = g for p.
2
Let f = -46 + 46. Solve f*o + o = 3, -5*d = -3*o - 11 for d.
4
Let j = -70 + 73. Solve -4*w + 5 = -3*f, 5*w - j = f + 17 for w.
5
Suppose -4*v - 2 = g, -2*g = -5*v - 0*v + 4. Solve -3*o + 4*r = o - 16, v = o + r + 4 for o.
0
Let g(y) = y + 22. Let m be g(-20). Solve -15 = -4*t + 3*d - 6*d, -m*t - 2*d + 8 = 0 for t.
3
Suppose 0 = 7*o - 2*o - 35. Let w = o + -7. Solve 8 = -4*u - g, w = -5*u + 5*g + 3 - 38 for u.
-3
Let b be 8/6*(-21)/(-14). Solve -g - 5 = 2*o - b, -5*o - 4*g = 15 for o.
1
Let q be (-17)/(-4) + 2/(-8). Suppose 0*y + 2*y = 6. Suppose -u - 4*n - 10 = -y*u, -3*u + 8 = n. Solve -u*l + 12 = -3*c, -q*l + c + 17 = -2*c for l.
5
Suppose 3*y + 5*b = -19, -9*y + 5*b = -5*y - 33. Solve 2*p = -2*c - 4 - 0, 0 = y*c - 4*p + 22 for c.
-5
Suppose -2*i = 3*a - 0*i - 25, 5*a - 2*i - 15 = 0. Solve 3*o + 12 = -a*l, -2*o + 0*l + 2*l = 8 for o.
-4
Suppose 11*w - 2 = -2. Solve -t + 2*t = w, 0 = 3*r + 2*t + 6 for r.
-2
Let a(k) = -k**2 + 8*k + 12. Let p be a(10). Let w = -8 - p. Solve 5*m - 15 = -5*f, m = 5*f - w*m - 9 for f.
2
Suppose -23 + 3 = -2*b. Suppose -q = 2*y - b + 2, 0 = -4*y - q + 18. Solve -2*w - y*m = w - 16, -2*w - 4*m = -12 for w.
2
Let c = 0 - -6. Solve -3*t - 11 = t + 5*w, 3*t + c = -3*w for t.
1
Let j(x) = -3*x + 40. Let o be j(10). Solve o = -5*k + 3*v, 4*v = -2*k - v - 35 for k.
-5
Let o be (-21)/(-14)*3/9*0. Solve -4*a = 4*y - 5 - 3, 5*y + 10 = o for a.
4
Let k(d) = d**2 + 14*d + 2. Let v be k(-14). Suppose -4*q + 20 = 2*n - n, 4 = -v*q + 3*n. Solve 3*i = -q*x + 10, 0*i - 2 = -5*i - 3*x for i.
-2
Suppose 0 = q - 3*v - 15, v = -3*q - 2*v - 3. Solve -q*i = 2*l - 2, i + 4 = 4*l + 3*i for l.
1
Let f = 11 - 2. Solve 4*m + 21 = x, -x + 2*m = -f - 4 for x.
5
Let y(a) = 2*a + a**3 + 2 - 7 + 3*a - 6*a + 7*a**2. Let r be y(-7). Solve 2*c - 4*f = 22, r*f - 3 = 2*c - 17 for c.
3
Suppose -r - n = n, -4*n = 0. Suppose -2*f - f = r. Solve -4*s - 3*a - 17 = -f*s, -5*a = 15 for s.
-2
Suppose -4*w = -r + 2, -2*w = -4*w - 3*r + 6. Suppose w = 5*j - 4*j - 15. Solve -5*i + 5 = n - 5, 2*n = -5*i + j for i.
1
Let y(t) = -7*t + 9. Let r be y(-7). Suppose 2*l - 32 - 14 = -2*q, 0 = 2*q - l - r. Solve 5*w = -4*f - q, -f = -4*w + 3*w for w.
-3
Suppose 2*x = x + 5. Solve x*y - 12 = v, -4*v + y = 3*y + 4 for v.
-2
Suppose 0*u + 5*v = -4*u + 57, 3*v = -u + 9. Let t = u - 18. Solve 2*g - 7*g - c = 12, t = -5*g - 2*c - 14 for g.
-2
Let q(w) = 2*w. Let u(o) = o**2 + 10*o + 12. Let h be u(-9). Suppose 0 = 2*d - h - 1. Let f be q(d). Solve 0 = c - 5*c - 3*n - 17, -7 = -f*c + 5*n for c.
-2
Suppose 3*n + 4*i + 9 = 0, 18 - 3 = -5*n + i. Let a = n + 5. Let k be (-4)/(-2) - (a + -2). Solve 4*c = -k*o - 6, -3*o + 0*o - 1 = 4*c for c.
-4
Let h = -9 - -9. Suppose h*k = k - 6. Solve -k*g + 25 = -5*m - g, 2*m + 11 = 3*g for m.
-4
Suppose x = -2*w + 1, -5 + 1 = 4*w. Solve -5 - x = n - 2*g, -4 = n - g for n.
0
Let n(p) = 2*p**2 - p. Let t be n(-2). Solve -2*b = 5*m + t, -m + 3*b = m + 23 for m.
-4
Let v(z) = -2*z - 15. Let j be v(-10). Solve n = 5*d - 7, 4*d - j*n - 11 = 3 for d.
1
Let q(z) = 4*z**3 - 2*z**2 + z. Let r be q(1). Solve -2*w - w = r, 3*w = 2*u - 13 for u.
5
Let b = 3 + 0. Solve -3*o - 2*m = 14 + 1, 15 = -b*o - m for o.
-5
Let k = -23 + 35. Suppose -2*w + k = 2*w. Solve -u + 2 = -g, 0 = 4*u + g + w*g for u.
1
Let m(x) = x + 16. Let y be m(-11). Suppose -10*h + 5*c = -5*h - 15, y*h = -5*c + 35. Solve -4*s = -n - 11, -2*s + h*s = -2*n for n.
-3
Let n be 1/(4/(12/1)). Solve -4*m = -m + 15, 4*s - n*m - 7 = 0 for s.
-2
Let w(s) = 13*s + 4. Let x be w(2). Solve 3*l = -5*z + x, 6*z = z - l + 20 for z.
3
Let z(b) be the first derivative of b**4/4 + b**2/2 + 27*b + 2. Let o be z(0). Let p be (-4)/(-22) - o/(-33). Solve p = 2*q - w - 2, -4*q + 11 = -w for q.
4
Suppose 4*z - 21 + 1 = 0. Solve z = 5*j, -2*d + d - 3*j = 2 for d.
-5
Let d(c) = 5*c**2 - 1. Let s be d(1). Suppose 3*l - 31 = -5*w, -s*w - 3*l + 18 + 8 = 0. Solve 0*k - 3*k = -2*i + 4, w*k - 5 = i for i.
5
Let v(d) = d**3 - 2*d**2 - 2*d + 1. Let n be v(3). Suppose n*s + 13 - 1 = -5*g, -2*s = 2*g + 4. Solve -2*r + 3*u + 8 = 0, -s*r + 5*u + 14 - 2 = 0 for r.
1
Let j = -477 - -482. Suppose o - 4 = 1. Solve -3*z + o*q = -9, -q = -5*z - j - 2 for z.
-2
Let o = -7 + 11. Let h = 6 - 6. Solve 0 = t + o*t + 3*f - 9, -3*f - 6 = h for t.
3
Let u(b) = b + 1. Let z be u(-2). Let n be ((-2)/2)/(z/19). Let o = n - 13. Solve 0*s - o = v - 2*s, 3*s - 9 = 2*v for v.
0
Let f be 77/14 + 12/(-8). Let l = 10 + -5. Suppose 5*k = -3*o - 3, 4 = -5*o - 1. Solve -5*t + 15 = -f*d + 9*d, k = -d - 3*t + l for d.
2
Let g = 1 + 1. Suppose -2*b - 8 = -4*b. Suppose -3*u - 4*c + 22 = 0, -u - 1 + b = -3*c. Solve u = 2*r - g*l, -2*r - 5*l = r - 1 for r.
2
Let d be -5*(-1 - -3 - 3). Suppose 0 = d*j - 10. Solve 0 = h - 5*h - j*a + 8, -3*a = 2*h - 12 for h.
0
Let u(r) = 3*r - 2. Let o be u(3). Solve o = -p - 4*k + 5*k, 2*p = -3*k - 4 for p.
-5
Suppose 4*d + y = 11, 2 = -3*y - 1. Solve -d*f = -2*h - 14, 5*h + 4*f - 2 - 9 = 0 for h.
-1
Let n = -13 + 14. Let 