+ 15 = -5*n, t = -5*n - 5*f for n.
-2
Let y(f) = -3*f**2 + 14*f - 4. Let d be y(10). Let m be 4/10 - d/(-10). Let u = m - -22. Solve -z - 4*x = -18, -3*z - 2*x + 2 = -u*z for z.
2
Let x be 0 + 16 + -2 + 0. Suppose -3 = -2*z + 4*q + 7, -2*q - x = -4*z. Solve -b - 2*p - 3 = 0, z*b = 4*p - 2*p + 7 for b.
1
Let s = 7 + -3. Suppose -5*w - 3*g = -17, -5*w - 2*g = -w - 14. Solve w = 4*j - 3*j, 18 = 2*l + s*j for l.
1
Let j(u) = u**3 - u - 1. Let c(h) = 5*h**3 + 7*h**2 - 12*h - 11. Let g(f) = c(f) - 6*j(f). Let y be g(5). Solve 3 - y = -4*w + 5*v, -6 = -5*w + 4*v for w.
-2
Let f be 1/(-2*1/(-6)). Suppose -f*l - 3*j = -3 + 6, j = 5*l - 25. Solve 0 = 2*u + 4*i - 26, -4*i + 12 = l*u - 24 for u.
5
Let h be (-120)/(-28) + 4/(-14). Let p = h + 0. Let c be ((-11)/3)/((-1)/6). Solve -p*t + 14 = -l, -5*l + 3*t + t - c = 0 for l.
-2
Suppose -5*j = 16 - 26. Solve 3 = 3*f - 5*o, 7*f - j*f = 4*o - 8 for f.
-4
Suppose -5*s + 29 - 4 = 0. Solve x - 16 = s*f + 2, -2*f + 5*x - 21 = 0 for f.
-3
Let i = 9 - 7. Let p be ((-6)/21)/(i/(-14)). Solve 0 = p*z - 3*v + 20, -7*z + 3*z = -4*v + 32 for z.
-4
Let k = 2 - 0. Suppose 5 + 5 = 5*i. Suppose k + 2 = i*a. Solve 2*s = y - 8, -a*y - 3 = -s + 2*y for s.
-5
Let m = 2 + 5. Let d be (-1 - 0)*(-35)/m. Solve -y - 25 = -5*v + y, v - d*y = 28 for v.
3
Let a be (2/(-4))/(3/24). Let h = 0 - a. Solve h*f - 37 = 5*j, -3*j - 9 = -0*f + 2*f for j.
-5
Suppose 2*x + g - 1 = 0, -3*g - 8 = -3*x + 2*g. Let h = 12 + -8. Suppose -o + h = x. Solve z - 2 = -3*u - 0, 0 = -o*u + 3*z + 18 for u.
2
Suppose 0 = 4*x - 0*s - 2*s - 6, -x - 4*s - 12 = 0. Solve -k + 4*i + 4 = x, i = 5*k - 0*i + 18 for k.
-4
Suppose -27 = -5*j - 12. Solve p - 1 = 2*t, 0*p - j*p = -2*t + 9 for p.
-5
Suppose 0 = 2*q + 45 - 47. Solve 3*x = -9, 4*m + 0*x - q = -x for m.
1
Let n be ((-1)/(-2) + 6/4)*2. Solve 0 = 3*h - 5*d + 13, n = 3*h + d - 13 for h.
4
Let h = 8 - 15. Let d = h + 10. Solve -4*s = -d*n + 4, n = -4*n - 5*s - 40 for n.
-4
Let m = -2 - -10. Let o(i) = -i + 7. Let h be o(7). Solve -5*k - 3*f - m = h, 2*k = 4*k + 2*f for k.
-4
Let u(x) = -x**3 + 3*x**2 + 4*x + 5. Let z be u(4). Solve -12 = 4*d + 2*i - 0*i, -z*d - 3*i = 14 for d.
-4
Let k be 2/(-9) - (-20)/9. Solve -2 + 4 = z, 0 = -k*g - 2*z + 2 for g.
-1
Let s(z) = z**2 + 4*z - 8 + z**2 + 10. Let n be s(-2). Solve -3*u = u - 3*r + 6, -4*u + 5*r - n = 0 for u.
-3
Suppose a = 70 + 50. Let y = a + -85. Let s be 1 + 2 + -2 - -1. Solve -5*f - 2*v - y = 0, -2*f - s*v + 10 = -6*v for f.
-5
Let j be 5 + (-4 - -8) + 3. Suppose 9*z - 13*z = -j. Solve 2*v - 10 = -4*c + 10, -2*c = z*v - 14 for v.
2
Suppose 7*l = 5*l + 6. Solve -4*v - 4*x - 4 = 0, 5*x + l + 2 = 3*v for v.
0
Suppose -2*q + 0*q + 10 = 0. Solve 2*k - 3 = -3*k + 4*n, -2*n = q*k - 21 for k.
3
Let k = 7 - 5. Suppose 3*a = 2*f - 12, -1 + 2 = -f - k*a. Solve r - 3*r + 10 = f*d, 5*r - 25 = -2*d for d.
0
Let v(m) = m - 5. Let x be v(7). Suppose -3*k - x*u = -20 + 6, -3*u - 15 = 0. Let s be (8/(-3))/8*0. Solve 4*h - 3*p - 14 = s, -3*p = -5*h - k*p for h.
2
Suppose 0 = 4*b + 4*b - 16. Solve 2*m = 3*j + 19, 2*m + 6*j + b = 2*j for m.
5
Let d(t) = 4*t - 4. Let g be d(2). Let i(f) = -f + 9. Let n be i(g). Solve 5*s + n*c - 3 = 7*c, -2*s + 2*c + 6 = 0 for s.
-1
Let w(f) = -f**2 + 4*f + 1. Let q be w(2). Let r = -8 - -28. Solve q*t + 25 + 0 = 4*j, -3*j = -5*t - r for j.
5
Let t(n) = -n**2 + 5*n. Let m be t(4). Let o be 26/(1*(-2 + m)). Let h(x) = 2*x - 1. Let i be h(3). Solve -2*j + 3*l - o - 12 = 0, -5*l = i*j for j.
-5
Suppose 0 = o - i, 0 = -3*i - 2*i + 15. Solve 4*g = -x + o*g + 3, 1 = g for x.
2
Let p be 4/(-3 - -5) + 3. Let w = 0 - 0. Suppose -2*h + 3 + 5 = w. Solve 0 = 3*a + p*s + 8, 0 = h*a + s - 0*s - 12 for a.
4
Let t be ((-8)/10)/(4/(-10)). Suppose -t*y = -0*y + 4*c + 12, -5*c = 2*y + 15. Solve y = 3*k + 2*k + 5, -k + 15 = -4*v for v.
-4
Let f be -12 - -4*3/6. Let w be 8*2*(-5)/f. Solve -2*d = -4*v - 0 + 28, 2*d + w = 0 for v.
5
Suppose 5*j - 11 = 4. Solve 9 = -t - 0*t - j*d, -2*t + 3*d = 0 for t.
-3
Suppose -4*q = -8 + 40. Let t be (-2)/(-9) - 188/36. Let o = t - q. Solve 0 = 4*l - 2*l + 5*r + 10, -3*l + 27 = -o*r for l.
5
Let f be 36/10 - (-2)/5. Let c(p) = -1 + p - 2*p + 2*p + 0. Let g be c(f). Solve u = -3*s - 2*u - 15, -4*s = -g*u - 1 for s.
-2
Let y(v) = v**3 + 4*v**2 + v + 7. Let b be y(-4). Solve -5*s = 5*q + 25, b*s = 5*q - 15 - 0 for s.
-5
Suppose 0 = -3*j + 4*j - 17. Suppose 3*p = 13 + j. Solve -2*l + 5*l - f - p = 0, 20 = 5*l - f for l.
5
Suppose 0 = -2*f - 1 + 11. Let w be 4 - (-1)/((-1)/2). Let p be 1/w*2 + 2. Solve 0 = -2*s + f*l + 20, s + 3*l + p - 2 = 0 for s.
5
Let m be 2/(((-4)/5)/(-2)). Suppose o - m = -4. Solve 0 = 3*s - 4*v + 1, -s = -6*s + 4*v + o for s.
1
Let b(z) = z + 34. Let o be b(-21). Let u = 4 - -4. Let m = o - u. Solve 2 - 6 = -2*q - 3*x, m*q - 3*x + 32 = 0 for q.
-4
Let y be 1 + 2 + -3 - -5. Solve 16 = -3*a + 2*n, -11 + 1 = y*a + 5*n for a.
-4
Suppose -2*k - 3*k = -10. Solve 6 = -5*y - 3*t, 2*t + k*t - 3 = -3*y for y.
-3
Let b(j) = -j**2 + 8*j + 1. Let t be b(8). Let r be 0 + ((-2)/(-2) - t). Solve -25 = -5*g + 2*n, -3*g + 4*g - n - 5 = r for g.
5
Let u be (-4 - 2*-3) + 0. Solve 0 = n + 5, -f - u*n - 22 = 2*n for f.
-2
Let u = 21 - 12. Suppose -5*x + u = -11. Solve -2*o = o + y + x, -4*y = -2*o + 16 for o.
0
Suppose 2*t + t - 12 = 0. Suppose 5*g - 4*g = -t*m + 39, -3*g = -m + 26. Let x be 2/11 + 42/m. Solve -4*v = -2*d - 2*v - 2, x*d + 9 = 5*v for d.
4
Let a(i) = -5*i - 31. Let u be a(-7). Solve 4*t = -3*h + 9 - 26, u*t + 5*h + 23 = 0 for t.
-2
Suppose 1 = -3*a + 4. Suppose 4*j - 10 = -3*u + 5*u, u - 19 = -4*j. Let v = -6 - -16. Solve -q + u*s + a = 0, 7*s = 2*s - v for q.
-5
Suppose 3*f - 12 = 0, 3*w + f - 40 = -3*f. Suppose -6 = -t - 0*t. Let c = -73 - -75. Solve -3*d + t*d = -a + w, c*a = 3*d - 20 for a.
-4
Suppose -b + 5*g = g + 22, 0 = 2*g - 10. Let p be (-1)/(-2) + b/(-4). Solve -a + 5*j = 5, 4*j = -4*a - 19 - p for a.
-5
Let i(u) = 5*u**2 - 2*u - 2. Let v be i(-1). Solve f = -4*j + 2 - 6, v*f - 22 = j for j.
-2
Let a = -21 + 21. Let n be 58/18 - (-12)/(-54). Solve -2*d - 2*p = 3*p - 12, a = -2*d + n*p - 20 for d.
-4
Suppose 33 = 2*u + 5. Let j = u - 8. Solve y = -r + 2 - j, 2*y = -5*r - 8 for y.
-4
Let w(r) = r**2 + 8*r - 4. Let g be w(-8). Let x = g + 12. Let k be 21/4 + (-1)/4. Solve 3*l - 2 = 3*a + a, -k*a + l - x = 0 for a.
-2
Let z be (3*5)/((-3)/(-2)). Let t(y) = 2*y**2 - 19*y - 7. Let a be t(10). Solve -3*g - 2 = -o + a, -2*o + 4*g = -z for o.
5
Suppose x = 6*x - 120. Solve -4*p + l = -3*l - x, 0 = -p + 5*l + 22 for p.
2
Let s(j) = j**3 + 5*j**2 + 6*j + 9. Let b be s(-4). Solve 2*c + 2 = 4*r, 5*r - b - 1 = 2*c for c.
-1
Let h = 5 + 4. Let c = 14 - 8. Let i = h - c. Solve -4*n - 2*g = -6, -2*n + 3*g - 20 = i*n for n.
-1
Suppose 28 = 4*p - 4. Let t(z) = -z**2 + 4*z - 4. Let w be t(4). Let d = w + p. Solve d*h + 4 = 4*j, -5*h + 0 = -3*j + 7 for j.
-1
Suppose 3*c = 4*c - 8. Suppose -w = 4*w - 30. Let g = c - w. Solve -k - 5*a + 15 = 0, 2*a = -3*k + g*k + 6 for k.
0
Let g be 6/(-12) + (66/(-4))/(-3). Solve 0 = -j - 2*d + 11, g*d - 21 - 14 = -4*j for j.
5
Let j be ((-2)/(-4))/((-1)/(-34)). Solve 0 = 2*u + 2*x + 4, 4*u - x - j = -5 for u.
2
Let x = -68 + 72. Solve 15 = -k + x*m, 4*k - 2*k - m + 9 = 0 for k.
-3
Let k = -5 + 10. Let y = 10 + k. Let a be y/4 + 1/4. Solve 3*i + 4*x = 3*x - 17, a*x = -2*i - 18 for i.
-5
Suppose g = 6 + 2. Let r(b) = -b**2 + b + 19. Let z be r(6). Let t = 11 + z. Solve v + 3*q - g - 7 = t, 2*v - 2*q = -10 for v.
0
Let h be (3*1)/(15/20). Solve h*t = 8, 0*g + 4 = -4*g + 2*t for g.
0
Suppose 38*v = 40*v - 4. Solve -3*j = -4*j - 4*t - 1, -2*j + v*t = 2 for j.
-1
Suppose -5*x = -2*p + 5, -p - 2*p - 21 = 2*x. Let s = -2 - p. Let b(i) = 2*i**3 - 7*i**2 + 4*i + 1. Let h be b(3). Solve q + q + 3 = s*o, 5*q = h*o - 4 for q.
0
Let x be (-24)/(-14) - 22/(-77). Solve 2*r = -x*f - 6, 6*f - r = f - 3 for f.
-1
Let o be 22/121 - 20/(-11). Solve -5*m + 3*q - o*q = -9, m + 3 = -q for m.
1
Let l(i) be the first derivative of i**2/2 + 7*i + 2. Let n be l(-4). Solve 2*m = -3*z, -n = 2*z + 5*m + 8 for z.
2
Let c = 41 - 8. Suppose -2*a - c = 3*u - 8*u, -5*u + 5*a + 45 = 0. Solve -y + 2*p + 4 = -3*y, y = 2*p - u for y.
-3
Let t(q) = -q**3 + 8*q**2 - 8*q - 3. Let p be t(5). Solve x + 2*f = -2 - 2, 3*f = 5*x - p for x.
4
L