 + 4*c - 3. Let j be g(-5). Solve j*a + 2*a - 12 = m for a.
3
Let n be 5 - (2 - -1)/(-1). Suppose 4 = 3*g - n. Suppose 3*q - 4 - 13 = -4*r, 0 = -4*r + g*q - 4. Solve r*i = -2*i + 20 for i.
5
Suppose 4*t + 5*h = -10, -1 = 4*t + 2*h + 3. Suppose t*j = -6*j. Solve -5*k - 10 = -j*k for k.
-2
Let g = -3 - -2. Let r(x) = -5*x - 1. Let c be r(g). Solve 2 - 10 = c*q for q.
-2
Let q(c) = 3*c - 5. Let w(n) = n. Let k(f) = q(f) - 2*w(f). Let s be 14/8*(2 + 2). Let i be k(s). Solve i*h = h for h.
0
Let o(d) = d**2 - 47*d + 248. Let v be o(41). Solve v*p = -27 + 21 for p.
-3
Let a(u) = -2*u - 2. Let r(m) = -2*m - 2. Let w(n) = 3*a(n) - 2*r(n). Let t be w(-3). Let i(y) = y**2 + y + 20. Let f be i(0). Solve -t*x + f = 4 for x.
4
Let s(u) = -4*u**3 - 12*u**2 - 13*u + 8. Let v(x) = -x**3 - x. Let b(o) = -s(o) + 3*v(o). Let p be -13 - (3 + -1 + -4). Let t be b(p). Solve t*m = m for m.
0
Suppose -3*y - h + 11 + 3 = 0, 0 = 5*y - 4*h - 29. Let t(p) = 1 - 1 - p + 3 - y. Let u be t(-6). Solve 0 = u*l - 5 - 11 for l.
4
Let n = -380 + 380. Solve -4*k + 0*k = n for k.
0
Let y be 27/5 + (-1 - 6/(-10)). Solve -h = y*h - 24 for h.
4
Let z be 1683/(-36)*-4 - (1 - -2). Solve z*n = 179*n + 25 for n.
5
Suppose c = -3*p + 1 + 6, -2*p = -5*c - 16. Let b(w) = -w**3 - 2*w**2 - 2*w. Let q be b(c). Solve -13 - 3 = q*k for k.
-4
Let b(p) = p**2 - 2*p + 3. Let l(r) = r**2 + 8*r - 18. Let d be l(-10). Let w be b(d). Solve -4 = 5*y - w*y for y.
-2
Let m be 9/(224/(-128)*6/(-14)). Solve -5*h + m*h = 21 for h.
3
Suppose -23*c + 19*c + 160 = 0. Let w = c - 38. Solve -2 - w = -4*q for q.
1
Let w be (6 - 132/11)*10/4. Let u = -13 - -2. Let c = u - w. Solve -c = -a - a for a.
2
Let i be (-36)/(-30)*(-10)/(-3). Let h = 1 + i. Solve 3*p + 2 = h*p for p.
1
Let o(j) = j**2 - 3 - 8*j + 7 + 0*j**2 + 0. Let t be o(8). Solve 2*v - 6 = t*v for v.
-3
Suppose 25 = -3*q - q - n, -4 = q + n. Let o be -2 - (1*q - -2). Let p = -3920 + 3924. Solve -p*u + o = -13 for u.
4
Let a(m) = -2*m**3 - m + 3. Let z be a(-2). Let o = 23 - z. Solve o = -5*j - 8 for j.
-2
Let h(r) = r**2 - 5*r + 3. Let b(q) = -q**2 + 5*q - 2. Let k(y) = 3*b(y) + 4*h(y). Let i be k(3). Solve -2*a + 14 - 6 = i for a.
4
Let q = 42 - 14. Let h = 28 - q. Solve 0*c + 3*c = h for c.
0
Let t(o) = -o**2 + 6*o + 21. Let z be t(8). Solve z*s = s - 12 for s.
-3
Suppose -15 = 4*q - 7*q. Let n(x) = -2*x**3 - 3*x**2 + x + 2. Let u be n(-2). Suppose -u*k = -20, q*l = -k + 10 - 5. Solve l = 4*m + m for m.
0
Suppose -i - j - 3 + 8 = 0, -2*i = -3*j - 20. Suppose -6 = -i*r + 4*r. Solve r*q = 5*q for q.
0
Suppose -3*b + 3*a = 324, 5*b - a = 3*b - 221. Let s = b - -117. Solve 0 = -s*z + 2*z for z.
0
Let u be 0 + 2 + 0 - -1. Let l(b) = -28*b + 30. Let k be l(1). Suppose 5*h + 2*s = 1, 4*h = 3*h + 4*s + 9. Solve -u*v = -h - k for v.
1
Let t = 212 + -206. Solve 10 = t*c - c for c.
2
Let p be (3*1/3)/((-6)/(-30)). Suppose -g + 13 = 3*k - 3, -p*g + 20 = 3*k. Solve 2*x = k*x for x.
0
Let q(d) = -d**3 + 8*d**2 + 2*d - 8. Let v = -10 - -18. Let k be q(v). Let p(l) = -8*l**2 + 25*l - 3. Let m be p(3). Solve -4*u + 2*u + k = m for u.
4
Suppose -48*g + 1880 = 46*g. Solve 4*j - g = -6*j for j.
2
Suppose -3*p + 21 = -2*d + 5*d, -2*p = -4*d + 4. Solve 0 = -t + p - 1 for t.
3
Let n(u) = u**2 - 22*u - 24. Let o be n(23). Let q(t) = 6*t**2 - 3*t - 2. Let r be q(o). Solve -r = 4*j - 3 for j.
-1
Let o = -44 - -26. Let j be 3/o - (-11)/(-6). Let v = j + 4. Solve -3 - v = p for p.
-5
Suppose h + 0*h + 3*k = -2, -2*k = 0. Let j(y) = y**2 - y - 1. Let o be j(h). Let r = 154 - 154. Solve -o*w - 5 + 0 = r for w.
-1
Suppose -y + 5 = -a, 16*y = 21*y - 4*a - 23. Solve 0 = y*o - 13*o for o.
0
Suppose 2*p - 5*g = -1 + 12, g = 3*p - 23. Solve 0 = -p*b - 6 + 38 for b.
4
Let m = 28 + -28. Suppose 0*p + 4*p - 100 = m. Solve 9*v = 4*v + p for v.
5
Let m = -73 + 77. Suppose -m*s + 3*s = -7. Let p(u) = u**3 - u**2 - 2*u + 2. Let w be p(2). Solve s*g = w*g for g.
0
Let z(h) = h**3 - 2*h**2 + 4*h - 1. Let a(w) = -w + 9. Let f be a(6). Let n be z(f). Suppose 22*q - 26*q = 5*i + 3, -q + 9 = -2*i. Solve -q*y - y = n for y.
-5
Suppose -2*c + 0*x = -4*x - 26, 4*x + 14 = -2*c. Solve -k = c*k - 4 for k.
1
Let s(o) = -o + 2. Let b be s(2). Let h be 1 - (-3 - 2) - (-233 + 236). Solve h*y - 5*y = b for y.
0
Let r be (14/1 - -1)*(-37 - -36). Let i(b) = -b**2 - 17*b - 28. Let t be i(r). Solve -5*c = -t*c + 6 for c.
-2
Suppose 7*i = 10*i - 108. Suppose 6 + i = 7*h. Let q(w) = -w. Let k be q(-4). Solve 0 = -k*p + 6 + h for p.
3
Let q be (0 + 4/(-5))/((-25)/(-250)). Let m = -8 - q. Solve m*y - y + 1 = 0 for y.
1
Suppose -2*x - 4*d + 14 = 4, 3*x - 26 = 5*d. Let b = -2934 + 2936. Solve -11 + x = b*a for a.
-2
Suppose -34*h = 100*h - 1072. Solve 0*g + 24 = -h*g for g.
-3
Let p(o) = 31*o - o**2 - 49*o + 22*o - 4. Let u be p(2). Solve 3*m + 3 = -u*m for m.
-1
Let m = 67 + -46. Suppose 2*u - 5*u = -m. Solve -s = -4 + u for s.
-3
Suppose -51*s = 25*s - 152. Let r be (-1)/(5/(-2) - -2). Solve -s = r*w - 6 for w.
2
Suppose 1901*t = 1891*t + 1200. Solve t*r - 124*r - 16 = 0 for r.
-4
Let k = -1470 - -1474. Solve -10 - 2 = -k*y for y.
3
Let b be 604/30 + (-6)/45. Suppose -4*a + b = -w - w, 5*a + w - 32 = 0. Solve a*r = 3*r for r.
0
Suppose 5*m - 54 = 21. Let y be ((-8)/(-10))/((-1)/15). Let b be (-2 - m/(-9))*y. Solve h = -b*h for h.
0
Let j = -36 + 19. Let t = j - -20. Let h = -19 - -24. Solve h = 4*i - t*i for i.
5
Let s(u) = -u**3 - u**2 + 3*u - 7. Let j be s(-3). Suppose a = -5*z + 15, -z - 3 = -j*z - a. Solve -z*i + 4 = -7*i for i.
-1
Let d = -1460 + 1468. Solve -d*p + 16 = 40 for p.
-3
Let x(n) = n**3 + 6*n**2 - 2*n - 7. Let s be x(-6). Suppose 5*t = s*f - 15, -5*f + 3 + 12 = -3*t. Suppose 3*c - 24 = -t*c. Solve -2*p - c = -4*p for p.
4
Let t = 3 + 6. Suppose v = -3 + t. Solve -v = -2*g - 2 for g.
2
Let c = 1366 + -1297. Solve h - 70 = -c for h.
1
Let r(i) be the first derivative of 3*i**2/2 + 27*i - 5. Let h be r(-7). Solve s = -s + h for s.
3
Suppose 0 = 3*q + y - 20 + 5, q - 5*y - 21 = 0. Solve 0 = 3*m - 0*m + q for m.
-2
Suppose -3*w - 2*b = -23, 0 = -3*w + w + 2*b + 2. Suppose -4*t = -w*t + 10. Let n = -67 - -69. Solve n*z = -3*z + t for z.
2
Let w be (1/3)/(((-14)/(-24))/7). Suppose -5*z = s - 6, w*z - 2*s - 1 - 1 = 0. Solve -f + 3 - z = 0 for f.
2
Suppose -3*z = -57 + 45. Suppose 2*p + 0*p - z = 0. Solve -p*b = b for b.
0
Let u(w) = w**3 + 6*w**2 + 4*w + 6. Let z be u(-5). Let d be (-22)/(-209) - 224/(-38). Suppose d*j = z*j. Solve j = 5*f - 2*f - 9 for f.
3
Let c(y) = y**3 - 5*y**2 - 3*y - 3. Let n be c(5). Let g = n + 19. Let p be 0/(4/2) + 2. Solve g = -f - p for f.
-3
Let z = 19 + -15. Let j(m) be the third derivative of m**4/12 - 4*m**3/3 - 3*m**2. Let x be j(z). Solve x*a + 8 = 2*a for a.
4
Suppose -54*b + 51*b = 0. Suppose -7*q = -2*q. Suppose 5*w + 3*u - 28 = 0, -3*w + 3*u + 13 = u. Solve w*f - 15 + q = b for f.
3
Let c = -1 + 7. Suppose 0*n + c = n. Let l be 1/(-3) - (-62)/n. Solve -10 = 4*s + l for s.
-5
Suppose 9*m = 2*m - 7. Let t be ((-2)/1)/(m/2*2). Solve t*d - 12 = 6*d for d.
-3
Suppose -2 + 29 = 3*j. Suppose 14*k - 15*k = -5. Solve -16 = -k*v + j for v.
5
Let n be (-74)/(-14) + (-2)/7. Let d(w) = -6*w - 18. Let l be d(-3). Let g = -13 + 28. Solve g + l = -n*b for b.
-3
Let v be (-28)/(-602) + (-5154)/(-129). Solve -v*m + 21 = -33*m for m.
3
Let w = 2 - 24. Let y(j) = 4*j - 39. Let i be y(9). Let q be 3/(i/w) - -3. Solve -c - 4*c = -q for c.
5
Let b be (-40)/(-2) + 28 + -28. Solve -4*n + b = n for n.
4
Let s = 408 - 406. Let z = 15 - 14. Solve s*l - z = l for l.
1
Let n = 505 + -502. Solve 2*d + 20 = -n*d for d.
-4
Let w be -4 + -4 + 9 + 3. Suppose -8 = 4*g + w*a - 24, -4*a = -2*g - 10. Solve 2*s - s = -g for s.
-1
Let b = -134 + 137. Solve -2*n + 2*n = b*n for n.
0
Let q(x) = -2*x - 16. Let l be q(-11). Suppose -l*p = -7*p + 3. Suppose 3*k = -p*z, -4*k + 5*k = 0. Solve z*g = g for g.
0
Let r(w) = 5*w + 159. Let m be r(-31). Solve -m*a = -6*a + 10 for a.
5
Let x(l) = -4*l - 4. Let t be x(3). Let j be 12*4*(-5)/t. Suppose 1 = -3*p - 2*g, p - 4*g - j = -6. Solve p = -d + 2 for d.
1
Suppose 0*r - r - 137 = -2*w, 5*r = -5. Suppose -3*v = 2*h + 2*v - 20, 4*h = 4*v + w. Solve h = -2*m - m for m.
-5
Let f be -1*(11 - (22 + -9)). Solve -f*p - p = -3 for p.
1
Suppose -2*h = 2*d + 6, -d + 5*h = -3 - 