v + 6*v = -15. Solve -v = -j - 5 for j.
-2
Let i = -54 - -54. Solve k - 4*k = i for k.
0
Suppose -4*y + 8 = -0*y. Solve -y*s - 12 = s for s.
-4
Suppose y - 18 = 4*y. Let z = y - -5. Let w be 0 + 2 - (z + 3). Solve -2*o + w = 2 for o.
-1
Let z be (2*-1)/(8/(-20)). Suppose -2*i = -z*y - 32, 0*y + y = -4. Let r be 2/i + 16/24. Solve 0 = -2*a + 3 - r for a.
1
Suppose 4*q = 5*v - 8, 0 = q - 5*v + 19 - 2. Let o(h) = 5*h - 6*h + 2 + 0*h + 2*h. Let m be o(-2). Solve m = -0*u - q*u for u.
0
Let g be (-2 + 1 - -3)/1. Let s = -8 + g. Let p be (s/10)/(2/(-10)). Solve -p*j = -8*j for j.
0
Suppose 2*q - 6*q - 2*z = -4, 3*q - 21 = 3*z. Let l = 192 - 186. Solve -q*v - l = -0*v for v.
-2
Let h be 15/(-9)*(-9)/3. Solve -h*x + 0*x = -25 for x.
5
Let b = 31 - 43. Let s = b - -20. Solve -5*l - s = 2 for l.
-2
Let c(h) = -h**2 - 6*h + 17. Let v be c(-8). Solve -v = -d + 1 for d.
2
Suppose 5*w = 3*x + 12, -2*w = -2*x - 2 - 2. Let g be (0*x/(-3))/(-2). Solve h - 4 + 8 = g for h.
-4
Let i be (4/5)/((-1)/(-5)). Suppose -h - 4*y + 9 = -13, h - 3*y = -13. Suppose h*x + 3*x = 0. Solve 4*a = -x + i for a.
1
Let y be ((-20)/6)/((-8)/24). Solve 0*k + y = 2*k for k.
5
Let r be 57/(-6) + (-1)/(-2). Let i = r + 21. Solve 2*f + i = -2*f for f.
-3
Let a(w) = 14*w + 1. Let u be a(1). Suppose 0 = -0*v - v + 2. Suppose r + u = v*r. Solve r + 1 = -4*t for t.
-4
Suppose -31 + 37 = t. Solve i - 3*i + t = 0 for i.
3
Let g be -2 + 0 - (-5 - -3). Suppose 0*o - o + 5 = g. Suppose 2*y = o*y. Solve y*u - 2*u = 4 for u.
-2
Let f(d) = -d**3 - d**2 - d - 1. Let m be f(-1). Solve -6 = -m*y - 3*y for y.
2
Let v(d) = -2*d + 6. Let m be v(2). Solve -7*c - 20 = -m*c for c.
-4
Let j(f) = -f**2 + f - 3. Let o be j(3). Let d = o - -11. Solve 0 = -3*a - d - 4 for a.
-2
Let m be (-5)/(-2)*-2*-1. Suppose w + 5*x = -1, -5*w + 2*w + 17 = -m*x. Solve -f + w*f + 3 = 0 for f.
-1
Suppose 4*i - 17 = -m, 3*m + 4 = 2*m + 3*i. Let g(d) = -3*d - 1. Let n be (-1)/(-2 + 0)*-2. Let j be g(n). Solve 3*k + m = j*k for k.
-5
Let w(p) = -3*p + 1. Let b be w(-1). Let z be -2 + (-2 - (1 + -4)). Let r = z - -3. Solve r*q = q + b for q.
4
Let z(q) = 2*q - 4. Suppose 0 = -r - 3*c, -9*r = -5*r - c - 26. Let b be r*(-2 - 1)/(-6). Let i be z(b). Solve i*t + 7 = -1 for t.
-4
Suppose 7*v - 4*v = 0. Suppose -2*x + x = v. Solve x = -5*f + 13 - 3 for f.
2
Let z(o) = o**3 - 3*o**2 - 4*o + 2. Let n be z(4). Suppose 0 = 3*r + 5*q + 14, -3*r - 4*q + 18 = -7*q. Solve r*l - 12 = -n*l for l.
3
Let a(w) = -w**2 - w + 2. Let y be a(0). Solve -v = v + y for v.
-1
Suppose s - 3 = -0. Let j = s + -3. Solve -2*k - k = j for k.
0
Let l(h) = h**3 - 6*h**2 + 5*h + 3. Let a be l(5). Suppose -2*m - a*p + 2*p + 5 = 0, 0 = 2*m - 2*p + 10. Solve m = -2*g - 0*g + 4 for g.
2
Suppose -3*s + 10 = 1. Solve 2*h = -s - 1 for h.
-2
Let z = -48 - -52. Solve 4 = -z*w - 4 for w.
-2
Let b(v) = -4*v + 16. Let w be b(12). Let l = w - -45. Solve -3*r + 1 - l = 0 for r.
-4
Let b(a) = -a + 5. Let c be ((-3)/(-6))/1*8. Suppose -i + 20 = 4*u, c*i - i = u + 8. Let q be b(i). Solve -q = -4*w + 3*w for w.
1
Suppose -2*a + 4*k - 22 = 0, -k + 26 = -2*a + k. Let t = -5 - a. Solve 0 = 4*x + x + t for x.
-2
Let s(a) = 3*a - 3. Let l be s(2). Suppose l*x = 4*x. Solve -5*f - 8 + 28 = x for f.
4
Let g = -4 + 3. Let h be 0/(-5 - (g - 2)). Solve h = -3*c - c for c.
0
Suppose 3 = 6*c - 5*c. Solve c*h - 8 = 1 for h.
3
Let y = 82 + -80. Solve t - y = 3*t for t.
-1
Let p(t) = -2*t**2 + 12*t + 1. Let k be p(6). Solve -4*a - 3 - k = 0 for a.
-1
Let t = 28 - 35. Let i = t - -12. Solve 2*d + i - 3 = 0 for d.
-1
Let b(l) = 2 + 11 - 11*l + 12*l. Let z be b(-9). Solve -2*g = -g - z for g.
4
Let z = 108 - 104. Solve -z*f = f for f.
0
Suppose 0 = -2*i - 5*q + 4 + 24, 4*i = 3*q + 4. Let k be 0 + 6*i/12. Solve g = -k*g + 12 for g.
4
Suppose -8*u = -6 - 10. Solve -6*t + 5*t = -u for t.
2
Let f(i) = 5*i - 7. Let b be f(2). Solve 3 = -3*n - b for n.
-2
Let g be 3/5 + (-68)/(-20). Suppose g*s + w = 0, -5*w = 10 + 10. Solve -b + s = 2 for b.
-1
Let c = -12 - -14. Solve p = c*p for p.
0
Let v be (1 - (-10)/(-4))*-2. Let g be (-6)/(-14) - (-36)/14. Suppose 1 = 2*f - 4*a - g, -4*f - 3*a = 3. Solve 0 = -f*o + 3*o + v for o.
-1
Let q(x) = x**2 + 2. Suppose 5*a = a - 3*k, 4*a + k = 0. Let c be q(a). Let f = -9 - -25. Solve f = c*b - 6*b for b.
-4
Let p(d) = -d**2 + 2*d + 1. Let l = -1 - -3. Let t be p(l). Solve -h = t + 2 for h.
-3
Suppose 2*l + 3*l - 45 = c, 5*l - 3*c - 55 = 0. Solve l*f = 3*f + 25 for f.
5
Let j be ((-5)/(-4))/(7/84). Let c be (12/5)/(j/50). Solve -c = -5*p + 2 for p.
2
Let b(i) = -5*i. Let u be b(-3). Solve 0 = -2*s - s - u for s.
-5
Let q(v) = v - 3. Let a be q(5). Suppose o - 4*o - a*u = -10, 2*u = -2*o + 10. Let y be 23/6 - 3/(-18). Solve o + y = 2*f for f.
2
Let p be 8 + (-2 - (-6 + 1)). Solve p = -5*u - 9 for u.
-4
Let q be 0 + 3 + -2 + 1. Suppose 0 = q*r + 4 - 12. Solve r*c = -2 + 14 for c.
3
Let c(o) = -3*o. Let q be c(-1). Solve -q*a = a for a.
0
Let x = 5 - 13. Let r = x - -11. Let m be 36/10 + 2/5. Solve 13 = -m*o - r for o.
-4
Let g(k) = -k**2 - 4*k + 1. Let h be g(-2). Solve h*f - 9 - 16 = 0 for f.
5
Suppose 17 = -6*a + 35. Suppose -3*c = -4*m - 27, 0 = 4*m - 7*m. Solve c = -a*k - 3 for k.
-4
Suppose 0 = 2*i - y - 12, -y - 4*y = -3*i + 11. Solve 5 = 12*t - i*t for t.
1
Suppose 3*w = 4*d + 1 - 0, -2*d = w - 7. Solve -w*s + 8 = -s for s.
4
Let v(w) = w + 29. Let k be v(0). Suppose 4*a = 5*m, 0*a - k = -5*a - m. Suppose 0 = -a*r + 10 - 0. Solve 0*g - r*g = 0 for g.
0
Let c be (5/2)/(40/32). Solve 6*a = c*a for a.
0
Let i(a) = -2*a**3 - 3*a**2 - 2. Let q be i(-3). Let k be 141/21 + 4/14. Suppose -5*p = -3*g - k, -g - 6 = -4*p + g. Solve -3*u - p*u = q for u.
-5
Suppose 5 = -s + 3*b, -2*b = -s + 1 - 3. Let y(q) = -q**2 + 13*q - 18. Let x be y(11). Solve -x*i + s = -0 for i.
1
Suppose -3*r = 5*z - 13, -4*z = -5*r - 1 - 2. Solve 0*x = -x + r for x.
1
Let m(k) = -k**2 - 7*k - 6. Let w be m(-5). Let g = w + -1. Solve 0*r = -g*r - 3 for r.
-1
Suppose 2*w - 10 = -0*w. Solve w + 0 = x for x.
5
Let t = -9 + 1. Let a = t + 10. Suppose 11 = -2*p - 3*m, 5*p - m - 25 = a*m. Solve -n - p = -3 for n.
1
Let g = -128 + 130. Solve -z - g = -1 for z.
-1
Suppose 5*j = 10 - 0, 2*t + 16 = -2*j. Let z(p) = -p - 7. Let o be z(t). Solve -4*a + o*a + 5 = 0 for a.
5
Let r be (-57)/(-3) + -3 - 1. Suppose 5*j - 2*j = r, 14 = 2*o + 2*j. Let g be (2/4)/((-1)/(-4)). Solve 0*y = g*y - o for y.
1
Suppose -g = 3*g - 16. Suppose 4*c = g + 4. Suppose 0 = c*t + 2*t. Solve 2 + t = -a for a.
-2
Suppose 14*v - 5 = 13*v. Suppose -2*g - 5*d + 33 = 1, 4*d - 16 = 0. Suppose g = u - 2*q, 0 - 10 = v*q. Solve -j + 4 = -u*j for j.
-4
Let o = 89 + -85. Solve -o*l + 2 = -2 for l.
1
Suppose -2*s + 12 = -4*h - 6*s, h + 4*s + 15 = 0. Solve 0 = k - 2 + h for k.
1
Suppose -3*n - 14 = -n. Let v = -7 - n. Suppose v*u + 5*u + 3*l = 42, 3*u + 2*l = 26. Solve -4*f = -f - u for f.
2
Suppose 3*f + 11 = -t + 39, 5*t + 4*f = 96. Solve 5*y = y + t for y.
4
Let p = -11 - -3. Let n(s) = -s**3 - 2*s**2 + 6*s + 4. Let u be n(-4). Let f = p + u. Solve 3*x - f = x for x.
2
Suppose 0 = 4*k - k - 15. Solve -k*h + 2 = -3 for h.
1
Let p(z) = -5*z - 4. Let a be p(-2). Let l be (3 - 8)*a/(-10). Solve 0*i + l*i = 9 for i.
3
Let u be 5/3 + (-2)/3. Let b be (-4)/(2/u*-1). Suppose -2*m + b = -8. Solve 22 = -m*x + 2 for x.
-4
Let f be ((-3)/(-2))/(3/8). Suppose -i = i - f. Suppose -4*s + 25 = -5*y, 0 = -2*s + y + 3*y + 20. Solve i*d - 4*d = s for d.
0
Suppose -20 = 5*z, 7*w - 4*w = 4*z + 22. Solve 8 = -4*g + w*g for g.
-4
Let y(k) = k**2 - 8*k + 17. Let r be y(5). Solve -5*w - 8 = r for w.
-2
Let s(t) = -2*t**3 - 3*t**2 + 1. Let j be s(-2). Solve -j*m - 20 = -m for m.
-5
Suppose -48 = -4*u + 12. Solve -5*d + u + 5 = 0 for d.
4
Let v(r) be the third derivative of 0*r - 2*r**2 - 1/120*r**6 - 1/20*r**5 - 1/12*r**4 + 0 - 1/2*r**3. Let t be v(-3). Solve -i + 1 = -t for i.
4
Let b = 36 + -36. Solve b*t + 5*t = 20 for t.
4
Suppose 0 = -4*b + 2*c + 8, 4*c = -0*b + 2*b - 16. Solve 0 = 2*k - b*k - 2 for k.
1
Let r(m) = 5*m + 10. Let q(g) = -g - 1. Let h(p) = -6*q(p) - r(p). Let l be h(-9). Let v = -9 - l. Solve 13 = v*k + 33 for k.
-5
Suppose -36 = -g + 5*g. Let n be (-6)/g*18/4. Suppose 2*a = 5*s, 0 = -s + a - n. Solve 2*c + 0 = s for c.
1
Suppose 20 = 3*j + 2*j. Suppose