- r, 28 = 4*r + 5*p for r.
2
Let u be -5 - (9 - (-4 + 20)). Solve u*c + 3*b + 19 = 0, -13 = 4*b - 1 for c.
-5
Let o(y) be the first derivative of y**3/3 + 5*y**2/2 + 5*y - 1. Let p be o(-4). Let x be 2/4*4/p. Solve -2*z + i + 1 = -0, i + x = 3*z for z.
1
Let q(f) = 3*f - 1. Let k(d) = 9*d - 3. Let x(w) = 6*k(w) - 17*q(w). Let u = -2 - -3. Let y be x(u). Solve y*v = 3*v - 3*i + 1, 2*v + 3*i = -11 for v.
-4
Suppose 77*x - 76*x - 4 = 0. Solve -2*j = -d + 1, 6*j - 5*j - x*d + 18 = 0 for j.
2
Let u be (-1 - 2) + 54/2. Let p be (24/15)/(6/30). Let a be 1 - 2 - p/(-2). Solve 3*s - 2*n + u = 2*n, -3*s + a*n - 21 = 0 for s.
-4
Let y be (-2)/(-8) + 297/(-36) + 11. Solve -4*m + 8*i + 16 = 10*i, -y*i = -2*m for m.
3
Suppose 0 = -4*j - 4, o + 3*j + 2*j - 17 = 0. Solve 0 = 5*l - 3*h - 35, 4*h + o + 2 = l for l.
4
Let n be (-3)/(-6) - 120/(-16). Suppose 0 = -5*i + n - 28, 2*i + 116 = 4*r. Let j = 4 + 1. Solve -3*x - 9 = -5*x + j*a, 5*x = -4*a - r for x.
-3
Suppose 8 = -4*n, -4*z + 21*n - 16*n + 98 = 0. Solve -24 = 3*d + 3*u, -z = -3*d + 5*d + 4*u for d.
-5
Suppose 5*p = 3*u + 6, -3*p + 13*u = 14*u + 2. Solve -3*i = p, 2*n - 2 = 2*i - 4 for n.
-1
Let a be (-4)/(1*(-1 + -1)). Suppose 0 = l - 5*l. Suppose -c + a + 6 = l. Solve 6*d - 3*d + 4*f = 4, -3*d - f = c for d.
-4
Let j = 61 + -38. Let m = j - 19. Solve 3*d + m = -i - 15, -5*i = -3*d + 5 for d.
-5
Let z(x) be the third derivative of x**6/120 - x**5/5 + x**4/2 - 3*x**3/2 - 2*x**2 + 14. Let w be z(11). Solve -2*o = -4, 5*i - 11 = -w*o - o for i.
1
Suppose 4*j - 28 = -4*a, -a - 29 = -5*j - 12. Solve 0*v + j*w + 37 = -5*v, -1 = -v + 2*w for v.
-5
Let q(u) = -28 - 3 + 4 + 10*u. Let y be q(3). Solve d = 1, -d - 4 = -y*i + 4*d for i.
3
Let d = -59 - -64. Solve -5*o = -5*l - d, l + 3 = 2*l - 5*o for l.
-2
Let m(f) = f**2 - 2*f - 261. Let y be m(18). Solve -4*j + 0*j = -5*k - y, -5*j + 6 = 3*k for j.
3
Let m(a) = 5*a**2 + 9*a + 8. Let t be m(-2). Solve -3*c + 4*w - t = 0, 2*c + 0*c + 4*w - 20 = 0 for c.
2
Suppose 11 = 3*q - 4*i, 4*q - 2 = 2*i + 6. Solve 13 = -5*j + 4*h, -5*j = h + 4 - q for j.
-1
Suppose -2*i - 3*w + 36 = 0, -2*i - 3*i + 5*w + 40 = 0. Let o be 62/i - (-2)/(-12). Solve 32 = 5*r + 3*j + 12, 2*j - 5 = o*r for r.
1
Suppose 4*i + 3 = 103. Let s = i + 7. Solve -t - k = 6, -5*k - s + 12 = -5*t for t.
-1
Suppose 4*z = -3*g - 4, 4*g = 3*g + 4*z + 20. Let t be g - ((3 - -1) + -4). Solve 4*d + 0 + t = 2*p, -2*p - 4*d - 4 = 0 for p.
0
Let p be ((-2)/(-7))/(1*6/84). Solve l - 10 = -m + 4*m, -m + l - p = 0 for m.
-3
Suppose 30 = -0*d + 3*d - p, 46 = 5*d - 3*p. Let b(a) = -a**3 + 9*a**2 + 23*a - 7. Let n be b(d). Solve -5*f - 13 = -n*m, 2*f + f - m = -12 for f.
-5
Suppose 2*r - 6 = -0*r + 5*x, 5*r - 4*x = 15. Suppose 5*q + 0*g = -r*g + 58, q - 18 = g. Let s = 5 + -2. Solve -8 = 4*d + s*l, -5*l = 6 + q for d.
1
Let r = -6 + 8. Suppose -306*x = 108*x. Solve -5*a - 3*s - r = 0, x*s + 16 = 2*a - 3*s for a.
2
Suppose 12 = z + 34. Let j = -10 - z. Let y = j + -8. Solve 10 = -5*l + 4*r, l + 3*r + y - 2 = 0 for l.
-2
Suppose -16 = -4*u + 2*f - 3*f, f = 5*u - 20. Let h = 1 + -1. Solve 2*v + 2*o + 16 = h, 3*o - u = -0*v + 4*v for v.
-4
Let u = 387 - 377. Let j(a) be the first derivative of a**4/4 - a**3/3 - 5*a**2/2 + 2*a + 2. Let k be j(3). Solve k*b + u = -3*w, -3*w = -0*w - 2*b - 25 for w.
5
Suppose -4*f = -7*f + 5*u, -4*f = -5*u. Suppose -6 = 3*n - f. Let l be 3/n*16/(-24). Solve -4*y = o - 12 + l, y - 7 = 4*o for y.
3
Let t(w) be the second derivative of w**4/12 - 2*w**3/3 - 5*w**2 + 7*w. Let c be t(-2). Solve 0 = 5*i + 15, -c*d + 2*i - 19 = 3*d for d.
-5
Let s(o) = o**2 + o + 5. Let j be s(0). Solve -1 = k + q - 4, 0 = -3*k + j*q - 23 for k.
-1
Suppose -5*n + 108 = 5*z - 27, 5*z = -4*n + 139. Solve 0 = 2*d + d - 5*m + z, -d - 3*m + 13 = 0 for d.
-2
Let l(n) = -26*n**2 - 261*n + 12. Let g be l(-10). Solve -9*h + g = 4*w - 8*h, -33 = -5*w - 4*h for w.
5
Suppose -w - 5*l + 30 = 0, 3*l + 5 = 5*w - w. Let j be 2 + (13 - 0*(-9)/72). Solve -5*u + k - 3 = 0, w*k - j = -4*u - 0*k for u.
0
Let z(s) = 2*s**2 + 1. Let j be z(-1). Let x = -50 - -106. Suppose r + 39 = 5*a - x, 5*r = 0. Solve n - 3 = o, j*o = -n - n - a for o.
-5
Suppose 6*k + 12 = -0. Let l be 3 + (-1 - -2) + k. Solve -o + 21 = 3*f + l*o, -3*f = 4*o - 26 for f.
2
Let a = 1018 - 1015. Solve -a = -5*b - 2*g + 7, 2*b - 3*g + 15 = 0 for b.
0
Suppose 3*s - s = 0. Let w be 150/(-9)*(-3 - s). Suppose -2*p + w = -12. Solve 2*d = 5*f + 22, -5*f + d + 10 = p for f.
-4
Let w(s) = s**2 + 5*s - 102. Let q be w(-13). Let c = -135 + 255. Let n be c/18 + q/(-3). Solve -n*j - 4*l = -2*j - 24, 0 = -j + 4*l - 19 for j.
1
Suppose 0 = -2*o - h + 9, -16 + 24 = o + 4*h. Let v(b) = -b**3 + 2*b + 0 + 0 + 3*b**2. Let k be v(3). Solve 4 - 16 = 4*z, o*z = 2*p - k for p.
-3
Suppose -64 = -5*y - 3*c, 6*y = 2*y + 5*c + 29. Suppose -y - 5 = -4*d. Solve -5*n = -q - 15, -4*q - 7 = d*n - 19 for q.
0
Let v be 120/2*(-51)/(-12). Suppose 16*l - 145 - v = 0. Solve 3*n = -3*k + 4 - l, -2*n = 3*k + 17 for n.
-4
Let b(k) = 3*k**2 - 29*k + 21. Let t be b(9). Solve 0 = t*s - 4*q + 6*q - 13, -5*s + 5*q = 20 for s.
1
Suppose 3*c = 6*c + 2*u - 20, -3*u + 25 = 4*c. Solve y = 3*y - l - c, -5*y = -4*l - 25 for y.
5
Let m be -165 + 171 - (-1 - -5). Solve m*l = 0, 4*f - 3 = -3*l - 23 for f.
-5
Let y(w) = -2*w. Let a be y(-3). Suppose -3*k - 4*b = -20, -k - b = b - a. Solve 5*l = 2*c + 12, -3*c = 5*l - k + 1 for c.
-1
Let g(k) = k - 6. Let z be g(10). Suppose -4*d + 6 = -2*d. Let h = z + d. Solve -5 = -2*f + h*f - 2*b, -2*f + 17 = 3*b for f.
1
Let z be ((-1)/3)/(2/(-6)). Let u = z - -1. Suppose -120 = u*o - 5*o. Solve -3*v - o = -5*b + 2*v, -v = 5 for b.
3
Suppose -3*b + 4*n = -n + 46, 2*b = n - 26. Let y = b + 17. Solve 19 = 3*a + 5*o, -1 = -5*a - y*o + 14 for a.
-2
Let i = 114 - 87. Solve 3*y - i = -p - 10, 4*p - 8 = 3*y for y.
4
Let n = 342 + -340. Solve -2*p = -n*g + 8, 8*p - 3*p = -g + 4 for g.
4
Let b(f) = f**3 + 20*f**2 + 36*f + 8. Let g be b(-18). Suppose -9*c = -11*c + g. Solve -5*z = 3*t - 17, 3*z + 3*t = c + 11 for z.
1
Suppose 3*b - 16 = 2*b. Suppose -6*y + b = -2*y. Suppose 0 = i + 3*i - 5*j - 25, 2*i - y*j = 14. Solve -i*q = -20, -6*p + 2*p = 2*q - 16 for p.
2
Let r = 8 - 5. Suppose -r - 42 = -5*d. Solve -4*c - 10 = -d*c, -5*i = -2*c - 21 for i.
5
Let i = -163 - -178. Solve 0 = -k + 5*o - i, -o - 2 + 4 = 0 for k.
-5
Let s be 4/(-26) - (-594)/143. Solve f - 2 = 0, 3 = s*n + 4*f - 25 for n.
5
Suppose -14*u = -3*u - 198. Solve 2*g = -2*p - 2*g + u, 3*p - 3*g = 0 for p.
3
Let t(z) = 3*z**2 - 77*z + 53. Let h be t(25). Solve 11 + 13 = h*j - 4*i, 3*j - 2*i - 18 = 0 for j.
4
Suppose 66 + 14 = 5*s. Suppose 5*n = -0*n + 35. Suppose 5*z = -4*w + 3*z + 2, 0 = 4*w + z - n. Solve -4 = g - 0*h - h, -g + s = w*h for g.
1
Let d = -2008 + 2010. Solve 3*h = 2*s - 19, d*s - 4*h + 2*h = 16 for s.
5
Let u = -56 - -39. Let k be (1 - 1) + (-51)/u. Solve -5*i + 2*a = -a + 22, k*i = 4*a - 22 for i.
-2
Let d = 11 - 15. Let m be (d/(-16))/(2/40). Solve -4*i = -b - 17, -3*b + 7*b + 5*i = -m for b.
-5
Suppose a - 9 = -l, 3*a - 22 = 3*l + 23. Suppose o + a = 16. Solve -4*d + 2*k = 10, -o*k = -6 - 6 for d.
-1
Suppose 2*h + 3*h = 0. Suppose 0 = 6*m - 8*m + 3*q + 20, 0 = -2*m - q + 4. Solve h = m*y + 3*g + 20, 20 = g - 6*g for y.
-2
Let o(h) = -h**3 - 8*h**2 - 15*h + 6. Let g be o(-7). Suppose g*b - 54*b - 32 = 0. Suppose -23 = -z + 2. Solve 3*v = 2*y + 3*y - 40, -b*v + y - z = 0 for v.
-5
Let d(n) = -5*n - 17. Let m be d(-4). Solve 15 = -m*f, -2*b - f = 3*f + 10 for b.
5
Let w(l) = -l**2 - 19*l + 11. Let h be w(-19). Solve -y = 2*r + h, -5*r + 9 - 36 = 2*y for y.
-1
Suppose 0 = r + 1 - 2. Suppose -98 + 106 = 4*q. Suppose 3*m = 6*m - q*z - 32, 3*z - r = m. Solve -10 = 5*a - 5*c, 4*a + 4*c = 5*c - m for a.
-4
Let a be -34 + (-3*2)/3. Let s = 52 + a. Suppose -3*r + 7*r - s = 0. Solve r*j = 4*p - 28, 0 = 2*p - j - 3 - 7 for p.
3
Let r(a) = -a**3 - 2*a**2 + 5*a - 2. Let m be r(-4). Let n = m - 30. Let d = 21 + n. Solve 0 = -z + 4*h + d, 3*h = -z + 3 + 5 for z.
5
Let b = 396 - 392. Solve 5*i = -3*p + b*p - 19, -2*p + 4*i = -20 for p.
4
Suppose 113 = 31*p - 414. Let r(n) = -n**3 + 6*n**2. Let s be r(6). Solve 0 = -s*h + 2*h + d - 2, 0 = -3*h - 5*d + p for h.
-1
Suppose 13 = -3*y + 2*l, -5*l - 2 = -12. Let z be (1/y)/((-4)/132). Suppos