+ 1 + 1 for c.
-2
Let h = -8 - -11. Suppose h*b = -p + 6, -2*p + 7*b - 2*b = 10. Solve v + 2*v - 9 = p for v.
3
Suppose t = -3*j + 1, 7*t - 5 = j + 2*t. Solve -n = -j*n for n.
0
Suppose 2 = 6*m - 22. Solve 0 = m*a - a - 15 for a.
5
Let v(f) = f**2 + 6*f + 3. Let n be v(-6). Solve -r = n*r - 20 for r.
5
Suppose -i + 2*l = -4*i + 25, 0 = 4*i - 2*l - 10. Solve i*c - 2 - 3 = 0 for c.
1
Suppose 0 = 2*t - 10, -4*p = -t + 4*t - 27. Solve -p*o + 14 = 5 for o.
3
Let f(q) = 6*q. Let b be f(12). Suppose -y = 3, 4*k - 6*y + 2*y - b = 0. Suppose -n = 2*n - k. Solve -1 + n = -4*x for x.
-1
Let p be -3*(-6)/27*15. Let a(b) = 5*b - 17. Let k(v) = -v + 1. Let d(z) = -a(z) - 4*k(z). Let g be d(p). Solve -g*u = -4*u - 3 for u.
-3
Let v(p) be the second derivative of 25*p**4/12 - p**3/3 + p**2/2 - 2*p. Let z be v(1). Suppose 3*d - z = -d. Solve d*h + 2 = 4*h for h.
-1
Let b = -194 + 195. Solve 0 = -5*j - 24 - b for j.
-5
Suppose a = -4*w + 1, 6*a - 3*w - 4 = 2*a. Suppose 2*j = 10, -a = 4*s - 3*j + 14. Solve s = 2*z - z + 3 for z.
-3
Let a = 28 + -51. Let m = 2 - a. Solve -f = -6*f + m for f.
5
Let v(u) = u**3 - u**2 + 1 - u**2 + 0*u**2. Let j be v(1). Suppose 3*y + j*y = 36. Solve y = 7*s - 3*s for s.
3
Suppose -3*c + 4*p - 7 - 9 = 0, -c - 4*p = 0. Let i = c + 4. Solve -5*x - 4 - 6 = i for x.
-2
Let h = -40 - -59. Solve 1 = -5*c - h for c.
-4
Let b(u) = -2*u - 6. Let t be b(-4). Let l be 2/6 - (-32)/3. Let o = l - 11. Solve j - t = -o for j.
2
Let l be 1*14 - (-16)/(-4). Let h be 12/l*20/6. Solve g = -h*g - 10 for g.
-2
Suppose 2*g = -g - 21. Let z be (0/g)/(-1 + 3). Solve k - 4 + 6 = z for k.
-2
Let v(s) = s**2 - 4*s + 3. Let x be v(3). Let i be (x - 2) + 6 + 5. Solve -3*o = -0*o + i for o.
-3
Suppose -1 + 6 = 5*a. Let k = 1 + a. Solve 2*t - 10 = -k for t.
4
Let o = -8 - -2. Let i(t) = -t**2 - 6*t + 6. Let n be i(o). Suppose 0 = 4*l + 2*w - 4, -4 = -4*l + 5*l + 3*w. Solve l*a - 14 = -n for a.
4
Suppose 2*y - 4 = -a, 6 = -4*y - a + 18. Suppose 0 = s, 2*p - 4*s = -s + 4. Suppose 4*h + 84 = 5*m, p*h = 5*m + 10 - 92. Solve 4*t + y = m for t.
3
Suppose -v = v - 10. Suppose -4*r = -4 - 16. Solve -5*c + v = -r for c.
2
Suppose 5*y - 2*p + 69 = 0, -3*y - p - 16 - 21 = 0. Let v(w) = -3*w - 5. Let l be v(-8). Let q = l + y. Solve m = -m - q for m.
-3
Suppose 0 = -3*x + x. Suppose g - 3*q - 6 = -2*g, -5*g - 5*q + 40 = 0. Solve x = -p + g for p.
5
Let o be (-9 - -8)/(1*(-1)/2). Solve -o*w = 3*w for w.
0
Let z(b) = -b + 10. Let s be z(0). Solve 5*v = s + 5 for v.
3
Let z be 3/(-2)*(-12 + 10). Solve 16 = -l - z*l for l.
-4
Suppose -20 = 3*j + 4*v, v + 5 = 2*j - 3*j. Suppose 0 = -2*s + 3*s. Suppose -5*o + 4*u = -11, 5*o = 3*u + 12 - s. Solve o*y = -j*y - 15 for y.
-5
Let x(n) = -5*n + 6. Let t(b) = -14*b + 18. Let c(l) = 4*t(l) - 11*x(l). Let q be c(5). Let g be q - (1 - -21)/(-2). Solve -2*v - g = -2 for v.
-5
Suppose 0 = -5*r - 3*r + 80. Suppose -4*x + r - 36 = -3*q, -3*q + x + 11 = 0. Suppose 0*g = -g. Solve 3*m - m + q = g for m.
-1
Suppose -4*n = -5*f + 13, 2*n + 0*n - 11 = -f. Solve 7*z = 2*z - f for z.
-1
Suppose 2*r + 2*r + 4*m = 84, 0 = 3*r - 2*m - 78. Suppose -4*f = -8*f + r. Solve -f*s - 15 = -3*s for s.
-5
Suppose -4*u - j + 7 = 0, -4*j = -3*u - 3*j. Solve 3*v = 2*v + u for v.
1
Suppose 0*h - 4*h + 4*s = 112, -4*s - 12 = 0. Let m be (-2)/(-4) - h/2. Solve -x = 3*x + m for x.
-4
Let v(g) = g + 8. Let z be v(-6). Suppose -9 = -z*y - 3*c, 0 = y - 2*c + 1 + 5. Solve y = 3*f - f for f.
0
Let q = 12 + 0. Solve 5*z = -q - 13 for z.
-5
Let b be (-3)/4 + (-55)/(-20). Solve b = -5*n - 18 for n.
-4
Let m(a) = a**2 - 8*a - 4. Let t be m(9). Solve -t*z + 5 = -10*z for z.
-1
Let x be 7 - (8*-1)/(-2). Solve 0 = -a + x*a + 4 for a.
-2
Let c(i) = i**3 - 2*i**2 - i - 4. Let d be c(3). Suppose -d*u = 3*u + 5, 0 = -4*p - 4*u - 20. Let z = 6 + p. Solve z*y = -y for y.
0
Let r be 1/((-5 + 1)/(-48)). Suppose -6 + r = 2*g. Solve 9 = -g*f + 3 for f.
-2
Suppose -4 = -4*f + f + x, 3*x = 4*f - 2. Suppose -f = -2*d + 6. Let p = -41 + 47. Solve 0 = -d*n - p + 22 for n.
4
Let u be ((-30)/42)/(1/(-7)). Solve u*b = 10 - 0 for b.
2
Let p be (-17)/(-1)*3 - 1. Let s be (p/(-8))/((-2)/8). Solve s = -5*u - 0*u for u.
-5
Let f(a) = a**2 + 7*a + 7. Suppose 0 = 6*n - 0*n + 54. Let j be f(n). Solve -5*p + 5 = j for p.
-4
Let l(r) = 3*r + 19. Let i be l(-6). Solve -5 = -3*f + i for f.
2
Let m be (1/(-2)*-4)/2. Solve -m = 3*c - 16 for c.
5
Let x = 17 - -2. Let c = -9 + x. Suppose -2 = -2*g + c. Solve 0 = 2*d - g*d + 16 for d.
4
Let z(b) = b**3 + 2*b**2 - 14*b**2 - 2 + 6*b + 6*b. Let j be z(11). Solve -5*v - j = 1 for v.
-2
Suppose 3*w = 2*o + 4, -5*w + 14 = -0*o + 4*o. Suppose 19*s = 20*s. Let y be (s/2)/(0 + o). Solve y*t + 2 = 2*t for t.
1
Let d be (-1)/4 + 1/4. Let b be ((-3)/4)/(5/(-20)). Let n(p) = p**2 - 3*p - 8. Let l be n(7). Solve d = -b*u - u - l for u.
-5
Suppose 2*a - 7*a + 10 = 5*t, -5*a - 38 = -3*t. Suppose 3*b = 5*k - 2*b, k - 3*b + 8 = 0. Let m = t - k. Solve m + 8 = 5*s for s.
2
Suppose -4*k - 2 - 2 = 0. Let q(y) = -y**3 - 2*y**2 - y. Let f be q(k). Solve -x + f = 2 for x.
-2
Let x = -29 - -40. Suppose 0 = 3*q + 1 + x, -5*q - 10 = 5*z. Solve 2*m + 0 = -z for m.
-1
Suppose 3*k + 3*b + 0 + 3 = 0, 0 = -2*k - 5*b - 5. Suppose k = 6*p - 2*p. Solve 0*i - i + 3 = p for i.
3
Suppose 5*g + 37 = 3*h, 5*g = -5 - 5. Let q be (6*6/h)/2. Solve 0 = -r + q + 3 for r.
5
Suppose 5 = 4*g - 15. Let q be g - (-1)/((-2)/(-2)). Solve q*j = j for j.
0
Suppose -21 = -4*n - p, -4 = -p + 1. Suppose -l + r = -2*l - 13, -4*l + n*r - 92 = 0. Let g be (l/21)/(1/(-7)). Solve g*a - 3*a = 0 for a.
0
Let i be 4/(-2*(1 - 2)). Let s = 5 - i. Suppose s*y = 4*y. Solve 5 + y = 5*d for d.
1
Suppose 0 = -t + i - 1, 4*i - 4 = -4*t - t. Solve t = -6*g + 4*g + 2 for g.
1
Suppose 5*z = -4*h + 5, z = -4*h - 0*h + 1. Solve h = -u - 0*u for u.
0
Let m = 26 - 15. Suppose 12*a - 6 = m*a. Solve a + 4 = 2*i for i.
5
Let h be 12/(-16)*(-160)/(-2). Let a be 4/5*h/(-8). Let y = 4 - 2. Solve 0*g = -y*g - a for g.
-3
Let i = -54 - -58. Solve a - i = 3*a for a.
-2
Suppose -4 = 2*l + 2*l, -5*u + 65 = -5*l. Let y = -9 + u. Solve 2*s - 5 = -y*s for s.
1
Let o(q) = -q**2 + 3*q + 7. Let t be o(6). Let k = t + 15. Solve 5*d - k = -14 for d.
-2
Let j(w) = -w**3 + 4*w**2 - w - 4. Let n be j(2). Let z = -2 + n. Solve -3*m - 3 = -z for m.
-1
Suppose 2*v = -0*v + 8. Let n(k) = k**2 - 7*k + 6. Let m be n(6). Solve m = -w - w - v for w.
-2
Let c be (0/5 - 5)*-1. Let b = 4 + -1. Suppose 0 = 2*j + 10, -b*f - j = 2*j - 3. Solve 5*x + c = f*x for x.
5
Suppose 5*x = x + 24. Let v be 9/x + 1/2. Solve 2*i + v + 0 = 0 for i.
-1
Let s(d) = -d - 2. Let p be s(-8). Solve -4*k - 14 = p for k.
-5
Let b = 22 - 18. Solve -f + 2 = b for f.
-2
Let s = 2 + -1. Suppose s = -4*w + 9. Solve z + 3 = -w*z for z.
-1
Suppose 0 = 5*f - 2*f - 18. Suppose 7*b = 11*b. Solve f*h - 2*h - 8 = b for h.
2
Let c = 5 - 0. Solve -c*s = -5 - 0 for s.
1
Suppose -16 = 4*b, -5*n = -n - 4*b - 24. Suppose -4*y = 4*r + 4, -n*r - r + 13 = -y. Let a = 6 + y. Solve 5*w + 9 = a*w for w.
-3
Let b = -133 + 139. Solve 8 = k + b for k.
2
Suppose -b = -3*b. Let d(v) = v**2 + v + 5. Let w be (-1 + 3/3)*-1. Let g be d(w). Solve -g*u = -b*u for u.
0
Let q(s) = -s**2 - 6*s + 8. Let u be q(-7). Let v be u + -1 + 0 + 3. Let p be 6*((-28)/(-8) + -3). Solve 0 = -p*g - v - 6 for g.
-3
Let o(q) be the second derivative of -q**4/12 + 5*q**3/6 + 3*q**2/2 + 3*q. Let w be o(5). Solve w*y - y = 6 for y.
3
Let p(j) = -2*j + 6. Let b be p(3). Solve -2*u + 0 - 4 = b for u.
-2
Let z = 10 + -4. Suppose 0 = 2*p - z. Suppose -p*y + 2*y = 0, -4 = -h - 3*y. Solve -2*f = 2*f + h for f.
-1
Suppose 3*f = -5 + 2. Let c be ((4 - f)/(-1))/(-1). Let l(v) = -v**3 + 6*v**2 - 6*v + 5. Let u be l(c). Solve u = -g + 4*g for g.
0
Suppose -2*d + 2*h + 7 - 1 = 0, 2*d + 5*h + 15 = 0. Let c(b) = -b**3 + b**2 + b + 15. Let o be c(d). Solve -m - o = -4*m for m.
5
Let v = 149 + -147. Solve v*p + 2*p = 0 for p.
0
Let o(n) be the first derivative of 7*n**4/4 - 2*n**3/3 + n**2 - n + 2. Let i = 24 + -23. Let p be o(i). Solve -5*b = -p + 1 for b.
1
Let u be (-8)/(-12)*6*1. Suppose 4*w - 3*w = u. Solve 0*q + 4 = -w*q for q.
-1
Suppose -2*u + 7 = 3*s, 2*s + 2 + 0 = 2*u. Let c be -1*0/(-2 + s). Solve 4 + c = 4*p for p.
1
Let a(z) = -z**3 + 7*z**2 + 2*z - 8. Le