2*v + 17 = -5*s for s.
-3
Let z(b) = b**2 + 9*b - 17. Let n be z(-11). Solve 4*d - 3 = -n*c, -2*c + 5*d - 7 - 5 = 0 for c.
-1
Let o(h) = -h**3 - 8*h**2 - 4*h - 11. Let l be o(-7). Let r = 36 + l. Solve -5*v + 36 = r*u, -5*u + 1 = -4*v - 3 for v.
4
Suppose -5*o + 4*h = -15, -2 - 1 = -o + 2*h. Suppose 0*j + 5*j - 5 = 0. Suppose -o*l + 7 - j = 0. Solve -l*b - 4*u = 3*b - 25, -14 = -4*b - 2*u for b.
1
Let n be 128/(-48)*(-3)/2. Let f = n - 2. Let k = f - -1. Solve -3*q - 3 = 0, -3*q - 3 = c - k*c for c.
0
Let d(q) = -32*q - 160. Let m be d(-5). Solve -5*v = -2*r - 2*v - 4, m = 2*v for r.
-2
Let o = -353 + 365. Solve -2*w = -5*t - 23, -3*w + 6*t - 3*t = -o for w.
-1
Let l(q) be the first derivative of -q**2/2 + 3*q + 9. Let o be l(-2). Solve 3*f + 13 - 2 = o*p, 0 = -2*p + 5*f + 12 for p.
1
Suppose 4*o + m = 55, -o + 12 = m + m. Suppose 0 = -2*w - 4 + o. Solve -2*h + 0*h - 18 = 4*p, 2*h = -w*p - 22 for p.
-4
Suppose 80 = 3*t + 5*t. Let i = 9 + -4. Solve 0 = -5*f + f + s + 12, 0 = -5*f - i*s - t for f.
2
Let b(o) = -o + 8. Let u be b(4). Suppose 8*d - u*d = 12. Solve -5*q - 3*z = d - 15, 5*q - 4*z - 19 = 0 for q.
3
Let j(s) = s + 6. Let a(k) = 7*k + 49. Let t(i) = -6*a(i) + 49*j(i). Let v be t(1). Let m be (0/2)/(0 + -1). Solve m = y + o - 1, -y = -6*o + 3*o + v for y.
-1
Let q(g) = -3*g + 12. Let o be q(3). Solve 18 = -5*n - w, -o*n + 2*w = 4*w + 15 for n.
-3
Let t be 3/((-6)/(-4) + -1) + -2. Solve 5*f - v = 19, -t*f - 5*v + 0*v = -21 for f.
4
Let h be (-4)/(-2) - (-5 + (-1 - -3)). Let m be -2 + 4 + 0 + 1. Solve -m*k + 5*n = -4*k - 15, h*n = -15 for k.
0
Suppose 0 = 22*n - 25*n - 459. Let l = -150 - n. Solve -d + 5*s - l*s = -9, 5*d - 2*s - 5 = 0 for d.
-1
Let x(v) = v**3 + 53*v**2 + 103*v + 81. Let b be x(-51). Solve 5*t + m - b = -7, 2*m = 4*t - 24 for t.
5
Let r(m) = -21*m - 227. Let h be r(-11). Solve 20 = h*i + 5*v - v, -4*v = -16 for i.
1
Let d be (1*-1)/((-2)/6). Let c be (-4)/(-4) + 0 - -3. Suppose -5*g + c = -3*g + l, 28 = 4*g - d*l. Solve -g*p + 20 = 5*a, -2*a - 3*a - p + 5 = 0 for a.
0
Let o be 78/(-24) - 12/16. Let c be (-7 - o)/(0 + -1). Let p be 4 + -1 - (5 - 5). Solve -3*s + c*v = -3, 17 + 4 = 5*s + p*v for s.
3
Let b(u) be the second derivative of -2*u**2 - u - 1/20*u**5 + 1/2*u**3 - 1/4*u**4 + 0. Let m be b(-4). Solve -2*n = 3*c - 12, -c + m*c + 4 = -2*n for n.
0
Let r = -9 - -14. Suppose 3*a + 27 = 7*a + j, -r*a + 30 = 5*j. Suppose 2 + a = 3*g + h, 3*h = 4*g - 25. Solve -15 = -5*u + 5*f - 0*f, 11 = 5*u - g*f for u.
-1
Suppose 4*j = -1 + 21. Suppose -c = -j*g + 10, 4*g + 5 = 4*c - 3. Suppose -17 + c = -3*k. Solve -5*m + 2*z - 13 = 3*z, k = 2*z for m.
-3
Let r be (16/(-6))/(2/(-72)). Suppose r = -15*f + 16*f. Let w be 2/10 - f/(-20). Solve -2*o = 3*m + 3, -m - w*o = -2*m + 16 for m.
1
Let o(d) = 5*d**2 + 4*d - 5. Let g be o(1). Solve -g*x - 5*t = x - 15, -5*x + 5 = -5*t for x.
2
Suppose 0 = -11*w - 224 + 246. Solve -3*c + 3*z = -6, -4*c + 2*c - w*z = 4 for c.
0
Let g(x) = -x**2 - 5*x - 2. Let w be g(-4). Suppose -3*f + f = 4*t - 10, -t = -f + w. Suppose f*j - 18 + 9 = 0. Solve -2*q = j*i + 4, -q + 5*i - 4 = 11 for q.
-5
Let j be (5 + -1)/(-8)*-40. Let v = -10 - -34. Let z = v - j. Solve t + 4*t + z*c = 15, 0 = -5*t - 2*c + 15 for t.
3
Suppose 2*h + 113 = 37. Let v = h - -41. Solve 2*i + 10 = 0, -g - v*i - 12 = 6 for g.
-3
Let j = 1378 - 1375. Solve -r - 9 = -n, -2*r - j*n = -3*r - 17 for r.
-5
Let y(i) = i**3 + i**2 - 4*i + 6. Let h be y(-3). Solve -2*q + q = 2*k + 1, h = -4*q + 2*k + 6 for q.
1
Let r = -186 + 189. Solve -m + 20 = 4*n + m, -4*n + 24 = r*m for n.
3
Let w(b) = b**2 + 12*b - 214. Let a be w(-22). Solve 2*y = 5*q + a, -5*q - 12 = -9*y + 5*y for q.
0
Suppose -5*b = 4*w - 20, 0 = b + 3*w - 2*w - 4. Let l = -6 - -9. Solve -b*q - 2 = a + l, -3*a - 15 = 3*q for a.
-5
Suppose -240*m - 9 = -243*m. Solve m*t - h = 8 + 2, -5*h = -3*t + 2 for t.
4
Suppose 3*j - 24 = -4*o, -2*j - 3*o - 21 = -3*j. Solve r - 30 = -5*m, -2*r + j = m - 3 for r.
5
Let r = -160 + 160. Solve -1 + 15 = 2*g + 2*p, -g + 5*p - 5 = r for g.
5
Let j = 54 - 62. Let b be 4 + (j - -5) + 1. Solve 20 = 4*h - 4*t, -b*h - 12 = 2*h + 4*t for h.
1
Let n(y) be the first derivative of -2*y**3/3 + y**2 + 3. Let i be n(-2). Let d = i - -16. Solve -2*j - 3*l - 3 = -0, 3*j + 5*l = -d for j.
-3
Suppose 0*m + m = 5*c - 35, 2*c - 5*m + 9 = 0. Let w(u) = 6*u - 47. Let f be w(c). Solve 2*d + 3*d - f = 3*y, 0 = 5*d - 4*y - 3 for d.
-1
Suppose 8*t = 37*t. Let n be ((-6)/9)/((-2)/3). Solve 2*i + t + n = 3*y, i + 4*y - 16 = 0 for i.
4
Suppose 33 = -3*a - 15. Let g(k) = k**3 + 16*k**2 + k + 18. Let u be g(a). Solve 2*l = 3*h - 3, 3*l + 0 = -2*h + u for h.
1
Let n = -188 + 197. Solve 0 = -k + 5*p - 0*p + 21, k = 2*p + n for k.
1
Suppose v = k - 8, 3*v + 18 + 0 = 2*k. Let o be k/10*(-55)/(-11). Suppose -d - o*d = 0. Solve 0 = 5*h - 3*b - 14, d = -5*h + h + 3*b + 10 for h.
4
Let w(r) = 2*r**2 + 4*r - 2. Let q(j) = 5*j**2 + 9*j - 3. Let d(m) = 4*q(m) - 9*w(m). Let x be d(3). Solve 0 = -4*o - 3*y + 6 - x, o - 4*y = 5 for o.
-3
Suppose -62 = 3*k - 2*p, -p + 2*p + 46 = -2*k. Let t = k - -32. Solve 0 = 3*c - 2*i + 4 - 2, -3*c - t = 2*i for c.
-2
Let v(u) = 39*u - 659. Let a be v(17). Solve -a*m + 7*z = 6*z - 22, -5*m + z = -27 for m.
5
Suppose n + 2*n - 12 = -2*g, -4*g + 4 = n. Suppose -5*u - 10 = -5*q, 6*q - 3*q + n = -2*u. Let r = 2 + q. Solve -5*b = 2*v + 10 + r, -20 = 5*b for v.
4
Let v(q) = q**3 - 5*q**2 - 8*q + 4. Let h be v(6). Let p be h/(-36) - 68/(-18). Solve l + 24 = 5*d, 4*l = p*d - 3*d - 20 for d.
4
Let o(q) = -q**3 + 4*q**2 + 4*q + 7. Let v be o(5). Suppose 0 + 10 = 2*g. Let k = -20 + 30. Solve 0 = -2*x - 4*i + k, 13 = g*x - v*x + 5*i for x.
1
Suppose l + 5 = 7. Solve -3*b - l*h + 20 = 0, 4*h - 12 = b - 0 for b.
4
Suppose -d - 1 = -4*m - 38, -4*m - d - 35 = 0. Let o be 1/(3/(-9)*m/15). Solve 3*s + 5*l - 4 = 0, -o*s + 2*l + l = 16 for s.
-2
Let i be (0 - 2)*(-20)/8. Let d = 7 - i. Let h be (18/45)/(d/10). Solve 2*o - 6 = 0, -2*o + 14 = h*g + 2*o for g.
1
Let u = 2 + -2. Let p be 3/5 - 762/(-30). Let w = 27 - p. Solve u = y - 4*i - w, -y = -3*y - 4*i + 2 for y.
1
Let r be -1 + (-3 - -2)*-3. Suppose 14 = -r*b + 24. Solve 0 = -5*k + b, 2 = -5*m - 3*k for m.
-1
Let k(t) = t**3 - t. Let c = 9 + -15. Let n = c + 6. Let b be k(n). Solve 3*m = -b*m + 3*y - 21, 2*y = m + 11 for m.
-3
Let d(z) = z**2 - 11*z + 10. Let a(m) = 4*m + 2. Let x be a(2). Let p be d(x). Solve p = 4*q + s + s - 2, 20 = -5*q + 5*s for q.
-1
Let n = 1 - 1. Suppose n = -5*w + 49 + 11. Suppose w = -3*s + 4*v, -4*s - 2 = v - 5. Solve s = 2*r + 3*l - 5, -4*r + l = -l - 2 for r.
1
Suppose 0 = -5*y - 0*y. Suppose 0 = -y*q - 2*q. Let w = q - -4. Solve -3*j = r - 8, -r - 2*j = w*r - 14 for r.
2
Let s(v) = -v**2 - 6*v - 5. Let z be s(-5). Let f = 13 - 1. Let y(b) = -b + 16. Let h be y(f). Solve 10 = -2*g - z*g, 2*k - 14 = h*g for k.
-3
Suppose -4*w - 95 - 41 = 3*c, -4*w - c = 128. Let n = w + 31. Solve 3*o - 9 = n, -2*o - 2*o = -3*p - 3 for p.
3
Let o(p) = -13*p + 110. Let r be o(7). Solve -v + 2*d + 2 = 0, -v - 3*d = 3*v - r for v.
4
Let j be (-2)/7 - 330/21. Let f = j + 21. Solve 5*r + f = 4*w, 0*w + 5*r = -5*w - 5 for w.
0
Let a(i) = i**3 - 8*i**2 - 9*i - 3. Let x be a(9). Let p be 1/(2/6) - x. Let k be (-3)/6*-4 - -5. Solve 2*j - 2*l - p = 4*j, k = -3*j - l for j.
-2
Let p = -4 - -10. Suppose -p*j = -10*j. Solve j = -2*k - 2*b - 0*b, 2*k = 2*b for k.
0
Let o(z) = 77 - 2*z - 12*z + 11*z. Let q be o(24). Solve -3*x = -0*t + 5*t - 25, -x = t - q for x.
0
Suppose -24 = -27*d + 30. Suppose -23 + 7 = -4*c. Solve q - c = -g, -d*q - g + 19 = 2*q for q.
5
Let d be -1 + (123/82)/((-3)/(-8)). Solve -a - 2*a = 3*x + 21, 5*x - 3*a = -d for x.
-3
Let q(c) = c + 4. Let n be q(3). Suppose -n + 22 = 5*s. Suppose -s*k + 0*k = -9. Solve -2*i - 8 = 4*o, -4*o + k*i = 3 - 5 for o.
-1
Suppose c = 3*z - 5 + 1, c + 8 = 4*z. Suppose -3*a + c*a = 20. Solve 2*q - 1 = r, a*r + 5 = -r + 5*q for r.
-1
Let j be (-3 - 35/(-14))*-6. Solve j*q + b - 3 + 7 = 0, -4*b + 1 = -5*q for q.
-1
Let n be 24/(-10)*(-3360)/42. Let o = 14 + -9. Suppose -37 = 5*m - o*i - n, 4*i + 66 = 2*m. Solve 0 = -5*c - 4*k - m, 3*k + 0*k - 17 = 4*c for c.
-5
Let y be (-16)/(-24)*9 + 11. Solve -j + y = 4*l, 21 = j + 5*l + 1 for j.
5
Suppose 5*b + 5*f + 0 = 15, -4*f = -2*b. Suppos