ose -2*q - 3*m = m + 4, -3*q + 8 = -m. Let p be r(q). Solve p*s = 3*s for s.
0
Let n be 3/(-6)*(0 - 0). Solve 3*f + 4 - 7 = n for f.
1
Suppose -3*d + 22 = p, -2 = -p + 2*d + 5. Solve 2*c - 5 + p = 0 for c.
-4
Let y = -5 + 10. Let p = 8 + -6. Let b be 33/(-3*(-1)/p). Solve y*a = -b - 3 for a.
-5
Suppose 2*x + 9 = 5*x. Solve -6*o - x = -5*o for o.
-3
Let v = 6 - 2. Suppose 5*w + 3*s - 16 = 0, -v*s - 7 = w - 0*s. Solve 3 - w = j for j.
-2
Let n(w) = w - 3*w**2 + w**3 - 1 + 0 + 8*w**2. Let h be n(-5). Let v be (8/(-10))/(h/15). Solve 3 = -v*s - 1 for s.
-2
Suppose -a + 4*m - 1 + 2 = 0, 17 = -a - 5*m. Let h = 1 - a. Let w be 36/10 + h/20. Solve -4*v + w = -5*v for v.
-4
Let r(n) = -n**3 - 9*n**2 + 10*n + 15. Let c be r(-10). Suppose 3*l + 0 = c. Solve 3*v = 2*v - l for v.
-5
Let a(w) = -w**3 + 5*w**2 + 7*w - 3. Suppose -3*f - 8 = 5*v, -4*v + 3*f = 7*f + 8. Let c be (6/5)/(v/(-5)). Let k be a(c). Solve -k*o + 5*o = 0 for o.
0
Let x be 11 + -2 - -1 - 1. Let u = -8 + x. Suppose 2*m - 10 = -0*m. Solve -m + u = 2*g for g.
-2
Suppose -2 = 2*c + k - 6, -5*c = 2*k - 10. Suppose 7 = 5*d - 8. Suppose 105 = c*f + d*f. Solve -5*z + 4 = -f for z.
5
Let r = -11 - -11. Let b be (1 + 0 - r)*0. Solve q + b = -1 for q.
-1
Let p = -57 - -41. Let q = p - -10. Let b = 9 + q. Solve n = -b*n - 8 for n.
-2
Let c(s) = -s**3 - 8*s**2 - 6*s + 10. Let p = 8 - 15. Let n be c(p). Solve n = -u + 6 for u.
3
Let y(v) = v + 8. Let w be y(-6). Suppose -4 = s - w*s. Solve -s*z = -5*z - 3 for z.
-3
Let x = 9 - 7. Let l be 6/27 + x/(-9). Solve l = c + 1 - 4 for c.
3
Let r(i) = -3*i - 18. Let q be r(-6). Solve q = 3*v - 6 - 6 for v.
4
Suppose 0 = 4*k - 12, 2*k + 11 = m + 5. Suppose -m = 4*c - 3*c. Let g be 1/(1 + c/15). Solve w + 20 = g*w for w.
5
Let n = -5 + 7. Let h(u) = -u**n - 1 - 7*u + 1 - 4. Let p be h(-6). Solve -3*i - 1 = p for i.
-1
Suppose 4*j + 0 = -k - 2, 0 = -3*j + 2*k + 4. Solve -15 = -5*p - j for p.
3
Let q = -6 + 7. Suppose -r = 2 + q, r = a - 3. Solve a = 3*x - 0*x - 15 for x.
5
Let p = -1 - -1. Suppose -n - 2*q = 0, 0 = 3*n + 2*q - 3 + 7. Let f = n + 11. Solve p*v + 3*v = f for v.
3
Let w(v) be the second derivative of v**3/3 - 3*v**2/2 - v. Let d be w(3). Solve m - 16 = -d*m for m.
4
Let y(m) = 2*m**3 - 2*m**2 - m - 1. Let w be y(2). Let i = 28 + -18. Suppose 4*b - g = b + i, -w*b + g + 14 = 0. Solve b*f + 2*f = -8 for f.
-2
Let x be 0/(-2) + 3 + 1. Let s be ((-10)/8)/(x/(-64)). Solve 3*i - 7*i = s for i.
-5
Suppose 4*z - 1 = -r + 15, 4*z - r = 8. Solve 2*v = 3*v - z for v.
3
Suppose -42 = -7*m + 14. Solve m*s - 3*s = -5 for s.
-1
Suppose -17 = -4*l - g, 0 = -5*l + 4*g - 0*g + 16. Let b be (-4)/2*-1*2. Suppose s = b*s. Solve -l*f = -s*f + 8 for f.
-2
Suppose -w = 2*x - 8, 2*x + w = -3*x + 17. Let c = x - 1. Solve 5 = -c*t + t for t.
-5
Suppose 2*m - m + a - 1 = 0, 17 = 5*m + a. Let h be 68/16 + 7/(-28). Solve -h*i - 8 + m = 0 for i.
-1
Let v(j) = j + 11. Let p be v(-6). Solve -5*m - 5 = p for m.
-2
Suppose f - 4 = 1. Solve -t - f + 1 = 0 for t.
-4
Let r(i) = -i**2 - 7*i + 6. Let f be r(-7). Solve -y - f = 2*y for y.
-2
Let k be 0 + 6 + (-2)/2. Suppose 0 = 5*l - 5*n + 7*n - 70, -5*l + 75 = n. Solve k*u + 6 = l for u.
2
Suppose 6*z - 9*z = -5*j - 21, 0 = -3*z - 5*j - 9. Solve -9 = z*k - 3 for k.
-3
Suppose 2*n = 3*h + 2*h + 5, 3*n - 19 = -4*h. Solve 0 = i + 2 - n for i.
3
Suppose 0 = -5*k + 10 + 5. Suppose 4*d = -3*n + k, -5*d + n + 1 = 2. Solve b + b = d for b.
0
Let t be (-14)/10 - 2/(-5). Let y be 5 + 2 + -2 + t. Suppose 3 = y*p - p. Solve -w = -2*w - p for w.
-1
Let k = 0 - -2. Suppose k*w = 4*c + 16, 0 = -5*w - c + 3*c + 24. Solve w = -5*y - 1 for y.
-1
Let p be ((-6)/(-9))/((-2)/(-6)). Suppose 2*q - 3*s - 1 = -p*s, -3*q + 2 = -2*s. Solve 0 = -b - q*b - 2 for b.
-2
Let i be (84/(-20) - -3)*-5. Solve 2*b + 2 = -i for b.
-4
Suppose 0 = -5*a - 4*j + 3, 5*j - 5 = 3*a + 4*j. Let b be 2/a*(-3 - 1). Solve 0*o = -2*o - b for o.
-4
Suppose k = -n - 3*n + 3, 2*k + 20 = 5*n. Suppose 6 = a + n*h, -h - 1 = -a + 2. Solve -3*c + a = 1 for c.
1
Let w(f) = f - 2 + 8 - f**3 - f**2 + 5. Let l be w(0). Solve 3*i - l = -5 for i.
2
Suppose -5*z + 0*p + 55 = -3*p, z - 11 = 2*p. Let n(c) = -c**3 + 5*c**2 - 4*c + 2. Let v be n(3). Let i = z - v. Solve -13 = i*k - 4 for k.
-3
Let x(c) = -c + 13. Let u be x(7). Let k be (-2)/((-10)/u + 1). Solve 2*g = -1 + k for g.
1
Let d be 0/(-1) - (5 - 5). Let f be 0*(d - -3)/(-6). Suppose 2*w = -l + 11, -2*w + 2*l + 0 = -8. Solve -w*j + 25 = -f for j.
5
Let y(x) = -x**2 - 9*x - 11. Let h be y(-8). Let i be 1 + -1 - h - -2. Solve 10 = -i*n - 10 for n.
-4
Let h be ((-12)/5)/((-9)/60). Let f(p) = p**3 - 2*p**2 - 3. Let d be f(3). Suppose 0*m = -3*m + 6. Solve -m*v + h = -d*v for v.
-4
Suppose -z + 5 = y, -4*y - 4 = -2*z + 6. Suppose -u + 9 = c, 3*u - 7 = z. Solve c*w = 3*w - 4 for w.
-2
Let x(j) be the third derivative of -j**4/24 + j**3/2 + 6*j**2. Let v be x(0). Solve -v = z + 2 for z.
-5
Let y = 4 - -8. Suppose j + 4*w + 0*w + y = 0, -5*j = w + 3. Solve 4*t - 5 - 3 = j for t.
2
Let y(g) = -g + 4. Let k be 0/(-3)*(-1 - 0). Let x be y(k). Solve 0 = -l - 3*l + x for l.
1
Let r(h) = h + 2. Let v be r(6). Solve 4*w - 2*w = -v for w.
-4
Suppose -2*l - 4*b + 10 = 0, 0 = -0*l + 3*l + 3*b - 12. Solve 0 = l*p + 4 - 1 for p.
-1
Suppose 0 = -6*f + 3*f. Let k(y) = -y**2 + 6*y. Let n be k(6). Solve n*q + 4*q - 8 = f for q.
2
Suppose 5*z + 4 = 14. Suppose 6*m - 16 = z*m. Solve -m = -w - 3*w for w.
1
Let z be 0 + (-1)/(-4)*0. Suppose -6 = -z*j - j. Solve j = -5*k - 4 for k.
-2
Suppose -3*y = -2*y - 4. Suppose 6*k - 2*p = 3*k + 16, -y*p = -k + 22. Solve -k*g = g for g.
0
Let k be (-6)/(-10) - (2 + (-54)/10). Solve -k = 3*o + 2 for o.
-2
Suppose -3 = -4*w + 5. Let x be (-8)/(-28) + (-6)/21. Solve x = w*j - 9 + 3 for j.
3
Suppose 3*h = 5*h. Suppose h = 3*j - 4*p - 6, 8 = -2*j + 6*j - 3*p. Solve 0 = -j*f + 2 for f.
1
Let a be (-9)/6*(-5 + 3). Let m be 0*((-28)/8 + a). Solve 2*o + 2*o - 4 = m for o.
1
Suppose 4*q = -2*z + 8, 2*q + 0 = -2*z + 6. Solve 2*b = -0 - z for b.
-1
Let t be 4/(-6)*(-18)/12. Solve -t = -0*d - d for d.
1
Let o(y) = -y**3 - 2*y**2 + y - 2. Let i be o(-3). Suppose b + 2 = i. Solve 3*s = 1 + b for s.
1
Let g(a) = 6*a + 46. Let t be g(-7). Solve z = -t*z for z.
0
Suppose -2*y = 5*m + 7, 2*y - 28 = 5*m - 5. Suppose 0 = y*t - t - 6. Solve j + t = 3 for j.
1
Let v = 16 + -3. Let o = -11 + v. Solve -4*i + 2 = -o for i.
1
Let b(d) = d**2 - 6*d + 5. Let g be b(5). Let j be 27/4 - 1/(-4). Suppose -12 = -j*x + 3*x. Solve -w - 2*w - x = g for w.
-1
Let n(x) = x**2 + 6*x + 10. Let c = 8 - 12. Let u be n(c). Solve -u = 2*f + 2 for f.
-2
Let x = -17 - -20. Solve -x*r = r - 12 for r.
3
Let z(k) = k - 5. Let p be z(5). Let r(c) be the first derivative of 7*c**3/3 - c**2/2 + 3. Let v be r(1). Solve -v = -p*y + 2*y for y.
-3
Let k(f) = -f - 1. Let u(r) = 2*r**2 + 4*r - 3*r**2 + 4 - 3*r. Let g(x) = -4*k(x) - u(x). Let z be g(-4). Solve 2 = 2*l + z for l.
-1
Let y(a) be the first derivative of a**4 + a**3/3 - a - 1. Let v = 1 + 0. Let m be y(v). Solve 2*b - 4*b + m = 0 for b.
2
Suppose -7 + 1 = -5*i - 2*t, -4*i + 2*t = -12. Solve -i*n = -0*n for n.
0
Suppose -2*a + 5 = 1. Solve -n + a = n for n.
1
Let q(k) = -k**2 - 5*k - 2. Suppose 2*g + p = -0 - 9, -5*g + 3*p + 5 = 0. Let c be q(g). Solve b - 3*b = -c for b.
2
Let w be 3/4*(-1 - -5). Solve w*d = -0 - 6 for d.
-2
Suppose 1 = -o - 3. Let k be 2*(0 - (-2)/o). Let u be (-23)/(-4) + k/(-4). Solve x = u*x for x.
0
Let s = 46 + -46. Solve -4*t + 0 + 8 = s for t.
2
Let p(h) = 3*h - 2. Let g be p(4). Let t = -7 + 9. Suppose -4*v + g - t = 0. Solve 7 + 1 = v*f for f.
4
Let r be (3/(-2))/((-6)/(-8)) + 10. Solve 3*t - r*t = 5 for t.
-1
Let j be 0/(4*(-3)/(-6)). Suppose -a - a + 8 = j. Suppose 2*i - i = 0. Solve -4*c - 24 + a = i for c.
-5
Suppose 8 = 3*h - h. Suppose o = 2*f - 1, -o + 2 = -h*f + 7. Let g(d) = d + 3. Let r be g(0). Solve -f*w - r = w for w.
-1
Let c(a) = -a**2 - 9*a. Let j be ((-18)/(-4))/(1/(-2)). Let f be c(j). Solve -k + 3*k + 4 = f for k.
-2
Let z(h) = -h**2 + 23*h + 30. Let l be z(24). Solve k - l = 3*k for k.
-3
Suppose -19 = -3*l + 5*l - 5*h, 0 = -2*l + h - 15. Let w = 9 + l. Solve -2*o = w*o - 4 for o.
1
Let a(j) = -j**3 - 5*j**2 + 6*j - 3. Let b be a(-6). Suppose -4*d + 6*d = 6. Let x = d + b. Solve x*