 = -4*a - j for a.
-2
Let b(m) = 3*m**2 - 3. Let y be b(-3). Let x(r) = -r**2 - 6*r. Let c be x(-4). Solve y - c = 4*j for j.
4
Suppose 3*b - 31 = 2*w, -4*w + 44 = 4*b - 8*w. Suppose 3 = 2*a - 4*v - b, v + 1 = 0. Suppose -3*l + 2*m = -16, m + 2 = -l + a. Solve -l*g = -6*g + 8 for g.
4
Suppose 5*p + 32 = 5*r + 7, -5*p - 7 = r. Let b be 0 - -1 - (2 + -3). Solve -s + r*s + b = 0 for s.
-1
Suppose -4*k + 5*m - 5 = 0, 5*k + 4 = -0*m + 4*m. Suppose -4*l + 2*l = k. Solve 4*w + 0*w = l for w.
0
Suppose -2*x = z - 5, 0 = 3*z - x - 3*x + 35. Let t = 33 + -42. Let h = z - t. Solve u + u = h for u.
2
Let y = 15 + -15. Solve -2*g - 3*g = y for g.
0
Let r(h) = -13*h + 1. Let k be r(-1). Suppose 3*t = -2 + k. Solve 5 - 1 = t*g for g.
1
Let o be 0/18*(-2)/(-6). Solve 3*c + o*c = -12 for c.
-4
Let y be (-24)/9*3/(-2). Suppose 3*u - 14 = y. Suppose 3*a - 9 = -3*h, u*h - 5*a - 25 = 3*h. Solve h*p = 2*p - 9 for p.
-3
Let z = -21 + 25. Solve z = b + 9 for b.
-5
Let d = 13 + -20. Let w = d + 17. Solve w = 5*y + 25 for y.
-3
Let c = 0 + 0. Let k be 3 - (-2 - c/1). Let v be (-1 - -10)*3/9. Solve v*a = 10 + k for a.
5
Suppose 16 = -4*n, -5*m + n = 5*n - 4. Let t = m - 4. Solve 0*z - 2*z - 4 = t for z.
-2
Suppose 0 = -x + 3*x. Let h be 8/(2 - x) - -1. Let z be 6/4*(-6)/(-9). Solve -z + h = -f for f.
-4
Let i be 3 + -4 - -3 - 1. Solve -11 = 3*u + i for u.
-4
Let j(h) = -h**2 + 5*h - 4. Let r be j(4). Suppose 2*b - 3 = z - 0*z, -4*b + 5*z + 9 = r. Solve 2 = x + b for x.
1
Suppose -4*p + 2*m + 12 = 0, -m = 3*p - 7*p + 10. Solve 4*x = -p - 2 for x.
-1
Let k(i) = -5 - 1 + 9 - i. Let o be k(5). Let w = 0 - o. Solve -g - g - w = 0 for g.
-1
Let j(g) = -g**3 - 4*g**2 + 8*g - 4. Let y be j(-6). Suppose y = -3*n + 7*n. Solve -n*m + 6 + 4 = 0 for m.
2
Let v(z) = -2*z - 7. Let s be v(-9). Solve 4*d - s = 9 for d.
5
Let h(z) = -z + 12. Let n be h(9). Suppose -2*f + t = -4*t - 38, 0 = 3*f - n*t - 66. Let u be ((-32)/f)/(1/(-3)). Solve 2*x + u + 2 = 0 for x.
-3
Suppose 22 = 2*x - 32. Let u = -11 + x. Let y = -6 + 9. Solve b = -y*b + u for b.
4
Let v be (-3)/18*-4*6. Solve v = -z + 3 for z.
-1
Suppose l - 2*t = -4, 2*l + t - 12 = -0*t. Solve -16 = -3*r - l for r.
4
Let a = -5 - -5. Solve -o + 3 = -a for o.
3
Let w(n) = -3*n**2 + 5*n + 5. Let l(g) = -10*g**2 + 14*g + 16. Let s(q) = -2*l(q) + 7*w(q). Let v be s(7). Solve 0 = -v*a + 2 + 4 for a.
2
Suppose 4*g - 8 = 2*g. Solve 6 = g*i - 6*i for i.
-3
Suppose 2*t = 0, -3*c + 29 = 4*t - 55. Suppose -c = 3*b + 5*x, 4*b - 5*x - 3 - 18 = 0. Let p be (4 - b)*(-5)/(-5). Solve p*g + 8 = 28 for g.
4
Suppose 21 = 3*k + 9. Suppose s - 35 = 4*u - k*s, s = -2*u - 7. Let d be 1/2*0/u. Solve d = -o - o - 10 for o.
-5
Let i(w) = -w + 4. Let a be i(-4). Suppose -17 = -8*v - 1. Solve 2*l = -v*l - a for l.
-2
Suppose -24 = -2*p + 5*m, -m - 12 = -p - 3. Suppose -2*q = -p*q + 40. Let u = -6 + q. Solve 0 = -u*h + 3*h for h.
0
Let l = 64 + -45. Let c = l - -1. Suppose g = 5*p - 2*g + 12, -5*g = -2*p - c. Solve 5*y - 2*y = p for y.
0
Let l be ((-1)/(-3))/(2/12). Suppose 0 = 4*m + 5*x + 2 + 34, -x = 4*m + 20. Let b be (2/m)/((-1)/2). Solve -l*k - 7 = b for k.
-4
Let l = -10 - -10. Suppose -13 = 4*y - 65. Let w = y + -8. Solve w*u + 15 = -l*u for u.
-3
Suppose 0 = 4*s - 7 - 9. Let u = 4 - s. Solve u = 2*b - 2 - 6 for b.
4
Let y = -52 - -52. Solve 4 = k - y for k.
4
Let l(c) = 2*c - 10. Let i be l(11). Suppose 5*j - 3 - i = 0. Solve 0 = -j*a + 2*a for a.
0
Let p = -4 + 5. Suppose -p + 67 = 3*q. Solve -5*b = q - 2 for b.
-4
Let v be -2 + -1 + 6 + -1. Let h be 28/5 + v/5. Solve -o = -h*o for o.
0
Let s = 47 - 22. Suppose -r - s = -4*w, 3*r - 6*r = -9. Solve -3*n = -w - 5 for n.
4
Let m(t) = -4*t**2 + 3*t**2 + 2*t**2. Suppose -j - 3 = 5*d + 4, 2*d + j = -1. Let x be m(d). Solve h + x = 9 for h.
5
Let p be 1*(-116)/(-14) - 172/602. Suppose s - 11 = -4*s + u, 0 = -3*s + 4*u - 7. Solve s*l = -l + p for l.
2
Suppose 0 = 4*p + i - 23, -5 = -i + 2*i. Let x = p - 4. Solve 0*c = x*c + 3 for c.
-1
Let o be ((-16)/10)/(3/(-15)). Let k = o + -1. Solve 2*y + 3 = -k for y.
-5
Let v = 1 + 0. Solve 0 = 4*m + v - 9 for m.
2
Suppose 3*u = 3*n - 6, 2*n = -0*n - 4*u - 8. Solve 6*c - 8*c = n for c.
0
Suppose 0 = y - 5*m - 20, 2*y + 4*m - 4 = -6. Suppose -3*h - y = -4*c, c + 20 = h + 4*c. Solve 0*d - 15 = -h*d for d.
3
Let i(r) = -r**3 - 8*r**2 + r + 5. Let s be i(-8). Let l = 3 + s. Solve 4*x - 4 = -l for x.
1
Let c(x) be the first derivative of -x**2/2 + 8*x + 8. Let f be c(6). Solve 0*z + f*z + 8 = 0 for z.
-4
Suppose -w = -1 + 9. Let o = w - -13. Solve o*g + 6 = 2*g for g.
-2
Let c(r) = r. Let z be c(5). Suppose f = j - 10, 0*j + z = -2*j - 3*f. Let k be (6/4)/(-3)*-4. Solve -k*w - 3 = -j*w for w.
1
Let z(y) = -2*y - 43. Let v be z(-21). Let r be (2/3)/(2/15). Let g = r + v. Solve -g*b + 17 = 1 for b.
4
Suppose 6*z = z + 10. Suppose z*u = u + 5. Suppose -u*a + 1 = -4. Solve a = -k - 1 for k.
-2
Let v(z) = 2*z - 16. Let n be v(9). Solve -n*i + 0*i = 2 for i.
-1
Suppose 4*n - 21 = 3. Suppose -20 = -15*l + 11*l. Solve 0 = l*q - 4 - n for q.
2
Suppose -2*i = -8*i. Solve i = 4*y - 19 + 3 for y.
4
Suppose 2*b + n = -2, -2*b + n = 2*b - 2. Solve b = 5*x - 10 for x.
2
Let v = -3 + 2. Let p(m) = -4*m - 1. Let i be p(v). Let q = 38 + -23. Solve -6*j + i*j + q = 0 for j.
5
Let i = -5 - -40. Suppose -5*o = -0*o - i. Suppose 4*k = o*k. Solve 0 = -2*x - k*x for x.
0
Suppose -4*l + l + 30 = 0. Solve -3*u + 5*u = l for u.
5
Suppose 5*v - 10 = 5*l, 5*l - 3*v + 5 = -1. Let o(y) = -y + 1. Let r be o(3). Let q be 6 - 1/(r/(-4)). Solve l*k = 2*k + q for k.
-2
Let t = 10 + -10. Solve t = 3*d + 2*d for d.
0
Let x(g) be the third derivative of -g**5/60 - 7*g**4/24 + g**3 - 3*g**2. Let n be x(-6). Solve 0 = 2*a - 5*a + n for a.
4
Let i(p) = -p**3 + 6*p**2 + 8*p - 9. Let m be i(7). Let t be m + (3*-1)/3. Let x be (-3)/t + -1 - -4. Solve 9*z = x*z - 5 for z.
-1
Let x(y) = 3*y - 13. Let n be x(5). Solve 2 + n = -2*m for m.
-2
Suppose 0 = 4*r - r. Suppose 4*g + 4 = r, -2 = -2*d - g - g. Solve -4 = -d*w - 0*w for w.
2
Let l be 2 - (5 + -4 - -1). Solve m + 1 = -l*m for m.
-1
Let y = 26 - 14. Suppose 0 = c - 4*r - r + 11, -y = -4*r. Solve -c = -0*x - x for x.
4
Let x = 72 + -70. Solve 0 = 2*q - 0 - x for q.
1
Suppose u = 4*u + 6. Let n be (-8)/(-3 + (-8)/u). Let y = n - -15. Solve -2*w + y*w = 25 for w.
5
Let i be 5*(4 - 88/20). Let m be (-2 - i) + (-4)/(-4). Solve -s = m + 1 for s.
-2
Let g(j) = j + 2 + 0*j + 3. Let f be g(-5). Solve f = 3*a - 0 - 3 for a.
1
Let d = -38 - -38. Solve 2 = -y - d for y.
-2
Suppose -3*v = -3*l + 4*l - 13, 5*v = 5*l + 15. Let c be ((-1)/(-1) - -2)/1. Solve c*b = -7 + l for b.
-2
Let w be (3 - 3)*3/6. Suppose w*o + 3*o = 45. Let p be (-9)/((o/(-2))/5). Solve -3*n + 0*n = -p for n.
2
Suppose -3*v = 2*v. Let j be 3/(v - (-3)/6). Let h = 6 + -4. Solve -h*w + j*w = 12 for w.
3
Suppose 12 = -3*k - 15. Let c(h) = -h**2 - 9*h. Let w be c(k). Suppose 2*g - 10 = 0, 5*g = 2*q + g + 16. Solve 2 = -q*d - w for d.
-1
Let u be 2 - -2 - (-1 + 2). Solve -1 - u = s for s.
-4
Let g be (-70)/(-15) + (-4)/6. Solve -g*p = -0*p - 20 for p.
5
Let u be (-3)/(-2)*(-16)/(-3). Let t(d) = d**3 + d**2 - d + 1. Let s be t(1). Suppose -4*b + 22 = s*n, 0*n = b - 4*n + 17. Solve 0 = -b*j - j + u for j.
2
Suppose d - 4*d - 8 = -5*g, g = 4*d - 12. Solve -g*s - 4 + 20 = 0 for s.
4
Let l = -1 - 0. Let w be ((-2)/6)/(l/9). Let a(d) = -2*d**2 + 12*d + 2. Let n be a(6). Solve n*q = -q + w for q.
1
Suppose -8*f + 7*f = -35. Suppose 0 = 2*a + 10, 4*a + f = 4*s - s. Solve s*d + 10 = -5 for d.
-3
Let x be 1*(-2 + 6/1). Let v be x + 1/((-2)/4). Let q be (0 + 0/(4 + -5))/3. Solve q*s - s = v for s.
-2
Let k(h) = -h**3 + 12*h**2 + 2*h - 19. Let z be k(12). Solve u - z*u = -12 for u.
3
Let s(p) = -p**3 + 3*p**2 - 3*p + 2. Let i be s(2). Let u(n) = -9*n**2 + n + 1. Let d be u(-1). Let m = -5 - d. Solve i = x + m*x + 5 for x.
-1
Let t be (3 + -3)/((-2 - -3)*2). Suppose -j + 30 = 3*m + 3*j, m - 2*j = 0. Let u be 48/9 - 2/m. Solve -z = -t*z + u for z.
-5
Suppose -m + 17 = -4*w + 57, 15 = w + m. Let j = -8 + w. Solve -2 = -u - j for u.
-1
Suppose 2*o - 30 + 22 = 0. Solve 0 = -o*d - 8 - 8 for d.
-4
Suppose 0 = -4*i - 4, i + 2 = -4*t - i. Solve 0 = r - t*r - 3 for r.
3
Suppose -w = -6*w + 60. Suppose 4*i - 8 = w. Let f be ((-2)/4)/(i/(-