= -v*x - 22, -6 = z + x for z.
-4
Suppose -35 = -q + 3*k + 33, 2*q = 3*k + 124. Let h = -23 + q. Suppose -w = -4*w + h. Solve 5*p - 9 = 4*m, -m - w = -3*p - 0*p for p.
5
Let y(l) = -6*l + 46. Let h be y(7). Solve -n = 2*w + 4, h*n = -0*n - 4*w for n.
4
Let r = -20 - -25. Solve -13 = r*u + 2*a, 5*a = 6*u - u - 15 for u.
-1
Let d(x) = -x**3 - 7*x**2 + x + 8. Let j be d(-7). Solve b = -2*n - 9, 2*n + 0 = b + j for b.
-5
Suppose -6*s + 67 = -77. Solve -c + h = -h + 9, 5*h - s = 3*c for c.
-3
Let p(g) = g + 2. Let i be p(-12). Let l be 3/(-5) + (-26)/i. Solve 4*b + 5*x = -37, -b + 11 = l*b - 4*x for b.
-3
Let l(k) = -k - 7. Let n be l(-5). Let q be -3*(1 + n) - -2. Solve -4*j = -u - 1, 0 = q*j - 5*u + 2*u + 4 for j.
1
Let z(w) = 7*w - 32. Let l be z(6). Solve -2*j + j + 4*t - l = 0, -4*j + 23 = 5*t for j.
2
Let n(x) = x**3 - 7*x**2 - 2*x + 17. Let g be n(7). Solve -7*b + 2*b + g*d - 7 = 0, 9 = -5*b + d for b.
-2
Let w(x) = 4*x**2 - 3*x + 1. Let s be w(1). Suppose -6*f + 4*h = -4*f + 6, -4*f + 8 = s*h. Solve 0 = 5*v - 3*l - 23, 3*v - f - 16 = 5*l for v.
4
Suppose 48 + 12 = 5*k. Let b = -8 + k. Let w(c) = c**3 + 6*c**2 - 11*c - 3. Let v be w(-7). Solve 4*s = -y + 6*y + v, b*y + 20 = 2*s for y.
-5
Suppose 5*q + 4*w - 17 = 2*w, 0 = w - 1. Solve -k = 4*x + 2, 5*x + q*k = 8*k - 15 for x.
-1
Let v(k) = -4*k**2 + 2. Let h be v(-2). Let l = h - -8. Let t(f) = -f - 1. Let q be t(l). Solve 0 = 2*g + q*p + 3, 0 = -2*p + 1 + 1 for g.
-4
Suppose -12 = b - 3*b + l, -3*l = 4*b - 4. Suppose -4*j - b*i + 9 = -7, 0 = -j + 2*i + 1. Solve -5*o = 5*m - 5, -j*m - o - 2 = -1 for m.
-1
Let r be 45/10 - (-2)/4. Let x = 0 - -1. Suppose -4*d = -5*j - 6, -j = -x - 1. Solve -2*g - 2*h + 13 = -r*g, d*h = -g - 9 for g.
-5
Suppose -a - 4*a = o - 27, 0 = -a + 5. Let f be (3/o)/((-1)/(-2)). Suppose -w - f*l + 17 = 0, 2*l + 2 = w + 5. Solve 0 = 3*p + 5*h - 25, -25 = -0*h - w*h for p.
0
Let m(g) = -g**2 - 8*g - 3. Let w be m(-7). Solve -49 = w*k - 5*x - 18, -2*k + 3*x = 17 for k.
-4
Let p(q) = q**2 - 2*q - 3. Let y be p(-2). Suppose 5*r = -5, 0*g + g + 5*r = -2. Suppose 28 - g = 5*o. Solve -y*u - 15 - 11 = 2*c, 2*u = c - o for c.
-3
Let v = -46 + 205. Suppose -5*j - 15 = 0, -3*c - j + 5*j = v. Let h be c/(-15) - 1/(-5). Solve -b = 4*l, -2*b = h*l + l for b.
0
Let g be (-776)/(-32) - 2/8. Solve 3*y - 7*d = -2*d - 19, -2*y = 4*d - g for y.
2
Let m(d) = d**3 + 2*d**2 - 3*d + 2. Let f be m(-3). Let q be f - (3 + 0 + -5). Solve -5*b + 0*j + 10 = 2*j, 0 = -q*b - 4*j + 8 for b.
2
Let b be 2 + 0 + -3 + 3. Suppose b*d + d - 9 = -5*t, 0 = -5*t. Solve d*j + 2*j + 3*u = 4, 0 = -2*j - 4*u - 4 for j.
2
Let p = -39 - -68. Let u = p - 20. Solve -2*c - c + i - u = 0, -5*c = -i + 17 for c.
-4
Let p be (2 + -14)*(-2)/6. Suppose 0 = 2*q + 3*v - 114, -3*q + p*q + 3*v = 54. Suppose 0 = w + 3*w - q. Solve -2*y - 4*c = 10, -4*y + 6*y - c = w for y.
5
Suppose j = -3*j + 12. Let g be 3 + 3 + 0/j. Let p(o) = -o + 8. Let m be p(g). Solve -m*b - b - 3 = 3*u, 0 = -5*b - 20 for u.
3
Let d(h) = -h**2 - 13*h. Let g be d(-13). Solve 3*n + 2*f + 13 = g, 4*n + f + f = -14 for n.
-1
Let p = -2 - 23. Let r be 4/5*p/(-10). Solve -2*m + 18 = 3*f - 3, 5*f - 31 = -r*m for m.
3
Let h(v) = 2*v. Let u be h(1). Solve u*t - 11 - 11 = 5*s, -3*t = -4*s - 19 for s.
-4
Let u = 3 + -1. Suppose u*g + 15 = 7*g. Suppose -g*o + 2*o + 3 = 0. Solve -f - 2*f = o*z + 9, 4*z = 5*f - 3 for f.
-1
Suppose 2 = 2*m - 0*m. Let o be 4 - (m - (-3)/(-3)). Solve o*u - 16 = 2*p, 4*p - 3 = 5 for u.
5
Let y = 13 - 7. Let k be (10/(-3))/((-12)/90). Suppose -3 = 5*t + 3*i - 28, -5*t - i = -k. Solve 4*o = 2*z, t*z + y*o = o for z.
0
Let x be ((-4)/(-6))/((-4)/(-54)). Let g be 4/((-6)/x*-3). Solve 3*t + 28 = -0*t + 4*s, -2*t = g*s for t.
-4
Suppose -80 = -4*w - w. Let j(t) = t**2 - 15*t - 6. Let a be j(w). Solve -3 = 4*f - x - a, 5*x = -4*f - 11 for f.
1
Let t(j) = -5*j - 1 - 1 + 0*j + j**2 + 4. Let y be t(5). Solve -10 = -2*m - y*m + 2*k, m - 7 = 2*k for m.
1
Let w be (-3 + 0 + 2)*-5. Let b = w - -10. Let f = -9 + b. Solve 2*t = 4*s - 14, f - 23 = -4*s + t for s.
5
Suppose -p - 4*p = -20. Let i be (-210)/(-55) + p/22. Solve -j = 2*l - 7, l - i - 4 = j for j.
-3
Suppose 4*m + 59 = -s + 3, -148 = 4*s - 3*m. Let n be (-1)/2 - s/16. Let a be (n - -1)/(-2 + 3). Solve -z - 3*i + 5 = z, z + i = a for z.
4
Suppose 2*y - 5*y = 0. Let v be 0*(4 - 3 - y). Solve -r = -4*r + p + 11, -4*r + 5*p + 33 = v for r.
2
Suppose -12 = 3*t, c - 5 + 2 = -4*t. Solve 2*i - 3*v + 18 = 0, 0*v = -5*i + v - c for i.
-3
Suppose 2*o - 4*o = -4. Let m(n) = 12*n. Let w be m(1). Solve 0 = 3*x + 5*h - 19, w = 4*x + o*h + 2*h for x.
-2
Let v(p) = -5*p - 5. Let o be v(-2). Solve o*a - 30 = -0*j + 4*j, -2*j = -5*a + 20 for a.
2
Let r be 7 + (-3 - -2) + -2. Suppose 0 = q + r*q - 25. Solve 0 = p + 2*f + 1 + 1, 5*p + q*f = -15 for p.
-4
Let x = 12 - 45. Let d be (-277)/(-11) + 6/x. Solve 5*b - d = 4*t, -5*t + 2*b - 21 = 6*b for t.
-5
Let h(r) = -12*r**2 + r - 1. Let j be h(1). Let z be j/(-3)*-1 + 9. Solve -z*y + 8 = i, 0 = -2*i - 2*y + 10 - 2 for i.
3
Suppose 5*b + 3*u - 5*u - 10 = 0, 4 = 2*b + 5*u. Solve 3*i = -3*o + 15, 3*o - i = b*i + 3 for o.
3
Let t(p) = p**2 - 14*p + 15. Let m be t(13). Solve 4*l + 17 = -5*d + 7*l, -l + 6 = -m*d for d.
-1
Let l = -14 + 25. Suppose 3*n - 4 - l = 0. Solve -2*u = -5*p - 25, -n*p - u - u = 5 for p.
-3
Suppose 0 = -3*g - 12, 4*g + 10 = 4*w - 6*w. Solve 0 = x - 3*n + 2 + 3, -5*x + 29 = w*n for x.
4
Suppose 5*f - 2*f - 5*m + 4 = 0, 0 = -5*m - 20. Let g = -6 - f. Suppose k - 2*u - 4 = -2, 2*u + g = 0. Solve 5*q + 5*o = -10, k*o = -o - 2 for q.
0
Suppose -2*s = -4*r - 0*s + 170, 0 = -2*r - 3*s + 81. Let x = r + -14. Solve 3*j - x = -j + 3*d, -j - 2*d - 4 = 0 for j.
4
Suppose -4*g = 17 - 5. Let j be 3*g*4/(-18). Solve 0 = 4*r, -4*r + 9 = -3*a - j*r for a.
-3
Suppose -2*t + 2 = -2*c, 2*c - 5*c + 12 = 2*t. Solve -c*p - 2 = 2*m - 0*m, 3 = -3*m + 4*p for m.
-1
Let v(p) = -p**3 - 13*p**2 - 13*p - 14. Suppose -y - 7 - 5 = 0. Let w be v(y). Let o be (-2 - w) + 16 + 1. Solve -2*j + 4*t = -3*j - o, -40 = -5*j + 5*t for j.
3
Let k(a) = -9*a + 1. Let n be k(-3). Suppose 3*b = b + n. Let r(x) = -x**2 + 8*x - 7. Let i be r(7). Solve 5*u = i, -2*u - 2 = -3*w - b for w.
-4
Let x = 17 + -15. Solve 0 = -4*d, x*l + 2*d = -d - 6 for l.
-3
Suppose -4*c + 1 + 7 = 0. Suppose c = 3*m + 23. Let g = m - -12. Solve -2*o - 5*h = 9, -g*o = -o - 2*h - 18 for o.
3
Let t be (32*(0 + 1))/((-6)/(-3)). Solve 0 - t = 2*w - 2*s, 5 = s for w.
-3
Let g(x) = -x - 5. Let a be g(-9). Suppose -4*m + 4*p - 3 + 15 = 0, -a*p + 18 = m. Solve 5*z - 3*h = m, h - 5 = -4*z + 10 for z.
3
Let m = 0 + 0. Suppose 0 = -4*v - p + 48, 4*v - 4*p - 27 = 41. Solve 4*l - 3*j = 9, -4*l = -m*j + j - v for l.
3
Let f(j) = 2*j**2 + 1. Let u be f(-1). Solve 4*z - p = -2, -z - p - 1 = -u for z.
0
Suppose 0 = -m - 0 + 5. Solve 5*y = 3*y - m*d - 2, -16 = -5*y - 2*d for y.
4
Suppose 0 = 4*z, 0 + 2 = x + z. Suppose 4*v = x*v. Let c be 3 + 0 + v/(-3). Solve c*d - 7*d - 5*b - 21 = 0, -b + 15 = -4*d for d.
-4
Let g be 2/((-8)/(-4))*5. Solve a - q = 4*q - g, -4*q - 7 = -3*a for a.
5
Let b(u) = 2*u + 4 + 4*u - 5*u - 6. Let n be b(5). Solve -2*t + 3 = i, -13 = -n*t + 5*i - 2 for t.
2
Let n(y) = -5*y - 2. Let q be n(-1). Solve 0 = -j + 5*i + 20, -q*j = -4*i - 16 for j.
0
Let o = -11 + 1. Let n = -5 - o. Suppose 10*z + j = n*z - 1, 4*z + 3 = -3*j. Solve z = -5*v + 2*y - 12, -y = -3*v - 9 + 1 for v.
-4
Let w be 5/30 - (-17)/6. Solve -d + 2*d + 2*o - w = 0, -4*d + o = 24 for d.
-5
Let h(g) = -g**3 + 5*g**2 + 2*g - 1. Suppose 7*s = 4*s + 15. Let u be h(s). Solve -y = -3*r - u, 5*r + 11 = 3*y - 4 for r.
-3
Suppose 1 + 8 = -3*c. Let y = 7 + c. Suppose 2*z + p = -1, -6*z - 4*p = -z + 4. Solve -3*t - k - 20 = z, -5*t = y*k + 6 + 39 for t.
-5
Let s be 6/(-4)*352/(-33). Solve -3*r + 5*t = 5 + 5, 3*r + s = -t for r.
-5
Let r = 1 + 1. Suppose 4*t + 5 = -3*h + 7, 3*t - 5 = -4*h. Solve 1 = -u + r*k + 8, 4*u = -h*k - 2 for u.
1
Let a = -22 - -30. Let r = a + -6. Solve -4*t - 4 = 0, 1 = 4*f - 3*t - r*t for f.
-1
Let i be -1 + 22 - (3 + 0). Let d = -1 + i. Solve -2*a = -5*r + d, 6*r - 29 = -a + r for a.
4
Suppose -4*l - 64 = -4*x, 2*l + 23 = -2*x + 71. Let y = -28 - -45. Suppose 2*o - 4 = -5*j + 12, -4*j + y = 3*o. Solve j*c = 4*b - 2 - x, -2*b + 5 = c for b.
