 Suppose 4*a = 15 - 3. Solve a*w - 5*y - d = 0, -5*w + y - 14 = -42 for w.
5
Let i = -1 - -4. Suppose i = -9*n + 21. Solve y - 5*v - 12 = -n*y, 0 = 4*y - v - 16 for y.
4
Let n(b) = -b**2 + 12*b - 12. Let h be n(9). Solve 3*g + 21 = 5*r + g, -2*r + 3*g = -h for r.
3
Suppose 0 = 5*l - s - 14, -14 = -3*l + 3*s - s. Solve 5 = -2*w - 0*y + y, 0 = l*w + 3*y + 1 for w.
-2
Suppose 2*x - 8 = -5*r, -3*x + 0 = 5*r - 2. Suppose -4*k + 14 = 3*h, -k + 0*h = 4*h - 10. Let f be 4/(1 + k/x). Solve 2*l - v + 2*v = -f, -2 = -l + 2*v for l.
-2
Suppose -43 = -9*u - 25. Solve 5*a - 3*b + 12 = -b, u*a - 5*b - 12 = 0 for a.
-4
Let u(l) = 18*l**2 - 10*l**2 - 11*l**2 + 10 - 2*l. Let o be u(0). Solve g = q - 2, -5*g - o = -3*q - g for q.
-2
Let k be ((-3)/((-24)/2))/((-3)/(-48)). Solve k*r - p + 18 = p, -28 = 5*r + 3*p for r.
-5
Let c = -10 - -12. Suppose 0 = 4*l + c + 2. Let a be 2 + (3 - 4) - l. Solve -4*w = -a*r + 6, 2*w = -0*w + 4*r for w.
-2
Suppose 4*w + 4 = 2*w - 5*t, -w = 4*t + 5. Solve -w*i + 0*i + 13 = -2*u, 4*i - u = 9 for i.
1
Let g = 141 - 101. Let n be ((-6)/(-14))/((-114)/(-3990)). Solve 5*o - g = 5*l, l - 4*o + 5 = -n for l.
-4
Let q(b) = 3*b + 9. Let c be q(-11). Let g = -19 - c. Let a = g - 1. Solve 0 = 2*p - 4*s + 5*s - 14, -a*p + 36 = 4*s for p.
5
Let c be (-2)/10 - (-128)/40. Suppose -c*w + 3 + 3 = 0. Solve -4*f - 2 = -4*i - w*f, -4*i + 3*f = 3 for i.
3
Let a(v) be the first derivative of -1/3*v**3 - v + 3*v**2 - 1. Let y be a(5). Solve 3*j = s - 8, -2*s - y*j + 8 = 32 for s.
-4
Suppose 9*d - 1 = 2*n + 2, 5*n - 5*d - 45 = 0. Solve -2*o + 6*j = 4*j - 14, -4*o - 4*j = -n for o.
5
Let k(g) = -g**3 - 8*g**2 + 6*g - 22. Let r be (-6)/12 - (-34)/(-4). Let o be k(r). Solve -p + 2*x - o = 0, 5*p + 0*x = -x + 19 for p.
3
Let g(f) = 24*f - 23*f + 1 - 2. Let w be g(-5). Let c be 2*(2 - 15/w). Solve -a + c = 2*z - 1, 5*z = -a + 22 for z.
4
Suppose 0*c = 3*c - 15. Let t(q) = -q**3 + 57. Let r be t(0). Suppose -5*m + j + j + r = 0, 5*j - 33 = -m. Solve -5*l + 2*z = 5*z + m, 0 = c*l - z + 29 for l.
-5
Let r(a) = -15*a + 4*a + a**3 - 7 + 10*a**2 - 2*a**2. Let w be r(-9). Let h = 13 - w. Solve 7 = q + 4*c, -q + h*c + 4 = 3*c for q.
3
Let z(s) = 6*s - 115. Let w be z(20). Solve 0*j - j - 3*o = -13, w*j - 14 = 2*o for j.
4
Suppose 0*x = -4*x + 12, 3*x - 10 = p. Let f = p - -5. Solve 3*v = 5*z + 7, v + 9*z = f*z + 9 for v.
4
Suppose 0*n - 2*m + 30 = -2*n, n - 3*m + 13 = 0. Let i be (n/20)/((-3)/15). Solve -2*o - 24 = -i*y, -5 = -y - 0*y for o.
-2
Let v be (-60 + 5)/(-5) - 9. Let i(o) = 5*o. Let p be i(1). Solve p*j - 8 + 25 = 3*r, 11 = -3*j + v*r for j.
-1
Suppose 30*p = 54*p - 576. Solve 0*l = 4*l + 3*n + p, 2*l + 26 = -5*n for l.
-3
Let t be 4/6 + (-1)/(-3). Let b be (t + 4)*(-2 - -3). Suppose 4*o = -2*y + 66, 3*o + y = 2*y + 47. Solve 2*q + 0*q = b*a - 13, -4*a + o = -3*q for a.
1
Let t = -15 + 18. Let a(z) = -z + 5. Let l be a(t). Solve 3*q - l = -i, -5*i + 21 = q - 3 for i.
5
Suppose 7*m = -40*m + 94. Solve 5*i + 4*f = -13, 4*i + 8 + m = -3*f for i.
-1
Let k(t) = -2*t**2 - 11*t + 23. Let c be k(-7). Solve 3*m - 25 = 5*g + 7*m, c*g + 10 = -5*m for g.
-5
Let j(b) = b + 20. Let q(z) = -7. Let x(a) = -6*j(a) - 17*q(a). Let m be x(-3). Solve 0 = -2*d + 5*i + m, d + 24 = -5*i + i for d.
-4
Suppose 2*c + 0 - 8 = 0. Suppose c*h - 9 = 11. Solve -4*j + 26 = -h*u, -3*j + 6*j - 22 = 5*u for u.
-2
Suppose 0 = 198*x - 274*x. Suppose 3*i = 3*m + 21, 2*i - 4*m = -3*i + 33. Solve -i*g + 23 = -r - r, 2*g - r - 9 = x for g.
5
Let t(u) = u**2 - 5*u + 6. Let z be t(5). Suppose -z*m = -5*m - 3. Solve 0*a - 5*a - 24 = m*k, -3*k - 3 = -2*a for a.
-3
Let x(k) = 2*k**2 + 6*k + 14. Let s be x(-5). Suppose -4*z = 4*c + 20 + 20, 3*z + 43 = -4*c. Let a = c + 17. Solve 3*m = -4*q + 15, a*q + s - 9 = 5*m for m.
5
Let b = 1888 - 1886. Solve v + 0*v + b = r, 0 = -4*v + 12 for r.
5
Let z be 4/10 + 24/15. Let v be 4 + (0/((-12)/(-3)))/1. Suppose 0 = -5*f - z*b - 0*b + 26, v*f + 2*b - 22 = 0. Solve -4*q = -4*u + 8, f = -4*q - u + 4*u for q.
2
Let t = 0 + 0. Suppose 13*m - 60 = 5. Let o = m + t. Solve 0 = 3*g + 3*f - 6, g + f - o = -3*f for g.
1
Let c = 716 - 713. Solve -c = m - r, r + 2*r = 15 for m.
2
Let j = 3384 - 3382. Let y be 1 + (-2 - -2) + -3. Let h be (0 + y)*2*-1. Solve j*d - 7 + 3 = z, -h*d + 10 = -3*z for d.
1
Let t = -36 + -189. Let a be (-12)/(-66) + t/(-33). Solve -3*l + a*p - 2*p = 5, 2*l - 2*p = -2 for l.
0
Suppose -20 = -p - 2*w, -5*p + 4*w + 93 = 7*w. Suppose 0 = p*j - 3*j - 150. Solve 5*z = 5*k + 25, 3*z = z + j for k.
0
Let n(t) = -17*t - 66. Let m be n(-4). Let r(x) = x**3 - 4*x**2 - 2*x - 11. Let f be r(5). Solve 2*s + p + 3 = m*p, 4*s = -f*p for s.
-1
Let o be 0*(-1 + -1 - -1). Let b = 30 + -18. Suppose -5*v + 13 + b = o. Solve -j = -4*u - 6, v = -u + 3 for j.
-2
Suppose 2*d = 2*w, -4*w + w + 2*d + 2 = 0. Suppose 0 = 6*p - w*p + 6*p. Solve 0*f = -f + 4*c, c = p for f.
0
Let z(l) = 4*l**2 - 1 + 2*l - 3*l**2 - l**2 - l**2. Let n be z(3). Let j be 232/60 + n/(-30). Solve -h - 2*x + 8 = 0, -5*h - 5 = -3*x + j*x for h.
-2
Suppose -4*w - 4*c = -3*w - 15, 5*c = 4*w + 3. Solve 17 = w*a - v, 2*v - v + 5 = 0 for a.
4
Let v be -9 - (6 - 45 - -8). Solve 0 = -5*u - 3*j, -4*j - v = u + j for u.
3
Suppose q + 5 = 3*k, -2*k + 7 = -2*q + 3*k. Let t = q + 17. Suppose -15 = -26*x + t*x. Solve 4*l + i + 0 - 5 = 0, 3*l = -x*i + 6 for l.
1
Suppose 0 = -m + 3*m + 6. Suppose -2*a + 9 = 7*a. Let g be (3 - (m - -4))*a. Solve g*r - 2*p - 12 = 0, -4*r + 0*r + p = -15 for r.
3
Let u(z) = -z**3 - 2*z**2 + 4*z - 1. Let c be u(1). Solve -4*p + 5*t - 22 = 3*t, c = t - 5 for p.
-3
Let n = -534 + 541. Solve -n = f - y, -2*f - 2*y - 6 = f for f.
-4
Let s be (-9)/(-4) - (-3)/(-12). Suppose s*w + 2*w = 32. Suppose w = 5*j - j. Solve j*u - 3*u - 3 = 0, 2*n = -u - 7 for n.
-2
Let f = -565 - -585. Solve 2 = -4*p + 2*a + 10, -f = -4*p - 4*a for p.
3
Let i = 25 + -24. Let d(j) = 4*j + 1. Let z be d(i). Solve 5 = z*l + 5*r, 3 + 28 = -4*l + 3*r for l.
-4
Let n = -54 + 59. Let w(h) = h + 9. Let u be w(-9). Suppose -v + 2*v = u. Solve -4*q + n*a = -26 - 5, v = -5*q - 4*a + 8 for q.
4
Suppose 16*u + 14 = 17*u - 5*l, -5*u + 24 = -2*l. Solve 4*s - a = a - 10, -20 = -3*s - u*a for s.
0
Suppose 3*t = -2*b + 6 + 23, -t = b - 16. Suppose -x - 4*q = 2*x - b, 0 = -2*x + q + 9. Let j = -4 + 6. Solve -4*w - 2*a = -30, 4*w - x*a + 3 + j = 0 for w.
5
Suppose 317*f - 310*f - 14 = 0. Solve -f*l = -4, -2*l + 9 + 15 = 4*x for x.
5
Suppose 2*j - 3 - 21 = 0. Suppose -4*i + 2*b = -36, -3*i = -5*b - 20 - 0. Let r = i + j. Solve 2*d = 3*g + 19, -4*g = -2*d + r + 2 for g.
-5
Suppose o - 2*g = 14 - 3, -4 = -g. Solve -5*s - 3*z - 6 = -2*s, -5*z = -4*s + o for s.
1
Suppose -3*h = 5 - 2, -1 = 2*m + 5*h. Solve w + 7 = -2*y, -w - m*w - y - 11 = 0 for w.
-3
Let i = -48 + 48. Suppose i = 8*h + h - 45. Solve -h*w - 5*o = 0, w - 4*w + 4*o + 21 = 0 for w.
3
Let m(t) = -16*t**2 + 0*t**3 + 888 - 884 - 17*t + t**3. Let u be m(17). Solve 0 = -4*o - 3*l - 13, -4*o - u*l - 11 = 1 for o.
-4
Let k(r) = 0 - 1 + r - 4. Let j(h) = -h**2 - 9*h + 77. Let w be j(-14). Let p be k(w). Solve -2*d - 2*i = -p, -2*i + 6 - 3 = 3*d for d.
1
Let g(z) = z**2 - 9*z + 8. Let x be g(7). Let s be 12/7 - x/21. Suppose -64 = 24*d + 31*d - 63*d. Solve 2 = -2*j + d, -4*c - s*j = -26 for c.
5
Let b(u) = -2*u + 13. Let x(m) = 3*m + 1. Let p be x(1). Let k be b(p). Solve 2*c - 5 = k*c + 5*v, 5*v + 35 = 3*c for c.
5
Suppose -26*w = -28*w + 8. Solve 0 = -c - 4, -w*b = b + 5*c for b.
4
Let d(s) = 38*s - 64. Let i be d(2). Suppose 4*q - 3*h - 277 = 0, -6*q = -q - 3*h - 347. Suppose 0 = z + 4*z - q. Solve 5*u + f = z, -2*u = 3*u + 3*f - i for u.
3
Let v(g) = -56*g**3 - g**2 + 6*g + 6. Let u be v(-1). Suppose u*s = 54*s + 6. Solve -2*o - 4*i = -2*i - s, 5*o = 5*i + 5 for o.
2
Suppose 0 = 3*x - 6*x + 45. Suppose -4*m + x = -m. Suppose 2*a = -m + 11. Solve -h = -2*o + 4 + 4, a*h = -o - 10 for h.
-4
Let l(v) = -v**3 + 6*v**2 - v + 10. Let k be (-32)/(-6) - (-2)/3. Let i be l(k). Solve -i*g - 3*w = 20, 2*g - 3 = 3*w + 5 for g.
-2
Suppose -10*u + 6*u = 24. Let g be (-2)/4 + (-69)/u. Suppose 3*w + 30 = 5*m, -w - 3 - g = -3*m. Solve -v = -f - m, 4*f - 2*f = -4*v + 18 for v.
4
Suppose 2*d + 13 = 35. Let h(p) = -p**2 + 17*p - 62. Let v be h(d). Solve 0*y - 3*y + v*f + 3 = 0, -4*y + 4*f = -4 for y.
1
