 = k*v - 3 for v.
2
Suppose 5*q = -o + 205, 25 = o + 4*o. Solve 0 = -28*n + 36*n - q for n.
5
Suppose -2*n + 4 = 3*r - 14, r - 4*n - 20 = 0. Suppose r + 6 = 2*b. Let g = -6 + b. Solve -g + 0 = -h for h.
1
Let p(m) = -m**2 + 4*m. Let n be p(3). Let f be 3 + (6 - 1)*3/n. Solve -3*r + r - f = 0 for r.
-4
Suppose -5*j - 2*r + 466 = 0, 5*j - 2*r + 52 = 506. Solve 95*d = j*d for d.
0
Let a be (-2 - 2/4)/((-2)/(-4)). Let k(i) = -i**2 - 9*i - 12. Let l be k(a). Solve g - 3*g + l = 0 for g.
4
Let q(x) = x**3 + 18*x**2 + 26*x - 96. Let l be q(-16). Solve -3*g - 2 + 5 = l for g.
1
Suppose 2*g + 8 = 0, 20*g = 3*n + 17*g - 18. Solve -9*d + 47 = n for d.
5
Suppose 24 = 4*n - n. Let s be (97/(-291))/(1/(-6)). Solve -n = -s*r + 6*r for r.
-2
Let b = -21 - -25. Suppose i = -b + 6. Solve -i*h = 2*h for h.
0
Let v = 17 - 14. Suppose 0 = -5*o + q + 1, -v*o = -5*q - 5 - 0. Suppose o*n = 3*n. Solve n*b = b - 3 for b.
3
Let g(j) = -3*j + j**3 - 2*j**2 + 6*j**2 + 2*j**2 + 11*j. Let m be g(-4). Let v(q) = -2*q - 2. Let t be v(-2). Solve t*u - 6*u = m for u.
0
Let t be 1 + 15*(-5)/(-15). Solve -3*b = 4*b - t*b for b.
0
Suppose -3*k = -2*d - 21, 2*d - 22 = -5*k + d. Solve 7*h = k*h + 8 for h.
4
Let s = 108 + -115. Let q be (-5)/(((-14)/(-6))/s). Solve 4*k + q + 5 = 0 for k.
-5
Let x(k) = k**3 + 6*k**2 - 4*k + 2. Let b be x(-7). Let h = -14 - b. Let m(s) = s**2 - s + 5. Let y be m(-5). Solve h*i + y = 10 for i.
-5
Suppose -2 = -4*q - 2*g, -g - 2*g = -2*q - 3. Suppose q = -6*r + 4*r + 20. Solve -r = 4*j - 2 for j.
-2
Suppose 7*s - 6 = 50. Let d(r) = 6*r**2 - 2*r - 1. Let h be d(-1). Suppose -17 = -5*x - h. Solve x*j - 4*j = -s for j.
4
Let u(t) = -133*t + 237*t - 127*t - 2*t**2 - 3. Let q be u(-11). Solve -z = z + q for z.
-4
Let i = 8 + -2. Suppose 5*j + 2*d + 15 = 8*j, -2*d = 2*j - 20. Solve 0 = -i*l + j*l for l.
0
Suppose 4*o + 20 = 5*m, o = 12*m - 7*m - 20. Solve -w - m = -5*w for w.
1
Suppose -2*n = n - 48. Suppose -9 = -2*z - 3*x, -5*z - x + n = -0*z. Let q be z*(-1)/1 + 7. Solve q*w - 13 - 3 = 0 for w.
4
Suppose -3 = 8*l - 9*l. Suppose -4*o - r = -12, -o + l*r = -0*r + 10. Solve 5 = o*n - 1 for n.
3
Let y = -18 - -11. Let k = y + 6. Let p(q) = -7*q**3 - q**2 - q - 1. Let b be p(k). Solve s + s = -b for s.
-3
Let j be -1*3/9*0. Let i(l) = l**2 - 2*l + 2. Let m be i(2). Suppose -15*h = -17 + 2. Solve j = b + h + m for b.
-3
Suppose 5*x - 3 = -2*r - 5, 0 = -4*r - 5*x - 4. Let t be ((-1 - -10)/(-1))/r. Solve 3 = 3*p + t for p.
-2
Suppose 2*q = 6*q - 16. Let n(y) = 2 + 5*y - 3 - 6*y - q. Let f be n(-5). Solve -2*j + f*j + 2 = 0 for j.
1
Let v = -287 + 291. Solve 0 = -v*m + 8 - 20 for m.
-3
Let i be (22/(-3))/(30/(-45)). Suppose -11 = -i*k + 33. Solve 19 = -k*y + 3 for y.
-4
Let v be -2 - -5 - (-1 - -2) - -1. Suppose -n - v = -7. Solve m = n*m + 15 for m.
-5
Let q(r) be the second derivative of -r**4/12 + r**3/3 + 2*r**2 + 20*r. Let t be q(3). Solve i - t = -4 for i.
-3
Let y(a) = 92*a - 528. Let b be y(6). Solve -2*r = -10*r - b for r.
-3
Suppose 9*s - 2*s - 21 = 0. Suppose -10*c = s*c - 91. Solve 0 = -h + 3 - c for h.
-4
Let t(h) = -h**2 - 14*h + 14. Let o be t(-15). Let q be -1 - ((-6)/3 + o). Solve s - 2 = q for s.
4
Let v = 1387 - 1377. Solve 0 = -f - v*f for f.
0
Let k = 423 - 415. Solve 7*d + 8 = k for d.
0
Suppose -1 - 3 = 2*l - m, -l - 5*m = -9. Let j be -2 - (4 + 14/l). Solve j*q = 3*q for q.
0
Suppose -3*h + 239 = d, 2*h - 4*d - 71 = h. Suppose 5*c + s = -s + h, c - 20 = s. Suppose 3*g - m - c = 0, 0 = -3*m - 5 - 1. Solve 0 = -g*z + 6 - 31 for z.
-5
Let w be (-18*(-30)/18)/(2*1). Suppose -3*z - 3 = -5*s - 12, -w = -5*s. Solve -2*i + z = -6*i for i.
-2
Suppose -13*i + 8 = -5*i. Suppose 7*x + 1 = i. Solve -4*g = -x*g for g.
0
Let g(k) = -k**2 - 3*k - 1. Let z be g(-2). Let s be -8 - (-2 + 3/z). Let f = s - -13. Solve f*q - 7 = 9 for q.
4
Suppose 0 = -3*i - g + 67, -6*i - 91 = -10*i - g. Solve -6*w + 0*w = -i for w.
4
Let k(z) = -7*z - 3. Let a be k(-4). Let w = -26 - -40. Suppose 6*d = w*d - 40. Solve -d*r + 0*r + a = 0 for r.
5
Suppose 3*z - 5 = 7. Let o be ((-28)/(-3) - -5) + 1/(-3). Suppose 0 = -6*s + o - 2. Solve s*i = z*i - 10 for i.
5
Suppose 2*q - 4 - 4 = 0. Let a be (0 + 25/20)/((-1)/(-4)). Suppose -5*d - 10 = -t, a*d = q*d. Solve 2*s = -3*s + t for s.
2
Let s = -95 - -12. Let b = s + 83. Solve 3*l - 3 = -b for l.
1
Suppose -s = -10*s + 36. Solve -5 = -s*g - g for g.
1
Suppose -4*m - n = 70, 3*n - 8 = -2. Let i be (-9)/m + 6/4. Suppose 4*w - i*l = 30, 0*w + 2*w = -3*l - 5. Solve w = o - 6*o for o.
-1
Let d be -5 + 0 - (-5 + 20/(-4)). Solve 5*x + 20 = d for x.
-3
Suppose -120*t = -115*t - 50. Solve -t*q = -5*q - 25 for q.
5
Suppose 0 = -5*r + 452 - 402. Solve -r + 14 = 2*g for g.
2
Let w be (-3)/15 - 2/(-10). Suppose w = -5*p + p. Solve -4*u = 4 - p for u.
-1
Suppose 5*b = 3*h - 11, 3*h - b - 3*b = 10. Suppose -l - 2*o - 110 = -4*l, -h*l + 4*o + 84 = 0. Let i = -24 + l. Solve c = -c + i for c.
5
Let n(t) = -3*t**3 + 1 + 93*t**2 + 2*t**3 + 92*t**2 - 175*t**2. Let l be n(10). Solve 4*m - l + 5 = 0 for m.
-1
Suppose y = -0*y - 10*y. Solve y*j + 4 = -4*j for j.
-1
Let l be (1 + 2)*(-3 - -4). Let t be l/4 + (-408)/32. Let c = 13 + t. Solve -c + 3 = q for q.
2
Let s(k) = -23*k + 50. Let d be s(2). Solve 5*p + d = 3*p for p.
-2
Let m be ((-18)/15)/3*5*-2. Suppose -i + m = 3*i. Solve -g + i - 4 = 0 for g.
-3
Let t be -3*(1 + 17)/(-2). Suppose 39*q = 53*q + 322. Let w = q + t. Solve 0 = -g - w*g for g.
0
Let m be (-1)/1*1/((-11)/33). Solve -m*p + 3 = -0*p for p.
1
Let o be (-2)/(-2) - (14 + -43). Let j = 10 - o. Let h = -19 - j. Solve -i + 4 = -h for i.
5
Suppose x - 7*x + 18 = 0. Suppose 4*k + 20 = 2*q + 6*k, 26 = x*q + k. Let s be 2/q + 27/36. Solve 5*j - 24 = s for j.
5
Suppose -3 = -3*o + 6. Let g = o + 1. Suppose 20 = -4*x, 4*d = -g*x - 4 - 0. Solve d*p + 0*p - 16 = 0 for p.
4
Let b be 354/36 + (-3)/(-18). Solve -b*i = -11*i for i.
0
Let f(x) = -x**2 - 5*x - 1. Let c be f(-3). Solve -c*l - 15 = -0 for l.
-3
Let p(a) = -a**2 - 2*a + a**3 + 191 - 201 + 10*a**2. Let w be p(-9). Solve 2*k + w = 2 for k.
-3
Suppose -1211*q + 1218*q = 14. Solve -4*w = -w - q*w for w.
0
Let b be 3 - 0/(1 - 0). Let p(q) = -q**3 - q**2 + 6*q + 7. Let m be p(-2). Let l be ((m + 1 - 3) + 3)*1. Solve l = 4*w - w - b for w.
1
Let m(x) = -x**2 + 45*x + 160. Let k be m(48). Solve k*a - 60 = a for a.
4
Suppose -10*m - 12*m + 1738 = 0. Solve m - 82 = 3*r for r.
-1
Suppose -6*m + 80 + 100 = 0. Solve 0 = -0*d + 6*d - m for d.
5
Let y = 131 - 121. Suppose y*t = -7 + 47. Solve j = -3*j - t for j.
-1
Suppose -8*p = -20 - 12. Suppose 2*o = -3*y - 10, -6 = 4*o + p*y + 6. Solve 3*j + 14 + o = 0 for j.
-5
Suppose r = 8*f - 3*f - 28, 4*r + 28 = -f. Let c be r*((-6)/(-18))/((-4)/6). Solve 0 = -c*n - 4 - 0 for n.
-1
Let t = -23 + 37. Solve -5*g = 1 + t for g.
-3
Let z(y) = -y**3 + 12*y**2 + 2*y - 10. Let f be z(12). Suppose 30 - 2 = f*i. Solve -3*g = i*g - 25 for g.
5
Let s(v) = v**3 + 11*v**2 - 11*v + 14. Let c be s(-12). Let g(m) be the first derivative of m**3/3 - m**2/2 - 2*m + 2. Let f be g(c). Solve f*w + 3 = -w for w.
-3
Let a(y) = y**2 + 10*y + 9. Let g be a(-9). Suppose 0 = -8*c - g*c + 120. Solve -c = -o - 2*o for o.
5
Suppose -5*y = 2*l + 36 - 101, y = -2*l + 13. Solve y*o = 8 + 5 for o.
1
Let w be ((-16)/20)/((-4)/10). Let b be (-4 + w)*(-6)/4. Solve 2*h - b - 5 = 0 for h.
4
Let r be (-18)/(-12)*(-3 + 5). Solve -r*b = b for b.
0
Let d(x) = -2*x + 2. Let y be d(-3). Suppose y*b - 15 = 3*b. Suppose -4*v + 18 = 5*c, -c + b*c + 4 = 4*v. Solve 1 = p + v for p.
-1
Suppose -46*l - 70 = -60*l. Solve -l*a + 3 + 12 = 0 for a.
3
Suppose -4 = -u + 16. Suppose -7 + 27 = -2*f. Let v = f + 15. Solve j = v*j + u for j.
-5
Let k be 3 + -1 - 12/6. Suppose 3*i = 5*h + 4 + 2, -6 = 2*h - 3*i. Suppose h = 3*z + 15, -2*t = -5*z + 3 - 36. Solve -g + t*g = k for g.
0
Let t be 72/15 + 4/(-5). Let f be (t/2)/(-1 + (-5)/(-4)). Solve i + 3*i = f for i.
2
Let r = -164 + 164. Solve r = -s + 6 - 4 for s.
2
Let n = -27 + 42. Let m be 100/n - (-2)/6. Solve -2 = 3*c + m for c.
-3
Let r(z) = z**2 - z - 18. Let o be r(5). Solve 6*c + 12 = o*c for c.
-3
Let s(c) = 3*c + 36. Let g be s(-11). Suppose g*f = 2*z + 56, -3*z = 2*z + 20. Solve 2*p + 2*p = -f for p.
-4
Let a(g) = -g**3 - 33*g**2 + 30*g - 54. Let w be a(-34). Solve -