*c = q*c + 4 for c.
-4
Let c(l) be the third derivative of l**5/60 - l**4/24 - l**3/3 - 4*l**2. Let y be c(2). Suppose -i + 15 = 5*h, -7*i + 15 = 5*h - 2*i. Solve y = 3*j - h for j.
1
Let x be (-6)/(6/(-9)*1). Let d(k) = 3*k + 4. Let y be d(-3). Let m = y + x. Solve -i = -m*i + 9 for i.
3
Let h = 23 + -39. Let o be (h/(-6) - 2)*18. Let s = 5 - 2. Solve -z = s*z - o for z.
3
Let p = -5 + 8. Let u be 3 + 3/9*p. Solve 0 = w - 0*w - u for w.
4
Let s be (-16)/(-20)*(-10)/(-4). Solve 1 = -l - s for l.
-3
Let i(u) = u**3 - 5*u**2 + 2*u - 6. Let t be i(5). Suppose -3*p = -4*m - 21, 4*m - t*p - 2 = 2*m. Let q = m + 13. Solve -q*v = -0*v for v.
0
Let j = 100 - 97. Solve 0 = -5*i + 2 + j for i.
1
Let c be (-31 - -31)*2/8. Solve 8*b - 4*b - 8 = c for b.
2
Suppose -a + 9 = -x, -14 + 4 = -5*a - 2*x. Suppose a = 4*d - 4. Suppose n = d*v + 11, 25 = -3*n + 8*n - 4*v. Solve -13 = 4*b - n for b.
-3
Let i be (4/6 - 1)*3. Let c = i + 1. Solve p - 2 = -c for p.
2
Let p(y) = 6*y**2 + 1. Let r be p(1). Suppose -v + r = 5. Solve 4*t - v = 2*t for t.
1
Suppose -9 = 4*j - 3*a - 2, 25 = 5*a. Let w(p) = 4*p - 1 - 3*p - j*p. Let f be w(-2). Solve -5*g + f = -4 for g.
1
Let n(o) = 5*o**3 + 2*o**2 - 2*o + 1. Let p be n(1). Let t = -11 + p. Let a be (-12)/30*1*t. Solve -a*b + b = 3 for b.
-3
Let t(i) = -5*i - 5. Suppose 5*q = 5 + 15, 0 = 5*b - 4*q + 6. Suppose -b*m - m = 15. Let s be t(m). Solve -3*g - 2*g - s = 0 for g.
-4
Suppose 10*h = 15*h - 25. Solve -h*p + 2*p + 3 = 0 for p.
1
Let g = -1 - -7. Suppose -g = 4*v + 2. Let y be (-5 + 4)*4/v. Solve -15 = y*x - 7*x for x.
3
Suppose -3*a = n, -2*n + 3 = -0*a + 3*a. Suppose 0 = d + 3*d - 104. Let o = d + -26. Solve n*c + o = -3 for c.
-1
Suppose -f - 3*f + 32 = 0. Let m = -8 + f. Solve -j + m*j - 3 = 0 for j.
-3
Suppose -4*t + 5*w = -60, 0*w = 2*t + 2*w - 30. Solve 3*g + 2*g + t = 0 for g.
-3
Let c(r) = r**2 + 0*r - 5*r**2 - r. Let h be c(-4). Let m be (4/(-6))/(8/h). Solve m = -9*k + 4*k for k.
-1
Let s(v) = -2*v - 17. Let w be s(0). Let j = w - -23. Solve -3*b - j = -b for b.
-3
Suppose -62 = 5*h + 43. Let n = 27 + h. Solve 2 = 2*m - n for m.
4
Suppose 3*z - 237 = -3*d, -z + 2*z + 4*d = 64. Suppose -z = -6*j + 48. Solve -5*s - j = 3 for s.
-5
Suppose 4*n + 0*n = -8. Let o be 0 + 1 + (-3 - n). Suppose 4*g + 3*h - 71 - 44 = o, 2*g + h - 55 = 0. Solve g = -2*i - 3*i for i.
-5
Suppose -5*g = -2*k + 12, -3*k + 4*g + 40 = 8. Suppose -k = -3*o - o. Let m be (-2)/o*1*-16. Solve -3*u + m = u for u.
2
Suppose 0 = 2*t - a - 4, t = a - 5*a + 2. Suppose -z = -t*z. Solve -3*f + 7*f = z for f.
0
Let j be (-3 + 3)/(3 - 2). Solve j = -m - 0*m + 2 for m.
2
Let i = 0 + 2. Let f be 1/i - 3/(-2). Let o = 832 + -832. Solve 4 = -o*x - f*x for x.
-2
Suppose -7*q = -8*q + 4. Solve q*g - 7*g = 0 for g.
0
Let w(a) = -a - 2. Let d be w(-2). Let l be d/(0 + -1 - -2). Let z be (-7 + 13)*(-1)/(-2). Solve l*i - 12 = z*i for i.
-4
Suppose -4*i - 5 = -17. Solve q - i + 2 = 0 for q.
1
Let t(n) = -n + 2. Let j be t(-5). Suppose -9 = 4*x - 1. Let b be 12/7 + x/(-7). Solve -3*s - j = b for s.
-3
Let v(t) = -5*t - 1. Let j be v(-1). Solve -j*h + 12 = -h for h.
4
Suppose -5*w = -0 - 10. Solve 0 = -6*m + w*m - 4 for m.
-1
Let p be (3 - (-1)/(-1)) + 3. Suppose -p*u = u - 66. Solve u = 5*j + 31 for j.
-4
Let q(r) = -2*r + 15*r - 4 + 19 + r**2. Let a be q(-12). Solve -a*l + 4 = l for l.
1
Suppose -3*l = o - 22, l + 2*o = 2*l + 2. Solve -5*w + l - 1 = 0 for w.
1
Let h(t) = -t + 14. Let r be h(10). Solve -q = -2*q - r for q.
-4
Suppose -u = -0*u - 2. Suppose 3 = u*c + 1. Solve -c + 4 = -h for h.
-3
Suppose 2*z + 3*z - 20 = 0. Suppose z*i + 17 = -5*w + 52, -3*i = -2*w - 32. Suppose -5*b - 4 = q - 19, -3*b = 3*q + 3. Solve b*s = -s - i for s.
-2
Let r = -16 - -16. Solve -6 = 2*i - r*i for i.
-3
Let i be 0/(-2) - (-1 + -2). Solve i*s - 4 = 5 for s.
3
Let b(d) = -d - 5. Let i be b(-10). Suppose -76 = -2*m + 3*x + 75, -2*x = -3*m + 234. Suppose m = -p + i*p. Solve 2*n = 6*n - p for n.
5
Let k(s) = -s**3 - s + 2. Let y be k(0). Solve -y*h = -5*h - 15 for h.
-5
Suppose 6*q + 24 = 10*q. Let r = -6 + q. Let p be (-2 + 3 + -11)*-1. Solve 0 = -2*w - r + p for w.
5
Suppose 5*a - 42 = -2*a. Let z be (-78)/(-5) + 6/15. Suppose -3*m + z = m + 2*b, 4*b + 12 = 3*m. Solve m*s - s = -a for s.
-2
Let t(a) = -a - 4. Let g be t(-6). Let z = -6 + g. Let b = z + 4. Solve b = j - 2 + 1 for j.
1
Let q be -245 - -1 - (-10 + 6). Let c be q/(-132) - (-2)/11. Solve -c*k + 1 = -k for k.
1
Suppose -2*m - 4 + 3 = l, -4*m = 4*l + 8. Solve -u = m - 0 for u.
-1
Let n(j) = 5*j**3 - j**2 + j + 1. Let k be n(2). Suppose 5*w - 5 = i, -4*w - 5*i - 6 = -k. Solve -4 = 3*p + w for p.
-2
Let z = 2 - -3. Solve -z*u = -u - 4 for u.
1
Let a(x) = 3*x - 10. Let r be a(7). Suppose -u = 5*p - r, 2*u = -4*p + 3*p + 4. Suppose -4*b + 2*b = p*v + 6, -2*b = -4*v - 24. Solve 0 = -3*w + b + 1 for w.
1
Let y = -10 + 15. Solve 0 = i - y*i - 12 for i.
-3
Let d = 2 + 2. Let p(t) = -3*t + 2*t + 2 - 2*t + d*t. Let k be p(0). Solve -k*l + 1 = -l for l.
1
Let d be (-38)/(-6) - (-2)/3. Let y be (12/(-7))/((-1)/d). Solve -3*i + 3 = -y for i.
5
Let v(y) = y - 2. Let h be v(5). Suppose h = 5*q - 3*a, 4*q = 4*a + a - 8. Solve b = -2 - q for b.
-5
Let g(y) = 37*y - 2. Let u be g(1). Let f be 130/u + (-4)/(-14). Solve f = w + 6 for w.
-2
Suppose 6*t - 143 = -5*t. Solve -2*f - 3 + t = 0 for f.
5
Let k = -13 - -20. Let x(y) = -y**3 + 7*y**2 + 2*y - 9. Let v be x(k). Solve 2*f - v*f = 0 for f.
0
Suppose 4*u + 2*y + 3*y + 17 = 0, -4 = 3*u + 2*y. Suppose -19 = -o - u. Solve 5 = 3*j + o for j.
-4
Suppose -7 = -z - 2*j - 5, -4*j = 4*z - 8. Solve z*d - 10 = -2 for d.
4
Let u be -2*(-2)/(-5 + 1). Let x = u - -6. Solve x = a - 0 for a.
5
Let q be 9/(4 + -2 - 1). Suppose -3*g + 24 = 3*o, 0 = -2*g - g + 2*o + q. Solve 0 + 5 = g*i for i.
1
Let g = -8 - -7. Let o = 2 - g. Solve -o*l = 2*l - 20 for l.
4
Suppose 4 = -3*k - 26. Let d be (2/4)/(4/(-32)). Let b = d - k. Solve t + 5 = b*t for t.
1
Let r = -22 - -32. Solve r - 2 = 4*f for f.
2
Let p = 20 + -29. Let t = 13 + p. Solve -t*d = 2 - 10 for d.
2
Let g be 0/(0 + -1) + 1. Solve 1 = -2*h - g for h.
-1
Suppose -4*h = -9 - 11. Solve -4 - 1 = -h*l for l.
1
Let q(r) = 3*r - 11. Let k be q(5). Suppose -k = s - 6. Solve -s*z - 4 = -2 for z.
-1
Let h(i) = i - 4. Let t be h(5). Let k be (-30)/(-9)*(-6)/(-4). Solve 2*g + k - t = 0 for g.
-2
Let p(z) = 3*z**3 - z**2 + 1. Suppose 0*j = -f + 4*j - 7, f + 3*j = 7. Let i be p(f). Solve 2 - 8 = i*b for b.
-2
Suppose p + 16 = 2*v, 5*v - p - 47 = -2*p. Solve 0 = -w - 2*w - v for w.
-3
Suppose 4*w - 63 = -5*y, -3*y - 48 = -5*w + y. Let x(s) = -6*s - 1. Let i be x(-1). Suppose -i*l = -6*l + 5. Solve -u = -l*u - w for u.
-3
Let m = -39 - -40. Solve 0*q + q = -m for q.
-1
Let m = 4 + -6. Let d be 1/m + (-17)/(-2). Suppose 9*t - d = 5*t. Solve -t*a + 3*a - 2 = 0 for a.
2
Let g = 23 + -21. Let h = 8 + -11. Let w be h/(-15) + (-2)/10. Solve g*v = -w*v - 10 for v.
-5
Let w(d) be the first derivative of -d**2/2 + 2*d + 4. Let b be w(-8). Solve 5*u = 3*u + b for u.
5
Suppose -1 = -2*c + 3. Solve 2*j + c = 10 for j.
4
Let w(q) = 8*q - 3. Let m be w(2). Let u = 11 - 5. Let l = m - u. Solve l = 2*p + 3 for p.
2
Let j(z) = -z - 6. Let o be j(-6). Solve -2*s + 15 - 5 = o for s.
5
Suppose 10*w - 28 = 3*w. Solve -v = v + w for v.
-2
Let r = 30 + -28. Solve 3*h + 7 = -r for h.
-3
Let a(k) = 11*k**2 + k. Let t be a(-1). Let h = -8 + t. Solve -h*d - 1 + 11 = 0 for d.
5
Suppose 2*r + 5*k - 10 = 0, 2*r + k - 20 = -2*r. Solve r*y = -5 + 20 for y.
3
Let v = 9 + -9. Solve 2*x + v*x - 10 = 0 for x.
5
Let s = -34 + 36. Solve -s*d - 5 - 5 = 0 for d.
-5
Suppose -5*k + b - 46 = -166, 0 = 5*k + 3*b - 120. Suppose 0 = -0*g - 3*g + 3*u + k, 3*g - 2*u = 23. Solve -g*z = -3*z - 12 for z.
3
Let h = 1 + -2. Let v = 1 + h. Let l(t) = -2*t - 9. Let z be l(-7). Solve 6*c - c + z = v for c.
-1
Let q = -14 + 15. Solve 2*z = q + 7 for z.
4
Let b = -39 + 55. Suppose 0 = i - 2*c - 6, 0 = -5*i + 5*c - 2*c + b. Solve -i*r + 2 = -0*r for r.
1
Suppose -4*h - 5*z = -1 + 14, 0 = -3*h - z + 4. Let o(y) = y - 9. Let v be o(9). Solve v = -h*i - i for i.
0
Suppose 12 + 12 = 4*c. Let w(a) = -a**2 - 11*a - 7. Let l be -4*3 + 0 + 2. Let b be w(l). Solve b*r = -0*r + c for r.
2
Let l = -1 - -7. Let z = l + -3. Solve -z = 2*w 