 13 + 12 = 5*k, u = -3*y + o*k for y.
5
Let r = -4 + 18. Suppose r*b + 6 = 16*b. Solve -5*j + 30 = b*w, j = -j - 4*w + 26 for j.
3
Let z(f) = -15*f**3 + 4*f**2 + 4*f. Let q be z(-1). Suppose 4*k = -12, -5*u + 9 = 2*k - 0*k. Solve -3*n - q = u*b, -20 = -b + 2*b + 4*n for b.
0
Suppose -31 - 7 = v. Let p = -35 - v. Suppose -3*j = -4*n, -j = p*j - 16. Solve 2*b = -5*m - 2, 0 = b + 4*b - n*m - 26 for b.
4
Suppose 0 = -21*a + 840 - 189. Solve -4*m - a = 5*s, -4*m - 7 = -0*m - 3*s for m.
-4
Let h be ((-10)/(-8))/((-375)/(-600)). Solve 0 = 4*x - 2*a + 16 + h, -3*x = 2*a - 4 for x.
-2
Let c = 609 + -606. Solve j = -c*s - 6, -6 = 5*s - 0*s + 3*j for s.
-3
Let s = -2544 - -2546. Solve 3*u - u - 21 = -3*f, 4 = -s*u + 2*f for u.
3
Suppose -3*p + c = -10, 5*c - 20 = -4*p + 8*c. Suppose -4*g = -3*d - 64, -2*d = -p*g - 0*d + 32. Solve -g = -3*t - 0*i - 2*i, 8 = 4*i for t.
4
Let p = 107 + -101. Suppose p*m = -m + 14. Solve -3*w = -8*j + 4*j + 15, 0 = 4*j + m*w + 10 for j.
0
Let a(i) be the first derivative of i**4/4 + i**3/3 - 3*i**2/2 + 4*i - 7. Let p be a(0). Solve 20 = 5*x, -3 = -y - 2*x + p for y.
-1
Suppose 3*o + 34 - 129 = r, -o = 2*r - 27. Suppose 5*b - o = 3*m, -4*b + 3*m = -9 - 14. Solve -2*t + n = -3*t + b, 3*t - 5*n + 16 = 0 for t.
3
Suppose -11 = -3*j + 4. Suppose g = 3*r + 32, -5*g - r = -50 - 126. Suppose -j*a - g = -10*a. Solve 0 = 4*t + 3*d - 0*d - 23, -a = -t - 2*d for t.
5
Let l be (-2)/7 - (-37)/7. Let t be (-5)/(-2)*(-32)/(-10). Suppose t*m = 2*m + 24. Solve -3*f - 5 = -l*f - d, -24 = -3*f + m*d for f.
4
Suppose 45 = 16*h - 35. Solve 0*q - h = -2*q - 3*r, 0 = 5*q - 2*r - 22 for q.
4
Suppose 5*t = 2*u + 16, -t - 5*u = -0 - 14. Solve -5*k + 32 = 3*v - 2, -2*v + 26 = t*k for v.
3
Let z(q) = -q**2 + 37*q - 184. Let t be z(31). Solve -5*f = a - 3, -3*a - t*f - 4 = -0*a for a.
-2
Let r(n) = 22*n + 5. Let x be r(0). Solve x*c + 10 = -3*y, -c - 2*y + 2 = 4 for c.
-2
Let k = 8 + -7. Suppose -5*t + 9 = -k. Suppose 6 = c + t*c. Solve -2*p - 3*p + 17 = 3*l, -c*p + 5 = 3*l for l.
-1
Let r = 33 + 1. Suppose 0 = 2*m + 5*g + 8 - r, -g + 19 = 5*m. Solve 2*a + m = -u - 0, 2*a - 9 = -5*u for u.
3
Let y(j) = 28*j + 1. Let u be y(3). Let w = -84 + u. Solve -2*p = -i + w - 4, -2*p = 2*i + 6 for p.
0
Let g be 6/4*4/3. Suppose 0 = -12*k - 20*k. Suppose 5 = g*h - 3*p, k*h - p = h - 5. Solve t - 3*f = 5, -h*f - 9 = -f for t.
-4
Let w(k) = 15*k - 42. Let x be w(3). Suppose -2*h - h + 12 = 0. Suppose 2*a - 55 = -x*n, -2*n + 6 = -h. Solve -d + a = -4*z + 3*d, 5*z = 4*d - 25 for z.
-5
Let f be (20/(-18))/5 + 580/180. Solve -f*m = -2*n - 5*m + 2, 0 = -n + 2*m - 11 for n.
-3
Suppose 2*a = 5*y + 13, -2*a = 2*a + y - 15. Suppose a*o = -28 + 4. Let h be (3 + o)*(-3)/1. Solve -h = i + 2*u - 0, 4*i + u = -15 for i.
-3
Let s(v) = -2*v - 26. Let q be s(-15). Solve 2*m - 14 = -q*u, 0*u + u + 10 = -5*m for u.
5
Suppose 4*l = -5 - 11. Let r = 4 - l. Suppose 4*d - r = h + 7, -5 = -h. Solve -z + 3*j - 1 = 0, 2*z - d*j = -1 - 1 for z.
-1
Let x be (-32)/24*(-4 - (-15)/6). Solve -3*z - 15 = 4*l, 0*z + 5*l = x*z - 13 for z.
-1
Let u = -57 + 81. Suppose 5*v = -f - 6, -3*f + 4*v = f - u. Solve 2*i - 4 = f*l - 2*l, -4*i = l + 12 for i.
-2
Suppose -23 = -5*h - 3. Solve 4 = 5*i - h*c, -2*i + 2 = i - 2*c for i.
0
Let s = 11 - 8. Let u = -5 + 5. Suppose u = -4*p - 5*o + 10 + 50, 24 = 2*p + o. Solve p = -2*g - 2*g - s*w, -g - 6 = -w for g.
-4
Suppose -301*m + 307*m - 96 = 0. Solve -t = -3*c - 11, -6*c + c + 4*t - m = 0 for c.
-4
Let k be -2*1*2/(-2). Suppose -5*n - c + 11 = 0, 4*n + 4*c + 10 = k*n. Let h be 118/6 + 69/(-9) + 8. Solve -p - p - n*o - h = 0, -o = -p for p.
-4
Let b(j) = 2*j**2 - 34*j + 64. Let k be b(15). Solve 0 = k*o + p - 1 + 7, 2*p + 3 = o for o.
-1
Let s be -4 - (0 - (-38)/1). Let i = -40 - s. Solve i*m = 5*n - 7 - 3, n = -3*m + 2 for n.
2
Let v(m) = -2*m**2 + 10*m + 51. Let l be v(8). Solve -l*q - 5*n + 10 = 0, -19 = 2*q - 4*n - 33 for q.
5
Let n = 916 - 876. Solve -3*i + n = -5*r, 2*i - 4*r - 30 = -0 for i.
5
Let h be (432/(-12))/6 + (-8)/(-1). Solve 3*w - 2*w + 5 = n, -2*w = 2*n - h for w.
-2
Let i = 263 - 258. Solve 5*v + 3*g + 7 = 0, v - 2*v - i = -3*g for v.
-2
Suppose -7*g + 28 = -3*g. Suppose -2*s + 8*s = 42. Let p = s - g. Solve 4*f - 2*f + 4*z = 6, -z + 2 = p for f.
-1
Let j(h) = h + 39. Let p be j(-39). Solve p = k + 5*o + 7 - 34, 4*k = 4*o - 12 for k.
2
Suppose 3*l = 4*p - 48 - 131, -5*l - 289 = -2*p. Let a = l - -60. Solve 0 = -4*y - 0*f - f + 5, a*f = 2*y - 13 for y.
2
Let d(u) = 2*u + 10. Let t be d(-4). Solve 2*l = 2*i - 2, 4*l - t*l = i + 2 for l.
3
Let y be -6 - (-16)/(-12)*-6. Solve 4*k = -d + 15, 11*k = 6*k - y*d + 21 for k.
3
Suppose 2*d - 67 = -4*t - 25, 2*t + 12 = 2*d. Suppose -31 = -o - d. Solve 0 = -5*c + o, 5*b - c - 11 - 10 = 0 for b.
5
Let c = -30 - -44. Let d be (8/(-4) + 1 + 2)*-69. Let p = -64 - d. Solve 3*j - j - c = 5*l, -19 = p*j + l for j.
-3
Let o = -15 + 16. Let c be o/((-5)/(-30)*(-3)/(-2)). Solve -c*z = -3*t + 4*t - 8, -2*t = -z + 11 for z.
3
Let p = 187 - 183. Solve -2*q + 0*i - p = -2*i, -2*q = i - 2 for q.
0
Suppose 16*w + 62 = 18*w. Suppose 4 = -b, -3*i + 2*b = -2*b - w. Let f be 2/6 + (-22)/(-6). Solve -i*m - 3*r - 2 - 15 = 0, -5*m = f*r + 16 for m.
-4
Suppose 27 = -2*a + 33. Solve 5*o - i = -4, a*i + 20 = -3*o + 8*i for o.
0
Let t = -13 - -16. Suppose 0 = t*s - s - 5*k + 1, 4*k - 6 = -s. Suppose -l + 9 = s*l. Solve -27 = -l*b + 4*x, -5*x - 6 = -3*x for b.
5
Let x be 2*4 + -3 + 1. Let y be ((-2)/x)/(4/(-36)). Suppose -y*m - 2*m + 15 = 0. Solve m = -2*n - b - 1, n = -2*b + 1 for n.
-3
Suppose 0 = 18*y - 27 - 27. Solve -2*m - 2*w + 2 = w, -y*m = -3*w - 3 for m.
1
Let k = -57 - -120. Suppose -r = 2*r - k. Suppose -4*x + r = 5. Solve -x*l + 9*l = -20, -9 = -w + 3*l for w.
-3
Suppose -4*z = -4*x + 88, -5*x = -4*z + 49 - 161. Let y = -11 + 11. Suppose y = -7*n - 2*n + 3*n. Solve -2*c + 18 = 3*c - h, 4*c - 4*h - x = n for c.
3
Suppose 5*o = -5*n - 10, -3*o + 17 = -4*n - 12. Solve -4*f + 2*p = 3*p - 11, -o*p - 35 = -5*f for f.
4
Let h = -66 + 66. Solve 2*t - 4*c + 4 = h, -2*c + 4 = -3*t + 2 for t.
0
Suppose 2*c + 63 = 9*c. Suppose -2*u + c*u = 35. Let b be (-8 - -1 - -2)/(-1). Solve -u*s + 4 = -4*f, 0 = -0*f + 5*f - b*s for f.
4
Suppose 12*k = 5*k. Solve 3*b - 2*j - j + 3 = k, -4*j = b + 1 for b.
-1
Let i(p) = -p**3 - 13*p**2 - 14*p - 9. Suppose -k = 4*t + 46, 2*t + 4*k - 2 = -18. Let j be i(t). Solve f = 4*n - 0*f - j, 0 = n + 4*f - 25 for n.
5
Let y be (5/(-2))/((-3)/(-6)). Let u(o) = -o - 2. Let l be u(y). Suppose 0 = -2*n + 2, -46*n = 5*v - 45*n - 16. Solve 2*d + l*z - v = -1, 5*z = 3*d - 22 for d.
4
Suppose 1 = -4*q + 21. Suppose 2*w + 18 = 3*v + q*w, v - 2*w = 0. Solve 4 - 5 = f + v*c, 2 = 2*f + 4*c for f.
3
Let a be (-8)/((-2 - 0)*1). Solve 5*f - 2 = -h, -a*f + 4*h + 13 = -3 for f.
1
Suppose 4*r - 4*p + 20 = 0, 4*r - 6*p + 22 = -3*p. Let c = -3 - r. Solve -5*m = u + 20, 0 = -u + 5*u + m + c for u.
0
Let p(z) = 0*z - 9*z + 2*z + 6*z - 2. Let g = 6 + -13. Let t be p(g). Solve -3*d - t*l + 8 = -0*d, 0 = 5*d + 2*l - 7 for d.
1
Suppose 5*q - 4*q = 2*y + 27, 0 = 3*q + 3. Let o be (y + 15)*(-1 + 3). Solve -o*g + 4*g + 2*c + 8 = 0, -c = 5 for g.
1
Let o be 45/(25/5) + -4. Let d = 30 - 25. Solve 2*u + j - 4 = o*j, 18 = d*u - 2*j for u.
4
Let r(k) = 4*k. Let o be r(1). Solve 3*c + s = 3*s - o, c + 2 = s for c.
0
Suppose 0 = -8*b + 33 + 7. Solve -18 = b*i - p, 0 - 10 = 2*i + p for i.
-4
Let k be 2 - (-9)/7 - (-6)/(-21). Solve 6*z + 2 = y + 9*z, -k*z = -4*y - 22 for y.
-4
Suppose -13*j + 119 = -12*j. Let d = j - 119. Solve d*y = y + 5, -22 = -r + 5*y for r.
-3
Let y(d) = -d**3 - 2*d**2 - 2*d. Let p be y(-1). Suppose -3*c + 3 = -x, -2*x - 3 = -4*c + p. Solve 2*f = -2*f - 3*w - 12, 2*f - w - 4 = x for f.
0
Suppose 0 = 2*h - 15*h + 39. Solve j - h*m = 1, -3*j - 13 = 2*j + 3*m for j.
-2
Suppose -a - 35 = 6*a. Let u be 0/5 - (a - -1). Solve -u*f - 21 = q, -q + 8 = -4*f - 3 for f.
-4
Suppose -9*u + 16 = -7*u. Let c = u + -9. Let n = 1 - c. Solve n*p - 11 = -3*m, -m - 4*p = p - 21 for m.
1
Suppose y + 2*t = -2, 5*y - 4*t + 3 = -21. Let g = y + -2. Let o be 2/4 - 27/g. Solve -12 = -2*n - m, 0*n - 4*m = o*n - 36 for n.
4
Let c be 0 - -4*(-2)/(-2). Suppose -4*q = -7*q, c*q = -2*b + 68. Solve -5*j + b = -5*u + 4, -u = -2*j + 10 for j.
4
Let a be 3 + (-