 Let t = p + 5. Solve -2*j + t = 5 for j.
-2
Let c(a) = 6*a. Let n = 2 - 0. Suppose n*k + 2*w = 4 + 6, -5*k + 17 = 3*w. Let v be c(k). Solve r + 1 = v for r.
5
Suppose -30 = 2*g - 7*g. Suppose -g*h + 3*h = -12. Solve 2*d - 10 = h*d for d.
-5
Let x be 2/10 + 456/95. Solve x*d - 25 = -0*d for d.
5
Suppose 3*c = 2*c - 1. Let p(u) = u**3 - u. Let a be p(c). Solve i - 6 + 4 = a for i.
2
Suppose 12 = 4*s, -s + 2 = -2*i + 3. Suppose 5 + 4 = -f + 5*g, -i*f - 4 = -3*g. Solve -u - 4 = -f for u.
-3
Let u(g) = -g**3 - 9*g**2 + 10*g + 2. Let m be u(-10). Suppose -22 = -m*p + 3*v, p = 2*p - 3*v - 11. Solve -p = -3*i - 2 for i.
3
Let o(r) = -r + 6. Let b be o(5). Let j(t) = t - 3. Let s be (-33)/(-12) + (-1)/(-4). Let f be j(s). Solve f = -g - b - 2 for g.
-3
Let j(o) = o**2 - 18*o + 4. Let z be j(18). Solve 2*w - z = 3*w for w.
-4
Let m = 1 + 1. Suppose -m*i + i = -11. Suppose 0 = s - 5*h + i, -h + 3*h = -4*s + 22. Solve 2*v - s = v for v.
4
Suppose 30*c = 34*c - 72. Solve 0 = 5*o - 2 - c for o.
4
Let v(a) = a**3 + 4*a**2 - 5*a + 4. Let u be v(-5). Solve y - u = 2*y for y.
-4
Let r = -4 + 6. Let f(o) = -5*o**2 + o + 4*o - o + 4*o**r. Let v be f(3). Solve 0 = p - 0*p - v for p.
3
Suppose 23 + 2 = 5*g. Suppose 0 = 3*q - g - 4. Suppose -5*m = -u, -2*u - 2 = q*m - 3*u. Solve 0 = 3*y + 11 + m for y.
-4
Suppose -19 = 2*v - 25. Solve -q + v*q - 8 = 0 for q.
4
Let v(q) = -q**2 - 6*q - 7. Let g be v(-2). Solve -g = -3*t + 5 for t.
2
Let h(a) = -7*a**3 + 5*a**2 + 4*a - 5. Let y(c) = 6*c**3 - 4*c**2 - 3*c + 4. Let f(k) = 4*h(k) + 5*y(k). Let o be f(1). Solve -q = o*q - 20 for q.
5
Suppose -a = -f + 5, -f + 6 = f - 3*a. Suppose c = 4*c + f. Let s = c - -6. Solve -2 = v + s for v.
-5
Let t(d) = d**2 - 21*d + 4. Let b be t(21). Solve -b*k - 5 = -5*k for k.
5
Suppose -10 - 20 = -5*x. Let o be x*1 + 28/(-14). Solve o*g - 4 = -8 for g.
-1
Let k be 3/4*4/1. Suppose -2*v + 4*v + 12 = x, -2*v = -3*x + 8. Let m = v + 9. Solve m - k = -w for w.
1
Let t = -1 + 4. Suppose 5*q = -j + 10 + 7, -2*q + t*j = 0. Solve 4*u - 1 = q for u.
1
Let x = 3 + 0. Let y = -28 + 50. Suppose 0 = -4*i + p + y, x*p = 1 - 7. Solve -i = -6*a + a for a.
1
Let u be 10/4 - 30/12. Solve -5*z + u*z = 10 for z.
-2
Suppose 3*f + 4 = -8. Let s be (5/(-2))/(f/8). Solve -s*q - 28 = -3 for q.
-5
Let y(a) = 7*a - 9. Let x be y(6). Suppose -3*s = -i - 22, -5*s + i + x = 3*i. Solve 0 = 3*j + 1 - s for j.
2
Let v(q) = 2*q - 24. Let t be v(13). Solve 5 - t = -3*c for c.
-1
Let y = -3 - -5. Suppose y*s = 4*s - 2. Let a be s/(((-5)/(-4))/5). Solve -a + 2 = -2*t for t.
1
Suppose 0 = -12*a + 7*a + 30. Solve -a = -4*c - 2 for c.
1
Let u be 4/18 - (-356)/18. Suppose 4*d - u = 0, 0 = 3*q - 0*q + 3*d - 75. Solve -j - q = -5*j for j.
5
Suppose 2*r = -3*o + 28, -2*r = 3*r + 2*o - 81. Let q = r - 14. Solve 7 = 2*d - q for d.
5
Suppose -k + u + 4 = 0, k - 6*u - 10 = -2*u. Suppose -q + 3 = s - 1, 0 = 5*q - s + 4. Suppose 2*w = -h + 10, w + 5 = 2*h - q. Solve 3*v = k*v - h for v.
-4
Suppose a + 2*f - 14 = 0, 11 = a + 3*f - 8. Suppose a = 2*p - 0*p. Suppose -2*q = -5*q. Solve -2*y = -q*y - p for y.
1
Suppose 4*z + 10 - 30 = 2*j, 5*z = -j + 25. Suppose r = 10 - 31. Let w be r/(-12) + (-3)/(-12). Solve j = 3*h + w*h for h.
0
Let d be (-1)/(-6) + 92/24. Solve g = -0*g - d for g.
-4
Let n(v) = v**2 - 8*v + 2. Suppose -20 = -5*u - 5*p, 34 = 3*u + u - 2*p. Let d be n(u). Let l = 8 + d. Solve l*j - 2*j = 2 for j.
2
Let q(u) = u**3 + 10*u**2 + 9*u + 3. Let o(a) = 2*a + 3. Let t be 2*2*3/(-2). Let k be o(t). Let j be q(k). Solve j*s + 9 - 21 = 0 for s.
4
Let m be 3/2 - 6/4. Let i be 1*(1 - m)*5. Suppose -3*q = 3*x - 15, q + i*x + 0 - 5 = 0. Solve -2*g = 1 + q for g.
-3
Let s(x) = -3*x**2 + 2*x - 4. Let z be s(3). Let m be 5/z + (-2)/(-10). Suppose -9 = 3*b, 0*u + u + 4*b + 8 = m. Solve u = 7*d - 3*d for d.
1
Let q = 14 + -8. Suppose t + 0 = 2*u - q, 2*u - 10 = -t. Solve 0 = -t*a + 5 - 15 for a.
-5
Suppose -15*p + 105 = 6*p. Solve 0*k - p*k - 20 = 0 for k.
-4
Let t(d) = d**2 + 2*d - 5. Let x be t(-4). Let r = 0 + 4. Suppose 2*b + 2*k = r, 5*b - x*b - 4*k + 8 = 0. Solve b*m = m for m.
0
Let n(z) = 2*z**2 - 3*z + 1. Let a be n(2). Let j = a + 0. Suppose r - 17 = 5*k, -r + 2*k + 11 = -k. Solve j*s - r*s = 4 for s.
4
Suppose -3*y + 5*o - 9 = 0, 3*y - 3*o = -7 - 2. Let p be 33/7 + (-2)/(-7). Let n = y + p. Solve n*s - 16 = 6*s for s.
-4
Suppose -6 = -h - i, -3*h = -4*i - 0*i + 10. Solve -h - 2 = 4*w for w.
-1
Suppose 3*k + k = 0. Let q be (-38)/(-5 - -3) + 1. Solve q = -5*r - k*r for r.
-4
Suppose 5*o + 5 = 0, 82 = 4*d - d - 4*o. Suppose -29*z + 12 = -d*z. Solve 31 - 11 = z*q for q.
5
Suppose -5*a = 12 - 22. Solve -2*c = -c - a for c.
2
Suppose 0*o - 3*o = -3. Suppose 0 = 5*a - 2*a - 15. Suppose 5*k - 2*f - 26 = 0, a*f = 3*k - 5 - 3. Solve -k + o = r for r.
-5
Suppose 3*r + 52 = 2*r. Let t be (-4)/(-26) - (-8)/r. Solve -4*a + t + 12 = 0 for a.
3
Suppose 4*v + 4*l = 8, -2*v + 3*l - l = -20. Let i be v*((-10)/(-3))/(-5). Let d be (-3)/(-1) + i - -3. Solve 0 = -d*h + 2 + 8 for h.
5
Let r = -11 - 1. Let g be 8*(2 - r/(-8)). Solve 0*p - 12 = g*p for p.
-3
Suppose 4*s = -0*s - 8. Let y be 3 - (-2 - s) - 3. Solve y = -4*n - 4 - 8 for n.
-3
Let x = -1 - -5. Suppose 3*q = x*q - 20. Suppose -q = -4*t - 0*t. Solve t*l - 1 - 24 = 0 for l.
5
Suppose -2*p = -2*y, 3*p + 3*y = y - 25. Let w = -2 - p. Solve -4*t = -w - 1 for t.
1
Let m be (-10 + 9)/((-2)/6). Solve m*i = 6*i + 3 for i.
-1
Let w(p) = 2*p + 6. Let m be w(-5). Let t(g) = -g**3 - 5*g**2 - 7*g - 4. Let j be t(m). Suppose -j = -c - c. Solve 4*d + c - 12 = 0 for d.
2
Suppose 5*f + 3*a - 26 = 0, 0*a - a = -2*f + 6. Suppose -f*s = 3*l - 12, -2*l + 8 = 2*s + 2. Solve 0 = s*r - r + 10 for r.
-5
Let g(j) = j**3 + 2*j**2 - j + 2. Let p = -1 - 1. Let f be g(p). Solve -f*q = -2 - 2 for q.
1
Suppose 0*m - 8 = 4*m. Let d(h) = -h**3 - h**2 - 1. Let c be d(-2). Let w = c + m. Solve l + 2 = w for l.
-1
Let h = -6 + 8. Suppose i = 4*i + 5*t - 26, 0 = -2*i + 3*t - 8. Suppose -3*x + 12 = -i*c - 0, -2*x = -8. Solve c = 4*s - h*s - 2 for s.
1
Let u be 6*(30/4)/5. Solve 2*g - 1 = u for g.
5
Let t be 16/9 - 2/(-9). Suppose 12 = 4*z, -t*o - 3*z = -0*o - 9. Suppose -3*m + 4*m - 25 = o. Solve 4*c - m = -c for c.
5
Suppose b + 0 = 4. Let n be ((-10)/b)/((-2)/4). Solve -4 = -3*h + n*h for h.
-2
Let j be ((-55)/(-10) + -5)*8. Suppose 0 = 5*t - 2 - 23. Suppose 3*f + 1 = -i + 5*f, 3*i - t = 2*f. Solve j*v - i = -11 for v.
-2
Let j = 117 - 107. Solve -z = z + j for z.
-5
Suppose v - 2 = -1. Suppose -3*r + 0 = -2*o + v, -4*o + r = -7. Solve 0 = -o*z - 3*z for z.
0
Suppose -s - 2*s = -2*s. Solve s = 2*z - z for z.
0
Suppose 7*o - 6*o = 0. Solve o - 10 = -5*q for q.
2
Let l be -3 + -1 - (-10 - -5). Solve 0 = -0*m - m - l for m.
-1
Let k be (-4)/1 - (-36)/6. Solve -3*b + 1 = -k*b for b.
1
Let p = -7 - -12. Suppose 0 = -p*c - 4 + 14. Let f be 2/4 + (-5)/(-2). Solve -25 = f*l + c*l for l.
-5
Let x be 6/(-8) + 12/16. Solve x = 3*y - 0*y + 9 for y.
-3
Let z(n) = -n**2 - 5*n - 2. Let r be ((-18)/(-3))/((-3)/2). Let m be z(r). Suppose -m*o = 4*j + 2, -11 = -4*o - 6*j + 3*j. Solve -2*g = -3*g - o for g.
-5
Suppose 7*f = 2*f + 280. Let b be f/16 - 2/4. Solve 2*s - 4 = b*s for s.
-4
Let m(v) = 2*v - 10. Let w(h) = 2*h - 11. Let p(c) = -2*m(c) + 3*w(c). Let s be p(9). Solve -d + s*d - 20 = 0 for d.
5
Suppose -n + 5 = 5*v, 2*v - v = -3*n + 1. Solve d - 3 + 6 = n for d.
-3
Suppose 0 = -6*o - o + 70. Solve -m - 4*m - o = 0 for m.
-2
Suppose 0*o + 4*o = 0. Suppose y - 2*n = -o*n + 6, -5*n = 5. Solve y*x = -x for x.
0
Let h(w) = -w**3 - w. Let p be h(-2). Solve 4*j - 30 = -p for j.
5
Let p(i) = i**2 - 6*i + 3. Let m(u) = -u**2 + 5*u - 2. Let o be m(4). Suppose 30 - 8 = 5*x - 4*r, 2*r + 8 = o*x. Let g be p(x). Solve g + 7 = -5*c for c.
-2
Let y(f) = 3*f + 1. Let x be y(1). Let z be (6/9)/(x/(-6)). Let a be 0/1*z/(-2). Solve 2 = -a*j - 2*j for j.
-1
Let z = 10 + -8. Solve -v = z*v + 3 for v.
-1
Let m be 0/(0 + (4 - 2)). Let b be m/(-2 - (-1)/1). Solve -4*d + 7*d = b for d.
0
Suppose -38 = 5*l + 4*h, -3*l - 20 = -0*h + h. Let a = l + 8. Let p be ((-27)/6 + a)*-2. Solve p*z - 16 = 9 for z.
5
Let u(h) be the first derivative of h**2/2 + 1. Let m be u(4). Let x be ((-3)/9)/1*0. Solve -m*d - 5 + 1 = x for d.
-1
Let z(o) = -o + 11. Let b = -24 - -32. Let s