ve 0 = -2*s - 2, 3*f - l*s - 3 = -0*f for f.
0
Let x(h) = h**2 + h + 4. Suppose 2*n - 3 = w, 0 = 2*n - 3*w - w + 12. Let y = -4 + n. Let j be x(y). Solve 4*s + 0*v = j*v + 36, 0 = -3*s + 2*v + 22 for s.
4
Suppose -3*j + c + 78 = 0, j - 130 = -4*j - 4*c. Suppose -4*b = -2*b - 5*y - j, 4*b - 20 = 2*y. Solve b*r + 13 = -2*w - 2*w, 10 = -3*w - 2*r for w.
-4
Suppose 29*n - 50*n = -105. Solve l + 11 = n*f, 3*l - 4*f = -6*f + 1 for l.
-1
Let n = -638 - -643. Solve 4*b = -u + 6, -9 = -2*u - 0*u - n*b for u.
2
Let s = -481 - -481. Solve -4*a + 7*a - 12 = -3*y, s = 5*y - 3*a - 4 for y.
2
Suppose -28 = -5*g + 7. Suppose g*a - 12 = 2. Solve -3*j - a*s - 3*s = -25, 5*j + 5 = s for j.
0
Let o(m) = -2*m**2 - 32*m - 52. Let z be o(-14). Solve w - 5*s + z = -0, 2*w = 3*s - 8 for w.
-4
Suppose 29 = -30*q + 89. Solve -q*j = -3*u - 17, 0 = -3*j - 5*u + 2*u - 12 for j.
1
Let o(y) = y**2 + y - 4. Let x be o(-5). Let m = x - 14. Let i be (10 - (5 + -3))/m. Solve -3*d - 7 = 2*d - 4*w, 2*d = w - i for d.
-3
Let y be (-122)/(-14) + 4/14. Let k(w) = w**2 - 28*w - 5276. Let q be k(88). Solve 0 = -4*r + r - q*n + 9, 2*n = 3*r - y for r.
3
Suppose -5*z + 5 + 7 = 3*i, -2*z = -3*i + 12. Solve -c + 2*r - 10 = z, -c - r = c for c.
-2
Let u(a) be the first derivative of a**3/3 - a**2 + 4*a + 6. Suppose 3*p = p. Let i be u(p). Solve 3*j + 10 = -4*g, -5*j - 2 = 4*g + i for j.
2
Let t = 300 + -296. Solve -5*d = 5*m - 45, 5*d + 2*m = t*m + 17 for d.
5
Let g = 7 - 5. Let l be (-2 + -6)/((-1)/g). Suppose l = 2*z - 2*j, 2*z + 3*j + j - 10 = 0. Solve u - v + 13 = 4*v, z = -u + 3*v for u.
2
Let k(o) = 4*o + 9. Let v be k(-1). Solve a = -5*f - 5 - v, f + a = -6 for f.
-1
Let f be 6/8*(-7)/(14/(-8)). Suppose -f*s = 25 - 40. Solve 0 = -n + s, -r - 3*n - 2*n + 23 = 0 for r.
-2
Let x(i) = -5*i + 1. Let b be x(-1). Suppose k - f = f - b, 0 = 4*k - f - 11. Solve -16 = 4*v + 4*l, -22 = 2*v - k*l - 8 for v.
-5
Let v = 35 - 32. Suppose 0*n = -n + 17. Solve -2 = -v*f + 5*d + n, -23 = -f + 5*d for f.
-2
Let z(w) = 4*w**2 - 47*w + 18. Let n(p) = -2*p**2 + 23*p - 9. Let f(a) = 7*n(a) + 3*z(a). Let y be f(8). Solve -3*x + y = -4*k, -5*x - k + 19 = 2*k for x.
5
Suppose -9 = 2*w + 27. Let r be (-2)/8 + w/(-8). Let h(t) = 119*t**2 + 595*t + 4. Let b be h(-5). Solve 4*y - 5*f = 24, 2 = -b*y + r*y - f for y.
1
Suppose -j = 4*d - 17 - 3, 5*j - 5*d = 0. Let k be (-6 - -3)*(-5 + j). Let y be (-2)/(-6)*(-4 + 16). Solve -6 = -5*p + y*i, -5*i + 16 = k*p + 5 for p.
2
Suppose 0*o - 18 = -2*o. Let y be (o - 4)/5 - -3. Solve -2*q - h + 2*h + 1 = 0, 4*h + y = -4*q for q.
0
Let v = -158 - -161. Solve 9 = -v*m + r, 4*m = -r - 0 - 12 for m.
-3
Let i = 219 + -216. Solve -8*y + 3*y = -i*j - 7, 4*y - 2*j - 4 = 0 for y.
-1
Let j(u) = -1. Let z(c) = c + 15. Let g(r) = 4*j(r) - z(r). Let x be g(-22). Solve -3*m - l - 12 = 0, x*m + 12 = l - 0*l for m.
-4
Suppose 3*y = -2*y - 2*r + 52, 2*y - 3*r = 17. Suppose y*x - 41 = -11. Solve 3*w + 2*p + x = -1, -w = 5*p - 16 for w.
-4
Let p be ((-6)/18)/((-3)/54). Solve -5*v = 3*t - 12, -5*t + p = 3*v - 2*t for v.
3
Let v = -14 + 17. Solve -v*y - 6 = 0, 7*y - 3*y + 4 = 4*p for p.
-1
Let y(r) be the first derivative of -r**2 - 2/3*r**3 - r - 1/4*r**4 - 5. Let i be y(-2). Solve -3*n - 8 = v, 6*v - n - 6 = i*v for v.
1
Let k(d) be the third derivative of -d**6/30 - d**5/20 + d**3/6 + 8*d**2. Let w be k(-2). Solve -4*r = 3*q - 4*q - w, 5*q + 25 = 0 for r.
4
Let j(i) = 34*i - 267. Let m be j(8). Solve -15 = 5*k + l - 14, 2*l + 2 = -m*k for k.
0
Let d = -181 + 185. Let z = 29 - 26. Solve d*p = -3*k, -3*p = -z*k + 2*p - 27 for k.
-4
Let i be 12*60/(-18)*10/(-25). Solve -i = 3*m + p, 0*p + 2*p = -2*m - 12 for m.
-5
Suppose 0 = -6*n - 4*n. Solve -4*k - 4*d + 36 = n, -d - d + 14 = k for k.
4
Let y be (2/4)/((-12)/288). Let c be (0 - 0)/(6*(-4)/y). Solve b + 4 + 0 = 2*n, -4*n - b + 2 = c for n.
1
Suppose 4*c - 100 = -c. Suppose -c = -41*b + 36*b. Solve -b*s + 4*o = -4, -8 = -s + 5*o + 1 for s.
-1
Let i be 4/(8 + -4)*3. Suppose 8*f - 16 = 4*f. Solve d - 7 = f*j - i, 4 = -5*d - 4*j for d.
0
Suppose -17*z + 10*z + 28 = 0. Let w(g) = -g - 2. Let i be w(-2). Solve -b - 2*d = -6*b + 30, -z*b + 4*d + 36 = i for b.
4
Suppose -5 = 12*i - 29. Solve -s - 7 = 5*q - q, 4*s = -i*q - 14 for s.
-3
Let g be 11/33*(10 + -10). Solve -3*x - 1 = w, g = 4*w + 5*x - 4*x + 4 for w.
-1
Suppose 0 = -8*o + 4*o + 12. Suppose o*m + 0*m = 4*q + 16, -3*q = -15. Solve -2*f - j = j + m, f = 4*j + 4 for f.
-4
Let x be 156/8 - 270/60. Let p = -4 + 7. Solve -5*q - x = -5*g, -p*q = 2*q + 5*g + 15 for q.
-3
Let k be 0/(-1)*(3 + (-1 - 1)). Suppose -3*c + 42 = d, k*d - 4*d + 56 = 4*c. Solve -c = 2*n + 4*u + u, -2*n + 10 = -u for n.
3
Let j = -20 - -19. Let b be 0 + (0 - 1) - -5. Let w = b - j. Solve n - w*g - 5 = 3*n, 4*g - 24 = 4*n for n.
-5
Let g = 1162 + -1162. Solve -4*o + 8 = g, 6 = x - o + 4 for x.
4
Suppose 7*n = 6*n + 22. Let m = n + -19. Suppose r + 72 = 7*r. Solve 0 = 3*k - 3*v - r, -m*v + 1 - 14 = -2*k for k.
-1
Suppose 11 = -3*t + 4*t. Let x be 8/44 + 130/t. Let d = -322 + 326. Solve 0 = -d*c - 2*u + 12, -x = -4*c - u - 0 for c.
3
Let o(q) = -2*q**2 + 3*q - 2. Let p be o(1). Let s = 56 - p. Let f be s/5 + (-33)/(-55). Solve -5*l - w + 3 = f, -5*l = -2*w - 3 for l.
-1
Let k be 2 - (-3 + 1 - 1). Let n = -3737 + 3745. Solve 12 = 3*r + 5*o, 0*o + n = -k*r + o for r.
-1
Suppose -29*w + 68 - 10 = 0. Solve w*f - i - 1 = 6, 3*f - i - 12 = 0 for f.
5
Let l(k) = k + 13. Let i be l(-10). Let y = 3 + 1. Suppose -y*x + 9 = -i*x. Solve -2*r + 5*b = -3*r - 3, -3*r - b - x = 0 for r.
-3
Let i = 316 + -314. Let j = 27 - 18. Suppose -12 = -2*d - 0*d. Solve 5*s - 20 + j = 3*k, 0 = i*k - 3*s + d for k.
3
Let n(s) = 2*s**2 + 61*s + 37. Let f be n(-30). Suppose -5*i = -3*x + f, 3*x = 5*x + 5*i - 38. Solve 0 = 3*t - h + 7, -t + 3*h = 2*t + x for t.
-2
Suppose -4*d + 0*v = -2*v - 26, 4*v - 47 = -3*d. Let f(w) = w**2 - 11*w + 20. Let m be f(d). Solve -3*y + 7 = -k, -4*k + m*k - y = -7 for k.
2
Let z(m) be the first derivative of m**4/4 + 7*m**3/3 - 2*m**2 - 5*m + 4. Let f be z(-7). Suppose f*n = 21*n + 38. Solve -r = -5*g + n, 19 = -5*r - 1 for g.
3
Let t be -1*(-2)/(-4 + 28/6). Solve -3*x = -3, -p = t*x - 0*x for p.
-3
Suppose -137*t - 6 = -140*t. Solve 5*k + 0*k = 4*m - 41, t*m = 5*k + 33 for k.
-5
Suppose 0*h - 9 = -h. Suppose -5*l = -2*l - h. Solve -5*m + 15 = 0, l*z - m = -4*m + 9 for z.
0
Suppose 0 = 2*b + 4*f - 20, -f - 2*f + 15 = -5*b. Solve -2*g + b*a = -2*a + 6, 5*a = -2*g - 13 for g.
-4
Suppose -4*s - 4*r + 0*r + 4 = 0, 3*s + 4*r = 0. Solve -2 + 7 = 5*m, -q + s = -m for q.
5
Let c = 12 - 7. Suppose 0 = 160*p - 4*p - 780. Solve -5*g - p*k - 45 = -0*k, -k - 25 = c*g for g.
-4
Let h be (-22)/(-66) - (-128)/3. Suppose -5*w + h = -37. Solve 4*p - 2*l - w = -0*l, -3*p = 3*l + 6 for p.
2
Let v = -46 + 66. Solve 3*s + 15 = -3*g, 4*g + 4*s = -s - v for g.
-5
Suppose 0*d + 44 = -4*d - 4*x, 5*x + 19 = d. Let i = -3 - d. Let k be (-1)/4 - 91/(-28). Solve 0 = 2*f + 5*q + 26, 6 - i = k*f - 3*q for f.
-3
Let t = -70 + 72. Let j be (-3 + -1)/((-6)/9). Suppose t*n = -n + j. Solve k - n = -u - 0, 5*k = -15 for u.
5
Suppose -10 = -2*j, -45 = -3*b - 2*b - 4*j. Suppose -10*s + 58 + 102 = 0. Let p = -3 - -5. Solve p*c + 6 = 2, 3*c = b*t - s for t.
2
Let u = 27 - 24. Let s be 20/2 - (8 - 10). Solve 0*i - u*f = 4*i - 1, 0 = -4*f + s for i.
-2
Let q be (1/(5/(-6)))/(2/(-5)). Let u be (-55)/(-22)*(-1 - q*-1). Solve -2*r + 3*b = u*b - 14, -4*b = -3*r + 7 for r.
5
Let f = -437 + 449. Solve 0 = 2*a - 0*a + 4*u + f, 0 = -a - u - 3 for a.
0
Suppose -14*n = -11*n. Suppose -4*v + 8 = -6*v + 3*a, 4*v + a - 12 = n. Solve -v*x = 3*c - 8, 0 = 5*c + 5*x - 3*x - 8 for c.
0
Let n(u) = u**3 - 19*u**2 + 18*u + 5. Let d be n(18). Solve -4*r = 4*k - 0*k, 12 = k - d*r for k.
2
Let f(w) = -w**2 + 12*w - 9. Let v be f(11). Suppose 0*t = t - v*t. Solve -x - 4*y + 7 = t, -y + 13 = -3*x + 4*y for x.
-1
Let z be 6*(-1 + (-11)/(-6)). Solve -6*p + k = -z*p - 5, 2*p - 4*k = 18 for p.
1
Let j be 12/7 - (3 + (-69)/21). Solve 3*x = -j*o - 12, -15 = -5*x - 2*o - 35 for x.
-4
Suppose 2*i = -0*i. Suppose -1 = u - i*u, -h + 2*u = -10. Let o = 13 - h. Solve -1 = -2*s + 5, -x - o*s = -12 for x.
-3
Suppose 7*v - 4*v - 12 = 0. Let w(s) = -s**3 + 19*s**2 + 43*s - 21. Let x be w(21). Solve 1 = -v*t + 