16 = x - 5, 22 = 5*l + 2*x for l.
4
Let j = 151 - 147. Solve 5*t = -0*v + 3*v - 21, -j*v - 1 = 3*t for t.
-3
Suppose -3*c = -5*k + 3, -5*c + 35 = -0*k + 5*k. Suppose 0 = 6*v - k*v. Suppose -p + 3 = -v*p. Solve -4*y + 20 = -j + 2*j, j - 16 = -p*y for j.
4
Let q(d) = 5*d - 56. Let f be q(12). Solve s + f*i = -7, s = 4*s - 4*i + 5 for s.
-3
Let d(f) = -2*f - 16 - 14 - 17 + 33. Let o be d(-9). Solve -1 = -4*v + o*m - 5, 13 = 3*v + 5*m for v.
1
Let l(g) = 2*g**3 + 118*g**2 - 120*g + 3. Let q be l(-60). Solve -2 = 3*p - a - q, 4*p - 4*a = 4 for p.
0
Suppose 5*j = -d - 149, 0*d = 2*d + 3*j + 263. Let k = 154 + d. Solve k = 5*a - 2*f + 5*f, -3*a = 5*f - 34 for a.
3
Let j be 0 + 3 + 15/1. Let s be 446/18 - (-4)/j. Solve d - s = -5*w + 3*d, 5*w + 10 = -5*d for w.
3
Suppose 42 = -8*l + 90. Solve 20 = 2*s - 5*y, 2*s - 20 = 2*y - l for s.
5
Suppose -237*x = -229*x - 24. Solve -4*g + 2*q + 20 = 0, -x*q - 3 = g + 6 for g.
3
Let y(h) = 4*h - h - 16 - h. Let r be y(11). Let l be r/4 - (-3)/(-6). Solve -5*g - m - 13 = 0, 4*g + l = 4*m + 5 for g.
-2
Suppose p - 5*p + 16 = 3*g, 4*g = p - 4. Suppose -s + 5*m = -19, -28 = -0*s - p*s + 4*m. Solve s*k + 5*u + 21 = -0*k, 5*k + 3*u + 10 = 0 for k.
1
Let y(a) = 3*a - 2. Let p be y(5). Suppose 5*h - d + p = d, -2*h = -5*d + 22. Let b = 6 + h. Solve -5*j = 5*q + 30, 0*j - 3*q - 2 = -b*j for j.
-2
Let j(m) be the first derivative of -2*m**3/3 - 15*m**2/2 - 4*m - 4. Let l be j(-7). Solve -l*s = -2*t - 6, -2*s = -3*s + 2 for t.
0
Let q(y) = -y**2 + 3*y + 7. Let z be q(4). Suppose -z*p - p = -3*m + 1, -4 = -2*p. Solve 21 = 3*h + m*s, s = -3 + 6 for h.
4
Suppose 4 = b + w, 3*b + 2*w - 16 + 4 = 0. Solve -10 = 5*k + 5*l, 2*k + 0*k + b*l = 0 for k.
-4
Let j = 32 - 27. Suppose 0 = s - j - 15. Suppose a = -a + 5*k + s, 4*k + 16 = -a. Solve 5*l = 3*q + 4, -q + a*q = 5*l - 12 for l.
2
Let t be 456/(-8)*(-1)/3. Suppose t*w + 16 = 23*w. Solve -w*s - o = -4, 4*s = 3*o - 4 + 8 for s.
1
Let t be ((-13)/(-13))/(1/(-22)). Let c be 3/(-15) + t/(-10). Suppose k = -c*k + 9. Solve -i - 4*d + 0 = -1, -3*i + k = -3*d for i.
1
Let w be (12/6)/(48/360). Solve 0 = -5*b - t + w, -3*b + 6*b + 3*t = 9 for b.
3
Let w = 8 - 0. Suppose 3*d - w = -2. Solve -h + 0*h + 2 = -i, 1 = -d*h - 3*i for h.
1
Let d(v) = v**2 - 13*v + 8. Let j be d(11). Let s = j - -22. Solve 2*g + q + q = 4, -4*g + 4*q + s = 0 for g.
2
Suppose -4*t + 0*w + 3*w - 137 = 0, 0 = -3*t + 3*w - 99. Let v = t - -41. Solve 2*q + 2*k - 5 = k, q + v*k = 15 for q.
0
Let m = 4 + 2. Suppose 2 = 2*t + m. Let g be (-2 + 2)/(1 + t). Solve 4*y - 4 = g, 5*h + 7*y = 6*y + 6 for h.
1
Let p be (10/(-35) + 19/(-7))/(-1). Solve 0*b - 2*b - 18 = -p*h, 3 = -b for h.
4
Let o = -247 - -248. Solve 3*p + 15 = v, 2*v + p + o = v for v.
3
Suppose 0 = o + 5*a - 2, 0 = -4*o - 3*a + 113 - 20. Let n be (o/(-36))/(1/(-4)). Solve 2*v + 21 = 2*s + 7, -5*v = n*s + 11 for s.
3
Let y = -28 + 40. Let l = -33 + y. Let x be l/(-3)*54/21. Solve -i = -5*p - 26, -2*i - 6*p - x = -2*p for i.
1
Suppose i + 5*l - l - 9 = 0, 5*l + 5 = 2*i. Suppose k + 4 = i*x, -2*k + 3*x + 0 - 1 = 0. Solve -2*b + 5*h = -13, -h = 2*b - k + 6 for b.
-1
Let i be (-5)/(-3)*-3 + 8. Solve -4*m + i*q = 20, 4*q = -2*m + 8*q - 10 for m.
-5
Let m = -6 - -11. Let v = 1881 + -1872. Solve -w = m*z - 7, -5*z + v = 4*w - 2*w for z.
1
Let j be (-25)/150 - (-2)/12. Solve 2*g = j, -3*x + 0*x = 4*g + 9 for x.
-3
Let k(d) = -7*d**2 + d + 11. Let v(z) = -6*z**2 + z + 12. Let a(c) = 5*k(c) - 6*v(c). Let x be a(6). Solve -3*n - x + 2 = 4*h, 2*n - 2 = 2*h for h.
-2
Let y = 17 - 13. Suppose -y*h - 16 = t, 3*t + t + 4*h + 4 = 0. Solve 18 = -3*q + f, 2*q + 2*f = -0 - t for q.
-5
Suppose -v + 7 = 5*l - 44, 10 = 2*l. Suppose -2*q - 4*f - 6 = 0, 2*q - 4*f - v = -0*q. Solve -4*z + q*z - 4 = -w, 4*w + 2*z - 12 = 0 for w.
2
Let r = 16 + -11. Suppose -5*w - 32 = -4*k, k + r*w + 14 = -k. Suppose 0*u + 3*u = 0, 0 = -2*h + k*u. Solve 0 = -2*i - 2*s - 2, 5*s = -i - 13 - h for i.
2
Let h be -3 - ((-28)/(-7) - 5)*5. Let o = 1 - 2. Let a = 3 + o. Solve a*g + v = 2, 5*v - 4*v + h = 0 for g.
2
Suppose 0*u + 5 = u + 3*d, 5*u = -2*d + 12. Let g be 2 + -1 - (-4 + u). Suppose 4*i = -1 + 9. Solve g*r + 2*p = i*r - 3, -2*p = -3*r + 7 for r.
1
Let f(k) be the first derivative of -k**4/4 + 7*k**3 - 37*k**2/2 - 17*k - 23. Let x be f(19). Solve 0 = -3*n - x*p - 16, -5*n = -p + 2 + 16 for n.
-4
Let n = -26 - -22. Let l be (10/n)/((-9)/54). Suppose 2*d - 5*d + l = 0. Solve 0 = -3*s + 4*z - 8, 0 = -s + d*s + 4*z - 36 for s.
4
Let b(i) = i**3 - 7*i**2 - 15*i + 61. Let s be b(8). Solve 2*p - 11 = -3*n + p, s*p = -5 for n.
4
Let p be (192/18)/8*3/1. Solve p*f = d - 5*d + 12, -4*d = -5*f + 6 for d.
1
Let h = -45 + 50. Solve -h*l + 0*o = -3*o + 5, -4*l - 5*o = -33 for l.
2
Let v be (-3)/(-12) - 35/(-4). Suppose -3*m + 15 = 3*u - 6*m, -v = 3*u + 3*m. Solve z = -2*i - 7, 5 = i + 3*z + u for i.
-5
Let g(a) = a**3 + 3*a**2 + 4*a - 6. Let r be g(1). Solve -3*y - 4*v = 3 + r, 7 = y - 3*v for y.
1
Suppose -17*t + 9*t + 40 = 0. Solve -8 = -3*z - t*y - 18, z = 4*y + 25 for z.
5
Suppose 4*m - 6 = 3*h + 12, -4*m + 20 = -4*h. Suppose -3*y + 3*c - m = 0, -41 = -5*y - 5*c - 16. Solve j - 15 = -4*u, -y*u - u + 5*j = 6 for u.
3
Let i = -29 - -29. Suppose y - 4*m = 8, -5*y - 2*m + m - 2 = i. Solve 5*g + 5 = -2*a, y = -g - 3*g + 4*a + 24 for g.
1
Suppose -8*b - 12 = -60. Solve 0 = 4*o + 2*p + b, 0*o + p = -o + 1 for o.
-4
Let p(j) = -j**2 + 5*j + 50. Let o = 120 + -110. Let h be p(o). Solve h = -3*g + q + 17, -2*g - 2*q = 2*g - 6 for g.
4
Suppose 0 = -13*f + 81 + 101. Solve 0 = 5*b - 2*c + f, -b + 4*c + 14 = 6 for b.
-4
Let v(s) = 23*s - 137. Let p be v(6). Solve m = -c + 5*c + p, m - 1 = 0 for c.
0
Suppose 0 = 2*s - 3*v - 89, -4*s - 14*v + 233 = -9*v. Suppose 56*z - 8 = s*z. Solve -9 = -2*a + 3*p, 0*a - 6 = -4*a + z*p for a.
0
Suppose 5*n = 180 - 30. Let f = n + -26. Solve -2*h + 5*z + 2 = 0, -4*h + 0*h + f = -z for h.
1
Let k(a) = a**2 - 2*a + 2. Let i be k(2). Suppose i*s = v - 5 + 1, 2*v = 2*s + 8. Solve -4 = 2*c + v*g - 2, -21 = 5*c + 2*g for c.
-5
Suppose -2*s + 0*s = 4. Let n = 0 - s. Let i(o) = -2*o - 9. Let z be i(-5). Solve 0*r - z = -n*u + r, -7 = -3*u - 4*r for u.
1
Let n be 0/(-4*(3/(-2) + 2)). Solve -2*x + 3 + 18 = 5*t, n = -3*t + 15 for x.
-2
Let y = 0 - -5. Suppose -18*h + 15*h = -3*k - 3, -4*k = -h - 5. Solve 3*v = 2 - y, k*i + 7 = 3*v for i.
-5
Let g = -35 + 31. Let p be (-36)/(-15) + g/10. Suppose 5*x + p*a - 35 = 4*a, -x - 20 = 5*a. Solve 2*l = 3*l - 4*n - 10, -3*l - x*n = 4 for l.
2
Let u = 12 - 7. Suppose 4*a = 2*k - k + 44, u*a - 55 = -5*k. Suppose -1 = 4*q + a, -2*h = -5*q - 53. Solve -5*m + 0 = w + h, -4*w + 4*m = 4 for w.
-4
Let z(f) = f**2 - 4*f + 3. Let s be z(2). Let d = s - -6. Let r(t) = t**3 - 5*t**2 + 3*t + 4. Let v be r(d). Solve 5*b + 29 = -4*j, -2 = 4*b + j + v for b.
-5
Suppose -3*a - 2*a - 8 = -4*h, 3*a = -4*h + 8. Let j = -2 + 5. Suppose -j*b = -5*b. Solve b*s = 4*s - 3*n, 4*n = a for s.
0
Let s = 2871 - 2866. Solve -2*g - 3 = -3*g, -5*g = s*a for a.
-3
Suppose 0 = -2*n - 7 + 21. Suppose b + 10 = -5*a - 3*b, 0 = -a + b + n. Suppose -4*z = 2*y - 30, -a*y + 3*z = -y. Solve -4*t = -t + 2*h + y, -4 = t + h for t.
-1
Let d(b) = b + 2. Let v be d(2). Let m be (3/2)/((-3)/(-12)). Suppose -m*r - 20 = -10*r. Solve -v*c = 3*t - 7*t + 8, 34 = r*t + 3*c for t.
5
Let a be (3 - 3 - -10)/((-16)/(-8)). Solve -4*r + a = -9*r, 3*f - 2 = 2*r for f.
0
Suppose 5*y - 28 - 15 = -p, 0 = 4*p + 2*y - 82. Solve 2*z - 5*r = p, 5*z + 14 = -2*r + 1 for z.
-1
Let f(v) = -v**2 - 7*v - 2. Let m be f(-6). Suppose 0*k - 2*k - 4*q + 24 = 0, -k - 12 = -m*q. Solve -2*y - 14 = -2*c + 3*y, 0 = k*c + y - 6 for c.
2
Let n be 8/(-24)*(2 + -11). Solve s - 4 = -3*v - n, 5*s - 3*v = 5 for s.
1
Suppose -2*x = 4*i + 2, -3*i + 3 = 3*x - 0. Solve -2*p = x*t + 8, 4*p - 1 = -t - 7 for t.
-2
Let j(r) = -r**2 + 25*r - 32. Let n be j(23). Suppose -22 - n = -4*a. Solve 4*o - a = 4*u - 1, 4*u + 14 = o for o.
-2
Let z(l) = l**2 + 5*l. Let m be z(-5). Suppose 5 = p - 2*r, m = -p - 6*r + 3*r + 5. Solve -p*a - 27 = -4*u, 0 = 4*a + a - 3*u + 24 for a.
-3
Suppose -24*j - 18*j + 126 = 0. Solve -4*c - 4*a + 8 = 0, 0 = 3*c + 2*c + j*a for c.
-3
Let m be (-8)/(-12) + 2/(-3). Let o be 26 - 13 - (-4 + m). Let j = o - 15. Solve k + 2*x + 5 = 0, 5*k - 5*x