 = 12*a**2 + 3*a - 1. Let z(h) = -2*p(h) + 7*q(h). Let j be z(2). Solve c = -x*c + j for c.
5
Let a(h) = -h**3 - 11*h**2 - h - 11. Let j be a(-11). Let m(o) = o**2 + 2*o + 1. Let i be m(-1). Suppose -g + 3 + 2 = i. Solve j = 3*d + 2*d - g for d.
1
Let h = -7 - -7. Suppose -4*l - 22 = -2*u - h*u, -17 = 3*l - u. Let k = l + 6. Solve k = r + 3*r - 16 for r.
4
Let d(j) = 7*j - 3. Let l be d(4). Suppose -4*m - 2*k - 3*k = -2, -k = 3*m - 7. Solve l = -2*a - m*a for a.
-5
Let o be 2 + -9 - (-4)/4. Let w = o + 7. Let m = 3 + w. Solve 0 - 16 = m*u for u.
-4
Suppose 3 = -2*o - j, 22 + 0 = -3*o - 5*j. Let i be 4/o + (-4)/4. Suppose -8 = -y - 2*b, 0 = 2*y + 6*b - 5*b - 7. Solve -i - y = n for n.
-5
Let v be 1/(-2) + (-100)/(-8). Let a be 12/9 - (-8)/v. Suppose 5 = 7*x - a*x. Solve 3*s - 4 + x = 0 for s.
1
Suppose -2*y = -y + 10. Let v(q) = -q**2 - 9*q + 14. Let l be v(y). Let o be 0 - (-10)/(4/2). Solve l*g + o = -g for g.
-1
Let s = -152 - -157. Solve -s*w - 2 = -22 for w.
4
Let d = -17 - -19. Solve 0 = 2*m + d*m - 8 for m.
2
Suppose 5*w = -4*v + 9, -w = v - 3 + 1. Suppose -w - 4 = 5*i. Let p = 3 + i. Solve -3 = -c - p for c.
1
Let m(w) = -4*w**2 - 4 - 2*w + 0*w**2 + 6 - w**3. Let f be m(-2). Let a be 16/6*(-3)/f. Solve -3 = -g - a for g.
-1
Suppose -5*s + 10 = -0*s - 3*o, 0 = -4*s + o + 8. Let b be (-1)/(1 - 8/9). Let w = 11 + b. Solve -s*g + 12 = w*g for g.
3
Let s = 8 + -5. Suppose c + 5*h = 1, 3*c + s*h = -1 + 4. Let r be 2/(3 - c)*2. Solve -2*o = r*o for o.
0
Suppose -35 - 30 = -5*n. Let x = n + 4. Solve -5*j - 3 = x for j.
-4
Suppose 6*t - 3*t - 7 = -y, 0 = -2*t - 4. Solve -5*a = -3 + y for a.
-2
Suppose 3*m = -b + 4, -4*b = -b + 2*m - 5. Solve 0 = 3*h - 4*h - b for h.
-1
Let m = -5 - -8. Suppose m*w + 5*z - 13 = -1, 4*w - 2*z = 16. Let v be ((-2)/(-4))/(w/8). Solve 3*b + v = 2*b for b.
-1
Suppose -3*i - 4*k = -7 - 9, 0 = -2*i + k + 7. Solve 0*r = -i*r - 20 for r.
-5
Let t be -1 + -1 + 19 + 1. Suppose 0 = -4*i + t + 6. Solve -i = -2*p + 4 for p.
5
Let x(s) be the first derivative of -s**4/4 + 4*s**3/3 - s**2/2 - 2*s - 5. Let j be x(2). Solve -j*l - 3 = -11 for l.
2
Suppose -3*s + 114 = 33. Let w be (-2 - -1) + s + -1. Suppose -4*v + 49 = 13. Solve w = 4*x + v for x.
4
Let r(o) = -4*o + 13. Let m be r(0). Solve -4*p = -m - 7 for p.
5
Let t = 34 - -14. Suppose -2*x = 2*x - t. Solve -4*f + f = x for f.
-4
Let k(s) = -s**2 + 6*s - 6. Let d = 10 - 6. Let z be k(d). Solve 2 = -z*t - 4 for t.
-3
Suppose 2*b - 6 = 6. Let s = b - 2. Suppose -s*j = -j. Solve j = 4*q - 20 for q.
5
Let u(a) = 10*a**2 - 1. Let w be u(1). Let g(y) = y**3 - 10*y**2 + 9*y + 5. Let i be g(w). Solve 2 = m + i for m.
-3
Let i(q) = q**3 + 8*q**2 + 7*q + 7. Let n be i(-7). Suppose -3*g - 25 + 4 = -5*f, 5*f - n = -4*g. Suppose -f = -3*p + 3. Solve -2*a - p + 6 = 0 for a.
2
Suppose 14 = 5*k + 4. Suppose 3 + k = 5*c. Let r = 25 - 12. Solve -c = 4*d - r for d.
3
Let l be 12/14*(-28)/(-8). Suppose 0 = -3*h + 6. Solve -h*u = u + l for u.
-1
Suppose 0 = -6*z - 0*z. Solve -3*j + z = 3 for j.
-1
Let y(j) = -j**2 + 5*j + 4. Let h be y(5). Let n(o) be the second derivative of o**3/3 - 5*o**2 - o. Let m be n(7). Solve m + h = 4*u for u.
2
Suppose 2*d = -2*d + 104. Let y = 31 - d. Solve -4*x = -y*x - 3 for x.
-3
Let u be ((-2)/(-3))/(2/6). Suppose -u*r - 3*r + 10 = 0. Let j be ((-15)/(-9))/((-40)/(-48)). Solve j = 2*p - r for p.
2
Let f(k) be the second derivative of -k**4/12 - k**3 - k. Let c be f(-5). Let i(m) = -m**3 - 10*m**2 + 8*m - 19. Let z be i(-11). Solve -z = c*y - 39 for y.
5
Let a(n) be the second derivative of -n**5/20 - 2*n**4/3 + n**3/6 + 11*n**2/2 - 2*n. Let q be a(-8). Solve 3*l - 3 = q for l.
2
Suppose -1 = 2*f + 1. Let y = -1 + f. Let o = y + 4. Solve -o*x - 2 = -0 for x.
-1
Let g = -10 + 16. Suppose -g*l + 12 = -2*l. Solve 14 = l*r + 5 for r.
3
Suppose 5*z = -5*b + 50, 2*b = -b - z + 24. Let k = b - 7. Let f be k/(2*(3 - 2)). Solve f*c = -c for c.
0
Let d be 0/(-2 + -1) + -1. Let h = d - -3. Solve -3*z + 14 = h for z.
4
Let c(d) = -d**3 - d**2 + 2*d + 2. Let n be c(-2). Let y be 24/16*4/n. Solve 6*v - 12 = y*v for v.
4
Let t be (12/4)/(2 - 1). Suppose q + 0 + 24 = t*r, 3*q + 23 = 2*r. Let o = 10 - r. Solve o*i = -0*i for i.
0
Let f(h) = 2*h + 1 + h**2 - 6 + 0. Let q be f(-4). Suppose 5*t = 15, -i + 4*t - 7 = q. Solve -i*v = -0*v for v.
0
Suppose 0 = -5*i + 4 + 56. Let h = 17 - i. Solve -h*u - 2 = -12 for u.
2
Let w be 5/(-4)*(-4 + 0). Suppose w*o = 18 + 2. Solve o*m = -0 - 8 for m.
-2
Let m = 65 + -58. Solve -3*v = -1 + m for v.
-2
Suppose 0 = 5*h - k + 28, -4*h - 32 = k + 3*k. Let v be h*3/(6 - 3). Let z be (-45)/6*4/v. Solve -2 = z*f - 7 for f.
1
Let r(h) be the first derivative of h**3/3 - h**2 + 3. Let c be r(3). Suppose -c = 3*f - 12. Solve 2*b + b = f for b.
1
Suppose -3*h = 3, -6*j + j - 2*h = -3. Let y be j*1/(3/(-189)). Let b be y/6*(-2)/3. Solve 2 + b = -3*s for s.
-3
Suppose 13*m - 10*m - 21 = 0. Solve 3*i - 1 = -m for i.
-2
Suppose m = 1 + 7. Let p be m*(0 + 1/4). Solve b = p*b - 1 for b.
1
Let w = 7 + -4. Let c be 2 - (-4 + -1 + w). Solve 0 + c = 2*y for y.
2
Let w(k) = 12*k**2 + 2*k. Let f be w(-1). Solve -f = t + t for t.
-5
Suppose 21 + 49 = -5*d. Let x be 2*(d/(-4) + -1). Solve -16 = -k + x*k for k.
-4
Let f(x) = -2*x**2 + 2. Let s be f(-2). Let m be 26/3 + 4/s. Let t be (0/(-1) - -2)*2. Solve -t*q = -m*q + 20 for q.
5
Let g(a) = 4*a + a - 4*a + 14 - 10. Let n be g(8). Let v = -1 + 1. Solve 3*x + n = -v*x for x.
-4
Suppose 0 = -2*t - 5*t. Solve t = -2*m - 3 - 3 for m.
-3
Suppose -4*u + l + 12 = 0, -4*u - 2 - 6 = 4*l. Suppose -18 = -v + 2*b, b = u*v - 26 + 5. Let h = -4 + v. Solve -h*k = -2*k + 8 for k.
-4
Let c = -12 - -7. Let h(r) = r**3 + 4*r**2 - 5*r + 3. Let s be h(c). Solve 7*y - s*y - 20 = 0 for y.
5
Let f(d) = d**3 - 3*d**2 - d - 8. Let z be f(4). Solve -z = 3*h - 1 for h.
-1
Let f(h) = -h - 10. Let m be f(5). Let v = m + 18. Solve 3*j - 4*j = -v for j.
3
Let z = 10 - 3. Solve 2*a - z*a = -25 for a.
5
Let f be ((-16)/(-5))/((-2)/10). Let b = f - -16. Solve b*v + 4*v = 4 for v.
1
Let m(z) = -4 - 2 + 3 + 3*z + 2. Let n(b) = -b + 7. Let t be n(5). Let x be m(t). Solve -x*d - 25 = -0*d for d.
-5
Suppose -2*w + 5 = -w. Solve -2*y - 3*y + w = 0 for y.
1
Let p be 2/3*54/4. Let l = -4 + p. Suppose l*h = h - 2*r, 0 = -r - 4. Solve 0 = -0*b - 2*b + h for b.
1
Let x = 8 + -4. Suppose 5*o + 3 = -12. Let p be (o + -7)*(0 + -1). Solve -x*h = -p - 10 for h.
5
Let g be (4 + -3)/((-1)/(-3)). Solve 2 = l - g*l for l.
-1
Suppose r = 3*r - 6. Suppose l = -4*b - 0 + 24, 2*b - r*l - 12 = 0. Suppose 2*n + 3 + 3 = -2*z, -b = 2*n. Solve z = -3*q - 3 for q.
-1
Let t(l) be the second derivative of l**5/120 + 5*l**4/24 - l**3/6 + l. Let c(g) be the second derivative of t(g). Let k be c(-5). Solve -3*q = -k + 6 for q.
-2
Let x = 4 - 0. Let v(o) = o**2 - 8*o + 4. Let f be v(8). Let n = f - x. Solve 3*r = -n + 6 for r.
2
Let p(z) = 2*z**3 - 2*z**2 + 2*z - 1. Let g be 1/(-2)*(3 - 5). Let i be p(g). Let d = i - 1. Solve -v + 4*v = d for v.
0
Let a(j) = -j + 1. Let d(l) = -4*l + 3. Let k be d(2). Let x be a(k). Suppose -12 = 3*u + 4*y, -3*u - u + 2*y + x = 0. Solve u = -i + 4 - 3 for i.
1
Suppose 6 - 8 = -m. Suppose 2*k = 4*k. Solve -m*d = -k - 4 for d.
2
Let v be 3 + -3 + 2 - 0. Suppose l + 3 = v*l. Suppose -5*k - u = -6, l*u + 1 + 5 = -3*k. Solve 0 = -g - k*g + 15 for g.
5
Let i(z) = z**2 - 2*z + 3. Let s be i(2). Solve s = -m - 1 for m.
-4
Let v(d) = -2*d + 20. Let o be v(10). Solve -n + o + 4 = 0 for n.
4
Suppose 3*r = 2*r - 1, 2*r + 8 = 3*d. Let y be ((0 - 2)*1)/(-2). Suppose -4*h + 18 = -10. Solve d*i + y = -h for i.
-4
Suppose 72*m - 75*m + 6 = 0. Solve -m + 0 = 2*t for t.
-1
Let u = 23 + -23. Solve u = -y - y + 6 for y.
3
Let d be 6682/(-18) + (-14)/(-63). Let o be (-1)/4 - d/28. Solve -o = -5*f + 12 for f.
5
Let n = 68 + -34. Solve 9 = 5*b + n for b.
-5
Let l = 20 + 20. Suppose -136 = -5*i + 2*j - j, l = 2*i - 4*j. Suppose -2 = -k, -k + 2 + i = 4*p. Solve p = 3*h + 1 for h.
2
Let p be (-2)/((-12)/26) + 2/(-6). Solve p*q + q = 5 for q.
1
Let q(r) = 3*r**2 + 0*r**3 + r**2 - r**3 + 0*r**3 + 5*r + 5. Let l be q(5). Let d be 1*(1 - 1) + 4. Solve j = l*j + d for j.
-1
Let v(c) = -c. Let d be v(-6). Suppose -13 = -o - 4*t, -4*o = 2*t - 15 - 9. Solve -o*x + d = -14 for x.
4
Let n be