
4
Suppose 0 = -2*y - 2*l, -l - 6 = 2*l. Solve -3*j = -y*h + 10, j + 0*j = -4 for h.
-1
Let b be 5/5 + (1 - 0) + 22. Suppose 2*z - 6*z + b = 2*t, 0 = 4*z - 5*t - 10. Solve k - 19 = 5*h, -3*h - 2 - 5 = -z*k for k.
-1
Let k(m) = 70*m**2 - 3*m - 33*m**2 - 36*m**2 + 5. Let z be k(3). Solve -2*s = 4*y + 20, -y - z = s + 2 for s.
-4
Suppose 87*z = 66*z + 525. Solve -5*m - 4*a - z = 0, 2*m + 2*m - 6 = 2*a for m.
-1
Let q(j) = 2*j - 23. Let t be q(-13). Let c = t + 54. Solve -3*g - c*u + 19 = 0, 0*g + 4*u = 5*g + 30 for g.
-2
Let b(h) = -2*h**2 - 11*h - 9. Let j be b(-4). Solve -5*y = 4*a + 13, j*y + 4*a + 0*a + 11 = 0 for y.
-1
Suppose 11*g - 50 = 93. Solve 0 = 4*j - 7*k + 4*k + g, 0 = 4*j - k + 7 for j.
-1
Let s(x) = 5*x + 97. Let n be s(-19). Suppose 2*p - 12 = -n*p. Solve -m = -5*a + p*m + 6, 4*a - 10 = -2*m for a.
2
Let z(b) = b - 7. Suppose -8 = 5*m - 63. Let k be z(m). Let t = 29 - 24. Solve t*y = 3*a - 37, -5*y = -a + k*a + 13 for a.
4
Suppose -34 = 4*t - 6*t. Let i = -16 + 4. Let w = i + t. Solve 5*c - 4*f + 30 = 0, w*c - 2*f + 35 = 3*f for c.
-2
Let m = -272 + 278. Solve -4*h = -7*r + 3*r + 12, m = 3*r for h.
-1
Suppose 5*k + 28 = 43. Solve -2 - 4 = -k*f, 4*u - f - 2 = 0 for u.
1
Let g = -4 + 6. Suppose -2*p + 20 = 4*s, -2*p - 2*s + 14 = -0. Let o = p - 1. Solve 0 = 5*q + g*k + o, -4*k = -q - 3*q + 20 for q.
1
Let m(a) = a**2 - a + 5. Let h be m(0). Let x = -125 - -125. Solve h*v = x, 4 = w + 4*v + v for w.
4
Suppose 5*k - r - 14 = 0, 2*k + 4*r = 5*r + 5. Solve d = h - 6, -4*d - 2 = k*h + 1 for d.
-3
Let g(f) = 3*f**2 + 8*f + 2. Let t(a) = 4*a**2 + 9*a + 2. Let k(s) = -5*g(s) + 4*t(s). Let c be k(5). Solve -2 = -2*u - 2*y, -4 = -2*u - 3*y + c for u.
-4
Let c(z) = -z**3 + 2*z + 2. Let b be c(-2). Let r be b/21 + (-4)/14. Solve -4*w + 4*u + 0*u = 0, -w - 5*u - 18 = r for w.
-3
Let w = 23 - 21. Solve 3*z = -x - 9, 0*x = w*x + 4*z + 12 for x.
0
Suppose 3*q - 3 = 3*p, -4*p = -p - 9. Solve -2*d = 2*d + 3*f + 19, 0 = -d + q*f for d.
-4
Suppose -3*i = 2*i - 10. Suppose -i*l - 3*l = -20. Suppose l = -4*v, -4*j - 15 = -7*j + 3*v. Solve 3*w = 5*n - 19, j*n + w + 0*w - 22 = 0 for n.
5
Let k be (95/(-3))/5 + (-1)/(-3). Let f(o) = -o - 6. Let n be f(k). Solve n = 5*j - j + 2*h - 16, -2 = -h for j.
3
Let m be 6/14 + 20/35. Let i be (-186)/(-36) - m/6. Suppose 5*u = j - 50, -i*j + 19 = 4*u - 86. Solve 0 = -y - 2*l - 2*l - j, -l - 30 = 5*y for y.
-5
Suppose -2*c - 5*v = -24, 9*v = 13*v - 8. Solve 3*q + m + 5 = 0, -2*q - 6*m + c*m = -5 for q.
0
Suppose 69 = 27*o - 39. Solve -2*i = 2*n - 4*i + o, 0 = 3*i for n.
-2
Let o(b) = b**3 + b**2 + b - 1. Let y be o(1). Suppose c = -2*f + 4 - y, f = -5*c + 1. Let q = f - -3. Solve -k + 5*k - 2*w = 10, -q*w = -k + 20 for k.
0
Let k = 389 + -389. Solve k*c + 4 = v - c, c + 10 = -5*v for v.
-1
Let h(f) = 6*f - 15. Let d be h(5). Let t = 8 + 4. Suppose d = u + t. Solve 2*l - u*k + 1 + 6 = 0, 3*l = k - 14 for l.
-5
Suppose 0*o = o - 12. Suppose -g + 3*r + o = -r, -5*g - 12 = 4*r. Suppose 25 - 10 = 5*u. Solve u*t + g = -6, -19 = 5*h + 2*t for h.
-3
Suppose -301 = -3*b - 289. Solve 13 = -0*s - 5*s - 3*o, -2*s = -b*o for s.
-2
Suppose 465 = 4*r + r. Let m = 97 - r. Solve -5*v = y - 4*y - 30, 0 = 5*v + m*y + 5 for v.
3
Let m = 50 + -62. Let v be 4 + 6*(1 - m/(-8)). Solve 12 = 3*z, -5*l + 30 = z + v for l.
5
Suppose s - 2*s = 1. Let j(b) = -2*b**3 + b**2 + b. Let k be j(s). Suppose -5*t + 7 + 8 = 0. Solve -t*m + 18 = -h, 7 = -3*h - k for m.
5
Let g = 5371 + -5367. Let j be -1 - 0 - (0 - 1). Suppose 2*o - 3*o + 3 = j. Solve -g*r + r - o*f = -18, -2*f - 12 = -4*r for r.
4
Suppose -5*y + 16 = t + 4, y + 3 = -2*t. Solve 0 = y*a - a + 4*l + 10, 20 = -4*a - 4*l for a.
-5
Let z = 8 + -5. Let t be 825/(-264) + (-2)/(-16). Let n(l) = -2*l - 1. Let x be n(t). Solve f - 3 = -z*v + 3, 2*v - x = -f for f.
3
Suppose 5*b = 2*y + 154, 2*y = 5 - 9. Suppose 0 = -4*d, 2*z - 3*d - b = -3*z. Let n be ((-8)/z)/(18/(-54)). Solve 2*k = n*l + 2, l + 2*l + 5*k + 34 = 0 for l.
-3
Let m(k) be the first derivative of -k**4/4 + k**2/2 + k - 2. Let n be m(-3). Suppose -5*f = -0*f - n. Solve -f*r = 5*l, -4*r - l = -0*l - 3 for r.
1
Suppose 0 = 5*p - 10, -146*m + 3*p = -141*m - 14. Solve m*c - 1 = n - 2*n, -5*n + 5 = -3*c for n.
1
Let y(b) = b**2 + 10*b + 24. Let c be y(-11). Suppose -7*j = -2*j - 4*p - 45, 0 = 3*j - 4*p - c. Solve 5*g + 2*h - j = h, 0 = 4*g + 4*h - 20 for g.
0
Let x = -43 + 48. Let v(j) = 1 + j - 1 - 1. Let k be v(x). Solve 4*m - 11 - 3 = o, 2*o + k*m - 20 = 0 for o.
2
Let d(z) = 0*z - z + 12*z**2 - 13*z**2 + 7*z. Let f be d(5). Solve 5*y - 11 = r + f, -3*r = -4*y + 15 for r.
-1
Let u = -19 - -37. Suppose -4*x - 7*f + 3*f = -296, -20 = 4*f. Let g = 84 - x. Solve -2*j + u = 2*y, -37 = -g*y + 3*j - 6*j for y.
5
Let k(r) = -r. Let h(c) be the first derivative of 4*c**2 - 12*c + 6. Let t(u) = h(u) + 6*k(u). Let b be t(9). Solve 5*v + a - 20 = 0, 2 - b = -v - a for v.
4
Let r = -398 - -403. Let i = 1 + 37. Let q be (-2)/(-8) - i/(-8). Solve -q*p + r = -4*m, 3*p - 2*m = m + 3 for p.
1
Suppose 0 = 100*l - 85*l - 120. Solve -5*p - n + 17 = 0, l = p - 3*n - 5 for p.
4
Let m = -19 + 20. Let z = -17 + m. Let i be 1*(-7)/(28/z). Solve 0 = -i*p + 3*a - 2*a - 20, 3*a - 12 = 0 for p.
-4
Let s(d) = 4*d**2 - 65*d - 46. Let g be s(17). Let z(t) = t**2 - 4*t + 4. Let o be z(3). Solve 3*x + 10 = g*n, 3*x + 2*n + 16 = -o for x.
-5
Let a be 3 - (10/2 - (-6)/(-1)). Solve -5*k - 36 = -4*g, -8 = a*k - g + 3*g for k.
-4
Let x(q) = -q**3 - 12*q**2 + 62*q - 20. Let w be x(-16). Solve 2*g - 4*p - w = 0, -4*p = 1 + 7 for g.
2
Let r(g) = 5*g**2 + 4*g + 2. Let n be r(0). Solve n*k = -5*z + 23, 4*z + k - 18 = -k for z.
5
Let q(x) = -5*x - 29. Let s(r) = -5*r - 28. Let f(d) = -4*q(d) + 3*s(d). Let l be f(-6). Solve l*m = 4*g + 12, -m - 4 = g + 2 for g.
-4
Suppose z - 3*g + 18 = 3*z, -g = z - 9. Let x = z + -7. Let p(t) = 3*t**3 - 5*t**2 + 7*t - 3. Let k be p(2). Solve -x*q - 2*q = y - 10, k = 3*q - 3*y for q.
3
Let f be 885/(-118)*(-4)/6. Solve 0 = -3*t + 2*s - 0 + 14, -f*s - 24 = -2*t for t.
2
Let g be (-1)/((-21)/111) - (-4)/(-14). Solve -g*v - 31 = -x - 2*x, -16 = -3*x + 2*v for x.
2
Let k(r) = 2*r**2 - 11*r - 31. Let y be k(7). Let d = 20 - y. Solve -n + 6*n = -5*i + d, -4*n - 16 = -4*i for n.
1
Let n be (-7)/(70/4) - 60/(-25). Solve -n*b - 5 = -3*w, 4*b + 0*b - 15 = w for b.
5
Suppose -5*z - 3*a = -0*z - 113, 4*a = -2*z + 48. Suppose 5*u - 47 = -4*b, -z = -2*u - b - 5. Solve 0 = -5*s + 2*s + 2*p - 2, -2*s = -3*p - u for s.
-4
Let v(q) be the first derivative of -21*q**2/2 + 2*q - 8. Let p be v(-1). Solve 0 = 4*b + 2*k + 2, k + 6 - p = 4*b for b.
-3
Suppose 4*c - 6 - 2 = 0, -g + 12 = 4*c. Suppose g*p + 27 = 7*p. Let h be 8 + 1/((-3)/p). Solve 0 = -h*n - 5*l + 10, n + 4*n + 2*l - 1 = 0 for n.
-1
Suppose 5*o - 86 = -3*h + 2*h, -2*o - 3*h = -24. Suppose 6*t = -0 + o. Solve 2*k - 4*a + t*a = 9, -2*k - 11 = 3*a for k.
2
Suppose -3*f = -9, 0 = -2*o - 2*f - 9 - 11. Let n(t) = t**2 + 11*t - 22. Let c be n(o). Solve -2*g = 4*u + 8, -11 = -c*g + 4*u - 3*u for g.
2
Let m = 29 + -38. Let d be 11 + 1/(-2)*-4. Let t = m + d. Solve -t*a - 14 = 2*w, 0 = -3*w - 11 - 4 for a.
-1
Let m = 10 + -7. Let s be (-1)/m*(-4 + 4). Suppose s = -13*l + 9*l + 8. Solve 4*a - 16 = l*g, -g - 4*g = -5*a + 20 for a.
4
Let s = 6 - 6. Let g be (4/16)/((-4)/(-32)). Solve s*l - 2*z = 4*l - 2, 3*l + g = -5*z for l.
1
Suppose -12 = 424*l - 427*l. Let b(v) = v**2 - 10*v + 11. Let q be b(9). Suppose q*a = 4*a - 6. Solve -o - 4 = -a*n - 0, -10 = -l*o - n for o.
2
Let c = 25 + 1. Suppose 28*p - c*p = 50. Solve -4*h - 5*g + 45 = 0, 4*h = g - 2*g + p for h.
5
Suppose 7 - 19 = -4*f. Suppose -f = 3*l - 45. Solve 2*w - 3*j + l = -3*w, -4*j = -2*w for w.
-4
Let x be (-114)/27 + 4/18. Let c = x - -1. Let b(p) = -p**3 - 3*p**2 + 1. Let u be b(c). Solve -z = 3*a - 4, 4*z - 7 + u = -2*a for a.
1
Suppose 9*m - 7*m + 3*w = 97, -87 = -2*m - w. Solve -5*f = 2*y + 10, 5*y + 0*y - 4*f - m = 0 for y.
5
Let v = -481 - -490. Solve -5*g + v = 4*q, -3*g + 4*q + 6 = -25 for g.
5
Let d(u) = -u**2 + 42*u + 48. Let c be d(43). Solve -3*l = 2*o - 1, 4*o - 3 = c*o + 5*l for o.
2
Suppose -8*h + 11*h - 9 = 0. Solve -h*d = -g - 2*d - 6, -5*d + 25 = 0 for g.
-1
Suppose a + 25 = 6*a. Suppose -34 = -a*y + 3*i, 3*y + 3*i - 1 = 5. Solve 20 = -4*n -