v*b - 24 = -15 for b.
-3
Let q(p) = 2*p**2 + 0*p**2 - p**2 - 6*p. Let v be q(6). Suppose v*f + 6 = 2*f - 2*k, 2*f - 3*k = 7. Solve -3*g - 13 = f for g.
-5
Suppose -4*j = 16, 2*t - 2*j + 3 = 3*t. Suppose 3*z = -0*z + 12. Suppose 0 = -z*v - t + 35. Solve v*c = 2*c - 20 for c.
-5
Let i = -38 + 44. Solve i*p - 3*p = -15 for p.
-5
Suppose 0 = w + 4*j - 3, 23 = -3*w + 4*j. Let k be (-2 - w - 3)*1. Solve -3*u + k*u = -12 for u.
4
Let c(v) = -3*v + 1. Let y be 1/((-1)/(-2)*-1). Let w be c(y). Solve -3*x - 8 = -w*x for x.
2
Let b be (5/10)/(-2 - (-18)/8). Solve b*g - 5 = -3 for g.
1
Let o = 51 - 26. Solve 5*d + 0*d - o = 0 for d.
5
Suppose -2*k - 3*k = 3*p - 69, 5*p = 4*k - 70. Solve k = -4*d + d for d.
-5
Suppose -5*p = -2*p - 60. Let t be 5*2/((-2)/(-1)). Solve 0 = -f + t*f - p for f.
5
Suppose 0 = -2*m - 5*p + 14, 0 = 6*m - m + 3*p - 54. Suppose -m = -7*i + 3*i. Solve i*a - 5 = 7 for a.
4
Let x(o) = -o**2 - 5*o - 4. Let a be x(-3). Solve -a*u = u + 6 for u.
-2
Suppose 0 = i - 2*t - 28 + 4, -5*t + 60 = 5*i. Solve 4*p - i = -0*p for p.
4
Let f(l) = l**3 - 9*l**2 - 9*l + 4. Let p = -1 - -3. Suppose p*y - 14 = 6. Let r be f(y). Solve 4*a + 2 = -r for a.
-4
Let w = 0 + 0. Suppose o - 5 = 11. Suppose -h = 3*h - o. Solve w = 8*p - h*p + 4 for p.
-1
Let g(w) = -w**2 + w + 2. Let r be g(0). Let f = r - -1. Suppose -b + z = 1 - 7, -2*b - f = 3*z. Solve -b*d = -2*d + 4 for d.
-4
Let q(n) = 7*n**2 - 2*n + 1. Suppose 22 = t - 5*y, -y - 3 + 7 = 4*t. Suppose 0 = t*u - 3*u + 1. Let a be q(u). Solve c + 3 - a = 0 for c.
3
Let u = -1 + 2. Suppose v = -0*v + u. Solve 3*f - 10 = -v for f.
3
Let m be 58*-2*(-3)/(-6). Let d be (-16)/72 + m/(-18). Solve -d*z = -0*z + 6 for z.
-2
Let z be ((-12)/30)/((-1)/(-10)). Let q = 4 + z. Solve j + 2*j - 15 = q for j.
5
Let f(k) = k + 3. Let n = 17 + -17. Let g be f(n). Solve -2 - g = y for y.
-5
Let m(t) = -t**2 - 2*t + 7. Let x be m(-3). Solve y = x*y for y.
0
Suppose 3*h - 14 = 1, -5*h + 25 = -2*p. Solve p = b - 11 + 7 for b.
4
Suppose 2*w - 7 = u, -3*w - 14 = -8*w - u. Suppose o = 4*s - s + w, -o + 2*s + 2 = 0. Solve -1 = x - o for x.
-1
Let u(g) = g**3 - g**2 - g - 21. Let o be u(0). Let s be (-90)/o + 4/(-14). Solve s*m - m + 15 = 0 for m.
-5
Let i = 13 - 22. Let z = i - -13. Solve -z*m = -m + 3 for m.
-1
Suppose 5*m - 23 = 2*m + 2*z, 10 = -2*m - 5*z. Let k(r) = 2*r + 14. Let x be k(-6). Solve m = -x*t - 3 for t.
-4
Suppose 0 = -2*k + 7*k. Let j(f) = 2*f - 4. Let w = -2 + 5. Let n be j(w). Solve k*l + l - n = 0 for l.
2
Suppose 0*q = 2*q, 3*q = -5*a + 15. Suppose 0 = 4*l - a*l. Solve n - 1 + 4 = l for n.
-3
Let w be (24/(-30))/((-3)/15). Solve 4*c - w = 2*c for c.
2
Suppose 8 = l - 7. Let w be 12/l*1*5. Suppose 2*u - w = 2. Solve u*a = a for a.
0
Let w(a) = 5*a - 41. Let u be w(9). Solve 0*c = u*c - 8 for c.
2
Let j be 0 + 2 - (-3)/3. Let o be 32/5 + 4/(-10). Solve -j*k - o = -k for k.
-3
Let x = 26 - 23. Solve x*c - 1 = 11 for c.
4
Suppose 0*s = -10*s. Solve s = -3*k + k for k.
0
Suppose -38 = 2*b + 4*v, -2*b - 3*v + 24 = -3*b. Let g = -13 - b. Suppose -4 = -3*y + g. Solve -y = 6*h - 2*h for h.
-1
Let k(s) = -s**2 - 8*s - 12. Let v be k(-6). Solve 0 = 4*l - v*l + 8 for l.
-2
Suppose 0 = -0*j + 4*j - 36. Let i = -1 - -3. Suppose -2*q + q = -i. Solve j = -c - q*c for c.
-3
Let s = 13 - 10. Suppose s = 4*o - 5. Let m be -5*((-8)/10)/2. Solve 4 = -o*l - m*l for l.
-1
Let s = -2 + 5. Solve i + s = -2 for i.
-5
Let a be (-7 + 3)/(1/(-2)). Suppose 6 = 3*i - 2*o + 4*o, 3*o - a = -4*i. Solve 2 = i*z - 4 for z.
3
Let p(a) = a**2 + 8*a - 10. Let k be p(-10). Suppose -15 = -4*u - 3*g, 3*u - 2*g - k = -3*g. Solve 8 = u*s - 5*s for s.
-4
Suppose 4*h - 2*h + 6 = 2*k, 0 = -4*h - 4*k + 12. Solve g + h*g - 5 = 0 for g.
5
Let c(r) = r**3 - 3*r**2 - 4*r. Let b be c(4). Suppose -o + 3 = -0. Solve b = 2*w + o*w - 15 for w.
3
Let m = 9 - 1. Suppose o - 9 = -4. Suppose 0*n - m = -5*s - 2*n, 0 = -o*n - 5. Solve 6 - s = -2*y for y.
-2
Suppose 5*w - 20 = w. Suppose -22 = 3*h + 3*p + 41, 5*h + 3*p = -99. Let m = -8 - h. Solve w*b + 5 = m for b.
1
Suppose 2*c + 36 = 8*c. Let y = 7 - 11. Let h = y + c. Solve h*f = 3*f - 5 for f.
5
Let d(w) = w**2 - w - 2. Let z be d(3). Suppose 0 = z*h - 2*h. Solve 3*x + h*x = -3 for x.
-1
Suppose 4*j - 10 = -2*x - j, 2*x + 3*j = 2. Let l = 11 - x. Solve -b + l = 3*b for b.
4
Let r be 2 + 2 + 2 + -1. Suppose r*z - 5*q + 4 - 19 = 0, -q = 4*z - 7. Solve z*c + 3*c = 25 for c.
5
Suppose 0 = -3*d - 3*d. Let z be 2/(-6) - 32/(-6). Suppose -5*g + v + z = 0, d = 5*g + v - 0*v - 15. Solve 0 = g*j + j - 3 for j.
1
Let m(f) = 2*f + 2. Let j be m(1). Let u(v) = 7*v**2 + 1. Let n be u(1). Solve 0 = 4*i - n - j for i.
3
Let v = 105 + -100. Solve -3 = -g - v for g.
-2
Let m be -4 + (-7)/((-7)/4). Solve m*i = 2*i - 6 for i.
3
Suppose 0 = 4*p - p. Let d be (0 - p) + -2*2. Let t be ((-15)/d)/(2/8). Solve 3*g + t = -2*g for g.
-3
Suppose 6*b + 6 = 3*b. Let a = b - -2. Let i = a + 2. Solve i = -0*h + 2*h for h.
1
Let j(i) = -i**3 - i**2 - i + 2. Let n be j(0). Suppose -n*b = -b - 25. Suppose 0 = 3*u - b - 2. Solve u = -2*l - l for l.
-3
Suppose 169 = -5*q + 519. Let a be q/28 - (-2)/(-4). Solve -1 = h + a for h.
-3
Suppose -8*y + 38 = -3*y - 2*c, y - 3*c = 5. Let s be y/(-36) - 58/(-18). Solve -5*p + s = 8 for p.
-1
Let x = -9 - -9. Suppose 5*h = -5*s + 20, -s + x = 2*h - 6. Solve h*w + 2*w - 12 = 0 for w.
3
Let n(o) = -o**2 - 18*o - 49. Let z be n(-14). Solve 0 = -4*d + 13 + z for d.
5
Let z = 1 + -1. Let g(d) = -d**2 - 15. Let k(x) = x**2 + 16. Let j(c) = -7*g(c) - 6*k(c). Let a be j(z). Solve 4*p = 11 + a for p.
5
Let w be (2/4)/(((-18)/(-60))/3). Solve -w*r = -2 - 3 for r.
1
Suppose 2*a = a + 16. Suppose 3*b - a = -b. Suppose -b*h - 2 = y, -7 = 3*y - 4*h - 17. Solve -s + y = -0 for s.
2
Let f(k) = k**3 - 7*k**2 + 8*k - 6. Let i be f(6). Solve i = t - 3*t for t.
-3
Let q be (-1 - 0)/(1/(-1)). Let n(x) = 7*x + 1. Let r be n(q). Solve -12 = 5*k + r for k.
-4
Suppose 6*g + 40 = 154. Solve -3 + g = -4*v for v.
-4
Let p be 0/2 + 0/(-1). Let j(d) = -d**2. Let q(l) = -4*l**2 - l + 1. Let t(k) = -5*j(k) + q(k). Let x be t(p). Solve -u = -0 - x for u.
1
Let s be 1/(-1 - 12/(-10)). Suppose 5*z + 2*m = 15, m - 9 - 1 = -s*z. Let g be 0/(0 + 0 - z). Solve 0*x + 5*x - 20 = g for x.
4
Suppose 3 = 4*g - 9. Solve 6 = -g*m - 0 for m.
-2
Let m(x) = 2*x**2 + 0 - 5 + 6*x - 3*x**2. Let v be ((-10)/4)/(2/(-4)). Let i be m(v). Solve 2*w + 0 + 4 = i for w.
-2
Suppose -4*z + z + 15 = 0. Suppose 0 = -0*f - 5*f + 70. Solve -z*d = 6 + f for d.
-4
Let o(g) = -11*g**2 + 3*g - 1. Let u(a) = 5*a**2 - a + 1. Let y(r) = 6*o(r) + 13*u(r). Let t be y(6). Solve j + t = -2 for j.
-3
Let c be 6/(-33) + (-70)/(-22). Let h = -1 + c. Solve h*f = 6*f for f.
0
Let o be 10/6 + (-7)/(-21). Let n(q) = 2*q - 8. Let m be n(6). Suppose o = -j + m. Solve r + j = -1 for r.
-3
Let z(d) = 2*d + 1. Let o be z(1). Solve -2 = j - o for j.
1
Let b(f) = f**2 - 4*f + 4. Let x be b(3). Let i = 2 + x. Solve 8 = -i*w - 7 for w.
-5
Let r(f) = -f**3 + 3*f**2 + f + 2. Let x be r(3). Solve -4*u = -x*u - 4 for u.
-4
Suppose j = -4 + 5. Solve 2 = -3*m - j for m.
-1
Suppose l + 8 = -5*n + 3*l, 4 = -3*n + l. Let c(y) be the second derivative of y**3/6 + 2*y**2 - y. Let d be c(n). Solve d*o = -o + 10 for o.
2
Let b be (-49)/(-2) - (-3)/(-6). Suppose f + b = 5*f. Solve 0 = -4*p + f*p + 8 for p.
-4
Let a = 10 + -12. Let n(q) = -10*q. Let s be n(a). Solve -6*p + p - s = 0 for p.
-4
Suppose -2*u - 3*h = -20, -5*h = u - 2*h - 16. Let k = 5 + u. Solve -x = -4*x + k for x.
3
Let b = -3 - -1. Let q be (-6)/b - (-4)/2. Solve -q*v - 2 = -6*v for v.
2
Suppose 0 = s - 5*s. Let b(c) = -c**3 + 6. Let n be b(s). Let d(a) = a**2 - 4*a - 6. Let r be d(7). Solve -o = -n*o + r for o.
3
Let y(z) = -z**2 + 4*z - 3. Suppose 0*d = -4*d + 12. Let v be y(d). Suppose 0 = 2*p - 6*p - 20, 4*u + p - 15 = 0. Solve v = -5*w + u for w.
1
Let f(h) = h**3 - h**2 - 2*h - 1. Let o be f(-1). Let i be o/(2/(-12)*2). Solve 2*v - i*v = 4 for v.
-4
Let d = -78 + 81. Solve 0 = -d*c + 4*c + 3 for c.
-3
Let z be 5 + ((-5)/1 - -3). Let r(c) = c + 1. Let k be r(z). Suppose k*i = 2*i. Solve 0 = 2*o - i - 2 for o.
1
Let c(v) = v**3 + 7*v**2 + 5*v - 2. Let p be c(-6). Suppose 3*z + 0*f + p*f = 27, -2*f - 4 = -2*z. Solve z*i - 6 + 1 = 0 for i.
1
Suppose -