. Solve -5*s + q = 5*f, -d*s = 4*f + 1 - 9 for f.
5
Let j = 7 + -4. Let o be 24/(-16)*4/(-2). Let q be 1 + 6 - (0 - 0). Solve -s - o*m = -q, m = s - m + j for s.
1
Suppose -12 = -a + 13. Let y = a + -25. Suppose y = d + 4*q - 25, -d - q - 4*q + 27 = 0. Solve 0 = 2*c + 4*j - 18, -5*c - d - 3 = -3*j for c.
-1
Suppose -2*v = -v - 10. Suppose -v*j - 18 = -13*j. Let s = -6 + 10. Solve t + 15 = -y + j*y, 0 = -s*t - 5*y + 15 for t.
0
Let a(k) be the first derivative of -k**3/3 + 9*k**2/2 + 3*k + 3. Let w be a(8). Suppose -w*b + 20 = -9*b. Solve -4*s = 3*n + b, 5*s + 1 = 2*n - 0 for n.
-2
Let o = -85 - -93. Solve 5 = 5*a + 5*l - 25, -4*l = -o for a.
4
Suppose -3*i - 2*i - 5*u + 35 = 0, 3*i + u = 17. Let v be -11*2/(-22) + 12. Solve 2*h + v = i*h + 4*a, 5*a + 7 = 4*h for h.
3
Let n be (65/26)/(3/6). Suppose 12*v - 9*v + 25 = n*q, -4*v = 0. Solve -4*o = -2*y + 6, q*o = 5*y + 2*o - 15 for y.
3
Suppose -501 = 3*r - 516. Suppose -w - 2*w + 4*v + 7 = 0, 4*w = -5*v + 30. Solve w*b - y = -11, y - r = -b + 3*y for b.
-3
Suppose 15 + 5 = 5*t. Let b be -2*243/36*-1*2. Solve -d - 3 = -0*d, t*u + 5*d = -b for u.
-3
Let i be (48/(-8))/(6/(-3)). Solve -2 = -y, 3*n - 2*n + 7 = i*y for n.
-1
Suppose 25 = 16*l - 23. Solve 3*f + 0*j + 1 = j, -9 = -3*f + l*j for f.
-2
Let a(f) = -3*f - 25. Let l be a(-10). Suppose l = 5*n - 20. Solve -n*p + 22 = 3*o, 2*o + 6 - 19 = -3*p for o.
-1
Let s be 31 + (4 + -8 - 1). Suppose 0 = -4*v - d + 16, v = 3*d - 6*d + 4. Let i = -4 + v. Solve i = -2*q - 4*x + s, 4*q - 5*x + 0*x = 0 for q.
5
Suppose -2*a = -7 + 3. Let z be (5/20*4)/(a/10). Solve -2*f + z*x = -1, 2*x - 17 = -5*f - 0*x for f.
3
Suppose 0 = -3*a - 2*q + 21, 5*a + 6*q - 35 = 9*q. Solve 3*z - x = -a, -2*z + 4 = -3*x - 3 for z.
-4
Let l(d) = -d + 9. Let z = 26 - 22. Let s be l(z). Solve 3*v - 9 = 2*v + g, 4*v = -s*g - 9 for v.
4
Let v(b) = b**3 - 9*b**2 - 11*b + 16. Let j be v(10). Let w(t) = 2*t. Let y be w(3). Suppose 0 = -y*g + 2*g + 8. Solve 4*r + j = g*s, -r - 1 = -4*s + 3*s for r.
-2
Let i(t) = -t**3 - 3*t**2 + 2*t + 1. Let s be i(-4). Suppose 0 = -5*q + s*q - 148. Solve -q = -4*y + 3*d - 9, -4 = -3*y - 2*d for y.
4
Suppose -z - 5*j + 3 = 0, 5*z - 16 = -4*j + 20. Solve -5*c = o + 1, 4*o + z = -2*c + 4 for c.
0
Let h(t) = -2*t**2 - 9*t - 4. Let m be h(-4). Let c(a) = -5*a + 20. Let o be c(m). Solve 0 = -4*y + 5*y + j + 8, -5*j = o for y.
-4
Let j be ((-20)/(-15))/((-8)/(-84)). Solve 0 = -5*d + d - 2*n - j, 5*d + 20 = -5*n for d.
-3
Let h = 1 + -5. Suppose 0*c - 572 = 26*c. Let w be c/(-11)*(-10)/h. Solve -z = 2*s + 9, w*s + 18 = -5*z - 17 for s.
-2
Suppose 20 + 7 = 3*b. Suppose b = 9*j - 0. Solve 2*f + 6 = 4*r, r + j = -0*f + f for r.
4
Let c = -897 + 901. Solve 5*u = 5*m + 15, -c*m - m + u = 11 for m.
-2
Let n = -307 + 311. Solve 5*y + 5*c = 0, 5*c + n + 0 = -y for y.
1
Suppose 4*q = n - 5*n + 100, 2*q + 4*n - 44 = 0. Let j(b) = 4*b**3. Let h be j(1). Solve 2*g + 0*g = -h*t - 8, q = -2*t + 5*g for t.
-4
Suppose n - 2*n = -9. Solve -y = 2*a + 9, -4*y + n - 20 = 3*a for a.
-5
Let l be 1330/26 - 8/52. Let y = l + -33. Let o be 3*(-2)/6*-4. Solve -21 = -5*n - o*c, 3*n = n + 5*c - y for n.
1
Let r be ((-4)/12*1)/((-1)/12). Suppose -5*d + 11 = -r*m - 21, -5*m - 23 = -2*d. Solve d*z + 4*c = -0*c + 12, z - 2*c = 0 for z.
2
Suppose -8 = -2*q, 4*l = 2*q + 14 - 10. Solve 5*o - 2*k - 18 = 0, -o - l*o = k - 4 for o.
2
Let l(d) = d**3 - 8*d**2 - 12*d + 43. Let w be l(9). Solve 3*o + 5*i = 4 - w, 4*i = 0 for o.
-4
Suppose 3*a - a = 5*a. Suppose a = -0*w - 4*w + 16. Solve -7 = -5*c + 4*u, c + w*u + u + 16 = 0 for c.
-1
Let r(z) be the second derivative of z**3/6 + 23*z**2/2 + 11*z. Let t be r(-19). Solve 13 = -3*i - 2*f, -2*i - 24 = 2*i - t*f for i.
-5
Suppose 9*l - 39 = -4*l. Solve 4*y = 3*d - 7 + 22, 5*y + l*d + 15 = 0 for y.
0
Let w = -28 - -30. Suppose -3*n - w + 14 = 0. Solve 0 = 5*d + n*t + 37, d + 5 = 3*d - 5*t for d.
-5
Let q(m) = 9*m**3 + m + 1. Let f be q(1). Solve -o - 12 = -5*o, -f = 5*p - 2*o for p.
-1
Let x = 2 - -1. Suppose -10*t - 32 = -26*t. Solve -x*j - 4*s = -0*s - 2, 5*j + 14 = t*s for j.
-2
Suppose t + 8 = 2*t + 5*m, 3*t = 3*m + 78. Solve 4*j = -5*u - 0*j - t, j = 2*u + 4 for u.
-3
Let s(u) = -20*u + 1. Let c be s(-1). Suppose 0 = -39*f + 56*f - 544. Solve -f = 4*k - 4*x, k - 3*k - c = -3*x for k.
-3
Suppose 0 = -g - 88 + 26. Let c = g + 64. Solve -3*y + y = -2*d - 2, 4 = -c*y + 4*d for y.
4
Let w be (-18)/(-10) - (-6)/30. Let k(q) = q**2 - 2. Let l be k(w). Let f = -57 + 61. Solve l*y + f*s = 10, -y = -2*s - 3 + 2 for y.
3
Let u be (4/5)/((-13)/(-130)) - 5. Solve 0 = 5*g + 2*k - u - 10, -3*g - 5*k = -23 for g.
1
Let z be (-4)/(-5)*(26/(-4) + 9). Solve -5*t + 30 = 5*q, 0 = 3*t - z*t - q + 4 for t.
1
Let c be (-15 + 0)*4/(-12). Suppose 1 + c = 3*l. Let g(r) = 4*r + 88. Let h be g(-22). Solve -3*o = 15, -l*b - 4*o - 16 = -h for b.
2
Suppose 2*s = 3*s. Suppose 0*l - 3*l + 6 = s. Suppose -4*d - 11 = 6*c - 5*c, -6 = 3*c + 3*d. Solve -2*t + t = l, -2*t + c = -5*f for f.
-1
Let b be (-34 - -2)*(-2)/4. Suppose -2*l + b = -4*p, -p + 1 - 11 = -2*l. Solve -n - l = 2*g + 3*g, -g + n - 2 = 0 for g.
-1
Let u(l) = l**2 - 32*l + 1. Let p be u(30). Let m = -50 - p. Solve 0 = -3*b + m, -2*b + 5 = -4*n - 7*b for n.
-5
Let a = -914 + 923. Solve c = -5*r + 15, 3*r + 5 = 4*c - a for c.
5
Let g(q) = q**3 + 4*q**2 + 23*q + 94. Let z be g(-4). Solve 4*h + 45 = -5*c, z*c - h = 3*c + 10 for c.
-5
Let v = 8 + -6. Let o = 21 - 15. Suppose o*w - 20 = v*w. Solve -2*k = t + 4, w*t - 4*k = 34 - 12 for t.
2
Let b = -26 - -25. Let w be 0/17*b/(-2). Solve -5*g = -25, 3*r + w*r = g + 1 for r.
2
Let x = 896 - 892. Solve 2*q = -4*z - q + 32, x*z = 5*q for z.
5
Suppose -70 = 14*z - 9*z. Let g = z + 17. Suppose 3*q = -3*q + 24. Solve -3*c - 14 = 3*s + q, 16 = -g*s - c for s.
-5
Let f be (-164)/(-42) + (-12)/(-126). Solve -f*m - 5*l - 26 - 7 = 0, -2*m + 2*l + 6 = 0 for m.
-2
Suppose 1 = -2*n + 5. Suppose -v - 4 = 9*x - 13*x, 0 = 3*x - v - 2. Let g be 3/((-6)/(-16) + 0). Solve -8 = n*h + x*c, c + g = -c for h.
0
Let f(a) = -31*a + 71*a - 41*a + a**2 - 1. Let b be f(-3). Solve 4*r + 2*n + 1 = b, 13 = 3*r - 4*n for r.
3
Suppose 34 + 11 = o. Suppose -3*i = -8*i + o. Suppose -5*y = -w + i, 0 = -w - w - 5*y + 33. Solve -t - 5*m + 4*m + 2 = 0, -3*t + m = -w for t.
4
Suppose 0 = 4*i, -5*i - 6 = -3*c + 9. Suppose 0 = -2*g - 5*o - 5, -3*o = -3*g + 2*o + c. Solve -z + 5*f - 19 = 0, g*f - f = -z - 3 for z.
1
Let i(r) = r**3 + 2*r**2 - r + 2. Let m be i(2). Let a be 5/(-2)*11/((-88)/m). Solve -2*x + 8 = 2, x + 12 = a*v for v.
3
Suppose 4*l + 17 + 19 = 0. Suppose 0*d - 3*d = -39. Let t = l + d. Solve 3*w - 3 = a, 0 = -0*a + a - t*w + 4 for a.
0
Let o be -3*(300/9)/(-4). Suppose -o = 5*t + 30. Let j = t + 13. Solve z + 5 = -j*m - m, 2*m + 4*z = 10 for m.
-3
Let a(k) be the third derivative of -k**4/4 + k**3/3 - 33*k**2. Let g be a(-1). Solve -3*p = -2*i - 7, -4*p + g = -5*i - 6 for i.
-2
Suppose k + 4 = -3*l + 2*k, 3*l + 3*k = 0. Let p = -3 - l. Let x be -1*(-6 + 6/p). Solve -3*f = 3*q + x, f - 7 = q + 6*f for q.
-2
Let b(p) = -p + 15. Let r be b(4). Suppose -r = 2*l - 91. Solve 0 = -4*s - f + 25, -l = -3*s - s - 4*f for s.
5
Suppose 3*r = -4*j + 65, 2*j - 5*r + 29 = 4*j. Suppose -j - 55 = -3*t. Let x = t + -7. Solve 4*q + x = -0*q - 3*k, -3*q = k + 9 for q.
-2
Suppose -3*h + 51 = -3*b, 6 = 2*h - 0*b + 5*b. Suppose 5*a + 2*k = 4*k + 55, -2*a + 4*k = -38. Let q = h - a. Solve -q*z - 2 = 2*i + 4, 4*z = 4 for i.
-5
Let c(o) = -3*o**2 + 24*o + 29. Let h be c(9). Solve -5*y = -3*b + 21, -h*b + 3*b - 2 = 0 for y.
-3
Let u(a) = 2*a**2 - 4 - 2*a**2 - 37 + 20*a + a**2. Let m be u(-22). Suppose -3*c + 2*c + 1 = 0. Solve -b + 0 - c = y, -m*b + 3 = 0 for y.
-2
Let v(m) = -m**2 + 86*m + 1406. Let p be v(-14). Suppose 0 = -4*n - 4*i + 32, 5*i = 3*n - 6*n + 34. Solve -p = n*x, 3*f + 4*x + 25 - 2 = 0 for f.
-5
Let g(x) = -6*x + 301. Let j be g(50). Solve z + 2*z + 11 = -2*o, z = -j for o.
-4
Let a(l) = 2*l - 6. Let t be a(5). Let i be (-1)/4 - (-9)/t. Suppose 0 = f - i. Solve -5*p + f*n - 4 = 2, 5*n - 15 = p for p.
0
Suppose 0 = 3*a - 3*n + 21, 0 = 2*n - 4 - 6. Let r(h) = -h**2 + 8*h - 4. Let z be r(8). Let l be 3*(z/a)/2. Solve -g + l*c + 1 = 0, -6*c + 4*c = 4*g - 18 for g.
4
Let u(i) = 5*i - 4*i + i - 4 + 3*i + 4*i**2. Let w be u(1).