p = -4*p + 5*a + 11, w = -4*p - 4*a + 20 for p.
4
Let q(a) = -5*a - 4. Let o be q(-6). Let f be (o/(-4))/(4/(-8)). Solve 0 = 4*i - x - 11, i + 0*x + f = -5*x for i.
2
Let t be -8*(3 - 2)*-2 - -2. Solve 2*r - f - 12 = 2*f, 4*r - 3*f - t = 0 for r.
3
Let q(m) = -7*m + 7. Let c be q(-6). Let x = -35 + c. Solve 3*z + 1 = 2*z - 2*r, 4*z - r = x for z.
3
Suppose -o = 3*m + 13 - 62, 3*m + 2*o - 50 = 0. Solve 3*w - 3*q = w - 12, -m = -4*w - 4*q for w.
0
Suppose 0 = -3*c + 5*l + 110, -63 - 87 = -3*c - 3*l. Let i = c - 31. Solve -4*j - 28 = 5*w, -3*w - w + j - i = 0 for w.
-4
Suppose -y = 4, -2*k + 0*k + 26 = -4*y. Let b = 44 + -26. Let t(d) = d - 4. Let g be t(6). Solve -l + b = 5*c, -14 = -2*c + k*l - g*l for c.
4
Suppose -5*j = 4*s - 24, 5*j - 10 = 4*s + 6. Let b be ((-3)/(-2))/((-2)/(-4)). Let i = b + 0. Solve j*k - 15 = k, i*f - 4*k + 29 = 0 for f.
-3
Suppose -p - 2*d + 46 = 4*p, -2*p - 5*d = -10. Let g be ((-12)/(-5))/(p/25). Solve 5*h - 12 = -4*a, -4*h - 2*a + 0*a = -g for h.
0
Let g(k) = -k + 32. Let m be g(27). Solve -2 = 2*b, -m*b - 9 = 4*u - 0 for u.
-1
Suppose -5*f - 10 = 10. Let o(n) = 1 + n**2 + 3*n - 4 + 0. Let x be o(f). Solve 3*p - 5*y - 11 = 0, 2*p + x = y - 6*y for p.
2
Let f = -119 - -123. Solve f*w - 20 = -3*o - 2, 0 = -w + 3 for o.
2
Let r = 23 - 32. Let q = r - -29. Solve -2*g = -4*x + g - q, 0 = -x + 5*g - 5 for x.
-5
Let t(k) = k**3 - k**2 - k + 4. Let s be t(0). Suppose 9*x = 7*x. Solve -4*m + 0*m + s*w - 8 = x, -w = -4*m - 11 for m.
-3
Let q(u) = -u**2 - 6*u - 7. Let i be q(-5). Let m be 6*i/(-6)*2. Solve 4*v = 3*z - 1, v = -3*z - 0 - m for v.
-1
Suppose 0 = -2*d + 4. Suppose 5*l + 5 = 0, -5*l - 7 = c - d. Solve -3*n - 2*h = 0, -4*n + 3*n - 2*h = c for n.
0
Let l be ((-15)/20 - 22/(-8)) + 2. Solve -3*o = o - 4*f + 4, f + 5 = l*o for o.
2
Let b be 10/(-15)*(-9)/2. Suppose x = 4*v - 0*x - 102, -b*v + 4*x = -70. Solve -2*k - 4*w + 2 = 0, -4*k = -w - 2*w - v for k.
5
Suppose -3*u = -u + 6. Let s be (u/(-2))/(9/30). Let a be (s/(-4))/(4/(-16)). Solve -3*p = p - 2*o - 28, a*p = -4*o + 9 for p.
5
Suppose 0 = 28*z - 32*z + 8. Solve -2*u - i + 6 = -z*i, 14 = -2*u - 4*i for u.
1
Suppose -2*g + 13 + 5 = 3*p, -2*g + 4*p + 4 = 0. Let v = -2 + g. Suppose -5*i + 0*i + 20 = 0. Solve -v*l - 21 = -y, 0 = l + i*y - 6 - 10 for l.
-4
Let p = 18 - 1. Suppose -5*f + h = -12, 0*f + 2*f + 4*h = -4. Suppose -m = 3*c - 30, -f*c - 2*m + p = 1. Solve -2*y - w = -0*y - c, 3 = 3*w for y.
5
Let l = 1 + -5. Let i be ((-1)/3)/(l/36). Solve -5*k = 3*r - 0 + i, 4*k = r + 1 for k.
0
Suppose -3*n + 24 + 3 = 0. Let a(p) = -p**2 + 7*p + 9. Let s be a(n). Let o = -5 - s. Solve o = -c + 2*g, 5*g - 10 = c + g for c.
2
Let m(i) = 7*i**2 - i - 2. Let y be m(-2). Let u be 22/5 + 6/(-15). Solve n - u*c + y = 5*n, n - 2*c = -8 for n.
2
Let r = 75 + -50. Solve r = 2*v - a - 4*a, v = 3*a + 15 for v.
0
Suppose -12 = -3*p - p. Suppose 0 - 3 = 3*z. Let l be 8*(z - p/(-2)). Solve 3*h + 5 = 2*r - 2, -h - 19 = -l*r for h.
1
Suppose -8 = -8*g + 4*g. Suppose 4*u - 3*t = -5 + 87, -5*u = -g*t - 99. Solve -4*b = i + u, -i + 3*b + 11 = b for i.
1
Suppose -2*p = p - 36. Let a = -7 - -12. Suppose 3*x = -4*w + 7, 0 = -x + 5*x - a*w - 30. Solve -m + 12 = -5*m - x*l, 4*l + p = -2*m for m.
2
Let j be ((-9)/(-3))/((-1)/(-3)). Solve 3*y - 9 = -4*h + j, 3*y + 9 = 5*h for y.
2
Suppose 3*t + o - 56 = 0, 5*t - o - 112 = 2*o. Suppose 5*k - 4 - 11 = 0. Solve 4*h = -t, -k*f + 4*h + h = -25 for f.
0
Let x = -43 - -48. Solve -2*l + 29 = -x*t, 4*t - l + 5*l + 12 = 0 for t.
-5
Suppose 4*x - 39 + 31 = 0. Solve 0 = -5*b + 2*j + 3, x*b + 4*j - 6 = -0*j for b.
1
Let d be ((-20)/(-15)*3/2)/1. Solve 0 = w - v + d, 4*w + 4*v = -0*w + 24 for w.
2
Let q be (1 + 0)/((-9)/(-36)). Solve -q*i + 17 = -3*z, -4*i - 5*z + 23 = -2 for i.
5
Suppose -3*l + 17 = 5*j - 1, -j + 1 = -2*l. Solve 4*c - j*r = -18, c + 5*r = -c + 4 for c.
-3
Let d(s) be the second derivative of -s**4/12 - 5*s**3/6 + 3*s**2 - 2*s. Let a be d(-5). Solve 5*i = -3*k + 19 - 5, 0 = -i - 5*k - a for i.
4
Suppose -l + 16 = -3*l. Let u = l + 8. Solve 3*r + 37 = 4*d + d, -5*r - 20 = u for d.
5
Suppose 0 = -5*f - 3*t - 196 + 568, -5*t = f - 70. Suppose -j = 4*j - f. Solve -2*v = 5*l + 1 - 13, 5*v = -5*l + j for v.
1
Suppose 21*u - 41 - 1 = 0. Solve -t - 17 = -u*z - 4, -z + 19 = -3*t for z.
4
Let k be (-1)/2 - 115/(-10). Suppose 1 = 3*j - k. Solve -2*b + 28 = -t - j*t, 4 = -4*b - 5*t for b.
4
Suppose -y - v + 1 = 0, 2*y - 4 + 2 = -5*v. Suppose n = 1 + y. Solve -3*m - 5*s = -n - 2, 17 = 5*m - 2*s for m.
3
Let m = -3 + 5. Suppose 0 = m*t - 3*p - 56, -2*p = 5*t - p - 123. Solve -5*z - 20 = 3*w, 7 = 4*w - 2*z + t for w.
-5
Suppose -6*i + 5*i + 4*y = -24, 2*i - 3*y = 23. Solve -2*q + i*g = 3*q - 11, 4*q = g for q.
-1
Suppose 8 = 3*d - 4. Let u be ((-6)/(-4))/(2/d). Solve -f = u*f - 3*i + 8, f + 11 = 3*i for f.
1
Suppose -2*d = 5*a, -2*d = -4*a - 8 - 10. Suppose 0 = -3*c + d*k + 12, -2*c = -5*k - 4 - 4. Solve 3*i - 4*i + 9 = -w, c*i - 3*w = 32 for i.
5
Let y(i) = i**2 - 5*i + 4. Let b be y(5). Solve b*c - 20 = 2*f, 2*f - 5 = -f - c for f.
0
Suppose 0 = 3*h + 3*u - 12, h = 2*u + 1 - 3. Solve v + 12 = -3*o, -3*o + v + h - 14 = 0 for o.
-4
Let u be 3*1 + 0/(-4). Let c be ((-2)/u)/(4/(-84)). Solve 4*l + c = 2*b, -2*l - b = -0*b + 5 for l.
-3
Let d(f) = -3*f + 21. Let s be d(6). Solve -4*g = n - 7*g - 8, 3*n + s*g = -24 for n.
-4
Suppose -32 = -3*w - w. Let k = -4 + w. Solve 2*o = -2*r - r + 7, 0 = -k*r + o + 24 for r.
5
Suppose 0*w + 2*o = w - 92, 4*o - 116 = -w. Suppose z - 2*g - 28 = 0, 6*g - w = -4*z + 2*g. Solve 3*f = -9, 7*c - 2*f - z = 3*c for c.
5
Suppose 0 = -2*d + 8 + 2. Suppose -2*c = -3*l - 9 - 0, 0 = d*c - 4*l - 19. Solve 0 = -3*u + 5*j - 7, c*u + 6 + 4 = 2*j for u.
-4
Suppose -6*n - 2*w - 50 = -n, -2*w = -4*n - 22. Let z be n/(-4 + 1 + 1). Let k = 8 - z. Solve 0 = -g - 3*h + 6, -k*h + 2*h = 3*g + 3 for g.
-3
Let r(m) = 2 - 2*m + m + 0*m. Let q = -3 + 0. Let l be r(q). Solve -f = 4*s - 2*f + 9, 3*s + l*f = -24 for s.
-3
Suppose -10 = -3*b - i, b - 3*i - 6 = -2*i. Solve 3*n = -2*m - m - 3, 16 = -m + b*n for m.
-4
Suppose -8*f + 9*f - 4 = 0. Solve -4*g = -3*q + 24 - 7, f*q - 8 = -2*g for q.
3
Let c = -8 + 17. Let z(x) = x + 9. Let o be z(-6). Let i be (-13)/(-3) - o/c. Solve -4*h + 0*l = 2*l - 12, i*h - 12 = 2*l for h.
3
Suppose 3*l + 3 = -3*j + 24, -5*l + 17 = -4*j. Let u be 1/(2/(2*-1)). Let d be ((-2)/u)/(2/2). Solve i + d*i - 11 = -2*r, 10 = 4*i + l*r for i.
5
Let w = 26 + -20. Let k be 7 + 0 + -2 + -1. Solve -3*i - w = 5*n - 3, n = 4*i + k for i.
-1
Let q(t) = t**3 - 2*t**2 - 3*t + 3. Let z be q(3). Let s be (-4)/6*z + 8. Let j = 10 - s. Solve -2*v = -3*d - j - 3, -3*d - 9 = 0 for v.
-1
Suppose 0 = -6*a + 4*a + 10. Suppose -4*f = -v + 2, 15 = 2*v - 7*v - 5*f. Let p = v + a. Solve -4 = p*h - u + 1, -4*u = -2*h + 10 for h.
-3
Let v(o) = 18*o**2 + 2. Let y be v(1). Let d be (0 - -141)*(-2)/(-6). Suppose -3*l + d + 67 = 0. Solve 5*q - l = 2*h - 3, -5*q - h + y = 0 for q.
5
Let w = 4 + 14. Let n be 2/9 + 14/w. Suppose -n + 3 = l. Solve 4*d - 2*d + 5*q - 20 = 0, 0 = l*d + 2*q - 14 for d.
5
Let x(o) = o**3 + 13*o**2 + 13*o + 13. Let l be x(-12). Solve l = -3*k - 5*r - 19, 3*k + 14 = r for k.
-5
Suppose 3*c - 24 = 6. Solve -2*v = 5*g - c, 4*v + 4 = 2*g + v for g.
2
Let h(g) = -2*g - 9. Let z be h(-6). Let y be -2*1/(-2)*z. Solve -4*p + 0*p + 7 = y*s, -4*p + 2*s + 2 = 0 for p.
1
Let u be 3/(2/6*1). Let c be 5/(-3 - (0 + (2 - 6))). Solve -u = 3*z, -c*z = 3*q + 17 - 5 for q.
1
Let a(m) = -m**2 - 10*m + 4. Let y be a(-9). Solve 4*f = i + 2*f + y, 2*i = -f - 6 for i.
-5
Let o = 0 - 2. Let c = 4 + o. Solve 3*y = 9, -2*m + y + 1 = c for m.
1
Let j be 1/3 - (-60)/9. Let h(c) = c**2 - 5*c - 3. Let x be h(7). Let m = x + -8. Solve 0 = -m*y - 2*n + j*n - 5, 3*y + 4*n = 31 for y.
5
Suppose 3 + 3 = 2*q. Solve 3*y - 18 = -q*f, -21 = -3*f - f - 3*y for f.
3
Let g(x) = -x**3 - x**2 + x. Let t be g(-2). Let w(o) = -o + 2 + 7 + t. Let z be w(9). Solve 0*j - 18 = -2*q - 5*j, 3*q - 5 = -z*j for q.
-1
Let s(r) = 3*r - 1. Let b be s(-1). Let g be -3 - (b - 0 - -1). Solve h + h - 5 = 3*i, -h - 4*i - 25 = g for h.
-5
Suppose -5*d = -3*y - 9, 2*d - 4 = -2*d + 4*y. Let g = d + -1. Solve 4*b + g*u = 8, -5*u + 16 = -2*b - u for b.
0
Let c(b) = 2*b + 19. Let q be c(-7). Solve -q*u + u + 2