 6 - o = n for n.
4
Let l(f) = 4*f**2 + 4*f + 6. Let z be l(-3). Let p = z + -5. Solve -p = -3*m - 10 for m.
5
Suppose 2*i + i = -3. Let l(k) = -k**2 + 5*k - 3. Let s be l(2). Let y be i + s + (2 - 0). Solve -y*m + 4 = -2*m for m.
2
Let u be 62/8 + (-1)/(-4). Let y = 12 - u. Solve 9*x + 20 = y*x for x.
-4
Let r be (-12 + 5)*10/(-35). Solve -v - r*v + 12 = 0 for v.
4
Let b be 2 - 5 - (1 + -2). Let k = 6 + b. Solve k*r = r for r.
0
Suppose 0 = -5*n, -51 = -2*l - 4*n - 11. Suppose 0 = 18*k - l*k + 10. Solve 2*u + k = u for u.
-5
Suppose 0*p = 2*p - 8. Suppose -5*u + 3*w + 20 = p, 4*w = u - 10. Solve -2*b = u*b for b.
0
Let s(r) = -r**2 + 4. Let b be s(0). Suppose -b*z - 4*x + 8 = 0, 8 = 3*z + x + 2. Solve z*i = -2*i - 4 for i.
-1
Let v = 14 - 9. Suppose 5*k = 4*g + 9, -2*k - 8 = -v*g + 2. Suppose -2*x = -g*x. Solve w = -x*w - 3 for w.
-3
Suppose -4*g - 5*q - 16 = 0, -q - 3*q = 2*g + 14. Solve 16 = 3*x + g for x.
5
Let y(q) = q**2 - 6*q - 23. Let h be y(9). Solve -h*a = -a - 9 for a.
3
Suppose -4*r - 12 = 5*i, 3*r + 8 = 5*i - 1. Solve 2*c - 5*c + 6 = i for c.
2
Suppose -3*u - 12 = 0, 9 = -m - u - 2*u. Suppose -8 = -m*n + 4*v, -n - 2*v + 20 - 4 = 0. Suppose 3*k - n = -k. Solve -k*a = a - 6 for a.
2
Let x be (-1)/(1/3) - -2. Suppose c = 5*d - 61, 0 = -2*d + 3*d - 4*c - 16. Let f be ((-1)/x)/(2/d). Solve -t + f = 2 for t.
4
Let f(k) = -k**3 + 7*k**2 - 7*k + 5. Let d be f(6). Let l be (3 + d)*1 - 0. Suppose -4*s = 5*y - 24, l*y + 0*s - 7 = s. Solve -13 = -3*g - y for g.
3
Suppose -2*u + 0*u + 2*d = -12, u = -d. Solve 4*v + 1 = -u for v.
-1
Suppose 0*z = -z + 6. Suppose -v - 5 = -z*v - f, -3*f - 23 = -4*v. Let h be (0 - v) + 5/1. Solve j + 2*j = h for j.
1
Suppose a + 9 = 4*a. Solve 2*w - a = w for w.
3
Let d = 12 - 2. Let k = -5 + d. Solve -q - k = 4*q for q.
-1
Let v(t) = -t**3 - 6*t**2 + 5*t - 10. Let d = -8 + 18. Suppose -4*p - 38 + d = 0. Let n be v(p). Solve -2*h + n*h = 0 for h.
0
Let q be 1/(-4) - (-27)/12. Let g be (q - 0/1)/(-1). Let d be 2*g*(-1)/4. Solve 3 + d = s for s.
4
Let u = -33 - -47. Suppose 2 - u = -2*t. Solve t = 4*a - 2*a for a.
3
Suppose 134 = 5*h + 3*w, h = -2*h - 5*w + 90. Suppose 2*i - 7 = -3. Solve i*a + h = -3*a for a.
-5
Let y(g) = g**3 - g**2 + 3. Let i be y(0). Let k(c) = -c + 4. Let u be k(4). Suppose -i*m + 20 - 8 = u. Solve m*s - s - 6 = 0 for s.
2
Let h(i) = i**2 - 5. Let f be h(0). Let s(v) be the third derivative of -v**5/60 - v**4/4 + 7*v**3/6 - 3*v**2. Let c be s(f). Solve 2*l + c = 5*l for l.
4
Suppose -4*k = -5*t - 101, 5*k + 4*t = 4*k + 20. Let p = -11 + k. Solve 3 - p = -2*d for d.
5
Let p = 3 - 3. Suppose 5*b = j - 2, p = b + 2*b + j - 2. Let g(d) = -d**2 + d + 11. Let k be g(b). Solve -5*v - k + 1 = 0 for v.
-2
Let u(p) = p**3 - 3*p**2. Let i be (-2)/((-11)/3 - -3). Let k be u(i). Solve -5*r + 0*r - 20 = k for r.
-4
Suppose 4*l + 2 + 6 = 0. Let w = l + 13. Solve -5*g + w - 26 = 0 for g.
-3
Suppose -5*t = 5*v - 20, 3*t - 4*v + 3 = -6. Suppose -4*l = l. Solve l = -2*u + 3 + t for u.
2
Let u(c) = c**3 + c**2 + c + 3. Let t = -1 - -1. Let n be u(t). Solve 5*k + 8 = n*k for k.
-4
Suppose -10 = -5*i, -5*c + 2*i = i - 3. Let x = 1 - c. Solve 2*m + 7 + 3 = x for m.
-5
Let a be 1*1*(-2)/(-2). Suppose 0 = 2*c - 10, 4*x = 2*x - 2*c + 42. Let f = -14 + x. Solve f*h - 3 = -a for h.
1
Let r = 1 + -1. Suppose -g - 3*g = r. Solve g = -0*p - p for p.
0
Suppose 4*q = 7*q - 9. Suppose -q*k = -0*k - 12. Suppose -k*o + o = -3*h - 15, -3*o - 6 = 4*h. Solve 0 = -0*u - o*u for u.
0
Let f(n) = -6*n**3 + n**3 + 11*n - 12 + 6*n**3 - 10*n**2. Let x be f(9). Solve -x*l + l + 25 = 0 for l.
5
Suppose 4*m + 3*p - 16 = 0, -m + 6*m - 20 = p. Solve 0 = -m*k + 3*k + 3 for k.
3
Suppose -3*i = -2*c - 7, -i - c + 10 = 2*i. Solve -2 - 4 = i*x for x.
-2
Let s(k) = 5*k**2 + 7*k - 3. Let d(h) = -h**2 - h + 1. Let l(r) = 3*d(r) + s(r). Let m be l(-3). Let c be (8/14)/((-12)/(-42)). Solve -m*y = -c*y for y.
0
Suppose 3*s + 5*l = -20, 5*l = 5*s - 14 - 6. Solve s = 3*w + 2*w for w.
0
Let z be (-1)/(-1) + -2 + 3. Suppose -3*u = -z*u - 39. Suppose y + 19 = 2*o, u = o + 5*y + 2. Solve -h = -4*h + o for h.
4
Let i(v) = v - 1. Let h be i(3). Let n be (6 - 2) + h/2. Solve -n*j = 1 - 6 for j.
1
Let k = -4 - -3. Let b be (k/(-2))/((-5)/(-20)). Suppose b*y = -0 + 4. Solve d + d = -y for d.
-1
Let h = 0 + 3. Solve h*o - 2*o + 5 = 0 for o.
-5
Let i(h) be the second derivative of h**4/12 + 2*h**3 + 11*h**2/2 - 5*h. Let g be i(-11). Solve g*d + 5*d = 0 for d.
0
Let k(r) be the second derivative of 1/6*r**3 + 5*r**2 - 4*r + 0. Let a be k(-8). Solve 0 = -h + a*h for h.
0
Let b(p) = -3*p + 7. Let t(h) = 2*h - 3. Let c(q) = -3*b(q) - 5*t(q). Let s be c(-8). Solve 0*r = -s*r - 10 for r.
-5
Suppose -2*b + b = -4*h - 8, -4 = 4*h. Solve b = 4*v - 8 for v.
3
Let n = 14 - 10. Let q = 6 - n. Suppose -q*m - 2 + 8 = 0. Solve 10 = -y + m*y for y.
5
Let p = 12 + -8. Let t be (144/96)/(3/4). Solve p*a - t = 5*a for a.
-2
Let j(t) be the first derivative of t**3/3 - t**2/2 + 5*t - 2. Let l be j(0). Suppose 5*d - 56 = l*z + 29, 4*d - 53 = z. Solve -2*r - r = -d for r.
4
Suppose 3*y - 8 - 16 = 0. Let r be (-1)/4 + 58/y. Suppose r = -4*v + 31. Solve 5*s + v + 4 = 0 for s.
-2
Let b be -1 + (-4)/((-4)/11). Solve -7*t + b = -2*t for t.
2
Let u(n) = -2*n - 9. Let c be u(-6). Let j(r) be the second derivative of r**3/6 - r**2/2 - 7*r. Let i be j(7). Solve i*b - c*b = 9 for b.
3
Suppose 0 = 4*m + c - 11, -21 = -3*m - c - 4*c. Suppose -4 = m*f - 4*f. Solve -r = r - f for r.
1
Let u be -4*-50*1/8. Solve 3*p + 10 = u for p.
5
Let z(n) = n**2 + 7*n + 5. Let t be z(-6). Let r(l) = -6*l**3 - 2*l**2 + 1. Let a be r(t). Suppose -10 = -a*d - 0. Solve d*q = q for q.
0
Suppose -5*h = -3*h - 8. Suppose -15 = -2*g - 3*g. Solve 3 = -g*x + h*x for x.
3
Let w = -5 + 11. Let p(y) be the third derivative of -y**5/60 + 7*y**4/24 - y**3 + 5*y**2. Let x be p(w). Solve x*c = c + 3 for c.
-3
Let i = -1 - -3. Suppose 0 = q - i*q + 5. Suppose -p + 10 = -q*g + 23, g - 3*p = 11. Solve 2*l = -g*l for l.
0
Let d(q) = 2*q - 5. Let z be d(5). Solve z*x + 6 - 11 = 0 for x.
1
Suppose 5*m = 5, j - 4*m + 3*m + 1 = 0. Solve j*t - 3*t = -15 for t.
5
Suppose 0*o + 6 = o + 3*w, -o - 2*w = -5. Suppose -o*n - 2*n = 0. Suppose 9 + 3 = 4*b. Solve b*q = -n*q - 15 for q.
-5
Suppose 0 = -s - s + 8. Solve 0 = s*g + 5 + 3 for g.
-2
Let p be (-12)/(-30) + (0 - (-36)/10). Solve -3*z = -10 + p for z.
2
Let g = -8 + 10. Let i be -1 - (g - 8)/2. Solve i = n - 0 for n.
2
Let b(l) = l**2 - 14*l + 24. Let q be b(12). Solve -2*c + c = q for c.
0
Suppose -z - 3*z - 11 = 5*v, -6 = z - 2*v. Let n be (z - (1 - 4))*-6. Solve 0 = -u - u - n for u.
-3
Let l(n) = -2*n + 7. Let p(s) = -3*s + 11. Let x(a) = 8*l(a) - 5*p(a). Let z be x(1). Solve z = -0*k + 4*k + 12 for k.
-3
Let z be (-1 - 1)*2/(-4). Let x be 5/15 + z/(-3). Suppose x*f - 2*o = f - 3, 4*f - 5*o - 12 = 0. Solve 0 = f*b - 0*b + 12 for b.
-4
Let i = -45 + 47. Suppose b + b - 16 = 0. Let z be (b/i)/2 - -1. Solve -1 - z = -2*s for s.
2
Let r = 43 + -41. Solve r*i - 25 = 7*i for i.
-5
Let b = 39 - 27. Solve 3*g = -0*g + b for g.
4
Suppose -122*g + 119*g = 0. Solve g = 2*k - 3*k + 2 for k.
2
Let v be 2/(-4)*(-6 + 6). Solve 3*f + v*f = 15 for f.
5
Let b = -76 - -78. Solve -b*p = p + 6 for p.
-2
Let y be ((-4)/5)/(3/(-30)). Solve -4*a = -y*a for a.
0
Suppose -n + 10 = 3*q, -6*n + 10 = 5*q - n. Suppose -w - q*w + 10 = 0. Suppose -x = -j - 4, 0*x + 6 = -w*x - 5*j. Solve b = x*b + 5 for b.
-5
Let q(w) = w**3 + 4*w**2 - 8*w - 3. Let p be q(-5). Suppose -13*z = -p*z - 3. Solve 3 + z = -2*r for r.
-3
Let v be 1*(-5)/((-10)/6). Solve v*t + 16 = 7*t for t.
4
Let l(u) = -u**3 - 6*u**2 + 6*u - 4. Let s be l(-7). Suppose -s*g - x - 11 = -8*g, 3*x = -2*g + 18. Solve 3*a = -g - 9 for a.
-4
Let k(l) = -3*l - 2. Let p be k(6). Let m be ((-12)/(-10))/((-2)/p). Solve -m + 2 = 5*r for r.
-2
Let a(w) = w**2 + 5*w + 12. Let m be a(-8). Suppose 2*f + 48 = 4*b, 0 = -4*b + f - 2*f + m. Let q be 5*(-3)/((-45)/3). Solve 3*x + q - b = 0 for x.
3
Suppose -q - 7 + 46 = 0. Let b be (-63)/(-13) - (-6)/q. Solve -b*w = -10 - 0 for w.
2
Let s be (12/9)/(2/3). Solve 3*h = -s*h for h.
0
Let c be 2 + -3 + (1 - 0). Solve c = -0*o - 3*o - 9 for o.
-3
Let z(q) = 2*q - 14. Let c be z(7). Solve c*y - 9 = -3*y for y.
3
Suppose -5*j = 5*y