= -5*v + 3*c + 9. Suppose -4*l + 9 = -v*l - 2*f, -3*l + 62 = f. Solve 3*b - l = -2*g, -2*b + 5*b - 11 = 2*g for b.
5
Let d(p) = p**3 + p**2 + p + 1. Let t(c) = c + 3. Let a be t(-3). Suppose -g - 1 = -a*g. Let i be d(g). Solve i - 12 = -3*f, -4*f + 14 = 2*l for l.
-1
Let r(t) be the first derivative of -3*t**2/2 - 7*t - 24. Let z be r(-3). Let c be (4/6)/((-4)/(-18)). Solve m = -z*a + c*m + 20, -a = m for a.
5
Let w = 105 - 90. Suppose -13*a - 28 = -20*a. Solve -2*p - 14 = 3*p - a*k, 0 = -5*p + 5*k - w for p.
-2
Let d(l) = l**3 - l**2 - l + 2. Let h be d(0). Let g = 50 - 47. Solve -3*t - g = -3*a, -3*t - h - 5 = -a for a.
-2
Suppose -14*c - 40 = -24*c. Solve 0 = -c*s - 20, -7*q - 4*s = -2*q + 15 for q.
1
Let a(d) = 2*d**3 - 22*d**2 + 37*d - 6. Let z be a(9). Solve 15 = -k - 5*o, 3*k - 8*k + 13 = z*o for k.
5
Let x = -501 + 504. Solve 0 = -x*q - 5*m + 17, 4*q + 4*m = 34 - 14 for q.
4
Suppose 0 = -0*x + 5*x + 2*b, 5*x - 25 = 3*b. Suppose 0 = -w + j + x - 1, j = 3. Suppose 3 + 5 = w*y. Solve 3*k + y*n + 2 = 0, -6*n = k - n - 21 for k.
-4
Suppose w = 3*f - 77, 21 = 5*f - 4*w - 112. Suppose -4*v - 5 = 2*t - f, -2*v + 18 = 3*t. Suppose 3*k - 9 + 3 = 0. Solve -v*g = h + h + 18, -5*h + k*g = 7 for h.
-3
Let l(c) = c**3 + 17*c**2 - 17*c + 18. Let u be ((-8)/(-10))/(12/90)*-3. Let b be l(u). Solve 0 = -3*a - 4*j - b*j + 28, -a = 2*j - 12 for a.
4
Let a(c) = 14 - 3 + 1 - 4*c + 3*c. Let o be a(10). Let y = 219 + -219. Solve 0 = -y*q - o*q - 5*p - 20, -4*q - 3*p - 12 = 0 for q.
0
Let w be (-14)/(2/24*3). Suppose 4*b + 5*j = -56, 6*b = 2*b - 3*j - 56. Let o be 4/b - 128/w. Solve -3*f + 5*i = o*f - 25, -2*i = f - 5 for f.
5
Suppose 20 = 5*x - 0. Suppose -10*j - 2*j = 40*j - 312. Solve -2*i = -a + 12, 2*i - j*i + x*a = 28 for i.
-5
Suppose 3*h - 15 - 12 = 0. Let a = 7 - h. Let l = 9 - a. Solve 0 = 4*n + 3*g + l, 12 + 3 = -3*g for n.
1
Let s(m) = m**3 - 8*m**2 + 8*m - 3. Let j be s(7). Suppose j*b - 3 - 1 = 0. Solve 2*c - 3 = -5*h - 1, -b = -c for h.
0
Let w be (8 + -1)/(3 + -4). Let n = w + 11. Solve 5*g + 2*q = 15, q = -n*g - 3*q for g.
5
Let p be 45/25*(-20)/(-12). Solve 3*v + 8 = -p*g - 2*v, 0 = -2*v - 8 for g.
4
Let w(r) = r**2 - 5*r - 8. Let l be w(-3). Let t be ((-1)/(-3))/(l/96). Let s = 8 + -6. Solve -3*i = -2*k + 2, -t - s = 2*i for k.
-2
Let t be (7 + -7)*(-1)/(-3). Suppose -4*a = -9*a - 25, 3*g + a - 1 = t. Solve -v - 2*f + 15 = g*v, -2*v + 4*f + 10 = 0 for v.
5
Let h = 1101 + -1092. Solve 3*f + 4*a + 4 = 10, 3*f - a = -h for f.
-2
Let y = 34 - 29. Suppose y*a - 10 = 0, -3 + 5 = -5*m + a. Solve m = 5*g + 2*l + 2*l - 5, -3*g + 10 = l for g.
5
Suppose -6*r + 118*r = 448. Solve 15 - 4 = -5*g - m, 2*m - 20 = r*g for g.
-3
Let r(f) = f**3 + 6*f**2 - 8*f - 11. Let d be r(-7). Let n be (2 - d) + -2 + -1. Solve -3*l = 12, -2*z + 17 = -3*z - n*l for z.
-5
Let s(b) = -b**3 - 7*b**2 - 15*b - 4. Let w be s(-2). Solve -4*q = -m + 3*m + w, 0 = -5*q + 4*m - 1 for q.
-1
Let g be 9/(-5) + 2/(-10). Let c(p) = -4*p - 3. Let z be c(g). Suppose 4*f = 4*m + 4 + 4, -2*m + 24 = z*f. Solve m*x - 9 = 3*b, b + 1 = -x - 2 for b.
-3
Let z(x) = -x**3 + 6*x**2 - 4. Let l be z(6). Let m be (-28)/(-8) + (-2)/l. Solve 0*r = -3*r - 2*g + 5, -2*r = 5*g + m for r.
3
Let j be (-3)/(-12) - 36/16. Let z be j*(-2 - (-1 + 4)). Let c = 13 - z. Solve 0 = i + c*n - 2, -3*i + 10 = 3*n + 2*n for i.
5
Let g = 22 + -22. Suppose 4*y - 220 + 72 = g. Solve -y = 5*z - 3*f - f, 0 = -z - 3*f + 4 for z.
-5
Let m(i) = -i**3 + 8*i**2 + 11. Let t be m(8). Suppose 24 = -5*r + 13*r. Solve 3*y + f + r = 2*y, 0 = 2*y + 3*f + t for y.
2
Let v be -29 + 33 + -2 + 10. Solve -3*p + 10 = -3*m + p, 4*p = 4*m + v for m.
-2
Let b = -55 + 60. Suppose 0*z - 2*v + 10 = 5*z, b = -2*z + v. Solve -3*q + 4*r + 28 = z, 0 = 3*q + r - 3 - 5 for q.
4
Let l(x) = x**3 + 7*x**2 + 10*x + 10. Let v be l(-5). Solve 5*j = -p - 0*p - 5, 5*j = -4*p + v for j.
-2
Let u(c) = -c - 3*c + c**2 + 3 + 0*c. Let t be u(4). Suppose -28 = 40*h - 148. Solve -2*s - 12 = t*f, h*s - 5*f = 12 + 8 for s.
0
Let h(s) = s**2 - 4*s - 9. Let t be h(7). Let u be (-2)/(8/t) - -6. Suppose u*i - 3 = -0*i. Solve 5*b + 2*l - 1 = 0, -3*b + 3*l = -8 - i for b.
1
Let c be (-2)/(-4 + 0) + 2/(-4). Suppose -1 = -g + 3. Solve 2*d - y + c*y = -12, -16 = -g*y for d.
-4
Let z(v) = v + 8. Let c be z(-5). Suppose 0 = -c*g + 12, 4*r + 2*g - 107 = 1. Let d = r + -20. Solve i + 13 = -3*b, -d = 3*i + b + 10 for i.
-4
Let w(d) = d - 1. Let j(z) = -5*z + 12. Let o(k) = -j(k) - 6*w(k). Let x be o(-6). Solve 2*c + 3*c = -b + 13, x = c + b - 5 for c.
2
Let h = 392 + -405. Let d be (-1)/(0 - 1/17). Let r = h + d. Solve 3*w + 4*i = 2, -r*i + 0*i + 4 = 2*w for w.
-2
Let d = 1796 + -1788. Solve c = 2*o + 5*c + 14, -d = o + 3*c for o.
-5
Let s(b) = -4*b**3 - 22*b**2 - 27*b - 7. Let c be s(-4). Suppose 0 = -3*j + 2*w + 1 + 3, 0 = -5*w + 5. Solve j*y = -5*z + 2, 5*y = -4*z - 0*z + c for y.
1
Suppose 3*a - 24 = -5*s, -2*s = -0*a - 5*a + 9. Suppose -4*l + 3 = s. Solve -5*c + 3*t + 10 = 0, -5*c + 3*t - t + 5 = l for c.
-1
Let s be 5/(-35) - ((-72)/14 - 0). Suppose 5*q - s*k = 40, -k + 0 = 3*q - 4. Solve 7*v + 4 = -q*c + 2*v, -3*c + 5*v + 16 = 0 for c.
2
Let y = -16 - -12. Let t = 8 + y. Suppose 8 = t*l, -23 = -4*d - l - 1. Solve -2*f + 3*p = -12 + 2, -3*f + d*p + 15 = 0 for f.
5
Let x(a) = a**2 + 7*a - 6. Let n be x(-9). Suppose -8*l = -n*l + 4. Solve 2*v = 3*t + 5 + l, 4*v + t + 2 = 0 for v.
0
Suppose -2*z + 3*v = -39, -5*z + 0*v + 107 = 2*v. Solve 21 + 2 = -3*r - 2*g, 5*r + z = g for r.
-5
Let u(x) = -x**3 + 7*x**2 - 11*x + 11. Let o be u(5). Suppose o*y = y + 20. Solve 0 = -y*n - i - 9, 6*n - 2*n - 1 = i for n.
-1
Let x be 5*((-7)/((-140)/128) + -4). Let m = -5 + 16. Let g = m - 7. Solve 2*f = 3*d + x, 0 = 5*d + g*f - 1 - 1 for d.
-2
Suppose 2*j - 4*x = 8, -4*j + 3*x - 5*x + 16 = 0. Solve 2*d = 4*t - j, -d + 4 = -4*t - 3*d for t.
0
Suppose -2*m + 0*l + 74 = 5*l, l = 4*m - 104. Let k = m - 25. Solve 3 = a + 3*v, -4*a + k*v + 2 = 4 for a.
0
Let t = -14 + 24. Let v(u) = -u**3 + 11*u**2 - 11*u + 13. Let i be v(t). Solve p - 4 = 4*x, 4 = p - i*x + 7*x for p.
4
Suppose 0*c = 9*c - 72. Let s(q) = -2*q - 10. Let d be s(-7). Solve d*i + r = -4*r - 2, -5*r - c = i for i.
2
Let q be 2/(16/72) - 1. Solve 5*u = u + q, 0 = a - 4*u + 5 for a.
3
Let v(c) = c**3 + 31*c**2 - 33*c - 28. Let t be v(-32). Solve 4*b = -t*a, 0 = 5*b + 3*a - 3 - 5 for b.
4
Let f be ((-6)/15*12)/((-50)/125). Solve -4*h + 2*h = -4*p + 4, -3*h - f = 0 for p.
-1
Let y be ((-1)/1)/((-21)/105). Suppose 2 - y = -d. Let h(x) = x + 2. Let l be h(10). Solve 7 = 2*z - d*z + g, -l = 2*z - g for z.
-5
Let i(b) = b**2 - 11*b + 28. Let h be i(7). Let r = -145 + 147. Solve y + 10 = -4*l, h = -r*l + 5*l - 4*y - 2 for l.
-2
Let g(t) = 4*t**3 + 3*t**2 + t + 1. Let m be g(-2). Let s = 24 + m. Let b be 4/26 + (-40)/260. Solve -s*f + 0*f + 5*r = 2, b = -2*f - 2*r + 4 for f.
1
Suppose -8*n + 15*n - 532 = 0. Let c = -72 + n. Solve -u - 1 = 0, c*d = -3*u + 2*u + 15 for d.
4
Suppose 0 - 2 = -2*n - y, 2 = 4*n + y. Suppose n = 3*u + 12, d - 4*u = -2*d + 10. Let g be 14 + -11 + d/(-2). Solve w = 3*v + 13, -5*w - 5*v + g = -1 for w.
4
Suppose -24 = -6*a + 6. Solve -a*s - 1 = -3*q + 15, -8 = 4*s for q.
2
Let s be (((-39)/9)/((-1)/18))/1. Let y = -59 + s. Solve 3*x - 3*g - 17 = -g, -y = -4*x - g for x.
5
Suppose -21*m - 122 = -82*m. Solve 0 = 5*r + 2*g + 20, 0 = -r - m*g - 12 - 0 for r.
-2
Suppose 0 = 3*a - 7*a + 24. Suppose -4*x + 11 = -37. Suppose 9*n + 15 = x*n. Solve -t + n*t - 2 = 5*d, a = 2*t for d.
2
Let a(h) = h**2 - 6*h + 7. Let o be a(6). Let m(w) = -w + 19. Let t be m(19). Solve t*f - 3 = 2*f + y, -3*f - 2*y = o for f.
1
Suppose 0 = 4*j + 5*z - 5 + 49, -4*z = 3*j + 33. Let v = j + 18. Suppose 3*l = -12 + 18. Solve -4*m + v*m + f + 10 = 0, l*f = -5*m - 16 for m.
-4
Suppose -3*v + 3 - 12 = -4*u, 5*v + 15 = 0. Let k be (4 + -4)/(-3) - u. Let n = 4 + -4. Solve 6 = -j + m, n*j + 5*j + 3*m + 6 = k for j.
-3
Suppose 26 = 2*t - 2*a, -3*t = -7*t + a + 46. Solve -2*d - 12 = 4*o, o = -0*d + 3*d + t for o.
-1
Let w(b) = -5*b + 1. Let s be w(1). Let x be (6/s)/(3/(-2)). Let q be x*(1/(-1) + 1). Solve -4*j - 2*k - 5 = j, -2*j + k + 7 = q for j.
1
Let u(j) = j**3 - 2*j**2 - 4*j + 1. Let t be u(3). Let f(y) = y**3 + 2*y**2 - 7*y - 12. Let v be f(t). Solve -3 = -m -