4*p - 20 = -4*y, p - 1 - 1 = 0. Solve 7 = -3*m - 2*b, -m + y*b + 7 = -2*m for m.
-1
Suppose 5*j = -c + 30, 4*c + 29 = 2*j + c. Let g be j + -1 + (-1 - -1). Solve 0 = p + 2*n - 4, -2*n = -5*p - g*n - 4 for p.
-4
Suppose -3*r = -5*r + 20. Suppose -s - s = -r. Solve 3*n = 3*z + 2*z - 31, 0 = -s*z - 5*n + 15 for z.
5
Let c be (5 - 3) + 2 + 3. Solve 2*x - 8 - c = 5*b, 15 = -5*b + 5*x for b.
-3
Let a(i) = -i**3 - 4*i**2 - 3*i - 4. Let n be a(-4). Let d be -75*2*(-5)/10. Suppose n*k - 3*k - d = 0. Solve -5*y + k = -5*b, -15 = 2*y - y + 5*b for y.
0
Suppose -5*s = 3*w - 25, -2*s + 10 = 17*w - 15*w. Solve 2*k - s*h = -7, -4*h + 5*h = k + 2 for k.
-1
Let f = -17 + 20. Solve 26 - 9 = t + f*h, 0 = -h + 5 for t.
2
Suppose 0 = 4*c - s - 82, -c + 29 = 6*s - 2*s. Solve 5*m - c = x, -2*x - 33 = -5*m - 4*x for m.
5
Let w = 23 + -18. Solve h - 4*h - 4*o = -1, 4*o + 9 = -w*h for h.
-5
Suppose 0 = 5*o + m - 10, 3 = -3*o - 3*m + 9. Suppose -8 = 4*t - 8*t. Suppose 0 = -2*j + t + 4. Solve -3*a + o*w = 4 + 2, 2*a = -j*w - 4 for a.
-2
Let j(l) = -l**3 - 5*l**2 - 3*l + 2. Let n be 12/18 + 22/(-6). Let i be j(n). Let w be (-2)/4 - i/2. Solve 3*r = 4*x + w, -5*x + 17 - 2 = 0 for r.
5
Suppose a + 2*a = 6. Suppose 3*z = 5*p - 10, -p + 0*z + 2 = z. Solve -a*t - 3*m - 3 = 0, 0*m = -p*t + 4*m + 18 for t.
3
Let i(v) = -2*v + 1. Let f be i(-1). Suppose 5*n = -4*y + 73, 19 = 2*y - 3*n + 2*n. Suppose 0 = t - 5*t. Solve t*s - 4*s = y, -1 = -4*k + f*s for k.
-2
Suppose -3*j + 4*j + 5 = 0. Let p be 1*0/(j + 1). Solve 0 = 5*k + 5*r - 30, -3*k + p*r - 14 = -5*r for k.
2
Let q be (12/(-10))/(15/(-25)). Solve -2*b = 3*c + 13, b + 4*c = -q*b - 17 for b.
1
Suppose -4*y - 10 = -g - 2*y, -y = 5. Solve 5*r + 6 = 2*r - 5*l, 3*r + 4*l + 6 = g for r.
-2
Let p(n) = 2*n. Let m be p(2). Solve m*y = -3*j + 7, -4*y = -4*j - 0*j - 28 for y.
4
Let j be (3 - (-8)/(-3))*9. Solve 4 = -5*b + 5*t - 26, j*b + 12 = t for b.
-3
Suppose 3*s = -76 + 190. Solve 0 = -4*g - 4*i, -s = -4*g + 5*i + 7 for g.
5
Let i(s) = s**3 - 3 - 7*s + 19 + 11*s**2 + 8*s. Let k be i(-11). Solve -3 = 3*q + y, -k*q = 2*y - 2 + 6 for q.
-2
Let u be (-2)/3*(-12)/(-2). Let c be (-5)/(3 + 1*u). Solve 3*z - 15 = c*i, 2*i + 0*z = z - 5 for i.
0
Suppose -d + o = -4, 4*o - 12 = -4*d - 4. Solve d*c - 5*y = c + 30, 3*c = 2*y + 23 for c.
5
Suppose -2*i = -4*r - 6 + 18, -6 = -2*i - 2*r. Solve -5*w + i*w = -5*l - 25, -w + 3*l = -9 for w.
3
Suppose 4*y - i + 84 = -5*i, 5*i - 95 = 5*y. Let g be y/110 + (-9)/11. Let j be (-3 - 0/(-2))*g. Solve 0 = 2*c + 2*q + 6, 3*c - c - j*q = -11 for c.
-4
Suppose 17 - 41 = -2*d. Suppose -2*b + 1 = 3*t, -2*t = 4*b - 9 + 3. Let f(s) = s**2 + 3*s - 1. Let k be f(b). Solve -v + k = 2*r, -38 + d = v - 5*r for v.
-1
Suppose 3*c - 2*c = 2. Solve 4 + 0 = -c*q, 5*q = -3*r + 5 for r.
5
Let b = 2 + 0. Suppose 0 = -4*r + 10 - b. Solve -3*w = -r*f, w + 0*w = -f + 5 for w.
2
Let q(w) be the second derivative of -w**3/2 - 9*w**2/2 - 7*w. Let z be q(-7). Solve 2*h - 2*a - a - z = 0, -2*a - 13 = -3*h for h.
3
Let k be 94/(-10) - (-8)/20. Let x = k - -13. Solve x*y - 3*m + 20 = 0, 3*y + 3*m - 10 = 5*y for y.
-5
Suppose 3*s + 2*u = 18, 4*u - 2 = 2*s + 2. Suppose -d + s*d = 6. Solve d*y + 22 = -5*c, -2*c + 3*y - 3 = -2*y for c.
-4
Suppose -l = 2*w - 4*l - 19, 0 = 2*w - l - 9. Solve -4*f - 5*d - 2 = 0, -w*f - 5*d + 2 = -2 for f.
-3
Suppose a + 3*n = 2*a - 4, 5*n = 3*a - 20. Suppose -a*x + 11*x = 0. Solve x = 3*p + 3*l + 3, 0*l + 3 = -l for p.
2
Suppose -3*a = -2*a - 4. Let c(d) = -13*d - 8. Let m be c(6). Let t be m/(-6) - 8/(-12). Solve p = -a*p - t, 0 = x + 5*p + 18 for x.
-3
Let c(u) = 4*u**2 + u**2 - 2*u**2. Let h be c(-1). Solve -2*z = -2*k - 2*k + 2, 0 = -h*k + z for k.
-1
Suppose 73 = k + 4*k + 3*t, -t + 29 = 2*k. Let b = -30 + 36. Solve 2*d - b = 0, -2*h - 2*h = -2*d - k for h.
5
Let d be (-2)/10*(-3 + 6 + -13). Solve -2*b - u + 1 = -3*b, -2 = -3*b + d*u for b.
4
Let y(b) = b**3 - 5*b**2 - 2*b + 9. Let m be y(6). Suppose 3*p = -5*q - 0 + 7, 0 = -5*p - 3*q + m. Solve 0*s + 10 = 5*h - s, p = -h - 2*s for h.
1
Suppose 2*j - f = 11, 7*j - 2*j = -f + 17. Suppose j*i - q - 13 = 0, -2*i + 23 = 2*i - 3*q. Solve 2*s = i*z + 12, 2*z = -z - 9 for s.
3
Let p be -3 + 1/((-2)/(-22)*1). Solve 12 = -t + 5*w, -2*w = -5*t - 6 - p for t.
-2
Suppose -h - 3*b = -5*h - 7, 2*h + 5*b = 29. Suppose 0 = -k - k. Solve -4*v = -5*r - 22, k - h = r for v.
3
Suppose 0 = -q + 5*r - 1, 5*r - 3*r = 3*q - 10. Solve 4 = 4*n - 2*n - b, 16 = q*b for n.
4
Let f be -1 + 2 + 8/4 + 2. Suppose 0 = -y + 4*k + 22, y - 2*k = -0*y + 12. Solve -5*z + 5 = y*n - 7*n, -5*z = f*n - 5 for z.
1
Let z be (-9)/(-6) - 10/(-4). Suppose 4 = 4*t - z. Solve -t*w = 3*g - 4, w = 3*g - 0*w + 2 for g.
0
Let h(f) = -3*f**2 + 1. Let m(s) = -12*s**2 + 4. Let g(t) = -9*h(t) + 2*m(t). Let p be g(-1). Solve -p*d - 2*d - c - 20 = 0, 3*d + 15 = 3*c for d.
-5
Suppose i + 3*i - 8 = 0. Suppose -n = i*n + 3*b - 33, -b = 2. Solve -3*f - n = 2*s, -3*f - 2*s = s + 15 for f.
-3
Suppose 4*d = -p - 33, 2*d + 5*p = -4 + 1. Let f = -3 - d. Suppose -f*b = -5*b. Solve 0 = -5*r - b*x - 2*x + 19, 2*r - 16 = -5*x for r.
3
Let y be (-2)/(2 - 4)*2. Solve -2*w + 1 = 3*d, -8 = -y*w - 3*d + 7*d for w.
2
Let n be 4*(2 - (-2)/(-2)). Suppose -7*b = -5*b - 3*s - 6, -s = -b + 3. Solve 0 = -3*t - 6 + 15, -t = -n*d - b for d.
0
Let i(x) = x**3 + 10*x**2 - 27*x - 29. Let l be i(-12). Solve y + 3 = -5*f + l, 5*f - 3*y + 12 = 0 for f.
0
Let d = -180 + 185. Suppose -n = -14 - 16. Let v be 3*5/(n/8). Solve d = 3*t - s, -t - 4*s - 11 = -v*t for t.
1
Let u(y) = y**3 - 8*y**2 + 8*y + 1. Let v be (-66)/(-10) + 4/10. Let n be u(v). Solve 0 = -5*d + 5*g + 25, -n*d + 4*g + 20 = -3*d for d.
0
Let t(i) = -i**2 - 4*i + 4. Let v be t(-5). Let z be (v + 3)*(-1)/(-2). Let b be (2 - z - 1) + 4. Solve -3*d = -b*a - 0*d + 3, d = 3 for a.
3
Let w = 5 - 10. Let b = w + 5. Solve b = 4*t + 3*j + 11, 4*t + 16 = -4*j for t.
1
Suppose 20 - 2 = -3*w. Let d = -2 - w. Let s be (-6)/15 - (-82)/5. Solve -3*k - 17 = 3*x + k, -4*x - d*k = s for x.
1
Suppose 4*c + 0 = 20. Suppose -3*q = 2*q - 5*p - 5, 5*q + 3*p = 13. Solve -c*j + j + 14 = h, 16 = q*j - 4*h for j.
4
Let h = 2 + -5. Let c = 7 + h. Let x be (-14)/(-6) - (-2)/3. Solve -x*a - 2*p + 4 = 0, 6*p = -5*a + c*p + 4 for a.
0
Let g = -34 - -36. Let q(f) = -f**2 + 7*f - 4. Let l be q(6). Solve 0 = -2*m - 2*p + 12, -2*p + g = -l for m.
4
Suppose 5*d - 7 - 3 = 0. Suppose -c = -3*w + d*w + 2, 3*c + 12 = 5*w. Solve 3*a + 2*g + c = 0, 5*a - 1 = -4*g - 0 for a.
-3
Let a(y) = -14*y - 2. Let u be a(-2). Solve -5*x = -2*d - 29, 3*d = -0*d + 4*x - u for d.
-2
Let k be ((-2)/6)/((-2)/6). Let b = k + 1. Solve 0 = -i + b*m + 6, -3*i + 3*m + 1 = -2 for i.
-4
Suppose -2*v - 4*t - 8 = 0, 0 = -5*t - 9 - 11. Suppose b + 0*b - 3*y - 3 = 0, 0 = 3*y. Solve 0 = -0*m + v*m - 16, 0 = f + b*m - 17 for f.
5
Suppose 2*g = g - 5. Let x be (-2)/5 + (-27)/g. Solve -b + 3*f - 12 = b, b = x*f - 13 for b.
-3
Suppose 2*h + 5*k = 30 + 1, 0 = -5*h - 3*k + 30. Suppose 3*t - h = 2*t. Solve 4*d = -j + t, j + 25 = -2*j + 5*d for j.
-5
Suppose 0*k - 3 = -k. Suppose -2 = 3*x - 11. Solve -5*r = -x*q - 9, 3*q = -r + 4*q + k for r.
0
Suppose -p - 3 = -7. Suppose -3*k = 3*n - 0*k - 3, p*k = -2*n. Solve 3*x + l = -n + 6, 4*l = 4*x for x.
1
Let r be ((-9)/(-9))/(-1 + 36/34). Solve -3*w + 11 = 5*y, -3*w - 2*y = -4*y + r for w.
-3
Suppose -4*c + 4*u + 8 = -0*u, 0 = -c + 4*u - 4. Suppose c*f + 4 = -0*f. Let v(y) = -4*y. Let k be v(f). Solve -4*d = 4*l, 0 = k*l - d + 2*d + 3 for l.
-1
Suppose 5*m = -3*m + 4*m. Solve 3*a + 1 = -4*j - m*a, -3*j + 3*a - 27 = 0 for j.
-4
Let c be (-9)/(-1) + 0 + -3. Suppose -u + c = u. Solve w - 8 + 26 = 3*d, -u*d = 5*w for d.
5
Suppose 15 - 3 = 4*x. Suppose -3*m = 2*m - 4*k - 8, 0 = 2*m + x*k - 17. Solve -5*c + m*w - 4 + 5 = 0, -4*w = -4 for c.
1
Suppose 2*l - 18 = -4. Suppose 2*c = l - 1. Let g = c - 1. Solve 4*x - 3 = 5*h, 0 = 6*x - g*x - 4*h - 4 for x.
2
Let k = 4 - 2. Let t(w) = 4*w - 3. Let h be t(k). Let j be 4/(-10)*5*-1. Solve -v = -j*m - 13, 4*m - v = -18 - h for m.
-5
Let q = 2 + 2. Let d be 10 - q - (2 + 1). Solve 10 = 3*t - h, 4*t - 21 = d*h - 6 for t.
3
Suppose 0 = -5*s - 0*s. Let v = -23 - -39. Suppose -5*l + 4 + v = 5*i, 3*i - 4 = -l. Solve -4*o + l*r + 16 = s, 5*o + 0*o + r - 2 = 0 for o.
1
Suppose a + 0*a + 