Let s be c(1). Let b(j) = -j + 9. Let d be b(4). Solve 1 = s*a - d for a.
2
Let p(t) = t**3 - 4*t**2 - 4*t - 2. Let b be p(5). Let y = -1 + 7. Suppose -b*v + y = -2*v. Solve -4*d - v - 10 = 0 for d.
-4
Let t = -5 - -14. Suppose 8*g + 2 = t*g. Solve -4*y = -2*y - g for y.
1
Let n(t) = 3*t + 1 + 4*t - t**2 - 2*t. Let d be n(4). Solve d*l + 0*l = 0 for l.
0
Let k(q) = 4*q + 2. Let v be k(3). Suppose v - 4 = 2*d. Suppose 24 = d*i - 31. Solve 0 = -5*o + 9 + i for o.
4
Suppose 20 = -3*t + 7*t. Suppose t*m - 29 = -4. Let y be (-65)/(-7) + (-2)/7. Solve -m*o = -2*o - y for o.
3
Suppose -2*z + 3*z = 4. Let f(j) = -j**3 + 19*j**2 - 19*j + 22. Let o be f(18). Solve -8 = -o*s + z for s.
3
Let z(j) = -j**2 - 4*j + 17. Let c be z(-6). Solve c*n - 16 = 9*n for n.
-4
Let v(f) = -2*f - 3. Let s be v(-4). Suppose d - x + 9 = -2*d, 12 = -4*d - s*x. Let p = 5 + d. Solve 1 + 3 = p*y for y.
2
Let x(h) = h + 7. Let u(o) = -o - 7. Let n(c) = 2*u(c) + 3*x(c). Let k = 5 + -12. Let a be n(k). Solve r = -a*r - 5 for r.
-5
Let a(y) be the second derivative of y**5/20 - y**4/3 - y**3/2 + 3*y**2/2 + y. Let k be a(5). Solve -5*f + k = -12 for f.
5
Suppose 0*n + 8 = -c + 5*n, -2*n = -2*c. Solve -1 = -u - c for u.
-1
Let m be 18/(-24) - 70/(-8). Solve 5*h - m*h = 9 for h.
-3
Suppose -22 = -2*y - 0*q + q, 3*y = 2*q + 35. Solve y*t - 1 = 8*t for t.
1
Suppose 4*n - 8 = -4*z, 14 = 5*z - 4*n - 14. Suppose 0*a + 4 = z*a. Let k be ((-20)/(-25))/(a/10). Solve 0*j = 2*j - k for j.
4
Suppose 0*f = 3*f. Let m be (-48)/(-84) + (-66)/(-7). Solve 0 = -5*q - f*q + m for q.
2
Suppose 3*n - 3 = 3. Suppose f + 3*f - 4*j - 96 = 0, -j = n*f - 36. Solve 0*t = 4*t + f for t.
-5
Suppose -2*h + i = -5, 2*h + 6*i = i - 25. Solve h = t - 3*t + 10 for t.
5
Let i be (-1 - -4)*(261/27 + -9). Solve 0*l + i = 2*l for l.
1
Suppose 2*o + 3*o - 10 = 0. Suppose 3*k + 4*y - 18 = 0, -3*k + y + y = -18. Let p = k + o. Solve 4*b = p*b - 8 for b.
2
Suppose -3*g + 13 = 4. Suppose 7 = 4*d - 3*k - 7, -3*d + g*k = -9. Solve -2*x - 1 = -d for x.
2
Let r = 10 - 10. Solve r = -g - 4*g for g.
0
Let f be 0/10 - 6/(-1). Solve -f*k = -3*k + 9 for k.
-3
Suppose 0 = -4*k + 2*c - 6, k - 11 = -5*c + 4. Let h be (4 - 12/3)/(-1). Solve -5*s - 10 + h = k for s.
-2
Let a be (-4)/(-8) + (-374)/(-4). Let n = -34 + a. Suppose -c + 29 = 3*h + 6, 0 = 5*c + 4*h - n. Solve 12 = 4*f - c for f.
5
Let l be 3/(0 - (-3)/15). Suppose 2 - l = a - 5*n, n = 4. Solve -5 = -4*d + a for d.
3
Let y(h) = -h + 11. Let t be y(8). Solve 0*r + 12 = t*r for r.
4
Suppose -h + 2*v = -3*h + 24, 3*v + 18 = 3*h. Solve -4*n = -h*n + 10 for n.
2
Let x(n) = 0*n**2 + 5 + n**2 + 0 - n - 5*n. Let m be x(5). Solve m = -0*z - 3*z - 3 for z.
-1
Let v = 20 - 11. Suppose 25 = 7*z - 24. Solve -4*p - z = v for p.
-4
Let v = -2 + 7. Suppose 0 = 5*j - 65 - 35. Suppose -b - j = -v*b. Solve b*g = g for g.
0
Let n(f) = -f**3 + f**2 + 8. Let d be n(0). Solve k + d = 3*k for k.
4
Suppose 18*f = 19*f - 7. Solve f = -2*o + 1 for o.
-3
Suppose 10 = -t - 2*k, -2*t - 5*k - 25 = -5*t. Suppose t = -4*x + 5 + 7. Solve c = -0 - x for c.
-3
Let k(r) = -2*r**3 + 28*r**2 - r + 18. Let c be k(14). Solve 0*g = -g + c for g.
4
Let m = 59 - 49. Solve 4*b + b = m for b.
2
Suppose -4*u = -5*t + 17, -2*t = -4*u - 0*u - 14. Let l be (t*-1)/((-4)/20). Solve z + l = 2 for z.
-3
Let s be 2/1 + 0/(-1). Suppose -16 = -2*v + 4. Let a = s + v. Solve 0*b + 4*b + a = 0 for b.
-3
Suppose 7*t = 4*z + 2*t - 52, 4*t = -z + 34. Solve i - z = 7*i for i.
-3
Suppose c = -5*c + 2*c. Solve -2*x - 2 = -c for x.
-1
Suppose -2*y + 41 = 11. Solve -x - y = 4*x for x.
-3
Let j(w) = 3*w**2 + 2*w**2 - 4 + 4*w - 4*w**2. Let t be (-1)/((-16)/(-5) - 3). Let c be j(t). Solve -13 = -3*y - c for y.
4
Suppose 0*n - 3*n - 5*m = -236, 3*m = 3. Let o = -2 + 8. Suppose -7 = -q - 3*i, -q - n = -o*q - i. Solve -5*d + 6 = q for d.
-2
Let y(s) = -s**2 - 11*s - 8. Let h be y(-8). Let n = h + -13. Solve -6*q + n*q = 0 for q.
0
Let k = -4 + 7. Suppose -3*h = -n - 0*h + 15, -20 = k*n + 4*h. Let f be n - 2/((-2)/2). Solve f*y + y = 9 for y.
3
Suppose i - 1 = -w, -4*w + i = w + 25. Let f be (-75)/w + 3/12. Solve 3 - f = 4*x for x.
-4
Let h(b) be the second derivative of b**5/20 - 2*b**3/3 + b**2/2 + 4*b. Let k be h(3). Solve -k = n - 5*n for n.
4
Let o = -1 - -4. Suppose -3*v = 6, -4*s + 5 = o*v - 5. Solve -10 = s*p - 9*p for p.
2
Let c(n) = -20*n + 2. Let r be c(4). Let k be r/(-36) + (-1)/6. Solve 0 = 2*w - k - 8 for w.
5
Let r = 3 - -12. Let o = 17 - r. Solve -1 - 1 = o*q for q.
-1
Let q be 3/(147/(-14))*(0 + -7). Solve -q*y + 2 = 4 for y.
-1
Suppose -2*b - 7 = -13. Solve -b + 0 = -l for l.
3
Let a(x) = -x**3 + 8*x**2 + 3*x - 8. Let l be a(8). Solve -l = 5*z + 4 for z.
-4
Let n(j) = j**2 - j. Let k be n(5). Suppose 0 = -4*i + k - 8. Solve -i = -2*o + o for o.
3
Let c(q) = q**2 - 2. Let a be c(2). Suppose 0 = -m - y + a, 4*m - 10 = y - 3*y. Suppose 26 = 5*x + 4*b, -14 = 3*x + 2*b - 7*b. Solve m*z = -x*z for z.
0
Suppose h - 6*h + 20 = 0. Solve -5*k = -h*k - 5 for k.
5
Let i = -2 + 5. Let s(f) = f**2 + 5*f + 3. Let j be s(-5). Let c = j - 3. Solve i*n - 3 = -c for n.
1
Let g = -72 - -78. Solve -9*t = -6*t + g for t.
-2
Let f be 8 + (-3)/(-6)*-4. Let o be (-2)/4 - f/(-12). Solve o*b = 3*b + 3 for b.
-1
Let s = 78 + -74. Solve s*t + 25 = -t for t.
-5
Let x be 5*(72/(-15))/(-6). Let s(t) = -t**3 + 2*t**2 - t + 2. Let z be s(2). Suppose 5*m + 3*u + 6 = z, m = 4*u - 2*u + x. Solve m*a = -a + 2 for a.
2
Suppose 5*u - 11 = -3*d + d, -2*u = 4*d + 2. Let a be (4 + -3)/(1/u). Solve 3*o = -a + 12 for o.
3
Suppose 2*a - y = 42, -4*y = -2*a + 53 - 11. Let b = a + -15. Solve -4*w + b = 18 for w.
-3
Suppose 10 = 4*h - 6. Solve -h*d = -3*d - 4 for d.
4
Suppose 10*b - 19 = 11. Solve -b*o = -4*o - 3 for o.
-3
Let k(o) = o**2 + o + 1. Let d be k(0). Let a(y) = 4*y**3 - y**2 + y - 1. Let l be a(d). Let n be (0 - 0) + 1 + l. Solve -n*g = 4 + 12 for g.
-4
Suppose 3*l + 10 = 8*l. Suppose -1 + 9 = l*q. Suppose -4*v + 3*j = 0, -4*v - 2*j = j - 24. Solve v*a = q*a for a.
0
Let d = 20 - 16. Solve d*i = -i - 5 for i.
-1
Let o be 2 + (6/(-2))/(-3). Solve -o*g + g = -10 for g.
5
Let b(y) = y**2 - 6*y - 4. Let o be b(8). Suppose 0 = -2*z - 1 + 5. Solve -z*r - r - o = 0 for r.
-4
Let r(x) = -x**3 - 10*x**2 - 10*x - 3. Let y be r(-9). Let d = -22 + 26. Solve -6 - y = d*c for c.
-3
Suppose -s = -4*w - 4*s, -4*s = -4*w + 28. Let a(b) = -b**3 + 7*b**2 + b - 9. Let k be a(7). Let m = w - k. Solve -l = -m*l for l.
0
Suppose -7*z + 2*z = -i - 24, 5*z + 3*i - 28 = 0. Solve 0 = 4*r + z + 3 for r.
-2
Let k = -4 + 8. Let m(d) = -3*d - 9. Let y be m(-6). Suppose 0 = 2*t - 3*r - 16, -k*t + y + 5 = 3*r. Solve t*s - 1 + 6 = 0 for s.
-1
Let c be (-21)/(-6)*8/14. Solve c*i - 1 = -3 for i.
-1
Let r = 33 + -47. Let i be (-20)/70 - 4/r. Solve i*f + 3 = -f for f.
-3
Let k(w) = -w**2 - 4*w. Let d be k(-4). Let n(f) = -2*f - 4. Let c be n(-2). Solve d = v - c*v - 5 for v.
5
Let d(y) = -y**2 + y + 18. Let n be d(0). Let m = -9 + n. Solve 5*w + 24 - m = 0 for w.
-3
Let h = 90 - 90. Solve -c = -h*c for c.
0
Let d be 54/8 + 3 + (-45)/12. Solve -y + d*y + 20 = 0 for y.
-4
Let k(m) = -5*m. Let s be k(-2). Let f = s + -5. Solve 0 = -2*x + f - 3 for x.
1
Suppose 0 = g - m - 0*m - 2, 0 = g + 4*m + 8. Let y be (-1 - g) + 7 - -2. Solve -y = -3*o + o for o.
4
Let c be (-1)/(10/(-4) + 2). Let r(o) = -o - 1. Let z(y) = -10*y - 5. Let x(t) = 6*r(t) - z(t). Let m be x(c). Solve 0 = -2*q - m - 1 for q.
-4
Suppose 6*h - h = 5*t + 45, -4*t + 9 = 5*h. Let r(s) = s - 1. Let k be r(5). Let a be 2 + 0 + 1 + -2. Solve -k = h*u + a for u.
-1
Suppose 5*j - 3*j - 34 = 0. Suppose -r + k = -8, 19 = 5*r - 3*k - j. Solve -20 = -r*v + v for v.
4
Suppose -4 = -o - 0. Solve o*q - 6*q - 10 = 0 for q.
-5
Let w(p) = -4*p**2 + 5*p**2 + 0 + 5. Let l be w(0). Let c = 5 - l. Solve c*h - 2*h + 8 = 0 for h.
4
Let f be (1/(-3))/(1/(-9)). Suppose -i - f*i = 0. Solve 0 = -i*r - 3*r for r.
0
Let w(q) = 7*q**2 - q. Let i be w(1). Solve -y + i*y = 15 for y.
3
Suppose -16 = -9*q + 4*q - t, 2*t = -q - 4. Let r(y) = y**3 - 3*y**2 + 5. Let n be r(q). Let p = -13 + n. Solve p*m = 3*m for m.
0
Let h(n) = -n. Let o be h(-4). Let k = 11 + -5. Suppose 18 = 4*t - k. Solve -o*u + t = -14 for u.
5
Let v = -19 + 22. Solve -3*k + 2*k = v for k.
-3
Let y(x) = -9