
Let j = -64 + 11. Let p = j - -31. Let b be p/(-5) - 4/10. Solve -b*r = -0*r - 4 for r.
1
Let b(p) = p**3 + 10*p**2 + 7*p - 18. Let d be b(-9). Solve d = y + 3*y - 8 for y.
2
Let l = -34 + 48. Suppose u - 3*p = -4*p + l, 3*u + 4*p = 47. Solve 4*z + 20 = u*z for z.
4
Suppose -5*b + 2*s + 7 = 0, b + 5 = -0*b + 2*s. Suppose 0 = 2*v + b*x - 11, 3*v = -2*x - 5 + 14. Solve -3 = y + v for y.
-4
Suppose 0*s - s = 2*f + 3, -3*f - 2 = s. Solve -4*g = 13 - f for g.
-3
Let d = -106 + 111. Solve -17 - 8 = -d*q for q.
5
Suppose -a = -2*w + 4*a, 0 = -a. Solve w = -3*m + 2*m for m.
0
Let h be 6/27 + (-14)/(-18). Let m = 18 + h. Solve -4*n = 1 + m for n.
-5
Let a = -3 + 8. Suppose -d = d + 4*y - 56, a*d - y = 96. Solve -7*f + 2*f = d for f.
-4
Suppose 3*y = 3*z + 4*y + 3, -9 = 3*y. Suppose -c - q + 6*q - 20 = z, 4*q = 3*c + 16. Solve -j - j + 10 = c for j.
5
Let w be (-1 - 0)*6/1. Let z(r) be the third derivative of -r**5/60 - r**4/4 + 2*r**2. Let h be z(w). Solve h = -k - 3*k - 12 for k.
-3
Suppose 0*r = -3*r + 6. Suppose 0 = -4*z + 4*k, 4*z + r*k + 0 = 12. Solve j + 1 = z*j for j.
1
Let r(d) be the first derivative of d**3/3 + 7*d**2/2 + 9*d - 1. Let s be r(-6). Suppose -5*z + 4*v = -4, 3*z - 7*v = -s*v + 4. Solve z*w = -5*w for w.
0
Suppose 0*k + 4*k = 0. Suppose k = -o - 3 + 7. Suppose -l = u - 5, 5*l - u + o*u - 17 = 0. Solve 3 = r - l for r.
4
Suppose 5*q - 37 = -7. Let a = q + -3. Let s be ((-20)/(-3))/(a/9). Solve -5*p - s = -10*p for p.
4
Suppose 2*k - 5 = -4*i - 3*k, 27 = 3*i - 4*k. Suppose -p - v + 3 = 2, -2*p = -5*v + i. Solve -2*h - 3 + 1 = p for h.
-1
Suppose -25 = -5*g - 0. Solve 3*w - 10 = g*w for w.
-5
Let l = -46 - -50. Solve 0 = -3*p + l*p + 2 for p.
-2
Suppose m = -2*m + 6. Let t be (-3)/(-4) - (-7)/(-4). Let n be 3 - 2 - (t - 1). Solve -n*q - m*q - 20 = 0 for q.
-4
Suppose -7*j + 2*j = 2*k - 10, 5 = 5*j + k. Suppose -s - s = j. Solve -4*u + 4 = -s*u for u.
1
Let x = -17 - -27. Suppose 2 - x = -2*k. Suppose 0 = -p + 6*p. Solve p = -k*w + 2*w for w.
0
Let b be (-60)/(-2) + (-2 - -4). Suppose 2 = -5*c + b. Suppose -2*i + 13 = 5. Solve c = i*u - 14 for u.
5
Let s = 17 + -12. Let t = s - 5. Let i be ((1 - t)/(-1))/(-1). Solve 2*z - 7 - i = 0 for z.
4
Let y be ((-1)/3)/((-2)/36). Solve -15 = r - y*r for r.
3
Let v(j) = j**3 + j. Let f be v(0). Solve -5*u + f*u - 15 = 0 for u.
-3
Let h = -8 - -12. Suppose -m + 4*m - 24 = 0. Suppose 4*c - l = 2*c - 4, 2*l - m = 5*c. Solve c = -2*g - h - 6 for g.
-5
Let g(j) = -5*j**2 + 7*j - 3. Let s(z) = -z**2 + z - 1. Let r(d) = -g(d) + 4*s(d). Suppose -3*q - 5 = -4*q. Let b be r(q). Solve -b = -n - 4 for n.
5
Let j(r) = -r**3 - 7*r**2 + 7*r + 1. Let n be j(-8). Let i = n + -4. Suppose 0 = 2*x - 4*z - 22, -i*x + z = 2*z. Solve y = 4 - x for y.
3
Let k be 2 - (2/11 + (-138)/33). Solve 2*v + k = 2 for v.
-2
Let k(t) = t**2 + 23*t - 21. Let a be k(-24). Solve -5*l + 2 = -a*l for l.
1
Let p = 8 - 7. Solve 4*i = 13 - p for i.
3
Let h be 5 - (1 + 3 + -1). Solve z + 0 = h for z.
2
Suppose 1 = 3*i + 2*l, -3*l = 3*i - i + 6. Let t = -1 - -5. Let f be (3/(-1))/i + t. Solve 0 = -2*a - f*a for a.
0
Let h(f) = 2*f**2 + 3*f + 2. Let m be h(-2). Let o be 12/(-54) + m/18. Solve o = 2*i + 3*i - 20 for i.
4
Let t(h) = -h. Let k = 1 + 3. Suppose -5*q + i = 23, 5*q + 5*i + 27 = k*i. Let s be t(q). Solve -x + s*x = -4 for x.
-1
Let d be ((-9)/(-6))/(6/16). Suppose 0*h + 24 = d*h. Solve h = k + 2*k for k.
2
Let u(o) = o**3 - 4*o**2 + 3*o. Let p be u(3). Suppose 0*i + i - 1 = p. Let s(r) = 5*r. Let t be s(i). Solve -l = -t*l + 12 for l.
3
Let k(r) = 4 + 0*r**2 - r**2 + 2*r**2 + 3*r + 2*r. Let s be k(-5). Solve 0*i + 20 = s*i for i.
5
Suppose 4*o - 20 = 4*m, 4*o - 4 = -0*o - 4*m. Solve -o*a = 2*a + 15 for a.
-3
Let w = -28 + 31. Solve -w*m = -3 - 6 for m.
3
Suppose -3*z = -6*z + 12. Solve -z*m + 5 = 1 for m.
1
Suppose 5*y = 20 + 5. Solve -l - y = -2*l for l.
5
Let r(x) = x - 3. Let f be r(3). Suppose 2*p + 2*p = f. Solve p*v = 3*v for v.
0
Let f = 7 - 3. Let n be (-4 + 0)*(-1)/f. Solve -5 + n = -m for m.
4
Suppose 4*m + 2 = x, 6*x + 5*m - 2 = 5*x. Suppose -3*r + 0*r = 0. Suppose 0 = -0*q + 4*q. Solve q*s + s + x = r for s.
-2
Let x be 14*1 - 0/(-4). Suppose 0 = -4*d + x - 2. Suppose d*n = 4*n + 4*u - 41, -3*u + 36 = n. Solve 3*k + 6 - n = 0 for k.
5
Let h = 5 - 3. Suppose n + 5 = h*n. Let a be (-102)/(-27) + (-4)/(-18). Solve -a*f + 21 = n for f.
4
Suppose 14*g + 0*g - 28 = 0. Solve g*p + 2 = -8 for p.
-5
Let u be 0 + 2*(-1 + 2). Suppose -2*m - 1 = -h - 3, -u*h = 3*m - 3. Solve 5*x + 0*x + 5 = h for x.
-1
Let l be 5*(-17 - 2) + 1. Let x be l/(-8) - 4/(-16). Solve -f + x = 2*f for f.
4
Let f = 15 + -7. Let u = -5 + f. Solve 2 = u*y - y for y.
1
Let q(s) = s**2 + 6*s + 3. Let o = -2 + -2. Let c = o + -2. Let d be q(c). Solve d*g = g for g.
0
Let i be -1 + 6 - (-4 - -5). Solve -i - 1 = 5*r for r.
-1
Let j(g) = -g**2 - 3*g. Let x be ((-12)/(-8))/(3/(-4)). Let s be -1 - (4 - (x - -4)). Let l be j(s). Solve 5*z - 9 - 11 = l for z.
4
Let t = 15 + -12. Let p be 4 + (1 + -7)/t. Solve 3*u = 2*u - p for u.
-2
Let q = -1 - -3. Suppose 4*f + 3*r = -r - 12, -4*f + 9 = -3*r. Suppose c + f*c = q, -m - c = -2. Solve 0 = h - 3 - m for h.
3
Suppose -3*t + 8 + 1 = 0. Suppose -t*d = -d - 8. Let j = 3 - 1. Solve j*o - d = 6 for o.
5
Let s(z) = 23*z - 3. Let d = 0 - -2. Let w be s(d). Let b = -26 + w. Solve -b + 5 = -4*n for n.
3
Let f(u) = 7*u**3 + 11*u**2 - 7*u - 8. Let a(x) = 3*x**3 + 5*x**2 - 3*x - 4. Let s(w) = -5*a(w) + 2*f(w). Let n be s(-3). Solve y + 2 = -n for y.
-3
Suppose x = -4*x + 15. Suppose 34 - 34 = 2*g. Solve 0*h - x*h = g for h.
0
Suppose 4 = -3*c + 16, v + 3*c = 15. Suppose 2*o - v - 1 = 0. Solve -j = -o + 1 for j.
1
Let x be (10 + -2)*4/8. Let o be 0 - (-4 - 8/x). Solve -18 = 3*v - o for v.
-4
Suppose -3*a + 2*p + 12 = 0, -5*a = 2*p - 0 - 4. Solve -5*z - 7 = -a for z.
-1
Let b be -4 - 7/(-1)*(-48)/(-56). Solve -2*t = b*t for t.
0
Let d(y) = y**3 + 4*y**2 + 2*y - 3. Let t be d(-3). Suppose t = r - 4 - 0. Solve 10 = r*v + 2 for v.
2
Suppose -p + u = 3*u - 1, 0 = 5*u - 5. Let x be 1 - (-1)/((-1)/p). Solve x*l = -3*l - 10 for l.
-2
Suppose 4*o - 15 = o. Let d = o - 0. Solve -d*z + 9 = -2*z for z.
3
Let p = 57 + -57. Solve 5*l - 10 = -p for l.
2
Let l = 14 + -11. Suppose 5*j = 2 + 8. Solve j*v + l = v for v.
-3
Suppose -5*o = -2*o - 15. Solve -3*p = -o*p for p.
0
Suppose -3*j = -j - 8. Suppose 0 = 2*c + 2*h + 4, j*h + 12 + 4 = 4*c. Solve c = -2*y + 7 for y.
3
Suppose 3 - 1 = r. Suppose q - 2*q + r = 0. Suppose 0 = -0*t - t + q. Solve c = -c + t for c.
1
Let l = -7 - 0. Let r(z) = -z**2 - 8*z - 6. Let i be r(l). Solve -i = -q - 2 for q.
-1
Suppose 0 = j + 3*j - 16, -2*u = 3*j + 26. Let a = u + 32. Suppose -11 = -2*y - 5*g + a, -30 = -5*y - 5*g. Solve y*l = 4*l + 4 for l.
-2
Let g = -23 - 37. Let n be 2/(-9) - g/27. Solve -5*x = -n*x for x.
0
Let l(k) = 5*k + 45. Let t be l(-9). Solve -2*j + 0*j = t for j.
0
Suppose -2*f = -7*f - 30. Let b = f + 10. Suppose -2*c = x + 2*x, 2*x = c. Solve 0 = 4*j - b - x for j.
1
Suppose -21 = -5*w + 9. Solve g - w*g + 20 = 0 for g.
4
Let w(z) = z**2 + 18*z + 3. Let s be w(-18). Solve 2*f = s*f for f.
0
Let q = -15 - -10. Let b be 1 + 5*(-6)/q. Solve 4*c = -b + 23 for c.
4
Suppose -12 = -2*c - 4, -3*m + 8 = -c. Suppose -q = -p + m, -3*q = -p + 6*p + 12. Solve p = k - 0 - 1 for k.
1
Let h = 2 + -4. Let t(c) be the first derivative of c**4/4 + c**3 - c**2 - c - 2. Let g be t(h). Solve -2*j = -g*j for j.
0
Let h be (-130)/(-8) + (-7)/28. Let i be h/(-10) - 2/5. Let p be 12*(i + (-15)/(-6)). Solve p = 5*o - 9 for o.
3
Let s(y) = -y**3 - 5*y**2 - 2*y - 1. Let d be s(-4). Let t(u) = 17*u + 2. Let z be t(-1). Let x = d - z. Solve -x*b = -2*b for b.
0
Suppose -2*p + 0*p + 10 = 0. Suppose d - p + 2 = 0. Solve -2 = -d*g - 5 for g.
-1
Let j(a) = -a**3 + a**2 + 4*a - 3. Let f be j(2). Suppose 4*y + 3 = -f. Let c be 2/4*(1 + y). Solve -l = -c*l for l.
0
Let w = 7 + -7. Let s be w*1/2*-1. Solve -3*j = -s*j - 3 for j.
1
Suppose 5*n = 5*d - 50, -2*n - d - 14 = 3*d. Let k = n - -12. Solve -u = -k*u - 4 for u.
-2
Suppose 3*r - 6*r + 2*q + 71 = 0, -4*q = 5*r - 133. Let l be (-5)/r - 42/(-10). Solve 4*p + 0 = -l for p.
-1
Suppose 2*a + 86 = 4*h, -7*h + 5*h + 37 = a. Solve 4*l + 0*l - h = 0 for l.
5
Suppose 33 = -3*q + 2*f, 2*