 = -3*c + 11 for c.
5
Suppose -55 = -7*k + 2*k. Suppose 0 = -4*q - 3*z + 5, -4*q + 7*z - 4*z = -k. Let i be q/6*-1*-9. Solve b - i*f = -7, -4 = -3*f + f for b.
-1
Suppose 4*m = 7*m + 3. Let y = 11 - m. Solve 0 = 4*g + 3*c - 0*c - 5, -3*g + 3*c - y = 0 for g.
-1
Let m = -1 - -1. Let c = 38 - 35. Solve -3 = -3*l - 5*t, -3 = -c*l - m*t + t for l.
1
Let v = -26 + 31. Solve -8 = y + v*i, -3*y + 5*i - 1 = 3 for y.
-3
Let y = 8 - 8. Let z be (-4 - 1)*1 + y. Let x = 3 - z. Solve -16 = -4*r - 4*m, 2*r + x - 1 = m for r.
-1
Let d be 1*-8*2/(-4). Let i(y) = -y**3 + 6*y**2 + 6*y + 7. Let a be i(7). Let t = 3 - 0. Solve -20 = 4*q - t*o, -d*o + 18 = -q - a*o for q.
-2
Suppose 3*i - 9 = t + 4, -i + 16 = 2*t. Let v(z) = z**3 - 6*z**2 + z - 1. Let n be v(i). Solve 5*d + l - 2*l = 24, -n*d - 2*l = -12 for d.
4
Suppose 4*y - 30 = -4*i - y, 10 = 5*y. Solve -3*n = n - 4*p, p + 20 = i*n for n.
5
Let r(p) = -2*p - 4. Let n be r(-7). Suppose 0*z = 5*z - n. Solve 0 = -3*o - z*q - 7, -1 = -0*o + 2*o + 5*q for o.
-3
Suppose -5*c + 31 = 2*g, 6*g = -5*c + 2*g + 37. Suppose -c*i = 21 + 4, -5*q - i = 5. Solve -5*s + q*s = 4*v + 13, -11 = 5*v + s for v.
-2
Suppose 4*h - o = 5*h + 5, -3*h - 5*o - 21 = 0. Let v be (3/h)/(3/(-6)). Solve -9 = -4*c + 3*f, -5*f + v = 4*c + 18 for c.
0
Let w(o) = 2*o**2 + o - 4. Let x be w(2). Solve t + 1 = 0, x = -5*p - 4*t - 13 for p.
-3
Let n(y) = -y**3 + 3*y**2 + 4*y + 3. Let t be n(4). Suppose -3*d - 2*o = -2, 0*o - t = 3*d + 3*o. Solve -d*l - 2*h + 6 = 0, 4*l - 22 = 5*h - 9 for l.
2
Let f be ((-30)/24)/((-1)/4). Solve 3*c - f = 2*p - 24, -5*c = -2*p + 25 for p.
5
Let i = 1 + -1. Suppose 0*n - 26 = -2*n + 4*y, i = -3*n - 5*y - 16. Let d be 6/(-2) + (5 - -6). Solve -14 = -c + 4*j, -5*c + n*j - 30 = d*j for c.
-2
Let z = 8 - 4. Suppose -j + 38 = 35. Solve 0 = 2*y - 3*g - 5, 0 = z*y - 5*g - j - 8 for y.
4
Let h(d) = d + 15. Let c be h(-13). Let u(y) = -3*y + 9. Let a be u(-3). Solve 0 = -2*n + 2*i + a, c*n + i - 3 = -0 for n.
4
Suppose -6*y - 21 = -51. Solve 0 = y*d + 2*o + 21, -2*o = 5*d - o + 18 for d.
-3
Suppose -4*y + 20 = 2*f, 2*f + 2*f = 5*y - 12. Suppose -3*g - 20 = -2*t, t + 0*t = -g. Solve -t*n - x = 21, -5*x - f - 3 = 0 for n.
-5
Let q(j) = j**3 - 4*j**2 + j - 2. Let h be q(4). Suppose h = 3*u - 4. Solve u*a + 3*a = -3*o + 9, -9 = -3*a - 3*o for a.
0
Let w(i) = -i + 7. Let q be w(4). Suppose -a + 7 = -o, -2*o - a - 2 = 9. Let p = 11 + o. Solve 3*f + 6 = -0*f - p*m, m = -q for f.
3
Let p(s) = -5*s - 44. Let a be p(-9). Solve -2*l = w - l + a, l + 7 = w for w.
3
Let l be 174/21 - (-2)/(-7). Let z be (-90)/(-24) - (-2)/l. Solve 1 = -5*y - 2*m - 2*m, 0 = -z*y + 5*m + 32 for y.
3
Suppose -2*u - 2*p = -6, -3*p - 7 = -u + 12. Solve 2*s + 2 = 0, u*f = 4*f + s - 5 for f.
-2
Suppose -2*y = -4*y. Suppose a + 0*a = y. Solve -6 = -3*s + 3*b, a = -0*s + 3*s - 5*b - 14 for s.
-2
Let d(b) = 3*b - 2. Let y be d(2). Let h be ((-4)/3)/((-2)/(-24)). Let a be 4/h + 13/y. Solve -u + 4 = -l, a*u - 1 - 3 = l for l.
-4
Let w = -8 - -9. Let v(i) = 2*i**2. Let f be v(w). Solve -15 = -3*l - 2*l, -f*l = -z - 6 for z.
0
Suppose 0 = 12*w - 16*w + 48. Let g be ((-11)/33)/((-2)/w). Solve 3 = -u, 2*u + 3 + 1 = g*o for o.
-1
Let l = -13 + 5. Let p be (-2)/(-4)*(-8)/2. Let m = p - l. Solve 2*z - 2*b = m, 14 = 4*z - 2*b - 2 for z.
5
Suppose 0 = 5*s - u - 15, 7*s - 8*s - 8 = 2*u. Solve z + 4*q - 4 = s*z, -3*z = -q - 10 for z.
4
Suppose 2*u = -2*u + 76. Solve 5*b - u = -2*k, 3*k + 5*b - 2*b - 6 = 0 for k.
-3
Suppose 5*w = -4*x + 15, -3*w - 4*x = -3 - 6. Solve 30 = -g + 6*s - s, w*g = -3*s for g.
-5
Let b(h) = -3*h + 20. Let q be b(6). Solve -3*g + p = 14 + 1, -q*g - 2*p = 2 for g.
-4
Suppose -3*a + 32 = -5*r, 2*r + 0*r + 12 = a. Solve -s - a = i - 1, 3*i = -5*s - 15 for s.
-3
Let m = -18 + 18. Solve r + m*r + 1 = a, 2*a + 10 = -4*r for a.
-1
Let i be 3*((-30)/9)/5. Let b be -15*((-32)/10 - i). Solve 3 - 4 = -4*f - v, -3*v = -3*f - b for f.
-1
Let d = -10 + 6. Let k be (-3)/4 - 63/d. Solve 4*x - t = 8, -2*t - 3*t - k = 5*x for x.
1
Suppose -2*j = 2*j + 12. Let g = 7 - j. Solve 4*y - 2*u - 12 = 0, -y - g = y + 3*u for y.
1
Let a(f) = -f**3 + 4*f**2 + f - 2. Let m be a(4). Suppose 2*z - 12 = 4*u, -m*z = u + u. Solve n + 9 = t, -z*n + 10 = 5*t - 0*n for t.
4
Let s(b) = 2*b - 1 - 4 - 2 + 0. Let y be s(6). Suppose -r = -y - 1. Solve -5*c + 3*p - 1 = 0, -5*p - 9 - r = 0 for c.
-2
Let i be (-4)/(-6) - (-50)/15. Solve 2*q = 5*l - 18, -15 - i = -5*l + q for l.
4
Let u(c) be the second derivative of c**4/2 - c**3/3 + c**2/2 + 3*c. Let d be u(1). Solve 5*v - z - 4*z - 20 = 0, -d*v - 15 = 2*z for v.
-1
Suppose 9 = 4*t - 7. Suppose -4*k = 4*z - 6 - 22, 4*k - z = 3. Suppose k*s - 4*s + 32 = 0. Solve 2*n = -4*w + 6*w - t, -s = w + 5*n for w.
-1
Let d = 167 + -165. Suppose -f - 4*i + 4 = -7*i, 12 = -3*f - 3*i. Let y be 0/(-1 + 2 + f). Solve -5*g - 2 = -3*j + d*j, y = 3*j + 9 for g.
-1
Let o be -3*(1 - (5 - 3)). Suppose -4*x = -19 + o. Solve 5*z = z + 3*k - 8, -2*z = 2*k + x for z.
-2
Let k(g) = -g**2 + 5*g - 3. Let w be k(2). Let i = 31 - w. Let s be i + 2 - (1 - 1). Solve l = -4*l + 3*z - s, 3*l = -z - 4 for l.
-3
Let w be 4/(-18) + 395/(-45). Let i be ((-3)/w)/((-2)/(-30)). Suppose -6*n = -3*n + k - 10, 5*n - 30 = k. Solve i*m = t + 7, m - 3*t = n*m + 2 for m.
1
Let x(q) = q**3 + 6*q**2 + 3*q - 5. Let h be x(-5). Suppose h*j + 3*p - 18 = 0, 3*j - j - 1 = 5*p. Solve 2*g - 4*b = -14, 5*g + j*b + 9 = -0*b for g.
-3
Let n be 11/3 - 1/(-3). Let t = 25 - 37. Let o be (t/21)/(2/(-7)). Solve -z + 0 = -5*v - o, 2*z = -4*v + n for z.
2
Let n be (-4)/(-2) + 1/(-1). Let g be n/((6/(-4))/(-3)). Let k = 25 - 23. Solve -g*l - 5*m + 11 = 0, 0 = -2*l - l - k*m for l.
-2
Let l(w) = -4*w**3 - w**2 - 2*w - 1. Let a be l(-1). Suppose -2*m = 3*m. Let j = 11 - 7. Solve m*y - 5*b = -5*y + 15, -a*b = j*y + 28 for y.
-2
Let h be (-18)/(-4) - (-3)/(-6). Suppose -4*d - 8 = 0, -b - 2*d = 3*b - h. Let v = 3 - -2. Solve b*j + 2*x - 8 = v*x, 0 = 2*x for j.
4
Let m be -3 - ((-129)/15 + 6/10). Solve -4*z = r + m + 4, 3*r - 1 = 2*z for z.
-2
Let v(i) = -i**3 - 7*i**2 + 8*i + 5. Let g be v(-8). Let j = 7 - g. Solve j*s = -5*d - 8 - 8, -2*s - 10 = 2*d for s.
-3
Let s(d) be the third derivative of d**5/60 - d**4/6 - 2*d**2. Let g be s(6). Solve -2*n - 7 = -n - 2*q, -3*n - 5*q + g = 0 for n.
-1
Let g be -7 + 5 + 1*7. Solve g*z - 4*j = -45, 3*j = -j + 20 for z.
-5
Suppose 16 = -5*a + a. Let n(m) = -4*m + 2 - 5 + 3*m. Let j be n(a). Solve 3*b - j = -c + 8*b, 0 = c - 3*b + 1 for c.
-4
Let b = 3 + 7. Let m = b + -6. Solve -3*n - 2*g = 11, -13 = -n + m*n + g for n.
-5
Suppose -d + 7*k = 2*k - 20, -4*d + 4*k = -32. Suppose -d*w - 3 = -13. Solve w = -0*p - p, -3*p = -3*z - 3 for z.
-3
Let z = -31 + 35. Solve p - 2*d + 3*d + 3 = 0, 28 = -4*p + z*d for p.
-5
Suppose -4*y - 14 = -2*y - 5*p, 5*y - p = 11. Solve 5*h = x - 13 - y, x = -4*h - 11 for x.
1
Suppose -6*t + t = -20, -o + t - 2 = 0. Suppose 3*y + 10 = 6*y + 4*u, -6 = -2*y - o*u. Solve -y*z + 2*v = 2, -5*v = 3*z + 6 - 27 for z.
2
Let c = 42 - 30. Suppose 0 = -0*y + 3*y - c. Suppose -2*s = -5*v + 7, -y*s = -2*v - 4 - 6. Solve v*l = 2*l - 3*z - 7, -3*z = 2*l + 5 for l.
2
Let t = -16 + 26. Solve -4*u + 29 = -5*n, -3*n + u - t = 6*u for n.
-5
Let z be 2/4 + 219/(-6). Let b = 57 + z. Solve 2*t - 5*m - 3 = 0, -5*t + 1 = 2*m - b for t.
4
Let b(s) = -2*s. Let p be b(0). Solve u + 2*d = 4*d, p = -2*u + 5*d + 1 for u.
-2
Let g be (4 + 1)*(-8)/(-20). Solve -i + p = -g*i, 4*i - 5*p = 27 for i.
3
Suppose 3 = -3*a + 21. Let x = a - 9. Let g be 6/4*(-2)/x. Solve -2*n = 5*j + 4, 2*j + 3 = -2*n - g for n.
-2
Suppose h = -4*j - 14, -3*h + 4 = -5*h - 2*j. Solve -h*v = -2*k - 6, -5*v = 5*k - 3 - 2 for v.
2
Let h be (-1)/((-1)/13 - 0). Suppose -2*l + 5 = h. Let o be 15/2*(l - -6). Solve -a - a - 5*i = o, -i = -a + 10 for a.
5
Suppose 2*q - 6 = -0*q. Solve -4*y + 19 = q*r, 4*y + 2*r = 16 + 2 for y.
4
Let n = 26 - 26. Solve -i - 1 - 3 = n, 3*x - 3*i - 6 = 0 for x.
-2
Suppose 2*r + 2 + 2 = 0. Let l = r - -4. Solve -2*z = -0*z - 2*p + 10, -l*z - 18 = -4*p for z.
-1
Let j = 3 + 6. Let q = -4 + 6. Suppose -v = -q*v + l + j, 4*l + 1 = -v. Solve -3*c - v = -2*u, -2*c - 2*c - 21 = -5*u for u.
5
Let x(g) = -g**3 + 2*g**2 - g - 1. Let q be x(-1). Let m = q + 4. Solve 2*s = -3*z - m, 4*z = -5*s - 2 - 19 for s