.
2
Let x(n) = -2*n**2 + 5*n + 4. Let r be x(3). Solve 2*u = 5*v - r, v - u = -v for v.
1
Let x be 6*(2/4 - 0). Let p(q) = -q**2 - 2*q + 2. Let k be p(3). Let h = -10 - k. Solve 2*j - 6 = h*o, 0 = -x*o + j - 14 + 5 for o.
-4
Suppose 6 = s + 2. Suppose -s*g = 3*h - 17, 0*g - 4*h + 10 = -g. Solve -4*f = -p - 16, -8 - 12 = g*p - 4*f for p.
-4
Let c be (-6)/(-2) + -3 - 21. Let w = c - -31. Solve -4*n + 6 = -3*i, -n - 5*i + 10 = -w*i for n.
0
Let i(u) = -u**2 + 12*u + 20. Let t be i(13). Solve 5*n = 3*y - t, 2*y = 3*n - 0*y + 5 for n.
1
Suppose 5*n - 9 = 6. Solve -2*f + 2*q = -14, 2*q = -2*f + 3 + n for f.
5
Let z(c) = -6*c + 57. Let p be z(9). Solve -4*i - x = -0*x + 16, -p*i = 2*x + 17 for i.
-3
Suppose 6*p = p + 25. Suppose 0 = -0*v - 2*v - 2*u - 6, -p*v + u + 3 = 0. Solve -m + 2*c - 3 = v, -2*m + 3*c + 2 = c for m.
5
Let x(b) = -9*b + 7. Let q be x(-3). Solve -5*y - 9 = -5*h - q, -2*h = y + 4 for y.
2
Let u = 0 + 3. Suppose 0 = 20*s - 16*s - 20. Solve 3*t = 4*g + u, 2*t - 20 = -s*g + t for g.
3
Suppose 0 = 10*l - 6 - 24. Solve 3*r + 5 = -2*r, d - 2 = -l*r for d.
5
Let z(h) = -h**2 - 5*h - 3. Let f be z(-3). Solve x - 4*a - 18 = 0, f*a + 22 = 5*x - 0*a for x.
2
Let b(c) = 2*c - 4. Suppose -12 = -3*a - 0*a. Let l be b(a). Let t = 8 - 5. Solve l + 5 = 5*k + 4*f, -4*k - t*f + 7 = 0 for k.
1
Let i(y) be the third derivative of y**6/24 - y**5/30 + y**4/24 - 2*y**2. Let q be i(1). Solve g - 18 = -4*x, -5*x = q*g + 2 - 30 for g.
2
Suppose -g = -0*g - 3. Solve 5*z + 0*n + 29 = 3*n, -n + 15 = -g*z for z.
-4
Suppose 3*r = 7*r - 20. Let t be ((-34)/10)/(10/(-50)). Solve -t = -2*c - r*j, -26 = 3*c + c - 2*j for c.
-4
Let u = 5 + -8. Let m be (-2)/u*(-15)/(-5). Let k be ((-3)/(m/2))/(-1). Solve 3*a = -3*l, -k*a = 2*l - 0*l - 4 for l.
-4
Let i(h) be the first derivative of -3 + 9*h - 1/2*h**2. Let l be i(7). Solve -3*w + 3 = -l*j - 0*j, 4*w - 5*j - 4 = 0 for w.
1
Suppose i + 4*b = -5 + 3, 0 = -5*i - 2*b + 80. Solve 0 = -5*g + t - i, -5*t + 6 + 9 = 0 for g.
-3
Let m be (-1)/(-1) + 4 + -3. Let l be 0/(m + (0 - 1)). Let d be 42/10 - 2/10. Solve d*o + 5*h - 16 = l, -o + 2*o = -4*h + 15 for o.
-1
Suppose 2*h - 18 - 24 = 0. Suppose -3*w - 5*s = -h, 3*s = 2*w - w + 7. Let l(j) = j + 2. Let c be l(6). Solve -w*b = 5*n - 19, -5*n + 25 - c = b for b.
2
Suppose -3*u + 7*u = 0. Suppose -4*w + u*v + 4 = 2*v, 2*w + 5*v = 10. Solve w = 4*z - 2*n + 22, -2*n + 7 = -2*z - 5 for z.
-5
Let n be (-38)/8 - 1/4. Suppose -g = 4*u - 16 - 14, 0 = -u + 2*g + 3. Let z = n + u. Solve 5 = -2*b - y, 4*y + 2 = -z for b.
-2
Let r be (-1)/(-1) - 9 - 0. Let q(b) = -b**2 - 7*b + 11. Let v be q(r). Solve 2*l + v*l - 15 = 0, -l - 1 = 2*f for f.
-2
Suppose 13 - 81 = -4*u. Solve w + 3*m - u = 3*w, -w - m = -4 for w.
-1
Let v(g) = g. Let o(w) = -10*w - 7. Let j(i) = o(i) + 4*v(i). Let m = -17 - -12. Let f be j(m). Solve 2*z - 3*n - f = 0, -5*n + 11 = -4*z + 52 for z.
4
Let l = 32 + -2. Suppose 70 = 5*v - l. Suppose -g + v = g. Solve -m - y + 1 + 0 = 0, g = -2*m - 5*y for m.
5
Let l be 1/2*5*8/10. Let r be (-4)/(-6) - 4/(-3). Suppose 4*g - 20 = r*g. Solve 2*b = -2*y + g, -l*y + 7 = 5*b - 3 for b.
0
Suppose 7*n - 20 = 8. Solve 5 - 37 = -n*m + 4*x, 0 = -3*m + 2*x + 20 for m.
4
Let c(i) = -3*i + 1. Let j be c(-3). Suppose 0 = 5*t - w - j, 0*w + 10 = 5*t + 4*w. Solve 5*b = l - 12, l + b - t + 8 = 0 for l.
-3
Let g = 13 + -11. Suppose u = g*u - 29. Solve -5*m - 10 = 0, m + u = 5*l - m for l.
5
Suppose 2*g + 4*p - 28 = 2, -5*p - 21 = -4*g. Let x = -9 + g. Solve 3*i - 4*b + 5 - 1 = x, 0 = i + 2*b + 8 for i.
-4
Let r(n) = 7*n - 11. Let w be r(2). Solve w*a - 14 = 2*d + 3*d, 5*a - 13 = -2*d for a.
3
Let n(w) = -8*w - 9. Let d be n(-2). Solve -y + s = 1 - 0, y - 3*s = d for y.
-5
Let h(u) = -u**2 - 2*u + 3. Let b be h(2). Let d = 7 + b. Suppose -2*w + 5 = -5*i - 5*w, d*w = -i - 8. Solve 5*c + 2 = 2*q, i*q = -0*c - c + 2 for c.
0
Let u = -6 - -8. Let t be 22 + 1 + -1 + 2. Let x(f) = -f**2 + 10*f - 9. Let m be x(9). Solve -h + u*s + s = -19, h - 4*s - t = m for h.
4
Suppose 3*f - 2*f = 1. Suppose -o = -f - 0. Suppose -c - o = 1, -101 = -3*g + 4*c. Solve 0 = 2*h - 6*d + d + g, 6 = 3*h + 3*d for h.
-3
Suppose 0 = -3*m - 2*m. Solve 2*q + 2 = 0, -9 = 2*j + q - m*q for j.
-4
Let o = -4 - -12. Suppose 2*f = o - 0. Solve -4*j + f*n = -24, -4*j - 5*n = -1 + 4 for j.
3
Let h(g) = -5*g - 2. Let z be h(-2). Suppose 2*n - v = 2 + 2, -3*n + 8 = -v. Suppose 0*c = -n*c. Solve 2*x + 8 = 2*p, c*x + z = -2*x for p.
0
Let w(u) = -73*u. Let a be w(-1). Suppose 3*d + 4 - a = 0. Suppose 3*m + 2*b = d, 5*b + 2 = 2*m + 12. Solve -29 = -m*p + h, -2*p - 3*h = 3*p - 13 for p.
5
Let g be (-4 - -1)*17/(-3). Solve -3*x = 4*h - g, 2*h = -x + 15 - 6 for x.
-1
Suppose 0*p - 2*p + 2 = 0, 2*g + 2*p = 10. Solve 0 = 5*b + 10, -3*n - b = -0*b - g for n.
2
Let u(g) = -2*g**2 - 24*g + 2. Let d be u(-12). Solve -d*h + 6 = 3*b - 3, 14 = 2*b + 4*h for b.
1
Let c(d) = 3*d + 4. Let a be c(-2). Let i be a + (3 - (-8)/4). Solve 0*h = i*o - 3*h - 3, 0 = -o + 3*h - 7 for o.
5
Let j be -2 + 4/1 + -1. Let f = -3 + j. Let p be 1/f - 1/(-2). Solve -4 = -3*u + 5*r - 1, p = -3*u - 4*r - 24 for u.
-4
Suppose 0 = -4*d + h + 26 + 54, -2*h = 4*d - 92. Solve 3*b = 3*a - d, 5*a = 5*b - b + 33 for a.
5
Suppose 0*n = 4*n - 8. Let s be 1*6/(5 + -2). Suppose -3*q = s*q - 20. Solve -2 + 0 = -h - q*i, i = -h + n for h.
2
Suppose 3*w - 4 = 8. Suppose 2*t - 1 = 2*n - 13, -n + 9 = -4*t. Suppose 5*y + 6 = 3*d, n*y = y + 4*d - 8. Solve 0 = 3*g + g - 12, 5*z - w*g + 37 = y for z.
-5
Suppose -11 + 1 = -5*p. Let c = 4 - p. Solve c*s + 4*d + 2 = -8, -4*s = d + 13 for s.
-3
Let r = -15 + 17. Solve 10 = -2*h + r*i, 5*h - 2*i + 0*i = -13 for h.
-1
Let x(d) = d**2 - d + 1. Let w be x(0). Let q = w + 1. Suppose -10 = -k - 2*z, q*z - 1 = 5*k - 3. Solve 0 = 4*y - k*f, -5*f = -y - y - 16 for y.
2
Let o(w) = w**2 - 2. Suppose -5*c + 8 = -c. Let x be o(c). Solve -2*j - 2*p - 10 - 8 = 0, 0 = -x*j - 5*p - 30 for j.
-5
Let n be 2 - (2 + -1 - -2). Let o be 5 + (-3)/(0 - n). Let w = 21 + -6. Solve 0 = -0*u + u + o*t + 10, -3*t - w = -2*u for u.
0
Let c(m) = 25*m**2 + 2*m - 2. Let o be c(1). Solve 5*a - 33 = 3*a + 5*t, 5*a - t - o = 0 for a.
4
Suppose -o + 72 = 3*o. Solve -5*v - 4*q - o = 0, v - 3*q = 3*v + 10 for v.
-2
Let z(n) = 16*n**2 + n + 1. Let y be z(1). Solve 4*u - b = 2*b - 19, -4*b + y = 2*u for u.
-1
Suppose -v - v = -12. Let j = v + -4. Solve -4*t = -j*q - 30, 5*q = -0*q - 3*t - 10 for q.
-5
Let n be ((-15)/(-10))/((-6)/56). Let x be (21/n)/((-3)/8). Solve c - x*i + 1 = 0, -5*c = -4*i + 5*i - 16 for c.
3
Let b be (3 - -2*1) + 0. Let q = -97 + 102. Solve 4*w + 2 = -0*s + s, q = -b*s + 5*w for s.
-2
Let m = -12 - -12. Solve -4*k + 3*y - 4 = -m*k, 3*k = 3*y - 3 for k.
-1
Let n(g) = 6*g + 3. Let k be n(-3). Suppose -2*w = -3*w - 10. Let t = w - k. Solve -q + 15 = 4*q + t*i, 0 = -2*i + 10 for q.
-2
Suppose -3*x - 15 = 0, x + 1 + 9 = l. Solve 2*y = 3*b + 17, -7 = -y - l*b - 31 for y.
1
Suppose -2*q = -0*q - 2. Let a be ((-12)/(-3 + 0))/q. Solve 0 = -4*y - 16, a*y = -0*f - 4*f + 4 for f.
5
Let x be (-14)/(-6) - (20/6 - 4). Solve 2*y + 4 = -a, 0*y - 5 = a + x*y for a.
-2
Let v be 4/6 + 13/3. Suppose y + 0*y - 2*a = 5, -y - a = -v. Let n(p) = -p + 8. Let x be n(6). Solve y*m = -z + 3*m - 13, x*z + 16 = -2*m for z.
-3
Let h be ((-4)/(-16))/(2/16). Suppose 4*j - h = 3*j. Solve 0 = 3*f, -f = -c - 6*f - j for c.
-2
Suppose -3*h = h + 12. Let f = -1 - 1. Let l be -4*(f - h/(-6)). Solve g - 13 = -2*k, 0 = -0*g + 2*g - l for k.
4
Suppose t - 4 = 3*t. Let i = -2 + t. Let w = 6 + i. Solve 3 = 2*n - a, 6*a - w*a = 4 for n.
2
Suppose 3*v - 2*r = 66, r + 18 = -2*v + 69. Solve -2*h = -5*l - 3*h - v, 0 = -4*h + 4 for l.
-5
Suppose -o + 2*x = 1 + 6, 5*o + 5 = 4*x. Let n be ((-5)/((-125)/(-15)))/((-3)/15). Solve 0*s + n*s = -3*m, -12 = -s + o*m for s.
3
Let x(s) = 2*s**2 + 13*s + 11. Let w be x(-6). Solve -3*b + 2*k = 21, w*b - 3*k + 0*k + 34 = 0 for b.
-5
Suppose 3*f - 1 = -d, f - 2 = -4*d - 20. Let x = -9 + 12. Suppose 4*l = -3*w + l + 21, -x*w + l + 1 = 0. Solve 5*o - 7 = 3*i, -w*i = 5*o - f - 10 for o.
2
Let p be 2 - (-14 - (2 - 3)). Suppose -g + 5*c = 3*c - 3, -2*c = -5*g + p. Solve -7*m + 3*m - l = -14, g*l - 6 = 0 for m.
3
Suppose -2 = -2*q - 4*x, 3*x = 5*q - x - 19. Suppose -f - 8 = n - 3, 0 = -4*f + 