 = -3 + 5. Solve -r*m = -5*a + 15, -2*a + 6 = -3*m - 11 for a.
1
Suppose 0 = -0*t - 2*t. Solve -p - 2*o + 6 = t, -p - o + 0 = -4 for p.
2
Let k(a) = a**2 + 28*a - 55. Let x be k(-30). Solve -3*l - l = -2*y, 20 = -x*y for l.
-2
Let s(g) = -g**3 - 3*g**2 - 2*g + 4. Let c be s(-3). Solve 2*m - 3*p - 3 = 0, 2*m - 5*p = -3*m + c for m.
3
Let q(b) be the third derivative of b**4/24 + b**3/3 + 3*b**2. Let j be q(-2). Suppose j = -2*u + 14 + 22. Solve -3*n = -3*l + u, n - 4*l = 3*n for n.
-4
Suppose -4*d + 0*d = 0. Let z = 6 - 2. Let v be 20/6 + 6/(-18). Solve 2*m + v*r + 7 = d, -3*m = 2*r + z - 1 for m.
1
Suppose 2*t + 4 = 3*t. Solve 0*c - 3*c = -4*g + 9, t*c + g = 7 for c.
1
Let a be (-25)/10*8/(-10). Solve -5*t - 6 = -a*p, -2*p + 9 = -4*t + 3 for t.
0
Let t(p) = p**2 - 7*p. Let i be t(7). Solve 10 = a - 3*h - 3, i = a + h - 1 for a.
4
Suppose 0*u + u = 3*v - 16, -5*u = 20. Solve -g - v = -2, -2*g = -4*x for x.
-1
Let p(s) = -s - 4 - 1 - 7*s**3 + 4 + 3*s**3. Let t be p(-1). Suppose -2*d = -t*d + 8. Solve 10 = -u - u + d*r, 5*u + 4*r + 11 = 0 for u.
-3
Suppose 19 = 5*s + l + l, -4*s + 18 = 3*l. Solve -4*t + 3*p - 23 = 0, s*t + 8 = 2*t + 3*p for t.
-5
Let r = -9 - -9. Solve r*l - 2*c = l - 4, 4*l = -c + 16 for l.
4
Let n = -10 - -20. Let d(v) = 2*v - 15. Let y be d(n). Solve 5*t + 2*l - 14 = 0, -y*t = -2*l + 18 - 44 for t.
4
Suppose -5*s + 22 = 7. Let m(j) = -j**2 + 6*j - 4. Let a be m(s). Solve 3*n + f = 7, -a*f + 18 = 2*n - f for n.
1
Let d = 31 + 1. Suppose 2*z - 210 = 4*r, 0 = z - 5*r - 76 - 44. Suppose -z - 90 = -5*w. Solve -w = 3*v + 4*j + j, -4*j = 3*v + d for v.
-4
Let d = -76 - -91. Solve -4*a + d = -p - 0*p, -5*p - 2*a = -13 for p.
1
Suppose 0*t = -2*t + 3*w + 19, 4*t = 2*w + 34. Solve -2 = -3*m - t, -4*m - 10 = 2*r for r.
-1
Suppose 4*p - 3*p + 2 = 0. Let n be p/8 + 34/8. Suppose 20*g - 16*g - 12 = 0. Solve 0 = 5*u - n*b + 33, 0 = 2*u - 2*b - g*b + 20 for u.
-5
Let k be (-4)/10 - 346/10. Let j = -23 - k. Solve s = -0 - 2, 2*y - 4*s - j = 0 for y.
2
Suppose -4*q = 3*z - 25, 2*q - 3*z = 42 - 7. Solve v + 0*u = 3*u, -4*v + 2*u - q = 0 for v.
-3
Suppose 3*p = 3*q + 9, p - 3 = 2*q - 2. Solve 0 = -5*u - 0*u - p*a + 30, 4*a + 12 = 5*u for u.
4
Let v = 18 + -15. Let n = 5 - 7. Let w = 5 + n. Solve 3*x - 4*y - 21 = 0, -w*x = 3*y - y - v for x.
3
Suppose 3*y = y + 4*k - 8, 3*y - k - 8 = 0. Suppose -4*z + 2*z = -4, -y*z - 4 = -4*f. Solve -d = -f*b - 2*d - 2, 4 = b - 2*d for b.
0
Let r(i) = i**3 + 8*i**2 + 7*i + 4. Let a be r(-7). Suppose -x = 3*x - 4. Solve -x = -y, -2*h = -3*y + 3 + a for h.
-2
Let l = 1 - 1. Let o = -264 - -266. Solve 0*k + 2*i = -4*k + 22, l = 2*k + o*i - 14 for k.
4
Let p = -8 - -13. Suppose -p*j + 5 = 0, 0*h = -h - 2*j + 2. Let l(y) = 9*y**3 - y**2 + 1. Let s be l(1). Solve -5*w = -0*w + 4*c - s, h = 2*w + 3*c + 2 for w.
5
Suppose 2*a = a - 5*f - 23, 0 = 2*a + f + 1. Suppose 2*y = -a*b - b + 4, y = -4*b + 7. Let g = 14 - 2. Solve -7*i + 2*q - 18 = -3*i, g = -b*i - 2*q for i.
-5
Let g be (2 + -1)*230/5. Let v be (-1)/(-3) - g/(-6). Let j = v + -3. Solve j*t + 4*n = -n, 12 = -2*t + 4*n for t.
-2
Let p = 5 - 3. Let d(n) = -n**2 + 5*n + 2. Let l be d(4). Suppose l*g - 2*g - 20 = 0. Solve -g*m = 3*v - 2, p*v = 2*m - 6*m + 2 for m.
1
Let p(i) = i**3 + 4*i**2 - 3*i - 10. Let z be p(-4). Solve -z*v = v - d + 3, -3 = 3*v + 3*d for v.
-1
Let i be (1 - 9/(-3)) + -1. Let j(g) = -g - 3. Let c be j(-5). Suppose -c + 59 = i*v. Solve u + v = -4*u - 3*m, 3*u + 3 = m for u.
-2
Suppose 16*l = -2*l + 54. Solve -2*a + 0 = -b - 1, -a + l = -3*b for a.
0
Let g be 5 - 0/(3 - 1). Let p(m) = m**3 - 5*m**2. Suppose 25 = 3*t + 2*t. Let o be p(t). Solve o = 4*z - 6 - 14, 29 = h + g*z for h.
4
Suppose -2 = 2*g + 10. Let x be ((-4)/6)/((-4)/g). Let y be 1/(12/10 + x). Solve q = -5*f - 3, -3*f + 4*f + y*q = 9 for f.
-1
Let y = -7 - -14. Solve 0 = -2*q - b - 10, -25 = 4*q + b - y for q.
-4
Let f = 5 - -1. Suppose -2*i = f - 14. Solve -12 = -3*r - 4*k, 6*r - i*r - k + 3 = 0 for r.
0
Suppose -4*f = -18 - 10. Solve -2*n = 3*k + 1, 5*k - 4*n - f = 28 for k.
3
Suppose -2*k - k = -18. Let z = 10 - k. Solve 4*y = z*r, 0 = 2*y + y - 4*r + 3 for y.
3
Suppose -o + 0 = -2. Suppose 3*y + 3*q - 18 = o*y, -3*q + 12 = -y. Suppose 81 + 79 = 32*n. Solve 0 = -g - k + y, 0*g = g + 2*k - n for g.
1
Let x be 6/4*16/3. Let m = x + -6. Solve -2*i + 4 = -5*r + 1, 2*r - i = -m for r.
1
Suppose -2*r - 3 = -13. Solve a - 16 = -5*u + 6, r*a + u + 10 = 0 for a.
-3
Let r be 28/35*(1 + (-3)/(-2)). Let o = 4 - 1. Solve 4*d - 28 = o*h + h, 3*h - 4 = -r*d for h.
-2
Suppose 0 = p + 4, 0 = f - 5*f + 3*p + 24. Suppose -4*t - 26 = -2*o, 6*o = 4*o + f*t + 22. Solve -4*v = 3*y - 7, -v + o*v = -4*y + 4 for v.
4
Let y(a) = 4 - 3*a**3 + 3*a**3 + 5*a**2 + a**3 + 3*a. Let b be y(-5). Let x = b - -15. Solve 3*c + x*i - 14 = 5*c, 0 = 4*c - i for c.
1
Let i be 2 - ((-4)/(-6))/((-22)/33). Solve -2*w + 2 = i*z, 0*w - 5*z = -5*w - 45 for w.
-5
Let t be 1/(-3) + (-20)/(-6). Suppose 4*z - 1 = t. Let k be (-3 - -8)*(z + 2). Solve -5*b + k = 4*j, b + 0 = -5*j + 3 for j.
0
Let b(i) = -2*i - 12. Let m(t) = -3*t + 6. Let k be m(7). Let l = -25 - k. Let c be b(l). Solve 3*f - 6*s = -2*s - 7, -c = 4*f - 5*s for f.
3
Let p(j) = 1. Let h(u) = u**2 + 2. Let r(s) = h(s) - 6*p(s). Let o be r(3). Solve g + 2*f = f + 2, -o*g = f + 6 for g.
-2
Suppose 4*n = -0*n + 16. Suppose -n*z - 15 - 1 = 0. Let g = 14 - z. Solve -5*w - 11 - 7 = -4*y, 4*w + g = 5*y for w.
-2
Let v(y) = -1 + 5*y - 3*y + y. Let q(i) = -16*i + 5. Let n(g) = 2*q(g) + 11*v(g). Let p be n(6). Solve -2*d + 7 = p*s, 2*d + 4*s = -2*d + 8 for d.
1
Let l(k) = k**3 - 4*k**2 + 4*k. Let d be l(3). Let b be d/2*(-64)/(-12). Solve 2*t = -3*h - 9, 3*t - 1 - b = 3*h for h.
-3
Suppose -5*i = -17 - 8. Let u(p) = 2*p**2 + 6*p + 4. Let x be u(-3). Solve -x*m - 2*j - 30 = -0, i = -j for m.
-5
Suppose -3*u - 2*n + 13 = -4*n, 2*n - 8 = -4*u. Solve -15 = -5*r - u*c - c, r - 5*c + 26 = 0 for r.
-1
Let d be (2/(-5))/((-3)/45). Let y be (-10)/(-3) - 2/d. Solve 2 + y = -o, 0 = 2*n - 4*o - 30 for n.
5
Suppose -2*a - a = 72. Let k be a/16*8/(-6). Solve -2*f - 4*w = -10, 5*f - k*w = -0*w + 25 for f.
5
Suppose 5*c = -0*c - 80. Let d be 24/c*(-1 + -7). Suppose 3*j - 2*j = 3. Solve -4*r = m + d, -r - j = 5*m - m for r.
-3
Let y = 11 - 7. Suppose -3*c + 171 = 4*t + 17, 0 = -y*t - 8. Let b be (2 - -1) + c/2. Solve -2*w = -4*j + 12, -4*w + b = w + 5*j for w.
2
Let a(s) = -11*s - 12. Let r be a(-2). Solve 4*v = 5*x - r, -x = 3*v - 0*x - 2 for v.
0
Let z be (-7)/(-28) - 30/(-8). Solve z*v + x + 20 = 6*x, 4*x - 16 = 0 for v.
0
Suppose -3*s + 0*s = -6. Suppose 0 = t - s. Let o = -27 - -27. Solve -t*c + 4*y - 1 - 1 = o, -2*c = y - 3 for c.
1
Suppose -4*g = -0 + 16. Let q = g - -7. Suppose v + q = 9. Solve 5*j - v*j = 5*b - 5, -5*b = 4*j - 5 for j.
0
Let r be 1 - (-1 - 1 - -5). Let u be r/(-4) + 2/(-4). Solve 22 = -4*n - s, 5*n + u*s + s + 27 = 0 for n.
-5
Let k(l) = l**3 - l**2 + 3*l - 1. Let j be k(2). Suppose 3*a = -0*a + j. Suppose 0 = b - 5*b - 4*g + 8, a*g = -6. Solve s - b*s - c = 5, 5*s + 4*c = 1 for s.
-3
Suppose 0 = 4*r - 167 + 419. Let v = -28 - r. Suppose -v = i - 4*i - 4*h, 2*i - h - 5 = 0. Solve i*f = -4*k - 15, -4*f - 1 = -5*f for k.
-5
Suppose 3*y = 2*y - 6. Let v = 8 + y. Suppose -v = 4*t - 34. Solve z = -1, t = -4*k - 2*z - 6 for k.
-3
Let y(j) = j**3 - j**2 - j - 1 - 2*j**3 + 5*j**3 - 2*j**3. Let t be y(2). Solve -2 = 2*l + 4*c, -5*l - 3*c - t = -25 for l.
5
Suppose 0 = -2*c + 8 + 2. Let l be -1*(-2)/(-4)*10. Let p be 10/(-3)*6/l. Solve c = 3*i - m - 2, m = -p*i + 14 for i.
3
Suppose -5*m - 13 = -2*a, -m = -2*a + a + 5. Let d be m/(-1)*0/6. Let i(n) = -n**2 - n + 3. Let g be i(d). Solve v - 15 = -g*w, 8*v = -5*w + 3*v + 25 for w.
5
Suppose 0 = -c + 18*c - 17. Solve 3*a + i = -3 + 7, -i + c = 0 for a.
1
Let y be (-4 - -3)*(-4)/2*1. Solve -5*f + 3 = y*g, 0 = -5*f + 3*f + 4*g + 6 for f.
1
Let m be 3 - (0 - (0 + -1)). Suppose 3*j = 3*q + 21, m*q - 19 = -3*j + 4*q. Suppose 2*c - 5 = j. Solve -2*h - 3 = 2*l + 7, -5 = c*l + h for l.
0
Let c(l) = l**3 - 5*l**2 + l - 2. Let x be c(5). Solve -f - x*r + 5 + 2 = 0, -4*f - 5*r = 0 for f.
-5
Let f be (-11 - -10)*(-2 - 2). Suppose 0 = f*z + 52 - 132. Suppose -4*i + 3*i = -4. Solve -i*k - 5*b + z = 0, k + 0*k + 5*b = 5 for k.
5
Suppose -3*d + 6 