, 0*a = -q + k*a - 13 for q.
3
Suppose -12*c + 61 - 1 = 0. Solve 3*l - 7*l + c*s + 8 = 0, l - 4*s = 2 for l.
2
Let k be (-245)/98 + (-42)/(-4). Solve -5*l = -m + 6*m, -k = -2*l - 4*m for l.
-4
Suppose 26*l - 23*l - 27 = 0. Suppose n = -3*y + l, y + 2*n - 16 = -4*y. Solve -2*t = 4*g + y, 3*g - 2*t = -2*g - 25 for g.
-3
Let n be 232/58 + (-1)/1. Solve -3*z + 3 = -2*p + 5, 0 = 4*p + n*z + 14 for p.
-2
Suppose -2*y - 15 = y, 0 = -2*c - y - 15. Let u be ((-2)/c)/(8/40). Let t = -5 - -11. Solve 5 = -m - 3*a - 0*a, t = -u*a for m.
4
Let h be 4298/(-77) + 2/(-11). Let o = 58 + h. Solve -4*x = o*z + 4, -6*x + 3*x + 5*z - 3 = 0 for x.
-1
Let u = 64 - 64. Suppose 4*d + u = 16. Solve 2*a = -r + 11, -d*a + 4 = -3*r - 3 for r.
3
Suppose -7 = -2*x + p, 10*x - 4*p = 14*x - 8. Let g(q) = q**2 + 3*q + 3. Let b be g(-3). Solve -x*k - r - b = 0, -5*r - 3 = 3*k - 3*r for k.
-1
Let k = 182 - 180. Solve k*y = -2*q, 4*y = q + 1 - 16 for y.
-3
Let f(v) = -v - 3. Let j be f(-3). Suppose 4*w - 7 - 17 = j. Suppose -4*z = -4*s - 3 + 23, -4*z - w = 3*s. Solve -o - s = o + 4*i, -3 = -o + 2*i for o.
1
Let p be (6/3)/(13/(325/10)). Solve -2*k - p*g + 23 = -4, 3*k + 3*g = 18 for k.
1
Let l(o) = 151 - 151 + 17*o + o**2. Let g be l(-17). Solve 9*q = -4*r + 4*q, g = -r + 3*q for r.
0
Let i be (-222)/(-27) - 6/27. Let p = i - 5. Suppose -2*h - t + 3 = 0, -5*h + p*t - 6*t + 6 = 0. Solve -2*w - 18 = a + h*a, -w = -a for w.
-3
Suppose -30 = 2*z - 5*z. Let j be 3/2*(12 - z). Let h be (4/20)/(1/25). Solve -2*q - j*u - 13 = 0, 0 = -0*q + 2*q - h*u - 27 for q.
1
Suppose -5*o + 7 = -8. Suppose 0 = -5*s + 16 - 11. Let z be s/((-44)/24 - -2). Solve -c - b - 9 = -1, -3*b - z = -o*c for c.
-3
Let o be 3 - (1 + -2 + -1). Suppose -s = -3*y - 22, 46 = -3*y - y - 2*s. Let q be 4/y*3*6/(-4). Solve -4*x = -q*l + 16, -3*l = o*x - l + 29 for x.
-5
Suppose 4 = -4*v + j + 2*j, -j + 4 = 0. Suppose 4*k - 12 = -4*w, 4*k - 15 = -0*w - 5*w. Suppose -3*p + 6 + k = 0. Solve 2*g = 4*y + 4, 2*g - p - v = 0 for y.
0
Let a(b) = -b**3 - 17*b**2 + 22*b + 73. Let d be a(-18). Solve 0 = 3*p - 6*k + 4*k - 14, -p - 5*k - d = 0 for p.
4
Suppose -7*d + 9 = -4*d. Suppose d*j - 8 = -a, -4*a - 6 = 5*j - 24. Suppose -p - 2*w + a = -7, 4*w = -p + 15. Solve -3*u = -p*n + n + 11, 3*u = -4*n - 5 for n.
1
Suppose 15*l = 18*l + 153. Let r = -51 - l. Solve -x - 5*j + 30 = 0, -j = x - r*j - 10 for x.
5
Suppose -6*n + 2*n = 0. Suppose -u + 5*h - 2 + 23 = 0, -5*u + h + 33 = n. Solve 2*r = -5*o - u - 9, r = 4*o - 1 for o.
-1
Suppose -18*h = -56 - 106. Solve -4*a + 3*i = -h - 11, a - i = 5 for a.
5
Let z be (-2)/(-3)*-3 - -7. Let v = 5 - z. Suppose v = 2*r + 2*r. Solve -3*x - 15 = 0, 2*g + 14 = -r*x - 2*x for g.
-2
Let k(l) = -l**3 - 17*l**2 + 20*l + 45. Let g be k(-18). Solve 0 = -f + 3*t - 4, -g = 3*f + t + 3 for f.
-4
Let l(j) = 6*j**3 + 1. Let w = 121 - 120. Let v be l(w). Solve 2*m - 3*g = 1, 3*m = m - 5*g - v for m.
-1
Let u = -320 + 322. Solve -4*t = 5*q + 28, -4*t - u*q + 5*q = -4 for t.
-2
Suppose -3 - 2 = -t. Let l = 2 - 2. Suppose l = 4*y - 11 - t. Solve 0 = 4*u + y*o + 4, -8 = 5*u - 0*o + 4*o for u.
-4
Suppose 12*p = 10*p - 102. Let h = 198 + p. Let z be h/(-42)*24/(-7). Solve -y - z = -3*q, 0 = 3*y + q + 5 + 1 for y.
-3
Let s(m) = -m**2 + 18*m + 1. Let b be s(18). Solve -2*v - 3*n - 16 = 0, 2*v - v - 3*n - b = 0 for v.
-5
Let v(n) = -n + 6. Suppose 0 = -2*h - g - 3, -2*h + 4 = 5*g - 5. Let x = h - -9. Let z be v(x). Solve 2*w - 4*a = a, -5*w - 2*a + 29 = z for w.
5
Suppose 13 = -i + 20. Solve 2*n - 5*g = 1, -n - g = -5*n - i for n.
-2
Let m = 10 - 7. Suppose 0 = -0*i + m*i. Suppose i = 5*c + r - 26, 5*r + 0*r - 10 = -c. Solve 5*p - 2*p + 3*o = 18, -3*o = -c*p + 22 for p.
5
Let d = -67 - -71. Solve 0 = d*a + q - 3*q - 2, 4*q = 2*a + 14 for a.
3
Suppose 3*q = -3*a + 30, -26 = -3*a - 4*q + 9. Solve l + 3*m - m + 7 = 0, 2*m + 19 = -a*l for l.
-3
Let y(g) = -g**3 - 2*g**2 + 11*g + 15. Let u be y(-4). Solve m + u*k = 0, 2*m - 6*m - 13 = -k for m.
-3
Let m = 34 + -32. Let p be (2 + 56/(-20))*(m + -7). Solve p*a = -5*t + 46 - 6, 0 = -3*t - 5*a + 37 for t.
4
Let w(u) be the first derivative of u**4/4 - 2*u**3 - 3*u**2 - 5*u + 16. Let v be w(7). Solve 6*j = v*j + 2*r + 10, -j + 6 = 3*r for j.
3
Let c be (6/(-9))/((176/495)/(-8)). Solve 3*d = -5*a - c, 3 = a - 2*d + 6 for a.
-3
Suppose 29 = -46*g + 259. Solve 4*a - 18 = 3*u + a, 0 = 5*u + g*a for u.
-3
Let l be 1312/72 + 2/(-9). Let m = l + -21. Let t be -2 - (m + 13)/(-1). Solve -h = -5*q + 2*q + 10, 4*q = t for h.
-4
Suppose -3*g + 9 = -0. Suppose -a + g = -0. Solve -k - 2*k - a = 4*f, -f + 5*k = 18 for f.
-3
Suppose 19 = -4*x + 31. Solve -x*l - 7 = -3*z + z, z = -2*l for z.
2
Let i be 2 + 1/(-1) + 0 - -6. Let b be ((-350)/(-15))/i*3. Solve 0 = -3*a + 5*s - b, -2*a + 4*a - 20 = -2*s for a.
5
Let f(u) = 4 + 14 + 4*u + 2*u**2 - 2*u. Let r be f(0). Solve 3*k - 6 = 3*j, -3*j - 5*k + r = -0*j for j.
1
Let i be (-4)/(-46) - 1672/(-874). Solve x + 1 + i = -4*d, 5*d - 3*x = 9 for d.
0
Suppose -4*j - 1 - 9 = 2*x, 2*j = 4*x - 30. Let n = 34 + -27. Suppose -3 = -5*c - 4*r, 2*c - n*c = -x*r - 30. Solve k + 3*g - 9 = 0, -g + c + 8 = 3*k for k.
3
Suppose 0 = 2*r - 4*p + 28, -2*p - 13 = 2*r + 45. Let z = -20 - r. Solve z*f - 2*u - 4 = 0, 5*u + 0 - 2 = 4*f for f.
2
Suppose -6 = 4*u - 6*u. Let k = 226 - 224. Solve 4*d = k*r - 22, -3*d + 0 = 5*r - u for d.
-4
Let v(a) = -a**3 - 14*a**2 + 2. Let g be 42/3*(3 + -4). Let d be v(g). Solve -4*u + 6*u + 3*b = 5, 3*u = -d*b - 5 for u.
-5
Let b be (3/4)/(-14 + (-684)/(-48)). Solve 5 = b*p + 4*t, -5*t + 12 = -6*p + 4*p for p.
-1
Suppose -2*x + 5 = -1. Suppose 15*r - 56 = r. Solve x*i + 5 = -i - u, -r*i = -4*u for i.
-1
Let p(r) = 6*r**3 - r**2 - 2*r + 2. Let v be p(1). Let m be -4*((-14)/4)/7. Suppose -2*b - m*b + 8 = 0. Solve -4*a - 4 = v*z + 4, -b*a - z + 2 = 0 for a.
3
Suppose 0 = 3*w + 11 - 26. Solve 4*c + w = 3*c, 0 = -n + 4*c + 17 for n.
-3
Let t be (-72)/(-540) - (-626)/30. Solve 3*m + m = -n - t, 3*n + m + 8 = 0 for n.
-1
Suppose 2*g + q + 61 = -0*g, 26 = -g - 2*q. Let v(p) = 5*p - 2. Let o be v(-5). Let l = o - g. Solve 10 = -4*w - w - 5*n, -l*w = -5*n + 40 for w.
-5
Let r(c) = 5*c**3 + c**2 - c + 1. Let t be r(1). Let x be (-15)/(-35) - (-3)/(-7). Suppose -t = -x*j - 2*j. Solve -3*d - 9 = j*u, 0*d - d - 3*u - 5 = 0 for d.
-2
Let r = -1224 + 1255. Solve 3*z = -2*t - 6, 4*t + z + 23 = r for t.
3
Let u = 42 - -6. Let i be u/26 - 2 - 4/(-26). Solve p = -3 - i, -2*f - 3*p = 5 for f.
2
Suppose -4*n = 9*u - 5*u - 40, 0 = -5*u - n + 30. Solve 5*s + 18 + 2 = 5*y, u*s + 6 = -2*y for y.
2
Let g = -14 + 24. Suppose g*w - 9*w = -27. Let o = w + 31. Solve -15 = u + 3*z, -o*u + 24 = -4*z + 4 for u.
0
Let v be (-30)/(-2)*(-1)/3 + 9. Let d(k) = 1 - 3*k + 4*k + 3 - 7. Let c be d(7). Solve 3*t + v*r = -t - c, 4*r = -5*t - 6 for t.
-2
Let c(r) = 4*r**2 - 5*r - 3. Let q be c(4). Let m = 54 - q. Suppose -8*b - 10 = -m*b. Solve -s + 4*j - 6 = -b*s, -4*j = 2*s - 4 for s.
-2
Let c be 3 + 5/(20/(-8)). Suppose -4 = -4*a - 4*v, -3*a + 2*v = -9 + c. Solve -2*u + 20 = 2*k, 35 = a*k + 2*k + 3*u for k.
5
Let a(b) = -16*b + 515. Let r be a(32). Solve -2*w + r - 1 = 0, 4*w - 20 = -4*s for s.
4
Suppose -i = -1, -41 + 40 = -2*v + 5*i. Solve 3*h = h - 3*o - 5, o = -3*h + v for h.
2
Let c = -46 + 141. Suppose -3*r - 130 = -4*i, -3*i - 7*r + 8*r + c = 0. Solve -1 = 2*q - h, 2*q + 9*h = 4*h - i for q.
-3
Let u(v) = v**2 + 10*v + 10. Let h be u(-8). Let z be 4/6 - (-40)/h. Let i be 19/4 + z/8. Solve 2*y - 6 = 0, k - 4*y + i = -10 for k.
-2
Suppose -3*w - k + 8 = 0, -17*k + 2 = -4*w - 12*k. Solve a + 7 - 11 = -3*d, -d - w = a for a.
-5
Let d(j) = 4*j - 14. Let a = -37 + 44. Let y be d(a). Solve -3*l = -c + 4, 4*l + y = 5*c + 5 for l.
-1
Let p = 82 + -59. Let v be (1 - -6)*(p/7 + -3). Solve -4*g - v*b = -0 - 10, -5*b - 15 = 0 for g.
4
Suppose 3 = 5*g - 7. Suppose g*t - 15 = -3*t. Let l be (-4)/(-10)*5 + t. Solve 5*h + 27 = -o, -3*h - 29 + 4 = l*o for o.
-2
Let x(w) = -w**3 + 9*w**2 + 6. Let h be x(9). Let k be (-3 - -3)*(-2)/4. Suppose k = -5*j + h*j. Solve 2*f = -5*p + 19, j = -5*f - 5*p + 13 - 3 for f.
-3
Let d be 1*3*(-4)/(-9)*3. Let f be 0 + 11/d + (-2)/(-8). Solve -j + k - 3 - 5 = 0, 6 = f*j + 3*k for j.
-3
Let p be (-10 - -10)/(0 - 2). Suppose p = 4*v + 2*y - 4, -5*v = -0*y + 3*y 