 j + n + 17, 0 = 3*j + n + l for j.
-1
Suppose -2*p - 3 = -15. Let k(c) = -c + 8. Let o be k(p). Solve -q - q = -o*z - 8, 4*z = -4*q + 16 for z.
0
Let d(s) = s**2 - s - 2. Let b be d(-1). Solve -3*c = 3*l, l + b*l - 9 = -4*c for c.
3
Let l be -2 + (3 - 1) + (7 - 7). Solve -o + 21 = -l*o - 4*u, -2*o + 26 = -4*u for o.
5
Let g be (0 + 1)/(1/1). Let k(d) = -d**2 + 3*d - 1. Let l be k(2). Let y = g + l. Solve -4 - 4 = -y*o - f, 4*o + 3*f - 14 = 0 for o.
5
Let l be 10/(-8)*(-7 - -3). Suppose 0*o - 3*o = -15. Solve 3*g - 6 = -3*v, 0 = o*v - 2*v - l*g - 6 for v.
2
Suppose 2*t + 13 = h, h + 2*t = t - 2. Solve 0*d - 4*d - h*j = -3, -2*d - 2*j + 4 = 0 for d.
-3
Suppose 4*x = 0, -a - 4 = -2*a - 4*x. Solve 2 + 3 = w, -f = -a*w + 20 for f.
0
Let z(w) = -2*w - 17. Let h be z(-12). Solve -v + h = -2*a, 2*a = 2*v + 2*v - 4 for v.
-1
Let y = -1 - -10. Let v be 3/y*3 - 0. Solve -5*w - v = 2*z, -5*w + 0*z = 3*z + 4 for w.
1
Suppose -3*m + 30 = 2*m. Suppose 0 = -4*d + 6*d - m. Solve 0 = f + d*t - 14, 2*t = 3*f + 3*t - 18 for f.
5
Let r(q) = -q**2 + q + 2. Let n be 5/(-2)*12/(-15). Let p be r(n). Let m be (p + 1)/((-2)/(-14)). Solve -4*j = g + m, -2*j - 9 = -g - 4*g for j.
-2
Let b(d) = d + 1. Let y be b(3). Let u be -1*1 + (-2 - -11). Let j = u - y. Solve -2*i = -i, -2*p - 4*i - j = 0 for p.
-2
Suppose i - 10 = s, 4*i - 120 + 40 = -4*s. Solve z = -4*o - i, 3*z + 0*z - 2*o = -3 for z.
-3
Let k(x) = -x**3 - 6*x**2 - 2*x - 9. Let y be k(-6). Let h = y + 2. Solve -3 + 6 = d, 2*g = -h*d + 17 for g.
1
Suppose 3*k - 7 + 4 = 3*i, -4*i - 4 = 0. Suppose z + 4 - 9 = k. Suppose -s + 2 + 0 = 0, 1 = -3*n + z*s. Solve -2*w + 4 = n*p + 1, 4 = 4*p - 2*w for p.
1
Suppose 4*u - 3*b = -42, -2*u + 4*b = -3*u - 1. Let d be 5/3 - 3/u. Solve -5 = 5*p + 5*x, 10 = -d*p + 4*x - 4 for p.
-3
Let n be 4/6*(-117)/(-26). Solve -v = 4*p + 21, 2*p + n*v = 7*p + 5 for p.
-4
Suppose -15 = -5*b - 5*j, 2*b - j - 4 = -5*j. Let i be (12/18)/((-6)/(-225)). Solve 8*n - 3*n - 30 = 5*z, b*z = 5*n - i for z.
-5
Let v(q) = q**3 + 9*q**2 + 9*q + 11. Let m be v(-8). Solve -3*t - 3*o + 4 = 2*t, 10 = -t + m*o for t.
-1
Let x be (8/(-6))/(2/(-3)). Solve 4*t = a + 15, -x*t = -2*a + a - 5 for t.
5
Suppose -5*u + 123 = -3*t, 5*u = -5*t + 114 + 41. Let q be 296/36 - 6/u. Solve -2*k + p = -q, -25 = 3*k - 6*k - 5*p for k.
5
Suppose 2*s + 5*z = 30, 2*s - s = z + 1. Let f be (-1)/(-4) + (-38)/(-8). Let k(b) = b**2 - 2*b + 3. Let w be k(4). Solve s*n = -p + w, 3*p - n + 10 = -f for p.
-4
Let u be (-9)/((-54)/20)*3/2. Solve -z + 10 = -u*q, 3*q + 6 = -4*z - z for q.
-2
Let s(p) = p**2 + 10*p + 3. Suppose -3*u = 4*l + 14, 1 = -l + 5. Let i be s(u). Solve 2*a - i*k = 3 - 4, 0 = k - 1 for a.
1
Let h(o) = -7*o - 10. Let c be h(-2). Solve 4*x + a = 13, 2*x - c = a + 1 for x.
3
Let o(r) = -r**3 + 9*r**2 - 6*r - 9. Let l be o(8). Let z(h) = -h**2 + 9*h - 9. Let k be z(l). Suppose 3*p = 3 + 3. Solve -2 = p*b - 0, -w - 5*b - k = 0 for w.
0
Let c = 15 + 11. Suppose 9 + c = 5*n. Let h = 13 - 8. Solve -h*k = -2*m + n*m, 0 = -2*k - 4 for m.
2
Suppose -2*h = 2*o - 16, 12 = -2*o + h + 4*h. Suppose o*t - t = 0. Suppose t = 3*m, -g - 26 = -2*g + 3*m. Solve s + 10 = -2*c, -2*c = 3*s + 2*s + g for s.
-4
Let w = 40 + -21. Let r = w + -10. Let g be (-3)/r + 13/3. Solve -21 = -4*y - c, g*y = 2*y + 5*c - 17 for y.
4
Let n be 2/3*(-18)/(-4). Suppose -n*g - 2*g + 5 = 0. Solve 4*z = -2*i - z + g, z = i + 3 for i.
-2
Suppose -26*n = -21*n - 15. Solve -2*z + 4*c - 6 = 0, 0 = n*z - 4*c + 5 - 0 for z.
1
Let i = 3 + 0. Suppose -2*a + 58 = 3*a + i*j, -3 = -3*j. Suppose 0 = -2*p - 2*v - 0*v + 18, 2*p - 5*v - a = 0. Solve 5 = -5*r - 5*h, 4*h + p - 4 = 0 for r.
0
Let f be 9 - ((-18)/(-3) - 2). Solve 2*g - 12 = -f*s - 2, 2*s - 4*g - 4 = 0 for s.
2
Suppose -2*h + i = -4*h + 10, h = -5*i + 23. Solve -h*u = w - 12, w - 8 = -3*u + u for w.
0
Let i(t) = t - 5. Let w be i(8). Let s be w/(-12) - 51/(-12). Let f(y) = y**3 - 6*y**2 + y - 3. Let c be f(6). Solve -1 = 5*k - c*a - s, 2*k = a + 2 for k.
3
Let z = -4 - -3. Let u be z - (-15)/(3 + -2). Suppose -i - 11 = 4*s, -5*i - 3*s = -0*s - 13. Solve u = 2*h - 4*m, 2*h - 7*h + i = -4*m for h.
-3
Suppose 0 = 9*j - 6*j - 18. Solve 3*i = 5*m + 4, -4*i + j*m + 9 = 3*m for i.
3
Suppose 2*n - 6 + 2 = 0. Suppose 0 = 2*k + 5*y + 16, 4*k - k = -n*y - 2. Solve -15 = -q - 5*b, -3*q + k*b - b = 3 for q.
0
Let y = -37 - -39. Solve -p - 6 = -4*r, p - 3 = -y*r + 3 for p.
2
Let s be (3/2)/(6/16). Solve 17 = 5*j + 4*t, -5*t - 3 = s*j - 13 for j.
5
Let g(c) = -c**3 - c**2 - 2. Suppose 2 + 0 = 2*u. Let j be -1 - (-1 - (-1 - u)). Let o be g(j). Solve -2*b = -q - o - 3, b = 2*q + 10 for b.
0
Let f(w) be the second derivative of -w**3/3 - 5*w**2/2 - 10*w. Let o be f(-8). Solve -3*j - o = x + 4, -j + 3*x - 5 = 0 for j.
-5
Let j = -24 - -45. Let l = -12 + j. Suppose -2*s = -5*s + l. Solve 0 = -3*o - 3*i + 3, -4*o + s*i - 31 = -7 for o.
-3
Let u = -130 - -132. Solve -7*z + 14 = -4*k - u*z, -3*z + 2 = 4*k for k.
-1
Let t be 8/(-3)*6/(-4). Suppose -g - 9 = -t*g. Solve 0*c - g*c = 3*d + 15, 0 = 5*c + 15 for d.
-2
Let j be 1*(-6)/(-2)*(-6)/(-9). Solve j + 5 = -b + 3*i, 10 = 2*b + 2*i for b.
2
Suppose q + q - 4 = 0. Suppose i - 2*i = -4*j - 12, 2*i = -j + 24. Let k = -7 - -8. Solve -5*p + i = -q*w, 3*p + 5*w + k - 2 = 0 for p.
2
Let k be 6/(-1 + -1)*-1. Let x be 10/15*(7 - 1). Suppose 3*h - 2 = x*s, 2*h - k*s - 1 = -0*s. Solve n - h = o + 2, -4*o - n - 1 = 0 for o.
-1
Let g be (5/(-10))/((-2)/(-16)). Let w(r) = -r**2 - 4*r + 2. Let d be w(g). Solve 3 = -5*o + s + 11, 14 = 5*o + d*s for o.
2
Let s(w) = -5*w - 1. Let l be s(-1). Suppose t + 6 = -l*t - p, 4*p + 3 = t. Let u be 3/(2/(-5) - t). Solve -o + 2*b - 7 = 0, 2*b = -u*o + o + 2 for o.
-1
Let i(r) = -r**3 - 14*r**2 + 2. Let c be i(-14). Solve -2*o - 5*p - 9 = c*o, 3*p + 31 = 4*o for o.
4
Let s(c) be the second derivative of -c**4/12 + c**3 + 2*c**2 - 4*c. Let u be s(6). Solve -u*l + 11 = -2*f - f, -4 = 2*f - l for f.
-1
Suppose -9 = 4*g - 3*i, 0*g - 2*g + 3*i - 9 = 0. Let n be (-4)/10 - 22/(-5). Let x be (10/(-20))/(2/(-20)). Solve n = -4*p, k - 4*p - x - 2 = g for k.
3
Suppose 9*t - 160 = t. Let a = 10 - 6. Solve 2*s - 6 - 12 = 4*q, a*q = 4*s - t for q.
-4
Let i = 150 - 129. Solve -5*o = 2*d - i, 2*o - 1 = -4*d + 1 for d.
-2
Let y(r) = -r**2 + r + 10. Let l be y(0). Suppose 3*f + 3 + l = 5*k, 10 = 3*k - 4*f. Solve -1 = -k*g + 3, -1 = -5*o + 2*g for o.
1
Let n = -36 - 2. Let k be (-95)/n + 2/(-4). Solve 0 = 5*l - k*l + 3*f - 12, 0 = 4*l + 5*f - 19 for l.
1
Let b(x) = -x**2 - 2*x + 1. Let g be b(-3). Let a(k) = -k**3 - 2*k**2 - 2*k - 1. Let t be a(g). Solve t*p + 4*r = -8, -3*p + 4*r = 26 - 10 for p.
-4
Let j be 8/6*(7 + -4). Suppose 0*c + j*c = 0. Suppose 2*o = -c*o - r + 9, 5*o - 5*r = -15. Solve -2*d + o - 10 = 0, 5*d = p - 15 for p.
-5
Let b = 34 - 25. Solve t - g - 2 = 0, g + 11 = -5*t - b for t.
-3
Suppose -4*n + d = 0, 18 - 2 = 4*d. Let x be 2*(3 - 2/n). Solve -2*v - x*r = 15 - 3, 4*r = -v - 9 for v.
-5
Suppose 33*g - 12 = 29*g. Solve s + 6 = 3*s + 2*h, 0 = 4*s + g*h - 7 for s.
-2
Suppose 4*u - 68 = 4*d, -3*d = -2*u - 2*u + 67. Solve 2*s + m + u = -2*m, -10 = s + 2*m for s.
-2
Suppose 5*l = 80 + 10. Solve p = 4*y - 0*p + 4, 0 = -y - 4*p - l for y.
-2
Suppose 0 = -3*l + 6*l - 45. Solve 4*o + l = -4*r - 17, 0 = 4*r + 3*o + 29 for r.
-5
Suppose -2 = d - 6. Solve -m - m + 12 = 4*g, 0 = d*g - 2*m - 12 for g.
3
Suppose -2*b + 23 = 3. Solve 2*i - b = k + 4*k, -2*i - 4*k - 26 = 0 for i.
-5
Let k be 1*(2 + -1 + -1). Suppose 2 = -o + 2*o, -5*c + 3*o + 14 = k. Solve -5*i + c*v = 12, -5*i = v + v - 6 for i.
0
Let x = -12 + 27. Suppose -p + x = 2*p. Solve -z - 2 = -u, 0 = 2*u - 0*u - p*z - 16 for u.
-2
Suppose 0*b = -b. Suppose -3*c + 3*p = -30, -c = -5*p - 17 - 13. Suppose 3*j + 4 = 4*x + 120, b = -c*x + 5. Solve 0*q = 5*q + 4*v - j, 4*q - 3*v = 1 for q.
4
Suppose 0*y - 12 = 3*y. Let b = y - -6. Solve -3*q + 2*v + 1 = 0, 0 = -b*q + v + 2 - 1 for q.
1
Let v(m) = -m**3 - 19*m**2 - m - 14. Let j be v(-19). Solve -3*x = -j*o + x - 14, 3*x + 1 = -2*o for o.
-2
Let b(i) be the second derivative of -i**5/20 + 7*i**4/12 + 4*i**3/3 + 2*i**2 + 3*i. Let k be b(8). Solve 0 = 3*p - 5*d + 22, p + 3*p + k*d + 8 = 0 for p.
-4
Suppose 4*y + 17 + 39 = 0. Let w be (-8)/(-28) - (-4)/y. Solve 10 = -5*f - w*f + h, 6 = 