
Let q be 2/(-7) + 531/21. Let s = -22 + q. Solve -s*t - y = 16, -3*y = t - y + 7 for t.
-5
Let t be 2/8 + (-39)/(-4). Let s = 13 - 16. Let z be (2/(-4))/(s/12). Solve 0 = z*q - n + 5 - 19, 0 = 2*q + 5*n + t for q.
5
Suppose 0 = s - 4*s. Suppose 4*k - 5*c - 45 = 0, s = -k + c - 0*c + 10. Solve 0 = -4*z - 4*r + k - 1, -4*z = 3*r - 3 for z.
0
Let a = 10 + -6. Solve w - 7 = -7*p + 4*p, -a*p = 3*w - 16 for p.
1
Suppose 42 = -5*o + 117. Suppose -o - 5 = -5*g. Suppose 5*h - 16 = -3*w, 0 = w + 5*h - 12. Solve -w*p - g = 0, 0*y = -5*y - 3*p + 14 for y.
4
Suppose -4*y - 84 = -3*q, 3*y - 4*q = -q - 63. Let t = -19 - y. Solve 6*k + 16 = t*k + 5*i, -4*i + 21 = 5*k for k.
1
Let q(z) = -6*z**2. Let v(i) = i**2. Let y(n) = 5*q(n) + 35*v(n). Let a be y(-1). Solve -2*p = 2 + 4, 5*p = -a*f - 15 for f.
0
Suppose -n = 5*k - 11 - 13, -4*n + k = -12. Let a(f) = -4*f - 4*f**2 + 4 + 4*f**2 + f**2. Let p be a(n). Solve -3*o = 3*v - 0*o + 3, 3 = -3*v - p*o for v.
-1
Let m be (8/14)/(13/91). Solve q = 0, -m*y + 5 + 3 = -q for y.
2
Let z(a) = -a**2 + 19*a + 44. Let t be z(21). Solve t*h + 7 = 2*i + 1, 3*i - 14 = 4*h for i.
-2
Suppose 3*l = 2*l. Suppose 9 = -l*r + 3*r. Solve 4*h = -k + 7 + r, -3*k + 4*h - 18 = 0 for k.
-2
Let j be 29*(0/1 + 1). Suppose 5*m - j = 11. Solve y - 2*r = -2 + m, 0 = -5*y - 5*r - 30 for y.
-2
Suppose -f + 1 + 1 = 0. Let z = f + 0. Let n be (1/z)/(2/8). Solve -v = 5*t - 18, n*v - t = -2*v - 12 for v.
-2
Let d(f) = 2*f**2 + 33*f + 9. Let j be d(-17). Solve 3*m = 4*z - j, 3*z - 8 = 2*m + 11 for z.
5
Let h(n) be the second derivative of -n**3/6 - n**2/2 + n. Let a be h(-6). Solve 0*p - 10 = -2*t - 3*p, -t - p + a = 0 for t.
5
Suppose 0 = -11*i + 10*i + 2. Solve 7 = -4*j + 3*p, i*p = -j - 2*p + 3 for j.
-1
Let z be 5 - (-2 - (-8 - -4)). Solve 3 = 4*s + 3*x, -5*s + s + z*x = -21 for s.
3
Let t be 9 + -3 + -1 + -3. Solve -5*b - 3 = 2*p - 0, 2*b = -t for p.
1
Suppose 0 = -d - 2*d - f + 12, -3*f + 9 = 0. Suppose 64 = -d*m + 7*m. Solve 2*a - 3*b + m = 0, -b - 2 + 9 = -a for a.
-5
Let n(x) = -x**2 + 5*x + 5. Let j be n(5). Suppose c + j = 2*o, 2*o - c = -o + 8. Solve 4*i = -4*y - 7 - 5, o = 5*i - y for i.
0
Suppose -4*l = -0*l + 12. Let d be 1 + 4 + l + 23. Solve -3*w = 2*w - d, -c + 2 = w for c.
-3
Suppose 5*p + 2*w - 36 = 0, -2*p + w = -p - 3. Suppose 0 = -3*z + p*z. Suppose z*n - 8 = -4*n. Solve -v + 5*j + 21 = 0, -n*v - v + 11 = -2*j for v.
1
Suppose -2*g = -3*t - 0 + 4, 5*g = t - 10. Solve t*r = -4*q + 3*r - 23, -2*r = -10 for q.
-2
Suppose -3*s + 7 = -i - 6*s, i - 3*s + 13 = 0. Let o be 5/(i/6) + 6. Solve -2*x + o*m - 1 = 0, -2*x + 7*x - 10 = -5*m for x.
1
Suppose -x + 77 = 6*x. Solve z = 3*a - 18, -2*z - x = -2*a + a for z.
-3
Suppose 3*j - 15 = 0, -5*j + 2*j + 25 = 5*d. Suppose -3*b = -2*i - 13, -5*i + 13 = d*b - 2*i. Solve f + g + 3 = -1, -b*g - 30 = -5*f for f.
1
Let d(j) = -j**3 + 3*j**2 - 1. Let a be d(2). Solve 7*w + 22 = 2*w - 4*q, -1 = -4*w + a*q for w.
-2
Suppose -3*k = 12, -k = -z + 2*k + 28. Let r = z + -13. Solve -p + r*q = -8, -2*p + 6 = -p - q for p.
5
Let n be 4/22 + -6 + 216/22. Let j be (2 - 1) + 2 + -2. Solve 0 = i + 2*i + n*y - 18, -2*i = -y - j for i.
2
Let i = -4 + 6. Let y be 2 + (-1 - -3 - 2). Suppose -y*d = i*d - 12, 0 = -5*x + 4*d + 13. Solve 0 = -j - 3*r + 6, 0 = -j + x*j + 3*r + 3 for j.
-3
Let x(i) be the first derivative of i**3/3 + 3*i**2 + i - 1. Let a be x(-8). Suppose 5*p + 2 - a = 0. Solve -s = 2*s + 2*f + 5, 3*s - p*f + 15 = 0 for s.
-3
Suppose -2*v + 9 = i, 2*i + 2*i - 51 = -5*v. Solve 5*f - i = l, 2*l + f = 5*l + 15 for l.
-4
Suppose 10 = 2*m + 2. Suppose -32 = 2*y - m*y. Solve 5*l + 0*l + 4*o = y, -4*l + 19 = -3*o for l.
4
Suppose 0 = -2*m + 3*m - 3. Suppose -6*r = -m*r + 3*l + 9, 9 = -2*r - 3*l. Suppose 2*s + 0*s = r. Solve -b + i + 2 = 0, -9 = -4*b - s*b + 5*i for b.
1
Let k be (-6)/(1*(-2)/(-6)). Let s(r) = -r - 2. Let a be s(10). Let x = a - k. Solve -6 = -3*q, -6*t + 3*q - x = -t for t.
0
Let v = -37 + 20. Let g = v - -24. Solve -4*q - g + 3 = -4*w, 2*w - 5*q + 4 = 0 for w.
3
Let d(l) = -2*l - 11. Let i be d(-9). Let t(r) be the first derivative of 11*r**3/3 - r**2/2 - 2. Let p be t(-1). Solve i = -5*a - 5*v - 8, p = -4*v for a.
0
Suppose 0*q + 4*p = -q, -5*q + 3*p = 0. Suppose 5*z - 5*a = 0, 3*z + 0*z - 2*a - 2 = q. Solve -9 = -3*x - 3*n, -z*n - 8 = -4*x - 5*n for x.
-1
Let b be (-4)/(-6)*3 - 0. Suppose -b*i - 4*n = -44, -i + 4*n + 40 = 3*i. Suppose -2*q - 1 = -5. Solve 0 = -q*a + 5*u + 17, 2*a + 2 = 4*u + i for a.
-4
Let d(i) = i**3 + 5*i**2 - 14*i + 5. Let y be d(-7). Solve z + 8 = -2*b, -2*z + y = b + 3*z for b.
-5
Let x be 3 + -4 + 8 + -2. Let i(s) = s**3 - s**3 - 7 + s + 8*s**2 - s**3. Let p be i(8). Solve -o - p = -b - b, 3*o + 3 = x*b for b.
0
Let v be (-13)/(-5) - 50/(-125). Solve 8*u - v*u = -4*p - 20, -2*u + 2*p = -10 for u.
0
Suppose -4*k + 5 = -3. Solve -2*h - 16 = 2*l + 2*h, 3*h = -k*l - 12 for l.
0
Let r = -1 + -2. Let u = r - -3. Suppose 3*x = -x + 8. Solve w = v, v + x*w + w + 20 = u for v.
-5
Suppose -10*w = -13*w + 6. Solve 0 = -5*m + w*x + 14, -5*x - 16 = -m - 4 for m.
2
Suppose 0 = 4*c - 0*c. Suppose c = 3*i - 7*i - 20. Let f(m) = -7*m - 4. Let o be f(i). Solve 2*p - 7*p + o = 4*x, -4*x + 2*p = -10 for x.
4
Suppose -25*g = -29*g + 4. Solve w - 20 = -5*k, 3*k - 5*w - 13 = -g for k.
4
Let g = 32 - 9. Let s(t) = -t**2 - t + 1. Let h be s(-2). Let c be 3 + h - (1 + -1). Solve -m = 5*j + g, j + 2*m - 3 = -c*m for j.
-5
Let o = 7 + -2. Let j(t) = 59*t**3 - 1. Let k be j(1). Let u be k/5 - 15/25. Solve -u = -2*d + 5*w, -1 + 20 = o*d - 4*w for d.
3
Let s(a) = -a. Let j be s(-6). Suppose -g = 2*g - j. Solve 3*x = -q - g, -2*q - q - 6 = 5*x for q.
-2
Let o be (-65)/7 - 8/(-28). Let w = 15 + o. Solve -4*n = -4*x - w - 18, -5*x - 5*n - 10 = 0 for x.
-4
Suppose 3*s - 2*p - p = 15, 14 = 4*s - p. Solve 5*n = s*i - 23, 4*i + 5*n = -0*i - 16 for i.
1
Let l = 18 + -20. Suppose s = -6 + 2. Let m = l - s. Solve 0*v - m*z = v - 11, -z + 10 = 5*v for v.
1
Let w = -17 + 22. Suppose 0*c + w*c = 0. Solve p + 8 = 4*x - c, 4*p + 14 = -2*x for x.
1
Let y be ((-247)/(-78) - 3/2)*3. Solve -2*t - t = 0, y*t - 9 = -3*q for q.
3
Let c(w) = 1032*w**2 + 1. Let i be c(1). Let o = i + -577. Let q be 2/(-7) + o/28. Solve 0*y + q = y + 4*p, -5*y = 3*p - 12 for y.
0
Let u be -5*3*(-2)/6. Solve 4*f = -2*l - 8, u*l = 23 - 3 for f.
-4
Let a = -143 + 145. Solve -12 = -2*j - c, 5*c = -5*j + 33 + a for j.
5
Let g be (84/(-18))/7*18/(-4). Solve 5*k + 12 + 5 = -4*j, 0 = k + j + g for k.
-5
Suppose 1 = -2*b + f, -5*b + 2*f = -10*b + 20. Solve 2*z - 3*w + 3 = -11, b*z + 4*w = 0 for z.
-4
Let z be 2*1 + 75/5. Let q(y) = -y**2 - 10*y - 19. Let v be q(-6). Solve 5*x - 5 = 2*r - 7*r, -v*r = 2*x - z for x.
-4
Suppose u + 15 = 6*u. Solve -4*q + 7 = 3*j - 1, 5*q - u*j + 17 = 0 for q.
-1
Suppose d - 3*d = -4. Let w be (-1 + -1)*(11 + -5). Let c be (w/8)/((-2)/4). Solve -d*v = 5*h + 6 - c, h = -v for h.
-1
Suppose 12 = -f + 5*c - 2*c, -2*c = 2*f - 8. Suppose a - 110 = -5*g - a, -3*g - 2*a + 66 = f. Solve -5*w = -y + g, 0*w = 5*w + 2*y + 31 for w.
-5
Suppose 0 = -2*i + 8 - 2. Suppose 4 = p + i*p + 4*y, -5*y = 2*p - 5. Solve p*g - 19 = -2*g + 5*f, -3*f = -3*g + 6 for g.
-3
Let a = -13 - -18. Suppose 2*k + 9 + a = 2*u, -2*u + 2 = 2*k. Suppose u*c + c = 20, 2*c - 14 = -2*b. Solve -3*r - 1 = -r + b*g, -r - 3*g = 5 for r.
4
Suppose -5 = -2*n + 5*v - 28, -4*n = 4*v - 24. Let k be (-26 - -25)/((-6)/5 - -1). Solve c + 11 + n = 4*g, g - 22 = k*c for c.
-4
Suppose -4*q = 86 + 78. Let v = 60 + q. Solve 4*w + v = t, -5*w = 2 + 18 for t.
3
Suppose 2*f = 5*f - 3*p - 15, 2*f = -3*p + 10. Solve -4*v = -f*h - 5 + 20, -4*h = 2*v + 14 for h.
-1
Suppose 3*n - 5*o + 4 = 7, 0 = -3*n - 5*o + 3. Solve 4*t = -2*l + 2, -t + n = -2*l - 2 for l.
-1
Suppose o + 15 = 5*g, 4*o + 0*o - 15 = -5*g. Solve -2*j + 5*c = -g*j + 4, -4 = -j + 3*c for j.
4
Let h be 3/(-5)*(18 - 13). Let r = 8 + h. Suppose -6 = 3*i + 4*l - 29, -4*l + 8 = 0. Solve i*a + 7 = -y - 3, -2*a + r*y - 4 = 0 for a.
-2
Suppose 3*f = -4*l - 2*f + 12, -4*f = l - 3. Solve a + 16 = 4*p + 5*a, -l*a - 2 = -4*p for p.
2
Let z = 4 + -2. Suppose -2*x - 10 = -4*b, -2*x - b + 2*b = -5. Suppose 8 = -3*q + x*q. Solve q*k - 4*p = -p - 11, -5*p + 9 = -z*k for k.
-2
Let l be 0 - 4/(8/(-86)). Suppose 4*q - l = -5*v, 6 = q + 