p*x for j.
0
Let g = -60 + 63. Solve g*o + 8 = m, m - 2*o = 1 + 3 for m.
-4
Let h(o) = -o - 2. Let f be h(-4). Suppose z = -2*y + 1 + f, -2*z + 18 = -2*y. Let d = z - 2. Solve 2*m - d*l = 29 - 10, 0 = -3*m - l + 3 for m.
2
Let h be (-5 + 2)*(-1 - 0/1). Suppose -3*c + 3 = 6. Let k be c + h + (1 - -2). Solve 2*u = -k*a - 9, -7*u - 11 = -2*u + a for u.
-2
Let n(k) = -7*k + 2. Let z(w) = 7*w - 3. Let h(i) = 6*n(i) + 5*z(i). Let y be h(-2). Solve 2*v - y = q, -v = -0*v + 5*q + 22 for v.
3
Let w(r) = -r + 1. Let k(h) = -h**2 + 3*h - 2. Let f(t) = -k(t) - 3*w(t). Let q be f(-2). Solve -n - 5*b - 13 = 0, 8*n = q*n + 4*b + 22 for n.
2
Let z(l) = -2*l + 2. Let p be z(-1). Solve 2*c = y - p, -2*c = -5*c + y - 7 for c.
-3
Let t be -4 + 5 + 4 + -3. Solve -d - t*g - 5 = -2*d, 0 = -4*d + g + 20 for d.
5
Let r(a) = -a**3 + 4*a**2 + a. Let g be r(4). Solve n + 16 = -g*z, 4*z + 0*z + 16 = 4*n for z.
-4
Suppose 24*r - 5*r - 627 = 0. Suppose 6*f = f + 25, 0 = -2*b - 5*f + 45. Solve -3*i - 5*t - b = 0, -4*i - r + 12 = -t for i.
-5
Suppose -2*p = -16 + 8. Solve 10 + 6 = p*t, 5*d + 2*t - 23 = 0 for d.
3
Suppose 4*i + 2*z + 3*z + 17 = 0, -3*z = -4*i - 41. Let p = -4 - i. Suppose -p*f - 20 = -5*b, -12 = 2*b - 5*b - 4*f. Solve s + 3 = 3*u, -u = b - 6 for s.
3
Suppose 0 = -5*u + 2*u + 3*p + 18, -3*u + 22 = -4*p. Solve -2*a - u*d = -6*d - 2, 3*a - 3*d = -3 for a.
-3
Let n(v) = v - 4. Let m be n(-3). Let x = m - -17. Let b(q) = -q + 13. Let a be b(x). Solve -2*u - o - a = -u, -5*o = u + 7 for u.
-2
Let u(x) = x - 5. Let t be u(9). Suppose 0*c + c + 44 = 5*z, 2*c = 3*z - 32. Solve t*a + 0*a + 11 = 3*d, 0 = -2*d + 2*a + z for d.
5
Suppose -3 = -2*i + 7. Let g = 4 - 2. Let v be g/7 - (-40)/7. Solve s - v*s + i*f + 5 = 0, -2*s + f + 1 = 0 for s.
0
Let j = -3 + 3. Let l(o) = o**2 + 9*o + 10. Suppose 2*w + 13 + 3 = 0. Let h be l(w). Solve -4*d = -4*m + 12, j*d + 6 = -h*d - 4*m for d.
-3
Let m be 6/15 - 8/20. Suppose y - 12 = -3*r, 3*y + m*r - 2*r = 47. Suppose 1 + 7 = 2*x. Solve -x*a + 12 = -5*d - y, -24 = -4*a + 4*d for a.
3
Let p = -29 - -33. Let r be (-1)/(-2) - (-5)/2. Solve -3*u - 23 = -h - p*h, -9 = -r*h - 3*u for h.
4
Let v(q) = 7*q + 12. Let j be v(2). Solve 4*w + 2*a + j = 0, w - a + 2 = -0*w for w.
-5
Suppose 11 + 0 = -o. Let k = o + 14. Solve 2*m = k*j + 7, 8 = -4*j + m + 2*m for j.
-5
Suppose -4*u = u. Let q = u + 3. Solve -d + q*j + 16 = 0, -47 + 7 = -5*d + 5*j for d.
4
Suppose -30 = 126*o - 131*o. Solve z + 1 = x, -2*z - 4*x = -4 - o for z.
1
Let k(d) = d**2 - 7*d - 11. Let m = 5 - -4. Let f be k(m). Suppose f*n + 5 = 3*t + 2*n, -5*n = t + 5. Solve t = 4*x - h + 1 - 17, 0 = -5*x + 4*h + 9 for x.
5
Let b be (-7)/4*(7 + -3). Let w(h) = -h**2 - 8*h - 2. Let g be w(b). Solve -y - g = j - 2*j, 0 = 2*j - 4*y - 14 for j.
3
Let l(a) = a**2 + 12*a + 3. Let j be l(-12). Solve 0 = j*r, 2*w + 2*w = -r + 16 for w.
4
Suppose 4*n - 32 = 28. Suppose n + 10 = 5*u. Let j = 1 + -1. Solve -4*q = -j*r + 4*r, u*q = 3*r + 16 for r.
-2
Let j = 4 + 0. Let r(l) = 1 + 0 + 0 + 1 + l**2. Let x be r(j). Solve -5*v = -3*o + 10, -4*v + o - x = -3 for v.
-5
Let d be (5*-6)/2*-1. Solve 3*r + 5*w - d = 0, -2*w + 0*w - 25 = -5*r for r.
5
Let d = -2 - -7. Suppose -a + 2 + 3 = 2*j, 2*a - 10 = -d*j. Solve 3*x + u = -2*x + 4, -16 = -a*x - 4*u for x.
0
Let g(l) be the second derivative of -l**3/3 + l**2/2 + 4*l. Let q be g(-2). Solve a - q*i = -6, 0*i + i = 2*a - 6 for a.
4
Let w(p) = -p**2 - 6*p - 4. Let h be w(-2). Solve 4*i + h = 0, n + 2*i = -2*n - 17 for n.
-5
Let b(s) = 2*s**2 + 2*s - 2. Let a be b(-2). Solve -4*t + 26 = a*z + t, 2*t - 20 = -4*z for z.
3
Suppose b - 122 = -118. Solve 3*y = -b*v - 0*y + 11, -2*v + 3*y = -19 for v.
5
Let r = -72 - -102. Solve 5*f + r = 5*i, 4*f + 5 = -i + 1 for f.
-2
Let y(f) = f**3 - 7*f**2 - 9*f + 9. Let d be y(8). Let l be (4 + -1)*(d + 0). Solve 3*k = 2*t, t - l*k - k - 5 = 0 for t.
-3
Suppose 0*x - 2 = x - i, -3*x = -4*i + 11. Solve -5*t + 5 = -x*n, -9 = -5*n + 2*t - 30 for n.
-5
Suppose 0*j - 2 = -j, 5*j - 16 = -3*k. Suppose 2*a = -10, 3*a = -3*s + 12 - 0. Suppose s - 35 = -2*d. Solve 0 = 5*i + 4*x + d, 0 = -4*i - 0*i + x - k for i.
-1
Let v(y) = -y**3 - 4*y**2 + 3*y - 4. Let c be v(-5). Let j be 7*1 + -3 + c. Solve -2*s + j = 4*h, 2*h + 2*s - 6 = -h for h.
4
Suppose 23*w = 28*w - 50. Solve -5*r - v + 1 = 0, -2*r - 3*v - w = -0*r for r.
1
Let q be (-11)/2*2 + 3. Let u be (q/(-5))/((-4)/(-10)). Solve -u*n = -s - 21, s + 2*n - 19 = -2*n for s.
-1
Let o = -18 + 34. Solve -2*r = -2*w - r - 4, 0 = -4*r + o for w.
0
Let i = -47 - -57. Solve f = 4*f - p, f - i = -3*p for f.
1
Let g(b) = -b**3 + 5*b**2 + 9*b - 13. Let q be g(6). Solve 4*k - q - 3 = 2*d, 0 = -3*d + 2*k - 4 for d.
0
Suppose 0 - 9 = -3*y. Solve -2*h - 14 = -4*i, i - 3 = h + y for h.
-5
Let k = 0 - -3. Suppose 2*r - 14 = 3*h + 5, 2*r - 25 = 5*h. Let a(j) = j - 5. Let f be a(r). Solve -p - 3*u - k - 14 = f, p + 7 = -u for p.
-2
Suppose -2*l = 5*h + 8 - 3, 2 = -4*l - 2*h. Solve l = -0*i - i - 2*k - 4, 4*k + 36 = 5*i for i.
4
Let q = -40 - -94. Suppose -t + 3*t + 3*j = 14, -2*j - q = -5*t. Let a(b) = b**2 - 9*b - 1. Let y be a(t). Solve 7*d - 2*d = 3*z - y, -3*d + 5*z - 15 = 0 for d.
0
Let h(k) = -k**3 - 3*k**2 + 3*k - 1. Let n be h(-4). Solve -n*r - 17 = -w - 4*w, 4*w - 11 = 5*r for r.
1
Let n = 32 - 30. Solve 3*z = -n*d - 10, 9*z - 4*z - 2*d = -6 for z.
-2
Suppose 4*f - 8 = 2*f. Solve -5*i = -p - 0*i, -2*p = f*i for p.
0
Let b = -3 - -5. Suppose -3*x = -4*x + b. Suppose 3*v = -4*a + 21, 0 = x*v - 4*v + 6. Solve 0 = -5*q - 2*g - 2*g + 23, -a*q + 5*g = 1 for q.
3
Suppose -3*i = -5*i. Let t(n) = -n**3 - 7*n**2 + 3. Let k be t(-7). Suppose i*u = u - k. Solve u*l = -3*x - 21, -2*x + 6 = -5*l + 2*l for x.
-3
Let w be ((-1)/2)/((-6)/36). Suppose 8*y + 5*c - 50 = 3*y, -5*c = -w*y + 38. Solve q - 3*q = -3*m + y, q = 2*m - 7 for m.
3
Suppose -2 = -w - 1. Solve q + w = -0*x - 2*x, -3 = q + 4*x for q.
1
Suppose 0 = 12*j - 18*j + 48. Solve -b = n + j, 3*n - 6 - 5 = 4*b for b.
-5
Suppose -k + 5 = 3. Solve 5*f = -3*y + 15, 0*y = -2*f + k*y + 6 for f.
3
Let a = -8 - -8. Suppose -3*n - n + 12 = a. Solve 0 = -4*q + 4*c + 12, -n*q - 5*c - 7 = -6*q for q.
4
Suppose k + 2 - 56 = 0. Let v = k + -36. Let p be 1/(-4*1/(-20)). Solve 2*l - 2*m + v = 0, 3*m - 18 = 2*l + p for l.
-4
Let b = -4 + 8. Let g = 32 - 17. Let p = 10 + -5. Solve c + 15 = p*l, g - 3 = b*l - c for l.
3
Suppose 0 = 12*z - 16*z + 8. Solve 2*i = -3*y - 6 - z, 5*y + 7 = 3*i for i.
-1
Let m be (-6)/4*(-24)/(-3). Let w be -1 - 1 - (0 - -2). Let z be 1/w - 87/m. Solve -4*h + z = f, 0 = -6*f + 2*f - 3*h + 2 for f.
-1
Suppose 8 = 4*m - 4. Suppose m*n = -15, -o - 4*n = -4*o + 32. Solve 3*u - 3*l = u - 4, 2*l = o*u for u.
1
Let q = -28 - -10. Let f = q + 11. Let o = f - -9. Solve -4*j - 6 = -5*m - 1, -o*j + 5 = -5*m for m.
-3
Let f be (-1)/(7/(-3) + 2). Suppose -f*y - y = -12. Suppose -6 = -y*r, 0 = 3*n + 5*r - 21 - 49. Solve -5*g - 25 = 3*u, 0*g = 4*u - 4*g - n for u.
0
Let t be (-10)/15 - 2/(-3). Suppose 12 = 3*d - t*d. Let f(j) = j**2 - 4*j + 4. Let r be f(d). Solve 3*s - r*s = n - 9, -2*s = -10 for n.
4
Let o be (-1 - -1)/(-8 + 9). Solve o = -3*u - 3*a + 27, -u + 0*u + 29 = 5*a for u.
4
Suppose -3*y + 14 + 1 = 0. Solve -v - y*u - 1 + 3 = 0, -4*u = -2*v - 10 for v.
-3
Suppose -34 = -5*x - 9. Solve -4*q - 3*n + 18 - x = 0, 4 = -4*n for q.
4
Let t = 12 + 1. Let l = -6 - -13. Suppose -5*x + l = -t. Solve d + x*w = -15, 0*w - 9 = 3*w for d.
-3
Let x(k) = k**2 - 4*k - 16. Let b be x(7). Let l = 10 - b. Solve 2*m = -5*s - 10, 5*s + l*m = -3 - 7 for s.
-2
Let i(g) = -g + 10. Let a be i(5). Suppose -a*f = -7 - 3. Solve -3*n + 9 = 2*y, y = f*y + 2*n - 5 for y.
3
Let z(m) = -2*m + 22. Let c be z(8). Solve 2*r + 2*b = -0*r + c, -2 = -3*r + 4*b for r.
2
Let y(h) = -h - 5. Let i be y(-4). Let u be (11 + i)/(-1 - -3). Solve -1 = 5*v - 26, 2*l + u*v = 27 for l.
1
Let y(b) = 4*b - 13. Let r be y(4). Solve -r*s - 10 + 4 = 3*x, 0 = x - 3 for s.
-5
Let f be (3/2)/(9/(-12)). Let b be -2*(f + 3) - -5. Solve b*h + c - 5*c = -24, 5*h + 5 = -5*c for h.
-4
Let q(l) = l + 2. Suppose 8*p = 10*p - 20. Let a be q(p). Suppose -3*s + 6*s = -3*j + 27, -4*j - 3*s + 31 = 0. Solve -5*z - j*n = -a, -6 = 2*z + z - 2*n for z.
0
Suppose 25 = -5*w - 5*n, 2*w - 7 = w + 3*n. Let u be -1 - (w - 0 - 3). Sol