+ 15. Let r be x(6). Let z be r/(-6) + 44/8. Suppose -2*g - 5*k = 0, -z*g + 5 + 7 = 4*k. Solve -7 + 2 = -4*c + g*q, -2*c - 4 = 4*q for c.
0
Let n be (-135)/(-25)*(-10)/(-6). Let b be (-6)/(-15)*(9 + 1). Let c = -2 + b. Solve -4*h + 3*m = -n, -h + 10 = c*h + m for h.
3
Let s = -161 - -241. Suppose -28*w - s = -30*w. Solve 5*b - w = -5*i - 0*b, -b + 13 = 2*i for i.
5
Let g = 313 + -313. Solve 2*l + 5*b + 0 + 4 = g, 0 = 4*l - b - 14 for l.
3
Let y(h) = -h + 7. Let g be y(4). Solve 4*q - g*j - 16 = 0, 0*q - 4*j - 4 = -q for q.
4
Suppose 2*w - 1 = n - 11, 0 = -4*n - 3*w + 73. Suppose 12*p = -5*c + 10*p + 33, 3*c + p = 19. Solve -4*a - 5 = b - 1, 0 = -c*a + 4*b + n for a.
0
Suppose 2*r - r = 0. Suppose -3*l + 2*l = r. Suppose -23*i = 3*p - 19*i - 20, -15 = -5*p - 3*i. Solve p*n + 4*n - j = 0, l = 4*j - 16 for n.
1
Let y(r) = -r**2 - 6*r + 5. Let t be y(-6). Suppose -t*o - 3 = -6*o. Solve 0 = 5*q - 5*l + 10, -o*q - 4*l + 3 = -2*q for q.
-1
Suppose 0*d + 3*f + 3 = 2*d, 2*d + 5*f = 11. Solve d*v = s + 7, -s - v = 1 + 2 for s.
-4
Let o be (-5 + 1 - -3) + (0 - -1). Suppose -11 = -s - o*s. Solve 11 = -5*l + 4*r, r + s = -2*l - 4*r for l.
-3
Suppose 4*q = q. Let c(z) = 2 + 0*z + 11304*z**2 + z - 11303*z**2. Let l be c(q). Solve 5*d + 19 = -0*m + 3*m, 3*m = l*d + 4 for d.
-5
Let o = 745 + -734. Solve 2*m - v = -5, 4*m + o = -0*v + 3*v for m.
-2
Let j be 1 + 1 - (2 + 0). Let m = -8 + 12. Suppose 0*r = -3*r + 9. Solve -s = i - j*s, m*s = r*i for i.
0
Let c = 77 - 76. Solve 2*u = 3*f - 22, 3*u + 20 - c = f for u.
-5
Suppose 286*q - 18 = 287*q. Let u be (q/12)/((-3)/10). Solve -o + u*w - 6 = -3, -3*w + 15 = -5*o for o.
-3
Let o be (-58)/(-18) - 4/18. Suppose v + 77 = -2*t - 37, 0 = 5*v + 5*t + 580. Let k = -116 - v. Solve -3*z + 8*z - 12 = -o*h, 0 = k*h + 2 for z.
3
Let a(j) = j**2 - 6*j - 5. Let g(l) = l**2 - l + 7. Let n be g(0). Let q be a(n). Solve 20 = -5*k - 2*m, -3*m - 9 - 2 = -q*k for k.
-2
Let k(w) = w**2 - w + 8. Let o be k(4). Solve -2*i - 3*g - o = 0, -2*g - 20 = i + 2*g for i.
-4
Suppose -12*m - 116 = -272. Solve 4*o - m = 3*v, -3*v + 2*o - 1 - 4 = 0 for v.
1
Suppose -19 = -34*r + 321. Let b be (5/2 + 0)*2. Solve -4*x - 2*d + 17 = 3*d, -b*x = -5*d - r for x.
3
Suppose 0 = p - 30 + 28. Suppose 43 = p*m + 39. Solve 0 - 6 = -5*z + m*s, -4*s - 12 = 2*z for z.
0
Suppose -3*b = 8 - 20, 5*x - 5*b = -5. Let y be 2*1/((-4)/40). Let s be ((-5)/y)/(1/12). Solve 3*w + w + 5 = x*h, 2*w + s*h = 11 for w.
1
Let r(x) = 10 + 0*x - 2*x + x. Let c be r(8). Solve -v + 3*o - c = -2*v, 3 = -4*v - o for v.
-1
Let h be (-3)/(-7) - 520/(-28). Suppose -2*p + p + h = 4*o, 5*p - 35 = -5*o. Solve -4*b + 14 = 2*u, -3*b + b + 2 = -o*u for b.
3
Let p(j) = 2*j**2 + 13*j - 4. Suppose 0 = 3*o + 3 + 18. Let l be p(o). Solve l*w + 0*g + g - 10 = 0, 3*g = -4*w + 15 for w.
3
Let p = -14 - -16. Suppose 5*q + 3*d = d + 78, -50 = -3*q + p*d. Let m = 16 - q. Solve 4*w = 2*f - 12, 2*f = -m*w - 5*w - 6 for w.
-2
Suppose p + 2*f - 11 - 5 = 0, 4*f = 4*p - 52. Suppose 0 = 11*q - p*q + 27. Solve -3*w + 5*z + 8 = -0, -5*z = -4*w + q for w.
1
Let u be (-2)/(6/9) - -21. Suppose 0 = -u*d + 6*d + 36. Solve 17 = -2*v + 5*s, d*v - 17 = -s - 0*s for v.
4
Suppose -2*z - 54 = -l + z, z + 242 = 5*l. Suppose -2*q - 8 = -l. Solve h - 6*h + 5*n = -5, -5*n = -q for h.
5
Let r be ((-144)/(-117))/8 - (-48)/26. Solve -o + 1 = -2*p - r, -12 = -4*o - 4*p for o.
3
Let i be (3*2/(-4))/(33/(-88)). Suppose 0 = h + i*u - 12, 7*h - 4*h = 4*u - 12. Solve h*d + 3*d = 5*l - 14, 11 = -4*l - 5*d for l.
1
Let j(r) = -r**3 - r + 15. Let c be j(0). Suppose -5*s - 2 = -v, 1 + 5 = 3*v + 4*s. Solve 5*x - 25 = 0, -x + v*x + c = 5*b for b.
4
Let r be (24/32)/(2/8). Suppose 4*w - 3*w - 2*m = -1, -3*w = -5*m + 2. Let l = r - w. Solve 2*j - 14 = -3*c + l, -2*c = -3*j - 2 for c.
4
Let p be -1 + 63/15 + 128/160. Solve -3*v - p = -i, -i - 5*v = -2*i + 10 for i.
-5
Let t = -13 + 13. Let u be 1*(t/(-4) - -1). Let i be -4 - (u - 39/3). Solve 2*p = i, 3*h - p + 14 = p for h.
-2
Suppose 40*h - 46*h = -18. Solve 5*n + 1 + h = -2*a, -n - 2*a + 4 = 0 for n.
-2
Suppose 0 = -2*u - 4*p + 18, -3*p = 3*u - 2*u - 12. Suppose u*l = -l + 4, -13 = -5*x - 3*l. Solve -10 = x*z + 2*a - 0, 4*z - 20 = 4*a for z.
0
Let n(c) = 5*c**2 - c. Let m be n(1). Let a(r) = 82*r - 568. Let i be a(7). Solve 4*v + 3*t = 19, i*v - m*t = v - 15 for v.
1
Let x(u) = -2*u + 25. Let q be x(10). Solve -q*h + 1 = 2*o - 18, 0 = -3*h + 15 for o.
-3
Suppose -2*o - o + 83 = -4*g, -5*o - 2*g = -121. Let h = o + -8. Solve -3*x + 4*c - h = 0, -x = x + 3*c for x.
-3
Let c = 111 + -103. Solve -s + 3 = -5*a - 4, 4*a = -c for s.
-3
Let c(f) = f**2 + 5*f. Let p = -5 - 0. Let s be c(p). Solve 0 = -4*q + 5*k + 27, 2*q - 4*k + k - 15 = s for q.
3
Let v be (3/(-2))/(15/(-40)). Let d be 15/9*3*(-16)/(-5). Solve -5*i - d = s, i - 13 = -v*s - 1 for i.
-4
Suppose 0 = -727*z + 735*z - 24. Solve l + 4*o = -2, -4*l = -z*l + 2*o for l.
2
Suppose -2*s + 3*h - 8*h + 10 = 0, 0 = 2*s + 2*h - 22. Solve -5*i - 40 = -3*r, -5*r + 8*r - s = 0 for i.
-5
Let u be (4 - (2 + 3) - 4) + 6. Let s(t) = -t**2 + t + 3. Let i be s(0). Solve -i*c - u = 4*l - 2, 5 = 3*c + 5*l for c.
-5
Suppose -4*n - 8 = -3*c, 11 = 5*n - c + 10. Solve 16 = o + 4*z, -2*o - 3*z + 13 = n for o.
0
Let s be ((-10)/(-4) + -3)*-14. Let c be 2 + 0 + (-30)/(-10). Suppose -c*h = -s*h + 36. Solve -3*i - 3*o + h = -0*i, -3*i - o = -14 for i.
4
Suppose 0 = 3*d + 2*d. Suppose -g + 4*u + 2 = d, 4*g + 38 = 8*g - u. Solve s + 10 + 0 = 2*i, -g = -2*i + 3*s for i.
5
Let y be (-24)/(-68)*(-527)/(-62). Solve -1 = -j, y - 4 = 2*o + 5*j for o.
-3
Let p(x) = -13*x**2 - 10*x + 3*x - 8 + 12*x**2. Let s be p(-5). Solve -s = -b - 4*f + 3*f, 5*b = -3*f + 10 for b.
2
Let w be -3 - (-2 + -5) - (8 - 6). Solve 2*o = 3*c - w*o + 35, 2*o - 10 = 0 for c.
-5
Let q(s) = -4*s - 6. Let p = 18 + -21. Let m be q(p). Solve 31 = 5*r - 3*y + m, 5*y = -r - 23 for r.
2
Suppose -4*z + 0 - 8 = -g, 0 = 3*g - 4*z - 8. Solve -4*n - q - 4*q + 8 = 0, g = -n - 3*q + 9 for n.
-3
Suppose -3*f = -0*f. Suppose -45*q = -130 + 40. Suppose -3 + 7 = 5*k + g, 5*k = -2*g + 8. Solve 3*d + f*r + q*r - 22 = k, 23 = 2*d + 3*r for d.
4
Let n be (1 - (2 + 4)) + 2. Let r be n - (115/(-7) - (-6)/14). Suppose t + 3 = 3*p - 4, 2*p - t = 3. Solve i + 3*m = -i - 7, 5*m + r = -p*i for i.
-2
Let i(d) = -4*d - 6. Let x be i(-2). Suppose -x*p - 2*p - 12 = 0. Let b = 2 - p. Solve 0 = 5*o + m - 13, -5*m + 29 = b*o + 4 for o.
2
Suppose -4 = 382*t - 383*t. Solve 4*o + 0*o - t*n + 32 = 0, -2*o + 8 = 4*n for o.
-4
Let v(u) = -u**2 + 3*u. Let j be v(3). Let k = 593 - 578. Solve j*n = -3*n + k, -4*n + 17 = -3*t for t.
1
Suppose 4*w - 56 = -24*w. Solve 2*p + 3*u = -2*p + 20, -w = p - u for p.
2
Let k = 18 - 17. Suppose -5*a + 44 = -k. Solve -v + a = -0*v - 5*i, 3*v = 5*i + 17 for v.
4
Let b be 9 - 4 - 5 - -3. Solve 2*m + 15 = 5*y + 4, -3 = b*y + 2*m for y.
1
Let n be 3*-1*(-4)/3. Let h be 8 + 2 + (3 - n). Let i(p) = p - 5. Let j be i(h). Solve q + 2 = j*a - 3*a, -a + 3*q + 4 = 0 for a.
1
Suppose -3*j = l - 0 - 9, -1 = 3*l - 5*j. Solve 0 = -3*t + l*d - d + 1, -2*d - 7 = 3*t for t.
-1
Let r(j) = j + 6. Let f be r(-6). Suppose 0 = -f*x + 2*x. Solve x*l - l = -5*i - 15, 3*l - 7 = -4*i for i.
-2
Suppose -190 + 27 = n. Let z = 173 + n. Solve -a = -3*m + 15, -5*m - 5*a + 25 = -z*a for m.
5
Suppose 0 = -v - 1 + 21. Let g = 8 - v. Let j = g - -13. Solve -2*k = -z + j, 0 = z + 1 - 6 for k.
2
Let t(g) = -g**2. Let c be t(0). Let h be 2 + (c/(-5) - -1). Suppose 0 = -n - 5*l + 30, -8 = -2*n - l + 7. Solve -n*w + 30 = h*j - j, 2*w + 17 = 5*j for w.
4
Let o(k) = k**3 - k + 5. Let u = -6 + 6. Let z be o(u). Solve -5 = -2*x + 3*r, 0*r + z*r + 15 = 0 for x.
-2
Let f be ((-24)/(-14))/(26/455). Let b be 9/(-2)*(-20)/f. Solve -2*i - b = i - 4*t, 3*i = t - 3 for i.
-1
Let b be (2 - (-10)/(-6))/(51/306). Solve 3*i - 2*l - 13 = -4*l, 5*i + b*l = 19 for i.
3
Suppose -9*t + 30 = -60. Let l be t/3 + ((-8)/6 - -2). Solve -h = w - 4, 2*w - 2 - l = -h for w.
2
Let p(w) = w**3 + 5*w**2 - w - 4. Let c be p(-5). Let k(d) = 6*d**2 - 5*d + 1. Let y be k(c). Solve -3*h + 3 = -2*v - 10, 2*h + 2*v = y for h.
3
Let y(m) = -2*m + 25. Let v be y(12). Suppose -2*a = v - 7. Solve -f = a*t - 10, -6*f + 5*f = -4*t + 25 for t.
5
Let m be ((112/35)/(-4))/((-1)/(-5)). Let v b