 2*c + j = 10. Solve c = -q*g + 11 for g.
2
Let r = 41 + -40. Solve x = r - 0 for x.
1
Let k = 25 - 88. Let r be ((-4)/(-6))/(6/k). Let h = r + 7. Solve -n + 5*n = h for n.
0
Let j(f) = f - 7. Let s be j(9). Suppose s*u = 5*u - 2*q - 30, 4*u + q = 51. Let n be 14/6 - (-4)/6. Solve u = -0*a - n*a for a.
-4
Suppose -3 = 2*u + 5. Let q = u + -1. Let m(c) = -2*c - 7. Let p be m(q). Solve -t = -2 - p for t.
5
Let c be (2/4)/((-12)/96). Let g be c/8 - 51/(-6). Solve q = 5*q - g for q.
2
Let p(c) = c + 10. Let z = 241 + -448. Let v be 2/(-14) - z/(-21). Let j be p(v). Solve j*t = 4*t + 16 for t.
-4
Let m = -41 + 57. Let x = -1 + 4. Solve -l - m = x*l for l.
-4
Let d = 18 + -13. Solve 0 = -s + d*s - 16 for s.
4
Suppose f = -5*x + 13, -3*f + 9 = -x + 2. Solve 0*o = -x*o + 6 for o.
3
Suppose -5*h + 20 = y, y + 3 - 20 = -4*h. Solve y*t - 5 = 5 for t.
2
Let u(r) be the first derivative of -r**3/3 - 7*r**2/2 + 10*r - 1. Let m be u(-8). Let h be (-42)/(-7) - m/2. Solve -h*n + 3 = -2 for n.
1
Let o be ((-72)/(-27))/((-2)/(-6)). Solve 0 = -4*l + 2*l + o for l.
4
Suppose -2*b + 32 = -0. Let w = b + -16. Suppose k = -5*r + 15, -2*k + 4*r - 9 = 3. Solve -i + k*i - 5 = w for i.
-5
Let v = 0 - 2. Let m = v - -5. Suppose i + 2*z + 2*z = -7, m*i - 5*z - 30 = 0. Solve -i*s = -3 - 2 for s.
1
Let s be 1 - 3/(-9)*-3. Let g be (s - 0) + 8/8. Solve 3*l = -2 - g for l.
-1
Suppose 22*p = 26*p - 8. Solve 0 = p*m + 2*m for m.
0
Suppose 0 = 5*a + 5*f + 15, 0*f = a - f - 3. Suppose 0*t + 2*t = a. Suppose t*c = -2*c. Solve d - 4*d + 15 = c for d.
5
Let d be -4 - -1 - (-5 + 0). Solve -1 = -3*k + d*k for k.
1
Let a = 125 + -119. Solve 5*w - 2*w = a for w.
2
Let v(y) = 4*y - 4 + 15 - 5*y + 8. Let b be v(13). Solve -18 = -4*d - b for d.
3
Let k(h) = 23*h - 1. Let n be k(1). Let o be (1/(-2))/(2/(-4)). Let w be n/((3 - o) + 0). Solve -2*q - 3 + w = 0 for q.
4
Let d(c) be the second derivative of -7*c**6/720 - c**5/40 - c**4/6 - c. Let p(a) be the third derivative of d(a). Let m be p(-2). Solve 0 = -2*n - 3 + m for n.
4
Let y be 7/56 + (-15)/(-8). Solve y*j + 0 + 2 = 0 for j.
-1
Suppose 3*w = 2 + 7. Solve 4*s + 5 = w*s for s.
-5
Suppose 0 = 3*o + 4*r - 2 + 10, 0 = -2*o - 5*r - 10. Suppose 2*z - 6*z = o. Solve z = h + 1 - 2 for h.
1
Let f(l) = l + 1. Let h be f(0). Solve -h = -5*w - 21 for w.
-4
Suppose 3*s - 9 - 3 = 0. Let k be 1*4/(-2) - -2. Solve -s*l + 6 - 26 = k for l.
-5
Suppose -o + 3*b + 25 = -2*b, b = -5*o - 5. Solve 3*w - 6 = -o*w for w.
2
Let b be 8*(-1 + (-6)/(-4)). Solve b*k = -8 + 20 for k.
3
Let n(j) = -j + 1. Let v be n(6). Let g be (-2)/(-4) - v/2. Suppose -g*l + 19 = u, -4*l + 2*l = 4*u - 6. Solve 0 = -3*w + l + 5 for w.
4
Let o(d) = -d**2 + d + 4. Let u be o(0). Suppose 0*c + 8 = c. Suppose 4*y - 5*y = -4. Solve c = -y*l - u for l.
-3
Let y(w) = -3*w - 2. Let b be y(2). Let c = b + 14. Solve 0 = -4*g - c - 6 for g.
-3
Let f(z) = -19*z + 1. Suppose -3*k - 3*i - 13 = k, 3*i = -5*k - 14. Let w be f(k). Suppose -3*q = -2*y - w, -5*q + y + 28 = -y. Solve -p - 15 = -q*p for p.
5
Let p be ((-7)/(-2))/(1/18). Let s be p/6*(-2)/(-3). Suppose u - 2*y + 2 = 0, s + 0 = -2*u + 5*y. Solve 3 = u*n - 1 for n.
1
Suppose -3*h + c - 22 = 0, 6*h - h + 20 = 5*c. Let z(v) = v + 14. Let p be z(h). Let g(x) = -x**2 + x + 6. Let t be g(0). Solve -p*a = -3*a + t for a.
-3
Let t be (-1)/(3 - 28/8). Solve -5*c = -22 + t for c.
4
Let q = -15 + 16. Solve -3*a = 16 - q for a.
-5
Let f be ((5/2)/(-5))/(2/(-20)). Solve f*a - 7 = 8 for a.
3
Let h(b) = b**2 + 5*b - 10. Let a be h(-7). Solve -a = -3*v + 8 for v.
4
Let m = -9 + 27. Let c = -13 + m. Solve c*f - f = 8 for f.
2
Let q(l) = -2*l**3 + 6*l**2 + 10*l - 8. Let n(u) = u**3 - 3*u**2 - 5*u + 4. Let g(f) = 5*n(f) + 3*q(f). Let o be g(4). Solve o = -4*i + 23 - 7 for i.
4
Let n(i) = i**2 + 20*i + 21. Let d be n(-19). Solve -d*t + t = -1 for t.
1
Let f be (-4)/(-6)*3 + -10 + 9. Solve 3*l + f = -2 for l.
-1
Suppose 6 - 32 = -5*c + 3*g, 4*g + 16 = 2*c. Solve -c = n + 3*n for n.
-1
Suppose 13*a - 42 = -a. Solve 0 = 5*t - a*t - 10 for t.
5
Let l = -3 + 3. Suppose l*g + 4 = 4*g. Suppose -4*n = -3 - g. Solve -j + 4 = -n for j.
5
Suppose 0*q = 5*q + 2*q. Solve -4*h - 15 - 1 = q for h.
-4
Suppose 0 = 4*k - 5 - 15. Solve k*u - 10 = -0*u for u.
2
Let v = -14 - -15. Solve b - 1 = v for b.
2
Let n(w) = -4 - 4*w + 6 + w**2 - 5. Let x be n(5). Suppose -3*d = -6*d - 3*k + 21, -x*d - 21 = -5*k. Solve -4 = -d*u + u for u.
4
Let v be (-7)/(-21) + 74/3. Suppose -5*o + 5*m = -v, -3*m + 2*m = 4*o - 5. Solve 0 = o*n - 2 - 0 for n.
1
Let d be -1*(-3 + 0) - -2. Suppose 0 = -5*x + 2*g + 14, d*x + 2*g + 0*g = 26. Solve -5*o - 2 = -x*o for o.
-2
Suppose 6*r = 4*r + 6. Let n be (-5)/((-15)/(-6)) + 7. Suppose n = 2*i - r. Solve -9 + 21 = -i*q for q.
-3
Let s(n) = -n**2 + 5*n - 6. Let l be s(4). Let i be (-2)/(-12) + l/12. Solve -m - 2*m - 15 = i for m.
-5
Let l(j) = j**3 - 3*j**2 + 2*j - 4. Let d be l(3). Solve -12 + 14 = -d*i for i.
-1
Let u(y) be the first derivative of 2*y**3/3 - y**2 - y - 2. Let i be u(-1). Solve i*p - 4 = -p for p.
1
Suppose 0*c - c = -1. Let y = -2 - -11. Suppose c + y = 5*v. Solve -v*o = o for o.
0
Suppose 4*g - 32 = 48. Solve -4*q - g + 0 = 0 for q.
-5
Suppose 4*a - 3 = 3*a. Suppose 7 = 4*z - 2*w - 27, a*z = -4*w + 31. Solve z = -h + 4*h for h.
3
Let u(i) = -i**2 - 12*i - 15. Let k be u(-10). Suppose m - k*t - 24 = -3, 2*m - 5*t = 22. Solve 2 = -h + m for h.
-1
Suppose 3*n + 42 = 10*n. Solve n = -p - p for p.
-3
Let q(y) = 11*y - 3. Let c(a) = a**2 + 3*a + 3. Let t be c(-3). Let o be q(t). Suppose 3*j = j + o. Solve 2*r + j = -r for r.
-5
Let n = 10 + -4. Suppose -n = u - 2*u. Solve u*m = 2*m for m.
0
Suppose 15 = j - 4*y, 3*j + 3 - 6 = -2*y. Let q = 8 - 5. Let u = 5 - q. Solve -13 - u = j*h for h.
-5
Suppose a - 8 = -3*h, 3*a + 3*h - 1 - 11 = 0. Solve a*g = -2*g for g.
0
Let s = -26 + 27. Let i be (12/(-4)*s)/(-1). Solve i + 1 = g for g.
4
Let p be 33*(4 - 40/12). Let u = -9 + p. Solve 4*z = -u - 3 for z.
-4
Let c = 0 + 3. Suppose 2*b + 17 = 3*x - 0*b, -5*b - 26 = -2*x. Suppose 3*j - x*f - c = 0, -4*j - f + 1 = -3. Solve 13 = -3*k + j for k.
-4
Let g be (7 + -3 + -4)/(-4 + 6). Let k = -236 + 335. Suppose -2*c - 15 = -3*m - 65, 0 = -5*c + m + k. Solve 4*d - 3 + c = g for d.
-4
Let x(n) = -20*n. Let i be x(-4). Let u be (-4)/(-6) + i/15. Let y be (u/(-1))/((-3)/3). Solve z = -z + y for z.
3
Suppose 4*d = -d + 5*q - 40, 2*q + 2 = -d. Let i = -6 - d. Let v(j) = -j**2 + 6*j + 10. Let r be v(7). Solve -r*y = -i*y - 9 for y.
3
Let v = -3 - -1. Let h(q) = 2*q**2 + 2. Let c be h(v). Suppose 0*z + 2*j + 12 = 4*z, -z - 4*j = 6. Solve c = 7*x - z*x for x.
2
Let i = 0 + 8. Solve 33 = 5*v + i for v.
5
Suppose 10*i = 5*i. Let m = 5 - i. Solve -14 = m*h - 4 for h.
-2
Suppose 11 = -4*k + 23. Suppose 0 = 2*y + y. Solve 3*f + 0 - k = y for f.
1
Suppose 3*p + t - 13 = 12, -5*p = 2*t - 42. Solve -d + p = d for d.
4
Let o(y) = -y + 7. Let l be o(2). Solve 12 - 2 = -l*f for f.
-2
Let s(y) = 2*y - 18. Let m be s(11). Let u(t) = t**3 + 6*t**2 - 5. Let q be u(-5). Solve q = -a - m*a for a.
-4
Let y be (3 - 10/4)*2. Solve 3*a + y = 2*a for a.
-1
Let w(q) = 6*q**3 + 1. Let n be w(-1). Let j = n - -7. Solve -2*u = j*u - 4 for u.
1
Suppose g - 5 = 0, -2*p + 14 = -4*g + 6*g. Solve -p*i = -0 - 10 for i.
5
Let t be (-1)/(-3) - (-133)/(-3). Let f be (2 + t)/(-3)*1. Solve f = 4*j - 6 for j.
5
Let k = -3 - -5. Suppose 0 = k*j + 10, 5*l + 18 + 2 = -j. Let y(n) = -n - 3. Let r be y(l). Solve r = -6*c + 4*c - 6 for c.
-3
Suppose 3*y - 3 = -0*y. Let g = y - -2. Solve -r - g = 2*r for r.
-1
Suppose u = p - 23, -4 = -3*u - u. Suppose -3*k = -7*k + p. Solve -4*r = -r + k for r.
-2
Suppose -k = 2*w + 2, 0 = -3*k - k - 5*w - 5. Solve z + 6 - 3 = k for z.
-3
Let l(i) = -i**3 + 6*i**2 + 8*i - 7. Let x be l(7). Let r be (7 - 1)*(1 - x). Solve h - r*h = 25 for h.
-5
Suppose -4*x + 0 - 24 = 2*f, 0 = -3*x. Let u be (f/7)/(14/(-49)). Solve -u = 2*s - 4*s for s.
3
Let y(l) = l**3 + 29*l**2 - 30*l + 6. Let x be y(-30). Solve -u + x*u = 0 for u.
0
Suppose 4*a = 2*u + a + 7, -5*u - 4*a = 29. Let o(t) = -t**2 - 8*t + 5. Let v be o(-8). Let j = u + v. Solve j = 5*x - 0 - 5 for x.
1
Let a(z) = -5*z - 1. Let b be a(-1). Solve b*s - 4 = 6*s for s.
-2
Suppose 4 = 4*c - 0. Solve 0 = k - 0 - c for k.
1
Let p = 7