 be t(17). Solve 4*p - h = p for p.
5
Let v be ((-5)/(-2))/(2/4). Solve -v*d = -d + 12 for d.
-3
Let x(n) = -n**2 - 9*n + 10. Let v be x(-9). Let y be 4/v + 4/(-10). Solve -4*h + y*h = -12 for h.
3
Suppose -c = 101 - 107. Solve -c - 10 = 4*w for w.
-4
Let r(i) = -i**3 + 9*i**2 + 4*i + 9. Let p be r(9). Suppose 6*u - 3*u - p = 0. Solve 2*q = -q + u for q.
5
Let d be 4/10*(-15)/(-6). Let r be 1/(-2 - d)*-9. Solve 3*g - 9 + r = 0 for g.
2
Suppose m + 3*q = -21, -4*m + 30 = -6*m - 3*q. Let a = 2 + -2. Let b be (-2)/(2/m) + a. Solve 0*s + b = -3*s for s.
-3
Let y be -10*(4 + -6)/4. Suppose b - y*n + 18 = 0, -4*n = -4*b - n - 4. Solve -5*t + b = -3 for t.
1
Let q be 8/(-2)*5/(20/(-7)). Solve r + q = 2 for r.
-5
Suppose z - 4 + 0 = 0. Solve 1 = i - z for i.
5
Let x = -7 + 13. Suppose -20 = -t + 6*t. Let n = 7 + t. Solve n*g = g + x for g.
3
Let g be 1/(-3) - (-10)/3. Solve -g = -h - 2*h for h.
1
Let l(n) = n**3 - 2*n**2 + n. Let a(z) = -z + 7. Let d be a(6). Let t be l(d). Suppose -3*v + 0*v + 60 = t. Solve 0 = -2*u + 7*u - v for u.
4
Let o(y) = 3*y**2 + y - 1. Let q be o(1). Suppose q*i - 11 = -5*p, p = 6*p - 5. Suppose 0 = -i*x + 4*x. Solve 0 = -3*v - x - 6 for v.
-2
Suppose 0 = -5*r + r + 8. Suppose 0 = -2*y - 2*n + 14, -y + 0*y + 17 = -4*n. Suppose -r*b = b - y. Solve b*f - 2 = f for f.
1
Let j be 28 - (-1 + 2) - 0. Suppose -2*r = -3*q - j, -5*r + 2*q + 6 = -45. Solve 5*y - r = -29 for y.
-4
Suppose 0 = 3*x - 54 + 3. Let u = x + -15. Let r(c) = -c + 9. Let z be r(7). Solve -u - 2 = -z*w for w.
2
Let i = 9 - 4. Let l = i + -3. Solve l = -n + 5 for n.
3
Suppose 0 = -4*t + 9*t. Suppose -p + t + 2 = 0. Solve p*j - 15 = -j for j.
5
Suppose 12 = 3*a, 2*a = 2*l + 7*a - 24. Suppose 4 - l = b. Suppose -3*g - 8 = -2*g - 2*v, 5*g = 2*v - 8. Solve 5*x - b*x = g for x.
0
Let t be (4/10)/((-3)/(-15)). Suppose 3*d - 23 = 5*y, -t*d - 3*y + 3 = -6. Solve d*w = w - 15 for w.
-3
Let w be -2*(0 + (-1)/2). Let n = 3 - w. Solve 5*h = n*h - 3 for h.
-1
Let l(y) = -7*y + 4. Let h be l(4). Let a be 6/h - 18/(-8). Suppose 4*d - 21 = 15. Solve 0 = a*z + z - d for z.
3
Let d(p) = -p**3 - 3*p**2 - 2*p - 4. Let f be d(-3). Suppose -4*c + 28 = -0*c. Suppose -f*v = -c*v. Solve v = 4*y - y + 12 for y.
-4
Let i be 2*(-1)/2 + 2. Suppose i = 2*r + q + 11, 2*q = 4. Let k = -3 - r. Solve 0 = -u + 1 - k for u.
-2
Let s be (4 - (2 + -5)) + -1. Suppose m = 3, -3*t - 4*m + s = -6. Solve -y - y - 10 = t for y.
-5
Suppose -25 = -g - 5*q, q - 25 = -g - 3*q. Solve -11*f = -6*f + g for f.
-5
Suppose -14 = 2*j - 4*w, 2*j + 3*w - 11 = 2*w. Solve j*y - 16 = -y for y.
4
Suppose 2*t - 2*o = 2*o + 2, 2*o + 11 = 3*t. Solve -4*q - t = -17 for q.
3
Let z be 2/(-2 + 3) + -4. Let x(j) = j**2 + j + 2. Let f be x(z). Solve -3*c - f - 11 = 0 for c.
-5
Let q = 5 - 11. Let n = -4 - q. Suppose 0 = c - 5*y, -n*c + 32 = 3*y - 5*y. Solve 4*o = c - 4 for o.
4
Suppose 2*m - 24 - 5 = -3*r, 49 = 3*m - r. Solve -3*l + m = l for l.
4
Suppose 3*a - 5*a - 2*i = -2, -2*a - 4*i = -4. Solve a*c = 3*c - 15 for c.
5
Suppose 2*t = -3*t + 15. Suppose 0*s = -2*s + 10. Suppose -s*x - 3 = -8. Solve -t = -o + x for o.
4
Let v(f) = f - 7. Suppose 5*s = -n + 15, 0*s + 4*s = 2*n - 16. Let r be v(n). Solve 8 = r*q - 1 for q.
3
Let f = -18 - -18. Solve 4*r - 1 - 3 = f for r.
1
Suppose 20 = 2*c + 3*c. Let j = 6 - c. Solve j*f = -f - 6 for f.
-2
Let x be 3 - ((-96)/3)/4. Solve 4*h - x - 9 = 0 for h.
5
Let a(h) = 1 + 1 - 1 + 7*h + 4*h**2 - 5*h**2. Let k be a(7). Solve -2*l = 1 + k for l.
-1
Suppose 4*s = -l + 36, -3*l - 62 = -5*s - 0*l. Solve 0 = 2*u + s - 2 for u.
-4
Suppose -q = -8*q + 21. Solve q*b = -5 - 4 for b.
-3
Let l(i) = -i**2 + 6*i + 1. Let t be l(5). Suppose b = 2*z - 3, 4*z + 2*b = -0 - t. Solve z = -2*k - k - 3 for k.
-1
Suppose 0 = i - 2*i. Suppose i = -p + 5*p - 16. Suppose -p = -2*w + 4. Solve 0 = -w*q + 7 + 13 for q.
5
Let s(d) = -9*d**3 - d**2 + d + 1. Let k be s(-1). Solve -t - 3*t = -k for t.
2
Suppose 0 = 4*g + g + 3*m - 47, -5*g + 3*m = -23. Solve -4*o + 1 = -g for o.
2
Let d be 3*3*4/6. Let n(w) = 3*w**2 - 5*w + 12. Let i be n(-9). Let j be (i/18)/((-4)/(-6)). Solve c - d*c - j = 0 for c.
-5
Suppose -2 = 5*r - 7. Let w be (2 + 0)/2 - r. Solve w = -3*n + 8*n + 5 for n.
-1
Suppose -2 = 4*d + 3*w - 17, 13 = 3*d + 4*w. Suppose -g + 2 = 0, d*g - 4*g = -4*q + 2. Solve 2 + q = -j for j.
-3
Let p be 60/5 - 3/1. Suppose p*x = 5*x. Solve x*r - 16 = -4*r for r.
4
Let y = -4 + 11. Solve -3*r - 5 = y for r.
-4
Suppose 0 = -3*p - 3*f + 3, -5*p + 14 = -3*f + 5*f. Suppose -4*v + 3*v = -p. Solve 1 + 7 = -v*u for u.
-2
Let m = -13 - -15. Let r(v) = 2*v**2 - 2*v + 1. Let l be r(m). Solve 3 = -l*i + 28 for i.
5
Let j be (-1)/(-3) - 46/(-6). Let i be (-94)/(-4) + (-4)/j. Let z be 4 - (1 + -1 + 1). Solve i = 5*m + z for m.
4
Let z be (1 - -2)/(9/(-12) + 1). Solve -2*u + z = -5*u for u.
-4
Let o be 6/(-2)*12/(-9). Suppose 12 = 3*f, 0 = o*d + 2*f + 2*f - 28. Solve -3*u + 0*u = -d for u.
1
Suppose -4 + 24 = 5*w. Let d be (-27)/2*(6 - w). Let n be (-8)/36 + (-60)/d. Solve -n*o + o = -2 for o.
2
Suppose 0 = 3*h - 7*h + 4. Suppose j + k = -h, -2*k - 6 = k. Solve -o - j = 4 for o.
-5
Let c be (-4)/20 + 88/(-10). Let l be (30/c)/(3/(-18)). Solve -3*n - l = n for n.
-5
Let c = 1 - -4. Suppose i - 2*s - 3 = -0, -4*i + 12 = -4*s. Suppose -4*q = q. Solve q = i*m - c*m for m.
0
Suppose -74 = -4*w + 38. Let i = w - 3. Solve 0 = 6*b - b - i for b.
5
Suppose 0 = 3*w - 2*r + 5, r + 1 - 5 = 0. Solve -f = -6 + w for f.
5
Let p = -1 + 3. Let t = p + 1. Solve 3*q - 4*q = t for q.
-3
Let g be 0*((-4)/(-6) + -1). Solve g = 2*x - 2 for x.
1
Suppose 0*j - j = -4. Let c be -5*(2 - 12/j). Solve c*u - 11 - 4 = 0 for u.
3
Suppose -3*q = -j + 8, -4*q + 19 + 2 = 5*j. Solve 0 - 20 = j*c for c.
-4
Let p(b) = 5*b**2 + 2*b + 7. Let f(c) = -6*c**2 - 3*c - 8. Let s(i) = 4*f(i) + 5*p(i). Let x = -5 - -7. Let w be s(x). Solve -w*u = -0*u for u.
0
Let n be (1/1)/(12/48). Suppose 0 = -3*f - 2*f - 20. Let x = f + n. Solve 5*b = -x*b + 10 for b.
2
Suppose 24 = 2*g + 5*d, 4*d = -7 - 1. Solve -g = -5*l + 3 for l.
4
Suppose 0*o = -3*o + 48. Solve -r + o = 3*r for r.
4
Suppose 5*d - 4 = 1. Let y(k) = 9*k**3 - 1. Let v be y(d). Let j(z) = -z**2 - 11*z - 4. Let x be j(-10). Solve -v = -2*r + x*r for r.
-2
Let a be (-1)/((-2)/6 + 0). Let k(q) = q**3 - 3*q**2 + q - 3. Let t be k(a). Suppose -5*d + 5*u + 15 = 0, 4*d + 4*u + 6 = 42. Solve 0*n - 3*n - d = t for n.
-2
Let n(t) = 21*t**2 + t. Let h be n(-1). Let u = h + -8. Solve -u = z - 5*z for z.
3
Let j be (-12)/4 - -2 - -3. Solve -j*l - 8 = -0*l for l.
-4
Let w = 5 + -2. Suppose 5 + 3 = -2*z + 2*g, -z + 4 = g. Solve 0 = -w*y - z*y + 12 for y.
4
Let t = 7 - 1. Let v = t + -6. Solve v = m + 3*m - 16 for m.
4
Let o(t) = t**3 + 3*t**2 - t - 3. Let i be o(-3). Suppose i*n = 2*n - 16. Let b = 7 + -7. Solve 0 = -2*v - b - n for v.
-4
Let d = -8 + 5. Let o be (-4)/(-3) + d/9. Solve 4*y + o - 13 = 0 for y.
3
Let c be 2/8 - (-21)/12. Suppose 4*b + 1 = i, -2*b + 0*b = -2*i + c. Solve p + p = b for p.
0
Suppose -3*t = 9*s - 4*s - 218, 2*s - 76 = -4*t. Suppose -3*y + s = 4*v, -29 = -5*y - 2*v + 29. Solve -5*n + 0 - y = 0 for n.
-2
Let m be (-28)/(-35)*(-5)/(-2). Solve m*r + 9 = 1 for r.
-4
Suppose 2*g + 17 = -4*s + 3, -4*s - 12 = 4*g. Let h(t) = 4*t**3 + t**2 + t. Let m be h(-1). Let b(q) = q + 7. Let f be b(m). Solve -g = -f*p + 11 for p.
4
Suppose 0 = -2*i - 4 + 12. Suppose b + 2 = i. Suppose -45 = b*h - 5*h. Solve -2*f - 3*f - h = 0 for f.
-3
Let i(f) = -f - 10. Let u be i(-10). Solve -z - 3*z - 12 = u for z.
-3
Let y(j) = j - 1. Let g be y(2). Let b be g*(6 - (-3)/1). Solve 0*x - 3*x + b = 0 for x.
3
Let b be ((-12)/(-20))/1*5. Suppose b*y - 4*y = c + 1, 2 = -c - 2*y. Solve u + c = -3 for u.
-3
Let o(j) = j**3 + j**2 - 5*j - 7. Let r(w) = -w**3 + 4*w + 6. Let i(l) = 4*o(l) + 5*r(l). Let g be i(4). Suppose g*m - m = 4. Solve 0 = m*c - 5 + 25 for c.
-5
Let l(n) = n**3 + 2*n**2 - 2*n - 3. Let o be l(-2). Solve -2*p = -3*p - o for p.
-1
Let x = -4 - -6. Solve 0 = -4*k + 3*k + x for k.
2
Let a be (-4)/(-6) + (-34)/6. Let u = 9 + a. Suppose u*q + 8 = 24. Solve -5 = q*b + 3 for b.
-2
Let l = 2 + 14. Let s(u) = u**2 - u + 1. Let r be s(2). Solve -r*w = w + l for w.
-4
Suppose 5*b - 20 = 5. Solve b*r = -4 - 16 for r.
-4
Let b = -102 + 111. Solve b =