 for n.
4
Suppose -1009 + 1 = -84*k. Let v = 6 - 4. Solve k = -v*z + c, z - c - c = -12 for z.
-4
Let a be 4*(-2)/(-4) + 38. Let w = -420 + 448. Solve y + 5*u = -w, u = -5*y - 4*u - a for y.
-3
Let k = -22 + 65. Let u = -40 + k. Solve -z + 2*d - 12 = u*z, 0 = -3*d for z.
-3
Let n be (0 + -1)/((-1)/5). Suppose 2541*u - 27 = 2532*u. Solve 0 = -2*b + z + u*z + 16, 10 = n*b - 4*z for b.
-2
Let w be 5 - (2 + -9)/(-7). Solve 0 = -5*h + 8*h, -r = -w*h - 2 for r.
2
Suppose -k = -2*l + 5, -22*l + 17*l + 5*k = -15. Solve 2*p + 3 = -3*r, 2*r - 5*p = -p - l for r.
-1
Let p = 28 - 25. Suppose 3*v + 0*v = 2*z, 0 = -z - p*v. Solve -5*o + 4*f - 2 = z, 5*o + 4*f = -7 + 29 for o.
2
Let m = -1 + 0. Let i be 25 + 9/(3/m). Suppose i + 2 = 2*h. Solve -b - 3*n + 13 = 0, 4 - h = b - 4*n for b.
4
Let w(x) = -5*x - 171. Let n be w(-35). Solve 15 = 2*t + 5*v + n, v = t + 5 for t.
-2
Let v(n) = n**3 - 5*n**2 + 4. Let g be v(5). Suppose 114 = d + 5*h + 77, -4*d + 15 = h. Solve 5*c = -g*z + 15, -z - 4 - d = -2*c for z.
0
Let h = 41 + -50. Let d be (3 - -3)*(-6)/h. Solve -4*z + 5*o - 14 = 0, 0 = z - d*z - 4*o + 5 for z.
-1
Let v be 8/14 + (-11440)/77. Let b = 167 + v. Solve 0 = 5*f + 3*j - 22, 2*j = 3*f - 2*j - b for f.
5
Let u be (-5 - -2)/(3 + -2) + 6. Suppose -t = -0*w + w - 3, u*w + 4*t = 12. Solve -19 = -5*r + 2*c, w = r - 3*c - 6 - 3 for r.
3
Let f(a) = -a**2 - 3 - 4 + 0*a**2 + 8*a + 0. Let x be f(7). Suppose 97 = 5*z + 4*s - 3, x = -3*z - 3*s + 60. Solve 5*q + 4*k = -5, q - k - z = 6*q for q.
-5
Let u = -7 + 23. Let a be 4/(-32)*-4*2 - -2. Suppose 5*k - 10 = a*k. Solve x - u = 5*j, x = -2*j - 0*j - k for x.
1
Let u(y) = y**3 - 2*y**2 - 3*y + 2. Let q be u(3). Suppose 5*m - 9 - 17 = -2*o, 0 = -3*o + q*m + 1. Solve -2*h - 2*h - o*b = 16, b = -3*h - 7 for h.
-1
Suppose -16*x + 14*x = -22. Solve x = -5*g + 3*l - 12, 0 = 5*g + 3*l + 17 for g.
-4
Let j(l) = -20*l - 378. Let v be j(-19). Solve 5*f - r = v*f + 6, 0 = -5*f + 5*r + 10 for f.
2
Let f(r) = -2. Let w(v) = v - 3. Let x(l) = -2*f(l) + 3*w(l). Let q be x(5). Solve 6*u + q = 4*u - 4*o, 4*o + 20 = 0 for u.
5
Let i be (-10)/(-14) - (-2)/7. Let o(r) = 2 - r + r**2 - 2*r + r - 1. Let p be o(i). Solve 10 = -2*y - a - p*a, -a - 19 = 5*y for y.
-3
Let p be (3 - 0 - -4) + 8. Solve 0 = -3*u + u, 4*u - p = 3*g for g.
-5
Let o be 130/(-26) + (0 - -10). Solve -4*a + b = -0*a - 9, 5*b = o*a for a.
3
Suppose 31*a - 25*a - 12 = 0. Let d = 9 + -4. Solve 6*h - 2*b - 8 = 2*h, 28 = a*h + d*b for h.
4
Suppose p = 3*u - 9, -7*p + 9 = -3*u - 12*p. Solve -4*i + 7 = -i - u*l, -l = 3*i + 8 for i.
-1
Suppose 2*a = 4*g, 0 = g - 5*g + 20. Solve -8 = -3*n + 2*l, -2*n + 6 = -4*l - a for n.
0
Let k be 0*3/(-9) - -2. Suppose k*n - 4*n = -10. Suppose -4*d + n*z + 10 = 0, -6*d = -d - z - 2. Solve -3*c - 14 = i, c + 12 = -4*i - d*i for i.
-2
Suppose -10*n - 9 = -n. Let m be ((-7)/14)/(n/6) - 3. Solve 5*o - 2*b = 20, m = -o - 3*b + 7*b + 22 for o.
2
Let r(s) = 112*s + 562. Let k be r(-5). Solve 2*n - 8 = k*g, 0 = 4*g - 0*n - n + 10 for g.
-2
Suppose -5*w + 25 - 5 = 0. Let j = w - 2. Suppose 0 = j*p + 5*s + 2, 7 = 4*p - s - 11. Solve 3*q - 19 = -p*r + 10, -6 = -2*q for r.
5
Suppose -2 + 0 = -a. Suppose 58*m - 11 = 279. Solve 5*p = -3*w - 13 - a, -m*p - 2*w - 10 = 0 for p.
0
Suppose 55*v + 9 = -k + 51*v, -3*k = -4*v - 21. Solve y = 4*i - i + 3, -k*i - 3*y - 3 = 0 for i.
-1
Let y(u) = -4*u**2 - 1. Let k be y(1). Let f be (-1 - 3/k)*-5. Suppose 21*v - 36*v = -15. Solve -d + 2 = f*m, d = 2*d - m + v for d.
0
Let b(r) = r**3 - 21*r**2 + 18*r + 40. Let o be b(20). Solve -t + 0*z - 19 = 5*z, o = -2*t + 4*z + 4 for t.
-4
Suppose 0 = -15*j + 49*j - 238. Solve j*y = 2*y - 15, -2*t + 9 = -y for t.
3
Let f be (-4)/18 - (-256)/18. Let n be -4 - (-4)/(8/10). Suppose 4*v - v = -4*a - n, -13 = a + 5*v. Solve -a*s - 3*s + 3*u = -10, -3*u = -s + f for s.
-1
Let r(a) = -a**2 + 2*a**2 - 6 + 5*a + 6*a**2 + a**3. Let v be r(-6). Solve -3*p + 10 = -5*c, -3*c - 4*p + 7 - 42 = v for c.
-5
Suppose 472*d - 474*d = -6. Solve -2*k - 18 = 3*k + i, 5*k = 4*i - d for k.
-3
Let s be (6 - 4)*(-2 + 6 + -1). Solve 3*o = 4*u + 23, -7*o + u + 7 = -s*o for o.
5
Suppose -g - 5*x - 57 = 0, -3*g - x - 92 = 9. Let s(v) = -131*v + 357. Let i be s(3). Let p = g - i. Solve -2*z + f + 7 = 0, p*f - 17 = -4*z + 3*f for z.
4
Let o be (-4)/24 - 76/(-24). Solve -r + 2 = -2*l, -o*l + 11 = -5*r - 0*l for r.
-4
Suppose 0*f - 3*f = -4*g + 67, 2*f - 4*g + 46 = 0. Let o be (f/1)/(3/4*-2). Solve k - o = 4*v, -k = -3*v + k - 8 for v.
-4
Suppose 2*b - 12 = -a - 2*a, -b = -a - 1. Solve -i - i + 22 = -4*v, -3*v = -b*i + 21 for v.
-4
Suppose 83 - 88 = -5*r. Solve -5*n + 19 = 4*v, -5*n = -4*v - 12 + r for v.
1
Let y(t) = 17*t + 475. Let w be y(-27). Solve -4*m - 11*p + w = -7*p, 4*m + 20 = 5*p for m.
0
Suppose 4*w - 4*r + 6 - 42 = 0, -28 = 7*r. Let s be (-2 + 1 + 4)*1. Let k = s - 0. Solve -k*z = w*q - 20, q - 10 = 5*z - 34 for q.
1
Let o(n) = n**2 + 3*n + 2. Let u = 24 - 28. Let w be o(u). Let k be (-3 + 3)/(w/3). Solve -4*z - 4 = 0, a + a - 3*z + 5 = k for a.
-4
Let k be (-4)/26 + (-29)/((-2262)/324). Solve h + 2*h = u - 7, -3*u = k*h + 18 for h.
-3
Let q = 31 + -31. Let y = q + 5. Suppose -4*p + y*m = -26, -3*p + m = -11 - 14. Solve 4 = -4*i + 2*x - 2, -4*i + 5*x = -p for i.
-4
Suppose 3*k + 6 = 4*k. Suppose -4 - 8 = -k*q. Let h be q/13 - (-1242)/39. Solve 4*a - a = 4*i + h, a + 3*i = -11 for a.
4
Let q = 44 - 41. Suppose 5*h - 9*h + k + 16 = 0, 8 = -2*k. Solve h*j = 6, -5*j + 10 = -q*f - 0*f for f.
0
Let d = 13 + -8. Let o = 17 - 14. Let w be (-35)/(-21)*1*o. Solve 0 = -w*c + 5, -i + d*c = c + 9 for i.
-5
Let l be (-14)/8 - (-9)/12. Let w be 4 + (4 - 6 - (l + 1)). Solve 0 = -k - w, 0 = -0*c + 2*c - 4*k - 4 for c.
-2
Let h(b) = b**2 + 2*b + 5. Let i be h(-5). Suppose 24 = 2*k + i. Solve -r = -2*c + 11, 0 = -k*c - 2*r - 1 - 3 for c.
3
Suppose 0 = 6*v - 45 + 3. Suppose 3*k + 4*i + 1 = 0, -4 = -5*k - 5*i + 1. Solve -2*m - v = -3*p, -4*m - k = 2*p + 1 for p.
1
Let g(u) = -u**2 + 5*u - 1. Let k be g(2). Suppose 32*p + 34 = 98. Solve 0*o = -o - k*i, -p*i = -o + 7 for o.
5
Suppose 0 = 4*z + b - 32 - 34, z - 7 = -5*b. Let c = 16 - z. Let u be c + (3*-3)/(-3). Solve -5*t = -u*y - 15, -3*y = -5*t + y + 5 for t.
5
Let g = 295 + -292. Let u(k) = -2*k - 6. Let o be u(-4). Solve 5*q - j = -3*j - 2, 2 = g*q + o*j for q.
-2
Suppose 0 = -43*a + 41*a + 3*r + 86, a = r + 41. Solve -4*i + 5*d = -a, 5*i - 35 = -0*i + 4*d for i.
3
Suppose -o = 6 - 8. Solve -o*s = -4*v + 26, -v = -3*s - 18 - 1 for v.
4
Suppose -4*a = -b - 0 - 6, -5*b - 4*a = -18. Solve 2*n - 4*n = -b*h - 6, -2*h = -3*n + 10 for n.
4
Let c = 6 - -6. Suppose -c + 4 = -4*f. Solve -16 = 3*y + 4*x, 16 = -f*y + 4*y - 4*x for y.
0
Let d be (-11)/(-3) + (-2)/3. Let i(o) = -o**2 + 4*o - 4. Let v be i(d). Let s be (-1 - v)/(11 + -10). Solve p - 3*p = 4*j - 4, -3*p - 5*j + 5 = s for p.
0
Suppose 6 = 2*t - 0. Let i = -90 + 93. Let s be 3 + (-3)/i*7 + 6. Solve -2*u + 4 = s*v, u + 1 = -t*v + 13 for u.
-3
Suppose -374 + 30 = -8*t. Let b = 48 - t. Solve 0 = 3*g + 5*j + 2 + 27, 0 = -b*j - 20 for g.
-3
Suppose 0 = 8*b + 43*b - 153. Solve 0*k = -3*p - 5*k - 20, 23 = -4*p - b*k for p.
-5
Let g be (-195)/6 - (-2)/(-4). Let c = g - -50. Suppose -c - 48 = -5*i. Solve -2*s + 10 = 0, 0*l - 3*l - 5*s + i = 0 for l.
-4
Suppose 2*t = -n - 5, 5*t = -5*n + 10*t + 35. Solve s + 2*i + 7 = 0, -8*i + 3*i = n*s + 17 for s.
1
Let q(s) be the first derivative of s**2/2 + 13*s - 20. Let m be q(-9). Solve -z = 5*b - b + 7, 0 = -m*z - 2*b for z.
1
Let n be (1 - 10)*(-3)/((-90)/(-20)). Solve -m = i, 4*m - 3*i = -4*i - n for m.
-2
Suppose -18 = -2*d - 14. Suppose a + 4 + 6 = s, -d*s = -4*a - 16. Suppose g - s = -0*g + 5*q, 4*g + q = 6. Solve -g*i + 13 = 5*t + 3, 0 = -5*i + 3*t - 37 for i.
-5
Suppose -k + 2*m = 8, 2 = 5*k - m + 6. Solve -3*v + 12 = k, -4*v = 3*c + 2*c - 41 for c.
5
Suppose 5*v - 12 = 3. Solve 13 = -v*y + 5*t - 6, -y + 3*t - 13 = 0 for y.
2
Suppose -10*r + 70 - 30 = 0. Solve -5*s = 2*v - v + 5, -4 = -v + r*s for v.
0
Suppose -4*l = 8, -4*j - 2*l - 2*l = 24. Let w be j/(5 - 1)*-21. Solve -2*h + 5*o = -0*o + 23, 3*h - 3*o = -w for h.
-4
Let k = 48 + -47. Suppose -3*q - 2 = -3*u + q, -u + q + k = 0. Solve -u*i + 11 = 4*d - 7, 5*d + i - 18 = 0 for d.
3
Let i(s) = s**3 + 3*s**2 - s. Let h be i(1)