 + 4*u for a.
-5
Let s = -12 + 15. Solve 3 = -3*w + s*x, -7 + 0 = -5*w + x for w.
2
Let n(j) = -j**2 - 6*j + 7. Suppose -5*a = -10 - 0. Suppose 4*k = -a*p - 0*k - 34, -3*p - 11 = -2*k. Let r be n(p). Solve b = 2*h + 9, r*h = 2*h + 8 for b.
1
Let f(b) = 9*b**3 + 2*b - 1. Let k be (-6)/(-8) - (-4)/16. Let a be f(k). Solve -j = -5*h + a, 2*h + j - 4*j = 17 for h.
1
Let d(c) = c**2 - 4*c + 5. Suppose -2*r - 14 + 2 = 4*f, 3*f = -3*r - 3. Let n be d(r). Solve -5*y - x - x + 2 = 0, n = -y + 5*x for y.
0
Let r be 1/(-3) + (-55)/15. Let x = r - -6. Solve 0 = -5*u - 2*k - 47 + 14, 2*u - 3*k - x = 0 for u.
-5
Suppose -10*u = -4*u - 24. Solve 0*k + 4*k = -5*z - 21, u*k = z + 9 for z.
-5
Suppose 0 = -3*l - 5*n + 31, -2*l - 5*n + 3*n + 14 = 0. Solve l*z + 12 = -5*b, z + 0*z - 20 = 4*b for b.
-4
Suppose 5*r - 3*r = 4. Let m be (r/5)/(3/30). Solve 2 = -2*n + 2*w, m*w = -6 + 18 for n.
2
Let c = -7 + 11. Suppose -r + q = -2*r + c, 3*r = q + 16. Solve -5*f = -5*p - r, 3*p - 5 - 4 = 0 for f.
4
Suppose 5*x - 31 = 4*z - 488, -4*x + 5*z - 371 = 0. Let y = -62 - x. Solve 3*f + 4*a = -3, -3*a + 9 - y = -3*f for f.
3
Let l(g) = -4*g**3 + g**2 + 2*g + 1. Suppose 2 = -h + 1. Let n be l(h). Solve -m = -3*u + 1 + 1, 2*m + n*u = -14 for m.
-5
Let m = 17 + -9. Suppose -m*o + 20 = -3*o. Solve -o*i = 0, -2*i + 1 = -j + 2*j for j.
1
Suppose -a + 5 = v, v - 4*a + 16 = 3*v. Solve 3*y = -c + 1 - 6, -18 = v*y - 3*c for y.
-3
Let n(i) = i**2 + 13*i + 27. Let d be n(-11). Solve d*t - 1 = -2*h + 3, -5*h - 3*t = -10 for h.
2
Let t be 1*(13 - 2/(-1)). Suppose 5*j - 5 = t. Solve 0 = 2*a - 5*a + u + 5, -j = 2*u for a.
1
Let p be 5 + (-2 - -1)*1. Suppose 2*t = o - 4, p*t + t - 5*o = -10. Let k be (1/(-1))/(t/10). Solve 4*g + 1 = 13, k*w + 4*g - 12 = 0 for w.
0
Let n = -2 - 4. Let m be ((-2)/n)/(4/12). Let t = 4 - m. Solve -o = t, 5*j + 2*o + 19 = -o for j.
-2
Let w = -6 + 24. Let o = 28 - w. Solve 2*k - 6*k - 20 = 3*v, o = -5*v - 2*k for v.
0
Let u = 6 + 2. Let f be 3/2*u/(-12). Let r be f/2 + (-39)/(-6). Solve 5*j + 14 + r = 5*g, j - 3*g = -14 for j.
1
Suppose -5*p + 33 = 4*n - 25, 3*p + n = 32. Suppose -3*l + b = -7 - 6, 2*l = -4*b - p. Solve 0 = -0*i - l*i + 2*s + 4, 4*i = 2*s + 4 for i.
0
Let o = -18 - -20. Solve -o*t - 25 = -5*b - 0*b, -b - 5*t = -5 for b.
5
Let x = 33 + -21. Let r = 12 - x. Suppose 5*b - 2*q = q + 67, 0 = 3*b + 4*q - 17. Solve -d + 5*l + b = r, 2*l = -d + 3*d - 6 for d.
1
Let q(x) = -5*x - 5*x**2 - 2 + 4*x**2 + x. Let d be q(-2). Solve -2*b = -5*o, -5*o + 12 = d for b.
5
Let r = 2 - 5. Let z be (1 - 1/r)*3. Solve f + 4*h + z = 2*h, -5*f + 2*h + 16 = 0 for f.
2
Let p = -7 - 21. Let y = -25 - p. Solve 0 = -2*r - 3*i + 9, -3*r + y*i - 24 = -0*r for r.
-3
Let a be (-4)/(-3)*(-9)/(-6). Let r = 4 - a. Suppose 0 = -3*d - r*k + 20, 0 = 3*d - 2*k - 4. Solve 3*i = -d*m - 7, -4*m - 2*i + 3 = 9 for m.
-1
Let h(v) = -v - 9. Let a be h(-11). Suppose 6*u = a*u. Solve 3*l + 4*q + 13 = u, 0*q = 5*l + 5*q + 20 for l.
-3
Let b(z) = z**2 - 14*z + 27. Let q be b(12). Solve r = q*n - 9, 3*r + 4*n + 1 = -0 for r.
-3
Let y(l) = l**3 - l - 3. Let x be y(2). Solve 3*m - 2*k - 23 = -0*m, x*k = -2*m - 2 for m.
5
Let t be (12/10)/((-2)/10). Let l be (-8)/t*36/8. Solve 0 = 3*f + 5*n, -l*f + 3*f - 3*n + 6 = 0 for f.
5
Let q(z) be the third derivative of -z**5/60 - z**4/4 + 5*z**2. Let i be q(-5). Solve i*r + n - 4 = 13, 0 = -n + 2 for r.
3
Let f = 15 - 14. Solve t = 1, -4*t = g - 3*t - f for g.
0
Suppose 0*q = -4*q + 4. Let o be (3/q)/(6/10). Solve o = 2*c - 3, -5*r + c = 19 for r.
-3
Suppose 10 = 3*m + 1. Suppose -5*d = -1 - 14. Let n(i) = -i**3 + 3*i**2 + i + 1. Let p be n(d). Solve 2 = -m*k - 2*x, p*x - 8 = k + 2 for k.
-2
Let m be (3/(-9))/((-3)/9). Solve -t = 2*y + m, 5 = -2*y - 3*t - 6 for y.
2
Let n = 16 + -8. Let d(t) = t**3 - 8*t**2 - t + 10. Let i be d(n). Solve -4*f - r = -9, 3*f = -0*f + i*r - 7 for f.
1
Let c = -2 - -6. Suppose -16 = 4*o, -2 = c*j - 3*o - 26. Suppose j*h = -5*t, -3*h + 5*h = 5*t. Solve m = 3*q - 3*m - 21, h = 4*q + 3*m - 3 for q.
3
Let a be (0 + 12/(-9))*-3. Solve -x - 1 = 4*q - a, -x = -q + 7 for q.
2
Let i be 10/2 - (3 - 1). Let z be (i/(-2))/((-15)/40). Solve n = 5*n + z*l - 36, -3*n - 4*l = -31 for n.
5
Let h be ((-30)/(-9))/((-6)/(-27)). Solve 5*n + h = f, -5*n - 16 = -n for f.
-5
Let u(c) = -3*c - 2. Let k be u(-2). Let a = -22 + 55. Let y be (-1)/4 + a/k. Solve -3*i = -5*v + y, 4*v - i - 2*i = 7 for v.
1
Let s be -3*(-1)/6*4. Suppose 0*f - 50 = -3*n - 4*f, -4*f = s*n - 40. Let v = n + -1. Solve -2*c - 2*k + v = k, -k + 5 = 0 for c.
-3
Let y be ((-6)/4)/(7/56*-4). Solve 0 = 2*z + 3*s - 7, -y*z + 3 = -4*s + 6*s for z.
-1
Let m be (-103)/(-7) + (-4)/(-14). Solve -5*w = -u - m, -5*w = -2*u - 0*u - 10 for u.
5
Suppose 2*w - w - 6 = 0. Let y(c) = c**2 - 5*c - 3. Let x be y(w). Solve 2*t + 2*v = -0*v + 8, -4*t - x*v + 14 = 0 for t.
2
Let o = -7 + 9. Solve 4*p + 20 = 4*m, o*p + 2 = -4*m - 2 for m.
1
Let t = 8 + -4. Let m be 6/t*2/(-3). Let g be 6 + m*2 - 2. Solve 2 = 4*d - 2*x, 0*x + g = d - x for d.
-1
Let z = 2 - 5. Let g be 1/2*(19 - z). Solve 14 = s + 5*q - 3, 3*q - g = -s for s.
2
Suppose -a - 2*a + 0*a = 0. Solve 5*u = -10, i + 7*u - 3*u + 7 = a for i.
1
Let u(p) = -5*p + 2. Let k(w) = -6*w + 2. Let o(j) = 4*k(j) - 5*u(j). Let n be o(2). Solve -r - 4*r - 10 = n, 0 = 2*f - 2*r + 2 for f.
-3
Let z(x) = 4*x**2 - 3*x. Let o be z(-3). Let c = o + -30. Solve -3*w + c = -0*q - 2*q, w + q = 5 for w.
5
Suppose 4 = 6*h - 5*h. Solve 4*m - 5 = -h*i + 7, -i - 4*m = 0 for i.
4
Suppose -2*s = 4*j - 4, -2*j = 4*s - 5 - 9. Solve -2*o + 6*z - z = 8, -13 = -5*o - s*z for o.
1
Let r = 28 - 25. Solve -r*a = -5*k - 25, 4*a + k + 7 - 2 = 0 for a.
0
Suppose -16*y + 13*y + 6 = 0. Solve -6*o + o - 17 = y*w, 0 = 3*o + 5*w + 14 for o.
-3
Let w(h) = -h**2 + 13*h + 13. Let b be w(13). Solve 5*p + b = -4*t + 3*t, 2 = t for p.
-3
Suppose -8*i + 13*i - 20 = 0. Suppose -1 - 13 = o + i*w, 12 = -3*w. Solve -2*d + 3*k = o, -d + 3*d = k + 6 for d.
5
Suppose 0*f + 6*f - 12 = 0. Solve 3*d = h - f*d + 3, -h - 2 = -4*d for h.
2
Let x = 7 - 5. Let j = 0 + 2. Let i be (2 + 1)/((-2)/4 + 1). Solve -f = -j*d + 15, i*f = x*f - 3*d - 5 for f.
-5
Let s(u) = u - 4. Let t = 9 + 0. Let j be s(t). Solve 4 = -4*f, -4*y - 1 = j*f + 12 for y.
-2
Let b be -3 - (-28)/(2/1). Solve b = 2*g + 5*y - 2*y, 4*y = 5*g - 16 for g.
4
Let r(v) = v**3 - 6*v**2 - 6*v - 10. Let n be r(7). Let p be n/(5/((-105)/9)). Solve -3 = -3*q - p*x + 4*x, q - 4*x = -9 for q.
-1
Suppose h = -4*h + 25. Suppose 0 = 4*c - 2*c - 6. Solve h*z = -0*z - c*y, 0 = -z + y for z.
0
Let y be (3 - (-22)/(-6)) + (-34)/(-6). Solve 4*j + 9 = y*b, 5*b - 5*j = 14 - 4 for b.
1
Let m(g) = g**3 + 2*g**2 - 3*g + 1. Let i be m(-3). Let k be 7 - ((i - -1) + -1). Solve l - 3*t - k = 0, 4*t - 2*t = 5*l - 17 for l.
3
Suppose -4*o + 8 = 2*u, -o + 5*u - 20 = 4*o. Let p be 1/1 - (0 + 1). Suppose 5*s - 18 - 2 = 0. Solve o = -s*b, 5*b = -m - p*b + 2 for m.
2
Suppose 5*a = 2*g + 75, -2*a + 6 = -5*g - 45. Let l = 6 + -1. Solve k - a = 2*k + l*y, -y = -4*k + 11 for k.
2
Let x = 12 - 7. Suppose -2*q = -2*s + 6, -3*s - x*q - 3 = 12. Solve s = 3*o + r + 7, o - 3*r = -o - 1 for o.
-2
Suppose 0 = -3*a + 25 + 26. Suppose -3*r = f - 11, 5*r + 0*f + f - a = 0. Let n be -1 + 3 - (-3 + 1). Solve -2*m + 18 = -n*m - 4*l, r = -4*m + 3*l for m.
-3
Suppose -5*w - 4 = 36. Let k = w + 8. Solve k = -f + 1, -2*m + 2 - 4 = -4*f for m.
1
Suppose 5*u - a = 6*u - 8, -u = 3*a - 8. Suppose -u = k - 3*k. Suppose -k*i = -i - 15. Solve -i*x - 22 = 4*q, -7 = 4*x + 1 for q.
-3
Let v = -5 - -7. Suppose -4*k = -v*k - 12. Let d = k - 3. Solve 3*f + 7 = o, -5*f + 4*o + 2 = -d*f for f.
-3
Let u = -9 - 0. Let k = u - -12. Solve 23 = -v + 4*o - 0, -4*o + 11 = k*v for v.
-3
Let p = -49 + 49. Solve p = -3*i + 2*a - 6, 12 = -5*i + 4*a - 0*a for i.
0
Let r be (-2)/(-8) + 118/8. Suppose -g + 4*g = r. Solve 3*k = g*c + 29, 1 = c + 5 for k.
3
Let k(a) = a**3 - 13*a**2 + 12*a + 16. Let z be k(12). Solve -4*x = -4*u + z, -4*x + u - 16 = -u for x.
-4
Let j = 6 + 0. Suppose -4*k + 10 + j = 0. Solve -w + 5*z = 1 + 29, -k*w = 3*z + 5 for w.
-5
Let f = -27 - -40. Let x be (9 - f)*(-6)/8. Solve 2*y - 4*m - 20 = 0, x*m - 21 = -3*y + 6*m for y.
4
Let c = 15 - 11. Solve -4*i - 6 = -c*h - 2, -2*i - 4 = -4*h for h.
1
Suppose 68 = 4*