 = r - 0. Solve -2*w + 14 = 3*v, t = -2*v + w + w for v.
2
Suppose 0 = s - 19 + 6. Suppose 2*d + 7 - 15 = 0. Suppose h - 55 = -d*h. Solve -l - h = -2*a, -2*l - s = -2*a + a for a.
3
Let z be 19 - 0*(-1 - -2). Let v = -13 + z. Solve -5*j + v = i + 2*i, -4*j - 3 = 5*i for i.
-3
Let h = -13 + 18. Solve 4*i + 28 = h*d - d, 5*i + 10 = 0 for d.
5
Let u(c) = c**2 - 5*c - 9. Let k be u(7). Suppose k*s - 4 = 21. Solve 4*p = 5*i + 9*p, -2*i + s*p + 21 = 0 for i.
3
Suppose 0 = -5*c + 8*c - 12. Suppose -4 - c = -2*p. Solve 6*z - 3*z = p*o + 7, -2*z = 2*o + 14 for o.
-4
Suppose j - 3*l - 14 = 2*l, 5*l = -2*j - 2. Let n = 3 + -5. Let z = 2 + n. Solve 0 = -z*g + j*g - 4*b, 6 = -3*b for g.
-2
Suppose -10*s + 24 + 16 = 0. Solve 8 = s*b - 2*f, -4*b - 4*f + 4 = -4 for b.
2
Suppose 5*c - 2*c - 18 = 0. Suppose -2*v + 8 = 0, -2*t + v + 4*v - 14 = 0. Let l = 1 + t. Solve -4*f = 2*g - c - l, -f + 13 = -3*g for f.
4
Let k be (-2 - -1)*-5 + 3. Suppose r - 3*r = -k. Solve 4*z - z = -r*i - 31, 4*i = -2*z - 26 for i.
-4
Let q(y) = -y**2 - 6*y - 6. Let a be q(-4). Suppose -a*i = 5*c - 16, -4*c - 7 = 5*i - 30. Solve 3*s - x = -14, 0 = -s - c*s + 3*x - 12 for s.
-5
Let z = 6 + -4. Let u = -20 - -30. Suppose 2*h - 2*m = 2, z*h = -m - m + u. Solve 5*d - 15 = 2*y, -d - 3 = -2*d - h*y for d.
3
Let z be 2/(2/2) - 2. Let p be (-7)/(-3) + (-2)/(-3). Suppose 4 = 2*h - 26. Solve c + 25 = -5*g, z*g + p*g = -h for c.
0
Let x(l) be the second derivative of l**4/12 - l**3/2 + 2*l**2 + l. Let o be x(3). Let u be o/2 - (2 + -4). Solve -u*h + 0 = 3*b + 8, 3*h = -6 for b.
0
Let q(c) = -3*c - 11. Let v be q(-8). Let l = v + -6. Let f = 7 - l. Solve -2*a + 2*o + 0*o = 6, f = 3*a + o - 11 for a.
2
Suppose 3*d = 11 - 2. Let b be (-2 + d + -13)*-1. Let g = -7 + b. Solve 17 = g*y - 4*j, y = 5*j + 11 + 5 for y.
1
Suppose 0*b = -3*b + 12. Solve 23 = -b*d + 2*v - 5*v, -2*d = -5*v + 5 for d.
-5
Let j(t) = t**3 - 8*t**2 + 9*t + 2. Let q be j(7). Let z = -10 + q. Let i be (z/(-15))/((-1)/10). Solve -i*d + 14 = -2*r, 0 = -4*r + 3*d - 5*d + 2 for r.
-1
Suppose 16 = -4*b, -3*b + 2*b = 4*n - 24. Let y be -4*(n/4 + -3). Solve 5*j = 4*u - 18, -y*j + 2*j - 4 = u for j.
-2
Suppose -3*m = 3*f - 2*m - 135, 3*f - 3*m = 135. Solve 4*j = -3*u - u, -f = -5*j + 4*u for j.
5
Suppose -3*h = -60 + 9. Solve 0*y = -y - 5*z - 29, 5*z = 2*y - h for y.
-4
Let j(w) = 4*w**2 + 3*w + 1. Let h be j(-4). Suppose -9 + h = 2*t. Solve 5*z - 10 - 25 = 4*q, -5*q - t = z for q.
-5
Let u(m) = m + 28. Let h be u(-17). Solve 0*v = -5*z - v + h, 3*v = -5*z + 13 for z.
2
Suppose 0 = -5*m + 4 + 11. Solve -2*b - 1 - 1 = -m*s, -3*s - 6 = 0 for b.
-4
Let t = 0 + 4. Solve -5*d + 5 = 10, 2*a = -4*d + t for a.
4
Let r(y) = -y**2 + 4*y + 1. Let n be r(2). Solve 4 = -5*u - j + 27, -31 = -4*u - n*j for u.
4
Let v be 8/16 - ((-11)/2 - -2). Solve -v*m + 22 = a + 1, -2*a = -3*m + 2 for m.
4
Let n(m) = -m**2 + 7*m + 3. Let q be n(7). Let i be (-68)/(-28) - (-6)/(-14). Suppose -i = j - 4. Solve 0*c = q*c + 3*o, 3*o = -j*c - 1 for c.
1
Suppose 0*k + 18 = 3*k. Suppose k = 3*b - 0. Let l(o) = -2*o - 4. Let v be l(-4). Solve 0 = -v*f - 3*t + 7*t, 5*f + 3 = b*t for f.
-1
Let v be 4*-3 - (4 - 7). Let d = v - -11. Solve -3*w = z + d + 6, 4*z - w = -19 for z.
-5
Let l(m) = m**2 - m + 2. Let w be l(0). Suppose 8*b - 34 + 18 = 0. Solve 0 = 2*g - b*y - w, -g = -2*g - 2*y - 5 for g.
-1
Let v be -4*2/36 - 2/(-9). Solve 5*q + v*q = 5*x, 0 = q - 5*x - 16 for q.
-4
Let s be 65/15 + 2/3. Suppose -2*y = -4*u + 10, 14 = s*u - 5*y + 3*y. Solve -u*v + 20 = 2*k, 5*k - 2*v - v + 2 = 0 for k.
2
Let h(r) = 2*r**3 + 2*r + 4. Let j be h(0). Solve -2*t - 4*k = 24, 3*t + 0 = 2*k + j for t.
-2
Suppose -4*n + 6 = 2*p, 2*n = -0*n + p + 9. Solve 2*l + 6 = 2*r, r + 0*l = -n*l - 13 for r.
-1
Let s(q) = q**2 - 5*q + 6. Let k be s(5). Let w be 2/6 + (-296)/k. Let j = -32 - w. Solve -3*o = -5*g + j, -g = g - 4*o - 18 for g.
1
Let o = -38 + 66. Suppose 3*h - 4*r + 11 = 0, h + 4*r - o = -r. Solve -5*p = 4*f - 0*f, -h*f = p for p.
0
Let o(h) = -h**2 + 9*h - 2. Let l be o(8). Suppose -4*k = -2*f - f - 118, -33 = -k - f. Solve 5*n + l = k, 3*z = 5*n - 40 for z.
-5
Let v(g) = -g**3 + 7*g**2 + g - 3. Let i be v(7). Let b = i - -1. Solve -25 = -5*s + b*w, -5*s + 4 + 12 = -2*w for s.
2
Let i(t) be the third derivative of -t**6/120 + 2*t**5/15 - 7*t**4/24 + 2*t**3/3 + t**2. Let y be i(7). Solve -y*l + 5*x + 14 = 2, 0 = -5*x - 20 for l.
-2
Let i be 2/6 + 8/3. Suppose 4*g - 4 = y - 10, 5*g = -y - i. Solve -w = -2*l, 7*l - y*l - 10 = 5*w for w.
-4
Suppose 4*i + 0*i = 0. Suppose -x = -i*x - 5. Solve 0 = m - 3*a - x, -a - 7 = -m - 2*m for m.
2
Suppose 0 = -3*g - 2*v + 3, -5*v = 5*g. Let l = -3 - -4. Suppose -i - l = -3. Solve -8 = 4*r, -3*r = -g*y + i*r + 1 for y.
-3
Let j = -9 + 15. Solve c - 4*w - j = 0, w = 2*c - 3*w - 8 for c.
2
Suppose 9 = 15*f - 12*f. Solve y + f*l - 5 = 7, -13 = -4*y - 5*l for y.
-3
Suppose 5*x - 4 = 3*x. Solve -5*c = 5*a + 35, -3*a - 10 - 8 = x*c for a.
-4
Let p(c) = c**2 - 10*c - 13. Let s be p(11). Let q be s/1 - (-8)/2. Solve 2*t - 2*b = -2, -5*b + q + 5 = -4*t for t.
2
Let r(b) = b**2 - 5*b - 1. Let h be r(6). Solve 0 = z - c - c + 3, z + h*c - 4 = 0 for z.
-1
Let t be ((-5)/(-15))/(1/6). Solve 3*w - r = -18, t*w + 2*r = -w - 9 for w.
-5
Suppose 0 = 5*o + 5*y - 5 + 20, -3*o + 5*y + 15 = 0. Let l = 3 + -1. Solve 11 = -5*n - o*z - l*z, 2*z = -6 for n.
-1
Suppose 5*b = 5*w - 15, -5*b + 5 + 1 = 2*w. Solve 4*v = -3*c - 2, -v + 2*v = -w*c + 4 for v.
-2
Suppose 5*s = -2*k + 20, -3*k - k + 22 = s. Solve -2*i + 2*q = -3*i - 2, 0 = 4*i - s*q + 8 for i.
-2
Let m = 10 - 9. Let k = 5 + m. Solve -v + s - k = -6*v, -s - 6 = -v for v.
2
Let n(i) = -19*i + 1. Let w be n(1). Let s be 6*3/(w/(-3)). Suppose f + 79 - 7 = s*d, -3*d = -4*f - 63. Solve -3*j - 5 = -6*j + 5*t, 0 = 3*j + 5*t - d for j.
5
Let k be (-1 - 1)*21*(-1)/2. Solve g = 2*j - 6*j + 23, 3*j + 2*g - k = 0 for j.
5
Let d(l) = l**2 - 4*l - 2. Let c be d(5). Suppose 8 + 4 = c*h. Solve 8 = -2*f - 3*x, -h*f + 2*f = 4*x + 12 for f.
2
Let i be (-3)/(6/10) + 3. Let l be (4/12)/(i/(-12)). Let t = 4 - 1. Solve t*j - 5 = -l*x, j - 2*x = -j for j.
1
Suppose -1 = -4*y + 7. Solve 6*i - i = 5*m, -y*i - 16 = 2*m for m.
-4
Let y = 12 + -10. Solve -3*r - r = -4*v + 16, -2*r = -y for v.
5
Suppose 0 = 13*f - 4*f - 18. Solve -9 = -h - 2*k - 1, 2*h + f*k = 6 for h.
-2
Let h(a) = 7*a - 40. Let c be h(9). Solve -14 = 4*d - 2*w, -4*d - c = -7*w + 2*w for d.
-2
Let w be (-12)/9*6/(-4). Suppose 5*d - w*b = 14, 5*d - 2*d - 10 = 2*b. Let t(j) = -5*j - 3. Let m be t(-5). Solve d*f = 2*k - 2*f + m, -8 = -2*f for k.
-3
Let f(b) = b + 5. Let s be f(0). Suppose -5 - 10 = -5*n. Suppose -n = s*k - 13. Solve -12 = -4*g + 4*i, -g + 1 + 6 = -k*i for g.
-1
Let q = 2 - 1. Let w(i) = i**2 + 10*i + 10. Let n be w(-9). Let d be ((-1)/n - q) + 13. Solve -5*z = -v + 17, 3*z - z = -v - d for v.
-3
Let l = -69 + 74. Solve 3*x = -0*o - 2*o + 7, -x + l = 2*o for x.
1
Suppose -n - 5*v - 7 = -55, 2*n - v = 63. Let a = -124 + 129. Solve 6*i = 3*w + i + 35, -2*i = -a*w - n for w.
-5
Let h(i) = -i**2 + 6*i + 4. Let x be h(6). Solve -x = -d + 2*d + 2*y, 0 = 2*y + 4 for d.
0
Let b(a) = 4*a**2 + a**3 - a**2 - 4*a**2. Let l be b(-1). Let u be 2/l - (-3)/3. Solve -4 = v + 3*z, -3*v - 4*z - z - 12 = u for v.
-4
Suppose 4*z - 35 - 5 = 0. Let i be 2/z - 240/(-50). Solve 0 = -d - i*s - 11, 0*s = -d - 2*s - 2 for d.
4
Suppose -3*d - d - 50 = -2*c, -55 = 4*d - c. Let o = -11 - d. Solve -3*s = -4*p, 0*p = -3*p + o*s for p.
0
Suppose 25 = 11*s - 10*s. Solve 0 = 2*a - f + 10, -f + 4*f + s = -5*a for a.
-5
Let u(z) = z**2 - 2*z + 3. Let q be u(3). Let o = 7 + q. Let k = o + -11. Solve j - 10 = -5*b - 4*j, 2*b + 3*j - k = 0 for b.
4
Suppose -3*q + 10*q - 112 = 0. Let p be (-5)/(-20)*1*q. Solve -2*x + 7*x - m = -10, -p = -x - m for x.
-1
Suppose -4*x - b + 9 = 0, 15 = -10*b + 5*b. Solve -o - x*f = -4*o - 6, -4*o + 37 = 5*f for o.
3
Let b = -134 + 137. Solve u - 2 - 2 = -5*n, -b*n + 5 = -2*u for u.
-1
Suppose o + 4*q - 28 - 10 = 0, -3*o + 169 = q. Suppose -3*d + 6*d + r = o, 0 = r + 2. Suppose d = 5*h - 0*h. Solve -h*v + 3*s = -v - 30, 5*v = -s + 20 for v.
5
Let q(o) = -o**3 - 5*o**2 + 4. Let d be q(-5). Let v(x) = x**3 - x**2 - x + 2. Let h be v(2). Solve 0 = -d*f - h, 4 = 3*r - 4*r + f for r.
-5
Let 