12 = 4*y - 7. Suppose -2*c + 4 = -n, 7*c + 4*n = 2*c - 16. Solve c = -4*t + 3 + x for t.
1
Let o = -32 - -34. Solve o*p + 8 = -2*p for p.
-2
Let n(p) = p + 12. Let l be n(-12). Solve l = -4*w + 12 + 4 for w.
4
Let v be (-2)/(-5) + (-2)/5. Let n be (-108)/(-6) + 1 - 4. Solve v*c - 5*c = n for c.
-3
Suppose -6*l = -33 - 33. Solve -l + 6 = -d for d.
5
Let y be (6/3)/((-4)/(-6)). Suppose o + 40 = y*h + 6*o, 2*h + o = 22. Solve -h = 2*v + 3*v for v.
-2
Let r be 4/(-5*8/(-20)). Let g = -2 - -2. Solve g = -u - r + 4 for u.
2
Let m = 7 - 4. Let u = 9 + -5. Suppose u*c = -4*p - 12, -4*c - 23 + 8 = p. Solve -2*t + m - p = 0 for t.
1
Let a = -7 + 9. Suppose 4*q - 2*u = 4, q + u = 6*u - 8. Solve -q*y = a*y for y.
0
Let m be 1*((-2)/(-2) - -1). Suppose 0 = -m*y, 2*y - y = 3*s + 135. Let h be (-16)/20*s/2. Solve h + 7 = 5*c for c.
5
Suppose 2 + 0 = -2*y. Let g be y - (-10 - (2 + -1)). Solve -4*f = -2*f + g for f.
-5
Let k = -13 + 15. Suppose 3*n = k*n. Solve y + n = -3 for y.
-3
Suppose 0 = 5*z - 2*n - 18, 4*z - 28 = 4*n - 4. Solve 0 = -4*x + z*x - 4 for x.
-2
Let x be (4/6)/((-4)/(-6)). Suppose 0 = -q - q + 6. Suppose q = 2*f - h - 0, 1 = 3*f - 5*h. Solve -r + x - f = 0 for r.
-1
Let u(q) = -11*q. Let h be u(-2). Solve -h - 3 = -5*j for j.
5
Let a be (-470)/(-60) - 1/(-6). Let y = -7 + 2. Let z = y + a. Solve -2*q + 7 = -z for q.
5
Let q(w) = w + 12. Let c be q(-9). Suppose 0 = c*j + j. Solve h - 5 = -j*h for h.
5
Let w be (342/15)/(2/5). Suppose 18 = 3*s - w. Solve s = 3*m - 8*m for m.
-5
Let n be ((-264)/(-77))/((-2)/(-14)). Let c be 4/(-6) + n/9. Solve m - c = -m for m.
1
Suppose -m + i - 11 = -2*m, 3 = 3*i. Let b be 52/14 - 2/(-7). Suppose j = -0*j + u + b, -2 = 4*j + 5*u. Solve -j*q + m = -4*q for q.
-5
Let k(j) = j**3 - 5*j**2 - j + 1. Let c be k(5). Let d be -2 + 1 - (-6)/(-2). Let v be d/(-2) + c + 2. Solve -4*a + v = -4 for a.
1
Suppose -3*a + 4 = -n - 37, -76 = -4*a - 4*n. Suppose -8*j = -3*j - a. Suppose j*t + 3 = 15. Solve -t*c = -c for c.
0
Suppose d - 4 = 3*s + 3, 5*s + 4*d + 6 = 0. Let g = 17 + s. Suppose 0 = -0*x - 5*x + g. Solve 3*j = -x - 3 for j.
-2
Let n be (2/3 + (-18)/27)/(-2). Let w = 5 - 1. Let p(y) = y**2 + 7*y + 8. Let b be p(-6). Solve n = -w*c + b*c for c.
0
Let z = 5 - 9. Let c = -2 - z. Solve 8 = -c*t + 4 for t.
-2
Let b(w) = w**2 - 6*w + 1. Let j be b(6). Let z be (2/6)/(j/(-6)). Let p = 2 + z. Solve p*v + v + 4 = 0 for v.
-4
Let r be 1/1 + 2 + 0. Let l = -3 + r. Solve l = c + 4 - 1 for c.
-3
Let u be 4 - (4 + -4 - -4). Let a be (-2)/4 - (-1)/2. Suppose a = -2*k - u*k. Solve 4*j + k*j = 0 for j.
0
Suppose -s - 3*a = -2*a - 3, -2*s + 4*a = 6. Suppose r - s = 4. Solve -r*v + 18 = -2 for v.
4
Let x(h) be the third derivative of -h**6/120 + h**5/12 - h**4/6 + h**3/3 - 2*h**2. Let i be x(4). Solve -i*l = -7 - 1 for l.
4
Let u = -93 + 113. Solve m = -4*m - u for m.
-4
Suppose w - 2*l + 6 = 0, l + 3*l - 8 = 4*w. Solve -m = -w - 2 for m.
4
Suppose 0 = 2*l - 1 - 11. Solve 5*h = -31 + l for h.
-5
Let z be 4/(-18) + (-20)/(-9). Solve 5*s + 3 = -z for s.
-1
Let o(y) = -2*y - 4. Let v be o(-3). Suppose v*p = 5*p. Solve p = 4*l - 5*l for l.
0
Suppose -4 = -w + c + 6, 0 = -2*w - c + 35. Let y be (4 + -1)/(3/w). Suppose 0 = -5*x - b - 4*b - 5, -x + y = -3*b. Solve -4 = x*t + 8 for t.
-4
Let k(s) = -s**2 + 6*s - 2. Let d be k(6). Let j = d - -2. Suppose -2*c - 3*c = 5*q - 20, j = -2*c + q + 5. Solve 14 = c*y + 5 for y.
3
Suppose 5*n - 6 = 2*n. Let s = 1 + n. Solve -d = -s + 1 for d.
2
Suppose -3*r = -9, -r = -0*k + 3*k - 24. Let g = k - 4. Let a be (1*-3)/(g/(-6)). Solve -q = -a*q - 25 for q.
-5
Let y(t) = -5*t - 43. Let n be y(-9). Solve n = -0*c + 2*c for c.
1
Let w = -49 + 51. Solve w*j + 1 + 3 = 0 for j.
-2
Let n be (-1)/((-2)/(0 + 4)). Let s be n/(8/(-6) - -2). Suppose 30 = c - 5*q, 0*q - 4*q - 36 = -2*c. Solve -1 + c = s*g for g.
3
Let i be 2/(-6)*12/(-4). Let r be 2/((-1)/(0 - i)). Solve -r*o + 2 = -4*o for o.
-1
Suppose -3*s = -2*a - 33, -2*s + 2*a - 5*a + 22 = 0. Suppose -2*c = -s + 3. Solve -c*o = -o for o.
0
Suppose -2*w - 2*w = 0. Let u(n) = 10*n**2 - 34*n - 5. Let o(g) = -3*g**2 + 11*g + 2. Let x(z) = 7*o(z) + 2*u(z). Let i be x(9). Solve w = -y - 3 + i for y.
1
Let a = -5 - -11. Suppose a*z = z. Solve 2*k = -z - 2 for k.
-1
Let r be (1 - 0) + (-7)/(-1). Suppose -26 - 4 = -5*p + 4*g, -2*g = p + r. Solve -b - 1 + p = 0 for b.
1
Let w be (30/(-9))/(2/(-6)). Let y = 3 - 0. Suppose -3 = -3*q + y. Solve 0 = q*d + 3*d + w for d.
-2
Let s(f) be the second derivative of f + 2*f**2 + 1/6*f**3 + 0. Let d be s(0). Solve 5*p - d - 1 = 0 for p.
1
Let t(x) be the third derivative of -x**4/24 + x**3/2 - 3*x**2. Let v be t(3). Solve v = 4*y - 0 + 20 for y.
-5
Let j be -3*(-3)/(-9)*-3. Solve j*i - i - 10 = 0 for i.
5
Let u(v) = -v + 1. Let h be u(-1). Suppose -2*s + 10 = h. Let i be 3 - (1 + -1) - 0. Solve 0 = -s*m + i*m - 1 for m.
-1
Let w = -8 - -13. Suppose -29 = -4*j + g, -j + 0*g + 2*g = -16. Suppose 15 = -3*k + j, -5*k = w*s. Solve -20 = -s*h - h for h.
5
Suppose -1 + 5 = 2*y. Suppose m + 3*j - 15 = -y, 4*m = -2*j + 22. Solve q - m = -q for q.
2
Suppose 6 = 4*o - 3*z - 4, z - 2 = 0. Suppose -10 = -5*r + r - 2*t, 7 = r - o*t. Solve -d = -r*d + 6 for d.
3
Suppose g - 19 = 3*c, 0*g = -5*g - c + 79. Suppose 6 = -4*n - 14. Let f(l) = -l**2 - 6*l - 5. Let a be f(n). Solve -4*u = -a + g for u.
-4
Suppose -5*v + 3*s = -22, -v + 2*s + 18 = -2*s. Suppose -v*o = -0 - 10. Solve -k = -o*k for k.
0
Let u(m) = -m**2 - 11*m - 7. Let n be u(-10). Solve -s + n = -1 for s.
4
Suppose -24 = 2*t + t. Let b be t*(2/4 - 0). Let i(l) = l**3 + 5*l**2 + 4*l + 2. Let y be i(b). Solve 5*f = 6*f - y for f.
2
Let v = 1 + 2. Suppose v*i - 7*i + 2*n + 4 = 0, 2*i + 4*n - 22 = 0. Solve 4*d = -i - 1 for d.
-1
Suppose 6*y + 2*b + 24 = 2*y, 4*b = -8. Let x = -1 - y. Solve x*p - 22 = -6 for p.
4
Suppose 0 = v - 3*d - 20, 0*v - 4*v + 30 = -2*d. Solve v*f + 3 = 23 for f.
4
Let w = 37 + -19. Suppose -w = -3*k + 6. Suppose 0 = -3*m - m + k. Solve 0*a = -m*a for a.
0
Suppose 0 = c - 4*v - 21, -c + 8 = 4*v + 19. Suppose -12 = -2*y - r, c*y + 5*r - 28 = 3*y. Solve p - 3 = y*p for p.
-1
Let p = 0 + 4. Let s be 2/6 - 22/3. Let i(r) = r**2 + 5*r - 10. Let k be i(s). Solve -k = p*c + 8 for c.
-3
Suppose 2*h + 3*y = 7 + 26, -5 = -y. Solve 5*t = -h - 16 for t.
-5
Let t = 1 - 3. Let j be t - ((-36)/2 - -1). Solve 2*c = -c - j for c.
-5
Suppose -268 = -4*m - 4*l, 0 = 3*m - 5*l - 38 - 171. Suppose f - 16 = -2*s, 4*f + 4*s + 4 = m. Let u be 3/4 - 12/f. Solve u = -6*w + 3*w - 3 for w.
-1
Suppose -9 = z + 7*m - 4*m, 2*m + 6 = -2*z. Solve g + z*g = -3 for g.
-3
Suppose -4*b - 3*i + 37 = b, 0 = 3*b + 4*i - 31. Solve b*q - 6 = 2*q for q.
2
Suppose 5*c = 2*b - 22, c - 2 + 4 = 0. Suppose 2 - 22 = -2*h + 4*l, -b = 2*l. Solve -4 = 4*f + h for f.
-2
Let y be (3 + -2)/1 + 5. Solve 2*w + 0*w + y = 0 for w.
-3
Let o(y) be the third derivative of y**5/12 + y**4/12 + 2*y**2. Suppose 3*m - 1 + 5 = -2*t, 0 = -4*m + 3*t - 11. Let q be o(m). Solve 7*p - q = 3*p for p.
4
Let p = 10 - 5. Suppose -3*d - p*q = 0, 0 = d + 3*q + 2*q. Solve 4*m + d*m = -4 for m.
-1
Let f = -67 - -115. Suppose -l + f = 2*l. Solve 0 = -2*j - 2*j + l for j.
4
Suppose 2*m + 2 = -z, 5*m + 26 = z - 7. Suppose z*g = 9*g - 1. Solve w - g = 2 for w.
3
Let c = -8 - -14. Solve -x + c = 2*x for x.
2
Suppose 4*s - 12 - 4 = 0. Suppose 0 = -s*k - k. Solve -4*i - 13 + 1 = k for i.
-3
Let t(d) = -d - 16. Let c be t(0). Let r = -16 - c. Solve -3*a + r*a + 3 = 0 for a.
1
Suppose 40 = -4*s - y, y - 28 = 4*s - y. Let o be (12/s - -1)*-6. Solve -1 - o = 3*v for v.
-1
Let t be 14/(-6) + (-2)/(-6). Let p be 20*(-2 - 5/t). Solve 0 = -2*d + p - 2 for d.
4
Suppose -n - 19 = 2*a, 3*a = -3*n - 2*a - 53. Let q = -5 - n. Let g be 2 + -1 + q/3. Solve -5*l + g = -2 for l.
1
Let n be ((-1)/(-1))/(6/12). Solve -8 = -n*s + 4*s for s.
-4
Let o = -18 + 6. Let j be (9/(-6))/(o/88). Solve j + 14 = 5*z for z.
5
Let r(h) = -h**2 + 21*h - 49. Let b be r(18). Solve -6*v = -b*v + 5 for v.
-5
Let m(i) = -17*i + 1. Let n be m(1). Let z be (n/12)/((-2)/12). Let v be z/6*(-15)/(-10). Solve -w + 3*w = v for w.
1
Let t = 25 - 4. Let m be (-3)/2*10/(-3). Solve 0 = m*p + 4 + t for p.
-5
Let w = -6 + 12. Suppose 2*x - w - 2 = 0. Suppose i - x + 0 = 0. Solve -6 = k - i*k for k.
2
Suppos