 v.
2
Let f = 5 + -5. Suppose 4*a - 8*a = f. Let z = 6 - a. Solve -y = 3*s + z, -3*s = 2*y + s + 10 for y.
-3
Let d(s) = -s. Suppose -3*j = 3 + 9. Let i be d(j). Suppose 2*g = i*g. Solve -5 = -4*l + 2*l - 5*q, -l + 5*q - 20 = g for l.
-5
Suppose -g = -4*f + 7 + 8, 4*g + 9 = -f. Let y be g/((-1)/3 + 0). Solve 2*m - 9 = -5*u, 3*m = -0*m - y for u.
3
Let c(z) = 2*z - 4. Let i be c(4). Let y(x) = -x**2 + 4. Let n be y(-6). Let w be 2/9 + n/(-18). Solve -i*f + 4*o = 0, w*o = -4*f - 0*o for f.
0
Let q be (4/(-6))/((-4)/12). Suppose q*t - 120 = -3*t. Suppose -4*n = -2*f + 4*f - t, 5*n - 4*f - 17 = 0. Solve -13 = n*v - 3*o - 0, 2*o = v - 3 for v.
-5
Let u = -4 + 6. Suppose u*a + 45 = 5*a. Suppose -b - a = -5*c, 1 = -5*c + 2*b + 21. Solve 0 = 5*k + m - 16, -2*m + c = -0 for k.
3
Let z = 21 - 18. Solve 0 = -5*q + 5*h + 5, -3*h - 3 = z for q.
-1
Let o be (-80)/(-36) - (-2)/(-9). Let k(h) = 2*h - 6. Let i be k(4). Let m be 3/2 + 9/6. Solve -3 + 1 = -3*s + 4*g, -m*s = -i*g + o for s.
-2
Let n be (-13 + 10)*2/(-6). Suppose -q + 5 + n = 0. Solve -a - 1 = z - q, -5*a = 0 for z.
5
Suppose 0 = -2*y + b + 4, b = -4*y - 4*b + 22. Solve -2*j - y = -a, 5*j = 5*a + 6 - 1 for j.
-4
Suppose -4*r - 4 = -16. Suppose r*t = -2*u - 1 + 17, 0 = t + 5*u - 27. Solve -t*d = 2*p - 2, 2*d - 4*d + 4*p = 22 for d.
-3
Let y(p) = p**2 + 6*p + 9. Let v be y(-7). Suppose 5*d - 14 = v. Solve 0 = -4*f + 3*s + 2*s - 8, 3*f - 4*s + d = 0 for f.
-2
Let q be ((-6)/4)/(2/(-12)). Suppose 3*i + q = 6*i. Let a = 0 - -4. Solve 0 = 2*j + j + a*r + 11, -7 = -i*j + 5*r for j.
-1
Let o = 10 - -16. Suppose -u = -2*u + 22. Let m = 5 - 3. Solve -m*b + u = -4*y, -b = b - 5*y - o for b.
3
Let a = -7 - -15. Let q(o) = o - 3. Let f be q(a). Suppose -s + 4 = 2*k, -f*s - 3*k + 4 = -9. Solve -s*i + 0*p - 2*p - 16 = 0, 4*i + 4 = 3*p for i.
-4
Let u = -5 - -10. Let z = u - 2. Suppose -t + z*l = -12, 4*t = 2*l - 6*l. Solve -t = 2*q - 5*r - 7, -4 = 4*q - 4*r for q.
-3
Let g(d) = d**2 + 13*d + 15. Let c be g(-11). Let n(z) = -z + 17. Let w be n(c). Solve 2*b + w = 4*s, s - 4*b + b = 11 for s.
5
Suppose 4*s - 12 = -0*s. Let y = s + 0. Suppose -3*g + 4*g - 13 = -w, -y*g + 32 = -4*w. Solve 16 = -5*h - o + 5*o, 3*o - g = -4*h for h.
0
Suppose 0 = -5*q + 2*q + 6. Suppose -5 = q*a + 3*d - 20, 5*a + 25 = 5*d. Suppose 3*u + 1 - 7 = a. Solve -2*s - u = -2*c + 2, 3 = 3*s for c.
3
Suppose -4*h - 5 = -9*h. Let u = h + 3. Solve -3*l + u*l + 4 = 5*f, l + 4 = f for l.
-4
Let u = -50 + 55. Solve 5*a + 10 = -5*p + 2*a, -3*a = -u*p + 20 for p.
1
Let m(o) = 4*o + 22. Let w be m(-5). Solve -4*i - 3*l = -17, 0*i - i + w*l + 7 = 0 for i.
5
Let x = 6 + -3. Suppose x*f - 26 = 4. Solve -5*j + f = -3*v, -3*j = -v - 4*v - 6 for v.
0
Let d = -4 - -9. Suppose 0 = -4*m + d*u + 28, -12 = -4*m - 0*u + u. Suppose 2 + m = i. Solve 0 = i*l + 4*n + 16, -2*l = 2*l - n - 4 for l.
0
Let f = 46 - 44. Solve -2*d = 3*y + f*y + 23, 0 = 2*y - 2*d + 12 for y.
-5
Let u be (-5)/(-20) - (-15)/4. Suppose 5*x + 42 = 4*v - 3, u*x + 15 = -v. Solve 5*y + v*d = -25, -2*d + 4*d = y - 7 for y.
-1
Suppose -7*g + 10*g - 21 = 0. Let l(x) = 14*x**2 + x + 1. Let f = 0 + -1. Let k be l(f). Solve -3*j - g = -4*j + 3*p, j + 4*p + k = 0 for j.
-2
Suppose 2*j = -4*w - 2*j - 16, 12 = -2*w - 3*j. Suppose 2*f = 2*p - 0*p + 38, f - 3*p - 9 = w. Solve -4*k - f = -2*k - 5*c, 4*k + 3*c = 4 for k.
-2
Let p = 5 - 1. Suppose -w + 55 = -2*r + 7*r, -p*w = -2*r + 44. Solve -x - x + r = -2*i, -4*i = 2*x - 6 for x.
5
Let u be (9 - 7)/((10/(-4))/(-5)). Solve -4*b = 4*r - 4, -4*r + 0*r + u*b = 4 for r.
0
Suppose -a = -3 - 0. Solve -a*d + 4*g - 13 = -4*d, 3 = -d + 4*g for d.
5
Let p(i) = i**2 - 6*i + 5. Let t be p(5). Suppose 30 = -t*l + 5*l. Let x(g) = 2*g - 17. Let j be x(11). Solve r + r + 2 = -5*h, 4*r + j*h = l for r.
4
Let i be (63/(-105))/((-3)/10). Solve i*h - 4*h + 3*m = -11, -2*m = -4*h + 2 for h.
-2
Let n(r) = -r**2 + 9*r + 3. Let f be n(9). Suppose 5*y - 26 = -l - 2*l, -3*y = -f*l - 6. Solve 5*z - y*w = -11, 5*z - 2*w - 3*w = -10 for z.
-3
Suppose 3*g = 5*g. Suppose 0 = 3*y - g - 9. Suppose 1 = -p + 4. Solve m + p = 5*d - m, -y*m = 12 for d.
-1
Suppose 12 + 2 = z. Let i = 70 - 66. Solve 0*t - b - 7 = -3*t, -5*t = -i*b - z for t.
2
Let m(f) be the third derivative of f**5/30 - f**4/12 + f**3/2 - f**2. Let s be m(2). Solve -4*c - 31 = -5*k, k = 2*c - c + s for c.
-4
Suppose 2*z + 4*p = 16, 3*p - 2*p = -3*z + 14. Let b(f) = f**3 - 14*f**2 + 4. Let i be b(14). Solve -i*q = -5*w - 41, -w - z*w - 13 = 3*q for w.
-5
Let w = 6 - 4. Let j(i) = i + 7. Let s be j(-3). Suppose 2*d + d + 4*p = -s, -d - 1 = p. Solve 0 = -n + w*u, d = -3*n + 3*u + 2*u - 2 for n.
-4
Suppose 2*t - d - 9 = -0*d, d = -3. Solve 5*o + 3*y = 0, -t*o + 5*y = -7*o for o.
0
Let w(x) = -2*x - 7. Suppose 0 = -4*s - 9 + 37. Let u be w(s). Let f = u + 42. Solve 3*t + 3*j - 6*j - 6 = 0, 0 = -2*t - 3*j - f for t.
-3
Let w = -56 + 61. Solve 0*a = -5*a - 4*h + 7, 19 = 3*a - w*h for a.
3
Let l = 0 - -2. Solve -2*h + 4*k - 12 = 2*h, l*h + k - 6 = 0 for h.
1
Let j(p) = p**3 - 18*p**2 + p - 15. Let r be j(18). Solve 3*f + r*t = 4*t, -4*t - 12 = 0 for f.
-1
Let g = 4 + -2. Suppose 4*i + 4*q - 40 = 0, -68 = -4*i + 4*q - 20. Let m(l) = -l**3 + 11*l**2. Let c be m(i). Solve c = d + 5*n + 15, g*d + d - 27 = 3*n for d.
5
Let z(x) = 3*x + x + 1 - 5*x + 0*x. Let d be z(-3). Solve -d*r - l = -24, 3*l = -4*r + 8*l for r.
5
Suppose -4 = -3*r + 2. Suppose 5*j - 3 = -3*f, -f - j - 3 = -4*f. Solve 4*w - r = -5*u + f, -3 = w for u.
3
Let u = -4 + 4. Let l be u/1*1 - -10. Let p(f) = -f**3 - 7*f**2 - 9*f - 7. Let i be p(-6). Solve 3*w + 3 = -3*a, -3*a + 5*w + l = -i for a.
2
Suppose p - 4 = -6*z + 3*z, -1 = -2*p + z. Let d = 0 + p. Solve 0 = -3*y + m + 15, 3*y - 2 - d = -3*m for y.
4
Suppose -3*r - 5 + 20 = 0. Suppose r + 9 = 2*g. Solve -o = -2*x - 9, -5*x + g = -o + 22 for x.
-2
Suppose -m + 0*m + 26 = 3*p, 0 = 5*p - 4*m - 49. Solve -4*w + o = -0*o - 6, 0 = -w - 5*o - p for w.
1
Suppose j + 4*x = 2*j + 20, 5*x - 25 = 0. Solve -2*k + 1 = -5*o + 7, j = -2*k - 2*o - 6 for k.
-3
Let y be (16/10)/((-2)/(-5)). Let h be -1 + y + -3 + 29. Let p = 42 - h. Solve 0 = -4*r + r - 2*d - p, -5*r + 2*d = 27 for r.
-5
Let o(b) = -b**2 + 8*b - 4. Let p be o(5). Let u = p + -8. Solve a + 5 = -u*v, 3*v - 21 + 1 = 4*a for v.
0
Let c(x) = x + 5. Let a be c(8). Let l = a + -11. Solve -3*f + 2*o = -9, 0 = l*f - 3*o - 2*o - 6 for f.
3
Let g(b) = -b**3 - b**2 + b. Let z be (1 + 1)*2/(-4). Let o be -1*(2 + -3 - z). Let j be g(o). Solve 2*x + 5 = q - 1, j = x - 5*q + 12 for x.
-2
Let z(x) = 3*x**3 - 2*x**2 + 2*x - 1. Let j be z(1). Let y be ((-1)/j)/((-1)/2). Solve -16 + y = m - 4*s, 0 = -2*m + 5*s - 18 for m.
1
Let x be 152/(-3) - (-18)/27. Let i = 91 + x. Solve 5*n = v + 29, 0*v - 5*n = -4*v - i for v.
-4
Let n be -7 - 0 - (-3 - -1). Let x = n - -6. Let p(f) = 13*f**3 - 2*f**2 + 2*f - 1. Let y be p(x). Solve 8 = 2*q - i, 2*q = -q + i + y for q.
4
Suppose 10 = a - 0*a - 4*o, 30 = -4*a + 2*o. Suppose -2*p + 10 = -20. Let t = p + a. Solve 0 = 2*s + j - 5, -t*j + 0*j = -3*s + 27 for s.
4
Let f be 7 + 2/((-3)/(6 - 0)). Solve 0 = -f*d + 5*r + 18, -3*r - 2*r - 16 = -d for d.
1
Let r(u) = -7*u - 77. Let k be r(-15). Solve 3*l - 5*o - k = 0, 0 = 2*l - 2*o - 3 - 9 for l.
1
Let i be (-7)/(-21) + (-4)/(-6). Let l be ((-8)/20)/(i/(-5)). Solve -4*u + 9 = -o - u, 6 = o + l*u for o.
0
Let t(b) = -b - 4. Let q be t(-9). Let d(m) = 2*m - 1. Let y be d(2). Solve k + q + 14 = -y*l, 3 = -3*l + 3*k for l.
-5
Let r be 3 + 0 - 0/(-9). Solve -4*v - 3*f + 16 = 0, -2*f + r = -v - f for v.
1
Suppose 0 = -2*n + 3*n. Suppose -h - h + 4 = n. Suppose h*m = 6*m - 32. Solve 4*y = 4*b + m, 0 = -b - 4*b + 15 for y.
5
Let i(u) be the first derivative of -9*u**4/4 - u**3/3 + 5. Let o be i(-1). Solve 2*w = -10, s - o - 22 = 5*w for s.
5
Suppose 3*s + s - 180 = 0. Suppose -4*w = 5*u - s, 2 = -4*u + 22. Solve -5*i + w*n + 15 = 0, -4*i - n - 4 = 9 for i.
-2
Let f = 5 - 4. Let a be (-1)/(-2)*6*f. Let i be -10*(a/2 + -2). Solve -2*o = -i*x - 6, -5*o - 4*x - 4 = 14 for o.
-2
Suppose -o + 3*m = 2*m - 7, 38 = 4*o - 2*m. Solve 0 = 5*n - 2*z - o, 14 - 6 = 5*n - 3*z for n.
4
Let u = 5 + 3. Let j(f) = -f**3 + 9*f**2 - 5*f - 10. Let z be j(u). Solve a = k + 5*a + z, 0 = -4*k - 3*a - 4 for k.
2
Suppose 5*b - 20 = b. Solve -b*