 13 = d for i.
5
Suppose -f + 3 - 18 = 0. Let m be (0 - 2) + (-4 - f). Solve 3*w = m, -4*h - w + 27 = 4*w for h.
3
Let t = 23 - 21. Solve 2*q = -y + 8 + 1, 3 = q + t*y for q.
5
Let c = 1 + 3. Let k be (-8)/c*(-2 + 0). Solve -y - 5*s + 17 = -5, 4*y = -k*s + 8 for y.
-3
Let p(s) = -25*s. Let i be p(-1). Suppose -3*m = -4*t - 0*t + i, m + 11 = 2*t. Solve -4*a = -t*k + 4, 3*a - 2*k - 2*k + 1 = 0 for a.
-3
Let z be (-18)/12*8/(-6). Solve -3*p = z*p + l - 3, 4*p = 2*l - 6 for p.
0
Let u(d) = -d - 11. Suppose -3*j = -2*j + 14. Let z be u(j). Solve -z*q + 7 = -4*x, 3*q + 2*x - 1 = -0*q for q.
1
Let c = 18 - 13. Suppose 0 = -5*d - 4*m - 2, 0 + 3 = 3*d + m. Let v be d/(-2)*(-1 - 2). Solve 3*p = -v, c*x - 2*x + 3*p = -6 for x.
-1
Let u = 0 - 0. Suppose 0 = 2*q - u*q. Solve -4*p = -2*z - 10 + 2, q = z + 2*p + 4 for z.
-4
Suppose 0*g - 5*g + 240 = 0. Suppose 5*c - c = g. Suppose -5*a + 51 = r, r + 4 = -a + 15. Solve 2*l + 3*z = -l - c, 4*l + 2*z + a = 0 for l.
-1
Suppose 3 = l - k, l = -0*l - 3*k + 11. Let y = l + -1. Solve 5*g = -3*o + 2, 0 = -2*g - 5*o - y + 1 for g.
1
Let a be 1 + 4 + (2 - 2). Solve -5*d - 3*v = -a, 0 = -3*d + 5*v + 12 + 25 for d.
4
Let f(a) = -a**2 + 5*a + 16. Let t be f(7). Suppose -t*k + 5 = -1. Solve q - 5 = -o, 3*q + k = o + 2 for o.
4
Suppose 3*m + c - 3*c + 28 = 0, -2*m = -3*c + 27. Let z(w) = -w**2 - 5*w + 6. Let n be z(m). Let f = 6 + -2. Solve f*b - 5*j + 0 + 5 = n, 0 = 3*b - 5*j for b.
-5
Let q = -57 + 61. Let c(t) = t**2 + 4*t. Let b be c(-5). Solve -4*m + 23 + 0 = -b*h, -5*m = q*h + 2 for m.
2
Let h(d) = -d**3 + 6*d**2 - 6*d + 1. Let r be h(5). Let m be r/(3 + -3 + -1). Solve 2*c + 3 = -5*w, c + 4 - 1 = -m*w for c.
1
Let p(k) = 0 - 5 - 5*k + 7*k. Let i be p(5). Solve 12 + 10 = 5*j + 3*w, -2*j - i*w + 5 = 0 for j.
5
Let m = -39 - -42. Solve 5*p + 15 = -4*w, 0*p + m = w - p for w.
0
Suppose 4*q - 3 - 5 = 0. Let h(l) = 3*l + 0 + 15 - 3. Let i be h(-4). Solve i = 3*j - 5*r, -q*r = 4*j - 4*r for j.
0
Suppose 0*p + 5*p = -45. Let z = p - -19. Solve -2*l + 4*x = -z - 12, -3*l = -3*x - 21 for l.
3
Let k = 36 - 17. Let u = k + -16. Solve 2*r - 4*t + 3 = 1, -3*t = -u*r - 9 for r.
-5
Let d be (4/10)/(5/25). Let q = -1 + d. Let w = q + -1. Solve 5*g - 3*v - 10 + 27 = w, 2*v = -2*g + 6 for g.
-1
Let d be -2 + (-12)/3 + -1. Let y = 14 + d. Solve 4*j + f + 14 = 0, y = -0*j - 3*j + f for j.
-3
Suppose 0*u = -3*u + 9. Let l = -6 + -4. Let k = l - -15. Solve -5*p - 29 = -u*n, 4*n + k*p = -0*p - 8 for n.
3
Let j be ((-16)/(-20))/(4/30). Solve 0 = -3*w - 9, 0*x + x = w + j for x.
3
Let w(s) = -s + 1. Let c be w(1). Let h = c - -1. Let t = 10 - 4. Solve i + t = -2*j, i = 5 - h for j.
-5
Let f = 39 - 34. Solve 2*d = 5*m + 1, -f*d = 2*m - 7 - 10 for d.
3
Let c = 5 + -2. Let t = c + 1. Solve 4*h - t*f - 31 = 5, -30 = -5*h + 2*f for h.
4
Let i be (96/6 - -1) + (-6)/2. Solve 4*z + i = z + t, t = 5*z + 20 for z.
-3
Let t = 2 + -2. Let i(x) = x**2 + 8*x + 10. Let s(l) = l**3 + 5*l**2 + 6*l + 1. Let u be s(-4). Let f be i(u). Solve g + 4 = f*m - 2, 2*m - 5*g - 17 = t for m.
1
Suppose -2*q = 2*n, -3*q + 2*n = -2*q - 15. Solve d - 4*w = -12, -3*w + 6 = q*d - w for d.
0
Let b = -2 + 10. Suppose 0 = -5*l - 4*n + b, 0 = -5*l - 3*n + n + 4. Let z be 2 + 8 + (l - -2). Solve -4*v + 7*m - 2*m = 27, 2*v + z = 2*m for v.
-3
Let z(k) be the third derivative of -k**4/24 - 7*k**3/6 + 3*k**2. Let v be z(-9). Solve -y + 5*s + 2 = 0, 5*y - 5 - 5 = v*s for y.
2
Let z = 55 - 41. Let w be 50/18 + 4/18. Solve 5*b = l + z, 1 = -3*l - w*b - 5 for l.
-4
Let k(r) = -9*r - 1. Let t be k(-1). Let i = -4 + 10. Let z = t - i. Solve -z*h + 2*q = -4, 5*q - q = -16 for h.
-2
Let f = -3 - -16. Let z = 24 - f. Solve -3*l = s - z, -s - 2 = -l - 3*s for l.
4
Let v be (1 - -1)/(6 - 5). Suppose v*w = -0*w + 16. Solve i = -n - 1, -4*n - w = -3*i - 32 for n.
3
Suppose 3*v + 0 = -y + 11, 5 = -y + 5*v. Let r be 1 - (-290)/35 - (-2)/(-7). Solve -a = 5*g - r, 2*a - y = 4*g - 1 for a.
4
Let p = -18 - -28. Solve 2*k + 10 = -4*n, 0 = -0*n - 4*n + 2*k + p for n.
0
Suppose -3*l + 12 = 2*l + 2*q, 4 = -2*l - 3*q. Solve l*y + 5*h = -27, -5*y = -0*y - 5*h for y.
-3
Let h(t) = t + 2. Let y be h(0). Let x be (y - 6) + 0/1. Let w be 1 - x - (3 - 1). Solve -5*q = -4*j - 0 - 32, -2*q - w*j = 1 for q.
4
Suppose 5*n + 7 - 37 = 0. Let m(i) = -i**3 - 9*i**2 - 8*i + 4. Let c be m(-8). Solve n*h - 3*o = h - 12, -c*h - o = -4 for h.
0
Suppose -2*o + c = 9, -4*o + 2*o + 4*c = 6. Let j = 10 + o. Solve -3*z - 6 = j*m - 2*m, 2*m + 5*z + 19 = 0 for m.
3
Let k(d) = d**3 - 12*d**2 + 15. Let f be k(12). Solve 5*c = -3*z - f, 4*z + 5 = 3*c + 3*z for c.
0
Suppose -2*s = -6*s + 20. Let t = 13 + -8. Solve -10 - 15 = s*a, 37 = 4*i - t*a for i.
3
Let t be (28/8)/((-2)/(-4)). Let z = t - 3. Solve -3*p - 5*m = -13 + 1, p - z = -2*m for p.
4
Let d(w) = -4*w - 13. Let b = 2 + -5. Let a(r) = r + 1. Let z(v) = b*a(v) - d(v). Let h be z(-8). Solve -3*p + 3*g = h*g - 2, -g + 8 = 2*p for p.
2
Suppose 3*x = l - 4 - 2, -2*l = x + 2. Suppose 4*t + 26 = 3*r, 0 = -l*r + 5*r + 4*t + 10. Solve -r*z + 2 = -4*d, -2*z + 0*z = d + 8 for d.
-2
Let x be (20 - -1) + (2 - 2). Let s be 1*-1 - x/(-3). Suppose s*z + 17 = f + z, -2*f - 3*z = 5. Solve -2*m - 10 = -f*v, 0*v = -3*m - 2*v - 10 for m.
-4
Let t be (6/(-4))/((-6)/(-40)). Let k be 4/(-6) + t/(-15). Solve -5*p - 2*x - 5 = -k*p, 5 = x for p.
-3
Suppose 4*a + 5*o - 23 = 2*a, 3*a = 3*o - 18. Let l = a + 2. Let b(y) = 3*y + 1. Let c be b(l). Solve 2*p - 2 = -2*i - 12, c*p + 20 = -3*i for p.
-5
Suppose y = 5*h - 0*h - 3, -2*h + 2*y - 2 = 0. Solve 2*f = -10, 3*c + 5*f - h = -14 for c.
4
Let k be -1*2/4*-2. Let a = k - -3. Suppose -5 = -2*d + w, -3*d - a*w + 35 = -0*w. Solve -d*f = 2*s - 0*f + 17, 3*s - f = 0 for s.
-1
Let v(z) = z - 7. Let q be 3/(-2 + (-338)/(-172)). Let w be q/(-12) - 1/6. Let x be v(w). Solve 2*r + c = -4, -8 = -4*r - x*r + 2*c for r.
0
Suppose 3*r = -1 + 28. Suppose -4*w - 1 + r = 0. Solve -2*a - 8 = -2*v, 2*v = -3*v + w*a + 17 for v.
3
Let u be 6/(-8) - 55/(-20). Solve -4*o = -m + 1, 0*m + 5*o - 15 = -u*m for m.
5
Suppose -4*f = -4*t - 6*f + 10, t - 3*f - 20 = 0. Suppose -3*p + t = -7. Solve h + p*h = -4*d - 41, 4*d - h + 11 = 0 for d.
-4
Let h(i) be the second derivative of -i**3/2 - 2*i**2 + i. Let b be h(-4). Let q = 11 - b. Solve q*y - y + 12 = -4*r, y + 15 = -5*r for r.
-3
Let q(u) = u. Let s = 25 + -21. Let g be q(s). Solve -2*d + 15 = 5*m, 4 + 5 = g*m + d for m.
1
Suppose -2*o - o - 3*i = -27, -5*o = 3*i - 49. Let v = 15 - o. Solve -v*k - j = -13, -3*j - 20 = -5*k - 8*j for k.
3
Suppose 2 = -r + 5. Suppose -4 = m - 2, -10 = -r*g + 2*m. Suppose 0 = 3*l - 0*q - q - 13, g = -2*q. Solve -18 = -l*i - 0*i + 3*x, -3*x = 4*i - 6 for i.
3
Let b = 12 + -4. Let l = b + -6. Suppose 0 = a - 2*a + 5. Solve -z - 3*z + 5 = 3*p, l*z - a*p = -17 for z.
-1
Let v be 1*(1 + -1)/(-1). Solve 2*y - 4 = -3*w + w, v = -w + 4*y - 8 for w.
0
Let y be 0/(-2 + (2 - 2)). Let j be -5*((-9)/(-15) - 1). Solve y = 2*d + t + 1, -j*d - 5*t + 9 + 2 = 0 for d.
-2
Suppose 2*z - d = 1, -2*z + 0*z + 26 = 4*d. Suppose 3*j - 31 - 14 = 0. Solve j = -3*p, 9 = x - 5*p + z*p for x.
-1
Let z be (12/14)/(18/84). Solve 5*y + q = -z, 3*y = 2*q - 3 + 11 for y.
0
Let v = -72 + 81. Let a = -6 - -9. Suppose -3*m + 4*d = -12 - 10, 0 = a*d + 12. Solve -h + m*x + 4 = -2*h, 3*h - v = x for h.
2
Let a = 34 - 24. Solve -2*t + 4*u = -10, 2*t = u + u + a for t.
5
Suppose -13 = t - 0*t + 2*f, -4 = 3*t - f. Let k be 0*(1 - 0/t). Suppose k = -2*q + 3 + 1. Solve 0 = 4*c + 4*r, 4*c = q*r - 5*r - 5 for c.
-5
Let s = 126 + -119. Solve t + 11 = 4*q - 5, q = t + s for t.
-4
Let a = 6 + -1. Let y = 38 + -18. Solve j - 3*j + 3*m = 7, a*m - y = -5*j for j.
1
Let f(p) = -p**3 + 10*p**2 - 9*p - 9. Let h be f(9). Let w = h - -13. Solve 0 = -5*r + 2*d + w, 5*r + 3 = -2*d - 1 for r.
0
Suppose -1 - 16 = -4*d + 5*b, -2*b - 8 = -2*d. Solve -5*h + t = 7, d*t - 8 = h + h for h.
-1
Suppose 0 = -5*v - 2*k - 84, 0 = -2*k - 2*k - 8. Let c = 20 + v. Solve 5*m = 4*n + m - 16, 0 = c*n + 5*m + 11 for n.
1
Let j be (-42)/4*(-6)/9. Let x be ((-3)/9)/(1/(-6)*1). Suppose -2*n + n + j = x*z, 2*n = 3*z. Solve -2*y - 5*t + 1 = 0, 2*y - z*t = 5*y - 7 for y.
3
Let w be ((0/3)/(-2))/2. Suppose w*r - r + 6 = 0. Let u be r/(-4)*20/(-6). Solve 5*l + 41 = 5*s - 9, 0 = -u*l + 2*