 Solve -4*g + x*z - 2*z = 1, g = z - 1 for g.
0
Suppose 4*b + 5*x = 32, b + 2*x - 15 = -x. Suppose -2*s + 3*a + 5 = 0, -s + b*s = -4*a - 2. Solve 0 = l - s, 0*j = -5*j - 5*l + 25 for j.
4
Let h(o) = -12*o - 373. Let u be h(-33). Solve -m + 14 = m - 2*y, -3*m + u = -4*y for m.
5
Let t be ((-64)/96)/(-1 - 10/(-12)). Solve 2*o = o + 4*w + 17, -8 = -t*o - 4*w for o.
5
Let p be -2*1 - (-11)/33*33. Solve 6*n + p = n - 4*j, j = 4*n + 24 for n.
-5
Let a(v) = -3*v + 6*v**2 - 2*v - 7*v**2. Let f be a(-5). Solve f*p - 4*p = 12, -b = 2*p + 4 for b.
2
Let u = -26 + 29. Let m be (3*(-7)/7)/(-1). Solve 5*a - m = -u*v, 4*v - 8*v + 4 = -a for v.
1
Let w(x) be the third derivative of x**6/120 + x**5/20 - x**4/12 + x**3/6 - 3*x**2. Let t be w(-3). Solve 0 = r - 2*k + 1, -r + k = 2*r - t for r.
3
Suppose 5*q - 4*q = 5. Suppose q*h - 78 = -3. Solve -4*s = 7*n - 3*n + 28, -3*s - n - h = 0 for s.
-4
Suppose 50 + 610 = 5*t. Let i = t + -119. Suppose 13 = 3*k - 2. Solve i = p - k*n, 10 = -6*n + n for p.
3
Let l be 111 - (3/1)/1. Let z be (-1 + 2)/(6/l). Let s be 15/(-2)*z/(-27). Solve 4*t - j - 1 + 16 = 0, -s*j = -2*t + 15 for t.
-5
Let g(z) = -z**2 + 87*z - 248. Let t be g(3). Solve -n = 5*j - 2*n + 17, -t*j + 2*n = 16 for j.
-3
Let f be -40 + 56 + 1 + -10. Let y be (-3)/(-2)*2/(-3). Let q = -1 - y. Solve q = l - 4*t - 24, -2*t + t + f = 3*l for l.
4
Suppose -4*w = 5*z + 7, -55*w = -53*w + 2*z + 2. Solve 7 = w*u - 3*m, 0 = 2*u - u - m - 3 for u.
2
Let b be 64/20 - (-2)/10*-1. Suppose -4 = -b*i + 2. Solve -27 = 5*x + 3*g, -3*x - i*g = -5*x + 2 for x.
-3
Let c(h) = -48*h + 297. Let y be c(6). Solve 0 = 3*k - 6, -2*w = -5*w + 3*k - y for w.
-1
Let d be (-3)/(33/(-22)) - -1. Let v be -1 + 1 + 0 - -15. Solve k + d*b - v = 0, -b = 2*k + k - 5 for k.
0
Let f(m) = m**3 - m**2 + m. Let n be f(0). Suppose n*l - l = 0. Solve 5*w = -4*k + 1, -2*k + 9 - 1 = l for w.
-3
Suppose -2*f - 4 = b, -3*b - f = -5*f - 18. Solve -4 = -b*w, 4*p - w = 3*w - 16 for p.
-2
Suppose 162 = -11*t - 432. Let a = 58 + t. Solve -5*y + 12 = h, 0*h + 5*y = a*h + 2 for h.
2
Suppose 13*p - 43 - 87 = 0. Solve s + 18 = 5*f, -f + p = 5*s - 4 for f.
4
Let k be ((-4)/16*0)/(-2). Suppose d - 5 + 0 = k. Solve 5*u = 2*p + 20, -5*p + 2*p - d*u + 20 = 0 for p.
0
Suppose -229*a = -225*a - 8. Solve -2*v - a = m - 3*v, 4 = -5*m + 2*v for m.
0
Let k(o) = -3*o**3 + 28*o**2 - 13*o + 40. Let p be k(9). Solve 3*x + 4 = 4*b + 10, -2*b + 8 = p*x for b.
0
Let s(f) = 2*f + 27. Let b be s(-10). Suppose 18 = 2*p + 4*n, -b*p + 31 = -3*p + 3*n. Solve p*a + z + 5 = 2*a, a + 3*z = -1 for a.
-1
Let k(n) = -13*n - 60. Let l be k(-5). Solve -2*c + 2 = -2*r + c, 5*r + 5*c = -l for r.
-1
Suppose -21 = -13*k + 174. Solve 2*n - 4*b + 14 = 3*n, -3*b + k = 3*n for n.
2
Let l be (-3)/(9/6) + (13 - 6). Let s be (l - 3) + 5 + -2. Solve s*z + 17 = -5*q + q, 0 = 3*z + 3 for q.
-3
Suppose 2*q + 4 = -a, -3*a = a + 2*q - 8. Solve w - 4 = c, -a*w + 17 = -0*w - 5*c for w.
3
Let r be (-8)/(5 - 1) - -18. Suppose 3*b + 5*q = 49 + 16, 0 = -4*q + r. Solve 5*c - 6*a = -4*a + b, 5*a = 25 for c.
5
Let z(n) = n**3 + 5*n**2 + 4*n - 3. Let a be z(-3). Solve o - 2*g + 3 + 3 = 0, -g = -2*o + a for o.
4
Suppose -12 = -b - y + 3*y, b + y - 3 = 0. Let q = b - 4. Suppose s - q*s = -5. Solve 2*w - 2 = -2*a, -s*w + a = -a - 12 for w.
2
Let j(a) = a**2 + 6*a - 7. Let u be j(3). Suppose -5*z + 36 = 2*m - 6*m, 3*z = 2*m + u. Solve 0 = -5*d + 5*r + 20, -3*d + z = -8*d - r for d.
0
Suppose 3*l - 20 = -2*l. Suppose -425 = -5*w + q, -3*w - 95 + 373 = 4*q. Let s = w - 78. Solve t - g = -3*t - 20, 2*t - s = -l*g for t.
-4
Let x(j) = j**3 + 7*j**2 + 2*j + 23. Let y be x(-7). Suppose y*q + 28 = l + 4*q, -5*l = 3*q. Solve -6*u = -2*u + l*h - 15, h - 5 = 0 for u.
0
Let v(h) = -112*h**2 + 2*h - 1. Let c be v(-1). Let x = -97 - c. Solve g - 3 = 2*g - 3*l, -4*g - 3*l = -x for g.
3
Let p = -25 + 70. Suppose h = 2*c - 3, -5*c - 3 = -3*h - 9. Suppose 5*b - b - 39 = c*u, -u - p = -4*b. Solve -2*w + 0*w = -5*v - 11, -5*w - 3*v + b = 0 for w.
3
Let q(u) = -3*u**2 - 171 + 5*u + 90 + 2*u**2 + 86. Let f be q(0). Solve -f*p - 20 = 0, -4*c + 2*p - 4 = 3*p for c.
0
Suppose -13*c + 15*c - 22 = 0. Let k(q) = 4*q - 43. Let f be k(c). Solve -t + 5*z = 2*z + f, -3*t + 8 = 2*z for t.
2
Let l(d) be the first derivative of 3*d**2 - 3*d - 1. Let s be l(4). Suppose -61 = -2*h - 51. Solve 0 = h*v - 3*m - s, -3*v + m + 7 = -4 for v.
3
Let z(c) = -101*c + 608. Let f be z(6). Solve -4*s - f*u - 3*u = 20, -4*u = 0 for s.
-5
Suppose 5*r + 5 + 9 = h, h + 2*r - 21 = 0. Let y = -104 + 113. Suppose -2*u - 2*x = x - 8, 5*u = -x + 20. Solve 3*k - u = 5*g - y, -g = 3*k - h for g.
4
Let h be (-1)/(-6)*(18 - 18). Solve h = 3*r + i - 2*i + 14, 0 = -4*r + 4*i - 24 for r.
-4
Let a = -9 + 14. Suppose 2*g - 3 = a. Let u(b) = b**3 - 4*b**2 + 3*b - 6. Let z be u(g). Solve 3*v + 3 = -0*v + j, -4*v + 2*j = z for v.
0
Suppose -3*g = g - 32. Suppose -3*p + 5*p - g = 0. Let k = -16 - -18. Solve -8*w - 3*q + 6 = -4*w, -k*q + p = 3*w for w.
0
Let j be (-4)/(5 + -1) - (-5 + 2). Suppose -4 = -2*f + j. Solve 5*u - 5*b = -30, 21 = -3*u + 7*b - f*b for u.
-3
Let j(n) = -14*n + 28. Let r(u) = 5*u - 9. Let w(a) = 3*j(a) + 8*r(a). Let c be w(5). Solve 0 = -4*t - d - 0 + 7, 0 = c*t - 5*d + 13 for t.
1
Let k(y) = -y**3 + 4*y**2 + 22*y - 2. Let a be k(7). Solve -7 = -4*n - o + 2*o, -2*n - a*o + 31 = 0 for n.
3
Let v(u) be the first derivative of -1/4*u**4 - 7*u - 11/2*u**2 + 4 - 3*u**3. Let l be v(-8). Solve 22 = 4*s + q, 5*s - l = 3*q + q for s.
5
Let z be 0 + -1 - (-8 + 5). Suppose 2*k = -4*l + z, -3 = 4*k + 1. Suppose -4*d = 3*s + l - 9, s + 2*d = 0. Solve -q + 0*q - s = -v, 4*q = -4*v for v.
4
Let r be (-45)/75 + 38/5. Let i(n) = -n**3 + 7*n**2 + n - 3. Let w be i(r). Solve -6 = -2*k, w*h - 2*h - 3*k = -19 for h.
-5
Let w be ((-7)/(-5))/(-4*1/(-20)). Suppose 5*s + p + 2*p = 9, 5*s + 4*p = w. Solve -2*c = -x + 12, -5 + 33 = s*x - 4*c for x.
4
Let r = 629 - 619. Solve -5*k - f = -2*f + r, -k + 4*f - 21 = 0 for k.
-1
Let z = -11 + 17. Suppose -54 = -4*i - c - z, -12 = -i - 2*c. Suppose i + 48 = 5*j. Solve m + 21 = -4*u, u + j = -2*u for m.
-5
Let h(x) = x + 16. Let w = 17 + -32. Let i be h(w). Solve z = 2*d - 5 - 2, -2*d + i = -3*z for z.
3
Suppose i = 1 + 2. Suppose -p - t + 0 = -3, 3*t - 10 = -4*p. Let u be (p/i)/(2/30). Solve -r = -0*r + j, u*j = r for r.
0
Let d(k) = 6*k - 9. Let n be d(0). Let c be (0 - 0 - 1)/(1/n). Solve -2*w + 0*i = -i + c, 0 = -w + 5*i for w.
-5
Suppose 0 = -3*o + 5*a + 17, -5*o + 3*a + 21 = -2. Suppose -2*x - o = -14. Solve 4*s = -2*i - 14, 1 = -i - x*s - 21 for i.
3
Let n be (-2)/7 + 68/(-7). Let w(p) = 16*p**3 + p**2 + 2*p + 2. Let t be w(-1). Let f = n - t. Solve -5*s = f*c, -s - 3*c - 4 = 2*c for s.
1
Suppose 0 = 3*m - 19*m + 32. Solve -9 = -3*p - 3*n, 3*p + n - m = 5*n for p.
2
Suppose -4*y - 58 = 194. Let t = y - -74. Solve -g + 11 = 4*o, t = 3*o - 2*g - 0*g for o.
3
Suppose 9 = 3*v - 0*v. Suppose -v*n - n = -116. Let c(s) = 3*s**2 + 170*s + 488. Let d be c(-3). Solve 35 = d*l + 4*y, l + 2*l - n = -4*y for l.
3
Suppose -2 = 5*p + 2*a, 95 = 3*p - 4*a + 91. Solve 0 = 4*s - 2*k - 20, s - 4*k - 9 + 4 = p for s.
5
Suppose -11*t = -3*t - 352. Let p = 49 - t. Let v(d) = 3*d**3 + d - 1. Let n be v(1). Solve -24 = -n*y - y - 3*q, 0 = -p*y - 4*q + 31 for y.
3
Suppose 4*v + v - 4*d - 8 = 0, 4*v + 6 = -3*d. Let y = -45 - -49. Solve y*l = q + q + 2, v = 4*l + 3*q + 3 for l.
0
Let r = -2023 + 2037. Solve -a - 3*d = r, -a = 2*d + 3 + 7 for a.
-2
Suppose -5*x = -20, -5*q + 5*x - 26 + 136 = 0. Let j = q - 21. Solve -4*z = b - j, 4*b = 4*z + 10 - 30 for z.
2
Suppose 5*f + 15*f - 60 = 0. Solve -15 = -f*a + q + q, -5*q = 0 for a.
5
Let o(h) = -4*h**3 - h**2 - 2*h - 1. Let a be -2 - (-1)/2*2. Let b be o(a). Solve 3*x + 2*x + 4 = -b*g, 4*g = -x - 4 for x.
0
Let j be 1/(-20)*-5 - (-2)/(-8). Let x be -1*(-21 + (-4)/(-2)). Suppose j = o - x + 17. Solve -13 = -y - 5*m + m, o*y + 3*m = 6 for y.
-3
Let o(v) = -2*v + 9. Let n be o(-8). Let j = n - 7. Let l = j - 11. Solve 5*t - 2*g + 3*g - l = 0, 4*g = -t - 10 for t.
2
Suppose -2*l = -7*l + 10, 3*v + 2*l + 29 = 0. Let p be -5*(v/5 + 1). Let g = 9 - p. Solve -b - g = -2*k + 2*b, 3*k - b = 8 for k.
3
Let i(k) = k**2 + 70. Let w be i(0). Let c = -62 + w. Solve 0 = -4*y + c, 0*y + 3*y = -4*m