lve -5*s + 1 + g = y for s.
1
Let l = 38 + -26. Suppose -v + 5 = -2*o + 2, 2*o + l = 4*v. Solve 15 = -4*p + v for p.
-3
Suppose 0 = -2*s + 3 + 21. Let w(q) = q**3 - 8*q**2 - 9*q. Let v be w(9). Suppose v = p - 2. Solve p*n = s - 2 for n.
5
Let d be 2/(-13) - -1*93/13. Solve 23 - d = 4*p for p.
4
Let p be 24/10 - (-2)/(-5). Suppose 2*s + 3*s + 5 = -p*v, 3*s + 3 = -4*v. Suppose 0 = -2*y + h + 15, -4*h = -2*y + 39 - 9. Solve x = -v*x + y for x.
5
Let g(w) be the first derivative of -w**2/2 - w + 1. Let b be g(-1). Let k = -1 - -1. Solve b*o + 3*o = k for o.
0
Suppose -2*w = 2*w. Suppose w = 5*z + 12 + 8. Let p be (z - -7)*4/3. Solve -2*b = 2*b + p for b.
-1
Let p be (-6)/(2/(-4)*3). Suppose 3*h + 2 = p*f - 2*h, 0 = 4*f - 3*h - 6. Solve -5*d + 2*d = f for d.
-1
Let j be (1 - 1)/(-1 + -1). Let i be (-4)/((-52)/25 - -2). Suppose i = 5*w + 10. Solve -2*x + 0*x + w = j for x.
4
Let g = -68 - -75. Solve -g = -4*p - 15 for p.
-2
Suppose q + 6 - 30 = 0. Suppose -l - 4*t = -8, 2*l - 4*t = 7*l - q. Solve -3*p + l*p - 2 = 0 for p.
2
Suppose 4*s - 5*s + 3*z = -4, -2*s - 3*z = -8. Suppose 4*u + 3*w = 9*u - 30, u = s*w + 23. Solve -2*d = d - u for d.
1
Let n be (-10 - -1)*390/(-351). Solve -r + 13 - n = 0 for r.
3
Let a(l) = -5*l - 7. Let t be a(-2). Solve t*k = -k + 16 for k.
4
Let h be (3/6)/(3/24). Solve h*n = -n + 25 for n.
5
Let j(q) = q**2 + 4*q + 3. Let t be j(-3). Let s be 3*3/9 - -1. Solve t = u - s*u for u.
0
Suppose -w - 25 = -27. Solve u + w = 2*u for u.
2
Suppose g - 4*a - 25 - 10 = 0, g = -3*a. Solve 2*r - g = -3*r for r.
3
Let w be -1 + 6 + 1 + 0. Let o = 12 - w. Let s(f) = -3*f - 10. Let b be s(-4). Solve 4 = -b*y - o for y.
-5
Suppose 3*s = 5*t + 7, -3*s + 2*t = -2*t - 8. Let d be s*1 - (-1 + 3). Suppose 0 = o - d*o + 4. Solve 5 = z + o*z for z.
1
Let v(t) = t**2 + 7*t + 2. Let i be v(-7). Solve 4*n - i*n = 6 for n.
3
Suppose 2*v + 7 = -t - 0*v, v - 10 = -5*t. Suppose 3*m - 4*m + 5*f = -9, 3*m = -t*f + 27. Let y = 12 - m. Solve y*h + 0 + 3 = 0 for h.
-1
Let n(u) = -u - 1. Let v be n(-5). Suppose 0 = -4*s + 4*d - v, d - 25 = -6*s + s. Solve -w + s*w - 9 = 0 for w.
3
Suppose 2*y + 25 = 7*y. Solve -2*k - 3*k + y = 0 for k.
1
Suppose 5*l = l - 20. Let h = l - -7. Solve -h*g = g for g.
0
Let l = 105 + -103. Solve 15*y = 16*y + l for y.
-2
Let n = 13 + -8. Solve -n*a = -1 - 4 for a.
1
Let v(t) = -t**2 - 6*t - 2. Let z(h) = -2*h**2 + h + 1. Let o be z(2). Let m be v(o). Solve -4*u = -m*u - 5 for u.
5
Let x(k) = 2*k - 2. Let t be x(2). Let w(y) = -2*y + y**2 - 3 + y**2 - y**t. Let m be w(-2). Solve -6 - 19 = m*f for f.
-5
Let s(v) = -2*v - 5. Let q be s(-8). Solve q = 3*n + 2 for n.
3
Let p(k) = -k - 11. Let f be p(-6). Let d(x) = x + 7. Let b be d(f). Solve -4*h = b + 10 for h.
-3
Let t = 9 + -4. Suppose 0*b = -3*b - 12. Let g be 2/b - (-21)/6. Solve -2*i + t = -g*i for i.
-5
Let v = 8 - 2. Suppose -n = 5*m + 20, v*n - m - 15 = 4*n. Suppose 0*q = -5*q - 5*u - 15, q = u + n. Solve 4 = z + q for z.
3
Let t = 54 + -47. Solve -t - 3 = -5*m for m.
2
Let w(o) = -4*o - 12. Suppose -4*a = 5*d - 47, 3*d - 2*a - 2*a - 41 = 0. Suppose -6*u + 2*u - 47 = -5*h, -u - d = -h. Let y be w(u). Solve p = 5*p - y for p.
5
Suppose c + 1 - 3 = -k, 0 = -c - 5*k - 6. Solve -2*h + c = -0*h for h.
2
Let n(g) = g**2 + g. Suppose -12 = 4*m - d, 5*d = 4*m + d + 12. Let y be n(m). Suppose 0 = 5*v - 25, -t + 5*v = -1 + 21. Solve -y = -t*h + 9 for h.
3
Let t be ((-6)/12)/(1/(-8)). Solve n = 5*n + t for n.
-1
Let n = -27 - -27. Solve q - 3*q - 8 = n for q.
-4
Let p(j) = 2*j + 10 + 2 + 0*j - 4*j. Let k be p(10). Let l be k/6*(-165)/10. Solve -5*t + l + 3 = 0 for t.
5
Let d = -6 - -6. Suppose d = -x - 2 + 14. Solve -2*s = -5*s + x for s.
4
Suppose -4*x = -2*x + b + 2, 0 = 4*b + 8. Solve -4*y - y + 10 = x for y.
2
Let m be ((-14)/8)/(1/(-8)). Suppose 4*d = 6*d - m. Solve 0 = -3*u + d - 19 for u.
-4
Suppose -16 = -2*c + 6. Solve 3 - c = 4*y for y.
-2
Let k(s) = -s**3 + 8*s**2 - 5*s - 8. Let m be k(7). Let f be ((-6)/(-4) - 1)*m. Suppose g + u = 6*g - 18, -3*u = 4*g - 3. Solve f = g*h - 4*h for h.
-3
Suppose g = k, -2*g + g + 4*k = 9. Solve g = 2*b + 1 for b.
1
Suppose 5*t - r = 21, -4*r = -3*t - 2 + 18. Let m = -10 - -12. Solve -d = -m*d + t for d.
4
Let t be (-24)/(-6) - (-4)/(-2). Suppose -5*x + 40 = -15. Let g = -3 + x. Solve -g = -2*z + t for z.
5
Let l(o) = -o**2 + 10*o - 21. Let p be l(5). Solve 8*r - 20 = p*r for r.
5
Suppose 0*q - 4*q = 0. Suppose 0 = -4*m - q + 28. Solve -13 - m = 5*b for b.
-4
Let s be (15/6)/(3 - (-15)/(-6)). Solve -d = -s*d for d.
0
Let r(w) = 2*w - 8. Let t be r(5). Solve 4 = -t*i + i for i.
-4
Let v = -4 + 11. Solve -4*i + 5 + v = 0 for i.
3
Let n(x) = -x - 1. Let i be n(-1). Solve -4*h - 4 = -i for h.
-1
Let z(u) = -u**2 + 5*u - 4. Let w be z(4). Solve w + 6 = -2*d for d.
-3
Let s = -25 + 25. Solve 4*w = -s*w for w.
0
Let n be (-4)/6 - (-3516)/9. Let a be 2/4*n/(-3). Let v = -45 - a. Solve 0*s + 5*s + v = 0 for s.
-4
Let a(l) = -7*l**2 + 3 + 1 - 2 - l**3 - 2*l**2 - 8*l. Let q be a(-8). Solve q*b + 0*b = 8 for b.
4
Suppose 6*a = 5*a. Suppose -4*o + 30 + 10 = 0. Let x = o - 6. Solve a = x*l - 7 - 9 for l.
4
Let p(m) = -m**2 + 3 + 3*m + 2*m - 2*m + 2*m. Let t be p(5). Solve -t*g - 1 = 2 for g.
-1
Suppose -5*f = -4*t - 37, 4*t = -3*f + 8 + 27. Let d = -5 + f. Solve 0 = w + 3*w - d for w.
1
Let y be 106/7 + 2/(-14). Suppose -6*s + y = -s. Solve s = -4*f - 1 for f.
-1
Let g be ((-2)/(-2))/(2/34). Suppose 3*t = 5*a - 22, -3*t = 4*a + g - 40. Solve 0 = 2*i - 3 - a for i.
4
Suppose 0 = a - 0*m + m, 0 = -a - 2*m - 4. Let b(k) = k**2 - 7*k + 7. Let j be b(7). Let q(o) = o**2 + 7*o + 9. Let t be q(-6). Solve j*d = a*d + t for d.
1
Suppose j - 2*r - 4 = -j, r = 2*j - 8. Let b = 9 - j. Solve b*m = 2*m + 3 for m.
3
Let p = 17 - 10. Suppose 8*y = 4*y - 20. Let r be -2*(-3)/(-3) - y. Solve -p*o + 12 = -r*o for o.
3
Suppose -2*b - 3*i - 6 = -3, 3*b + 1 = -i. Solve -3*y + 3 + 0 = b for y.
1
Let p be (-6)/8 + (-77)/(-28). Solve -2*d - 4 = p*d for d.
-1
Suppose 3*l - 11 = -4*b, 0 = b - l - 3 + 2. Let a = 8 - b. Suppose -5*v + 127 = 2. Solve -a*d + d + v = 0 for d.
5
Let k be ((-2)/3)/((-2)/48). Let i = 26 - k. Solve 0 = 3*z + i + 5 for z.
-5
Let z(x) = -5*x + 10. Let n(r) = 2*r - 3. Let j(d) = -11*n(d) - 4*z(d). Let a be j(-5). Suppose 0 = 4*l - 4*s - 8, 2*l - s + a = 8. Solve q + 0*q = l for q.
3
Suppose 2*w + 3*w + 20 = 0. Let v(b) = b**3 + 4*b**2 - 2*b. Let o be v(w). Suppose -17 = -3*p + m, p + 3*m - o - 11 = 0. Solve -4*k + 1 = -p for k.
2
Let f(y) = 2*y**2 + 2*y. Let i be f(-2). Solve -4 = 8*r - i*r for r.
-1
Let c be 0/(-2) + (-4)/(-2). Suppose -4*m + 12 = 0, 5*m = c*t - 3 - 0. Let b(z) = -z + 10. Let o be b(7). Solve o*l = -0 - t for l.
-3
Let f = -19 - -21. Solve 0 = f*x + x + 9 for x.
-3
Let j = 26 - 26. Suppose -3*w + 8 = -1. Suppose -w*n = 4*d - 7, -1 = n - j*d - 2*d. Solve -2 - n = 3*r for r.
-1
Suppose 2*w = -0*w. Let n = 15 - 12. Suppose w = -n*l - 10 + 37. Solve -7 = 4*z + l for z.
-4
Suppose -3*q - 2*q = 15. Let z(u) = u**2 + u. Let b be z(q). Solve -5*x + b = 1 for x.
1
Let d = -5 + 7. Let a be (-2 - (-1 + -6)) + d. Suppose a = 2*j - 15. Solve -1 = -5*u - j for u.
-2
Suppose 0*s = 3*s - 6. Let w = 4 - 2. Suppose 0 = -w*q + q. Solve -j - s*j = q for j.
0
Let f be (-2 - -4)*(-3 - -5). Solve -a = f*a for a.
0
Suppose 4*r + 2*f = 64, 4*r - 48 = r - 5*f. Solve n = -3*n + r for n.
4
Suppose c = -0*c. Let r(o) = -o**2 - 5*o - 1. Let a = 10 - 14. Let d be r(a). Solve -d*n + 0*n - 15 = c for n.
-5
Let y = -8 + 13. Suppose 4*x - 92 = 8. Suppose -b = 2*d + y - x, 3*b + 5*d = 60. Solve -5*r = -0*r - b for r.
4
Let i(p) = 6*p**2 + 2*p. Let g be i(-2). Solve -s - g = 4*s for s.
-4
Suppose -y + 7*f - 2*f + 17 = 0, 5*f + 9 = -3*y. Suppose -3*m - y*h + 0*h = -20, -3*m + 4*h = 4. Solve -7 = -m*u + 1 for u.
2
Let y(r) = 0*r - 6*r + 4*r**2 - 5*r**2 + 9 + 0*r**2. Let u be y(-7). Let n be u/(-1) - (1 - 8). Solve -p + n*p + 8 = 0 for p.
-2
Let w be ((3 - 3)/3)/1. Suppose -55 = -5*n - 2*s + 7*s, -5*s + 20 = w. Solve 6*p - p = -n for p.
-3
Let u be (3/3)/((-1)/37). Let b = -22 - u. Solve -b = 2*t - 5 for t.
-5
Let j be -11 + 9 + 4 + 1. Suppose 8 = x + j*t, 3*x - 3 = 5*t - 7. Solve 2*q - 10 = -x for q.
4
Let j = 9 + -7. Let r be 3/j*(-2)/(-3). Solve -w = -1 - r for w.
2
Let p be 