- w + 9 = -x, 0 = 4*k - 20 for x.
0
Suppose 2*j = -4*j + 18. Suppose -2*z - j*z = -130. Solve 0 = -5*s - m + z, s + 3 - 5 = 3*m for s.
5
Suppose 4*d = 5*s + 42 - 10, 4*d = 3*s + 24. Let v be (0 + -3)*-4*d/9. Solve -3*c - v*q = -4, c + 2*q - 16 = 3*c for c.
-4
Let r be 5 + (30/(-2) - -5 - -6). Let w be 0 + 2*(1 - 0). Solve 5*s = 2*d - 4, -w*d + r + 3 = s for d.
2
Let n(u) be the first derivative of u**4/4 - 8*u**3/3 - 7*u**2/2 - 6*u - 10. Let z be n(9). Solve 4*b + 18 = 2*a, -b - b - z = -4*a for a.
1
Let d(t) be the first derivative of t**4/4 - 5*t**3/3 + 5*t**2 - 2*t - 7. Let x be d(3). Solve 0 = 2*y + o + 6, o - 6*o + x = 0 for y.
-4
Suppose 4*f + 24 = 12*f. Suppose f*d - 59 = -4*i, 2*d - 4 - 6 = 0. Solve 3*v - i = 4*k, -5*k = 2*v + 2*v - 25 for k.
1
Let l(c) = -6*c + 4. Let u be l(-1). Let w be ((-3)/4*-2)/(u/80). Solve -4*y = y + 2*z + 8, 5*y + w = 2*z for y.
-2
Suppose -4 = -0*z - 4*z. Let p be z + (-4)/4 - -4. Suppose -p*m = -5*h + 8, h - 19 = -3*h - m. Solve -2*l = -i - i + 4, h*i + 12 = -l for l.
-4
Let c(i) be the third derivative of i**6/120 - 13*i**5/60 + 7*i**4/12 - 11*i**3/3 - 13*i**2. Let m be c(12). Solve b + 8 = -4*k + 3*b, m*k - 2*b + 4 = 0 for k.
-2
Let i(s) = -23*s - 763. Let t be i(-34). Solve 3*w = 5*m + 3, -w - t = -5*m - 20 for w.
1
Suppose 6 = 4*m - m. Let r be (3/(-3))/(m/(-10)). Solve 7*g - 3*g + 4 = 0, 0 = -r*s + g - 24 for s.
-5
Let v(u) = -2*u + 21. Let x be v(9). Let s = x - 3. Suppose 12 = 4*l - s*l. Solve 0 = 3*k - 3*b - 18, 2*k + 2 = l*k + 3*b for k.
5
Let q(n) = -2*n**3 + 32*n**2 - 30*n + 3. Let v be q(15). Solve -5*y - 3 = 2*h, 8 = -h + v*y + 1 for h.
-4
Suppose -l + 5 = 11. Let a be l/4 - (-18)/4. Solve 0 = -4*v - 3*s - 21, -a*v - 15 = s + s for v.
-3
Suppose 7*y + 21 = 2*o + 12*y, -2*y - 24 = -o. Solve 0 = 2*r - 4*z - 22, -4*z - 6 = -4*r + o for r.
1
Let d = -354 - -356. Solve -w - 5*m = -15, 5*w - 3*m - 9 = d*w for w.
5
Suppose 0 = 5*g + 5*b + 5 - 30, -g = 2*b - 5. Let x be (-84)/147*14/(-4) - 101. Let c = -97 - x. Solve -g*s - q = -4, c*s + 0*q = -3*q - 1 for s.
1
Let g(t) = 30*t. Let s be g(3). Suppose -5*f + 35 = -s. Solve -x - 11 = -2*b, 0 = -5*x - 2*b - f + 6 for x.
-5
Suppose -50*k - 23 = -123. Solve k*b = 3*z - 1, 4*b + 4*z + 7 = -5 for b.
-2
Suppose -5*s + 46 = 21. Suppose -2*w = 4*m - 6, s*w + 2*m = -5 + 12. Solve -3*j = -t + 4, j + 2 = -w for t.
-5
Let v = -11 - -16. Suppose 2 = b - 4. Suppose b*z = z + 15. Solve -3*j + z*p + 6 = 0, -2*j = -j - v*p + 10 for j.
5
Let i(o) = -o**2 - 4*o. Let s be i(-5). Let k be (-1)/(10/(-3) - (-2 - 1)). Let g be 3 - (k + s + 2). Solve g*w + j = -2*j + 15, -5*w = 4*j - 23 for w.
3
Suppose -28*s = -26*s + 248. Let t = s - -126. Solve -t*y - 16 = -b - 6, -y = -2*b + 8 for b.
2
Suppose 0 = n + 2*u + 3, 2*n - 14 = 3*u - 2*u. Let r = 0 - 0. Solve n*o = 4*t - 32, -2*t + r*t + o + 10 = 0 for t.
3
Let n be ((-24)/42 + 0)/((-8)/140). Solve -5*o + n = 0, -o + 1 + 1 = 3*x for x.
0
Let p be 5/(20/44) + -1. Suppose 7*d - 3 = p*d. Let u be 1/(d/(-16)*4). Solve a - n + 3 = 2*a, -u*n = -3*a - 12 for a.
0
Suppose -x - 3*v + 11 = 0, -3*x + 3*v - 2 - 1 = 0. Solve 5*t = 4*y + x*t - 27, 3*y + 16 = -5*t for y.
3
Suppose 6*l = l - 45. Let b be 17 - (-12)/4 - -2. Let h = l + b. Solve 3*k + h = 4*v + 2, 3*k = -3*v + 3 for k.
-1
Let h be (-67)/(-6) - (2 - 1)/6. Suppose h = 3*a - 5*u, 0*a + u + 5 = 2*a. Solve a*d - 2*b = -2, 2*b - b - 5 = 0 for d.
4
Suppose 8 + 232 = 30*a. Solve -2 = -3*z - k, 5*z - a = z + 4*k for z.
1
Let j = -303 + 312. Solve 3*p = -9, 0 = 2*u + p + 2*p + j for u.
0
Suppose 4*j - 5 = 2*j - 5*w, 0 = 4*j - 4*w - 52. Solve 3*x + 4*u + 15 = 5*u, -2*u = 2*x + j for x.
-5
Suppose 44*a = 63*a - 57. Solve -a*h + 6*i = 4*i - 7, 11 = 3*h - 4*i for h.
1
Suppose -6*r + 5*r = -15. Suppose 18 = 4*l + 5*n - r, -4*l + 4*n - 12 = 0. Solve 5*q - 5 = -3*a - 3, 5*a = l*q + 24 for q.
-2
Suppose 0 = -o + 3*o + 3*c + 7, 12 = -3*o - 5*c. Solve 4*d = -4*q + q + 1, 0 = 3*q + 5*d + o for q.
3
Let j(v) = -16*v - 4*v**3 + 4*v**2 + 5*v**3 + 0*v**3 - 21. Let s be j(-6). Solve 5*p = -s*y + 9, -2*y - 5*p = -4*y + 6 for y.
3
Suppose 39*s = 27*s + 36. Solve -4*g - 17 = -y, -s*y = 2*g + 3*g for g.
-3
Let g(p) = p + 8. Let a be g(0). Suppose k = -2 + 4. Suppose 5*r + 0*f - f = 7, -5*f + 19 = k*r. Solve 0 = -r*o - z - a, -7*z + 6 = -4*z for o.
-5
Suppose -2*r = -0*r - 2. Let j = 14 + r. Solve -3*k = 3*v + 9, 2*k + j = -v + 7*k for v.
-5
Let u be (-8)/(-6) - (-2)/3. Suppose -3*b - u*z = -13, -5*z + 4 = -2*b - 0*z. Let m = 92 + -90. Solve -h + 3 = -m*v, 4*v + h - 2*h = -b for v.
0
Let i be 7 + (3 - 52)/7. Let d(r) = r**2 + 10*r + 2. Let s be d(-9). Let m be 3/s + (-114)/(-21). Solve i*g - 5 = -2*q - 5*g, -5 = m*g for q.
5
Let o be (-10)/(-14) + (-2)/(-7). Let r be ((-1 + 2)/1)/1. Let t be -1*o*(-2)/r. Solve -t = -j - 3*u, -3*j - 5*u + 2 = -0 for j.
-1
Suppose 3*o + 9 = 54. Let q = 0 + o. Let c = q + -13. Solve -c*p - 12 = 3*r - 0, -r + 2*p = -4 for r.
-2
Suppose 15*j = 23*j - 32. Solve -3*h + h - 3*r = -21, 3*h - j = r for h.
3
Suppose -35 = 7*p + 28. Let d = p - -28. Solve -2*i - 4*z = -d + 7, -2*z = -2 for i.
4
Let i be ((-174)/(-36))/(2/12). Let a = i + -26. Solve 0 = a*n - 2*f + 10, f - 5*f = -3*n - 8 for n.
-4
Suppose 3*o = -3*z - 2*o, 16 = 2*z - 2*o. Solve -3*l - 21 = 3*r, -6 - 24 = z*l + 4*r for l.
-2
Let z = -121 - -124. Suppose -13 + 1 = -3*o. Solve z*a - 5*d - 25 = 0, o*a + 2*d + 10 = -0*d for a.
0
Let o be (-18 - -21)*2/3. Solve -u + 2*g = -2, 0*u - g = o*u - 4 for u.
2
Let d(n) = -2*n**3 - 7*n**2 - 5*n - 1. Let j be d(-3). Solve -3*t = 5*i + 7 - 26, 3*t = j*i - 1 for t.
3
Suppose 4*n - 14 = -4*y + n, y - 7 = n. Suppose -10*g + y*g = 2*z - 20, -5*z - 55 = -5*g. Solve 3*h + 4*f + 2 = g, 3*h - 4*f + 4 = 0 for h.
0
Let x(p) = 3*p**2 + 4*p + 5. Let u(r) = r**2. Let d(v) = -2*u(v) + x(v). Let c be d(-2). Solve 4 = -2*t - 3*y + c, -5*y - 12 = t for t.
3
Suppose 22 = -5*w + 22. Let c = -5 + 10. Let n = c + w. Solve 0*q - 4*q + 16 = -h, 0 = n*q - 2*h - 17 for q.
5
Suppose -6*u + 27 = -9. Solve 0 = -5*h - 3*g - 0*g - 22, -u = 2*h + 4*g for h.
-5
Let n be (2 + -17)*(1 - (-12)/(-10)). Solve -s + 3*w = s - 8, -n*w - 22 = 5*s for s.
-2
Suppose 4*p + 3*h - 21 - 11 = 0, 4*p = 5*h. Solve -3*w - 5*q + 8 = 0, 1 = p*w - 5*q + q for w.
1
Let i be (-15)/(-1) + (-9)/12*4. Let y(w) = 3*w - 3*w + 2*w. Let j be y(6). Solve 5*o - 3 = 5*s + j, i = 5*o - 4*s for o.
0
Let c = -90 + 157. Let u be 42/(-14)*(-32)/(-3). Let d = c + u. Solve r - 6*r = -2*o - d, 3*r = 15 for o.
-5
Suppose -2*c + 31 = 23. Suppose -4*k + j = -155, 0 = -5*k - 3*j - 0*j + 215. Solve c*i - 1 = -3*b + 34, k = 3*b + 5*i for b.
5
Suppose 0 = -5*r - 43 - 52. Let s = r - -18. Let l = 6 - s. Solve -z - 4*j + l = 0, -1 + 10 = -z + 4*j for z.
-1
Let d(z) = -5*z + 41. Let m be d(7). Solve -m*l + 2*l + 18 = -g, 2*l = -4*g for g.
-2
Let y(a) = -2*a + 16. Let t be y(-16). Let u = t + -28. Solve -5*o - u = 0, 0 = 5*p + 3*o + 48 - 11 for p.
-5
Suppose -25*o = -2*o - 161. Solve -r + 0*q - o = q, 4*q + 13 = -r for r.
-5
Let c = -7 + 10. Suppose 19 = -2*p + 5*m, -c*m + 14 = -2*p + m. Suppose -3*x - z = -12, -6*x + 5*x + 4 = -2*z. Solve 37 = 5*v + x*t, 2*v = t - p*t + 16 for v.
5
Let m = 34 + -29. Suppose -2*r = 8, 4*u - 5*u + 14 = -2*r. Suppose u*b = b - 5*y - 15, -m*y = 2*b + 21. Solve b*w + 5 = -w + l, -5*l + 5 = -5*w for w.
-2
Let n be 0/(0 + -3) + -1. Let r = n + 4. Suppose -20 = 5*o, 0 = 5*x + 2*o + 3*o. Solve -r - x = -5*y + 3*z, -2*y = -3*z - 1 for y.
2
Let n(z) = 3*z**3 + 92*z**2 + 62*z + 60. Let m be n(-30). Solve -4*b = 4*u - 5*u + 9, m = 2*u + b for u.
1
Let u(p) = 4*p + 38. Let c be u(-7). Let j be c/25 + 8/5. Solve n - 5 = 0, n = 3*t + 2*n - j for t.
-1
Suppose 12*i = 14*i + 30. Let j be ((-6)/9)/(5/i). Solve 0 = -3*s - j*c + 6, 0*s = -2*s + 5*c - 15 for s.
0
Let c = -636 + 639. Solve b - 11 = 2*u - 4*b, -c*u = -3*b + 12 for u.
-3
Let c(a) = -5*a + 20. Let j be c(4). Let v be 2/(-8)*-4 - (-3 + j). Solve -5*n - v*u - 21 = 0, -2*n - 3*n - 2*u - 23 = 0 for n.
-5
Suppose -2*m + 10 = 4. Let h be (-6 - -2) + m + 5 + -2. Solve -h = -4*t - a, -3*t - 3*a = 2*t - 6 for t.
0
Suppose 99*h = 105*h - 18. Solve -4*a - v - 9 + 25 = 0, 0 = -3*a - h*v + 3 for a.
5
Suppose -d - 4*d + 55 = 0. Suppose 10*k - 6 = 14. Let o be 33/6 + (-2)/4. Solve o*f + 3*u + d = 0, -2*u = 3*f