Let w = z - 0. Suppose -y = w*y - 12. Solve 2*x + 22 = 5*b, -2*b + 12 = -y*x - x for b.
4
Let i be (13 - 12)/(10/20). Solve -4*h + 4*t = h + 19, 0 = i*h - t + 7 for h.
-3
Let n(c) = c**2 + 7*c + 3. Let t be n(-7). Suppose -t*w + 0 = -12. Suppose 4*k - 20 = -k. Solve -w*d - 4 = k*i, -3*i - 5*d + 0 = 7 for i.
1
Let r(l) = -l**2 + 13*l + 11. Let z be (-21)/(-1 + 3/(-6)). Let p be r(z). Let x be (-1)/(1/(-4)) + p. Solve 3*m - 7 = -3*t - x, 0 = 4*m - 3*t + 27 for m.
-3
Let t(j) = -j**2 + 16*j - 14. Let a be t(15). Let w(i) = 6*i - 2. Let g be w(a). Let m = 4 + g. Solve 2*p + 6*k = 2*k + m, 3*k = 9 for p.
-2
Let g be 1 + 9 + -3 - -20. Solve -4*h + 0*h + 28 = 4*l, 0 = 5*h + 3*l - g for h.
3
Let w be 11/(605/375) + (-6)/(-33). Solve -o - 3 = 3*v, 0 = o - 0*v - 2*v - w for o.
3
Suppose 321*u - 135 = 312*u. Solve u = -5*g - 0, 2*m - 6 = 2*g for m.
0
Suppose -29 = 16*s - 77. Solve -m - 5*f = s - 1, -3*m = 2*f + 6 for m.
-2
Let m = -42 + 45. Suppose m*d = 9 + 6. Solve -d*i - 1 = 3*b - 0, -i - b = -1 for i.
-2
Let p be 32/5 - (126/35)/9. Solve 4*c = -5*s - 12 - p, 4 = -2*s for c.
-2
Let l(m) = 29*m + 9*m**2 - 11*m**2 - 14 - 5 + 9. Let q be l(14). Solve -2*x - 2*s = -4, x + 3*s - q - 4 = 0 for x.
-1
Let w = -1745 - -1749. Solve 4*j - w*a = 28, -2*a + 6 = -0*j + 2*j for j.
5
Let i(k) = 2*k + 22. Let s = 9 + -17. Let w be i(s). Solve -4*j + 3*j - 12 = 4*f, -2*f - 4*j = w for f.
-3
Let c(l) = -4*l - 27. Let q be c(-8). Suppose -5*p - d - 9 = -4, -15 = -q*p + 3*d. Solve 0 = 4*t - 5*r - 5, 0 = -3*t - p*t - r - 1 for t.
0
Let r(w) = 5*w + 58. Let v be r(-11). Let s be (9/v)/6 + 5/2. Solve 3*c = -3*u, -2*u - s*u = -4*c + 36 for u.
-4
Let d be ((-5)/(15/78))/(-1). Suppose d*b - 6 = 24*b. Solve -5*x + 5 = 5*c + 45, 0 = 2*x - b*c - 9 for x.
-3
Suppose -11 = -4*d + 1. Let f be (2 - (-2 - -6))*1. Let v be 0*f/4 - -4. Solve d*i = -0*r - r + 14, -v*r = 3*i - 29 for r.
5
Let n be 1*10 + 0 - 1. Let k = -1004 + 1017. Let q = k - n. Solve q*s + 3*f = 23, 0*f = -5*s - f + 15 for s.
2
Let q be 13 - ((-2)/(-2) + 1 - 2). Suppose 18*r = q*r + 15. Solve 3 - 33 = 5*a + 3*u, 3*a - r*u - 6 = 0 for a.
-3
Let m(p) = p**3 + 5*p**2 + 3*p - 4. Let g be m(-2). Suppose 2*i + 5 = j, 0 = -4*i + j - 3 - g. Solve i = -5*n, 3*n - 5 = -5*s - 0*n for s.
1
Let t(s) = 2*s + 13. Let u be t(-5). Suppose 5*m + u = 6*m. Solve 0 = 3*w + 3*k - m, -w + 2*k = -0*k - 7 for w.
3
Suppose -2*g + 16 = -4*w, -1 = g - 0*g + w. Let l be (g + -1 - -5) + -3. Suppose l*d = -d. Solve -2*p = -2*a - 0*p + 8, d = 5*p + 20 for a.
0
Suppose 596*m = 567*m + 522. Solve 0*p + k - m = -5*p, 6 = -3*k for p.
4
Let k be (4 - 0) + -10 + 26. Suppose -3*c - 15 = 0, 0*c = -5*j - 3*c + k. Solve -4*y - 3 + j = l, -l + 5*y - 5 = 0 for l.
0
Let k be 2/6*(9 + -66). Let s = -7 - k. Let x be (s/(-1) + 2)/(-2). Solve -2*l = -5*l - 2*j + 7, 0 = -5*l - x*j + 15 for l.
1
Suppose 5*p - 5*z = 4*p, -4*p + 3*z = -17. Solve -2*n + 5 = k - n, -p*k + n + 7 = 0 for k.
2
Let o = 11 - 11. Suppose 2*g = -2*a, -a - g + 4*g + 20 = o. Solve -a*x = -x + 3*z - 1, 5*z + 25 = 0 for x.
4
Let s(c) be the second derivative of -c**5/20 + 5*c**4/12 - 2*c**3/3 + 2*c**2 - 6*c. Let n be s(4). Solve 2*q = -2*q + x + 7, -n*q = 3*x - 27 for q.
3
Let t be 3/2 + (-27)/(-6). Suppose p + t*l = l - 11, 3*l - 3 = -3*p. Solve p*u - 4*w = 8, -4*w = -3*u - 5*w + 2 for u.
1
Suppose -3*h = 8 - 14. Suppose h*q + 0*m = -m + 12, 4*m + 16 = 0. Let u be (6/4)/(3/q). Solve 0*v - 2*t + 5 = 3*v, 2*t = u*v - 16 for v.
3
Let b be 0*(4/(-1))/4. Suppose -6*f = -2*f - 20. Let m = f - b. Solve 2*a = -2*a, -20 = m*j + 5*a for j.
-4
Let h be 27/12 + 24/32. Let k be 0/(-2 + -3 + h). Solve k = -l - 5, 0 = 3*p - l - 4*l - 25 for p.
0
Let z be 1 - -2 - (-142 + 6). Let h = 143 - z. Solve -3*g + 0*g - 3 = -3*j, -h*j + 4 = -2*g for j.
1
Let h be 2 + (0 + -1)*-1. Suppose -1 = l - n, -3*l + 4*n - 5 - 2 = 0. Suppose 0 = 10*q + 2*q - 288. Solve -4*r = 4*s - q, -l*r + 14 = -2*s + h*s for r.
4
Let j(r) = -9*r - 1. Let m be j(2). Let z = 30 + m. Solve -3*p - 15 = -2*x, x + 1 = -5*p - z for x.
3
Let r be 169/(-91)*(-1 + -6). Let a = 29 - r. Solve 0 = -t - 3*z - a, -t + 4*z = -z - 16 for t.
-4
Let m(q) = 4*q**2 - 52*q + 3. Let f be m(13). Solve 5*x + 3*h = 2 + 16, f = 3*h for x.
3
Suppose -5*k + 10 = -5. Suppose 2*d - k = 5. Let h(w) = w + 20. Let n be h(-6). Solve 2*c = d*c + 2*i + n, 0 = 4*c - 3*i for c.
-3
Suppose z + 1 = -2*d, -40 = -5*z - 65. Solve 4*s + 14 = -d, -5*o + s - 1 = 0 for o.
-1
Let h(l) = l**3 + 22*l**2 - 75*l + 7. Let x be h(-25). Solve -14 = -2*t - 5*z, 0 = -2*t + z - x - 3 for t.
-3
Suppose -12*z + 30 = -42. Solve 18 = -s + 3*a - 8*a, -s = -3*a - z for s.
-3
Suppose -9*q = 2*q - 4*q. Suppose 3*r + 3*d + 6 = q, 3*r + 4*d + 2 = -6. Solve -2*c = -4*f - 6, r*c + 3*c = -5*f - 2 for c.
1
Let a = 36 - 56. Let c = a - -40. Let r = -14 + c. Solve 4*h = 16, r*o = o - 2*h + 28 for o.
4
Let y = 320 + -314. Solve 3*d - 2*n + 12 = -d, -4*n + y = d for d.
-2
Suppose 702*o - 703*o = -1. Solve -5*t - o = -k - 2*t, -3*k - 4*t + 16 = 0 for k.
4
Let q = -4 - -9. Suppose -5*s - 8 = -33. Solve -2*m + w + 3 = -5*m, -4*w - s = q*m for m.
-1
Let v be 12/(-4 + 5) + 7 + -3. Solve 5*i = 2*p - 23, 7*p = 3*p + v for i.
-3
Let f = -910 + 925. Solve -4*w - 7 = -2*x - f, -3*w = 0 for x.
-4
Let x = 13 - -47. Suppose d = -4*d - x. Let j be d/8 - 126/(-4). Solve -5*v - 5*y + j = 0, -3*v + 22 = -y + 6*y for v.
4
Let f be (-1)/(1 + -5 - -5). Let h be (-1)/((-26)/(-24) + f). Let z = -7 - h. Solve 3*x + 3*r + 1 = 7, 0 = -z*x - r - 6 for x.
-2
Suppose 2*a + 1 = 13. Let h be a/3 + 4/2. Solve 5 = y, -5*j + h*j - 2*y = -5 for j.
-5
Suppose 3*n = 15 - 6. Solve b - u = 2, -2*u + n - 1 = -4*b for b.
-3
Let w(u) = -23*u + 303. Let c be w(13). Solve -16 = -c*s, -7*b + 2*s = -2*b - 7 for b.
3
Let t = -306 - -311. Solve 3*p + 5 = t*k - 4, 10 = 2*p + 2*k for p.
2
Let w be 172/14 + (-4)/14. Let j = w + -9. Suppose -2*f - 4*r - 4 = 0, f - j*r = 2*r + 19. Solve -f = 2*n - 2*o, 0*o = 2*n + 5*o - 24 for n.
2
Let l = -17 + 29. Suppose 4*v + 5*c - 4*c = 12, 0 = -4*v - 3*c + l. Solve 3*q - 1 = w, v*w = 8*w + 2*q - 29 for w.
5
Let h be 2 - 1 - (-5 - 0). Let l(s) = 2 + 4 + 2 + s. Let u be l(-5). Solve d = -2*g - h, 0 = 2*g + u*d + d for g.
-4
Suppose 3*n - 2*v - 4 = 0, 3*n - 13*v = -9*v + 2. Solve -g + p = 6, 5*p - n = 3 for g.
-5
Suppose 0 = 2*m - 0*m - 44. Let p = m + -18. Solve 2*d = 5*f - 17, 0 = -2*d - 2*f + p + 14 for d.
4
Suppose -6*f + 14*f = 32. Solve -f*b - 3*r - 19 = 0, -2*r = -4*b + 1 - 15 for b.
-4
Suppose -3*h = 3 + 18. Let t = 9 + h. Solve -5*f = z + 15, -z + t*f = f - 3 for z.
0
Suppose -5*p + 20 = 0, -r - 5*p + 21 = -5. Suppose r*l - l = 25. Solve -l*g - 5*u + 3 = -2*u, 0 = -u - 4 for g.
3
Let d = 35 - 34. Solve -3*a + 25 = 4*p, -3*p - d = -3*a - 4 for p.
4
Let p(h) = -8*h + 53. Let m be p(6). Let b be 3*10/12*4/m. Solve 0 = -2*z + b*r - 12, z - 5*r - 5 + 19 = 0 for z.
-4
Let q(p) = -4*p + 88. Let y be q(22). Solve 4*m = 3*i + 2*i + 14, y = 2*i + 4*m for i.
-2
Suppose -36*t - 12 = -39*t. Solve -c + 1 = 3*b, -t*b = c - 4 + 1 for c.
-5
Suppose 23 = 5*k - n, 2*k = -n - 1 + 6. Suppose -31*b - k = -33*b. Solve -4 - 9 = 4*x - h, 4*h + 4 = b*x for x.
-4
Suppose 5*j = 4*z + 24, -2*j - 3*z + 36 = j. Solve 4*m = -3*c + j*c - 12, 0 = 4*m - 2*c + 12 for m.
-3
Let x(k) be the second derivative of -k**3/2 + 65*k**2/2 - k + 7. Let v be x(21). Solve g - 7 = 3*y, -5*y - 3 = 5*g + v for g.
1
Let f = 6 - 1. Suppose 3*d = 2*d + f. Suppose -4*m + z + d = -2*z, -3*z + 3 = 0. Solve 3*h = 4*k - 16, -3*h + 12 = m*h + 3*k for h.
0
Suppose -w - 104 = -5*w. Let m be (2/(-4) + 0)*0. Suppose -o = -h - 6, 0 = -2*o + 4*h - h + 15. Solve a + 3*a + o*v = -w, m = a + 3*v + 11 for a.
-5
Suppose -63 = -q - 61. Let j(x) = -x + 6. Let g(z) = z**3 + 2*z**2 - 4*z. Let r be g(-3). Let v be j(r). Solve -l + y - 3 = 0, q*l - v*l = 2*y for l.
-2
Suppose 21*f - 95 = 16*f. Let k be -4 + f - (-8)/(-2). Let g(z) = -6*z**3 - z**2 - z - 1. Let t be g(-1). Solve 4*b + 0*b + k = i, t*i + 3*b = -37 for i.
-5
Let n be (-90)/120*((-5)/3 - 1). Solve 0 = 3*b - n*i - 2, 0 = 2*b - 3*i - 3 for b.
0
Let f(d) = -d**2 + 16*d - 24. Let n be f(14). Solve -5*j = -n*u - 10, -2*j - 4*u + 8 = 2*j for j.
2
Let o(u) = -u + 5. Let r be o(-15). Suppose d + d - 5*f - 2 = 0, 0 = -5*f + r. Solve 3*l + 0*y - 2*y