s = 3 - h. Solve 5*j - 4 - s = 0 for j.
1
Let r be (-15)/2 + (-1)/2. Let i be r/5*105/(-14). Solve y + 3*y + i = 0 for y.
-3
Suppose 4 = -3*f + f - 5*h, 0 = 4*f + h - 10. Let t = -4 + 8. Solve -13 = f*l - t for l.
-3
Let z = 26 + -23. Let c = z - 3. Solve 2*t + t = c for t.
0
Let u(c) = -c - 4. Let g be u(-7). Solve -g*r - r = 12 for r.
-3
Let h = 0 + 2. Let p = 9 + -5. Let q be (p - 4)/(1*-1). Solve q*w - w = h for w.
-2
Let p = 5 - 1. Suppose -28 = -2*u + 4*y, -5*u = -p*y - y - 85. Solve -m = 4*m - u for m.
4
Suppose u - 4*o = -2, -2*u + 5*o = 2*u - 3. Solve -u + 1 = -g for g.
1
Let k = -8 - -68. Suppose -k = -3*c - 0*c. Solve -4*f - c = -0*f for f.
-5
Let l be 7 - (-1 + 1 - 1). Let m be 2*2*(-1)/(-1). Let u = l - m. Solve u*g = -12 - 4 for g.
-4
Suppose 2*f - 6 = -0*f. Suppose -f*u = -5*u. Let q be -10 + 10 + 4/(5 + -3). Solve u = q*b - 1 - 1 for b.
1
Let x = -23 + 25. Solve x*l = 1 - 3 for l.
-1
Let r(i) = i**3 + 7*i**2 - 9*i - 3. Let w be r(-8). Let f = w + -3. Solve -l + 3 = -f for l.
5
Suppose -4*s = 2*p - 0*s - 78, -3*s - 9 = 0. Suppose 3*j - p = -0*j. Solve -4*d + j = -d for d.
5
Suppose 3*i - 11 = -4*j, -4*i = -5*j + 4 + 2. Suppose 0 = 3*d - 0*d. Solve 0*z + z + i = d for z.
-1
Let s(x) = x**2 - 1. Let z be s(-1). Suppose 0 = -2*y - y + 24. Solve y = -4*o - z*o for o.
-2
Let s = -8 + 15. Suppose r - 13 = -4*p, -2*r - s = -5*p + 6. Let f = -1 + r. Solve f*i = -2*i + 10 for i.
5
Let f(d) = d**3 + 14*d**2 - 15*d + 2. Let k be f(-15). Solve -5 = 3*a - k*a for a.
-5
Let c(j) be the second derivative of j**4/12 + 5*j**3/6 + 2*j**2 - j. Let s be c(-4). Suppose s*z = 2*z. Solve -4*w + z = -4 for w.
1
Let g(n) = n**2 - 6*n + 8. Let u be g(5). Solve -2*t = u*t + 5 for t.
-1
Let v be (2/1 + -1)*3. Let b be 4/(v - 1) - -5. Solve 0 = -b*m + 2*m - 25 for m.
-5
Let f = -1 + 3. Suppose 30 = 3*z + 4*c, z + f*z - 15 = c. Solve -l + z = l for l.
3
Let n = 11 + -8. Suppose b = -n*b. Suppose 0 = 3*g + 3*j - 3, 5*j = 4*g - 3*g - 1. Solve d + b = g for d.
1
Let o = 3 + -3. Let l = -11 + 22. Let g = -5 + l. Solve -3*b = -o*b + g for b.
-2
Let a = 13 - 7. Solve 3*b + 0 = a for b.
2
Let u = 6 + -7. Let f be u + 1 + 0 + 2. Solve f*j + 3 = 13 for j.
5
Let k(w) = w**3 - 4*w**2 + 2*w - 3. Let i be (-12)/10*30/(-9). Let t be k(i). Suppose -t*s - f = -2*f - 32, -6 = 3*f. Solve -2*h - 2 = s for h.
-4
Suppose -k + 65 = 3*g, 5*g + 3*k + k - 106 = 0. Suppose 2*i - 4*m + 7 + 5 = 0, -3*i = 4*m - g. Solve i*c - c = 0 for c.
0
Let l(a) be the third derivative of a**5/60 - 3*a**4/8 + 11*a**3/6 - a**2. Let x(v) = -v - 3. Let c be x(-11). Let d be l(c). Solve -d = -0*w - w for w.
3
Let n(a) = -1 - 2 + 3 + 2 + 7*a. Let k be n(2). Suppose 5*z - z = k. Solve -z = -4*j - 0*j for j.
1
Let p be (-2)/(4 - (-234)/(-57)). Solve 0 = 4*a + 1 + p for a.
-5
Let o = -4 + 4. Suppose 0*i - 2*i + 6 = o. Solve p - i = -2*p for p.
1
Let h(j) = j**2 + 3*j - 2. Let u(p) be the second derivative of p**3/6 + p**2 + 2*p. Let v be u(-6). Let t be h(v). Solve -t*z = -0*z - 10 for z.
5
Let v be -5 + (6 - -1) - 10*-1. Solve -5*h = -h - v for h.
3
Let u be ((-2)/(-3))/((-2)/(-24)). Let r be (-12)/2*3/(-6). Solve -r*q = -u*q for q.
0
Suppose -4*j - 12 = -6*j. Let y = 0 + j. Solve -3*z + 0*z = y for z.
-2
Suppose 0 = n + 4*l - 15, -3*n + 4*l - 21 = -6*n. Suppose 0*m + 4*c + 22 = -m, 0 = -3*m + 2*c + 4. Let o = n - m. Solve o*z - 26 = -1 for z.
5
Let l be (2/(-3))/((-2)/12). Solve 2*q - 6 - l = 0 for q.
5
Let s = 88 - 88. Solve s = -2*v - 4 for v.
-2
Suppose f - 3 = -0. Solve 0 = 4*c - 5 - f for c.
2
Let n(p) = -p**3 + 8*p**2. Let d be n(8). Solve d*o + o = -2 for o.
-2
Suppose 5*f - 75 = -3*x + 7*x, -5 = x. Solve -f*n = -9*n - 6 for n.
3
Let d(h) = h**3 + 9*h**2 + 7*h - 6. Let g be d(-8). Solve -s + 1 = -g for s.
3
Let g be 5 - (2 + 1)/(-3). Let j be g*(0 - (-6)/9). Let m(x) = -x**3 + 3*x**2 + 4*x + 3. Let n be m(j). Solve 0*t - 12 = -n*t for t.
4
Suppose 3*s = 3*v + 4 - 19, -3*s - 3 = 3*v. Solve 0*n + v = n for n.
2
Let k = -11 - -5. Let c be (k/(-15))/(2/(-50)). Let f = -6 - c. Solve -13 = -f*m + 3 for m.
4
Let r = 5 - 3. Solve 3 = r*t - t for t.
3
Let h = 2 + 8. Solve -4*o - 2 = h for o.
-3
Suppose -d + 4*d = -3*d. Solve m + d*m = -5 for m.
-5
Let h = 0 + 0. Solve h*q + 10 = 2*q for q.
5
Let m(q) = 3*q - 2. Let x be m(2). Let j = 7 - 3. Suppose j*r = 8 - 0. Solve -x*i = -r*i for i.
0
Suppose -m + 2*l + 6 = -0*l, -12 = 4*m + 4*l. Suppose m = -a - 2 - 5. Let i = 11 + a. Solve -i*r - r = 10 for r.
-2
Let w(r) = r**2 - 1. Suppose z - 1 + 0 = 0. Let b be w(z). Suppose 56 + 70 = 42*t. Solve b*j = t*j + 12 for j.
-4
Suppose 2*y - 24 = -3*q, 3*y - 3*q = 2 + 4. Let j be (-1)/2*2*1. Let g = j - -1. Solve g = -y*n + 3*n - 6 for n.
-2
Suppose -3*a = 4*f - 48 - 74, 0 = -5*f - 2*a + 156. Suppose -4 = 4*s - f. Let p = s - 6. Solve -3*h - 8 - p = 0 for h.
-3
Let u = 3 - -29. Suppose 0 = -k - 3*k + u. Solve 5*h - 23 = -k for h.
3
Let d = 7 + -4. Let x(n) = d*n**3 + 8 - 4*n**3 - 3 - 8*n**2. Let t be x(-8). Solve 0 = m + 2 - t for m.
3
Suppose -5*v + 16 = -v. Suppose -v*n - 300 = n. Let m be (-10)/(-4)*n/(-25). Solve f + m = -f for f.
-3
Suppose -66 = 4*p - 15*p. Solve 8*v - p*v = -4 for v.
-2
Suppose 2 = -d - 7. Let u be (-6)/d - 4/6. Solve 5*i + 10 = -u for i.
-2
Suppose 0*w - 2*w + 40 = 0. Solve j + w = -4*j for j.
-4
Suppose f = -0 + 2. Solve -c = -2*c + f for c.
2
Suppose 4*f - 2*k - 20 + 0 = 0, 5*k = -2*f - 14. Let m be 5 + (0 - 3)/f. Solve 0 = -i - m + 3 for i.
-1
Suppose 5*u = 2*u. Suppose u*v + 3*v = 15. Let r be v*2/2 - 0. Solve -4*f + r = -9*f for f.
-1
Suppose 3*g + 2*g - 30 = 0. Let p be 100*3/(45/g). Suppose -5*c - p = -5*w, 3*w - 7*c = -3*c + 28. Solve 0*k = 2*k + w for k.
-2
Suppose 5*u + l - 60 = 0, -u + 4 + 8 = -4*l. Suppose 0 = 4*q - 0*q - u. Solve q*i = 6*i for i.
0
Suppose -4*h + 1 + 3 = 0. Let k be 8*h - 15/5. Suppose 1 = 4*l - 5*y - 12, -2*l + 3*y = -7. Solve l*r = -5 - k for r.
-5
Let g be (-74)/(-14) - 6/21. Solve 2*l - 5 = g for l.
5
Let i(f) = 7 + 3*f - 2 - 4*f + 0*f**2 - 5*f**2 + f**3. Let l be i(5). Solve 2*p = -l*p + 6 for p.
3
Let c = 23 + -20. Solve -2*z - c = 5 for z.
-4
Let m = -2 - -5. Suppose m = 3*t - 2*t. Let o be (0/3)/(1 - 2). Solve o = -t*r - 10 - 5 for r.
-5
Let t(b) = 2*b**2 - 4*b. Let w be t(3). Suppose 2*d - 6 = s, -d - s = -w*s + 6. Suppose 2*p - f = -2*f + 3, 2*p = d*f - 12. Solve p = -7*l + 9*l + 8 for l.
-4
Let k(g) = 10 + 0 + g - 6. Let s be k(-4). Solve s = x + 4*x + 10 for x.
-2
Suppose 16 = -4*l, 3*c + 2*l = 3*l + 37. Suppose 0*q + q = -3*w + 11, 4*q = 4*w + 28. Let r = c - q. Solve -4*t + 15 = r for t.
3
Let y(l) be the second derivative of -l**5/20 + l**4/6 - l**2/2 - l. Let w be y(-1). Suppose -w*r - 1 = -5. Solve 25 = -7*d + r*d for d.
-5
Let y(n) = 4*n**2 - 9*n - 1. Let t(h) = -5*h**2 + 10*h + 1. Let f(g) = -5*t(g) - 6*y(g). Let i be f(-3). Let j = 17 + i. Solve -7*s + j = -2*s for s.
3
Let g = 6 + -4. Let w(r) = 2*r**2 + 5*r + 4. Suppose 0 = -q - 2*m + 6, -4*m + 20 = -0*q - 2*q. Let b be w(q). Solve 0 = -2*j - g - b for j.
-2
Let c(s) = -s**3 - 4*s**2 + 7*s - 5. Let k be 2/11 + (-3308)/44. Let l be (-2)/(-8) + k/12. Let f be c(l). Solve -3*v - 2*v + f = 0 for v.
5
Suppose 2*m + 30 = 5*s, -2*s = 3*s - 5*m - 45. Suppose s*r - 35 = -r. Suppose r*y + 15 = 2*y, p = 4*y + 12. Solve 3*b - 2*b - 3 = p for b.
3
Let g(j) = j**3 + 2*j**2 - 3*j + 4. Let k(c) = -1 - c**3 + 2*c + 4*c - 5*c. Let b(i) = -g(i) - 3*k(i). Let z be b(2). Solve 2*y - z - 3 = 0 for y.
5
Let t = 6 - 8. Let i = 0 - t. Solve 4 = -i*b + b for b.
-4
Let v be (-2)/(8/4)*-8. Let q be 3/(-4) + 14/v. Suppose -1 = -4*c + 7. Solve q = -c*j + 3 for j.
1
Let l = -5 - -7. Suppose -2*s - 3 + 9 = -l*t, 0 = 2*t - 2. Suppose 0 = -s*v - v. Solve v*q - 2*q = 0 for q.
0
Let z = -26 + 29. Solve 4*d - 1 = z for d.
1
Let l be (-7)/(-3) - 4/(-6). Suppose 0 = 2*y + y + 21. Let t = -6 - y. Solve -l*b - t = 2 for b.
-1
Suppose -4*j + 19 = -25. Let l = j + 5. Solve c + l = 5*c for c.
4
Let o be -1 + (0 - -3) - 1. Suppose -r + 2*z + 1 + o = 0, 0 = 5*r - z + 17. Let t = 8 + r. Solve 9*a - 5 = t*a for a.
1
Let w(r) = r**2 - 1. Let a(o) = o + 1. Let g(q) = 5*a(q) + w(q). Let u be g(-4). Solve u = f + 2*f - 6 for f.
2
Let s(b) = -b**3 - 4*b**2 + 7*b + 4. Let o be -10*(1 + (-7)/2). Suppose 0 + o = -5*t + q, t + q + 11 = 0. Let v be