y - 3*b + 0*b = 10 for y.
-2
Suppose -177 = -5*f + 4*n + 179, n = -4. Suppose -64*a + f*a = 64. Solve 2*y + 0*y = -4*h + a, -y - 7 = -h for y.
-2
Let p(l) = l**3 + 6. Let r be p(0). Suppose 35*c - r*c - 116 = 0. Solve 0 = 5*x - 5*n + 10, -c*x - n - n = -16 for x.
2
Let l be 5 - (6/(-21) - 37/(-7)). Let v be (l + 0)/((-1)/(-1)*1). Solve -4*d - 3*z + 16 = v, z - 6*z + 20 = 0 for d.
1
Let y be -12*2/(-56) - (8/(-14) + -3). Solve -4*z - 5 = a - 5*z, 5*a - 11 = -y*z for a.
-1
Suppose -153*s + 184*s - 186 = 0. Solve 2*v - 7*d + 5*d = 0, v = -5*d - s for v.
-1
Suppose 3*o + 15 = -t + 26, -3*o + 4*t = -31. Solve -5*m - 23 = 4*j, -o*m - 19 = 6*j - 4*j for m.
-3
Let o = -503 + 507. Let m be (-3)/2*20/(-3). Suppose h - m = -o*h. Solve -5*s + h*k - 15 = 0, -5*s + 0*k - 3*k - 40 = 0 for s.
-5
Suppose 0 = -26*g + 62 + 68. Solve -2*b - 10 = 5*c, -2*b + c + g = -3*b for b.
-5
Suppose 15*o - 38 = 22. Solve 4*q - 2*w = 12, -o*q + 0*q = -w - 14 for q.
4
Suppose -8*b + 3*b = -4*u - 265, -3*u = 5*b - 300. Let a be b/30 + 5*3/150. Solve 2*n + 15 = 6*n - 5*g, 5*g - 15 = -a*n for n.
5
Let p = -130 - -89. Let u = 44 + p. Suppose 0 = u*t, 4*t + 33 = 3*a - 0*t. Solve -2*f - 14 = -5*k + 2*f, -5*k + a = -f for k.
2
Suppose 573*v - 252 = 489*v. Solve -s + 15 = 4*x, 9*s + v*x - 15 = 7*s for s.
3
Suppose 0 = -2*s - 0*g + 5*g + 67, -43 = 2*s + 5*g. Suppose -3*d = -q, -5 = -2*q + q - 2*d. Solve -4*a = q*m - s*m + 5, -3*a = 3*m + 9 for m.
-1
Let d(z) = -2*z**3 - 44*z**2 - 18*z - 28. Let o be d(-22). Suppose -14*g - 88 = -o. Solve -2*f - 3*n - 1 = 0, -6*f = -4*f - 4*n - g for f.
4
Let q be 15/(-20) + 38/8. Suppose -q*l = -l. Let v(r) = r**2 - 10*r - 9. Let i be v(11). Solve l*m = i*m - 4*o + 30, 4*m + o = -15 for m.
-5
Suppose -5*z = -3*i + 42, z - 2 = 3*i - 20. Solve i*j = 3*p - 10, 2*j = 4*j - 4*p for j.
-4
Let t(b) = -b**2 + 1034*b. Let g be t(0). Solve -5*x - 28*o = -31*o - 6, g = -o - 2 for x.
0
Suppose 2*b + 12 = 8*b. Suppose b*r - 5*h = 43, -32 = 3*r - 4*h - 114. Let x = 36 - r. Solve 4*c = -3*m + 2*m + 1, -2 = -x*c - 2*m for c.
0
Suppose 5*y = l + 53, 73*l - 75*l = -3*y + 36. Solve -3*a - 5 = 2*c - y, 4*c = 5*a - 1 for a.
1
Let j = -2438 - -2442. Solve 2*l = 4*v + 6 + 2, j = 4*v + 4*l for v.
-1
Suppose 7*v = 2*v + 25. Suppose 3*m - v = 4. Suppose -5*s = -2*k - s - 8, -s = m*k - 9. Solve k = 3*c - x, 5*c - 3*x = 3*c + 6 for c.
0
Let d = 8 - 5. Let f = -132265 + 132268. Solve -d*p - i - 2 = 0, 0*p - f*i + 8 = -5*p for p.
-1
Let g be (-15)/(-3)*(-352)/(-110). Solve -5*f + g = 5*u + 1, 3*f = 4*u + 9 for u.
0
Let t(u) = -6*u - 16. Let m be t(-6). Suppose -c + m = -51. Suppose c - 350 = -9*f. Solve 5*p + 2*j = 0, f = -p + 5*j + 4 for p.
-2
Suppose 5*u = 3*u + 2*w + 12, -4*u = 2*w - 18. Solve -u*g - 4*h - 31 = 0, -6 = 2*h + 2 for g.
-3
Let t(b) = b**2 + 9*b - 2. Suppose -2*j + 50 = -7*j. Let x be t(j). Suppose -3*h + x = -37. Solve -5*p - 3*k + 7*k = -45, 2*p = k + h for p.
5
Let h be (-3 - -11) + (7 - -11). Suppose -165 = -h*y - 35. Solve 0 = -2*f + y*r + 27, -8 = 5*f + 5*r + 12 for f.
1
Let n(y) = 3*y - 8. Let a be n(7). Suppose 11*k = 6*k - 15. Let w be 15/(-45) + (-13)/k. Solve -w*f - a = -p, 0*p = 5*p + 3*f + 27 for p.
-3
Let s(m) be the first derivative of -m**3/3 + 3*m**2/2 + 44*m + 34. Let k be s(8). Solve 0*l + l + 1 = -t, -k*t = -l + 14 for l.
2
Let l = -5 - -8. Suppose -20*b + 892 = -5*b + 727. Solve 3*n - 9 = 0, b = u - l*u + 5*n for u.
2
Let g be -1 + 9*(55/(-15) - -4). Solve 4*j - 22 = m, 0*m + 4*j - 16 = -g*m for m.
-2
Suppose 0 = r - 3*p, -88 = 2*r - p - 93. Solve 35*h - 34*h - 5 = 4*x, -r*x = 3*h - 15 for h.
5
Suppose -4*w + 24 = -n, 5*n = w - 16 + 10. Solve n = -4*s + 4*b + 32, s - b - 23 = 3*b for s.
3
Suppose -3*a - 3*q = 2*a + 1, -4*a - 11 = -q. Let z be ((-8)/(-32))/(a/8). Let d be ((-18)/(-4))/z*(-26)/39. Solve 0 = o + 2*h - 3, 4*o + d*h = -0*h + 7 for o.
1
Let k = 22359 + -22356. Solve -20 = -3*c + 4*f, 2*c = k*f + 13 + 1 for c.
4
Let s(y) = y**2 - 3. Let f(x) = 4*x**2 + x - 14. Let v(g) = -2*f(g) + 11*s(g). Let z be v(3). Let u = -14 + z. Solve 8*l - 4*l = -3*j - 21, 9 = -u*j - l for j.
-3
Suppose -4*r - 187 = -151, 8*r = -5*v - 72. Solve v = -5*n - 5*p - 15, 5*p + 46 = 2*n + 59 for n.
-4
Let r be (0 - 1)*(-1 + 2). Suppose -2*l = -j + 6, 2*j = 3*l + 32 - 24. Let m be 3 - (j/r + -3). Solve 0 = 3*h - 3*p - 3, 0*p + m*p - 20 = -2*h for h.
4
Suppose -2*n - 3*l + 281 = 296, 10 = -2*n - 2*l. Solve n = 5*f + 3*a + 7, -2*f - 1 = -4*a + 7*a for f.
-2
Suppose 0 = 2*z - 3*s + 2, 30*s + 22 = 2*z + 33*s. Let x(q) = -q**3 + 3*q**2 - 1. Let w be x(2). Solve z*j + 22 = -4*b, 4*b = -4*j + w*j - 14 for j.
-2
Let j = -202 + 209. Let z(u) = -u**3 + 5*u**2 + 14*u + 4. Let y be z(j). Solve -i = y*l - 1, l - 4 - 20 = -5*i for i.
5
Let l(q) = -4*q - 28. Let v be l(-8). Let r be 14/35*(1/1 + v). Let j be 570/40 + (-1 - r)/12. Solve -j = p + 4*w, 4*p - 2*w = 1 - 3 for p.
-2
Suppose -1589 = 2*j + 3*z, 2*j - 27 = -5*z - 1606. Let t = j - -809. Solve t = 2*r + 2*y - 3, -3*r = -5*y - 7 for r.
4
Let c be 5/(715/26 - 25). Solve -c*f = 2*y - 4*f + 8, -21 = 5*y - 4*f for y.
-5
Let t be (-94)/(-3) + 5 + (-39)/9. Suppose t = 3*v - 28. Let g be ((-10)/4)/((-10)/v). Solve 4*n = -3*c - 13, c + 0*n = -g*n - 19 for c.
1
Let b be (3/21*2)/(7/49). Let o be -1*(b - 10/(-5)) + 19. Solve -j - y = y + 1, -3*j = -3*y - o for j.
3
Suppose -3*v + 4 = 4*c + 31, 3*v + 27 = -2*c. Let z = 105 + v. Let p = z - 93. Solve 20 = -0*s - 4*s, 0 = -2*b + p*s + 25 for b.
5
Let q(k) = 123*k + 740. Let j be q(-6). Solve -2*o - 4*y = -6*y - 2, -y = -4*o - j for o.
-1
Suppose -8 = -5*b + 342*w - 341*w, -14 = -4*b - 3*w. Solve -12*h - 4*x = -7*h - 40, -b*h = -4*x + 12 for h.
4
Let i = -1597 + 1599. Solve 0 = -5*p + 3*y - 11, -2*p = -0*y + 2*y - i for p.
-1
Let g be (20/(-70) + 246/(-21))*(-24)/72. Solve 5*y = g*z - 45, -8*y = 4*z - 3*y + 5 for z.
5
Suppose 77*t + 63 = 41*t + 45*t. Solve -4 = -4*i + 4, i = -n + t for n.
5
Let g(j) = j**3 + j**2 + 3*j - 3. Let v be g(2). Let n = 964 - 969. Let o be (0 - n) + (-10)/(20/6). Solve 0 = -4*u + 5*l - 5, -v = -4*u + o*l - l for u.
5
Let y(p) = -13 + 40 + 13 - 2*p. Let s be y(10). Let k = s + -20. Solve 2*c + k*b = -b - 1, 0 = 2*c - 2*b + 10 for c.
-2
Suppose 111*h - 21 - 534 = 0. Solve p = -3*l + 7, 8*p - h*p = -4*l + 6 for p.
-2
Let t = 26 - 21. Let v(p) = p**3 - 7*p**2 + 12*p - 5. Let i be v(t). Solve -4*r + 4*h = 1 - 5, 4*h = r + i for r.
3
Suppose 4*u = 16, 3*i + 5*u + 18 - 44 = 0. Suppose 0 = -o + 3, i*o - 19 = -10*j + 9*j. Solve -3*f = 3*g + 21, 5*g + 10 = -f - j for g.
-4
Let n(c) = -c**3 + 5*c**2 - 6*c + 2. Let o be n(3). Solve 2*s - 4 = 0, 0 = -k - o*s + 12 - 8 for k.
0
Suppose 0 = -396*t + 172*t + 448. Suppose -o + 4 = s, 4*s - 4*o = -9*o + 17. Solve s*x - 3 = -t*i - 5, -x = 3*i - 4 for x.
-2
Let q(w) = 4*w**2 - 11*w + 8. Let s be q(2). Suppose 0 = s*i - 374 + 366. Solve 0 = -i*a + 5*l + 35, -21 = -2*a + 2*l - 5 for a.
5
Let q(f) = 1781 + 0*f - 9*f + 2*f - 1944. Let j be q(-27). Solve 2*r = -5*a - j, 2*a - 7 + 3 = 4*r for r.
-3
Suppose 5*n - 3*i + 4 = 59, -n - 3*i = -11. Suppose 388 = -4*h - 3*t, -3*t = -5*h - 5*t - 485. Let d = 99 + h. Solve -2*b - n = 2*j - 3, -d*b + 27 = -5*j for b.
1
Suppose 291 + 129 = 70*d. Let y = -5 - -5. Suppose y*i = 2*i. Solve -a = -4*f - i*f + 7, 2*a + d = 0 for f.
1
Suppose -26*w - 141 = -245. Suppose 0*a - a = -w*n + 4, 2*n - 4 = 0. Solve t = -l - 1, -5*l + 0 = -a*t + 5 for t.
0
Suppose 68*o - 660 = 768. Solve -4*g = -3*h + 32, 0*g - g + 4*h - o = 0 for g.
-5
Suppose 18*y - 468 = -21*y. Suppose -20*c = -y*c - 16. Solve -5*o = -2*r + 10, -c*o - 5 = -8*r + 7*r for o.
0
Let l(h) be the second derivative of -h**5/20 - h**4/6 + 4*h**3/3 + 4*h**2 - 19*h. Let u be l(-3). Let c = u + 11. Solve 1 = w, -4*j - w - c = -5*w for j.
0
Let j(a) = a**3 - 14*a**2 + 16*a - 55. Let p be j(13). Let q be 2 + ((-2)/4)/(p/448). Solve 2*h + h = 2*y, -2*h = 4*y - q for y.
3
Suppose -3*h - 44*h = -104*h + 684. Solve q = 4*d + h - 29, -5*d = -2*q - 25 for q.
-5
Let s be (3 - 12/4)/(-1 - 0). Suppose s*d = -5*d + 10. Solve 4*g + 5 = -d*t - 5, t + 5*g + 11 = 0 for t.
-1
Let r be (-4 - -5 - -6) + -3. Let p(c) = -c**2 + 20. Let x(l) = -l - 9. Let w be x(-5). Let s be p(w). Solve 2*k - 3 = d, -s*k + 5*k = -r*d + 15 for d.
3
Let t = 28 + -1. Let k = 5 - t. Let m = k 