 -2*c = c - q for c.
2
Let n(q) = q**2 - 12*q + 6. Let b be n(12). Let s be (4/(-6))/((-2)/6). Suppose -g - 2 + 1 = 2*y, 5*g = s*y + 43. Solve b*a - g*a = 4 for a.
-4
Let r be 0 - (-1 - -4 - (-12)/(-4)). Solve l - 5 + 1 = r for l.
4
Let k(c) = 10 - 5*c**3 + c**2 + 4*c**3 + 0*c**2 + c. Let i be k(0). Solve x + 4*x = i for x.
2
Let b = -12 + 14. Let j = b + -2. Solve 0 = s - j*s - 2 for s.
2
Suppose -4*c = -5*b + 84, -c + 4*b = -6*c - 146. Let t = -11 - c. Let a = 4 - 1. Solve -a*l - t = -0*l for l.
-5
Let h(r) = -r**3 - 8*r**2 + r + 8. Let t be h(-8). Suppose 2*l - 9 + 3 = 0. Solve 8*o - l*o - 20 = t for o.
4
Let m(u) = -u**3 - 4*u**2 - u - 2. Let k(d) = -d**2. Let p(c) = k(c) + m(c). Let f be p(-5). Solve -2*h + 3 = -f for h.
3
Let v = 3 + 1. Suppose 2*y - 4*y + v = 0. Solve 0 = y*o - 4*o + 10 for o.
5
Suppose -12 = -2*a + 3*u, 5*u - 24 = -4*a + 22. Suppose -4*r + a = -7. Solve r + 4 = 2*y for y.
4
Suppose -3*m - m + 28 = 0. Let j be m - (-3 - (2 + -8)). Solve j*q = -0*q + 4 for q.
1
Suppose 0*b - 4 = -2*y - 4*b, -5*y - 2 = -2*b. Solve -2*t + 3 + 7 = y for t.
5
Let t(f) = -f - 4. Let y be t(-7). Suppose y*d - 4*d = 0. Solve -4*s + d*s = 8 for s.
-2
Suppose 8*m - 45 = 3*m. Solve 2*h = -m - 1 for h.
-5
Let l(q) = 9*q + 5. Let i be l(-3). Let r = i - -22. Solve 4*f + 14 - 2 = r for f.
-3
Suppose 10*p - 36 = -8*p. Solve r = -r + p for r.
1
Let w be 1 + 0 + (-9 + 4)/5. Solve -r + w*r + 2 = 0 for r.
2
Let s be 7 + (24/(-32) - 15/(-4)). Solve 9*a + s = 4*a for a.
-2
Suppose 10 = d + 4*d. Solve 0 = a - d*a + 4 for a.
4
Suppose -4*q + 5 = 1. Solve -g + q = -4 for g.
5
Let p(b) = 2634 + b**2 - 2*b**3 - 2*b + 4*b**3 - 2633. Suppose -x = 2*x - 3. Let t be p(x). Solve -g - 4 = -t*g for g.
4
Let c be (-3)/(3/17) + 0. Let o = c + 25. Solve -3*h + o*h - 5 = 0 for h.
1
Suppose 4*c + 2*c - 18 = 0. Solve 12 = -c*i - 0 for i.
-4
Let b = 6 + -4. Let o be -1 + (2 - (4 + -2)). Let f = o + b. Solve -2*h + 1 = -f for h.
1
Let n = -4 + 16. Suppose -o - 2*f - 1 + 16 = 0, 4*f = n. Solve -1 + o = -2*r for r.
-4
Suppose -2*l = 5*j - 31, 8*j - 5*j + 2*l - 17 = 0. Let s(g) = -g**2 - 7*g - 3. Let p be s(-6). Let t = p + 0. Solve j*r - t = 4*r for r.
1
Suppose y - 3 + 0 = 0. Solve y - 5 = -m for m.
2
Suppose 0 = -2*h + 2*j + 34, 7*j + 6 = 4*j. Solve -2*v = v - h for v.
5
Suppose -4*r + 3*a + 23 = 0, -3*r + 10 = 5*a - 0*a. Suppose 16 = r*x - x. Let p be 2*14/x + -1. Solve 3*f - 3 - p = 0 for f.
3
Suppose 105 = -0*c + 7*c. Solve 2*p + c = -3*p for p.
-3
Let u(b) = -b + 7. Let c be u(7). Solve c = -5*r - 0*r - 5 for r.
-1
Suppose 0 = -g - 4, -16 = z + 5*g. Suppose -4*y + z = -4. Let w(l) = l**2 + 3*l + 4. Let v be w(-4). Solve 4*h - y*h - v = 0 for h.
4
Suppose 2*t = -0*t - 4. Let k = t + -52. Let j be (-4)/10 + k/(-10). Solve x + j + 0 = 0 for x.
-5
Let p be 2/(-9) - 8/108*-3. Solve 0*u + u = p for u.
0
Let l(f) = -f + 11. Let d = 7 - 3. Let c be (-4)/(-5)*50/d. Let a be l(c). Solve -a = -3*g - 16 for g.
-5
Let y = 3 - -11. Suppose -1 = -5*t + y. Suppose -t*j + 47 = -k, -6*j = -j + 4*k - 67. Solve j = q + 2*q for q.
5
Let z = -36 - -40. Solve -v - 6 = -z*v for v.
2
Let w(r) = r - 3. Let j be w(8). Solve -3*q + 1 + j = 0 for q.
2
Let i(r) be the second derivative of -3/2*r**2 - r + 0 - 1/2*r**3. Let w be i(-2). Solve -m + 8 = w*m for m.
2
Suppose -35 = -5*b - 25. Solve -b = 2*v + 6 for v.
-4
Suppose 2*i - i = 8. Let o be (-2*1)/(0 - 1). Solve o*m = i - 0 for m.
4
Suppose v + n = 2*v - 3, 2*n + 6 = 4*v. Solve v = -3*u + 3 - 6 for u.
-1
Let q = 1 - 7. Let j = 26 + -23. Let b be q*(0 - j)/6. Solve 3*u = -0*u + b for u.
1
Suppose -22 = -7*b + 13. Solve i - b = 2*i for i.
-5
Let t(z) = -z**2 - z + 8. Let s be t(-3). Solve -s*x = -0*x for x.
0
Suppose -2*k + 6 = -k. Suppose -3*b + k*j = 3*j + 3, -4*j + 4 = -b. Suppose -3*r + 3*d = b, d = -4*r - 2*d. Solve -5*q - 20 = -r*q for q.
-4
Let a = 26 + -16. Let b be (a/(-3))/(4/(-6)). Solve -3*l - b = -4*l for l.
5
Suppose 5*s = -0*i + i, 2*s - 36 = 4*i. Let r be (-15)/(-6)*(-16)/i. Suppose 0 = 2*h + 3*h. Solve h = r*p - p - 6 for p.
2
Let k = -61 - -64. Solve -2*z - k = -11 for z.
4
Let w be (3 - -6)/((-3)/(-2)). Let s(g) be the second derivative of g**3/6 - 2*g**2 - g. Let t be s(w). Solve -t*m - 1 = 3 for m.
-2
Let j(l) = -l**2 + 15*l - 12. Let p be j(13). Solve p + 6 = 4*o for o.
5
Suppose 2*y = -0*y + 12. Let c = 158 + -149. Solve 0 = y*z - 3*z + c for z.
-3
Suppose 3*h = 5*f - 0*h - 25, 4*h - 15 = -3*f. Solve 0 = 2*m - f*m - 3 for m.
-1
Let f = 27 + -21. Suppose -g + f*g = 40. Solve 0 = -2*x - 2*x + g for x.
2
Let i(f) = -f**3 + 5*f**2 + 6*f - 1. Suppose 2*n + 3*y = -3*n + 36, 2*n - 10 = y. Let s be i(n). Let r be 6/(-3) - s*5. Solve 6*g - r*g + 15 = 0 for g.
-5
Suppose 5 = -3*w + 4*w. Suppose -w*h = -6 - 9. Solve h*i = i for i.
0
Suppose 3*i - 27 = 5*w - 1, 5*i = 5*w + 30. Suppose -i*k = -5*k. Solve -1 = -u - k*u for u.
1
Let m = 17 + -25. Let h be (-50)/(-4) - (-4)/m. Let j(c) = -c**2 - 8*c - 9. Let y be j(-6). Solve -y*b = b - h for b.
3
Let j be -1 - -3*1/3. Let s(c) = -2*c**3 - 2*c**2 + 2. Let m be s(-2). Suppose 0 = 4*p + p - m. Solve -p*k - k + 15 = j for k.
5
Let f be -1 - 2*(-30)/2. Solve 5*g - f = -4 for g.
5
Let k = 4 + 5. Solve 0 = -5*l + k + 16 for l.
5
Let o = 10 - 7. Let h be 2 + o + -1 + 0. Solve -4*u + h = -4 for u.
2
Let w = -75 + 76. Let k = 1 - -1. Solve k*i = i - w for i.
-1
Let m be -1 + 4 + -5 - -2. Solve 0 = t - m*t + 1 for t.
-1
Let o = -8 - -5. Let u = 3 + 0. Let b be ((-2)/o)/(2/u). Solve 0 = -5*w - b + 6 for w.
1
Suppose 13 = 4*l - 3. Solve y - 3 = -l for y.
-1
Let j(w) = w**2 + 4*w + 3. Let y be j(-4). Suppose y*l - 15 = -2*l. Let m = -4 + 9. Solve 0 = -2*g - m - l for g.
-4
Suppose 29 = 4*s - f + 4*f, -4*s - 5*f + 35 = 0. Suppose -4*n - 66 - 54 = -2*d, 30 = -n - s*d. Let a be (-4)/(-16) - n/8. Solve 10 - 2 = a*b for b.
2
Let n(o) = -2*o**3 + 4*o**2 - 4*o - 28. Let l(f) = -3*f**3 + 7*f**2 - 7*f - 56. Let p(i) = -3*l(i) + 5*n(i). Let u be p(0). Solve -12 = -4*c - u for c.
-4
Let g(i) = 5*i - 38. Let o be g(8). Solve o*c + c = 0 for c.
0
Let s be (-6)/33 + 630/77. Solve s = -3*x + 17 for x.
3
Suppose 16 = 2*j + 2*j, 5*j = 2*q + 14. Solve -q*g = -g for g.
0
Let p = 29 + -26. Solve l = 2*l + p for l.
-3
Let u(m) = -m - 8. Let w be u(-8). Suppose -4*r - 2*g + 10 = w, 3*r - 6*g - 14 = -g. Solve 0 = -r*a + 1 + 14 for a.
5
Let r(h) = -4*h - 1. Suppose -6*j = -3*j + 3. Let n be r(j). Solve -2*f = f - n for f.
1
Let b = 16 - 4. Let w be (-3 - 1)*27/b. Let x = 12 + w. Solve 4*s + 13 = -x for s.
-4
Suppose 3*q = 13 + 2. Suppose 4*k = t + 1 + 1, -q*t = k - 11. Solve -11 + 5 = -t*r for r.
3
Let x be -3 + 12/(-4) + 5. Let a be x/2 - 15/(-2). Solve 0 = -3*z + a*z - 8 for z.
2
Let r = 115 + -107. Solve -2*k + r = 2*k for k.
2
Let x(y) = y**3 + y. Let w(i) = -4*i**3 + 10*i**2 + 5*i. Let d(m) = -w(m) - 5*x(m). Let q be d(-9). Solve q = b + 2*b for b.
3
Suppose -4*z + 12 = s, 0 = -2*s - 0*s + 3*z + 2. Suppose s*d + 0*d = 12. Suppose w + 6 = d*w. Solve k = -7 + w for k.
-4
Let u = -22 - -22. Solve u = -t + 5*t for t.
0
Suppose -i = 5*d - 4*d, -3*i = 9. Let m = 14 - 10. Solve -5*n = -d*n - m for n.
2
Let b(q) = q**3 + 15*q**2 - 16*q + 3. Let p be b(-16). Solve 7*w = p*w for w.
0
Let k be (-2 - (2 + -5))*-3. Let r be -1 - k - 6/1. Let l = r + 7. Solve 2*d + d = l for d.
1
Suppose 0 = j - 3*f - 1, 4*j - f - 15 = 0. Solve 0*m = j*m - 20 for m.
5
Suppose -3*w + 3*i = 5 - 23, 2*w = i + 10. Solve -w*y + 9*y = 0 for y.
0
Let g(x) = -x**3 + 5*x**2 + x - 4. Let k be g(5). Let l be (1 + -2)/(k/(-6)). Solve 3*j + l + 0 = 0 for j.
-2
Let o(b) = b**2 - 5*b + 2. Let g be o(5). Suppose -3*p - 22 = -g*r, -3*r = p - 32 + 10. Let c(i) = 26*i**2 - 1. Let s be c(1). Solve 3*w = r*w + s for w.
-5
Let f be (4 - 1)*(5 - 6) + 3. Solve 3*a + 4 + 5 = f for a.
-3
Let i be (4/3)/((-13)/(-195)). Solve -i = -3*j - j for j.
5
Let y(b) = b + 3. Let p be y(0). Suppose -2*h = -v + 9, 0 = 3*v - p*h + 7*h + 3. Suppose -4*c - 5*m + 60 = 0, 21 + 51 = v*c - 3*m. Solve -4*j + c = j for j.
4
Let j(y) = y**3 - 2*y**2 - y. Let i be (3/(-2))/(4/(-8)). Let o be j(i). Solve -10 = -w + o*w for w.
-2
Let r be 0*-2*3/(-12). Solve 0*o + 4*o - 4 = r for o.
1
Let s = -10 + 19. Solve 4*c = s + 11 for c.
5
Let q(n) = -n**3 - n**2 + 3*n - 2. Let h be q(2). Let u be h/12 - 16/(-6)