2*i - 13 = 2*r - n*r for r.
1
Suppose -3*i + 0 = -15. Suppose -5*w - 33 = -5*g + 2, -w + i = 2*g. Solve -8 = f - 5*f - g*r, 2*f - 2*r = -8 for f.
-1
Suppose 2*m + 3 = -1. Let s be m/(-4)*(6 - 2). Solve 5*w + s*r + 12 = 0, 3*w - 3*r + 12 = -12 for w.
-4
Let g(y) = -y**2 - 6*y + 9. Let l(z) = z**3 - 7*z**2 + 5*z - 1. Let n be l(6). Let j be g(n). Let b = 9 + 1. Solve -b = i - j*p - 2, -4*i + 2*p = 8 for i.
0
Suppose -14 = -4*r + 6. Suppose r*h = h + 2*s + 32, -h + 3*s + 13 = 0. Let g = h + -7. Solve -3*k - p + 5 = g, 2*p - 4*p - 8 = 0 for k.
3
Let a(d) = -d + 5. Let n be a(5). Suppose 0 = p - n*p - 3. Suppose -5*t = -0*t - 10. Solve -t = -2*j + 4*q - 10, -p*q + 11 = j for j.
2
Suppose 1 - 49 = -3*w. Let h be 8 + (1 - (2 - (-5 + 3))). Solve -4*j + 1 = -h*z - w, 12 = 3*j - 3*z for j.
3
Suppose -3*i + 5*i - 2 = -5*x, 0 = 2*i + x - 10. Suppose 27 = i*n - 3*n. Let r(v) = -v - 2. Let c be r(-4). Solve -3*d = 12, -2*l - c*d - n = 5 for l.
-3
Let g = 8 - 3. Solve -4*m = -g*w - 30, -4*w - 33 = 2*m - 7*m for m.
5
Suppose 9*c = 8*c. Solve f - 5*d + 20 = c, -5*f - 2*d - 9 = -2*f for f.
-5
Suppose -3*h = -5*f + 19, 2 = -f - h + 1. Solve -v + 3*v - 2*y + 2 = 0, -y = -f*v + 2 for v.
3
Suppose 2*u + 78 = 8*u. Solve -3*t - 4*n = -u, -n + 5 = 1 for t.
-1
Let s = -24 + 46. Suppose -2*q + 4*q = 2*k - 14, 4*k = -4*q - 12. Let u be -7 - -10 - (-4 + k). Solve -4*c - s + 10 = -u*f, 0 = 2*f - 2*c - 4 for f.
4
Let k(v) = 3*v - 9. Let m be k(4). Solve 2*c + 11 + 1 = 2*h, -m*c = -h + 8 for h.
5
Suppose -h - 5*p - 89 = -4*h, 107 = 5*h + 2*p. Solve 5*o = -j - 28, -17 = 5*o + 5*j + h for o.
-5
Let j = -18 + 18. Suppose 3*c - c = 10. Let w(h) = 2*h**2 + 3*h. Let s be w(-2). Solve j = -5*o - c*f + 10, o = 4*o + s*f - 4 for o.
0
Suppose -3*b = -6*b + 12. Let y be 2 - (-4 + 3 + 3). Suppose -t + 0*t + 5 = y. Solve -6 = -2*j + 4*m, 11 = t*j - b*m + 2 for j.
1
Suppose 4*k + 24 = 10*k. Solve 0 = 4*t + 3*p - 9, 0 = -4*t - 0*t + k*p + 16 for t.
3
Let n = -170 + 180. Solve 0 = r - 3*c - n, 4*r + 29 = -5*c + 1 for r.
-2
Let i be 5/25 - (-9)/5. Suppose -5*b - 25 = 0, i*b + 70 + 30 = 5*d. Solve 0 = 5*j - 8*j + 3*f - d, -2*j = f + 6 for j.
-4
Suppose 5*m = 4*m + 5. Let j(r) = r**2 - r + 5. Suppose 5*v = z, 0 = -4*v - 4*z - 0*z. Let n be j(v). Solve -f = -m*c + 10, -n = -2*f + 5 for c.
3
Let t = 241 - 239. Let i be (-2)/6 + (-1)/(-3). Suppose 0 = -x - 2 + 7. Solve 5*j - 2*j + 5 = x*h, -t*j = i for h.
1
Suppose 5*b = 7 + 3. Suppose -y - 645 = -5*r, -r + 2*y + 140 = 4*y. Let t be r/5*(-2)/(-4). Solve 2*a = -b*a + f - t, 2*f = 4*a + 10 for a.
-4
Let f = -4 - -5. Let r be 2/(-3 - 21/(-6)). Suppose -6 = -4*i + 5*y + 31, 3*y + 3 = -r*i. Solve 3*s - 2 = -4*v - f, 5*v - 2 = -i*s for v.
1
Let b(q) = -q**2 + 3*q**2 - q**2 - 1 - 16*q**3. Let m be b(-1). Let x = -38 + 41. Solve -5*i + i + 8 = 4*h, -2*h = -x*i + m for h.
-2
Let w = -19 + 27. Solve -3*y = -2*q - 4*y + 2, 4*y - w = -4*q for q.
0
Let h be ((-9)/6)/((-1)/(-2)). Let r be 0/((-5 + -1)/h). Solve r = 3*o + 5*u, -2*o = -2*u + 5*u for o.
0
Suppose -7*o = -4*o - 2*o. Solve o*v = -5*b + v + 6, 0 = -4*b + v + 4 for b.
2
Let s be 8 + (-2)/(-4)*4. Solve x - 10 = 3*x - i, s = -2*x + 4*i for x.
-5
Let r = -15 - 33. Let s = -33 - r. Solve -s = 2*v + 3*v + 5*b, -b = -4*v - 22 for v.
-5
Let c be (-2 - -1) + (-1 - -8 - 2). Solve -3 = -c*i - 3*o, -3*i + 3*o = -0*i + 3 for i.
0
Suppose -c - 4*c + 26 = -4*b, 3*b + 18 = 3*c. Suppose 2*a = v - 4, -3*v = c*v - 3*a - 48. Solve 5*d - i = 2*i - v, -4*d + 4 = i for d.
0
Let c be (-24)/14 - 4/14. Let g be 2*1/c - -3. Suppose -j - 5 = -15. Solve -5*l = 3*k - 24 + 9, -3*l - g*k = -j for l.
0
Suppose -3*k + 32 = 17. Solve -5*v + 9 = 5*t - 6, -k*t = -3*v + 9 for t.
0
Let w = 42 - 22. Suppose -4*l + w = 4*b, -2*l + 7 + 0 = -b. Suppose -14 = 2*n - 4*n. Solve 5*r + n = -2*q - 18, -l*q + 20 = -4*r for r.
-5
Let u be (-4)/5*10/(-4). Solve -2*k + u*l = -5*k + 1, 2*l - 2 = -4*k for k.
1
Let x(q) = q**2 - q + 4. Let c = 2 + -2. Let t be x(c). Solve 5*r = -10, 3*r - t = 2*v - 12 for v.
1
Let x(q) = q**2 + 1. Let i be x(-2). Let c = 0 + i. Solve -s + 9 = -c*j - 9, 3 = -j for s.
3
Let k be (2 - -1) + 0 + -1. Let u = -14 - -21. Solve 0 = -4*o - 2*p - 18, -k*o + 3*o + p = -u for o.
-2
Let i(b) = b**2 + 3*b - 11. Let a be i(-9). Suppose 5*f - 115 = 4*q, 0*f + q = 2*f - a. Solve f = 4*m + 5*x - 0, 4*m = -2*x + 10 for m.
1
Suppose 5*l - x - 9 = 2*l, -2*x = 2*l + 2. Solve -l*h - 38 = 4*v - 14, 0 = 5*h + v + 24 for h.
-4
Let x = 24 - 18. Suppose -4*t - 15 = t. Let n = t + x. Solve -n*m + j = m - 12, 5*j = -4*m + 36 for m.
4
Suppose 4*t = 58 + 2. Solve 4*y - 17 = q + 2*q, -5*q = t for y.
2
Let k = -12 + 16. Solve -3*w + a = -7, -2*w = 3*w + k*a - 23 for w.
3
Suppose 0 = -2*p - 0*x + x + 14, 0 = -2*p - 3*x - 2. Solve 5*v - 15 = 0, -p*h - 8 = 4*v + 5 for h.
-5
Let h be 6*((-4)/(-6))/1. Suppose m + 4*m = 75. Suppose m = i - 5. Solve 0 = -h*s + 2*q + i, -2*s - s + q = -13 for s.
3
Suppose -3*x = -7*x + 108. Let a be 735/x - 2/9. Solve 5*p - 2*b + 3*b = -a, -6 = 2*p - 2*b for p.
-5
Let g = 10 - 14. Let o = g + 4. Solve 15 = 3*w, l - 3*l - w + 5 = o for l.
0
Let g(x) = -2*x**3 - 3*x**2. Let t be g(-2). Suppose -4*o - n + 19 = 3, t*o = 5*n + 16. Solve 0 = 5*z - 2*v - 20, 7 + 9 = o*z + 2*v for z.
4
Let n = 35 + -23. Let q = 12 - n. Solve 2*k = -2*i, -k - 4*i + 12 = -q*k for k.
-4
Let z be ((-3)/(-12)*0)/2. Let u = -3 + 2. Let g be (1 + 0 + u)/(-2). Solve -5*t = -z*t - 4*f + 11, -4*t - f + 8 = g for t.
1
Let x(b) = -b**2 + 6*b + 0*b**2 + 2*b**2 - 1 - 3. Let u be x(-6). Let r be (-1)/u*(-3 - -11). Solve 2*p - 2 - 3 = -y, 5 = -r*y + p for y.
-1
Suppose -2*k + 5 = 4*s - 5, 4*s + 4*k = 8. Suppose -4*y - 2*f = -28, y = -s*y - 3*f + 26. Solve 0 = -2*z + 4*p - y, -28 = 5*z - 2*p - 8 for z.
-4
Let f(g) = -2*g - 4. Let d be f(-4). Let m(j) = j**2 + 7*j - 8. Let p be m(-8). Solve 0 = -5*o + 2*v - v - 13, p = -d*o - v - 5 for o.
-2
Suppose 42 = 14*y - 17*y. Let g = y - -16. Solve -4*s + 4*x = -6*s + 2, -5*s - g*x = -13 for s.
3
Let o = 10 + -6. Solve o*n = -5*w + 2*w - 1, -n = w for n.
-1
Let p be 1/1 - (-21)/3. Let m(y) = y**3 - 8*y**2 + y - 3. Let c be m(p). Solve c*r + 45 = -4*z, -5*z + 5*r - 2*r = 10 for z.
-5
Let x(v) be the third derivative of -v**6/120 - v**5/6 - 11*v**4/24 - 2*v**3 - v**2. Let k be x(-9). Solve -2*y = -5*y - 5*p + 2, 2*y - 4*p + k = 0 for y.
-1
Let s(l) = -l. Let m be s(-4). Suppose -2*f - 7 = -k - 1, -4*k + m*f + 20 = 0. Solve 4*j - 2*d = k + 20, 2*j - 20 = 3*d for j.
4
Suppose -5*y - 20 = 0, -2*y = -4*f - y - 8. Let x = 8 + f. Solve -j - x*r = 19, 2*j - 6 = 2*r - r for j.
1
Suppose 2*t = 3*t + 5, -4*t = -5*i + 40. Solve 5*d + 1 = -4*l, -i*d + 5*l + 0*l - 9 = 0 for d.
-1
Suppose -q + 5*b + 6 = -2, 0 = -3*q - 5*b + 4. Solve -3*c - 3*d = -4*c + 5, -q*c + 2*d = -15 for c.
5
Let i = 16 - 11. Suppose i*g + 0*a = 2*a + 56, 5*g - 62 = 4*a. Let v be 48/15 + (-2)/g. Solve 3*z - 4*o + 28 = 0, -v*z + 32 = -6*z + 5*o for z.
-4
Let g be 4/(-14) + (-60)/(-14). Suppose g = w - 1. Let d(z) = z - 5. Let y be d(w). Solve 5*k - 9 = 2*n, 4*n - 2*k - 8 + 2 = y for n.
3
Suppose 0 = -s + 1 + 2. Solve -4*p = 3*r + 11, 2*r + 3*p + 11 = s for r.
-1
Let j(h) = -h**2 - 10*h + 25. Let m be j(-12). Solve r + 5*i = -m, r - i - 6 = i for r.
4
Suppose -2*f + 3*b + 16 = 0, f + 3*b - 22 = 8*b. Suppose 2*o - 3*o = -5*m + 103, f*m = -4*o + 28. Solve 5*j = m, -j = 5*r - 0*j - 4 for r.
0
Let y = 0 + 0. Suppose -2*u + 3 + 3 = y. Solve -2*t - 1 = -u*g, 2*t - 3 - 1 = -2*g for t.
1
Let p(z) = -z**3 - 6*z**2 + 8*z - 8. Let j be p(-7). Let v = -45 - j. Let r be 0/6 - v/2. Solve -2*b - l = r, 3*b - l + 5 = -5 for b.
-5
Let t(i) = i**2 + i - 3. Suppose -2*m - 9 = m. Let u be t(m). Solve -2*y = 2*y - 16, 3*y = -u*x - 3 for x.
-5
Let n(r) = r - 2. Suppose -2*x = 3 + 9. Let o be 1/(-3) - 44/x. Let j be n(o). Solve -26 = j*s + 3*l + 14, l + 5 = 0 for s.
-5
Suppose -5*g + 5 = 5*r, -3*r = -g - 7*r + 13. Let u be (-10)/g*(-3 + 6). Solve u = 5*f + 4*x - 9*x, -2*f = -4*x + 2 for f.
5
Suppose 5*k + 2*n = 38, -2*k + 5*n - 8 + 0 = 0. Let x(i) = -i**3 + 7*i**2 - 6*i + 6. Let h be x(k). Solve -2*f + 6 = -4*a, -5*f = h*a - 2*a - 15 for a.
0
Suppose 0 = 4*k - 3*k + 7. Let g = k - -10. Solve 0 = 5*f + 4*c - 16, 0 = -g*f + 4*f - 4*c - 8 for f.
4
Suppose 6*u = 21 + 9. Solve 4*q + u*v - 11 = -38,