n = 4*v + 10, -b*n + 6 = -5*n - 3*v for n.
-3
Let o = -18 + 21. Suppose 0 = -4*k + 24 - 0. Suppose k*q = o*q + 6. Solve -4 = -q*s, 4*s + 17 = b + 4*b for b.
5
Let b = -933 - -935. Solve 8 = -5*z + 9*z + 3*n, b = 2*z + n for z.
-1
Let p be 60/27 - 10/45. Let a be (-12)/9*(p + -5). Let o be 3/(12/(-8)) + a. Solve -3 = 2*s - 4*s - w, 2 = -o*w for s.
2
Let t(j) = j**2 - 11*j + 2. Let y = -35 + -2. Let g = y + 48. Let u be t(g). Solve 3*l - 4*p + 3 = 0, 21 = l - 4*l - u*p for l.
-5
Let y(c) = -5*c**2 + 180*c + 2. Let x be y(36). Solve 0 = -3*r - 4*d - 4, -r - 3*d + 4 - x = 0 for r.
-4
Let d(w) = -3*w + 8. Let q be d(7). Let r(z) = z**2 + 14*z + 16. Let u be r(q). Let x = u - -16. Solve -4*b + 5 = -2*p + 3, x = 2*p + 3*b for p.
5
Suppose -3*t = -2*s - s + 3, 16 = 4*s. Let w(q) be the first derivative of q**2/2 + 7*q - 7. Let f be w(-7). Solve f*a + t*m + 7 = -a, 0 = -2*m - 8 for a.
5
Suppose 0 = 4*r - 2*j, -5*r = -4*r - j. Solve 2*u + 21 = -r*u + 5*x, -x = u - 7 for u.
2
Let i(j) = 3*j + 10. Let m be i(-4). Let t = 4 + m. Solve -5*o + t = f - 3, 0 = -3*f for o.
1
Let t(r) = 3*r**2 + 11*r - 12. Let p be t(1). Solve -p*i + 14 + 2 = 5*v, -4*v - 2*i = -14 for v.
2
Let g(p) = -19*p - 52. Let k be g(-3). Solve -3*v + 2*r = 2, 5*v + k*r = -9 - 11 for v.
-2
Suppose 4*v = 4*m - 29 + 45, -v - 3*m = 4. Solve 0 = 3*b + 5*p + 34, b - 25 = 6*b + v*p for b.
-3
Suppose 4*j - 15 = 81. Suppose -164 + j = -14*c. Solve n + 4*s + 4 - c = 0, 2*n - 2*s + 8 = 0 for n.
-2
Suppose -42 + 18 = -3*c. Let s = -2203 + 2209. Solve 3*n - 5*d = c, -s*d - 4 = -3*n - 2*d for n.
-4
Let b be 4/(-14) + (-5)/7. Let n be (2/(-6))/(b/36). Solve -5*k + n = -8*k + 3*u, 5*k = -5*u - 30 for k.
-5
Suppose -32*x + 33*x - 8 = 0. Suppose 9*q - x*q - 4 = 0. Suppose 0 = -2*i + 6 - 2. Solve 0 = 5*n + 5*t + 5, -i*n + 3*n = q*t + 9 for n.
1
Let i be 52/4*3/13. Solve 2*j = d - 0*j - 10, -d - i*j - 5 = 0 for d.
4
Let i(v) = -v - 5. Let t be i(5). Let f = t + 16. Suppose h = 3*h - f. Solve -9 - 7 = -5*k + 2*x, -5*k + 26 = h*x for k.
4
Suppose 5*b - 12 = 3*b - 2*n, -12 = 2*b - 4*n. Suppose 3*a - 6 = -4*y, -2*y = -a + 1 + 1. Suppose -1 + 11 = a*o. Solve b*z - 5*t - 20 = 0, o*t = -2 - 8 for z.
5
Suppose 4*x + 227 = h, -x = -h + 27 + 32. Let o = x + 60. Solve 2*q + 1 + 7 = 0, o*m + q = -4 for m.
0
Suppose 4*a - 167 - 85 = 0. Let c = -61 + a. Solve -c*h = -0 + 4, -5*m - h - 7 = 0 for m.
-1
Suppose 23 = q + 2*i, -31 = q - 2*q + 2*i. Solve -q = -3*j + 5*g, 0 = 5*j - 6*g + 7*g - 17 for j.
4
Let q be (1 + -6)*(-1 - 0). Let v be -8 + q/((-5)/(-3)). Let t(f) = -f - 3. Let y be t(v). Solve k = 2*c - y + 1, c - 13 = -2*k for k.
5
Suppose -5*v + 46 = -3*l + 71, -5 = v. Solve 5*n - 10*n + 23 = u, -u - n + 7 = l for u.
3
Let q(z) = -z**2 + 10*z - 16. Suppose 14 = 2*r - 6*t + t, 2*r - 14 = 4*t. Let b be q(r). Solve u + 5*n + 0*n = 22, 4*u = -b*n + 13 for u.
-3
Let c(w) = -w**2 - 14*w - 21. Let a be c(-12). Solve -3*v = -3*f - 15, -a*v + 6 = 2*f - v for f.
-1
Let s(x) be the first derivative of -x**2/2 + 3*x + 3. Let z be s(-6). Let k = -6 + z. Solve -2*h - 3*h + 5 = u, -3*h - 9 = k*u for h.
2
Let o(z) = 2 + 5*z**3 - 2*z**3 + 6*z**2 - 8*z**2 - z. Let c be o(2). Suppose 4*q = 3*a + 5 + 23, 2*q - c = 2*a. Solve 5*r + 22 = -3*u, u - q*r + r = 16 for u.
1
Let f(x) = 2*x + 14. Let y be f(-6). Let q be y + 24/(-15) + (-26)/(-10). Solve -2*w - 26 = -5*s, -q*w + 2*w = 3 for s.
4
Let z be (-5)/(1 + (-2 - 0)). Let k be z/(-2)*(-17 + 15). Solve -l - k = 0, 3*o = 2*l - 3*l - 17 for o.
-4
Let j = 743 + -741. Solve 4*y - 8 = j*v, 0 = 4*y - 8*y for v.
-4
Let q(z) = z**2 + 5*z - 111. Let u be q(9). Solve -4*t + 3*s - u = -7*t, 2*s = 0 for t.
5
Let q = 38 + -26. Suppose -2*c - a + q = 0, 5*c + 3*a = 7*a + 4. Solve 2*p = -n - c, -2*n + 7*n = 20 for p.
-4
Suppose -2*l + 3*l = 0. Solve -s - 11 = -3*r - 6*s, l = 3*r + 3*s - 3 for r.
-3
Let w be (-1222)/(-208) + (-1)/(-8). Solve 3*x = 2*t - 20, -4*t + w*t - 24 = 4*x for x.
-4
Let z be 8/(-4) + 0 + -2. Let u = 4 + z. Solve -v - 2*v - 3*t + 12 = u, -3*v + 5*t - 4 = 0 for v.
2
Let o(b) = -2*b**3 + b**2 - 2*b - 1. Let k be o(2). Let a be -3 - (-1 + 0) - k. Solve 5*x = a, 4*x = 2*h - 0*x + 4 for h.
4
Suppose -m = x + 2, 4*m + 18 = 4*x - 3*x. Let t be 2 - (-2 - -3)*x. Solve 3*i + 2*j - 4 = t, -i = -3*i - 2*j + 4 for i.
0
Let p = 14 - 12. Suppose p - 26 = -6*x. Solve -x = 2*v + 3*w + 16, 3*v = 5*w + 8 for v.
-4
Suppose 5*u + 4*c = 22, 5*u + 2*c = 2*u + 12. Solve -2*p - 4*a + u*a - 2 = 0, -3*p - 5 = 4*a for p.
1
Suppose -31*a = -35*a + 48. Suppose 11*w - 5*w - a = 0. Solve 0 = w*d - 3*d + i, d = 2*i for d.
0
Let m(f) = 3 + 2*f**2 - 3 - 1 + 5*f. Let b be m(-5). Solve 20 = -4*q + 3*k, 2*q = 6*k - k - b for q.
-2
Suppose -9*r + 143 + 37 = 0. Suppose -4 + 2 = 3*p + 4*l, 5*l + r = 5*p. Solve p*q + 5*z = 2, 2*z - 8 = -2*q + 3*q for q.
-4
Let m = 1401 + -1397. Solve m*n - 2*i = 6*n + 10, 3*i + 21 = -5*n for n.
-3
Let n(b) = -b**3 - 5*b**2 + 4*b - 3. Let v be n(-5). Let u = v - -23. Solve u = -4*q - 2*p + 8, -q + 0 = -2*p - 7 for q.
3
Let v be 15/(-20)*280/(-14). Solve -3*q + 0*p + p - 3 = 0, v = -2*q + 5*p for q.
0
Suppose -4*f - 1 = r, 5 = -5*r - 2*f + 18. Solve 0 = r*v + 3*o + 2*o + 28, -25 = 5*o for v.
-1
Let d = 35 - 17. Suppose v + 4*g = 18, v = 3*v - g - d. Solve -2*w - 2 - v = a, 5*w + 35 = -5*a for w.
-5
Suppose 0 = -17*j + 62 - 11. Solve j*k - 1 = 2*k - 2*r, -k - r = 0 for k.
-1
Let z = 180 + -180. Solve z = 5*y + 10, 5*y + 11 - 5 = -4*l for l.
1
Suppose -105*i + 102*i = -27. Solve 5*v + 0*n = 2*n + 15, -3*n = -3*v + i for v.
3
Suppose 0 = 16*g + 69 - 309. Solve -k - w + 9 = 0, -k + 4*w = -w + g for k.
5
Let f be (-13)/(-6)*4 + (-560)/840. Solve -3*p = -j - 5 - f, 4*p = 3*j + 19 for j.
-1
Let i be 2/(-24)*0*1/2. Solve i = -5*x - 5*p - 10 - 10, 14 = -5*x + p for x.
-3
Let b = 1061 + -1055. Let t be 33/27 + (-2)/9. Solve 0 = -r - 2*f + b, -4*f + t = -4*r - 11 for r.
0
Let w(d) = 2*d**2 + 2*d + 3. Let n be w(-1). Solve k - q = -3*k - 9, 12 = 3*k + n*q for k.
-1
Let b(k) = -3*k - 18. Let z be b(-6). Suppose -46*j + 43*j = z. Solve j = l - 5*h - 22 + 7, h = -l - 3 for l.
0
Suppose -4*z - 3*q + 4 = z, q = 4*z - 10. Suppose 2*b + 0*b = 0, -z*b = -o. Solve -3*h + 4*g = 1, 2 = -2*h - o*g + 3*g for h.
5
Suppose -102*m + 126 = -95*m. Solve -3*y - 6*o - m = -o, -y - 5*o - 16 = 0 for y.
-1
Suppose -16*p = -14*p + 6, 5*j + p - 57 = 0. Solve 4*x = -4*i + 5*x - j, 0 = -2*i - 5*x - 28 for i.
-4
Let m = -1497 - -1499. Solve 0 = -4*t + 5*a + 41, 9 = -m*t - 5*a - 8 for t.
4
Let g(l) = l**2 - 9. Let s be g(0). Let p be (15/s + 1)*-3. Solve 2*t + 5*i + 12 = p*i, 8 = -2*t - i for t.
-3
Suppose 0*f - 15 = -3*f. Suppose f*v - 24 = v. Solve g + 10 = v*g - 2*o, -2*o - 10 = -2*g for g.
0
Let w(k) = 1 - 3*k + 4*k - 2 - 12*k. Let l be w(1). Let q = l - -15. Solve 0 = 5*t + 5*s + 35, 0 = t - 0*s - q*s - 1 for t.
-5
Suppose 56 = t + 6*t. Let p be 0 + t/5 - 4/(-10). Solve 4*x + 18 = 2*w, p*x + 6 = -w - w for x.
-4
Let f be (-12)/(-2) + 15/(-5). Suppose -5*o - f*s + 45 = 0, 3*o - 69 = 5*s - 8. Solve a + 3 = -5*p, 8*p - 3*p + o = -4*a for p.
0
Let t(j) = j - 4. Suppose 0 = 4*h - 8 - 8. Let o be t(h). Let b be (o/(-1))/(-3 + 1). Solve -2*g + m = 0, 10 = -3*g - b*g - m for g.
-2
Let g be (-2 + (-28)/1)*2/(-12). Solve f - 2*q - 14 = -3*f, -g*q + 35 = 4*f for f.
5
Let c be ((-60)/28 - -3)*-7. Suppose 3*l = -5*h + 18, 8 = -4*l + 5*h - h. Let d be 7 + c - (l - 5). Solve 4*r + r + 30 = -d*o, 2*r - 2*o + 8 = 0 for r.
-5
Suppose -a - a = -3*m + 2, 0 = m - 2*a + 6. Solve -1 - 3 = -2*o - 2*v, v = -m*o + 2 for o.
0
Suppose -3*j = 5*t - 11, t = 4*j - 0*j + 16. Solve t*r + 2*s - 30 = 0, 0 = -3*s + 18 - 3 for r.
5
Let v be 72/(-15)*-1 + 15/75. Solve 3*t = -v*g + 22, 7*t = 3*g + 2*t + 14 for g.
2
Let h = -5 - -8. Suppose 38 - 8 = 2*b. Let n be (1 - (-12)/(-20))*b. Solve -4*u + 2*s = 4, h*u + 4*s = n*u - 7 for u.
-3
Let k be (-4)/(-1) + (0 - 2). Let x(r) = 0*r + k - 1 + 0*r + r. Let b be x(9). Solve 3*c - u = -b, -5*c - 5*u - 4 = -14 for c.
-2
Suppose 0 = -40*z + 234 + 206. Solve 0 = i + 2*k - 2 - 0, 4*i + 5*k - z = 0 for i.
4
Suppose 4*g + 4 = 5*o - 0*g, 3*g + 3 = 0. Let i be (1 + o)/(3/6). Suppose 2 = -i*b + 28. Solve l = 5*k - b, 3*l - 3 + 0 = k for l.
2
Suppose -w + 2*d = -6, -w - 4 = 2*d + d. Solve -5*g = -w*l - 8, -l = 4*g + l - 10 for g.
2
