olve -4*v + 3 + n = z for v.
2
Let n = 1 - -4. Suppose -3*g + 5 = -3*v - 13, -18 = -n*g - v. Suppose 0*j - g = -2*j. Solve -j*d = 3*d - 5 for d.
1
Suppose 0 = 4*p - 13 + 9. Solve -p = -r + 2 for r.
3
Suppose -10 - 12 = 2*a - 5*c, -a - 4*c + 2 = 0. Let y(k) be the second derivative of k**4/12 + 2*k**3/3 - 4*k**2 + k. Let t be y(a). Solve t*q = q for q.
0
Suppose 0 = -b + 3*b. Let h be (6/(-5))/(6/(-30)). Suppose w = 2*c - 7 - h, 3*c - 3*w = 24. Solve b*m = -c*m + 10 for m.
2
Let n be 19/3 - 2/6. Let v be 33/22*(-16)/(-6). Let m = -8 - -14. Solve -v*y + n = -m*y for y.
-3
Suppose 3*k - 2*t + 16 = -2*k, -5*k - 4 = 2*t. Let p be (k - -3)*2/2. Solve p = -f - 0*f for f.
-1
Let b = -17 + 30. Let v = -9 + b. Solve 2 = v*u + 6 for u.
-1
Let q = 5 - 2. Solve -5*o = -q - 7 for o.
2
Let w = 15 + -15. Solve w*s = -2*s - 4 for s.
-2
Suppose -5*v = 22 - 172. Suppose 4*l - v = -10. Solve -b - l = -0*b for b.
-5
Suppose 2*r - 4*r + 34 = 4*k, -r = 5*k - 20. Solve 0*u = -3*u - r for u.
-5
Let c = 52 - 50. Solve c + 3 = d for d.
5
Suppose u - 2*f = 5*u - 4, 21 = 3*u - 3*f. Let i = -8 + 12. Solve -u*m - m = -i for m.
1
Suppose 0 = -2*i + u - 3 + 8, -5*u - 3 = i. Solve i*n = -2*n + 16 for n.
4
Let q be (1 - -2) + (-4)/(-2). Solve 25 - 5 = -q*t for t.
-4
Suppose -7*v + 2*v + 35 = 0. Suppose 2*x + 22 = -3*r + v*r, -17 = -2*r - 5*x. Suppose r = 3*i - w - 7, -i - 9 = 3*w. Solve 4*z = i - 11 for z.
-2
Let b(q) be the first derivative of q**3/3 + 3*q**2 + 7*q - 5. Let u be b(-5). Solve 0 + 2 = -u*z for z.
-1
Let a = 45 - 29. Let q = -10 + a. Solve 4*y = 6*y - q for y.
3
Suppose -3*c = -4*j + 10, 3 = 2*j - 7*j - 4*c. Let u(m) = 3*m + 1. Let g be u(j). Solve -3*s = 16 - g for s.
-4
Suppose -4*w = q - 16, 3*q + 3*w - 12 = -0*w. Solve q = 3*l - 2*l for l.
0
Let h(y) = -y - 7. Let c be h(-11). Solve x - c = -x for x.
2
Let h = 10 - 3. Solve 3*x - h = 2 for x.
3
Let u = 57 - 55. Solve -g - u*g = -15 for g.
5
Let z = -51 - -51. Solve z = -w + 1 + 4 for w.
5
Let d be (0/1 - -1)*15. Let g = d - 5. Let c = g + -7. Solve 0 = 3*q - 2*q + c for q.
-3
Suppose 0 = -6*v + 10 + 14. Solve 3*b = v*b for b.
0
Suppose -z + 4*f + 8 = 0, 4*f = z - 4*z + 56. Solve 4*r - z = -0*r for r.
4
Let c be (3/2)/(3/6). Let d(z) = -2*z - 4. Let y be d(-5). Let h(p) = 2*p - 6. Let l be h(y). Solve -9 = -l*a + c*a for a.
3
Let v = -28 - -28. Suppose 0 = -4*m - 2*j - v + 2, -4*j = -m + 5. Solve n + m + 3 = 0 for n.
-4
Suppose 4 = -2*d + 6*d. Let v = d - -2. Solve w = v*w for w.
0
Let l(h) = h**3 + 4*h**2. Let v be l(-4). Let s be (-1)/4 + 3/12. Solve s = -5*w - 5 - v for w.
-1
Suppose -17 + 9 = -4*p. Solve 2*l + 0 = p for l.
1
Suppose -8*x + 5*x = 0. Solve x = m + m for m.
0
Let a(p) = p**2 - 1. Let s be a(-2). Let d be 4 - s/1*1. Solve -2*f + d = 3 for f.
-1
Let m = 156 - 154. Solve -3 = d - m for d.
-1
Let j be ((36/(-3))/(-2))/2. Solve -3*v - j = -6 for v.
1
Let x = 23 - 10. Let f = x - 8. Solve 20 = h - f*h for h.
-5
Let q(b) = -1 + b + 1 + 0 + 5 - b**2. Let u be q(0). Solve 0 = u*v + 10 for v.
-2
Suppose 4*m + 280 + 56 = 0. Let r be m/(-22) + 4/22. Solve 4 = -0*p - r*p for p.
-1
Suppose -5*h + 3 = -17. Suppose 2*o = -0*r - h*r, -2*o = -5*r + 18. Solve -7 = -5*l - r for l.
1
Suppose -15 = -2*y - 3*l, 3*l + 11 = 2*y + 2*l. Let k = y + -2. Solve -k + 2 = 2*t for t.
-1
Let k(z) = -2*z**2 - 2*z + 3. Let c be k(2). Let i = -6 - c. Solve -5*s = -i*s + 10 for s.
-5
Suppose -5*v + 17 = -3*f, -v + f - 3*f + 6 = 0. Let l be (-2)/7 - (-2)/7. Let t = l + 5. Solve 1 = t*z - v for z.
1
Let r(v) = 0*v**3 - 9 - 12*v + 6*v**2 + 2*v + v**3. Let a be r(-7). Let o(h) = -h**3 + 12*h**2 + 2*h - 16. Let j be o(a). Solve -n - j = n for n.
-4
Let q = -4 + 7. Solve -q*d = -3 - 0 for d.
1
Let q be (-1)/4 - (-12)/48. Solve q*h = h - 2 for h.
2
Let r be 360/198 - 4/(-22). Suppose -4*m - 12 = -4*b, 11 = r*b + m - 1. Solve -b = -n - 2 for n.
3
Let u = 8 + -5. Solve -3*o = -0*o + u for o.
-1
Let v(k) = k**2 - 2*k + 2. Let c be v(3). Suppose -2*d + 2 = 4*f, -5*d - 36 - 4 = -c*f. Suppose -5 = -q - f. Solve -q*o = -o for o.
0
Let k be (3 - 15)*(0 - 2). Suppose -1 + 51 = 10*f. Solve -4 = f*m - k for m.
4
Let r(h) = -h - 3. Let c = 0 + -3. Let f be r(c). Solve -5*d + f*d = 10 for d.
-2
Let y be (-69)/(-21) + (-2)/7. Let u = 0 + y. Suppose -3*l - 2*j = -l - 8, 0 = 3*l - u*j - 18. Solve 2*s - l = 3*s for s.
-5
Let i(h) = -h + 2. Let p be i(5). Let b = 4 + p. Solve -b = t + 4 for t.
-5
Let w(j) = j**3 - 10*j**2 + 3. Let p(q) = 3*q - 2. Let v be p(4). Let m be w(v). Solve 2*d + m = d for d.
-3
Let l be (5 + -6)*(0 - 0). Solve 5*i + 0*i + 20 = l for i.
-4
Let u(a) = a**3 + 6*a**2 + 3*a + 9. Let v be u(-5). Solve 4*s = -3 + v for s.
4
Suppose 2*q = -2*w, 3*w + 3*q = 2*w - 4. Solve x - 3 + w = 0 for x.
1
Suppose -1 = 2*l - 5. Let i(f) = 4*f - l*f + f**2 - f**3 + f**2. Let w be i(2). Solve 4*k + 0 + w = 0 for k.
-1
Let f be 2/7 - (-410)/35. Solve 3*t + t + f = 0 for t.
-3
Let j(c) = 2*c**2 - 8*c + 2. Let v be j(6). Let y = v - 16. Let m be (-2)/(-3) - y/(-3). Solve 4*r = 3*r + m for r.
4
Let y(x) = -x**3 - 6*x**2 - 6*x + 5. Let w be y(-5). Suppose 5*r = 3*r + 8. Solve -w = z + r*z for z.
-2
Let p = 2 + 1. Let h be p + -3 - 2/(-1). Solve h*n - n = -5 for n.
-5
Let l(o) = o - 5. Let t be l(5). Let y = t - -1. Suppose 2*r + f - 2 = r, 5 = -5*f. Solve -p = r - y for p.
-2
Suppose -2*a + 15 + 7 = 0. Solve 3*l = -5 + a for l.
2
Let u(b) = -2*b - 15. Let w be u(-9). Suppose 2*i - 6*i = 0. Suppose 3*s - 5 = -4*j - 2*s, -5*j + 3*s - 3 = i. Solve d + w + 1 = j for d.
-4
Let r be -2 + -7*(-1 - 0). Let y(c) = 0*c + 0*c + c - 5. Let m be y(r). Solve -5*a = -m*a + 25 for a.
-5
Suppose -5*a + 6 = 3*p, -p = -2*p - 5*a + 2. Let k(o) = -o**3 - 9*o**2 + 9*o - 6. Let c be k(-10). Let y be 14/3 + c/(-6). Solve -p*d = -y*d - 10 for d.
-5
Suppose -3*r + 0*r = -3. Solve -4*o - 17 = -r for o.
-4
Let z(d) = d**3 - 7*d**2 - 7*d - 6. Let j be 2/2 - (10 + 0). Let k(h) = -h**2 - 9*h + 8. Let b be k(j). Let l be z(b). Solve -2*g - l*g = 0 for g.
0
Let b(f) = -2*f**3 - 2*f**2 + 4*f + 1. Let p be b(-4). Suppose m = -4*m + 5*i + 45, 5*m + 4*i = p. Solve 0 = 4*a - m - 7 for a.
5
Let l be (0/(-2))/(2/1). Suppose -2*h + 4 = b, -3*h = -6*h - 5*b - 8. Let u be 2/h*(4 - l). Solve -3*y = u*y for y.
0
Let p = -4 + -16. Let y = 23 + p. Solve 4 = -7*j + y*j for j.
-1
Let y be ((-3)/(-1))/((-12)/(-4)). Solve 0 = 5*i - y + 21 for i.
-4
Let y(z) = -z**2 + 19*z + 94. Let x be y(23). Suppose -5*r + 8 = -7. Solve r*v = -x*v for v.
0
Let b be 87/12 - (-10)/(-8). Solve 4*u = b*u + 6 for u.
-3
Let y(m) = m + 9. Let p be y(-8). Let n = p - -1. Solve -n*c - 25 = 3*c for c.
-5
Let q(u) = -2*u - 5. Let o be q(-5). Solve o*t + 3 + 2 = 0 for t.
-1
Let r be 2/8*4 + 1. Suppose 15 = r*n + n. Solve -4*s = -3*s - n for s.
5
Suppose 265 = 3*m + 2*m. Suppose -m = -4*i + j, -16 - 3 = -2*i - j. Solve 0*a + 3*a - i = 0 for a.
4
Suppose 2*f + 6 = 0, -3*n + f = -n - 9. Let d(r) = 2*r + 2. Let y be d(n). Solve -3*u + y = -u for u.
4
Let x be 1/1 - (-9 + 50). Let a be (1/(-2))/(10/x). Solve m = -1 + a for m.
1
Let g be 1*(-2)/(-2)*23. Suppose 8 = 2*s - 2*l + 4, 4*l + 4 = 3*s. Solve s*w + 7 = g for w.
4
Suppose 14*c = 10*c + 44. Solve 3*h - c = 1 for h.
4
Let y be (-12)/42 - (-46)/14. Suppose 0 = k - y + 1. Solve -3 - k = -u for u.
5
Let r(c) = -3*c + 4. Let j be r(-5). Suppose 0 = 2*z - 5*q - j, -4*q = 2*z - 101 + 37. Solve 10 = 3*b + z for b.
-4
Suppose 0 = 4*g - 2*u - 70, -4 + 48 = 2*g - 4*u. Suppose 2*b - 8 = -0. Let h = b + 0. Solve -h = -3*p - g for p.
-4
Let h be (-5)/(-1) - 4/(-2). Suppose 0 = -s + h - 3. Solve -s*a = -2*a - 2 for a.
1
Let x be 126/72 + 3/(-4). Solve 0 = 3*t - 4*t - x for t.
-1
Suppose -3*d + 107 = 5*r, -4*d = 5*r - 0*d - 106. Let m = -18 + r. Solve -m*x + 25 = x for x.
5
Let y(s) = -s**2 + 8*s - 9. Let v = 6 + 0. Let u be y(v). Let k = 1 + 6. Solve k = 2*j + u for j.
2
Let x(u) = 3*u**2 + u. Let h be x(1). Solve -h*g - 9 = 11 for g.
-5
Let c = 5 + -3. Suppose -3*v = 4*g - 2, 3*g - c*v = 17 - 7. Suppose y - 56 = -4*n - 3*y, g*n + 4*y - 34 = 0. Solve 4*k - 5 - n = 0 for k.
4
Let g be (-2 + 3)*15/1. Suppose -w - 3*y = -g, 2*w - y + 2*y - 5 = 0. Solve i + w*i = -1 for i.
-1
Suppose 2*b = 6*b - 4. Solve 0 = -5*p + 4*p - b for p.
-1
Let b be (-3 + -1)*36/16. Let j = 29 + b. Solve -6*a = -2*a - j 