lve s*k = 3*k - 8 for k.
-4
Let k = -953 + 969. Solve 0 = -2*i + 6*i - k for i.
4
Let l = 40 - 28. Let f(u) = u**2 - 15*u + 41. Let j be f(l). Solve 11 = -j*n - 14 for n.
-5
Suppose 578 = -2*g + 586. Solve -2*y + g*y = 0 for y.
0
Let a = -80 - -91. Suppose 22 = a*w - 0*w. Solve g - 4 = w*g for g.
-4
Let k = -47 - -41. Let f(v) = -v**2 - 5*v + 7. Let m be f(k). Solve -3*y + m = -5 for y.
2
Let n be 4 + -6 + (-11)/(-1). Solve -1 = n*x - 10*x for x.
1
Let h = 15 + -10. Suppose -10 = -h*q - 0*q. Solve r = -q*r - 6 for r.
-2
Let j = -123 - -129. Solve 14 = p + j*p for p.
2
Let q(a) = a**2 - 7*a + 5. Let y be q(6). Let r be y/(((-9)/12)/3). Suppose 8*k = r*k. Solve 0 = -k*u - u - 5 for u.
-5
Let l(i) = i**3 + 7*i**2 - 11*i - 21. Let o be l(-8). Suppose -15 = -o*y - 3. Solve 0 + 20 = y*d for d.
5
Let w = 2 + 0. Suppose -2*b = r - 3*b + 123, -5*b + 20 = 0. Let x = r + 120. Solve -x = w*q - 3 for q.
1
Let c be (-6)/(-39) + 4 + 2/(-13). Let s(m) = -m**3 + 4*m**2 + 7*m - 7. Let h be s(5). Solve -l = h*l + c for l.
-1
Suppose 3*x - 4*f = 59, -6*f - 77 = -5*x - 10*f. Solve x*h - 12*h = 25 for h.
5
Let v(z) = -3*z**3 - z**2 + 4*z + 1. Let c be v(3). Suppose 0 = -15*o + 5*o + 30. Let u be c/(-5) + o/5. Solve -4*d = -0*d + u for d.
-4
Suppose 3 = -b + 2*d, 4*b + 4*d - 164 = -116. Suppose 7 = 4*o - g, -3*o + 5*g - 40 = -8*o. Suppose o*p = b*p. Solve -6*f + 2*f + 4 = p for f.
1
Let l(b) = 4*b**2 - 5*b + 10*b + b**3 - 4 - 4*b. Let x be l(-3). Solve 2*u + 0*u = x for u.
1
Suppose -2*m + a = -133, -9*m + 4*a - 216 = -12*m. Solve -5 = m*i - 63*i for i.
-1
Let u(s) = -s**3 - 4*s**2 - s + 8. Let b be u(-4). Solve 5*p + b = p for p.
-3
Let k be (-393)/(-23) - (56/(-161))/(-4). Solve 4 = k*z + 72 for z.
-4
Let a be ((-7)/((-28)/(-180)))/(-1). Suppose 0*v - a = -9*v. Solve 0*i = -i + v for i.
5
Let s = -21 - -21. Suppose s = 2*i - 13*i + 55. Solve 2*k + 1 = -i for k.
-3
Let s(u) = u**2 + 6*u + 6. Let f be s(-4). Let d(j) = 3*j**2 + 4*j + 2. Let g be d(f). Suppose -3*t + 3 = -g. Solve -2 - 1 = -t*h for h.
1
Let u(k) = -k**3 - 12*k**2 - 32*k + 8. Let z be u(-8). Solve -2*p = -z*p - 30 for p.
-5
Let u(o) = -o**3 + 5*o**2 + 2*o - 1. Let q be u(5). Let m be q - (4 + -4 + -3). Solve -m = 5*s - 37 for s.
5
Let d(c) = -c**3 + 9*c**2 + 9*c + 13. Let s = -12 + 22. Let f be d(s). Suppose a = f*q + 2*a - 7, 0 = -5*q - 4*a + 7. Solve -q*j + 2*j + 1 = 0 for j.
1
Suppose -13*n + 2*g = -17*n + 18, -n + 3*g - 13 = 0. Suppose 2*f = -8, -4*r + 32 = -3*f - 0*f. Solve o - r = -n for o.
3
Suppose -5*c - o + 55 = 0, 14*c = 12*c - 4*o + 4. Solve -17*u + 13*u = c for u.
-3
Let r = -42 - -76. Let o be 4/r - 26/221. Solve 3*y + 0 - 3 = o for y.
1
Let f = 13 + -21. Let x = f - -8. Solve x + 20 = -4*j for j.
-5
Let f(u) be the first derivative of -u**2 + 29*u + 3. Let p be f(13). Solve -2*v = p - 1 for v.
-1
Let f = -1514 + 1527. Solve f*h - 14*h + 2 = 0 for h.
2
Suppose -2*f = w + f + 7, 6 = 2*w + f. Suppose -y = w*y - 42. Solve 2*u = -1 + y for u.
3
Let f be (-3)/(-6) - (-1 - 9/(-6)). Solve f*z = 4*z + 8 for z.
-2
Suppose -5 = -4*m + 15. Solve 13 = m*u - 2 for u.
3
Suppose -r = 4*z + 253, 7*r = 2*z + 3*r + 140. Let u be (-144)/(-32)*z/(-6). Let n be u/26 + (-12)/(-78). Solve n = y - 3*y for y.
-1
Suppose 3*f + 14 = -3*x + 59, -5*f = -15. Solve -x = -117*h + 123*h for h.
-2
Suppose -11*j = -26 + 620. Let z = j + 57. Solve 0 = -z*b + 1 - 4 for b.
-1
Let h(w) = 2*w**2 - 27*w + 11. Let n be h(13). Let t be (42/6 + -9)/(1/n). Solve -t*y - 1 = 11 for y.
-3
Let f = 406 + -397. Solve f*b + 6 = 3*b for b.
-1
Let w(v) = v**3 - 4*v**2 - 31*v + 72. Let p be w(7). Solve -10*m + 11*m = -p for m.
-2
Suppose -34 = -q - 20. Solve 40 = 4*j - q*j for j.
-4
Suppose -g = -0*g - 2, -2*v = 5*g - 20. Solve 5*x + 0*x = -v for x.
-1
Suppose -w = 5 - 2. Let i = 5 + -3. Let z be (-12)/i*8/w. Solve 5*c = c - z for c.
-4
Let j(y) = y**2 + 111*y - 429. Let p be j(4). Solve 10*i + p = 1 for i.
-3
Let b be (8 - -1) + (-63)/(-21). Solve 7*o - b*o - 20 = 0 for o.
-4
Suppose -12 = c - 0*o - 4*o, -4*c - 2*o = -24. Suppose -2*b + 0 = -c. Solve -b*z - 6 = z for z.
-2
Suppose 2*l + 3 = -f, 6*l = 4*l - 2*f. Let k be (-2)/(26/(-8) - (l - 0)). Solve 0 = a + a + k for a.
-4
Let c be (4/8)/((-2)/(-12)). Let t be 14/10 + (-3610)/(-475). Let b = t - c. Solve 5*m + b = -14 for m.
-4
Let h = -129 + 144. Solve -c = -6*c + h for c.
3
Suppose -3*z - 4*f + 35 = 0, -4*z = -f - 4 - 11. Solve z*v - 45 + 50 = 0 for v.
-1
Let g(k) = k**2 - 6*k**2 - 14 - 5*k + k**3 + 12. Let w be g(6). Suppose 3*p - 50 = -2*u, -2*p + 4*u + 17 = -11. Solve 4*y = -w + p for y.
3
Suppose -7*c - 12 = -11*c. Let s be 2/10 + (-87)/(-15). Suppose f + 10 = s*f. Solve f*z = 3*z + c for z.
-3
Let u(i) = i**2 - 5*i. Let z be u(6). Let w(b) = -b**2 + 8*b - 8. Let x be w(z). Solve 20 + 0 = x*f for f.
5
Let u(c) = -c. Let r(i) = -i + 5. Let z be r(5). Suppose 0 = -z*m + 3*m + 3. Let k be u(m). Solve 2*j - 11 + k = 0 for j.
5
Let g(m) be the third derivative of -4*m**2 + 1/60*m**5 + 0 + 0*m - 1/6*m**3 + 1/12*m**4. Let r be g(1). Solve 0 = -0*f - r*f for f.
0
Let n be 3/(-12)*(-48)/(-18)*-3. Solve 7*t - n = -16 for t.
-2
Let m = -447 + 448. Solve 5*v - m + 6 = 0 for v.
-1
Suppose 4*w = -97 + 453. Suppose -w*j = -88*j - 10. Solve -j*r = -6*r - 20 for r.
5
Let l(f) = f**3 - 24*f**2 - 23*f - 53. Let r be l(25). Let v be (-4)/(r - -2)*1 + 4. Solve 0 = -3*h - v - 1 for h.
-3
Let s = -25 - -33. Suppose s*v - 18*v + 30 = 0. Solve 2*w - v = 5 for w.
4
Suppose 1 = -2*u + 7. Suppose -6 = -3*v, 0 = -3*d + 5*v + 5 - u. Suppose d = 2*i - 0*i. Solve 3*s + 13 = -i for s.
-5
Let d(t) = t**3 + 5*t**2 + 5*t - 5. Let v be d(-3). Let u be (3 + -2)/1 - v. Solve -x - 4 = -u for x.
-1
Let o be (36/21)/((-6)/21) + 6. Solve 0*r - 14*r - 56 = o for r.
-4
Suppose k - 4*a = -12, -3*k + 0*k = -a + 3. Suppose k = 5*f - 3*l - 15, 0*f + 5*f + 4*l + 20 = 0. Solve -2*g - 2 = -f*g for g.
-1
Suppose 7*i - 30 = 5*i. Let a = i + -12. Suppose 2*m + 2 = -0*r - a*r, 3*m - 4*r = 14. Solve 0 = 2*k - m for k.
1
Let f be 4/((-48)/(-9) - 4). Let b be (0/(-2))/(-4 + f). Suppose b = -4*q + 2 + 6. Solve -4 + 0 = q*g for g.
-2
Suppose 0 = 2*o - 6*o + 8. Suppose -2*c = 2*y - 14, -4*c + o*y = -9*c + 20. Suppose 3217 = 227*n - 2458. Solve -n = -7*m + c*m for m.
5
Suppose 0 = 5*l - 0*l - 55. Suppose -l*b = 6*b. Solve 0 = -b*m - 4*m for m.
0
Let i(d) = -4*d + 1. Let s(r) = 7*r - 2. Let p(q) = -14*i(q) - 6*s(q). Let y be p(1). Solve -5*x - y = 8 for x.
-4
Suppose -27 = 29*m - 38*m. Suppose 0 = -m*z + 23 - 14. Solve -7 = -z*j + 5 for j.
4
Suppose -94 - 26 = -8*o. Suppose 0 = 8*y - o - 17. Suppose 4*i - 5*x = 7*i + 20, 4*x + 16 = -5*i. Solve y = -i*n - n for n.
-4
Let d = -275 - -280. Solve -d*b - 150 = -145 for b.
-1
Let z = 281 - 277. Solve 4*k = 4 + z for k.
2
Let g be (-28)/6*24/16. Let f(t) = -2*t - 13. Let h be f(g). Solve -3 - h = -2*i for i.
2
Suppose 11*r = 3*r + 144. Solve r*h + 0 - 18 = 0 for h.
1
Let o be ((-9)/15)/((-8)/40). Suppose 0 = -2*s + o*y + 1, -3*s + y = -8*s + 11. Solve -s*z = z - 15 for z.
5
Suppose 55 = 2*d + 173. Let a = 59 + d. Solve z + z + 10 = a for z.
-5
Suppose 6*z - 2 = 16. Suppose 2*t - 6 = -z*d, -2*d = d + 3*t - 3. Suppose -d*j + 3*k + 7 = -7, 0 = -k - 2. Solve 2*r = -j*r - 4 for r.
-1
Let t(g) = 7*g**2 - 2*g + 2. Let q be t(1). Let m = 10 - q. Suppose 13 = -n + m*l, 4*n + 2 = 4*l - 10. Solve -14 = -4*k - n for k.
3
Let m = 11 - -1. Let h = m + -3. Let y(l) = -l**3 + 8*l**2 + 10*l - 7. Let a be y(h). Solve 0*c + a = -c for c.
-2
Let g be 248/(-93)*6/((-2)/(-1)). Suppose -a - 20 = -3*o - 3*a, -5*a = -3*o + 13. Let s be (-6)/(-24) - o/g. Solve -s - 3 = 4*q for q.
-1
Let h = 83 + -94. Let s = 13 + h. Solve 0*o + s*o = -6 for o.
-3
Let n be 0 + 87*3/9. Suppose -6*s = n - 41. Solve 0 = 3*l - s*l + 3 for l.
-3
Let y be (1 + 3 - 2)*-2*-4. Solve y = 4*l - 4 for l.
5
Let m(u) be the third derivative of u**4/12 + 7*u**3/3 - 6*u**2. Let k be m(-7). Solve k*o = -o for o.
0
Let r(a) = -a**3 - 5*a**2 - a + 1. Let f be r(-5). Let v(p) = 2*p. Let d be v(0). Suppose d = -l + f*l - 2*n - 2, n + 1 = 3*l. Solve -25 = -l*t + 5*t for t.
-5
Let p = -2661 + 2701. Solve -21*w = -29*w + p for w.
5
Suppose -2*j + 20 = -0*j. Let c be 44/j - 18/45. Suppose 23 = 4*w - w - p, c*w = 2*p + 34. Solve w = -0*n - 3*n for n.
-2
Suppose -3*o