 -5*l + 5*o, 0 = -3*l + v*o + 3*o - 1 for l.
-2
Suppose -8 = -3*u - 2*n + 4*n, 0 = -5*u + 2*n + 16. Suppose u*x = 3*c + 91, -x + 19 = c + 2*c. Solve -12 = 3*y, -2*p + 8*y = 5*y - x for p.
5
Let b(c) = c**2 + c - 1. Let g be b(-3). Solve 6*t + g*y + 13 = 3*t, -10 = 2*y for t.
4
Let m be (2 - 1) + (-4 - -6). Solve m*z + 9*t - 4*t = -7, 12 = 2*z - 5*t for z.
1
Suppose -3*a + 0*a = 0. Suppose 3*k + 18 = 3*u, -4*k = u + k. Suppose -u*p = -7*p + 10. Solve p*v + 0*d - 2*d - 7 = 0, 5*v - 3*d - 3 = a for v.
3
Suppose 2*o - 5 = f + 26, o + f - 23 = 0. Suppose -3*a + 3*p = -o, 0 = 3*a - 2*a + 3*p - 2. Solve -5*c + 2*v = -0*c - 4, 4*v = a*c + 2 for c.
2
Suppose 5*n - 20 = 0, -2*s = -0*s + 3*n - 20. Solve s*c - m + 13 = 0, -2*c = 2*m - 6*m + 24 for c.
-2
Let o = 11 - 8. Solve -o*r + 12 = -3*h, 2*r = -3*r - h + 20 for r.
4
Let i be (-3)/(-6) - 30/(-4). Solve -i = 4*d - f, 5*f + 2 - 25 = 3*d for d.
-1
Let q be (-9)/3 - 3/(15/(-25)). Solve -j = g - 0 - 5, -g - q*j + 10 = 0 for g.
0
Let l = -43 + 48. Solve 0*u + l*u - 9 = a, 5*a + 3 = 4*u for a.
1
Suppose -m = 6*m - 28. Solve -h - 3*y = -2*h - 1, -m*h + 3*y + 14 = 0 for h.
5
Let x be (3/(-2))/((-5)/(-30)). Let t(m) = -m**2 - 10*m - 4. Let n be t(x). Let q = -3 - -6. Solve 5*k - q*f = -1, 3*k + n*f + 0*f = 13 for k.
1
Suppose 0 = -3*l + 8*l - 10. Suppose -l*z = 1 - 7. Solve -5*t - 2*m = z, 0 = 3*t - 5*m - 13 - 10 for t.
1
Let n be (-36)/(-12) - (-2 - 0). Solve -w + n*k + 4 = -10, 4*k + 8 = 0 for w.
4
Let c be 1/(-3) + 7/3. Suppose n - 2*n - 15 = 3*y, 10 = -5*n - c*y. Solve 4*b - 10 = 2*f, 0 = -3*b - 5*f - n - 12 for b.
1
Suppose 0*g + 2*g + 12 = 0. Let p be g + 7 - -17*1. Solve -p - 4 = n - 5*w, 3*w - 12 = n for n.
3
Let a be (-4)/5*(-10)/4. Let t(v) = 2 - 1 + 0*v + v - a*v. Let q be t(-1). Solve 0 = 5*x - p + 5*p - 10, -6 = -q*x - 2*p for x.
-2
Suppose 0 = 12*n + 7*n. Solve 0*q - 2*m = -q + 2, 2*q - 2*m - 2 = n for q.
0
Suppose 2*r = -3*p, 5*r + 17 = 3*p - 4. Solve -3*w - 4*u - 3 = p*w, 3*w = 4*u + 11 for w.
1
Let n(v) = -v**2 - 9*v - 6. Let w be n(-9). Let g = w - -11. Suppose 2*l + 0 + 2 = g*y, -4*y = 3*l - 20. Solve 4*k - 25 = p, 2*p + 10 = 4*k + l*p for k.
5
Let t = 43 + -39. Solve 0*g + 20 = 4*s - g, g - t = -2*s for s.
4
Let y = 3 - -2. Suppose 2*f = 14 + 8. Suppose 2*b - 2 = -v + 2*v, v = 5*b - f. Solve -2*n + 1 = -3*n, 3 = -v*l + y*n for l.
-2
Suppose 4*r = 2*w + 2, 2*r = r + 1. Solve 2*i = 2*u - 4, 2*i + w + 9 = 0 for u.
-3
Let a(w) be the first derivative of w**4/4 + 8*w**3/3 + 4*w - 2. Let q be a(-8). Suppose 5*u - 1 - q = 0. Solve -4*y + 3*p + 2 = 0, -y - p - u = -2*y for y.
-1
Suppose -2*j + 5*r = -0*r + 21, 35 = 5*j + 5*r. Solve 3*n + 6*v - 6 = 3*v, -v - 10 = -j*n for n.
4
Let t be 5/(-15) + 28/(-6). Let v be -3 - t/(10/12). Let j(g) = g + 7. Let z be j(-7). Solve 5*d + m + m = -17, z = d + v*m + 6 for d.
-3
Let m(l) = 3*l**2 - l. Let c be m(2). Solve -4*f - 2*x = -9*f - c, f - 16 = 4*x for f.
-4
Let y(a) = a**2 - 4*a + 6. Let q be y(4). Let z be q/(9/(-6)*1). Let k be 1 - 2 - (-1 + z). Solve -s + 1 + 2 = -u, k = 4*s + 4*u for s.
2
Let h(a) = -3*a. Let u = -6 + 6. Suppose 2*v + v + 3 = u. Let l be h(v). Solve 0 = 4*n + l*o + 12, n - 9 = 4*n + 5*o for n.
-3
Let r be (1/3)/((-4)/(-60)). Solve d + 3*z + 2 = 0, 2*d + r*z + 4 = z for d.
-2
Suppose -4*w + w = -b - 4, -2*w + 6 = b. Suppose b*x = -4*j + 4, 5*x - 3*j - 10 = 2*j. Solve 0 = 3*n - 3*t, -7*n + 2*n + x*t - 15 = 0 for n.
-5
Suppose -6 = -p - 4. Let s = 2 - -1. Let q(g) = 2*g - 1. Let c be q(6). Solve -c = -k - s*i, 3*k + 0*i = p*i for k.
2
Let j be ((-2)/(-4))/((-30)/(-300)). Solve -4*q - j*y + 27 = 0, -3*q - 2*y = 3*y - 24 for q.
3
Suppose 0*p + 18 = -p - 5*f, 0 = -4*f - 16. Suppose -3*l - g = 34, 2*l + p*l + 56 = -4*g. Let s = -6 - l. Solve 2*c = -x - 2, 9 - 1 = -s*x + 3*c for x.
-2
Suppose 19 = 4*d - 21. Solve 2*w - 5*s = -35, 4*w + w + d = -3*s for w.
-5
Suppose 3*t - 4*j = 31, 4*j = 2*t - 4*t - 6. Solve 3*u + 1 = t*b - b, -3*u + 27 = 3*b for u.
5
Let b = -15 - -18. Solve -b*s - 3*f = -3, -3*s + 1 = 4*f - 1 for s.
2
Let n be (2 + -18)*3/(-4). Let h = n - 8. Suppose -a = -1 - 4. Solve -a*g = -5*q - 4 - 1, -h*g = -8 for q.
1
Suppose n - 6*n = -80. Suppose 2*z + n = 5*l + 3*z, -2*z = -3*l + 20. Let g(h) = h**3 - 7*h**2 + 8*h - 8. Let b be g(6). Solve l*d + 27 = b*a + a, d = -a for d.
-3
Suppose -7 = -4*i - 3*u, -3*i + 11 = 2*i + 3*u. Suppose i*c - 10 = 2. Solve a + c*k - 4 = 0, 5*a + 1 = -4*k + 21 for a.
4
Let p = 33 + -29. Solve 3*u = -g + 9 - p, 1 = -g + 3*u for g.
2
Let x(b) = -3*b**2 + 2*b + 3. Let v(i) = 13*i**2 - 8*i - 11. Let m(h) = -2*v(h) - 9*x(h). Let t be m(4). Solve -u + 0*u - 3*g - 4 = 0, g - 12 = -t*u for u.
5
Let s(v) = -5*v - 45. Let n be s(-10). Solve -2*j = b + 11 + 2, 0 = -2*b - n*j - 30 for b.
-5
Let q be (0/6)/(-1 + 2). Suppose -4*v + 20 = 0, 3*f + v - 32 = -q*v. Let s = -7 + f. Solve -4*z + n + 22 = 0, s*z - n = n + 14 for z.
5
Suppose 2*t - 8 - 1 = 3*a, 2*a = 2*t - 6. Suppose -5*j = -t*j - 15. Suppose -10 = -2*c - 0. Solve 0 = 3*x + j*s - 30, 4*s - c = 2*x + 5 for x.
5
Let w(b) = b**2 - 4*b - 1. Let f be w(4). Let q be f/(2/8*-2). Solve x - 4*p = -5, -q*p + 5 = -4*x - p for x.
-1
Suppose -5*a + 0*a + 75 = 0. Solve 15 = 5*z, -z - 3*z + a = l for l.
3
Let p = 3 - 5. Let o be p/(-8) - (-94)/8. Let j be -3 - 5/(15/(-18)). Solve n + o = 2*g - 2*n, j*g - n = 11 for g.
3
Suppose -2*f = 3*f - 15. Solve -3*b - f = -4*t, -b - t = 3 + 5 for b.
-5
Let z(m) = -m**3 + 2*m**2 + 5*m - 3. Let x be (-14)/(-6) - 2/(-3). Let a be z(x). Solve 6*c = c - 20, a = -i - c for i.
1
Suppose n - 2*n - 1 = 0, -5*n - 21 = 4*j. Let c = 4 + j. Suppose c = -r - 0 + 3. Solve -5*p + 7 = 4*x, -4*x - r = 2*p - 1 for p.
3
Let v(q) = q**3. Let t be -5 - -5 - (-2)/1. Suppose 2*f = 7*s - 2*s - 6, -4 = -t*s. Let m be v(f). Solve -3*l = 2*c + 20, 4*l + m = l + c for l.
-4
Let j be (-10)/(-25) - 8/(-5). Solve 0 = -3*i + 4*b - 1, 0 = 5*i - 2*b - b - j for i.
1
Let o(z) = z**2 + 3*z - 7. Let s be o(-5). Solve -3 = -s*m, -6*p - 9 = -p - 4*m for p.
-1
Let f = 48 - 42. Solve -f = t + 2*y, 2*t + 3*y + 7 = t for t.
-4
Let x = -3 - -5. Suppose 0 = -2*f, -4*f = -0*d + x*d - 4. Let n(l) = -l**3 + 4*l**2 - 4*l + 2. Let a be n(d). Solve g - 3 = -w, 5*g = a*w + 2*w - 3 for w.
2
Let i = 69 - 64. Solve f + 2*f + 2*r - 2 = 0, -3*f + i*r = -37 for f.
4
Suppose 4*i = 67 - 23. Solve -8*k = -3*k - 5*r + 25, 0 = -5*k - 4*r + i for k.
-1
Let n = -3 - 7. Let o be 115/25 + (-4)/n. Solve -5 = -5*j - a, -a = -5*j - 4*a + o for j.
1
Suppose 0 = -q + 3, -4*q + 6 + 3 = -i. Solve -13 = i*b + 4*r, -3*b - 2 = -4*r + 3 for b.
-3
Suppose -4*m - 55 = m. Let y = m + 13. Solve c + n = -2, 0 = -6*c + y*c - 2*n - 6 for c.
-1
Let s = 36 - 36. Solve j = -i + 4, s*j + 2*j - 4*i + 4 = 0 for j.
2
Let x = -24 + 41. Solve -4*g - t - x = 0, -5*g + 3*t - 10 = 2*t for g.
-3
Let l(g) = g**2 + 2*g - 3. Let x be l(-4). Suppose 3*q + q = 16. Suppose q*m - 116 = -0*m. Solve -j + 3 = 0, 10 = k - x*j + m for k.
-4
Suppose 0 = 6*p - 0*p - 36. Solve -4*a + u - p*u = 22, -8 = 4*u for a.
-3
Let r be (-2 - -2) + 3/3. Let v(s) = s**3 - 2*s**2 + s. Let f be v(r). Solve -i + f*z - 4 = z, -2*i - 3*z - 7 = 0 for i.
-5
Let t = 13 + -11. Solve 2*i + 3*r + 7 = 0, -i - 9 = t*r - 5 for i.
-2
Let m(u) be the second derivative of u**4/12 + 5*u**3/6 - 3*u**2/2 + 3*u. Let k be m(-6). Solve 4*c - y - 21 = 0, -4*c - k*y = -9*c + 28 for c.
5
Let q(g) be the first derivative of -1 + 1/3*g**3 + 3*g + 5/2*g**2. Let x be q(-5). Solve -x*t + 3*m = -21, -t + 3*m + 13 = -2*t for t.
2
Let y be 4/(-18) - 152/(-36). Suppose 0*t + y = t. Solve -m - 2*r - t = 0, 3*m - 2*r - 16 = -r for m.
4
Suppose 4*l - 3*l = 4. Let c be l/18 + 32/18. Let u be 15/c*12/15. Solve -x + s = u, -s = x + s - 3 for x.
-3
Suppose 4*j = 2*j + 10. Solve -2*m + b - 13 = 0, -2*b + 5 = -j for m.
-4
Let b be 14/(-133) + (-236)/(-76). Suppose 0*l = l - 5*c - 5, 0 = -5*l - 3*c + 25. Solve -5*q + 1 = -b*m, 3*m + 13 = -l*q - m for q.
-1
Let c = 7 + -4. Let y be (-12)/(-15)*(-150)/(-12). Let g be 4/y + (-86)/(-10). Solve -c*p + 6*h = h - g, -11 = p + 3*h for p.
-2
Suppose 2*i = 7*i - 25. Let c be 2*(-5)/((-20)/6). Suppose -52 = 4*h - 8*h. Solve 2*u - c*o + h = u, -u = i*o - 19 for u.
-1
Suppose -2*a - 20 = -7*a. Solve 5*z = -5*c + 7 + 3, -a*c + z + 8 = 0 for c.
2
Let t(h) = 3*h - 9.