 25 = -5*a for a.
3
Let v = 1 - -4. Let a = -40 - -74. Suppose 4 - a = -5*z. Solve -4*p + m = 17, -z*m = -v*p - 2*m - 13 for p.
-5
Let r(p) = 3*p**2 - 8*p + 2. Let j be r(3). Solve j*w + 9 = 5*c - 6, 4*w = -5*c - 12 for c.
0
Suppose 4*i = -4*m - 1 - 3, 0 = 2*i + 6. Solve -m*j - 2 = -4*j + 4*k, k - 1 = 0 for j.
3
Suppose 4*m + 4 = 24. Let s(v) = v**3 - 5*v**2 - 6*v + 5. Let f be s(6). Solve -2*r - 2*r + 30 = -m*n, -f*r - 4*n = -17 for r.
5
Let h(m) = 2*m**3 - 4*m**2 + 3*m - 1. Suppose 0 = 3*z - 12, 12 = -v + 4*z - 2. Let b be h(v). Solve 2*n = 5*n - 9, 0 = b*o - n + 3 for o.
0
Suppose 0 = -4*h - 4 + 12. Solve -j + 4 = -y + 5*y, y - h = 0 for j.
-4
Suppose -4*l - 5 = -5*l. Suppose 0 = l*o - 15, -c = -o + 4*o - 22. Solve -5*j = 3*n - 12, -6*j = 2*n - j - c for n.
-1
Let g(b) = b - 3. Let c be g(6). Solve -c*a + 6 = 0, 4*a = 3*f - 1 - 0 for f.
3
Suppose 0 = -3*k - 5 + 59. Solve 4*r = -d - k, 0 = 2*d - 3*d + 2*r + 6 for d.
-2
Suppose d - 2*w = 5 - 3, -3*d - 2*w + 6 = 0. Solve -d*m + 14 = -4*n, -3*n + 8 = -6*n + 4*m for n.
-4
Suppose 0 = -5*n - 7*n + 24. Solve -y - 4*y + 2*c = 24, -n*y = c + 6 for y.
-4
Let z = 3 + 2. Let m = -114 + 115. Solve 4*o - 31 = -5*c, -m = z*c - 5*o + 4 for c.
3
Suppose -5 = -2*d + d. Solve -3*w - d*i = -17, 4 = i - 0 for w.
-1
Let t = 0 - -23. Solve -3*z = -0*f + 3*f + 6, -4*z = -f + t for f.
3
Let l(y) = y**3 - 4*y**2 - 2*y + 2. Let c be l(3). Let p = -8 - c. Let n = p - 3. Solve 2 = -2*g + 7*g - n*w, 10 = -5*g + 5*w for g.
2
Let n(z) = -z**3 - 13*z**2 - 13*z + 2. Let k be n(-12). Let y be 8/28 + 52/k. Solve y*t - c = -24, 5*t = 3*c + c - 41 for t.
-5
Let y(d) = -d + 5. Let p be y(5). Suppose p - 6 = -2*u. Solve -3*m = -q - 0*m - 8, 2*q - 20 = -u*m for q.
4
Let b = 16 + -23. Let x = 9 + -21. Let f = b - x. Solve f*i = -3*r + 27, 3*r + 4*i - 4 = 5*r for r.
4
Let f be 1/((-4)/9)*-4. Suppose -f = -0*l - 3*l. Let w = 49 + -42. Solve -2*t + 18 = 2*u, 8 = l*u - w for t.
4
Suppose 0 = 3*l - 58 + 10. Let j = l + 1. Solve -2*s - 5*v = -5*s + 16, -s = -4*v - j for s.
-3
Suppose 0 = -k - 4*k. Suppose 18 = 3*p - p. Suppose 0*q = -q. Solve -3*u - 3*w + p = -q*u, k = u + 2*w - 1 for u.
5
Let o = 25 + -23. Solve -o*u + 8 = 2*k + k, -5*k - 20 = -5*u for u.
4
Let g be (-3)/5 - 140/(-25). Solve 3*l = g*l + 3*p - 5, 0 = -4*l - 5*p + 9 for l.
1
Let r(f) = -f + 6. Let j be r(0). Let v = j - 4. Suppose -2*a + y + 5 = -a, -v*y - 13 = -3*a. Solve -a*b + 5 = 5*l, -3*l + 3 = -0*b - 5*b for l.
1
Suppose -4*g = -2*g - 18. Let v be 3*2*3/g. Suppose 4*p = 2*l - 4, -3*l + 6 = -0*p - v*p. Solve 3*i + 3 = 0, 2*i = 2*r - l*i - 12 for r.
4
Let u(c) = c - 1. Let y be u(8). Let i = y + -3. Let z(x) = -x**3 + 4*x**2 + x. Let a be z(i). Solve o - a*f = -3 - 5, -10 = -2*o - 5*f for o.
0
Suppose 0 = -3*s + 7*s - 12. Solve -r = -b - s, -5*r - 2 = 3*b + 7 for b.
-3
Suppose -3*a + 4*a = 0. Let t = 6 - a. Solve -p - c = -0*p + t, -2*p = -5*c - 16 for p.
-2
Let x(c) be the second derivative of -c**5/5 - c**4/12 - c**3/3 - c**2/2 - 2*c. Let k be x(-1). Solve -18 = k*q + 4*i + 18, 4*q + i + 21 = 0 for q.
-4
Let n be (-7)/4*(-3 - 1). Suppose 0 = -n*d + 3*d + 16. Let k(i) = 2*i - 4. Let a be k(3). Solve -a*f = -5*f - 2*s - d, 2*f = -4*s for f.
-2
Let r = 120 + -118. Solve r*x + 1 = n, 2*n - 3*x - 3 = -0 for n.
3
Let m = -4 - -9. Suppose -5 - 10 = -m*f. Solve -3*u - 5*n - 24 = 0, 5*n - 4*n - 6 = f*u for u.
-3
Let c be ((-5)/2)/((-3)/6). Let u be (-1)/4 - (-315)/12. Solve -3*v = c*z - u - 0, 5*z = -v + 22 for v.
2
Suppose 4*s + 2*r = -3*r + 29, 2*s - 22 = -4*r. Solve -4 = -4*l + 2*v + 2, -s = l - v for l.
4
Let t be 11/(3/(-9)*-3). Let m = t - 7. Solve -3*r - r - m*g - 24 = 0, 3*g - 17 = 4*r for r.
-5
Let t(l) = l**2 - 3*l + 1. Let m be t(4). Solve 3*i - 5*d - 2 = 0, i + 4*i = m*d for i.
-1
Let b(o) = -o**2 + 10*o + 29. Let t be b(12). Solve 5*h = 5*x - t, -2 - 1 = x + 3*h for x.
0
Suppose -2*r = -8 - 4. Suppose 4*a + 2 = -2, 5*z + 2*a - 23 = 0. Solve z*i + 29 = 3*j, -r*i - 1 = -2*i + 5*j for i.
-4
Let c be (-36)/(-10) - 4/(-10). Let f(x) = -13*x - 128. Let v be f(-10). Let m be 2*(2 - 2/(-2)). Solve -c*w - v*h - m = 0, -w = -5*h + 2*h - 9 for w.
0
Suppose -20 = 7*a - 11*a. Solve m - 2*y - y - 9 = 0, -a*m + 9 = -3*y for m.
0
Suppose -5*c + 4*c = 10. Let p(z) = -z**2 - 9*z + 14. Let a be p(c). Solve 0 = t + 4*h + 16, 4*t - h - a = 2*t for t.
0
Let z = 1 + -2. Let k be (-3)/((-3)/z + -4). Solve -2*y - 3*f = y - 9, -6 = -k*y - 2*f for y.
0
Suppose -5 = -5*j + 15. Let w = 8 + -4. Let y be (2/w)/((-2)/(-8)). Solve -j*x = -5*p - 7, 2*p - 7 = -x - y*p for x.
3
Let n(w) = -w**3 + 3*w**2 + 5*w. Let k be n(4). Suppose 3*x = 2*x + 3. Suppose -k*p = x*z + 2*z - 17, 5*z - 31 = 3*p. Solve z*q = 25, -2*r - 3*q + 27 = r for r.
4
Let w = -1 - -4. Solve -a = -3*q - 2, 2*a - w*q - 8 = -4 for a.
2
Suppose c - 6 + 2 = 0. Solve 3 = 2*r + 1, -5*x + c*r = 24 for x.
-4
Let t(l) = 2*l + 2. Let k be t(0). Suppose -k*g - 2*g + 2 = -2*m, 5*m + 2*g - 19 = 0. Solve 0 = -4*s - 4*x + 3 + 5, s + 2*x = m for s.
1
Let f(k) = 11*k + k**2 - 2*k + k + 13. Suppose -3*m + 8*m + 55 = 0. Let n be f(m). Solve -3*p - 3*v - n = 0, 2*p - 3*v = 5 + 4 for p.
-3
Suppose 7*z = 2*z + 5. Let v(s) = z - 6*s - 2 + 5*s. Let h be v(-3). Solve -3*c = h*q + 11, -5*q - 4*c - 9 = 1 for q.
2
Let g(c) = -c - 7. Let n(x) = 4*x + 28. Let t(b) = 9*g(b) + 2*n(b). Let h be t(-11). Solve 3*m - q = 1, 4*q + 4 = h*m + m for m.
0
Let k = -17 - -34. Solve -q + n = 2*q - k, 0 = -3*n - 6 for q.
5
Suppose 5*r - 5*y + 46 = -9, -4*y + 55 = -5*r. Let q = r - -15. Solve d = -d + 2*p - q, 2*p = -4*d - 2 for d.
-1
Let m = 0 - -1. Let p(y) = 6*y - 1. Let j be p(m). Let h be -6 + 7 + 2 + 2 + -1. Solve -4*v = -j*s - 27, s = -3*v + 2 + h for s.
-3
Let y = 3 + 1. Let t be (y/6)/((-2)/(-12)). Solve 0*l + 7 = t*i + l, -5*i + 5*l = -15 for i.
2
Suppose -4*n + 11 = -5. Suppose 5*t = n*f - 161, -2*t - 78 = -2*f - 0*t. Solve 2*g + 4*s = -0*g + 22, 5*g = -3*s + f for g.
5
Suppose 8*y = 1 - 1. Solve p + 2 = -z + 4, y = -5*z + 2*p + 10 for z.
2
Suppose 2*t - 3*n + 13 = 0, -4*t - n - 9 = 10. Let i be (8/10)/((-2)/t). Suppose 3*x = -s - 7, -3*x + 3 = -4*x. Solve -s*q - 6 = 4*f - 0*q, 5*q - 9 = i*f for f.
-2
Let d(c) = -4*c**2 - 3*c + 0*c**3 + 6*c**3 - 5*c**3 - 6. Let f be d(5). Solve -2*l - m = 6, 5*l + m = f*m - 37 for l.
-5
Let t(h) = h**2 - 5*h - 65. Let x be t(-6). Solve -j - 3*y + 1 + x = 0, -4*j = -y + 18 for j.
-4
Let m = -170 - -246. Suppose 2*z + 2*z = m. Solve u = -5*v + z, 6*v + u - 7 = 5*v for v.
3
Suppose 4*i - 4*t = -5*t - 43, 5*t + 25 = -i. Let j = -5 - i. Solve -4*u = -3*u + 3*q, 0 = j*q + 5 for u.
3
Let k be 3*(-1 - (-5)/3). Let p be (0 - 1) + (-9 - -13). Let m = 11 - 8. Solve -k*w - 26 = -4*a, p*a + a - 29 = m*w for a.
5
Let j = 6 + -3. Let p = 32 + -64. Let x = 38 + p. Solve -2*c - 10 - x = 4*w, -2*w - j*c - 16 = 0 for w.
-2
Let n(t) = -t**2 - 2*t - 1. Let x be n(-3). Let q be 2/((-8)/3)*x. Solve r = -r + q*k + 1, 5*r - 2*k + 3 = 0 for r.
-1
Suppose 5*j + 5*v - 22 = 3, -45 = -4*j + v. Suppose 5*i - u - 291 = 0, 0*i - i + 3*u + 61 = 0. Suppose r - i = -r. Solve 2*d = -j, 4*d + d = 2*z - r for z.
2
Suppose -3*t + 3 = -27. Suppose 2*n + 3*y = 19 + t, 3*n - 33 = -y. Solve 0*u + 2 = -u, 0 = -r - 4*u - n for r.
-2
Suppose -2*q = 3*l, -3*l + 2*q = -4*l - 4. Solve -4*j + l*o - o - 16 = 0, 0 = -3*o for j.
-4
Let g(x) = -x**2 + 19*x + 5. Let t be g(19). Solve -l - 12 = -t*o, 3*l - 1 - 5 = o for o.
3
Suppose -2*d + 20 = 4*c - d, -5*c + 3*d = -8. Solve -4*v = -w - 7, -c*v + 1 = -3*w + 4 for w.
5
Suppose 2*h = 4*h - 4. Suppose -h - 2 = -a. Solve -5*f - 4*c = -12, c + 4 - 7 = a*f for f.
0
Let n be (-1)/(-2)*20/2. Let x(q) = -q - 4. Let l(r) = -8*r**3 + 2*r**2 - r. Let i be l(1). Let g be x(i). Solve -4*s + n = g*a + 10, 3*s - a = -7 for s.
-2
Let f = -10 - -4. Let l(g) = -3*g - 9. Let z be l(f). Let r be (-3)/z + (-1)/(-3). Solve 5*k - 2*v = -16, r = -3*k + 2*v - v - 9 for k.
-2
Let w = 12 + -9. Solve w*a + 3*h - 24 = 0, 3*a + h - 20 = -h for a.
4
Let t = 94 - 67. Let n be (-4)/(-28) - t/(-7). Solve 5*c + 3*y = 15, c - n*y = -c - 20 for c.
0
Suppose 2*p + 1 = 7. Solve -5*q = 15, -4*f + 13 = -6*f - p*q for f.
-2
Let w be (-4 + (17 - 3))/2. Solve 3 = -w*o + 13, 2*q - 16 = -3*o for q.
5
Let a = 9 - 4. Suppose 3*l = p + 7*l - a, 4*p = -4*l - 16. Let m be (-4 - p)