*z - 8 = 4*m, -y*z + 7*z + 5*m + 19 = 0 for z.
-1
Let u(y) = y**2 + 26*y - 22. Let i(c) = -c - 1. Let a(f) = -4*i(f) - u(f). Let t be a(-23). Let b = 13 + -2. Solve t*q - 1 = -5*g - 4, b = -q - 5*g for q.
4
Let y = -11 - -15. Let j(h) = 15*h**2 - 2*h + 14. Let i be j(0). Solve -2*t + 6 = y*w, 2*w - i + 6 = 0 for t.
-5
Let f(t) = t**2 - 12*t + 11. Let w be f(5). Let x be ((-2)/6)/((34/w)/17). Solve 0 = u - 3*u - c + 4, 8 = 4*u - x*c for u.
2
Suppose -245*j = -244*j - 5. Solve -3*g + 2*b + 2 = -j, 0 = -2*g + 2*b + 4 for g.
3
Let q be ((-243)/45 + 6)*(-10)/(-3). Solve 7 = -3*n + q*n - y, 4*n + 20 = -2*y for n.
-3
Let u(q) = -2*q**2 + 4*q**2 + 0*q + 8*q - 3. Let t be u(-6). Let v(y) = -y**3 - 4*y**2 + 2*y + 3. Let s be v(-5). Solve -2*i + s = 2*x, 5*x + i = 2*i + t for x.
5
Let u(r) = r**2. Let d be u(0). Let m = 33 - 18. Suppose -3*z - 2*z = -m. Solve 4*x + 5 = -3*v, 0 = -z*v - x + 10 - d for v.
5
Suppose -96*t + 12 = -90*t. Solve 0 = 5*z + t*f + 30, z + 4*f + 3 = -21 for z.
-4
Let u be (-1 - ((-132)/54 + 1))*9. Solve u*n + 3*r - 3 = 4*r, -3*n = -3*r for n.
1
Let p(y) = -3*y - 3. Let i be p(-6). Let q be 55/i - (-3)/9. Suppose q*z - 2 = 6. Solve -4*a + z*r - 2 = 0, 10 = 4*a - 3*a - 4*r for a.
-2
Let v(c) be the third derivative of c**5/60 - 5*c**4/12 - c**3 + 3*c**2. Let i be v(11). Solve -i*n - 10 = -5*o, -2*n = -o - 5 + 12 for n.
-5
Let x = -3 - -3. Let n be (-1 - -3 - -14) + 0 + -1. Let r(w) = w**3 - w**2 + w - 1. Let a be r(2). Solve -3*m - 2*i = -7, x*i - n = m + a*i for m.
5
Let c be 2/(-17) - (-10712)/1751. Solve 4*r - c = -2*n, r - 3*r = 3*n + 7 for n.
-5
Let k = 51 - 48. Let p be 1 + 2 - k - 0/1. Solve p = -5*h, -3*g + h = -g + 6 for g.
-3
Suppose -z = -2*z - 4, 4*z = -5*x + 404. Let q be ((x/(-16))/(-7) + -3)*-8. Solve 3*h - q = -i + 2, -2*h + 20 = 2*i for h.
5
Let d(k) = 2*k - 16. Let l be d(10). Let i(n) = n**2 + n + 15. Let v be i(0). Let c be 57/v + 2/10. Solve 2*h - l = -s + h, c*s - 2*h = 4 for s.
2
Suppose 0 = -9*m + 5 + 31. Solve 4 = -4*w - 2*o + 4*o, m*o = -2*w + 8 for w.
0
Suppose 26*c + 14 = 28*c. Suppose 3*h = 2*g + c*h - 26, -3*g + 2*h = -7. Solve g = -3*f - 2*f, 9 = 4*m - f for m.
2
Let j(a) = 38*a - 102. Let t be j(3). Suppose 3*c = -g - 1, 9 = g + 3*g - c. Solve -4*q - g*w + 4 = -3*w, 2*q = 3*w + t for q.
0
Suppose -5*y + y + 164 = 0. Let d be 6/21 + ((-312)/21)/(-4). Suppose 3*o - 154 + y = -4*k, 5*k - 180 = d*o. Solve 20 = 5*t - 10*t, -3*t - k = 5*i for i.
-4
Suppose 2*z = 4*b - 4, 0 = 2*z - 5*b + 2 + 1. Let m be 40/20*(2 - 2/z). Solve -4*k - 11 = -9*k + 3*n, 0 = m*n + 10 for k.
1
Let w = 13 - 9. Suppose -5*k + k + 35 = 5*x, -27 = -3*k - w*x. Solve -3*p + k*r = -32, p - 2*r - 7 = 5 for p.
4
Suppose 5*u = 2*q + 41 + 63, u = 4*q + 28. Let m = u - 15. Suppose 74 = 2*w + 3*w + 2*y, 0 = -w + 5*y + 31. Solve -w = 4*t, m*h + 2 - 6 = t for h.
0
Let t be -5 - -2 - (-6 - -2). Suppose -t = 2*j - 19. Solve -2*f + j = -5*u - 18, -5*f + 30 = -5*u for f.
1
Let q(a) = 3*a**2 + 37*a + 16. Let s be q(-12). Solve s*b = r - 2, -4*b - 2 + 6 = -4*r for b.
-1
Let q(b) = -b**3 + 3*b**2 - b + 22. Let l be q(4). Solve -l*m - 5*t + 3 - 8 = 0, 0 = -m - 5*t for m.
-5
Suppose -j = -4*j - 3. Let k be (-1 - j) + -7 + 10. Solve -3*w = 4*f - 2, -3*w + k*f - 5 = -7*w for w.
2
Let g be 6 - -74 - 4/(-2). Let w be 2/(-8) - g/(-8). Suppose 2*r - 2 = -w, -o - r + 9 = 0. Solve -5*l - o = 4*y + 24, 2*l + 3*y = -19 for l.
-5
Let l be (-1)/2 + 126/12. Let s be (-1)/(2 + (-22)/l). Let n be 2/(-1)*4/((-16)/10). Solve -n*j + s*h - 20 = 0, 6 = 4*j + 2*h - 2 for j.
0
Suppose -11 + 35 = -6*j. Let r be j/38 - (-485)/95. Solve -5*l + 16 = -r*a + 6, 0 = -a + 4*l + 1 for a.
-3
Suppose 2274*n - 12 = 2272*n. Solve x + 3*w + n = 0, 5*x - x + w + 13 = 0 for x.
-3
Suppose -8*i - 25 = -13*i - 5*y, 2*y = 5*i - 46. Solve -6*g - 4*q = -i*g + 20, -3*q = 3*g + 6 for g.
2
Let y(a) = -8*a**3 - 9*a - 9*a + 6 - 15*a**2 + 2*a + 9*a**3. Let v be y(16). Solve -2*k - 2*g = 18, -4*k = -3*g + v + 2 for k.
-5
Let c(m) = m**2 + 26*m - 36. Let h be c(-28). Suppose l = -2*n + 13, 3*l = 3*n + l - 2. Solve -5*b + h = 0, -2*b + 0*b = -n*v + 12 for v.
5
Suppose -3*i = -q + 2*i + 10, -i - 2 = -2*q. Let n(b) = -2*b - 1. Let l be n(-10). Suppose 3*p + 10 = l. Solve 0 = p*y - q*j - 4*j - 14, j = -5*y + 8 for y.
2
Let w(f) = f**2 + 13*f - 46. Let j be w(-16). Suppose -c + 1 = -4. Suppose 0 = -5*t + 20, 4*t - 25 = -2*g - c. Solve -j*l = g*k, -l - 12 = 2*k + 2*k for l.
4
Suppose 0 = 2*t + 51 - 59. Solve d = -5*f + 2*d + 13, -5*f - 2*d = -t for f.
2
Let m(b) = 3*b + 15. Let w be m(-8). Let x be (-4 - w)*-2*2/(-4). Solve 5*h - 5*o - 15 = 0, x*h + 21 = -6*o + 2*o for h.
-1
Let g be (-16 - -21)/(15/6). Solve 3*c = -o + g, 4*c = 4*o - 2*o - 14 for o.
5
Let v = -111 + 113. Solve 2*n = -h - 9, -4 - v = -h + 3*n for h.
-3
Suppose 3*x - 6 = -0. Suppose -18 = -2*h + 4*r, -2*h = r - 0*r + x. Let l be (2 - 2)*(h + -2). Solve -2*c - 6 = -3*f, -f + 3*c = -l*c - 2 for f.
2
Let l(f) = f**3 + f**2 + 6. Let u be l(-2). Solve -2*g = u*z - 0*z + 4, -5*z = 2*g + 1 for z.
1
Let r be (-14)/(-77) - (-1 + 1074/(-22)). Let b = r + -47. Solve 2*v - b*n + 5*n + 8 = 0, -4*v = 2*n + 16 for v.
-4
Let f(i) = -i**2 + 5*i + 4. Let h be f(5). Let c be 2 - -2 - (-3 + h). Suppose 0 = 5*o - 8 - 12. Solve 2 = -o*d - 3*n - 5, -2*d - c*n - 5 = 0 for d.
-1
Let v(o) = 5*o - 27. Let t be v(5). Let y be 5/(t/(-8)*5). Solve -20 = -y*g + 8*g - 3*n, 5 = -g + 5*n for g.
-5
Let a(m) = -m + 3. Suppose -2*y + 0*y + 4 = 0. Suppose 2*x + 1 = 5*x - d, 2*d = -5*x - y. Let k be a(x). Solve 0 = -l - k*p + 14, -6 = l - p for l.
-1
Let k be ((-3)/6 - 0)/((-15)/90). Solve 0 = q - k*b + 10, q + 2*b = -q + 4 for q.
-1
Suppose -3*r - 3*h + 15 = 0, -12*h + 7*h + 17 = 3*r. Solve -c + r*j - 1 = 0, 0 = 5*c - 5*j - 0 + 20 for c.
-5
Let n = 1 - -3. Suppose -u = -5*l + 17, 5*u - 5*l = -n - 1. Solve 0 = 3*x + 4*k - 7*k + 3, -x - u*k = 1 for x.
-1
Let n be 21 - (-2 - -2) - (2 + -2). Let i be n/6 - 5/(-10). Solve 4*h + l - 6 = -l, -4*l + 16 = i*h for h.
-1
Suppose 4*z - 10 = -2*g, 4 = -2*z - 0*g - 4*g. Let f be z*(-4)/32*-4. Suppose -f*r = -r. Solve r*q + 17 = -5*q - 3*j, -j = 2*q + 7 for q.
-4
Suppose 82*r - 132 = 278. Solve -5*i = -r*h - 30, -4*i = -4*h - 5*i - 19 for h.
-5
Suppose -u - 5*w + 3 = -3*w, 3 = u + 5*w. Suppose 5*t - 15 = -2*c, c + 5*t = u*c - 5. Solve q = 4*m - 0*q - 10, -c*q - 6 = 2*m for m.
2
Suppose 3*l = -5 + 2. Let u = 1 + l. Let d(z) = -z**3 + 2*z**2 + 11*z - 11. Let n be d(3). Solve n = -u*p + 3*p + c, -2*c + 17 = 3*p for p.
3
Let d(o) = -2*o + 6. Let k be d(4). Let m be k*1/(-4)*6. Suppose 2*h + 5 = m*h. Solve y = h*y - 4*v, y - 3*v - 8 = 0 for y.
-4
Let v(d) = 5*d**2 - 2*d - 2. Let g be v(-1). Suppose -50 = -5*q + 25. Solve -2*n - g*b + 6 = 0, 4*n = b + q - 3 for n.
3
Let m(c) = -5*c - 23. Let w be m(-5). Suppose 0 = w*k - 2*t - 14, 0*k - 3*t - 27 = -5*k. Solve -33 = -5*x + 4*q, 2*x + k*q + q = 2 for x.
5
Suppose -p + 5*j + 14 = -7, -4*p - 4*j + 36 = 0. Solve 7 = 3*o + 2*z, 10*o = p*o + 3*z for o.
3
Let m = 269 + -253. Suppose -3*v = -3*b + 3, -11 + 2 = -b - v. Suppose b = a - 0. Solve 2*r + 2*n = 7*n - m, -a*n + 10 = -5*r for r.
2
Suppose 0 = 5*y - 0*y - 20. Suppose -y = -f - 0*f. Suppose f*h = -5*s + 10, -h - 3*s + 0 = 1. Solve t = -h*m + 19, 5*m + 2*t = -t + 27 for m.
3
Let b(d) = d + 1. Let k(l) = -l**2 - 15*l - 15. Let z = -10 + 16. Let p(u) = z*b(u) + k(u). Let x be p(-7). Solve -2*q - 10 = -2*a, x*a = 3*q + 9*a + 15 for q.
-5
Let k = -19 + 21. Solve -k = 2*y, -4*d + 2*y + 27 = d for d.
5
Suppose 0 = h - 4*j - 9 - 8, 0 = 3*h + 3*j - 6. Solve -b + 4*b = h*z - 10, 2*b = 10 for z.
5
Let h(t) = -24*t - 282. Let f be h(-12). Solve -3 = -4*v - 2*s - 1, -3*v + s = f for v.
-1
Let h(m) = -m**3 + 39*m**2 + 41*m - 36. Let q be h(40). Solve -3*b - 2*b = 4*t + 11, 4*t + 8 = -q*b for b.
-3
Let h = 43 + -31. Let n = 8 - 6. Suppose 11 = n*g - 37. Solve 4*k = -5*b + 5*k - g, -4*b = k + h for b.
-4
Let y = 494 + -489. Let r be 12/(-20) - (-3)/5. Let p = 0 + r. Solve 1 = -z, 3*t + p*z + y = -5*z for t.
0
Let p = -447 + 450. Solve 0 = 3*y + b + 5, -p*y = -5*b - 8 - 17 for y.
0
Let i = 544 - 530. Solve 0 = -2*g - 4*c - i, 4*g - 2 = -3*c - 5 for g.
3
Let y be (-6)/(-10) - (-18)/45. Let s(f) = 27*f**3 + f - 1. Let z be s(y). Let m be (-6)/z + (-58)/(-18). Solve -3*u 