0*z = i*z - 15 for z.
3
Let j = 170 + -21. Suppose 0 = 9*x - j - 40. Solve 3*b - 9 = -x for b.
-4
Let h(a) be the third derivative of a**5/60 - 5*a**4/12 - 7*a**3/2 - 29*a**2. Let d be h(12). Solve 3*g + 3 = -d for g.
-2
Let f be (-1 + 2)*(-3 - -10). Let b be 6 + 2 - (0 - -2). Let w be (-1 + b/(-4))*-2. Solve 0 = -3*g + w + f for g.
4
Let i(b) = 7*b + 492. Let q be i(-70). Let r be (-1 + 5)*(-3)/(-6). Solve -r*w = q*w + 4 for w.
-1
Suppose -v = -1, -5 = -2*t - 10*v + 11*v. Suppose 0 = -2*f + 7 + 1. Let s be f/6 + (-6)/9. Solve 0 = t*d - 15 - s for d.
5
Suppose -84 = 2*k - 9*k. Let a be (0 - 2)/2*-7. Suppose 0 = k*p - a*p. Solve p*t = 5*t - 20 for t.
4
Let w(a) = 5*a - 5. Let c(v) = 6*v - 5. Let f(k) = -4*c(k) + 5*w(k). Let d be f(10). Solve 10 = 3*h - d for h.
5
Let d(f) = f**3 + 7*f**2 + f + 9. Let o be d(-7). Suppose -o*a = 2*a. Suppose -3 = -q, -m + 3*q - 5*q + 12 = a. Solve m = 2*n + n for n.
2
Let h(j) = -j**2 + 17*j - 14. Let n be h(16). Suppose -w + 17 = 2*w - 2*x, 2*w + n*x = 8. Solve 13 = w*g - 7 for g.
4
Suppose -4*t + 12 + 3 = -3*d, 5*t - 17 = 2*d. Let m = t - 1. Let s(l) = 12*l**2. Let i be s(-1). Solve m*b - i = 6*b for b.
-3
Suppose 4*m - 20 + 8 = 0. Suppose 4*v - 3 = 1. Suppose -3*u + 17 + v = 0. Solve -m = u*q - 3*q for q.
-1
Let f = 11 - -4. Suppose -4*m + 4 = -4*d, -d = 3*m + 1 - 12. Solve -f = d*p + p for p.
-5
Let i(g) = -g**2 - 11*g + 4. Let a be i(-11). Solve -a*p = -6*p - 7*p for p.
0
Let r(l) = 2*l**3 + l**2 - 10*l + 9. Let i be r(1). Solve i*g = 6*g for g.
0
Let l = -35 + 26. Let b be (-42)/(-10) - l/(-45). Solve b*i - i = -3 for i.
-1
Let x be 620/(-2)*(-6 - 64/(-10)). Let g = x + 127. Solve -i = -g - 0 for i.
3
Let i be -1 + -1 - 2*8. Let b be (-87)/(-27) + 4/i. Suppose -31*a = -24*a - 21, a - 3 = -4*o. Solve 0 = n - o - b for n.
3
Let t be 0*((-10)/8 - 12/(-48)). Let h(y) = -y**2 + 5*y + 3. Let z be h(5). Solve t = z*x + 2*x for x.
0
Suppose 3*s = 4*h, 1 = 3*h - s - 4. Let z be (-54)/9*((-25)/15)/5. Solve z*g + 15 = -h*g for g.
-3
Suppose -119 = -11*o + 2. Let k be o/(-22)*(-2 - -2). Solve z + 4*z = k for z.
0
Suppose -29*f + 93 = 2*f. Solve -8 + 11 = f*d for d.
1
Let b be 30*7/((-35)/(-2)). Solve -z = 2*z - b for z.
4
Let r(l) = l**2 + 7*l + 2. Suppose -28 = -4*t + 8*t. Let n be r(t). Solve -k + 1 = -n*k for k.
-1
Suppose 0*b - 4*b + 4*t = -16, 0 = 2*b + t - 8. Suppose 26 = -z + b*d, z + 21 + 9 = 5*d. Let h = 10 + z. Solve 3*o - 6 = -h*o for o.
2
Let h be (-534)/(-356)*(-22)/(-6)*2. Solve -g = -h*g - 30 for g.
-3
Let b = -72 - -78. Solve -17*r - 45 = b for r.
-3
Let g(n) = n**3 - 13*n**2 - 15*n + 9. Let x be g(14). Let h(q) be the first derivative of q**2/2 + 7*q - 3. Let d be h(x). Solve d*t + 10 = 7*t for t.
2
Let n be (-2)/(-9) + 32/18. Let q be (2/4)/(2/12). Let o = 113 + -110. Solve -o = n*t + q for t.
-3
Let c(r) = r**3 - 2*r**2 - 2*r + 1. Let g be c(3). Let w = 44 + -40. Solve g = w*s - 2*s for s.
2
Let j = 446 + -440. Solve 25 = j*b - 5 for b.
5
Let w(d) = d**3 + d**2 + d + 5. Let n(p) = -2*p**2 - 6. Let o be n(0). Let r = -6 - o. Let c be w(r). Solve 0*j = c*j + 20 for j.
-4
Let n = 343 + -341. Solve 26 = -n*i + 20 for i.
-3
Suppose -q - 32 = -98. Let i = q + -35. Let h = -28 + i. Solve z = h*z for z.
0
Let q(u) = u - 1. Let v(k) = -k**2 - 5*k + 4. Let d(m) = 5*q(m) + v(m). Let b be d(-1). Let a = b - -6. Solve -3*g - a = -1 for g.
-1
Let d(s) = -s + 40. Let v be d(-4). Solve -8 = -v*z + 46*z for z.
-4
Let s(a) = -a**3 + 13*a - 9. Let h be s(-4). Solve -h = 4*k + 1 for k.
-1
Suppose -105 = -x - 0*x. Let o = x - 102. Solve 2*i + i + o = 0 for i.
-1
Suppose -76 = 2*h + 2*m, -h + 0*m = -3*m + 26. Let j = -25 - h. Solve -g - j = g for g.
-5
Let i = -22 - -29. Suppose -v + 0*v = -i. Suppose -2*l + 5*a + 11 = -v, -4*l + 36 = 4*a. Solve -4*c - l = 3 for c.
-3
Suppose 5*o = 3*o + 12. Let w be (3/2 + -1)*-12. Let h = w - -6. Solve 3*j = -h*j - o for j.
-2
Let v(k) = 17*k. Let y be v(1). Suppose y*w - 10 = 12*w. Suppose -4*a + 2*l + 3 = -13, -w*l = 5*a - 11. Solve a*f = 4*f for f.
0
Let i = 105 - 106. Let f be -2 + 5 + i - -4. Solve -3*t + f = -t for t.
3
Suppose o = -5, -v + 4*v - 4*o = 35. Suppose v*b - 44 = -2*n + 6*n, 5*b - 22 = 2*n. Let t(m) = -m**2 - 11*m. Let l be t(n). Solve l = -0*r - 2*r + 10 for r.
5
Let r be (25 - 7)/(2 + 0). Solve 0 = -r*u - 9*u + 54 for u.
3
Let z = -321 - -325. Solve -z*l + 1 = -3 for l.
1
Suppose 3*a + 7*m = 2*m - 15, -m = -a - 13. Let u be ((-6)/a)/((-1)/(-5)). Solve -4 = -u*o - o for o.
1
Let o = 15 + -13. Let f be (o/(-5))/(30/(-225)). Solve 16 = -f*a - a for a.
-4
Suppose -151*i = -162*i + 220. Solve -4*q = i - 8 for q.
-3
Let w(d) = 18*d**2 - 16*d**2 - 3 - 4*d + 5. Let x be w(2). Suppose 8*t = 3*t. Solve -3*y + 4*y - x = t for y.
2
Let d(m) = -9*m - 3. Let z be d(-2). Suppose 3*i = 24 - z. Solve -r = i*r + 20 for r.
-5
Let v be ((-18)/10)/((-3)/15). Suppose 31 = a + 5*i, 3*i = -5*a + 7*i + 39. Suppose -a*h - v = -14*h. Solve 2*q - h*q = 4 for q.
-4
Let a be -5 + -1 - (8 + -9). Let g be (a/2)/(2/(-4)). Suppose r + 24 = g*r. Solve -6 = 4*o + r for o.
-3
Let n = 155 - 138. Solve -14*l + n*l = 15 for l.
5
Let m be 1 + 1 + -2 + 41. Let f = m - 37. Suppose 12 = -0*g + 4*g + 2*w, 3*g - 3*w = 0. Solve n = g*n + f for n.
-4
Suppose 2*h - 47 = 5*m, 10 = 2*h - 2*m - 22. Suppose 30 = 13*u - h*u. Solve 0 = 4*z + u - 3 for z.
-3
Let m be (-77)/(-33)*(-132)/(-77). Solve 0 = 12*v - 8*v + m for v.
-1
Let p(f) = 5*f + 27. Let q be p(-14). Let j = q + 47. Solve -2*w - 4 = -j*w for w.
2
Let t(y) = y**2 + 5*y + 6. Let z be t(-5). Suppose 0*s - 10 = -2*s. Suppose -3*n = s*i - 40, -n + 5*i = n - 60. Solve x - z*x = n for x.
-4
Let d = -9 + 12. Suppose -l + 3*l + 4 = 0. Let g be 12 + 4*1/l. Solve d*x + g = x for x.
-5
Let h(k) = k**2 + 59*k - 183. Let w be h(3). Solve w*v - 12 = -3*v for v.
2
Let y = 1651 + -1644. Solve y*x - 30 = x for x.
5
Let x(c) be the third derivative of c**5/60 - c**4/3 + 4*c**3/3 + 2*c**2. Let i be x(9). Let m = i + -15. Solve 0 = 4*b + 2 + m for b.
-1
Suppose 215*c - 9 = 212*c. Solve 6*r + 3 = c*r for r.
-1
Suppose 0 = -34*a - 2 + 2. Let f = 1 - -4. Solve -f*y = -a*y for y.
0
Suppose -19*h + 36*h = 51. Solve 6*q + 15 = h*q for q.
-5
Let w(a) be the third derivative of -a**5/60 + a**4/6 + 13*a**3/6 - 4*a**2. Let z be w(6). Solve n + 0 = -z for n.
-1
Let j(s) = -s**3 + 8*s**2 - 4*s + 2. Let q be j(5). Solve 9 - q = -12*v for v.
4
Let v = -149 + 151. Let s be (-5)/15 - (-2)/6. Solve r + s*r = v for r.
2
Let y be (-148)/(-28) + 0 + 6/(-21). Solve 8 - 8 = -y*v for v.
0
Suppose 3*h = -3*l + 2 + 7, 3*l = 3*h - 27. Let n(u) = -u**3 - 7*u**2 + 7*u - 8. Let x be n(-8). Suppose s = -x*s + 2. Solve 0*t = -s*t + h for t.
3
Let c be (-21)/3 - -4 - -6. Suppose -3*z - 2 = -v - v, -z + 3*v - c = 0. Solve -3*w + 4 + 2 = z for w.
2
Suppose 0 = 3*b + b - 12*b. Solve b = -0*h + h for h.
0
Suppose -5 = 5*z - 15. Let a be (-2 - 3) + 2 - 7/(-1). Suppose -5*m + 14 = 4*q, 0 = a*m - 2*q - 1 - 5. Solve m*g = -z*g for g.
0
Suppose k = 3*k - 54. Let w = 31 - k. Let a(v) = v**3 - v + 5. Let y be a(0). Solve 0 = -w*f + 3 + y for f.
2
Suppose -3*y + 16 = -74. Suppose -y*s = -28*s - 6. Solve h = -0 + s for h.
3
Suppose -18 - 6 = -4*z. Suppose -5*m + 33 = -3*s, -4*s - 13 = -9. Solve -3*q - z = -m*q for q.
2
Let t be 314/8 - (78/24 - 4). Solve 0 = -13*l + 5*l - t for l.
-5
Let z be (38/4)/((-2)/(-4)). Suppose a + 4*i + 20 = -i, 0 = 2*a + 3*i + 12. Suppose a = 2*t - 3*s - z, 2*t - 9 = -4*s + 5*s. Solve -8 - t = -2*q for q.
5
Let l = 24 - 7. Suppose -7*n - l - 53 = 0. Let y be (-24)/(-9) - n/(-15). Solve 0*b - y*b = 10 for b.
-5
Let z(m) = -m**2 + 8*m - 4. Let r be z(7). Suppose 5*q - 4*y - 10 = 10, -10 = -4*q + 2*y. Suppose q*u + 2*u = 0. Solve r*n - 8*n + 15 = u for n.
3
Suppose 0 = -3*d - 7*i + 3*i + 23, 3*i + 19 = 5*d. Suppose 3*b - 12 = 2*a, b + d*a = 5*b - 16. Suppose b*t = -t. Solve 2*l + l - 9 = t for l.
3
Let x(g) = -g**3 + 4*g**2 + 7*g - 5. Let p be x(5). Suppose 5*v = -p*b + 25, -3*v + 10 = 2*b - 4. Solve v = 2*a + 10 for a.
-3
Let t = 1 + 0. Let s be -2 + (5 - 2) - t. Suppose 0 = 21*f - 5 - 37. Solve -f + s = q for q.
-2
Suppose -8*d + 12 = -7*d. Suppose 5*u - 22 = -n, 5*u = 2*n + u + d. Solve 6 = 2*k + n for k.
2
Let p(h) = -h**2 - 3*h + 2. Let t be p(-2). Let n(l) = -4*l + 2. Let u(d) = -5*d + 3