k*j + j - 2*y = 0, j + 2*y + 6 = 0 for j.
2
Suppose 31*z - 183 - 158 = 0. Solve 3*x - z = p, -p - 2 + 1 = 2*x for p.
-5
Suppose 0 = -2*y - l - 139 + 147, 2*y + 5*l = 24. Solve -y*a = -15*z + 11*z + 4, 0 = -a - 4*z - 2 for a.
-2
Let r(u) = -5*u**2 + 20*u + 5. Let n be r(4). Solve n*t = 4*l + 14, -5*l - 15 = -2*t - 3*t for t.
2
Suppose -8*j - 132 = -11*j. Let n = j + -38. Solve 3*l + 4*c = 3, -2*l - 5*c = -n*l + 35 for l.
5
Suppose -d + 20 = 23. Let k be 2 + -3 + 0 - (d - 3). Solve 0 = -q - k*n + 9, -3*q = -q - 2*n + 6 for q.
-1
Let c(d) = -d**3 - 7*d**2 - 8*d + 25. Let k be c(-3). Solve -t + 8 = 3*s, 5*s - 2*t + 4*t = k for s.
3
Suppose 0 = 43*o - 48*o + 15. Solve -3*g = o*k + 12, g + 3*k + 0 = -6 for g.
-3
Suppose 30 = 25*n - 19*n. Suppose 3*v = n*i - 35, 6*i - 21 = 3*i - 2*v. Solve g = -4, 2*x - g - i = -x for x.
1
Let k be (2/(-2))/((-1)/3*1). Solve q = -0*q + w + 1, 5*w = k*q + 3 for q.
4
Suppose 2*d = -5*u + 3*u + 8, -3*u = -5*d - 4. Suppose -5*r = -3*z - 1, z - r + 8 = u*z. Solve 4*c = 2*j, j - 4*c = z*j - 16 for j.
4
Let o(g) = -g**2 + 7*g + 2. Let s be o(7). Let a be (0*s/2)/(-1). Solve 3*n + t = -a + 1, -1 = 3*n - t for n.
0
Let u be 85/68 - (-3)/4. Solve -3*v - 5*s - 8 = 0, 0*v = 2*v - u*s for v.
-1
Let m be 138/(-21) - 15/35. Let a(o) be the first derivative of o**2 + 16*o + 7. Let q be a(m). Solve 3*c = -2*g - 1, -5*c = -q*g - 20 - 5 for c.
3
Suppose -58 = -9*d + 14. Let p be 51/15 + 4/(-10). Let y = -1 + 1. Solve -u + 2*z + p = y, 3*u + d - 2 = z for u.
-3
Suppose 0 = 4*c + 2*o - 8, -12 = -5*c + 2*o + 16. Solve 2*f = 3*l + 5, 0*l - c*l - f = -8 for l.
1
Suppose l = -4*l - 5*q + 70, 4*l - 41 = -q. Suppose -3*h = r - l, -2*h + 3*r + 6 = 4*r. Solve -n + 4 = -h*s - 7, -3*n = 3*s + 27 for n.
-4
Let v(t) = -3*t**2 - 23*t - 5. Let q(h) = -h**2 - 11*h - 2. Let i(s) = -5*q(s) + 2*v(s). Let p be i(9). Solve -5*r + 25 = p, k - 4*r + 23 = 2*k for k.
3
Let y be ((-24)/(-9))/((-2)/(-3)). Let g(m) = 9*m**2 - m + 3. Let p be g(0). Solve -2*f - 2 = 2*f + 2*a, f = p*a - y for f.
-1
Suppose 2*p + 232 = 5*c + 786, 4*p = c + 100. Let z be 4/(-6) + c/21. Let g(r) = -2*r - 12. Let a be g(z). Solve a*b + 2*b + 4*m = 0, -4*b + 4*m = 0 for b.
0
Suppose 3*a + 6 = 0, -2*r - 4*a - 23 = -7. Let c be 1400/63 + r/18. Suppose 23 = 5*i - c. Solve 0 = -3*l + 3*z + 12, 2*l - 2*z - i = z for l.
3
Let i be (-32)/(-8) - (2 - -2). Let f be 10 + (-2 + i - -2). Solve p + 5*r = -18 - 9, 2*r = -f for p.
-2
Let j be (19/2 - (-20)/40) + -5. Solve a = -2*d - d, -12 = -3*d - j*a for d.
-1
Suppose 6*l + 22 = -80. Let c = l - -17. Solve -m + 2*d + 7 = c, -2*d = -4*m + d + 23 for m.
5
Let u(a) = -a**3 + 17*a**2 - 17*a + 16. Let x be u(16). Solve n + 2*c + 7 = 0, 0 = -5*n - x*n + 4*c + 21 for n.
1
Let k be (-6)/(-2) - 130/(-10). Suppose 0 = o + 3*u - 14, -u - u + k = 2*o. Solve -l + 2*l = -x - 8, o*x - 5 = 4*l for l.
-5
Suppose 3*x - 17 = 7. Suppose 14*u - 30 = x*u. Solve 0*j + j = -u*b + 25, j = 3*b - 7 for j.
5
Let k = -44 + 38. Let f(z) = -z - 5. Let r be f(k). Solve -m - r = -l, -3*l + l = -4*m - 8 for l.
-2
Let q = -69 - -63. Let s = 11 + q. Solve -3*m - 9 = -3*f, -2*f + 8 = -s*m + 2 for f.
3
Let y(s) = 2*s**2 - 17*s - 5. Let w be y(9). Solve 27 = -5*v - 4*a + 2, w*v = -a - 20 for v.
-5
Let s(z) = 2*z**2 - z + 1. Let a be s(-1). Let k be 7/(21/(-6)) + 10. Solve a*x - 2*h = k, x + 2*h - 2 = -0 for x.
2
Let h = -14 - -52. Suppose -4*t - 3*b + 2 = -h, -10 = -t - b. Suppose -3*a = -5*a + t. Solve -m + 2*x - 6 = -a*m, 0 = m + x + 1 for m.
4
Suppose -10 = -2*r + 12. Let c be r/((-110)/12)*-5. Let m = 10 - -1. Solve u - 4*u - 2*b = m, -2*u + 2*b + c = 0 for u.
-1
Let h(l) = -14*l + 34. Let f be h(2). Solve 12 = -4*q - 4*a, -3*a - 14 = f*q - 2*q for q.
-5
Let v = 12 - 6. Let m(i) = i**2 - 6*i - 2. Let n be m(v). Let s be (2 + 0)/(n/(-3)). Solve 0 = s*j - 4*b + 7, -j = -3*b - 1 for j.
-5
Suppose 0 = -3*c - 0 + 9. Suppose c*b = -b + 8. Solve 0 = b*s + 4*f + 18, -2*s + 2*f = 3*s - 3 for s.
-1
Let v = 148 + -84. Suppose -v*h + 12 = -60*h. Solve -3*g - 2 = -0*g - 2*w, -3*g - h*w = 12 for g.
-2
Suppose -2*o = -4*o + 4*x - 4, -2 = -3*o + 2*x. Solve 4*f + 4*t = 8, 7 = 4*f + 3*t - o for f.
3
Suppose -2*h = -3*v - 44, 0 = 367*h - 368*h + 2*v + 22. Solve 3*r + 14 = -q, -r + 7*q = 2*q - h for r.
-3
Suppose 0*k = k + 5*k. Solve k = -2*u + 5*n - 29, 4*u + 12 + 6 = 2*n for u.
-2
Let g(u) = -u**2 + 14*u - 2. Let b be g(13). Solve t + 2*s = -4*t + b, 4*t - 4*s = 20 for t.
3
Let r be 2/(-4) - 40/(-16). Suppose -5*t + 10 = 2*j, -t + 0*t - r*j = -2. Let i be 3/(-3)*t + 7. Solve -5*w = -l - l + 33, 5*w = -5*l - i for w.
-5
Suppose -3*b - 32*q = -31*q, -3*q = 4*b. Solve 5*g + 5*a + 5 = b, -4*g + 1 = 3*a + 2 for g.
2
Let v be 2/14 + ((-680)/(-119))/2. Solve -3*p - 20 = 2*i, 28 = -v*i - 3*p - p for i.
-4
Suppose -4*m - m = 0. Suppose 9*c + 372 = 1209. Let z = c - 91. Solve -1 = -g + u - m*u, -z*g - u = 13 for g.
-4
Let g be 486/15 + 8/(200/15). Suppose 32*z = g*z - 3. Solve -2*k + 6 = 0, 0 = 4*f - 8*k + z*k + 3 for f.
3
Suppose 4*a + 6*h = 3*h + 15, -3*a = 2*h - 12. Suppose -6 = -5*k + 4. Let o = -2374 + 2374. Solve -5*l - 15 = 0, o*l - a = 4*y - k*l for y.
-3
Let z = 311 - 303. Solve z*h - 3*h = -2*y + 5, 1 = h + y for h.
1
Let i(a) = 2*a + 31. Let x be i(0). Let s = -28 + x. Suppose s*j - 2*j = 0. Solve -2*m - 3*m + 3*q = 9, 2*m - 2*q + 2 = j for m.
-3
Let k = -661 - -663. Solve 2*w + k*v = 12, -3*w + 3*v = -5*w + 16 for w.
2
Let s(f) = -f**3 + 10*f**2 - 7*f - 12. Let k be s(9). Suppose -k = -2*p - 2. Let m be ((-2)/(-5))/(2/10). Solve 2 = -2*x - m*c, x = 4*x + p*c + 4 for x.
-2
Let d = -9 + 8. Let x be ((-2)/(-4))/(d/6). Let b(l) = l**2 + 2*l. Let n be b(x). Solve 5*q - 3*a + a = -20, -12 = n*q + a for q.
-4
Let v = -13 - -18. Let w = 62 + -58. Suppose -4*s = -w*g - 4, 5*s = -4*g - 7 + 30. Solve -5*a + s*k = -5 - 7, -3*a + 4*k + v = 0 for a.
3
Let c = -262 - -269. Solve q + 4*t - c = 0, 2*t = -6*q + q + 17 for q.
3
Let b be ((-15)/(-6) + -2)*-6. Let x be (-4)/(-4) + b/(-1). Let f = 332 - 332. Solve 0 = -3*i + q + q - 6, f = -x*i - 5*q - 8 for i.
-2
Let m be 14/98 - 2/14. Solve 4*z = -n - 4*n, m = z + 2*n for z.
0
Suppose 6*b - 165 = b. Suppose -34*g + b*g = -3. Solve y + 3*c = g, -3*c + 2 = 4*y - 1 for y.
0
Let q(r) = -2*r + 6. Let m = 1 + 4. Suppose 5 = -m*f, -4*f = -s - f. Let z be q(s). Solve -3*h - z = 0, h = -4*k + 5*h for k.
-4
Let f = -198 + 203. Let d be (-2)/(-8) - (-108)/16. Let s = d + f. Solve 0 = -2*m - 0*m + 2*t - s, 3*t - 10 = -5*m for m.
-1
Suppose 24 = -3*f + 3. Suppose -19 = 2*b - 43. Let g = b + f. Solve -n + 0*j + g*j = 0, -5*n + 22 = -3*j for n.
5
Let i be (-202)/(-1616) - 23/(-8). Suppose -4*v - 11 - 1 = 2*c, -3*c = -5*v - 37. Solve k + 19 = 5*j + c*k, 5*j - 31 = i*k for j.
5
Let i = 29 - 31. Let y = 4 + i. Solve 0*f + f + 2*d - 4 = 0, y*d = -2*f for f.
-4
Suppose 2*f - 6*w - 15 = -w, -4*f + 4*w + 12 = 0. Suppose 2*z + f*z = 12. Solve 4*j + 2*c + z = 0, -9 = -3*c - 0*c for j.
-3
Let r(j) = -27 - 12*j + 6 + 17*j - j. Let d be r(6). Solve -17 = -5*m + 4*v, -d*v - 12 = -3 for m.
1
Let q(i) = -5*i**2 + 2*i - 8. Let z(j) = -j**2. Let g(r) = q(r) - 6*z(r). Let p be g(-4). Solve 3*l + 12 = -a - p, 0 = 5*l - 3*a + 34 for l.
-5
Let c be (-3)/(-5) - 170/(-50). Let p = 22 - 13. Suppose p = 3*q - k, -k + 15 = 2*q + 3*q. Solve 3 + c = -q*x + 4*u, 2*x = 5*u for x.
-5
Suppose -55 = -5*c - 20. Let q(r) = r**2 - 6*r + 11. Let v be q(2). Solve -3*k = -v*f - 3, -4*k - 4*f - 2 = -c*k for k.
2
Suppose 0 = 2*o - 7*o + 150. Let x = o - 27. Solve 3*c + x = -2*m + 2, -c - 7 = 2*m for c.
3
Let p(w) = w**3 - 7*w**2 + 11*w - 2. Let d be p(2). Suppose 0*a + 40 = -4*a. Let j be (a/1)/((-2)/1). Solve -5 = o - 3*n, d*o - j = -5*o + 5*n for o.
4
Suppose 0*u = -3*u. Suppose -2*v = -u*v + 5*y - 24, -4*v + 48 = -4*y. Suppose 2*n + 5*p + v = p, 2*n - 5*p = 24. Solve -3*r = -0*r - 9, n*r = -o + 3 for o.
-3
Suppose 3*c + 0*c = -w + 5, 9 = 4*w + c. Suppose 7*y - 12*y = -65. Suppose -3*i - 3 = 0, 3*l - 5*i - 19 - y = 0. Solve 0 = 3*a - w*z - l, 4*a - 4*z = 16 for a.
1
Suppose -9*m + 5*m = 640. Let i = -160 - m. Solve 0 = 4*c - 3*h - i*h - 1, -c - 14 = 4*h for c.
-2
Suppose 17*b - 42 = -8. Solve -b = 2*a - 2*o, 3 = 2*a - 5*a + o for a.
-1
Suppose 3*g = 2*y - 71 + 79, -5*y = 20. Solve -3*o + d = o - 3, o - d + 3 = g for o