et p = -10 - -7. Let h be d(p). Let c be (2 - h) + (-1 - -4). Solve -c = -2*v - 17 for v.
-5
Let v(o) = -o**2 - 8*o - 7. Let m be v(-6). Let r = 8 - m. Suppose r = 2*h - h. Solve 11 + 4 = -h*z for z.
-5
Let w(u) = -2*u + 12. Let x be w(4). Suppose i - 28 = -4*k + 3*i, 0 = 3*k - x*i - 16. Solve -5*m + k - 3 = 0 for m.
1
Suppose -2*h - 69 = p - 66, 6 = -2*p. Solve -j - 7 + 9 = h for j.
2
Suppose 0 = 2*c - 3*y - 19, 0 = -3*c + y - 3*y + 9. Solve 0*q + c*q = 25 for q.
5
Let x = 35 + -14. Suppose 4*s = s + x. Solve s - 3 = 4*r for r.
1
Let o(i) = 2*i - 7. Let t be o(5). Suppose -5*j = 2*m - m + 1, j + 1 = -m. Suppose -r + 2 + t = j. Solve 3*p - r*p + 10 = 0 for p.
5
Suppose -y = 5*f + 15, -5*y + y + 9 = -3*f. Suppose 0 = -y*z - z + k + 1, z = -2*k + 4. Suppose 14 = -2*m + 4*m + 4*q, -24 = -5*m + q. Solve -m*t = 8 + z for t.
-2
Let c = 1 - -13. Suppose 3*q + c = -16. Let f = -8 - q. Solve -3*d - f*d = 0 for d.
0
Let p be (-70)/(-8) + 15/20*-1. Suppose -5*u = -a - 16 - p, -5*u + 4 = 4*a. Solve -5*i = -1 - u for i.
1
Let q be (32/20)/((-28)/(-35)). Solve -q*h + 27 - 17 = 0 for h.
5
Suppose 3*s - 8*m = -5*m + 6, 3*m = 4*s - 8. Suppose 3*p + p + 12 = -s*x, 4*x - 5*p = 15. Solve w + x*w + 3 = 0 for w.
-3
Let b(w) = w**3 - 17*w**2 + 13*w + 50. Let d be b(16). Suppose -3*k + 17 = 2*x - 3, -d*k - 4 = -3*x. Suppose 31 = 3*m - 29. Solve 8 = -x*h + m for h.
3
Let q = 16 - 11. Suppose -11 = -q*y + 4. Suppose -43 = -4*u - 5*h, 40 = 5*u - 2*u - 4*h. Solve -y*d + 0*d = -u for d.
4
Let d be (14/(-5))/(-2*(-6)/(-30)). Solve d*j = 13 - 34 for j.
-3
Let n(s) = -s + 2. Let m(i) = -8*i + 6 + 4*i + i. Let a(h) = -2*m(h) + 7*n(h). Let y be a(-1). Solve -23 = -y*u - 8 for u.
5
Let y(t) = -6*t**2 + 210*t + 40. Let n be y(35). Solve h + n = 9*h for h.
5
Suppose 0 = 2*o - 3*p - 9, 10*o - 3*p = 11*o. Let l = 0 + 0. Solve o*h - h - 6 = l for h.
3
Let d be 6*((-21)/6 + 6 + -3). Let f be (-36)/(-8)*(1 + 1/d). Solve 1 - f = -2*h for h.
1
Let b(s) = 7*s - 22. Let q be b(4). Suppose 0 = -13*i + q + 7. Solve m - i = -2 for m.
-1
Let a(f) = -f - 28. Let p be a(-10). Let k = 33 + p. Solve -6*z + k = -3*z for z.
5
Suppose 0 = -2*w + 7 + 17. Let q be 12/72 - (-34)/w. Solve -q*n = -0 + 3 for n.
-1
Suppose 0 = -5*v + 6*v - 3*d - 14, 3*v + 4*d = 16. Solve -15 = -v*m + 3*m for m.
3
Suppose -12 - 9 = 7*r. Let p(f) = 2*f**2 + 5*f + 3. Let z be p(r). Solve i = z*i + 10 for i.
-2
Suppose -61*o = -70*o. Solve o = -28*w + 26*w + 6 for w.
3
Let p = 965 - 935. Solve 0 = 9*y + p - 3 for y.
-3
Let k(b) = -b**3 + 2*b**2 + 4*b. Suppose -5*w = 5, -4*n + n = -4*w - 13. Let f be k(n). Solve 0 = f*z - 0 - 9 for z.
3
Let m be (-1)/4 + 2/8. Let p = 0 + m. Suppose 311*k - 313*k = -v - 4, -5*k = v - 17. Solve p = -2*j - k*j + 15 for j.
3
Suppose 0 = o - 1, 451 + 354 = 5*h - 5*o. Let b = h - 158. Solve -4 = -b*r - 16 for r.
-3
Suppose y - 3*f + 7 - 1 = 0, -4*y + 2*f + 6 = 0. Suppose y*u - 90 = -3*d + 2*u, d - 40 = 3*u. Suppose 0 = 29*c - d*c + 24. Solve q + c = -3*q for q.
-3
Suppose 5*k = -5*h + 250, -19*k - 5*h = -23*k + 155. Solve k - 50 = -5*w for w.
1
Suppose -22*r = 2*r. Solve r*h = -4*h for h.
0
Let k(g) = 6 + g**2 + 6 + g - 12. Let q be k(0). Solve q*w = w - 4 for w.
4
Suppose -3*a + 32 = -6*h - 1, -3*a + 4*h = -33. Solve a = -2*n + 13 for n.
1
Let s = 18 - 28. Suppose 0 = 3*p + 9, 34 = -0*h + 2*h - 2*p. Let x = h + s. Solve -3 = -x*f + f for f.
1
Suppose 40 + 30 = i - 4*s, -126 = -2*i + s. Solve -3*x - i + 65 = 0 for x.
1
Suppose -7*j + 5*j - v = -216, -94 = -j - 4*v. Let b = 112 - j. Let c be (10 + -1)*(-1 - -2). Solve b*i = -i - c for i.
-3
Let f = 41 - 31. Suppose 2*z - 12 = -f. Let a(v) = v + 2. Let c be a(z). Solve -2 - c = q for q.
-5
Let i be ((-12)/(-14))/((-3)/(-7)). Suppose 3*b = -2*b - 2*d + 15, -4*d + 23 = 3*b. Suppose -7 = -i*n + b. Solve 0 = n*k - 5*k - 5 for k.
-5
Suppose -3*l = -3*o + 15, l = -2 - 1. Let v be 2 - (o + -12 - 3). Suppose 0 = -5*a - 5 + v. Solve -9 = k + a*k for k.
-3
Suppose 2*z - 4*z = 0. Suppose z*o + w = -5*o + 35, 2*w = 2*o - 2. Solve 4*b = 2*b - o for b.
-3
Suppose 53 - 165 = -4*g. Solve -23*r + g*r - 15 = 0 for r.
3
Suppose 4*m + 27 + 21 = 0. Let f = -12 - m. Solve f*r = 5*r - 25 for r.
5
Suppose 16 = 27*z - 38. Solve z*b = -7*b for b.
0
Suppose -l + 2*u = 3*l, -4*u = 0. Solve -82*q + 79*q + 9 = l for q.
3
Let g = 3106 + -3103. Solve g*v = 10*v + 3*v for v.
0
Suppose -740*s + 746*s - 102 = 0. Solve s*l - 38 - 13 = 0 for l.
3
Let i(r) = -r + 14. Let s be i(4). Let u be 8 - (4/s - 32/(-20)). Solve 3*p + 6 = -u for p.
-4
Let y be -8 + 29 + 48/(-6). Solve 2*s - 9 + y = 0 for s.
-2
Let c be 0 + 7 + (-8)/(-32)*44. Solve -1 - 53 = c*r for r.
-3
Suppose 0 = 4*j + 2*t - 48, -6*t + 46 = 3*j - 2*t. Solve -8*w + 10 = -j*w for w.
-5
Let k be 2/16 + (-1904)/(-128). Solve k - 10 = -b for b.
-5
Suppose 7*m + 12*m = 114. Let x(q) = 3*q**2 - q. Let r be x(-1). Suppose 3*k - 2*j + 10 = 2*j, -r*j = -2*k - 12. Solve -k*p + 4 = -m*p for p.
-1
Let l = 386 + -383. Let j(k) = k - 6 + k + 0*k. Let n be j(l). Solve n*v = -v - 1 for v.
-1
Let l be (55/(-15) - -3)/((-2)/60). Let w(p) = -2*p - 14. Suppose 0 = -5*n + 20 - 70. Let v be w(n). Solve -2*y + l = -v*y for y.
-5
Suppose 0 = -q + 4*p + 102 - 71, -4*q - 16 = 4*p. Let y(x) = -2*x - 5. Let h be y(-5). Solve -q = -h*j + 6*j for j.
-3
Let f be ((-7 + 2)*1)/(-1). Let z be (f - 2) + 30/10. Solve z = -3*p + 6*p for p.
2
Suppose 5*z - 5 = -5*w, -2*z + 6*z - 10 = 2*w. Suppose 3*q = -z*q. Suppose q = s - 10 + 6. Solve s*d - 2 = 2*d for d.
1
Suppose 253 - 235 = s. Solve -6*k + s = -6 for k.
4
Suppose -58 = -4*p + 2*i, 18*p + i + 59 = 22*p. Solve -s - p*s = 16 for s.
-1
Let y(o) = 4*o - 25. Let t be y(7). Suppose -q + 0 + t = 0. Solve 2*v = q*v for v.
0
Let x = 136 - 133. Solve -11 + x = -2*o for o.
4
Suppose 2*s + 95 = -4*i - 155, 175 = -3*i + s. Let a = -58 - i. Solve -4 = -6*n + a*n for n.
1
Suppose 27 = -4*m + 13*m. Suppose -4*v - 12 = 2*q, -m*q + v = -4*v - 15. Solve q = y + 5 - 2 for y.
-3
Suppose -2*r + 8*r = 342. Let k = r - 49. Suppose 0 = 5*u - 3*o - 40, 0 = -u + 2*o - 3*o. Solve -k + 28 = u*a for a.
4
Let b = -22 - -24. Let o be (1/b)/((-7)/(-42)). Solve -o*v - 10 = 5 for v.
-5
Let h be -90*1/2*(-10)/15. Solve -3*m + h = -13*m for m.
-3
Let x(h) = h**2 + 6*h - 10. Suppose -2*c - 10 = 2*j, 4*c - j - 17 = -42. Let v be x(c). Let d(u) = 2*u**2 + 21*u + 15. Let b be d(v). Solve 4*o = b + 11 for o.
4
Let g be (-2)/4 - 402/12. Let v be g/(-8) + (-24)/(-32). Suppose 0 = -0*r - v*r. Solve r*l = -3*l for l.
0
Suppose -3*q + 0 = -6. Let r(n) = -n**2 + 7*n + 1. Let h be r(7). Suppose -27 = -q*k + h. Solve -3*c = 5 - k for c.
3
Let s(c) = 5*c**2 - 69*c - 14. Let j be s(14). Solve 16 = -4*d - j for d.
-4
Let y = 99 - 95. Solve -2*d - y + 6 = 0 for d.
1
Let o(c) = -c**3 - 2*c**2 - c + 3. Let s be o(-2). Let r be (-18)/4*48/36. Let l(b) = b**2 + 6*b + 7. Let g be l(r). Solve g = s*v - 18 for v.
5
Suppose 0 = -271*p + 257*p + 84. Solve -b - p = -9 for b.
3
Let w be -74 - (-2 + 3)*-2. Let m = -72 - w. Solve -3*d + m = 3 for d.
-1
Let q be (-1158)/2123 + 6/11. Let s(c) = -c + 7. Let k be s(5). Solve -d - d + k = q for d.
1
Let v = 2 + 1. Let l be 2/v + 13/3. Solve 2*k + l = k for k.
-5
Let k be (3 - (-51)/(-6))/(2/20). Let t = 55 + k. Solve t = -3*r - 2 - 10 for r.
-4
Suppose 2*j + 4 = 3*j. Let f be j/(-14) + 9/7. Let d(h) = 4*h**2 - 1. Let u be d(f). Solve -2*x - 3 = u for x.
-3
Let u(z) = z**3 + 4*z**2 - 5*z. Let v be u(-5). Let x be v + (-2)/(-4 - -2). Suppose g - x = 2. Solve -2*k + 5 = -g*k for k.
-5
Suppose 4*b + 4*h - 60 = 0, 5*b - 6*b - 2*h = -10. Solve 9*w + b = 13*w for w.
5
Suppose 4*y + 7 = 5*c, 4*y - 7 = -3*c + 5*y. Solve -20 = -t - c*t for t.
5
Let f(l) = -2*l**2 + 13*l + 14. Let b be f(8). Let r be b/3*(-3)/2. Solve 5*y - 5 - r = 0 for y.
2
Suppose 0*q + 4*q - 12 = -4*z, -13 = -2*z + 5*q. Let k be 6 - (1/(-1) + z). Let t be -1*(k + -3 + 0). Solve -2*m + t*m + 4 = 0 for m.
2
Let t(a) = -a**3 - 7*a**2 - 15*a - 8. Let s be t(-4). Let i = 8 + -2. Let z be (i/10)/(2/10). Solve z*b - 1 = s*b for b.
-1
Let z be (-44)/(-10) + 4/(-10). Let q = -6 - -9. Suppose t + 7 = z*a - q, -2*a = t - 8. Solve 2 + 0 = t*s for s.
1
Suppose -5*k - 5*o - 5 = 0, 3 = -k - 3*o + 2. Let r = 22 + k. Let f = r + -11. Solve 0*b = -2*b + f for b.
5
Let l(o) = -3*o**2 + 6*