a, 5 = 3*t - k for t.
1
Let d(c) = 11*c + 31. Let k(h) = -5*h - 15. Let w(g) = -4*d(g) - 9*k(g). Let l be w(-9). Solve t + a + 2 = 0, 2*t = t - l*a - 4 for t.
0
Let i be (-1)/(-5) - (-1312)/40. Let t = i + -22. Solve -j = -0*w + 2*w - 8, 0 = 3*w + 2*j - t for w.
5
Suppose 25 = -m + 125. Suppose -5 = -3*x + m. Suppose 5*h - x = -5. Solve 5 = 4*c + 3*w - h*w, -25 = -2*c - 3*w for c.
5
Let g(h) = h**2 + 4*h + 7. Let j be g(-5). Let f = 14 - j. Solve -q = f*i + 10, -5 = 5*q + 15 for i.
-3
Let h be (-6)/5*(-8 - 2). Suppose j = -3*j + h. Solve 0*d + 22 = j*d - 4*s, -5*d = -s - 14 for d.
2
Let i be 2/(-10) + (-3)/(-15). Suppose -3*u - 1 = -5*p - i*u, 16 = 2*p + 4*u. Solve -23 = -2*y + p*j + j, 0 = -j - 5 for y.
4
Let s(b) = -b**3 + 4*b**2 - b + 4. Let v be s(4). Solve v = -4*j - 5*m - 2 - 19, 3*j + 8 = 4*m for j.
-4
Let m(l) = l + 4. Let v be m(-2). Suppose v*x + x = 15. Solve -3*n + 4 = -x*z, 15 = 2*z + z + 4*n for z.
1
Suppose 3*j = 5*j - 26. Suppose -j = -5*v + 17. Solve v*f = 2*n + 2*f - 12, -5*n - f = 3 for n.
0
Suppose -5 = -4*m + 3*m. Let s = -36 + 78. Let u be 4/(-8) - s/(-4). Solve r + u = -m*w, -10 = 5*w - 0*w for r.
0
Let a(u) = -u**3 + 3*u**2 - u. Let r be a(2). Let k(h) = 6*h**2 - 3*h + 3. Let y be k(2). Let s = -1 - -1. Solve o - 4*l - l + y = s, r*o - 5*l + 22 = 0 for o.
-1
Let w be 3*6/(-9) - -7. Solve -2 = -5*a + 2*f + 9, -a + 16 = -w*f for a.
1
Let u = 12 - 8. Solve -2*j - u = -2*s, -2*j = -j + 2*s + 8 for j.
-4
Let x(o) = -o**3 - 7*o**2. Let f be x(-7). Suppose f = -5*a + 5 + 5. Let r(w) = w**2 + w. Let s be r(-1). Solve c - a = -s*c, -4*u = -c + 10 for u.
-2
Let w(h) = -2*h**2 + 3*h**2 - 3 + 4*h + h. Let r be w(-6). Let b be 1*-1 + 4 - 1. Solve z + b*s = 3*s + r, -9 = 3*s for z.
0
Let r be 75/(-9) - 1/(-3). Let b(v) = 6 + 0*v + 2 + v. Let w be b(r). Solve 2*h - 5*n + n = w, 4*h = n for h.
0
Suppose 42 + 38 = 4*p. Let w be 1/((-42)/(-20) + -2). Suppose 3*b - 5*j = 0, -5*b - j + w = -6*j. Solve -b*a - p = -3*m, 2 = m - 4*a - 7 for m.
5
Let l be ((-12)/10)/((-15)/50). Let p be (-1)/2*(-6 - -2). Suppose -x = -p*x + 23. Solve -l*t - 5*v + x = 0, 5*t + 3 = 2*t + 3*v for t.
2
Let z(o) be the first derivative of -o**2/2 - o + 2. Let k be z(-6). Solve 3*h = -4*a - 27 + 7, 0 = 2*h + a + k for h.
0
Let b(f) = -3*f - 6 + 2*f + 1. Let j be b(-7). Solve 0*t - 2*t = -j*a, 3*a = t + 4 for a.
2
Let g = 32 - 27. Suppose -5 = -4*k + 3. Solve 2*z = z - w - g, 0 = -k*z + 5*w + 18 for z.
-1
Let q(n) = n - 3. Let s be ((-44)/12)/((-1)/6). Let i = s + -15. Let l be q(i). Solve 0 = 4*u - l*g - 16, -1 = -u - g + 5*g for u.
5
Suppose 3*l - 2*p + 7 - 26 = 0, 2*p + 16 = 2*l. Suppose z = -s - 0*s, -3*s = 5*z - 2. Solve 2*t + z = -5*y, y + 2 = l*y + 2*t for y.
-1
Suppose -8 - 8 = -4*v - 2*m, 0 = 2*v - 2*m + 4. Suppose 5*c + 2*t - 35 = 0, -5*t + 19 = -c - 1. Solve 0*u = 2*u + 3*q - 5, -v*u - c*q + 15 = 0 for u.
-5
Suppose -5 + 1 = 2*a - 2*q, q - 12 = -4*a. Suppose 0 = 7*k - a*k - 55. Solve 4*o = b + 10, 2*b + 0*o - 5*o = -k for b.
2
Let k be (0 + 0)*(1 + 0). Suppose 12 = 2*w - k*w. Suppose 6*h - 4*h + s - w = 0, -4*h = 4*s - 16. Solve 4 + 2 = 3*b - 2*p, -6 = -b + h*p for b.
0
Let h be -2 + 6 - 1 - -2. Solve d + 28 = 5*y - 0*y, 4*d - h*y = -37 for d.
-3
Suppose -9*h = -4*h - 40. Let u = h + -7. Solve 4*x = -3*c + 28, -x = -3*c + 7 + u for x.
4
Let l = 5 + -1. Suppose l = -x + 30. Solve 2*k + 22 = -3*s, 7*s - 3*s + 2*k + x = 0 for s.
-4
Let w = 0 - 0. Suppose 4*x + 0*x - 84 = w. Suppose v + x = 2*v. Solve -12 = -q + 3*o, q - 6*q + 2*o + v = 0 for q.
3
Let t = 71 + -66. Solve 3*d - 5*p = -0*d - 1, -t*d + 5*p = 5 for d.
-2
Let m = -11 + 15. Solve 4*s + 3 = -5*q + 2, m*q + 4 = -4*s for q.
3
Let m(c) = c**3 + 6*c**2 + 5*c + 2. Let f be m(-5). Suppose 4*k = 2*d - 7 + 13, 0 = -4*k + 3*d + 3. Solve 0 = -b + f*x + 2, -4*b - 7 = k*x + 7 for b.
-2
Let o(y) = y**2 - 14*y - 21. Let m be o(16). Solve 0 = 5*w - 4*q - 0*q + m, 4*q = -2*w - 10 for w.
-3
Let x(y) = y**2 + 4*y - 8. Let t be x(2). Solve -10 = -3*f - t*d + 21, -d + 29 = 5*f for f.
5
Let d be 748/55 - (-4)/10. Solve 0 = 3*j + 5*s - 12, 3*j - 4*s = j - d for j.
-1
Suppose 5*y - 20 = -5*q, -2*y = 2*q - 4*q - 12. Solve -5*w = -5*o + 5, y*o + 4*w + 4 = -0 for o.
0
Suppose -p + 4 = -7. Let h = p + -9. Solve 0 = o - 3, -h*k - o + 7 = 2*o for k.
-1
Suppose -3 = -s + 2. Suppose v = -s*k - 3*v + 11, -3*v = 3*k - 6. Let u(f) = f + 8. Let o be u(4). Solve t - o = -3*q, -q + k = -2 for t.
-3
Let d = -8 - -3. Let a = 3 - d. Let h(q) = -q**2 + 9*q - 6. Let y be h(a). Solve y*b - 3*l = -5, l + l = -4*b - 2 for b.
-1
Let i be ((-10)/4)/(-5)*6. Let o be (-6)/i + (-2)/(-2). Let f(c) = -2*c + 1. Let b be f(o). Solve -b*q = -15, -a - 2*q = -3*q for a.
5
Let k = 24 - 16. Suppose -4*p = 2*m + k, m = -4*m - 3*p + 1. Solve 2 = -3*a + 4*z, -m*a + 3*z + z = 0 for a.
-2
Let s(g) = -19*g - 5. Let q be s(-1). Solve 4*c - 6*d = -d - 17, 2*c - q = -2*d for c.
2
Let d(a) = 2 - 15 + 2*a + 0 - 9*a**2 + a**3. Let o be d(9). Suppose 0*u = o*u - 25. Solve u*k - 5*p + p = 3, -5*k + 6 = -3*p for k.
3
Let w(d) be the second derivative of 0 + 2*d + 3/2*d**2 - 1/6*d**3. Let z be w(-3). Solve z*a - 5*a = -y + 7, -4 = 4*a - 4*y for a.
3
Let q(j) = 2*j**2 - 2*j + 3. Let d be q(2). Solve d = -x - 4*s - 6, -3*x = -4*s + 7 for x.
-5
Let u = -55 - -78. Let m(l) = -l - 7. Let o be m(-9). Let f = u - o. Solve 19 = -3*b - 2*n, -2*n = 3*b + n + f for b.
-5
Let k = -5 + 8. Let j be 1*(7 + (-6)/(-3)). Solve -5*r + 21 = -k*a - j, -4*r - 8 = 4*a for r.
3
Suppose 6*q - 40 + 16 = 0. Solve 0*r + 2*r = -2*u + q, 14 = -3*u + 2*r for u.
-2
Suppose -m = 3*f - 17, 3*f + 0*m = 2*m + 2. Suppose f*w + 0*w = -5*i + 35, -5*w = 0. Solve 2*v + q - i = -v, 2 = -v + 4*q for v.
2
Let j be 4*(3/2)/3. Suppose j*q + 10 = 4*q. Let f be 52/16 + -3 - (-21)/12. Solve -2*l - f*v = 3*v + 6, 0 = q*v + 10 for l.
2
Let v = 1 + -2. Let g be v + -2 - 1*-3. Suppose g = 3*s - 15 + 3. Solve 0 = u - 3 - 0, s*l - 25 = -3*u for l.
4
Let g = 3 + -3. Solve g = 2*h + 4*n + 4, n + 1 = -h - 2*h for h.
0
Suppose -4*w - 3*y - 1 = 0, -5*y - 15 = w - 2. Solve 0 = -2*g - 4*f + 22, -5*g + 2*f + 5 = -w for g.
3
Suppose -15 = 5*q - 0*q. Let t be q - (3 - 4)*8. Suppose 0 = t*u - u - 8. Solve -u*y + 3*r = -7, 0 = 2*y - r + 5*r + 28 for y.
-4
Let c(m) = -m - 1. Let f be c(-6). Let v = 2 + 4. Suppose 4 = 5*q - v. Solve f*h + z + 15 = 0, 5*z - q*z + 6 = -2*h for h.
-3
Let t(d) = -2*d - 2. Let u be t(-5). Let h be (-1 - 8/(-1)) + -2. Suppose h*g - u = 12. Solve 4*z + g*b = -z + 17, -5*b - 10 = 0 for z.
5
Let v be -4 - -5 - (3 + -2). Let l = v - -1. Suppose -2*m = 3*p + l, p + 2 = -m + 3. Solve 20 = 4*t - m*g, 3*g = -3*t - g + 8 for t.
4
Let i be (0 - 0) + 0 + 1. Let u = 13 + -23. Let a = -7 - u. Solve 5 = -a*z - x, 5 + i = -2*z + 2*x for z.
-2
Let c = -1 - -6. Let w(t) = 2*t + 3. Let o be w(0). Solve 28 = c*s - o*k, -5 - 10 = -4*s - 5*k for s.
5
Suppose -m + 1 = -7. Let h be ((-8)/5)/(10/(-50)). Suppose -6 = -11*p + h*p. Solve 2*d = p*x - 0*x + m, -4*d + 4 = 2*x for d.
2
Suppose 25 = 5*g - 0. Suppose -5 = -3*n + a, g*a + 38 = -4*n + 13. Let u = 1 + n. Solve 3*b + 3*y - 24 = 0, 4*b = y + u + 11 for b.
4
Suppose w + r - 1 = 0, -10 = r - 6. Solve z + 4*k - 12 = 0, -w*z = -z + 5*k - 15 for z.
0
Suppose 16 = -2*w - 0. Let q = w + 4. Let b(s) = -s**2 - 6*s - 5. Let y be b(q). Solve y*o - 3 = 3*d + o, 4*d - 4*o = 0 for d.
-3
Let m(x) = x**3 - x**2 - 4*x - 1. Let n be m(3). Solve f + 4*f = 10, f = n*h + 17 for h.
-3
Let x(u) = -4 - 2*u + 3*u + 13. Let q be x(-8). Solve b + q = -3*c + 2*c, 0 = b - c + 1 for b.
-1
Let j be 12/(-42) - (-46)/14. Solve 3*o = -o + 2*i + 18, 0 = -j*o + 5*i + 10 for o.
5
Suppose -t - d + 3 = 0, 3*t - d - 2*d = 3. Solve -j - 16 = -5*k - 4, j + 2*k = t for j.
-2
Suppose 0 = 2*m + 8, 0 = -f - 4*m - 3 - 6. Solve -s + 0*u = -u + f, 0 = 2*u - 4 for s.
-5
Let z(n) = -n**3 + 5*n**2 + 5*n + 9. Let d be z(6). Solve 2*f = -5*r - 21, -3*f + d*r = f + 3 for f.
-3
Let l be 3*(3 + -1)/2. Let s(c) = c**3 - 5*c**2 + 2*c + 1. Let d be s(4). Let m = -5 - d. Solve 3*o = -m*u + 20, 1 = l*o + 3*u - 23 for o.
4
Suppose z + 16 = 2*g - z, -5*z = 5*g + 10. Let h be 0 - (-4 - 3/g). Solve h*b = -3*l + 10, b - 2 = -0*b + 3*l for b.
2
Suppose 0 = -u - 2*u. Solve -4*n + n - 4*m + 20 = 0, u = -3*n + 3*m + 6 for n.
4
Let n be -3 + 14/(-2)*