+ 12 for n.
-4
Let y be (-11)/1 + (-2)/2*-3. Let p be 3/12 + (-70)/y. Solve p = 4*g + 1 for g.
2
Let k = -34 + 49. Let j(s) = s - 12. Let f be j(4). Let l(i) = i**3 + 8*i**2 + i + 8. Let u be l(f). Solve -2*w - w - k = u for w.
-5
Suppose 4*o - 3338 = -2130. Solve -4*s + 290 - o = 0 for s.
-3
Suppose 0 = -z - 2*n + 5*n + 18, -4*z - 4*n = 8. Let o = -115 - -121. Solve -z*s + 9 + o = 0 for s.
5
Let r = 10 - 5. Let c be r + (3/3)/1. Suppose -5*s - 32 = -3*o - 47, -5*s - o + 35 = 0. Solve c*a = 3*a - s for a.
-2
Let z = -468 - -471. Solve -4*i - 3 = -z for i.
0
Let h(u) = u + 12. Let p be h(9). Solve p = -3*z + 36 for z.
5
Let x(b) = 4 + 4*b**2 - 3*b**2 + 5*b + 5. Let m be x(-2). Solve -m*j = -0*j for j.
0
Let x be (-7)/((-140)/12) + (-94)/(-10). Solve -x = 4*a + 2 for a.
-3
Let p be (-2)/(-3)*1*12. Let y be 9/(-6)*(-1 + -1). Solve 0 = -p*x + y*x + 10 for x.
2
Suppose 4*t - 25 = -5*d, 547*t + 10 = 545*t + 2*d. Let w = -2 + 6. Suppose 0 = -f + 2*g + 14, f + 2 = -2*g - 4. Solve -f*s + t*s + w = 0 for s.
1
Let t = -37 + 1. Let p = t - -53. Let f = 17 - p. Solve f = 4*w - 5*w for w.
0
Suppose 3*b - 44 = -5*g - 0, 5*b = 2*g + 1. Solve -r = -g*r for r.
0
Suppose -8*i + 12 = -20. Let u be 12/(-42) + (-228)/(-14). Solve i*g = -u - 0 for g.
-4
Suppose -23 = 8*f + 25. Let h be (f*3/12)/((-4)/24). Solve -4*i = -i + h for i.
-3
Let t = -333 - -336. Solve -8*x = -t*x - 5 for x.
1
Suppose 3*s + 3*l = -l + 50, s - 14 = -4*l. Suppose s = 5*h - 4*t, h - 7*t = -2*t + 12. Solve 6 = -h*z + 5*z for z.
2
Suppose -2*x + 8*m - 3*m = -25, -5*m = x + 25. Solve 4*w - 67 + 67 = x for w.
0
Let i be 2/4 + (-1)/2 + 2. Solve -2*y + 6 + i = 0 for y.
4
Let r = 4 + -4. Suppose -44*y + 26*y = -126. Solve w + 10 - y = r for w.
-3
Suppose -2*q + 38 = 4*u - 0*u, -40 = -5*u - q. Solve -u*o = -5*o - 10 for o.
5
Let z = 2 - 4. Let d be 1 - (-114)/9 - z/(-3). Solve 5*b - d - 2 = 0 for b.
3
Let i be 4 + 4/(2/(-1)). Suppose -6 - 4 = -2*c - 2*w, i*c + 15 = 3*w. Solve c = -3*o - 1 - 11 for o.
-4
Let z = 56 + -69. Let l = z + 16. Solve 0 = 2*u + u + l for u.
-1
Let o(g) = -7*g - 115. Let v be o(-17). Solve -3*q - v = -q for q.
-2
Suppose 0 = -8*t - 41 + 41. Suppose t = 7*u - 8*u - 15*u. Suppose 2*w = 2*c + 3*w + 1, 3 = -c - 3*w. Solve -h + c - 4 = u for h.
-4
Let u(g) = 3*g - 22. Let c be u(8). Suppose -5*o = 16 - 1. Let y be (-2)/(6/(-9)) + o. Solve c*s - 7*s - 10 = y for s.
-2
Let i(k) be the first derivative of -4*k**2 - 44*k - 14. Let v be i(-8). Solve 4*j - v = -j for j.
4
Let t(y) = -y**2 + 3*y + 6. Let r be t(4). Let i be 0 + (r - 1) + 18/18. Solve -1 = -i*k + 3*k for k.
-1
Let y(c) = 2*c**2 - 7*c - 41. Let f be y(7). Solve 0 = -14*l + f*l + 30 for l.
5
Let s = -231 + 243. Solve 18*i = 15*i + s for i.
4
Let k = 14 - 15. Let u be (0/(-4))/((-1)/k). Solve 4*s - s - 3 = u for s.
1
Let d = 15 + -15. Suppose 3*w + w - 152 = d. Let a be w/5 - (-16)/40. Solve 5*r = r + a for r.
2
Let b(w) = -2*w**2 + 25*w - 32. Let j be b(3). Solve j*m = 17*m + 40 for m.
5
Let c(j) = j + 32. Let l be c(0). Let t = -261 - -290. Let m = l - t. Solve -4 = -m*n + n for n.
2
Let t(a) = -36*a + 361. Let i be t(10). Solve 0 = -30*z + 29*z - i for z.
-1
Let j(n) = 4*n + 40. Let r be j(-9). Solve 7*o = r*o + 12 for o.
4
Let y = 7 - 2. Let t(a) = 21*a**2 - 2*a + 1. Let w be t(1). Let l be 42/(-98) - (-6)/14. Solve l = -0*z - y*z - w for z.
-4
Let o(b) = 3*b**3 - 6*b**2 - 4*b - 6. Let x be o(3). Solve 0 = 5*v - 14 + x for v.
1
Let m(r) = r**3 + 10*r**2 + 10*r - 42. Let o be m(-8). Solve -o*b + 12 = -10*b for b.
-3
Let m be (-4)/22*1 + (-1313)/(-143). Solve 3 = -3*n + m for n.
2
Suppose 0 = -13*a + 6*a + 28. Solve 15*c - 55 = a*c for c.
5
Let l be (18/8)/((-1)/(-4)). Let j(c) = 59*c - 117*c + 56*c + 6. Let f be j(2). Solve f*q = l - 1 for q.
4
Let n(s) = -5*s - 3. Let t be n(-1). Solve 0 + t = -g for g.
-2
Suppose 0*t - 17 = -3*t + 2*l, l = 3*t - 22. Suppose a + 2*a = t. Let q = -22 - -27. Solve q*j = a*j for j.
0
Suppose 387 = -8*w + 451. Solve -5*c = 12 + w for c.
-4
Suppose 17 - 1 = 4*y. Suppose -3*c = y*v - c, -v - c - 2 = 0. Suppose -v*d = 2*d. Solve -t + 3*t = d for t.
0
Suppose -33*j = -j - 64. Solve -s + 0*s = j*s for s.
0
Let x = -1741 + 1781. Solve -155 + x = -23*v for v.
5
Suppose 8*t - 4*t - 16 = -4*s, 10 = 2*t + 3*s. Suppose -22 = -5*p + n, -3*p - t*n = -12 - 9. Solve -2*u = -p*u - 3 for u.
-1
Let g be (5/(10/(-76)))/(132/(-858)). Solve 0 = 2*o + 251 - g for o.
-2
Suppose 5*c - 9*c + 96 = 0. Suppose 4*j = j + c. Solve 3*l = j*l - 25 for l.
5
Let d(p) = -44*p + 3. Let k be d(-3). Let v be k/(-18)*4/6. Let n = v + 11. Solve 5*j = -4 - n for j.
-2
Let w(v) = 2*v - 3. Let t be w(4). Suppose -t*k + 6 = -0*b + 2*b, 5*k + 4*b - 12 = 0. Let h be (4 - 5)/(-1*1)*5. Solve 15 = h*q - k for q.
3
Let h(m) = -m - 14. Let b be h(-17). Suppose 5*i - 5 = 0, -6 - b = -k - 3*i. Let u = -1 + k. Solve 15 = -5*n - u for n.
-4
Let c be 1/((-1*4)/36). Let o be 4/(-6) + (-60)/c. Suppose -o = -f - 3*t, 2*f - 2*t = -f + 7. Solve -f - 1 = h for h.
-4
Let m(k) = k**3 - 7*k**2 + 8*k - 7. Let v be m(6). Solve 2*p - v*p = -3 for p.
1
Let c(o) = -o**2 + 3*o + 14. Suppose 2 = -m + 7. Let h be c(m). Solve u = -u - h for u.
-2
Let j(g) = g**2 + 13*g - 7. Let a be j(-11). Let f = 17 + a. Let l be 9/f - 54/(-8). Solve -i + l = i for i.
3
Let c(l) = -2*l**2 + 19*l - 17. Let i be c(4). Solve 0 = -i*p + 29*p + 10 for p.
-5
Suppose -3*j = -2*w + j + 8, 0 = -3*w + j + 22. Suppose -w*f + 4*f + 12 = 0. Solve z - 6 = -f for z.
3
Let u(k) = k**2 - 19*k + 22. Let z be u(18). Suppose d + 4 = 3*d, d - 38 = -z*v. Suppose 0 = -3*j + 6 + v. Solve j*t + 13 = -2 for t.
-3
Let n(g) = -g - 8. Let u(c) = c - 1. Let w(i) = n(i) - u(i). Let x = 11 + -17. Let h be w(x). Solve 2*m - h*m - 15 = 0 for m.
-5
Let p be 4910/22 - (-20)/(-110). Suppose -2*o = -p + 217. Solve -o*r = -2*r - 2 for r.
2
Suppose 3*a - 5*o = 6*a + 22, 0 = -4*a + o + 9. Solve 0 = -i + a + 2 for i.
3
Let j(h) = h**3 + 2*h**2 - 6. Let g be j(-3). Let c = g - -15. Solve c = -0*x + 2*x - 10 for x.
5
Suppose 0 = -3*f - 6, 5*y - 16*f = -14*f + 4. Suppose 0 = -4*k + 3*r + 13, y = -3*k - 0*k - 2*r + 31. Solve -3 - k = 2*x for x.
-5
Suppose -3*x - 1 + 19 = 0. Let n(b) = b**3 - 10*b**2 - 10*b - 1. Let z be n(11). Solve 4*t - x = z for t.
4
Suppose 12*h - 49 = 215. Let n(u) = u**3 - 22*u**2 - u + 27. Let x be n(h). Solve x = c + 4 for c.
1
Let t(d) be the first derivative of -5*d**2/2 - 10*d + 5. Let y be t(-4). Suppose -o = 4*o - y. Solve 2*k = 2 + o for k.
2
Suppose 8 + 3 = z. Let q(k) = k**3 - 10*k**2 - 10*k - 3. Let b be q(z). Solve -3*w + 7 + b = 0 for w.
5
Suppose -10*h + 30 = -70. Suppose -2 + h = c + 4*u, 3*c - 13 = -u. Solve -t + 3 - c = 0 for t.
-1
Suppose -2*s + 71 = -4*w + 9*w, -5*w + 3*s = -81. Solve -123*j + 128*j - w = 0 for j.
3
Let s be (-111)/74*(-176)/6. Suppose 0 = -4*d + 5*k + s, 13 = 5*d + 2*k - 9. Solve 11*y + 20 = d*y for y.
-4
Let w = -307 - -311. Solve 14 = w*t - 11*t for t.
-2
Let h = -333 + 361. Solve -i + h = -8*i for i.
-4
Let o = -106 + 140. Let m = 38 - o. Solve m = 3*j - 11 for j.
5
Suppose 16 - 1 = 3*k. Let l(v) = v**2 + 2*v. Let p be l(0). Solve p + k = -5*g for g.
-1
Let a = 525 + -512. Solve -4*m = -25 + a for m.
3
Let c be 0 + (-4)/2 + -2. Let r be ((-24)/(-2))/c - -3. Suppose -3*m - 4*p = 4 + 2, -2*m + p + 7 = r. Solve 0 = -m*l + l for l.
0
Suppose -a = -5*z - 8, -a - 2*z - 11 = -12. Solve -a*w + 5*w = -8 for w.
-4
Let v(k) = -25*k - 1100. Let s be v(-44). Solve 5*n + 3 + 7 = s for n.
-2
Suppose -4*v = -3*v. Let m = 3 + v. Suppose 4*k - 11 = -m*z, -3*k + 2*z = 7*z. Solve -2*s = -k*s for s.
0
Let g(x) = 19*x**3 + x - 2. Let u be g(1). Let l = u - 18. Solve l*c = -5*c - 25 for c.
-5
Let h(j) = -2*j + 22. Let y be h(1). Solve -16*u + y = -21*u for u.
-4
Let s be (-81)/(-5) + 0 - 870/725. Solve -57 = -s*m - 4*m for m.
3
Let w = 410 + -398. Solve -w*f = -17*f + 15 for f.
3
Suppose -5*i + 64 = 4*y - 71, 0 = -5*y - 2*i + 190. Suppose 0 = -2*p - 4*s + y, 4*s - 26 - 26 = -3*p. Solve 2*b + p = 6*b for b.
3
Let l(a) = -67*a + 14. Let q be l(2). Let o = q + 125. Solve 3*u + o = 8 for u.
1
Suppose -2*n + 89 = 87. Solve -n = -3*s + 4*s for s.
-1
Suppose 4 = -3*k - 17. Let z be (-7 - k) + 4 + -1. Suppose 2*j = -2*x + 60, z*x - 95 = -4*j - 0*j. Solve 0 = -4*h - h + x for h.
5
Let p(x) 