 1 for s.
2
Let s(f) = -8*f - 10. Let c be s(-5). Let m be 0/(-1) + 0 + 5. Solve -5*i + 29 = -4*r, -c = r + 4*r - m*i for r.
-1
Suppose -y = x - 5, -2*y - 5*x + 7 = -6. Let o = -2 + y. Let r(c) = c - 4. Let w be r(7). Solve z = n + o*z - w, 3*z = -n + 3 for n.
3
Let w = 24 + -17. Let s(n) = n + 7. Let v be s(-4). Solve -2*p + v*u = 15, 3*u - 5 - w = p for p.
-3
Let x = -4 + 6. Let v be 2 + 0 + x + 1. Let y be (-2)/2 + 5 - -1. Solve -k + g - y = -0*g, -20 = -v*k - 4*g for k.
0
Let a be 4 + -1 + 0/2. Solve -a*r = 4*u - 0*u - 26, -4*r + 5*u - 17 = 0 for r.
2
Suppose -3*t + m + 196 = 2*t, 52 = t + 3*m. Suppose 19*r = 17*r + t. Solve 2*v - 10 = -5*y, 0 = -3*v + 7*v + r for y.
4
Let t be (-3)/(-6)*10*-1. Let s = -3 - t. Let a be 11 + (6/(-1))/3. Solve s*d + 1 = 5*o - a, -20 = 4*d - 4*o for d.
-5
Suppose 4 + 15 = -l - 4*n, 29 = 4*l - 5*n. Solve -4 = -i - l, 3 = 3*y - 3*i for y.
4
Let f(x) = -3*x + 2. Let k be f(-1). Solve 0 = h - 2*h - 3*r + 5, -5 = -h + k*r for h.
5
Suppose 2*j + 4*b = -4, -3*j - 3*b - 3 = -6*j. Solve 2*h + 3*i = 16, h + 3 + j = 4*i for h.
5
Let q(n) = -n**3 - 13*n**2 + 12*n - 12. Let m be q(-14). Suppose m = 3*k + 4. Solve -w = 3*d + 8, -5*w + 10 = k*d + 39 for d.
-1
Let o = 66 - 63. Solve -11 = 5*d - o*g, -3*d = -g + 5 + 4 for d.
-4
Suppose 0*j = 3*j + 24. Let h(d) = d - 2. Let t be h(j). Let s be 14/5 + (-2)/t. Solve 8 = -4*n + 2*x, -4*x + s*x + 1 = -n for n.
-3
Let h be (2 - -1) + 9 + -12. Let d(z) be the second derivative of -z**3/6 + 5*z**2/2 - 2*z. Let l be d(h). Solve 3*r + 2*r = -x - 12, -24 = 3*r - l*x for r.
-3
Let l(f) = f**3 + 7*f**2 + 5*f - 6. Let h be l(-6). Suppose 0*r - 5*r - 15 = -4*j, h = 5*r + 15. Solve j = -3*u - 3*v + 6, -5*v - 2 = 5*u - 3*v for u.
-2
Let x = 50 - 30. Suppose 0 = 5*p - 40 - x. Solve 3*z + 4*k + p = 0, 4*z - 3*k - k = -16 for z.
-4
Let f(s) = -s + 1. Let q be f(-4). Let c(h) = 2 - q + 2 - h. Let a be c(-6). Solve 4*l + 5*i + a = -18, -19 = 2*l + 5*i for l.
-2
Let y = -16 + 13. Let u(b) = 2*b**2 + 4*b - 3. Let m be u(y). Solve 5*h = -m*k + 5, -k + 2*h + 7 = 5*h for k.
-5
Let q be 11/3 - 4/6. Let y = -8 + 3. Let l be ((-4)/y)/(2/5). Solve 0*j = -q*j - 4*k - 12, -j + l*k = -6 for j.
0
Suppose 2*x = 11 - 5. Solve -2*w - 12 = -7*a + x*a, 0 = -5*a + 4*w + 21 for a.
1
Suppose -2*z - z + 2*a - 1 = 0, -4*z + a - 3 = 0. Let y(u) = u**3. Let v be y(z). Let m = v + 4. Solve -3*j + 4*n = 6*n - 4, 3*n - 6 = -m*j for j.
0
Suppose h + 36 = 4*h. Solve 2*t = 2*o - h, 3*o + 3*t + 12 = 4*o for o.
3
Let s(d) = 3*d**2 - 26*d + 19. Let c be s(8). Solve 0 = -5*h + c*q + 20, -6*q - 27 = -2*h - q for h.
1
Suppose -w - 10 = -3*a + 20, 55 = -3*w + 2*a. Let d = w + 25. Let p = d + -8. Solve -t - p*k = -k - 3, -t = 4*k - 18 for t.
-2
Let r(c) = -c - 12. Let t be r(-9). Let o = t + 5. Solve -o*b - 2*b - 4 = 0, -5*b = -5*p - 5 for p.
-2
Let v = 18 - 14. Solve -2 = n, n + 2 = -2*u + v*n for u.
-4
Let a be -1 + (-8)/(-4) + 2. Solve 0 = -j - c - a, -2*c + 5*c = -2*j - 8 for j.
-1
Suppose 0 = i + 3*s - 50, -5*s + 253 = 4*i + 81. Let a = i - 26. Let n be 231/a - (-1)/(-4). Solve -3 = -v - m + 2, -3*m + n = 5*v for v.
2
Suppose 5*z - 14 = 3*q - 4*q, -3*q + z = -10. Solve v + 4*g - 11 = 8, -q*g + 31 = 5*v for v.
3
Let s = 6 - 6. Let c(r) = 0*r + 5 + r - 2*r + r**2 + r**3. Let m be c(s). Solve m*b = -5*l - 20, 12 = -4*l - 0 for b.
-1
Suppose 12 = -f + 3*v, -2*v + 9 = v. Let i be (-3)/9 + (-13)/f. Suppose 6*m - 4*m - 4 = 0. Solve -g - 16 = -4*d - 2*g, i*g + 6 = -m*d for d.
5
Suppose 6*y - 16 = 2*y. Suppose -2*w = -5*a + 17, 0 = 2*a + 2*a + y*w - 8. Solve 0 = o + z - a + 5, -12 = 4*z for o.
1
Let b = 14 - 9. Solve 4*t - 4*z = 5*t - 6, b*t + 2*z = -6 for t.
-2
Let h(n) = 2*n**3 - 4*n**2 + 3*n - 2. Let j be h(2). Suppose -i + j = 1. Solve 26 = -5*t - 4*w, 2*w = -i*w - 20 for t.
-2
Suppose -4 = -2*f - 0. Suppose 0 = -3*o - u, 2*o + u = -2*u. Suppose o = -2*x + x. Solve f*v + 7 = a + 2*a, x = -3*a - 3 for v.
-5
Suppose 4 = -4*n + 4*o + 16, 3*n - 4*o = 4. Suppose -2*y - 3*i + 26 = 3*y, 2*i + n = 3*y. Suppose y*l - 25 = -l. Solve 4*f + 1 - 16 = s, -l*f + 6 = 3*s for s.
-3
Let g(n) = n**2. Let q be g(-1). Let j = -236 + 259. Solve -5*k - x = -0*x - j, -k + x + q = 0 for k.
4
Let o(w) = w**2 + w - 3. Let d = 4 + -7. Let k be o(d). Solve -v = -k*j - 8, -v + 2*v - j = 0 for v.
-4
Let s(v) = -v**2 + 4*v - 2. Let q be s(3). Let o(j) = 3*j**2. Suppose -2 = -0*n - 2*n. Let g be o(n). Solve 2*k + 2*r + q = g*r, 0 = -4*k + 5*r + 13 for k.
-3
Let b(l) = -l**2 - 14*l - 19. Let z be b(-12). Solve -3*p = -7*p - g - 5, 2*g = -z*p - 10 for p.
0
Let l(g) be the first derivative of 29*g**3/3 + g**2/2 + g - 1. Let k(d) = 3*d - 1. Let r be k(0). Let s be l(r). Solve -z = 2*z + 4*y - s, y - 8 = -z for z.
3
Let z(g) be the first derivative of g**3/3 + 9*g**2/2 + 10*g + 2. Let r be z(-8). Suppose 4*p = r*p + 8. Solve -2*f - 20 = 3*k - k, 0 = -5*f + p*k - 5 for f.
-5
Let s = -33 - -57. Solve 4*m + f + 6 = s, -m - 2*f + 8 = 0 for m.
4
Let b(s) = 42*s. Let y be b(-4). Let u be y/(-40) + (-2)/10. Suppose 0 = -c + 2 + 2. Solve 16 = i + 5*p, u*i + c*p - 3*p - 7 = 0 for i.
1
Let p(t) = 3*t - 17. Let o be p(13). Let f = o + -17. Solve -u + f = -3*g - 6, 4*g + u = -10 for g.
-3
Let m = -6 + 7. Let u be 1 + 9 + (m - 0). Suppose 0 = 5*h + 3*l - 20, -3*h + 4*l + 1 + u = 0. Solve k + 0*k + 5 = h*n, 4*k + 5*n = -20 for k.
-5
Let n(v) = -v**2 - 13*v - 4. Let b be n(-11). Let u = -11 + 4. Let d = u + b. Solve -4*p = 3*k - d, 4*k = 3*p - 15 - 12 for p.
5
Suppose -3*u - 2*u = -20. Suppose q - 2*s = 3, u*q - 2*s - 12 = s. Solve z - 5*k - 11 = -q*k, 5*z - 5*k - 40 = 0 for z.
5
Let c(y) = y**2 - 3*y + 2. Let t be c(6). Suppose -3*k - 22 = -4*m + 13, -3*m + k + t = 0. Solve 3*b = u, 0*u - 5*u - 20 = m*b for b.
-1
Let r(j) = 4*j + 26. Let d be r(-6). Solve 0*b = -b - 3*h - 7, d*b + 4*h + 10 = 0 for b.
-1
Let m(i) = i**3 + 7*i**2 - i - 42. Let h be m(-6). Solve h = -f + 2*k + 7, f + 4*k + 18 = k for f.
-3
Let g(p) = 2*p**2 + 2*p - 2. Suppose 0 = 3*w - 0*w + 4*b + 14, -b = -3*w - 4. Let x be g(w). Solve -o - 4*t = t - 6, -x*o + 4*t = 16 for o.
-4
Suppose 5*p = -k + 24, -4*p - k = -5*p. Suppose 0 = r + 2 - 3, -4*x + 4*r + 4 = 0. Solve 2*s = -x*n, 3*s + 0*n + p*n = -1 for s.
1
Let j be 2/(-8) + (-147)/(-28). Solve -4*t + 4*d + 30 = 2, t - j*d = 15 for t.
5
Let w(z) = 4*z**2. Let u be w(-1). Let r = -25 - -30. Solve 2*q = i - 2*i + 8, -r*i + 10 = u*q for q.
5
Suppose -6 = 3*f, 4*m - 90 = -m - 5*f. Let n = m - 17. Solve 4*a + 31 = -4*l + 9*a, 0 = -n*l - 3*a - 3 for l.
-4
Let l = 30 + -26. Solve 4*k - 9 = -a - l*a, -k + 11 = 3*a for k.
-4
Suppose -i - 2 = -7. Solve 3*c + 0*c = -i*m + 8, 2*c = 2*m for m.
1
Let p(i) = i**3 - 2*i**2 + 2*i - 1. Let v be p(2). Suppose -4*b = 5 - 25. Solve -3*m + 18 = -v*x, x + 2 = b*m - 12 for x.
-4
Let r(k) = 2*k. Let a be r(2). Solve 27 = 3*g + 4*x - x, -5*g = -a*x for g.
4
Let u(l) = l**3 - l**2 - l. Let q be u(2). Solve -q*n - 20 = n + x, -x = 2*n + 15 for n.
-5
Let x(b) = 2 + b + 7 + 7. Let k be x(-9). Solve c + k = r - 2*r, -1 = 3*c - 2*r for c.
-3
Let m(s) = s**2 + 7*s + 12. Let f be m(-5). Solve 0*l + 3*l + 32 = 5*h, f*h = -5*l - 12 for l.
-4
Suppose 0 = -l + 6*l - 10. Suppose -5*y + 5*i = l*i - 10, -4*y = i - 8. Let b = 33 + -18. Solve b = -3*j, y*j = 3*m + j - 14 for m.
3
Let g = -15 - -20. Solve d = -4*r - d - 14, -g*d = 5 for r.
-3
Let o = -63 + 66. Solve o*t + 5*f + 17 = -t, t + 2*f + 5 = 0 for t.
-3
Suppose d + 2 = -0. Let z be (3/(-6))/(d/20). Solve 0 = -3*b - z*u + 9, -u = 4*b - 6*u + 23 for b.
-2
Let d = 0 - -2. Suppose -f = d*f - 6. Suppose 7*q = 12*q - 15. Solve q*r = f*r - z + 5, 5*r + 2*z - 13 = 0 for r.
1
Let h(r) = -r**3 + 5*r**2 - 4*r + 2. Let a be h(2). Let b = a + -6. Solve -4*d + f - 11 = b, -5*d + f - 5 = 9 for d.
-3
Suppose v = 4*v - 72. Suppose -2*i = h - 35, i - 15 = -0*i + 2*h. Let f = -14 + i. Solve -v = f*w + 3*q, -q = 3*q + 16 for w.
-4
Let r(v) = v + 5. Let t(q) = -q + 3. Let w be t(3). Let n be r(w). Solve -o = -n*o - 3*p + 3, 4*o - 3*p = 21 for o.
3
Let d be 16/12*6/4. Suppose 20 = t - d*v + v, -76 = -4*t + 3*v. Suppose 5*x - 4 = t. Solve 3*w - 2*w + x*s + 4 = 0, 5*s + 5 = 2*w for w.
0
Let x(s) = s**2 + 5*s + 1. Let t be x(-6). Solve 0 = 3*o - 3*b + t*b - 14, o - 4*b + 22 = 0 for o.
-2
Let l = 26 + -24. Solve -l*h + h - 1 =