 + c*a + 10 for m.
5
Suppose 0 = 4*k - 4*t, 0*k - t = k - 10. Let l be 23/k - 30/(-75). Solve -2*d - 3*n = 4 - 3, -5*d - l*n = 0 for d.
1
Let f(l) = -3*l**2 - 11*l - 3. Let s be f(-3). Solve -4*j - 4*q = -16, -s*q - 4 = -2*j - q for j.
3
Let j be (6/(-4))/((-6)/32)*2. Suppose -o + 18 = j. Solve -k + 11 = 6*t - 2*t, 3*t + o*k - 2 = 0 for t.
4
Suppose -4*j = q + 11 + 22, 2*q - 2*j = -36. Let b = q + 26. Solve -g + c = 4, -18 = g - b*c - 6 for g.
-2
Suppose 258*l = 253*l. Solve -3*s + 3*v = 0, -v + 20 = -5*s - l*v for s.
-5
Let n = 732 + -728. Solve -4*j = -3*y + 9, -2*y + 4*y - 10 = n*j for y.
-1
Let f(i) = -i**2 + 18*i - 68. Let q be f(6). Solve -5*b + 2 = 3*u, -4*b + 6 = q*u + b for u.
4
Let m(s) = -s**3 + 7*s**2 + 4*s + 10. Let i be m(7). Suppose -3*k = l + 4*l - 34, -i = -5*l - k. Suppose -l = -v - v. Solve v = 4*u - 3*j, 4 + 0 = -j for u.
-2
Let c be (-8)/(-3)*33/22. Let z be 10/(-12)*(-16 + c - -6). Solve -s - 20 = 4*j - 0*s, z*j - 2*s = -12 for j.
-4
Let j(q) = 2*q**2 - 10*q + 13. Let y be j(5). Solve 3*o + 2*f = 1, 4 - y = -4*o + 5*f for o.
1
Let t(v) be the first derivative of v**4/4 + 4*v**3/3 - 4*v - 15. Let b be t(-2). Solve -n = -p + 5, 3*p + 5 = -5*n - b for n.
-3
Let t = -52 - -60. Suppose -5*p + p + t = 0. Let h = 5 - 3. Solve 0 = -k + 2*x + 4, -h*k = -3*k - p*x for k.
2
Suppose 0 = 5*z + 2*t + 57, -3*t = -z - 13 + 5. Let x = 15 + z. Suppose -x*m = -7*m. Solve 0 = 3*w + 3*f + 9 - 0, m = -5*f + 10 for w.
-5
Suppose 0 = 3*c - 5*m - 19 - 2, 3*c - 3*m = 15. Suppose -6 = -b - t, -c*t = -5*b - t + 24. Solve 2*f - b*p = -10*p + 10, 4*f + 2*p = 20 for f.
5
Suppose 3*z = z - h + 9, -2*h + 12 = 2*z. Let n = 223 + -219. Solve -2*f = -2*r + 2, -5*f + z*r - r = -n for f.
2
Suppose 12 = 2*d - 3*s, 11 = d + s + 5. Let m(j) = j**2 - 7*j + 6. Let k be m(d). Solve k = -4*l - 8, -n - l + 4 = -3*l for n.
0
Let c be (-13)/(-3) - 2/(-3). Suppose c*v - v - 20 = 0. Solve -5*y + 18 = -2*f - 10*y, -4*y - 11 = v*f for f.
1
Suppose 0 = -5*v + 5 - 0. Let g be (-1 + 8 + -3)/v. Suppose 0*l + 8 = 4*l - w, 3*l + g*w - 6 = 0. Solve -l*a = -3*a + 2, 3*t + 3*a = 9 for t.
1
Let f(w) = w**3 - 4*w**2 + 5*w - 2. Let x(b) = 3*b**2. Let o be x(-1). Let z = o + 0. Let a be f(z). Solve a*r = -r - 5*q, -5*q = -10 for r.
-2
Let v be (-6)/36 + (-310)/12. Let c = -23 - v. Solve 5*s + q - 14 = 9, -c*q + 13 = s for s.
4
Suppose 5*b - i = 131, -5*i - 76 + 19 = -2*b. Let g = -12 + 22. Solve -4*u - 3*o = -b, -o - 4*o - g = -4*u for u.
5
Let d(u) = u + 24. Let n be d(-20). Let l = 83 + -76. Solve 5*g - 20 = -5*i, -1 - l = -n*g for i.
2
Let b be (-9)/(-12) - 1 - (-30)/(-8). Suppose -3*c + 2*c = 8. Let h = b - c. Solve h*n - 22 = g - 9, -5 = -3*n - 4*g for n.
3
Let h = -2000 + 2003. Solve 22 = 2*k - 3*q + 8, k - 13 = h*q for k.
1
Let v(j) = j**2 - 11*j + 22. Let p be v(2). Solve h + 3 = 2*o + 2, 4*h = -4*o - p for o.
0
Let x = -7 + 18. Suppose 15 = 2*o + 4*u - x, 5*u = 25. Solve -15 = -5*z - 5*t + 10, o*z - 3*t - 15 = 0 for z.
5
Suppose 8*g + 50 = 3*g. Let a(d) be the first derivative of -d**2/2 - 7*d - 165. Let z be a(g). Solve -9 = z*f - 3*r - 0, -2*f = 2*r - 2 for f.
-1
Let i = 7 - 2. Suppose 3*u + 3*k = -0*k - 9, -3*k = -i*u + 25. Suppose -p - 2 = u*n + p, 5*p + 5 = 0. Solve 0 = -2*v + 3*g - 21, v + 4*g + n*g - 17 = 0 for v.
-3
Let i = 88 + -39. Let g = i - 29. Solve 2*f + 5*h = 24, 9*h - g = 4*h for f.
2
Suppose 0 = -2*o + o + 5. Suppose o*n = n. Suppose 2*x + 3 = 7. Solve 4*q = r - 18, 0 = -r - n*q + x*q + 8 for r.
-2
Let v be (-5)/2*(-24)/20. Suppose -16 = -v*f + f. Suppose c + 2 = 4*d, 3*c + 2*d = -0*d + f. Solve -19 = -5*z + 2*h, 2*z = -0*z + c*h + 10 for z.
3
Suppose 0 = -5*i + 17*i - 252. Solve -m = 4*b - 23, b + 10 - i = -2*m for m.
3
Let h(d) = d**2 - d - 2. Let b = 9 - 7. Let z be h(b). Suppose z*k + 30 = 5*k. Solve 0 = -5*s - 2*t - 16, k*s = 4*s + 3*t + 5 for s.
-2
Let s(u) be the second derivative of -u**3/3 + 19*u**2/2 - 29*u. Let o be s(7). Solve -2*b = -0*h + 2*h - 6, 0 = -o*b - 10 for h.
5
Let c be (2/(7 - 3))/(4/24). Solve -c*y = 3*s + 9 + 6, 2*s + 5*y + 13 = 0 for s.
-4
Suppose 57 - 59 = -v. Let f = v - -2. Solve 5*l = -0*l - f*b - 2, 4*b + 16 = 2*l for l.
2
Let w = 3 - 50. Let t = 59 + w. Solve p + t = x - 5*x, 3*p - 12 = 0 for x.
-4
Let g be (-12)/4 + 4 - 0. Let i be (-5)/(-5)*5*g. Let n(j) = 5*j**2 - j + 1. Let u be n(1). Solve -4*r - 12 = -u*w + 3*w, 0 = -i*w + 5*r + 25 for w.
4
Let i = -18 + 9. Let p = i + 16. Let a = -30 + 47. Solve -3*l - 5*v - a = -0*l, -5*l - 3*v = p for l.
1
Let p = 33 + -18. Suppose 4*a - 15 = a - 5*s, 2*a - p = -5*s. Solve 5*h - 3*q - 14 = a, 4*h - 4*q = 5*h - 12 for h.
4
Let w = -7 - -17. Suppose -w = 2*n + 22. Let q be 22/5 + n/40. Solve 9 + 14 = -x - 4*b, 0 = 3*x - b + q for x.
-3
Let d be (-70)/(-42) + 2 + (-20)/12. Solve 0 = 2*m + d*y, 0*y - 2 = 2*m + y for m.
-2
Let b(z) = 10*z - 31. Let d be b(9). Suppose -w - 53 + d = 0. Solve -3*f - w = -0*f, -3*u + 10 = f for u.
4
Let m be (4/(-5) - 0)*-5. Let i(k) = 0 + 2*k**3 + 2*k**2 - 3*k**2 - k**3 + m. Let q be i(0). Solve f + 10 = -r + 3, -3*f = q*r + 23 for r.
-2
Suppose 6*b - 176 = -104. Solve 3*p = -b, 2*p + 8 = 4*u - p for u.
-1
Let f = -14 - -28. Suppose -2*t + f = 4. Let n = -46 + 65. Solve -4*i - 5*w - n = -52, 0 = -w + t for i.
2
Let x(h) = h**2 - 47*h - 258. Let z be x(-5). Solve -d + 3*k - 1 = -z, -2*k = 0 for d.
1
Let a(c) = 2*c**2 - 8*c - 21. Let q be a(-2). Solve 5 = -i + 8*v - 4*v, 0 = 3*i - 3*v - q for i.
3
Let k = 75 - 73. Solve 2*g = -t + 13, -2*t + 16 = k*t - g for t.
5
Suppose -14*z = -6*z - 64. Solve 5*n - 1 = 2*t, z = 2*n + 3*t - 0*t for n.
1
Suppose 0 = o - 3*x - 16, -5*o + 1 = 3*x - 7. Solve -4*z + 2*z = -5*u, -o*u + 2*z - 2 = 0 for u.
2
Suppose -3*s + 5*s - 8 = 0. Suppose 3*j = 2*y - s, 13 = 4*y + j - 9. Solve -5*a + t = 4*t + 24, 0 = -y*a + 5*t for a.
-3
Suppose -6 = -4*o - 3*z + 5, -2*o + 18 = 4*z. Let d be 2 + (1 + -1)/o. Solve 4*l + d*g + 0 = 2, 2*l - 4*g + 4 = 0 for l.
0
Let h be (-4)/(-4) + -1 + 3. Suppose 0*q - h*q = 48. Let t be ((-15)/(-20))/((-6)/q). Solve t*s + 3*g + 5 - 4 = 0, -3*g = -3*s - 24 for s.
-5
Suppose -3*h = -2*w - 2*w + 24, 0 = -2*w - 3*h - 6. Suppose -w*o = 2*o - 50. Suppose 3*n - o = 2*n. Solve n = -2*x, -k - 10 + 25 = -4*x for k.
-5
Let i(t) = t**3 - 4*t**2 + 22*t - 88. Let v be i(4). Let r(w) = -w**3 + 4*w**2 + 5*w + 4. Let b be r(5). Solve -d = 3*f + 12, b*d - 17 = -v*f + f for d.
3
Let i be (-6)/12*(-1 + -3). Let d = 20 - 0. Suppose -m - 4*n + d = -0*n, 0 = m + 5*n - 25. Solve 5*j = j + i*g + 2, -3*j - 3*g - 21 = m for j.
-2
Suppose y = -8*y + 2*y. Solve -5*t + 3 = 4*r, y = -5*t + 8*t - 3*r - 18 for t.
3
Let a(k) = k**3 - 54*k**2 - 6*k + 327. Let g be a(54). Solve 4*n = 4, -2*m = -g*n + 4*n - 7 for m.
3
Let j = -11 + 13. Suppose 0 = -j*t - t. Solve 4*y - b + t + 4 = 0, 2*y - b = -4 for y.
0
Suppose 0 = 2*y - 43 + 1. Let l(j) = -j**2 + 13*j - 8. Let d be l(12). Let c be (d/5)/((-2)/(-5)). Solve -5*m + 5 = t, -3*t - y = 2*t + c*m for t.
-5
Suppose -8 + 8 = -3*j. Suppose 2*c - 2*a = -2 - j, 5*c - 25 = -5*a. Solve o = 4*b - 13, 4 = -c*o - 2*o for b.
3
Let g(b) = 5*b**2 + 32*b + 27. Let y(d) = 2*d**2 + 16*d + 14. Let i(c) = -3*g(c) + 7*y(c). Let n be i(17). Solve 4*m = l - 9, n = 2*m + 3*m + 15 for l.
-3
Let c(y) = y**2 + 7*y + 15. Suppose -3*f - 12 = 0, f + 32 = -2*l - 3*f. Let g be c(l). Solve -2*a + 3*a + 5*v = 10, -3*v = 4*a - g for a.
5
Let y(f) = -4*f + 8. Let i be y(-3). Suppose 2*c - 6*c = -24. Solve 16 = 4*h + 5*m, c*h + 2*m = h + i for h.
4
Let a(n) = -38*n - 418. Let i be a(-11). Solve r + k + 5 = -i*r, r = -2*k - 5 for r.
-5
Let f be 3/1 + 3*(-12)/(-18). Solve d + 4*u + f = -3, 0 = -5*d - 4*u + 8 for d.
4
Suppose -3*j - 31 = -4*b, -18 = -2*b + 3*j + 5. Suppose b*h + 35 = 51. Solve 10 = -5*z - 3*a, -h*z - a = -0*z + 15 for z.
-5
Suppose t = -3*z, 2*z + 3*z - 2*t = 0. Solve -l + z = h - 1, 0 = -3*l - h + 1 for l.
0
Suppose d + 1 = 3. Suppose -g + 9 = d*g. Suppose 2*j - g*j = -1. Solve -5*i - 2*b = 11 - j, -2*i - 23 = -3*b for i.
-4
Let r(x) = x**2 - 14*x + 17. Suppose 8 = 2*m - 18. Let d be r(m). Solve d*o - 12 = 2*c, 5*c - 12 = 3*o - 7*o for c.
0
Let k = -1168 + 1168. Solve k = -3*s + 12, d - 16 = -2*s - 3 for d.
5
Let r = 5 - 2. Suppose -4*h + 5*x = -25, r*h + x = -0*x + 14. Solve 0*g - h = -5*g + 4*s, -4*s - 11 = -3*g fo