i, 3*z + k = 4*i for z.
5
Let l be (45/10)/(3/(-4)). Let a be l + 2 + 1 - -2. Let q be (-6)/(-9)*(a + 4). Solve -q*o = -s - 9 + 2, -5 = -5*o for s.
-5
Suppose v = -q + 5, -6*q = -3*v - 4*q + 5. Solve -22 = 3*h - v*x + 2, -5*h + 5 = 4*x for h.
-3
Let j(w) = -16*w + 68. Let l be j(4). Let a(r) = -r - 4. Let i be a(-5). Solve -l*d - 5*h = i + 4, h + 1 = -5*d for d.
0
Let g(f) = -f + 14. Let y be g(12). Let a be (8/2)/(y/4). Solve 3*c - a = -4*z + 19, 0 = c - 3*z + 4 for c.
5
Let l(c) = 3*c + 40. Let a be l(-16). Let g = -25 - a. Let h = g + 17. Solve r + 2*t + 5 = 2, h = 3*r + 5*t + 6 for r.
3
Suppose -2*s = -10*s + 88. Suppose 15 = 2*j + s. Solve -j*q - 8 = 5*y, -q - 2*y = -0*q + 4 for q.
-4
Let m = 36 + -17. Suppose -m = -4*p + c, 5*c - 6 - 9 = -2*p. Suppose 0 = p*s - 27 + 2. Solve 6 - 1 = s*o - 4*q, -2*o = -2*q for o.
5
Let d be ((2 - -1) + -8)*-5. Let t = d + -13. Let o be -8*3/(-2 + -4). Solve -3*j = -o*v + 2*j + 20, -4*v = 3*j + t for v.
0
Let x = -1 + 2. Suppose v + 4*t - 5 = 2*v, -9 = -3*t. Let d be (2 + -1)*-2 + 7. Solve -i - u - v = -x, -u = d for i.
-1
Let a = 42 - 42. Let g be (7/4)/((-6)/(-48) - a). Solve -3*z = -m + g, 4*z - 2*m + m + 19 = 0 for z.
-5
Suppose f - 12 = -3*f. Let i(u) = 2*u + 19. Let x be i(-7). Solve -j + f*a - 3 = -0*a, 0 = -j - x*a - 3 for j.
-3
Let q(z) = -z**3 - 6*z**2 + 4*z - 17. Let k be q(-7). Solve -3*r - k*m = 10, 3*m - 1 = 4*r - 2*r for r.
-2
Let n be 0/((2/(-10))/((-26)/(-130))). Solve 2*f - 5 = -3*i + 1, n = 5*i - f - 23 for i.
4
Suppose -17*h = 9*h. Solve h = -5*j + 5*u - 10, 2*j - 18 = 4*j + 5*u for j.
-4
Suppose r - 5*a = -r - 12, -8 = -2*r - 5*a. Let s be 12 + -4 - r/(-2)*6. Solve 0 = -c + 5*q - 12, -4*c - 7 - s = -2*q for c.
-2
Suppose 5*g - u - 146 = 0, 2*u + 48 = 3*g - 41. Let k = g - 23. Solve 2*v - d = -k + 19, 3*v = 2*d + 22 for v.
4
Suppose 0 = 5*y + 55 - 25. Let h be (2/y)/(-1 + 8/9). Solve 0 = -a + 5*c + 22, 0 = -6*a + h*a + 2*c + 14 for a.
2
Suppose 3*c - 36 = 4*b - 10, 2*c = b + 9. Let a = 0 + 5. Suppose -5*x + 15 = 5*p, 3*x - 2*x - 11 = -2*p. Solve -a*y - 4 - 8 = -3*i, -2*i = -c*y - p for y.
0
Let b = 201 + -198. Solve 5*d - s - 13 = b*s, -5*d = -5*s - 10 for d.
5
Let o(g) = g**3 - 15*g**2 + 45*g - 10. Let c be o(11). Solve -f + 2*b - 2 = 0, -c = b - 3 for f.
2
Let x(i) = 29*i**3 + i**2 - 2*i. Let u be x(1). Solve 5*b - 21 = -5*m + m, -3*m - u = -5*b for m.
-1
Let u(f) = f**3 - 8*f**2 + 3*f + 11. Let d(v) = v + 30. Let b be d(-22). Let i be u(b). Solve w - 4*k - 30 = 3*w, -i = 3*w + 4*k for w.
-5
Let o be (-6)/15 + 44/10. Let y be -3 - (-1 - 5) - 3. Solve 21 = 2*h - 5*q, o*h + 5*q + 15 + 18 = y for h.
-2
Suppose -3*t = -4*h + 5*h - 24, 0 = 4*h + 2*t - 76. Solve -c = -5*l - 7 - h, l + 2*c = 6 for l.
-4
Let k = -173 + 175. Solve -t - 15 = 3*l, -2*l - 2*t - k = -3*l for l.
-4
Suppose 0 = 17*b - 34 - 170. Solve -4*y = -b, -y = -s + 3*s - 7 for s.
2
Let u(q) = -q**2 - 6*q - 5. Let a be u(-4). Suppose -a*r = 2*r - 100. Suppose 0 = 5*s + 5 - r. Solve 5*c - 4*m = -3*m - 15, s*c + 16 = 2*m for c.
-2
Let a be -5*1/(20/(-72)). Let l be a/2 - 2 - -1. Suppose 3*d = l*d. Solve 2*q - 1 = c, d = -2*q - 2*q - 4*c - 4 for q.
0
Let q be -3*((-21)/(-9) + -3). Suppose -5*c = -5*n + 15, 5*c - q*n + 1 = -5. Solve c = l - 4*g + 21, l + 0*l - 19 = -4*g for l.
-1
Let f = 6 - 2. Suppose -f = -4*y + 8. Suppose 9 = y*d - 3. Solve -2*i + 3*t - 20 = 2*i, -d*i + 8 = 4*t for i.
-2
Let m(q) = -23 + 13*q**3 + 11*q**3 - 23*q**3 + 25*q**2 + 2*q + 43*q. Let t be m(-23). Solve -w + 9 = i - 0*i, t = -i + 4 for w.
5
Suppose 4 - 1 = i. Let q(x) = -4*x - i - 5 + 0 + x. Let t be q(-4). Solve -4*l + b = -3*b - 28, 12 = -t*b for l.
4
Suppose 0 = -9*h - h + 50. Suppose -5*p - 20 = -4*y - 0*y, -p - h = -y. Let b(i) = i + 7. Let a be b(0). Solve p = 4*j - k + 19, 2 = -2*j + k - a for j.
-5
Let g = -1337 + 1344. Solve 5*y = s - g, -9*y - 8 = 4*s - 11*y for s.
-3
Let u(s) = 17*s + 0 - s**2 + 2*s**2 - 16 + 2. Let g be u(-18). Let h = 3 + -1. Solve h*b - v + g = 0, -b + 2*v - 2 = -v for b.
-2
Suppose 24*u - 83 + 11 = 0. Solve u*s + x = -19, -2*x - 1 - 2 = -s for s.
-5
Let o = 28 - 28. Suppose 2 = -o*w + w. Solve -5*p + 18 - 48 = 5*a, -w*a = -p for a.
-2
Let v(d) = -2*d**3 + 4*d**2 + 35*d - 21. Let z be v(5). Solve z*p - 2 = -5*c, 4*p = -c - c - 4 for p.
-2
Let k(v) = -v**3 + 5*v**2 - 2*v + 51. Let i be k(6). Solve x + i*p - 27 = -2*p, 0 = 3*x - p - 1 for x.
2
Suppose -15 + 45 = 10*l. Solve 4*u - 4*y + 16 = 0, -5*u - 3 - l = 2*y for u.
-2
Let u(t) = t**3 - 13*t**2 + 24*t - 20. Let w be u(11). Solve w*v = -i + 7, -v + 12 = -4*i + 4 for v.
4
Suppose -4*p + 5*v + 0*v + 60 = 0, 2*p - 3*v - 32 = 0. Suppose p + 2 = 4*x. Solve 4*r - 30 = 7*r - x*w, 2*w - 10 = 0 for r.
-5
Let a = -98 - -121. Solve s = v - 3, -a = -3*v - 2*v - 3*s for v.
4
Let p(o) = o**2 - 8*o + 11. Let v be p(8). Suppose 71 - v = 5*r. Solve 6*c - 16 = 5*n + 2*c, 3*c - r = -2*n for n.
0
Suppose 62*a + 46 = 85*a. Let m(l) = -l**2 + 7*l - 2. Let y be m(6). Solve -q - 16 = -o + y*o, -a*o + 2*q = 0 for o.
-4
Suppose 20 = -3*a + 14. Let n(f) = -f**3 - 2*f**2 - f - 1. Let b be n(a). Let r be b/2 - (-25)/10. Solve 2*d - 5*p + 9 = 0, -r*d + 4*p - 10 = -0*p for d.
-2
Let z(f) be the second derivative of -f**3/2 + f**2 + 4*f. Let a be z(-3). Solve 0 - 27 = -3*t - 5*i, 2*t + i - a = 0 for t.
4
Let r be ((-672)/(-66) - 5) + (-14)/77. Solve 5*b - 22 = 2*t - 4*t, -5*t = -r for b.
4
Let k = -155 - -157. Solve -4 + 3 = -n - p, -k*n - 4 = -4*p for n.
0
Let k = -58 - -13. Let s be 18/((-6)/(-2))*k/(-54). Solve -t - 9 = s*n, 5*t + 1 = -8*n + 5*n for n.
-2
Suppose m + 12 = 2*y, 3*y - 12 = 4*m + 1. Solve 2*j = 2*s - 3 - y, 0 = 3*j - 4*s + 16 for j.
-4
Let o = -271 - -273. Let i = -4 - -9. Suppose 0 = -i*m + o + 13. Solve 0 = 2*p - m*x - 19, 4*x + 18 = 3*p - 9 for p.
5
Let b(f) = -11*f + f**2 + f**2 - 12*f + 34 + 0*f. Let q be b(10). Solve -3 = -4*g - 3*u, -q*g - 3*u - 2*u - 3 = 0 for g.
3
Let v(i) be the second derivative of i**3/6 - 3*i**2 + 2*i. Let d be v(9). Let b(l) = l - 10. Let q be b(10). Solve -4 = k + s, -2*k + q*k + d*s = 13 for k.
-5
Let c(w) = -w**2 - 14*w + 35. Let d be c(-16). Solve d*y - y - 9 = -s, y - 2*s - 2 = 0 for y.
4
Suppose 3*s - 2*x + 3 - 1 = 0, -2*s + 5*x - 16 = 0. Solve -s*g - 17 + 0 = -3*t, g - 24 = -5*t for t.
5
Suppose 19*q = 6*q + 13. Let i(n) = 2*n**3 - n**2 + 2*n - 1. Let d be i(1). Let u be 8/2*(-1)/(-2). Solve 5*f = -4*x + d*x - q, -2*x = -u*f + 8 for f.
1
Let q be -6 - -4 - -5*(-44)/(-55). Let k(y) = 2*y**2 - 2*y - 1. Let r be k(2). Solve -3*h + 9 = -r*z, 2*z - q = z for h.
5
Let j be ((-10)/(-6))/(32/288). Suppose 0 = 12*n - j*n. Solve -r - 3*s + 5 = n, r - 6*r - s - 3 = 0 for r.
-1
Let c(u) = 2*u**2 - 1 - u**2 - u + 0. Let r be c(-1). Suppose -r = -q + 2. Solve 0 = -i - 2*k + q, -i - 2*k = i - 6 for i.
3
Let a = 40 + -29. Suppose 9*h - a*h + 6 = 0. Solve -3*x - h*c + 6 = 0, 5*c - c - 13 = x for x.
-1
Let g be 2 - (-8)/4 - (0 - 12). Solve z + 3*b - g = 0, -3*z + b = -z - 4 for z.
4
Let l be 2 - (-6 + 10) - -2. Suppose -4 = -a - 0. Solve -3*d + a*u + 6 = l, -3*d - 3*u - 6 = -6*d for d.
2
Suppose 6*i - 5*i + 2*h = 11, -5*h + 15 = 0. Solve -5*z - 5*t + i = -5, 3*z - 3*t + 24 = 0 for z.
-3
Let y(s) = 2*s + 3 - 11*s - s**2 - 6*s. Let t be y(-15). Solve t = -l - 2*k - 1, 0 = -4*l + 4*k - 16 for l.
-4
Suppose -21 = -5*a - 6. Let i(h) be the second derivative of 11*h**3/6 + h**2/2 - h. Let w be i(1). Solve -4*s = a*z - 20, z - s = -5*s + w for z.
4
Let i(n) be the second derivative of n**5/20 + 11*n**4/12 - 13*n**3/6 - 9*n**2/2 + 8*n. Let v be i(-12). Solve 0 = x + 4*z + 20, -x - 4 = -v*x + 3*z for x.
-4
Suppose 0 = 5*k + 28 + 2. Let t be (-13)/k - (-5)/(-30). Solve -t*u = 0, 2*m - 5*u = -u - 4 for m.
-2
Let y(v) = v**3 + 2*v**2 - 3*v + 25. Let c be y(-4). Solve -c*m = -2*d + 15 + 5, -5*d = m + 4 for m.
-4
Suppose 0 = -2*s - 3*h - 8, -2 + 4 = -s - h. Let q(i) = 2*i**2 - i - 5. Let r be q(-2). Solve 5*n + 5 = -5*u, r*u - s*u + 5 = -n for n.
1
Suppose 0 = -2*x + 7*x - 255. Suppose 3*g - x + 15 = 0. Solve -4*z + 4*k = -24, -z - 3*k - 2*k = g for z.
3
Let q = -425 - -430. Solve -3*v = -6*u + q*u - 4, 0 = v - 2 for u.
2
Let s = 12 - 10. Suppose -3*r + 10 + 2 = 3*t, s*t = 8. Suppose -4*j = -2*u - 2, r*j + 31 = 5*u + 2*j. Solve -n + u*v - 10 - 2 = 0, 4*n + 5*v = 2 for n.
-2
Let