15. Suppose -4*o - 11 = 5*v - 2*v, 5*v = -g*o. Solve -p + v = 2 for p.
1
Let k(r) = 4*r + 5. Let o be k(-4). Let z(m) = -m**2 - 12*m - 12. Let n be z(o). Let d = n + 16. Solve 2*j + j = d for j.
5
Let s be (-1)/(-2)*(-1 + 3) - -6. Solve -3*j + s*j = 16 for j.
4
Let g(y) = y**3 - 5*y**2 - y - 5. Let o be g(6). Solve -3*s - 2*s = -o for s.
5
Suppose 5*y - 13 = -2*r + 4*r, 5*y + 4*r = 19. Solve 0*s = -y*s + 9 for s.
3
Let s = 8 - 12. Let n = 1 - s. Suppose n*z - 12 = z. Solve -d = z*d + 16 for d.
-4
Suppose 0*k = 2*k - 5*h - 15, -2*k + 9 = h. Let x be -2 + 1*(k + -1). Let l(i) = -i**2 + 4*i. Let s be l(4). Solve -x*o + o + 3 = s for o.
3
Suppose -5*f - 3*v = -25, -2*v = f - 5*f - 2. Suppose -h + f*h = 0. Solve h = -2*m + 2 - 4 for m.
-1
Let y(i) = i**2 + i + 1. Let z(h) = 5*h**2 + 17*h. Let d(g) = -6*y(g) + z(g). Let j be d(10). Solve j*r + 2 = 5*r for r.
2
Suppose 9*q = 5*q + 32. Suppose -q - 17 = -5*s. Solve s*o = -30 + 5 for o.
-5
Let y = 4 + -3. Let h be ((-1)/(-2))/(y/6). Solve -21 + 6 = h*t for t.
-5
Let m be -11 + 10 - -1*1. Solve m*a = -a for a.
0
Let z(g) = -g**3 + 5*g**2 + 12*g + 17. Let c be z(7). Solve -4*k + 1 = -c for k.
1
Let x = 82 - 78. Solve -4 = -x*y + 8 for y.
3
Suppose -4*o - 6 = -3*o. Let p be (27/o)/(-3)*2. Let x be 4/2*2 + -1. Solve -p*a - x = -2*a for a.
-3
Let s(w) = 5*w**3 - w**2. Let v be s(-1). Let m = -2 - v. Solve -m = 2*r + 2*r for r.
-1
Suppose -4*y - 2 + 10 = 0. Suppose -y*u + 23 = -m, 59 - 1 = 5*u - 2*m. Solve 4*n = u - 0 for n.
3
Let o(z) be the third derivative of -1/60*z**5 + 0*z - 5/6*z**3 + 1/4*z**4 + 0 + z**2. Let t be o(4). Solve -t*p = 2*p + 25 for p.
-5
Suppose 8 = s - 2*w, s + 16 = -s - 4*w. Solve s + 1 = t for t.
1
Let z(j) = 3*j + 6. Let k be z(-1). Solve -2 = k*y - 5 for y.
1
Suppose 16 = -2*g + 4*g. Suppose 3*l + g = 5*l. Solve l*m + 20 = -0*m for m.
-5
Suppose -2*d = d. Suppose d = -0*u + 2*u - 12. Suppose 5*k - 4 = u. Solve 2*j = 6 + k for j.
4
Let t(u) = -u**2 + u. Let w be t(1). Suppose 0 = -4*d + 4*o + 48, -4*d + 3*o - 4*o = -23. Let v = d + -7. Solve w*l - 4*l = v for l.
0
Suppose 4*o = 1 + 7. Solve 2 = o*x - 4 for x.
3
Suppose 2*l = z - 2*z + 10, -z - 4*l + 18 = 0. Suppose -2*m + 1 = 5, -z*u + 2 = 2*m. Solve u*y - 6*y = -6 for y.
2
Let g(i) = i - 2. Let b be g(2). Suppose b = -2*c - c + 12. Suppose 2*x = -2*s - 4, -5*s + x - c*x = 0. Solve -5*w = -28 + s for w.
5
Let q(i) = i + 1. Let h be q(1). Solve h*p = -2*p - 8 for p.
-2
Suppose p + 17 = 3*p - 5*b, 2*b + 10 = p. Suppose v + v - p = 0. Solve -4*o - v = -0*o for o.
-2
Let z = 6 + -3. Suppose z*g = -g + 8. Suppose 2*a - 4*a = 2*w + 6, 5*a = -15. Solve w = g*n - 2 + 10 for n.
-4
Let q(r) = 2*r**2 - 5*r - 3. Let t be q(4). Suppose -3*w = l - 29, -w + 4*l - t = -23. Solve -7*p + 2*p = -w for p.
2
Suppose 0 = 4*n + 5*y + 7, 4*n + n - y = 13. Suppose -2*f - 2*x = -0*x, 4*f + 2 = -5*x. Suppose -f*i + 2 = 2*i - n*t, 5*i + 5 = 4*t. Solve 5*v + 22 = -i for v.
-5
Let l be (1/3)/((-2)/(-42)). Let f(i) = 0 + 4*i**3 - i**2 - i + 1 + 0 + 0*i**2. Let q be f(2). Solve 0 = 4*v - l + q for v.
-5
Let g be (-34)/(-6) - (-4)/12. Let l(i) = -i + 6. Let m be l(g). Solve -2*n + 0*n = m for n.
0
Suppose 18 = 3*g - 3*i, -g - i + 6 + 4 = 0. Suppose 2*b + 4*u - 7 = 3*b, 4*b - 4*u = g. Solve -1 = -m - b for m.
-4
Suppose 0*c + 29 = 5*c - w, 0 = c - 3*w - 17. Solve 0 - 5 = c*r for r.
-1
Let h = 13 - 11. Let q be h/6*(10 + 5). Solve -20 = q*g - 0*g for g.
-4
Suppose 3*z = -4*k + 104, 4*z = -0*k + 3*k + 97. Suppose -2 - z = -6*x. Solve -x = -2*m - 3*m for m.
1
Suppose -12 = -6*g + 2*g. Solve r = g*r + 2 for r.
-1
Let a(u) = u**2 + 3*u + 6. Let t be a(-4). Let q be 2/5 - (-26)/t. Let b be q + 3/(-1) + 2. Solve -b*j = -4*j - 8 for j.
-4
Let g = 82 - 77. Solve y = -1 + g for y.
4
Let t = 1 + 2. Suppose -2*p - t = -11. Let m be (2 + (2 - 4))/(-1). Solve m = p*w + w + 10 for w.
-2
Let w(c) = -c + 7. Let n be w(7). Suppose 5*s + n*s = 0. Let g be (-3)/(-6) - 10/(-4). Solve g*o - 2*o - 5 = s for o.
5
Suppose g = -3*g + 4. Let t(z) = 4*z - 2. Let x be t(3). Let c = x + -8. Solve -c*j = -3*j - g for j.
-1
Let a(k) = 8*k**2 - 2*k. Let i be a(1). Solve 0 = i*j + 12 + 12 for j.
-4
Let m(j) = j**3 - j**2 + j - 4. Let y = -1 + 4. Let q be m(y). Solve q = -5*n + 2 for n.
-3
Let d be (-16)/8*3/(-2). Let k be (1/(1/4))/1. Solve -k*r + r - d = 0 for r.
-1
Let y(t) = -t**2 - 4*t. Let s be y(-4). Suppose 9 = -n - s. Let m be (-4)/(-2)*n/(-6). Solve 0 = 3*g - 0 + m for g.
-1
Let q(d) be the second derivative of -d**3/3 - d**2/2 - 4*d. Let v be q(-1). Solve -v = -z - 4 for z.
-3
Let g(l) = l**3 - 3*l**2 + 3*l - 4. Suppose -3*u - 2 + 11 = 0. Let k be g(u). Solve -10 = -k*m + 5 for m.
3
Let g = -5 - -5. Solve -3*j + 2 - 8 = g for j.
-2
Suppose 0 = -s + 4*k + 13, -3*s + k + 6 = -0*s. Let w be 0*(0 - s)/1. Solve -2*l - 5 + 3 = w for l.
-1
Let a(u) = -u**3 - 10*u**2 - 9*u + 5. Let m be a(-9). Suppose i + 3*i - 20 = -m*g, 2*g - 4*i = -20. Let j = g - 0. Solve 2*f + 6 = -j*f for f.
-3
Suppose -3 = -2*l - 15. Let k = 9 + l. Solve -5*n = -2*n + k for n.
-1
Suppose 0*b - 26 = -3*b - 4*g, 4*b - 23 = -3*g. Suppose b*m = 3 + 7. Let h = 0 + 2. Solve h = m*c + 17 for c.
-3
Suppose -16 + 2 = 2*q + 4*j, -5*q = 5*j + 15. Let g(k) = 6*k**2 - k. Let n be g(q). Let m = -1 - -1. Solve n*w + m + 5 = 0 for w.
-1
Suppose -2*j = 8 - 18. Solve 12 = -j*q - 13 for q.
-5
Let t(u) be the first derivative of u**3 - u**2 + u - 3. Let b be t(1). Suppose 6*h + b = 7*h. Solve -y + h = y for y.
1
Suppose -2*m = -t + 6*t + 25, 3*m + 2*t = -10. Solve m = -2*w - w for w.
0
Let o(x) = x**2 + x. Let q be o(0). Solve -2 = f - q*f for f.
-2
Let c(l) = 3*l + 3. Let j be c(3). Let k be 0 - 0*3/j. Solve 4*w - 16 + 0 = k for w.
4
Let h(j) = 2*j - 1. Let p be h(-2). Let m(w) = -w**2 - 5*w + 2. Let k be m(p). Solve -k*d - 9 = -5*d for d.
3
Let s be ((-68)/(-6))/((-4)/6). Let o = s + 17. Solve 25 = -o*i - 5*i for i.
-5
Let q = -40 - -42. Solve l = -q - 1 for l.
-3
Let w = -90 - -102. Solve -2 + w = -2*d for d.
-5
Let x = 7 + -2. Suppose 5*f - 3 = 4*l + 4, -x*l + 4 = -2*f. Let a be (-1)/(-2)*0/(-2). Solve a = f*o - 2*o for o.
0
Let y(x) = 3*x**2 + 1. Let u be y(1). Suppose a + 36 = -u*z, 18 = -0*z - 2*z + a. Let i = -3 - z. Solve h + 7 = i for h.
-1
Let p be (-1 + 14*1)/(-1). Let m = -9 - p. Let n be (2/m)/((-1)/(-8)). Solve -c + n = 1 for c.
3
Suppose 0 = -0*r + 3*r. Suppose -3*q = 3, -h + 2*h - 3*q - 23 = r. Solve -4*d - h = d for d.
-4
Let r(d) = -13*d + 16. Let z(i) = -3*i + 4. Let c(f) = 2*r(f) - 9*z(f). Let s be c(6). Let l be 1/(-5)*(-1 + (6 - 10)). Solve 0 = s*y - l - 5 for y.
3
Suppose 3*d + 0*d = 36. Suppose u = -3*u + d. Let v be 4/12*u*2. Solve o + v = 3*o for o.
1
Suppose 3*z - 8 = 4*a - 43, 5*z - 2*a + 49 = 0. Let c be (-21)/z - 5/15. Solve c + 4 = 2*d for d.
3
Suppose 0 = -m + 7 - 3. Suppose -2*u + p = -1, 2*u = -0*p - 4*p + 16. Solve m + 0 = -u*s for s.
-2
Let u be 2/5 - (-90)/25. Suppose 0 = -5*i + t - 1, -5*i + 3*t = -0*t + 3. Solve -3*n - 5 - u = i for n.
-3
Let u = 6 + -4. Let m be 4*(-3 - (-51)/12). Let d(z) = -z**2 + 5*z + 5. Let s be d(m). Solve -u + s = t for t.
3
Let p(q) be the first derivative of -q**3/3 + 3*q**2 + 9*q + 2. Let i be p(7). Solve -i*l - l + 9 = 0 for l.
3
Let z = -11 - -14. Suppose 0 = x - 3*v, 4*x - z*v = 6 + 3. Solve -2*i + 4 = -x*i for i.
-4
Let i(p) be the second derivative of p**3/6 - 7*p**2/2 - 3*p. Let t be i(10). Solve -t*k + 8*k = -15 for k.
-3
Let o(g) be the second derivative of g**3/6 + 7*g**2/2 - g. Let m be o(-4). Let p(f) = -f**3 - 6*f**2 + f + 8. Let x be p(-6). Solve m + 3 = x*y for y.
3
Let w(h) = -h**2 + 5*h - 4. Suppose -3*q = -3 - 6. Let f be w(q). Suppose g + f*g = 66. Solve 0 = 5*m - 2 + g for m.
-4
Let x(h) = h**3 + 2*h**2 + 2*h + 4. Let c be x(-3). Let p = -7 - c. Solve -p*u = -3*u for u.
0
Suppose 0 = t - 4 + 2. Suppose 3*q = -2*d + 16, 0*d + 5*d + q - 14 = 0. Solve -d*h - 8 = t for h.
-5
Suppose 0 = -q - 2*q. Let f = -3 - -5. Suppose q = -f*x - 0*x + 12. Solve -x = w + w for w.
-3
Let n(i) = -i**2 - 4*i + 7. Let d be n(-6). Let f be 1*(2 + 2 + d). Let b = 12 - f. Solve -5*s + 2 = -b for s.
3
Let n = 5 - 3. Let j(i) = i**2 - i. Let t be j(2). Solve t = -2*k - n for k.
-2
Suppose 3*l - 18 = -4*z + 11, -4*l - 20 = -2*z. Suppose u - z = -u. Suppose -u = 3*s - 19. Solve -4 - 