
Suppose -8 = 3*v - 7*v. Let p be ((-4)/12 + 3)*3. Let b = -6 + p. Solve 4*a + b*j = 4*j + 14, -v*j = a + 9 for a.
1
Suppose 4 = 5*n - 1. Solve 4*o - 17 = -5*t, t - o + n = -t for t.
1
Let m(c) = c + 4. Suppose 0 = p + 3*p. Let d be m(p). Solve 2*w = -d*h + 4, 2*h = -w - 2*w + 6 for w.
2
Let z = 1 - -4. Suppose 15 = 5*k + u + 4, -z*k - 5*u - 5 = 0. Solve -v = -k*d + 5, 3*d + v - 7 = 3*v for d.
1
Let n = -8 + 12. Suppose -d + 13 = n*r - 6, 1 = -d. Suppose -r*f - 35 = -2*u, f - 15 = -8*u + 4*u. Solve 5*t - u = -5*y, -3*y = -2*t - 13 - 5 for t.
-3
Let y(t) = -t - 2. Let o be y(-7). Let l be 52/24 + 1/(-6). Let i be l/3*(-60)/(-8). Solve -2*r = -o*d + 28 - i, 4*d = 4*r + 28 for d.
3
Let r(x) = -x**3 - 5*x**2 - 8*x - 10. Let s be r(-5). Solve -k - 12 = 2*v, 6*k = -4*v + k - s for v.
-5
Let b(k) = k**3 + 6*k**2 + 4. Let m be b(-6). Suppose 14 = -m*q - 2. Let h be (2/q)/((-1)/10). Solve -3*d + 2*d + h*x + 28 = 0, -9 = 2*d + 3*x for d.
3
Let r = -60 - -94. Solve 5*z = 2*p, -4*p - r = 5*z - 4 for z.
-2
Suppose 2*t - 13 = -3*a, -3*t + a = -0*a - 3. Solve -j = 3*j + t*b, 0 = 3*j + 5*b + 7 for j.
1
Let f be (-9 - -7)/(2/(-31)). Solve -6*q + 2*q - 5*m = -f, 0 = -5*q + 3*m + 11 for q.
4
Suppose t + 19 = -4*v - 2, 4*t + 19 = -3*v. Let y be 1 - (t + -1)*-1. Let l = 3 + y. Solve -4*k + 2*w = -0*w - 8, 0 = -k - l*w - 8 for k.
0
Suppose 2*f - 5*r = -3*r + 12, 0 = -4*f - 3*r + 3. Solve a = -3*g - 2 + 3, -f*g = 3*a + 3 for g.
1
Let s(h) = h**2 - 9*h + 14. Let x be s(6). Let q be 3*((-16)/(-3) + x). Solve 2*v + 5*t = 2*t + 7, q*t = -4*v + 4 for v.
-4
Let p be ((-3)/(-6))/((-3)/(-36)). Suppose 2*w - 3*v = p, -w - 4*w = v - 15. Solve -2*c + 17 = -w*j, -5*c + 5*j + 17 = -13 for c.
1
Let z be (12/(-8))/(3/240*-6). Solve -3*a - l - 4 = 0, -6 = 2*a + 4*l - z for a.
-3
Let f be (56/70)/(2/10). Solve -4*l + 8 - f = 2*s, -4 = 3*l + 5*s for l.
2
Suppose 3*p - 9 = -3*g, 4*p + g - 17 = -8. Solve 0 = p*r - 3*t + 12, -t - 1 = 2*r - r for r.
-3
Let i(b) = -2*b - 2*b + 1 + 5*b. Let v be i(3). Let p be (60/(-18))/(v/(-6)). Solve 0*a + 5 = p*a - 3*z, 0 = a + z - 1 for a.
1
Suppose -k = -2*d + 17, -4*k = -3*k + d + 2. Let q(i) = i + 3. Let h be q(k). Let z be ((-8)/(-12))/(h/(-18)). Solve 3*w + y - 17 = -w, 5*w - 30 = -z*y for w.
3
Let f(p) be the first derivative of -1/2*p**2 + 1 + 37*p. Let i be f(0). Solve -15 + i = -2*b + 4*z, 0 = -b - 2*z + 5 for b.
-3
Suppose -5*a + j + 840 = -0*j, 5*a + 3*j - 860 = 0. Suppose 5*n + 39 = a. Let r be 14/3*(-162)/(-189). Solve 0 = y - 2, -r*y = -4*v + y - n for v.
-4
Let z(t) = 2*t**3 + 2*t**2 - 1. Suppose -2*k - 2*j + 3 = -3, j + 1 = 3*k. Let r be z(k). Solve -5*v = y + 3, 5*v + 5 = r*y + 6*v for y.
2
Suppose -c - 3 = 5*s, -2*s + 1 = 5*c - 7. Suppose 3*q + 3*j - j - 1 = 0, -2*j - 14 = -c*q. Suppose l + q = 12. Solve 0 = -5*w - 2*p + 13, w + 3*p - l = p for w.
1
Let b = -2 - -6. Solve -4*m + 18 = 3*w - 14, -4*m + 36 = b*w for m.
5
Suppose -z + 0 = -4. Solve 5*v + 4*b - 30 = -b, z*v - 10 = 3*b for v.
4
Let j be ((0 - 82) + 2)*-1. Suppose -4*p + 20 = -j. Solve -4*n - 3*o = -35, -2*n + p = 4*o - o for n.
5
Let s = -2 - -4. Let h(c) = -c**3 - 9*c**2 + 9*c - 8. Let v be h(-10). Solve 0 = v*p - z + 5, -4*p - 4 = -s*p - 2*z for p.
-3
Suppose 0 = -3*o + 2*o + 19. Suppose 4*m = 3*k + o, -4*m - 6 = 3*k + 5. Solve -2*s + s = 4*j - m, 3*s = j + 3 for s.
1
Let w = 4 - 5. Let y(t) = t**2 + 5*t - 2. Let d be y(-5). Let c be (-3 - w)/d - -4. Solve -c*g - 4*l + l + 23 = 0, 2*l + 6 = 2*g for g.
4
Let s(t) = -12*t + 10. Let n be s(-7). Suppose 4*v + n = 258. Solve 5*i + 4*f + v = 8, 0 = f + 2 for i.
-5
Let b(i) = -i**2 - 4*i - 2. Let k(g) = -g**2 - 6*g - 4. Let p be k(-6). Let s be b(p). Let q = 4 + s. Solve 4*f - 23 = -3*n, -2*n + f = -3*f - q for n.
5
Let m(f) = -f**2 - 17*f - 27. Let h be m(-15). Solve -4*l = -c, h*c - l - 3 = 2*c for c.
4
Let v(t) = -14*t - 2. Let u be v(-2). Suppose -3*z + u = 5*i, 2*z + 3*i + 16 = 8*i. Let h be 1 + z - (-2 + 4). Solve 2*o = -2*j - 3*j - 2, -4*j = o + h for j.
0
Suppose -8 = -5*q - 2*p, 2*q - p = 2*p + 7. Let s be (0 - (-20)/3)*3. Suppose -3*v = -s + 8. Solve -v*m + 3*x = m + 6, x = -3*m + q for m.
0
Suppose -37 - 19 = -4*h. Let d be (8/(-12))/(1/(-6)). Solve n - 7 = -5*j, -2 + h = 4*n + d*j for n.
2
Suppose k - 4*k + 62 = 4*s, -5*s - 5*k + 80 = 0. Solve s = -5*m - 2*w - 12, -4*m = -5*w + 1 for m.
-4
Suppose -4*q - 6 = -3*y, -5*q + y = -3 + 5. Solve 0 = 2*l - 5*u - 9, q = -l + 4*u + 4 + 2 for l.
2
Let n be (-3)/2*10/(-3). Let u = 8 - n. Solve 6 = -3*j + 4*g - 11, -u*j - 12 = -3*g for j.
1
Suppose 8 = -w + 2*m, -2*w - 5*m - 2 = 5. Let i be (w/(-2) + -2)*0. Suppose i - 1 = -u. Solve -n - b = 4*b + 1, 0 = n + 4*b + u for n.
-1
Let a = -3 - -3. Suppose 0 = -3*h + z + 4, h + 1 - 9 = -3*z. Solve 0 = w - a*w + v + 1, -h*w - v - 1 = 0 for w.
0
Suppose -2*y - 518 = 2*y - z, 4 = 2*z. Let k be (-2)/(-3) - y/9. Let l be k*(0 + 2 - 1). Solve -2*c - 6 = 5*i, 3*i = 6*i + 5*c + l for i.
0
Suppose -4*c - t + 51 = 6, 0 = -5*c + t + 63. Suppose 9*z = 5*z + c. Solve 5*u + 3*g - z - 22 = 0, -4*g = 0 for u.
5
Let f(y) = -13*y**2 + y + 1. Let w be f(-1). Let i = -10 - w. Solve -3*d - s = -0*s + 1, -i*d - 5 = 5*s for d.
0
Suppose -11*x = -8*x - 33. Let p = x + 5. Solve 0 = 2*a + 3*m + p, -5*a + 2*m = 4*m + 29 for a.
-5
Let l = 118 + -93. Solve 5*i - l = -3*m, -3*i + i = m - 9 for i.
2
Let g be 3/(-6)*(-5 + 1). Solve -h + 1 = l, 5*l = h - g*h + 9 for h.
-1
Suppose -9 = -2*u - 5. Solve -5*y + 5 + 5 = -4*b, -u*b = y + 12 for b.
-5
Let z be (2/(-4))/(1/(-4)). Suppose -2 = z*m - 6. Let s = -24 - -25. Solve -3*i = -5*y + 7, -m*y - s = 3*i - 8*i for i.
1
Let i = 5 + -8. Let k be (1 + -1*2)*i. Solve -2*m - k*m + 30 = -2*c, -5*c = -m + 29 for m.
4
Suppose 0 = -2*w + 4 + 6. Suppose 4*g = -w*r - 15, 5*g - 2*r + 0*r = 6. Solve 0 = 5*h - 3*a - g*a + 25, 5*a = 5*h + 35 for h.
-2
Let r(x) be the second derivative of -x**4/12 + 5*x**3/6 + 5*x**2/2 + 3*x. Let n be r(5). Solve -5*b = -5*g + n, 0 = g - 0*b - 2*b + 3 for g.
5
Let l be ((-54)/15)/((-6)/15). Solve -d + 6*d = -2*x + l, -4*d + 21 = -3*x for x.
-3
Let r(b) = b + 1. Let q be r(2). Let k be 1*-2 + (7 - 5). Suppose 0 = -m + 2*u + 9, -4*m = -k*m + 4*u - 12. Solve -2*f - 2*f - j = -6, -4*j = -q*f - m for f.
1
Let b = -9 + 12. Suppose 0*d + b*o = -2*d - 9, -4*d + o = -17. Let z = d - 1. Solve 3*x - z*n = -0*n - 13, -2*n - 2 = 0 for x.
-5
Let b be (-2 - -5)/(-1) - -7. Solve -4*t - 20 = 6*u - b*u, 5*t - 2*u = -25 for t.
-5
Suppose -21*h + 19*h = -6. Solve 3*w = h*z + 2 - 8, -2*w = 4*z - 20 for w.
2
Suppose -3*p - 3*z - 24 = 0, -4*p - 7*z - 37 = -2*z. Let d be (-27)/p - 15/5. Solve -3*i - d = 0, i + 22 = -4*x - 0 for x.
-5
Let m(r) = -2*r**3 - r. Let j be m(1). Let f = 0 - j. Solve 5*b = 4*a + 12, 0*b + 3*b + 9 = -f*a for b.
0
Let o = -30 - -28. Let m(d) = 2*d**3 - 2*d**2 - 3*d + d - 3 - 4*d**3. Let p be m(o). Solve -3*c - p = -b - 5*c, -5*b - 10 = -c for b.
-1
Let w be (-1 + (0 - -3))/1. Let m(q) = q**2 - 3*q. Let n be m(3). Suppose n = -w*h - 0*h + 6. Solve -2*y + 4*a - 6 = 8, -h*a + 15 = 0 for y.
3
Suppose -2*t + 1 - 11 = 0. Let l = t - -7. Solve 3*o - 3*b = o - 8, -l*o - 4*b + 20 = 0 for o.
2
Let t be 2/8*-2*-24. Suppose 0 = -5*d - 2 + t. Solve v - 5*q = -d*v - 7, -23 = 5*v + 3*q for v.
-4
Let z(a) = a**3 - 8*a**2 - 8*a - 6. Let d be (-2)/10 + 33/15. Let l be 3*(d - 3) - -12. Let m be z(l). Solve 5*o + 5 = q, 0 = 6*o - o + m*q + 25 for o.
-2
Let o(i) = i + 7. Let c be o(-4). Solve 3*l + 2*l = q - 11, 5*q - c*l = -11 for q.
-4
Let l = 15 - 9. Let k be (-16)/l*(-24)/16. Solve -4*n + 5*w + 36 = 0, -w - 12 = 2*n + k*w for n.
4
Let g be 2/((-2)/72*-4). Suppose -y + g = 2*y. Solve 0 = 5*h + 2*d - y*d + 21, -2*d + 10 = -2*h for h.
-1
Suppose -4*f + 32 = -36. Solve 3*o - 4*j + f = 0, 0*o - 5*o - 4*j + 25 = 0 for o.
1
Suppose -2*o = -0*o - 46. Solve -4*n = -4*p + n + 29, 0 = 3*p - 4*n - o for p.
1
Let k be (-1 - 1 - -7)*1. Suppose -k*z + 5*j = 30, z - 4*z + 5*j = 22. Let n be (-1)/2 - 22/z. Solve 2 - 6 = -3*s + o, n*o = s + 8 for s.
2
Let k(l) = -6*l**3 + 2*l + 1. Let x be k(-1). Suppose -3*p - 2*t = -11, 5*t + 30 = -p + x*p. Solve 0 = -g - p*n + 20, n = -2*g - 4*n + 15 for g.
-5
Suppose -5*u + 23 = 3*k, 3*k = -u + 20 - 1. Let f be 2 + 3 - k/2. Solve -17 = -4*j + 3*d, 0 = -7*j + f*j - 2*d + 27 for j.
5
Let a be 5 + -