ve 6 = -0*u + c*u for u.
2
Suppose 0 = -f, 2*k = -f - 3*f + 10. Suppose 3*b = -k*z + 59, -3*z + 27 = -b - 0. Suppose 0*o = 2*o - z. Solve o*v = v + 20 for v.
5
Suppose 4*p = 3*p + 99. Suppose -2*r - 51 = 6*s - 11*s, 5*r - 3*s + p = 0. Let q be 2 - r - (-1 - -3). Solve 6 - q = -4*j for j.
3
Let z = 277 + -268. Solve -z*b = -13*b for b.
0
Suppose 3*a - 5*q - 20 = -2*a, a + 5*q = -8. Suppose -3*g = -a*g + 2*f, 3*g - 2*f = 16. Solve -6 - g = 5*i for i.
-2
Let x be 1/20 - 173/3460. Solve x = 6*h + 13*h + 95 for h.
-5
Let k(j) = -9*j**3 - 3*j**2 - j + 6. Let w(u) = -5*u**3 - 2*u**2 - u + 3. Let a(t) = -6*k(t) + 11*w(t). Let q be a(-3). Solve -q*l + l = 8 for l.
-4
Let z(j) = j**3 - 8*j**2 + 7*j - 12. Let b be z(8). Suppose 4*r + 0*r + b = 0. Let g be (-7 - r)/(4/3). Solve -g*i + 7 = 1 for i.
2
Let f(a) = 4*a**3 - 3*a**2 + 4*a - 8. Let i be f(2). Solve 10 = -i*u + 15*u for u.
-2
Suppose 4*p - 283 + 259 = 0. Solve -h = h - p for h.
3
Suppose 5*b + 3*x = 4*b, 0 = 3*b - 5*x. Let d be (0 + 0/(-2))/(b + 1). Solve 5*s = -15 - d for s.
-3
Let o(t) = -2*t - 2. Suppose -r + 4*n - 11 + 4 = 0, 6 = -3*n. Let k = 11 + r. Let u be o(k). Solve -v - u = v for v.
-3
Let z = 1419 - 1375. Solve -5*c - 24 = -z for c.
4
Let y(u) = u**2 + 13*u - 8. Let z be y(-12). Let f = z + 20. Let j = -54 - -69. Solve 5*c + j = -f*c for c.
-3
Let n = -1364 + 1375. Solve -n*g + 9*g = 0 for g.
0
Let j(k) = -2*k**2 + 14*k - 22. Let g be j(4). Solve -10*a = -g*a - 32 for a.
4
Let l = 11 + -9. Let h(a) = a - 3. Let w be h(3). Suppose 2*c + 8 = 2*d - w*c, 16 = -4*c. Solve d = l*r + r + 6 for r.
-2
Let a be (-6)/(-105)*5 + 47/7. Let h be (-1)/(2*3/(-78)). Solve 4*n + h = -a for n.
-5
Let j(x) = -x**2 - 4*x - 4. Let u(l) = -l. Let n be u(5). Let y be j(n). Let s be y - -8 - (-4 - 0). Solve s*r - 4 = r for r.
2
Suppose -14 = -i + 7. Suppose 0 = -3*a + 5*s - 3, 0*s - 2*s = 4*a - 22. Suppose a*t = -11 + 27. Solve 0 = 5*r + i + t for r.
-5
Let n be 2 - 10/6 - (-1352)/39. Solve -9*x - n = 10 for x.
-5
Let l = -5 - -9. Suppose z = w, z + 3 = -w + 3*w. Solve z*u = l + 2 for u.
2
Let z be (-3)/24*-4*6. Suppose z*t = 5 + 1. Suppose -t*l + 12 = 4*r, 2*r + 0 - 2 = l. Solve 0 = l*s + 2*s for s.
0
Let d = 257 - 106. Let o = 156 - d. Solve 1 = 3*x - o for x.
2
Suppose -5 = 4*n - 33. Let h(v) = -v**3 + 7*v**2 + 5. Let r be h(n). Let l = 14 - r. Solve 4 - l = k for k.
-5
Let p be 66/(-44)*(26/(-6) + 3). Solve -4*f + p - 2 = 0 for f.
0
Suppose 0 = 4*l + 5*k + 346, 0*k + 4*k + 428 = -5*l. Let t = l + 85. Solve 3*b = t + 14 for b.
5
Let a(l) = -l + 4. Let o be a(15). Let q(c) = -7*c**2 - 13*c. Let j(z) = 13*z**2 + 25*z. Let s(h) = o*q(h) - 6*j(h). Let n be s(-6). Solve -m - n = m for m.
-3
Let m = 898 - 897. Solve -2*o + o = -m for o.
1
Let q(x) = -2*x + 1 + 4*x + 6*x - 7*x. Let b be q(3). Suppose -b*n = i - 10, -i = 5*n + 5 - 17. Solve s + 9 = -i*s for s.
-3
Let q(v) = v - 10. Let m be q(-5). Let w be (m/(-6) - 3) + (-9)/(-2). Solve t + w = 5*t for t.
1
Suppose 0 = 3*s - s - 4. Let p be ((-1)/2)/(s/(-8)). Suppose 5 + 1 = p*w. Solve i - w = -0*i for i.
3
Suppose 19*j = 9*j + 170. Solve j*a - 22*a = 0 for a.
0
Let t = -29 - -33. Let v be -5 + t + 0 + 127. Let h be (-12)/(-30) - v/(-10). Solve -4*k - 3 = h for k.
-4
Suppose 3*d = -4*n + 8, 3*d + 20 - 8 = 0. Solve -3*i + 10 = -n for i.
5
Suppose -3*o - 5*s + 6 = -24, 5*o - 34 = -3*s. Suppose 2*u + 0*u = -2*r + 8, -4*u = o*r - 21. Solve -r*c + 10*c = 5 for c.
1
Suppose 4*r = -9 + 21. Solve -h + 16 = r*h for h.
4
Let u(w) = -4*w - 24. Let g be u(-10). Let a be (-12)/g + 22/8. Solve a = -o + 2*o for o.
2
Let d(v) = v**3 - 6*v**2 - 19*v + 121. Let y be d(6). Let f be (-1)/(-2)*2 - -3. Solve y*r - f*r = -9 for r.
-3
Let j(q) = q**2 + 8*q + 6. Let g be j(-6). Let f = g - -9. Let z be 75 + -87 - 1*-17. Solve -z*t = 28 - f for t.
-5
Let c be -6 + 17/((-204)/(-264)). Solve 12*l = c*l - 20 for l.
5
Let s(m) = 12*m + 1. Let u be s(1). Suppose -3 - 1 = -5*z - 2*o, u = 5*z - o. Suppose 2*w = 6*w - 8. Solve -z = w*a - 0 for a.
-1
Suppose -5*f = -t + 4*t - 19, -3*f - 6 = -4*t. Let i = -20 - -12. Let q(y) = -y**2 - 9*y - 4. Let c be q(i). Solve f = 3*s - c for s.
2
Suppose 3*l + 20 = -z + 56, 4*l - 5*z - 48 = 0. Solve 11*p = 8*p - l for p.
-4
Let o(i) = -2*i - 8. Let x(f) = f - 1. Let h(n) = -o(n) - 3*x(n). Let t be h(8). Solve 3*w = 12 - t for w.
3
Suppose -5*p = -f + 3, 0 = -p - 2*p - 3*f + 9. Let n be (p - (3 + 0)) + 8. Suppose -3*s + n*s = 6. Solve -3*j = -s + 6 for j.
-1
Let o(i) = -i + 9. Let v be o(7). Let k be 104/26 - v*1. Solve -s = -k - 0 for s.
2
Let a(k) = 20*k**3 - 32*k**2 + k - 36. Let g(h) = 7*h**3 - 11*h**2 - 12. Let q(b) = -6*a(b) + 17*g(b). Let v be q(4). Solve -2*u + u + v = 0 for u.
4
Let k = -311 + 313. Solve -k*n + 2 = 4 for n.
-1
Suppose -3*u = -4*o - 33 - 10, 4*o = 2*u - 34. Solve -u*s = 15*s - 120 for s.
5
Suppose 5*z = u + 14 - 1, -2*u = 5*z - 34. Solve u = r + 9 for r.
-2
Let a(f) = -f + 9. Let u be a(7). Suppose 3*x + 2*x - m + 4 = 0, 0 = 3*x + u*m - 8. Let p(s) = -s**2 - 8*s - 2. Let o be p(-7). Solve x = o*i + 1 + 14 for i.
-3
Suppose 26 = -3*m + 38. Let o be (1/2)/(1/(-8)). Let s be (2/m)/(o/(-264)). Solve s = -5*x + 8 for x.
-5
Let q(h) be the first derivative of 3*h**2/2 + 4*h - 2. Let b be q(-8). Let v be b/(-70) + (-61)/(-7). Solve m - 4*m - v = 0 for m.
-3
Let h(d) = d + 1. Let q be h(5). Let r be -1*(-2 - 16) - -2. Let i = -36 - -38. Solve i*w - q*w = -r for w.
5
Suppose 3*q + 16 = 7*q. Suppose 2*g + 3 = 5*y, 0 = -q*g - 3*y + 2*y + 5. Suppose -5 = -4*a + 3*x, -3*a + g = -5*x - 0. Solve -a*f - 2 = 2 for f.
-2
Let w be (0 + 1 + 1)/(-1). Let z be (-8)/(-6)*(w + 8). Let d be 212/18 + 6/27. Solve z = -4*y - d for y.
-5
Let c = 32 - 32. Solve c = -33*g + 26*g + 35 for g.
5
Let d = 7 - 7. Let a = 4 + 4. Suppose a = 2*x, -j = 2*j - 3*x + 3. Solve d = -j*s + s for s.
0
Suppose -m - 3*r + r - 3 = 0, -6 = 2*r. Suppose -5*v + 2*v = -c - m, -5*c = 15. Solve v = -2*u - 1 + 3 for u.
1
Let a = -5 + 11. Let z(p) be the first derivative of -p**3/3 + 4*p**2 - 4*p + 14. Let h be z(a). Solve 5*i + h = i for i.
-2
Let x = -513 - -529. Solve 2*n - 14 = -x for n.
-1
Suppose -6*y - 3*y = -45. Suppose -8*q + 3*q + 10 = 0. Suppose -y*s + q = -3. Solve -a + 3 = s for a.
2
Suppose -5*t - 3 = 3*x, -3*t + 5*x + 5 = -4*t. Let q be 2/(-9) + (-160)/(-72). Suppose t = -q*r + 2 + 2. Solve -5*h - 27 = -r for h.
-5
Let t = 214 - 198. Solve 16*m = 20*m - t for m.
4
Suppose -9*o + 5*o = 0. Let a be ((-6)/3 + 3)*o. Suppose a = p - 6 - 6. Solve j = 4*j + p for j.
-4
Let i = 28 + -32. Let c be 0/((1*i)/(4 - 2)). Solve -2*y + c + 8 = 0 for y.
4
Suppose -4*a = -5*d - 80 + 28, -2*d - 39 = -3*a. Suppose a - 5 = 2*t. Solve 5*k = k - t for k.
-1
Suppose -g - 28*x = -33*x - 10, 5*g - 3*x = 28. Solve -3*t = -g*t + 8 for t.
4
Let a be (-6)/(-8) - 42/(-8). Let q be ((-16)/(-4))/((-3)/a). Let n = q + 11. Solve -u + 6 = -n*u for u.
-3
Suppose 0 = 2*j - 7 - 3. Suppose 0 = -2*w + j*u - 4, -4*w + 6*w = -3*u + 28. Let n = 17 - w. Solve -x - n = 2*x for x.
-3
Suppose 0*o + 3 = 3*o. Let p be 5*(-2)/(o + -3). Suppose -25 = -5*l + 2*d, -3*l = -6*l + p*d - 4. Solve 0 = l*f - 2*f for f.
0
Let o(y) = y**2 - 2*y + 2. Let n be o(4). Let x(l) = 2*l**2 - l + 2. Let k be x(2). Let s be (-7)/((-14)/k) - 0. Solve -n = -2*c - s for c.
3
Let z(n) = n**3 - 7*n**2 - 8*n + 3. Let j be z(8). Solve 6*u - j*u + 9 = 0 for u.
-3
Let i = 2032 + -1887. Solve -i*j = -147*j + 8 for j.
4
Suppose z - 1 = 3. Suppose -3*v - 8 = -n - 84, -4*n + 56 = 3*v. Suppose -4 = z*u - v. Solve -o + 0 = -u for o.
5
Let t = -71 + 188. Suppose -5*p - 42 = -t. Suppose 0 = -a + 5*h + 5, -5*a - p + 120 = -5*h. Solve -3*q + a = 2*q for q.
5
Suppose 22 = 4*a - 2*p, 3*a - 2*p - 15 = 2. Let v be 0*((-5 - -10) + -6). Solve -l = -v*l + a for l.
-5
Let l(h) = -h**2 - 17*h + 90. Let m be l(4). Solve 13 = m*g + 7 for g.
1
Let a(k) = 7*k - 4*k - 3*k - 4*k - 20. Let j be a(-14). Suppose -j = -5*m + 64. Solve 9*u - m = 4*u for u.
4
Let v(w) = 2*w - 6. Let t be v(3). Suppose 2*h = -s + 6*h - 11, -4*s + 4*h + 4 = t. Suppose s*n = 5, 5*n - 31 = -5*k - 1. Solve -b - 1 = -k for b.
4
Let l = 274 + -274. Suppose 5 = -2*z - 1. Let f = -1 - z. Solve l*s - 8 = -f*s for s.
4
Let a(u) = u**3 - 3*u**2 - 4*u - 2. Let z(p) = -p**2 - p. Let s(d) = a(d) + 5*z(d). Let n be s