1 = -4*v + y for v.
0
Suppose 10*s - 15 = 6*s + b, -s + 3 = -b. Solve 0 = -j + 3*j - 2*p + 8, 3*j - 23 = -s*p for j.
1
Let o(p) = -p**3 + 7*p**2 - 9*p + 5. Let n be o(5). Solve -t = -3*y - 7, -3*t = -y + 1 + n for t.
-5
Suppose 26*g = 33*g - 14. Solve 0 = -2*b - g*h + 4, -b + 2*h + 16 = 2*b for b.
4
Suppose -3*g - 10*z = -7*z - 36, 3*g - 5*z = -4. Solve 2*w - 4 = -3*l + g*l, -w + 3*l = -5 for w.
-4
Suppose -6*j + 2*j = -8. Suppose -5*b - 15 + 80 = 0. Suppose p + 4 - b = -5*z, -3*p + 7 = -5*z. Solve 5*a - s + p*s = 15, -2*a = -j*s - 6 for a.
3
Suppose -b = -0*b + 5, b + 95 = 3*s. Let j = s - 27. Solve 3*x + 9 = -3*f, -j*f - 1 = 4*x + 8 for x.
0
Let j = -52 - -160. Let a be ((-6)/(-4))/3*6. Suppose 7*l - j = a*l. Solve 4*y + 5*f + l = 0, -y - 3*f = -4*f for y.
-3
Let g(o) = o**2 + o + 4. Let v be g(3). Suppose -8 = -4*i + v. Solve 3*h - a - i = -2*a, 4*a = -4*h for h.
3
Suppose 0 = -o + 5 - 1. Solve -4*a = x + x + 18, -21 = o*a - x for a.
-5
Suppose -95*l + 78*l = -68. Let b(v) = v**3 + 4*v**2 + 4*v + 3. Let s be b(-2). Let q be 9/6*4/s. Solve q*a + 6 = 4*w, w - l*w + 8 = 2*a for a.
1
Let d(m) = -2*m**3 + 46*m**2 + 6. Let h be d(23). Solve -4*w + 3*x - 21 = 0, 0*x = -3*w - 5*x + h for w.
-3
Suppose b - 34*b + 165 = 0. Solve -3*i - 5*g = -b*i + 10, g = -2*i + 10 for i.
5
Suppose z - 9 = -4. Suppose -z*x - 6 = -3*j + 9, -j = 4*x - 5. Solve 6*p = 2*p - 4*d, -j*p - d = -8 for p.
2
Let d(r) = -r**3 + 7*r**2 - 6*r + 2. Let s be d(6). Let p = -1392 - -1397. Solve -22 = p*i + 3*h, 22 = -3*i - s*h - 2*h for i.
-2
Let d(q) = -5*q**3 + 10*q**2 + 4*q - 5. Let l be d(2). Solve 35 = -5*i + l*s, -3*i = -2*i + s - 1 for i.
-4
Suppose 0 = 29*v - 30*v + 10. Solve 2*l = v, -2*l = -2*x - 15 + 3 for x.
-1
Let k(m) = -m**2 - 30*m - 214. Let c be k(-12). Suppose -2*p + 12 + 10 = 0. Solve -13 = 5*n - x - c*x, 0 = 3*n - x + p for n.
-5
Let v(f) = 6*f**2 - 2*f - 1. Let b be v(-1). Suppose 43 = 4*z - 41. Suppose w - 15 = -4*k, 5*w + 0*w - z = -2*k. Solve 4*d - 20 = w*u - b, u + 7 = 4*d for u.
-3
Let p(v) = -v**2 + 8*v + 12. Let r be p(9). Solve -3 = -r*k + q - 1, 3*k - 12 = 3*q for k.
-1
Let q(b) = 3*b**3 - 2*b - 1. Let v be q(-1). Let d be v/(3*(-2)/12). Solve 4*l = 3*y - 0*l - 3, -d*y + 5*l = -5 for y.
5
Let v = 796 - 791. Solve -b + p - 7 = 1, -5 = v*b + 2*p for b.
-3
Let s(v) = v**2 - 2*v - 35. Let f be s(-5). Solve l + 26 = 5*i, -2*i + 13 = -3*l - f*l for i.
5
Let t(w) be the third derivative of w**5/60 + 11*w**4/24 + 13*w**3/6 - 17*w**2. Let v be t(-10). Solve 2 + 1 = -3*m - v*s, 3*m - 2*s - 22 = 0 for m.
4
Suppose -3*x = 3*j - 9, 12 = -3*j + 5*x - 3. Solve j = -t - 6 + 2, 2*b - t = -6 for b.
-5
Suppose 0 = -2*w + 13 - 7. Suppose -8 = -0*a - 2*a, -36 = -3*m - w*a. Solve -3*l + 9 = m*h - 4*h, 0 = 4*l - 5*h - 12 for l.
3
Let v be 4/12*0*1. Solve 2*t + v*w = 3*w + 3, t - 3*w - 3 = 0 for t.
0
Let c = 38 - 11. Suppose 0 = 5*j - 2*j - 5*x - 43, 2*j - c = 3*x. Suppose -p + j = p. Solve p*n - 3*l + 18 = 0, n - 4*n - 5*l = -6 for n.
-3
Suppose 0 = 11*f - 41 + 8. Solve -4*z + 0*w - f*w = -3, 2*w = 3*z + 2 for z.
0
Let m be ((-1)/(-4))/((-2)/(-32)). Let x be (6/m)/((-12)/(-360)). Solve 3*t + 4*b + 1 = 0, t + 5*b = 6*t - x for t.
5
Let v be 8/(-6) + 2 - (-160)/48. Solve -l + 0*l + 8 = -v*f, l + 3*f = -13 for l.
-4
Let p = 158 - 155. Solve k - 4*d = 3, p*k - 12 = -k + 2*d for k.
3
Let r be (-17)/(2 + 1 + -4). Solve 4*q + 6*c - 18 = 3*c, -5*q = c - r for q.
3
Suppose 0 = -2*b + 5*b. Suppose -5*m = -5, 3*h - m + 14 = 25. Solve -4*g + b*g = -3*c + 4, -h*g - 8 = -4*c for g.
2
Suppose -25*v + 1 = w - 26*v, -4*w + 4 = 4*v. Solve y - w = 4*u + 1, y - 2 = 3*u for u.
0
Let n = -20 - -54. Suppose 3*b = 5 + n. Suppose b*q = 8*q + 35. Solve h = -2*m + 7, 3*h = m + q*h - 7 for m.
3
Suppose 507*j + 39 = 520*j. Solve 0 = j*z + 3*i - 2*i - 12, 3*z - 24 = -5*i for z.
3
Suppose -w + d = -55 + 149, 12 = 4*d. Let n be (-4 + 2)/2 - w. Let y be (-1)/2 - n/(-20). Solve 0*x - x = 2*z + 8, 14 = -2*z - y*x for z.
-3
Let m(g) = -g**3 + 4*g**2 + 12*g + 4. Let w be m(6). Solve -4*i + 20 = -w*r, i - 3*i - 5*r = -3 for i.
4
Let m = 2050 - 2041. Solve -5*t - 10*z + 15 = -5*z, 2*t - 3*z = -m for t.
0
Suppose 0 = -6*f + 53 - 11. Suppose 5*z + f = s, 3*s + 3*z - 5 = -s. Solve -4*l + 7 = 3*h, -s*l - 2*l + 13 = h for h.
-3
Let r = 148 + -101. Suppose 42 = -b + r. Solve -3 = -m, -22 = b*v - 4*m - 5 for v.
-1
Suppose -72 = 11*q - 35*q. Solve 2*b - 14 = 4*w, b = -q + 6 for w.
-2
Suppose 5*x + 10 + 2 = -2*q, 3 = -3*x + 3*q. Let c be 3 + -4 - (-6 - x). Solve -z + 5 = c*j + j, -5*z = -3*j - 25 for j.
0
Let y be 15/(-9)*(-54)/45. Solve -5*t - 6 + 5 = 3*p, -4*p = y*t + 6 for t.
1
Let k = -249 - -254. Solve 4*j - 4*c = 8, -k*j + 0 + 22 = -c for j.
5
Suppose -4*t + 14 = -21*m + 23*m, 2*t - m = 9. Solve j = -5*g - 7, -2*j = t - 0 for g.
-1
Suppose 2*z = 33 - 11. Let l = -6 + z. Let j be (-3)/6 - (-5)/10. Solve l*a + y + j*y + 23 = 0, -y = a + 7 for a.
-4
Suppose 173*k + 44 = 175*k. Solve 6 = -0*y + 3*y, 4*q = -3*y + k for q.
4
Suppose -19 = d + 3*f, -2*d - f - 18 = f. Let a = 5 + d. Let z be (10/7)/(a/7). Solve 0*x - r - z = -5*x, 0 = -2*x + 5*r + 27 for x.
1
Suppose -10 = 3*j - 5*s, s = -3*j - 1 + 3. Solve 0*f + 2*k = -3*f, f + k = j for f.
0
Let r(k) be the second derivative of k**3/6 - 11*k**2/2 + 21*k. Let d be r(16). Solve 2*w + 28 = -4*u, 3*u + d*w = 4*w - 19 for u.
-5
Let d be ((-5)/3)/(1/(-3)). Let b be -4*(3 + 27/(-12)). Let i be b/2 + (-36)/(-8). Solve i*x = -5*g + 20 + 10, -d*g = 5*x - 40 for g.
3
Suppose -4*u + s + 6 = 0, 0 = u + 2*u - 5*s + 4. Solve 9*c - 6*c - 19 = 5*z, 4*z + 14 = u*c for c.
3
Let n = -141 + 117. Let s be (-3)/(-18) + 4/n + 2. Solve 2*q + 18 = 4*v, q - 3 = -s*v - 0 for v.
3
Let n(o) = -62*o - 370. Let m be n(-6). Solve -5*z - 5*w + 10 = 0, 3*z - m*w = -3 + 14 for z.
3
Suppose 6*q + 148 = 2*q. Let z = q + 39. Suppose 6*k = 2*k + 2*d + 58, z*d = -5*k + 59. Solve 4*u + 2*i - k = -3, 5*i = -5*u + 5 for u.
4
Let f be 3 + -2 - 3 - -7. Let s = -11 - -8. Let b be -2 + (2 - s) - -2. Solve u - f*j + 0*j = -13, -b*u = 4*j + 7 for u.
-3
Let h(n) = -17*n - 286. Let d be h(-17). Solve m = -4*s + 21, -2*m = -d*s - 4*m + 22 for s.
4
Let p(a) = a**3 + 9 + 7*a**2 + 5*a - 4 - 2*a**2 - a**2. Let t be p(-2). Solve -b - d = t, b - 6*b - d - 19 = 0 for b.
-4
Let d(z) = 7*z - 56. Let n be d(8). Solve -4*o - 20 = n, 3*o + 33 = -4*g - 2*o for g.
-2
Let x(j) = -17*j**2 - 1. Let k be x(1). Let o(m) = m**3 - 5*m**2 + 2*m + 3. Let g be o(4). Let n = g - k. Solve 0 = 3*w - 6, 2*w - n = 3*p - 3*w for p.
-1
Suppose -10 = -3*g + 2*n + 4, -n = 3*g - 2. Suppose -3*d = -g*d - 3. Suppose 48 = 3*o - d*s, o - 5*s = -0*s + 28. Solve 3*u + 5*j = -40, -3*u + j + 3 = o for u.
-5
Let g = 37 + -17. Suppose -10*c - 57 = -87. Suppose -4*m + 4 = 3*v, -c*v = 2*v + g. Solve -4*f + 12 - 4 = l, -16 = -m*l for f.
1
Let x(q) = -q**3 - 5*q**2 - 2*q - 10. Let j be x(-5). Let n be (-2 - -1)*1 - -3 - j. Let t = 9 + -4. Solve n*b - t = b, 0 = -2*a - 2*b + 10 for a.
0
Let o be 12/10 + 2/(-11 + 1). Let y(a) be the third derivative of a**4/12 - a**3/3 - a**2. Let c be y(o). Solve -2*k = g - 1 + 16, c = 5*g + k + 30 for g.
-5
Suppose 4*g + 36 = -32. Suppose 4*t - 3*t = -29. Let s = g - t. Solve 25 = -5*n + 5*m, 2*m + 4 = n + s for n.
-2
Let a be (-1)/4*0*(-2)/(-10). Solve 5*n = -4*b + 16 + 17, a = 2*n - 10 for b.
2
Let v(k) be the third derivative of -k**6/120 + 13*k**5/60 - k**4/24 + 8*k**3/3 - 10*k**2. Let n be v(13). Solve 8 = 4*d - 3*u, -n*d - 3*u + 25 + 2 = 0 for d.
5
Let g(x) = -x - 14. Let q be g(-15). Suppose -4 = m + 3*t, 4*m + 2*t + q = 15. Suppose -m*d = -3*d - 10. Solve -5*c + 6 = 4*p, -3*c + p = d*p - 2 for c.
2
Let a(m) be the third derivative of -m**4/12 - 5*m**3/2 - m**2. Let o be a(-9). Let r = 1 - -3. Solve 3*u = o*v + 6 + 6, -19 = -u + r*v for u.
-1
Let m be (224/(-48) - -6)/((-2)/(-6)). Solve -5*r = -2*a - 3, -3*a - 16 = -0*a + m*r for a.
-4
Let i = -1358 + 1361. Solve 18 = c + i*c - s, 6 = 3*s for c.
5
Let o = -128 - -133. Solve -b + 3*i - 15 = 2*b, -o*b = -4*i + 25 for b.
-5
Let p(b) = -b - 5. Let u be p(-9). Suppose w - 4*w = 4*c + 6, 5*w - 5*c - 25 = 0. Solve -2*y = 2*a + 6, w*a - u - 6 = 2*y for a.
1
Let t(y) = y**2 - 24*y + 119. Let q be t(17). Solve q = -z - 5, 0*z = -3*d + 2*z + 16 for d.
2
Let x(j) = -2*j**2 + 7*j + 35. Let 