Suppose v*c - 2*c - 8 = 0. Solve -4*t = -2*t - c for t.
2
Suppose -6*s = -s + 5*i, 0 = -4*s + 4*i + 24. Solve -3*a + s - 6 = 0 for a.
-1
Suppose 5*i + 2*y = 36, 3*i - 3*y - 4 - 5 = 0. Suppose 0 = i*n - 4*n. Solve n = -5*o + o for o.
0
Let c(k) = -k + 6. Let b be c(6). Suppose -t - 6*r = -r - 10, b = -3*r + 6. Solve -2*n + 8 = -t*n for n.
4
Let y = 168 - 164. Let b be 7/4 - 1/(-4). Suppose -6 = 3*x - 36. Solve y*c = b + x for c.
3
Suppose -3*g = g. Suppose g*d - 2*d = 0. Suppose -3*j = 2*w - 8, 3*j + d*j - 3*w - 3 = 0. Solve -j*q + q = -5 for q.
5
Let c(t) = t**3 + 3*t**2 - t - 1. Let a be 3/(-1 + -1 + 1). Let v be c(a). Solve -5*s - 13 = v for s.
-3
Let r(f) be the second derivative of f**3 + 0 + f - 2*f**2 - 1/12*f**4. Let t be r(4). Solve 0 = -3*z + t - 19 for z.
-5
Let s be 200/16*4/5. Let h = 13 - s. Solve n = -h*n for n.
0
Let x be 84/18 - (-3)/9. Solve 0 = 3*s - x*s - 10 for s.
-5
Let s(h) = -h**3 - 4*h**2 + 5*h + 7. Let w be s(-5). Let j be (4 + (1 - 4))*3. Let p = w - j. Solve 0 = n - p*n for n.
0
Let x be ((-16)/6)/(4/(-30)). Solve 0*y - x = -4*y for y.
5
Let j be 1*(2 + (1 - 0)). Suppose -3*y + 3 + 9 = 0. Solve -g + j*g = y for g.
2
Let k = 9 - 6. Suppose 0 = 4*d - 2*x - 10, 0*d - k*x = -2*d + 7. Solve 2*v = -d*v for v.
0
Let y(o) = o - 1. Let n be y(7). Solve 2*x = 5*x - n for x.
2
Let s = 37 + -37. Solve 0*i + 2*i = s for i.
0
Let w(g) = 2*g**2 - 17*g - 30. Let h be w(10). Solve h*a + 4 = -2*a for a.
-2
Suppose -5*t + 6 = -2*t. Let i = 6 - 5. Solve -i + 3 = t*c for c.
1
Let c = -3 + 5. Let s be c/5 - 12/(-20). Solve f + 0 = s for f.
1
Suppose -3*f - 3 = -0*f. Let b(n) = -6*n**3 - 2*n**2 + 1. Let o be b(f). Suppose 0*v + 20 = i - 4*v, -2*i - o*v - 25 = 0. Solve -s - s = i for s.
0
Suppose 2*z + 3 = -r, -4*r + 3*z - 7 = 5. Let k be 42/8 + r/12. Solve -5*o - 30 + k = 0 for o.
-5
Let l be 6/9*45/6. Suppose -l*y + 10 = -2*i + 6*i, -4 = -2*y + 3*i. Solve y*p = p for p.
0
Let g(l) = l**2 + l - 1. Let k(z) = -z**2 + z - 2. Let j be ((-15)/(-5))/(0 + 1). Let x(f) = j*g(f) - k(f). Let q be x(-2). Solve q - 31 = 5*d for d.
-4
Suppose 2 - 12 = -2*p. Let d = 5 - p. Suppose a + d*a = 5. Solve -2*s + 3*s + a = 0 for s.
-5
Let y be (-2)/(-6) - (-536)/12. Suppose 0*h - 3*h = -y. Solve 3*n - h = -2*n for n.
3
Let y(b) be the second derivative of 7*b**4/12 + b**3/6 + b. Let a be y(-1). Suppose 0 = 2*j + j - a. Solve z - j = -3 for z.
-1
Let r(s) = 2*s + 14. Let z be r(-5). Solve -a = -z*a for a.
0
Let y be 1 + (1 - -3 - 2). Solve 2*o + 7 - y = 0 for o.
-2
Let f(u) be the third derivative of u**6/40 - u**5/30 + u**4/12 - u**3/6 + u**2. Let q be f(1). Solve -10 = -q*n - 0 for n.
5
Let y = 43 + -35. Solve 0*m - 4*m = y for m.
-2
Let v be 27/6*(-20)/(-15). Let u be (-2 + -1)/3 - -1. Solve -v*l + l + 15 = u for l.
3
Let y = -64 + 69. Solve y*a - a = 0 for a.
0
Suppose -v + 5*v = 8. Suppose -3*g + 3 = r - v, -3*g + r + 13 = 0. Solve g*m = 7*m for m.
0
Suppose 0*a + 14 = -2*a - 5*s, 0 = 5*a - 4*s - 31. Suppose 0 = a*p - 0*p - 6. Solve -z - z = p for z.
-1
Suppose 7*i + 10 = 12*i. Suppose -6 = 3*k + 4*m, 2*k - k + 21 = 5*m. Let b(w) = w**2 + 5*w - 1. Let p be b(k). Solve i*o + p = -5 for o.
-5
Let i(t) = t**3 + t**2 - t + 4. Suppose -4*k + 3*q = -7 - 17, -4*q = 2*k - 12. Let w = k - 6. Let s be i(w). Solve -v - 20 = s*v for v.
-4
Suppose 5*w = -5*b - 5, -5*b - 4 = 3*w - b. Solve w = 4*z - 0*z for z.
0
Suppose -2*j + 7*j - 9 = -3*f, f = -3*j + 7. Let c(k) = -k + 9. Let l(b) = 3. Let i(n) = -3*c(n) + 8*l(n). Let a be i(j). Solve h - 25 = a*h for h.
-5
Let y(u) = -u**2 + 9*u - 5. Let r be y(8). Solve -r = -3*p + 2*p for p.
3
Let u(j) = -j**2 + 3*j. Let a = -10 + 13. Let o be u(a). Solve 20 = 4*v - o*v for v.
5
Suppose -2*s - 5 - 3 = -3*q, -3*q - s + 14 = 0. Suppose -3*t + 5 = q*y + 1, 4*y - 2*t - 24 = 0. Solve 0 = -w + 1 - y for w.
-3
Let g(x) = -12*x**3 - x**2 + 1. Let v be g(-1). Let k = 21 - 16. Suppose k*r - 13 = v. Solve 2*m = r*m for m.
0
Let a(p) = -p + 15. Let w be a(6). Solve -3*h = w - 0 for h.
-3
Suppose 0 = -m - 2 - 6. Let x be 9/4 + 2/m. Let c be 0/1 - (x + -17). Solve c = -3*s - 2*s for s.
-3
Let x(o) = 7*o + 4. Let c be x(3). Suppose -c + 0 = -5*d. Solve 0*j + 15 = d*j for j.
3
Let o = -42 + -4. Let v be o/(-3) + 1/(-3). Solve 0 = 3*d - v for d.
5
Let s(h) = 2*h - 6. Let w be s(4). Let u = w + 1. Solve 0 = u*p + p for p.
0
Suppose 0 = -l + 3*l + s - 4, -s - 6 = -3*l. Solve -l*k + 3 = 1 for k.
1
Let c = 22 - 22. Solve p + 2*p = c for p.
0
Suppose -2*s + 8 = 5*m, -5*s + 2*m - 4*m - 22 = 0. Let x be (-8)/s*(-12)/(-4). Suppose x*n = 76 + 12. Solve 4*w + 2 = n for w.
5
Let i be 3 + 4/(-2) + 4. Suppose -g + 0*o - 5*o = 0, -i*g = 2*o. Solve g = -p - 4*p - 20 for p.
-4
Let i = 42 + -32. Solve -3*j - i = -4 for j.
-2
Suppose c = -4*z + 4, 4*c = 6*z - 3*z - 3. Solve -5*y + z = -4 for y.
1
Let n = -19 - -22. Solve -4*p = -n*p for p.
0
Let p be (-42)/(-2)*2/(-6). Let y = p + 9. Solve 2*g - y = -6 for g.
-2
Let y(i) = -i**3 + 6*i**2 + i - 4. Let s be y(6). Suppose s*r = 5*r - 60. Solve 0 = -d - 4*d - r for d.
-4
Let t = 8 - 3. Suppose 0 = t*r - 0*g + 2*g - 15, -4*r + 45 = -5*g. Suppose -3*c + 28 = 3*u - r, 0 = u. Solve -4*o + c = -5 for o.
4
Let c = -14 - -5. Let l = c - -14. Solve -l = -q - 3 for q.
2
Let h(l) = -l**3 + 7*l**2 - l + 7. Let j be h(7). Suppose -z - 2*t + 1 = -j*z, t = -z + 3. Solve z*x - 5 = -0 for x.
1
Let j be 4 + (-1 + 3 - -2). Solve j = -0*w + 2*w for w.
4
Let q(r) = -r**2 + 8*r + 3. Let v be q(8). Let a be v - 1/(-1) - -2. Solve h - 20 = a*h for h.
-4
Let o = 4 - -3. Suppose 0 = -4*t - 16, -4*g - 1 - o = 2*t. Let k = 0 - g. Solve k = 2*s + 3*s for s.
0
Let b(g) = 2*g**2 - 16*g - 18. Let t be b(9). Solve -o - 2*o - 15 = t for o.
-5
Let a(h) = -2*h - 2. Let y(w) = -w - 1. Let z(v) = 2*a(v) - 5*y(v). Let n be z(6). Let f = 9 - n. Solve 0 = k + f - 1 for k.
-1
Suppose -2*v - 17 = -0*d - 5*d, 2*d = -3*v + 22. Suppose -3*z + 1 = -d. Solve z = -3*y - 7 for y.
-3
Let o(i) = 3*i**3 - i + 1. Let m be o(1). Solve m*n - 1 = 2 for n.
1
Suppose -k - 1 = 0, k = a + 4*k - 11. Solve -4*v = -2 + a for v.
-3
Suppose q - 13 + 3 = v, -3*q = -v - 20. Solve q*r = -0*r + 10 for r.
2
Suppose 0 = 3*h + 2*u - 1 - 7, 16 = -3*h + 4*u. Solve 4*p - 16 = -h*p for p.
4
Suppose 0 = -x - 3*c - 1 - 5, 0 = 4*x + 2*c - 6. Suppose -2*l - 17 = -x. Let v = l + 11. Solve v*s + 7 = 3 for s.
-1
Let t = -213 - -213. Solve t = 3*l - 1 - 14 for l.
5
Let y(w) = 4*w - 16. Let k be y(5). Solve k + 6 = -2*t for t.
-5
Suppose y = n - 1, 5*y - 5*n + 11 = 3*y. Solve o + 1 = y for o.
1
Let w(o) be the second derivative of -o**5/20 - o**4/3 + 5*o**3/6 + 5*o. Let a be w(-5). Solve a = 5*f + 11 + 9 for f.
-4
Let g(z) = -z**3 + 2*z**2 + 5*z - 4. Let m be g(3). Solve m*d = -0 + 2 for d.
1
Suppose 16 = -0*w + 2*w. Suppose 0 = -4*o + w, 3*x + 2*o = -o + 66. Solve 4*l - x = -8 for l.
3
Let l(f) = f**3 + 13*f**2 + 10*f - 17. Let v be l(-12). Solve -s - v + 8 = 0 for s.
1
Let c = 38 - 33. Let w(z) = -z**2 + 5*z - 1. Let u = -4 - -8. Let o be w(u). Solve 0 = -o*g - 1 - c for g.
-2
Let d(w) be the first derivative of -w**4 - w**2/2 - w + 8. Let r be d(-1). Solve 0 = -9*l + r*l + 15 for l.
3
Let h(u) = u**3 - 8*u**2 + 7*u + 4. Let g be h(7). Solve g = 2*x - 0*x for x.
2
Suppose -3 = -2*y + r, -2*y - 3 = 3*r - 18. Solve -c + y = 8 for c.
-5
Suppose 3*r + 2*q + 9 - 3 = 0, -4*r - 2*q = 6. Suppose 9 = -3*c + 5*h, r = c - 2*h - 2*h + 10. Solve -4*b = -c*b + 4 for b.
-2
Let n be ((-2)/3)/(2/(-42)). Suppose s = -3*g + n, -4*s = -4*g - 0*g + 8. Suppose 0 = 3*k + s*r - 19 - 45, -3*r + 106 = 5*k. Solve -5*v = -v + k for v.
-5
Suppose -4*b = -16 + 4. Suppose 2*c + c = -b. Let w be c/4 - 4/(-16). Solve 2*k + k - 6 = w for k.
2
Suppose -4*q = -3*q - 2. Suppose -5*o + q*o - g = -9, o = -3*g + 11. Suppose 0 = -5*h + o*h + 36. Solve h = -7*x + 4*x for x.
-4
Let w(z) = -11*z - 8. Let p be w(-1). Solve 0 = p*k + 2 + 13 for k.
-5
Suppose 3*d - 3*t - 6 = 0, 5*d + 3 = 3*t + 5. Let n be -15*(-3)/(-18)*d. Solve 3 = n*x - 7 for x.
2
Suppose 5*p = -m - 6, -5*p - 30 = -m - 4*m. Let d = m - 6. Let n be (2 + d)/(2/(-2)). Solve n = -3*a + 5*a + 6 for a.
-3
Let t(o) = -o + 11. Suppose 1 - 41 = -5*g. Let d be t(g). Solve 3*n = -d + 9 for n.
2
Let q = 2 - 4. Let m be 1 - 3*2/q. Let k = 4 - m. Solve k*j - 25 = 5*j for j.
-5
Let o be