lve x - m = -4*x for x.
4
Let d = -81 + 80. Let w be (d*-5*1)/((-95)/(-38)). Solve -9 = -w*j - 3 for j.
3
Suppose -22*d + 162 - 8 = 0. Solve 0 = -d*v + 4*v - 6 for v.
-2
Suppose 4*x - 12 = 16. Let j be 12/8*-2 + 8. Suppose 2*m = -0*m - j*h - x, 4*m + 5*h - 1 = 0. Solve 3*b = -m + 1 for b.
-1
Suppose -7*y + 3*y + 8 = 0, 3*y = -z + 106. Let k = z - 99. Solve -3*r = -k - 8 for r.
3
Let n be -2*(249/(-6) - -2). Suppose -7*l = 44 - n. Solve 0 = -2*p - 3*p - l for p.
-1
Let o(i) = -48*i**2 - 286*i + 14. Let u be o(-6). Suppose 5*y = 6*y. Solve y = -0*p - p + u for p.
2
Let s be 420/(-252) - 80/(-3). Solve 13*v - 60 = s*v for v.
-5
Suppose -m - 9 = 4*l, 7*m + 20 = 3*m. Let p be (-8)/(-14)*((-2 - l) + 8). Solve 0 = -b - b + p for b.
2
Suppose -2*m - 35 = -5*v, v - 4*m = 9 - 2. Solve -6*n + 5 = -v*n for n.
-5
Let g(o) = 11*o + 1. Let z(b) = -b**2 + 2*b + 1. Let h be z(2). Let f be g(h). Solve 3*k = -k - f for k.
-3
Suppose 345 = -20*z + 25. Suppose -n + 63 = 2*n. Let l = n + z. Solve 1 = -l*g + 21 for g.
4
Let u be 17/(-2)*(-3 + 1). Let b = 19 - u. Solve -b*p + 4 = -2 for p.
3
Let l(q) = -5*q + 19 + 6*q + 0*q. Let o be l(-19). Solve o = -0*a + 3*a + 3 for a.
-1
Let m be -8 - -25 - 3 - (3 + 0). Solve 0 = -5*x + m - 26 for x.
-3
Let c(m) be the second derivative of -m**4/12 + 2*m**3/3 - 3*m**2/2 - 15*m. Let y be c(3). Solve 3*r = -15 - y for r.
-5
Let o = -5 - -26. Let i = o + -15. Suppose v - i = -v. Solve -8 = v*t + t for t.
-2
Let s = 1830 + -1821. Solve s*a = 3*a + 12 for a.
2
Let d(i) = -5*i + 8. Let l(w) = 6*w - 7. Let h(f) = 2*d(f) + 3*l(f). Let n be h(-5). Let j be (12/(-15))/(6/n). Solve 2*a - j*a + 12 = 0 for a.
3
Let u(o) = o**3 - 6*o**2 - 5*o - 2. Let t be u(6). Let f = -12 - t. Suppose 10 + f = 5*a - k, 4*a - 40 = 4*k. Solve -12 = -a*b + b for b.
3
Let r = -228 - -230. Solve h + r = -h for h.
-1
Suppose -3*f + 3*l - 15 = -6*f, -15 = -3*f - l. Let n be 6*(-2)/(6/(-1)). Solve -f = -n*s + 5 for s.
5
Let a be (-32)/40*(-10)/4. Let d be (28/(-98))/(a/(-14)). Let z be (-2 - -2)/(d/(-1)). Solve -2*s + 0*s + 10 = z for s.
5
Let u = -77 + 69. Let w(j) = 2*j + 17. Let l be w(u). Solve 3*s + l = 10 for s.
3
Let u = 104 - 63. Let z = -25 + u. Solve -w = 3*w + z for w.
-4
Let x(a) = a**2 - 2*a + 3. Let h be 20 - 21 - (-3)/1. Let m be x(h). Solve 2*n = -m*n for n.
0
Let c be (-4)/(-18) + 1496/72. Let r be 72/21 - 9/c. Suppose 3 = 5*t - 3*o - 2, 7 = -2*t + r*o. Solve 0 = 2*u + 2*u - t for u.
1
Suppose -g = -z, 0 = 2*z + z - g - 4. Suppose z*d - 10 = -4*r, -d + 5*d = 20. Solve -w = -r*w + 5 for w.
-5
Let z(v) = -12*v**2 - 3*v - 3. Let x be z(-3). Let i = x - -106. Solve i*q = 3*q - 1 for q.
-1
Let h = 27 - 20. Suppose 5*n - h = 13. Solve n*q - 10 = 6 for q.
4
Let u be (0 + -20)*1/(-2). Let f(y) = -y**2 + 9*y + 10. Let l be f(u). Let m be (-1)/(9/(-6) + 1). Solve l = m*v - v for v.
0
Suppose -251*s + 248*s + 3 = 0. Solve -s + 9 = 2*b for b.
4
Let s be 100/18 + 0 + (-36)/(-81). Solve -5 = s*p - p for p.
-1
Let t be (-1)/2*-1*50. Let x = 2453 + -2458. Let o be 2/10 + x/t. Solve 3*n = -o*n + 6 for n.
2
Suppose -2320*t + 2312*t + 80 = 0. Solve 15*s + 15 = t*s for s.
-3
Suppose -54 = 2*m + m + 4*r, -m - 11 = -r. Let s be (8/6)/(m/(-21)). Solve -10 = s*i + 3*i for i.
-2
Suppose 5*i - 5 = -5*o, -i - o - 7 = -2*i. Suppose -5*c = -z - c + 12, -5*z + 2*c = -24. Let f be 6*(18/4 - z). Solve b = f*b + i for b.
-2
Let d(a) = a**2 - 79. Let j be d(9). Solve -j*z = 13 - 23 for z.
5
Let x(f) = -2*f**3 + 7*f**2 + 5*f - 1. Let r be x(4). Suppose 13 = r*b + 1. Suppose -10 = -3*s + 2*n, b*n = -0*n - 8. Solve -l - s*l = -12 for l.
4
Let m(d) = -d**3 + 12*d**2 - 8*d - 33. Let u be m(11). Solve r = 1 - u for r.
1
Let w be (4 + -3 + 1)/(2 + -4). Let g be (6/9)/((-4)/6). Let q be g/(-3) - w/(-3). Solve -4*s + 8*s = q for s.
0
Suppose -4 = -5*j - w + 122, 0 = -w + 1. Let d = j + -23. Solve d*o + 10 = -0*o for o.
-5
Let y = 28 + -23. Suppose 0 = y*j + 4*g - 2*g + 33, 2*j + 15 = g. Let p be j/(-3) + (-2)/6. Solve p*b = 3*b for b.
0
Let t be 89/4 + 11/(-44). Let q = t - 22. Solve f = -q*f for f.
0
Suppose 0 = 5*b + 25, 11*j - 7*j = b + 61. Solve 10*t - 3*t = -j for t.
-2
Let f(a) = -a**3 + a**2 + 2*a + 2. Let g(k) = -k**3 + 3*k + 3. Let b(y) = 5*f(y) - 6*g(y). Let t be b(-6). Solve 0 = -r - 3*r - t for r.
-1
Suppose -4*y = -5*u - 10, -3*y = -y - 10. Let h = 7 - u. Suppose b + 12 = h*b - 3*a, 0 = -b - 2*a - 8. Solve 4*f + 2 + 14 = b for f.
-4
Let l = -9 - -12. Suppose -8 = 2*n, 11*t - l*n = 8*t + 33. Solve v - 2 + t = 0 for v.
-5
Let w = 16 - 29. Suppose 0 = -4*i - 23 - 13. Let l = i - w. Solve 0 = l*f - 8 - 12 for f.
5
Let j(p) = 4*p**2 - 9*p + 21. Let l(c) = -c**2 + c. Let m(f) = -j(f) - 5*l(f). Let o be m(3). Solve o = -v - v - 10 for v.
-5
Suppose -8*l + 23*l - 225 = 0. Solve -2*g - l = -7*g for g.
3
Let y be (-4)/(-22) + (-135)/(-165). Solve -3*b + 2*b - y = 0 for b.
-1
Suppose -4*t + 5*s + 23 = -22, -25 = -t + 4*s. Suppose -2*f + 9 = f, -5*f + 30 = t*b. Suppose b = -4*u + 11. Solve 6*k = 4*k + u for k.
1
Let x = -912 + 920. Solve -d = -3 + x for d.
-5
Let q(h) = h**2 + 26*h - 151. Let x be q(5). Solve 0 = 7*t - 11*t - x for t.
-1
Let d = 11 + -6. Let o = -12 + d. Let h = o + 12. Solve 26 = h*g + 1 for g.
5
Suppose -3*q - 9 = 9. Let g be 3*q/27*-15. Let y be (-3)/(-15) + 28/g. Solve -y = 2*t - 3*t for t.
3
Suppose -2*j + 24 + 4 = 2*x, 3*j = -x + 48. Solve -2 = j*i - 18*i for i.
2
Suppose -4*a + 12 = -2*a. Solve -9*h + a*h = 0 for h.
0
Let j(i) = -7*i - 38. Let b be j(-6). Let y be (1 + -2)*2/(-2). Solve 0 = -5*a + y + b for a.
1
Suppose -3*j - 22 = -3*g - 8*j, 0 = g - 4*j - 13. Solve -6*m + 3*m = -g for m.
3
Let k(c) = 4*c**2 - 3*c + 4. Let u be k(0). Solve u = -8*q + 9*q for q.
4
Let p be ((-12)/8 - (-5)/2)*0. Let c(a) = -6*a + 1. Let o be c(-5). Solve p = 5*g + 11 - o for g.
4
Let k = -8 - -12. Let p = k - -12. Let t = -14 + p. Solve -t = i - 1 for i.
-1
Let o be (-66)/8*(-12)/9. Suppose -o = -5*a + 9. Solve 5*c = 1 + a for c.
1
Let r(f) = f**3 - 3*f**2 - f + 4. Let i be r(-3). Let b = -47 - i. Solve -3*o + 0 - 9 = b for o.
-3
Suppose -4*i = -20, 27 = n + 3*i + 2. Suppose -3*a + 17 = -5*p, 0 = -5*a - 5*p + 2*p + 17. Suppose 5*y + a*w - n = 2*y, 2*y + w = 5. Solve y*g - 5 = -3*g for g.
1
Let y be (12/(-3) + 5)*2. Let d be y/4 - (-99)/22. Suppose -5*g - d + 15 = 0. Solve 6 = 2*n - g for n.
4
Let q be ((-4)/(-22) - 120/55) + 3. Let k = -32 - -20. Let y be (10/4)/((-15)/k). Solve l - y = -q for l.
1
Let t be 5*8/(-8) + 11. Solve t + 6 = 12*g for g.
1
Suppose 0 = -2*h + 14*h - 96. Suppose h*n = -8*n + 80. Solve 17*f - n = 12*f for f.
1
Let p(d) = -d**3 - 10*d**2 + 41*d + 34. Let v be p(-13). Solve 13*x = v + 31 for x.
3
Let c(j) = j**3 + 8*j**2 + 11*j - 7. Let q be c(-3). Solve 2*s - 15 = -q for s.
5
Let c(d) = 2*d**3 - 11*d**2 + 5*d + 3. Let r be c(5). Suppose -14 = -a + r*b, b = -8*a + 4*a + 56. Solve -5*t + 1 + a = 0 for t.
3
Suppose 4*h + b - 8 = 0, -2*h - 2*b + 10 = 3*h. Solve -5*x - h = -7*x for x.
1
Let y(t) = t**2 + t - 5. Let f be y(-5). Suppose 3*j - 15 = -j + 5*q, -j = 5*q + f. Let c be (-1)/(-2)*j/1. Solve c = 4*i + 4 + 4 for i.
-2
Let c(f) = -f**3 - f + 10. Let t be c(4). Let y = t + 63. Solve -2 = -o - y for o.
-3
Let k(z) = z - 13. Let j be k(6). Let o(t) = t**3 + 7*t**2 + t + 7. Let u be o(j). Solve u = 5*n - 0*n for n.
0
Let k be 52 - (-2 + 3)*-1. Let t = k + -51. Solve t*o - o = 2 for o.
2
Suppose 4*o = -j - 9, 0*j = -2*o + 2*j + 8. Let l be o/5 - (-716)/(-20). Let v be (6/(-18))/(1/l). Solve 0*f - v = -3*f for f.
4
Suppose -4*u - 8 = 4. Let m be u + 0 - (-4 + 1). Solve -h = -m*h - 2 for h.
2
Let f(m) = m**3 - 6*m**2 - 5*m + 17. Let u be f(6). Let r = 13 + u. Solve r*d - d = -3 for d.
3
Let h be (2 + -17)*(-2)/10. Let m(w) = 5*w**2 - 9*w + 7. Let p be m(h). Suppose -2*b + 1 + 12 = 5*d, -2*d = -5*b + 18. Solve p = -f - b*f for f.
-5
Let j be (((-1)/(-5))/(-1))/((-15)/225). Solve -j*l = -9 + 6 for l.
1
Let j = 479 + -476. Solve 0 = -21*b + 20*b - j for b.
-3
Let k = -158 + 165. Solve k*q - 3 = -10 for q.
-1
Suppose -k + 9*k - 288 = 0. Let j = k - 30. Let q be (-4)/(-10) + 4/(-10). Solve q*b + j = -3*b for b.
-2
Suppose 7*o - 354 = -5*m + 5*o, 2*o + 222 = 3*m. Solve m - 40 = 8*x for x.
4
Suppose 0 = 2*s + s - 129. Suppose 3*b = s - 37. Solve 0 = -0*v + 2*v - b for v