. Let q be c(-2). Let x be 438/42 + 3/(-7). Solve -3*a + x = q*a for a.
2
Let j = -13 + -2. Let k be ((-4)/6)/((-10)/j). Let i be k - 1*(0 - 1). Solve i = -y + 2 - 5 for y.
-3
Let x(f) = f**2 + 7*f - 1. Let r(u) = u**2. Let k(i) = 2*r(i) - x(i). Let d be k(7). Solve 0 = 5*c + d + 4 for c.
-1
Let c(d) = -d - 1. Let g be c(6). Let x = g + 7. Solve 0 = -4*b - x*b for b.
0
Suppose -2*u = -4*u. Suppose -4*m + 40 + 32 = u. Solve -5*d - 3 + m = 0 for d.
3
Let k(t) = -t**3 - t**2 + t - 16. Let j be k(0). Let y = 19 + j. Solve 2*f + 3 = -y for f.
-3
Let m = -2 + 1. Let y = m + 1. Solve y = -2*v - v - 12 for v.
-4
Suppose -5*m + 2*m = -2*j - 10, -2 = -2*j. Let f be 16/40 + m/(-10). Solve 2*p + 2*p + 4 = f for p.
-1
Suppose 17 = 5*l - r, 4*l - l + 3*r = 3. Solve 0 = -2*j - l*j - 5 for j.
-1
Suppose n - 4*n = 0. Solve j - 2*j = n for j.
0
Suppose 5*n = 21 - 21. Solve n = -6*a + a for a.
0
Suppose y = -0*y - 4. Let m = y + 3. Let i = 3 + m. Solve 0 = i*n + 3*n + 15 for n.
-3
Let n(u) = -u**2 - 6*u - 6. Let v be n(-6). Let q be 50/(-15)*v/4. Solve 6*i - q = i for i.
1
Let s(g) = -g**2 + 7*g + 1. Let o be s(6). Let z(t) = -t**2 - 6*t - 6. Let c be z(-4). Let l be c/6 + (-28)/(-6). Solve 0 = l*j + 13 + o for j.
-4
Let c = 36 - 33. Solve -z + 2 = -c for z.
5
Suppose 3 = -l + 4*b + 5, -2*l - 16 = 2*b. Let d be ((-12)/(-9))/((-4)/l). Solve -d*y - 2*y = 0 for y.
0
Suppose -6*p + 20 = -p. Solve -p*y + 8 + 0 = 0 for y.
2
Suppose -3*c - 2 = 3*h + 19, -4*h = 8. Let q = c - -5. Suppose q = 3*i + 14 - 50. Solve 0*g - i = -4*g for g.
3
Let f = 10 - 2. Let n(q) be the first derivative of q**4/4 - 3*q**3 + 4*q**2 + 3*q - 1. Let k be n(f). Solve y - 8 = -k*y for y.
2
Suppose 2*u + 2*l - 5*l - 33 = 0, u + 16 = -5*l. Let q = 12 - u. Solve -q*p - 3 = 9 for p.
-4
Let n(s) = s**2 + 12*s + 14. Let m be n(-11). Let i = -1 + m. Solve -i*a = 1 + 3 for a.
-2
Suppose 0 = -2*u + 10 + 40. Suppose 3*y - u = 50. Solve 0*k + y = -5*k for k.
-5
Let m be (4/8)/1*0. Suppose -3*t - 3*h + 6 = 0, -t + 5*h + 9 = -11. Suppose -2*d = -t*v, -4*d - 1 + 13 = -4*v. Solve v*l - l = m for l.
0
Let w = 20 - 14. Solve -2*h = 8 - w for h.
-1
Let i(o) = -6*o + 36. Let k(v) = -v + 7. Let l(s) = 4*i(s) - 22*k(s). Let g be l(-7). Suppose -60 = -g*y - 20. Solve -y + 26 = -4*j for j.
-4
Let r(o) = o**2 + 2*o - 5. Let j be r(2). Solve -j*k + 5*k - 10 = 0 for k.
5
Let w(d) = -d**2 + 16*d - 15. Let v be w(15). Suppose 7*l - 4*l + 9 = 3*z, -4*z + 12 = v. Solve -3*p = -l*p - 12 for p.
4
Suppose -2*d - 1 = 3*n - 3, 3*n - 14 = -5*d. Solve -d = 5*r + 21 for r.
-5
Let j be (6 - (-1 - -12))*(0 - 1). Solve 2 = j*a - 23 for a.
5
Suppose -2*h - 5*b + 26 = 0, -4*h - 6 = -2*h - 3*b. Suppose 0 = 5*d - 9 - 1. Suppose -h*j = d*j. Solve 5*r - 8 - 12 = j for r.
4
Let p be (6/(-4))/(9/(-24)). Suppose -20 - 4 = -p*t. Solve 0 = 2*f - t - 2 for f.
4
Suppose -6*k = -k. Suppose z = 3 - k. Let n = z + 2. Solve 3*t + n + 1 = 0 for t.
-2
Suppose 0 = 3*n, -3*g - 1 = -5*n - 10. Let u(l) = -l**3 + l**2 + 7*l - 3. Let x be u(3). Solve x + 15 = g*m for m.
5
Let n = -16 + 20. Suppose 8*h - n*h - 8 = 0. Solve -4 = -h*z + z for z.
4
Let c(z) be the third derivative of 1/60*z**5 + 0*z - 3*z**2 + 0*z**3 + 0 - 1/24*z**4 + 1/40*z**6. Let a be c(1). Solve 6 = -p + a*p for p.
3
Suppose -4 - 26 = 5*a. Let f = -1 - a. Solve 4*l = -f + 1 for l.
-1
Suppose 0 = -f - o + 7, 0*o - o - 1 = -3*f. Suppose -f*s = -s - 10. Solve 2*w + s = 7*w for w.
2
Let o be 8*(15/(-12) - -2). Suppose -4*n + 2*r = -20, n = -3*n - 5*r + o. Solve -2*j + 0*j = -n for j.
2
Let y = 16 + -2. Let o be (-4)/(-6) - y/(-6). Solve 6*s - 3*s - o = 0 for s.
1
Let p = 0 - -5. Suppose 34 = -p*d + 4*l, d = -d + 2*l - 12. Let n be (-3 + 0)/(15/d). Solve -n + 0 = v for v.
-2
Let u(q) = q**2 - 5*q - 8. Suppose 0 = -2*k + 16 - 2. Let i be u(k). Solve 25 = -f + i*f for f.
5
Let d = 2 - -2. Let q(c) = -5*c - 6. Let y be q(-2). Let p = y - d. Solve 4*x - 2*x - 10 = p for x.
5
Let q(g) = -g**2 - 6*g - 1. Let z be q(-5). Solve 0 = -3*l + 2*l - z for l.
-4
Let u(x) = -x**2 + x + 92. Let g be u(0). Suppose -4*i + g = 20. Let a = i + -13. Solve a*r + 6 = 3*r for r.
-3
Let f(h) = -h + 10. Suppose -82 = -5*g + 28. Let y be 2/(-11) - (-158)/g. Let n be f(y). Solve 6*z = n*z - 12 for z.
-4
Let l = 17 + -12. Solve -2*u + u = -l for u.
5
Suppose -5*r + 11 + 34 = 0. Let t be 12/r*(-12)/(-8). Solve -t*a = a for a.
0
Suppose 0 = n + 11*n. Solve -f + 3*f - 4 = n for f.
2
Suppose 8*u = 3*u - 5*c + 25, u + 2*c = 1. Suppose -5*p - 41 = 4*q + u, -3*p + 4*q + 2 = 0. Let w(x) = x**2 + 5*x - 5. Let b be w(p). Solve -3*n - b = 5 for n.
-2
Let o = -1 + 3. Suppose -4*t + 2*v = -26, o*v = 2*t + t - 21. Solve -t*b + 2*b = 15 for b.
-5
Suppose 0*f + f = -3*p + 13, 0 = f + p - 7. Solve -3*r = -2 - f for r.
2
Suppose -2*o = o + 4*b - 2, 0 = -2*o - 2*b + 4. Suppose -2*x - 4*g + 9*g - 10 = 0, 5*x - o = -3*g. Solve x = 4*v + v - 20 for v.
4
Let k be (2 - -1)/(6/10). Suppose -3*s - 14 = -3*n - 2, 2*n - k = -s. Suppose 4*o - 8 = -b + 2*b, 5*o = n*b + 10. Solve 16 = 4*u - b*u for u.
4
Suppose -2*f = -3*m + 13, -14 = -m + 2*m + 3*f. Solve -l = -0*l - m for l.
1
Let b be (-15)/(-3) + (-3 - 0). Solve -3*i - b*i - 25 = 0 for i.
-5
Let a(b) = -3*b**3 + b - 1. Let v be a(1). Let c = v - -13. Solve c = d + d for d.
5
Let h be 0*(-2 - -3)*-1. Suppose h = -2*x + 5*b + 9, 0 = -x + 6*x + 5*b - 5. Solve x*z = -2*z - 4 for z.
-1
Let q be (2 - 2) + (0 - -2). Let y(l) = -1 + 3*l**q - l - 2 + 1. Let a be y(3). Solve -4*m = -2 + a for m.
-5
Suppose 3*u + 3 = 4*z, -4*z - 4*u - 4 = -0*u. Solve 5*c = -z*c + 20 for c.
4
Let l be -4 - -2 - 4/(-2). Solve -8 = -4*o - l for o.
2
Let f = 2 + -2. Suppose -4*o - 5*z = -23, 2*o + 3 = -o + 3*z. Suppose 6*c - 40 = o*c. Solve f = -w + 6*w + c for w.
-2
Let r(s) = -9*s - 50. Let l be r(-6). Solve p = l*p - 15 for p.
5
Let p(f) be the third derivative of -f**5/60 - f**4/8 - 3*f**2. Let m be p(-3). Solve -3*n = -m - 3 for n.
1
Let y = 18 - 8. Suppose -3*h - 12 = -h. Let b be 2/h + y/3. Solve 0 = b*g - 8*g - 25 for g.
-5
Suppose 4*y - 3 = 5. Suppose 6 = h + y*h. Solve 5 + 5 = -h*t for t.
-5
Let p be 6/((3 + -2)*2). Let d be (-4)/p*(-5 + 2). Let r = 25 - 23. Solve 0 = r*i - d*i + 4 for i.
2
Let j(l) = l + 3. Let s be j(-3). Let k = 5 - 2. Suppose k*o - 12 = -s*o. Solve 3*y - 7*y = o for y.
-1
Let t(s) = 3*s**2 - 9*s + 9. Let o be t(1). Solve q = 2 + o for q.
5
Let q = 1 - -1. Suppose 0 = -6*t + q*t. Suppose -8 = -t*u - 2*u. Solve u*k = 6 + 14 for k.
5
Let r(l) = 3*l**2 - l - 1. Let q be r(-1). Solve 2*p + q = 9 for p.
3
Let v = -6 + 3. Let c be -1 - (v - (-3 + 2)). Solve -9 = -4*u - c for u.
2
Let n(g) = -g**3 + 10*g**2 - 8*g - 9. Let d be n(9). Suppose -v = -d*v - 24. Suppose -2*l + v = 2*l. Solve s - l = -s for s.
3
Let u = -5 - -15. Solve 0 = -2*i - 0*i - u for i.
-5
Suppose 0 = -g + 4 - 2. Suppose 5*d - 41 - 19 = 0. Let s be (d/14)/((-3)/(-21)). Solve -g*o = -16 + s for o.
5
Suppose 2*m - 3 - 7 = 0. Let z be 12 - (0 + (4 - 2)). Suppose 0 = -2*b + 4*l + 16, 0*b + 3*l + 12 = 3*b. Solve m*y - z = -b*y for y.
2
Let c be 0/(-1)*(-5)/(-10). Let a(d) = -d**2 - 1. Let k be a(c). Let p be ((-2 - 0)*2)/k. Solve -1 = p*r + 15 for r.
-4
Let m be ((-6)/(-24))/((-2)/(-40)). Solve -3 = -m*x - 8 for x.
-1
Let b(k) = k**3 - k**2 + k + 1. Let j be b(2). Let n(m) = m**3 - 6*m**2 - 8*m + 8. Let h be n(j). Let i = h - 1. Solve -5*p + i*p + 5 = 0 for p.
1
Suppose -2*k + 10 = 5*d, 3*d + 4*k + 4 = -4. Solve d*z = z for z.
0
Let i = 3 - -1. Let f(q) = -q**2 - 4*q. Let b be f(-4). Suppose b*p = -2*p + 4. Solve -2 = -i*r + p for r.
1
Let h(l) = -2*l + 7. Let o be h(2). Suppose 0 = -4*r + 8*r. Suppose -5*j + 19 = -61. Solve r = k + o*k + j for k.
-4
Let y(x) = 1. Let h(j) = 2*j + 2. Let a(k) = h(k) - 5*y(k). Let b be a(3). Solve 2 + b = -w for w.
-5
Suppose 2*a = 5*a - 9. Solve -a - 6 = -3*r for r.
3
Suppose 90 = -7*g + 13*g. Solve -3*y + g = -8*y for y.
-3
Let r be (-1 + 3 + -3)*-4. Suppose -r*x + x = 0. Solve -5*c + 3*c = x for c.
0
Let l(w) = w**2 - 12*w + 11. Let p be l(11). Solve p*r + 5*r = -20 for r.
-4
Let r(t) = 10*t**3 + t**2 + 2*t + 1. Let h be r(-1). Let x = 5 - h. Solve 0 = -0*u - 3*u + x for u.
5
Let m be 1*6 + 3 + -4. Suppose -l = -4*r - 6, 5*l + m*r = -0*r + 5. Solve 0 = 7*k - l*k - 20 for k.
4
Suppose -w = 2*w - 9. Let s be (-