*s + 5*z - 3. Solve -x*m + 1 + s = 0 for m.
2
Let u = 8 + -6. Suppose -3*k = -0*t + t - 13, -2*k + 2 = 4*t. Suppose -2*d = k*m - 29, 19 = 3*m - 0*d + u*d. Solve -3*l = -4*l + m for l.
5
Suppose -5*m - 5*r + 35 = 0, -r + 2 = -5*m + 25. Suppose 16 = 2*j - 6. Suppose 2*u + 15 = -u, 0 = 2*x + 5*u + j. Solve 2 = -m*k + x for k.
1
Let p = -7 + 7. Suppose -5*f + 1 = 3*i - 6*i, p = -2*i + 3*f. Solve i*l - l = -4 for l.
-2
Suppose 100 = 2*u + 3*u. Suppose 34 = 3*z - 4*f, 4*f = -u + 4. Solve 0 = 2*q + z for q.
-3
Let p = 8 - 5. Solve -p*r + r = 4 for r.
-2
Suppose 5*u = 15, -6*h - 2*u + 14 = -2*h. Solve i + h = -2 for i.
-4
Let f = 17 - 13. Solve a = f + 1 for a.
5
Let g = 22 + -11. Let o = 11 - g. Solve x + o*x + 1 = 0 for x.
-1
Let m(l) = l**2 + 4*l - 9. Let g be m(-7). Solve g + 8 = -5*h for h.
-4
Let y(h) = -h**3 - 7*h**2 + 7*h + 4. Suppose 4*o + j + 2 = -30, 5*j = -5*o - 40. Let x be y(o). Let s = 7 - 5. Solve s*w = -x + 2 for w.
-5
Let j = 66 - 63. Let i(h) = -h**2 - 6*h + 1. Let m be i(-6). Solve -m = -w + j for w.
4
Let m be (10/(-6))/((-5)/(-15)). Let f = 9 + m. Let h be f - (1/1 - -2). Solve -3 = -g + h for g.
4
Let f(r) = -r**3 + 6*r**2 - 5*r + 3. Let d be f(5). Let j be 2*d/6*0. Solve j*g + 15 = 3*g for g.
5
Let d(p) = p**3 - 8*p**2 - 7*p - 13. Let a be d(9). Solve 25 = -a*u - 0*u for u.
-5
Suppose -2*s + 17 = -5*n, -2*s = 3*n - 2*n - 11. Suppose 6 = v - 8. Let u = v - s. Solve -u = -0*x - 4*x for x.
2
Let s = -5 - -17. Solve -s - 4 = 4*l for l.
-4
Suppose -3 = -0*s - 3*s. Suppose 0 = -5*n + 26 - s. Solve -n*d = -6 - 4 for d.
2
Let t be 2/7 - (-12)/7. Let y be 16/(-6)*27/(-18). Solve z - t = -y for z.
-2
Let r = 3 - -2. Suppose -4*q - 10 = -5*q + m, 4*q + 3*m = r. Solve q = 3*x - 10 for x.
5
Suppose -5*o + 16 + 14 = 0. Suppose -2*f - 4 = -6. Solve -t - f = -o for t.
5
Let y = -2 + 5. Suppose y*c - 18 = -6. Suppose 0 = -2*j - 0*j. Solve j = -b - c*b for b.
0
Let v(m) = 4*m + 4. Let y be v(12). Let j = y + -27. Solve -u + j = 4*u for u.
5
Let q(s) = s - 4. Let z(k) = -k + 2. Let h be z(-5). Let p be q(h). Solve 5*a = p + 2 for a.
1
Let h(q) be the first derivative of q**3/3 + 7*q**2/2 + 7*q + 2. Let x be h(-6). Suppose 9 = 3*i - 2*a - a, 0 = -2*i - 3*a + x. Solve 0*p + i = 2*p for p.
1
Let m = 3 - 7. Let u be ((-21)/(-14))/((-2)/m). Suppose -u*f - 2*j - 18 = -8*f, -13 = -3*f - j. Solve -3*z = -f - 11 for z.
5
Suppose 5*c + 10 = 5*t, -5*t + 6*c + 10 = 5*c. Solve 6*y = t*y - 4 for y.
-1
Let p = 68 - 61. Solve 4*c = -p - 5 for c.
-3
Let b be ((-8)/(-12))/((-2)/(-15)). Suppose 5 + 5 = b*o. Suppose -q = 2*q. Solve -8 = o*m - q*m for m.
-4
Let a be -5*5/((-25)/(-4)). Let l be (1/2)/(a/(-168)). Solve -6 = -5*q - l for q.
-3
Let r(m) = -m + 2. Let v be r(0). Solve 7*d = v*d - 5 for d.
-1
Let q be (3 + -4 - -6)/1. Solve -3*w - 2 = -q for w.
1
Let c be 1 + 2 - (0 - -3). Suppose 2*f - q - 5 = 0, c = 3*f + 5*q - 13 - 14. Let b be ((-3)/(-2))/(3/34). Solve -1 = f*s - b for s.
4
Suppose 6 - 66 = -5*p. Let c = p + -8. Solve -c*x + 0*x = -12 for x.
3
Suppose -3*f + 15 = 0, 5*f - 35 = 3*n + f. Let c be (-18)/n - (-10)/25. Solve -c*u + 10 = -2 for u.
3
Let n(u) be the first derivative of u**3/3 + 5*u**2/2 - 10*u + 2. Let s be n(-7). Solve 5*w + 6 = -s for w.
-2
Suppose 14 - 4 = 2*u. Let n = u - 0. Suppose f = -n*m + 79, -4*f + 5*f = 2*m - 26. Solve 0 = 2*b + 3*b - m for b.
3
Let o = 161 + -158. Solve -o*j + 0*j - 6 = 0 for j.
-2
Let o = -1 + 4. Suppose 2 = m - 10. Solve -m = -o*h - h for h.
3
Let f = -3 + -2. Let l = 8 + f. Let s = -28 + 40. Solve s = l*h - 0*h for h.
4
Let y be (-36)/(-10)*65/39. Let r = y - -7. Solve -5 = 2*b - r for b.
4
Suppose -7 - 3 = -2*j. Suppose -o = -3*y + y + 2, 0 = -y + o. Solve i = y*i + j for i.
-5
Let v(m) = m**3 - 2*m**2 - m + 2. Let b be v(2). Suppose 3*f - 2*k - 3*k = 0, -k = 0. Let z be 3 + (3 + f)/3. Solve b*p - z*p = -12 for p.
3
Let t be 3*1/(6/16). Let r be (12/16)/(3/8). Solve r*q + t = -2*q for q.
-2
Suppose 1 = o + 8. Let u = 8 + o. Let w be (-195)/(-27) - 2/9. Solve 4*k + w = -u for k.
-2
Let c = 13 - 11. Solve -2*z = -c + 4 for z.
-1
Let q(s) = s**3 - 16*s**2 - 16*s - 15. Let d be q(17). Solve 0 = -4*k + d + 6 for k.
2
Let h = -54 - -60. Solve -3*v - h = -5*v for v.
3
Let w(l) = l**3 + 4*l**2 + 6*l**2 + 0*l + 2*l - 5*l**2 - 5. Let g be w(-4). Solve -5 = -g*i - 14 for i.
-3
Let j be (-2 - 1) + 0/4. Let z be j/6*(4 + -4). Solve z = d + d for d.
0
Let p(l) be the second derivative of -l**5/20 + l**4/4 - l**3/6 + 2*l**2 + 4*l. Let v be p(3). Solve 0 = -i - v + 2 for i.
1
Suppose 5*i = 12 + 8. Suppose -v + 4 = v. Suppose 2*c - 50 = -2*c - p, 3*c = v*p + 32. Solve -4 = i*y - c for y.
2
Suppose 3*w + 2*w - i = 36, 3*w - i = 20. Solve 3*y - 1 = w for y.
3
Let r(u) = 3*u**2 + u + 1. Let w be r(-1). Suppose 5 = -s, w*p - 2 = 3*s + 19. Solve 0*q = p*q for q.
0
Let d(f) = -2*f - 6. Let u be d(-4). Suppose -r - u*r = 0. Solve t + 0*t = r for t.
0
Let t(k) = k**2 - 7*k + 4. Let h be t(4). Let c = -5 - h. Let n be (-3)/c*9/(-3). Solve n*q + 4 = q for q.
-2
Let i(z) = -z**3 - 4*z**2 - 3*z + 2. Let d be i(-3). Suppose -11 = -d*j - 1. Solve 0 = -a - 0*a - j for a.
-5
Suppose 3*t + g - 4*g = 12, -5*g - 16 = -4*t. Suppose 2*p - w - 16 = -3*w, t*p - 22 = w. Let u(l) = l**2 + 3. Let b be u(0). Solve -b*i = -i + p for i.
-3
Let y(h) = h**2 + 5*h - 10. Let w be 69/(-9) + 4/6. Let a be y(w). Solve a*u - 2 = 6 for u.
2
Suppose x - f + 5 = 2*x, -6 = -3*f. Let k be (-28)/(-6) + (-2)/x. Suppose -g - 35 = -36. Solve k*d = 21 - g for d.
5
Let f be 2/(3/((-3)/(-2))). Let o be 7/35 - (-199)/5. Let l = o - 29. Solve f = 5*i + l for i.
-2
Suppose -8*l + 33 + 31 = 0. Solve o = -o + l for o.
4
Let i(z) = z**3 - 4*z**2 - 4*z + 1. Let n be i(5). Let d = n + 0. Let u = d + -5. Solve -4*o - 17 = -u for o.
-4
Let n(z) = -z**2 - 6*z + 5. Let m = 5 + -10. Let c be n(m). Suppose -2*r = 4*b - c, 4*b + 5*r = -0 + 1. Solve -b = 5*p + 1 for p.
-1
Let j = 26 + -9. Let m = -17 + j. Solve m*n = n for n.
0
Suppose 8*c - 6*c = 8. Solve -p = 3 - c for p.
1
Let x(m) = -22*m**3 + 2*m + 1. Let c be x(-1). Solve 1 = -5*g + c for g.
4
Suppose 2*m - 3*m + 5 = 0. Suppose 1 = m*s - 9. Solve -s*v = -7*v - 15 for v.
-3
Let b(q) = 2*q**3 - 4*q**2 + 3*q - 1. Let w = -9 + 13. Suppose -w*i - 6*v = -v - 8, 8 = 4*i - 2*v. Let l be b(i). Solve -3*g + 4 = -l for g.
3
Suppose 0 = -0*j + 5*j. Suppose y + 4*y - 80 = j. Solve -y = 3*l - 1 for l.
-5
Suppose 2*g = -3*g + 20. Suppose -77 = -4*n - q, 0 = -n - g*q - 0*q + 8. Solve 0 = -0*d - 4*d - n for d.
-5
Suppose 3 = 2*o - 1. Suppose 24*c = 23*c + 9. Suppose 0 = s + 1, 3*k - 4*s = -2*k + 29. Solve -o*q = -k*q + c for q.
3
Let c(a) = -a**2 - 7*a - 6. Let u be c(-5). Let s = 8 - u. Let l(z) = z**3 - 8*z**2 - z + 10. Let j be l(8). Solve 0 = j*g - g + s for g.
-4
Let x be -1*(-1)/((-1)/(-6)). Suppose -15 = 5*h, -k + 2*h = 7*h + 11. Let a be 3/x + 62/k. Solve v = 5*v + a for v.
-4
Let z(u) = u + 11. Let w be z(-6). Solve 1 = 3*i - w for i.
2
Let r(l) = -6*l - 11. Let v be r(-2). Solve -v + 4 = m for m.
3
Suppose 3*w = 0, -3*w = -4*y - 0*y + 20. Suppose 4*b - 3 = y. Suppose b*n - 12 = 2*v, -v = -4*n + 1 + 11. Solve 0 = -0*k + n*k + 8 for k.
-4
Suppose -2*n = 4*u + u + 23, 5*u + 32 = -3*n. Let h be (n/(-27))/(1/6). Solve -i - 3 = h for i.
-5
Let r be (0 + 2/(-3))*-6. Let q = 0 + 8. Let h be 60/q - 2/(-4). Solve -3*x + r = -h for x.
4
Let p be (-5)/10 + 27/2. Suppose -4*v = 4*d - p + 1, 1 = -d. Suppose 0 = -2*w + w - v*u, -2*u - 14 = -3*w. Solve -w*a = a for a.
0
Let j = 22 - 18. Solve -j = -3*g + 8 for g.
4
Suppose -5 = -h - 5*w - 2, 5*w + 13 = h. Suppose -7 = -5*f + h. Suppose s = f*s. Solve 0 = -s*m - m - 3 for m.
-3
Let t = 13 + -10. Suppose -2*k = 5*d + 23, -k - 9 = 4*d + 7. Let h be (-1)/3 + (-37)/d. Solve -t*f = f + h for f.
-3
Let l be (-2)/(-6) - (-8)/3. Suppose s + 2*s = 0. Suppose -q = -1 - s. Solve n = q - l for n.
-2
Suppose q + 4*q - 15 = 0. Suppose -32 = -4*r - 24. Solve q*m = r*m + 3 for m.
3
Let a = -1 - -3. Let h = -4 + 4. Solve a*t = -h*t - 8 for t.
-4
Suppose -4*s + 2*s = 3*c - 25, -s + 4*c = 15. Let q(z) = z + 1. Let h(r) = r - 3. Let m be h(5). Let v be q(m). Solve -v*g = -s*g + 6 for g.
3
Let y = 6 - 3. Solve -h = -y*h for h.
0
Suppose 0 = -5*i - 5 + 80. Suppose 4*a = a + i. Suppose 0 = 5*g - 25 + a. Solve 2*z = 3*z + g fo