6*k, -4*i + 5*k + 23 = w for i.
2
Suppose -3*v = 5 - 11, 4*v = 5*u + 8. Suppose -2 = -u*x + x. Let p be x*1*15/(-6). Solve -p = k - 1, -j = -4*k - 11 for j.
-5
Let c be (-2)/13 + ((-513)/(-39) - 10). Solve w - c*w + 5*u = -29, 5*w - 5 = -u for w.
2
Let y be 0/(-2 + -13 + 11). Solve m - 3*r - 7 = 0, y*m + 8 = -2*m - 5*r for m.
1
Suppose -13 = -5*g - 5*l + 2, -2*l - 18 = -2*g. Let i be (-44)/g*6/(-4). Solve z - 3*z = 3*b + i, -b - 8 = 5*z for z.
-1
Suppose 63 = 2*m - 53. Let v(n) = -n + 11. Let h be v(11). Suppose 4*b - k = -3*k + m, b - k - 22 = h. Solve g + 0 = 4*l + b, g - 9 = 2*l for g.
1
Let n be 10 - (0 - -1 - (-28)/4). Solve -5 = -4*r - 2*k - 1, 4*r + 3*k = n for r.
2
Let w(d) = -d**3 + 8*d**2 + 9*d + 2. Let p be w(9). Let v be (2/p*-5)/(-1). Solve 3*t + v*o + 3 + 2 = 0, -4*o = -2*t - 18 for t.
-5
Let g(x) = x**3 + 36*x**2 + 130*x + 67. Let a be g(-32). Solve 2*f + 3*i + 3 = 6*i, 0 = -3*f - a*i + 3 for f.
0
Suppose -2 = 5*m - 27. Let q be 2/((-66)/88*2/(-3)). Solve -q*v = -5*u - 40, -3*v - m*u = -u + 1 for v.
5
Let l = -534 - -538. Solve l*m - 8 = -4*f, 0*m - m = -4 for f.
-2
Suppose 0 = b - s - 5, 3*s = 4*b - 2*s - 22. Solve 2*p + b = -5*l, 2*p - 2 = 4*l + 4 for l.
-1
Let f(d) = d**2 + 3*d + 15. Let k be f(-7). Suppose 0 = 9*g + 7 - k. Solve 5 = -g*z - 3*h, 5*z - h + 5*h = -6 for z.
-2
Let r be ((-6)/(-22))/(447/3278). Suppose -5*c + 65 = -50. Solve -3*x - 3*l = 3, 3*x - c = -2*x + r*l for x.
3
Suppose 16*d + 42 = 18*d. Suppose 20*g - 13*g - d = 0. Let v be 0/(-1*(1 - 0)). Solve -3*f + 3 = z, v*z - g = z for f.
2
Let v = 5 - 3. Suppose 12*b - 30 = 11*b. Suppose 4 = 4*z - 8, 5*k + 5*z = b. Solve 15 = -2*x - q, k*q = v*x + x for x.
-5
Let p(c) = c**2 - 2*c - 2. Let t be p(-2). Let v be 5*(-3)/t*2. Let b = v + 7. Solve 3*f - 3*q = 24, 0 = -f + b*q + 6 + 7 for f.
3
Let i = -485 + 490. Solve 2*d - 8 = 5*v + i*d, -2*v - 16 = -2*d for v.
-4
Let v = -419 + 424. Solve -4*f + g - 13 = -0*f, 3*g = v*f + 18 for f.
-3
Let s(f) = -115*f + 2. Let b be s(-4). Let g be b/(-88)*(-8)/3. Suppose q = -0*q - 4*y + 5, 5*q - y - 25 = 0. Solve -3*k + 0 = q*o + 1, 5*k - 4*o + g = 0 for k.
-2
Suppose 4*y + 5*u - 10 = 0, -y - 6*u = -10*u - 13. Solve -3*r + 11 = -z, 0*r - y*r - 2*z = 0 for r.
2
Let z(w) = 6*w**3 - 2*w**2 - 5*w + 6. Let l be z(1). Solve -l*i - g = 2, 2*i + 4 = -2*g - 0 for i.
0
Let x(k) = -2 + 2*k + 2*k - 3*k. Let i be x(7). Let t = -7 - -10. Solve 4*n - 10 = -i*u, 4*u + 1 + 22 = t*n for u.
-2
Suppose 6 = 5*b - 6*b. Let w = b + 15. Suppose 0 = -w*l + 14*l. Solve -5 = 5*s, -2*v - s = -l*v - 1 for v.
1
Let c(z) = 6*z - 8. Let d be c(2). Solve -3*g - d*i = 31, 5*i + 0 + 5 = 3*g for g.
-5
Let q be (420/(-45))/(1/(-3)). Let d(o) = o**3 - 3*o**2 + 3*o - 1. Let c be d(2). Let h be (-1 - c) + 12/2. Solve h*k = -4*r - q, -7 = 3*r - k + 2 for r.
-4
Suppose 3*w - 10 = -4*l + 13, -w = -5*l + 24. Let i = l + -3. Suppose -i*b + 6 = 2. Solve -b*d - 4 = -p, -8*p + 20 = -3*p - 4*d for p.
4
Suppose -2*y - 4 = -2*p, -2*y - 15*p - 10 = -20*p. Solve -v + 7*t - 2*t + 17 = 0, y = -2*v + 4*t + 10 for v.
-3
Let w be 15*(-2 + 88/20). Suppose 0 = 3*s - 4*a - w - 26, -3*s = 2*a - 50. Let f = s - 14. Solve -n - 5 = f*i, -5*n - 17 = i - 10*n for i.
-2
Let t(j) = 2*j**3 - j**2 - 2*j - 2. Let x be t(2). Suppose -x = 4*k - 18. Solve 3*l + 10 - 4 = k*n, -4*l - 2 = 2*n for l.
-1
Let r = 12 - 9. Suppose 0 = 5*g - 14*g + 27. Solve -f - 5*t + 25 = 0, g*f - r*t - 4 = -1 for f.
5
Suppose -j + 45 + 16 = 0. Let c = -57 + j. Solve -3*b = -c*i - 5*b + 14, -5*b = 5*i - 20 for i.
3
Let l(n) = -n + 34. Let o be l(18). Solve 25 = -2*w + 3*y + 5, 0 = -5*w - y - o for w.
-4
Let u be 1*7 + 49 + -43. Solve 4*i - 4*a = -0*a + 12, i + 4*a - u = 0 for i.
5
Suppose -2*j = -15 + 7. Suppose 0*k = -5*i - 2*k + 19, 0 = -2*i + j*k + 22. Solve -5*v + x - 4 = -0, i*v - 2*x = -8 for v.
0
Suppose q - 6*q = -4*l - 17, -3*q + 3*l = -9. Solve -2*v - 3 = q*d, 8 = -4*v - 4*d - 4 for v.
-4
Let z = -4 - -28. Let o be 6/4*80/z. Let h be (o - 7)*(-3)/2. Solve -h*p = 0, -2*u - 2 = -0*u - 3*p for u.
-1
Let r = -1354 + 1359. Solve -r*s = -4*k, 4*k - 3*k + 3*s = 0 for k.
0
Suppose -14*t + 9 = 9. Solve -2*s + 4*b + 2 = 0, s + 2*b - 4 + 3 = t for s.
1
Suppose 4*d - u - 59 = 0, d - u - 17 = -6. Solve -5*w = -v - w + d, 0 = -4*v + 2*w + 8 for v.
0
Let f(b) = 13*b**2 + 108*b + 36. Let d be f(-8). Solve 4*k - 3 - 1 = d*z, 29 = z + 5*k for z.
4
Suppose -3*m - 4*b + 14 = 0, -2*m - 2*b - 9 = -21. Solve 3*s - 4*x - m = 0, -4*s + 2*s - 24 = 5*x for s.
-2
Let x be -1 - (40/(-50))/((-1)/(-10)). Solve 1 = s, -5*f - 4*s + 36 - x = 0 for f.
5
Suppose -4*k + 8*k - 165 = -3*a, 3*k + 3*a = 123. Let g be 10/3 + (-14)/k. Solve -t = 2*m - 10 - 4, -2*m + 22 = g*t for m.
5
Let p(k) = 2*k**2 - 3*k + 1. Let a be p(1). Solve 0 = -3*o - b - 9, a = -5*o + 3*b - 1 for o.
-2
Let n(p) = p**2 + 6*p - 3. Let b be n(-6). Let v be 70/7*b/(-6). Solve v*x - f - 7 = 4, -5*x + 5 = 5*f for x.
2
Suppose 0 = -r - 0*r - 3*j - 3, 5*r + 5*j = -5. Solve 10 = 3*p - c, 8 = -4*p - r*p - 4*c for p.
2
Let s = -80 - -180. Let n = -95 + s. Solve 4*w = 5*k + 7, -3*k + n = -5*w + 17 for w.
3
Let v(l) = 4*l**2 + 58*l + 83. Let m be v(-13). Solve -r + 3*r = 3*x + 16, m*x + 30 = 5*r for r.
2
Let k = 198 + -193. Solve 3*r = k*r + 2*n + 4, -2*r + 5*n + 24 = 0 for r.
2
Let h = 2 - 0. Let g(b) = -3*b + 4*b - 2*b + 6 + h. Let m be g(4). Solve 4*i - 4 = -4*u, 0*u - m = -4*i + 5*u for i.
1
Suppose -2*f - 4*v + 46 = 58, 15 = -f - 5*v. Solve -w + 20 = n + 3*w, f = -5*n - 3*w + 15 for n.
0
Let c = -198 - -279. Let b = c + -79. Solve 4*q + h + 1 - 8 = 0, -b*q - h = -1 for q.
3
Let t(r) = -r**3 - 18*r**2 - 2*r + 4. Let p be t(-18). Suppose -3*j - 2*l + 2 = 0, 4*j = -j + 4*l + p. Solve -4*g - 4*h = 12, -h - 6 = j*g + 12 for g.
-5
Suppose -4*q = 54 - 66. Suppose 3 + 32 = 5*p. Solve w = 2*a + 3*a - 16, 2*w = -q*a + p for w.
-1
Suppose -860 + 276 = -5*j + b, 4*b = -2*j + 216. Let t = j - 115. Solve u = 4*c + 1 + t, 0 = -3*u - c - 7 for u.
-2
Let x be 6/(-1)*(-3)/9. Suppose -q = -3*t + 2*t + x, 12 = 3*t. Solve -2*c - 8 = 3*p, q*c + p - 4 = -2*c for c.
2
Suppose n = -s, -s + 3*n + 12 = -0*s. Solve s*l = -0*l + 9, 2*h + 3*l - 3 = 0 for h.
-3
Let f be (-17 + 68/4)/((-2)/2). Solve 5*m - u - 4*u + 10 = f, -u + 8 = -4*m for m.
-2
Suppose -3*r - 3 = -3*d - 0*r, 4*r = -12. Suppose -4*u + 6*u + 6*u = 0. Let t be (2 - -2) + d + u. Solve 5*i + 4*n - 15 = 0, -2*i - n + 1 = t*i for i.
-1
Suppose -5*s + 30 = 2*m, -2*m - 4*s + 28 = -0. Suppose a = 3*a - 4*l - m, -13 = -3*a + 4*l. Solve p = 2*y + 11, -p - a*y = 1 + 3 for p.
5
Let l = 21 - 18. Suppose -6 = -l*q - 0*q. Solve -18 = 5*n - 0*f + 4*f, -3*n - q*f = 10 for n.
-2
Let m(f) be the second derivative of f**4/12 + f**3/6 - 9*f. Let y be m(-5). Suppose 50 + y = 5*a. Solve -5*u + r = -12, -5*u + 5*r = -6 - a for u.
2
Let f(w) = w**3 + 10*w**2 - 3*w - 30. Let x be f(-10). Solve -5*y - 14 = -5*i + 1, x = 3*i - 12 for y.
1
Suppose 0 = 2*o + 15 + 3. Let v be 3/o*-3*0. Solve -y + v*k = 2*k + 2, 2*k + 10 = -3*y for y.
-4
Suppose 5*d + 2*f + 20 = 0, -2*d - d - 2*f = 12. Let c be 4 - 5 - 0 - d. Solve 11 = a + 5*j, -2*a - 3*a + c = -j for a.
1
Suppose 1 = -f + 7. Let r(s) = -6*s - f + 2*s + 5*s. Let d be r(9). Solve 5*n - 3 = -x, -2*n + d*x = 3*n - 11 for n.
1
Let q(d) = 18*d - 1 + 465*d**2 - 469*d**2 + 11. Let b be q(5). Solve b = 2*f + 2*p - 2, 2*p = -2*p - 4 for f.
2
Let j = -4 + 18. Let v = -14 + j. Suppose -2*t + b = 2*b, -4*b = v. Solve t = -4*y + 8, 0*l = -l + 3*y - 8 for l.
-2
Let m(d) = -7*d - 6. Let k be m(-3). Suppose 4*n = -n - k. Let q be 0 + n - -5 - -3. Solve -5*a = -4*o + 3*o + 9, a = o - q for o.
4
Let f be -1*-5*(4 + -3). Solve 5*r + 5*y + 6 = 21, -4*r = f*y - 16 for r.
-1
Suppose -2*j + j = -y - 59, y = 4*j - 245. Suppose 3*m + j = 2*n - 0*m, -58 = -2*n + 2*m. Solve 0 = 5*r + c - 25, -2*r + 7*r - n = -4*c for r.
5
Suppose -o - 8 = -4*y, 5*y - 10*y = o - 28. Solve 5*s + 3 = j, -5*s - o = -4*j + 4 for s.
0
Let v(q) = 6*q + 7 - 8*q + 4. Let h be v(4). Solve -d - h*d + 4 = 4*p, -3*p - 13 = -5*d for p.
-1
Suppose -3*l = -5*l - q, l + 18 = -5*q. Let m = -9 + 17. Let h = m + l. Solve 2*g - 2 = 0, 0 = -2*t + g - 3*g + h for t.
4
Suppose -d + 5*q = 2*d - 75, 0 = 2*d - 3*q - 51. Suppose b + d = 7*b. Solve 2*s = v - b, 4*s + v + 15 = 4*v for s.
0
Let s(m) = -m**