= -d*r + 24 for r.
4
Let d(k) = 7*k + 128. Let m be d(-18). Solve m = b - 0*b for b.
2
Suppose -5*o + 57 = 2*m, -14*o + 18*o = -4*m + 120. Solve 14*k - m*k = 51 for k.
-3
Let j = -245 + 251. Solve -5*b = -8*b + j for b.
2
Suppose 0 = -5*j + 25, 0 = h - 8*j + 13*j - 45. Solve 13*y + 21 = h*y for y.
3
Suppose 2*r - 6 = 6. Let c(d) = d**3 - d**2 + 2*d - 2. Suppose -f - 1 = -2*f. Let n be c(f). Solve n = -2*x - r for x.
-3
Let i(b) be the first derivative of -b**2/2 + 4*b + 1. Let v = -164 - -166. Let q be i(v). Solve -2 - q = -2*j for j.
2
Let z be (-736)/(-6)*(-81)/(-54). Let g = z + -182. Suppose 6 = 3*t, 0 = 2*s - 3*s + t. Solve g = s*m - 0 for m.
1
Let m = 1712 + -1679. Solve -y - m = -32 for y.
-1
Let o(x) = -3*x - 49. Let j be o(-17). Let c(y) = -y**3 + 8*y**2 + 10*y - 7. Let v be c(9). Solve v*m - 8 = j for m.
5
Suppose 0*x - 8 = -2*x. Suppose 6*w - 7 = 11. Let i(s) = -s**3 + 5*s**2 - s + 7. Let l be i(5). Solve w*m = l*m + x for m.
4
Suppose 8 = -b + 5*i, -3*b - 3*i + 2 = -5*b. Suppose -2*p + 5*x = 18, -11*p - 3*x = -7*p - 16. Solve 0 = r + p - b for r.
1
Suppose 5*o = l + 4, -l - 4 = -2*l - 3*o. Suppose l = 4*s - 11. Suppose 3*i + 14 = 3*n + 2*i, -6 = s*i. Solve -3 = n*g - g for g.
-1
Let p be (-192)/36*-3 - 3. Solve 7*y + p = 27 for y.
2
Suppose 5*h - 17 = 8. Suppose -h = 3*q - 4*q. Solve -5 = -0*y + q*y for y.
-1
Let y = -143 - -143. Solve y = 5*h + 7*h for h.
0
Let f be (-315)/(-14) + (-3)/(-2). Let o be (-1)/(-3) - f/(-9). Suppose -l = -o*l + 3*p + 24, 5*l + 5*p = 10. Solve 4*u = -l - 6 for u.
-3
Let n be (-12)/(-28) - (-102)/7. Suppose 3 = -4*s + n. Solve s = -x - 1 for x.
-4
Suppose -36 = -4*l - 0*l. Let h(m) = 3*m + 12. Let n be h(-7). Let v = n + l. Solve 0 = -v*b - 2*b for b.
0
Let g = -585 + 598. Solve -16*f = -g*f + 9 for f.
-3
Let a be (15/(-25))/(3/(-10)). Suppose a*y = -0*y + 6. Solve 0 = -y*q - 16 + 1 for q.
-5
Let f = -583 + 583. Solve r + 11*r - 36 = f for r.
3
Let p(j) = 16*j - 354. Let t be p(24). Solve -30*b + 24*b = -t for b.
5
Let s(o) = 6*o - 2. Let x be s(1). Suppose -4*h + g = -5*h + 1, 2*h = x*g + 8. Solve -q + 3 = h*q for q.
1
Suppose m = -66 - 8. Let o = m + 79. Solve -o*g = -0*g for g.
0
Let h(g) = g**3 - 6*g**2 - 6*g - 7. Let u be h(7). Suppose -5*n + 35 = 5*x, x - 2*x + 1 = u. Let s = 9 - n. Solve -16 = -d - s*d for d.
4
Let k(x) be the third derivative of x**5/15 + x**4/6 - x**3/3 + 22*x**2. Let i be k(-2). Solve i*p = p + 5 for p.
1
Suppose 4*n - 56 = -4*z, 2*z + n - 8 - 16 = 0. Suppose z*k = -2*k + 36. Solve 4*y - 7*y = k for y.
-1
Suppose 0*n = n. Suppose n = -4*i + 8. Solve -i*f = -5*f - 3 for f.
-1
Suppose 0 = -4*o + q + 35, -q + 3 = 4*o - 26. Solve -10 = -o*f + 6*f for f.
5
Let k(z) = -4*z + 4. Let o be k(-2). Let w be 3/(o/(-4)*-1). Solve -w = -4*u - 5 for u.
-1
Let q be 27/(-6)*(-27 + 25). Solve -q*y - 51 = 8*y for y.
-3
Let j be (-3)/(-6) - ((-372)/(-8))/(-3). Solve -j*z + 12 = -12*z for z.
3
Suppose -3*t + 4*o = 2 + 9, 4*t = 2*o - 18. Let b = -2 - t. Let y be (-2)/1 + b + 1. Solve 0*q + y = q for q.
2
Suppose 6*k = 5*k. Suppose 16 = -k*d - 4*d. Let p be 20*((-54)/15 - d). Solve -n + p = 3*n for n.
2
Suppose -12 = -4*u, 5*b - b + 4*u - 24 = 0. Suppose -b*j = f + 2 + 3, -2*f + 4*j - 50 = 0. Let w = f + 37. Solve -2*y - w = -6*y for y.
5
Suppose -5*g + 13*t - 12*t = -13, 2 = 4*g - 5*t. Solve g*c - 8*c + 10 = 0 for c.
2
Let s be 940/95 - ((-312)/76 - -4). Solve -11*m - 5 = -s*m for m.
-5
Let p(g) be the second derivative of g**4/6 + g**3 + g**2 + 4*g. Let j be p(-3). Solve -k + 3*k - j = 0 for k.
1
Let t = 47 + -43. Solve -t - 2 = 3*j for j.
-2
Suppose 2187 = 24*s + 507. Solve -18*d - s - 2 = 0 for d.
-4
Let w = -213 - -215. Solve -f = w*f + 6 for f.
-2
Let y = 43 - 33. Suppose 0 = -2*g - 0*s - s + y, -31 = -5*g - s. Solve g*u = 2*u + 5 for u.
1
Suppose 0 = -11*k + 4*k + 28. Suppose 12 = -5*a - 3*d, -5*a + 16 = -2*a - k*d. Solve a = -4*g - 0*g - 4 for g.
-1
Let q be (-60)/(-25)*30/4. Solve 0 = 5*v - 2 - q for v.
4
Let w = -8 + 10. Let g = w - 0. Suppose -3*n = 3*l, g*n - l = 4*l + 28. Solve n = 3*x + x for x.
1
Suppose 6*u + 92 = 5*i + 4*u, 4*u + 40 = 2*i. Let m = -12 + i. Solve -m*a = -a for a.
0
Suppose -2*j = 6*k - 3*k - 34, 4*k - 52 = 4*j. Suppose q + 3*q = k. Solve u - q = 2*u for u.
-3
Suppose -31 = 2*w - 61. Suppose -6 - 14 = -4*j + 4*m, -j + w = -3*m. Solve j = -2*p - 0*p for p.
0
Let q(j) = -j**2 - 2*j. Let s be q(-4). Let a(w) = 2*w + 10. Let i be a(s). Let x be (3/(-9))/(i/90). Solve 0 = -x*r + r + 20 for r.
5
Suppose m - 2 - 3 = 0. Suppose -2*b - m*l = 10, -b = -l - 9 - 0. Suppose 4*j - 15 = -j. Solve j*u + b = -2*u for u.
-1
Suppose 4*k + 2*x - 42 = 0, -3*k + x + 2*x = -18. Let r be (-8)/(-6)*k + 4. Solve 0 = -4*z - 0*z - r for z.
-4
Suppose -3*p - 3*z = 102, -6*z + 152 = -5*p - 2*z. Let t be 2/16 - 124/p. Suppose i - 57 = -2*i. Solve -i + t = -3*w for w.
5
Suppose 199 = 13*h + 823. Let i = h - -53. Solve -2*a - i = -3*a for a.
5
Suppose -4*f = -10*v + 15*v - 30, 5*v = -5*f + 40. Solve -f*q = -11 - 9 for q.
2
Let g be (-1 - -2) + -4 + 8. Suppose 122 = l - 5*l - 2*p, 115 = -4*l + g*p. Let f be l/(-4)*(-56)/(-21). Solve 2*k - 6*k - f = 0 for k.
-5
Let z(r) = -2*r**3 - 7*r**2 - 2*r + 5. Let g be z(-4). Solve 0 = -3*f - 23 + g for f.
2
Let j be (3/(-1) - -4) + (17 - 3). Solve j*w = 10*w + 20 for w.
4
Let h be 1 - 5/((-5)/4). Suppose 3*u - 3*t = -12, -2*u + 0*u = h*t - 20. Solve u = 2*p + 3*p + 5 for p.
-1
Let x(f) = 5*f**2 + f. Let w be x(-2). Suppose 3*m = 5*b - 111, 0 = -m + b - 2*b - 29. Let d = -30 - m. Solve w = 4*r + d for r.
4
Let i be (80/56)/((-1)/(-7)) + -3. Let j(k) = -6*k + 45. Let n be j(i). Solve 0 = n*u - 3 + 12 for u.
-3
Let p be (5 + -11)/(9/(-12)). Solve 8 = 5*q + p for q.
0
Suppose -4*y + 14*o - 10*o = -44, 10 = 2*y + o. Solve 5*g + y = -2*g for g.
-1
Suppose -2*y = -4*y - 28. Let q be (-232)/(-14) + (-6)/y. Suppose 4*j + 8 = 3*a, 0*j - q = -4*a - j. Solve -2*i = -a + 2 for i.
1
Suppose -4*s = -5*m - 16, -8 + 0 = 4*m - 2*s. Suppose m*h = 3*h. Solve -6 = -3*x - h for x.
2
Let d(a) = 2*a**2 - 19*a - 8. Let s(t) = t + 3. Let w be s(7). Let c be d(w). Solve c*n = 3*n for n.
0
Let d(i) = -i**3 + 3*i**2 + 3*i - 6. Let p be d(4). Let r = p + 12. Suppose -r*y = 3*y - 10. Solve 2*x - 4 = y for x.
3
Suppose 0 = 4*o - 9 - 3. Suppose 4 = 2*n - 2*s - 12, o*s - 1 = -2*n. Solve 0 = n*v - 16 - 4 for v.
4
Suppose y + 3*h + 7 = 2, y + h - 1 = 0. Let q(u) = -2*u**2 - 4*u - 1. Let p be q(-4). Let l = -13 - p. Solve y*g - 4 = l for g.
2
Let t(d) = -d**2 - 3*d. Let i be t(-3). Suppose 5*s + 3*y = -6 + 2, i = s + y. Let u be 8/(-16)*3*s. Solve -2*k = -k + u for k.
-3
Let k(v) = 3*v - 8. Suppose 0 = -5*b + 8 + 12. Let d be k(b). Solve -d*q - 20 = -0*q for q.
-5
Let q be (0 - 0) + (-9 - -12). Suppose 4*g - w = 18, -22 - 4 = -5*g + q*w. Suppose 2 = -g*u + 10. Solve -u*f = -0*f + 4 for f.
-2
Let o = -55 - -37. Let p be (-2 - 0) + o/(-3). Solve h + 9 = p*h for h.
3
Suppose 1 = -c, -2*h - 8 = -5*h + 2*c. Solve 6*w - 4 = h for w.
1
Let v = 526 - 526. Solve v = -3*r + 8*r - 5 for r.
1
Let l = -516 + 539. Solve -l = 2*n - 23 for n.
0
Let i(y) be the second derivative of y**3/6 - 2*y**2 - 13*y. Let p be i(6). Solve -p*n + 6*n = -16 for n.
-4
Let k(r) = 8*r + 1 + 2 - 6 - 2*r. Let q be k(1). Solve -a = q*a - 16 for a.
4
Let g = 114 + -166. Let u = g - -54. Solve -u = f - 0 for f.
-2
Let l be (-435149)/(-3003) - (-2)/21. Solve -l + 141 = 4*d for d.
-1
Let i(l) = -23*l + 163. Let s be i(7). Solve -20 = -s*d - 2*d for d.
5
Let n(y) = y**2 - y - 3. Let j be n(3). Let q be (-10)/(-15) + (-32)/j. Let t = -4 - q. Solve -3*z - 3 = t for z.
-3
Let s(w) = w**3 - 10*w**2 + 4*w - 36. Let n be s(10). Solve n*i + 9 = i for i.
-3
Let r(g) = 13 - 31*g + 14*g - 2 + 16*g. Let n be r(9). Solve -6*q = -n*q + 4 for q.
-1
Let f = 135 - 125. Suppose -59 + f = -7*y. Suppose 5*s + 2*b - 2 = 0, 2*s - 3*b - 6 = 5*s. Solve s*v - 25 = y*v for v.
-5
Suppose 7*a - 11*a = 0. Suppose 0 = -5*p + 5*n - 5, -5*n = -2*p - 6 + 1. Solve t + p - 3 = a for t.
3
Let w be 6/(-8) + (-90)/8. Let v = w - -17. Suppose -12 = -v*t + 2*t. Solve -4*x = -t - 8 for x.
3
Suppose -4*v = -212 + 168. Solve v*a - 18 = 17*a for a.
-3
Let r(v) = -v**2 - 9*v + 2. Let q be (-1)/(-3) + 28/(-3). Let k be r(q). Suppose 0 = 3*c - k - 10. Solve j = -j - c for j.
-2
Let