4*x, 3*x + 5*k - 12 = s for x.
-1
Let n be (12 - 8) + -7 + -1 - -7. Solve 2*d = -2*o + 14 + 4, 2*o = n*d - 2 for o.
5
Let z be (1 - -4 - 784/140)*-10. Solve -2 = j, u + z*j - 4*j = 0 for u.
4
Let q = 101 + -98. Suppose 0 = 5*f + g - 18 - 20, 0 = -q*f - 3*g + 30. Solve -3*d - 3*s = 3, -9 = -5*d + 2*s + f for d.
2
Suppose 0 = p - 5*r - 16, -24 = -0*p + 3*p + 3*r. Let i = p - -16. Let s be i/(-15)*1*-5. Solve -4*j + 12 = -s, 2*j - 4 = -k for k.
-4
Let f(l) be the second derivative of l**3/3 - 3*l**2/2 - l. Let u = -120 - -123. Let p be f(u). Solve -4*d - 2 - 11 = -5*s, -p*s + 12 = -d for s.
5
Let j = 53 - 49. Suppose j*z - 7*z + 9 = 0. Suppose 5*b + 26 = 81. Solve 20 = 4*c + 4*x, -z*c - 3*x + b = -c for c.
4
Let a = 100 + -98. Suppose a*h + 0 - 8 = 0. Solve 5*q + h*c = 11, -5*q - 2*c = -2*q - 7 for q.
3
Let q be (-2 - (-9)/(-3) - 0)/(-1). Suppose q*z - 9*z = -12. Solve z*w = 5*w - 10, 10 = -5*b + w for b.
-1
Suppose 6*a - 13 = -2*r - 3, -4*a - 15 = -3*r. Solve 5*m + 2*g - 4 = -2*g, r*g = -4*m + 5 for m.
0
Let a = -74 - -123. Suppose -5*v + a = f, 0 = -v - 0*f + 2*f + 1. Solve -4*j - 4*n = -n - 13, 2*j - n - v = 0 for j.
4
Let u = -465 + 468. Solve -g + 2 = -4*i, -i + u*g = -3*i - 8 for i.
-1
Let n(m) = m + 7. Let l be n(-4). Suppose -9 = l*g + 5*f, 0*g = -2*g + 5*f + 19. Let u be -8*((-6)/(-4) + -2). Solve 2*x - 4 = 2*v, u*x + g*v = -5 - 11 for x.
-2
Let w = 2315 + -2295. Solve r = 3*d - 4, 0 = 7*r - 2*r - 2*d + w for r.
-4
Suppose 5*x - 2*b = 8, 0 = -5*x - 2*b - 7 + 19. Solve -2*a + 7 = -c, 2*a - x = -6*c + 2*c for c.
-1
Suppose 7*b = 21, 3*i + 3 = -9*b + 14*b. Solve 7*x = i*x, -2*x = r - 1 for r.
1
Let z = 31 + -17. Suppose 0 = 5*u - 2*t + 526, 4*u + 167 + 252 = t. Let s be u/(-32) - (-1)/(-4). Solve 3*i - 12 = 5*m, -4*i + 5*m - s = -z for i.
-1
Suppose -6*x + 203 = 197. Solve 3*n + 5*q = -9 - x, 2*n - 5*q - 10 = 0 for n.
0
Let r be 522/27 - 4/(-6). Let s = r - 9. Suppose -3*g - 2*g - f = -s, -3*f = -3*g + 21. Solve 4*v = g*j - 14, 0*j - 3*j - 31 = 5*v for v.
-5
Let j(n) = -n**3 + 13*n**2 - 18*n + 10. Let u be j(11). Let t = -52 + u. Solve k - t*g = 6 - 15, -3*k - 2*g = 11 for k.
-5
Let h be -4*(13/(-2) - -2). Let u be 102/(-24) + 4 + 26/8. Let k be (-13)/(-11) + 4/(-22). Solve u*r - 4*n - h = 5*r, 0 = r - 2*n + k for r.
-5
Let d = 2 - 0. Let f(n) be the second derivative of n**5/10 - n**4/4 + n**2/2 - 2*n + 40. Let w be f(d). Solve r - 7 = 4*h, -w*r - 4*h = h - 10 for r.
3
Suppose 0 = -0*h + h - 7. Suppose -26 = -34*x + 21*x. Solve -3*y - x*g + 4 = -h*y, g = 0 for y.
-1
Let p be (36 + 5)/(0 - 1). Let w = 41 + p. Solve 5*i = -3*z - 12, -z - i - 2 = -w*i for z.
1
Suppose y = -1 + 9. Let f = -4 + y. Suppose -f*u = -3*a + 52, 2*u - 3 = -5. Solve v + a = 3*s - 3*v, 5*s = -5*v - 20 for s.
0
Suppose 12*g = 11*g + 3. Let a be (0 - 0)/g + 6/2. Solve -4*b - b + 4*o + 20 = 0, a*b = 5*o + 25 for b.
0
Let p be (-6)/123 + (-20)/(-410). Solve p = -v - 2*y + 9, v - 2*v + 12 = 3*y for v.
3
Let o(a) = -a**2 - a + 2. Let k be o(2). Let u = -2 - k. Solve u*c + 3*c = 2*g - 11, 4*g + 3*c - 9 = 0 for g.
3
Let d(x) = x + 5. Let c be d(-3). Let z be c/(-2)*(14 + -16). Solve 0 = 3*o + 4*y + 15, z*y - 4 = o + 3*y for o.
-1
Suppose 48 = 24*w - 48. Solve w*m + 3*i = 2, -i = m + 4*i - 9 for m.
-1
Let g(j) = 2*j**2 - 11*j**2 + 12*j**2. Let s be g(-1). Solve -3*w - 5*r + 7 = -s*r, 5*r = -2*w + 1 for w.
3
Let k(v) = -v + 20. Let r be k(17). Solve -2 = 5*o + 3*m + 27, r = -m for o.
-4
Suppose 2*a = 5*m + a - 9, 5*m + a - 11 = 0. Suppose -3*q + 57 = -4*b, -222*q + 219*q + 57 = 3*b. Solve -3*g = s + m*g + q, 16 = 4*s - 3*g for s.
1
Suppose 43*h - 20 = 39*h. Suppose 4*l - 5*z - 34 = 2*l, -z + 112 = 5*l. Solve -h*s = -i - l, 2*i + i - 14 = -s for i.
3
Let g(l) = 61*l**2 + l - 1. Let b be g(1). Let i = 65 - b. Solve 0 = -4*a + i*f - 8, 4*a + 13 = -f - 0*f for a.
-3
Let u be (88 + -3 + 2)*1. Let a be (2/6)/((-1)/u). Let i = a + 33. Solve -i*f = f - d + 2, -d = f - 2 for f.
0
Suppose -20 + 59 = -13*h. Let i be (h/(-2) + -1)*100/10. Solve t = -2*q - 1, 5*t - 2*t = -2*q + i for t.
3
Let p(q) = -q**2 - 5*q + 10. Let w be p(-8). Let u = w - -13. Let a be u/((-9)/(-6))*-3. Solve r = 3*j + 4 - 5, 4*j = a*r for r.
2
Let t be (-198)/(-44)*32/18*3. Solve -b - 1 = -4*y + 2*b, t = y + 4*b for y.
4
Let d(h) = -1 - 53 + 3*h + 8*h - 8*h. Let i be d(20). Solve i*y - 3*y + 2*c + 1 = 0, 0 = y + 4*c + 7 for y.
1
Let k be (-34)/(-9) - 42/(-189). Solve 0 = -2*r - 2*j + k, 5*r + 17 + 18 = 4*j for r.
-3
Let m(d) = 22*d. Let v be m(-2). Let p be 8/v - 210/(-66). Solve -2*t - 3*a - 3 = 0, 2*t = 2*a - 1 + p for t.
0
Suppose 3*o - 6 = -w - 2, 20 = 5*w + 5*o. Let b = -4 - -9. Suppose 4*p + b = 5*p. Solve 5*l + z + w*z - p = 0, -1 = -l + 4*z for l.
1
Let a = -28 - -31. Solve 0*h = a*u - 2*h + 3, -u - 2*h + 7 = 0 for u.
1
Let o = 27 + -19. Let k be 12/o + 5/(-2). Let m be ((-4)/12)/(k/6). Solve -2*w = j + m*w + 24, -4*j + 4*w = -4 for j.
-4
Suppose -b + 4*b = 5*p - 7, -4*b - 2 = -3*p. Solve -3*u + 2*w - 2 = 0, w - 1 = -u - p*u for u.
0
Let q = 20 + -17. Suppose -2*d = q*d + 35. Let y(c) = c**3 + 9*c**2 + 13*c - 7. Let h be y(d). Solve -5*n + 45 = -5*v, -v + h*v + 1 = n for n.
5
Let u be (-7)/42 - 6/(-72)*38. Solve f + 1 = -5*w, 11 = -u*w + 5*f - 12 for w.
-1
Let k = 8 - 7. Let v = 4 + k. Suppose -3*n + u + 5 = -3, 2 = 4*n + 3*u. Solve v*i - 1 = 3*z, 4*i = -n*z - 2*z + 20 for i.
2
Let v(t) = -t**3 + t + 2. Let d be -1*((-1)/(-4) + 7/(-28)). Let o be v(d). Solve 0*r + r = 3*c + 18, -10 = o*c for r.
3
Let t(h) = 2*h + 28. Let a be (12 - 4/(-4))/(-1). Let k be t(a). Solve k = -3*n - 4*m, 0*n + m + 7 = -4*n for n.
-2
Let o be -21 - (-3 - -2 - -4). Let a be (1/(9/o))/(6/(-9)). Solve -2*v = -3*b + 3, 6*v - a*b = 3*v - 4 for v.
0
Suppose 21*z = 22*z - 2. Solve 0 = z*b + 2*f - 10, 3*b + f - 4*f = -9 for b.
1
Let o(i) = i + 1. Let v(u) = -4*u - 11. Let a(w) = 3*o(w) + v(w). Let y be a(-5). Let x be 1*(-1 - y) + 0. Solve -2*k = -3*r - 0*r + 1, -x*k + 4*r = 0 for k.
-2
Suppose -110*z = -113*z + 9. Solve -n + z*s - 5*s = 1, -n = 4*s + 5 for n.
3
Let a be -2 + 3*(-12)/(-9). Let j be (1/(-1)*7)/(504/(-216)). Solve 0 = -g + a*g - 3*k - 5, -5*g + 13 = -j*k for g.
2
Suppose -134*g + 110 = -124*g. Solve -g = -2*f - 3*n - 2*n, -4 = -f - n for f.
3
Suppose -f - 3*x = 3, -4*x - 1 - 3 = 3*f. Suppose 0 = 3*m - 8*m. Suppose m*v = 3*v - 9. Solve f = -5*b - 4*i + v, -3*b + 6*b + 2*i = 1 for b.
-1
Let t = -17 + -3. Let z be (50/t)/((-2)/4). Let l(q) = -q**3 - 2*q**2 + q - 2. Let r be l(-3). Solve -r*g + 5*m + 20 = -z*g, -5*g = -m - 4 for g.
0
Let v(u) = u**3 - 3*u**2 - 3*u - 1. Let s be v(4). Let c = 3 + -2. Let z be c/((-1)/2) - -5. Solve 8 = -z*l - w, -s*l - 36 = l - 5*w for l.
-4
Let s(f) = 3*f**2 + 12*f - 12. Let q be s(-5). Solve -5*c = q*n - 1, -8*c + 9 = 3*n - 11*c for n.
2
Let s be ((-1)/3)/((-2)/(-6)). Let x(b) = 9*b**2 + b - 1. Let j be x(s). Solve -3*l = 5*p - 25, j*l - 5 = -p + 2*l for p.
5
Let p = -153 - -155. Solve 4*h - 18 = 2*z, 5*z + p*h = 22 - 7 for z.
1
Suppose 3*f - 13 = x, -230*f - 3*x = -227*f - 9. Solve 4*z = -3*w - 2 + 25, 0 = -w - f*z + 21 for w.
1
Suppose 2*v = -25 - 19. Let b = v + 26. Solve 2*j + 4*r = -3*j, 5*r + 41 = b*j for j.
4
Suppose -5*c = -17*c + 60. Suppose v + 1 = -2*f, v + 0*v = -5*f + c. Solve -f*l + 4*t = 2, -5*l - 2*t = 4 + 25 for l.
-5
Let d be (-68)/(-10) - (-6 - (-464)/80). Solve -5*y + 4*w = -8, 4*w - 17 = -3*y + d for y.
4
Suppose 2*y - 5 = 1. Solve y*o = 4*d + 9, 4*o + 12 = 5*d + 8*o for d.
0
Let a(k) = -2*k**3 + 2*k**2 + k. Let m be (-2)/(-2) - (5 - 6). Suppose -m*g - g - 3 = 0. Let x be a(g). Solve 2*r + 12 = -t - 3*r, -2*t + 2 = -x*r for t.
-2
Let b(u) = 3*u**3 + 4. Let h be b(2). Suppose -12*m = 2*m - h. Solve -4*f = 0, -5*w + m*f + 11 - 1 = 0 for w.
2
Let f(m) = m**3 - 8*m**2 - m + 13. Let c be f(8). Solve -3*z + 30 = c*a + 7, a + 5*z = 9 for a.
4
Suppose -3*d = -5 + 2. Let l(m) = -m**2 + 15*m - 17. Let k be l(13). Solve -6*a + a + k = p, -2*a + d = 3*p for a.
2
Let r be (-12 + -1)*(-3)/3. Let b(i) = -i**3 + 21*i**2 - 22*i + 42. Let c be b(20). Solve 3*g + 3*x = c*g - r, -4*x - 28 = -4*g for g.
2
Suppose 0 = 3238*a - 3241*a + 6. Suppose -3*i - 10 = -8*i. Solve i*o - 4 = -2*o + c, -a*c = 4*o - 4 for o.
1
Let r = 135 + -133. Suppose r*y + 26 = 4*w, 4*w - 5*y - 24 - 17 = 0. Solve 4*g -