d - 3*d - 2*b, 0 = -d + b - 3 for d.
-3
Let v(i) = -i**2 + 15*i + 3. Let z be v(15). Suppose 21 - 3 = z*x. Suppose 0 = -3*m + 15 - x. Solve 0 = -4*p + b + 3, -3*p + b = m*b - 5 for p.
1
Let k = -4 - 3. Let x = -7 - k. Let o be x/(-4) + -1 - -6. Solve -3*c - 9 = 0, -2*v - 2*v - o*c - 27 = 0 for v.
-3
Suppose -108 = 15*u - 303. Solve -k = -0*k - 3, -4*c + u = -k for c.
4
Suppose -5*v = -19*v. Solve v*y + 4*y - 7 = 5*h, -h = y + 5 for h.
-3
Let d(u) = 4*u - 12. Let a be d(8). Suppose a = 5*n - 3*q - q, 0 = -3*n + 4*q + 12. Solve 3*m = -12, m = 5*i - n*m - 35 for i.
3
Let q(b) = -2*b + 43. Suppose -6*u - 37 + 139 = 0. Let m be q(u). Solve -m = -3*h, 0*h - h - 5 = -4*g for g.
2
Suppose l + 3 + 7 = -2*n, 10 = 4*l - 2*n. Solve 0 = -l*v - 4*v - z, v - 9 = 2*z for v.
1
Let r(z) = z**2 - 26*z + 2. Let n be ((-208)/(-20))/(4/10). Let f be r(n). Solve -3*q - y = -4 - 15, 3*q = -f*y + 23 for q.
5
Let l = 53 - 52. Solve -f + 22 = -4*v + l, f - 5*v = 25 for f.
5
Suppose u - 4*u - 5*c = 19, 0 = -3*u + 3*c - 3. Let t be (u/(-1))/(3/(-2)). Let z be (0/(t/1))/1. Solve z = -3*f + 5*q - 3*q, 9 = -3*f - q for f.
-2
Let s(g) = g**2. Let u be s(2). Suppose 5 = 2*j + 1. Solve u*a + 6 + 0 = -2*v, -j*a + 5*v = -27 for a.
1
Suppose 4*b = 2*b + 74. Suppose -2*m = 8 + 2, b = 4*j + 3*m. Let a = 17 - j. Solve 0*o - 3*h = -o + 1, 5*o - 5 = -a*h for o.
1
Suppose 8*h - 5*c - 27 = 0, -5*h - 2*c = -10*h + 18. Solve h*s - 2*x - x + 10 = 0, -4*s + 6 = 5*x for s.
-1
Suppose m = 4*m - 2*b, -2*b = b. Solve m = -3*f, f + 0*f = -2*x + 2 for x.
1
Suppose -3*n + 2*n = -3. Let s be 0/(-2 + 9/n). Suppose s = g + g. Solve g = 5*k + 5*j - 35, 4*k + 7*j = 2*j + 33 for k.
2
Let o = -83 + 101. Solve -5*q + 15 = -4*j, 2*j + 5*q + o = 3 for j.
-5
Let x(j) = -2*j**3 + 5*j**2 - 2*j - 1. Let c be x(2). Let s be 1*(c + -3 + 9). Solve -s*d = 3*m - 27, 4*d = 5*d - 3 for m.
4
Let c(y) = -y**3 - 954 + 0*y**2 + 963 + 9*y + 8*y**2. Let t be c(9). Solve 0*a + 9 = -3*n - 3*a, -2*n + t = -a for n.
2
Let y be -1 + 7 + 3*-1 - -6. Suppose 4*x = -3*c + 16, 2*c + y + 7 = 4*x. Solve -4*w + 0*w = 8, -x*r = 4*w - 8 for r.
4
Let a be ((-4)/7)/(1/(-7)). Let d(b) = b - 3 + 17 + 1. Let t be d(-8). Solve 11 = -f - 5*i, -a*f - i - t = f for f.
-1
Let z be 3/((-97)/50 - -2). Suppose -5*o = -0*o - z. Suppose -131*f = -130*f - 2. Solve -5*s = 4*b - 16 - o, -b = -s - f for b.
4
Let b(p) = p**3 - 7*p**2 + p - 3. Let y = -13 - -24. Let l be (14/4)/(y/22). Let t be b(l). Solve -g - 5*d + 2 = -3*g, t*d = 0 for g.
-1
Let u(w) = -2*w + 22. Let h be u(9). Solve -h*q - 3*x - 12 = 0, 2*x - 4 = q + 3*x for q.
0
Suppose -3*m + 5*b = -22, 5*m - 3*m - b = 10. Suppose -2*v - l = -7 - 2, -2*v - 16 = -m*l. Solve 5*w - 6*w = -n, v*n = 5*w - 12 for w.
4
Let c = 24 - 21. Solve -3*r + 20 = 4*h, -c*r + 2*h - 4 = 6 for r.
0
Let k(s) = 2*s**2 - 2*s + 5. Let g be k(0). Suppose 2*r + g*r = 28. Solve 0 = -3*v + 2*v, 0 = r*p + 2*v + 20 for p.
-5
Suppose 5*l = -2*p - 1 + 16, 0 = 5*p. Suppose 0 = -3*f + 4*k - 9*k + 18, 8 = f + k. Suppose 16*q - 15 = f*q. Solve v - q*r + 20 = l*v, -v = -r for v.
4
Let g be ((-5)/5 + -2)/(-3). Suppose o = -3*l + 49, o + g = -l + 44. Solve 3*z + 5*i = o, 4*i - 5 = 3*z - 0*i for z.
5
Let y = 17 + -24. Let z = -12 - y. Let d be (z/(-20))/(1/8). Solve 0*x = -x - 4*p + 8, -2*p = x - d for x.
-4
Suppose 0 = x - n + 2, -n = x - 1 - 5. Suppose 2*u + 1 - 7 = x*o, u + 13 = -3*o. Let f be o/12 - (-32)/6. Solve 0*p - 9 = -p + 5*w, 0 = f*p + 4*w + 13 for p.
-1
Suppose -j + 0 = -3*b - 15, 3*j = -3*b - 3. Suppose 12 = 5*u - j. Solve u*i + 2 = -5*m - 2, 3*m = i - 8 for m.
-2
Suppose -2*q = q + 3. Let h be -1 - q/1*6. Suppose -h*f + 23 - 3 = 0. Solve -9 = 2*o - 3, -f*o - 20 = -2*a for a.
4
Suppose -2*d + 0*d = -2. Let f = d - -2. Let s be (-4)/6 + 38/3. Solve f - 40 = -3*x + 5*n, -2*x = 4*n + s for x.
4
Let q(a) = -a**2 - 38*a + 43. Let n be q(-39). Solve n*o = d + 24, 5*o - 3*d - 33 = -d for o.
5
Let n = -366 + 368. Solve -2*d = -3*d - n*f + 6, 2*d + 3*f = 9 for d.
0
Let m(y) = 6 - 4*y - 5*y + 3*y + 5*y. Let d be m(3). Solve d*u = 5*f + 28, f + 4*u = 2*f + 9 for f.
-5
Suppose 1 = -a + 3. Let v = 59 + -97. Let y = 43 + v. Solve 5*i + y*b + a = -3, 1 = 3*i + 5*b for i.
-3
Let b(w) = 4*w + 10. Let k be b(-2). Solve -3*r - 4 = -2*h - r, -11 = -h - k*r for h.
5
Let j = 734 + -731. Solve 0 = 2*s + j*y - 2 - 2, -4 = 2*y for s.
5
Let x(o) = o**3 - 8*o**2 + 14*o - 8. Let k be x(6). Solve -5*p = -r - k - 2, 0 = 5*p - 10 for r.
4
Let z(l) = -32*l + 309. Let r be z(9). Solve -2*n = -6, 0 = 3*g - 6*n + 3*n + r for g.
-4
Let p = -792 + 804. Solve 6 = -2*q + x - 5, p = 4*x for q.
-4
Let n(z) = 2*z - 4. Let t be n(-3). Let s = t + 13. Solve -3*p - s = 0, -2*c + 3*p + 2 = 1 for c.
-1
Suppose -5*o + 34 + 27 = -3*z, 3*o - 5*z = 43. Solve 0*b - 4*b + 9 = -x, 0 = 5*x - 3*b + o for x.
-1
Let n = -858 - -877. Solve 0*m = -5*c - 2*m + n, 3*m - 3 = c for c.
3
Suppose 54 = -4*v + 70. Solve v*c = h + h, c - 14 = 4*h for h.
-4
Let i be 14/(-91) - (-2)/52*134. Solve -v + 4*h + 23 = 0, 35 = i*v - 5*h - 5 for v.
3
Suppose -21 = -3*l + 3*h, -3*h = -4*l + 3 + 20. Solve -2*m = l*u, -5*u + 2*m = -3*u for u.
0
Let i = 904 - 897. Let s = 13 + -8. Suppose -3*r + 21 = v, 0*r - 3*r - 2*v + 21 = 0. Solve 0 = 5*g - s*k - 2 + r, 0 = 4*g - 3*k + i for g.
-4
Suppose 0 = -46*y + 52*y - 24. Solve 7 = v - 2*c, 0 = -4*v + y*c - 5*c - 8 for v.
-1
Let k(y) = -y**3 + 4*y**2 + 48*y - 7. Let z be k(9). Solve 3*g - 4*h + z = -2*g, 0 = -3*g + 5*h - 25 for g.
0
Let s be (2/(-4))/((-3)/(-186)). Let g = s - -59. Suppose -2*l + 12 = m + 3, 4*l = -4*m + g. Solve -5*r - 25 - 11 = -4*p, 0 = -p - m*r - 16 for p.
4
Suppose -4*g - 37 = -5*k, g - 2*g + 2 = k. Let p = -4 + -10. Let d(h) = h**3 + 16*h**2 + 29*h + 18. Let s be d(p). Solve s*w + 4 = 4*a, a + 3*w = 2*w - k for a.
-2
Let y(l) = l**3 - 5*l**2 - 3*l + 17. Let g be y(5). Solve 7*d - 5*j + 25 = 3*d, g*j - 10 = 4*d for d.
0
Let k(n) = n**3 + 2*n**2 - 9*n - 20. Let t be k(4). Solve -4*q + 4*r + 12 - t = 0, 4*q = -2*r - 16 for q.
-5
Suppose -19*f + 21*f = 8, -2*r - f + 14 = 0. Solve -r*d = -5*a + 30, 15*a - 19*a + 22 = -3*d for a.
4
Let j(n) be the third derivative of n**5/60 + 7*n**4/24 + 5*n**3/2 - 16*n**2. Let c be j(-7). Solve -6 = 3*f - c, -5*f + 27 = 3*t for t.
4
Let l be 472/(-14) - (-2)/(-7). Let t(w) = 4*w - 36. Let y be t(7). Let m be l/(-9) - y/36. Solve m*p = -z - 6, -p + 8 = 5*z - 0 for z.
2
Suppose -2*g - g = 3*k + 3, 16 = 5*k - 2*g. Suppose 0 = -3*c - 5*h + k*h + 108, 28 = c + 3*h. Solve -2*x - 5*p + 33 = -2, 4*x + 4*p - c = 0 for x.
5
Suppose 12 = 2*d + 4. Suppose 1 = 9*p - 26. Solve 4*a = -3*o + 7, -p*o + 9 = 2*a + d for o.
1
Let v(t) = t**2 - 9*t + 3. Let s be v(11). Suppose -4*a = -b + 2*b - s, 0 = 4*b - 5*a + 5. Solve -4*j + b*g - 29 = -2*j, 0 = 2*j - g + 9 for j.
-2
Let u be (-814)/132 + (-1)/(-6). Let y be (4/u)/((-5)/30). Solve -4*b - k - k - y = 0, 2 = k for b.
-2
Let b(q) = 2*q**2 - q - 3. Let z be b(3). Let t = -12 + z. Solve -2*x = 4, 3*r + t*x = -2*x - 7 for r.
-1
Let b be -7*8/112*-8. Solve -4 = -b*l + 3*o, 0 = -5*l + 4*o - 6*o + 28 for l.
4
Let s(c) = 2*c**3 - 2 - 9 + 14 - 5*c**2 - c**3. Let a be s(5). Solve t + 2*o = -1, a*o = -t - 0*t - 3 for t.
3
Let b = -271 - -274. Solve -b*y + 2*m + 14 = -3, 0 = y - 4*m - 19 for y.
3
Let j(a) = -a**3 + 12*a**2 + 21*a - 104. Let f be j(13). Solve -5*g = -15, 0 = -n - f*g - g + 3 for n.
0
Let f be (-5)/2*(-4 + 2 - 0). Suppose 0 = -5*j - 0*j + 20. Solve z + j = -b, -3*b + f*b + 5 = -5*z for z.
1
Suppose 5*a = -31 + 76. Suppose 0 = 3*q - 4344 + 4338. Solve 0 = 3*i + 2*p + 4 + q, -a = 3*p for i.
0
Suppose 0 = 4*z - 4*m, 4*m - 9 = -2*z + 3*m. Solve -2*j = 5*s + 30, -3*j + 2*s = -s + z for j.
-5
Let r be (-10)/4*(2 - 0). Suppose 5*v = 2*j + 33, 2*v - 5*v = 4*j - 25. Let i be (v + r)/((-8)/(-44)). Solve -t - 3*o = i, 5*t = 5*o + 28 + 17 for t.
4
Let b be (-1 + 1)*(-12 - -11). Solve -5*a - 4*i + 13 = b, -i - 1 - 2 = 0 for a.
5
Let i = -1373 + 1377. Solve i*m - 6 = -n, n = 3*m - 5*m + 2 for n.
-2
Let j(r) = -29*r - 25. Let s be j(-1). Solve 5*d = -o + d - 10, -s*o - 14 = 3*d for o.
-2
Let v = 7 - 5. Suppose -6*q - 5*j + 2 = -v*q, 0 = 2*q + 4*j + 2. Solve q*o + 2*o = 15, -g - 3*o + 12 = 0 for g.
3
Let i(n) = 0*n**3 - 2*n**3 + 2*n**3 + 1 - 3*n**2 - n**3 - 4*n. Let j be i(-3). Let l = j - -3