 4*i - 12, -2*r = -4*i + m for i.
2
Suppose -2*d - 11 = -11*m + 16*m, -4*d - 4*m - 4 = 0. Solve -3*t = 3*r, -d*r = -7*r + t + 30 for r.
5
Suppose 7*o = 11*o - 20. Solve 5*c + z - 19 = 1, 5*c = -o*z + 40 for c.
3
Suppose 3*r = -3*m, 4*r - 2*m = 5*r + 2. Suppose -8 = -5*j + 4*t, -4*j - 2*t - 2 - r = 0. Suppose 0 = k - 4 - j. Solve -3*p + k*n - 3 = -0, -n = 3 for p.
-5
Let z(m) = 2*m + 19. Let q be z(-8). Suppose -4*p - 14 = -3*a, 2*p + 2 = 4*p + q*a. Let r be (32/24)/(p/(-3)). Solve 3*u = 3, -4*o - r*u - 25 = -7*u for o.
-5
Let o be (-5)/(-10)*(4 + -10) - -6. Solve -c - 3*c = g - 1, -o*g + 13 = 2*c for c.
-1
Suppose -11 = 2*b + 9*b. Let u be b/(1*3/(-18)). Solve -27 = 4*l + 3*j - u, -3*l + 5*j + 6 = 0 for l.
-3
Suppose -5 = 5*w + 5*i, i + 5 = -w - i. Suppose 0 = w*h - 21 - 0. Solve -7 = -2*l - 3*c, 3*l = -h*c + 3*c + 10 for l.
2
Suppose -7*v - 788 = -3770. Let g be v/36 - (-2)/12. Solve -4*w - r = -g, -r + 12 = 5*w + r for w.
4
Let m = -13 + 17. Let k(s) = -4*s - 5. Let d be k(-2). Let u be (d/(-4))/((-6)/72). Solve m*n - 20 = 0, 0*b + 3*b + 3*n = u for b.
-2
Suppose -r - 3 = 0, -6*d = -2*d - 2*r - 30. Suppose 2*t + d*q + 2 = 2*q, t = 2*q + 11. Solve -x - z = -2*x + 1, 2*x - 11 = t*z for x.
-2
Suppose 0 = 2*a - 3*m + 2, -8*m = -3*a - 7*m + 4. Solve a*r = 3*t - 5, 0*r + t - 11 = -4*r for r.
2
Suppose 108 = s - 18. Suppose -s = -7*n + 42. Let o be 2 + -3 + 0 + 6. Solve 6 = 4*v + 2*z, -2*v + o*z = v - n for v.
3
Let n be (-12)/(-6) + 1*-3. Let t be (1 + n)/(6 + -5). Suppose -4*w + 2*l + 12 = -12, -5*w - 4*l + 30 = t. Solve 2*o + 13 = -3*m - 3*o, 4*m - w = -2*o for m.
4
Let i(c) = -c**3 - 3*c**2 + 4*c. Let t be -2*(3 + -5 + 4). Let v be i(t). Solve 4 = -v*u - 2*u + s, 0 = 2*u + 2*s + 4 for u.
-2
Suppose 239 = -2*a - k, -5*a - 3*k - 372 = 225. Let f be 16/a + (-227)/(-15). Suppose -t - 2*t = -f. Solve -3*u + t*q = -24, 4 = 2*u - q - 5 for u.
3
Let z be (2/2)/(4/96). Let k = -19 + z. Solve -5*d = 3*i + 32, k*i + 16 = -d + 2*d for i.
-4
Suppose -5*a = 0, 3*o = 7*a - 2*a. Solve 0 = 3*g - 15 - o, 11 = -2*l + 3*g for l.
2
Let a(s) = -3*s**2 - 10*s + 15. Let b(w) = 2*w**2 + 5*w - 7. Let t(x) = 3*a(x) + 5*b(x). Let f be t(3). Solve p + 30 = 5*u, -f*u = 3*p + p for u.
5
Let k be (6/5)/((-2)/(-5)). Suppose 4*l - 22 + 6 = 0. Suppose 2*t - t - 2 = 0. Solve k*d = -5*a + 15, -l*d - 12 = -t*d - 4*a for d.
0
Suppose -q + 4*d + 12 = -3*q, 2*q = 4*d + 28. Let c be 0 + (-1 - (-7 - -1)). Solve -3*v - 5*k = q, -4*v - 10 = c*k - 3 for v.
-3
Let y(j) = -j**3 - 3*j**2 + 9*j + 23. Let n be y(-4). Solve 2*f + 3*z = -11, -n*z - 7 = f - z for f.
-1
Suppose 0 = 5*y + 5 - 20. Suppose 0 = -y*h - 14 + 26. Suppose 12 = w - 0*w. Solve -5*a + 15 = h*m, -4*a + w = 4*m - 2*m for a.
3
Suppose 3*l - 4 = l. Suppose 5*a + 15 = l*o, -4*o = -3*a - 9 - 14. Let d be (2 + -2)*(a + 2). Solve -3*i + 3*m + 10 + 14 = d, 5*i - 28 = 2*m for i.
4
Let r = 91 - 154. Let d = r + 80. Solve 4*w - d = -5*v, 7 + 13 = 5*v + 5*w for v.
1
Suppose 408*n - 126 = 401*n. Suppose -6*w + w + 4*t + 10 = 0, -2*w + 2*t = -4. Solve -l - n = 2*l - 3*v, v = -w*l for l.
-2
Let q(p) = p - 35. Let c be q(17). Let t be (-18)/81 + (-76)/c + -2. Solve -t*d + 4*s - 25 = d, -d = s - 1 for d.
-3
Let a = -393 - -397. Solve -a*j + 8*o = 3*o + 40, -o + 14 = -2*j for j.
-5
Let c = -8 - -9. Let n = 4 + c. Let h be (-168)/(-98)*14/3. Solve 4*f + 4*j - 8 = 0, -h = -3*f + n*j - 42 for f.
-3
Suppose 18*x - 44 = -4*x. Solve -4*o = x*i + 4, 3 = -4*i - 13 for o.
1
Suppose d + 5*l - 35 = -d, 2*l = -2*d + 20. Let h(o) = -o**2 + 13*o - 36. Let r be h(d). Solve p + r*p - 2*z - 5 = 0, -2*p + 2 = 4*z for p.
1
Suppose 60*h = 59*h + 15. Solve 2*z - u = -h, -z - 10 - 10 = -3*u for z.
-5
Suppose 33*h = 32*h + 4. Solve -h*q + 17 = n, -3*q + n - 11 = -3*n for q.
3
Let l be (-8)/(-6)*(-45)/10. Let a be (-1)/2*(l + -12). Suppose -3*s + a = -0*s. Solve -b - 5*r - 23 = 0, s*r = 2*b - 2 - 4 for b.
-3
Suppose -20*b + 16*b = -4*d, d - 5*b = -8. Solve d*r + 3 = g, 5*r + 5*g - 10 = 4*g for r.
1
Let m = 8 + -8. Let y be (-8*(m - -1))/1. Let c be (-413)/(-28) + (-2)/y. Solve c = 4*f + 3*d, -2*f + d - 4 - 1 = 0 for f.
0
Suppose -1 = 37*u + 5 - 43. Let x = 3 + -1. Solve -4*v = -3*r - 17, -4*r - u = x*v - 3*v for v.
5
Let t = -217 - -322. Suppose 2*n = 5*n - t. Solve -n = 3*r - 4*u, -5*r - 2*u - 20 = -u for r.
-5
Let h(s) = s**3 - 13*s**2 - 22*s + 17. Let o be h(15). Let l = -137 + o. Solve l = 2*i + 2*j + 14, 2 = -i + j + 3 for i.
-3
Suppose 0*b + 4*b = 3*n - 3, -2*n + 3*b + 1 = 0. Solve -4*m + r - 1 = -9, m - 2 = n*r for m.
2
Suppose -j - 8 = 2*q, 64 - 42 = j - 4*q. Solve 2*g + j = -2*d, 10*g + 19 = 11*g - 3*d for g.
4
Suppose -2*c + 2*z + 2 = 0, -41*z = 5*c - 45*z - 8. Solve -16*r = -12*r + 4, c*r + 24 = -5*s for s.
-4
Suppose 10 = t + 4*t, 3*z + 5*t = 22. Solve -15 = -m - 3*p, 5 = 5*m + z*p - 15 for m.
0
Let b(r) = r**2 + 2*r + 2. Let g be b(-2). Let q = 282 + -271. Solve 3*y + 10 = 3*t + g*t, 3*y + q = 4*t for y.
-5
Let k be 29/9 + (-4)/18. Let f be 1*-5 - (-26 + (-4 - -14)). Solve -f = -v - k*b, 3*b = -3*v - b + 8 for v.
-4
Let h(n) be the first derivative of n**3/3 + 2*n**2 - 8*n + 1. Let c = -13 - -7. Let y be h(c). Solve -4*q - y*f - 4 = 0, -6*f = q - 2*f - 2 for q.
-2
Suppose -4*i + 16 = 4. Let z(g) = -g**3 - 2*g**2 - 9*g - 14. Let p be z(-2). Solve -4*v + 28 = p*q + v, -2*q - i*v = -16 for q.
2
Suppose -2*j + 2 = z, 3*j + 3 = -6*z + 5*z. Solve -4*s + 1 = -2*r + 9, -2*r - z = s for s.
-4
Suppose -4*u - 4*a = -72, 0 = -5*u - 3*a - 30 + 122. Solve -d = -4*x + u, -2*x - d + 14 = -3*d for x.
4
Let o(v) = -5*v**3 + 2*v**2 + 3*v + 1. Let p be o(-1). Solve p*c = -5*n, 2*c - 5*n = -n for c.
0
Suppose 3*v + 9 = 0, -o - v + 0 = -2. Suppose 2*j + o*m - 1 = 4*j, 32 = j + 4*m. Solve c - 5*k + j = 0, 5*k - 19 - 11 = -5*c for c.
3
Let s(n) be the second derivative of -n**5/20 + n**4/6 + n**3/6 + n**2/2 + 5*n. Let v be s(3). Let t = 9 + v. Solve -t*q + 1 = 5*y - 8, 10 = -5*q - 2*y for q.
-4
Let y be (15/9)/(145/60 - 2). Solve 2*t - 3*m + 10 = 6*t, -3*t + y*m = -20 for t.
4
Suppose 0 = -4*b - 110 - 10. Let q be 15/10*b/(-9). Solve 0 = q*i - 5*a, -2*i = -0*i + 2*a + 20 for i.
-5
Let g = -46 - -52. Suppose -5 + g = x. Solve 5*v = 4*f - x, -1 - 1 = 2*f for v.
-1
Let y(k) = -k**3 + 15*k**2 - 56*k + 22. Let b be y(9). Solve -b*o - 17 = u, -6 = 3*o - o for u.
-5
Suppose q + q = 32. Let j = -7 + q. Let l be (-52)/(-12) + 6/j. Solve 0 = l*m - k - 7, 4*k = -2*m - k - 8 for m.
1
Suppose -14 = -2*c + 4*o, 0 = -2*c + o + 26. Solve -2*t = 2*r - 10, -r + c = r + 3*t for r.
0
Suppose 0 = -5*q - 20, -2*q + 0*q - 5 = n. Suppose 6 = -4*u + a, 0 = -2*u - n*a + 7*a - 10. Let p = u - -6. Solve -6 = -2*c - 5*y - p, -5*y = -c - 7 for c.
-2
Suppose 3*w - 222 = 4*l + 83, 0 = -5*l - 3*w - 388. Let t = -55 - l. Solve -5*z + t = b, -25 = -2*z + 6*b - b for z.
5
Suppose -7*i + 25 = 5*k - 2*i, 0 = -3*k + 5*i - 1. Solve k*p - 10 = o + 8*p, 23 = 4*o - p for o.
5
Let v = 20 - 8. Suppose 2*l = 9*y - 6*y - 12, -2*l + y = 4. Solve 5*t + 3*q = 2*t, l = t + 4*q - v for t.
-4
Let a = 33 + -60. Let g = -23 - a. Solve 0*q - 3*f + 2 = -q, 0 = -4*q - g*f - 24 for q.
-5
Suppose -3*t + 7*t = -28. Let m = -4 - t. Suppose -5*b = -2*g - 2*g - 55, -b - m*g + 11 = 0. Solve -5*j = -b*i + 6*i, 4*i - 20 = 0 for j.
5
Suppose -2*p + 41 = 3. Let h = -101 - -79. Let m be (-3 - 1) + (h*1)/(-2). Solve 7*l = -2*f + 2*l + p, -f + m = 2*l for f.
-3
Suppose -19*w + 17*w - s = -41, 3*w - s = 69. Solve 3*v + 3*l + 6 = 0, -v + w = -4*l + 4 for v.
2
Let m be ((-8)/(-10))/((-3)/75*-5). Suppose -5*x + 0*h = h - 10, -27 = -m*x + 3*h. Solve 7*o = 2*o - z + 10, 4*z - 6 = -x*o for o.
2
Let m be 9/(7 - (-5 - -9)). Suppose -m*t + l = -2*t + 2, 0 = -t - 5*l + 10. Solve -4 = j - 4*b, 5*j + t*b - 10 = 5*b for j.
4
Suppose -12*a + 3*a = -72. Suppose -5*y + 0 = -25. Solve r - y*t = 2*r - a, -r - 2*t = -2 for r.
-2
Let o(a) = -a**3 - a**2 - a + 11. Let p be o(0). Let n = 13 - p. Solve 5*c = 15, -3*s + 3*c - n*c = 0 for s.
1
Let n(r) = -r**2 + 7*r. Let l be n(7). Let i(h) = -h**2 + 12*h - 12. Let x be i(6). Let w = x - 23. Solve 0 = 3*k + 5*v - 21 - w, l = 2*v - 4 for k.
4
Suppose 5*l + 7 = 3*v - 19, -4*l - 52 = -5*v. Suppose 0 = 4*n + x - v, -x - 4 = -2*n + 2. Solve 0 = -2*q - n*g + 19, -4*g + 18 = -q - 0*q for q.
2
Let s = 124 + -118. Suppose m + 2*