 = p + 3, -5*p = z - 13 for z.
-2
Let v be (-3)/(4/8 + -2). Suppose 4*t - 2*z - 10 = 0, -5*t + 2 = -z - 3. Suppose -l = -t*l. Solve -4*k + 2 = -w, l*w + v = -w + k for w.
-2
Suppose 47 = 3*s + 32. Solve 4*v + 0*v - 9 = -a, 0 = s*a + 2*v + 9 for a.
-3
Let m = 17 + -15. Solve m*p = 3*p + d - 6, 4*d = 12 for p.
3
Let y be 0 + (10 - 6) - (-2 + 1). Solve 4*k = -5*b - 6, -4*b - 12 = y*k - 0*k for b.
2
Let n = 26 - 24. Solve z = -3*l - 15, 0 = 2*l - n*z - 2 + 12 for l.
-5
Let s be 34*((-4)/(-4))/2. Suppose 0 = -x - 2*x - 4*m + s, -x = -3*m + 3. Solve -3*r = 2*t + 13, -x*r - 17 = 4*t - 0*t for r.
-3
Suppose 0*t - 3 = -4*g + t, 5*g + t + 3 = 0. Suppose g = -b - 4*b. Suppose b = d - 3*d. Solve -5*q - 5*k - 25 = d, -25 = 6*k - k for q.
0
Suppose -6*g + 30 = -g. Suppose 0 = 3*l + 5*t + 20, 4*t = 3*l - 5*l - 16. Let n be 10*(2/4 - l). Solve c - 13 = n*y, -5*y = c + 11 + g for y.
-3
Suppose 0 = -18*l + 20*l - 18. Solve 3*i - l = 3*m, 1 = -4*m + 3*m for i.
2
Let d = 11 - 7. Suppose 5*b - 4*k - 25 = 2*b, 0 = -5*b + 3*k + 27. Let t be -2*b*3/(-6). Solve f = t*r - 11, r - d*r + 26 = -4*f for r.
2
Let h(k) = k**3 + 5*k**2 + 3*k. Let r be h(-4). Let v be (-1)/(4/(-16)) - 4. Solve 17 = -x + r*c, -x - c = -v*x - 3 for x.
-1
Let s = 0 - -2. Suppose -10 = -5*o - 2*y, -4*o - 2*y = s*y + 4. Solve 10*h + 5 = 5*h + 5*p, -6 = o*h - 5*p for h.
1
Let n be (0 + 3 + (14 - 5))*1. Solve -2 - n = 4*g + 5*i, 0 = -g - 4*i - 9 for g.
-1
Suppose 5*y - 5*s = 10, s + 8 = 3*y - 0. Solve 1 = -2*u + y*m, -m - 2 + 13 = 2*u for u.
4
Let g = -2 - -2. Suppose -5*f = -g*f. Suppose -2*w + 1 + 21 = f. Solve -4*b - 2*d - w - 11 = 0, -4*b = d + 21 for b.
-5
Suppose -5*u - 15 = -w - u, -3*u = -w + 12. Solve -3*j - 5*n = -8 + 4, -w*n - 3 = 0 for j.
3
Let i = -5 + 9. Suppose -i*u = 22 + 46. Let b be (-2)/3 + u/(-3). Solve 3*l + 2 - 5 = b*g, -2*l - 4*g + 2 = 0 for l.
1
Suppose 4*w - 4*t - 12 = -t, 4*w + 20 = -5*t. Let d(x) = x**2 + 12. Let o be d(w). Let z be ((-2)/6)/(2/(-18)). Solve z*i - o = r + r, -5*r - 3*i = 9 for r.
-3
Let f(r) = 4 + 0*r - r - 17. Let z be f(-12). Let q = z - -1. Solve 0*o + 5*o - 11 = x, -2*x - 5*o + 8 = q for x.
-1
Let t(u) = u**2 - 2*u + 2. Let p be t(2). Let s(w) = w**3 + 16*w**2 - 18*w - 13. Let g be s(-17). Solve 18 = -4*l + 2*l - g*x, p*l + 3*x = -14 for l.
-1
Suppose 7*y = 2*y + 2*x - 10, x - 5 = 0. Solve -5 = 3*k - 2*z - 1, -z - 1 = y for k.
-2
Let j be ((-16)/28)/(2/(-7)). Suppose 1 = b + j*d - 3*d, -b - 5 = 5*d. Solve 5*q - 4*g = 12, -2*g - 6 = -3*q - b*g for q.
0
Suppose 2*q - 22 = -5*l, 1 = -3*l - q + 14. Solve 3*z = v - 2*v, z = l*v for z.
0
Let c be (-4 - -1)/((-9)/66). Suppose p + 2*o = 16, p - 2*o - 28 = -0*p. Let h = -2 + p. Solve -3*v - 4*r + c = 0, 2*v + 2*r - h = -2*r for v.
2
Suppose -3*g + 4 = -4*y, 5*g - 30 = -7*y + 2*y. Let i = y - -3. Solve -i*h - 3*o + 10 = -4*o, h + 4 = -o for h.
1
Suppose -1 + 5 = f. Suppose -f*l = -8*l + 8. Solve -l*s + 2 = -4*p, p - 5*s - 1 = -4*s for p.
-2
Let m be ((-6)/(-2))/(-3) - -9. Suppose -m + 32 = -4*v. Let s(h) = h**3 + 6*h**2 - 2*h - 9. Let o be s(v). Solve 0 = u + 3*z + o, -u + 5 = -z - 4*z for u.
0
Let o = -2 + -2. Let u be o/(2/(0 - -2)). Let s = 4 + u. Solve -5*a + 20 = y, -a - 2*a + y + 20 = s for a.
5
Suppose 4*a - t + 0 = 18, 3*t + 10 = a. Solve -v - a = -2*v, -2*v + 16 = 4*r for r.
2
Let w be 1*-3 + (5 - -4). Solve 8 = j - 5*v, -5*j + w - 14 = -v for j.
-2
Let b be 51/9 + 2/(-3). Suppose -4*x = 4, -3*x + b = 5*t + 2*x. Solve o - 2 = -0*o - t*l, 0 = -o + l - 7 for o.
-4
Suppose -4*h + 16 = -2*v, -2*h + 16 = 2*h + v. Suppose 2*j + 2*j - h = 0. Solve j = -c - m - 1, 0 = -c + 4*m - 7 for c.
-3
Suppose h - 4 = -t - h, 2*t - 10 = -2*h. Suppose 4*d + 5*p = 8, -3*d + 4*p = -0*p - t. Solve -m + 1 = -2*z - 0*m, d*m = -3*z - 12 for z.
-2
Let a(v) = -v**2 - 8*v - 4. Let b be a(-7). Solve 2*g - 2 = 4*g - 4*l, -3*g = b*l + 3 for g.
-1
Let w(b) = b**3 + 2*b**2 + 3*b + 3. Let s be w(-2). Let m = -17 + 12. Let n be 0/(m - s) - -3. Solve 4*g + 52 = n*t + 20, -2*t - 7 = 3*g for t.
4
Let m = 97 - 97. Solve 5*b + 5 = -h - m*b, -h + 4 = -4*b for h.
0
Let m(f) = -5*f - 3. Let i be m(-1). Solve 2*h = 2*l + 2, i*h + 3*h = -3*l - 19 for l.
-3
Suppose -2*h = -4*h + 4. Suppose h*d - d = 5. Solve -2*v = -t - 5, -3*v + 4*t - d*t = -5 for v.
2
Suppose -5*z = v - 22, -2*z + 7 = 3*v - 7. Let h = 0 + -1. Let x be h/(-4) - 63/(-4). Solve -18 = -2*a + z*b, a + 1 = 5*b + x for a.
5
Let l be 5/2*(2 - 0). Let v = -6 - -8. Let w be 2/(-5)*50/(-10). Solve -6*h = -l*n - 2*h - w, v*n - 3*h = -5 for n.
2
Suppose 2*i = -3*i + 10. Solve 0 = -4*f - 4*u - 8, -2*f - 2*f + 4 = -i*u for f.
0
Let y(i) = i**2 - 7*i - 8. Let a be y(8). Suppose a = 5*k - 5*f - 35, 10 = k - 0*f - 2*f. Solve -k*u - o + 21 = 0, -17 = -2*u - u - 2*o for u.
5
Let n(u) = -2*u**2 - 5*u + 1. Let t be n(-1). Solve 5*v - 2*v = t*j - 13, 0 = 3*v - 3 for j.
4
Let b(s) = -s + 4. Let p be b(2). Let k = 9 + -5. Let g be -5 + 10 - (-1 + k). Solve 3*m = -p*a - 5, 3*a + m + g*m = 0 for a.
5
Suppose -2*s + 4*l = -20, 0 = -2*s - 3*s + l + 14. Let m(d) = -d + 5. Let f be m(5). Solve 5*t - 2*r + 2 + s = f, 2*t = -r + 2 for t.
0
Let x(r) = r + 1. Let y be x(4). Let k be ((-4)/(-5))/(1/y). Suppose 5*p - 3*t = 3, -2*p + 5*t = -0*p - 5. Solve -d - 3 - 5 = k*h, d - h + 3 = p for d.
-4
Suppose -h = -4*p + 16, -4*p - 5*h - 8 = -48. Solve 4*t + 2*w = 2, -21 = 3*t - p*w + 2*w for t.
-2
Suppose 4*y + 0*y = 8, -2*x - 3*y + 20 = 0. Suppose m + x = 2*i, 2*m - 11 = 2*i + 7*m. Solve f - 3*o - 6 = -8*o, 0 = -i*f - 5*o + 2 for f.
-4
Let s be (3 - -1)/2 - -1. Solve -4*x + 29 = 5*h, 4*x = s + 1 for h.
5
Suppose 3*a - 2*j = -j + 296, -16 = -4*j. Suppose 5*x + 0*x - a = 0. Suppose -x = -3*h - 2*h. Solve -4 = h*g - w + 2*w, -3*w = -g - 14 for g.
-2
Suppose 0 = -0*a - 3*a + 3. Let q be 1 - 2 - (-3 - a). Solve -3*b + 3*i - 8*i - 14 = 0, -2*i = -q*b - 7 for b.
-3
Let u = -80 + 84. Solve 5*o + 2*i - 23 = 2*o, -4*o + 36 = u*i for o.
5
Let r be -2 + 1 + 1 + 4 + 4. Solve 0*w = -3*h + 4*w + 5, -r = 4*w for h.
-1
Let p = 2 + 1. Solve -p*z - 15 = 4*q + 2*z, 16 = -3*q + z for q.
-5
Let u(l) = l + 16. Let s be u(0). Suppose -2*j - 2*j = -s. Let h be ((-2)/j)/((-2)/16). Solve h*z - 3*t = z + 6, t = 2*z - 7 for z.
5
Let a(d) = -d + 1. Let u be a(15). Let p = u - -16. Let r(l) = -2*l - 6. Let h be r(-6). Solve -3*c = 2*w - 11, w = h*w - p*c + 20 for w.
-2
Let n(f) = f**2 + 2*f - 3. Let d be n(-3). Suppose 4*a - 81 = -5*j, 2*j + d*j = -3*a + 31. Solve -4*g + l = -j, -4*g = 3*l - 3 - 10 for g.
4
Let y = -37 + 59. Let q(n) be the third derivative of n**5/60 - n**3/6 - n**2. Let z be q(-6). Solve -3*f + y = 5*c, -z = -5*c - 10 for f.
-1
Let i = 22 - 20. Let d(b) = b**3 - 5*b**2 + b - 3. Let g be d(5). Solve n = g*p - i*n - 22, n = -2*p + 6 for p.
5
Suppose 2*j = 5*j - 18. Solve 2*k - 4*v = 0, -3*v = -3*k - j*v for k.
0
Suppose -5*b = -v - 4*v - 5, -5 = -5*v + 3*b. Suppose 3*n - 10 = u, 4*u + 0*u = 8. Suppose -3*c - n = -4*c. Solve -p + 3*q = -2*q - 16, -3*q + c = -v*p for p.
-4
Let t be 26/7 - 2/(-7). Let s be (-19 + -1)*t/(-16). Solve -5*g = -2*n - 4*g - 1, 0 = s*g - 25 for n.
2
Suppose 4*g - 25 = -g. Let t = 16 + -8. Solve 0 = -2*o + g*d - 9, 0 = -3*o + 2*d - t for o.
-2
Let c(i) = -i - 4. Let a be c(-6). Let q = -5 - -7. Suppose q*l = -2*l. Solve -18 = -5*f - w, f + w - a = -l for f.
4
Let x be (-2 + -1)/((-6)/(-4)). Let y be x + -1 - 7*-1. Suppose y*s - 3*q = -9, -5*s + 0*q + 4*q - 12 = 0. Solve 5*h = -2*w - s + 12, 3 = 2*h - w for h.
2
Suppose -5*b + 3 = v, 2*v - 6 = 3*b - 0*b. Let h(x) = -3 + b + 0*x - x. Let j be h(-7). Solve -2*p - j*l = 0, 2*l = -2*l + 8 for p.
-4
Suppose -20*v - 20 = -22*v. Solve -o + 2*l - 1 = 9, -4*o + 2*l - v = 0 for o.
0
Suppose 4*k - 5*o = 32, k + k = o + 10. Solve p + 7 = -k*m, 6*p - 3*p - 7 = -2*m for m.
-4
Suppose 5*s = 14 + 11. Suppose 3*k - 8 = -h, 0 = -8*k + 3*k - h + 14. Solve -4*g = -3*g + k*u + 9, 27 = s*g - 3*u for g.
3
Let w = -14 - 4. Let o = -13 - w. Solve -2*x - 10 = -4*r, -o*r - 4 = 5*x - 54 for r.
5
Let n = 22 - 8. Solve 2*f = 2*z - n, 0*f = -2*f - 4 for z.
5
Let z = -53 - -57. Solve -r + 1 = z*t - 6*r, 4*r - 12 = 0 for t.
4
Suppose -4*o - 4*q - 220 = 0, -4*q - 8 - 12 = 0. Let g be ((-6)/(-5))/((-20)/o). Solve -7 = -m + g*i, 3 = -5*m - 3*i - i for m.
1
Let c be (54/15 - 4)*50. Let j = -15 - 