4*r for m.
-5
Suppose -4*q - 39 = -q. Let i = q - -16. Solve -3*d - i*v = 21, 4*d + 4 = -0*d + 4*v for d.
-4
Suppose -20 = -35*o + 30*o. Solve -5*c = o*z + 36, 0*z + 28 = -4*z - 3*c for z.
-4
Let a = -36 - -51. Let t(r) = 2*r - 1. Let b be t(3). Solve -4*i + a = u, -3*i + 5*u - 3 = -b*i for i.
4
Suppose 0 = 2*y + 3*y - 10. Let d be 15/4 + 2/8. Suppose 0 - 3 = -k. Solve y*z = -d*s + 20, k*z = -0*z for s.
5
Let k(c) = -2*c**2 - 23*c + 14. Let w be k(-12). Solve -12 = -0*z + 2*z + w*x, 3*z + 8 = 2*x for z.
-4
Suppose 4*p = -g - 0*p + 6, 4*p = -3*g + 18. Solve -3*u = -5*a - g, 2 = a - 0*a + u for a.
0
Let t be (-8)/(-4) + (-1)/(-1). Let r(u) = -2*u + 4. Let h be r(t). Let y = 4 + h. Solve -15 = -i - 3*b, -y*i - 2*b - 15 = -5*b for i.
0
Let s be (-290)/(-4) + (-6)/12. Let v be (-16)/s + 2/9. Solve -3*y + 4 = 19, -2*a - y - 13 = v for a.
-4
Let z be 4/14 + 26/7. Suppose -c = c - 8. Solve -c*n = -m + 5, -5*n + 29 = 5*m + z for n.
0
Let z be (-40)/(-18) + 6/(-27). Suppose -4*o - 3*u + 51 = -z*o, 4*o = u + 67. Solve 2 = -5*p + j, 3*p + o = -3*j - 2*j for p.
-1
Let a be (-2)/(-8) + (-159)/12. Let p = a + 31. Let u(w) = w**3 - 2*w**2 + 4*w - 4. Let d be u(3). Solve -p = 3*t - 4*i, -3*t = -2*i - 5 + d for t.
-2
Let k = 13 - 1. Suppose -2*s - 3*y + 10 = 0, 3*s - k = -y - 2*y. Solve 0 = s*l, 3*l + 3 - 6 = q for q.
-3
Let b = -12 - -17. Suppose 0 = -4*w - b*t + 7, 0*t + 4*t + 4 = 0. Solve -2*y = -4*l - 9 - 11, w*l = y - 13 for y.
4
Let y be ((-72)/(-96))/((-1)/(-4)). Solve 3*u + 3 = j + j, j = y*u for j.
3
Suppose 0 = -2*p + h + 20, -3*p - 2*h + 0*h + 37 = 0. Solve -4*s = -5*i - 10, 2*i - 4*s + p = -s for i.
2
Suppose 5*u - 2 - 10 = f, -4*f + 12 = 0. Suppose 0*z = -3*z, 3*z = 3*s - u. Let i be 30/8 - s/(-4). Solve -q - 24 = -i*w, w - 2*q - 17 = q for w.
5
Let b(y) = y**3 + 4*y**2 + 2*y - 3. Let h be b(-3). Solve 4*x + h*n = -5*n - 25, -10 = 3*x - 5*n for x.
-5
Let d be (0*(-3)/(-6))/1. Suppose -b - 2*b = d. Suppose 2*r - 3 - 1 = b. Solve -3*i + 10 + 1 = -2*v, -i = 5*v + r for v.
-1
Let d = 7 - 3. Suppose 5*t + 0*t + 2*u = 71, 0 = -d*t + 5*u + 70. Solve t = o + 4*p, -3*p = -o - 2 - 4 for o.
3
Let u be 1 - -10 - (6 - 7). Solve 6*j + y = 3*j + 11, -4*j + u = 4*y for j.
4
Let j(k) = -k**3 - 10*k**2 + 15*k. Let m be j(-11). Let g = 64 + m. Solve 0 = -b - 3*s - g, 0 = 5*b + 2*s + 20 + 15 for b.
-5
Let q = 17 - 14. Solve -5*w = 5*t + 25, -2*w - q*w + 15 = -3*t for w.
0
Let t be (14/(-3))/((-1)/3). Solve -3*v = -2*j - 1 + 10, -5*j + t = v for j.
3
Let i(w) = w**3 + 5*w**2 - 2*w - 2. Let q be i(-5). Solve -4*j = 3*z + 9, -3*z - 4*j = z + q for z.
1
Let p(d) = -d + 2. Let j be p(1). Suppose -4*z + j = -19. Suppose 0 = -0*f - z*f + 100. Solve 4*a = -4*b + f, -b - 4 = -4*a + 1 for b.
3
Let y(z) = 3*z**2 - 19*z - 12. Let f be y(7). Let k be 15*1/(-6)*-2. Solve -f*p - 20 = 3*l + 5, -5*l + 4*p = k for l.
-5
Let l be (-4)/6 + (-14)/(-3). Suppose -3*g + 5*f - 8 = 0, -g = -5*g + 4*f. Suppose 0 = -2*c + 3 + 5. Solve 20 - c = -l*q + 2*i, -24 = g*q + 2*i for q.
-5
Suppose f = -4*f - 3*a + 114, 93 = 4*f + 3*a. Suppose -l - 5 = -f. Solve -3*s + l = -4*r, 6*r + 22 = 4*r + 5*s for r.
-1
Let x be ((-2)/3)/(2/(-6)). Let m(j) = -j**2 + 9*j - 5. Let s be m(9). Let a be (s - -4)/(2/(-4)). Solve -3*k = -x*z, -z + 3 = -a*k - k for k.
-2
Let g be (-3 + 0)*(10 - 11). Solve -2*b + 1 = -b - g*i, -i - 22 = 4*b for b.
-5
Suppose -5*f + 4 = 3*r, 5*r - 5*f - 14 = 2*r. Solve 2*j - 22 + 2 = 4*z, -j = -r*z - 15 for z.
-5
Let y(r) = 17*r - 1. Let x be y(-2). Let b = -18 - x. Suppose -b - 13 = -3*w. Solve j + n - 5 = 0, 5*n - w = -j + 11 for j.
1
Let z = -4 + 7. Solve 5*p = u - 24, 2*u - 4 = -z*p - 2*u for p.
-4
Suppose -14 = -4*z - 2*m, -2*z = -5*z - m + 9. Suppose z*u + 20 = 4*u. Solve 5*b = -i - 0 + 1, -u = 3*i + 2*b for i.
-4
Let l(z) = z**2. Let x be l(-2). Solve -8 = -h + 4*y, y = x*h - 7*h - 15 for h.
-4
Suppose -2*o + o = 4*o. Solve o = -2*p - k - 0*k - 10, 3*p + 5*k + 29 = 0 for p.
-3
Suppose 5*s - 44 = -6*s. Solve 0 = -s*b + 4*f + 16, -3*f + 0 = 5*b + 4 for b.
1
Suppose -4*u = -12, -4*o + 4*u + 1 - 5 = 0. Let f be o + 3 + 4/(-2). Let x = 80 - 59. Solve -l + 11 = -4*t, 4*t = 5*l + f*t + x for l.
-5
Suppose -4*h - 3 = 5*v - 2*v, 0 = -h - 3. Suppose -v*c + 18 = 3. Solve -p - 5*x = -15, p + 2*x = c*p + 6 for p.
0
Let p be -10 + 11 - (-6)/2. Suppose -5*u = 20, b + u = -u - p. Solve b*l + r = -15, -4*l - l = 5*r for l.
-5
Suppose -2*l = l. Suppose l = w - 0*w - 3*t + 13, -t = 4*w. Let k be 30/2*w/(-3). Solve -k*z = h, -5*z + 6*z = 5*h for z.
0
Suppose 0 = -p + 5*d + 24, 0 = -4*p + p + 2*d + 20. Suppose 4*z - p = -0. Solve 0 = 5*m - 4 - z, 3*c = -4*m + 4 for c.
0
Suppose -c - 4*i = -7*i - 13, 0 = 3*c + 3*i + 21. Let g be ((1 - c) + -2)*0. Solve 4*r + t - 12 = g, -4*t + 3 = r - t for r.
3
Suppose 7*b - 6*b = 2. Solve -4*u = -b*y + 10, u + 2*u + 2*y + 18 = 0 for u.
-4
Let x be ((-3)/(-5))/((-1)/(-5)). Solve 3*q - q = -4*w - 14, 2*q = -x*w - 11 for w.
-3
Let i(m) = -5*m - 15. Let u be i(-8). Suppose 3*x - 8*x + u = 0. Solve 0 = -n + 5*f + 24, -5*n + 3 = 3*f - x for n.
4
Let r(x) = -2*x - 1. Let d be r(-3). Suppose -3*j + j = -34. Let o = j - 13. Solve -3*m - 3*u = 2*m + 25, -d*m = -o*u - 10 for m.
-2
Let f = -11 - -8. Let u be (6/4)/(f/(-8)). Solve -9 = -3*p, -5*p - 7 = u*b - 38 for b.
4
Suppose 0 = -s - 5*z + 25, -34 + 2 = -2*s - z. Let w be (-4 - -3)/(1/(-5)). Let u = 8 - w. Solve t = -2*o + u + 5, -3*o + s = 0 for t.
-2
Let s be (-4)/6 - 4/(-6). Solve -2*c = -k + 6, 5*c - 2*k + 13 = -s*k for c.
-1
Suppose 3*n - 3 = 3. Suppose -n = -b - 4. Let p = b - -7. Solve 4*d + 6*l = 2*l - 4, 2*d = p*l - 23 for d.
-4
Suppose -g - 4*j = 18, -3*j - 2*j - 29 = -2*g. Suppose 0*t = -3*t + 9. Solve -3*v - g*o = 10, v + 6 = t*v - 5*o for v.
-2
Suppose 0 = 5*i - 13 - 12. Solve y - 7 = 4*j + i, -4*y + 2*j = -20 for y.
4
Suppose -4 = -0*x - 2*x. Let a = -44 - -23. Let l = a - -26. Solve 0 = -l*u + 20, -2*i + u = x*u - 10 for i.
3
Let z be ((-3)/(-2))/3*66. Let l(t) = t**2 + 6*t + 2. Let m be l(-6). Suppose -6 = m*c + 5*i, 3*c = 2*c + i + 4. Solve -z = -4*q - 3*w - 14, q - 6 = -c*w for q.
4
Suppose 5*w = t + 21 - 6, -4*t = -5*w. Let r = -5 - -5. Solve -5 = 5*v + t*y, r = -5*v + 3*v + y + 10 for v.
3
Let u be ((-1 - -1)/2)/2. Suppose -5*s - 45 = -5*d, 3*d + d - 3*s - 32 = u. Suppose d*y - 29 = -4. Solve 5*z - 5*m - y = z, z - 1 = m for z.
0
Let a be 6 + (3/(-1))/3. Suppose a*i = 3*i. Let f(h) = 6*h - 1. Let y be f(1). Solve i = 3*d - 12, 4*w - 2*d - 8 = -y*d for w.
-1
Suppose -3*v - 39 - 9 = 0. Let n be v/24 + 14/3. Solve 0 = -n*a - b - 21, 4 - 17 = 2*a + b for a.
-4
Suppose 4*v + 2*k + 2*k = 0, 3 = v + 2*k. Let y = 5 + v. Let c = 71 + -64. Solve r - 5*n = -y*r + c, 4*r - 5*n - 11 = 0 for r.
4
Let a = -11 - -18. Let m be a + (2 - (-1 - -6)). Solve 3*l - m*r - 1 = 0, -3*r = -0*l + l - 9 for l.
3
Let t = -5 + 8. Suppose 37 = 4*v - 3*m, -5*v - t*m = -5*m - 48. Solve 5*n + 2*u - 2 = v, -n = 4*u + 12 for n.
4
Suppose 3*k - k - 2 = 2*h, h + 4*k - 14 = 0. Let m = h + 2. Let p be m/(-10) + 126/15. Solve -2*q = -4*d - p, 0 = 2*d - 2 + 8 for q.
-2
Suppose -q - 27 = 3*r, -6*r - 28 = -r - 4*q. Let m = 8 + r. Solve -5*a - 7 = -3*z + 1, -2*z + 5*a + 7 = m for z.
1
Let c = 20 + -17. Suppose 3*y - c*z = -0*y + 24, 3*y + 4*z + 4 = 0. Solve y*k + 16 = 0, 3*j - 4*k = 2 + 8 for j.
-2
Suppose -5 = -4*s + 55. Suppose 4*j - 60 = 2*q, j - 2*j + s = -3*q. Solve -4*f + 20 = -4*k, j = -k + 5*f - 10 for k.
0
Suppose 0*k + 2*k = 16. Let r = k + -5. Solve x + 7*o - r*o - 25 = 0, -x = 2*o - 15 for x.
5
Let h(v) = v**3 + 8*v**2 + 10*v + 6. Let f be h(-6). Suppose 2*l = -3*q - 0 + 5, 2*q = 4*l - f. Solve -l*d = -g - 3*g - 24, 0 = 2*g - d + 9 for g.
-3
Let q(o) be the second derivative of -o**3/3 - 5*o**2/2 + o. Suppose 4*r + 25 = -r. Let f be q(r). Solve 3*z = -2*w - 2, 4*w + 4 + 2 = -f*z for w.
-4
Suppose -2*s + 6*s = a + 16, -a = s - 9. Suppose 4*y - 20 = a. Suppose 2*n - y = 4*z, 6 = 3*z - n + 3*n. Solve 25 = 5*f, -b + 5*b - 5*f + 13 = z for b.
3
Suppose -4*t = -4*b - 28, -15 = 2*b - 5*t + 2*t. Let j be 3/((-21)/b + -2). Solve 0 = -3*z + 2*s + 2, -2*s = -j*z + 1 - 3 for z.
4
Let a = 5 + -3. Solve -4*i - 5*s = -6 - 13, a*i + 10 = 4*s for i.
1
Suppose 4*b - 3 = 1. Suppose -h = v, v + 2 = -b. Solve 1 = w, g - 1 = w + h for g.
5
Let o = 142 - 138. Let