-1). Let j be 10*(o - 2/n). Solve k - j = -4 for k.
1
Suppose 2*g = 2*s - 32, -5*g - 10 = -3*g. Solve -s*f = -6*f for f.
0
Let k(x) = -x + 20. Let b be k(16). Solve -2 = -b*t + 10 for t.
3
Let g be 2/6 - (-8)/3. Suppose -g*a + 23 = -19. Solve a = 3*t + 2 for t.
4
Suppose 0 = -5*v - 5*k + 25, 3*k = 2*v - 4*v + 9. Solve 0*s = -2*s + v for s.
3
Suppose -10 = 3*o - o. Let q be o/(-2)*2 - 0. Solve q*x - 6 = 4 for x.
2
Suppose 0 = -2*g - 3*q - 10, 8 = -0*g - 5*g + q. Let r be (-3)/(9/(-3) - g). Suppose r*h + 4 = 5*h. Solve -7*x + 15 = -h*x for x.
3
Let r(s) = 2*s**3 + 15*s**2 - 10*s - 7. Let o be r(-8). Solve -4*b + o = 1 for b.
2
Suppose -8*o = -0*o - 40. Solve q = 2*q + o for q.
-5
Let h(v) = 7*v**2 + v - 4. Let p be h(-2). Let o = -18 + p. Solve -o*d + 1 = -3*d for d.
1
Let j(z) = -2*z + 1. Suppose -u + 1 = -7. Suppose 2*r - u = 5*g, 0*r - 2*g - 8 = 4*r. Let o be j(r). Solve o + 3 = -2*b for b.
-3
Let q(z) = -z**3 + 6*z**2 + 3. Let r be q(6). Let a = r - 0. Solve 0 = 2*x + a*x + 10 for x.
-2
Let n(u) = 3*u**3 + u**2 - 3*u + 2. Let o be n(2). Suppose -4*s + 72 = o. Solve -s - 8 = 4*w for w.
-5
Suppose -2*d - 2*w - 10 = 0, 0 = 4*d + 3*w + 15. Suppose d*o = -2*o + 10. Suppose o*b = 6*b + g + 1, -5*b - 1 = g. Solve c = -b + 1 for c.
1
Let l = -4 + 6. Suppose -l*s - 12 - 8 = 0. Let p be (-15)/s + (-2)/(-4). Solve p*c = -4 + 12 for c.
4
Let y be (6/(-4))/(-1 - 45/(-50)). Solve -3*n - 2*n - y = 0 for n.
-3
Let t be 0 + ((-90)/(-2))/(-3). Let p = 21 + t. Solve -4*g - 22 = -p for g.
-4
Let z = -38 + 38. Solve -t - 3*t - 16 = z for t.
-4
Suppose 4 - 2 = 2*z + 4*d, -19 = -3*z + 2*d. Let f(h) = -3*h**3 + 1. Let b(j) = -j**3. Let s(l) = 4*b(l) - f(l). Let k be s(-2). Solve -z*q + 13 = -k for q.
4
Let k(f) = 4*f**3 + f**2 + f - 1. Let n be k(1). Suppose 2*a = 4*i, -4*i + 3*i - 21 = 3*a. Let v = -1 - a. Solve -n = -5*l + v for l.
2
Let h be ((-10)/(-5) - 24/2)/(-2). Solve -10*l = -h*l for l.
0
Let b be 3/4*60/3. Solve -2*k = -7*k + b for k.
3
Let b(q) be the third derivative of -q**6/120 + q**5/30 + q**4/8 + q**3/3 - q**2. Let g be b(3). Suppose 2 = 5*h - 8. Solve r + g = -h for r.
-4
Let m(z) = -z - 6. Let x be m(-6). Solve x = 4*d + 22 - 2 for d.
-5
Let u = -62 - -65. Solve 0 = u*b + 9 for b.
-3
Let u = 8 + -4. Let x be 4/3*(u - 1). Let d(q) = q**2 + 3*q - 17. Let p be d(-7). Solve -1 = x*c + p for c.
-3
Suppose 6*g - 2*g = -3*d + 8, -d + 28 = -5*g. Suppose 4*x + 12 = d*x. Let s = 12 - 10. Solve 15 = x*i + s*i for i.
3
Suppose 2*j + 2*j = 16. Let a(h) = h. Let l be a(j). Solve 0 = 3*k + l + 5 for k.
-3
Suppose -s + 23 = -0*u + 5*u, 2*u = 8. Suppose -4 = -4*z + 2*c, 0 = -4*z + c + 5 + s. Solve -4*q = -5 - z for q.
2
Suppose -b + 4*c = 6, -b = -0*c + 5*c - 12. Solve -b = l - 3 for l.
1
Let q be (-2)/(-6) + 2/(-6). Suppose 8*t = 5*t + 9. Solve t*m - 1 + 4 = q for m.
-1
Let b = 21 + -17. Solve -5 + b = v for v.
-1
Suppose -h + 2 + 3 = 0. Solve 0 = -0*y + h*y - 20 for y.
4
Let q(c) = c**2 - 3*c + 2. Suppose -s = 4*s - 10. Let y be q(s). Suppose 4 = 3*k - 2*d, 2*d = -k - 2 + 14. Solve -r + k*r + 15 = y for r.
-5
Let q(r) = -r + 4. Let a be q(-4). Solve f + 3*f + a = 0 for f.
-2
Let m = -55 + 57. Solve 3*t = m*t for t.
0
Let h(w) = -5*w**2 + 5*w. Let x be h(2). Suppose -8 = 2*u + 12. Let f = x - u. Solve -2*i + 3*i + 1 = f for i.
-1
Suppose 20 = 3*h - 1. Suppose j - 4 = 0, -h - 5 = 2*k - 5*j. Solve -k = f + 3*f for f.
-1
Let c = -14 - -19. Suppose l = -3*l - 5*s + 20, 2*l = -4*s + 10. Solve c = -l*a - 10 for a.
-3
Let b(w) = -w + 2. Let k be b(-3). Solve -k*r + 3 = -2 for r.
1
Let c = 4 + -8. Let f be (6/c)/((-11)/22). Let b be 2/4 + (-1)/2. Solve b*o = f*o + 15 for o.
-5
Let m(q) be the first derivative of -q**2/2 + 2. Let d be m(2). Let z = 7 - d. Solve 6 = 3*c - z for c.
5
Suppose 2*b = i + 3*i + 30, -5*b + 45 = -4*i. Let r(u) = u**2 + 4*u - 3. Let m be r(i). Solve m = -4*c + 22 for c.
5
Let p = -66 + 66. Solve 3*j + p + 6 = 0 for j.
-2
Suppose -t - 24 = -3*x + 6, -5*t + 4*x - 117 = 0. Let w = t + 30. Solve -3*j + 0 - w = 0 for j.
-3
Suppose 6 = 2*t + c, 0 = -3*t + 4*c + 7 + 13. Let q be (-63)/(-6 - 1) - (-2)/1. Solve t*v - q = -31 for v.
-5
Let z(h) = -h + 16. Let b be z(11). Solve 0 = -j + 2*j - b for j.
5
Suppose -z + 114 = 2. Let f be z/24 + (-4)/6. Solve 5*m = 1 + f for m.
1
Let n(i) = i**3 - 6*i**2 + 3*i + 4. Let a be n(6). Let j = -20 + a. Solve j*u - 9 - 1 = 0 for u.
5
Suppose m = 4*m - 12. Suppose -5 + 53 = m*w. Suppose -4*p = 4*n - 8*n + 8, -3*n + 5*p + 2 = 0. Solve -4*y + w = n for y.
2
Suppose 4*v + 32 = 4*g, -v + 5 = 2*g - 5. Suppose 0 = -4*c - c + 20. Solve -2*m - g = -c for m.
-1
Let l(v) = -v**2 - v + 8. Let d be l(0). Let k = 12 - d. Solve k = 3*j + 13 for j.
-3
Let v be 40/24*(-36)/(-10). Let f = v + -4. Solve -4*n - f - 18 = 0 for n.
-5
Let p(l) = -2*l + 6. Let i be p(-2). Solve -7*t + i = -2*t for t.
2
Suppose 0 = -3*c - 15, -3*a + 6*a - 20 = 4*c. Suppose a*o + 16 = 2*o. Solve 0 = -o*n + 3*n - 5 for n.
-1
Suppose 4*w - 12 = u - 0, -2*w = -2*u - 6. Suppose -2*n + 12 = -3*n + 3*x, -n + 2*x - 7 = 0. Solve -6*a - n = -w*a for a.
-1
Suppose -13 = w - 3. Let g = 18 + w. Let n be 1 - (2 + -2) - -1. Solve n*i - g = 6*i for i.
-2
Let a = -8 + 15. Suppose 0 = -2*y + 7 + a. Solve 4*o = -1 - y for o.
-2
Suppose -4*s + 8 = -72. Solve s - 5 = -5*b for b.
-3
Let r be -1 - 1*0/(-2). Suppose -u + 96 = 3*u. Let a = u - r. Solve 8*m - a = 3*m for m.
5
Let y(h) = -h**3 - 4*h**2 + 8*h - 2. Let v(s) = 5*s**3 + 19*s**2 - 41*s + 9. Let x(g) = 2*v(g) + 11*y(g). Let f be x(-7). Solve -7*m = -f*m for m.
0
Let x(l) = l**2 - 10*l + 27. Let h be x(5). Solve t = -h - 1 for t.
-3
Suppose 0 = 3*p - 0*p - 6. Suppose -4*l + 37 = -31. Suppose 5*h - r = l, -2*r = h - 5*h + 16. Solve p*x - 4 = h*x for x.
-4
Let h be -1 + -16 - (8 - 9). Let n = -13 - h. Solve 6*d = n*d - 12 for d.
-4
Suppose 0 = -2*p + 90 - 74. Solve -4*z = -2*z - p for z.
4
Let j be (-2 - 28/(-6))/((-4)/(-6)). Solve -j*m = -2*m for m.
0
Let i(h) = 8 - 4*h + 7*h**2 + 6 - 5 - 6*h**3 + 12*h. Let t(v) = -v**3. Let n(s) = i(s) - 5*t(s). Let q be n(8). Solve 5*u = -q - 11 for u.
-4
Let h(z) = z**2 - 4*z + 3. Let v be h(4). Solve -s = v*s for s.
0
Let i(t) be the second derivative of -t**3/6 + 19*t**2/2 - t. Let z be i(13). Solve -z*b = -b + 25 for b.
-5
Let w be (-10)/(0 - 2 - (-4 + 4)). Solve w*r + 0*r + 15 = 0 for r.
-3
Let l = 14 + -14. Solve l = 3*c - 5 - 4 for c.
3
Let n be ((-9)/6)/((-4)/8). Suppose 0*u = n*u - 24. Let f be u/(-16)*(0 - 0). Solve f = d - 5*d for d.
0
Let a be (14/(-14))/(20/(-18) - -1). Solve 2*u + a + 1 = 0 for u.
-5
Suppose 2*t - 27 = -3*r + 24, 4*r = -2*t + 66. Solve 2*z - r = -3*z for z.
3
Let l(c) = c - 5. Let r be (2 - 1)*(0 + 5). Let b be l(r). Suppose h - 2 = -b. Solve -p = -0*p - h for p.
2
Suppose -3*r = 3*n, -2*r - 18 = -5*n + 10. Let f(b) = b + 4. Let d be f(r). Solve d*p = p for p.
0
Suppose 4*z - 7 = 2*i + 25, -5*i + 20 = 0. Let o be (z/(-15))/(2/(-30)). Solve 3*y = y - o for y.
-5
Let y(l) = -2*l**2 - 7*l - 7. Let d be y(-5). Let n = -16 - d. Solve -n*q = -q + 10 for q.
-2
Let j = 2 - -1. Suppose -j = 3*h + 3*u - 0*u, 3*h - 12 = 2*u. Suppose -5*i = -5*d, 3*i - h*d = 8*i. Solve i*z - 2 = z for z.
-2
Let l = -74 - -18. Let o(y) = -9*y + 5. Let m be o(4). Let z = m - l. Solve -z = 5*g - 0*g for g.
-5
Suppose 0 = 5*d - 5. Solve -i + 1 + d = 0 for i.
2
Let n = 4 + -2. Suppose -n*r = -0*r. Let y = 5 - r. Solve y*w - 22 = -7 for w.
3
Let s(d) = 3*d + 3. Let z be s(-1). Solve z*h - h - 2 = 0 for h.
-2
Let b(w) = w**2 - 7*w + 9. Let p be (7 - 2 - -1)/1. Let f be b(p). Solve f*a = 4*a + 4 for a.
-4
Let z = 13 + -9. Solve z*g = -g for g.
0
Let m(u) be the third derivative of u**6/120 - u**5/15 + u**4/12 - 2*u**3/3 - 2*u**2. Let a be m(4). Solve a*b - 3 = b for b.
1
Suppose 7*c = 2*c. Solve 0 = a - c - 1 for a.
1
Suppose 8 - 16 = -4*y. Suppose -3*o - n = -3, -2*o = 3*o - y*n - 5. Solve -7 = -2*l + o for l.
4
Suppose 6*o - 2*o = 0. Suppose -5*v + 10 + 10 = o. Solve -2*s - v = -4*s for s.
2
Suppose -i + 14 = 4*o - 2*i, 0 = 3*o + 2*i - 5. Solve 3*m = o - 0 for m.
1
Let k be (6 + 0)*((-26)/(-4) - 6). Solve g + 1 = k for g.
2
Suppose 8*f - 6 = 5*f + 4*t, -3*f - 4*t = -30. Let x be -1 + f + (-4)/2. Suppose 2*v = -x*v + 10. Solve 0 = 2*z - z - v for z.
2
Suppose 5*c + 13 = 4*z, 0*z - 2*c + 2 = 2*