 14, -30 = -5*s + 2*j - a*j for s.
2
Suppose x - 6*x - 79 = -4*t, 3*t = -5*x - 107. Let l = x + 21. Solve -l*c + 3 = y, -y + c + 7 = 5*c for y.
-1
Let n(m) = -4*m - 6. Let q be n(-2). Solve 3*b + 21 = 5*s, q*s - 14 = 5*b + 2 for b.
-2
Let o = 10 - 5. Solve -h + 3*u + 5 = -3, 10 = -o*u for h.
2
Let p be (-40)/(-3)*18/15. Suppose f + 2*d - p = 0, d - 1 = 3*f - 14. Solve 4*w - o = -f, 7 = -3*w + 4*o - 4 for w.
-1
Let l = 5 + -5. Let u(f) = -f + 4. Let s be u(l). Solve -3*c + 2*p + 10 = 0, 0 = -c - 2*c - s*p - 20 for c.
0
Suppose -20 = -2*y - 2*y. Solve 0 = -5*d - 2*r - 9 - 1, -y*d - 40 = -4*r for d.
-4
Suppose -13 = -3*b - 2*p, -2*b + 3 = p - 5. Let n = 1 + b. Solve 7 = n*d + 5*s, 5*d + 7 = s - 6 for d.
-2
Suppose 2*v = 6*v - 100. Suppose 0 = -4*f + 20, h = -4*f - 5 + 28. Solve -v = -2*k - k - 5*z, 0 = -h*k - 4*z + 23 for k.
5
Suppose -2*u = 3*u. Suppose 2*c = -u*c. Solve -20 = -2*y + 4*n, -y + 3*n - 2*n + 7 = c for y.
4
Suppose 5*z + 0 = 10. Let f = 5 - z. Solve -h = 3*p + 3, -3*h = -3*p + 2*h - f for p.
-1
Suppose -2*k - k = 0. Solve -4*q = 8, 4*d + 2*q - 7 - 1 = k for d.
3
Let w = 67 + -65. Solve -w*s - b - 3 = -0*s, -3*s + 3*b = 0 for s.
-1
Let i be (-58)/(-18) + (-8)/36. Suppose -k + 4*o + 21 = -0*k, 4*k = 2*o + 14. Solve -i*d = -3*f - 6, f + k = 2*d - 0*d for f.
-3
Let a = -24 + 27. Solve -5*j + 6 = -k - 3*k, 4*k - 10 = -a*j for k.
1
Let i = 158 - 154. Solve -5*w + i*p + 2 = -3*w, -4*w = -3*p + 11 for w.
-5
Suppose 0 = 2*d + d - 15, -4*g - 20 = -4*d. Solve -i + 2*i + 2*c - 1 = g, 3*c = -3 for i.
3
Let d be 2/6 + 200/30. Let r = d + -4. Solve 2*z = t - 7, 0*z + 5*t + 17 = -r*z for z.
-4
Let y = -50 + 53. Solve -2*f + 12 = 2*f, y*f = v + 13 for v.
-4
Let b be 4*(-1 + (-3)/(-2)). Solve b*v = -8, t + 5*v + 20 = 4*t for t.
0
Let h = -25 - -27. Solve h*r = -5*u + 19, -2*u + 23 - 7 = 5*r for r.
2
Let p(f) = 1 + 3*f**2 - 4*f**2 - 3*f + 1 + 12*f. Let l be p(9). Let h be (4/(-1))/(-2) - l. Solve 7*b - 24 = o + 3*b, h = -2*o - 3*b + 7 for o.
-4
Let o(j) = -3 + 2 - 7*j**2 + 2*j**3 - 3*j**3 - 9*j. Let b be o(-6). Suppose 5*t - 42 = -9*t. Solve 0*m + 4*m + b = -k, m = t*k + 12 for k.
-5
Let m(x) = x**2 + 9*x + 2. Let p be m(-9). Suppose 0*n - 4 = -p*n. Solve 2*o + 0*o - h = 7, 5*h = -n*o + 13 for o.
4
Let p be 4*5 - (2 - 1). Let b = p - 13. Let t = 7 + -5. Solve 5*v = -l + b*v, -v - t = l for l.
-1
Suppose 0 = d + 2*k + 15, 5*k = 4*k - 2. Let j(x) = -x**2 - 12*x - 6. Let b be j(d). Solve p - 2 - 3 = 2*q, b*q + 13 = 2*p for p.
-1
Suppose w = -4*w + 3*w. Solve w = -4*y + 4*n + 28, 16 = 4*y - 0*n + 2*n for y.
5
Suppose 2*n - n - 9 = -2*c, 4*c + 9 = n. Let m be (n - 5) + 1 + 0. Solve o - m = -5*b + 3*o, -2*b - 2*o = -16 for b.
3
Let a be 1 + 3*7 + 1. Suppose a = 4*o + d + 3, 0 = -4*o - 4*d + 20. Let k = 30 + -25. Solve k*u + 5*b - 20 = 0, -o*b = -0*u - 4*u + 25 for u.
5
Let c = 15 - 8. Let f be ((-3)/2)/(2/(-4)). Suppose 12 = 3*q + f*i, -2*q + 5*i + 16 = 2*q. Solve -l = -2*t + c, 3 = -l - q*t + 2 for l.
-5
Suppose 0 = -15*b + 12*b + 12. Solve -2*d + 6 = b*h, -2*d - 4 - 2 = h for d.
-5
Let u(h) = h**2 - 4*h + 3. Let b be u(4). Solve -c - 11 = -3*f, -3 + 1 = -b*c + 2*f for c.
4
Let a(r) = -r**2 - 2. Let o be a(-3). Let h = o - -15. Suppose -9 = 2*z + z, 7 = -h*g - 5*z. Solve g*y - 3*x - 18 = x, 0 = 4*y - 2*x - 24 for y.
5
Let j = -41 - -45. Solve h + j*i = -h - 2, 5*i = 3*h + 25 for h.
-5
Let v be 1 - (2 - 2)/2. Suppose -c = -3 - v. Solve k = 2*b - 6, -4*k - 1 - 7 = -c*b for k.
2
Let m be 12/6*(-9)/(-6). Solve 2*d - 13 = m*s + 3, 0 = -s + 4*d - 12 for s.
-4
Let n(s) = 4*s**2 - s. Let x be n(1). Suppose 5*i - j - 19 = 0, 4 = 2*j - 3*j. Solve 5*l + 20 = -x*h, -4*l + i*h + 21 = -2*h for l.
-1
Let y(o) = o**3 + 3*o**2 - 2. Let q be y(-2). Suppose 11 + 21 = q*t. Suppose -5*p = -p - t. Solve -5*s - 9 - 1 = -p*m, 0 = m - 2*s - 4 for m.
0
Let b = 6 + -1. Let m = 8 - b. Solve 4*i + h = -7 - 4, 2*i - m*h = 5 for i.
-2
Let b(c) = -c + 12. Let d(w) = -12*w**3 - w**2 - w. Let a be d(-1). Let g be b(a). Solve 0 = -3*y - 4*u - 7, g = y + 2*u - 3 + 6 for y.
-1
Let a = 0 + 2. Let g(v) = -4*v**a + 0*v**2 + 5 - v**2 + v - v**3. Let p be g(-5). Solve 0 = 5*s - p*o - o - 5, 0 = 2*s - 5*o - 25 for s.
0
Let o(y) = y**2 + 5*y - 2. Let f be o(-5). Let w = 2 + f. Let t be (w/2)/(-2) - -3. Solve -5*h = 4*s - 3*s - 6, t*h - 6 = 0 for s.
-4
Let j(f) = f**3 + 6*f**2 + 5*f + 2. Let y be j(-5). Suppose -2*w = 4*v - 48, -y*v + 0*w + 36 = 4*w. Solve -v = -0*q - q - 5*g, -3*g + 13 = 2*q for q.
5
Let s be (-1)/(-1) - (-6)/2. Suppose -s*h + 11 = -5*z + 1, z + 3*h + 2 = 0. Let l be 2/(-5) + z/(-5). Solve l = k + a, 0*k + 2*k + 3*a = -2 for k.
2
Suppose o + 2 - 7 = 0. Suppose o*c = c + 5*j + 1, -2*j - 10 = -4*c. Let q = c - 2. Solve -10 = -5*w - 0*h - 2*h, w = 3*h + q for w.
2
Let c(g) = 2*g - 1. Let a be c(1). Let l = a - -2. Solve -2*d + 1 = l*h + 6, 4*d = -3*h + 5 for h.
-5
Let f = -9 - -12. Solve -4*j + j + m = 9, f*j + 9 = 5*m for j.
-3
Let m = -2 + 4. Let l be m*(1 + 21/6). Let c = -5 + l. Solve -23 = 5*q + c*o, -q + 0*o - 4*o - 11 = 0 for q.
-3
Let b(s) = s**3 - 3*s**2 + 2*s - 1. Let p be b(3). Suppose -23 = -p*j + 17. Solve 2*r = -4*a - 8, -2*r - j = -5*a - 0*a for a.
0
Let g be 1533/49 + 2/(-7). Suppose 3*x + g - 136 = 0. Solve -3*l + 2*y = 3*y + 15, 0 = -5*l - 5*y - x for l.
-4
Suppose -3*w - u = -14 + 4, -w + 3*u = -10. Solve -26 = 4*l + 3*s, -w*l + 4*s - s = 14 for l.
-5
Let i(n) = n**2 - 3*n + 2. Let m be i(2). Suppose -y + 6*y - 10 = m. Solve 7*q - 4*q = 3*h - 6, -y*q = -4*h + 10 for q.
1
Let r be (-2)/2*24/8. Let z be -1 - r - (0 - -1). Solve -4*b - 23 = 3*w, -z - 3 = -3*b + 2*w for b.
-2
Let u = 6 + -2. Solve 0*r + u*l - 8 = -4*r, 12 = -4*r + l for r.
-2
Let s(m) = -2*m - 18. Let b be s(-15). Solve -5*d = 4*w - 5 - 11, -4*d - 4*w = -b for d.
4
Let g(a) = -a**3 + 3*a**2 + 5*a. Let p be (-76)/(-18) + 2/(-9). Let c be g(p). Solve -5*s + x - 7 = -x, -c*s + x - 8 = 0 for s.
-3
Let k = -128 - -130. Suppose -3*w + 6 = -0. Suppose 9 = w*o + o. Solve k*z - o*f = 2, 4 = z + 3*z - 4*f for z.
1
Suppose 0 = -9*h + 5*h. Solve -5*u + 25 = n, h*u - 25 = n - 5*u for n.
0
Let r be 3/9 + 2/(-6). Let q be 0 + 1 + r - 3. Let m = 0 - q. Solve 4*g + 10 = w, w = 2*g + m + 4 for w.
2
Let n = 2 + 1. Let x = 437 - 435. Solve 8*q = x*b + 4*q + 14, -q = -n*b - 1 for b.
1
Suppose -9 = -z + 2*z. Let p = 16 + z. Solve -5*l - f + 2*f + 23 = 0, l - f - p = 0 for l.
4
Let n = -1 + -4. Suppose -2*o + 12 = -6. Let a = o + n. Solve -p + b - 4*b + 2 = 0, -5*b - 6 = a*p for p.
-4
Let s be (-6)/(-9)*(-6)/(-2). Let z = s - -1. Let g(p) = -p + 3. Let y be g(z). Solve 6*f + 4 = 2*f + 3*x, y = x for f.
-1
Let n(u) = -u - 4 + 5 - 7 - u. Let q be n(-8). Solve 0 = a - 5*d - 18, d + q = a - 2*d for a.
-2
Suppose 12*m - 34 - 170 = 0. Solve 2*n - 4*x = -n + m, 2*x + 10 = 0 for n.
-1
Suppose -4*x = 4*v - 32, 2*x + 2*v = 4*v. Let w(d) = 2*d**2 - 7*d + 4. Let b be w(x). Solve -a - b = -g + 6*g, 2*g + 2*a = 0 for g.
-2
Let y(g) = -6*g - 6 + g**2 + 3 + g. Let s = -7 + 13. Let p be y(s). Solve 2*q - 6 = 3*q + 4*f, -4*q - p*f = 11 for q.
-2
Suppose 2*u = 3*u - 4. Suppose 6*y + 2*j - 35 = y, -35 = -u*y - 3*j. Solve -4*d - 4 = 4*q, 3 = -3*d - d - y*q for d.
-2
Let q = 8 - 4. Let o be (q/(-1))/(0 + -1). Solve 2*w = -o*u + 2, u + 9 = 2*w - 2*u for w.
3
Suppose 3*y - 4*u + 2*u = -4, 3*y + 4*u - 8 = 0. Let n be (0 + y)/(-4 + 3). Solve -3*c + 5*c - 3*p + 7 = 0, -2*c + p - 9 = n for c.
-5
Let l = 6 - 4. Let q be (2/(-2))/(l/(-4)). Solve 5 = 5*z, -4*z = -q*v - z + 7 for v.
5
Let k be ((-1)/(-3))/(5/30). Solve t = -3*y + 15, 0*t + 11 = t + k*y for t.
3
Let y(p) = 15*p**3 + p. Let z be y(1). Suppose 2*j - z = 6*j. Let a be j*(-1 + 0/1). Solve 5*x + a*q - 4 = x, -x = 5*q - 5 for x.
0
Let n(h) be the first derivative of h**3/3 + 3*h**2/2 - 5*h - 3. Suppose 0*j + 4*j = -20. Let r be n(j). Solve 6*m - m + r*u + 20 = 0, -5*m + 4*u - 2 = 0 for m.
-2
Let i be (-18)/(-54)*(3 - 0). Let n(c) = -2*c + 1. Let g be n(-1). Solve -4*a + 4*z + i = -g, -5*a = -4*z for a.
-4
Let f = 4 - 3. Let g be f + -3 - -1 - -6. Solve 3*z + 32 = g*u, -4*z - 15 = -u + 5 for u.
4
Suppose -5*f + 8*k = 5*k - 16, -3*k + 24 = 3*f. Solve -27 = 5*n - 2*y, 2*n - 4*y - 11 = f*n for n.
-5
Suppose 36 = 3*y + 6*y. Solve n + 3 = p + 5, y*p = -8 for n.
0
Let r be 1 + -3 + (0 - 0). Let k be 