a - h*w = -3*a + u for a.
2
Let y be (4 + -3)/(1/(-5)). Let l be (y + 3)*9/(-6). Solve 3*u - 3*j + 18 = 0, -u - 3*j = 3*u + l for u.
-3
Let w be ((-6)/2)/(-6*3/24). Solve 0 = -3*y - w*k + 23, 4*k + 8 = 5*y - 9 for y.
5
Suppose -4*h - 2 = -v + 1, 12 = 5*h + 4*v. Solve 4*c - 5*i + 24 = 0, h = 2*c + i - 2 for c.
-1
Let t be (-2)/(-8) + 93/12. Let p(q) = q**2 - 6*q - 4. Let j be p(9). Suppose 5*h + 2*v = j, 0 = 2*v + 3*v + 5. Solve 6 + 6 = 3*b + 3*o, t = b + h*o for b.
3
Suppose -10*a + 15*a = 25. Solve 20 = 4*i - 5*b, i + 0*b = 5*b + a for i.
5
Suppose 11*k - 12*k = -15. Solve -4*z = 3*q + q + 36, -k = 3*z for q.
-4
Let y(u) = -u + 1. Suppose -2 - 1 = 3*g. Let o be y(g). Let i = 4 - o. Solve -x - 3*x - i*p + 8 = 0, 0 = -5*x + 4*p + 36 for x.
4
Suppose v - t = -0*v, 4*v - t - 12 = 0. Solve 4*j + 4*d = 0, -j + v*d = -d - 24 for j.
4
Suppose 0 = -2*k + 3*k - 4. Suppose -9 = k*i - 7*i. Suppose -z + 5*y + 24 = 0, 3*y + 16 = -z - 2*y. Solve 3*o + 1 - 4 = -i*s, 4*o = -5*s + z for o.
1
Suppose -64 = -2*q + 4*c, -5*c - 36 = -q - 4*c. Let u be q/(-6)*144/(-60). Solve 4*s = -2*d + u, s - 4*d + 20 = 3*s for s.
2
Let m(j) = -j**3 + j**2 - j - 1. Let i(k) = k**2 - 5*k - 8. Let g be i(6). Let q be m(g). Let u be 0 + -2*2/(-2). Solve 13 = 3*a + u*d, 5*a + 0*d - d = q for a.
3
Let n be -15*((-20)/6 + 3). Solve 4*u + 2*t = 3*u + 4, 0 = -n*u + t - 13 for u.
-2
Let m = -54 + 60. Let w be (15/(-5))/((-1)/1). Solve 2*c - m = f, 0*f - 4*f - w*c = 13 for f.
-4
Suppose 12*s - 11*s = 3. Let k be (0 + 2 - 1) + 8. Suppose k = 3*i - 0*i. Solve -2*m + i = s*c + 5, 0 = 5*c - 5*m + 45 for c.
-4
Let b(z) = 0*z**2 - z**2 - 3*z + 0 + 3*z**2 + 1. Let w be b(2). Solve w*g + o + 10 = 0, 0 = 2*g - 5*g - 4*o - 22 for g.
-2
Let y = 5 + 0. Suppose 0 = -3*b + 6, -3*i - 1 = -4*b + 7. Suppose 2*m + i*m - 3*n = -7, 3*m - 4*n = -8. Solve y*u + 7 = 3*v, -v + 8 = -m*u + 2*v for u.
1
Let a(u) = u - 3. Let l be a(6). Let x be 53/l - (-2)/6. Let k = x - 13. Solve i + 4*n = -4 - 12, -5*i + 20 = -k*n for i.
0
Let u = 47 + -22. Suppose 65 - u = 5*s. Solve 2*a = s, 5*o + 13 = 2*a - 0*a for o.
-1
Let l(z) = -2*z + 2. Let w be l(-9). Suppose 0 = 4*m + m - w. Solve 3*y + 2*r + 4 = -6, m*y + 18 = 2*r for y.
-4
Let s = 8 - 5. Suppose 0*y - 13 = -4*y + 5*q, y - s*q - 5 = 0. Solve p = -y*v - 3*p + 14, 0 = v - 5*p for v.
5
Let l be 0*(3 - (-10)/(-4)). Suppose l = 4*f + 27 - 3. Let c be (2/2)/(f/(-12)). Solve -5*k - 2*b + 0 + 23 = 0, -c*b + 8 = 2*k for k.
5
Suppose v - 15 = -2*v. Let b be (-6)/10 + (-38)/(-5). Suppose -v*o + 8 + b = 0. Solve o*x + 10 = -a, 0 = 3*a - 4*x + 3*x for a.
-1
Let b be ((-2)/6)/(2/(-24)). Solve 4*a = 2*f - 4, -b*f - 3*a - 2 = 1 for f.
0
Let l(u) = 13*u**2 + 31*u + 43. Let a(s) = -3*s**2 - 8*s - 11. Let z(k) = -9*a(k) - 2*l(k). Let i be z(-9). Solve i*p - p = 4*q + 4, -p = 0 for q.
-1
Let t be (14/(-21))/(2/(-57)). Suppose 4*h - 13 = -57. Let s = h + t. Solve -s = -5*o - f, 12 - 4 = -4*f for o.
2
Let i(t) = t**3 - 6*t**2 + 2*t - 7. Let q be i(6). Suppose 41 = q*g + 16. Let h = 3 - 1. Solve 7*k - 2*k = -w - h, k + g*w = -10 for k.
0
Let z(b) = b**2 + 6*b - 4. Let g be z(-7). Suppose -4*k + 5 = -g*k. Solve k*d = 10, 4*a + 5*d - 23 + 1 = 0 for a.
3
Let j(y) = y**3 - y - 3. Let w be j(2). Solve -3*p - p = -4*c - 4, 3*p - w = 0 for c.
0
Suppose -20 = -5*w - t + 15, 2*w - 2*t = 2. Suppose -5*o + w = -4. Solve n = 1, g - o*n + 3*n = -1 for g.
-2
Suppose 12*o - 7*o = 0. Solve 4*a + 4 + 0 = o, r - 2*a = 7 for r.
5
Suppose 5 = 2*q + 1. Solve w = -a + 9, 6*a + q*w = 5*a + 14 for a.
4
Let g(b) = -b**3 - 9*b**2 + 12*b - 10. Let r be g(-9). Let n = 196 + r. Suppose 4*s = n - 6. Solve -3*w - 2*o = -w - s, -4*w = o - 24 for w.
5
Let g be (-24)/2 - (-1 - 1). Let t be g/(-2) - (-2 - 0). Suppose 5*m - 18 - t = 0. Solve -5*o = q + q - 10, -10 = -m*o + q for o.
2
Let r be (6/(-6))/(1/(-4)). Suppose 2*s + 1 = -3*x - 0, 0 = 3*s + r*x. Solve -3*v = -4*d + 15, -4*v = -s*d + 6 + 14 for v.
-5
Let i(w) = w**2 - 13*w + 1. Let d be i(13). Solve -d = -2*t - 5*a - 4, 5*t + a + 19 = 0 for t.
-4
Suppose -3*l = -5*c - 3, -4*l = -4*c - 6*l + 2. Solve c = -3*a + 2*g + 5 + 12, 2*g + 8 = 0 for a.
3
Let g = -45 - -47. Solve 0 = 4*p - 3*i - 14, 19 = 3*p + g*p - 3*i for p.
5
Let t = 2 + 16. Let c = t - 11. Solve 1 = 3*o + n, 4 = -4*o - 3*n + c for o.
0
Suppose x - 2*d = -3, 0 = -5*x - 4*d + d - 28. Let c be 0 - (-1 - -2) - x. Solve c*v = -i + 13, -3*v + 1 = -i - 14 for i.
-3
Let v be 3 + -2 + 88 - -1. Suppose 4*c = 9*c - v. Solve -4*m - 17 = 3*l, 2*m - c = 4*l + 5*m for l.
-3
Let i be -1 + -3*4/(-6). Let h be 2 - (i + (0 - 1)). Suppose 0 = -h*m + 8 + 2. Solve 7 = -a + m*s, 3*s = a + 2*a - 3 for a.
3
Suppose -6 = -2*t + 4*o, -3*t + 5*o = -2*t - 3. Solve -t*i - 4 = -m, -m + 3*i + 24 = -4*m for m.
-5
Suppose -4*q - 4*h = 0, 1 = -4*q + 2*h + 13. Suppose -k + 7 = 5*t, q*k + t - 3 = 2*t. Solve -20 = 5*c + 4*z, k*z - 16 = -3*c + 7*c for c.
-4
Let s be (-1*1)/((-17)/68). Solve m + s*p + 5 = -0, 3*m = -p - 4 for m.
-1
Let b = 26 + -22. Suppose 3*w + k = -0*w + 9, 19 = b*w - k. Solve -w*u - 3*r + 7 = 2*r, 0 = -3*r + 9 for u.
-2
Let h(n) = 0 - 1 - 3*n + 3*n + n**2. Let o be h(-1). Let l = o - -4. Solve k = 6*w - w - 11, 2*k = -l*w + 6 for w.
2
Let w(u) = -u**3 + 13*u**2 + 15*u - 10. Let x be w(14). Suppose j = -x*j. Solve 3*o + 0*o = 4*l + 32, -4*l - 5*o = j for l.
-5
Let h = -18 + 18. Solve 2*a - x = -4, -36 = 4*a - h*a + 5*x for a.
-4
Let f be 0 - -6*1/2. Let w(q) = q + 3. Suppose 19 = 4*n - 0*n - 3*i, -n = -5*i + 8. Let b be w(n). Solve f*a + 0*l = -5*l + 25, -a + 2*l - b = 0 for a.
0
Suppose 13 = -2*n - 3. Let y = n + 12. Suppose 0*o + o = 0. Solve -y*d = 3*u - 4 - o, 16 = 4*u for d.
-2
Suppose -5*u + 4 = 3*m, 3*u + 4*m = -u. Let c be (-58)/(-4) - (-1)/u. Let y = c + 15. Solve 0 = -i + 5*q - 24, -i = 4*i + 5*q - y for i.
1
Let y be (-2)/(-6) + (-103)/3. Suppose -3*r + 4*r = -47. Let b = y - r. Solve 2*z + 4 = -2*v, 2*z + 6*v + b = v for z.
1
Suppose 5*m - 4*t = 22, -2*m + 5 = -2*t - 5. Solve -4*j + 5*o = 18, 3*j + 4*o - m = -0*j for j.
-2
Let p = -12 - -5. Let i = p - -4. Let v = i - -6. Solve -4*h - 2 = k + 8, v*k = -2*h for h.
-3
Suppose -2*i = 2*a - 70 - 76, 0 = -a + 3*i + 69. Suppose 4*u = 2*u + a. Solve q + 4 = 2*d - 0*d, 4*q = -5*d + u for d.
4
Let q = 64 - 64. Solve -2*b - b + 4*t = 7, -t - 2 = q for b.
-5
Let f be -1 - 1 - -3 - -2. Solve 20 = 5*j - f*g, g = -5*j - 2*g - 10 for j.
1
Let y(o) be the third derivative of -o**4/12 - 5*o**3/6 + 2*o**2. Let r be y(-5). Suppose 20 = r*l - 0*l. Solve 0 = -0*x + 3*x + 4*u - 31, 3*x = l*u - 1 for x.
5
Let f(k) = k**3 + 6*k**2 + 5*k - 6. Let r be f(-3). Solve 0 = -3*q + r, 0*y + y = -4*q + 6 for y.
-2
Let l = -8 - -11. Suppose l*y + 17 = 4*c, -4*y + 9 = -0*c + c. Solve -5*t - 4*v - y + 8 = 0, -t - 4*v = -11 for t.
-1
Let y = 30 - 14. Let o = 25 - y. Suppose -3*x + 0*x = -o. Solve 4 = x*l + 5*q + 15, 1 = 3*l + 2*q for l.
3
Let v(a) = -a + 12. Let u be v(12). Let n = -6 + 13. Suppose 3*s + 2 = 2*y - 4*y, -5*y - 4*s + 2 = 0. Solve g = u, n*g = -3*l + y*g for l.
0
Suppose -3*o + 5*w = 6*w - 1, -5*w = -5. Solve 3*v - 4*r + 12 = o, -2*v + 2*r - 6 = -0 for v.
0
Suppose -s + 1 = -q, 4*q = q - 3. Suppose s = -z - h, 5*z - 4*h - h - 40 = 0. Let j(x) = x**2 + 1. Let k be j(-2). Solve k*l = -w - 2, -l + z = -2*w - 0 for w.
-2
Suppose 0 = 3*k - 4*c - 8, -6*c + 4 = -2*c. Let a = 2 - 1. Let g be (a + -1)*(-2 + 3). Solve -k*d - 2*l = -14, g*d - 4*d + 4*l = -8 for d.
3
Suppose s + 4*v - 34 = 0, v = 4*s - v - 46. Solve -2*z - 2 = 2*z - 2*n, -4*n + s = 2*z for z.
1
Suppose -v - 5 = -7. Suppose -2*r - 7 = -g, -3*g - 24 = 2*r + r. Let p be 2/((6/(-4))/g). Solve j + 0*j = -2*x + v, -x = p*j - 1 for j.
0
Suppose 34 + 1 = -5*t. Let z be 7/(t/(-2)) + 9. Solve -2*u = -3*d + 23, 0*d + z = -4*u - d for u.
-4
Suppose l + 1 = 5*f, 3*l + 6 = f + 3. Solve 18 = 4*j - 5*z + 3, 2*j + 3*z - 13 = f for j.
5
Let k be ((-2)/5)/(5/25). Let m = k - 0. Let p be 4 + (1*-2 - m). Solve 3*z - 2*i = 13, -3*z - p*i - 25 = -8*z for z.
1
Let s be (-2)/(-8) - 14/(-8). Solve -5*a = 25, 5*a + 25 = -s*p + 4*p for p.
0
Let h be 16/12*(-9)/(-6). Solve 2 = -2*z + 2*i, h*z - 6*z - i = 24 for z.
-5
Let u be (-1)/(3/(2 - 17)). Let b(j) = 2*j - 6. Let z be b(u). Let v = -20 + 45. Solve -z*c + 25 = -c - 5*k, 5*c + 5*k = -v for c.
0
Let b = -17