j = -924 + 924. Solve -11*k - 12 + 34 = j for k.
2
Let n(x) = x**3 - 4*x**2 - 5*x - 20. Let p be n(6). Suppose 4*s + 2*r - p = 0, -4*r + 9*r - 22 = s. Solve -d + 2*d + s = 0 for d.
-3
Suppose 0 = -9*b + 93 + 15. Suppose 0 = -11*l + b*l - 4. Solve 0 = -2*m - 2 - l for m.
-3
Suppose -6 = 847*y - 849*y. Solve -6*z - 9 = y*z for z.
-1
Let p = -107 + 196. Let w = -84 + p. Solve -w*a + 4*a = 1 for a.
-1
Let v(k) = -12*k**3 + 3*k**2 + 4*k + 3. Let x be v(-1). Solve -59 + 3 = x*j for j.
-4
Let m be 99/121 - 2/(-11). Let c = 10 - 6. Suppose c*a = 2*a. Solve -q + a*q = -m for q.
1
Let z(q) = 5*q**2 - 12*q + 16. Let a(x) = -x**2 + x - 1. Let n(f) = 6*a(f) + z(f). Let p be n(-6). Solve -4*d + p = -6*d for d.
-5
Let a be (-2)/((-24)/(-6))*-14. Solve -11*r + a*r + 12 = 0 for r.
3
Suppose -2*w + w = 10. Let v = w - -12. Let u be 2/(1 + (0 - 0)). Solve -4*g + v = -u for g.
1
Let h be ((-5)/3)/((-8)/24). Suppose h*a + 12 = -k, 6*k - k = -5*a. Let r be 0/(a - (-3 - -2)). Solve -m - m - 6 = r for m.
-3
Let p(h) = 3*h**3 + 8*h**2 - 6*h - 2. Let v be p(1). Solve 0 = i + v*i + 8 for i.
-2
Suppose 13*g = 11*g + 12. Solve -g*s + 8 = -22 for s.
5
Suppose 56 - 60 = -2*p. Solve -p*t - 6 = -2 for t.
-2
Let n = -438 - -445. Solve n*o - 2*o = -15 for o.
-3
Let x be (32/(-10))/(2/10). Let o = x + 16. Suppose -v + o*v = 0. Solve p + 0*p = v for p.
0
Suppose 0 = -25*h + 10*h + 195. Solve 8*p - h*p - 25 = 0 for p.
-5
Suppose 1114*c = 1137*c - 92. Let k(o) = o + 1. Let d be k(2). Suppose w - 2*u - 2*u = -16, -d*w + u = c. Solve -5*v = -w + 5 for v.
-1
Let v(n) = n**3 + 4*n**2 - 5*n - 10. Let a(q) = q**3 + 7*q**2 + 6*q - 4. Let p be a(-6). Let h be v(p). Let t be h/20*(-1 + 1). Solve t = 4*z - 5*z for z.
0
Let p(v) = v**2 - 2*v - 3. Let n be p(5). Suppose 3*t - 3*b = -0*t - n, -b + 4 = -5*t. Solve t = -2*y + 6*y - 8 for y.
2
Let w(y) = y**3 - y**2 - 5*y - 3. Let k be w(3). Solve k*u = -u for u.
0
Suppose -80*q + 69*q + 33 = 0. Solve 5 - q = 2*k for k.
1
Let i(z) = z**3 + 9*z**2 + 12*z - 8. Let r be i(-7). Suppose -4*f - 3*q = 46, -4*f - 56 = -q - q. Let h = f - -18. Solve -r = h*l - 16 for l.
2
Let g(b) = b**2 + b - 6. Let r be g(-4). Suppose 0*n - 4*a - r = -3*n, -2*a = n - 12. Solve 2*j = -j + n for j.
2
Suppose 47 + 17 = 4*j. Solve -256*k = -252*k - j for k.
4
Let d be 1*(-7 - -7)/6. Suppose 4*m = 3 + 1. Let u(y) = -y**2 - 9*y + 8. Let s be u(-8). Solve d = -5*x - m + s for x.
3
Let o(n) = -n**2 - 96*n + 407. Let l be o(4). Solve -18 = -l*y + 16*y for y.
-2
Suppose -254*h + 255*h = 6. Solve -8*i + h*i - 2 = 0 for i.
-1
Suppose -21*d + 8*d = -9*d. Solve 4 + d = -4*i for i.
-1
Let t(k) = 40*k**2 + k + 1. Let u be t(-1). Suppose 6*v + 10 = u. Solve -v*d + d = -16 for d.
4
Let l = -511 - -518. Solve l*g + 5*g - 12 = 0 for g.
1
Let d be 2/6*6 - -3. Let j(b) = -2*b**2 + 13*b - 10. Let i be j(d). Solve -14 = i*w + 11 for w.
-5
Suppose -5*n + 10*n - 20 = 0. Let x(q) = 11*q**3 - q**2 + 10*q - 10. Let h be x(1). Solve -n*z + h = -9*z for z.
-2
Let k(q) = 6*q - 1 - 9*q + 4*q. Let u be k(6). Solve -4*m + u*m = 0 for m.
0
Let x = -230 - -234. Solve 0 = 4*f - 8*f + x for f.
1
Suppose 62*c - 42 = 48*c. Solve 0 = -n + c*n - 8 for n.
4
Suppose 0 = 6*g - 4*g + 2. Let f be (-15)/(-10)*(-2)/g. Let p = -10 - -10. Solve p = -2*w + f*w for w.
0
Suppose 5*t - 135 = 45. Let q = -31 + t. Solve -q*k - 17 = -7 for k.
-2
Let m = 469 + -465. Solve 0 = -3*s + m - 10 for s.
-2
Suppose -5*v - 37 = -12. Let d be 72/60*v/(-2). Solve -d*q = -q for q.
0
Let b be (1*123)/(18 + -17). Suppose -j - 4*c = 2*j - 99, 4*c + b = 3*j. Let x = 53 - j. Solve -2*l - x = -6*l for l.
4
Let h be (-54)/(-21)*210/9. Suppose 2*p + h = 5*p. Solve 4*d - p = -d for d.
4
Suppose -3*o - 9 = -6*o, 5*w - 67 = o. Let v(j) be the third derivative of -j**4/24 + 8*j**3/3 + j**2. Let f be v(w). Solve -3*k + f = -4*k for k.
-2
Let g(y) be the first derivative of 4*y**2 - 2*y - 2. Let p be g(1). Let k be p/21 - (-110)/7. Solve 3*a = k - 1 for a.
5
Suppose 0*p - 3*p = -3. Suppose 19 = -9*u + 100. Suppose -3*a + 0 = -z + 1, z = a + u. Solve -3*w - p = -z for w.
4
Let g be 1/4*0 + 16. Let c = 17 - g. Solve 0*y - c = -y for y.
1
Let k = 1458 - 1342. Solve 2*a - k + 114 = 0 for a.
1
Suppose 0*w + 4*w + 3*g + 123 = 0, 119 = -4*w + g. Let f = 51 + w. Let k = f - 16. Solve -k*l + 10 = -0 for l.
2
Let k(i) = 9*i + 85. Let n be k(-9). Solve -o + n = -5*o for o.
-1
Suppose -3*l = -l. Let x(z) be the first derivative of -z**3/3 - 7*z**2 - 15*z + 25. Let r be x(-12). Solve l = 2*t - 1 - r for t.
5
Suppose q - 90 + 84 = 0. Solve 0 = -5*n + q*n for n.
0
Suppose -5*r + 3 = 3*a + a, -2*a - 2*r = -2. Let x = 20 - a. Suppose 4*q - 6 = d + 8, d - 5*q + x = 0. Solve -3*k + k = -d for k.
1
Suppose -26 = -5*u - g + 4*g, -2*u - 4*g + 26 = 0. Solve -u*p = -8*p + 3 for p.
3
Let y(t) = -71*t + 3. Let x be y(3). Let r be x/(-49) + 4/(-14). Solve r*s + 5 = 3*s for s.
-5
Suppose -135 = 6*b - 21*b. Solve 6 = -11*u + b*u for u.
-3
Let h = -59 + 65. Let p(l) = -l**2 + 9*l + 2. Suppose g - 10 = -g, -2*g = -4*q + 14. Let k be p(q). Solve -k = a - h*a for a.
4
Let g(n) = n**2 + 10*n - 9. Let f be g(-13). Let r be ((-8)/(-6))/((-20)/f) - -5. Suppose -3*i + 6 + 6 = 0. Solve r*m = -i - 5 for m.
-3
Let x be 280/(-49) + (-4)/14. Let p be 2/1*(-9)/x. Solve 0 = -p*h + 17 - 5 for h.
4
Let x(p) = 31*p**3 + 5*p - 6. Let n be x(1). Solve 8*i - 14*i = -n for i.
5
Let z = -9 + 13. Let q be 18/z*12/18. Let o = 18 + -11. Solve -o - 2 = -q*x for x.
3
Let b(f) = -4*f - 3. Let d be b(-3). Let l = -4 - -6. Let i be (-342)/(-81) - l/d. Solve -a - i*a + 20 = 0 for a.
4
Suppose -5*r = -5*y - 11 - 4, -5*r = -2*y - 15. Suppose 0 = -h + r + 8. Let s = 23 - h. Solve 5*k + s = -3 for k.
-3
Suppose -384*a = -380*a - 8. Solve -a*q + 0*q = -4*q for q.
0
Let d = -7 + -5. Let l = d - -30. Let q = 21 - l. Solve q*k = 2*k + 3 for k.
3
Suppose 4*y = -4*c - 44, 4*y = -0*c - 3*c - 43. Let k be (y/8)/((-1)/8). Suppose 0 = 2*n + 5*h - 3, 0 = 3*n + 2*n + 5*h - 30. Solve 4*a + k = n*a for a.
2
Let r be ((476/24)/17)/(6/36). Solve r*y + 48 = -5*y for y.
-4
Suppose 4 = 2*j, 46 = 3*f + 3*j + 2*j. Solve 0*a - f = -3*a for a.
4
Let d(t) = t**3 + 60*t**2 - 58*t + 200. Let j be d(-61). Solve 21*l + 16 = j*l for l.
-4
Suppose -2 + 35 = 3*t. Let c = 8 + -5. Suppose -13 = -c*p + t. Solve 4*x + p = 2*x for x.
-4
Suppose r - 2*z = -2, -26*r = -31*r - 5*z + 20. Solve 17*c - r*c - 60 = 0 for c.
4
Let j = 36 + -35. Let h(t) = -t**2 + 1. Let g be h(j). Solve g*s = -s - 4 for s.
-4
Let j = 34 - 60. Let f = j + 23. Let u = f - -7. Solve 5*m = -u - 16 for m.
-4
Let u(h) = -h**3 + 4*h**2 - 2*h + 1. Let k be u(3). Suppose 3*t = -4*a + 20, a - 9 = -2*t - k. Solve 4*x + 12 = -t*x for x.
-3
Let h(r) = r**2 - r - 4. Let u be h(3). Suppose -6 + 2 = -u*a. Solve -a*l = 3 + 3 for l.
-3
Let m be ((-115)/10)/(2/4). Let i = -23 - m. Solve 7*y - 2*y + 10 = i for y.
-2
Suppose -1831*g + 1830*g + 14 = 0. Solve -51 + 9 = -g*b for b.
3
Let d = -659 + 661. Solve d*f - 8 = -2*f for f.
2
Suppose 14 + 21 = 5*a. Suppose u + a = -4*m + 6*u, m + u = 5. Solve -m*g - 1 = -9 for g.
4
Let m = -495 + 521. Solve 27*r = m*r - 4 for r.
-4
Let a = 35 + -35. Let n(o) = -o**3 - o. Let i be n(0). Solve a = -i*x - x + 2 for x.
2
Let x be (3/(3/2) - -7) + -4. Solve -10 = -x*r + 15 for r.
5
Let j be 8/(-2)*4/(-8). Let r(t) = -t**3 + t**2 - 2*t + 23. Let w be r(0). Suppose 0 = -11*l + 45 - w. Solve j = g - l*g for g.
-2
Let j(a) = 10*a - 17. Let k(q) = -q**2 - 2*q + 17. Let x be k(-5). Let t be j(x). Solve -2*i + 10 = t*i for i.
2
Suppose 4*h + a - 16 = 3*a, 2*a - 4 = 0. Suppose -w + c + 4 = -0, 10 = h*c. Solve w = 3*s - 5*s for s.
-3
Let w be (24/(-32))/(((-120)/(-32))/(-15)). Solve 0 = -11*l + w*l - 24 for l.
-3
Let v = -54 + 53. Let h be (-1 + v + 6)*6/12. Solve -2*t - h = -3*t for t.
2
Let x = -43 + 63. Suppose -4 = k, k = 4*y - x - 0. Solve 19 = y*l + 3 for l.
4
Suppose 15*g + 4950 = 45*g. Solve 0 = -166*u + g*u for u.
0
Let y be -2 - (-58)/(0 + 2). Let b = 27 - y. Let d be ((-2 - b) + 2)/3. Solve -2 = -d*m + m for m.
-2
Suppose 0 = 2*n + 2 - 6. Let c(z) = -z + z - 3*z**n - z**3 + 0*z**2. Let y be c(-3). Solve y*s - 4*s + 12 = 0 for s.
3
Let i(l) = -3*l**2 - 5*l + 12. Let y(p) = -16*p**2 - 25*p + 60. Let b(t) = 11*i(t) - 2*y(t). Let u be b(-6). Solve o - u + 1 = 0 for 