pose c - 5 = x. Suppose -2*l + 0*q = q + 3, 3*l - c = q. Solve 4*r - k = -2, 14 = -3*r - 5*k + l for r.
-1
Let l(p) = p**2 - 3*p - 4. Let n be l(3). Let b = 9 + n. Suppose 0 = 5*c + 20, 2 = -b*a + 5*c + 32. Solve 0 = -a*m - 5*g, -6*m + m = -3*g + 31 for m.
-5
Let n = 1081 - 1079. Solve 5*f + n*i = -33, 10*f = 6*f - 2*i - 28 for f.
-5
Let k be (-1)/(-2)*1*20. Suppose 5*r - k*r + 175 = 0. Let h = r + -31. Solve 0 = 3*l + v + 10, -h*l - 4*v - 7 = 17 for l.
-2
Let o = -1487 + 1468. Let i = 1 + 21. Let q = o + i. Solve 5*n + q*p + 5 = -11, 0 = 4*n - p + 6 for n.
-2
Suppose -3*n + 21 = 3*p, 3*p + 5*n + 1 = 26. Suppose p + 6 = f - 3*w, 0 = -5*f - w + 7. Solve -f*s - 3*q + 5 = -3, -s = 5*q - 18 for s.
-2
Suppose -4*p + 7 = 3*z, -2*p = -4*z - 13 + 59. Suppose 6*j - 27 = -z. Solve -5*q = -j*w - 5 + 10, -2*w = -3*q - 2 for q.
-4
Let n be (3/5)/(11/55). Suppose -n = -6*c + 8*c + h, 3*c + 9 = -3*h. Solve 0 = 5*f - 0*f - 2*u + 6, -4*f - u + 3 = c for f.
0
Let w(m) = m**2. Let y be w(0). Suppose 3*o + 2*r = -2*o + 10, y = -2*r. Solve 0 = 2*f + q + 3, -f = -4*f - o*q - 6 for f.
0
Suppose -2*n - 3*n + 5*j = -95, -2*j + 74 = 5*n. Suppose n*o - 15*o = 0. Solve o - 19 = 3*s + 4*y, 4*s + y = -8 for s.
-1
Let h be -1 + -61 - (2 + -1). Let x = h - -44. Let u = x + 23. Solve v - u*l + 5 = 12, l = v - 4 for v.
3
Suppose -49 = -4*h - 13. Solve 22 = -0*l + 2*l + 3*g, -g + h = l for l.
5
Suppose -3*v + 4*p = 5*p, -2*v + p = 0. Suppose v = 17*j - 18*j + 2. Solve 2 - 10 = 4*d, 2*l = -d - j for l.
0
Let m(l) = -6*l - 18. Let r be m(-5). Solve q + 3*q = -3*f + 21, r = -f + 5*q for f.
3
Suppose 0 = -3*y + 2*l + 73, 9*l - 14*l - 25 = 0. Suppose -o + 2*o - 2*x - 1 = 0, 12 = 3*o + 3*x. Solve 3*n - y = -o*i, -17 = -3*i - 3*n + 2*n for i.
5
Suppose -39 = -b - 6. Suppose -28*n = -b*n. Solve n*g = 4*j + g + 1, j - 1 = g for j.
0
Let w = -2 + -5. Let q(a) = 0 - a**2 + 2*a**2 - 4 + 6*a. Let v be q(w). Solve v*k = 5*y - 18, y - 2*k = -1 + 6 for y.
3
Let z be (4 - 64)/6 + 12. Solve 4*x - 2*m = x + 2, -z*m - 2 = 0 for x.
0
Let f(w) = w + 8. Let r be f(-6). Suppose -3*v + 3 = -r*v. Suppose s + 7 = 2*m - m, -v*s - 9 = 0. Solve -m*o + 2 = 2*i + i, 0 = 5*o - i - 12 for o.
2
Let j(h) = -h**3 + 6*h**2 + 5*h + 16. Let c = 7 - 0. Let m be j(c). Suppose -w - m = -5. Solve 0 = -2*y - 0*o + 2*o - 6, 0 = -4*y - w*o - 12 for y.
-3
Let o = 0 + 12. Suppose -5*l = 2*x - 10, 3*x + 10 = l + 4*l. Suppose 0 = -x*t - 4*t + o. Solve -v - t*v + 18 = -5*w, 2*v - 10 = 3*w for w.
-2
Let t = -266 - -270. Solve 5*p + t*d = -0*d + 25, -d + 7 = 2*p for p.
1
Let t(q) = q**3 - 31*q**2 - 27*q - 156. Let f be t(32). Solve 2*g - 1 - 5 = 5*m, -f*m - 10 = g for g.
-2
Let v be -3 + (-3 - -2 - 2). Let d = v + 6. Solve 0 = 4*j - 5*l + 24, 2*j - 2*l + l + 6 = d for j.
-1
Suppose -9 = -3*b - 4*v, 15 = -b + 6*b + 4*v. Suppose 2*w = -b*c - 5 + 22, 3*w = 3. Solve l = c*l + q + 9, l + 7 = -5*q for l.
-2
Suppose 3*w - 9 = -2*f - 2, -2*w = -2*f + 2. Suppose -5*d + 9 = -f*d. Suppose -4*p + d = -9. Solve -p*u + 3*j + 21 = 0, u - 2*j - 19 + 7 = 0 for u.
2
Let n = -128 + 199. Let i = n + -71. Solve -7 = -5*l + 3, i = 2*k - 3*l + 4 for k.
1
Suppose -3*y + 10*y - 35 = 0. Let b = y + 0. Solve 0*s - 2*w = -3*s - 1, -2*w - b = -5*s for s.
3
Suppose -22*z + 24*z = 0. Suppose 5*m + 10 = -3*f, 3*m + m + 45 = 5*f. Solve -5*x + f*s - 15 = z, -5*s + s + 6 = -2*x for x.
-3
Let g(f) = -20 - 3*f + 6 + 9*f**2 + 12 + f**3. Let l be g(-9). Solve 5*n = -3*v + l, -n - 3*n = 2*v - 18 for v.
5
Let i(y) = -y**3 + 19*y**2 - 34*y + 2. Let r be i(17). Solve r*b + w = 4*w - 8, -3*b = 4*w + 12 for b.
-4
Let z(v) = v**3 - 13*v**2 - 16*v + 29. Let j be z(14). Solve -5*x + 6 = -4*u + j, 20 = x + 3*u for x.
5
Suppose -3*a = -4*v - 3, a + 3*v + 11 = -1. Let i = 3 + a. Suppose i = 3*z, z + 11 = 3*x + 5. Solve -4*s = 20, -x*u = -0*u - 3*s - 23 for u.
4
Let d(a) = -a + 10. Let p be d(8). Let i be (-3)/6 - (-20)/8. Suppose 36 = y + 4*y - 4*b, i*y + 12 = -5*b. Solve p*n + 4*z = -2*n - 20, y*n - 3*z + 6 = 0 for n.
-3
Suppose 8*s + 159 - 199 = 0. Solve -4*u - 3*p = 2 + 13, -s*u + 4*p = -20 for u.
0
Let y = -9 + 9. Suppose 5*k - 3*k = y. Solve k = 2*i + 2, -i + 0*i = -3*n + 13 for n.
4
Let t be (-1 - -13)*51/153. Solve 3*k - 2*p = 6 - 2, -t*p = -k + 8 for k.
0
Let v be (-4)/8 - (-38)/4. Let u be v - (-3 - (-11)/3)*3. Solve -5*y - 1 = 2*g, u*g + y = 4*g + 5 for g.
2
Let y(q) = 2*q - 7. Let p be y(7). Let r(i) be the first derivative of 3*i**2/2 - 17*i - 5. Let t be r(p). Solve 2*b = -t, 8 = 4*h + 4*b - 2*b for h.
3
Let y be -2*2*(5 - 7). Let a be (3 - y/2)*0. Let p be (0/4 + a)/1. Solve -v - v - n + 5 = p, -v - 1 = -3*n for v.
2
Suppose -15 = 3*q, 4*q + 26 = 2*h + h. Let u(d) = 4*d - 3. Let m be u(h). Let b be 8/20*m/1. Solve -b + 3 = r + 3*z, -4*r + 4 = -4*z for r.
1
Let o = 43 - 5. Suppose -x - 3*g = 3, -5*x + 27 = -5*g - o. Suppose -6*y + x = -3*y. Solve 5 = 2*i - y*n, -2*i - 17 = 3*n - 4 for i.
-2
Let d be 5 + -1 + -6 + 4. Solve 2*f - 10 = -r, d*f - 4 = r + 6 for r.
0
Let o be 250/25*(0 - (-32)/10). Suppose -5*y + 4*n - 1 = -o, 5*y - n - 19 = 0. Solve -m - m - 24 = -4*u, m - 8 = -y*u for u.
4
Let t be (-8)/2*((-72)/(-16))/(-9). Solve t = 5*f + 2*a, -a + 2*a = f + 1 for f.
0
Suppose -15 = -8*a + 1. Suppose a*d = -0 + 4. Solve j + y - 6 = 0, d*j - 14 = -j - y for j.
4
Suppose -2*k = -3*k + 40. Suppose 5*n = -0*o + 4*o + 540, 540 = 5*n + o. Suppose -n = -5*v - 23. Solve -3*z + j = -v, 0 = -5*z + j + 3*j + k for z.
4
Let x be (1 - 2/1)/((-13)/13). Solve 2*z + 6 = -2*o, -2*z - 3*z + x = o for o.
-4
Let p = 2 - 0. Let j(k) = 5*k**2 - 4*k + 3. Let d be j(p). Let w = 2 - -15. Solve 0 = 3*r + 2*t + w, 2*r + 3*t = r - d for r.
-3
Let q be -2*(-5)/(-2)*-1. Suppose 4*f + f = 3*v - 35, 5*v - 55 = q*f. Let o be 85/25 + 6/v. Solve -k - 2*k = 2*i + 11, -18 = o*i + 2*k for i.
-4
Let k(i) = 4*i**2 - 3*i**2 - i**2 + 3*i + 2*i**3 - 2*i**2 - 1. Let c be k(2). Suppose 4*o = 27 + c. Solve 5*d - 14 = 2*g, -2*g + 0*g + 4*d = o for g.
3
Let p(s) = s**2 - 3*s + 7. Let b be p(3). Let t be 2/b + (-6)/21. Solve 0 = -3*v + 15, t = x - 4*v + 2 + 14 for x.
4
Suppose 193 = 5*i + 168. Solve -9 = 2*w + i*r, -4*w = -w + 3*r for w.
3
Let v be 0 + (1 - 4)*-2. Suppose -v = -5*b + 5*l + 24, -3*b = -4*l - 22. Solve b*q - 5*f + f = -14, 3*q = -5*f + 1 for q.
-3
Let f = -480 - -484. Solve -2*j = -r - f*j + 7, 16 = 4*j for r.
-1
Let l = 2 - 2. Suppose 3 + 3 = -2*b. Let k be 1/(3/15) + b. Solve -k = 3*g + c, 0*g + g + c - 2 = l for g.
-2
Let u = 4 + 2. Suppose 2*i - 117 = 13. Let y = -60 + i. Solve g - y*g - 3*c - u = 0, 5*c = 4*g - 10 for g.
0
Let k be (-2)/3 - 4/(-42)*7. Solve 4*n - 3*t = 7, 4*n + 3*t + 28 - 5 = k for n.
-2
Let h(q) = -q**2 - 12*q - 14. Let p be h(-10). Let c = p + -5. Let x be (c - (1 - 5)) + -3. Solve 6*t = x*t - 16, 0 = -4*z - t + 8 for z.
3
Suppose 0 = 2*j + i, -4*i = -4*j + 3 + 9. Solve -7 = p - 2*f + 2, 5*p + f = -j for p.
-1
Suppose 0 = -3*x - 2*x + 25. Suppose -x*k - h = -3*h - 5, 0 = 2*k - 3*h + 9. Solve 9 = -3*a + y, 4*y = 3*y - k for a.
-4
Suppose -4*o = 3*o. Suppose 4*v - 6 = 2. Let y be 5/v*8/10. Solve q - 2*s = -o - 1, 2*s = -y*q + 4 for q.
1
Let s(f) = -f**2 + 7*f + 10. Let i(o) = -o - 1. Let l be i(-9). Let m be s(l). Let r = 27 - 13. Solve 5*w - m*w - r = t, -t - 5*w = -18 for t.
-2
Let u(h) = -3*h + 3. Suppose 0*a - 2*a = -2. Let x be u(a). Solve x = 5*i + 5*p - 35, 0*i + 2 = 2*i - 2*p for i.
4
Let g(s) = 22*s - 49. Let v be g(3). Solve 2*r + 4*m = 3*r + v, 2*m = 8 for r.
-1
Suppose 2*m + 3*v = 3, -2 = m - 0*m + 5*v. Solve p - m + 5 = 0, -5*c + 3*p = -1 for c.
-1
Suppose 5*y + 7 = 2*g + 20, -5*g - 5*y = 15. Let p be -2*(g + 5 + -5). Suppose -3*a - 3*j = 0, a + 3*j + p = -0. Solve -3*i - 2 = -i, a*i + 2 = 2*l for l.
-1
Suppose -2*k = -15*k + 325. Suppose 3*w - 4*s + 12 = 46, -3*w + 6 = 3*s. Solve -3*x = g + 19, -k = x + w*g - g for x.
-5
Suppose 0 = 4*k - 2*t + 6, 0*t + 3*t = 4*k + 9. Solve k*p - 2*z = -4*p, -5*z = -4*p + 6 for p.
-1
Let p = 95 + -93. Solve -g - p*j - 4 = 0, g - 3*j + 7 = -6*j for g.
2
Suppose -5*p - 264 + 374 = 0. Solve f = 3*m + 8, f - 2*m = -3*f + p for f.
5
Let i(j) = -5 - j + 3*j + 2 + 2. Let v be i(2). Suppose -4*y = -b - 10, 2*y + 2*y - 8 = 2*b. Solve -b*s = 3*x - 0 - v, 5*x = -4*s + 7 for s.
3
Let q = 35 + -30. Suppose -10 = -q*h - 3*n, -5*h - 3*n + 15 = 