/12 - (-13)/6. Let q be ((-9)/27)/(r/p). Solve -v - q*v = -15 for v.
3
Let x(i) = i + 2. Let f be x(2). Solve -f*y = -5*y - 4 for y.
-4
Suppose 5*l = -v + 5, -3*v + 0*v - 7 = 4*l. Suppose -5*b + 20 = 0, 5*i - 2*b - 26 = -6*b. Let h = 2 - i. Solve h = -5*c + 4*c + l for c.
2
Let o(j) = -2*j - 1. Let l be o(-4). Let c(b) = l*b - 6*b - 2 + 4. Let h be c(-2). Solve h = -2*a + 4 + 2 for a.
3
Let o(p) = -p**3 + 5*p**2 + 6*p + 1. Let d be o(6). Let z be 0 - -4 - (3 + -2). Suppose -s + 3*s + 4*m - 16 = 0, 2 = -s + z*m. Solve -d = -s*b + 3*b for b.
1
Suppose u - 16 = t + 5, -4*u - 3*t = -49. Suppose 0 = -l - l + u. Solve -l*w = -4*w + 8 for w.
-2
Suppose -4*x = -42 - 10. Solve 11 = r + x for r.
-2
Let h = -3 - -7. Suppose h*s + 28 = 8*s. Suppose -36 = -4*x + 5*a - 16, -2*x - a - 4 = 0. Solve 2*l - s*l - 20 = x for l.
-4
Suppose t = -4*y + 10 - 1, 5*y = -2*t + 9. Solve 0 = -y*a + 5*a - 10 for a.
5
Let u be (8/(-14))/(12/(-42)). Solve n = -u*n for n.
0
Let v(x) = -20*x**2 + 13*x + 56. Let h(d) = 7*d**2 - 4*d - 19. Let p(i) = 17*h(i) + 6*v(i). Let g be p(11). Solve -3*a + g = -a for a.
1
Let c = -8 + 22. Let f be (-2)/c + 9/63. Let x = -10 + 15. Solve f = -s + x*s for s.
0
Suppose -4*g - 16 = -m - 0*g, 5 = 5*m + 5*g. Solve -m*a + 0 = -8 for a.
2
Let q = -11 + 13. Solve -q*m + 0 - 2 = 0 for m.
-1
Suppose -6*z + 12 = -2*z, 5*f + 5*z = 85. Solve 2*r = -f + 4 for r.
-5
Let t be -3 - 1*14/(-2). Solve -2*i + 10 = t for i.
3
Let z(d) = -d - 7. Let n(r) = -r**3 - 5*r**2 - 2*r - 1. Let k be n(-4). Let q be z(k). Let h be 0*2*(-2)/8. Solve h = -y - q*y for y.
0
Let g(x) = -x**2 + 15*x - 21. Let i be g(13). Solve i*m = -3 - 2 for m.
-1
Let n = -40 + 76. Suppose -n = -j - j. Suppose -5*f + j = 3. Solve f*z - 5*z = -10 for z.
5
Let o(f) = -f**2 - 3*f + 7. Let n be o(-4). Let w be ((-3)/(-4))/(2/8). Solve -2*p - w = -n*p for p.
3
Let n be (-48)/(-26) + (30/(-39))/(-5). Solve -n*t + 1 = 7 for t.
-3
Suppose 11*z = 16*z. Solve z*g - 2*g = 4 for g.
-2
Let s(a) = a**2 + 11*a + 2. Let g be s(-11). Solve -g*b = -6*b for b.
0
Let q(d) = 6*d - 37. Let c be q(7). Solve -15 = -0*h + c*h for h.
-3
Suppose 4 = 4*p - 0, -5*t - 3*p = 72. Let y be 5*(1 - 3/t). Suppose y*q = q + 10. Solve -g = q*g - 15 for g.
5
Let w(p) = p**2 - 1. Let k be w(2). Suppose 5*x - 64 = k*x. Suppose 3*a = y + 5, 4*a + 8*y = 3*y + x. Solve a*t + 5 = 2*t for t.
-5
Let a be 10/4*(-24)/(-20). Solve 3 = 2*w - a*w for w.
-3
Let j = 51 + -31. Let f be 3/((-81)/6) - (-58)/18. Solve 2*n + j = -f*n for n.
-4
Let i(u) = -2*u + 15. Let o be i(7). Solve o - 10 = -3*k for k.
3
Suppose -c + 5 = 0, d - 9 = c - 0*c. Let q(l) = -l + 19. Let y be q(d). Solve -y = -2*r + r for r.
5
Suppose -4*k + r + 8 + 14 = 0, -3*r = 6. Suppose 3 + 17 = k*u. Solve 0 = -u*h + 4 - 0 for h.
1
Let f(j) = 8*j**2 - 3*j + 4. Let g(l) = 17*l**2 - 7*l + 9. Let b(c) = 9*f(c) - 4*g(c). Let k be b(-1). Solve -r = -k - 0 for r.
3
Suppose -18*y = -15*y - 30. Suppose -3*x + c = -y, x - 3*x = -3*c - 9. Solve -6 = h - x for h.
-3
Suppose 3*a - 5*a = -12. Suppose -15 = -3*f - 5*u + a, 3*u - 9 = 0. Suppose -n - 5*j = 15, 2*n = n + 2*j + 6. Solve n = f*i - i for i.
0
Suppose -3*v + 6 = -2*m - 6*v, -4*m = -3*v - 24. Solve -25 = -m*h - 2*h for h.
5
Suppose r - 3*r + 24 = 0. Suppose -103*z + 30 = -98*z. Solve -r = z*b - 2*b for b.
-3
Let l be -1*-3*(-2 + 3). Let n(i) = -2*i - 5. Let o be n(-4). Suppose -o*s + 5*s = 0. Solve -l*p = -s*p + 15 for p.
-5
Suppose 3*p - 7*p = -8. Suppose -2*a = a. Solve -k + a*k = p for k.
-2
Suppose -4*g + i + 17 = 1, -8 = -2*i. Suppose -3*n + 18 = -2*u + g*u, 4*u = 2*n + 12. Solve n = 2*w + 12 for w.
-5
Suppose 0 = 9*s - 4*s + 2*t - 14, 2*t - 8 = -2*s. Solve 0 = -3*u + s*u - 3 for u.
-3
Let x(r) = -r - 6. Let u be x(-6). Let t(k) = k**3 - k**2 + k + 5. Let y be t(u). Suppose 2*i + 28 - 110 = -5*p, y*i + 110 = 5*p. Solve -p = 3*v - 3 for v.
-5
Let p = -15 - 30. Let i be p/(-6)*24/30. Solve 2 - i = -w for w.
4
Let p be 6/(-21) + 4/14. Let h(y) = 3*y**2 + 5*y + 3. Let i be h(-3). Suppose 0 = -3*m + 3, 0 = -3*f - 2*f - 5*m + i. Solve p = -f*n + n for n.
0
Let f = 5 + -2. Suppose 2*m - 8 = -p - 0*m, 0 = 2*p - 2*m - 28. Suppose -p = -2*q - q. Solve -f*n - 8 = q for n.
-4
Let y = 49 - 17. Suppose -s - s = -y. Solve -5*w = s + 4 for w.
-4
Let q(k) = k**3 - 3*k**2 + 3*k - 7. Let n be q(3). Solve -n*t = -5*t for t.
0
Let d(o) = -2*o**2 - 5*o - 8. Let h be d(-6). Let v be h/(-3) - (-3)/9. Solve -v + 1 = -4*i for i.
4
Let r(q) = q**3 - 4*q**2 - 5*q - 4. Let s be r(5). Let h be s/14 - 32/(-14). Suppose u - z - 4*z + 2 = 0, 5*z = -4*u + 42. Solve u + 0 = -h*m for m.
-4
Let w(q) = q**3 - 5*q**2 + 6*q - 3. Let l be w(4). Solve l*k = 2*k - 12 for k.
-4
Let p = 14 - -6. Solve j - 5*j = p for j.
-5
Let h = -23 + 33. Suppose 2*v + 3*v = h. Solve -13 = -5*a + v for a.
3
Let g = -7 - -7. Solve g = -j - j for j.
0
Suppose 3*d + 9 = 4*o, -8 = 6*d - 11*d - o. Solve 3*w = 2*w - d for w.
-1
Let c = 10 - 10. Solve c = z - 1 + 3 for z.
-2
Let w = 0 - -3. Suppose 2*h + h = -4*r + 13, -w = -3*r. Solve -a + 0 - h = 0 for a.
-3
Suppose -5*h - 2*o = -0*h - 30, -4*o = 5*h - 20. Solve -1 = 3*n + h for n.
-3
Suppose -n + 2*n + 8 = 3*l, -n = -4*l + 10. Let r(t) = -t**2 - 8*t. Let h be r(-8). Suppose 3*u + h*u = 6. Solve -l*s = u*s - 4 for s.
1
Let x be (-20)/((2/4)/(-1)). Let o be 1/2*(x + 0). Solve 0 = s + 3*s + o for s.
-5
Suppose 0 = -2*d - 4*q + 16, -3*d - 7 = -4*q - 1. Solve -25 = -3*k - d*k for k.
5
Let c(a) = 2*a + 15. Let k be c(-5). Solve -25 = -0*w - k*w for w.
5
Let i = -14 - -1. Let u = i - -21. Solve 5*h + 17 = -u for h.
-5
Suppose 4*h = 2*i + 14, -2*i + h - 2 = -i. Solve i = 5*b + 18 for b.
-3
Suppose -4*i - 60 = 5*k - i, k + 24 = -3*i. Let y = 2 + k. Let o be y/(-3) - 4/(-6). Solve -o - 5 = -4*d for d.
2
Let z be 1/(-4) + (-22)/8. Let m = 2 + z. Let y be 2 + m - (-7 + 1). Solve 0 = 4*q - y - 1 for q.
2
Let s = -10 - -14. Suppose -2 + 0 = -5*x - 4*v, 3*v = 4*x - 14. Let w = s - x. Solve -2 = -2*q + w for q.
2
Let v(p) = 3*p**2 - p - 1. Let j be v(-1). Let n = 19 + -17. Suppose o + 5*b + 10 = 0, -n*o - 3 + 28 = -5*b. Solve 4*y - o = j for y.
2
Let h(u) = -u**2 + 2*u + 3. Let k(m) = -m**2 + 2*m + 3. Let s(y) = 4*h(y) - 5*k(y). Let j be s(3). Let c be (18/(-2))/3 + 7. Solve c*q - q = j for q.
0
Suppose f = 6*f - 10. Solve -l - 6 = f*l for l.
-2
Let i be 3/(1*(-6)/(-20)). Solve 0*a + i = -2*a for a.
-5
Let w be 2/((-8)/6 - -2). Let q(f) = -4*f + 3*f**w + 5*f - 2*f**3 + 1. Let h be q(0). Solve 5*g + 6 = h for g.
-1
Let g be (1 - 1) + (-4 - -8). Let f = 110 + -76. Suppose 0 = g*c - 30 - f. Solve 0*j = -4*j + c for j.
4
Let m be (3 + 0)/((-6)/(-8)). Let o be (2/m + 0)*0. Suppose 0 = -o*q + 3*q - 18. Solve s = q*s for s.
0
Suppose -12 = 3*o - 5*o. Solve -5*a - o = -3*a for a.
-3
Suppose 0 = -16*g + 19*g + 39. Let w be -4 + 0/(0 - 2). Let l be g/w - 2/8. Solve -l*o = -o - 2 for o.
1
Let a = 6 + -3. Solve -a*z + 16 = z for z.
4
Let k(v) = v**3 + 5*v**2 - v + 6. Let c be k(-5). Let r = -6 + c. Solve -r*f = 11 + 9 for f.
-4
Let h be (4/10)/(6/270). Let y be (-2)/(33/h + -2). Suppose -3*g - 6 = -3*q, 2*q + g - 2 = q. Solve -y = q*m - 2 for m.
-5
Let s = 46 - 44. Solve 5 + 3 = -s*y for y.
-4
Suppose 0*v = 4*v + 3*o - 33, -v = -o - 3. Let y = 4 + -1. Let r(i) = i - 6. Let c be r(6). Solve c = y*l - 6 - v for l.
4
Suppose 3*s - 2*a - 12 = 7, 3*a = 2*s - 21. Let i(k) = s + 3*k**2 - 2*k**2 + k**2 - 3*k**2 + 6*k. Let y be i(6). Solve -2*m - y = 1 for m.
-2
Suppose -5*l - 7 + 2 = 0. Let p = -1 - l. Solve -b - b = p for b.
0
Let r be ((-1)/(-2))/((-3)/(-30)). Solve -r*s + 2 = 7 for s.
-1
Suppose 16*k - 28 = 132. Solve -5*j + 10 = -k for j.
4
Let a be 132/5 + (-12)/30. Suppose a = g + g. Solve 3*w - g = -1 for w.
4
Suppose 65 = 4*a + 5*p, 4*p = 5*a + 13 - 43. Solve -a*u - 12 = -7*u for u.
-4
Let m(a) be the first derivative of a**3/3 - 2*a**2 - a + 2. Let i be m(5). Suppose -n - 2 = -p - 4, -2*n - i*p + 10 = 0. Solve -2*g + 1 = n for g.
-1
Suppose 4*c = 4*k - 2 - 6, 4*c = -5*k + 55. Suppose 0 = -g + 5*z + k, 3*g + 4*z - 5 = -3. Solve 0*b + g = -2*b for b.
-1
Suppose h + 3 = -m, 0*m = 5*m + 25. Solve -h = 3*k - 5 for k.
1
Suppose -5*a = 3*k - 37, 5*k = -0*a - 5*a + 45. Suppose 0 = -w - a*w + 18. Solve 4*d = d - w for d.
-1
Let t = -26 + 30. Solve t*w = w for w.
0
Let h(j) = -