*l + 7, -2*q + s = 4*l for q.
5
Let r(j) = j - 5. Let l be r(-7). Let h = -10 - l. Solve 2*v - 8 = 4*a, -6*a = -h*v - a + 11 for v.
-2
Let h be ((-6)/10)/(-2 + 133/70). Solve -x + 12 = 2*j, 10 = 4*x - h for j.
4
Let o(w) = -3*w**3 + w**2 - 1. Let g be o(-1). Solve n + r - g = 0, -3*n + 7*n - 5*r - 21 = 0 for n.
4
Suppose -2*h = -4 - 2, -5*h - 2949 = 3*c. Let k be c/(-28) - (-4)/(-14). Solve -4*w - 5*a - k = 0, -2*a - 24 = 4*w + 2 for w.
-5
Let o(k) = k**2 + 4*k + 2. Let f be (4 - (-2)/(-1)) + -6. Let x be o(f). Suppose -5*y + x*y = -9. Solve z - q = -z, -z = y*q for z.
0
Let x(t) = -t - 3. Let b be x(2). Let j be ((-8)/b)/((-4)/(-10)). Solve 0 = -a - 3, -j*o + a = -3*a for o.
-3
Let h = -3 + 8. Let j = 0 - 0. Suppose -u + 5*u - 68 = -3*v, -5*v + 119 = u. Solve -h*b - 25 = 0, j*b = -z - 4*b - v for z.
-4
Suppose -4*q - 76 = f - 5*f, 4*f = -3*q + 83. Solve -4*t + 4 - f = -b, -2*t = 5*b + 30 for t.
-5
Let o = 39 + -8. Let w = -15 + o. Solve v = -5*n - 24, 0*v = v - 3*n - w for v.
1
Let u(b) = b**2 - b - 3. Let d be u(3). Let f be d/6 - (-98)/4. Solve -3*y = -2*q + f, 6 = 4*q - 14 for y.
-5
Let n be (-2)/6 + 1/3. Suppose 5*g - 3*g - 24 = n. Suppose -g + 4 = -4*k. Solve 0 = -k*q - y + 6, q - 5*y - 3 = -0*q for q.
3
Suppose b - v = 4*v + 27, 11 = 3*b - v. Solve b*z - 5 = -r - 3, -4*r = 8 for z.
2
Suppose 5*o = -2*v + 24, 2*o = 4*o + 4*v. Let n(j) = -j**3 + 5*j**2 + 6*j + 3. Let m be n(o). Solve -2*h + m*h + 5 = -p, 0 = -h + 2*p + 10 for h.
0
Suppose -4*o + 59 = 3*u, -5*u + o + 57 = -3. Solve -v = -5*v + j + 16, v + 2*j = u for v.
5
Suppose 0 = 4*f - 0*f - 84. Let c = f + -3. Let l be c/4*10/15. Solve j - 12 = 4*p - 6*p, -l*j + 5*p = 19 for j.
2
Let t(f) = -f**3 - 2*f**2 + 3*f + 5. Let z be t(-3). Solve 4*q - 5*m = 11, 12 + 0 = 3*q - z*m for q.
-1
Let o(c) = -2*c - 6. Let j(v) = v**2 + 2*v - 1. Let u be j(1). Suppose 4*h + 8 = u*h. Let p be o(h). Solve -y + 7 = -x - p*x, y - 3 = -x for x.
-1
Let w be (-1)/3 + (-20)/(-6). Suppose w*z - 10 - 2 = 0. Solve 0*g = 2*g + d + 5, z*d = -2*g - 2 for g.
-3
Suppose -4*r + 3*r = -24. Solve 6*w = w - 2*y + r, 0 = -3*y + 6 for w.
4
Let a = 5 - 5. Suppose -5*v = -a*v - 35. Suppose 3*r + v = 40. Solve -4*f = -3*c + r, 2*f + 2*c + 0*c + 16 = 0 for f.
-5
Suppose -1 = -2*k + 3*n, -3*k = 4*n - 0*n - 10. Suppose -8 = 4*t + 4*p, k*t = 3*p - 0*p + 11. Solve 0*h + a - t = 3*h, 0 = a - 4 for h.
1
Suppose 2*f - 7 + 5 = 0. Solve -5*y - 4*a = -5, f = -0*y - 2*y - a for y.
-3
Suppose 0 = 10*y - 11*y + 10. Solve k + h = -k + y, 0 = 3*k - 5*h + 11 for k.
3
Let v(h) = -h**2 - 10*h + 11. Let r be v(-11). Solve 21 = -2*a + 5*p, r = -a - 3*p - 0*p + 6 for a.
-3
Let u be 0 - 12 - (-9 + 12). Let i be -1*1 + (-20)/4. Let s be 8/i*u/5. Solve -2*p = 2*k - 4*k - 6, s*k - 2*p + 12 = 0 for k.
-3
Let j(p) = 3*p**2 + 5*p + 2. Let u be j(-3). Suppose l + 5*c + 3 - 1 = 0, 0 = 5*l + 3*c - 12. Let i be -10*2*l/(-15). Solve q - 4 = -v, -u - 2 = -v - i*q for v.
0
Suppose 8*p - p - 28 = 0. Solve 13 = -s - s - 3*r, p*s = 3*r + 19 for s.
1
Let f be 40/(-7)*(-35)/10. Solve -5*p - 4*k = 12, -3*p = -5*k + k + f for p.
-4
Let t(q) = q**2 + q - 2. Let w be t(-2). Suppose -p + 4 = -3*c - 6, 4*p + 4*c - 24 = w. Suppose 2*h = -h. Solve -3*s + 11 = -5*b, 2*s - p*s - 2*b + 8 = h for s.
2
Let l = 6 + -6. Solve -5*n = -w - 21, l = -3*w - 1 - 2 for n.
4
Let o(m) = m**3 + 12*m**2 - m - 7. Let l be o(-12). Let h = -7 - -12. Let k = 7 - h. Solve 0 = l*u + 2*z - 8, -4 = 2*u + k*u - z for u.
0
Let o(c) be the second derivative of c**4/12 + 4*c**3/3 - 9*c**2/2 - c. Suppose 3*w + 33 = 6. Let g be o(w). Solve g = -3*r - 4*b + 5 - 1, 4*r + b = 1 for r.
0
Suppose 0 = -2*c + 11 + 1. Let g(i) = 6 - 4 + 1 + i - 2*i. Let k be g(-3). Solve f = 2*u + k, -2*u - f = f + c for u.
-3
Suppose -k = 2*k - 2*g - 24, k - 13 = -g. Let p = 15 - k. Solve -5*r - p*c = -2*r + 25, 14 = -4*r + 3*c for r.
-5
Suppose 3*h + 4*t + 44 = 0, 5*t + 41 = -2*h - 0*h. Let k = 14 + h. Solve -2*v = w - 6 - k, -5*w + 5*v = 0 for w.
4
Suppose 4*y - 27 = 1. Let r = -3 + y. Let p = r - 2. Solve -4*s = d + 11, 3*d = -p*s - 2*d - 1 for s.
-3
Let v = 43 - 39. Solve 4*w - v*m - 32 = 0, -2*w - w = 5*m for w.
5
Let a be (-5)/4 - (-12)/(-16). Let q be a/(-4) + (-45)/(-10). Solve g + t + 8 = 0, q*g + 37 - 2 = -4*t for g.
-3
Let t(q) = -q + q - q + 3*q. Let z = 13 + -9. Let f be t(z). Solve 2*y - 3 = u + 1, -2*y = -4*u + f for y.
4
Suppose 4*j - 80 = 96. Suppose -4*h = -2*t + j, -t = -3*t - 3*h + 44. Solve -4*l + d = -14, -3*l + 4*d = -t + 5 for l.
3
Suppose h + 4 = -2*l + l, 0 = 4*l - 2*h - 8. Let v = l - -2. Solve v - 4 = -t - f, 5*t - 5*f - 30 = 0 for t.
4
Let c be (-8)/(-3)*(-9)/6 + 9. Solve -3*s = z - 3 + 6, -c*z - 15 = -2*s for z.
-3
Let i(g) = -g + 1. Let x be i(-1). Suppose -m + 2*m = 3. Solve m*j = 5*t - 5, 2*j = -x*t - 0*j - 14 for t.
-2
Let d = 1 - -1. Suppose o = -d*o + 48. Solve -4*j - 7*u = -2*u + 29, 4*j = 4*u + o for j.
-1
Let i be 6/(-15) - (-17)/5. Let n be (-1)/(-2*i/12). Suppose a + 10 = 5*w, -a + n*a = -5*w + 10. Solve 4*c + 5*t - 25 = 0, w*t = c + 3*c - 18 for c.
5
Let o be (-20)/8*16/(-10). Let p(r) be the second derivative of r**3 + 2*r**2 - r. Let t be p(o). Solve t = 4*v + 4*f, -v + 3*f - 17 = -3*v for v.
4
Let o(v) = v**3 - v + 11. Let s be o(0). Suppose 3*l - 24 = q - 7, -3*q = l + s. Solve 0 = l*i + 4*a - 10 - 2, -5*a = 2*i - 21 for i.
-2
Suppose -2*q - 5*y = 29, -2*q + 2*y = -0 - 6. Suppose s = -4*s - 15, u + 4*s = -8. Let m be 17/2 + q/u. Solve 0 = -4*g + 3*r - m + 4, -5*g - 5*r - 40 = 0 for g.
-4
Suppose 0 = -8*k + 3*k. Solve 4*i = -0*i - 2*x + 4, k = i - 5*x - 12 for i.
2
Let v = -144 + 149. Solve v*h + 3 = -d, 0 = -0*h + h + 3*d + 9 for h.
0
Suppose -3*w = -w. Suppose o + 5 = -w*o. Let r = o - -8. Solve a + a + 4 = 3*v, -r*v = a + 11 for a.
-5
Let j = -25 - -17. Let c(u) = -u - 5. Let y be c(j). Solve -5*a - k + 4 = 0, y*k - 16 + 4 = 5*a for a.
0
Suppose k - 1 = 4*x + 7, x = 2*k - 2. Let l be -2*(x/1)/2. Let q be 0/(-1) + -1 + l. Solve s + 0 = q, 2*o + s = 11 for o.
5
Suppose -k = -6*k + 15. Let v = 0 + k. Solve -v = j + a, -j = -0*j + 5*a - 5 for j.
-5
Suppose 2*z = -3*z - 70. Let l be (-2)/(32/z - -2). Suppose -3*p + 26 = 3*d - l*p, -3*d + p + 11 = 0. Solve 2*y - 2*o = 6, 4*y - y - d*o = 7 for y.
1
Let d(y) = y + 1. Let b be d(3). Let q be ((-2)/3)/(16/(-72)). Let c be (-104)/(-12) + (-2)/q. Solve 3*a - 2*u + c = -2, b*u = 3*a + 14 for a.
-2
Let x be (0 - 6)/3 - -5. Suppose 2*l = 5*r - 1, -1 = x*r - 2*l - 0*l. Suppose 0 = -q + 2 + r. Solve -2*y = -q*j - j - 8, 5*y + 7 = j for y.
-2
Let c be 3/(-2) - (-36)/8. Suppose -2*f + 6 = -4*r, 4*f - c*r - 12 = r. Suppose -2*h + h = 0. Solve -12 = -3*p - f*w, h*p - 3*w + 12 = -5*p for p.
0
Suppose 27 = 5*j + a, 4*j = 3*a + a + 12. Solve -p + 12 = -j*v, -4*p + 6 = v - 0*v for p.
2
Suppose 8*b + 2*b = 30. Solve 0 = b*u + 3*q - 9, 2*u + 8 = -3*q + 19 for u.
-2
Suppose 2*d + 9 = 3*x, 3*x - 12 = -0*d + 3*d. Let g be (-1 + x)/(-1 - -3). Solve -4*p - 2*z = g, -2*p + 3*z = -6*p + 4 for p.
-2
Suppose -8*s + 4*s + 2*n = -30, -35 = -5*s + 2*n. Solve -3*y + 26 = 4*u, y = s*u - 10 - 13 for y.
2
Let y = -75 + 94. Solve -y = -3*o + 2*o + 4*n, 2*o = -4*n - 10 for o.
3
Suppose m - 5*n + 22 = 0, 2*n + 1 = 4*m - 1. Solve m*c - 13 = 2*v, v = -0*c - c - 4 for c.
1
Suppose -8 = a - 5*a. Suppose a*y = 4 - 2. Let l be -1 - (y + -2)*4. Solve -s + 0*s = u, l*u - 3*s - 12 = 0 for u.
2
Suppose 0*b = 2*b - 42. Solve -2*g - 3*l - b = 0, -5*g - 23 = 5*l + 17 for g.
-3
Let w be (-16)/18*-3*3. Solve 8*q - w = 4*q + 4*o, 2 = 5*q - 3*o for q.
-2
Let p be ((-3)/((-3)/(-5)))/(-1). Solve -p*t = 2*v + 7, 5*v = -2*t + 3*t - 4 for v.
-1
Let k(a) = 2*a + 1. Let d be k(5). Solve -d = -5*b - 3*m, -2*m = m - 6 for b.
1
Let a(s) = s**2 - s. Let i be a(1). Solve 3*j + 5 = n, 2*n - 3*j + i*j - 7 = 0 for n.
2
Let c = 13 - 13. Let y be (c - 0)/(3 + 0). Solve y = 2*h + 8, -2*l - 2*h + 6*h = -20 for l.
2
Let l be -1 - (-2)/(-2)*3. Let j be (-2)/3*30/l. Solve -j*o + 3*w + 32 + 3 = 0, 3*o + 5*w + 13 = 0 for o.
4
Let c(k) = k**3 + 10*k**2 + 9*k + 4. Let b be c(-9). Solve -4*q - 40 = -4*g, 2*g + q + b*q + 15 = 0 for g.
5
Suppose 0 = 3*h - 1 - 5, -4*h + 10 = v. Let t be -3 + 3/(-1) + 8. Solve -5*n + 7 = -4*s, 8 = t*n + v for s.
2
Let g = -34 + 34. Solve 3*c = -2*k + 19, 1 = -k + 2*c - g for k.
5
Let q