*c + 3*c = -b for c.
3
Suppose 10*c = 5*c - 5. Suppose -2*i = 4*o, o = i + 4*o + 2. Let s = c + i. Solve -2*g + 7 = -s for g.
5
Let d = 80 + -74. Solve -d = -3*c + 9 for c.
5
Let x(r) = 7 - 14 - 2*r - 5. Let m be x(-12). Solve 4*g + 4 = -m for g.
-4
Suppose 4*n = 8*n - 32. Suppose -o = o - n. Solve 0 = -o*p + 4 for p.
1
Let x(i) = -i - 3. Let r be x(-2). Suppose -5*h = 5*n - 10, -3*n = -2*h + h - 18. Let y = r - h. Solve k - y = 3*k for k.
-1
Let r be ((-3)/(-2)*-2)/1. Let v be 4/(2 - r/(-1)). Let z be 12*(8/(-6))/v. Solve -y = -z*y for y.
0
Let u be ((-2)/2)/(1/(-3)). Let f = -11 + 14. Suppose 4*c + 2*a = 8, 4*a + 3 + 3 = f*c. Solve -u*o = -c*o - 5 for o.
5
Let b be (0/2)/(1 - 3). Suppose -s - 5*t + 67 = 27, -t + 24 = s. Solve 0 = 5*y - b + s for y.
-4
Let c = 11 - 5. Let i = c - 3. Suppose 0 = -5*k + 20, k + 65 = 3*d + 6*k. Solve 0 = -4*q + d - i for q.
3
Let a(s) = -s**2 + 5*s. Let t be a(0). Solve t = -4*d + 5 - 1 for d.
1
Let l = -5 + 5. Solve 0 = -l*y - y for y.
0
Let h = -30 + 51. Let c = 24 - h. Solve -b = -2*b + c for b.
3
Suppose -j + 0*j + 61 = 3*s, 4*s = 4*j + 76. Suppose 4*q = 16, k = 3*k + 4*q - s. Let t be (-20)/(-6) + k/(-6). Solve t - 1 = -y for y.
-2
Suppose 5*n = 7*n - 8. Solve 8 = y + n for y.
4
Let y be (1 - (-4)/1) + 4. Let j be (12/(-2))/(2 - 4). Solve -y = -0*p - j*p for p.
3
Suppose 5*g = -2*q - 39, -2*q + 3*g - 4*g - 19 = 0. Let k = q - -10. Solve k*j = 2*j for j.
0
Let t(y) = 3*y + 1. Let l be t(1). Suppose -l*a = -4 - 4. Solve -a*s = 4 + 6 for s.
-5
Suppose k - 8 = 14. Let y be (-1 - -1)*(-2)/(-2). Suppose -3*m = 2*d - 26, d - k = -3*m - y*d. Solve m*u = u for u.
0
Suppose -4*r + 2*r + 6 = 0. Suppose 5*n + v + 0*v - 6 = 0, -r*n + 5*v + 26 = 0. Solve -n*s + 5*s = 3 for s.
1
Suppose -2*s - 28 = 2*s. Let q(l) = -l + 11 - 5*l + 6*l**2 - 7*l**2 - 1. Let r be q(s). Solve -12 = r*y + y for y.
-3
Let i = -6 + 18. Solve -2*v - i = v for v.
-4
Suppose -4*g = -16, 0 = 2*r - g - 0*g - 4. Solve r*s = 9 - 1 for s.
2
Let k(a) = -a**3 - a**2. Let l be k(-3). Let n = -18 + l. Suppose 4*d - 12 = -5*c, -c - 2*d + 12 = 3*c. Solve n = -c*r - 0 + 4 for r.
1
Suppose -3*s + 5*a - 3 = -8, 3*a - 25 = -s. Let x(d) = 17 - 6 + 2*d - 3*d. Let n be x(9). Solve n*h + s = 2 for h.
-4
Let a be (-4 + 0)/(1*-2). Solve 0 = -3*d - a*d for d.
0
Suppose -19*r = -21*r + 8. Solve 0*a = -r*a for a.
0
Suppose -f = -2, -3*p = -p + 2*f - 4. Suppose 7*m - 2*m = p. Solve -k = 1 - m for k.
-1
Suppose -4*s + 14 = -18. Suppose -s*t = -3*t. Solve t*j - 3*j - 6 = 0 for j.
-2
Let o(n) = n**2 - 4*n. Let b be o(2). Let h(y) be the third derivative of -y**5/60 - 5*y**4/24 - 2*y**3/3 - 2*y**2. Let p be h(b). Solve -4*d = -p*d for d.
0
Suppose -15*c + 19*c = 12. Solve -3 = c*i - 0 for i.
-1
Suppose -5*j + 3*w + 0*w = -6, -w - 3 = -2*j. Suppose -3*t + 73 + 118 = -2*c, 5*c + 203 = j*t. Suppose t = 5*r + 11. Solve -r = -10*b + 5*b for b.
2
Let s(i) = 3*i**2 - 5 + i**3 + 0 - i + 2. Suppose -3 = 3*w - 2*w. Let p be s(w). Solve p = -k - 3 for k.
-3
Suppose 4 = 5*v - 1. Let z be (1 - 1)/(v - -1). Suppose z = -4*y + 11 + 1. Solve -g + y*g = -8 for g.
-4
Let c(t) = t - 5. Let f be c(5). Solve -5*l + f + 10 = 0 for l.
2
Let i = 12 - 6. Suppose -i = s + 2*s. Let f be (1/s)/((-2)/20). Solve -2*w + f = -w for w.
5
Let j be ((-3)/2)/(6/(-8)). Let s = 2 + 0. Suppose -5*d = -z - s*z + 1, z - 1 = d. Solve 4 + z = j*y for y.
3
Let s(r) = -2*r**3 - 2*r**2 + 5*r + 6. Let d be s(-2). Solve 4*q - d = 4 for q.
2
Let u(h) = 0 - 1 - h + 2*h + 0*h. Let a be u(3). Suppose 3*s - a = 2*s. Solve 0 = s*g - 5 + 3 for g.
1
Let f = 28 - 15. Let p = f - 3. Let x be 0*((-10)/3 - -3). Solve -2*s - p = -x*s for s.
-5
Let f = 1 - 1. Let z(r) = -2*r + 4. Let m be z(0). Solve -2*x + f = -m for x.
2
Suppose -2*l + l = 0. Solve z - 2 = -l for z.
2
Suppose 8 = 2*q - 4*q. Let a be (0/1)/(q/(-2)). Let w be 7/(21/6) + 1. Solve -w*i - i + 16 = a for i.
4
Let p(v) = v**2 + 8*v + 17. Let d be p(-5). Solve 0 = -d*x - 4 for x.
-2
Let d = 11 + -7. Let s be (d/(-6))/((-3)/9). Solve s*j = 3*j for j.
0
Let q(z) = 4*z**2 - 7*z + 6. Let r be q(2). Solve 0 = 5*y + r - 3 for y.
-1
Let v be ((1 + -7)/((-22)/(-33)))/(-1). Solve v = -g + 4*g for g.
3
Let b = 6 + 0. Solve b*f + 20 = f for f.
-4
Let p be 0*(-1)/(-4)*2. Suppose -1 + 21 = 5*r. Suppose r*g = -p*g + 32. Solve 3*c - g = 1 for c.
3
Let i(q) = q**3 + 2*q**2 - 2*q - 1. Let k be i(-2). Solve -s - 2*s + k = 0 for s.
1
Let v be 2*15/6 - 2. Solve 0*h - 9 = v*h for h.
-3
Let y be (-2)/(-7) + (-276)/(-14). Suppose -3*r + 6 = 2*a + 13, -4*a - y = 0. Solve -r = -3*f - 4 for f.
-1
Let g be -4*1*(-2)/4. Let t(o) = 5 + o + g*o - 3 + 3*o**2. Let b be t(-2). Solve 5*v = -17 - b for v.
-5
Suppose -5*n = r - 3, r - n = 6*r - 15. Suppose 0 = -2*f + f + r. Let m(p) = p**2 - 4*p + 2. Let t be m(4). Solve 0 = s - t*s - f for s.
-3
Let j be (-16)/32 - (111/(-2))/3. Solve 8 = -5*n + j for n.
2
Suppose 0 = -4*b + 3*b + 4. Let i = 9 - b. Solve -i*q + 3*q + 6 = 0 for q.
3
Suppose 3*y - 2*y = 0. Suppose 3*p + 3*q = 9, 2*p + 0*p - 13 = 5*q. Suppose 3*l - 51 = -6. Solve y = p*c - c - l for c.
5
Suppose 5 = -2*c + 21. Solve -r - c = -5*r for r.
2
Suppose 9 - 1 = 4*j. Suppose 0*f - 66 = -3*f. Suppose 5*c = -5*q + 30, 0 = 3*q + 4*c - f. Solve q*u = -j*u + 16 for u.
4
Suppose -2*m - 2*m = 4. Let n(t) = -3*t - 2. Let f be n(m). Solve y + 4 + f = 0 for y.
-5
Let n(i) = i**2 + i + 8. Let m be n(0). Let q = -516 - -516. Solve -2*x - m + 0 = q for x.
-4
Let m be (6/(-4))/(6/16). Let w = m - -7. Suppose 2*q = 4, w*q + 6 = 2*r + 4*q. Solve r*z = -3*z for z.
0
Suppose -3*q = f - 3, -q = -4*f - 11 - 3. Let u be 2 + (q - 2) + -2. Solve -p - 5 + u = 0 for p.
-5
Let d(s) = -2*s - 7. Let w = 1 - -1. Suppose z = -4*l + 11, 28 = -w*z + 4*l + 2. Let i be d(z). Solve i*x = 2*x + 3 for x.
3
Let f(i) = i**3 + 5*i**2 + 2*i + 7. Let l be f(-5). Let x = 0 - l. Solve t - x*t = 8 for t.
-4
Let v be 1/(2 - (-26)/(-14)). Suppose 2*g = 3*g - 2. Let a be 46/6 + g/6. Solve v = -5*k - a for k.
-3
Suppose -4*x + 6 = 2. Let k be (-3 - -3)*x/1. Solve k*q - 10 = 2*q for q.
-5
Let x be -6 + 4 + (10 - 4). Solve -20 = -l - x*l for l.
4
Let b = 19 + -17. Solve -5 = -3*j - b for j.
1
Let t(i) = -5*i + 1. Suppose 3*n = 6, n - 3 = 3*y - 2*n. Let j be t(y). Let k be j/(-6) - 1/(-3). Solve k = v + 2 for v.
-1
Suppose 23 = 3*x + 5*p, -2*p - p = -12. Let s be 0/(2*x/2). Solve 0*w - 3*w = s for w.
0
Suppose 2*f - 6 - 3 = -l, -33 = -5*l - 4*f. Solve 3*t = -l - 1 for t.
-2
Let b = 5 + -3. Suppose -o - b*o = 39. Let t = o + 18. Solve t*h + 2 - 7 = 0 for h.
1
Let p(j) = -j + 18. Let k be p(15). Let z be (3 - k)/(1 - 3). Solve -m + 1 + z = 0 for m.
1
Let h(q) = q**3 - 3*q**2 + 2*q - 4. Let g be h(3). Let v = 12 + -7. Solve -g*u + v = -u for u.
5
Let x = 4 - 2. Let w = 0 + x. Let s be (-3)/(-12) - w/8. Solve s = -2*u - u for u.
0
Suppose -3*x - 13 = -u - 3, 2*u - 3*x - 11 = 0. Let b = 3 - u. Suppose 5*a = -5*v + 7 + 3, 4*v + 10 = -a. Solve a*o + 12 = b*o for o.
-3
Let f(h) = -h. Let w be f(-1). Suppose r + 2*a + 3*a + w = 0, 5*r + 2*a - 18 = 0. Suppose -c = -r*c + 9. Solve 0 = c*o + 2*o + 15 for o.
-3
Let t(n) = -n**3 + 4*n**2. Let i be t(4). Suppose i = -3*z + 12. Solve 0 = 2*w - z*w + 6 for w.
3
Let h be (-1)/(1 - 16/12). Solve 0 = -3*i - 3 - h for i.
-2
Let c = 25 - 18. Let s(f) = 4*f**2 - 7*f + 3. Let l(m) = -m**2 + 1. Let q(t) = 3*l(t) + s(t). Let u be q(c). Solve u = 4*d - d for d.
2
Let r = 43 + -25. Let k = r + -3. Let j(i) = 2*i - 28. Let p be j(14). Solve p = 2*n + n + k for n.
-5
Let z(h) = h**3 + 6*h**2 - 3*h - 14. Let i be z(-6). Solve i*v + 2 - 6 = 0 for v.
1
Let w be 3*((-4)/1)/(-4). Solve w*a + a = -12 for a.
-3
Let j(n) = -2*n + 14. Let y be j(4). Solve -5*u - y = 14 for u.
-4
Let p = 40 + -40. Solve p = -2*c - 1 + 3 for c.
1
Let g(x) = 2*x**2 + x + 2. Let t be g(2). Suppose 2*y + 0 = 8. Let b be (-2)/y*2 - -5. Solve -2*d = b - t for d.
4
Let k = 27 + -25. Solve k*t - 3 = -t for t.
1
Let b(f) = f**2 - 3*f - 8. Let v be b(6). Suppose x - 3*i - 10 = -x, -x = 3*i + 13. Let y(n) = n + 1. Let u be y(x). Solve u + v = 5*j for j.
2
Let y(z) = -z**3 + 8*z**2 + z + 7. Suppose 0 = -2*g + l + 23 - 9, 6 = 3*l. Let r be y(g). Solve 4*u + r = u for u.
-5
Let r(a) = -a**3 - 5*a**2 + 5*a. Let l be r(-6). Solve -5*u + 3*u = -l for u.
3
Let j(n) = -n**3 - 