= 2 + 2. Suppose 0 = -3*j - c*q - 16, 0 = -3*j + 3*q - 1 + 13. Solve j = p + 2*p for p.
0
Let b be -3 - 3/6*-6. Suppose b = -2*p - 2*p + 60. Solve 4*g = p + 1 for g.
4
Let a(u) = 4*u**2 - 2*u - 1. Let w be a(-1). Solve -w*n = -n for n.
0
Suppose -2*m + 18 = 4*z, 3*z + 5 = 3*m - 22. Let k = m + -7. Solve k*b - 10 = 4*b for b.
-5
Suppose -4*p = 2*z - 2, 5*z = -0*p + 3*p - 34. Solve -4 = -p*k + 2 for k.
2
Let k be 6/15 - (-4)/(-10). Solve k*v - 15 = -3*v for v.
5
Let o(i) be the second derivative of 0 + 1/6*i**3 - 4*i**2 - i. Let b be o(8). Solve 3*v + v = b for v.
0
Suppose 4*u - 14 = -5*n - 6, 5*n - 6 = -3*u. Suppose 0 + 24 = u*b. Solve t + b = -2*t for t.
-4
Let s(t) = 2*t - 3. Let n be s(3). Solve 4*m = m + n for m.
1
Let c(q) = -4*q**2 + 6*q + 1. Let z(a) = 5*a**2 - 6*a - 1. Let i(w) = 6*c(w) + 5*z(w). Suppose -x + 5 - 12 = 0. Let s be i(x). Solve s = 3*u - 1 for u.
3
Let v be (-2)/(2/(-7) + 0). Suppose 3*p - v*p + 20 = 0. Solve 2*t = p*t for t.
0
Suppose 2*p - 8 = -j + 5*p, -j = p. Solve -j*s + 3 = -s for s.
3
Let y = 1 - 1. Let w = y + 4. Solve -w + 0 = 2*f for f.
-2
Let c(x) = 0 - 2*x + 1 + 1. Let g be c(0). Solve g*w + 0 = -10 for w.
-5
Suppose 5*p = 5*d + 45, 2*d - 2 = -5*p + 8. Solve -2*w = 10 - p for w.
-3
Let l = -21 - -31. Solve -2*m = -0*m + l for m.
-5
Suppose -5*w + 3*u = 4, -u + 8 = -4*w + 3*u. Let b = -1 + w. Let s = -2 - -4. Solve -s*a - a - 3 = b for a.
-1
Let d be 1/(-6) - 13/(-6). Let y = d - -1. Solve 0*f = -y*f for f.
0
Let n(m) = 2*m**2 + 4*m + 3. Let v be n(-2). Suppose -2*d + d + 10 = -2*t, v*d + 2 = -2*t. Solve -d*i - i + 15 = 0 for i.
5
Let p be (-52)/(-24) + 3/(-18). Suppose -3*m = -1 - p. Solve 0*y - y = m for y.
-1
Let c(d) = -d**3 - 5*d**2 + 4. Let t be c(-5). Solve -t*s = 5 - 25 for s.
5
Let v be (-6)/21 + 60/14. Suppose -3*m + 2*m + 5*y = -28, y = -5. Let h = m + -2. Solve -v*d + h = -3 for d.
1
Suppose -m - 3*z + 4 = 4*m, 2*m + 2*z = 0. Solve -3 - 1 = m*a for a.
-2
Let r(d) = -2*d**2 + 8 - 1 - 7*d - d + 3*d**2. Let b be r(7). Solve b = 4*o + 13 + 7 for o.
-5
Let h(n) = -n**2 + 6*n + 2. Let y(i) = -i**2 + 7*i - 6. Let k be y(4). Let d be h(k). Let o(r) = -r**3 - 4*r**2 - 3*r. Let p be o(-3). Solve p*s = -d*s for s.
0
Suppose -2 = r, -2*f + 8 = 3*r - 4*r. Suppose -3*a + 1 + 5 = 0. Solve a*x - 7 - f = 0 for x.
5
Let y = -13 + 23. Solve -5*m = -3*m + y for m.
-5
Let z(u) = u**3 + 10*u**2 + 6*u - 22. Let y be z(-9). Solve 3 = y*x + 28 for x.
-5
Let b be -5 + 12 + (-4 - -1). Solve -h - 10 = b*h for h.
-2
Let h be ((-12)/(-3) + -4)/(1 + 0). Solve 0 = -4*a - h + 16 for a.
4
Let i(s) = -s + 8. Let h be i(4). Suppose -10*c = 2 - 12. Solve -d - h = -c for d.
-3
Suppose z + 11 = 2*z - u, 4*z + u - 64 = 0. Suppose -z = -f + 4*q, -5*f - 2*q + 0 + 9 = 0. Solve -f*v + v = 0 for v.
0
Let m(j) = j**2 - j. Let n be m(0). Suppose -4*z + 0 = -8. Suppose y + z = 2*y. Solve n = -4*f + 6 + y for f.
2
Let w(t) = 5 - 4*t**2 + 3*t**2 + 0 + 2 + 6*t. Let z be w(7). Suppose 4*i = -z*i. Solve i = 5*n + 5 for n.
-1
Suppose 0 = 2*z + 5 + 33. Let l = z + 27. Solve -k + 5*k = l for k.
2
Let u = 21 + -24. Let z be (5 - 3)*u/(-6). Solve -2*c = -z + 7 for c.
-3
Let j(b) = b + 1. Let p be j(-5). Let l = p - -9. Suppose l = -5*g, -4*g + 2 = 3*y - 0*g. Solve d = 2*d + y for d.
-2
Let m = -32 + 37. Solve -m*n + 5 = 30 for n.
-5
Suppose -2*l + 7*l + 70 = 0. Suppose -3*w = -4*w + 24. Let y = w + l. Solve h - y = -h for h.
5
Let p = -97 + 108. Solve 0 = -5*c + 1 - p for c.
-2
Suppose -21 = -10*w - 1. Solve w + 1 = -3*n for n.
-1
Suppose 0 = 24*l - 20*l. Solve l = 4*z - 5*z + 3 for z.
3
Suppose 4*l + 26 = 3*p, 0*l = 3*p + 4*l + 14. Let d = -7 + 8. Solve d = -p*n + 7 for n.
3
Suppose 19 = 4*s + 3. Suppose 0 = 3*b + b - s*o - 4, -19 = -b - 5*o. Suppose 5*w - 27 = 4*z, -z = -0 + 3. Solve -w*m = -b*m - 4 for m.
-4
Let j be (-9)/(-6)*2/1 + -1. Solve j = 4*h + 6 for h.
-1
Suppose 6*l - 7 = 17. Solve 9 + 3 = -l*g for g.
-3
Let r be 3/(-6)*(-2 - 20). Let s(d) = d**2 - 10*d - 5. Let x be s(r). Solve -2*w - x = -4*w for w.
3
Let r be 21/14*10/3. Let n(d) = d**3 - 6*d**2 + 3*d + 12. Let a be n(r). Solve a*q + 0 - 2 = 0 for q.
1
Let z = -14 - -15. Solve 0 = -v - 2 - z for v.
-3
Let m be 7 + (3 - 0)/(-3). Solve 0 = 2*f - m - 2 for f.
4
Suppose -22 = 4*x + 10. Let j(r) = r**3 + 9*r**2 + 8*r + 5. Let i be j(x). Solve -v = -2 + i for v.
-3
Let j(d) = -d**2 - d + 8. Let c be j(0). Suppose -y + c = 3*y. Solve -y*w = 2 - 4 for w.
1
Suppose 5 - 18 = -u + 5*t, -2*u + 4*t = -14. Suppose 0 = -5*y + 10, 2*y = -u*g - 0*y + 16. Solve g*z - 8*z - 4 = 0 for z.
-1
Let p(c) = -2*c + 40. Let o be p(18). Solve -2*q + o = 12 for q.
-4
Let g = -34 - -43. Solve 0 = 3*n + g + 6 for n.
-5
Suppose -4*n = -2*n + 4. Let s be 0 - (-1 - 2/n). Suppose -2*u = -0*u + 4*y - 6, s = 5*u + y - 15. Solve -u*x = x - 20 for x.
5
Let k(r) = -r**2 - 7*r - 1. Let f be k(-6). Solve -3*c + 4 + f = 0 for c.
3
Let u be 9/(-6)*(-8)/6. Suppose 0 = -4*i + u*i + 6. Solve i*t + 0 = 3 for t.
1
Let p(h) = -h + 18. Let i be p(15). Solve -i*f + 3 - 18 = 0 for f.
-5
Let t(s) = s + 9. Let i be t(-8). Solve 0 = f + i - 3 for f.
2
Let l = 10 - 5. Suppose 3*y + l*j - 50 = 0, y + 2 = -j + 16. Solve 0 = -5*i - y - 15 for i.
-5
Let x = -16 + 26. Let g be ((-6)/(-15))/(2/x). Suppose -a - 3*c - 8 = c, -20 = -3*a - c. Solve a = 4*b - g*b for b.
4
Let f = -19 + 24. Solve -19 = f*p + 6 for p.
-5
Suppose 0*a - 50 = -5*a. Let m = a + -5. Let k = 20 + -12. Solve m*i = i + k for i.
2
Suppose -160 = -f - 4*f. Suppose 5*v - 12 = 3*w + f, -5*v = 10. Let i = 28 + w. Solve 2*s - i = -0 for s.
5
Let u(c) = c**3 - 7*c**2 + 2*c - 6. Let q be u(7). Suppose -q = 4*b + 12. Let n(w) = w**3 + 5*w**2 - w - 5. Let a be n(b). Solve -4*d + a*d + 12 = 0 for d.
3
Let r(f) = 2*f**2 - 2*f + 1. Let s be r(2). Let v(w) = 3*w**2 - w - 2. Let t be v(-1). Solve 0 = -3*p + t - s for p.
-1
Let u = 47 - 45. Solve u*q + 5 = 3 for q.
-1
Let v(g) = -6*g + 4*g - 5 + 3*g. Let l be v(5). Solve -4*n = -l*n - 16 for n.
4
Let j be (0 - 0) + 3 + 3. Solve -j = -f - 2*f for f.
2
Suppose 4*d = 2*d + 4*y + 4, -3*d + 11 = -y. Solve 1 = s + d for s.
-3
Let c(d) = d**2 + 9*d - 20. Let l be c(-11). Solve t - 9 = -l*t for t.
3
Suppose 7 = -4*p - 5. Let t = p - -3. Solve 3*r - r = t for r.
0
Let j(g) = g**3 + 6*g**2 - 9*g + 8. Let u be j(-7). Suppose -3*y - 2*x = -u, -3*y - 3*x = -0*x - 27. Solve 0 = -y*c - 4 for c.
-1
Suppose 0 = -10*o + 4*o + 60. Solve -4*g + o = 6 for g.
1
Suppose -3*m + 0*m = -2*a - 5, 3*a = -3. Let i = m - -9. Solve 2*y = -0*y + i for y.
5
Let z(v) = 2*v**2 - 6*v - 6. Let j be z(5). Let x = -14 + j. Let h be ((-2)/6)/((-2)/18). Solve x = -m + h*m + 10 for m.
-5
Suppose 4*j = 2*j + 20. Let x(b) = -b**3 - b**2 + 3*b + 2. Let q be x(-2). Solve -h + 6*h - j = q for h.
2
Let d = 5 + 10. Solve k - 4*k = -d for k.
5
Let w = 77 - 73. Solve -13 - 3 = -w*z for z.
4
Suppose -3*x - 25 = 5*o, -4*x - 15 = -3*x + 3*o. Suppose r - c = 1, -5*r + c + 9 = -x. Let w = r - 2. Solve a + w = 3 for a.
3
Let d(i) = -2*i - 7. Let c be d(-5). Solve -z = c*z for z.
0
Suppose u = -4*u. Solve 3 = -p - u for p.
-3
Let q be 2/(-7) + 4/14. Suppose q = 4*v - v - 12. Solve -2 = c - v for c.
2
Let m = 0 + 1. Suppose -2*w - 10 = -4*w. Suppose w*c + 13 = b, c + 17 = 5*b - 0*c. Solve b = -f - m for f.
-4
Let k = 96 + -93. Solve 0 = -k*n + n + 4 for n.
2
Suppose 3*v - 18 + 3 = 0. Suppose -2*h = 5*t - 4*h - 19, -2 = h. Suppose -15 = -c - v*b, -c - 2*c = b - t. Solve c = -l - 4*l for l.
0
Suppose 2*q - 1 = 3. Solve 4*t + 6 = -q for t.
-2
Let i(v) = 2*v - 14. Let n be i(8). Let u = 8 - 1. Solve n = m + u for m.
-5
Let m = 16 - 0. Suppose 0 = -7*g + 6 + 71. Let t = m - g. Solve 4*n - t = -17 for n.
-3
Let v(u) = 4*u + 2*u**2 - 2*u - u**3 + 1 - 2*u**3. Let s be v(-1). Solve -s*g + 13 - 5 = 0 for g.
2
Suppose 7*f = 15 + 6. Solve -f*p = p - 8 for p.
2
Suppose 0 = -4*z + 5*z. Solve 0 = -z*g - 2*g for g.
0
Let u(q) = -q**2 - 4*q + 4. Let j be u(-4). Suppose -9 = -5*c + 3*w, -10 + 4 = -5*c + 2*w. Suppose 24 = 2*p - c*p. Solve 4 - p = -j*f for f.
2
Let n be (-6)/24 - (-42)/8. Solve -n = -0*m + m for m.
-5
Suppose 19 = 5*m + 5*z - 6, 3*m + 2*z - 14 = 0. Solve 4 = m*k - 4 for k.
2
Suppose -7 = -v - 3*g + 4, -2*g = -3*v. Let h be (-1 + v)/((-1)/(-7)). Let d = h + -5. Solve -2*k = -3*k + d for k.
2
Suppose z = -4*