4*h + 24 for l.
-4
Suppose 75*z = -40*z + 1495. Solve 32 = -5*t + 4*q, z*q - 20 = 2*t + 9*q for t.
-4
Let g be 13 + -6*15/10. Solve 4*c = 4*z - 12, z = g*z - 4*c - 12 for z.
0
Let w(h) = h**2 - 3*h - 8. Let t be w(11). Suppose 2*f - 21 - 7 = -5*n, 4*f - t = 2*n. Solve 2*j + 5*a + 31 = -j, 0 = 3*j - 5*a - f for j.
-2
Let v = -218 - -239. Let m be (4 - -1)*(-1 - -2). Solve l = -0*l + 4*f + 10, m*f = -3*l - v for l.
-2
Let n(v) = v**3 + v**2 + 3. Let o be n(0). Let m(i) = -i**2 - 38*i - 89. Let f be m(-3). Solve -2*s - 12 = -3*x, o*s + f = 4*x - s for x.
4
Suppose -2*x + 11*i - 7*i = -20, 0 = 4*x - 3*i - 65. Solve 5*p + x = -2*f + 7*f, 4 = 3*f + p for f.
2
Let s = -55 + 95. Suppose 0 = 2*v - 7*v + s. Solve 3*j + 20 = 3*d - v*d, 5*j - 3*d = -22 for j.
-5
Suppose -5*o = -5*m - 3*o + 49, -3*o = 4*m - 30. Solve -37 = 4*j - 5*p - 10, 3*p - m = 0 for j.
-3
Let g be (-53)/(-2) + 1/2. Let t(y) = -y**2 - 12*y - 19. Let v be t(-8). Suppose 4*l - g = v. Solve i + 5 = -3*d + l, -5*d + 5*i = 25 for d.
0
Let w be 7/14*4/1. Let t be (w + (-6 - -4))/1. Solve t = -5*v + 4*p + 17, 2*v - 5*p = 5*v - 25 for v.
5
Let f(i) = -1. Let y(b) = b + 1. Let q(z) = 3*f(z) + 2*y(z). Suppose 7*l = 2*l + 10. Let g be q(l). Solve g - 12 = -5*x + 3*m, 0 = -x - 5*m + 13 for x.
3
Suppose 0 = -11*y + 56 - 1. Solve 0 = y*r - 4*g - g - 10, 5*r - 22 = -g for r.
4
Let t = 8 + -3. Suppose t*p - 7 = 43. Suppose -6*g + g + p = 0. Solve 7*c - g*c + 3*q = -8, -2*q = 2*c + 4 for c.
-1
Let v = 49 - 31. Suppose 15 = 11*k - v. Solve 4*r = -0*o - 3*o + 7, 0 = -r - k*o - 5 for r.
4
Suppose 1 = -2*w + 2*g - 1, -10 = -5*w + 2*g. Suppose -d + 3*d = w. Solve 2*t + 12 = d*b, -4*b - 14 = -7*b - t for b.
5
Suppose 7*x = -133 + 161. Solve x*j + 3 = -0*j + c, 5*j + 3*c = -8 for j.
-1
Suppose -4*l + 8 = -4. Suppose -3*n - 3*x - 6 = 0, 4*n - 10*x - 8 = -6*x. Solve -2*b - k + 13 = 0, -b + n*k + 14 = l*k for b.
5
Suppose -g - q + 1 = 0, 2*g - 2*q + 3*q - 6 = 0. Let d = g + 24. Solve 3*r = 4*j - d, 3*r = -5*j + 10*j - 34 for j.
5
Let i be 40/16 - (-1)/2. Let x be (-1 - -2)/(i/15). Suppose -8*v + 3*v = 0. Solve -4*d = -x*q + 25, -5*d - 22 = -v*q + 3*q for d.
-5
Suppose -l = -r, r - 2*r - 10 = -3*l. Solve 5*h + l = 2*s, -5*s + 2*h + 26 = 3*h for s.
5
Let d = 10 + -6. Let f(c) = c**3 - 2*c**2 - 2*c - 1. Let k be f(-1). Let q = k + d. Solve -5*l = -4*a + 6, q*a - 9 + 1 = 0 for l.
2
Let h(p) = -p**2 - 17*p - 30. Let n be h(-15). Suppose n = g - b - 7, -g = -5*g - 4*b - 12. Solve 10 = -v - v + y, g*v - 4*y + 22 = 0 for v.
-3
Suppose -5*p = -5*s + 30, 5*p + 20 = 3*s - 6. Suppose s = 2*w - 6. Solve 13 = -5*h - z, 0 = 3*h - 5*z + w + 15 for h.
-3
Let h(b) = -b**2 + 21*b - 26. Let g be h(9). Let t = -77 + g. Solve 0 = -2*i + 5*s - 19, t*i = -2*s - 6 + 31 for i.
3
Let u = 35 - 25. Suppose u*n = 5*n + 15. Solve -5*r - n*p - 3 = 1, 2*p = r + 6 for r.
-2
Let f be (-2 + (-8)/(-6))*-6. Suppose -5*x + 25 = -0*x. Suppose -5*k + 1 + 24 = 0. Solve -k*w - f*s + 4 = -9*w, -25 = 5*w + x*s for w.
-3
Let a be (1/(-4))/(10/(-120)). Suppose 2*z - l = 2*l + 66, -73 = -3*z - 2*l. Solve a*h - 3*u + z = -2*h, 5*h + 11 = -u for h.
-3
Let f(g) = g + 10. Let q be (1 + 3 - 0)/2. Let s be q/(-9) - (-116)/36. Let z be f(s). Solve 0 = 5*j + 3*k - 25, 2*j - 5*k = -8 - z for j.
2
Suppose -4*a = -3*g + 16, 4*a - 6 = -4*g + 6. Solve 5*v - 6 = -g*r + 13, 3*r + 6 = 3*v for v.
3
Let o = -15 - -21. Suppose 2*p - o*p = 4*g + 12, 2*p - 19 = 3*g. Solve -1 - p = 3*x - r, 0 = -4*r for x.
-1
Let j(d) = d + 8 + 8 - 3*d - 4. Let s be j(4). Solve 2*a = -s*b + 10, -3*a + 6 + 3 = 0 for b.
1
Let j be (-2)/4 - 9/(-2). Let b = -2040 + 2040. Solve 2*s - 2*u + j = b, 2*s - s + 2*u = 1 for s.
-1
Suppose -35*a + 32*a = -6. Solve 5*i + 8 = -a, 3*z = -3*i + 9 for z.
5
Let j = -77 - -72. Let h(a) = 5*a - 4*a + 0*a + 10. Let f be h(j). Solve 0 = 3*l - o - 2, -l = -4*l + f*o + 22 for l.
-1
Let h(a) = 5*a**2 + 11*a - 11. Let i be h(-4). Solve 0 = -3*v - 15, -4*b + 5*v + i = -8 for b.
2
Let t(q) = -q**2 - 14*q - 11. Let w be t(-13). Suppose -3*u + l + 0 + 2 = 0, 5*u + w*l - 18 = 0. Solve 5 = -u*x - 4*i - 5, 4*x = 5*i + 32 for x.
3
Let t = -17 - -17. Suppose t = 2*v - 1 - 5. Suppose -6 - 6 = -v*d. Solve d*w + a - 18 = 0, 2*w + 0 = 3*a + 2 for w.
4
Suppose k = 13*k - 60. Suppose 4*c = -2*z + 2, k*c + 2 = -5*z + 12. Solve 11 = -w + 2*w - 2*v, -z*w = 5*v for w.
5
Suppose -2*x + 3*h - 11 = 0, -123*h + 126*h - 17 = -x. Solve 0 = x*s + p + 4, -4*p - 8 = 3*s - 3*p for s.
-4
Let i = 4 - 5. Let g = i + 1. Suppose 0*m = 5*y + 2*m - 45, 5*m - 25 = g. Solve y = -4*a - o, -3*a - 3*o = -7*o + 10 for a.
-2
Suppose -2*t - 2*t = -4*n - 4, 5*n = 2*t + 13. Suppose -t*z + 3 = -51. Let l be (-2)/(-5)*30/6. Solve l*d + 1 = -3*y - 4, 3*d = y + z for y.
-3
Suppose -4*u + 23*u - 76 = 0. Solve 0 = -5*z - 3*x + 12, z - 2*x + 3*x - u = 0 for z.
0
Suppose -5*k - 3*f + 62 = -303, 0 = 4*k + 5*f - 279. Let m = k + -66. Solve 0 = g + 3*w + 10, -m = 2*g + 3*w - 2*w for g.
-4
Let n be (39/(-1))/1*1/(-3). Suppose 0 = 6*c - n*c + 84. Solve 5*s - c = -4*d, 4*d + 16 = -0*s + 2*s for s.
4
Suppose 34*x + 8 = 36*x. Solve x*v - 18 = l, -l = -v + l + 1 for v.
5
Suppose -3*o + 4*u + 23 = 0, 5*o - 3*u - 19 = -6*u. Solve 5*p - 5*j = -5, -5*j = 2*p - o + 14 for p.
-2
Let v be 356/4806 + (-644)/(-54). Solve -4*o = v, 2*g - 28 = 4*o - 10 for g.
3
Let h = 7 + -6. Let x be (h/(-4) - (-5)/20)*1. Solve 0*s - 4*s = 3*f + 17, x = s + 3*f + 11 for s.
-2
Suppose -6*j + 3*j + 18 = 0. Let w(i) = i**2 - 4*i - 9. Let p be w(j). Let k(m) = m - 4. Let v be k(6). Solve 0 = s + p*d + 3 + 4, -2*s + v*d = 6 for s.
-4
Let r(x) be the second derivative of -3*x + 1/6*x**3 + 15/2*x**2 + 0. Let f be r(-10). Solve 0 = -5*m - 3*t - 4, 0*m - f*t = -2*m + 17 for m.
1
Suppose 2*v + 2 = 12. Suppose -v*l + 3*n = -224, 2*l - 101 = 7*n - 2*n. Let m = -28 + l. Solve p + m = -3*a - p, 4*a + p + 20 = 0 for a.
-5
Let d be 10/(-4)*(-448)/35. Let w = 34 - d. Suppose -c = w*c. Solve c = -6*g + g - r - 4, 4*g + 5*r = 1 for g.
-1
Let v be 39/7 + 10/((-910)/(-39)). Solve -k - 19 = -v*k - 2*l, -4*l + 23 = 5*k for k.
3
Let o = 101 + -94. Suppose 3*q - 4*q - 5*d + 7 = 0, -o = -4*q + d. Solve 0 = 4*f - q*f + 2*r - 4, f - 2*r = -7 for f.
-1
Suppose -40 = -p - p - 2*y, -3*p - 2*y = -58. Let i be 6/p - (-41)/3. Suppose 0 = 2*k - i + 8. Solve q = -o, k*o - q + 1 = -11 for o.
-3
Let t be -9 + (-8)/(-1) + 5. Solve 5*i - 2*l + 5 = -2, -t*i - 3*l - 1 = 0 for i.
-1
Suppose 17*a - 36 = 15. Solve -h + a = 3*r, r + r - 3 = -h for h.
3
Let z(w) = -w**2 + 10*w - 16. Let a be z(5). Suppose -3 = -3*s + x, -3*x - a = 2*s + 2*s. Solve s = j - 2*v - 3, -j - 2*v - 18 = j for j.
-5
Let q(n) be the third derivative of -n**4/12 - n**3/2 - 13*n**2. Let o be q(-3). Solve o*w = r + 2*r - 12, r = 4*w + 16 for r.
0
Suppose 9*q = 12*q - 33. Suppose 3*h - 2*h - 5 = 0. Suppose -n + 2 = -3*r + q, -h*n - 2*r + 23 = 0. Solve 0 = -3*d + 2*j + n*j + 22, -3*j = -2*d + 13 for d.
-1
Suppose 0 = 4*w + 5*q - 41, 4*q - q + 5 = 5*w. Suppose 0 = -4*d - 0 + w. Suppose 5*c = 11 - d. Solve 0 = -2*n - 3*v + c*v - 4, n + 2*v = -8 for n.
0
Let b = 78 + -70. Solve -k = -3*a + b, -5*a = 3*k - 2 + 12 for k.
-5
Let a(s) = -12*s**2 + 4 - 15*s - 2 + s**3 + 23 + 3. Let t be a(13). Solve -m = -b - 3, t*m + 0*b - 5 = b for m.
2
Let t(l) = -4*l**2 + 3*l - 3. Let m be t(3). Let n be 4/(-3)*m/20. Suppose -3*b + 6 = -3. Solve -5*r + n*r + 3*p = 0, b*p = r - 4 for r.
-2
Suppose -f - f + 8 = -4*c, -3*c + 8 = 2*f. Suppose 11*k - f = 9*k. Suppose 6*l - 7*l + k = 0. Solve 0 = -3*j - 12, 0 = -5*t + l*j + 18 for t.
2
Let y be 46/6 + (-48)/72. Let v be 0*((-28)/8)/y. Solve -40 = -5*i - v*n + 5*n, 5*i = -3*n for i.
3
Let w = -36 - -26. Let o be (-124)/w + (-6)/15. Let s = o - 3. Solve -5*y + s = -v - 5, -5 = -5*v for y.
3
Suppose 15*j - 10*j + 40 = 0. Let m be -1*(-3)/(-6)*j. Solve m*b + c = 12, -c + 0*c + 2 = -b for b.
2
Let p be (-2 - 10/(-6))/(2/(-30)). Suppose -12 = -2*j + 2*s, -j + 27 = 3*j - p*s. Solve 3*a - 3 = 4*a, -4*a - 27 = -j*v for v.
5
Suppose -36 = 5*c + 449. Let m = c - -100. Solve m*a + a - 5*h = 7, -4*a - 5*h - 23 = 0 for a.
-2
Suppose 9 = -n - 34. Let s = -41 - n. Solve -4*a = -2*p - 5*a - 3, 0 = s*p + 5*a + 23 for p.
1
Let b be (-12)/(-30) - 63/(-5). Suppose 8*o - 3 - b = 0. Solve -4*v + 4*d + 20 = 0, -2*v - o*v + 2*d = -20