c + k = -3*c for c.
2
Let q be 10/(5/((-10)/(-4))). Let d = 8 - q. Solve 2*c + d = 5 for c.
1
Suppose z - 2*w + 9 = 0, -2*z - 7 = w + 11. Let u be (-2 - z/3) + 1. Solve u*c = c - 5 for c.
-5
Let f = 133 + -129. Solve -4*u = 8 - f for u.
-1
Let z(a) = -a**3 + 6*a**2 - 2*a - 6. Let y be z(5). Solve 4 - y = -c for c.
5
Suppose -2*j = -4*j + 22. Let w = -6 + 9. Let i = w - 2. Solve -i + j = -2*l for l.
-5
Let j be (-9)/(-2 + -1) + -3. Suppose -3*t + 6 = -j*t. Solve -6*w + t*w = -20 for w.
5
Suppose 3*a - 2*l = 5*a, -3*a + 2*l = -10. Solve -a*q - 4 = -0 for q.
-2
Let x = 15 + -17. Let a be 1/x - (-318)/12. Let d be (-9)/(3/(-6)*3). Solve -4*k - d = -a for k.
5
Suppose 3 = -2*h + z + 30, z = h - 12. Let w(d) = d**2 - 6*d + 7. Let v be w(7). Suppose 38 - v = 4*u. Solve u*i - i = h for i.
3
Let p be (-16)/(-56) + (-26)/(-7) + 1. Solve -3 = -4*x + p for x.
2
Let j(x) = -x - 1. Let w be j(-5). Let m(i) = -i - 4. Let u be m(-6). Solve w*d - u - 6 = 0 for d.
2
Suppose -2*o - 3 = -11. Let w = 4 - o. Let y = 2 - w. Solve y*t + 5 = 3*t for t.
5
Let h be ((-2)/3)/((-3)/18). Let y be h/6*6 - 0. Solve -4*j - 20 = -y for j.
-4
Suppose 2*k - 2 = -0. Let w be (2 + 1)*k/(-3). Let p = w + 3. Solve 1 = -z + p*z for z.
1
Let f be 6*(-1)/2 + 2. Let d = 2 + f. Let h(m) = m**3 + 4*m**2 - 4. Let o be h(-3). Solve -14 = -o*y + d for y.
3
Let t(a) = -a**2 - 5*a - 2. Let w be t(-4). Suppose 2*k = w + 4. Solve m = -k*m for m.
0
Let u = -38 - -42. Solve 0*s = -u*s - 12 for s.
-3
Let y be (4/(-5))/((-7)/((-35)/(-2))). Solve 10 = y*f - 4*f for f.
-5
Let w(f) = -f + 6. Let z be w(4). Solve z*x - 2 = 8 for x.
5
Suppose i - 15 = -4*d + 4, -i - 2*d = -11. Suppose 0 = -i*c + 2*c + 6. Suppose 3*q + 3 = c*q. Solve l + 1 + q = 0 for l.
-2
Suppose -8*q = -5*q. Solve 5*g - 3*g = q for g.
0
Suppose k + 0*k = -2*d + 4, k = 5*d + 4. Solve 0 = 5*c - 11 - k for c.
3
Let s(b) = b**3 + 1. Let a be s(-1). Suppose a = -3*x - 4 - 2. Let m = 2 + x. Solve m = 3*u - 1 - 2 for u.
1
Let r be ((-70)/(-20))/(1/2). Solve -r = -4*s - 3 for s.
1
Let b(n) be the second derivative of n**3/6 - 9*n**2/2 - 4*n. Let t be b(10). Solve -4*j - t - 3 = 0 for j.
-1
Suppose 2*c + 3*c - 2*y = 28, -2*c = 3*y + 4. Let g(i) = 5*i + 13 - i**2 + 12 - 23. Let d be g(c). Solve -o - o = -d for o.
3
Suppose 2*g = -g + 15. Suppose -9 - 51 = -5*j. Let b = j - -9. Solve b = -g*z - 4 for z.
-5
Suppose -h + 7 - 1 = 0. Solve 15 = -h*d + 3*d for d.
-5
Let n(x) = -x + 6. Let q be n(-6). Solve 0 = 5*l + 13 + q for l.
-5
Suppose -4*l = 4*m - 36, 4*m - 2*l - 2 - 4 = 0. Solve 5*a = m + 6 for a.
2
Suppose -2 = -3*j + 7. Let h be (10 - 13) + 1*j. Let f be 4/(1*(-1)/(-1)). Solve -f*r + h*r = 0 for r.
0
Let i be 2*(-5)/2*-7. Suppose 15 + i = 2*g. Suppose -2*q - q = -4*l, 0 = -3*l - 4*q + g. Solve -l*b = -14 + 2 for b.
4
Let x = -59 - -62. Let l = 6 - -4. Let t(i) = -2*i**3 - i**2 - 2*i - 1. Let c be t(-1). Solve x*v = -c*v + l for v.
2
Let q = 48 - 27. Suppose 28 = 3*t + 1. Suppose -11 - t = -5*m. Solve -5*a + m + q = 0 for a.
5
Let v(l) = 2*l - 2. Let u be v(-2). Let r(p) = p**2 + 5*p - 1. Let k be r(u). Let d be (-9)/(-6) - 1/(-2). Solve -3*j = d - k for j.
1
Let a = -11 - -16. Suppose -17 = -5*h - z, -2*h + 2*z + 12 = a*z. Solve -i = h*i for i.
0
Let q be ((-55)/15)/((-1)/9). Let m be (-2)/11 - (-6)/q. Solve m = 6*t - t for t.
0
Let r(b) = -b**3 + 4*b**2 - 3*b + 1. Let u be r(2). Suppose -t = u*n + 2 + 4, 0 = 4*t - 4*n - 24. Solve -5 = -t*j + 10 for j.
5
Let s = -6 - -14. Suppose -4*m = -0*m + s. Let l be (m/(-6)*3)/1. Solve 4 = -3*c + l for c.
-1
Let a(i) = -i**3 - 2*i + 5*i**2 - 2 - 1 - i. Let y be a(3). Let v be 1/(1 - 0)*y. Solve j - 10 = v*j for j.
-2
Let z = 4 - 1. Suppose 16*v - 17*v = 3*b - 13, -5*v = -5. Solve b*l = z*l + 4 for l.
4
Suppose s - 5*s + 8 = 0. Solve 0 = -4*d - 14 + s for d.
-3
Suppose 0 = -0*f - f + 5*q + 11, 0 = 2*f + 5*q - 7. Let k be (8/6*3)/1. Suppose m = -t + 1, 0 = -k*m - 3*t + 3 + 3. Solve m*u + 15 = f*u for u.
5
Let g(b) = b**2 - 2*b. Let q be g(3). Solve -q*i - 3 = 3 for i.
-2
Let q(d) = d**2 + 2*d + 2. Let r be q(0). Solve -6 - r = 2*j for j.
-4
Let f be (-6)/(-18)*0/1. Suppose u - 5 = -f*u. Suppose u*d - d = 12. Solve r + d*r - 8 = 0 for r.
2
Let q be 0/(((-12)/(-3))/(-2)). Suppose 35 = -q*p + 5*p. Let i = p + -4. Solve -2*w + i = -w for w.
3
Let h(v) = -v**2 + 18*v - 14. Let r be h(17). Solve r = 3*m - 3 for m.
2
Let r be (-48)/(-10) + 6/30. Solve r*k + 2 = -18 for k.
-4
Suppose 4*q = -0*q + 4. Let k be (3/(-6))/(q/(-2)). Suppose -2 - k = -p. Solve 0 = -2*v + p*v - 1 for v.
1
Let b be ((-8)/6)/((-2)/3). Suppose -4*g = -2*w - 2*g + 4, -g = 5*w + b. Solve w - 5 = -t for t.
5
Let x be (3/(-2))/3*-6. Suppose -5*o + 2*h = -3*h - 15, 4*h + 20 = 5*o. Suppose 2*t = x*n - 20, 0 = 3*t + 4 + o. Solve -1 = w + n for w.
-5
Let j be (-2)/(2 - 0) - -24. Suppose 4*n - 28 = -2*l, -2*l - 4*n = -n - j. Solve -3*m + m - l = 0 for m.
-2
Let s = 60 - 20. Let c(j) = -2*j - 1. Let h be c(-3). Suppose h*g = g + s. Solve -k + g = -3*k for k.
-5
Suppose -4*h - 12 = -28. Solve 10 = h*j + 2 for j.
2
Let k be ((-3)/6*0)/(-3). Solve k = h + 1 for h.
-1
Let d(c) = c - 12. Let s be d(8). Let q(v) = -v**2 - 6*v - 3. Let y be q(s). Solve 9*p + y = 4*p for p.
-1
Let z(f) = -f**2 - f + 2. Let p be z(-2). Let h be 136/36 + 4/18. Suppose h*x = -p*x. Solve -3*n - n + 16 = x for n.
4
Let n = 9 - 6. Suppose 2*g = -n*g + 25. Suppose -4*d - 7 = 2*p + 1, g*p = 4*d + 8. Solve -b + p + 4 = 0 for b.
4
Suppose 5*y = -7*y + 36. Solve 0 = y*m - 0*m for m.
0
Suppose -z + 2 = 1. Let c = z + 1. Solve 3*j = -c*j for j.
0
Let p(y) = -y - 8. Let q be p(-12). Suppose n + 5 = 3*v, -2*n - q + 2 = -2*v. Solve 0 + n = w for w.
1
Suppose 5*k - k = 8. Let y = 2 - k. Suppose 30 = 4*b + 2*b. Solve -b*m + m = y for m.
0
Let k = 8 - 8. Solve 0 = -z - k*z - 3 for z.
-3
Suppose 5*n - 5 = j, -2*j + 31 = 3*j + 3*n. Suppose -2*b - p + 5 = 0, b + 4*b = 5*p + j. Solve -q - b = q for q.
-1
Suppose 7 = -2*y + 5*f, 4*f + 84 = -5*y + 17. Let q = 15 + y. Solve -q*b = 9 + 11 for b.
-5
Let t(j) = 4*j**3 - 2*j + 1. Let y be t(1). Let z(d) = d**2 + d - 4. Let p be z(y). Solve -5*u - 2 - p = 0 for u.
-2
Let q be -1*(-1 - -6)/(-1). Suppose -3*p - q*o + 2 - 8 = 0, 5*o = 4*p - 27. Solve r = -p*r + 20 for r.
5
Suppose 5*v = q + 14, 2*q + 5*v + 0*v = 47. Let i = -7 + q. Solve -z + 3*z = i for z.
2
Let h(l) = l**3 - 5*l**2 - 4*l - 3. Let i be h(6). Solve -i = 4*c + 11 for c.
-5
Let w(y) = y. Let b be w(-5). Let z be 14*(10/(-4))/b. Solve -4*h = 9 + z for h.
-4
Suppose m - 5*m + 400 = 0. Suppose -5*k = 5*b - 0*k - m, -5*b + 3*k + 68 = 0. Solve -b + 1 = 3*y for y.
-5
Let z(k) = 5*k + 1. Let g be z(1). Let m(c) = -c + 2. Let q be m(1). Let i(b) = 5*b**2 - 3*b + 2. Let n be i(q). Solve -2*x = -g*x - n for x.
-1
Let p be (-8)/44 + 48/22. Solve -p = -f - f for f.
1
Let m be 8 + -3 - 1*-2. Solve -2 - m = -3*k for k.
3
Let k(m) = 3*m**2 + 13*m - 19. Let l(c) = 5*c**2 + 19*c - 28. Let q(t) = -8*k(t) + 5*l(t). Let w be q(8). Solve -w*v + 3 = -5*v for v.
-3
Let u be 0 - (-5)/(3 + -2). Let s be (u + -3)/(2/4). Solve 0 = -s*t - 8 for t.
-2
Suppose -2*d = 2*d - 2*b - 2, -2*d - 5*b = -19. Let c(u) = 3*u - d*u + 3*u**2 + 0 + 1. Let m be c(2). Solve -r = 2*r - m for r.
5
Let h(r) = -21*r - 12. Let k(n) = 10*n + 6. Let d(b) = -2*h(b) - 5*k(b). Let u be d(-3). Solve -3 = 5*x - u for x.
3
Let x = -15 + 16. Solve -2 = w + x for w.
-3
Let i(c) = -c**2 + 5. Let j be i(0). Suppose j*r = 7*r - 12. Solve 2*v - r = -v for v.
2
Suppose -3*l + 20 - 4 = -5*c, 0 = 3*l + 5*c + 4. Solve 0 = 6*f - l*f - 4 for f.
1
Let y(j) = 3*j - 6. Let u be y(3). Solve 2*m + u*m = -20 for m.
-4
Suppose 14 + 46 = 5*a. Suppose -3*b = -3 - a. Solve b*u + 20 + 0 = 0 for u.
-4
Let i = -21 - -19. Let d(w) = -2*w**2 - 2 - 2*w**3 - 1 - 2*w**3 - 2*w. Let g be d(i). Solve 0 = -5*b + g - 5 for b.
4
Suppose 0 = 5*l - 5, 2*v + 0*l + 3*l = 11. Solve -v*o + 6 = -o for o.
2
Suppose 3*o - 45 = -5*l, 7*o - 74 = 3*o - 2*l. Suppose 6*a - o = 2*a. Solve 0*i + a*i = -15 for i.
-3
Let l(z) = z**2 - 4*z + 5. Let k be l(5). Solve 5 = -3*o - k for o.
-5
Suppose -6 = -3*g + 39. Suppose -4*t = -9*t + g. Solve -t*f + 1 + 2 = 0 for f.
1
Let d(r) = 0*r**2 + 4*r + 14 - 4*r - r**2. Let z be d(0). Suppose 0 = -q - 2*x + 8, -3*x = 4*q - 3 - z. Solve -10 = 4*w - q for w.
-2
L