 - 5*s - a = 0, s + 12 = -2*s. Suppose 5*y - 3*x + 4 = -8, 4*y - 12 = -u*x. Solve y = 4*m - 5*m for m.
0
Let g(r) = 2*r**2 - 3*r + 1. Let c be g(2). Suppose -4*d = 3*i - 6, -11 = -d - 30*i + 34*i. Solve c*u + d = -9 for u.
-4
Let k = -6 - -6. Suppose 0 = -k*d + 3*d. Suppose 4*l + 15*o = 14*o + 8, -5*o = 5*l - 10. Solve v - l - 2 = d for v.
4
Let r(d) = d + 2. Let b be r(-5). Let p be 2 + 3 - (5 + b). Let y be (2 - 9/p)*0. Solve y + 16 = -4*s for s.
-4
Let d = -207 - -212. Solve -5*h = -d + 15 for h.
-2
Suppose 0 = -4*n - 5 - 7. Let q be 8/3*n/(-2). Solve q*c = 5*c - 1 for c.
1
Suppose -3*l + 113 + 127 = 0. Let m be (3/(-12))/((-4)/l). Suppose 2*z - 2 = -4*w - 0*z, 0 = 3*w - m*z - 21. Solve -w*a = 2*a - 20 for a.
5
Let h(p) = p**3 - 6*p**2 - 2*p + 18. Let k be h(6). Solve -5*t + k*t = -1 for t.
-1
Let g be (26/6)/(29/87). Suppose -g*x = -22*x + 18. Solve 4 = -x*r + 3*r for r.
4
Let u = 418 - 418. Solve 21*z - 26*z + 10 = u for z.
2
Suppose 2*b + 3*b + 3 = 3*p, -5*b = 5*p - 45. Let q be 3/2*(-2 + -2). Let j = p + q. Solve o + j + 1 = 0 for o.
-1
Let j = 99 + -119. Let z = 22 + j. Solve -x + z = 1 for x.
1
Suppose -11 = -5*v - 11. Suppose v*s + 3*s = 18. Solve -3*k + s = -5*k for k.
-3
Let t(m) = 5*m + 6. Let k(r) = r - 1. Let z(a) = -2*k(a) - t(a). Let s be z(-1). Solve 4*l - s*l = -1 for l.
-1
Let k be (-8)/6*27/(-18). Suppose 0 = n + n - k. Solve -g = n + 2 for g.
-3
Let j(u) = -u**2 + 8*u - 7. Let n be (0 - -1 - 0)/(2/14). Let s be j(n). Let c(h) = -h. Let b be c(-4). Solve -b + s = 2*d for d.
-2
Let o(c) = c**2 + 40*c - 263. Let s be o(6). Solve -6*l + s = 1 for l.
2
Let w(o) = 3*o - 45. Let z be w(15). Solve c + 0 + 2 = z for c.
-2
Let h(v) = -v - 3. Let o be h(-8). Solve 2*t - o = 7*t for t.
-1
Suppose -r = 4*j + 6 + 11, -16 = -2*r + 2*j. Suppose 4*f + 10 = 5*w, 777*f + 4*w = 772*f + 49. Solve -f*z - 12 = r for z.
-3
Let u = 30 - 17. Let q = u + -11. Solve q*d + 0*d + 4 = 0 for d.
-2
Let v be (8/(-20) - 0)*-25. Suppose 0 = -v*r + r + 27. Solve -7 + 19 = r*i for i.
4
Let u(m) be the first derivative of m**3/3 + m**2 - m + 35. Let l = -1 - -3. Let x be u(l). Solve 0 = -5*t - 8 - x for t.
-3
Let q(m) = -10*m**3 - 9*m**2 - 2*m - 9. Let k(x) = -5*x**3 - 5*x**2 - x - 5. Let l(o) = 11*k(o) - 6*q(o). Let d be l(1). Solve 4*u + 0 - d = 0 for u.
1
Let m = 164 + -115. Let w = m + -47. Solve 4 = w*h - 0 for h.
2
Let l = 5 - 5. Suppose f - 2*z = 8, -2*f = -f + 5*z + 20. Solve l = 4*p - f*p for p.
0
Suppose -18*j + 6 = -15*j. Solve 0 = -j*k + 2 + 8 for k.
5
Suppose -17 = -8*y - 1. Let d = 0 + 7. Solve -5*l + d - y = 0 for l.
1
Suppose 3*i - 9 = 0, -3*i + 4 = -5*a + 4*a. Solve -5*s - 10 = -a for s.
-1
Suppose 21*t - 1006 = -40. Solve -1 + t = 9*u for u.
5
Suppose -5*z + k = -z - 4, -k + 8 = 2*z. Let d = 39 + -42. Let h be 42/9*d*-1. Solve z = -4*m - h for m.
-4
Suppose 0 = 4*s - 3*k + 15, -3*s - k + 13 - 8 = 0. Solve s*m = 5*m for m.
0
Let w(a) = a**2 + 51*a - 270. Let s be w(5). Solve 6*p - 4*p - s = 0 for p.
5
Suppose 0*y + 0*y = 4*y. Solve y = -14*p + 17*p + 9 for p.
-3
Let r be (-18 + 26)*(2 - 1). Let v = r - 8. Suppose -5*m + 12 = 3*b, v*m = -2*m - 3*b + 12. Solve 2*j - 12 + 2 = m for j.
5
Let y be (-16)/(-5) - 4/20. Suppose -k = -y + 2. Suppose k - 3 = -c. Solve 0 = -c*f - 2*f + 20 for f.
5
Suppose 4*x = 2*g + 52, -4*g = -2*x + 27 + 5. Solve x = -10*s + 6*s for s.
-3
Let w = -44 - -46. Suppose 0 = 3*i + 4*j - 31, 10 = 5*i + w*j - 23. Solve 4 = i*q - q for q.
1
Suppose a - 4*p + 8 = p, -a = -4*p + 6. Suppose 0 = -0*s + a*s + 4. Let i be 2/s - (1 + -4). Solve -i*h = 2*h for h.
0
Suppose 2*s - 5*s = 0. Suppose -4*r - 2 = 3*q - 4, 5*q + 20 = 5*r. Let f = 7 - 5. Solve s = f*b + r for b.
-1
Let k(j) = -17*j + 207. Let m be k(12). Solve -3*s - 5*s = m*s for s.
0
Suppose 4*v = 2*k, -31 = -3*k + v - 6. Suppose 20 = -8*p + k*p. Solve -5*o + p = 35 for o.
-5
Let o be 16/40 - 2426/(-10). Let k be (22/(-6) - -1)/((-54)/o). Solve 4*z = -k + 28 for z.
4
Suppose 3*z - 2*g - 28 = 0, -21*z + 25*z - 4*g - 32 = 0. Solve 0 = -z*m - 21 - 27 for m.
-4
Let j(v) = -3*v**3 - 3*v**2 + 3*v + 9. Let b be j(-2). Solve -h = -6*h + b for h.
3
Let z(o) be the third derivative of o**5/60 - o**4/3 + 13*o**3/6 - 17*o**2. Let c be z(2). Solve 5*u - c = -6 for u.
-1
Let b(d) = d - 3. Let p(m) = -2*m + 6. Let g(q) = 5*b(q) + 3*p(q). Let x(j) = j - 4. Let v(w) = 7*g(w) + 6*x(w). Let u be v(-6). Solve o = -u*o - 16 for o.
-4
Let h(p) = -3*p**2 + 6*p - 15. Let l(o) = -8*o**2 + 19*o - 45. Let i(w) = 11*h(w) - 4*l(w). Let k be i(-11). Solve k*t = t + 3 for t.
1
Let h be 8 + 494/(-65) + (-78)/(-5). Solve -17*c - 4 = -h*c for c.
-4
Suppose 59 = 19*a - 74. Let l = -4 + 7. Let z = a + l. Solve -7*p - z = -2*p for p.
-2
Let f = -374 + 380. Solve -i = -3*i - f for i.
-3
Suppose -s + 0*s + 3 = 0. Let j be s + (7 - 3) + -13. Let d be -2 - j - (-4 - 1). Solve -d = -4*l + l for l.
3
Let s(d) be the second derivative of d**3/6 + 3*d**2 + 4*d. Let l be s(-4). Let n = 3 + l. Solve 0 = -2*p - n + 1 for p.
-2
Let f = -2778 - -2794. Solve -287*l + 283*l = -f for l.
4
Let a = 56 + -27. Solve 0 = -9*q + a + 16 for q.
5
Suppose 90 = 25*o - 35. Solve 3*a = 7 + o for a.
4
Suppose 0 = 32*g - 1546 - 214. Solve -g + 50 = -5*f for f.
1
Let z = -241 - -244. Solve -z*d - 5 = 2*d for d.
-1
Let q(i) = -2*i**2 - 73*i + 37. Let b be q(-37). Let d be 6/(-9)*(-6)/1. Solve d*x + b = -4 for x.
-1
Let t = -18 + 20. Let v be 3 + 1 - (0 + t). Solve -25 = v*z + 3*z for z.
-5
Let g = -189 - -208. Solve -5*c = 4 - g for c.
3
Suppose b - 1 = -g, 5*b - g - 3*g = 14. Solve 6 = -b*j + 2 for j.
-2
Let a(q) = 2*q - q - 15 - 3*q + q. Let y be a(7). Let s be y/77 - 9/(-7). Solve -s = -4*r + 3 for r.
1
Let w(z) = -4*z + 46. Let c be w(11). Solve c*d - 5 = -3*d for d.
1
Let v be 60/(-35)*(-1 - -8). Let p = v - -19. Let u = -4 + p. Solve 0 = 4*f - 3*f - u for f.
3
Let q be 1/3 - (110/6)/(-5). Solve -4*o + q - 20 = 0 for o.
-4
Suppose w + 3 = f + 11, -2*w + 16 = -f. Solve t = -t - w for t.
-4
Let c(u) = -u**3 + 47*u**2 + 3*u - 140. Let q be c(47). Solve 3*k - 13 = -q for k.
4
Let j = 10 + -14. Let p = j - -12. Let f = 1096 + -1091. Solve -f*o + 3*o = p for o.
-4
Suppose -4*b = 3*k - 3, -13*k - 4 = -17*k. Let y = 2 - 3. Let o be b*y/(-1) + 4. Solve 13 - 5 = o*v for v.
2
Suppose 177 = -5*k + 487. Let f = -57 + k. Solve n = f*n for n.
0
Let k(x) = x + 1. Let v be k(1). Suppose 5 - 18 = -13*i. Suppose -5*l + i = -14. Solve l*f - v = 10 for f.
4
Suppose 6 = 10*a - 4. Let c(g) = g - 2. Let s be c(5). Suppose 4*t = 8, -s*p - a = -2*t - 3*t. Solve p = w - 2 for w.
5
Let c be (-102 - 5)*(-2 + 3). Let b = -104 - c. Solve 0 = 2*p - b - 5 for p.
4
Suppose 25 - 31 = -6*o. Solve 17 = 4*z + o for z.
4
Let s = -243 + 263. Solve 22*v = s*v - 2 for v.
-1
Let c = 131 - 128. Suppose 9*r - 11*r - 19 = -5*s, -c*s = 5*r + 1. Solve 0*b - s = 3*b for b.
-1
Let m(d) = 10*d + 18. Let c be m(5). Let n = c - 68. Solve 2*a = -n*a for a.
0
Let c = 163 + -138. Solve -5*f + 0*f + c = 0 for f.
5
Let v(m) = m - 4. Let j be v(4). Suppose j = -3*h - 2*u + 5 + 14, -11 = -2*h - u. Let c = -3 + h. Solve c*p + 5 = 5*p for p.
1
Suppose -2*s - 320 = 3*s. Let l be 4 - (s/(-4))/4. Solve -4*b - b - 25 = l for b.
-5
Let g be 46/10 + 1 - 18/30. Solve 0 = -l + 3 - g for l.
-2
Let m be -4*((-36)/(-32)*4 + -5). Solve -m*b - 9 = b for b.
-3
Suppose 3*g - 5*f = 5*g + 15, 15 = 5*g + 2*f. Let w = g - 14. Let m = w + 14. Solve m*l = -2 - 8 for l.
-2
Suppose 0 = 5*a - 3*a. Suppose 3*j = -a*j + 12. Let g(f) = 5*f - 3. Let w be g(3). Solve j = -4*l - w for l.
-4
Suppose -t = -6*t - 5*i - 155, 4*t = -i - 124. Let k = t + 33. Solve k*c - 9 = -c for c.
3
Let c(u) = 6*u**2 - u - 1. Let o(r) = r**2 + 9*r + 13. Let f be o(-9). Suppose 2*x + 5*y = f, 2*y = 2*x - 6*x + 2. Let m be c(x). Solve 0 = -5*k + 1 - m for k.
-1
Let c(h) = h**3 + h**2 + h - 1. Suppose 5*s - 15 = 2*w, 0*s + 20 = 5*s - 3*w. Let x be c(s). Suppose 5 = x*d - 5. Solve d*f - 3*f - 4 = 0 for f.
2
Let x(v) = 2*v - 3. Let u be x(2). Let f = -20 + 30. Suppose 0 = f*i - 12 - 18. Solve -4*k - u = i for k.
-1
Let p(z) = 6*z - 32. Let v(a) = -2. Let w(u) = -p(u) + 12*v(u). Let n be w(0). Solve -3*f + n = -f for f.
4
Suppose 0 = -c - 7. Let j(v) = 2*v + 25. Let y be j(c). Solve -5*s - 1 = -y for s.
2
Suppose -5*b - 17 = 4*n, -3*b = -2*n + 6*n + 