2) + 1)*-2. Let m = -9 - a. Let v be (-7)/(-4) - 1/(-4). Solve -v*t = 2*t + m for t.
-5
Suppose 5*f - 2*o = 11 + 7, -2*f - 3*o = 8. Solve -f + 6 = -r for r.
-4
Suppose -2*m + 148 = 144. Solve m*u - 8*u = -18 for u.
3
Let z be ((-60)/6)/(2/(-3)). Let d = -12 + z. Solve -d*a + 4 = -4*a for a.
-4
Let n = -7 - -7. Suppose -2*k - 3*k + 100 = 0. Let p(c) = 2*c + 1. Let v be p(2). Solve z - v*z - k = n for z.
-5
Suppose -4*t = -2*h + 8, 0 = -3*h + 5*t + 4 + 6. Solve 4*g - 17 - 3 = h for g.
5
Let s(v) = v**2 + v - 4. Let c be s(4). Solve -4*x = -0*x + c for x.
-4
Let z be 58/8 + 2/(-8). Let d = z + -4. Solve -y + 0 = d for y.
-3
Let c(s) = -s**3 + 6*s**2 - 5*s - 2. Let n be c(4). Let p = n - 7. Solve -p*u - 7 = 8 for u.
-5
Let z be ((-12)/(-9))/(6/9). Suppose 4*j + 2 = -3*r, z*r - 7*r - 3*j + 4 = 0. Suppose 0*x - r*x = 0. Solve a = -x*a + 5 for a.
5
Let b = 3 - 7. Let f = 1 + b. Let r be (-16)/(-6) + (-1)/f. Solve 3 = -r*g - 3 for g.
-2
Suppose -4*t + 2*t - 20 = 0. Let a = -6 - t. Solve -a*k = -13 - 7 for k.
5
Let b = 196 + -196. Solve b*d - d = 2 for d.
-2
Suppose -3*a - 22 = 11. Let z = a + 13. Solve -z*p - 4 = -p for p.
-4
Suppose 3*i + 0*i - 15 = 0. Let x be (-10)/(-4) + 2/4. Suppose 3*t = x + 6. Solve -t*f = -i*f for f.
0
Let d(p) = -p**3 + 5*p**2 + p + 2. Suppose -a = -4*a - f + 15, 5*a - 5*f - 25 = 0. Let g be d(a). Let q = g + 1. Solve -5*t - q = -t for t.
-2
Suppose 3*f - 2*f = -5*k + 11, 0 = 2*k - 4*f. Solve -k*a - 1 - 7 = 0 for a.
-4
Let k(q) = -q**2 + 8*q + 9. Let u be k(9). Suppose -2*c - y + 0*y + 9 = u, -3*y = 4*c - 17. Solve -4*a = -3 - c for a.
2
Let m = -7 - -7. Suppose 3*f - 4*f + 2 = m. Solve 25 = f*u + 3*u for u.
5
Let c be 1 - (2 + (-3)/1). Solve 0*n + c = -n for n.
-2
Let n = -21 - -65. Suppose 3*p - 24 = -4*w, 3*p - 11 = p - w. Suppose 5*l + 7*o - p*o - n = 0, 46 = 5*l + 2*o. Solve 0 = 2*m + l - 2 for m.
-4
Let b be (5 - 124/28)*7. Solve 0 = b*d - 12 - 0 for d.
3
Let c be (-3)/6*6/1. Let b = 11 + c. Let l = 10 - b. Solve l = -3*i - 1 for i.
-1
Let r(a) = -2*a - 3. Let u be r(-2). Solve u - 3 = b for b.
-2
Suppose 0 = -3*j + 5*j - 8. Let h be 14/4*(-72)/(-42). Solve h = -w + j*w for w.
2
Suppose -5*l + 81 = -x, 2*x = -5*l + 7*x + 65. Let d = -11 + l. Suppose 0*s = s - 2. Solve s*u = d*u - 20 for u.
5
Let f(d) = -d**3 - 5*d**2 + 2*d - 1. Let t be f(-5). Let v = t + 14. Let o be ((-2)/4 + 0)*-2. Solve 5 = v*n - o for n.
2
Suppose -46 = 3*s - s. Let v = 23 + s. Solve v = 3*f - 4*f for f.
0
Suppose 2*u - 2*x = 14, 4*u = -x - 0*x + 38. Suppose u*c = 4*c + 20. Let z = c - 2. Solve z*v - 4*v = 0 for v.
0
Suppose 2*u - 26 = -3*k + k, -3*k + 2*u + 54 = 0. Suppose 0 = -v + 2*b + 8, 4*v - k = -v + 2*b. Suppose -h - v*h = 0. Solve i - 5 = -h*i for i.
5
Let q(l) = -l**2 - l + 21. Let d be q(0). Suppose -5*w + d - 1 = 0. Solve -7 + 3 = w*m for m.
-1
Let d = 8 + 42. Suppose 5*g = 5*a - d, 5 - 13 = 2*g. Solve -2*x + a*x - 20 = 0 for x.
5
Suppose -5*t = -0*t - 2*a - 46, -8 = -4*a. Let v = -18 - -22. Solve -v*j + t = j for j.
2
Let k = -80 + 90. Solve 4 = 3*s + k for s.
-2
Suppose -3*g = 5*v - 38, 0 = -v + 3*g - 0*g + 22. Let q = 6 - v. Let j(b) = b**2 + 4*b + 3. Let p be j(q). Solve 0 = -p*u + 1 - 4 for u.
-1
Suppose 0 = 3*w + 1 - 13. Solve 2*c + 0 - w = 0 for c.
2
Let x(d) = -d**3 - 3*d**2 + d - 9. Let c be x(-4). Solve 2*y - c*y = 0 for y.
0
Let y = 2 - -2. Suppose -y*z = -z. Let q be 0 + 2 + z - -1. Solve 0 = -4*h + q*h - 5 for h.
-5
Let b = -16 - -22. Suppose 0 = y - 2*c + 42, -2*y - 64 = -0*y + c. Let l = y + 50. Solve l = 5*w + b for w.
2
Let d(k) = 2 + k + 2 - 3. Let i be d(0). Let w(s) = s**3 - 2*s**2 + 2*s - 1. Let n be w(i). Solve n = 4*v - 2*v + 4 for v.
-2
Suppose -2*d + 6*m + 13 = 3*m, -5*m = -3*d + 21. Suppose -3*q = d*q - 30. Solve 3*z + 0*z + q = 0 for z.
-2
Let x = -25 - -25. Suppose x = -18*r + 21*r - 87. Solve -4*v + 13 = r for v.
-4
Let t = -3 - -4. Solve -7 = 4*z + t for z.
-2
Let l be (-6)/21 - (115/(-35) - 4). Solve -3*b = -l*b - 8 for b.
-2
Let z(u) = u**2 - 5*u + 2. Let d be z(5). Solve d*t + 12 = -t for t.
-4
Suppose 5*p - p = 8. Suppose -2*r = 4*q - q + p, 5 = -q - 5*r. Solve -20 = -q*a - 4*a for a.
5
Let m(v) = v - 7. Let f be m(6). Let a = f + 1. Solve -b + a*b = -2 for b.
2
Suppose 3*v = -i - i - 6, 3*v - i = 3. Suppose 3*l + 12 = -v*l. Let n(a) = -a**3 - 4*a**2 + 4. Let c be n(l). Solve c*x = -2 - 10 for x.
-3
Let i be (-2)/(-11) + 31/11. Solve 4 = i*o + o for o.
1
Let b = 22 + -20. Solve -b*s = -6*s for s.
0
Suppose 7*y - 2*y - 10 = 0. Suppose 4*z = -4*l + 56, -3 = l - 1. Suppose -4*k = g - z, g - 3*g = 2*k - y. Solve k*x = x for x.
0
Suppose o + 25 = 2*o. Suppose -o = -5*r - 3*m, 2*r + m + 6 = 3*m. Suppose -r*c + 2 = -v, -2*v = -3*c - 4*v + 10. Solve 0 = -c*x - 2 - 4 for x.
-3
Let n be (-7)/((-21)/6) - 2. Solve 0*t - 4*t - 4 = n for t.
-1
Suppose v + 3 - 1 = 0, 4*d + 42 = -v. Let l = -21 + 23. Let q be (15/d)/(l/(-4)). Solve 0 = 2*n + q*n for n.
0
Let i be 4/12*6/2. Suppose 13 = -3*c + 4*x, -3*c = -x + 2 - i. Let s = c + 1. Solve s + 1 = y for y.
3
Suppose -4*b = -6*b. Suppose 0*k - 4*g - 50 = -k, g = 0. Suppose -k = -4*f + 4*a - 2*a, -3*f - 5*a = -18. Solve 4*r + 3 - f = b for r.
2
Suppose 2*p - p + 4 = 0, 3*p + 32 = 5*j. Suppose j*m + 14 = 3*m. Let f be 692/28 + (-4)/m. Solve 0*a - f = 5*a for a.
-5
Let f(p) = p**3 + 13*p**2 + 12*p + 3. Let q be f(-12). Solve q*r - 4*r = 2 for r.
-2
Let m(j) = 3*j - 2. Let c be m(2). Solve k + c = -0 for k.
-4
Suppose 4 = f, n + f - 6 = -0*n. Suppose 2*o - 12 = -2*o. Suppose o*u - n = 2*u. Solve u*l - 5 = l for l.
5
Let t(w) = -w**2 - 2*w. Let s(y) = 2*y**2 + 4*y - 1. Let k(l) = -2*s(l) - 5*t(l). Let c be k(-4). Solve j = -j + c for j.
5
Let r = -5 - -9. Suppose q - 5*m + 3 = 7, -5*m - 16 = -4*q. Suppose -2 = -2*f + 4*f + r*s, q*s + 9 = 5*f. Solve -f - 9 = -2*i for i.
5
Let o be 6*2/(-16)*-4. Solve d = -o*d + 12 for d.
3
Let v(h) = -2*h + 9. Let c be v(9). Let f = c + 15. Solve u = f*u - 20 for u.
4
Suppose 2 = 2*p, -2*z + 0 + 6 = 2*p. Suppose -6 = 4*w - z*w + 2*a, 0 = 5*w + 2*a. Solve 0*x = x - w for x.
2
Suppose -22 = 7*m - 8*m. Let i = -18 + m. Solve 9*n - 10 = i*n for n.
2
Suppose -n + 3*s + 8 = 0, -5*n - 3*s = -7 + 3. Let m(f) = f**3 + 7*f**2 + 4*f - 8. Let b be m(-6). Let l be b + (-1 - (-6)/2). Solve j = -n*j + l for j.
2
Suppose 6*h - 80 = 2*h. Suppose 0 = 3*y - 2*y. Suppose 0 = 4*t + 8, t - 12 = -2*b + 3*t. Solve b*z + y*z = -h for z.
-5
Let j = 9 - 7. Suppose 0*c = 4*c + 5*y + 5, -j*y - 2 = 2*c. Solve -a + 5*a = c for a.
0
Suppose -2*r - 18 = -4*j - 0*r, -2*r - 20 = -5*j. Suppose -3 = -x, b + 6 = -2*b + j*x. Solve b = 2*s + 10 - 2 for s.
-4
Let f = 16 + -65. Suppose -7*h + 3*h + 276 = 0. Let l = h + f. Solve -8 = 4*y - l for y.
3
Let a = 72 - 56. Solve f - 5*f = a for f.
-4
Let g(n) = n - 5. Let t be g(7). Solve -t*r - 3*r = -10 for r.
2
Suppose -2*s + 2*j - 4 + 12 = 0, 16 = -3*s - 4*j. Suppose 8*l - 12*l = -60. Solve -3*y + s*y = l for y.
-5
Let r be (-30)/8*(-1 - 3). Suppose -40*k + 37*k = 0. Solve r = -k*y - 5*y for y.
-3
Suppose -p + 5 + 0 = x, 0 = 2*x - 3*p + 15. Suppose 0 = 4*f - 0*f - 16. Let m be x - -4*2/f. Solve 0 = -y + m*y - 2 for y.
2
Let z(b) = -b**2 + 5*b - 4. Let q(l) = -l + 1. Let v(f) = f + 1. Let i(p) = -q(p) - 2*v(p). Let g be i(-7). Let w be z(g). Solve w = -0*d + 2*d - 10 for d.
5
Suppose -2*v + 2 = -12. Suppose -v*l - 40 = -3*l. Let w = -5 - l. Solve -2*u - 5 - w = 0 for u.
-5
Suppose -7*t = 3*r - 3*t + 2, -3*t - 6 = 0. Let a be (-1)/r + (-9)/(-2). Let m be (-18)/15*40/(-12). Solve 0*v + m = a*v for v.
1
Suppose -3*z + z + 6 = 5*t, 61 = 5*z + t. Solve 5*d = 2 + z for d.
3
Let y(r) be the third derivative of -r**6/120 - r**5/10 - 7*r**2. Let a be y(-6). Solve a = -3*t + 2 - 8 for t.
-2
Let d be (1 + -15)*1/2. Let u = -6 - d. Let l = 1 - u. Solve l = 4*c - c - 9 for c.
3
Let v(n) = n**2 + n + 3. Let h(m) = -4*m**2 + m**3 - 2 + 6 - m + 0*m. Let y be h(4). Let u be v(y). Solve 8 = -x - u*x for x.
-2
Let i(z) = z**2 + z. Let l be i(1). Let j be (2 + -7)*(-6)/(-15). Let b be 16/1 + -2 + j. Solve 0 = -l*d - b + 4 for d.
-4
Suppose 7*z = 20 + 8. Solve -z = -2*b - 2 for b.
1
Let h(x) = 7*x + x**2 - 3*x + 8*x - 2*x + 1. Let y be h(-11). Solve 3*a + a = -y for a.
-3
Suppose 2*b + 0*y = y + 6, b - 3 = -2*y. Solve 0*s + b*s - 9 = 0 for s.
3
Let t(g) = -