ve 1 = 4*c + n for c.
-1
Let d be -2*((-195)/6)/5. Let u be (-1)/2 + d/2. Let m be 16/u - (-7)/21. Solve -m*p + p = -10 for p.
5
Suppose 0 = -10*v + 15*v - 10. Solve n = -3 - v for n.
-5
Suppose 3*k + 2*t - 30 = t, 0 = -5*k + t + 50. Let z = -8 + k. Solve -4*r - 18 = -z for r.
-4
Let z = -15 + -5. Let x be z/(-6)*(-54)/(-3). Let c = x - 35. Solve -6*j = -j - c for j.
5
Let t(r) = 5*r - 2. Let i be t(2). Suppose 0 = -4*x + 2*x + i. Let g = 5 - 2. Solve -g*z = -x*z + 5 for z.
5
Let z(x) = -x**2 - 7*x - 2. Let b = -7 - -1. Let j be z(b). Solve -a - 3*a = -j for a.
1
Let w = 37 + -63. Let x be w/(-4)*(2 + 0). Solve 4*m + 5 = x for m.
2
Let i = -12 - -12. Let j(w) = -w**3 - 2*w**2 - w + 2. Let t be j(-2). Suppose 10 + 6 = t*b. Solve i*m = -4*m + b for m.
1
Let d(n) = -n**3 + 5*n**2 + 2*n - 7. Let l be d(5). Suppose 0 = 4*m + 2 - 22, 35 = 5*h - m. Suppose -h = -9*p + 5*p. Solve p*v - l = -9 for v.
-3
Let r(u) be the first derivative of u**3/3 - 2. Suppose 4*v - 2*j = -4, -2*v - 5*j = 3 + 11. Let p be r(v). Solve p*z = 8 - 0 for z.
2
Let n(z) = z**2 - 2*z + 25. Let w be n(0). Solve -w = -3*r - 2*r for r.
5
Suppose -o = -4*j + 3, -3*o - j + 22 = o. Suppose o*h + 2*f = -f + 13, 0 = 4*h - 2*f - 6. Let d(r) = 9*r**2 + 2*r - 1. Let n be d(1). Solve -h*k + n = 4 for k.
3
Let s = -9 - -23. Solve 5*i = -6 - s for i.
-4
Let d(u) = -u**3 + 2*u**2 + u - 2. Let l be d(2). Suppose l*b - 12 = -3*b. Suppose -5*q + 2 = -b*h + 1, q = -3*h + 4. Solve -5*n + 14 = -h for n.
3
Let y(g) = -g**2 + 20. Let l be y(0). Solve -3*f = -l + 5 for f.
5
Suppose 0 = -2*g - 0*g. Let o be 1/1 + 1 + 2. Let t be (10 - 8)*(-1 - -3). Solve o*x = -g*x - t for x.
-1
Let c = 23 + -15. Let q be 6/c - 97/(-4). Solve -4*r + q = r for r.
5
Let z(v) = v**2 + 7*v + 1. Let c be z(-7). Suppose 0 = -5*n, 3*n + 2 = w + n. Suppose -4*u + 2*q = -w, -2*q + 2 = 4. Solve u*t - c = t for t.
-1
Suppose -h + 4*q + 22 = 2*h, -2*q = -5*h + 18. Solve 0 = -h*a + 5*a + 6 for a.
-2
Let l(z) = -z**3 - z**2 + z + 1. Let h be l(-1). Solve 5*b - b = h for b.
0
Let a(m) be the third derivative of -m**5/60 - m**4/12 + m**3/6 + 3*m**2. Let t be a(-2). Solve -2*p - t = -p for p.
-1
Suppose 3*v - c = 5, -5*v - 3 = -4*c - 9. Solve -3*u = -v*u - 4 for u.
4
Suppose -j - 100 = -3*j. Suppose 6*v + j = v. Let z be (-16)/v*(-10)/(-4). Solve 6 = z*l - 6 for l.
3
Suppose 0 = -5*r - 5*t + 25, -5*r = 2*t - 5*t - 1. Let l be r*(-3)/(-3) + 2. Suppose -4*q - 3*j + 24 = -6*j, 0 = -4*q - 5*j - 8. Solve -q*d - 1 = -l for d.
1
Let o(c) = -c**2 - 5*c - 7. Let b(q) = -q. Let n(z) = -3*b(z) - o(z). Let w be n(-7). Solve 3*k + 16 - 4 = w for k.
-4
Suppose 0 = 2*f - 4*o + 4, -2*o + 11 = 3. Let u = 5 + -3. Suppose -u*s - 8 = -f*s. Solve 0*g + 8 = -s*g for g.
-4
Let b(m) = m**2 + m - 7. Let c be b(-5). Suppose -5*w + 15 = -4*i + 68, -2*w + 2*i - 22 = 0. Let f = w + c. Solve -f - 5 = 3*q for q.
-3
Let t = 148 - 146. Solve -t*s = -4*s + 10 for s.
5
Let s(n) = 5*n**3 + 36*n**2 + 3*n - 16. Let a be s(-7). Suppose 0 = v + 2*v + 3. Let i = -1 - v. Solve 3*k = -i*k + a for k.
4
Let h(k) = 2*k - 26. Let q be h(13). Solve q = -l + 1 + 4 for l.
5
Let p(b) = -b + 7. Let h be (7/3)/(6/18). Let n be p(h). Solve 0 = -n*f - 2*f for f.
0
Let v(y) = y**3 + 10*y**2 + 10*y + 12. Let n be v(-9). Let r be (n/(-6))/(3/(-12)). Solve i - r = -i for i.
1
Suppose 3*k - 24 = -0*k. Suppose -k = -m - 3*m. Solve -m*h - 2*h = -12 for h.
3
Suppose 20 = -i - 3*s + 8*s, -4*s + 16 = -2*i. Solve -4*t + 15 + 5 = i for t.
5
Let g be 4/30 + (-1036)/(-105). Solve 0*m = 2*m - g for m.
5
Let a(b) = -b**3 - 2*b**2 + 2*b + 2. Let r be a(-3). Suppose 15 = -2*k - 5*c, 3*k = r*k - 4*c - 12. Solve k*v - 6 = 3*v for v.
-2
Let f(u) = u**2. Let a be f(0). Solve a*g - 4*g = 0 for g.
0
Let u be 60/(-8)*4/(-6). Solve u = p + 8 for p.
-3
Let s(h) = -h**2 + 11*h + 13. Let c(u) = -3*u**2 + 23*u + 27. Let o(x) = -2*c(x) + 5*s(x). Let f = 11 - 19. Let j be o(f). Solve z = j*z for z.
0
Let s be (12/15)/((-2)/(-30)). Let h = s + 3. Solve p - h = 4*p for p.
-5
Let n be 4*(0 + -1) + 3. Let v be (-3 - n)*(-6)/4. Solve r + 10 = v*r for r.
5
Suppose -z = 3*v - 8, -5*z + 10*z + v - 54 = 0. Suppose 0 = -5*q + z - 51. Let g be (2*-3)/(6/q). Solve 3*u + 25 = g*u for u.
5
Let j(n) = -2 + 5*n**2 - 3*n - n**3 + 2. Let l be j(4). Let k be 5 + 0*1/(-2). Solve -l*c = -k*c - 2 for c.
-2
Suppose -4*v - 10 = -30. Let j(h) = -h**2 + 4*h + 5. Let u be j(v). Solve -4*o - 6 - 2 = u for o.
-2
Let z(h) = 11*h - 42. Let x be z(4). Solve 0 = o - x + 4 for o.
-2
Let d(c) = 2*c**2 + 13*c - 2. Let s be d(-7). Suppose -5*y = -4*v + 4 - 29, v + 5*y = 0. Let t = v + s. Solve -3*i + 7*i = t for i.
0
Let j = 5 - 6. Let v be (-3 + -1)*j/2. Solve 0 = -3*k + v - 5 for k.
-1
Let b be (-21)/(-6) + 6/(-4). Suppose -b*z = -5*z + 6. Suppose -z*k + 3*o = k - 21, -17 = -k + 3*o. Solve 3*i = -k*i + 20 for i.
4
Suppose 2*l - 6*l + 2*x = 0, x - 10 = -3*l. Solve 4*z = l*z - 6 for z.
-3
Let s(d) = d**3 + 5*d**2 + 2*d - 5. Let k be s(-4). Suppose -k = 4*l - 3*h, -6*l - 4*h = -l - 35. Suppose -4*w + 45 = 5. Solve -u + l*u = -w for u.
-5
Let p(f) = -f**3 - 2*f**2 + f - 1. Let c be p(-3). Suppose -4*z - 5 = -c*l - 25, -4*z = -l - 4. Solve -k - 4 = -z*k for k.
-4
Let t(k) = -k**3 - k**2 - k - 6. Let m be t(-2). Solve -c + 4 - 1 = m for c.
3
Let o be 5/(15/42) - 0. Let l = 20 - o. Let j = l - 3. Solve 4 = 2*m - j*m for m.
-4
Suppose -4*s + 11 = 5*p, 3*p = s - 8 + 1. Solve -t + s*t = -15 for t.
-5
Suppose u - 6 = -3*r, u = 2*r + 5*u - 4. Solve 0 = r*j - 7 + 1 for j.
3
Let a = 13 - 7. Suppose -2*j - a = m - 2*m, 15 = -3*j. Let c = -2 - m. Solve 6*i - c*i - 20 = 0 for i.
5
Let o be (2/(-3))/(4/(-12)). Solve 0 = o*s + s for s.
0
Let y be 6 + -1 - (-2 + 2). Suppose 0 = 4*d + 4*t - 80, 6*d - 4*d + 4*t - 42 = 0. Suppose -k + 2*v = 4, -2*v + d = y*k + v. Solve k = 2*j + 12 for j.
-5
Suppose 3*a + a = -12. Let w(k) be the second derivative of -k**4/12 - 2*k**3/3 - k**2 + k. Let m be w(a). Solve -m = -2*l - 3 for l.
-1
Suppose 2*c + 3 = c, 19 = 4*j - 5*c. Solve 2*k - j - 7 = 0 for k.
4
Suppose -3*t - 2*w - 9 = -2*t, -4*t + 4*w = -24. Solve 2*c - 5 = t for c.
3
Suppose -5*q - 2*r = 9, r = -2 + 5. Let j be q/(-4) + 25/20. Solve -d = d + j for d.
-1
Let f be ((0/(-1))/(-2))/(-2). Suppose 4*q = 4, 5*q - 4 = z - 3. Suppose -4*v = 4, 4*v + z = -f*r + r. Solve s + 0*s = r for s.
0
Suppose -4*v = -9*v + 25. Solve -v = 2*j + 5 for j.
-5
Let k(p) = -3*p + 63. Let l be k(20). Solve o - l*o = -6 for o.
3
Suppose 0 = -3*u - 1 + 7. Suppose 5*r = 3*r, -4*d + 4 = -4*r. Solve -z - d = u for z.
-3
Suppose 3*b - 15 = -2*b. Suppose 0 = -i + 2*r - 5*r + 2, -i + b = 4*r. Let h = i + 11. Solve h = 3*g - 5*g for g.
-5
Suppose 4*r + 44 = -4*q + 8, 4*r + 26 = -2*q. Let y = q + 5. Solve y = -2*u + 4*u - 8 for u.
4
Let b = -78 + 81. Solve -4*l = 1 + b for l.
-1
Let l be (-1)/4*(-13 - -5). Suppose l*t - 1 - 5 = 0. Solve -n = -t*n - 10 for n.
-5
Let w be (-12)/(10/8 + -2). Let c be (-2)/(-6) + w/6. Solve c*q - 5 = 2*q for q.
5
Let r = 17 + -15. Solve r*p - 6 = -4 for p.
1
Let n = 48 - 45. Let y = -3 + 4. Solve y = -n*h + 2*h for h.
-1
Suppose -97 = -3*f + 41. Let o = f + -26. Solve 4*b + o = -b for b.
-4
Let y(w) = -20*w + 3. Let l be y(-3). Let x be l/18 - (-1)/(-2). Solve q + x = 4*q for q.
1
Let q(r) = r - 2. Let i be q(2). Let z(x) = x + 12. Let j be z(-8). Let g be 0 - 1/(-2)*j. Solve i = -w + g*w for w.
0
Let l(c) be the third derivative of c**5/60 + c**3/6 - c**2. Let u = 22 + -23. Let s be l(u). Solve 0 = -w + s*w for w.
0
Let g(w) = 3*w**2 + 9*w + 3. Let y be g(-4). Suppose 3 - 15 = d - 3*o, -4*d = -4*o + 40. Let l = y + d. Solve -26 = 5*r - l for r.
-4
Suppose 2*q + q = 15. Suppose -q*p - 20 = 5*l, -p = -2*l + 3*p + 16. Solve l*x - 4*x = 0 for x.
0
Let m be 0/(3 + (-1 - 1)). Solve m = -0*d + 2*d for d.
0
Let o be (24/(-10))/((-18)/60). Let q = o + -6. Solve -d - q = -6 for d.
4
Let f(v) = v**2 - v - 4. Let h be f(-2). Solve 0 = 5*t - h*t - 9 for t.
3
Suppose 3*n - v - 25 = v, 3*v - 12 = 0. Let x = n - 10. Let o = -1 + 1. Solve o = -5*z - 6 + x for z.
-1
Let j(u) = u**2 - u. Let a be j(3). Let v(m) = m - 6. Let c be v(a). Suppose -s + 3 = -c*s. Solve 7*h = s*h + 16 for h.
4
Let d = -98 - -103. Solve -d*o - 15 = -0*o for o.
-3
Let v(c) = 2*c - 3. Let p be v(2). Let a = p + -1. Suppose -6 