15 = -u*f for f.
5
Suppose -39*d - 6 = -42*d. Solve 4*j - d*j = 8 for j.
4
Let d(c) = c**3 + 8*c**2 - 10*c - 3. Let t(r) = -1 - 13*r + 0 + 11*r. Let g be t(4). Let w be d(g). Solve -n = w - 3 for n.
-3
Suppose 11 + 4 = -3*q. Let n = q + 12. Solve n - 1 = -2*y for y.
-3
Let a(r) = -r**2 - 4*r + 2. Let i be a(-4). Let p be i + (-2)/(-2) + -3. Solve 2*d + 1 - 11 = p for d.
5
Suppose -5*o = -0*o + 3*v - 10, 2*v = 2*o - 4. Suppose -h = o*h. Let q = -1 - -7. Solve h = 5*u + q + 9 for u.
-3
Let n(d) = -2*d - 8. Let p be n(-6). Suppose -g = -p*g + 15. Let w = -5 - -8. Solve 0 = w*a - g*a - 6 for a.
-3
Suppose -3*q = -q - 4. Solve d - q*d + 4 = 0 for d.
4
Suppose 2*h = -u - 7, 0 = -5*u + 5*h - 0*h + 25. Let v be 0 + 1 - (u + 0). Solve -3 = -3*j - v for j.
1
Let o be (-25)/(-2) - 2/4. Let b = -9 - -5. Let m = b + o. Solve g + g = -m for g.
-4
Suppose 8*x = 7*x - 6. Let v(r) = -r**2 - 7*r - 4. Let s be v(x). Solve 5*q - s*q = 6 for q.
2
Suppose -o + 5 = -0. Suppose 0 = -5*s - 3*g - 20 + 5, 4*s - g - o = 0. Let v be (-2 - s)/2 - -4. Solve v*m + 1 = -2 for m.
-1
Let k(c) = 2*c - 6. Let r be k(4). Let l = 17 - 15. Suppose -2*x = 3*x. Solve l*o - r = -x for o.
1
Suppose 0 = 2*d + d - 6. Suppose -4*i = p - 5*p, d*p = 0. Suppose -15 = 3*b, -15 = x - i*x + 3*b. Solve x*k = -4*k for k.
0
Suppose -x + 4*x = 6. Suppose 0*s + x*s - 17 = 3*i, -5*i - 7 = 2*s. Solve s*f = 2 - 14 for f.
-3
Let a = 43 - -20. Suppose -2*g - n + 18 = 0, 5*n + 12 + a = 5*g. Solve g + 1 = 3*p for p.
4
Suppose -3*a + 4*i = -28, -4*a + 20 + 8 = 4*i. Let u be (1 - -1 - 1) + 6. Solve 0 = -u*j + 3*j - a for j.
-2
Suppose -20 = 3*b - 5*i, -3*b - 7 - 5 = -3*i. Solve b*g = 2*g + 8 for g.
-4
Let h(m) = m**3 + 7*m**2 - 7*m + 10. Let x(z) = -7*z**2 + 2*z + 1. Suppose -4*f = 3 + 1. Let d be x(f). Let a be h(d). Solve a*n + n + 3 = 0 for n.
-1
Let l = 8 + -15. Let a = -3 - l. Solve 0*q = -4*q - a for q.
-1
Let n(x) = x**3 - 2*x**2 + 2*x + 5. Let v be n(0). Solve -v*s + 12 = -3 for s.
3
Let g(f) = -7 - 7*f + f**2 + 5 + 6 + 2*f. Let j be g(4). Solve -3*i + 2*i + 3 = j for i.
3
Let j be ((-21)/6 + 3)*-2. Let c = 3 - j. Solve 0 = -3*m + c + 13 for m.
5
Let n(a) = a**3 - 10*a**2 + 9*a - 7. Let c be n(8). Let k be c/(-28)*16/3. Solve 6*b - 2*b - k = 0 for b.
3
Let r be 16/6 - (-1)/3. Solve 0*f = r*f - 3 for f.
1
Let q be 1*2 - (-1 - -1). Let i be q/5 - 39/(-15). Solve -k = -i*k + 10 for k.
5
Let n = 4 + -11. Let s(w) = -2*w - 10. Let y be s(n). Solve 6 = y*i - i for i.
2
Let p(a) = -a**2 - 3*a + 5. Let m be p(-4). Solve 17 = -4*g + m for g.
-4
Suppose 0 = 4*c - 16, -3*c - 20 = -4*h - 16. Solve -h = -4*s + 16 for s.
5
Let u = -39 - -49. Solve -g - u = g for g.
-5
Let f be (4 + 0)*(-16)/(-32). Solve 3*u = -1 - f for u.
-1
Suppose 0 = -3*m - m + m. Solve m = -4*d + 2 + 6 for d.
2
Suppose -7 - 3 = -2*a - 4*t, -4*a + 3*t = -9. Let z = -11 + 11. Let x be 8 + z + 1 + -1. Solve -x = -5*n - a for n.
1
Let i = 15 - 14. Suppose -i - 3 = -2*j. Solve -2*w = -2 - j for w.
2
Let i(z) = -3 + z**3 + 0*z**3 + 5*z**2 + z - 2*z. Let v be i(-5). Suppose 8 = 2*r + v*r. Solve 0 = b + r*b for b.
0
Let a be 0/((-5 + 1)/(-2)). Suppose 3*b + b = a. Solve 20 = -4*i - b for i.
-5
Let q be (-4)/8*6*2. Let n be q/((-6)/4 - 0). Suppose 0 = -n*f + 42 + 38. Solve f = 5*y - 0*y for y.
4
Let j(o) = o**2 - 4*o + 2. Let k = -7 + 11. Let n be j(k). Solve 14 = -4*q + n for q.
-3
Let s(j) = -j**2 + 7*j + 10. Let n(l) be the second derivative of -l**3/6 - l**2 - l. Let d be n(-10). Let r be s(d). Solve -v - r*v = -3 for v.
1
Let r(x) = x**2 + 7*x + 3. Let y be r(-8). Let h(j) = -j**2 - 9*j - 7. Let o be h(-7). Let i = y - o. Solve -u + 2*u - i = 0 for u.
4
Let t = 22 + -22. Solve t*m = 3*m for m.
0
Suppose -z - 4*z = 0. Suppose 4*x = v + 10, 0*x = -5*v + 2*x + 22. Let w be v/15 + 2/(-5). Solve w = -z*y + y + 5 for y.
-5
Let t = -18 - -23. Solve -17 + t = 4*x for x.
-3
Let x = 17 + -15. Suppose x*c + 8 - 20 = 0. Solve -3*b = -b - c for b.
3
Suppose 2*c + 6 = 2*f, -4*c + 0*c + 3*f - 16 = 0. Let t = -7 - c. Solve -g + 0 + 4 = t for g.
4
Let d be 14/(-10) - (-4)/10. Let q = d + 3. Let t = -31 + 31. Solve 2*c + q = -t for c.
-1
Let k = -2 + 6. Solve y = k*y - 6 for y.
2
Suppose 0 = -3*i + k + 5, 6 = 5*k - 14. Let m = 15 - 15. Solve -i*o + 2*o + 4 = m for o.
4
Let d be -1 + 98/6 - 22/(-33). Solve -m = 3*m - d for m.
4
Suppose -8 = -2*r - 0. Let h(c) = 6*c**2 + c + 1. Let l be h(-1). Suppose l*f - 3 = 5*f. Solve -f*q + 2 = -r for q.
2
Let b = -19 - -21. Solve b*x = -3*x for x.
0
Let v = -23 + 34. Let x = -9 + v. Solve 10 = -4*s + x for s.
-2
Let z be 8/6*(-6)/(-4). Solve 0 = 4*x - 6*x - z for x.
-1
Let f(c) be the third derivative of -7/6*c**3 + 1/12*c**4 + 0 + 1/120*c**6 - 1/10*c**5 - 3*c**2 + 0*c. Let v be f(6). Solve v*q - 2 = 3 for q.
1
Suppose 11 = -3*q + 5*p, -2*q - 4*p - 3 = -25. Solve 0 = 3*m + 12 + q for m.
-5
Let d(f) be the second derivative of 2*f - 3/2*f**2 + 1/6*f**3 + 0. Let o be d(3). Solve o = -3*j + 4*j - 1 for j.
1
Suppose -y + 9 = v, -2*v + 0*y = y - 14. Solve 2*r = v*r for r.
0
Let o be (-38)/(-6) - (-2)/(-6). Suppose 2*i - 4 = 0, -r - 2 = -o*i + i. Solve 0*f + 4*f - r = 0 for f.
2
Let n = 51 + -46. Solve -n*i = -0*i for i.
0
Suppose 0*i + 4*n = 3*i + 11, 0 = -3*i - 5*n + 34. Solve 0 + 15 = i*x for x.
5
Let g = 57 + -54. Let z(p) = -10*p**3 - 2*p - 1. Let q be z(-1). Solve -q = -4*m - g for m.
2
Let c be 250/14 - 3/(-21). Solve -14*p + c*p = -8 for p.
-2
Suppose 10*f - 30 = -5*l + 5*f, -5*f - 12 = -2*l. Solve -5*k - l = 19 for k.
-5
Suppose 3 - 15 = -2*r. Let j be 2/r*(-45)/5. Let x be (7 - j) + 3 + 0. Solve 4*d + x = 1 for d.
-3
Let r(x) = x - 3. Let b be r(5). Solve b*j + 1 + 1 = 0 for j.
-1
Suppose -2*s - 22 = -5*r, s + 2*s - 30 = -3*r. Suppose -v + r*v = 0. Solve v = 5*d + 1 - 16 for d.
3
Suppose -w + 5*s = -29, 5 = 3*w + 2*w + 3*s. Solve -6 = -w*y + 6 for y.
3
Suppose -m = -117 - 15. Let o be m/21 + 6/(-21). Solve 0 = 3*q - q - o for q.
3
Let f = -20 + 23. Let x = -1 + f. Solve -t = x*t for t.
0
Let q(f) = f - 2. Let i be q(3). Let m be (10 - i)*(0 - -1). Suppose -4*o = 3*t - m, o - 2 = -2*t + 4. Solve 0 = -0*z + t*z + 12 for z.
-4
Let u = 72 + -64. Solve -3 = 5*z - u for z.
1
Let r = -12 + 16. Suppose 2*b = -4*d + 14, -3*b + 9*d - r*d = 1. Solve 0 = b*k - 0 - 3 for k.
1
Let i(k) = k**3 - 4*k**2 - 3*k - 5. Let w(s) = -3*s - 1. Let m be w(-2). Let y be i(m). Let f be (-1 - 1) + y*1. Solve -6*t + f*t = 9 for t.
-3
Let z(j) = -j**3 - 7*j**2 + 2*j + 10. Let f be z(-7). Let i be -1 + (24/f)/(-2). Solve -y + 0*y - i = 0 for y.
-2
Let b(q) = 6*q - 3*q + 8*q - 5 + 2*q. Let w be b(5). Suppose -4*a + w = -2*r, 2*a = a - r + 9. Solve 4*i - a - 7 = 0 for i.
5
Let d(g) = g**2 - 6*g + 4. Let b be d(6). Let i be 4/(10 + -2)*b. Solve -2*j - 20 = i*j for j.
-5
Let p = 22 + -37. Let a(v) = -v**2 - 14*v + 20. Let w be a(p). Solve w = 3*x + 17 for x.
-4
Let w be (-10)/(-4) + (-3)/6. Let o(t) = -1 + 2*t + t - w*t. Let h be o(2). Solve 21 = 4*j + h for j.
5
Let y be 16/2 - (-2 - -4). Solve -j - 2*j = y for j.
-2
Let s(n) = -139*n + 137*n - 20 + 6. Let i be s(-7). Solve 0 = 3*z - 9 - i for z.
3
Suppose -2*t = -2*h - 12, t - 7 = -3*h + 5*h. Solve -3*u + t = 2*u for u.
1
Suppose 40 = 2*i - 0. Suppose -2*r - 2*r + i = 0. Let a(f) = -2*f. Let b be a(-2). Solve b*m = r*m - 4 for m.
4
Suppose 4*z - 5*r + 3 = 21, 18 = 5*z - 4*r. Let m(d) = 2*d + 3. Let j be m(6). Suppose 5*f + 0*i - i - j = 0, -3*f + 2*i = -16. Solve -z*k + 16 = f*k for k.
4
Suppose -3*a + 35 = 2*a - 4*f, 0 = -3*a - f + 4. Solve 11 - a = 2*u for u.
4
Let l(h) be the second derivative of h**4/6 - h**3/6 + h**2 - 2*h. Let m be l(2). Suppose x + 3*x = m. Solve 2*w - 4 = -x*w for w.
1
Let j be 1/(4*(-2)/(-24)). Solve -5*p + 22 + j = 0 for p.
5
Suppose -l - 18 = -7*l. Suppose -12 = -0*r - 4*r. Suppose -2*j = r*z - 2, 3 = j + z + 2. Solve j + l = -o for o.
-4
Let o(g) = -g**3 - 3*g**2 - g - 1. Let m be o(-3). Suppose -p = m*p - 6. Suppose -9*v = -7*v - p. Solve -z - v = -3 for z.
2
Suppose -4*d + 26 = 3*y, 5*y - 4*d + 10 = -0*d. Suppose -y*u + 11 = -21. Solve u = 2*r + 2*r for r.
4
Let g be 8/6*(-3 + -21). Let k be 2/(-8) - 8/g. Solve -y + 6 - 2 = k for y.
4
Let m(q) = q + 3. Let w be m(5). Let p(u) = 2*u - 1. Let f be p(w). Solve 2*j = -j + f for j.
5
Let r = -21 - -23. Solve 0 = -r*g + 8 + 2 f