 -2*z - 1. Let y be m(z). Solve y = -5*r - 0*r for r.
0
Suppose 33*a - 40*a + 847 = 0. Let h = a + -115. Suppose -3*w + 11 = 4*m, 0 = -2*m - 3*w - 2 + 3. Solve s = h*s - m for s.
1
Let h(u) = u**3 + 25*u**2 + 18*u - 144. Let y be h(-24). Let c = -2 - -4. Suppose 4*d + 3*j = 13, 0 = -y*j - 2*j - c. Solve n + 0*n = -d for n.
-4
Suppose 0*z - 4*z = 5*f + 3, 3*f = z + 5. Solve -16*k - f = -15*k for k.
-1
Suppose 0 = -4*b - 44 + 92. Suppose -b*o = -8*o - 8. Solve 0 = o*n - 10 for n.
5
Suppose -3*h = -d - 2*d - 3, 0 = 3*d. Let m = -1 + h. Solve m*t + t + 4 = 0 for t.
-4
Suppose 3*k = 2*l + 3 + 20, 5*l - 5 = -5*k. Solve -9 + k = -4*x for x.
1
Suppose d + 2*d - 9 = 0, 3*d = -3*c + 57. Suppose 5*j - c = 29. Suppose 6*t = 9*t - j. Solve 0 = -t*g - 2*g for g.
0
Let c(z) = -z. Let k be c(-3). Suppose -26 = -3*j + 5*b, -k*j - 3*b = b + 10. Let o = 6 + -2. Solve j*t - o = t for t.
4
Let i = -326 - -356. Let o = -6 - -10. Suppose o*v + 0 = 20. Solve i - 5 = -v*f for f.
-5
Let z(q) be the first derivative of q**2 - 8*q + 4. Let k be z(5). Suppose k*f - 25 = 3*l, -6*l + 4*l = 2*f. Solve f*w - 3 = 22 for w.
5
Let d(a) = a**3 + 11*a**2 - 22*a + 52. Let y be d(-13). Solve y = -3*b - 3*b for b.
0
Let n(j) = j**3 - 9*j**2 + 20*j - 42. Let u be n(7). Solve u*f - 5*f = 15 for f.
-3
Suppose 0 = -3*i - o + 151, 0 = 4*i + 13*o - 11*o - 202. Solve 0 = 3*y + i - 38 for y.
-4
Let z(f) = 5*f + 21. Let a be z(1). Solve -9*o - 19 = a for o.
-5
Let a = -57 + 65. Let b = -5 + a. Solve 0 = b*c - 4 - 2 for c.
2
Let s = -502 + 502. Solve 22*f - 25*f + 3 = s for f.
1
Let v(s) = -s**2 + 9*s - 5. Let o be v(8). Suppose 1 = 5*c - 4*p, 0 = -o*c + 2*p - 0 - 1. Let m be (-22)/(-6) + 2/c. Solve 6 = -m*k - 0 for k.
-2
Let v = 34 + -32. Suppose 7*c = v*c + 5. Solve -x = -3 + c for x.
2
Suppose 2*q + 126 = 11*q. Suppose k + 6 = 3*k. Solve 5 = k*s + q for s.
-3
Let n(u) = 9*u**2 + 10*u + 6. Let v be n(-6). Suppose 4*l - 7*l - v = 0. Let s be ((-4)/(-6))/((-12)/l). Solve -s*w + 4 = 29 for w.
-5
Suppose -3*v - 2*v + z + 195 = 0, -4*v + 5*z = -177. Let g = 39 - v. Solve q + g + 2 = 0 for q.
-3
Let d be 400/(-20)*(-1)/4. Solve -10*b + 15*b = d for b.
1
Suppose 3*t = 6*t + 9. Suppose -5*q = 4*i + 3, -5*q + 5*i + 13 = i. Let j be (t - q)*3/(-4). Solve j*k = 11 - 2 for k.
3
Let a be -3*2*8/6. Let o = a - -13. Let s = -1065 - -1066. Solve -o = p - s for p.
-4
Suppose -3*o + 40 = -2. Let s(m) = -m**3 - 4*m**2 - 4*m - 5. Let w be s(-4). Let l = o - w. Solve u + l*u = 8 for u.
2
Suppose 5*j - 26 = -2*c - 2*c, -4*j = 2*c - 16. Suppose m = -3*m, j*h = -3*m + 6. Suppose -i = -h*i. Solve a - 3 - 1 = i for a.
4
Suppose 0 = x + 8*v - 9*v - 15, 0 = 3*x + 4*v - 38. Solve g - 8*g = -x for g.
2
Suppose -4*r = -y - 14, -r - 5 = -5*y + 1. Suppose 4 = h - 4*u, 0 + y = 2*u. Let o(m) = m**2 + 18*m + 68. Let l be o(-5). Solve l*t = t + h for t.
4
Let f = -109 + 113. Let w be 3 + 26/8*f. Solve -k = 3*k + w for k.
-4
Suppose -o - 2 = 3*i - 6, -3*i + 14 = -o. Let m = -4 - o. Let f = 3 - m. Solve -f = -2*w - 4 for w.
-1
Suppose -2*b + 0*b - 12 = 0. Let p(q) = q**3 + 4*q**2 - 9*q + 20. Let u be p(b). Solve 15 = h + u*h for h.
5
Suppose 4*l - 15 - 21 = 0. Suppose -1 = -5*x + l. Solve 0 = y - 0*y + x for y.
-2
Let s be 0 - (-1 - -2)*(-6)/2. Solve -20 + 5 = -s*d for d.
5
Let b(w) = -3*w - 2. Let g be b(-2). Let l be (-164)/42 + 18/(-189). Let j = g + l. Solve j = 2*s + 2 - 0 for s.
-1
Suppose -11 + 26 = 5*h. Suppose 2*c = 3*c. Solve c = -m + 1 + h for m.
4
Let u(f) = f. Let r(o) = -9*o - 1. Let x(q) = -r(q) - 6*u(q). Let a be x(1). Solve -3*t = -a - 5 for t.
3
Let k be 37/7 + (-150)/35 + 4. Suppose -2*d + 33 - 7 = k*b, 3*d - b - 5 = 0. Solve 0 = -s - d*s + 8 for s.
2
Let r(b) = b**2 - 4*b - 6. Let x(j) = j**3 - 16*j**2 + 16*j - 9. Let z be x(15). Let s be r(z). Solve -2*k - 2 = s for k.
-4
Let s be (-2)/8 + 9/36. Let u be 0/(-3 + (s - -2)). Solve 0 = -k + 1 - u for k.
1
Suppose 5*p - 40 = -0*p. Let q = 4 - 4. Suppose l + t = -4, q*l + l + 5*t + 20 = 0. Solve l = 3*w - p*w for w.
0
Let z = -6 + 8. Let c = 2267 - 2260. Solve -1 = -z*f + c for f.
4
Let f(r) be the second derivative of -r**4/12 - 2*r**3/3 - r**2/2 + 9*r. Let b be f(-3). Solve -4 = b*t + 4 for t.
-4
Let q = 523 - 517. Solve q*u - 11*u - 25 = 0 for u.
-5
Let l = 714 + -710. Let m(t) = t**3 - 6*t**2 + 5*t - 1. Let s be m(5). Let c be 0/(2/s)*1. Solve c = l*h - 1 + 9 for h.
-2
Let y be 4/(-14) + 23/7. Suppose 4 = -4*c + 24. Suppose 15 = c*f - 0*f. Solve 6 = -f*g + y for g.
-1
Let y be ((-15)/10)/(9/(-36)). Solve 7*s = y*s for s.
0
Suppose -5*a + 7 = -2*v, -2*v + 0*a = 3*a - 33. Let z(u) = -u**3 + 9*u**2 + u - 7. Let x be z(v). Let l be 3 + (-48)/(-2 - 2). Solve -x*o - 3*o = l for o.
-3
Suppose 4*p - 31 = 5*d, 0*d = p + 3*d - 12. Solve -21 = -3*g - p for g.
4
Let a(t) = -2*t + 24 - 53 + 27. Let p be a(-1). Solve -5*g + p*g = -10 for g.
2
Let l(m) = m**3 - 4*m**2 - 4*m + 4. Let o be l(5). Suppose o*c + 8 = 11*c. Solve -c + 0 = x for x.
-4
Suppose 2*a + 3*s = 4*a + 6, 5*s - 9 = 3*a. Let c be (-1)/(-3)*3 + -4 - a. Solve -r + 2*r + 5 = c for r.
-5
Let u be 9/(-24) + 0 + 335/40. Solve -4*o + u = -2*o for o.
4
Let y(n) = 8*n + 4. Let c be y(1). Solve 23*s - 44 = c*s for s.
4
Let u = 4 + -10. Let a(m) = -3*m**2 + 11*m - 14. Let b(t) = -8*t**2 + 31*t - 42. Let c(x) = -11*a(x) + 4*b(x). Let p be c(u). Solve -3*v = -v + p for v.
-2
Let r = -3 + 4. Let v be (1 - -3)*(-21)/28. Let o(q) = -q. Let u be o(v). Solve -2*m - r = u for m.
-2
Let f = -23 + 8. Let r = f - -20. Solve 0 = -p - 4*p + r for p.
1
Let d = -12 - -22. Let g(h) = -3*h - 4*h + d + 8*h. Let m be g(-7). Solve -11 + 2 = m*k for k.
-3
Let m be (2 + -1)/((-1)/2). Let s = m + 5. Let w = 6547 + -6545. Solve -15 = s*k + w*k for k.
-3
Suppose -u + 6 = 3*j, 5*u - u - 4 = -2*j. Suppose u = 34*p - 31*p - 15. Solve a - p*a + 12 = 0 for a.
3
Let l = -305 + 307. Solve -20 = 6*o - l*o for o.
-5
Let h(k) = 3*k + 6. Let m be h(1). Solve 0 = 3*b - 0*b + m for b.
-3
Suppose -67*t - 19 = -2029. Solve 0 = 28*w - t*w + 2 for w.
1
Let y = 449 - 445. Solve -5*q - y + 4 = 0 for q.
0
Let d(r) = 6*r - 3. Let u be d(2). Let p = 5345 - 5320. Solve 4*g = u*g + p for g.
-5
Suppose -19 = -4*d - 5*v + 19, 4*d - 26 = v. Let z be (-2)/(-7) - 2/d. Solve -2*o - 2 + 4 = z for o.
1
Suppose a + m + 56 = 15, -m = 2*a + 81. Let p = a + 60. Solve -4*v - p = v for v.
-4
Let a(p) = p**2 - 16*p + 65. Let o be a(6). Solve 18 - 8 = -o*n for n.
-2
Let n = 1382 - 1380. Solve -4*p + 12 = n*p for p.
2
Let c(j) = -2*j**2 + 3*j + 2 + j - 5*j - 2*j. Let t be c(-2). Let u(l) = -l**3 - 5*l**2 + 6*l + 2. Let p be u(-6). Solve -3*a - p*a + 5 = t for a.
1
Let b(i) = 22 - 37 + 8*i + 21. Let p be b(0). Solve 0 = -5*z - 31 + p for z.
-5
Let g(z) = -4*z**2 + 184*z + 9. Let q be g(46). Solve -q*p - 12 = -5*p for p.
-3
Let b = -1322 - -1326. Solve -b = -v - 0*v for v.
4
Let v(k) = -k**2 - 2*k**2 - 50*k**3 + 51*k**3 + 2*k. Let q be v(2). Solve q - 2 = -2*p for p.
1
Let k be 2/(-4) + (-295)/(-118). Solve 0 = -9*w + 8*w + k for w.
2
Suppose 16*o - 7*o - 36 = 0. Solve 4 = -o*b + 2*b for b.
-2
Let y = 1412 + -1400. Solve -4*j - y - 4 = 0 for j.
-4
Suppose 0 = -4*p + p + 3. Suppose 0*j - 8 = -2*j. Let h = 2 - -1. Solve j*n + h = -p for n.
-1
Suppose -8*d = -11*d + 36. Solve -5*z - d = -z for z.
-3
Let h be -4 - -3*(-4)/6. Let y be h*((-1)/2 + 0). Suppose 0 = y*c - 3*r - 0*r - 48, 0 = 4*c - 2*r - 64. Solve -g + 5*g = -c for g.
-4
Let j(p) = -p + 13. Suppose 0 = -4*g + 3*u + 53, 13 = 2*g + u - 6. Let y be j(g). Solve 3*a - y = 4*a for a.
-2
Let r(f) be the third derivative of -f**4/8 - f**3/6 - 27*f**2. Let n be r(-1). Solve -n*b = -b - 5 for b.
5
Let n = -873 - -933. Solve n*y - 48*y = -60 for y.
-5
Suppose 2*l - 4*x = -30, -2*l + 3*x - 27 = -0*l. Suppose 0 = -11*q + 15*q + 60. Let h = l - q. Solve h = -2*m - 2 for m.
-4
Let q be (1 - 7) + 61 + -7. Solve -12*m - q = -0*m for m.
-4
Let t be 0 + 5 + -1 + 2. Suppose -136*s + 138*s = 32. Solve t*x = 2*x + s for x.
4
Suppose 0 = -5*l + 20, -65*l + 64*l = -h. Let d(m) = -m**3 - 4*m**2 + 3*m - 4. Let i be d(-5). Solve 0 = h*q - 6 - i for q.
3
Suppose -2*o = -17 + 5. Solve -3*r = -o - 6 for r.
4
Let q(x) = -2*x**2 + 8*x + 7. Let w be q(4). Suppose w = 2*s + 3. Solve 7*n - 20 = s*n for n.
4
Suppose 4*a = -12, 2*a + 59 = 5*y - 7. Solve 2*s + y