 + 10 = 9*w. Suppose 3*p - 9 = w*f, 5*p - 3 = 3*f + 12. Solve -2*z + z = f for z.
0
Let y(z) = -z**2 + 8*z - 12. Let l be y(5). Solve -17 - l = -5*s for s.
4
Suppose 2 = 4*m - 2*i - 4, -3*i + 3 = 0. Solve -6*a = -m*a - 4 for a.
1
Suppose l = 4*l, -4*l = -w + 2. Solve 0 = 3*r + w*r + 20 for r.
-4
Let f be ((-15)/10)/((-1)/4). Let y be f/(-2)*(-10)/6. Solve 0 = v - y*v for v.
0
Suppose 0 = -6*q + 2*q - 8. Let m be (q/4)/((-5)/150). Let j(i) = -i**2 + 4*i + 5. Let n be j(5). Solve n = -x - 2*x - m for x.
-5
Let o(s) = 2*s - 4*s + 5*s - 13. Suppose -2*w - 2 = -2*q + 3*w, -q + 15 = w. Let g be o(q). Solve -3*t = -8 + g for t.
-4
Suppose 8*r + 20 = 3*r. Let v be 44/7 + (-4)/14. Let l = r + v. Solve -l*d - 4 = -12 for d.
4
Let y be ((0 - -4) + -3)*0. Solve p + 1 = -y for p.
-1
Let j = 9 + 24. Suppose -2*g - 3 = j. Let r be (-76)/g - 10/45. Solve -3*l - r = -4*l for l.
4
Let y = -38 - -38. Solve 2*f + 11 - 5 = y for f.
-3
Suppose v = -0*v - 2*r + 1, -4*v = -4*r - 28. Suppose -v*c + 10 = 2*o, -4*c = -o + c - 10. Solve -n - 3 = -o*n for n.
-3
Let s = 5 + 1. Let a be 3*(-1)/s*-8. Solve 0 = 5*r - a*r for r.
0
Suppose 2*l + 0*l = 40. Suppose 5*g + 3*u - l = 0, -g - 2*g + u = 2. Solve g + 1 = -i for i.
-2
Suppose -2*t - 7 = -g, 6 = -t + g + 4. Let m(s) = -s**3 - 7*s**2 - 3*s + 4. Let h be m(-6). Let j = t - h. Solve 4*z + j = 1 for z.
-2
Let g(v) = -v**2 + 4. Let d be g(0). Let w be 2/d - (-2)/(-4). Let u = -193 + 197. Solve w = -2*t - 0*t + u for t.
2
Suppose 1 = 2*j - 1. Let s(t) = -t + 3. Let l be s(0). Solve j - 7 = -l*a for a.
2
Let n = -38 - -42. Solve -15 = -h - n*h for h.
3
Suppose -5*j - 7 = v, 0 = 3*j - 8*j - 5*v - 15. Let x(p) = 20*p**2 + p. Let k be x(j). Let t = k + -3. Solve 5*n + 6 = t for n.
2
Let f be (6/4 + -1)*0. Suppose 2*b + 3*b - 10 = 0. Solve f = -b*r + 3*r for r.
0
Let y = 0 - -2. Suppose 3*o = o + y. Suppose 3 = 2*k - o. Solve -3*t = k*t + 15 for t.
-3
Let x be -3 + -3*(-15)/9. Let v be (x/5)/((-1)/(-30)). Let t be 6/2 - (0 - 1). Solve -v = s - t*s for s.
4
Let v(w) = -w**2 + 4*w. Let z(g) = 2*g + 1. Let k be z(1). Let o be v(k). Suppose -o*s = 5*m - 39, 4*m - 6 - 3 = 5*s. Solve -m*a = -a + 20 for a.
-4
Let o be (-9)/15 - (-13)/5. Let h = -8 - -11. Solve h + o = i for i.
5
Let j = -8 + 6. Let c be (-5)/10 - 26/4. Let n = j - c. Solve 2*r = r + n for r.
5
Let r(z) = -z**2 - 5*z + 2. Let a be r(-5). Let v = 6 - a. Solve -v*g + 12 = -g for g.
4
Suppose 0 = -3*z - 3*z - 36. Let o = 7 + z. Solve -2*c + o = -1 for c.
1
Let v be ((-5)/(-10) + -2)*-2. Solve v*o - 4*o = 5 for o.
-5
Let z = -15 - -6. Let w = -9 - z. Solve -2*i + w*i = -10 for i.
5
Let v be 45/(-6)*(-18)/15. Let i = 10 - v. Solve 5*u + 11 = i for u.
-2
Suppose -4*m = 2*u - 8, 0*m - 4*m = 3*u - 8. Let t(d) = -d + d**3 + 0*d - 2 - 5*d + 5*d. Let i be t(2). Solve 3*o - m = i for o.
2
Suppose 0 = 2*s + s - 6. Suppose 0 = -t + s*b + 8 - 0, 3*t = -2*b. Solve -t = -4*f - 6 for f.
-1
Let t be ((-50)/(-4))/5*-2. Let o be (-10)/t*(-5)/(-2). Solve o*u + 0 - 20 = 0 for u.
4
Let x = 27 - 27. Solve x = 3*t - t - 2 for t.
1
Suppose 0*l - 2*l = 26. Let m = -7 - l. Solve -3*o + 0 - m = 0 for o.
-2
Let r(g) be the second derivative of g**5/20 + 7*g**4/12 - 3*g**3/2 - 4*g**2 - 4*g. Let j be r(-8). Suppose -w + 40 = 3*w. Solve j - w = -2*y for y.
5
Let o be 22/6 - (-2)/6. Suppose -3*j + 5*j = 0. Solve 3*c - c - o = j for c.
2
Let p be (-11 - -9)*(-3)/2. Solve 0 = 2*s + p*s + 10 for s.
-2
Let k(c) = c**2 - 3*c + 3. Let n be k(1). Solve x + n + 0 = 0 for x.
-1
Suppose 2*r - 4*d + 14 = 5*r, 3*r = 4*d - 26. Let f = 1 - r. Solve 0 = -f*h - 15 for h.
-5
Suppose -t + 3*b + 3 = -6, 2 = 2*b. Solve -10*c - 10 = -t*c for c.
5
Let i(s) = 2*s**3 + 16*s**2 - s + 19. Let p(c) = -5*c**3 - 33*c**2 + 2*c - 38. Let b(g) = 7*i(g) + 3*p(g). Let u be b(13). Solve 0 = -3*k + u*k for k.
0
Suppose -11*p + 10*p = 16. Let b = p - -18. Solve -b*x = -6*x - 16 for x.
-4
Let m(v) be the third derivative of v**5/60 - v**4/2 + 7*v**3/6 + 2*v**2. Let h be m(13). Solve -3*z + h = z for z.
5
Let b = 7 + -6. Let u = b - -3. Solve 0 = -2*h + u + 2 for h.
3
Let x = 11 + -10. Suppose -11 - x = -3*o. Solve -o*a + 10 = -2*a for a.
5
Suppose 0 = -4*d + 43 + 5. Let a be (-3)/d*2*2. Let p be 8*(0 + a)*-1. Solve 4*z - 8 = p*z for z.
-2
Suppose 9 = -2*h - 3*g, -4*h - g + 4*g = -9. Solve 3 = -3*z - h for z.
-1
Let l be 2 + (-12)/(-8)*-4. Let a(w) = -w - 2. Let u be a(l). Solve u*f - 2 - 2 = 0 for f.
2
Suppose 0*v + 3 = 4*c - 3*v, -24 = -4*c - 4*v. Solve -c = -g - 0*g for g.
3
Suppose -3*t = 4*x - 4, -x - 3*t = 14 - 6. Solve 3 = x*w - 5 for w.
2
Suppose -4 = -7*r + 24. Solve -r = -g - g for g.
2
Suppose 4*k = -k + 20. Solve k*z = -17 + 5 for z.
-3
Suppose 48*o - 51*o = -12. Solve -3*h + 5 = -o for h.
3
Suppose -2*l + 0*l = 28. Let q be (-8)/(-28) + (-94)/l. Solve -2 = -y - q for y.
-5
Let v be 0*((-2 - -5) + -2). Suppose -29*u + 26*u + 6 = 0. Solve v = -u*l + l for l.
0
Let b = 86 - 86. Solve b = k - 0*k - 3 for k.
3
Let f(s) = -s**2 - s - 2. Let p be f(3). Let h be (8/p)/(2/(-7)). Solve -8 = -h*a - 2*a for a.
2
Let a = -180 - -180. Solve 0 = -d - 4 - a for d.
-4
Let r = -52 + 8. Let t be r/(-6) + (-4)/(-6). Solve -4*q + t = -0*q for q.
2
Suppose o + 2*z - 3 = 0, 2*o = 5*o - z + 5. Let l = 4 + o. Solve -10 = -2*r - l*r for r.
2
Let n(t) = -t**2 + 6*t - 3. Let z be n(4). Suppose 0 = z*w - 4*a - 30, -4 = 2*a + 6. Solve w*m = -2*m - 20 for m.
-5
Let m(k) = -k**3 - k**2 + k. Let a be m(-2). Suppose a*d + d - z - 12 = 0, 0 = 5*d + 5*z. Solve 2*u - 3 = d*u for u.
-3
Let o be 20/10 - (-1 - -1). Let f be (-228)/(-24) - o/4. Solve -2*v = -1 + f for v.
-4
Let i = -15 + 7. Let x = i + 7. Let j be 5/(x/3*-3). Solve -3*d = -j*d + 4 for d.
2
Let m(h) = -h - 8. Let k be m(-7). Let z be ((-2)/(-4))/(k/(-2)). Solve -z - 1 = 2*r for r.
-1
Let k(b) = -7*b**2 + b + 2. Let j be k(2). Let s be 4*9/j*-2. Let m(g) = g**2 - 2*g + 3. Let r be m(2). Solve -r = s*f - 6 for f.
1
Suppose -5*o - 25 = -5*f, 7*f - 3*f - 3*o = 20. Solve -f*p = -2*p + 3 for p.
-1
Let h be 3/2*(-40)/(-12). Let i(q) = q**3 + 3*q**2 + q - 1. Let v be i(-2). Let r = 3 + v. Solve -r*o = -1 + h for o.
-1
Let i(q) = 9*q + 6. Let v(d) = -26*d - 17. Let t(g) = 17*i(g) + 6*v(g). Let n be t(-2). Let r be (n/4)/((-9)/(-6)). Solve p = 2 - r for p.
1
Suppose 5*f + j - 10 = 0, -2*f = -4*j - 44 + 18. Solve 0 = f*k + k for k.
0
Suppose -1 = -5*t - 31. Let q = t + 8. Let k = -4 - -11. Solve 5*f - k + q = 0 for f.
1
Let r(x) = x**3 + 9*x**2 - 10*x + 2. Let n(f) = -f**3 - 10*f**2 + 11*f - 2. Let s(v) = 4*n(v) + 5*r(v). Let l be s(-6). Solve -l*q - q + 9 = 0 for q.
3
Let a be (-1)/(39/(-9) + 4). Solve -a*p + 6 = -5*p for p.
-3
Let v = -22 - -27. Let a = 1 + v. Solve -2*j + a = -4 for j.
5
Suppose -13*p + 6*p = -14. Solve 6 + p = 2*r for r.
4
Let g be (6 + -4)/((-2)/(-3)). Suppose 4*b - 5 = -g*v, 4*v = -b + 3*b + 14. Suppose 50 = 3*h - 5*q, q = 3*h - v*q - 46. Solve t + t = h for t.
5
Let c(v) = 5*v + 1. Let f be c(3). Suppose -2*a - 3*a - 5 = -5*l, -4*l + 28 = 4*a. Suppose -3*d - l + 31 = 0. Solve f = 5*k - d for k.
5
Let h(x) = -x - 2. Let t be h(-5). Let k be (-8)/(-5)*(2 - -13). Let u = k + -14. Solve -u = o - t*o for o.
5
Let h = 55 - 53. Solve -2 = -h*o - 10 for o.
-4
Let f = -33 - -36. Solve 5*k = f*k + 6 for k.
3
Let u be (4/(-6))/((-11)/33). Solve 0 = l - u + 1 for l.
1
Let x be (28/21)/(4/6). Let y be 7 + -1 - 1 - x. Let q = 0 - -11. Solve 4*a = q - y for a.
2
Let n(i) = -i**3 + 12*i**2 + 13*i + 2. Let d be n(13). Solve 0 = -d*p + 4*p for p.
0
Suppose m = 2*m - 3. Let u = 1 + m. Solve u*o - 22 = -6 for o.
4
Let t be 3*(0 - 6/(-9)). Suppose 9*s - 20 - 7 = 0. Solve -t*q + s = -q for q.
3
Suppose -3*m - 1 = -16. Solve -m*w + 9 = -2*w for w.
3
Suppose -4*m - 5*u + 43 = 0, -4*m = -0*u + u - 31. Let q = m - 5. Let y be q - 1 - (-1 + 0). Solve n = -0*n + y for n.
2
Let f(r) = -r**2 - 3*r - 1. Let t be f(-2). Suppose 3*b = 2*v + 1 + t, 3*v - 3 = 3*b. Solve -5*w + 4*w = v for w.
-5
Suppose 15 = 5*s - 15. Solve -s*p = -2*p for p.
0
Let n = -31 + 31. Solve n*w - 16 = 4*w for w.
-4
Suppose w - 2*k + 2 = -0, 0 = 3*w - 4*k. Let o = w - 4. Suppose o*t + 2*a + 4 = 4*t, -3*t = 4*a - 14. Solve 3*j - 5 = t*j for j.
5
Let p(x) = x + 14. Let k be p(-9). Solve k*r = -6 + 21 for r.
3
Let h(j) = -8*j - 1. Let a be h(-2). Solv