9*r - 8 = 4*r - 2*z, -p*z = 5*r - 20 for r.
0
Suppose 4*k + k - 4*o = 38, -k + 2*o = -4. Suppose -2*x = 3*x + p - k, -5*x - 2*p + 10 = 0. Solve 5 = j + z, -x*z - 2*z = -j for j.
4
Let t = 43 - 38. Let p(d) = d + 1. Let a be p(3). Solve j + 10 - a = -3*k, -10 = j + t*k for j.
0
Suppose 4*b = -57 + 77. Solve -2*g = -b*o + 12, -g + 3*o + 3 = 10 for g.
-1
Let c be 60/25 - (-4)/(-10). Suppose 0 = j - 2*j - 3*w + 9, c*j - 4*w = -2. Let n be 96/7 + (-4)/(-14). Solve z + 1 = m, -m - n = 2*z + j*m for z.
-3
Let l = 8 + -6. Suppose 0 = 2*r - 4*r - 2*y + 10, l*r - 4*y = 4. Suppose -3*n = -r*n. Solve -27 = 3*z - 3*m, n = z + z + 2*m - 2 for z.
-4
Suppose 4*i = w - 0*w + 13, -3*w + 9 = 4*i. Suppose -r = -0*j - i*j - 5, -3*r - 4*j = -15. Solve 0 = k + r*a + 14 + 6, 3*k + 3*a + 12 = 0 for k.
0
Let j = -45 - -23. Let x be 2/((-4)/j - 0). Let t = 5 - -5. Solve -t = 3*b - b + 4*c, x = 5*b - 2*c for b.
1
Let j(p) = p - 3. Let w be j(-2). Let s(r) = -r**2 - 7*r - 5. Let i be s(w). Solve -i*a - 4*b + 30 = -15, 4*a - 2*b - 10 = 0 for a.
5
Suppose -r = -3*x - 4, 3*x - 4 = -r + 4*x. Let s be (2 - r) + 3 - -3. Solve -s = -5*l - 3*q, 3*l + 2*q = q for l.
-1
Suppose 2 = -2*b + 3*b. Suppose b + 7 = 3*m. Solve -4*z = c + 3*c - 16, -2*c + 8 = m*z for c.
4
Suppose v = 13*v - 264. Solve -2*m = 3*i + 17, -5*i + v - 57 = 5*m for i.
-3
Let i be (-10)/(-8) + 8/(-32). Let a(w) = 19*w**3 + w**2 + w - 1. Let f be a(i). Solve 2*l = -5*m + f, 0*m + 4 = -5*l + m for l.
0
Let l = -40 + 44. Solve 3*j - 4*a + 2 = -2, l*a = 4*j + 4 for j.
0
Let y be -8 - -9 - 3/1. Let t be 4*3*y/(-6). Suppose 4*z = -q + 21, 0 = t*q + 2 - 6. Solve -z*p - 4*c + 30 = 0, 0*c + 23 = 4*p + 3*c for p.
2
Suppose 3 = -v, -v = -u + 1 + 4. Solve 2*l + 24 = -4*j - u*l, 5*j = -l - 14 for j.
-2
Let a be 2 + -2 - (-2 + 5 - 5). Solve -g + 6 - 3 = l, -3*g - 16 = -a*l for l.
5
Let t be (4 + -2 - 1)/1. Let l = t + 4. Let k(r) = r - 3. Let n be k(l). Solve m + n*b = -3, 3*m - 4*b + 6 + 3 = 0 for m.
-3
Let i be 70/1*(-4 + -3)/(-14). Solve q - 8 - 1 = -2*w, 5*q = -5*w + i for q.
5
Let z = -24 - -26. Solve 25 = -z*j + 5*y, -4*j - j + 3*y = 34 for j.
-5
Suppose 41*q = 40*q + 4. Solve q*o + 21 = 2*w + 7, -2*o = -3*w + 1 for o.
-5
Suppose 1 + 3 = 2*t. Suppose -44 = -3*b - 14. Let m = -11 + 15. Solve -m*k - b = -t*k, 2*c + 5*k = -31 for c.
-3
Suppose -20 = j - 23. Solve -4*v + 2*a = -14, -v + j*a - 2*a = -6 for v.
1
Let b(a) = 6*a**2 + 1. Let c be b(-1). Solve 3*o + 15 = 4*k, -3*o - c - 5 = -3*k for k.
3
Let o = -4 + 4. Solve 2*f = -j - 10, 3*f + 4*j - 2*j + 17 = o for f.
-3
Let z(f) = -f**2 - 3*f + 6. Let b be z(-4). Solve -3*k = 5*q, -6 = 3*q + 5*k - b*k for q.
3
Let i = 35 + -25. Let t be 1*-2 + 216/9. Solve -h - 5*b = 4*h + i, -5*b = -h + t for h.
2
Suppose -3*u + 4 - 15 = i, 0 = -3*i - 2*u + 2. Solve -9 - 1 = 2*j - i*g, 5*j - 2*g - 15 = 0 for j.
5
Let f(c) = c**2 + 3*c + 2. Suppose -4*h = -2*v - 2, 0 = 2*h + v - 1 + 10. Let n be f(h). Suppose 4*r - 4 - 12 = n. Solve 0*l + 6 = 3*l - 5*k, l - r*k = 2 for l.
2
Suppose -s + 3*j = -3*s - 4, 5*j = -3*s - 8. Suppose -4*h - s = -5*w, 2*w - h = 4*w + 1. Suppose 2*x = 4*x. Solve q - l - 8 = w, x = q + q - 3*l - 19 for q.
5
Let f = 20 + -7. Let l = f + -11. Solve l*w + 10 = 4*g + 4*w, -3*g - w = -8 for g.
3
Let u(h) = 5*h**2 + h - 1. Let l be u(1). Solve f + f + 2 = 2*n, f + n + l = 0 for f.
-3
Let v = 33 + -30. Solve 2*h + 5 = -v*h, -3*k = 4*h - 5 for k.
3
Suppose 4*w - 10 - 2 = 0. Suppose f + 3*y = 31, -w*f + y + 25 = -18. Solve 4*r - f = -i, 3*r + 0*r - i = 12 for r.
4
Suppose -5*d = -d. Suppose d = -4*c, -6 = -0*o - 3*o + 2*c. Solve -4*g + 7 = -5*g - 3*l, -2*g - o*l - 6 = 0 for g.
-1
Suppose t - 10 = -t. Suppose 0 = 13*p - 8*p - 60. Solve -4*x + b - 2*b = -12, -t*b = -4*x + p for x.
3
Let g be (-20)/(-9) + 6/(-27). Let d(z) = -g + 6 - 3 + z. Let h be d(-1). Solve -17 = -5*f + p - h*p, -4*f + 2*p + 10 = 0 for f.
4
Let b be 2/(-3) + (-28)/(-6). Solve 0 = 2*d + 5*z + 14, d + b*z + 5 + 8 = 0 for d.
3
Let m = 29 - 21. Suppose 9 = -2*a + 5*t - 8, -3*a + 4*t = m. Solve -2*n - 11 = -a*g - g, 2*g - 8 = -n for n.
2
Let s be (-15)/25 - ((-112)/(-10))/(-2). Solve -4*g + g - 15 = -2*c, 4*g + 27 = s*c for g.
-3
Suppose 0 = 2*f + 4*z + 8, -f + 3*z = z - 4. Suppose -s - 3*s + 12 = 0. Solve -5*x = -2*o + 18, 5*x - s + 23 = f for o.
-1
Let w(r) = -r**3 - 5*r**2 - 6*r - 6. Let o be w(-4). Suppose 3*m - 4 = o. Solve -26 = m*v - 4*z, 0*v + 2*z - 3 = -v for v.
-5
Let f be -21*1*3/(-3). Suppose 6*b - f = 3*b. Let k be (b/21)/(1/33). Solve 0*l = -l - 3*j + 13, -4*j + k = -5*l for l.
1
Suppose -2*x = 3*p - 2*p + 2, -5*p = 2*x - 14. Suppose -4*g = -40 + p. Solve -4*a + 5*d = 3 + 28, 3*d - g = 0 for a.
-4
Suppose 3*m + 0*a - 51 = 3*a, 3*a + 39 = 2*m. Suppose -52 = -4*w - m. Solve -7*n + 20 = -2*n - 5*p, -4*n + w = 2*p for n.
3
Let j be (-616)/35 - (-4)/(-10). Let l = -14 - j. Solve -6*i = -i + l*c - 40, -5*c = 5*i - 45 for i.
4
Let p = -1 - -4. Suppose -p*j + 8 = j. Solve b + j*c = -2*c - 12, 2*c = -2*b for b.
4
Let g(a) be the second derivative of -a**4/12 - a**3/2 - a**2 - 2*a. Let s be g(-5). Let d be (9/s)/((-1)/4). Solve -4*w - 4 = 4*o, 4*w + 10 = -4*o + d*o for w.
-3
Suppose 3*k - 60 = 15. Let t = k - 3. Solve 4*a - 2*p - p = -t, 0 = -4*a - 3*p - 10 for a.
-4
Let r(k) = -2*k + 8. Let m be r(-4). Suppose -8*t + m = -4*t. Solve -5*j + 4 = f + 1, 0 = t*j - 4 for f.
-2
Suppose 0 = -3*i + 4*i - 5. Let d = 5 - -9. Solve 0 = -i*l - s + 2, -l - 4*s = s + d for l.
1
Let y(i) = -i**2 - 8*i - 9. Let t be y(-6). Solve -t*h - 3*o + 1 = o, -5*h - 3*o = -9 for h.
3
Suppose -12 = -11*r + 5*r. Solve -n = 2*c + 3*n + r, 0 = 4*n for c.
-1
Let z be (-6)/3*10/(-4). Solve x = 4*w - 7, -z*w = x + 3 - 14 for x.
1
Let i(f) = -3*f - 1. Let g be i(-2). Suppose q + 0*o = -3*o, -5*q - 2*o = 0. Solve q*n + 40 = -g*n - 5*p, 2*n = 4*p + 8 for n.
-4
Let g = 24 + -14. Solve -29 = 5*t + 2*b, 3*t = 2*b - 1 - g for t.
-5
Let d = 4 + -2. Suppose -5*r - d*q + 11 = 0, -4*r = -2*q - 2*q - 20. Solve 11 = 3*g + 4*x, 0*x + r*x - 9 = -3*g for g.
1
Suppose 2*v = -3*v + 25. Suppose u = -3*k - 4*u + 12, -k - v*u - 6 = 0. Suppose -4*j + 25 = -3*j. Solve -2*p + 3*r - k = 14, -j = -5*r for p.
-4
Let v(r) = -8*r**2 + 5*r + 8. Let c(k) = -15*k**2 + 9*k + 15. Let x(j) = -6*c(j) + 11*v(j). Let i be x(-2). Solve -4*o = 2*b - o - 7, -i*b = 3*o + 1 for b.
-4
Let k(d) = 3*d. Let q be (4/6)/(8/12). Let c be k(q). Let l be (-19)/3*(-3)/1. Solve 0*h + c = -3*b + 5*h, -l = -b - 5*h for b.
4
Suppose 1 = -3*k - 20. Let v = k + 9. Solve -o = -p + 6, -5*p + 16 = v*o - 0*p for o.
-2
Suppose 2*s - 5*s = 3. Let x be 9/(-6)*2*s. Solve -x*t - t = -3*d + 3, 0 = 4*d - t - 17 for d.
5
Suppose 65 = 5*q - 2*h, -5*q + 5*h + 65 = h. Suppose -2 = -3*i + 3*z + q, -4*i - 5 = z. Let l be i + 13 + 0 + 2. Solve -3*x = -8*x - 3*d - l, -3*d = 15 for x.
0
Suppose 0 = -7*o + 19*o. Solve 6*t - 35 = 2*t - 3*r, o = 3*t - 3*r for t.
5
Suppose -12 = -3*v - 0. Solve -o - 11 = -v*j, -2*j = -3*o - 7 + 14 for j.
4
Suppose -a + 4*a - 6 = 0. Solve 3*g = -3*q - 3 - 3, -3*g + a*q - 6 = 0 for g.
-2
Suppose 3*n + 0*a - a - 57 = 0, 0 = 4*n + 2*a - 66. Let r be 9/n - 1/2. Solve -j - 9 = -3*j + 3*x, r = 4*j - x - 13 for j.
3
Suppose 3*r = -2*r + 20. Suppose r*g - 5*g = -3. Suppose -u + g = 1. Solve -u*h + 4*j - 4 - 12 = 0, 5*h + 7 = -j for h.
-2
Let b = -10 + 15. Suppose 0 = -b*w - 23 + 3, w = -2*i. Solve -2*q + y = 3*q - 13, 0 = -i*q - y + 8 for q.
3
Let f = -2 - -4. Solve 5*p + f*n = -2*n - 16, -4*p + 3*n - 19 = 0 for p.
-4
Let h be (-2)/(-2)*(2 + 10). Suppose 3*q + h = 7*q. Solve -4*o + 0*n + 2*n = 14, 0 = -n - q for o.
-5
Let i = 7 - 0. Let h = i - -2. Solve 5*x = 4*u - h, 2*x = -u + 2*u - 6 for u.
-4
Let d be 1*-2 - (30/(-1) + 0). Solve 0 = -5*x + 4*f - 13, 5*x + d = -f - 0*f for x.
-5
Let l = 28 - -12. Let x = -24 + l. Suppose -x = d - 5*d. Solve 0 = 4*b + a + d*a + 32, a = -4 for b.
-3
Let r(q) = q**3 - 2*q**2 + q**3 - 3*q + 3 - 4*q**3 - 3*q**2. Let i be (-1)/(-2 - 7/(-3)). Let t be r(i). Solve 4*o + 6 = -z - 3, -2*o - t = -5*z for o.
-3
Let g = -59 + 73. Suppose 5*s + 36 = s. Let v = g + s. Solve v*r - m = 3*m - 29, -2*m = -2 for r.
-5
Suppose 4*o = w + o, 20 = 2*w + 4*o. Let q be w + 7/(14/(-4)). Solve 2*t = 4*j - 4, 12 = -q*t - 4 for j.
-1
Suppose -2 = -2*c, 2*h = 2*c - 5*c - 31. Let f = -12 - 