s.
2
Suppose -9*n + 5*n = -20. Solve 4*l = -3*y - 1 - 14, -y - n = -2*l for l.
0
Let q be 9*-1*(2 + -3). Solve 2*w + 0*g = -g - q, 0 = 4*w - 4*g for w.
-3
Suppose 0 = 2*i - 0*i - 6. Suppose 0 = -2*w + 4*p + 18, 6*p - 3*p = -i*w + 54. Solve 5*k + w + 10 = 4*d, -d - 5 = k for k.
-5
Suppose 2*t - 8 = -2*t. Let v be 1 - -1 - t - -24. Let g = -4 + v. Solve -4*k + g = -5*m, -6 = k + 4*m + 10 for k.
0
Let z be -3 + 3 + 2 - 2. Solve -h - 2*m + 1 = 0, z = -4*h + 2*m + 11 + 3 for h.
3
Let k(x) = -x**3 + 16*x**2 + 37*x - 16. Let u be k(18). Solve 2*i = u*r - 3 + 5, 5*i = -2*r - 30 for i.
-4
Let u(r) = -r + 7. Let v be u(-5). Solve -2*o + y + 3 = -4, 3*o - 3*y - v = 0 for o.
3
Let w be ((-6)/4)/((-3)/(-4)). Let d be 1 + (7 - -2) + w. Solve 0 = k + 2*l + d, 2*l - 2 = -2*k + 6*k for k.
-2
Suppose -5*l + 0*l = -f + 28, -2*l = 3*f - 84. Let x = 54 - f. Solve -4*o - 3*m = x, -1 = 2*o - 2*m + 5 for o.
-5
Let q = 15 + -10. Let f be 24/10 - (-3)/q. Solve o - f*n = -7, o - 5*o = -5*n + 7 for o.
2
Let f(s) = 2*s**2. Let a be ((-15)/(-6))/(-5)*0. Let k be 2 + (-1 - a)*1. Let m be f(k). Solve -3*c - m*c + 25 = 0, 0 = 2*p - 2*c + 10 for p.
0
Let p be 3/(14/4 + -2). Let n(a) = a + 4*a + a**p + a + 1. Let y be n(-6). Solve 4*t + 1 = q, y = -q - 2 for t.
-1
Let p = -5 - -9. Suppose -p*v = -9*v - 20. Let c = v + 19. Solve -2 = -r, -c = -4*a + r - 1 for a.
4
Suppose 33 = 4*v - 5*y, -2*v + y + 24 = -3*y. Solve 0 = -f + 4*b, 3*f + 0*b = -v*b for f.
0
Let c(k) = -k + 12. Let o be c(7). Solve 3*h + 3*z + 24 = 0, 3*h - o*z - 4 = 4 for h.
-4
Let r be (3 - (-2 + 3))*4. Let i be 16/3 - 2/6. Solve 0 = -4*d - r, i*d + 19 = -f + 4*f for f.
3
Suppose 4*d = 3*c, 0*d = -2*d + 6. Solve q - 4*j - 14 = 0, -4 = -0*q + c*q + 4*j for q.
2
Let x be 3 + -6 + 10 + -2. Solve 4*f - 1 = a, x*f = -0*a + a for a.
-5
Suppose 17 = 5*j + 3*l - 2*l, -3*j - 3 = 5*l. Solve j*o + 4 = -v, -13 - 13 = -5*v + 3*o for v.
4
Let u(y) = -9*y + 36. Let j be u(4). Solve i + 5*p - 28 = 0, 5*i + p - 2*p - 10 = j for i.
3
Let x be (-21)/(-14)*4/(-6). Let c be 2 - (-4 + 3) - x. Suppose 0*n + c = 4*n. Solve -4*q - n = 5*s, s - 3*q - 15 = -0*s for s.
3
Suppose -4*q = -8*m + 3*m, -2*q + 22 = 3*m. Solve -2*v + 4 = 3*j, -v = 3*v - q*j + 14 for v.
-1
Let y(c) be the second derivative of 2*c**5/5 + c**3/6 - c**2 + 8*c. Let m be y(1). Solve 0 = -4*i + 3*f + m + 16, 4*f - 11 = -3*i for i.
5
Suppose -35 = -3*t - 8. Solve -j = 4*o + 7, -4*j + 2*o - t = -o for j.
-3
Let l be (-3)/(1 - 0)*-1. Let x(m) = 2*m - 12. Let a be x(8). Let h be (-1)/(-4) - 1/a. Solve 4*d + 3*b + 8 - l = h, 0 = -4*b + 4 for d.
-2
Let m = 11 + -5. Let g be m/(1 + -3) + 18. Solve g = -w + 3*i, 0*w - 2*w + i = 10 for w.
-3
Let q be (10 - 1)/(-3) - -19. Suppose 5*s - s = q. Suppose z = 3*w - 14, 0 = s*w - z - 0 - 18. Solve 2*v + 18 = w*r - 0, 2*v + 12 = r for r.
2
Let s = -18 - -34. Solve 4*q - 2*t = -3*t + s, -4*q + 5*t = 8 for q.
3
Suppose 4*z = 8*z - 16. Solve 1 = 3*u - 4*o + 12, z*u = 5*o - 14 for u.
-1
Let o(n) = -n**3 - 12*n**2 - 11*n + 3. Suppose 2*q = -5*a - 42, 0*q - 5*a + 24 = -4*q. Let l be o(q). Solve 4*k + 2*b + 8 = 0, 8*b - 8 = -3*k + l*b for k.
-4
Suppose -3 + 5 = t. Let a be (2 + 0)/(12/24). Solve 0 = -w + a*h + 10, -t*w + 6 = 2*h - 3*h for w.
2
Let x = -51 + 105. Suppose 0*c = 3*c - x. Let j = 6 - 4. Solve c = -2*f + 3*l, l - 2 = 2*f + j*l for f.
-3
Suppose 5*n = 1 + 9. Solve -20 = n*r + 3*r, 5*a + 2 = -3*r for a.
2
Suppose 8*c + 87 = -33. Let l(g) = 5*g - 1. Let p be l(1). Let y be c/10 + 70/p. Solve -2*d = -4*m + y, 0 = -6*m + m + 3*d + 21 for m.
3
Let m(d) = -d. Let j be m(-5). Suppose j*g - 4*b = 5, 0 = 3*b - b. Suppose -2*l + 3 = -g. Solve 2*o + 4*v = 6 + l, -4*o - 4*v + 4 = 0 for o.
-2
Let a = -5 - -14. Solve -3*s + 0*u - a = -2*u, s - 4 = 3*u for s.
-5
Let y = 85 - 82. Solve 2*c - 5*p + 25 = 0, 2*c - 3*p + 15 = -y*c for c.
0
Suppose -c - 3*c = -4*r + 12, -r = 4*c - 13. Solve 0*n = t + c*n + 5, 4*n + 28 = 4*t for t.
3
Let a(l) = l**3 + 5*l**2 - 8*l - 9. Let z be a(-6). Suppose z*v - 140 = -2*v. Suppose 4*r = -0*r + v. Solve 4*s = 4*p - 28, -3*s + p - r = 6 for s.
-3
Let r be 25/10 + (-2)/(-4). Solve -2*u + l + 8 = r*l, 0 = 2*u - l - 11 for u.
5
Suppose 2*s + 0*s = 4, 4 = y + 2*s. Suppose y = -v - v + 18. Solve k = -2*q - 0 + v, 0 = k + q - 6 for k.
3
Let k = -23 - -28. Suppose -2*n = -l - k, -4*n + 9 = -l - 2*l. Solve 5 = o - 0*o - 2*b, 0 = n*o - 2*b - 3 for o.
-1
Let v be (-4 - -3)/((-2)/18). Let l be 142/v + (-2)/(-9). Suppose -2*k + 14 = k + 4*i, 5*k - l = -3*i. Solve -4*m - k*x = -2*m + 14, x + 27 = -5*m for m.
-5
Suppose 3*h - 38 = v, v + 3 + 2 = 0. Suppose -7*r + h*r - 8 = 0. Solve m = 3*m + w, r*w = 2*m - 6 for m.
1
Suppose -2*s = -3*s + 3. Suppose -4*h + 5*g + 8 = 0, g + 0*g = -3*h + 6. Solve -4*y - h*o + 2 = 0, -3*y - 1 = -s*o + 2 for y.
0
Let f(a) = -a**2 + 13*a - 25. Let n be f(7). Solve 0 = -5*l - 4*y + 11, -3*l = 2*l - 3*y + n for l.
-1
Suppose -265 = -5*s - 65. Let u(k) = -k**2 + 5*k. Let o be u(4). Suppose o*t - 13 = 7. Solve t*x - 16 = 3*i, s = 5*i - 0*i + 5*x for i.
3
Let b = -24 + 34. Solve -5*p - b = -4*s, 2*s - p - 7 = 1 for s.
5
Let d be (2/((-4)/22))/1. Let w(v) = v**3 + 11*v**2 - v - 9. Let z be w(d). Solve -x + 5*g - z*g = 11, -4*g = 4*x - 4 for x.
-2
Let n(t) = t**2 + 3*t - 14. Let v be n(-6). Solve -v*f + 6 = 2*l, 2*f = -4*l - 4 - 2 for f.
3
Let i be 1*0/(0 + 3). Let y = i + 41. Solve 3 = 2*m + b, -y = -2*m - 2*m + 5*b for m.
4
Let t be ((-6)/3)/(4/10). Let i = 8 + t. Solve 0*d + 2 = -d - 3*p, -i = 3*p for d.
1
Suppose -3*s + 5*s - 8 = 0. Solve 0 = 5*f + 4*r - 17, -s*f + 2*f + r = -12 for f.
5
Let u = 0 - -3. Let v = u - 0. Suppose 5 = v*n - 7. Solve -5*a + 4*l + 24 = 0, -n*a + 18 - 4 = 2*l for a.
4
Suppose 2*w - 6*w - 28 = 0. Let h = 8 + w. Let b = h - -1. Solve 0*m + 21 = -4*m - i, 10 = -5*m + b*i for m.
-4
Let z(l) = -l + 11. Let t be z(8). Suppose -2*o + t*r = 7 - 17, -5 = -o + 4*r. Solve -2*w + 4 = -3*g + 3, -20 = o*w for g.
-3
Let u be 15*(-3 + (-148)/(-20)). Let j = -44 + u. Solve 3*c + j = 5*s - 18, -3*c + s - 20 = 0 for c.
-5
Let t(z) = 5*z - 6*z + 0 + 1 + 7. Let a(h) = h**2 + h + 8. Let v be a(0). Let b be t(v). Solve 4*p + s = 8, -2*p + b*s = s - 2 for p.
3
Let w = 2 + 2. Let y = -1 + w. Suppose -y*g - 2*d = -65, -2*g + 50 = 3*d - 0*d. Solve -2*a = -0*a + 10, -3*b - 2*a = g for b.
-3
Suppose 6 = -c + 3*c, 2*v + 4*c - 12 = 0. Solve -3*z + 4*p + 19 = v, 4*z - p - 24 = 3*p for z.
5
Let o(l) = -l**2 - 7*l - 3. Let d be o(-7). Let g be (-10)/(-2) + d/3. Suppose g*u = -p + 3*u + 4, 0 = 5*p + 3*u - 12. Solve -5*a = 3*n - n + 6, 2*a = p for n.
-3
Let l(u) = u**2 + 6*u - 39. Let h be l(-10). Solve j + 2*j = -n - h, 4*j - 4 = 4*n for n.
-1
Let a be 1/(3 - 1)*-20. Suppose -2*k + 30 = -0*k. Let n be 32/6 - a/k. Solve -4*h = 4*u + 12, -n*u + 5*h = -u + 35 for u.
-5
Suppose -4*w + 20 = w. Let m be (4 + (-4)/(-2))/2. Solve -u = x - 7, u - m*u - 4 = -w*x for x.
3
Let w be (-8)/(-2) - (2 + 0). Suppose -2*x = 2*y - 0*y - 6, -3*x - w*y = -6. Solve 0 = 5*f - x*f, -4*b + 4*f = -12 for b.
3
Let d(i) = i**2 + 8*i + 22. Let o be d(-4). Solve -x = -a + 2 + 1, 0 = -2*x - a - o for x.
-3
Suppose 0 = 5*b - 10 - 10. Solve b*p + v = -21, 2*v = 5*p + 6*v + 29 for p.
-5
Suppose 2*n - 2 - 4 = 0. Suppose 0 = -8*g + n*g + 30. Solve p - g*o + 3*o = 3, -5*p + o + 1 = 0 for p.
0
Suppose -3*c - 1 = -4*g - 2, -2*g = -4*c + 8. Suppose -l - 2*l - 6 = -g*x, -4*x = -3*l - 12. Solve 12 = -3*j + x*s + 2*s, -4*s = 3*j - 15 for j.
1
Suppose -25 = 5*t, 4*q - 3*t = -t + 66. Suppose 2*s = -4*n + q, 3*n - 3*s - 45 = -2*n. Solve n*z + 3*f = z - 5, -3*f = -3*z + 21 for z.
2
Let g be (-9)/(-4) + (-2)/8. Suppose -2*f - 3 = -1. Let o be (f/2)/((-1)/10). Solve 0 = -5*s - g*m + 18, 4*s - 13 = 2*s + o*m for s.
4
Let j = 1 - -4. Let s = -3 - -4. Let u be (1/s)/(6/36). Solve -3*y + j*o - 12 = 0, -2*y - 2 = -5*o + u for y.
-4
Suppose 0*p = -2*t + 2*p - 16, -25 = 5*t - 2*p. Let o be 1/t - 48/(-9). Solve l = -2*l + 2*w, 4*l + 7 = o*w for l.
2
Let l(h) = h**2 - h - 4. Let t be l(3). Let b = 24 - 20. Solve -t*y - 2 = -3*p, -b*y - 16 = 3*p + 6 for y.
-4
Let o = -28 - -49. Let f = 5 + -3. Suppose -5*x + 27 = -f*x. Solve -3*m - 5*g + o = 0, -2*m + 4 = -3*g + x for m.
2
Let x be (13/(-65))/((-1)/5). Solve -2*p - 2*b - x = 1, -2*b - 14 = -p for p.
4
Let f(d) = 3*d - 5. 