m = 0 for g.
3
Suppose 3*t + 5 = f, -3*f - 4*t + 4 = 2. Suppose f*d - 18 = -d. Let v = d - -1. Solve 4*k = -3*a - 7, -v*a + 5*k = -2*a - 35 for a.
3
Let z(s) = s**3 + 10*s**2 + 10*s + 12. Let k be z(-9). Suppose k*v - 12 = -0*v. Solve v*n - 10 = 5*n + 3*w, -4*n - 4*w = 0 for n.
5
Suppose 7 = 3*z - 5. Let q(g) = 3*g**2 + 4*g - 2. Let u be q(-2). Solve -u = 2*a + 2*x + z, -x = -4*a + 13 for a.
2
Suppose -5*i = -0*i + 15. Let c be 1*i*10/(-15). Solve 0*l = -q + 2*l + 11, -q = c*l + 9 for q.
1
Suppose 15 = 19*r - 14*r. Solve -5*s = r*t + 22, -15 = 5*s + 10 for t.
1
Suppose -2*h = -7 + 3. Suppose 55 = h*t + 3*t. Let d = t + -7. Solve -2*u + 11 = -g, -d*g - 7 - 4 = 3*u for u.
3
Suppose 2*c - 6*c = q - 116, -5*q - 2*c = -634. Let i = q - 81. Suppose 0 = 2*d + 10, 2*t - 3*d = -0*d + i. Solve -s - 5*h + 2 = t, -3*s - 5*h = 12 for s.
1
Let j(c) = -c + 9. Let a be j(7). Let z(u) = -u - 5. Let m be z(-5). Let y = a - m. Solve -4*s + 4*p = 0, -3*s + 2*p + y = -3 for s.
5
Suppose 5*q + 2 = -j, -5*j - 10 = 3*q - 0*q. Solve q = -3*p + 12, 4*p - 12 = -2*f - 0 for f.
-2
Let o be 2 + 0/2 + -1. Solve -3*k - 14 = -5*f, 2*f - o = 4*f + k for f.
1
Let m be 266/8 - (-1)/(-4). Suppose 2*u - 5*y - m = 0, -4*u + 2*y + 3*y + 51 = 0. Solve -5*s = -u*a + 4*a - 10, 0 = 4*a + 3*s - 20 for a.
2
Let u = -3 - -3. Suppose 4*r = -3*b - 6 - 4, u = 3*r + 12. Solve 3*s + 10 = -5*m, 4*s + b = 3*s - m for s.
0
Suppose -k - 3*k + 22 = 3*a, 5*k - 30 = -5*a. Solve -4*m = -3*v + 10, m + 0 = -k for v.
-2
Let g(j) = -j**2 - 11*j - 27. Let b be g(-6). Solve 4*s + 10 = -2*o, -b*o = 3*s - s + 7 for s.
-2
Let n be ((-3)/((-9)/3))/1. Let g = n - 1. Suppose -3*t = -g*t. Solve 2*m + 5 = -x, 2*m + t*m = -3*x - 15 for x.
-5
Suppose -5*n + 2 + 6 = 4*g, 0 = -3*n + 5*g - 10. Let q = -8 - -8. Suppose 2*i + 2*r - 42 = q, r + 0*r - 3 = 0. Solve c = 3*d - 2*c - i, n = d + 4*c + 14 for d.
2
Let c = 23 - 17. Solve -5*l + g + 26 = 0, l + g = 2*g + c for l.
5
Let y = -19 + 22. Solve 2*u = y*h - 0*h - 7, 4 = -4*u - 4*h for u.
-2
Let q = -118 - -122. Solve -5*s = 5*t - 22 - 8, -4*t = -s - q for s.
4
Suppose -u - 15 = 8. Suppose -2*b - 5*p - 4 = 0, -3 + 1 = b - 2*p. Let r be b - u - 2/2. Solve -4*x + r = -9*x - 5*f, -4*x - 2*f - 10 = 0 for x.
-1
Let x = -29 + 29. Solve -3*w + 8*w + 5*c = x, 0 = w + 2*c + 5 for w.
5
Let v = 40 - 36. Solve -6*j + v = 3*l - 2*j, 0 = 2*l + 5*j - 12 for l.
-4
Suppose 2*n = -4*q - 232, 53 = -3*q + n - 111. Let b be 0/1 - q/7. Solve 0 = -4*j + 5*d - 2, 5*j + b*d = 3*d + 20 for j.
2
Let o be (-52)/(-2) - (-5 - (-3 + -5)). Solve 4*r - o = 3*a, -2*r - r + 19 = -4*a for a.
-1
Let o be 200/11 + (-6)/33. Suppose 5 + 1 = 2*p + t, t = 4*p - o. Solve -2*w + k = -1, 0 = -w + k - 1 + p for w.
-2
Let v be (-45)/(-12) - 3/(-12). Suppose 0 = -g + v*g - 6. Solve 4*u - 35 = 5*p, g*p + 3*u = 10 - 1 for p.
-3
Let s(u) = 0*u + 0 + 0 + u. Let i be s(2). Suppose 8*a - i*l = 3*a + 71, -a + 4*l + 7 = 0. Solve -5*b + 4*r = -a, -4*b + 2*r + 6 = -0*b for b.
-1
Suppose 3*v + 10*d - 5*d = 82, -4*v - 2*d = -128. Suppose 11 = 5*a - v. Solve -5*r - 6 = -n + a, 5*n - 3*r = 9 for n.
0
Suppose 12 = -2*z + 4*l, 45 = 5*z + 3*l + 2*l. Solve 3*p = 5*j - 9, -2*j = -z*p - 4 - 8 for j.
0
Suppose 0 = x - 4 + 2. Suppose -5*c - 2 = -2*v - 0, -5*c = 0. Suppose 2*k - v = 3. Solve -m - x*j = m - k, -m + 17 = -3*j for m.
5
Let l(m) = -m**3 + 4*m**2 - m - 2. Let r be l(2). Let d be (12/8)/(3/r). Solve -3*s - 3*y = -7 - 2, d*s + 6 = y for s.
-1
Let j = 7 + -6. Suppose -3*f = -4 + j. Let i = 17 - f. Solve -i = 4*w - 5*p + 3*p, -3*w - 15 = -3*p for w.
-3
Suppose 0 = -3*d - 2*d + 5*t + 125, 4*d = 5*t + 104. Suppose -d = -4*g - 3*f, 5*g + 4*f = 2*g + 21. Solve -4 = q + m, g*q - 4*m - 1 = 2*q for q.
-3
Suppose -2*x + 2*y = 2*x - 26, 2*y = 2*x - 18. Solve 2*u - 16 = -0*u + 2*r, r = -2*u + x for u.
4
Let a be (-2)/(-9) + 272/72. Solve -4*j = -2*s - j + 5, -a*s = -j + 5 for s.
-2
Let k be 12/(-42) + (-23)/(-7). Let h = k - 1. Suppose z - 4*z + 2 = -h*n, 5*n + 5*z - 20 = 0. Solve 0 = 2*m + n*s + 14, -s = -5*m + s - 21 for m.
-5
Let o(i) be the first derivative of -10*i - 1 + 0*i**2 - 1 + i**2. Let s be o(7). Solve r - 5*b = -4 - 7, 12 = s*b for r.
4
Suppose 5*s - 65 = -4*p, -2*p + 70 = 5*s + 3*p. Solve -3*q - 4*r = 20, -5*q + 5*r - 1 = s for q.
-4
Suppose 4*x - 65 = -5*m - x, -2*x = -4*m + 58. Solve -3*a + 3*q + 1 = -5, -2*q - m = -4*a for a.
5
Suppose -2*y + 0 = -8. Suppose y*q = q. Solve 9 = -3*w + 4*c - 8*c, 4*w + 3*c + 12 = q for w.
-3
Let m(d) = -d**2 - 24*d + 31. Let a be m(-24). Solve 4*x + 2 = 5*x, 5*n - a = -3*x for n.
5
Let m = 88 - 88. Let v be 1/4 - 60/(-16). Solve -2*z = -v*t - 8, m*z + z + 5 = -t for t.
-3
Suppose 3*r - 563 = 5*o, -352 = -5*r + 5*o + 603. Let d be 2/(-6) - r/(-12). Solve 4 = m, 3*m + m = 3*q + d for q.
0
Let m(u) = -u**3 + u**2 - u + 4. Let l be m(0). Solve -3*z - 2*z = l*w + 27, -4*z = 12 for w.
-3
Let l be (-8)/(-28) + 2/(-7). Let i = l + -5. Let q be (-5)/((-25)/(-2))*i. Solve -3*p - 2*p = 5*c - 5, 0 = -q*c + p - 1 for c.
0
Let w = -32 + 37. Solve n = -0*q + w*q, -4*n = q for q.
0
Let s be 1/((-2)/(-6)) - 3167. Let y be s/10 - (-8)/20. Let c be (-6)/39 + y/(-26). Solve c = x + x + 3*r, -3*r + 3 = -x for x.
3
Let j be 18/(8/((-4)/(-1))). Solve -3*t = 4*k + j - 36, -t + 5*k = 10 for t.
5
Let s(f) = 4*f - 3. Let p be s(2). Suppose -17 = -3*g + p*k - 8, 0 = 2*k. Solve 3*a + 15 = 0, g*o + 7 = -5*a - 18 for o.
0
Let z(f) = f**3 - 19*f**2 + f + 1. Let c be z(19). Solve -k + 4*v - 12 = 0, k + 2*v = 5*k + c for k.
-4
Let w(x) be the second derivative of x**3/6 - 3*x**2/2 - 5*x. Let f = 7 + 0. Let b be w(f). Solve v + 6 = -c, -b*v + 3*c = -8*v - 20 for v.
-2
Let i = -10 + 6. Let v be 121/22 + 6/i. Solve 4*u - 4*t + 8 = 0, -3*u + v = 3*t - 20 for u.
3
Let i(a) = -a**3 - 9*a**2 - 8*a + 2. Let g be i(-8). Solve 0 = 5*x + 2*q + g, x = 4*q + 12 - 30 for x.
-2
Suppose 2*f = 4*q + 20, -2*f - 1 = 5*q + 6. Solve 0 = 5*y - g - 26, -f*y + 30 = y - 5*g for y.
5
Let r(x) = -10*x**2 + 1 - 1 + x**3 - 11*x. Let f be r(11). Suppose 6*c - c = f. Solve 6*l - l - 4*k = -9, c = l + k for l.
-1
Suppose -3*y - 31 = 44. Let t be y/2*8/(-10). Solve 0 = -5*v + 5*u - t, 0 = -5*u + 4*u + 3 for v.
1
Let u be (4/12)/(3/18). Suppose 2*f - 5 = 3, a + u*f = 27. Solve l + 0*o + 5*o = -22, 0 = 2*l + 5*o + a for l.
3
Let h = 77 + -48. Let r = -27 + h. Solve r = -4*z - 3*v, 4*z + 4*v = 2*v - 4 for z.
-2
Let l = 25 + -13. Solve -3*s - l = -3*r, r - 4*s + 0 - 1 = 0 for r.
5
Let f be (-186)/(-38) + 12/114. Solve 25 = 5*d - 10*d + f*v, -3*d + 2*v = 11 for d.
-1
Suppose d = -0*d + 3. Suppose 10 - 2 = v - d*p, 3*v - 16 = 5*p. Suppose -2*c - 2 = 5*j, -3*c - 1 = j + v. Solve j*r + 27 = -5*z - r, 12 = -4*z + 4*r for z.
-5
Let r(o) = 5*o + 33. Let x be r(-6). Solve 5*w = 5*c - 5, -2*w + x*c = -3*w + 19 for w.
4
Suppose -f - 11 = -3*a, 20 = -0*a + 4*a. Solve 5*r = -5*q - 10, f*r = 3*q - 0*r + 6 for q.
-2
Let k(s) = 2*s**3 + 2*s**2 - 1. Suppose -3 = x - b, -12 = -2*x - 5*b + 10. Let q be k(x). Solve -3*z + 4 = 2*c, -q*c - 36 = c - 5*z for c.
-4
Let s(w) = 9*w - 23. Let r be s(3). Solve g + 4*g = -10, 5*g - 10 = -r*n for n.
5
Suppose 0*w + 2*w = 8. Suppose 13*n - 14*n + w = 0. Suppose -3*q = -q - 2*o - 14, 16 = -4*o. Solve 2*l - 1 = j, -q = 3*l - n*j + 8 for l.
3
Suppose -5 = -l - 2. Let t be (l/(-2) - -2)*26. Solve -4*d = -2*u + 10, -3*d + 3 - t = -4*u for d.
-2
Let u(q) = 5*q - 9. Let p be u(3). Solve -1 = -h - x - 0*x, 0 = -4*h - 3*x + p for h.
3
Suppose -5*y = t - 3*y - 8, -6 = -3*t + 3*y. Solve 0 = 2*k - 0*k + m - 12, 3*k = -t*m + 28 for k.
4
Suppose 19*m - 17*m = 0. Suppose -5*i + b + 28 = m, 0 = 5*i - 0*i + 5*b - 40. Solve 2*f - 3*o = -4 - 0, i = -2*f + 4*o for f.
1
Let d be 3*(-2)/(-4)*-6. Suppose 0 = -5*m - 28 + 123. Let b = m + d. Solve -4*i = -i - j - 14, -i + b = -3*j for i.
4
Let d be (-2)/((-2)/1) - -2. Suppose 5*s - 5*c = 55, 2*c = -5*s + 13 + 28. Suppose 0 = d*i - 0*i - s. Solve t = -o + 6, -i*t = -4*t + 5*o - 12 for t.
3
Let k(w) = -3*w - 1 + w**2 + 7*w - 3*w - 3*w. Let l be k(5). Solve -j + 0 = -3*h + 6, 0 = -2*h + 4*j + l for h.
1
Suppose -15 = -5*t + 5*w, 4*t + 5*w = 2*t + 27. Let k = -1 + -1. Let x(i) = -2*i - 2. Let o be x(k). Solve -3*d - 3 = -a + t, -2*d - o*a = 14 for d.
-4
Suppose 0 = -10*l + 30*l - 40. Solve 4*h + 14 = -3*s, 2*h + l = s -