ose -5*t + 77 = -4*z, 2*z + 7 + 40 = 3*t. Suppose -s*c + 4*v = -16, 3*v - t = -0*c - 5*c. Solve 0 = 2*f - 6*f + c for f.
1
Let t(q) = q**3 + 5*q**2 - 3*q - 12. Let c be t(-5). Solve 16 = m + c*m for m.
4
Suppose 0 = d - 0 - 0. Solve -u - 6 + 8 = d for u.
2
Let s be 125/20 + (-2)/8. Suppose 5*w = 2*w. Suppose -2*v - 5*o = -21 - s, v + o - 6 = w. Solve -7 = 3*f - v for f.
-2
Let l = -16 - -20. Solve 9*o = l*o for o.
0
Suppose 0*o + o = -2*n - 2, -5*o + 5*n = -5. Solve 4*q - 7*q = o for q.
0
Let h = 31 + -26. Solve -r + 16 = -h*r for r.
-4
Let p be 19 + (0/(-1))/(-2). Solve p = -4*h - 1 for h.
-5
Suppose u = 5*u + 5*t + 44, 5*t = 4*u + 4. Let a be 4/(-18) + u/(-27). Suppose v - 2 = 2. Solve a - v = -y for y.
4
Suppose 3*q + c = 77, -q - 11*c + 6*c = -35. Solve 2*z = -3*z - q for z.
-5
Suppose x - x = 4*x. Solve x = -0*y + y for y.
0
Suppose -4 = -3*y + 2*y. Suppose -3*l = -y*l - 3. Let u = 5 - l. Solve 3*g + 15 = u*g for g.
3
Let h(a) = -a + 4. Let f be h(2). Suppose -3*v = f*v. Solve v = -s - 1 for s.
-1
Let j(f) = -f + 2. Let a be j(2). Suppose -5*h = -a*h. Solve h = -4*p + 10 + 2 for p.
3
Let o(f) = -f + 4. Let t be o(4). Solve t*w = -2*w for w.
0
Suppose 0 = -2*l + 4*l - 20. Let y be l/(2 - (2 - 1)). Solve 3*x = -2*x + y for x.
2
Let z = -14 + 11. Let p be (1 + -2)*(z + 0). Solve 0 = -p*b - b + 16 for b.
4
Let t be (-1)/(-4) + 2/(-8). Let g be (-1)/(-4) - (-13)/(-4). Let q be ((-1 + 1)/g)/(-2). Solve q = 2*o - t*o for o.
0
Let g be (0 + 1)/(2/6). Suppose 5*x = 2*x - 6. Let u be g + (-3 - (-3 + x)). Solve u*j + 8 = 28 for j.
4
Let a(k) = -k. Let d(l) = l**3 - 8*l - 1. Let b(h) = 5*a(h) - d(h). Let r be b(-2). Suppose -3*i + 15 = -r*q, 2*q + 8 = 4*i - 10. Solve u + i = -u for u.
-2
Suppose 3*x + x = 0. Let j be x*1/1*-1. Solve -5*f + 0 + 5 = j for f.
1
Let d = 42 - 42. Solve -4 = 2*l - d*l for l.
-2
Suppose -r - 5*p = -p - 17, 2*r - 3*p = -21. Let c be 1/((-1 + -2)/r). Suppose -2*h - c = -29. Solve 0 = 5*z - h + 4 for z.
2
Let o be 0 - ((-12)/(-4) + -73). Let w be ((-20)/o)/(4/(-14)). Solve -d - 3 = w for d.
-4
Suppose -2 = 5*l - 6*l. Solve l*b + 8 = -0 for b.
-4
Suppose -3*s = 8 - 14. Solve -s = b + 2 for b.
-4
Suppose -b - 2 = b - 2*k, -3*b + 5 = 5*k. Let i(a) = -a**3 + 3*a**2 + 4*a + 2. Let u be i(4). Solve g + u*g = b for g.
0
Let u be (-72)/(-18) + (0 - 0). Solve u*r - 7 = 9 for r.
4
Let k(r) be the third derivative of r**4/12 - 2*r**3/3 + r**2. Let p be k(3). Suppose p*z + 2*f - 4*f = 28, -16 = -z - f. Solve 4*a - a + z = 0 for a.
-5
Suppose 4*s - l - 33 = -s, -4*s + 36 = -4*l. Solve 0 = w - s*w + 25 for w.
5
Suppose 2*a = 5*a - 9. Let h be 6/(15/6 + -1). Suppose h = -2*x + 8. Solve -5*q - x = a for q.
-1
Suppose -3*q = q + 16, q = -5*r + 176. Let a be r/10 + 4/10. Suppose 2*i = 5*x + 13, -x + 3*x + 18 = a*i. Solve 2 - 14 = i*j for j.
-3
Let h = 23 + -23. Solve -2*z + h + 6 = 0 for z.
3
Suppose 5*n = -2*u + 1 - 11, 4*n = -2*u - 8. Suppose -s + u = -2. Let t(a) = -a + 6. Let d be t(6). Solve -2*q - s*q + 16 = d for q.
4
Let z = 5 + -3. Suppose -y + z = -0*y. Solve 2 = y*h - 6 for h.
4
Suppose -w + 3*t + 24 = 3*w, 4*t - 61 = -5*w. Let n be (-10)/(-15)*w/2. Solve -n*k + 20 = 5 for k.
5
Suppose 19 = 5*s - 3*n, -3*s + 4 = n + 1. Let x(v) = 2*v - 10. Let o be (2/5)/(14/245). Let i be x(o). Solve -s*t = -i - 2 for t.
3
Let v be 6/(-1)*(-3 + 2). Let t = -7 + 7. Suppose t = -3*z + 4 + 20. Solve -v*j + 2*j = z for j.
-2
Let c = 20 - 12. Let t(u) = -u**2 + u + 6. Let l be t(6). Let b be (18/c)/((-9)/l). Solve 0 = s - b*s - 15 for s.
-3
Let l = -111 - -69. Let y be (-978)/l - (-2)/(-7). Suppose -3*p = 8 - y. Solve 2 = p*x + 22 for x.
-4
Let d(g) = g**3 - 8*g**2 + 7*g - 5. Let p be d(7). Let i(k) = k**2 + 3*k - 3. Let u be i(p). Solve -u*r + 4 = -5*r for r.
2
Suppose -7 = 6*q - 49. Solve 4*m = q + 9 for m.
4
Let i(h) = 4*h - 9. Let k be i(4). Suppose 3*o - k + 1 = 0. Solve o*s - 7 = -17 for s.
-5
Suppose 0*n - 4*m + 4 = -4*n, n - 3*m = -7. Suppose -7*c + 5 = -2*c. Let q = 2 + -1. Solve n*b - q = c for b.
1
Let s be ((-6)/(-9))/((-2)/(-21)). Let h(k) = -k**3 + 8*k**2 - 7*k + 1. Let c be h(s). Solve 3 = -2*q - c for q.
-2
Let l be (-2)/(2 + (-16)/9). Let k(c) be the second derivative of c**5/20 + 2*c**4/3 - 3*c**3/2 + c**2 - c. Let d be k(l). Solve d*q + 8 = -2*q for q.
-2
Suppose 0*s - 3*s = 5*g - 9, 0 = -4*s + 5*g + 47. Suppose 5*i = 67 - 2. Suppose 2*m = -f + i, -5*f + 35 = m + 15. Solve -3*d + s*d = m for d.
1
Let r(t) = 10*t + 4. Let y(d) = -3*d - 1. Let g(w) = 2*r(w) + 7*y(w). Let b be g(-3). Solve b*x = 2*x - 4 for x.
-2
Let l be (5/5 - -1) + 0. Suppose -4*c - 1 = -13. Suppose 5 = l*k + c. Solve 3*t = k + 8 for t.
3
Let q(n) be the first derivative of 5*n**2/2 + 7*n - 1. Let y be q(5). Suppose 0 = 3*t - 2*x - y, -2*t + 10 = 2*x + 2. Solve -3*o - t = o for o.
-2
Let v(n) = -2*n**2 + 3*n + 2. Let w be v(2). Solve 5*h = 5 - w for h.
1
Let u be (-16)/40 + 21/15. Solve -2*c + u = -5 for c.
3
Suppose -5*q = -5*n - 25, -4*q + 2 = 2*n - 6. Let s be ((-60)/8)/(n/8). Let j be (-2 - s/(-9))*9. Solve j = -3*k - 0 for k.
-4
Let n be (1/(-3 - -2))/(-1). Let d(a) = 12*a**3 + 2*a - 1. Let v be d(n). Let y(o) = o + 11. Let z be y(-6). Solve z - v = 4*f for f.
-2
Suppose 0 = -4*p + 7*p - 30. Solve 3*y - 5*y - p = 0 for y.
-5
Suppose 7*a - 2*a = -20. Let t(w) = -w - 2. Let k be t(a). Let v = 0 - -5. Solve 5 + v = -k*l for l.
-5
Let t = -1 + -4. Let n = t - -8. Let y be 2 + 1 - (0 + n). Solve 4*p + 4 = -y for p.
-1
Let o(c) = -5*c - 1. Let t be o(1). Let x = -6 - t. Solve x*l + 10 = 2*l for l.
5
Let q be 5 - (3 + 1)/2. Suppose -y + 12 = q*y. Suppose y*l + 0*l = 0. Solve l*p + 2*p = 8 for p.
4
Suppose -a = 2*a - 6. Solve -a*w + 12 = -6*w for w.
-3
Let t = 0 + -1. Let g = 8 - t. Suppose -17 = 4*z - 41. Solve 0 = -3*i - g - z for i.
-5
Let t be (-2)/4*2*-4. Solve 0 = t*z - 1 - 7 for z.
2
Let r be 9/2 - 1/2. Let x be ((-6)/(-5))/(4/(-40)). Let z be (1 - 2)/(r/x). Solve -z*p + 2 = -5*p for p.
-1
Let m(w) = w**2 - 3*w + 5. Let l be m(2). Suppose -1 - 11 = -l*i. Solve 2*n - 3*n + i = 0 for n.
4
Let f = -36 - -61. Solve -3*k + f = 2*k for k.
5
Let j = -5 + 10. Let m(f) = -f + 6. Let a be m(j). Let q be (2 + -2)/(-2) + a. Solve -3 - q = -o for o.
4
Let u(g) = -g + 19. Let o be u(16). Solve -o = 3*m - 0 for m.
-1
Suppose 2 = u - 3. Suppose 2*a + 5*v = -3 - 1, -a + 28 = -u*v. Suppose 3*p - a = 7. Solve 4*h - 5*h = -p for h.
5
Suppose 3*l + 4*s + 7 = 4*l, -13 = -4*l + s. Suppose 3 = -g + r + 2*r, -4*r + 20 = 4*g. Let f be (g - (1 + 1))*7. Solve -f = q - l for q.
-4
Suppose 0 = -0*q - 5*q + 50. Suppose 2*r - 30 = -0*r. Suppose 4*i - 3*x = r, 4*i + 0*i - q = -2*x. Solve -7*b = -i*b for b.
0
Let a = 54 - 53. Solve 1 = p - a for p.
2
Let z(b) = -b**2 + 9*b + 14. Let q(l) = -l**2 + 10*l + 10. Let o be q(10). Let r be z(o). Solve -r*v = v for v.
0
Let q = 26 - 14. Let l be q/(-30) + 12/5. Solve -l = -4*f + 2 for f.
1
Let z(o) = 2*o**2 + 2*o. Let l be z(-2). Suppose -l*k + 12 = 0, f + 0*f = -3*k + 9. Let b = -3 - -9. Solve f*u - b = 2*u for u.
-3
Suppose -n + u - 5 = -4*u, 3*n = u - 1. Solve 3*p = -n*p for p.
0
Let l(r) = r**2 + 2. Let g be l(-3). Let k = g + 15. Suppose 5*x = -0*o + 5*o - 30, -k = -5*o + 3*x. Solve 3 + 1 = o*n for n.
1
Let q(n) = -n**3 - 7*n**2 - n - 5. Let p be q(-7). Let m be ((-7 - -3)/12)/(1/(-6)). Solve m*b + 0 = p for b.
1
Suppose -z + 4*z = 0. Let m(h) = h. Let s be m(z). Solve s = -j - 0*j for j.
0
Suppose 0 = 2*g - 0 - 4. Let r be g/(-5) + (-81)/(-15). Suppose 75 = r*z - 0*z. Solve -6 + z = 3*y for y.
3
Suppose -2*d + 224 = -0. Let n be -2 - -1*d - -3. Suppose 5*w - n = 4*t, -3*t + 6*t - 134 = -5*w. Solve 0*i + 5*i = w for i.
5
Suppose -9 - 2 = t + x, -20 = 4*x. Let r be ((-2)/t)/((-1)/(-3)). Solve z + r = 2 for z.
1
Suppose -4*j + 0 = -8. Solve -f + j*f = -3 for f.
-3
Let b(y) = y**2 - 5*y + 3. Let a be b(2). Let s be ((-9)/(-3))/(a/(-3)). Solve -s*o = o for o.
0
Let b be 2/(-10) - 458/10. Let o = b + 77. Suppose -p + 2*a - 9 = -4*p, -5*p + 2*a + o = 0. Solve p*w - 5 = -25 for w.
-4
Let b = 49 - 47. Solve -10 = b*r + 3*r for r.
-2
Suppose 0 = h + s - 1 + 2, -5*h + 2*s = -2. Solve h*d = d for d.
0
Let n be (0 + 1)*1*3. Suppose 2*w - n = 7. Solve 0*j - w = j for j.
-5
Suppose -3*u = 3*k - 24, 3*k = 5*k + 4. Let y = 11 - u. Solve -o - 1 - y = 0 for o.
-2
