16, -p*c + g = 5 for c.
-3
Let z(t) = -3*t - 11. Let g be z(-7). Suppose 7*r = 74 + g. Solve 2*k - r = 6*k + 4*h, -3*k + h = -11 for k.
2
Let s = 25 + -19. Suppose -2*r - 5*f = 12, -8*r - 2*f = -4*r - 8. Suppose -o + s = o, -o = -r*l + 77. Solve 3*g = 5*c + l + 2, 5*g = 4*c + 15 for c.
-5
Suppose 3 = -3*h - 12, -4*h - 44 = 4*w. Let y(f) = -f**3 - 5*f**2 + 6*f + 2. Let g be y(w). Solve -n - g = -2*n - u, -3*n + 2 = u for n.
0
Let z be (2 - -4)/3 + 3. Suppose -z*y = g - 48 - 20, 5*y - 74 = 2*g. Solve -3*b - 4*v = -5*v + 5, 0 = -4*b + 5*v - y for b.
-1
Let t = 15 + -5. Let c be (3 - (-2 + t)) + 0. Let g be (10/(-6))/(c/15). Solve -2*s = g*n - 0*s - 18, 0 = 5*n + 5*s - 30 for n.
2
Let j be ((-16)/(-10))/((-3)/((-1050)/20)). Solve m + n = -1, 3*m - 5*m + 4*n = -j for m.
4
Let m be (2/(-6))/(-2*4/48). Solve 4*i = -s + 21, 7*i - m*i = -4*s + 29 for i.
5
Suppose 8*r = 3*r + 20. Suppose 0 = -4*t + 6*t - 6. Let o(i) = 2*i**2 + i + 1. Let g be o(-1). Solve g*z + 5 = p, r*z + 5 = t*p - 10 for p.
5
Let b = 4 + -6. Let n be (2 + (-3 - 0))*b. Let u(w) = -w + 4. Let p be u(4). Solve 4*g = -n*k - 2, -g = k - p*g + 1 for k.
-1
Let r be (-12)/(4 - 7) - 1. Solve -3*j - j + 16 = 0, -r*y - 3*j + 24 = 0 for y.
4
Let s = 1 - -2. Suppose 2*v = s*i + 13, -4*v + i + 4*i + 25 = 0. Solve -10 + 0 = 2*q + 4*x, v*q + 5*x = -10 for q.
1
Suppose 3*n + 5 - 26 = 0. Let v = -179 - -184. Suppose 0 = 2*g - 1 - 3. Solve 3*i = v*y - n, 2*i + g = -y + 6 for i.
1
Let k = -1 + -1. Let b = 0 - k. Suppose -a + b = -3. Solve 5*w = 2*q + a, 2*w + 0*w - 2 = 2*q for q.
0
Let q(l) = 2*l - 4. Let o(n) = 2*n**3 - n**2 - n - 2. Let w be o(2). Let d be q(w). Suppose 0 = -0*z - 2*z + d. Solve 2*m = z, -3*m + 19 = 2*b + 2*m for b.
2
Let g be 3/(-2) - (-1)/((-6)/(-45)). Solve 5 = 3*a + 2*w, 4*a - 3*w - g + 5 = 0 for a.
1
Let h be (-2)/(-3)*(8 + -5). Solve h*w = -w - 4*v + 16, -3*v - 1 = -w for w.
4
Suppose -5*g = -2*g - 6. Let f = 6 - 3. Suppose -4*l = 3*c - f, 4*c + 8 = -4. Solve -g*d + 0*y - 2*y - 2 = 0, 2*d + y = l for d.
4
Let f(u) = -2*u - 10. Let r be f(-8). Suppose 2*i + r = 2*z - 0*i, 4*i = 4. Solve 3*g - 5*p = -1, -4*g - 14 = g + z*p for g.
-2
Suppose -1 = -p + 2. Suppose -2*q + p = -q. Suppose 2*x - 3 = q. Solve 0 = d + 5*k - 15, d = -x*d - 2*k + 6 for d.
0
Let t be (-5 + 0)*2/5. Let w = 1 - t. Solve 3*x + 19 = -8*i + 3*i, -w*x + 4*i = -26 for x.
2
Let g(h) = -h**2 - 5*h + 1. Let u(z) = z**2 - 6*z - 4. Let r be u(6). Let k be g(r). Solve -3*s + 4*j = 2*j - 17, 0 = k*s + 4*j + 1 for s.
3
Let m = 0 + 0. Suppose v + 2*s = m, 0*v - 2*v = -5*s. Solve 4*o = -2 - 2, -2*i - 5*o - 13 = v for i.
-4
Let r(i) = -i + 20. Let v(p) = p**3 + 5*p**2 - 10*p - 9. Let n be v(-6). Let u be r(n). Solve 0*l - l = -5, u*f - l = -30 for f.
-5
Let q be (6/8)/(2/24). Let i(r) = r**2 - 9*r - 4. Let w be i(q). Let g be (-28)/w - 1*-1. Solve 0 = 5*a + 4*n + g, -5*a + 3*n - 10 = 19 for a.
-4
Let v be (2/4)/(3/30). Solve -4*h = -v*h + 4, -j - 5*h + 17 = 0 for j.
-3
Suppose 4*t - 10 - 6 = 0. Let f(q) = -t + 3*q - 5 - 5*q. Let w be f(-6). Solve k + 9 = 2*d, k = -0*k - d + w for k.
-1
Let b be 0/((2/(-2))/(-1)). Let f(t) = -t. Let r be f(b). Solve r*q - 13 = -2*q - 3*w, 5*w = 3*q + 9 for q.
2
Suppose -5*o - 5 = -0. Let n(b) = -31*b - 1. Let f be n(-1). Let d be f*(3*o)/(-6). Solve l - 4*u + 13 = 0, u = 3*l + 2 + d for l.
-5
Suppose 3*u + 13 - 37 = -x, 5*u + 5*x = 30. Let t = u + -16. Let g(q) = -q - 3. Let a be g(t). Solve 0 = 3*i - a*n - 22, i + 4*n + 14 = -0*i for i.
2
Let w = 9 - 4. Let r be (-2)/5 - 17/(-5). Suppose 3*p - r - 9 = 0. Solve 19 = -0*o + w*o - 2*b, p*o = 3*b + 11 for o.
5
Let s = 4 + -4. Suppose 0 = -4*g, -b + s = 2*g - 5. Solve -3 = 3*c + 4*z + 5, -c - b*z - 21 = 0 for c.
4
Suppose y + y - 4 = 0. Suppose 2*p + 8 = 6*p. Suppose -p*c + 7 = -1. Solve -o - c = 2*t, y*o - 4*t = -0*t + 24 for o.
4
Suppose 2*s = -8, -2*z + 233 = 3*z - 2*s. Suppose -4*f + z = -f. Solve 2*m = -3*r + 14, 2*m + 2*r + 5 - f = 0 for m.
1
Let o = -3 - -4. Let l be (-4)/(-2) - (-2 - o). Solve -4*j + l*p - 6 = 0, -4*j + 2*p = 7 + 5 for j.
-4
Suppose 23*h = 27*h - 20. Suppose 0 = 5*r - 10, 5*r + 15 = -x + 38. Suppose -k = -37 + x. Solve 0 = -3*d - q + 13, -h*d + d = 3*q - k for d.
3
Let x = 9 + -5. Suppose 0 = -x*p + 1 + 7. Solve 4*u + 0*o + 10 = -2*o, -5*u - p*o - 13 = 0 for u.
-3
Let p(c) = -c**3 - 5*c**2 + c - 3. Let n be p(-6). Suppose -4*o + 36 = 5*z - n, 3*o = 4*z + 55. Solve 25 = -2*r + 5*x, 2*x = -4*r + x - o for r.
-5
Suppose y = 3*k - 2 + 1, 0 = -5*y + 3*k + 19. Let b be ((-1)/(-3))/(2/930). Suppose -y*d - b = -10*d. Solve 2*v = 4*v - 5*n + d, v - n + 8 = 0 for v.
-3
Let g be 2/3*-3 + 1. Let y be (0/g)/(2 + -4). Suppose -2*m - 20 = -4*m - 3*s, -40 = -5*m - 5*s. Solve -2*j - 10 = 0, -21 = -m*r + j - y*j for r.
4
Suppose 2*c + 7 = -31. Let i = -13 - c. Suppose 2*j - 5*x = -i + 27, 0 = -j - 3*x - 6. Solve -11 = -4*o - 3*q, 8*o - j*o = -2*q + 19 for o.
5
Suppose -3*v - f = -13, 6*v - 4*v - 5*f = -14. Suppose v*n - 13 = 3*o + 2, -5*n - 3*o + 25 = 0. Solve 5*d + 10 = q, -5*d - 2 = -n*q - 12 for d.
-3
Let u be 8/24 + 10/12*2. Solve -3*o + 6 = -l - u, l + 3*o - 10 = 0 for l.
1
Suppose z + 5*n = -12, z - 2*n - 15 = -2*z. Solve p + 5*c = 14, z*p - 3*c = 6*p - 6 for p.
-1
Let u be 2 + 5 - (-2)/(-2). Let f be u/21 - (-80)/14. Solve -4*q = g - 11, 2*g + 3*q - 1 = f for g.
-1
Let h(g) = 6*g**3 - g**2. Let r be h(1). Let m be (28/(-6) + 3)*-3. Suppose m*c = c + 16. Solve -n + r = 2*f, -2*f + c*n - 20 = f for f.
0
Suppose -2*a = -26 - 6. Suppose -2*r + a = 2*r. Solve 4*v - 8*v - 14 = -2*l, -2*v - 12 = r*l for v.
-4
Let x = -25 + 36. Let n = -9 + x. Solve -5 = n*j + 3*b, j + j - b - 7 = 0 for j.
2
Suppose b + 3*b - 8 = 0. Solve 0 = -q - 4*d + 22, 0 = b*q - d - 3 + 4 for q.
2
Let r = 5 + -1. Let f(i) be the first derivative of -i**2/2 + 8*i + 2. Let z be f(r). Solve -z*j + g + 6 = 0, -4*j = -5*g + g for j.
2
Let k(r) = r + 5. Let g be k(-5). Suppose 0 = 8*m - 3*m - 20. Let b be (-2)/(m/22)*-1. Solve g = -2*f - 4*p + b + 5, 4*f + 3*p - 17 = 0 for f.
2
Suppose r = -5 - 3. Let u be (r/(-20))/((-2)/(-30)). Solve -2*y + 0 = -3*o - 8, 4*y + 5*o = -u for y.
1
Suppose -4 = 2*f - 8. Let v be 1*((f - 0) + 2). Solve 4*h + 5*u = -11, v*u = -4*h - 2 - 6 for h.
1
Let c(y) = y - 18. Let b be c(20). Suppose 3*j + 8 = -4, l - 5*j - 23 = 0. Solve -l*o + 10 = 3*a - 4*a, -4*a - b*o = -30 for a.
5
Suppose 24*o = 27*o - 6. Solve 2*m + o*a - 3 = 3*m, -5*m + a - 15 = 0 for m.
-3
Suppose 3*h + h - 24 = 0. Let d(s) = -2*s - 7. Let c be d(h). Let k = 28 + c. Solve 2*u - k = 3*p, p - 1 = 3*u - 4 for u.
0
Let q = -160 - -164. Solve 0 = -q*g + 8, s + g + 2 = 3*g for s.
2
Suppose -2*u + 78 = 4*x, 4*u = x - u - 3. Solve -x = 3*n - 4*i, 4*n - i = 2*n - 7 for n.
-2
Let a = 22 - 12. Let n be (-2)/10 + (-8)/(-40). Let c = -4 + 8. Solve -c*t = 4*y + 8, n*y - a = t + 3*y for t.
2
Suppose 5*z - 12 = 2*z. Let j be -2 - -5 - (-7)/1. Let n = -4 - -8. Solve 0 = -d + z*b - j, -3*b = n*d + b for d.
-2
Let k be ((-10)/15)/((-8)/60). Solve -17 = x + k*m, 4*x + 2*m = 3*m - 5 for x.
-2
Suppose 11*l = 106 + 48. Solve -4*d = -2*x + 14, -3*d = -0*d - 5*x + l for d.
-3
Let g be (-6)/(1 - -5) + 9. Solve -10 = -u + 4*b, -2*u + 7*u + b - g = 0 for u.
2
Let g = 121 - 119. Solve -4*t - v = -7, 12 = -t + 5*v - g for t.
1
Suppose 5*i - 8 = 3*i. Let w be (-14)/(-3) + i/12. Suppose 2*a + 1 = -0*a + 5*l, 5*l + 20 = w*a. Solve -5*u + 2*n + 14 = -a, -u + 5*n + 18 = 0 for u.
3
Let d(u) = -u**2 + 4*u - 2. Let a be d(4). Let f be 8/(-1) - (0 + a). Let q = 8 + f. Solve 3*k + 6 = 5*o + 2*k, -o - 3*k - q = 0 for o.
1
Suppose -2*x - 2*x + 16 = 0. Solve n - l = 0, 0 = -2*n + 4*l + 4 + x for n.
-4
Let r(p) = -p**3 - 2*p**2 + 2*p + 2. Let d be r(-3). Let t be (-6 - -6)*2/(-4). Solve w = 5*o - 19, t = d*w - 6*o + 2*o + 11 for w.
1
Suppose -5*h + 2*b + 17 = 0, 5 + 8 = h + 2*b. Let r = 7 - h. Solve -4*v - 3*k = r*k + 20, -k - 4 = -4*v for v.
0
Suppose -9*s = -4*s. Suppose n + 3*l - 3 = 0, -2*n - 5*l + 8 - 2 = s. Solve 2*c - 4*c + 12 = 4*a, -a - 4 = -n*c for c.
2
Let x be -1 - 10/(-8) - (-15)/4. Suppose 0 = 2*l - 5 - 3. Solve 0 = -4*j + 5*z - x, j + l*z = -j + 24 for j.
4
Let p(g) = g**3 - 11*g**2 - g + 13. Let u be p(11). Solve -y - u*y + 5 = -k, 0 = k - 4*y + 5 for k.
-5
Let x = 7 - -28. Solve 5*d + x = 4*l, 4*d = -3*l