r t.
-1
Let n be (-8 - -10)/(0 - -1). Solve n*w - w = 0 for w.
0
Suppose 0 = 4*n - 2*u - 2, 6*u - u + 5 = 0. Solve n*y + 4*y = -8 for y.
-2
Let y(c) = -c**3 + 5*c**2 + 8*c + 3. Let g be y(6). Suppose 5*k = g, 7 = p + 5*k - 16. Solve -4*r = p - 0 for r.
-2
Let g = 15 - 11. Let b = g - -2. Solve 2*j + b = 4*j for j.
3
Let z(r) be the first derivative of -r**4/4 + 5*r**3/3 + r**2 - 7*r + 3. Let c be z(5). Suppose 3*q = c, m = 3*q + 13 - 0. Solve -5*h - m = -h for h.
-4
Let c = -18 + 25. Let z be ((-2)/4*6)/(3/(-15)). Solve -2*o + c*o - z = 0 for o.
3
Let f(i) be the third derivative of i**5/60 - i**4/12 - 2*i**3/3 - 3*i**2. Let u be f(4). Solve -3 = c - u*c for c.
1
Let a = 1 + 8. Suppose 0 = -4*p + 2*q + 17 - 5, 4*q = -3*p + a. Suppose -d + p = 1. Solve -3*c - d*c - 20 = 0 for c.
-4
Let c(t) = t**2 - 7*t + 5. Let o = 8 + 0. Let b be c(o). Solve -2*h = 3 - b for h.
5
Suppose 2*i - 3*j - 2 = 0, 2*i - 4 = 2*j - 0. Let x = 11 - 19. Let b = -3 - x. Solve i*o + 15 = -b for o.
-5
Suppose -14 = -d - 2. Solve -d = 3*k - 3 for k.
-3
Suppose 3*u + 12 = 21. Suppose 0*r + 3*r - 24 = 0. Suppose 0 = g - u - r. Solve -g + 3 = 4*y for y.
-2
Let p be 0*(-1)/(-1)*-1 + 3. Solve s + 2 = p for s.
1
Suppose 2*k - 3 = 13. Suppose 17 = 5*n + 3*z, z = -n - 4*n + 19. Let a = 16 - 4. Solve 0 = n*x + a + k for x.
-5
Let k(b) = b**3 - b**2. Let n be k(-1). Let o = 7 + n. Solve -5*q - 10 = -o for q.
-1
Let n be 7 - (-2 + 2) - 2. Suppose -i = -q - 5, 0*i + i + q - n = 0. Solve i*z + 12 = z for z.
-3
Let j = -3 + 5. Let s(x) = x - 7. Let y be s(7). Suppose -1 - 15 = -4*p. Solve 0 = j*v - y*v - p for v.
2
Let d(j) be the second derivative of j**4/12 - j**3/2 - j**2 - 6*j. Suppose -3*h + 23 = 2*t, 4*t - 2*h - 6 = -0*t. Let z be d(t). Solve 0 = z*b - 7*b for b.
0
Let d be ((-4)/6)/((-16)/(-72)). Let q be (-6)/(1/(d/6)). Solve q*x - 8 = x for x.
4
Let f(h) = 7*h**2 + h - 1. Let m(a) = -11*a**2 - 2*a + 1. Let x(q) = 8*f(q) + 5*m(q). Suppose 10 = 2*u - 2. Let r be x(u). Solve -4*z = -5 + r for z.
-4
Let c(k) = 0*k + 4*k**2 - 3*k + 3*k. Let g be c(1). Solve -1 - g = 5*d for d.
-1
Suppose 4 = -4*q - 0, -4*b - 3 = -5*q. Let u(x) = x**3 + 3*x**2 + 2*x + 2. Let a be u(b). Solve g = 2*g + a for g.
-2
Suppose 4*x = -4*p + 76, -3*x - 5 - 10 = -p. Suppose 5*i = p + 22. Solve -i = 3*f + f for f.
-2
Let k be (0 - -2) + -1 + 0. Let c = -5 + 9. Let y = c - k. Solve y*j + 14 = 2 for j.
-4
Suppose 4*z - 9 = 11. Suppose 0 = t + 2*w - 1 + 7, -3*t - 4*w - 8 = 0. Suppose -t*i = -3*i. Solve 5*r + i - z = 0 for r.
1
Let i(x) = x**2 + 10*x + 4. Let b be i(-10). Suppose -3*c = 3*d - 12, -b*d + 2*c + 43 - 3 = 0. Solve -k = 3*k + d for k.
-2
Suppose -2*u - 12 = -5*u. Let h(k) = -k**3 + 4*k**2. Let o be h(u). Solve 2*i + o = -2 for i.
-1
Let u(i) = 4*i**2 + i - 1. Let l be u(1). Let h be -3 - -2*(l - 1). Solve n + h*n - 12 = 0 for n.
3
Let u(w) = -w - 12. Let g be u(-14). Solve -m = -0 + g for m.
-2
Let i(t) = -t**2 + t + 2. Let x be i(-1). Solve -5*r + 3*r - 4 = x for r.
-2
Let j be 14/4 - 3/6. Let x = 5 - -2. Suppose 3*l - x = 5. Solve -l*u = -u + j for u.
-1
Let v = -2 + 8. Let d = 12 - v. Solve 4*c + d + 10 = 0 for c.
-4
Let m = 10 - 9. Solve -4*p + 5 = m for p.
1
Suppose -5*a + 7 + 3 = 0. Suppose 0 = 2*h - a - 4. Solve -h - 1 = -2*q for q.
2
Suppose 5*z + 49 = 2*p, 39 = 4*p - 5*z - 54. Let g = p - 10. Suppose -5*o + 23 = -u, -g = -u + 5*u - 4*o. Solve u*s - 6*s - 16 = 0 for s.
-4
Suppose -4 = -3*s - 1. Suppose 2 + s = r. Let f = r + -1. Solve 5 = l - f*l for l.
-5
Let g be (-4)/(-14) - (-61)/7. Suppose n - g = -1. Solve 12 + n = 4*l for l.
5
Let i(f) = f**2 + f. Let r be i(0). Solve a + 3 = -r for a.
-3
Suppose 3*x - 3 = 3. Solve -x*k = -0*k + 2 for k.
-1
Suppose 0 = -2*y - z + 14, 0*y = 5*y - z - 21. Let l be 27 + (1 - 0) + -2. Solve -y*v = -6 + l for v.
-4
Let g(b) = -b**3 + 5*b**2 + 5*b + 3. Let i be g(6). Let d be 2/(0 - i/9). Solve 0 = -n - 4 + d for n.
2
Suppose 86 = 6*j + 2. Let g = j + -14. Solve -1 = -g*q - q for q.
1
Let l(i) = -i**2 + 3*i. Let b be l(0). Solve b = -k + 1 + 2 for k.
3
Let v be 2/4 + 9/(-2). Let i = 3 + v. Let j be 1*(2 - (0 + i)). Solve -j*f - 5 = 10 for f.
-5
Suppose -2*h = 4*k - 18, -14 = -k - 5*h + 13. Suppose -2*z = -2*m + k, -3*m + 7 = 5*z - 20. Let n = 22 - 10. Solve n + 0 = m*g for g.
3
Suppose -3*t - 5 = -29. Let q = 12 - t. Suppose 3*p + 3*f = 84, -64 = -3*p + 3*f + 14. Solve -7 + p = q*d for d.
5
Let u(m) be the first derivative of -m**4/24 + 2*m**3/3 + 3*m**2/2 + 3. Let z(l) be the second derivative of u(l). Let q be z(2). Solve q = -3*w + 2*w for w.
-2
Suppose -6*a + 3*a - 79 = -5*c, -23 = -c + 3*a. Suppose -3*r + 2*w = 0, c = r - 4*w + 8*w. Solve -7*p + r*p = 15 for p.
-3
Let p be -2 + (6 - (-1 + 5)). Let s(v) = v**3 - 5*v**2 + 2*v - 6. Let m be s(5). Suppose -2*u = -4*u + 6. Solve p = -m*o - u + 11 for o.
2
Let j(v) = -2*v**3 + v + 0*v - 5*v**2 + 2*v**2 + 2. Let r be j(-2). Solve t - 2*t + r = 0 for t.
4
Suppose -2*z + 0*z = -6. Suppose -3*n + 4*r + 14 = 0, 5*n = -z*r - 1 + 5. Suppose -4*y - 3*p + 2 = 0, 0*p = -n*p - 4. Solve y*d = -d for d.
0
Suppose 3*k = 5*j - 50, -3*k = -2*j - 2*j + 40. Suppose -j*l = -6*l. Let a be (-1 - -4)/((-6)/(-4)). Solve l = 5*r - a*r for r.
0
Suppose -5*q + 16 = 2*v, -14 + 7 = -2*q - v. Solve 0*m + 6 = q*m for m.
3
Let r = 22 + -18. Solve r*a - 10 = 2 for a.
3
Let g be 282*(5/2)/5. Suppose g - 21 = -5*i. Let r be (-594)/i - (-2)/8. Solve -r = -p - 4*p for p.
5
Let w = 2 + -3. Let v be w + 2 + 0 - -12. Let s = 18 + -6. Solve -s = -5*q + v for q.
5
Let a(w) be the first derivative of -5*w**4/4 - 2*w**3/3 - w**2/2 - 3. Let q be a(-1). Solve -q*b = -b + 9 for b.
-3
Let r be 10/55 + (-42)/(-11). Suppose m + 5*n + 30 = 5*m, -5*m = r*n - 17. Solve 0 = -3*z + m + 1 for z.
2
Suppose 4*s + w + 16 = -3*w, 0 = -3*w - 12. Solve s = -5*i + 4*i - 5 for i.
-5
Suppose -2*p + 4*n = -42, -5*p + 46 = 2*n - 23. Solve 0*j = -5*j - p for j.
-3
Suppose 2*x = 0, 0*n + 4 = n - 5*x. Let h be n + -1 + (-1 - -1). Solve s - 1 = -h for s.
-2
Suppose -3*v = -6*v + 6. Solve 0 = 4*o - v*o for o.
0
Let h(j) = -j**2 + 6*j - 6. Suppose -3*d + 14 = 2. Let r be h(d). Suppose -3*m + 8 = -2*f, f - 2*m - m + 10 = 0. Solve r = -w + f*w for w.
2
Let b be ((-4)/(-3))/(4/6). Suppose 12 = -2*c - 4*i, -3*i - b*i = 2*c + 17. Solve -c*q = q + 25 for q.
-5
Let o = 1 + 8. Solve -z = -4*z + o for z.
3
Let z(q) = q**2 - 9*q + 9. Let x be z(8). Suppose -225 = -3*d - 2*d. Let k be d/25 - 2/(-10). Solve 9 + x = k*m for m.
5
Let f(r) = 2*r**3 - 2*r**2 + 2*r. Let j be f(1). Solve -6 - 4 = -j*n for n.
5
Suppose 30*x = 19*x + 418. Solve -5*q - 13 = -x for q.
5
Let y(d) = -9*d**2 - 5*d + 1 + 10*d**2 + 3. Let z be y(5). Solve z = 5*b + 14 for b.
-2
Let s be 1/((-39)/(-54) + 4/(-18)). Solve s + 1 = -y for y.
-3
Let y(b) = -b - 7. Let q be y(-13). Solve 3 = -3*i - q for i.
-3
Suppose -2*j + 2*f = 4*f - 22, f = 3. Suppose t + j = 3*t. Let m = -17 - -24. Solve t*l + 5 = -m for l.
-3
Suppose 6*m - 71 = 7. Suppose 3*h = -0*i + i - 22, 4*h = 2*i - 34. Let x = i + -3. Solve -m + 5 = -x*k for k.
2
Let h(n) = -n**3 - 9*n**2 - 7*n + 11. Let d be h(-8). Solve d*m - m + 2 = 0 for m.
-1
Let c(n) = n + 8. Let q(t) = t**3 - 6*t**2 + 2*t + 7. Let p be q(5). Let v be c(p). Suppose v = 4*o - 0*o. Solve 5*w - 2*w - 3 = o for w.
1
Suppose 4*f - 8 = 4. Solve -f = -3*a - 18 for a.
-5
Let g = 9 + 7. Solve 5*v - 6 = -g for v.
-2
Suppose -3*n - 4*v + 12 = 0, 23 = -2*n + 6*n + 3*v. Let u = 247 + -244. Solve 0 = h - u*h + n for h.
4
Let f = 34 + -22. Solve 8*b - 4*b = f for b.
3
Suppose 0 = -12*j + 2*j. Solve j*n = 3*n for n.
0
Let s = -50 - -36. Let d be (-4)/s + 36/21. Suppose 0 = -y - d + 5. Solve y*x = -x + 12 for x.
3
Let r(s) = -3*s + 0 + 4*s + 0 - 6. Let x be r(9). Solve 1 = 4*v - x for v.
1
Let m(g) = -g**2 - 7*g - 2. Let a be m(-6). Suppose -5*q + 33 = -2*o, 5*o + 24 = a*q + o. Solve 2*z = q*z for z.
0
Suppose -26 = -4*j - 6. Let i = j - 3. Solve -14 = i*a - 6 for a.
-4
Let z = 1 + -1. Let h be 1 + 5/25*5. Solve z = h*x - x + 5 for x.
-5
Let o be 3/4 + (-85)/(-4). Suppose -3*u = -z + 8, -3*z = -2*u + z - o. Let v be 3 + 0 + u + -2. Solve 2*s + 3*s - 25 = v for s.
5
Let h(a) = a**2 - a + 6. Let d be h(0). Solve -z = z - d for z.
3
Let d(j) = 3*j**2 + 2*j**2 + j - j**2 + 4*j**2 - 1. Let k be d(1). Suppose 0 = 4*q