11 = -t, o - j = -2*o + 2*t. Suppose -5*a + q = -4*q, 0 = -3*a + o*q. Solve a = u - 5*u + 16 for u.
4
Suppose -2*v + 8 = 2*f, -16 = -7*f + 3*f + 2*v. Suppose f*b - c + 1 = 10, 3*c = 3*b. Solve -8 + b = -u for u.
5
Suppose 2*u + 3*u = 3*q - 22, 2*q - 2 = -3*u. Let j be u + -3*(-10)/15. Solve j = 5*p - 11 + 31 for p.
-4
Suppose 0 = -3*r + 6 + 3. Solve 0 = -r*m - 7 - 5 for m.
-4
Let j(q) = -68*q + 209. Let x be j(3). Solve -x - 27 = 8*t for t.
-4
Suppose -4*i + 3*w + 9 = -4, 7 = 2*i - w. Solve -m + 5 = i for m.
1
Let h(r) = -r**2 + 12*r + 5. Let m be 343/28 - (-2)/(-8). Let v be h(m). Suppose 2*k = v - 1. Solve 0 = k*g - 1 - 1 for g.
1
Let r = -276 + 277. Solve -q = -2*q + r for q.
1
Let t(b) = -2*b + 2. Let l be t(-8). Suppose -f = -4*u - l, 0 = -f - 2*f - 6. Let i(z) = -z**3 - 4*z**2 + 4*z - 3. Let c be i(u). Solve -c*q = 3*q + 15 for q.
-3
Suppose 4*w = 2*j + 4, 6 + 8 = 5*w + 2*j. Suppose -n = -4 + 1. Solve -5*u + w = -n for u.
1
Let i(w) = w**2 - 177*w + 697. Let b be i(4). Solve 29 = b*p + 4 for p.
5
Let c(v) = -v**3 - 4*v**2 - 4*v. Let h be c(-3). Solve 0*x - h*x = 0 for x.
0
Suppose 15 = -4*k - k. Let c = 5 + k. Suppose 4*q - 12 = -l - 4, -l + 7 = 5*q. Solve -2*s - c*s = -l for s.
3
Suppose 5*k = i + 18, -30*k + 2*i = -32*k. Solve k*b = -b - 20 for b.
-5
Let m(c) be the first derivative of 2*c**3/3 + c**2/2 - 7*c - 2. Suppose 5*q = -3*p, -p + 0*p = -3*q - 14. Let j be m(q). Solve 3*k = -4 - j for k.
-4
Suppose -2*n + 4 = 2*n + v, -3*v + 1 = n. Solve -3*p + n = -11 for p.
4
Let k be -1 + 9 + (-19 - -13). Solve k*j + 5 = j for j.
-5
Suppose -2*x + 9 = -1. Let y = -75 + 77. Suppose 8*b + y = 34. Solve x*s - b = s for s.
1
Suppose 5*l + 2*c = 44, l = 5*c + 28 - 3. Let h be 3/(l + -1)*3. Suppose -2*p = -4, o + 2*p = 2*o - h. Solve 0 = -b + 6*b + o for b.
-1
Let n = 853 - 849. Solve 3*s - n = 2*s for s.
4
Let y be 2/(-6) + 49/3. Suppose f - 9 + 6 = 0. Suppose -f*i - 5*i = -40. Solve i*a - 6 = -y for a.
-2
Let u = -979 - -984. Solve -u*q + 0*q = -q for q.
0
Let d(m) = -m**3 + 21*m**2 + 49*m - 29. Let f be d(23). Solve 0 = -2*w - 8*w + f for w.
4
Suppose 2*b = -3*z + 18, 2*z + 263*b - 10 = 262*b. Suppose 1 = -5*y + 11. Solve z*o - 16 = -y*o for o.
4
Let w(n) = 17*n - 57. Let d be w(4). Solve -4*y - 31 = -d for y.
-5
Let w = 1 - -16. Let f = 21 - w. Solve f*s - 2*s = 4 for s.
2
Let k be ((-10)/(-4))/((-2)/(-8)). Let m(z) = z - 10. Let l be m(k). Suppose 0 = -l*u - 4*u + 12. Solve -w + 10 = -u*w for w.
-5
Suppose -o + 2*o + 5*a + 5 = 0, 2*o - 12 = a. Let l = -36 - -43. Solve -l = o*d + 13 for d.
-4
Suppose -3*g - 4*l + 3 = 0, 0*g = -g + 3*l + 14. Let r = 1 + g. Let z be 1/6 - r/36. Solve z*k + k = -4 for k.
-4
Suppose 2 = -0*a - 2*a. Let i be (a/3)/((-8)/384). Let r = -10 + i. Solve 2*o = r*o + 16 for o.
-4
Let o = -303 + 358. Solve 62*r - 7 = o*r for r.
1
Let q(g) = -g + 0*g**2 + 4*g**2 + 0*g. Let n be q(1). Suppose -34 = -9*x + 74. Solve -n*r - x = -0*r for r.
-4
Let t = 440 + -433. Solve 2*o - t = -17 for o.
-5
Let x(o) be the first derivative of o**3/3 - 3*o**2 + 7*o - 5. Let p be x(6). Solve -3*h + p*h = -8 for h.
-2
Suppose 4*n - 6*u + u - 133 = 0, 2*n - 29 = -5*u. Solve 3*r = -n + 27 for r.
0
Suppose 3*h + 0 = 3. Let q be 11 + 2*(h - 2). Solve -q = -2*b - b for b.
3
Let f be (-56)/(-6) - 4/12. Suppose -2*p = 5*b + 985, -3*p + 560 = -3*b + 2*p. Let v be 4/6 + b/(-45). Solve 0 = v*w + f + 16 for w.
-5
Let q be (4 - (-44)/(-55))/((-4)/(-10)). Solve -3*w + q*w = 5 for w.
1
Suppose -4*p + 2*s = -16 - 24, -2*p = 3*s - 12. Suppose p*t = 7*t + 6. Let q be (-26)/(-7) + 6/21. Solve -t + 11 = q*l for l.
2
Suppose 22*v - w = 18*v + 13, w - 23 = -5*v. Solve v*r - 6 = 6 for r.
3
Let c = 9 - -5. Let y = c - -12. Suppose -2*p - 4*s + 6 + 10 = 0, -3*s + 21 = 3*p. Solve -y + p = 5*j for j.
-4
Suppose -3*j - j - 4*r = -20, -j = -4*r + 5. Solve 0 = -15*u + j - 18 for u.
-1
Let g be (2 + -3)/(2/(-10)). Let s(d) = -g + 5 - d**2 - 7*d + 2. Let n be s(-5). Solve 0*o - 4*o = n for o.
-3
Suppose -14*j + 8 = -10*j. Let i be 15*(j + 16/(-12)). Solve i = f + 4*f for f.
2
Let a = -540 + 543. Solve -a*q - 2*q = -3*q for q.
0
Let j be 32/14 + (-8)/28. Suppose 0*f = f - 87. Suppose 27 = -4*z + f. Solve u + j*u = -z for u.
-5
Let w = -296 + 301. Let z be (-2)/(-8) + (-2)/8. Solve z*b - 25 = w*b for b.
-5
Let g(v) = v + 12. Let u be g(-7). Suppose -6 = -u*j + 9. Solve 5*n - j + 18 = 0 for n.
-3
Suppose -3*r + 9 = -15. Let z be 10*3/18 + r/6. Solve 8*u = z*u - 20 for u.
-4
Let a(p) = p**3 - 4*p**2 + 3*p. Let j be a(2). Let u(o) = -o**3 - o**2 + 2*o - 1. Let w be u(j). Let c be (w - -4) + 10 + -7. Solve -c = 3*z - 5*z for z.
3
Suppose 3*z + 4*d + d + 4 = 0, -4*z + d + 10 = 0. Let c(n) = -2*n + 6. Let f be c(z). Solve 0*q - f = q for q.
-2
Let n = -50 - -35. Let l = 16 + n. Let q = 0 - -2. Solve -q*k = -1 - l for k.
1
Let k(c) = 2*c**2 + 18*c - 15 + c**2 - 2*c**2. Let l be k(-19). Solve -3*w + l*w = 0 for w.
0
Suppose 2*a + 18 - 26 = 0. Suppose -2*h = a*h. Suppose -2*n - 5*j - 16 = 0, -2*n + j + 0*j + 8 = 0. Solve 4*c + n + 6 = h for c.
-2
Let r be (0 + -2)*2*684/(-48). Solve -59*k = -r*k - 2 for k.
1
Let o be -55*((-6 - -1) + 3). Suppose -10*y + o = y. Solve d - 3*d = -y for d.
5
Let i = -17 - 24. Let t = 43 + i. Let f be (-2 - 26/(-8))*12. Solve -t*p - f = -5*p for p.
5
Suppose 6*v = 2*v - 12, 2*x - v = 17. Let s(m) = m**3 - 10*m**2 - 21*m + 212. Let y be s(10). Solve 0 = y*l - x*l - 5 for l.
-1
Suppose -65*o - 9 = -68*o. Solve -8*a - o*a + 8*a = 0 for a.
0
Let f(s) = -2*s + 52. Let g be f(26). Solve g = 2*r + 5*r + 35 for r.
-5
Let r(w) = -w**3 + 10*w**2 + 33*w + 82. Let b be r(13). Solve 32 = -4*l - b*l for l.
-4
Suppose n = 4*a - 0*n - 10, -4*n + 8 = 0. Let k(b) = 10*b**2 - 13*b + 11. Let i be k(1). Solve -a = 5*c - i for c.
1
Let a = -520 - -529. Solve 12 = -a*f + 5*f for f.
-3
Suppose 3*x = 166 - 970. Let m be x/12 - (-3)/9. Let q = 34 + m. Solve z = -3*z - q for z.
-3
Let c = -10 - -13. Suppose 21 = 3*d - c*b, d + 4*b = -d - 4. Solve d = 3*l + 7 for l.
-1
Suppose 3*r = 6*r + 30. Let c(v) = -18*v + 4. Let t be c(3). Let g be (126/r)/(15/t). Solve -g + 17 = 5*b for b.
-5
Let d be 60/35 + (-2)/(-7). Let l(z) = 2*z**2 - 2*z + 1. Let f be l(d). Suppose -1 = -4*t + 2*r + 13, -f*t + 3*r = -19. Solve t*v = -3*v for v.
0
Let u be (4/6)/(20/(-90))*-1. Suppose 2*h = -5*z - 8, u*h + 8 + 4 = 2*z. Solve z*a + 20 = -4*a for a.
-5
Let t = 52 - 32. Let a(d) = -d**2 + 22*d - 34. Let z be a(t). Solve 20 = z*w - w for w.
4
Let o = -15 + 17. Let n be 1*5 + (-4)/o. Suppose n*v + 12 = 0, 2*b = -b + 5*v + 32. Solve -2*i - 2*i = b for i.
-1
Let f = -15 - -17. Suppose 0 = -3*a + f*k + 7, k - 4 = -3. Suppose -10 = -2*d, -2*d = -m - d - a. Solve m = 2*l - 3*l for l.
-2
Let z = 14 + -11. Let x = 2 - -2. Suppose -n = x*n. Solve f + z*f - 12 = n for f.
3
Suppose 0 = 5*a - 6*a + 13. Let h = 16 - a. Solve 0*j = -h*j + 6 for j.
2
Suppose 5*c + 36 = 2*c. Let f = c + 14. Suppose -3*l = l - f*z - 42, 2*l + z - 19 = 0. Solve -s + l = s for s.
5
Let q(t) = -t**2 + 5*t + 2. Let k be q(6). Let c = k + 4. Solve 2*i + 2 + 2 = c for i.
-2
Let k be (-5)/(3/(-6) - (-2)/(-4)). Solve -10*z + 15 = -k*z for z.
3
Let m(w) = -w**2 + w + 6. Let y be m(-2). Suppose -h = y, z - 3 = -4*h + h. Solve -n + 2*n = z for n.
3
Let g(m) = m**3 + m**2 - m + 5. Let i be g(0). Suppose 11 - i = 3*z. Suppose 16 = 6*v - z*v. Solve -v*o = -o - 12 for o.
4
Let g = 8 - 2. Suppose -g*v + 4*v + 4 = 0. Suppose -3*p = -v*p - 5. Solve 4*j = p*j + 4 for j.
-4
Let d(j) = j**3 - 18*j**2 + 18*j - 3. Let i be d(17). Let y be (-12 + i)/(-1*2). Let f be y + (-1 + 1 - -3). Solve 0*v = f*v + 6 for v.
-3
Let p(j) = j + 6. Let a be p(-6). Suppose -15 = -3*y - 2*y. Solve a = -t - y for t.
-3
Let i be -2*3/12*-6. Suppose i*g - 38 = -g + 5*b, 3*g - b = 34. Solve -o - g = -4*o for o.
4
Suppose 7*m = -5*m + 48. Solve -m = 2*f - 6*f for f.
1
Suppose 2*y = -x + 26, -2*y - 9*x = -6*x - 18. Solve -y = 4*s + 1 for s.
-4
Let t(p) be the first derivative of p**2/2 + 5*p + 15. Let b be t(-2). Solve -3*u + b = -0*u for u.
1
Let g be (-2)/13 + (-80)/(-13). Solve 27 = g*o + 3*o for o.
3
Let d be (-1 - -2) + (0 - 0). Let u be d/(-5) - (-44)/20. Suppose u*h + h = 6. Solve -15 = -h*q - q for q.
5
Let o = 47 + 6. Suppose 31 = 4*g + 3*s - 11, 4*s = -5*g + o. Solve 2*y + 3 = 