ppose 5*s - 15 = 2*s. Let u(p) = p**3 + 23*p**2 - 51*p - 21. Let b be u(-25). Solve -b*i + s = 1 for i.
1
Let l be 3*(-1 - 21/(-9)). Suppose -10 = -4*u - 5*t + 15, -5 = -5*u - t. Solve l*d - 4 = -u for d.
1
Let a(u) = -u**2 - 4*u - 3. Let k be a(-4). Let h = k - -18. Let b be 7*-1*(-56)/98. Solve h = c - b*c for c.
-5
Let y = 1361 + -1355. Solve -6 - y = 6*d for d.
-2
Let p = 479 - 467. Solve q + p = 4*q for q.
4
Let j(v) = 2*v**2 - 2*v + 1. Let m be j(-2). Suppose -7*f - 6*f = -351. Let n = f - m. Solve 0 = -2*z + 4 - n for z.
-5
Let t be 13 + 0/(-1 + 4). Let q = t + -13. Suppose -2*x = -q*x - 8. Solve 4*y + 0 = -x for y.
-1
Suppose 2912*v - 2910*v = 16. Solve v = a + a for a.
4
Suppose 408 = -4*o + z + 15, 0 = -4*o - 4*z - 368. Let n = 101 + o. Solve 8*s - 9*s = n for s.
-4
Suppose 208 = 7*v + v. Let f = -16 + v. Solve 0 = -3*n - 4 + f for n.
2
Let r(g) = -26*g + 3. Let c be r(-1). Let a = c + -37. Let t be 2 - a/(-1 + 5). Solve -t*s = -s for s.
0
Suppose -k = -4 - 0. Let l be 2*(-1)/4*(-3 - 1). Solve 2*b + k = -l for b.
-3
Let q(x) = -x**2 + 12*x + 47. Let c be q(15). Let k = -2 - -2. Solve c = -k*b + b for b.
2
Suppose 9 = -3*b + 33. Solve -b*w - 3 = -9*w for w.
3
Let y(v) = v**2 + 8*v + 8. Let b be y(-8). Let q = b + -2. Solve j - q*j = 0 for j.
0
Suppose 8*i + 4 = 20. Solve i*a - 3*a = -2 for a.
2
Let b(k) be the first derivative of 3*k**4/4 - 5*k**2/2 + 5*k + 13. Let n be b(2). Solve n = 5*u - 1 for u.
4
Suppose -2 - 8 = -5*x. Suppose x*y - 8 = y. Solve j + y = -j for j.
-4
Let b(m) = 12*m + m**2 - 4*m - 2*m**2 + 4. Let h be b(7). Suppose -2*k - j = -h, -5*j + 28 - 6 = -k. Solve 10 = k*q - 5 for q.
5
Let l = 10 + -8. Suppose -t - 17 = -4*w, -3*t + l*t = 5*w - 10. Let u(o) = -o**3 + 6*o**2 + 2*o - 7. Let q be u(6). Solve q + 10 = -w*v for v.
-5
Suppose 2*x + 3*t = 16, 3*t = -3*x - 2*t + 26. Let h(r) = -r - 3. Let a be h(-5). Suppose -a*q + 4 = 2. Solve x*i = 3*i + q for i.
-1
Suppose 40 = 569*b - 561*b. Let q = -7 + 5. Let u = -1 - q. Solve 2*k = -u + b for k.
2
Let a be ((-12)/15)/((-2)/(-15)). Let c be 289/51 - 2/a. Suppose c*d - d - 70 = 0. Solve 4*q = 6 + d for q.
5
Let u be (21/(-6))/(15/(-90)). Solve w + u - 24 = 0 for w.
3
Suppose -4*z + 3*r - 7*r = 0, 2*z - 5*r = 21. Solve z = -2*k - 1 for k.
-2
Suppose 0 = -5*i - 4*m + 18, 3*i = 2*m - 5 + 7. Solve 7 + i = 3*q for q.
3
Let y be (-5 + (-19)/(-4))*-12. Solve -f - y*f + 4 = 0 for f.
1
Let c be 3 - (-4 - (3 + 7)). Let t = c - 16. Suppose -1 - t = -z. Solve -z*y = y for y.
0
Let x(p) = 10*p + 74. Let r be x(-7). Solve r*n - 10 = 9*n for n.
-2
Let r(t) = -t**2 - 30*t - 23. Suppose 9*q = 13*q + 116. Let y be r(q). Solve 2*g = y*g for g.
0
Let p be 4 - (-12)/(-4) - 8. Let c(m) be the second derivative of m**4/12 + m**3 - 7*m**2/2 - 2*m. Let y be c(p). Solve y = -0*r - 3*r + 15 for r.
5
Let z(n) = -n - 4. Let q be z(-4). Suppose 0*x = 4*x - 28. Let j = x - 5. Solve q = j*k - 0*k - 2 for k.
1
Suppose 0 = -0*p - p + 28. Suppose 104 = -2*y - 2*y. Let k = y + p. Solve 0 = 5*d + 18 + k for d.
-4
Let d(q) = q**3 + 20*q**2 + 3*q + 60. Let s be d(-20). Solve -6*u + 2*u = s for u.
0
Suppose -4*v - 39 = -7*v. Solve -v = a - 17 for a.
4
Suppose -s - 88 = -3*t - 16, 0 = t - 2*s - 19. Solve -3*p + t - 28 = 0 for p.
-1
Suppose 5 = r, -3*r - r = -l - 17. Let o(q) = -q**2 + 6. Let b be o(2). Suppose -n + b*j = 0, 0 = -2*n - j + 2*j + l. Solve n*c - 3*c = -1 for c.
1
Let a be 2/(-4)*6 - -6. Let v be (3/2)/(1/12). Let t be (v/21)/(1/7). Solve -t = 3*d + a for d.
-3
Let i be (4/(-12))/((-6)/198). Let f(x) = x**2 - 10*x - 11. Let p be f(i). Solve 3*u = -p*u + 6 for u.
2
Suppose 1 = o, c + c = -5*o + 9. Suppose 3*v + 5*b = -79, -3*v = b + 33 + 38. Let g = v - -23. Solve -c = -w - g*w for w.
2
Let a(b) = b + 2. Let n be a(-4). Let g = 46 + -45. Let z be 1 - g/n*-2. Solve -3*k - 9 = -z*k for k.
-3
Let x = -31 + 61. Suppose -6*v + 2*v = 4*f + 40, -5*f + 3*v - 34 = 0. Let a be f/6 - (-160)/x. Solve -1 = -s - a for s.
-3
Let c = -8 - -16. Let z = -17 + -33. Let l = -46 - z. Solve 3*f - l = c for f.
4
Let x(o) = o**3 - 9*o**2 + 29*o - 69. Let d be x(7). Solve -d*h = -34*h for h.
0
Let q be 12/(-30) - 7/(-5). Let l(k) = -k**2 + 2*k + 1. Let b be l(-1). Let a be b/q*-11 - 2. Solve -a = 6*h - h for h.
-4
Let v(u) = -2*u**2 + 35*u + 43. Let h be v(18). Suppose -10*j + h = 15*j. Let m be 6/2 + (0 - -1). Solve m*q + j = -15 for q.
-4
Let i = -237 + 353. Let r = i + -106. Solve 7 = 3*k + r for k.
-1
Let k = 16 - 19. Let q(v) = 2*v + 9. Let g be q(k). Solve 0 = g*b + 8 + 7 for b.
-5
Let g(i) = i**3 - 4*i**2 - 13*i + 10. Let z be g(6). Suppose -16 = z*f, -6*r - 5*f = -2*r - 8. Solve r - 3 = 2*w for w.
2
Let f = 23 + -21. Suppose -5*y + 0*y + 104 = l, 12 = y - f*l. Solve 0 = -5*i - 0 + y for i.
4
Let l be (12/(-5))/(50/125). Let x(s) = 6*s + 42. Let z be x(l). Solve 0 = -2*y - 0*y + z for y.
3
Let a be (16 - 23) + (15 - 2). Solve 5*c - 4 = a*c for c.
-4
Suppose 5*v = -10, 5*w + 3*v = 2*v + 18. Suppose m = 5*i + 9, 5*m - w*m + 4*i = 0. Solve -7 = m*l + 5 for l.
-3
Suppose -3*h + 8 = -1. Suppose 0 = -4*q + n + h + 1, 5*n = 3*q - 20. Solve 2*v + q*v - 6 = 0 for v.
3
Suppose -30*a + 215 = -115. Solve a*k - 45 = -1 for k.
4
Suppose 5*r = -2*a - 15, 3*a - r + 15 = 7*a. Solve 0 = a*s - s for s.
0
Let x = 46 - 26. Suppose -i - 30 = -3*o, -3*i = -2*o + 5 + 22. Let j be 69/9 - 6/o. Solve 0 = -j*b + 2*b - x for b.
-4
Let u(o) = o**3 + 4*o**2 - 5*o - 2. Let s be u(-5). Let v(m) = -m**3 - m**2 + 2. Let t be v(s). Suppose -2*z = -t*z + 16. Solve h = -z*h for h.
0
Suppose 2*p - p - 2 = 0. Let h = 219 - 219. Solve -2*b - 2 - p = h for b.
-2
Suppose -34*b + 90 = -46. Suppose l = 5*h - 82, 0*h + 3*l - 77 = -4*h. Solve -1 = -b*v - h for v.
-4
Let f = -24 - -34. Suppose -2*r = 2*z - f, -r - 25 = -5*r - 5*z. Solve -2*b = -r*b for b.
0
Let u be (-4)/(-16) - (-30)/8. Suppose -u = 2*k - 0. Let m be (-3 - -2)*2 - k. Solve -5*z - 15 = -m*z for z.
-3
Let m = 127 - 127. Solve a - 4 = -m for a.
4
Suppose 2*b + 4 = -4*r, -4*b - 7 + 44 = -r. Solve -5*a - 3 = -b for a.
1
Suppose 5*p - 30*p + 125 = 0. Suppose 0 = -4*j + 2*j. Solve r + 0*r - p = j for r.
5
Let c(i) = i**2 + 31*i + 213. Let m be c(-21). Solve 73*d = 70*d - m for d.
-1
Let k(r) = -r**2 - 9*r - 17. Let v be ((-12)/(-10))/(42/(-35) - -1). Let l be k(v). Let z = -3 - -5. Solve z*a - 5 = l for a.
3
Let i = -174 + 81. Let x = -84 - i. Solve x + 6 = 3*u for u.
5
Suppose 31*g = 29*g + 4. Solve 0*p = p - g*p for p.
0
Suppose -i - 1 = 16. Let u = i + 23. Suppose 0 = 2*j - u*j. Solve -3*t - 7 + 1 = j for t.
-2
Let h = 32 + -71. Let r be (12/(-10))/(h/130). Solve -w + r = -5*w for w.
-1
Suppose 2*x - 30 = 2*y, y + 5*x = -3*y - 24. Let u be (-2)/y - 294/(-77). Let k be (5/15)/(1/27). Solve g + k = u*g for g.
3
Let h(j) = -j**2 - 11*j - 8. Suppose 4*w = 16 - 52. Let i be h(w). Solve -o - o = i for o.
-5
Suppose 21*b = 119 + 28. Solve -b - 2 = -3*t for t.
3
Suppose 4*i + 4*m - 48 = -152, -134 = 5*i + 3*m. Let l = i - -31. Solve l*u = 3 + 6 for u.
3
Let d(q) = q**2 + 3*q - 3. Let j be d(-4). Suppose 3*k - j = 20. Solve 20 = -k*u + 2*u for u.
-4
Suppose -p - 1491 = -1499. Solve -4*l - 8 = -p*l for l.
2
Let x(j) = -j**3 - 3*j**2 - 2*j + 6. Let u = -16 + 13. Let c be x(u). Let m be (0/2)/(c/(-6)). Solve m = -0*z + 5*z - 10 for z.
2
Let f be (0/(-2) + -2)/(-1). Suppose 2*l = 5*q + 16, 3*l = q + 6*l - 7. Let o be (0/1)/(2/(-2) + q). Solve o = p - f*p for p.
0
Let t be 1*(-4 - (35/(-7) - 1)). Solve -t - 5 = 7*u for u.
-1
Suppose 5*m - 4*i = 20, 12*m - 5*i = 11*m + 25. Solve 7*w - 4*w - 9 = m for w.
3
Suppose -12*l + 0 = -0. Solve -27*h + 22*h = l for h.
0
Let v(q) = -q**2 + 27*q - 72. Let a be v(3). Suppose 4*k - 8 = 8. Solve -k*h - 2 - 18 = a for h.
-5
Suppose -3*y - 1 + 10 = 0. Suppose -5*n - 11 = 2*k - k, -y*k - 33 = -4*n. Let u = 13 + k. Solve u = -0*m + m for m.
2
Let i = 345 + -311. Solve -9 = -5*q - i for q.
-5
Let f = 3 + -2. Suppose -6 + 4 = 2*n. Let o = f + n. Solve u - 5*u - 4 = o for u.
-1
Let n = -114 + 124. Let l = 9 - 3. Solve -r + l*r = n for r.
2
Let d = 180 - 175. Solve 3 = -d*r + 8 for r.
1
Let o(z) = z - 1. Suppose 1 = 4*b - 7. Suppose b*u - 4*w + 28 = 6*u, -4 = -u - 2*w. Let t be o(u). Solve -4*q = -q - t for q.
3
Let h = 67 - 28. Let o = h + -15. Suppose 2*i + 2*a = o, 6*i - 3*a - 13 = 2