2
Suppose s + 4*m - 10 = 3*m, 4*m = 4. Solve -4*w - s = -7*w for w.
3
Let a(j) = -j**3 + 2*j**2 - j + 1. Let z be a(2). Suppose -18 + 5 = 4*y + 3*u, -2*y = -2*u - 4. Let g = y - z. Solve r + 1 + 2 = g for r.
-3
Let b(r) be the first derivative of -r**2/2 + 1. Let q be b(-5). Solve -q = -2*s + s for s.
5
Let v be ((-2)/3)/(2/(-27)). Let p(u) be the first derivative of -u**3/3 + 4*u**2 + 13*u - 1. Let q be p(v). Solve -3 = -q*y + 5*y for y.
-3
Suppose 0 = 3*p - 3*t, 0*t - t = 2*p - 9. Let o(b) = 1 + p + 4*b - 2*b. Let u be o(4). Solve -y - 3*y = u for y.
-3
Let s(d) = -d**2 + 9*d - 10. Let y be s(7). Solve -15 = y*b - b for b.
-5
Let n(x) = x**3 + x**2 - 16. Let a be n(0). Let p = -12 - a. Solve -v - p = -3*v for v.
2
Let s = -28 + 33. Solve -n = 4 - s for n.
1
Let q be 3 - 18/(2 - 5). Let o be (-3)/q*-3 + 1. Solve 2 = -o*t - 8 for t.
-5
Let z = 7 - 1. Let k = 9 - z. Solve 0 = k*o - 3 - 9 for o.
4
Let k(l) = -l. Suppose 2*q = 3*z - z + 16, 3*z = -q - 32. Let n be k(z). Solve -2*r + n = -0 for r.
5
Let k be ((-4)/(-10))/((-2)/(-10)). Let a(h) = k*h - 5*h + 3 - 8*h**2 - 4*h - h**3. Let q be a(-7). Solve -q*w - 2 = -5*w for w.
1
Suppose -r + 0 = -1. Let j = r + -8. Let g = j - -11. Solve g*v + 0*v = 0 for v.
0
Suppose 4*n = -y + 6*y, n = -4*y. Let i = -13 - -15. Solve -i*k + 8 = -n for k.
4
Suppose 0 = -3*g - 4*k - 2, 3*g = -3*k + 7*k + 14. Solve 3 + g = n for n.
5
Let i(p) = p**2 - p - 3. Let o be -1*0/1 - -2. Let h be -2 + o - (-1 - 2). Let a be i(h). Solve -a*u + 4*u = 0 for u.
0
Let u(r) = -r**3 + 8*r**2 - 4*r + 8. Let k be u(7). Let x(h) = -h**3 - 11*h**2 + 13*h - 9. Let w be x(-12). Let n = w + k. Solve 4 = -4*f - n for f.
-3
Let n(f) = -5*f - 5. Let d be n(-9). Suppose -d = h + 3*h. Let w be 4/h + (-54)/(-10). Solve b - w = -4*b for b.
1
Suppose 0 = -2*s - 2, 4*v = -3*s - 4 + 17. Solve -3 = -y - v for y.
-1
Suppose 4*x + 3 = 5*x - 4*c, -3*x + 5*c + 23 = 0. Let h = -9 + x. Solve -h - 2 = 4*i for i.
-1
Let j = 6 - 8. Suppose m = 4*r + 15, 2*r = r - 2*m - 15. Let l be ((3 - 2) + j)*r. Solve w + 1 = l for w.
4
Let y be 6 - (1 - 1)/(-2). Suppose -3*t - y = -24. Let b(w) = -w**3 + 5*w**2 + 7*w - 3. Let a be b(t). Solve -a*v = -2*v + 5 for v.
-5
Let f(h) be the third derivative of -h**6/120 + 2*h**5/15 + 3*h**4/8 + 4*h**3/3 + 5*h**2. Let n be f(9). Solve 2 = -2*d - n for d.
-5
Suppose 4*s - 15 = s. Solve -s*a + 13 = -2 for a.
3
Let f(i) = -4*i + i**2 + 0*i + 7 - 3*i. Let y be f(6). Solve 0 = 3*w - 2*w + y for w.
-1
Let c be (1 + 0)/((-1)/5). Let q = -3 - c. Suppose 4*j = -d + 13, -1 - 7 = j - 2*d. Solve q*a = -j*a - 12 for a.
-3
Let v(k) be the third derivative of -k**4/24 - 2*k**3/3 + 2*k**2. Let t be v(-6). Solve t*z - 6 = -z for z.
2
Let l(x) = -3*x + 1. Let j be l(0). Solve -j = 2*n - n for n.
-1
Suppose -3*r + 8 = -4*z, -3 - 3 = -2*r + 2*z. Solve -9 = -o - r for o.
5
Let y(b) = 4 + 2*b + 3 - 4*b + 3*b. Let h be y(-5). Solve 0 = 2*n + h*n - 20 for n.
5
Let h be -5*(12/(-5) - -2). Let b be (-12 + h)/(-4 + 2). Solve 2*m - 5 = b for m.
5
Suppose 4*q - 2*u = 2*q - 14, -25 = 3*q + u. Let k = q - -10. Let j = k - -1. Solve 6*w - j*w + 3 = 0 for w.
-1
Let k = 12 + -3. Let n = -7 - k. Let o be n/(-10) + 4/10. Solve 3 = -x + o for x.
-1
Let q be 1*6/(-21) + 142/7. Solve 5 = -5*g + q for g.
3
Suppose -3*t = -2*n + 3, -n + 5*t - 2*t - 6 = 0. Solve -b - 2*b + n = 0 for b.
3
Let l(n) = -16*n + 8. Let v be l(7). Let j be (-4)/(-14) - v/28. Suppose -j*m + 10 = -2*x + x, 4*x = 3*m - 1. Solve m*k - 5 = 4*k for k.
-5
Let u(q) = q**2 - q - 3. Let y be u(3). Suppose 0*o + 18 = y*o. Let n(r) = -r**3 + 5*r**2 + 8*r - 7. Let f be n(o). Solve 10 = -5*d - f for d.
-3
Suppose q - 5 = -0*q. Let i be 2/4 + 2/(-4). Let a(r) = r**3 - r + 2. Let u be a(i). Solve -7*b = -u*b + q for b.
-1
Let h be ((-48)/(-9))/((-1)/3). Let c be (-84)/h - 1/4. Suppose 10 = n - c*p, 4*p + 4 = 3*n + 2*p. Solve -b + n*b = 0 for b.
0
Let u(k) = k**2 - k + 2. Let y(n) = n - 1. Let w be y(5). Suppose 0 = w*z + 3*p + 3, 0 = 7*p - 2*p + 25. Let h be u(z). Solve -2*o + h = 2*o for o.
2
Let n(v) = -6*v**2 + v. Let k be n(-1). Let x(l) = -l**3 - 8*l**2 - 7*l + 2. Let b be x(k). Let u = b + 0. Solve 0 = -q + u*q - 5 for q.
5
Let x be (7/(-4))/((-2)/8). Let h(w) = w - 4. Let i be h(x). Solve 0 = -4*g + i*g for g.
0
Suppose 0 = 4*p - 5*c + 10, 5*p = p + c - 2. Let f(x) = x**2 + x. Let s be f(p). Suppose -4*k = -2*k - 8. Solve k*u - 2 + 22 = s for u.
-5
Let x = -3 + 7. Let t be (2 + -8)/(x/(-6)). Suppose -2*l + t = 1. Solve -l*v - 16 - 4 = 0 for v.
-5
Suppose 2*k = 2 + 16. Let v = k + -6. Solve -v*q + 25 = 2*q for q.
5
Let q(r) = -r**3 - 6*r**2 + r + 4. Let l be q(-6). Let z be l/(-10) - 6/30. Solve 0 = 3*j - z*j - 6 for j.
2
Let m(r) = 2*r**3 + 27*r**2 - 11*r**2 - 2 + 13*r - 16 - r**3. Let v be m(-15). Solve 0 = -2*g - g - v for g.
-4
Let m(k) = -k**2 - 7*k + 3. Let l be m(-7). Solve z + 1 = l for z.
2
Suppose 12*m = 16*m - 16. Solve 2 = -2*r - m for r.
-3
Let r(s) be the first derivative of -9/2*s**2 - 1 + 4*s + 1/3*s**3. Let p be r(9). Solve 0 = p*j + 19 + 1 for j.
-5
Let i(p) = -p**3 - 2*p**2 - 2*p. Let q be (-2)/2 - (-5)/(-5). Let m be i(q). Solve -8 = -4*u + m for u.
3
Let v(p) = -p**3 + 10*p**2 + 11*p. Suppose 0 = 2*a - 12 - 10. Let j be v(a). Solve 2*c + 3 + 1 = j for c.
-2
Let r = 5 + -2. Let h = 3 - r. Solve h = -2*v - 4 for v.
-2
Let o = -13 - -33. Suppose -5*w + o = -10. Suppose f = w*f. Solve f + 1 = -y for y.
-1
Suppose -i = -4*v - 19, -v = -4*v - 15. Let r = -1 - i. Solve r = 3*q - 0*q for q.
0
Let h(v) = -v**2 - 25*v + 58. Let g be h(-27). Solve 0*j = -g*j for j.
0
Let v be 1/(-4) - 3/(-12). Let r be v/(-1 + 0 + -1). Solve -5*i + 5 = -r for i.
1
Let x = -7 - -38. Let b = x - 18. Suppose 2*z + 4*w + 4 = 0, 7*w = z + 4*w - b. Solve -z*k - 1 = 3 for k.
-1
Suppose 2*u - 4 - 4 = 0. Suppose 0 = 3*m - 6*m - u*r + 23, 5 = 3*m - 5*r. Solve m - 10 = i for i.
-5
Suppose 0 = 5*m - 15. Solve y - 7 = -m for y.
4
Suppose -4*h - 28 = -4*o, 0 = -h - 2*o + 8. Let c be 1/h + (-41)/(-2). Solve -6*a + a - c = 0 for a.
-4
Let b(i) be the third derivative of -i**4/24 + i**3/3 - 3*i**2. Let k = -3 - -3. Let h be b(k). Solve 0 = -4*v + 6*v + h for v.
-1
Let m(o) = -o**3 - 7*o**2 - 5*o + 8. Let x be m(-6). Suppose x*p + 3*p - 30 = 0. Suppose -p = -5*v - y, 2*v = -3*v + 2*y + 3. Solve -3 + v = 2*c for c.
-1
Let t(z) = z + 6. Let l be t(-3). Let u be ((-12)/9)/((-2)/l). Solve -12 = u*o - 4 for o.
-4
Suppose -2*s = 7 + 1, 0 = -m - 3*s - 7. Solve -g + m*g = 12 for g.
3
Let k be (40/12 - 2)*3. Solve 1 = -k*d - 7 for d.
-2
Suppose 0 = 4*y - 16 - 4. Suppose 0 = -0*v - y*v + 10. Suppose 0 = 2*k - 8 + 4. Solve -v = -3*w + k*w for w.
2
Suppose 4*d - 40 = -2*v, v - 4*v = -4*d + 50. Solve -d = 5*l + 4 for l.
-3
Let u(l) = l**3 - 6*l**2 + 5*l + 3. Let n be u(5). Suppose 2*p + 5*s = 6, 0 = -n*p + 2*s - 7*s + 9. Suppose 2*z = -2*z + 16. Solve v = p*v + z for v.
-2
Suppose -5*x - 4*s = -52, x - 3*s - 8 = -5*s. Solve 5*g - 2*g = x for g.
4
Let q be (0 + 4)/(1 + 1). Suppose -2*s + s = -q. Solve s*y - 5*y = -9 for y.
3
Suppose 23 = -2*l - z - 12, -5*l - 80 = 5*z. Let w = l - -19. Solve -2*f - 4 = -w for f.
-2
Suppose 0 = 2*d - 3*d + 5. Suppose 10 = 3*k - 2*c, c - 4 = -k + 6. Suppose -z + 36 = r + k, 0 = d*r - 25. Solve z = -10*x + 5*x for x.
-5
Let n be 1 - (3 + -7 + 1). Solve u = -1 - n for u.
-5
Let s(a) = a**3 + 11*a**2 + a + 15. Let g be s(-11). Suppose u = -2 - g. Let b = -6 - u. Solve -2*o - 2*o = b for o.
0
Let t be (5 - 4) + (-1 - -5). Solve -t*d = -0 - 5 for d.
1
Suppose -10 = -4*h - 5*r, 8 = 4*h + 2*r - 8. Suppose 10*i = h*i. Solve -3*t = -i*t for t.
0
Let z be (-1 - -4) + 0/1. Let v = -1 + z. Solve 2*c + 0*c = -v for c.
-1
Let a be 6/(-18) - 31/(-3). Let s be 4/a + 13/5. Solve 10 + 5 = -s*b for b.
-5
Let x be (3 - 28/(-20)) + (-8)/20. Solve -1 = x*f + 3 for f.
-1
Suppose h - 2*h = 0. Suppose 5*p - 8 + 3 = h. Suppose m = 3*j - 8, -2*j + 5*m = -0*j - p. Solve 0*t - j = -t for t.
3
Let y be 1/(-4) + (-4)/(-16). Let l be (-1 - -4)/((-6)/(-8)). Solve 2*f + y*f - l = 0 for f.
2
Suppose -4*l + 2 = -6. Suppose -v - v - 8 = 2*z, z - 4*v = 21. Solve l*w = -z - 1 for w.
-1
Let u = 8 - 7. Suppose -u - 6 = -d. Solve -d + 17 = -5*m for m.
-2
Let n be (-2)/2 - (-7 - 6). Solve -2*a - 2*a = n for a.
-3
Let x be (-8)/3*6/(-4). Suppose 0 