q = 6*j - j + 10 for j.
-2
Suppose 0 = -2*v - 0*v - 2*w - 10, -4*w - 12 = 0. Let a be (24/(-16))/(1/v). Solve -2*n = -a*n + 5 for n.
5
Let z be 0 + 0 + (71 - -1). Let b(k) = -k**2 - 8*k + 1. Let r be b(-12). Let y = r + z. Solve -y = w + 4*w for w.
-5
Let v(g) = -g**3 + 9*g**2 - 8*g. Let r be ((-1)/2)/(2/(-32)). Let f be v(r). Solve f*y = 3*y + 15 for y.
-5
Let y(l) = l - 6. Let b be y(6). Solve 2*s - 6 + b = 0 for s.
3
Let i = 11 - 8. Suppose -i*r - 7 = -22. Solve r*g - 2 - 23 = 0 for g.
5
Let o = -26 - -32. Suppose 3*i = i. Solve 2*q - o = -i*q for q.
3
Let d be ((-16)/4 + 4)/1. Suppose -4*w - 4 = 3*f - 27, -3*f + 2*w - 7 = d. Let r be 1/(-2)*2*-3. Solve -4 = r*z - f for z.
-1
Let d be ((-27)/6)/((-6)/8). Suppose -2*k + d*k - 16 = 0. Let l be k/10 + (-115)/(-25). Solve -u = -l*u - 4 for u.
-1
Let c = 14 + 14. Suppose -2*v + s + 5 = -2, -3*v + c = -5*s. Let d be v/(0 + 1/12). Solve d = j + 3*j for j.
3
Let z = -7 + 12. Suppose -z = -5*v + 20. Let f = -6 + 8. Solve f*h + v = 3*h for h.
5
Let k(y) = -3*y + 1. Let n be 3 + -2 + (-4)/2. Let f be k(n). Solve 0 = -6*w + f*w for w.
0
Let w(i) = 3*i**2 - i. Let z be w(1). Let a = -1 - -3. Suppose -z*f + 4*y - 16 = 0, 5*f - a*y = -0*f. Solve f*g = 4*g - 2 for g.
1
Suppose 0 = i - 5*m + 14, i + 0*m + 8 = 3*m. Solve -3 = x + i for x.
-4
Let j be (-3 - 1/(-1)) + 2. Suppose -4 = 5*r - 9. Solve j = -3*l + 4*l - r for l.
1
Let b = 8 + -6. Let i(v) = 2*v - 1. Let z be i(1). Suppose -b*k + 1 = -z. Solve -3 = t - k for t.
-2
Let d = 4 - -6. Solve 6*b = b + d for b.
2
Suppose m = -m. Solve 2*p - 3*p + 4 = m for p.
4
Let k(s) = s**2 - s - 2*s**2 - 2 + 6 - s**3. Let g be k(-3). Suppose -2*l = -5*l + 9. Solve -g = l*t + 2*t for t.
-5
Let p(u) = -11*u - 8. Let z be p(-1). Let y = -6 + 10. Solve 0 = z*w + 13 - y for w.
-3
Let a(u) be the first derivative of u**2/2 + 24*u - 2. Let w be a(-12). Suppose -3*m = 2*l - w, -5*l + 3 = -5*m - 2. Solve -2*h + m = -4 for h.
3
Let d(k) = k**2 + 5*k - 6. Let z be d(-6). Suppose z = u + u - 4. Solve 8 = u*n + 2 for n.
3
Suppose 5*p + 16 = -4*j, 1 = j + 5. Solve p = -o + 4 for o.
4
Suppose 8*c = 3*c + 10. Let r be c/3*(-18)/(-4). Suppose 2*n - 3 = r. Solve 3 + 9 = -n*u for u.
-4
Suppose 2*j = -5*n + 3, -2*j + j = 4*n. Solve x = 2*x - j for x.
4
Suppose -3*f + 0*f = 0. Suppose 5*a = -f*a. Solve i + 1 = -a for i.
-1
Let v = 16 - 25. Let k = -1 - v. Solve 7*z - k*z - 3 = 0 for z.
-3
Suppose 3*x = -3*n + 30, 2*n = 3*x + 2*x - 57. Solve -4*t - 27 + x = 0 for t.
-4
Suppose -5*m = 5*d - 50, -5*d - 4*m - 5 = -55. Let q = 15 - d. Solve -2*u + 3*u = q for u.
5
Let a(j) = -j**3 + 11*j - 3. Let q be a(3). Solve q*h - 8 + 20 = 0 for h.
-4
Let c(v) = -v**2 + 12*v + 1. Let a be c(12). Solve -a - 3 = 4*d for d.
-1
Let u be (32/4)/(-4) + 8. Solve t = u*t + 25 for t.
-5
Suppose 3*c + 0*c - 12 = -4*f, 3*c - 6 = -2*f. Solve -f*b = b - 16 for b.
4
Let j = -47 - -49. Solve -x + 3 - j = 0 for x.
1
Let o be 4/3*6/2. Suppose o*l = -l. Solve 0 = m + 1 - l for m.
-1
Let j be (16/8 - (0 + -2)) + 0. Solve j*i - 6 = i for i.
2
Suppose 7 = 2*x + 3. Solve -x*i + 4*i = 2 for i.
1
Suppose -3*a - 48 = -7*a. Solve 2*r + r - a = 0 for r.
4
Let u = 6 + 1. Suppose 2*m = u*m. Suppose c = -4 - 0, m = -2*b - c + 16. Solve -x + b = x for x.
5
Suppose 5*c + 6 = -9. Let t be 1/3*(0 + c). Let z = 1 + t. Solve -2*u + 4 = -z*u for u.
2
Suppose 5*z + 89 = f, 0*z - 5*z = -5*f + 345. Let j = 9 - 4. Suppose -j*a + a = -f. Solve 0*m - a = -4*m for m.
4
Let c(x) = x**3 - x**2 - x. Let n(g) = g**2 - 9*g + 12. Let w be n(8). Suppose 2*j + w = 4*j. Let r be c(j). Solve -r*s = s + 6 for s.
-2
Suppose -3 = -u - 4*l - 0, 0 = -l. Solve c = -0*c - u for c.
-3
Suppose 16*z + 36 = 20*z. Solve 0*f - z = 3*f for f.
-3
Suppose 4*l + 3*q = -12 + 27, 0 = -l + 3*q. Suppose l*r + r = 0. Solve 7*v - 4*v - 12 = r for v.
4
Let j be -3 + 2 + (-70)/(-14). Suppose 3 - 6 = x, -5*x = -3*u + 15. Solve u = j*v - 11 + 31 for v.
-5
Suppose 5*d + 45 = 4*r - 15, 5*r - 17 = -d. Let i be (-1)/(-4) - 30/d. Solve 0 = -i*x + 6 + 14 for x.
5
Suppose -4*x = 5*f - 15, 0*x = 5*x. Solve f*v = -2*v for v.
0
Suppose 0 = 4*p - p + 2*g - 7, p = -3*g. Let q be 1 + 0 + p/1. Solve 6*k - q = 4*k for k.
2
Suppose 3*y + 7 = 67. Solve -5*a - 5 = -y for a.
3
Let c be (-4)/5*30/(-4). Let t be 3 - (3/(-1) + c). Solve 0 = -2*k - t*k - 6 for k.
-3
Let i(r) = 7*r + 1. Let p be i(-1). Let s(l) = -2*l + 4. Let d(z) = z - 2. Let c(v) = p*s(v) - 13*d(v). Let m be c(0). Solve m*u - 12 = -2*u for u.
3
Suppose 0 = 3*t - 3*k + 6, t - 12 - 16 = -5*k. Suppose 5*n = -3*a + 39 + 45, 0 = -n - t*a + 24. Solve 2*f + 3*f - n = 0 for f.
3
Let b(i) = i**3 + i**2 - 2*i - 2. Let s be b(-1). Let f be 0/((-2 + s)/1). Solve 4*u + 3 + 17 = f for u.
-5
Suppose 4*p = -5*f + 33, 3*p + f + 0*f = 11. Suppose -p*d = -4*d - 4. Let h = 3 + d. Solve -h = 4*l - 5 for l.
1
Let j(x) = x + 16. Let z be j(-14). Solve z*h - 10 = -0 for h.
5
Let h = -7 - -3. Let d(r) = r**2 + 4*r. Let g be d(h). Let s be g*((-2)/4)/(-1). Solve 6 = -2*i - s for i.
-3
Let x(u) = 8*u - 8. Let w be x(1). Solve w = 5*v - 18 - 7 for v.
5
Let i(f) = f**3 - 2*f**2 - f. Let o be i(2). Let x be (-9)/o + (-3)/(-6). Suppose 0*v - 4*g - 16 = x*v, 3*v - 20 = 5*g. Solve -c - c = v for c.
0
Let y(r) = -r**3 - 9*r**2 - 9*r - 6. Let u be y(-8). Suppose 2*w - 62 = -3*p, 4*w = 2*w + u. Suppose p = 3*s + 2*s, 5*a = -2*s + 13. Solve g - 5 = -a for g.
4
Suppose 20 = -4*w, 0*w - 15 = 5*x + 3*w. Suppose 4*u + x = 8. Suppose d - u = 5. Solve d*i = 4*i - 15 for i.
-5
Let k = -9 - -20. Let n(a) = -a + 2. Let w be n(-6). Let c = k - w. Solve -t = -c*t for t.
0
Let c(m) = m**3 + 8*m**2 + 8*m + 9. Let d be c(-7). Let x = 0 + d. Suppose 2*u = -x*u + 60. Solve -5*t - u = 10 for t.
-5
Suppose k = -2*k + 15, -2*k = -4*d + 6. Suppose f + 2 = 4*q - d, 4*f - 12 = -2*q. Suppose -3*l + 7*l = 0. Solve -2*v + f - 4 = l for v.
-1
Let j(t) = 3*t. Let g be j(1). Suppose 0 = -g*u + 8*u. Solve u*f = -f for f.
0
Suppose 39*g = 37*g + 42. Solve g = -3*u + 6 for u.
-5
Let b(m) = 10 + 0*m**3 + m**3 - 2*m**3. Let t be b(0). Suppose 0 = -j + 6*j - 4*a - 7, 2*j - t = -2*a. Solve i = 2*i + j for i.
-3
Suppose 3*r + 5*d - 5 = 0, -r - 5*d + 9 - 4 = 0. Solve g + 1 - 5 = r for g.
4
Let p(z) = 2*z - 4. Let m(t) = -t + 2. Let y(j) = 11*m(j) + 6*p(j). Let i(k) = -5*k + 8. Let d(a) = 2*i(a) + 9*y(a). Let g be d(-6). Solve -g = r - 3 for r.
-1
Let s(q) be the second derivative of -q**3/6 + 7*q**2/2 + q. Let t be s(5). Suppose t*l + 3 = 7. Solve 0 = -0*w - l*w - 2 for w.
-1
Let s(w) = -14*w - 17. Let m(j) = 5*j + 6. Let c(u) = -17*m(u) - 6*s(u). Let q be c(-2). Solve q*p - 4 = -2*p for p.
1
Let k = -3 - -5. Let m = 5 - k. Let n(c) = -c**2 + 8. Let i be n(0). Solve -m*f = f - i for f.
2
Let y be 2/(-9) + (-266)/(-63). Let h = -22 + 22. Solve -6*x + 4*x - y = h for x.
-2
Let z be 21/35 + 4/10. Let v = 4 - z. Solve 7*r = 4*r - v for r.
-1
Suppose g - 9 - 4 = -2*c, 11 = -c + 3*g. Suppose 3*d = -2*j + 6, -3*d - c*j + 0 = -6. Solve a + d*a = -9 for a.
-3
Let t be 4/6 - (-2)/(-3). Suppose 0 = 4*j - 1 + 9. Let o = 2 + j. Solve o = 3*s - t - 6 for s.
2
Suppose 5*j + 10 = -10. Let g(h) = 9*h - 1. Let f be g(1). Let t = j + f. Solve 0*p = 2*p - t for p.
2
Suppose 0 = -3*u + u + 12. Let m be (30/12)/(1/u). Solve m = -n - 2*n for n.
-5
Let y(u) = 2*u - 6 + 3 - 5. Let x be y(7). Solve 3*i + x = -6 for i.
-4
Let h(z) = z**3 - 26*z**2 - 29*z + 54. Let y be h(27). Let w(o) = o**2 + o. Let p = 6 - 9. Let k be w(p). Solve y = 3*i + k for i.
-2
Let n = -9 - -11. Suppose -9 = -3*a, -6*j + n*j + 35 = a. Solve 2 - j = -3*b for b.
2
Let n(b) = -4*b - 2 - b**2 + 6*b + 4*b. Let r be n(5). Solve -10 = -r*i - 2*i for i.
2
Suppose 0 = l + 6 - 16. Let o be l/(-6)*(-15 + 0). Let z be 6/(-10) - (-115)/o. Solve -9 + 1 = -z*a for a.
2
Suppose 4*n - f - 17 = -0*f, f = -1. Solve -3*k - n = 11 for k.
-5
Suppose 13*c - 60 = 3*c. Solve -g - c = -3*g for g.
3
Let j be (-1 - 5/(-3))*(6 + -3). Let x = 1 + -3. Let i = 2 + x. Solve -d - d - j = i for d.
-1
Suppose -4*y + 2*k + 2 + 4 = 0, -y + 12 = -4*k. Let n = 2 + y. Let i = -2 - -2. Solve b + n + 1 = i for b.
-3
Let h(u) = -5*u**2 - 18*u - 4. Let a be h(-3). Solve -6*o = -a*o + 5 for o.
-5
Let s(a) be the second derivative of -a**5/20 + 7*a**4/12 + 5*a**2/2 - 4*a. Let x be s(7). Solve 10 = -5*r -