 + k - v, 2*o = -4*k - l for o.
-3
Suppose -5*z + 17 = p, 3*z - 14 = -5*p + 5. Let j be p - (-3 - 12 - 1). Solve -5*l - 16 - 19 = -5*n, 2*n - 3*l = j for n.
3
Let j(f) = 4*f + 3*f - 5*f + 1 + 5*f**2 - 4*f. Let b be j(3). Solve -q - 4*q + b = 5*z, 0 = -q + z for q.
4
Suppose 0*n = p - 4*n - 20, -2*p + 5*n = -34. Suppose -7*i + 3*i - p = -4*h, 5*h = 2*i + 21. Solve o - 3*o + 8 = i*v, 2*v = 2*o for o.
2
Suppose a = 5*g - 11 + 40, 11 = 3*a + 4*g. Solve 0 = -q - 3*d - 6, 5*q + 5*d + a + 11 = 0 for q.
-3
Suppose k - 3*k = 0. Solve v + 0*v + 1 = 5*n, -2*v + 2*n - 2 = k for v.
-1
Let l(f) = f + 3. Let w(q) = -3*q - 6. Let p(a) = 5*l(a) + 3*w(a). Let x be p(-2). Suppose 0 = -2*g + x*g - 36. Solve -12 = -3*u + t, -3*u + 2*t = -t - g for u.
4
Let d be 1/((6/10)/3). Solve -t - 22 = -5*r, 2*r - 3 = d for t.
-2
Suppose 4*h + 9 = -3*u, 3*h - u - 1 - 2 = 0. Let y = 3 + -2. Suppose -3 = -m + y. Solve -m*i = -2*k - 3*k, h = -5*k - 20 for i.
-5
Suppose 3*a = -a + 8. Let r be (-40)/(-18) + a/(-9). Solve 0 = 2*i + m + 4, r*i - 4 = 4*i + 2*m for i.
-2
Suppose 2*n - 3*q + 6 = -0, q = 2. Let m be 1*(-13 - -3)/2. Let a be (n - 1) + m + 10. Solve 0 = a*k - 5*s + 1 + 2, 3*k - 24 = -5*s for k.
3
Suppose -3*x - 2*x = -3*u - 31, 10 = 4*x + 5*u. Solve x*g + 2 = v, -5*v - g - 11 = 5 for v.
-3
Suppose 3*b + b + 4 = f, -4*b - 4 = f. Suppose -4*m + 1 + 7 = f. Solve -m*w - 5*g - 15 = 0, -4*w = -4*g - 14 + 2 for w.
0
Suppose c - 3*c = -12. Let i be 22/c + 2/(-3). Let l(z) = z**3 - 3*z**2 + 2*z - 1. Let m be l(i). Solve 5*w - x + 0*x - 8 = 0, m*x = 2*w - 17 for w.
1
Suppose 3*j = -4*c - 0 + 20, 2*j - 2 = 3*c. Solve 2*x - 2*y = -12, -y + j = 3*x + 10 for x.
-3
Let u = -11 + 15. Solve -5*c - 5 = -u*h, 4*c - 8*c + 5 = -5*h for c.
-5
Let n(x) = -6*x + 2. Let i be n(1). Let a be (-1 - i)/(12/16). Solve 0 = -a*h - 5*w + 16 + 13, -2*h - 4*w + 22 = 0 for h.
1
Let g = 5 - 2. Suppose v = g*v - 14. Suppose v*m = 10*m - 6. Solve -2*k - 2 = u, 4*k + 8 = -2*u - m*u for u.
-2
Suppose 0*i + 8 = 2*i. Let c(h) = -h + 3. Let x be c(-5). Let u(s) = -2*s + 1. Let q be u(-1). Solve q*w - w + x = 0, -2*l = i*w + 24 for l.
-4
Let h(i) = -5*i - 5. Let f be h(-5). Let k(w) = w - 1. Let p be k(-1). Let b be (0 - 0)/(p - 0). Solve b = -5*u + f, -2*j - 2*j - 5*u = 0 for j.
-5
Suppose -3*x + 5*j = -6 - 13, -2*j - 20 = 5*x. Let g = 1 - x. Solve 3*a - 3 = g*n, 1 - 2 = 2*n - 3*a for n.
-2
Suppose -3*s = -2*i, 2*s = i - 3*i + 10. Suppose 0*d + y = i*d - 9, 3*y = -9. Solve -5*t + 3*x = -d*x + 10, -t = 3*x + 6 for t.
-3
Let g be ((-2)/(-6))/((-4)/(-96)). Let b = 0 + g. Solve b = -2*a, 2*q + a + 10 = -a for q.
-1
Suppose 2*y - 3*s = 2*s - 7, -s = 3*y - 32. Let f = y - 6. Suppose 22 = g - 5*v - 24, -4*g + 94 = -2*v. Solve g = f*d + 3*r, -4*d - 2*r = -8*d + 4 for d.
3
Suppose o - 5*s + 14 = 4*o, -38 = -o + 5*s. Let h = 48 - o. Solve -4*m - 2*p = -3*p + 3, 5*m + h = -5*p for m.
-2
Suppose -3*d = -4*v + 3, -12 = 2*v - v - 5*d. Suppose f + 6 = i - 0*f, 4*f = -3*i + 18. Solve 3*h = i*h - 4*a, -4*h - v*a + 25 = 0 for h.
4
Let i(a) = a**2 - 3*a - 4. Let b be i(4). Let t be (3/2 + -1)*b. Solve 3*u = -5*p - 14 + 41, t = 3*p - u - 5 for p.
3
Suppose 5*r - 29 = -9. Solve -2*b + 35 = -r*s + 11, -20 = 5*s for b.
4
Let g be -2 + (4 - (-2 + 4)). Suppose 4*w - 18 + 2 = g. Solve -w*r = -3*f + 5 - 2, -24 = -3*f - 3*r for f.
5
Let z(v) be the third derivative of v**6/30 + v**4/12 - v**3/6 - 2*v**2. Let h be z(1). Solve -h*y - g - 2 = g, -y + 1 = -g for y.
0
Let w = 24 + -24. Solve -4*o = -w*o - 2*z + 14, 5 = -5*z for o.
-4
Let c = 4 - 6. Let s be 9/6 + c/(-4). Let z be 39/2*12/18. Solve -3*j - 4 = -4*u + 4, z = s*j + u for j.
4
Let v(l) = 4*l**3 + 2*l**2 - 2*l**2 + 1 + l**2 + l. Let n be v(-1). Let q be (1/n + 0)*-3. Solve 5*w - 13 = -3*c, w + 1 = 4*c - q for w.
2
Suppose 6*c - 5*c = 2, 4*c - 16 = -y. Let t be 0/((-4)/(-2)) + 7. Suppose -5*v + t = -y. Solve -v*k = -5*d + 2 + 3, k - 13 = -2*d for d.
4
Suppose 0 = w + 4*o - 4 + 2, -4*w - 3*o - 44 = 0. Let j = -23 - w. Let g = j + 12. Solve 0*r - 2*c = r + 12, 0 = -5*r + g*c - 8 for r.
-4
Let u = -23 - -23. Solve -o = 3*o - 4*t + 20, 4*o + 4*t - 4 = u for o.
-2
Let q(c) = 4*c**2 + 2*c - 1. Let s be q(1). Let t = 380 + -379. Suppose 5*h - 50 + 0 = 0. Solve 2*d - 2*m = h, s*d = m + 4 + t for d.
0
Let v = -34 + 57. Solve n + 11 = -2*l, l = -4*n - 0*n - v for l.
-3
Let v(o) = -o + 2. Let r be v(0). Let z = 1 - -1. Suppose 0 = r*f + z*f. Solve -3*y = -5*c + 3*c, -c - 3*y = f for c.
0
Suppose 5*a = 16 + 109. Solve -x - 4*g - a + 9 = 0, 5*g + 15 = 0 for x.
-4
Let n(p) = -2*p**3 - p**2 + 2*p. Let z be n(-2). Let w = z - 6. Solve w*k - 5 = 5*f - 3*k, -f = 3*k - 19 for f.
4
Suppose 0 = -4*u - 2*q - 2, -3*u + 0*q - 4 = 2*q. Suppose 3*o = 2*o - u*v + 3, -3*o = -5*v - 9. Solve -3*b - 15 = -2*x, -o*b - 2*x + 0*x - 3 = 0 for b.
-3
Let t = 107 - 103. Solve 4*n = 5*x + 2*n, -4*n = -t*x for x.
0
Suppose 6*w - 1 - 29 = 0. Solve 2*l = 4*p - 4, -l + w*l + 5*p = -21 for l.
-4
Let k be 20*(6/(-15) - 0). Let w be ((-3)/2)/(4/k). Solve -w*n - j = 10, -4*n - 5*j - 14 = -n for n.
-3
Suppose -12 = 2*c - 5*c. Suppose 0 = 2*p - 3*p + c. Suppose -8*u + 8 = -p*u. Solve 5*y = -r - 12, 3*y = -3*r + u*r - 8 for r.
-2
Suppose 7 - 23 = -4*c, 5*i - 5*c = -15. Suppose 4 = a - i. Suppose a*w + 0*w = 105. Solve -14 = -2*g + v, 2*g - 4*v - w = 5 for g.
5
Let x(h) = 2*h**2 - 3*h - 3. Let w be x(3). Let q(v) = -v**2 + 8*v - 8. Let t be q(w). Suppose -4*l - l + 10 = 0. Solve g = 5*d + l*g + 19, d = -t*g for d.
-4
Let h = 10 + -6. Suppose -h*y = 12, -4*y = a + 3*a. Let w(m) = 2*m + 4. Let u be w(3). Solve 4*b + u + 0 = -t, 0 = -b - a for t.
2
Suppose 5*r - 12 = 3*r. Suppose -13*f + r = -10*f. Solve o - 13 = -0*o - f*k, 0 = 3*o + 3*k - 24 for o.
3
Let o(m) = m**3 + 10*m**2 + 7*m - 13. Suppose -5*x = -5*l + 30, 2*x + 2*l + 33 = -3*l. Let s be o(x). Solve s*f = -3*u - 1, 3*u - 2 = -3*f + 1 for u.
3
Let f = 5 + -20. Let b be (-237)/f - 2/(-10). Suppose 3*d - 6*c + c + 8 = 0, 3*d + c = b. Solve -d*v - 4*t + 36 = -0*v, 3*v + 2*t = 22 for v.
4
Suppose 0 = 13*n - 12*n - 20. Suppose s - n = 4*q, 0*q + q + 3 = 0. Solve p + 5*i = 26, 5*p - 4*i + 7 = -s for p.
1
Suppose 4*b - 12 = -0*b. Solve 5*o + b*y = -21, 5*o + 1 + 4 = 5*y for o.
-3
Let w = -4 - -7. Let l be 8/((3 - 2)/1). Let b = l - w. Solve 4 = b*n + h - 0*h, -6 = -4*n + 2*h for n.
1
Let c = 1 + 1. Let n(s) = 0*s**2 + 2*s + 1 - 2*s**2 + 3*s**c. Let w be n(-1). Solve 10 = -5*h - f, 2 = -h + 3*f - w for h.
-2
Let r be ((-2)/6)/(1/(-24)). Solve 3*m = 4*d - 8, -d - 3*d + 4*m = -r for d.
2
Suppose 4*b - 44 = -4*t, 2*b - 43 = -4*t - t. Let u = t - 9. Let q = u - -6. Solve 0 = 2*x + 2*z - 8 + 2, -q*x + 4*z + 28 = 0 for x.
5
Suppose 0 = 2*i + i. Solve 8 = -2*t, 5*g - 11 = 4*t - i*t for g.
-1
Let f = -46 + 51. Solve 0 = 2*g - 6*c + c - 15, -f*c - 15 = -5*g for g.
0
Let y(r) = r**2 - 3*r - 2. Let b be y(4). Suppose b + 3 = -v, -5*x + 40 = -4*v. Solve -5*t - 1 = f + 3*f, x*t = -5*f + 1 for f.
1
Suppose -u - 6*j + 2*j - 2 = 0, 4*u = j + 26. Solve 7*f = 3*i + 3*f + 10, -3*i + 3*f - u = 0 for i.
2
Let o = -3 + 5. Suppose -l + 24 = o*l. Solve -20 = 2*s + 5*j, -2*j = -2*s - j - l for s.
-5
Let z(p) = p + 1. Let g be z(2). Suppose -g*h + 5 = -4. Solve 4*v - 2*v - 10 = h*m, -2*v = 4*m - 10 for m.
0
Let k be 10/(-5)*((-27)/6 - 1). Solve 4*q + 32 = 3*i + 1, 4*q + k = -i for q.
-4
Suppose -3*v = -2*s + 16, -3*v = -2*v + 4. Solve -4*d + q = 0, d + 2*q + s*q = 0 for d.
0
Let n(s) = 64*s - 44. Let j(g) = -7*g + 5. Let p(a) = -28*j(a) - 3*n(a). Let l be p(4). Solve -k = -3*r + l*r + 26, -r - 4 = -k for r.
-5
Suppose 0 = -8*c + 4*c + 4*j + 4, c - 5*j + 15 = 0. Solve c*z + n = 11, 2*n + 2 = -z + 6 for z.
2
Let l be (-2)/(1 + 34/(-30)). Let a = l + -2. Let h = 1 + 4. Solve -3*f + c = 5*c - a, -h*c + 5 = 0 for f.
3
Suppose 2*j = 4*j. Solve j = y + 4*c + 23, -4*c = 3*y - 0*y + 29 for y.
-3
Let r be (-137)/(-9) - (-16)/(-72). Solve 3*c + 0*c = -4*i - r, 0 = -5*c + 2*i - 25 for c.
-5
Let g be 0*(-1 + -2)/(-6). Let k(b) = -b**2 + b + 3. Let x be k(g). Let v be ((-5 - -3) + -1)*-1. Solve 3*f = x*y - 6, v*y - 7 = 4*f + 1 for y.
0
Let o be -3 + 6 - (7 - 8). Solve o*m - 3*i = 1, 13 = -3*m + 5*m + i for m.
4
Let i be ((-25)/2)/(-5)*2. Suppose i*j - 10 = -0. Suppose -j - 10 = -3*q. Solve 0 = q*t - 4*b + 2 + 14, 6 = 2*b for