 15. Solve 5*q - 5 = 5*f + o, -10 = -4*q + 5*f for q.
5
Let p(x) = x**2 + 2*x + 6. Let r be p(0). Solve 2*v = -3*a + 5 + 1, 2*v = r for a.
0
Suppose 5*s - 3 - 22 = 0. Suppose -5*n + 113 - 8 = s*f, 4*f - 54 = 2*n. Solve p + 3*v = 2*v + 4, 5*p + v - f = 0 for p.
3
Suppose 4*p = -2*x + 3*x - 1, 4*p - 4*x = -16. Let k be ((-8)/(-20))/(2/5). Solve -4*u = -0*d + d + p, u - k = 0 for d.
-5
Let w = 132 + -125. Solve -5*p = v - 14, -10 = 2*p - w*p for v.
4
Let x = -5 - -9. Let r be ((-4)/6)/(x/(-24)). Suppose 5*k - r = 6. Solve k*t - t + 3 = -z, -4*t - 2*z = 4 for t.
1
Let y be 2 + -2 + (-5)/1. Let c = 9 - y. Solve 2*f = j + 1, -2*f + 3*j - c = -j for f.
3
Let d be 1/(-3)*16*-3. Solve 4*h + 37 = -5*u + 1, 0 = -3*h - u - d for h.
-4
Suppose -b + 4 - 1 = 0. Solve -10 = 5*f, -b*s + 0*f + 2*f + 13 = 0 for s.
3
Suppose -4*o + 4*z + 16 = 2*z, 5*z + 20 = 5*o. Suppose o*j - 8 - 4 = 0. Solve j*b = 4*t + 16, 0 = 3*t - 6*t - 3 for b.
4
Suppose -5*r + 3*d = 11, 3*d - 5*d - 10 = r. Let s = 11 + -19. Let o = r - s. Solve -o*h + 25 = -5*i, 3*i = 4*i - 5*h + 26 for i.
-1
Suppose 0 = 13*b - 12*b - 3. Solve 2*j - 2 = -n - 3*n, -3*j - 15 = -b*n for n.
2
Let y be -9 + 10 - (-5 + 2). Solve 0*k + 7 = -j + 3*k, -y*j + 32 = 3*k for j.
5
Suppose -9*o + 17 = -19. Solve -2*l - 3*t = 7, 4*t = -9*l + o*l - 7 for l.
1
Let y(c) = -c**3 - 18*c**2 - 17*c. Let f be y(-17). Solve 2*i + i = -5*l - 15, 4*l - 5*i - 25 = f for l.
0
Let s be (-1 + 3 - 0) + 1. Suppose -4*a + 17 = j, s*j - j - 29 = -3*a. Solve 2*p = -3*r + 11, -12 = -5*r + j for p.
-2
Let k = -6 + 47. Let q be 2/12 - k/(-6). Suppose 0*g + 4*g - 20 = 0. Solve -x = g*p + 21, p + p = x - q for p.
-4
Let h be (-1 + 16)*1/3. Solve h*v + 2*a = 10, 5*v + a + 0 = 5 for v.
0
Let z(o) = 7*o - 17. Let g be z(3). Solve 18 = 5*t - g*s - 6, -3*t + 5*s = -17 for t.
4
Let m(r) = -1 - 20*r**3 + r**2 - 2 + 2. Let j be m(-1). Solve -4*c + 11 = -3*l - 9, 0 = 4*c - j for l.
0
Let d = 3 + -3. Suppose d = -4*c, 5 = h + 4*c + 1. Solve 2*a = -a - 6, 4*t - 4*a = h for t.
-1
Suppose 4*t = -3*f - 24, -f + 3*f + 4*t + 16 = 0. Let g = f - -9. Solve 3*l = -4*b - 3, 3*b + g = -4*l + 2*l for l.
-5
Let u(r) = r**3 + 7*r**2 + 5*r + 5. Let s be -7 - (-1)/1*2. Let b be u(s). Solve 0 = -5*y - 3*l - l + b, -2*y - 2*l = -14 for y.
2
Let m(k) = k**3 + 3*k**2 - 8*k + 10. Let g be m(-5). Solve r + r + 2*u = g, 3*r - 16 = 5*u for r.
2
Let d be (-6)/57 - 118/(-38). Solve 6 = -3*v + 5*l, d*v + 4 = v + 2*l for v.
-2
Suppose -5*q + 21 = -9. Solve 5*d = p - q, 0*p = 2*p - 2*d + 4 for p.
-4
Suppose -v + 0*v = 0. Suppose 0 = -v*j + j - 14. Solve 3*a - 34 = -5*g, 2*a - 3*g = g - j for a.
3
Let o = 7 + -4. Suppose o*h - 5 = 2*h. Let q be (-2)/1 - (1 + -5). Solve -h*k + 29 = -3*p, q*p - 10 = -k - 3*k for p.
-3
Let s = -77 + 77. Solve -3*q = -5*a + 16, -4*q - 4*a + 0*a = s for q.
-2
Let b(j) = j**2 - 5*j - 1. Let y be b(6). Let i be (-2)/(y/(-2) + 2). Solve -i*f + 5*a - 24 = -6*f, -5*f = -a - 6 for f.
2
Let c be 1*((-6)/(-2) - 1). Solve -3*i + 3 = c*k, 3*i - 4 + 1 = 0 for k.
0
Let w(k) = k**3 - 13*k**2 + 12*k + 5. Let i be w(12). Solve 8 + 2 = 5*y - 4*l, -4 = -2*y + i*l for y.
2
Suppose -5*n = 6*n - 22. Solve 0 = -x + n*f, -4*x + 9*x = -f - 22 for x.
-4
Let b be (-27)/21 - (-6)/21. Let q be -6*b/2 - 1. Solve q*d + 4*c = -c - 7, c = 2*d + 1 for d.
-1
Let r(d) = -d**3 + 5*d**2 + 6*d + 3. Let i = 9 - 5. Suppose i*x - 5 = -5*w - 1, 3*w = -12. Let q be r(x). Solve -3 = 2*b + j, -24 - 7 = 4*b - q*j for b.
-4
Suppose -3*p + 2 = -4. Solve -3*b = 2*u + 9, -3*b - 5*u - 15 = p*b for b.
-3
Suppose j = 2*j. Suppose 0 = -5*w - j*w + 160. Solve 20 = 3*d + z + 4, -5*d = 3*z - w for d.
4
Let f(t) = t**2 - 3*t + 1. Let o be f(3). Let n = 4 - o. Solve -n*w - 2*w = -2*m - 17, -5*w = -3*m - 13 for m.
4
Let l be 11/22 + (-50)/(-4). Suppose 0 = 2*c - 3*v - 15, 4*c + v = l - 4. Solve -x + 2*t - t = -2, 0 = 4*x + c*t - 1 for x.
1
Let w = 2 + 3. Let c be w/10 - 14/(-4). Solve -c*n - 2*z = -22, -n - z = -2*n + 4 for n.
5
Let s = 28 + -28. Solve 2*r = -3*x + 12, s = -4*x - 2 + 10 for r.
3
Suppose 2*m - 4*k = 80, 0 = -5*m + 6*k - 3*k + 207. Solve -9 = -5*v - 2*f - m, f + 24 = -4*v for v.
-5
Suppose -20*d = -21*d + 1. Solve p - 4 = -5*i, -5*i + 2 = 2*p - d for p.
-1
Let m be (5/2 + -1)*(-16)/(-6). Solve m*g = -a - 2, -2*a + 1 - 5 = 3*g for a.
-2
Let r be 4/(-14) - (-1089)/63. Let d = r - 12. Solve g - d*g - 5*o - 45 = 0, o - 10 = 3*g for g.
-5
Let i be (6/(-21)*-1)/(2/14). Solve y = -2*c - 5 + i, 2*y + 6 = -2*c for c.
0
Let z = 6 - 4. Suppose 24 = 2*g - 7*t + 3*t, -18 = -z*g - 2*t. Suppose 2*p = 6 - 2. Solve 0*n - 5 = n + p*x, 0 = -3*n - x - g for n.
-3
Let x be 189/2*8/3. Suppose 98 = -2*t + 2*c, 3*t + 2*c = -2*t - x. Let y be (t/(-4) - -1)*2. Solve -5*j + y = -0*a - 3*a, -2*a - 2 = 2*j for j.
3
Suppose -m - 58 = -3*m. Let k(f) = f**2 + 5*f - 9. Let d = 4 + -11. Let t be k(d). Solve -t*q - m = -2*i, -q - 11 = -5*i + 2*i for q.
-5
Let m = 3 - 5. Let a be (30/(-1))/(m - 0). Solve 5*i = 20, 5*i - a = 5*y - 4*y for y.
5
Let h be (19 - 0)*(0 - -3). Suppose 3*s - h = -18. Solve 0 = i + 3*b + s, -5*i - 26 = b + b for i.
-4
Let a be 4/(-8)*-2*16. Let g(c) = c**3 - 5*c**2 - 6*c + 5. Let m be g(6). Suppose m*w - a = -1. Solve 0 = w*z - 5*d - 7, 5*z + 3*d - 5*d - 18 = 0 for z.
4
Let d(y) = -y**2 + 14*y - 18. Let g be d(10). Solve -u = 5*z + g, 0 = -4*u - 3*z + 7*z + 8 for u.
-2
Let j be 0 + 1/1 + 1. Let u(f) = -f - 3*f**2 + 4*f**j - 1 + 0*f. Let p be u(3). Solve -5*o = -5*d, 1 + 2 = -p*o + 4*d for o.
-3
Suppose -3*a + 6 - 3 = 0. Solve 4*g + a = 4*q - 3*q, -4*g + 3*q = 11 for g.
1
Let k(h) = -h**3 + 3*h**2 - h - 1. Suppose 0 = 4*z - 0*z - 8. Let q be k(z). Suppose -o = 2*o. Solve -2*x + t - q = 0, -3*x + 6 = -o*t + t for x.
1
Let c = 10 - -22. Let y = -13 + c. Solve 4*a + 2*q + 2*q = 16, 0 = 4*a - 3*q + y for a.
-1
Suppose 0 = 5*k - 2 - 8. Suppose 4*u = u - 4*o + k, 0 = -o - 1. Suppose -3*m + 0 = -9. Solve 11 = 3*j - u*j + m*a, -16 = -4*j + 2*a for j.
5
Let x = -17 - -19. Solve 0 = -5*n + 3*g - 7, -x*g + 4*g - 11 = -3*n for n.
1
Suppose -5*k + 52 = 4*a, a + k = -3*a + 52. Solve 3*h - 4 = -0*h - v, 0 = 4*h + 5*v + a for h.
3
Let y(j) = -2*j**3 + 2*j**2 + 2*j + 1. Let t be y(-1). Suppose -t*b + 7 = -2. Suppose 2*r - 17 = -1. Solve -4*i + b*p - 2 = 0, -5 = -3*i - 5*p + r for i.
1
Suppose 3*s = 6*s. Solve 4*b + s = 8, -4*b + 10 = -2*c for c.
-1
Let y be 15/6*(-16)/(-10). Solve -4*l + y*w = 0, 4*l - 4*w + 5 = l for l.
5
Let o(d) = 2*d**2 - 2*d. Let p be o(2). Suppose p*b = 16, 4*b + b - 14 = a. Solve a*u - 3*u = v - 6, 5*v - 19 = 4*u for u.
-1
Let l(b) = b**2 + 9*b. Let g(u) = -u**3 + 10*u**2 - 9. Let j be g(10). Let z be l(j). Solve -2*m + 9 = -5*m - 3*r, z = m + 4*r + 12 for m.
0
Suppose 0*s = -4*o - 5*s + 41, o - 4*s + 16 = 0. Let u(h) = 2*h + 10. Let j be u(-7). Let q = j + 6. Solve -6*g + 3*z = -g + 12, q*g + o = z for g.
0
Suppose -12 = -2*g + 6. Let r be 6/(-4)*(-282)/g. Suppose 4*j + 2*m + 3*m = r, -5*m = 2*j - 31. Solve 0*f + 2*t - j = 2*f, -4*f = t + 1 for f.
-1
Suppose -6*v + 24 = 2*r - 2*v, -5*r + 16 = -v. Solve 0 = -2*u - 10, 1 = 5*d + r*u + 6 for d.
3
Let s(n) = -2*n + 2*n + 2*n - 3. Let q be (-1)/(4/(-12)) + 0. Let r be s(q). Solve -4*g + 23 = r*x, -5*g - 5*x = -0*x - 35 for g.
2
Suppose 10*y + 40 = 5*y. Suppose h + 14 = -3*v, 5*v + 10 = 4*h + h. Let p be 2/y + h/(-8). Solve -s - 3*x = -3, p = s + s - x + 8 for s.
-3
Let l = 13 - 8. Let a(z) = -z**2 - 11*z - 17. Let s be a(-5). Solve 7 + s = -l*n, -n - 24 = 4*m for m.
-5
Let q(i) = -i - 5. Let d be q(-6). Let h be (-48)/9 - d/(-3). Let x be 1/h + (-93)/(-15). Solve -t - 7 = -4*j - x*t, -2*j - t = 1 for j.
-2
Let u = 7 + -15. Let s = -6 - u. Solve s*x = r - 4*r + 5, -x + 4 = 3*r for r.
1
Let f(m) = -m**3 + 3*m**2 - m + 2. Let q be 1 + (2 - 3) + 2. Let v be f(q). Let o = v - 4. Solve -g = -3*t - 2*t, o = -3*g for t.
0
Suppose 0*h + h - 5 = 0. Suppose 46 = h*b + 6. Let z = -6 + b. Solve y = 6 - 2, -z*q = -3*y + 22 for q.
-5
Let g(x) = -x**3 + 4*x**2 - x + 1. Let w be g(4). Let c = 0 - w. Suppose s - c*s + 40 = 0. Solve -p = 5*z + s, 2*z = -z + 5*p - 12 for z.
-4
Let d = 4 + -4. Suppose 4 = -g, 4*y - 2*y + g + 22 = d. Let f = 13 + y. Solve 5*p - 21 = -q + 5, 0 = 4*q - f for p.
5
Let u(n) = n**2 - 2*n + 1. Let a be 8/(-20)*(-1 + -9). Let f be u(a). Solve 5*x - 