for v.
-4
Let z(x) = -x**2 + 11*x - 2. Let h be z(10). Let m be (7 - 6)*(-10)/(-2). Solve s = 3*w - m, h = 4*s - 2*w + 4*w for s.
1
Suppose 2*u + 5*g = 10, 4*u = 3*g - g - 4. Solve u*r = -4*k + 4*r + 20, -20 = -k + 4*r for k.
0
Suppose -6*y + 3*y = 0. Suppose -5*q + 14 = -a, -q + y*q = -1. Let o(c) = -2*c - 16. Let u be o(a). Solve p + 3 = f, u*p = f - 3 - 2 for f.
1
Suppose -2 - 7 = -3*q. Suppose 39 = -4*y - 9. Let o = -9 - y. Solve -x = q*x - 3*v + 17, o*v = x + 11 for x.
-2
Let v(r) = r**2 - 10*r + 24. Let z be v(4). Suppose z*g = -g + 2, -5*g = -4*p - 2. Solve 2*x = -0*h + h - 13, -h - 3 = p*x for x.
-4
Let c = -1471 + 1476. Solve g - 5*u + 3*u + 3 = 0, -5*g = -c*u for g.
3
Suppose 0 = -0*s + 4*s - 8. Let d(p) = -p**3 - 7*p**2 - 9*p - 16. Let h be d(-6). Let r be 4 + 2/(-4)*0. Solve -s*i + 6 = r*v + h, 0 = i + 2 for v.
2
Let n be (-16)/(-72) + (-34)/(-9). Suppose n*o = 2 - 6. Let l be o/6 - (-190)/60. Solve -2*r + 4*y + 6 = 0, l*r + 3 = -5*y - 21 for r.
-3
Let l = 24 + -23. Suppose -2*n = 5*s - 1, l = 2*s + 7. Let t be 2 - (-2)/(n/4). Solve 0*h + 5*h + g = 3, -t = -4*h - g for h.
0
Let m be (21/9)/((-189)/(-243)). Solve -21*r = -23*r + m*z - 20, 4 = -3*r - 2*z for r.
-4
Let k(h) = h**2 + 13*h - 25. Let u be k(-8). Let b = -61 - u. Solve -v - q + b = -5*v, 0 = -4*v - 3*q + 12 for v.
0
Suppose 5*o - 184 = 11. Let b = o + -36. Solve 0 = 3*t + 2*z - 14, -b = 5*t - z - 9 for t.
2
Let s(y) = 2*y + 14. Let d be s(-6). Suppose 0 = w + d, o = -5*w + 3*w - 14. Let m = -10 - o. Solve 0 = f - b - m*b - 7, -4*f = 5*b - 10 for f.
5
Let l be 3111/(-34) + (-5)/2. Let x = -91 - l. Solve -3*c = c - 4*o, 5*o = -x*c for c.
0
Let n(c) = 2*c - 16. Let q be n(-12). Let f = q + 60. Solve 2*u - 3*z = -2*z, 0 = 5*z + f for u.
-2
Let p = -42 + 42. Suppose -38*w + 36*w + 6 = p. Solve 3*v - 3*i = w, -v + 21 = 4*v + 3*i for v.
3
Suppose 5*p + 3*i - 149 = 111, -i - 260 = -5*p. Suppose -2*m - p = 2*m. Let a = -13 - m. Solve s + a*t - 2*t = 6, -4*s - 12 = 4*t for s.
0
Suppose 17*a = -6*a. Solve -4*o + 3*y = 9, -3*y + 9 = -a*o + 3*o for o.
0
Suppose 2*d - 9 = -x - 0*d, 6 = 3*d. Solve -3*h = x*i - 15, 4*i + 2*h - 12 = h for i.
3
Let h(f) = 3*f + 0*f + 22 - 2*f. Let c be h(-16). Solve 5*g = t + c + 15, 5*t = -2*g + 3 for t.
-1
Let u(q) = -5*q - 29. Let l(g) = g. Let y(k) = -3*l(k) - u(k). Let n be y(-10). Solve -5*a + 4*m - 19 = n, -4*m = -2*a - 16 for a.
-4
Let g = -1182 - -1185. Solve 3*c = -4*m - 7 - 21, 3*m = -g*c - 24 for m.
-4
Suppose 23*j - 18 - 51 = 0. Solve -5*b - 5 = 0, 4*b + 4 = -j*w - 3 for w.
-1
Let c(u) = -2*u - 5. Let d be c(-7). Suppose -67 = -d*k - 13. Solve 9*m = 4*m + 15, -3*w - 2*m = k for w.
-4
Let c(w) = -w - 3. Suppose 0 = -4*j + 7*j + 30. Let q be c(j). Suppose -3*v - 4*n + 23 = 0, -2*n + q = 3. Solve -5*b = v*k + 15, -b = -4*k - 4*b - 10 for k.
-1
Suppose 16*p - 16 = 16. Let n be 6/(-1*2) + 0. Let m be (n*4)/((-3)/2). Solve 0 = 4*i - 4*a - 24, 0*a = 2*i + p*a - m for i.
5
Let d(g) = 2*g - 26. Let o be d(12). Let n be ((-1)/o)/((-5)/(-30)). Solve -5*b + 2*b + 5*i - 20 = 0, n*i = -2*b + 12 for b.
0
Suppose -2*s - 3 = -7. Suppose -2*o - 5 = -o - y, -s*o + 4*y = 20. Solve o = 4*u + 20, 0 = c + 4*u + 21 + 2 for c.
-3
Suppose 0 = -3*m + 1 - 10, -9 = -3*b + 3*m. Let u be (-16)/10*100/(-8). Let c = u + b. Solve h + 5*s + c = 2*h, -2*h - 5*s = 35 for h.
-5
Let r = -29 - -36. Suppose -2*t - 9 = -2*z + r, 4*z = 3*t + 29. Solve -4*a + d + 0 = -z, -5 = 2*a - 3*d for a.
2
Suppose -3*p - 4*d = -4*p - 17, 2*p + 4 = 2*d. Suppose n + 3*n = 4*s + 40, -p*s = -n + 20. Solve -n*j - 6 = 3*k, -4*j - 2 = 10 for k.
3
Let q = 765 + -761. Suppose 4*k + k - 10 = 0. Suppose -5*s = -m - 17, k = s - 2. Solve 5*x + q + 0 = m*z, -x = 3*z + 8 for x.
-2
Let z be ((-3)/(-9))/(3/(-27)). Let p be (-35)/z + (-6)/(-18). Solve 0*t = t + 5*k - 20, 3*k = 5*t + p for t.
0
Let m(i) = i**3 - 7*i**2 - 3*i - 35. Let t be m(8). Solve -3*b - d - 9 = 0, -5*b + 2*d = -3*d - t for b.
-2
Let f = -21 - -23. Solve 4*d - 10 = s + 4, -3*d = f*s - 16 for s.
2
Let u = -650 + 653. Solve u*c + 3*s - 21 = 0, 4*s + s - 20 = 0 for c.
3
Let h be (3/9)/(4 + 141/(-36)). Solve -b + 3*z = 2*b + 6, -8 = h*b + z for b.
-2
Suppose 2*z = -4*b + 2, 8 = 3*z + 3*b - 2*b. Solve z*w = i - 2, -2*i - 8 = -6*i + 2*w for i.
2
Let v be 1/3 + 66/18 + 9. Solve -8 = -3*s + 5*s + c, 3*s + 2*c + v = 0 for s.
-3
Suppose 4*i = 2*q + 20, 4*q + 57 - 52 = i. Solve 20 = -i*a - d, 4*d = -3*a - 15 - 14 for a.
-3
Suppose w - 3 = 0, 3*y - 2*w - 2*w = 0. Solve 12 = y*d, 2*b + 15 = -b + 4*d for b.
-1
Let k = 1325 - 1305. Solve -5*w - b - 6 - 19 = 0, 3*b - k = 4*w for w.
-5
Let h(s) = s**2 - 7*s + 3. Let c be h(6). Let m be c/(-3) + -1 + 3. Suppose -j = m*j - 8. Solve 0 = -2*o - 3*o + 3*q - 1, 2*q = 2*o + j for o.
1
Let k(m) be the second derivative of m**4/4 - 19*m**3/6 - 2*m**2 - 6*m. Let d be k(7). Solve -5*h + d = b, -5*b = -3*h - 2*h + 10 for h.
2
Let v(h) = 25*h - 172. Let c be v(7). Solve -n + c = -j, 4*n = -j + 3*j + 8 for j.
-2
Let l = -14 - -2. Let s be 8/32 + (-57)/l. Solve 0 = s*u + 2*q + 13, -2*q - 8 = 4*u + 4 for u.
-1
Let q = -16 - -23. Suppose 0 = -o - i + 4, -5*i + 22 - q = 4*o. Suppose r = -o*m + 23 + 8, -20 = -4*m + 4*r. Solve 2*x - 9 = n, -2*n + m = x - 3*n for x.
3
Let z be 2/((-2)/1)*-1. Suppose 0 = 6*m + 2*m. Suppose m = 3*x + 4*s + 7, 2*s + 10 = -2*x - 2*s. Solve 4*p - 7 = 4*f + z, -p - 18 = x*f for p.
-3
Let m be 4 - (86 - -4) - (1 + 2). Let l = m + 96. Solve 5*g - 6*g + 4*z = -l, 3*z = -g for g.
3
Let k be 2/4*448/32. Solve 0 = -2*l - 3*z - k, 9*z - 8*z - 15 = -5*l for l.
4
Let j(l) = -l**2 - 23*l + 29. Let h be j(-23). Solve -5*r + 20 = 0, -3*v - h = -5*r - 3 for v.
-2
Let h(m) = -m + 11. Let g be h(-16). Let p(s) = s**3 - 29*s**2 + 54*s + 2. Let c be p(g). Solve 5*q + 19 = 2*r, -4*r + 2*r = c*q + 2 for q.
-3
Let c = 57 - 53. Solve 3*p - 7 + 3 = c*w, -4*p - w - 1 = 0 for p.
0
Suppose -264 + 180 = -21*o. Solve 4*f = -3*q + 16, 2*q - o = f - 2*f for q.
0
Let g = -1089 + 1092. Solve 14 = 3*x - 4*j, -x + 5*j + 17 = g*x for x.
-2
Suppose 18 = y + 13. Let v be ((-1)/4*(0 + 0))/2. Solve -2*x - y*h = 3, -3*h + v = x + 1 for x.
-4
Let y(z) = -9*z - 18. Let s be y(-4). Solve 4*i - 24 = -0*h + 2*h, -2*i + 4*h = -s for i.
5
Let h be 13/5 - (-2)/5. Suppose 2*r - 7 - h = 0. Let p = -2 + r. Solve z - 4*s = -4*z + 21, s = -z - p for z.
1
Suppose -11*q + 9*q + 4 = 0. Suppose -o - q*k = -23, 0*k + 61 = 3*o + 4*k. Suppose -o = -d + 7. Solve -4*s - d = 4*r - r, 10 = -r - 2*s for r.
-2
Let y(h) = -h**2 - 7*h + 11. Suppose 0 = -8*d - 11 - 53. Let q be y(d). Solve -q*b + 25 = -2*m, -m - 5*b = -0*m - 20 for m.
-5
Let y(v) = 2*v**2 - 8*v + 2. Let l be y(3). Let u be 1/3*l*-18. Solve -c + 4*a + u = 3*c, c - 3*a - 8 = 0 for c.
5
Let s = -634 - -660. Suppose 2*z - 2*q = -34, q + 63 = 3*z - 6*z. Let b = z + s. Solve k - b*k = 5*p - 25, 4*k - 20 = -3*p for k.
5
Suppose n + 5*k + 14 = -81, 5*n = -4*k - 412. Let c be (-34)/(-8) + 20/n. Solve 2*z - c*q - 14 = 0, -5*z - 4 = -3*z + 2*q for z.
1
Let j = -167 + 167. Solve 0 = -2*w + x - 3, 15 = -3*x - j*x for w.
-4
Let m = -12 + 32. Suppose 137 - 165 = -7*g. Solve g*y + y - p = m, y - p - 4 = 0 for y.
4
Let g(i) = 5*i**2 - 1. Let f be g(-1). Solve 2*y + 3*x = 3*y - 3, 3*x - 12 = -f*y for y.
3
Let w(i) be the third derivative of i**4/12 + 5*i**3/3 + 7*i**2. Let j be w(-4). Solve 0 = j*p - 5*d - 5, p - 4 + 1 = 2*d for p.
5
Let n be 2*((-5)/10)/((-2)/4). Let i be 36/(-30)*(-5)/n. Solve l + 3*l - 4 = -i*a, -2*l - 5*a + 16 = 0 for l.
-2
Suppose 12 = 4*j + 8*n - 7*n, 0 = -3*n - 12. Let m = -1 + 4. Solve 2*d + 0 = -j*v - 2, 5*v = m*d - 19 for v.
-2
Let f be 0 - 1*5*-1. Suppose -4*p = 5*c - 5, -4*p - p + 4 = 4*c. Suppose 2*h - h - f = p. Solve -4*i + 2*i = -8, 2*w - h*i = -30 for w.
-5
Let j(c) = 14*c + 86. Let y be j(-6). Solve 3*v + f - y = 0, 4*v - 4*f + 8 = -v for v.
0
Suppose -16 + 6 = -2*f. Suppose 2*m - 2 = 0, 7 + 4 = 3*u + f*m. Solve u*g - w - 1 = 0, 0*g - g = -4*w + 17 for g.
3
Let w(j) = -4*j + 84. Let y(i) = -3*i + 56. Let k(z) = -5*w(z) + 7*y(z). Let u be k(-14). Let c be 25/3 - u/21. Solve -5*f - 4*s = -12, -f + 2*s = -s + c for f.
0
Suppose -91*m + 300 = -79*m. Solve m = 4*p - 5*l, -4*l + 5*l = -5 for p.
0
Let f = -76 + 130. Suppose -b = b, -3*z + 5*b + f = 0. Solve 3*w - z = 3*r, -3*w + 0*r + 10 = r