7. Solve -i*y + 6 = -y for y.
2
Let b = -10 - -15. Let q be (2/4)/(b/50). Suppose -5*g + 3 = -2*m, m + q = 3*g + 3*m. Solve -g = -3*d + 4*d for d.
-1
Suppose -5*b + 2*q + 10 = 7*q, -20 = -5*b - 3*q. Solve -b = 4*y + 13 for y.
-5
Let g = -2 - -4. Suppose 3*o = 2*o + g. Suppose -2*w = -5*w. Solve -v + w*v - o = 0 for v.
-2
Suppose 3*r - 10 = r. Suppose 0 = -o + 3*o - r*t, o = t. Suppose -z + 4 = o, -q + 12 = -2*z + 4*z. Solve 5 + 3 = q*n for n.
2
Let a = 7 - 3. Let x be (a/5)/(4/20). Let z(h) = 3*h**2 - 5*h - 3. Let r be z(x). Solve -5*t + 10*t = -r for t.
-5
Suppose 0 = 4*d - 2*k + 5*k + 37, -3*k - 30 = 3*d. Let t = -5 - d. Solve -1 = t*i - 7 for i.
3
Suppose 2*g - 10 = -j, 5*g + 6*j - 22 = 2*j. Solve g*n = n for n.
0
Suppose -3*y = y + 4*t + 12, 5*t + 25 = 0. Solve n - y = -n for n.
1
Let g be 1*(0 + (-1 - -1)). Suppose 2*q = -g*q. Let a = 4 - q. Solve 0*n = a*n - 12 for n.
3
Let g be (-18)/(-48)*(-2 - -10). Solve -5*s + g - 8 = 0 for s.
-1
Let v(d) = 2*d**3 - 16*d**2 - 16*d - 18. Let r be v(9). Solve -3*a = -r*a for a.
0
Let a be (-203)/(-14) + 1/2. Solve 3*d = -0*d - a for d.
-5
Let k(i) = 2*i - 12. Let b be k(8). Suppose -5*p - 25 = b*y, 2*y + 2*p = -y - 10. Solve -4*w = -8 - y for w.
2
Let r = 5 + -1. Let j(g) = g - 9. Let f be j(13). Suppose -3 = f*k - 11. Solve -r*y = 18 - k for y.
-4
Let d(a) = -2*a**2 - 9*a - 2. Let y be d(-4). Solve 5*u = y*u for u.
0
Let f be 16/72 + (-68)/(-18). Solve f*o + 31 = 11 for o.
-5
Let y = -1 - -1. Let k be 1*(-4)/(-14) + 78/21. Suppose -v - k*v + 30 = y. Solve 0 = 4*q - q - v for q.
2
Let u = 36 + -25. Solve 0 = -4*m - 5 - u for m.
-4
Let d(q) be the first derivative of -q**4/4 + 5*q**3 + q**2/2 - 13*q + 3. Let v be d(15). Solve -v*f + 6 = 14 for f.
-4
Suppose x - 5*g - 74 = -x, 12 = -3*g. Suppose 2*s - 4*a = s + x, 5*s + 4*a - 63 = 0. Solve h - s = 6*h for h.
-3
Let h = 1 - 1. Solve l + h = 5 for l.
5
Let i = -3 - -8. Suppose 0 = 4*l - 3*t - 12, i*t + 20 = 2*l - 7*l. Solve -3*x + 4 + 2 = l for x.
2
Suppose 4*c - 11 = 3*c. Let l(y) = y**3 - 11*y**2 + 2*y - 13. Let j be l(c). Solve -4*o + 5 = -j*o for o.
-1
Let i(u) = -u**2 + 7*u - 6. Let v be i(5). Suppose 0 = -8*b + v*b. Solve b = -s - 4 for s.
-4
Suppose -8 = -5*u - 3. Solve 4*g - u = -5 for g.
-1
Suppose 3*q = -4*f + 8, -4*f + 20 = -2*q - 8. Let y = 63 + -51. Solve 0 = -f*g + y + 8 for g.
4
Let y be 0 + (-2)/4*0. Let p = 14 - 6. Solve 4*o - p = -y*o for o.
2
Let t be (2/(-4))/((-3)/6). Solve t = -2*z + z for z.
-1
Let w be 5/((-10)/(-4))*5. Solve w*y - 5*y = -20 for y.
-4
Let o(l) = 2*l**2 - l + 13. Let a(m) = 3*m**2 - m + 20. Let j(s) = -5*a(s) + 8*o(s). Let z be j(3). Solve 0 = p - z*p - 9 for p.
-3
Suppose 2*r - 2*g - 160 = -0*g, -315 = -4*r + 3*g. Suppose 2*l - r = -3*l. Suppose 0 = -2*a + a + 4*b - 12, -5*b = -l. Solve a = 4*x - 2*x - 4 for x.
2
Let o be (-3)/(-4) + (-370)/(-8). Suppose q = -3*l - 3 + o, 5*q + l - 192 = 0. Suppose 5*r + 13 = q. Solve -3*b = 4 + r for b.
-3
Suppose -92*r - 62 = -94*r. Suppose 2*h = -5*m + 4*h + 30, -20 = 4*h. Suppose 24 = 3*i - m*u + 5, -5*i + 21 = 4*u. Solve -i*o = 6 - r for o.
5
Suppose -11*i + 4 = -9*i. Let u = 3 - 2. Solve 0 = 3*t + i + u for t.
-1
Suppose 3*d - 2*d = 5. Solve -i + d*i - 4 = 0 for i.
1
Let y = -14 - -55. Suppose -5*w - 32 = -k, 30 = 4*k - w - y. Let u = 27 - k. Solve 0*c - u = -5*c for c.
2
Let i = -38 + 40. Solve r - 5 + i = 0 for r.
3
Suppose -2*p - 84 = -9*p. Let s be 0 - 1*-1*3. Solve -s*g = -7*g + p for g.
3
Let c = 60 + -58. Let d = 3 - 2. Solve c*x - 3 = -d for x.
1
Let m(u) = -3 + 0*u - 3 - 2*u. Let t be m(-4). Let v = 21 + -20. Solve t*b - 3*b = v for b.
-1
Suppose -3 = 3*o, -6*o = -z - o + 13. Solve z*f - 3*f = 10 for f.
2
Suppose 5*c = 73 + 2. Solve 0 = 4*j - c - 5 for j.
5
Let q(g) = g**3 + g**2 + g + 13. Let b be q(0). Suppose b = 4*r - d, -4*r + 0*r = 4*d + 12. Suppose r*z + 2*z = 80. Solve 5*a - z = -0*a for a.
4
Let o be ((7 + 2)/(-3))/(-1). Suppose -2*q + 0*q + 10 = 0. Let c(p) = -p**3 + 6*p**2 - 5*p + 2. Let y be c(q). Solve -o*h + y*h + 3 = 0 for h.
3
Suppose d + 5*t + 17 = 5*d, -5*d = -t - 16. Let x be (6/(-4) - -1)*0. Suppose -o + 6 = d*c - 2*o, 2*c - 3*o - 11 = x. Solve 10 = 3*y + c for y.
3
Suppose 0 = -2*v + 3*v. Solve 0*p - p + 5 = v for p.
5
Let l be 1*((4 - 3) + 1). Suppose 2*m - l = m. Solve m*y - 3 = -y for y.
1
Let x(h) = -2*h + 5. Let a(p) = -3*p + 8. Let y(m) = -5*a(m) + 8*x(m). Let v be y(-2). Let z be v - (0/(-2) + -2). Solve 0 = z*g - 2 - 2 for g.
1
Let l(c) = -10 - c + 4*c - c - c. Let n be l(6). Let s be 78/8 - 1/n. Solve 2*k = 4*k - s for k.
5
Let u be -1 - (-2 - 1)/3. Suppose u*w - 2*w + 10 = 0. Solve -3*k - 7 - w = 0 for k.
-4
Let i(x) = x**3 - 3*x + 0*x**2 - 10*x**2 + 2*x + 13. Let p be 82/8 + 2/(-8). Let z be i(p). Solve -5*j + z = 8 for j.
-1
Let y = -3 - -5. Suppose -47 = -2*o - y*o + d, 5 = 5*d. Solve -3*n + o = n for n.
3
Suppose 6*m + 21 = 51. Let v be 2/2*(-2 - -2). Solve v = -4*h + m*h - 1 for h.
1
Suppose -8*a + 18 = -5*a. Let d(n) = 2*n**2 - 13*n + 8. Let r be d(a). Solve p = -p - r for p.
-1
Suppose -j + 0 + 3 = 0. Solve 0 = -b - 0*b + j for b.
3
Suppose -2*o - 9 = 3*t, -3*o - 3*t = -5*t - 19. Let k = 1206 + -1193. Solve -2*s + o - k = 0 for s.
-5
Let s(f) = -3*f**2 - 13*f - 4. Let x be s(-4). Solve x = -q - q - 6 for q.
-3
Let i be 10/2 + (0 - -1). Let s = 8 - i. Solve u = -s*u for u.
0
Suppose 3*w + 6 = 0, 3*o - 44 = o - 3*w. Solve 6*p - p = -o for p.
-5
Suppose -7*t + 3*t + 4 = 0. Suppose -w + 2 = -t. Let z = -2 + 2. Solve z*x + w = -3*x for x.
-1
Suppose 2*n = 5*f - 1 - 7, f = 2*n. Solve f = 4*p - 2*p for p.
1
Suppose -3*c + 2 = -4*x, -4*c + 3*x = 1 - 6. Solve o = 2*o + c for o.
-2
Let k(n) = -2*n - 5. Let v be k(-5). Suppose -v*j + 12 = -j. Solve 9 = 3*u - j for u.
4
Let i(q) = -q**3 + 3*q**2 + 6*q - 2. Suppose -2*s = 2*o + 2*s - 24, 0 = 2*s - 8. Let b be i(o). Solve 6*d + b = 4*d for d.
-3
Let q(v) = v**2 - v + 2. Let s be q(2). Let g(t) = -t - 1. Suppose -3*h = -0*h + 9. Let a be g(h). Solve s*f = 2*f - a for f.
-1
Let d(y) = -y**3 - 4*y**2 + 5*y + 4. Let l be d(-5). Let c be 46/l - 2/(-4). Solve 4*m = -0*m + c for m.
3
Suppose -4*h - 3 = 5*t, -2*t - t = 4*h - 3. Solve 12 = -h*b - 0*b for b.
-4
Let g(s) = -2*s + s + 0*s**2 + s**2 + 3. Let f be g(4). Suppose 3*d + 2*d - 40 = 0. Solve -3*l = -d*l - f for l.
-3
Let o(n) = n**3 + 3*n**2 + 3*n + 3. Let w be o(-3). Let a = 8 + w. Let q be 2 + -2 + 2 + a. Solve r + q = 7 for r.
3
Let d(j) = -j**2 + j + 3. Let c be d(0). Let s be 2/(-1)*(2 - 3)*1. Solve -c*i + i = s for i.
-1
Let b(s) = -2*s. Let r be b(-2). Solve r*d + 0 - 8 = 0 for d.
2
Let v(f) = f + 3. Let t be v(-2). Solve 3 = c - t for c.
4
Let d be (-6)/(0 + 3/(-2)). Suppose -4*s - 2*j = j - 27, -4*s + j + 7 = 0. Let c = -1 + s. Solve -d*i = -c - 2 for i.
1
Suppose 18 = -0*s + s. Solve -s + 2 = -4*y for y.
4
Let t = -21 - -26. Solve -t - 10 = -3*u for u.
5
Let m = 25 + -15. Let o be (-4)/m + 7/5. Solve -4 - o = r for r.
-5
Let n = -6 + 8. Suppose -g + n*l - 2 = 0, 4*l = -3*g - l + 5. Let k(w) = 2*w**2 - 2*w - 4. Let a be k(-3). Solve -3*i + 8*i - a = g for i.
4
Let t be 33/9 - (-2)/(-3). Suppose t*j - 12 = 6. Solve 0*d - 2*d = j for d.
-3
Suppose 4*y = x + 17, -2*x + 3 - 25 = -4*y. Suppose n = 3*p - 3*n - y, -5*n - 1 = -p. Solve 0 = 5*t - 6 + p for t.
1
Let p = -21 - -35. Suppose -2*u + u + 2 = 0. Solve -u = -4*q + p for q.
4
Let w = 5 - 4. Suppose -3*x + w = -x - z, -x = -z + 2. Solve 11 - x = -2*m for m.
-4
Let a(n) = 2*n**2 + 3*n + 1. Let u be a(-2). Suppose -4*x - 4*r = 0, -5*x + 0*r = u*r. Solve x = 4*v + v for v.
0
Let n(h) = h**2 - 3*h - 4. Let s be n(4). Suppose s = -0*v + 4*v - 4. Solve u - 6 = -v for u.
5
Let s = 7 + -3. Suppose g - 18 = -s*i, 0 = -g - 2*i + 4*i. Let x be 3/g - (-2)/(-4). Solve k + k - 2 = x for k.
1
Suppose -3*g + 2 = x - 9, 4*g = 4*x + 20. Let y(f) = -15*f**3 - 2*f**2 - f. Let d be y(x). Suppose -31 - d = -3*h. Solve 4*o - h = -3 for o.
3
Suppose -5*n - 5*h + 10 = -30, n - 3*h - 16 = 0. Solve -5*i + 15 = -n*i for i.
-3
Let z = 13 - 9. Let g = z + -1. Solve -g*s - 4 = -2*s for s.
-4
Let i = -1 - -17. Let l = 1 - -1. Let w = 6 + 0. Solve l*k + w = i for k.
5
Let t be -1 + 12 + -6*4/8. Solve 2*q - 2 = t for q.
5
Suppose -3*i + 41 = -g, -g - g = -4*i + 58. Suppose -5*m + 2*m + i = 0. Suppose -m*l = -2*q + 20