Let b(f) = -10*f**3 + 2*f**2 + 8*f + 7. Let c be b(s). Solve 2*v + 2*v + 2*g = -4, -3*v + c = -2*g for v.
1
Let a = 25 + -21. Suppose b + 4 = a*d - 12, -2*d = -8. Suppose -c + x = -3, c - 13 = -b*c - 4*x. Solve 5*m + 4*k + 2 = c, 0 = 5*m + 2*k - 9 for m.
3
Let j = -18 - -17. Let c be (j/(-1))/((-3)/(-48)). Let v = 479 - 455. Solve g - 5*t - v = -0*g, -c = 4*t for g.
4
Let d be 6 - 3 - (-1 - 1). Let y = 1745 + -1740. Solve 0 = 5*o + 4*v - 0 + d, y*o + 10 = -3*v for o.
-5
Let k(s) be the first derivative of -s**2/2 + 3*s + 8. Let v(h) = h**2 - h. Let y be v(1). Let n be k(y). Solve 4*q + b = -8, n*q = -5*b + 2 - 8 for q.
-2
Let j = 159 + -152. Let p be ((-4)/(-14))/(j/49). Solve -5*q + 2 - 3 = -k, p*q = 4*k + 14 for k.
-4
Let j = -48 + 235. Suppose -136 + j = 17*o. Solve -o*g + 0*g = 2*s + 11, -4*s - 4*g = 20 for s.
-4
Suppose h + h + 183 = 201. Let x = -5 + 16. Let g = x + -5. Solve p = 3*p + 2*c + g, 3*c = -p - h for p.
0
Suppose -53 = -4*i + 27. Suppose 544 = 14*a + 180. Suppose -i = 2*s - a. Solve -2*w + 4*v - 7 = -3, -s*v = 0 for w.
-2
Suppose -26*b - 279 = -409. Solve 0 = 2*f + 3*y + 16, -b*f + 0*y = -4*y + 17 for f.
-5
Suppose -108 = 129*b - 147*b. Solve -x - z = -b, 23 = -2*x - 2*z + 7*z for x.
1
Let u(b) = 2*b - 34. Let x be u(18). Suppose x*r + 59 = m, -5*m + r + 302 = -2*r. Let h = -59 + m. Solve -5*p + 4*p = 5*z - 28, h*p - 1 = z for p.
3
Suppose -2340 = -104*t - 676. Solve -r + t*w - 13*w = 7, 5*w - 13 = 3*r for r.
-1
Suppose -3*h - k + 32 = 0, 31 = -3*h + 3*k + 43. Solve -3*q + 3*r = 18, 0 = -q - h*r - 7 + 31 for q.
-3
Suppose 3*q - 7 - 5 = 3*i, -4*q = -i - 16. Suppose 31*o - 29*o = i. Solve 3*t - 11 = 5*n, 2*t + o = -2*n + 2 for n.
-1
Let k be (2 + 4)/(6/4). Suppose 6*x = -x - 2*x. Solve -w + p = 0, -k*w - 2*p = -x*p for w.
0
Let h = 441 - 436. Suppose -12*x = -h*x. Solve 2*c + 0*b - 4*b + 20 = x, 4*c - 4*b = -28 for c.
-4
Let d = 83 - 29. Let z be 5*1 + d/(-18). Solve 3*s - 4*j + 2 = -4, -j + 7 = z*s for s.
2
Let j(m) = 2*m**2 + 28*m - 237. Let y be j(-20). Solve 0 = -4*r + 4*a, 3*a = y*r + a - 2 for r.
2
Suppose 28*w = -15 + 73 + 82. Solve 5*k = -w*n + 24 - 39, 2*k + 9 = n for k.
-4
Let m be (-686)/(-5) + 1/(-5) + -4. Let j be (-4)/(-14) - (-627)/m. Solve -3*b + 18 = -5*x, -2*b + j*x + 11 = 2*x for b.
1
Suppose 99*s + 112*s = 0. Solve -3*v + 5*j - 8 = 6, -3*v - 3*j + 18 = s for v.
2
Suppose 0 = 267*z - 262*z - r - 23, -4*r = 5*z - 58. Solve -5*w + 2*o + z = 0, 3*w = -202*o + 200*o + 10 for w.
2
Let s be (1/6)/((-1234)/(-1020) - (-72)/(-60)). Solve -n + 19 = s, 2*i + 4*n = 2 for i.
-3
Suppose -4*g + 1027 = 5*t, t + 203 = 2*t + 2*g. Let b = t + -205. Solve -5*p = -r + 10, -5*p + b*p - 28 = -5*r for p.
-1
Let t = -12768 - -12781. Solve -3 = 5*a - 4*p + 3, t = -4*a - 5*p for a.
-2
Suppose 276*y + 3 + 72 = 301*y. Solve -3*p - 4 + 4 = y*w, 0 = -p for w.
0
Let l be (-2 + 1/(-1))*76/(-57). Suppose 9 = l*b + 1. Let u(t) = 8*t - 4. Let m be u(b). Solve -5*s - 4*x + m = 0, 5*x - 13 - 2 = -4*s for s.
0
Suppose -u - v + 412 = 0, u - 372 = -3*v + 40. Let r = u + -408. Solve -r*f = f - 2*w + 24, -3*w + 10 = -f for f.
-4
Let t be 5 - (2*-1 - -1). Let f = -14 + 14. Suppose -2*y + c + 13 = f, -3*y + 2*c = -3*c - 37. Solve 3*k + 5 = 2*o - t, 5*k + y*o - 11 = 0 for k.
-1
Suppose n = -3*a + 8*a + 33, -4*a - 21 = n. Solve 0 = -2*w + d + 7 - n, 5*d + 20 = -4*w for w.
0
Let i(h) = -h**2 + 121*h - 686. Let x be i(6). Solve 3*y - x*v + 5 = 0, 3*y + 11 = 9*v - 11*v for y.
-3
Suppose -4*y - 16 = 0, 5*i - y + 3 - 22 = 0. Solve -i*o + 3*c = c - 20, 12 = o - 2*c for o.
4
Let f = 72 + -100. Let p be 13/7 - 4/f. Suppose p*q = -2*q. Solve -5*h - 2 = -q*h - 3*u, -2*h = -3*u - 1 for h.
-1
Suppose -911*q = -903*q - 64. Let o be -1*(-4 - (-3)/(-3)). Solve 0 = 5*u + o*n + 14 + 21, u - 4*n = q for u.
-4
Suppose -5*k = -b + 48, -b = 4*b + 4*k - 153. Suppose 0 = -2*m - 5*l + b, -l + 2 = 3. Solve 5*j + m = -y + 3*y, 0 = 5*y - 3*j for y.
-3
Suppose 0*j - 3 = -3*j. Let y be (2/j)/(4/(-26)). Let r(c) = -2*c**3 - 26*c**2. Let n be r(y). Solve -2*a + 3*b - 17 = n, 3*a + 0*a + 3 = -3*b for a.
-4
Let b = -66 + 124. Suppose b - 30 = 7*j. Solve j*v + n + 20 = 6*n, 4*n = 16 for v.
0
Suppose -c = -131*c - 155 + 1325. Solve -10*b = 3*z - c*b + 19, -3*z - 2*b - 23 = 0 for z.
-5
Suppose -v + 2*h = -18, 2*h = -h - 15. Suppose 4*f = 2*p - 94 + 18, -3*p + 110 = -5*f. Suppose -p*n = -47 - 13. Solve -4*s = -4*l - v, -5*l + 3*l = n for s.
1
Suppose g = -2*r + 8, -15*g = -3*r - 11*g + 23. Solve -2*d + 9 = r, -d - 2 = b for b.
-4
Let y(z) = -z**3 - 16*z**2 + 10*z - 110. Let l be y(-17). Let u = 6 - 9. Let s be (u/2)/(24/(-112)). Solve -5*g + l + s = -d, -5*d = 4*g - 7 for g.
3
Suppose 0 = -3*k + 4*o - 1, -2*o + 7*o = 4*k. Suppose 0 = -i + 12 - k. Solve -4*g = -x + i, 0 = 2*x + 2*x + 4*g + 12 for x.
-1
Suppose 0 = -48*i - 99*i + 1911. Solve 2*s - 7*s - 15 = 0, -5*s = -x + i for x.
-2
Suppose -6*x - 880 = -50*x. Solve 0 = 5*w - y + 5*y + x, 3*w + 3*y + 15 = 0 for w.
0
Let m = 122 - 115. Solve -2 = -3*s - 5, 4*r - s + m = 0 for r.
-2
Suppose -3*t + 6*p - 8*p - 1077 = 0, 5*p = -5*t - 1790. Let l = 365 + t. Solve 3*g + 6 = -3*v, 23 = -l*v + 3*g + 1 for v.
-4
Let l(m) = 3*m**2 - 3*m + 17. Let t be l(-7). Let v = t - 128. Let o be (v/(-12) - -4)*-4. Solve -g = -2*p - 2*g - 3, -15 = o*g for p.
1
Suppose -2*q - 8 = t, -5*q - 99 = -5*t - 64. Solve 5*u = -5, 22 = -t*j - u + 11 for j.
-5
Let l be (-1)/(-9) - (25 + 1452/(-54)). Solve 4*n - 6*n = l*g - 2, -3*n + 4*g + 24 = 0 for n.
4
Suppose -161*d = -325 - 158. Solve d*y = 30*j - 25*j - 6, -5*j + 2*y = -9 for j.
3
Let z be 480/8 + -4 + 2. Suppose 0*o - 165 = 3*o. Let f = o + z. Solve -i - 2*i + 25 = -4*p, 7 = -f*i - 4*p for i.
3
Suppose 5*s = 7 + 8. Suppose 61 = 120*y - 419. Solve 2*d = -x + 4, -s*x + 0 = 2*d + y for d.
4
Suppose 5*s - 2956 = 2*b, 5*s - 6*b + b = 2965. Suppose -s*m = -587*m - 15. Solve 5*f - 5*v = -25, -5*f - m*v + 3 = -22 for f.
0
Suppose -2*k + 9 = k. Let m(n) = -n**2 - 33*n + 190. Let u be m(-38). Solve u = -5*g + 5, g + 2 = 5*h + k for h.
0
Let w(g) = -g**2 - 2*g + 60. Let f be w(8). Let m be (-3)/2 - 30/f. Solve -5*y - 5 = -z - m*z, -4*y - 2*z - 18 = 0 for y.
-2
Let s(l) = 3*l - 44. Let i be s(19). Suppose 2*f + 3*k - i - 125 = 0, -66 = -f - 3*k. Let y = f + -70. Solve -r - 6*m = -m + 16, -r + m + y = 0 for r.
-1
Suppose -8*v = -1502 + 1494. Solve -4*h - 3 - v = 0, 0 = -4*l - 4*h - 16 for l.
-3
Let b = -46 - -96. Suppose -b*w = -54*w. Solve j + w*j = 3*z + 10, 0 = z + 2*j + 8 for z.
-4
Suppose 20 = 2*a + 2*a. Let r(x) be the second derivative of -x**4/6 - x**3/6 + 6*x**2 - 2*x + 100. Let y be r(0). Solve 3*h + 2*m + a = 0, -4*m - y = 4 for h.
1
Suppose -5*z + 16 = 4*y, -5*z + 9 + 15 = -4*y. Let v = 10 + -4. Suppose 3*a = a + v. Solve -6*i + a*k - 1 = -2*i, z*k + 5 = -i for i.
-1
Suppose 0*u = 5*u + 4*d + 62, 5*u + 47 = d. Let z be u*(-5)/(-4)*(-3 - -1). Suppose z*q = 29*q - 20. Solve 0*a - 5*a = i - 24, q*a - 40 = -5*i for i.
4
Suppose 4*k - 44 = -2*x, -8*k + 5*k + 33 = 4*x. Suppose 20 = 5*z, -k*o = -10*o + 3*z - 18. Solve -i + 23 = -5*m, o*i + 3*m = 2*i for i.
3
Let h be ((-26)/(-10))/(8 - 39/5). Suppose 4 = -11*w + h*w. Solve 0 = j - 3, w*j = -3*g + 13 + 8 for g.
5
Let y(d) = d**2 - 10*d + 20. Let b be y(10). Let u(p) = p**3 + 3*p**2 - 6*p - 3. Let i be u(-4). Suppose i + 1 = 3*a. Solve 13 = 5*w + 33, 4*n = -a*w - b for n.
-3
Suppose -4*d = 5*l - 135, 0 = 4*l - 8*l + 3*d + 139. Suppose 0 = l*g - 78 + 16. Solve 4 = h, -g*p + 2*h + 18 = 6*h for p.
1
Let w(t) be the first derivative of -6*t - 1/2*t**2 + 6. Let f be w(-6). Solve 2*l - 2*g = -2, 5*l + f*g + 3 = 3*g for l.
0
Let d = -3714 - -3726. Solve 0 = 5*a - 2*t + d, -5*t + 5 - 33 = 2*a for a.
-4
Let k be -35*(-3)/((-60)/(-16)). Suppose 5*i = b + k, 4*b - 1 = -3*i + 2. Solve g = -i*x - 1 - 20, -2*x + 2 = 3*g for x.
-5
Suppose 50*g - 3788 = -3688. Solve 2*k = -f + 3, -57*f - 4*k + g = -59*f for f.
1
Let w be 26/(-14 - (-192)/12). Solve -53 + 65 = -3*o, 3*o = 5*u + w for u.
-5
Suppose 684 = 3*l + 4*x - 406, 0 = -5*l + 3*x + 1807. Let v = -356 + l. Solve 26 = -4*b + 3*h, 4*h - 33 = -b + v*b for b.
-5
Suppose 215*g - 226*g = -44. Solve -5*n = -5*f + 10, g*f - 5*n = -0*f + 9 for f.
1
Let a = -263 + 292. Suppose 8*u - a - 139 = 0. Solve -5*t - 4*b = -6*t - u, -3*t - 7 = 2*b for t.
-5