 = j + 25 for v.
-5
Suppose k + 0*d + 10 = -2*d, 0 = -k - 3*d - 15. Solve -2*u - 2 = -k*u, -16 = -4*c - 4*u for c.
5
Suppose 2*c - 6*c = -4*t - 8, t = 3*c - 12. Let a(p) = 13*p - 26. Let d be a(2). Solve -m + d*m - b = t, 5*m - b = -3 for m.
-1
Let c = 292 + -289. Solve 0 = f + f - c*m - 2, f = -5*m + 1 for f.
1
Let b(x) = -4*x**3 - x**2 - x + 1. Let j be b(-2). Let l be (-57)/11 - 20/(-110). Let v be (20/l - -3)*-5. Solve -f - 3*y = 4*f - j, v*y = 10 for f.
5
Suppose 3*x - 15 = -5*a, -3 = -a + 4*x - 3*x. Let i = 6 - a. Solve k + 2*c = 4, -k + 1 = -4*c - i for k.
4
Suppose 11*u + 49 = 4*u. Let l(j) = j**3 + 6*j**2 - 7*j + 5. Let g be l(u). Solve -3*z - 7 - 1 = 5*f, -g*f = z + 16 for z.
4
Let i = -142 - -142. Solve i*n + 12 = 4*d - 4*n, n + 1 = -d for d.
1
Let u = 1274 + -1269. Solve 3*y - u*s = 8, 3*y - 4*y - 2*s - 1 = 0 for y.
1
Let a(u) = -14*u + 115. Let b be a(8). Solve -b*q = -4 - 2, -4*q + 11 = o for o.
3
Let d = 200 - 197. Suppose 4 = -p - 8. Let o = d - p. Solve -2*x = -5*x - 2*i - 2, i + o = -5*x for x.
-4
Let p(b) = -b**2 + 14*b + 20. Let z be p(15). Solve -z*v - w - 4 + 17 = 0, 3*v - 3*w = 15 for v.
3
Let p be (-1*1)/(12/(-492)). Let s = -39 + p. Suppose s*d - 7*d + 10 = 0. Solve -4*l - 4 = y, -d*l + 2*y + 8 = -0*y for l.
0
Let u(x) = 9*x. Let t be u(-1). Let p(v) = 6*v - 9. Let b be p(t). Let z be b/2*6/(-9). Solve 12 = 4*w, -3*g + 5*w - w - z = 0 for g.
-3
Let d be (24/(-20))/((-6)/20) + 0. Solve -d*g - 1 = m - 6, -4*g = 5*m - 9 for m.
1
Suppose -6*q - 3*q = 171. Let k be (3 - q/(-7)) + 2/(-7). Solve 0 = -4*c - 4*a + 24, 0 = -5*c - k*a + 2*a + 16 for c.
4
Let v = 423 - 409. Solve -8 = -2*h, 2*l + 4 + v = 4*h for l.
-1
Let f(k) = -5*k. Let z = 6 + -5. Let i be f(z). Let r = i + 30. Solve 4*v - 5 = 2*v + 5*d, -5*d + r = 4*v for v.
5
Let i be ((-13)/((-455)/(-28)))/(1/(-5)). Solve 3*a - 13 = -2*m, -i*m - 3*a = -0*m - 23 for m.
5
Suppose 4*d - 2*k + 0 = 32, 2*k = 5*d - 40. Solve 3*q - d = -4*w + 7, -5 = w - q for w.
0
Let b(x) = -x**3 + 3*x**2 + x - 3. Let m be b(2). Let k be (3 - (1 + m))/((-1)/2). Solve 4*f = -3*i - 6 - 16, -k*f = -5*i - 2 for f.
-4
Suppose -7 = a - 9. Let v be ((-3)/9)/((-2)/30). Suppose -2*t = 5*i - t - 25, 0 = -i + a*t + v. Solve -5*h - 5*f + i = -0*f, 15 = 3*h - f for h.
4
Suppose -5 = -4*r - 29. Let c be ((-2)/r)/((-1)/(-6)). Solve 5*l = 2*j + 16, -c*l + 26 = 5*j + 2*l for j.
2
Suppose 3*v - 3 = 2*v. Let b be 13 - v/((-6)/4). Suppose t = -0*t - k + 16, 0 = 3*k + b. Solve -5*j + d + t = -0*d, 16 = 3*j - 4*d for j.
4
Suppose -3*k + 4*k - 13 = 0. Suppose 4*h - 16 = 0, -2*c + k = 3*h - 17. Solve 0 = 3*l - c, 0*l - 2*l = -n - 6 for n.
0
Suppose -1 = 3*t - 7. Solve t*c - 4*a - 10 = 0, 3*c + 5*a = 3 + 1 for c.
3
Let t = -35 + 21. Let m = 15 - t. Let o = -21 + m. Solve -2*j - p + 14 = -3*p, 4*p + o = 0 for j.
5
Let n be ((-15)/(-2))/(1/2). Suppose -h + 7*h - 72 = 0. Let l be n + 2 + h/(-4). Solve -4*m = 5*o + m - 30, -2*o + l = 4*m for o.
5
Let t(j) = -j**2 - 15*j - 48. Let u be t(-5). Solve -i - i + 6 = 2*b, -11 = -u*b + 3*i for b.
4
Suppose -3*f - 18 = -4*b, -3*f + 0*f - 21 = -5*b. Let q be 9/(-6)*(-16)/6. Let x = 53 + -50. Solve -u + 24 = q*u - c, -b*u = -x*c - 12 for u.
5
Let n be (-248)/(-10) - ((-238)/(-35) + -6). Solve -3*p - 5*y - 7 - 1 = 0, -3*p + 3*y + n = 0 for p.
4
Let p(b) = 32*b**2 - 64*b + 5. Let d be p(2). Let m = -4 + 8. Solve -m*i + d*y + 4 = 26, -y + 17 = -5*i for i.
-3
Let p = -1943 + 1890. Let k(a) = -2*a**2 - 8*a - 4. Let b be k(-6). Let r = b - p. Solve 0*u - 4*u - r = 3*c, -9 = 3*c for u.
-4
Let l be ((-2)/5)/(2/(-10)). Let w be ((-10)/50)/(l/(-20)). Solve -w*j - 10 = -6*j - v, v - 6 = -2*j for j.
2
Let y be 0 - (-1*15)/3. Suppose 2*w - y = -3*w. Suppose -4*i = -4*o, -i + 0*i - 6 = -3*o. Solve w = 2*l + v, 0 = -l - o*v + 13 - 5 for l.
-1
Let g = -146 - -149. Solve 0 = 4*t - g*f + 3 - 2, 0 = -4*f - 4 for t.
-1
Let d = -213 + 215. Solve u + 7 = -4*u - 4*a, 0 = d*u - 4*a - 14 for u.
1
Let x(j) = 18*j**2 - 2*j - 1. Let h be x(-1). Let q(c) = -c**2 + 20*c + 2. Let n be q(h). Solve 0*w - 4*s + 22 = 2*w, 3*w + 3*s - n = 0 for w.
3
Suppose -4*m + 6*m = 56. Let g be m/8*32/28. Solve 4*a - 27 = 2*l - 9, 0 = g*l - 2*a + 6 for l.
1
Suppose -12*k = -91 + 31. Solve -5 + 0 = 5*h, 5*a = k*h + 10 for a.
1
Suppose 0 = 3*k - 15 + 6. Let x(p) = -p**3 + 14*p**2 - 28*p + 11. Let l be x(12). Let q = l + 37. Solve 3*y - y = -k*g - 7, q = g + 3*y for g.
-3
Let s(q) = -14*q - 13. Let b be s(-4). Let a = -35 + b. Suppose 6*d = 10*d - a. Solve -l = -3*n + d*l - 3, -3*l + 7 = -5*n for n.
-2
Let v be -4 + 12 - (-6 - -11). Solve 0 = 2*x + v*o - 14, 3*x - 3*o + 7 = -2*x for x.
1
Let k be 2/(-17) + 36/17. Solve -k*d - 4 = u, -5*d - u - 10 = 3*u for d.
-2
Let o be (-2)/16 - (300/(-96) - -2). Solve 2*q - 3*j + 5 = 0, -j = 3*q + o + 1 for q.
-1
Let r = 197 - 192. Solve l - 9 = -r*z, 0 = -z - l - 0*l + 1 for z.
2
Let p(r) = 4*r - 20. Let z be p(5). Let j(l) = 2*l**2 + 2*l + 4. Let h be j(z). Solve 2*i - 20 = 4*s + 4*i, -h*s - i = 18 for s.
-4
Suppose -4*p = -7*p - 24. Let h = 0 - p. Let m = 9 - 9. Solve -l + m - h = 2*i, 5*i + 5 = 5*l for i.
-3
Suppose 0 = -2901*f + 2909*f - 40. Solve -3*i + 3*r = -3, -6 = -i - f*r + 19 for i.
5
Suppose -n + p - 1 = -2, 5*p - 5 = 0. Let u be (n - 3)*(-21)/3. Let h = -126 + 133. Solve -2*o + 3*t + 6 = h*t, 2*t = o - u for o.
5
Let z = -17 + 19. Let l(m) = -9*m**z + 10*m**2 - 2 - 3 + 6*m. Let u be l(-7). Solve -2*i + 5*a = 13, -24 = u*i + 3*i - 4*a for i.
-4
Let t(n) = 54*n**2 + 3*n + 2. Let g be t(-1). Let b = g - 28. Solve 5*k - f + b = 4*f, -k = 5*f - 19 for k.
-1
Let o = 427 + -422. Let t(k) = k**3 + 3*k**2 - 3*k - 3. Let s be t(-3). Solve 11 = -2*n - o*y - 2, 2*n - 2*y + s = 0 for n.
-4
Let g = -73 + 75. Suppose -f - 3*f = -o - 3, -g*o + 5*f = 0. Solve y - 14 = -m + 4*m, 0 = 2*m - o*y + 5 for m.
-5
Suppose -354 - 426 = -78*z. Solve 6*n - z = -5*d + 3*n, 2 = d - 5*n for d.
2
Let o(i) = -i**3 - 7*i**2 - 5*i - 5. Let v be o(-7). Let b be (10/(-25))/((-2)/v). Solve 5*q - 6*q - 12 = -4*c, 2*c - q = b for c.
3
Suppose -263 = 3*g - 44. Let h = g + 105. Solve -3*i + w + 8 = -0*w, 4*w = -4*i + h for i.
4
Let p(s) = s**2 + 9*s + 18. Let d be p(-7). Let u be 5/((-4)/d)*-1. Solve -2*h = 5*o - 8, 3*h + 2*o + 2*o = u for h.
-1
Let v = 343 + -341. Solve 1 = q - 2*z + v, 3*q - 5 = -2*z for q.
1
Suppose -4 = 2*h - 0*h. Let g be (25/(-10))/(1/h). Suppose 4 + g = 3*u. Solve -18 = -2*f - 4*d, -4*f + 5*d = -0*f + u for f.
3
Let n = -20 - -29. Suppose -n*a = a - 40. Solve -23 = -3*y + a*w, 3*y - 8*y = 2*w - 21 for y.
5
Let u(y) = -y - 15. Let d = 30 + -17. Let a be 8/(-4) - 1*d. Let x be u(a). Solve 5*v - 5 = -5*f - 20, x = 2*v - f + 3 for v.
-2
Let u be 2/(-3 - (-178)/58). Let a = u + -25. Solve -3*x - 15 = -a*t, -7*t + 2*t = -3*x - 18 for x.
-1
Let g(k) be the first derivative of k**3/3 - 4*k**2 + 14*k - 1. Let p be g(6). Solve -3*x - 3*f - f + 16 = 0, 5*f = -p*x + 13 for x.
4
Suppose t - 5 = -2*o, -3*o - 9 = -4*t - 0*o. Let c = -133 - -135. Solve 0 = -c*m - t*i + 1, 6*i + 12 = 2*i for m.
5
Suppose -5*o - s + 87 = 0, -4*o + 4*s + 102 = o. Suppose 2*g = -5*v + 15, 5*g - 3 + o = 5*v. Solve -3*b - 5*r + g - 6 = 0, 2*b - 5*r = -4 for b.
-2
Suppose 4*c = 478 - 466. Solve -4*u = -c*h - 2 + 8, -5*u + h = 2 for u.
0
Let l be (-253)/22 - (-1)/(-2). Suppose 3*h + 56 = 8. Let w = l - h. Solve -w*b - 7 = i, 4*i + b + 11 = 2*b for i.
-3
Let d(i) be the third derivative of i**6/120 - i**5/30 - i**4/12 + i**3/6 - 20*i**2. Let a be d(4). Solve -3*j - l = -4*l + 30, -3*l + a = -2*j for j.
-5
Let u be 27/(-21)*(-28)/12. Solve -3*n + 8*n = 3*z + 7, -u*n = -3*z - 9 for n.
-1
Let u = -11 + 15. Suppose 4*b + 3*d - 20 = 0, 3*b + 5*d - u = -0*d. Solve -4*v + b*v - 5 = -5*z, -3*z + 3 = -4*v for v.
0
Let n(a) = -a**3 - 4*a**2 + 3*a - 8. Let x be n(-5). Suppose -4*f + 16 = -0*z + x*z, -2 = z. Solve -2*k - f = -3*b, -5*k = -2*k - 6 for b.
3
Let k(q) = 10*q**3 + 2*q**2 - 4*q + 2. Let h be k(1). Let x = h + -5. Solve 0*r = x*s + 4*r, 4*s - r = -21 for s.
-4
Let q = -25 - -28. Suppose 3 - 27 = -q*u. Solve -4*z - 4*t = -u*t + 20, 5*t = -3*z - 7 for z.
-4
Let y(k) = k**2 - 12*k - 3. Let d be y(6). Let w = -11 - d. Suppose 5*i = -c + 10, -2*c - w = -4*c - 2*i. Solve 2*o + c = -l, 0 = 4*l + o + 4*o + 45 for l.
-5
Let x be ((-18)/(-8))/(2/8). Le