p*b - 2*b = y for b.
0
Suppose 5*t + 8 = 7*t. Suppose 6 = -m + 4*l, 2*m - l - 2 = 7. Solve -t*h = -m + 2 for h.
1
Suppose -d + 7 = 3. Solve 3 = -u + d*u for u.
1
Let c(f) = f. Let b be c(4). Let r(y) = 5*y**2 - 1. Let t be r(1). Suppose t*m - w + 0 - 4 = 0, 0 = 4*m + b*w + 16. Solve m = -q + 4*q + 15 for q.
-5
Suppose p = 4*q - 13, 4*q = -p + 10 - 7. Suppose -4*j + 5 = 1. Solve 0 = -3*i + q*i - j for i.
-1
Let b(f) = f**2 + 5*f + 6. Let h be b(-4). Suppose -12 = -2*j - v, 3*j + 3*v - 11 = 7. Solve 0 = h*w - j for w.
3
Let g = -3 + 10. Let p = g - 3. Solve -p*s - 6 - 14 = 0 for s.
-5
Let g(m) = m**2 - 2*m. Let x be (-16)/(-7) - (-2)/(-7). Let v be g(x). Suppose 0 = q - v*q - 4. Solve 0 = -6*t + 2*t + q for t.
1
Let d = 12 + -3. Solve -4*i - 3 = d for i.
-3
Let z be (21/9)/(-7)*0. Solve 5*u = -z - 5 for u.
-1
Let j be (7/3)/((-5)/(-15)). Suppose -5*z = 4*s + 40, 5*z = 5*s - s. Let f = j + s. Solve f*c + 3 = c for c.
-3
Suppose 24 = -0*u + 4*u - 2*j, 12 = -2*u - 5*j. Suppose 2*r + k - 4 = 0, r - u*k - 20 = -0*k. Solve x + x - r = 0 for x.
2
Suppose -2*p - 26 = -4*p - 4*n, -3*p = -5*n + 16. Solve h = 2*h + p for h.
-3
Suppose 3*c - 5 = 4*w + 30, -4*w = -c + 25. Suppose -2*v = -d + 4, d - 4*v - c = 1. Solve 3*p + d = 11 for p.
3
Suppose -5*j + j = -8. Solve j = -l - 1 for l.
-3
Let h(u) = u**2 - 10*u + 21. Let x be h(2). Solve 8 = x*z + 28 for z.
-4
Suppose -4 + 3 = -5*m + 4*g, 6 = 2*m + 4*g. Let j be (-6)/(-9) - (-8)/6. Suppose -2*k + 2*u + 3 + m = 0, -13 = -j*k - u. Solve o - k = -0 for o.
5
Let j = -6 + 10. Let q = 6 - j. Let i = 7 - q. Solve 0*g + 25 = i*g for g.
5
Let i(m) = 11*m - 61. Let c be i(6). Solve c*o - 2*o = 12 for o.
4
Suppose 3*r - 6*r = 0. Let z = 4 + r. Solve v + z = 5*v for v.
1
Let j(z) be the first derivative of -z**2/2 + 6*z + 2. Let b be j(6). Suppose b*o = 2*o. Solve -a + 2 - 7 = o for a.
-5
Suppose 2*s + 11 = 3*s. Let r = 3 - 11. Let g be (-6)/(1*12/r). Solve 0 = -g*x + s + 9 for x.
5
Let a(l) = 7*l - 2*l - 4*l + l**2 - 2. Let j be -2 - -1*(0 + 0). Let r be a(j). Solve r*d + 3 = d for d.
3
Suppose 3*x + 5 = -4*l, -2*x = -6*l + 5*l - 4. Suppose -4*d - 19 = -3*g, -4*g - 5*d = -6*g + 15. Solve -g*a + x + 19 = 0 for a.
4
Let t be 14/10 + (-9)/(-15). Suppose -t*i - 2 = v - 24, -i + 3 = 0. Solve -2*m + v = 2*m for m.
4
Suppose -3*z - 12 = -4*z. Let h be 2/z - (-11)/6. Suppose h*d = 4*d. Solve d = w + 3*w for w.
0
Let r(q) = q**3 + 4*q**2 - q - 4. Let i be r(-4). Suppose 2*t - k = 4*k + 16, i = -3*t + 4*k + 17. Let s be (t + -1)/((-8)/(-12)). Solve -1 = m - s for m.
2
Suppose 3*h + 16 = 7*h. Let y be (-2)/h - 67/(-2). Solve y = 5*c + 13 for c.
4
Let p = 8 + -2. Suppose 4*c - p = 2*c. Suppose 2 + 4 = c*u, -u = 3*q - 20. Solve -q*w + 15 = -3*w for w.
5
Let r(k) = -k**3 - 4*k**2 + 6*k + 7. Let a be r(-5). Suppose 3*c = 0, -4*y = -2*y + 4*c - a. Let v be (-3)/(-6) - (-6)/4. Solve -x + v*x = y for x.
1
Let t = 28 - 20. Let y = t - 8. Solve -s + y = 2 for s.
-2
Let k = -1 + 3. Suppose -2*h - 15 = -o, -10 - 5 = 3*h. Let t = o - 0. Solve -k = 3*d - t for d.
1
Suppose 5*d + 4 + 16 = 0. Let b(f) = -f - 1. Let n(l) = -l**2 - l - 1. Let u(s) = d*b(s) - n(s). Let k be u(-5). Solve 4 = -i + k for i.
1
Suppose 0 = -w - 10 - 1. Let z = w - -18. Solve 0 = 2*t + z - 1 for t.
-3
Let b(u) = -u - 5. Let d be b(-7). Solve 9 + 1 = -d*q for q.
-5
Let j(q) = q + 1. Let x(g) = g + 9. Let l be x(-8). Let v be j(l). Suppose 0*a - 2*d = 4*a - 14, 3*a - 3 = d. Solve 2*u - a = v for u.
2
Let t be 8/12*3 - -1. Solve t = -r + 1 for r.
-2
Suppose 0 = -4*i + 3*c - 19, -2*i - 3*c - 17 = -6*c. Let j be (i + 7)/((-3)/(-2)). Solve f = j*f for f.
0
Suppose 0 = -2*s + j + 57, -s + 27 = -4*j - 5. Suppose -5*g = -8 + s. Let r(f) = f**3 + 4*f**2 - 2*f - 4. Let n be r(g). Solve 0 = -n*v + 4 for v.
1
Let r(h) = -h**3 + 4*h**2 + 3*h - 5. Let y be r(4). Suppose -m - 6 = -3*v + 4, -v - 2 = 5*m. Solve -v = -2*k + y for k.
5
Let t be 6/(-4)*8/(-3). Let c = 5 - t. Solve -7 = 3*x - c for x.
-2
Suppose y - 1 = -3*v, 4*v + 2*y = -0*v. Suppose 2*b + v = 7. Suppose 2*r = b*r - 6. Solve -2*s - s = -r for s.
2
Let i = -49 - -5. Let g be (-2)/(-6) - i/3. Solve -l = 2*l - g for l.
5
Suppose 3*h + 3 = 15. Let y(o) = o**3 - 9*o**2 + 8*o. Let n be y(8). Solve n = 3*f + h - 19 for f.
5
Let k be -1 - (2 + -7 - -2). Solve -k*q = -0*q - 4 for q.
2
Suppose 2*y + 12 = 2*p, -3*y - 4 = 5*p - 2. Let s = 3 - 1. Let n = s + p. Solve z - n = 1 for z.
5
Let l = -4 + -1. Let i = l - -7. Solve -5*f - i = -3*f for f.
-1
Let w = 88 - 81. Solve -3*t + 8 = -w for t.
5
Suppose 0 = -5*b - 2*q + 24, q - 8 = -3*b + 7. Solve -o - b = o for o.
-3
Let k(v) = 2*v**2 - v + 2. Let c be k(1). Solve c*m - 8*m = -25 for m.
5
Let l(v) = -5*v**3 - 17*v**2 + 15*v + 3. Let b(q) = 3*q**3 + 9*q**2 - 8*q - 2. Let m(y) = -7*b(y) - 4*l(y). Let i be m(4). Solve 0 = i*w - w for w.
0
Let q(i) = i**2 - 3*i + 4. Let z be q(3). Suppose -3*m + 5*t = -14, -z*m + 4*t + 17 = -t. Let r be -1*1 + 3 + -2. Solve m*f - 4*f = r for f.
0
Let r(z) = -z - 5. Let o = 6 - 12. Let k be r(o). Solve -3 = -4*s + k for s.
1
Suppose 0 = 3*h + 93 - 39. Let b = -15 - h. Solve -b*f + 0 + 6 = 0 for f.
2
Suppose -4*f + 21 = f + 3*a, 4*a = f - 18. Suppose 2 + 19 = r + 5*z, f = 2*r - 2*z. Solve -3*s = -r*s + 6 for s.
2
Let u(m) = -m**3 + 3*m**2 + m - 2. Let q be u(2). Let l be (-10)/(-2) + -3 - 4. Let r be (-6 + 0)/1*l. Solve -4*j + r = -q for j.
4
Suppose -5*v + 9 = h, 4*v + 1 = 5. Solve -w - 3 = -h for w.
1
Suppose 0 = 5*q - 46 - 49. Let s(i) = i**3 - 3*i**2 - 6*i. Let c be s(4). Let x = q + c. Solve -2*k - 1 = -x for k.
5
Let h be (8/(-6))/(4/(-6)). Suppose -5 = -h*f - 1. Suppose -f*x = x - 3. Solve k + x = -3 for k.
-4
Let j be (10/(-4))/(1/(-2)). Let u(r) = -r**2 + r. Let o be u(-4). Let i be (2/5)/((-2)/o). Solve j*w + 4 = i*w for w.
-4
Let a(g) = -g**2 + 6*g - 9. Let u be a(3). Solve 0 = -u*p - 4*p for p.
0
Let i(q) = -2*q - 10. Let m be i(-8). Suppose 0 = -m*k + 2*k + g + 11, -5*k + 5*g = -10. Solve 0*c = c + k for c.
-3
Let p = -17 - -28. Let q = -3 + p. Solve q = -2*z - 0*z for z.
-4
Let r = 97 + -91. Solve 5*y - r = 8*y for y.
-2
Let r(w) = -w**2 + 7*w. Let n be r(7). Let y = 6 - n. Solve -4*g - 6 = -y*g for g.
3
Let y = 2 + 0. Suppose 0 = -y*h + 3*h - 2. Solve -h*f = f - 6 for f.
2
Let u = 80 - 78. Solve -u*d = -d - 4 for d.
4
Let h(m) = 0*m**2 + 4*m + m**2 - 2*m**2 - 3*m. Let w be h(1). Solve -4*o - 2 + 6 = w for o.
1
Let u = 1 + 5. Solve -2*m = -0*m + u for m.
-3
Let n be (-12)/72 + (-14)/(-12). Solve -3*w + n = -2 for w.
1
Suppose t - 3*t + 3*c = 8, 4*t = c + 4. Solve 3*b + t + 4 = 0 for b.
-2
Let v = 14 + -11. Let x = 6 + -4. Solve -4 = v*t + x for t.
-2
Let z(h) = -2*h + 9. Let g be z(5). Let c(d) = -d**3 + 2*d**2 + d. Let l be c(g). Solve -l + 7 = -5*n for n.
-1
Let x be -5 - -4 - (-13)/1. Let r = 0 + x. Solve -r = -0*i - 4*i for i.
3
Let q = 5 + -4. Suppose -q = 2*f - t, f + 0*f - t + 3 = 0. Solve f*c - 20 = -2*c for c.
5
Let x(k) = k**2 + 3*k - 4. Suppose -f + 0*f - 4 = 0. Let h be x(f). Suppose -2*a = -h - 8. Solve 8*g = a*g - 12 for g.
-3
Let j(i) = -i**3 - 6*i**2 - 5*i + 4. Suppose -1 = 2*v + z + 8, 4*v + 3*z + 17 = 0. Let s be j(v). Solve -7 = -3*m - s for m.
1
Let o(t) = -t**3 - 4*t**2 + 4*t + 7. Let l be o(-5). Solve 5*i - 2 = -l for i.
-2
Let r be 6/(-27) - 110/(-90). Suppose -22 + 2 = -5*u. Solve 17 = -u*i + r for i.
-4
Suppose -11 = -x - 1. Suppose 2*a - 3*z - 10 = 0, -4*z - 6 = -3*a + 4*a. Solve a*o = 4*o - x for o.
5
Let f(z) = -z. Let u(l) = -7*l - 17. Let d(y) = 6*f(y) - u(y). Let r be d(-8). Solve -6*q + r = -3*q for q.
3
Let l(r) = r + 2. Let y be l(-4). Let c = y - -6. Suppose c*w = -a - 3 - 3, 0 = w + 2. Solve a = -v - 2 for v.
-4
Suppose 2*q + 3 = -3*a + 2*a, 3*q = -3*a - 6. Let j be (3/6 + q)*0. Solve j*b = 4*b + 16 for b.
-4
Suppose 0 = 5*a + 4*q - 2, q = 4*a - 3*q - 16. Solve 2*f - a = -6 for f.
-2
Let f(g) = -g**2 - 9*g - 7. Let o be f(-5). Solve 2*u + 5 = o for u.
4
Suppose 60 = 7*o - 2*o. Let d be 6/o - 10/(-4). Solve d*w + 3 = -3 for w.
-2
Suppose 2*h = -22 + 10. Let g be (-10)/(-15) + 58/h. Let a = 0 - g. Solve q + 2*q = a for q.
3
Let p = -9 - -13. Let j be (3/p)/(1/(-4)). Let t = 6 + j. Solve -t*n = -0 - 12 for n.
4
Let m be (2/6 + 0)*18. Solve n = 2 - m for n.
-4
Let w = -18 - -15. Let o be 5 + w/(3/4). Suppose -