 for p.
4
Let n be 2/7 - (10 - 332/14). Solve -2*r = 3*l - n, 6 + 4 = 2*r + l for r.
4
Let p be (-6)/4*(-2 + 0). Let d = -30 + 44. Suppose d*o = 11*o + 9. Solve 2*f + 0*k + p*k + 3 = 0, o*f + 5*k = -6 for f.
3
Suppose 74*u - 101*u + 135 = 0. Solve -5*l - 1 = 3*r, 2*l - 1 - u = 2*r for r.
-2
Suppose -5*v + 0 = -25. Suppose -v*w - 6 = -31. Let l = 7 + -4. Solve 0 = 3*n + w*g - 29, -1 = -l*n - 0*g + 2*g for n.
3
Let d = 215 - 211. Solve 4*r + 2*n - d = 6, -5*r + 5*n - 10 = 0 for r.
1
Let n(o) = -o**3 + 10*o**2 - 21*o - 7. Let p be n(4). Solve x - 5 = p*b + 3*x, 0 = -2*b + 3*x - 21 for b.
-3
Let w be -2*(20/(-8) - -1). Suppose 12 = -3*q - w*v, 5*q - 3*v + 13 = -7. Let k be 50/18 + q/(-18). Solve 3*u + r + 8 = 0, -3 = 5*u - k*r + 15 for u.
-3
Suppose 5*s = -5*v + 35, 2*s - 2*v = 5*s - 16. Let h be 2/4 - (-9)/s. Solve -2*f = p - 2*p - 3, -5 = -h*p for f.
2
Let w be 13 - (6/2 - 2/1). Solve 4*i + 0*i - 4*o + w = 0, 2*i + 3*o = -16 for i.
-5
Let l(i) = i**3 + 11 - 3*i**2 + 5*i**2 - 4 - i**2. Let s be l(0). Suppose 0 = -4*z + s + 1. Solve 0 = -5*n - 2*c - 2 - z, -4*n = 3*c + 6 for n.
0
Suppose 0 = -3*l - 27*l + 150. Solve -5*a - 4*h = 9, 0*a + 3*h - 37 = l*a for a.
-5
Let z(m) = -60*m + 1270. Let a be z(21). Solve 5*r = w - 12, w - 3*r - a = -w for w.
2
Let p(v) = -37*v + 74. Let m be p(2). Solve -4*g - 5 = -2*l - 3, 3*g = m for l.
1
Suppose 13*w + 312 - 572 = 0. Solve -w = -5*y - 5*j, -y + 3*j = 3*y + 12 for y.
0
Let j(w) = -w**3 - 4*w**2 + 2*w - 3. Let v be j(-5). Suppose 0*d = 4*d - v. Suppose -8*p = -d*p. Solve p = -4*s - 0*o + o + 15, -5*s - o = -12 for s.
3
Suppose 0 = -z + n + 3, -z + 0*z + 7 = -5*n. Let u be 3 - ((-6)/(-3))/z. Suppose -11*s = -12*s + 4. Solve -3*y + s = -2*c, -u*y + 4*c - 4 = 4 for y.
4
Suppose -3*f + 2 + 4 = 0. Suppose 15 = 3*i + f*i. Let j(m) = 18*m**2 - 737*m - 36. Let k be j(41). Solve -15 = -i*z + 3*u, -3*z + 4 + 3 = k*u for z.
4
Let o(f) = -f**2 + 11*f - 28. Let s be o(6). Suppose 0 = 3*g - 3*x + s - 5, g = 3*x - 1. Solve 2*j + 14 = a, 2*j + 3 = g*a - 15 for a.
4
Let g = -1 - -5. Let d = 1 + g. Solve h + s = -d, 12 = -4*h - s + 1 for h.
-2
Let o(w) = -w. Let f be o(0). Suppose 10*s - 5*s = -5*m + 15, f = -2*m + 5*s + 6. Solve -5*g - 34 = 3*d, -m*d + 3*g - 4 = -10 for d.
-3
Let x = 56 + -28. Suppose -y + x = a, 80 = 5*a - 2*y - 53. Solve -3*n + 0*n = 2*q + 16, -5*q = n + a for n.
-2
Suppose -2*h - 43 = -57. Solve 0 = -5*b + s + h, 2*s + 3*s = 15 for b.
2
Let w be 1105/187 - (-3)/33. Solve -w*h + 5*h = -5*q + 4, -2*q = 5*h + 20 for h.
-4
Let t(r) = -r**2 - 11*r - 19. Let g be t(-4). Let j be (-4)/(-3)*g/4. Solve 0*z = -5*p + j*z - 5, -2*p - 3 = -z for p.
-4
Let u be 1 - 5 - (-7 + 1). Let x be u*5/(10/2). Solve 0 = 3*o - x*h - 14, -o + 2*h + 6 + 0 = 0 for o.
4
Let m = -360 + 376. Solve 4*b = 4*p + m, -b = 3*p + 2 - 10 for p.
1
Let o(b) = b - 17. Let z be o(7). Let x be ((-5)/z)/((-2)/(-36)). Solve -2*v + 2*i = -5*v + x, -3*i + 4 = -5*v for v.
1
Let s be (-8)/(-28) + (-10)/35. Suppose -5*k + 89 + 16 = s. Solve -3*p - k = 2*m - 5*m, 0 = m - 3*p - 15 for m.
3
Suppose -90 = -5*g - 15. Suppose 16*a = g*a. Let z = 12 + a. Solve 3*u + 4 = 4*w, -4*w + z = -w for u.
4
Let j = 486 + -484. Solve -j*y - 2 = -y + 3*s, 2*y = 3*s + 5 for y.
1
Let s(t) = -t**3 - 11*t**2 + 13*t + 12. Let v be s(-12). Solve v = -q - 5*u + 9, -2*q - u + 17 = 2*q for q.
4
Let o = -1028 + 1033. Solve -5*g + 20 = -o*b - 2*g, b + 4 = 2*g for b.
-4
Let k = 11 - 6. Let s = -74 + 74. Suppose s = -4*a + 2*l + 4, -4*a + 23 = -3*a + 5*l. Solve a = -p + k*h + 13, -2*p + 2*h - 4 = 0 for p.
-5
Suppose -36 = -16*k + 20*k. Let j be (12/(-9))/(3/k). Solve j*q - 9 = f - 0*f, 15 = 5*f for q.
3
Suppose y = -3*y - 3*b + 47, y - b = 10. Suppose -9*i + y*i - 6 = 0. Suppose i*z = 3 + 18. Solve 0 = 5*c + 4*n - 5, -4*c + n + 32 - z = 0 for c.
5
Let a = 448 + -423. Solve -5*m = -a, 4*q - m = m + 6 for q.
4
Let l = -17 - -21. Suppose -v + l = 0, 2*z + 5*v = 4*z + 12. Solve -2*d = -3*b - d - 11, z*b = 4*d - 28 for b.
-2
Let b be 1 + 2 + -3 + 10. Let a(j) = -10 + 0*j + 5*j - j**2 + 6*j. Let m be a(b). Solve l + 17 = 3*h, -5*l + m*l - 37 = -3*h for l.
-5
Let z be (1/3)/((-8)/(-120)). Let x(g) = -g + 1. Suppose 10 = -3*r - 2. Let u be x(r). Solve z*s - y = 7 + 10, -5 = -5*s + u*y for s.
4
Let r = -1557 + 1557. Solve -2*t - 2*n = r, 3*t + 4*n + 25 = 4*t for t.
5
Let n(j) = -j**3 - 13*j**2 - 11*j + 14. Let p be n(-12). Solve 3*h - 4*h = -5*s + 7, -p = -2*s for h.
-2
Suppose -6*o = 1631 - 1691. Solve -2*l + 14 = 3*d, -2*d + l + o = 3*l for d.
4
Let y = -319 + 322. Solve 0 = 3*g + 3*d + 3 + y, -4*d = 5*g + 5 for g.
3
Suppose -11*g = -13*g + 8. Solve -l - c = 0, -g*l - 2*c = c for l.
0
Let k = -241 - -117. Let u be (0 - 2)/(0 - (-8)/k). Solve -4*a - 3*i = -u, -2*a = 3*a - 4*i for a.
4
Suppose -x + 12 = x. Let n be 12/20 + (-28)/(-20). Solve n*k = -k + x, -3*k + 18 = 3*a for a.
4
Let n(i) be the second derivative of -i**3/6 + 9*i**2/2 - 7*i. Let d be n(4). Suppose d*c = -c. Solve -4*v + 2*o + 22 = 0, c*v + v + o = -2 for v.
3
Let z(i) = 14*i + 27. Let v be z(0). Solve -2*s + 11 = -l, 6*l + 4*s - v = 9*l for l.
-5
Let f be (20/3)/((-77)/21 + 4). Let c be (f/(-6))/(7/((-126)/12)). Solve -2*x + 13 = y - c*x, -8 = y + 4*x for y.
4
Suppose -w + 3*w - 93 = -5*p, p = -3*w + 29. Let k = p - 13. Solve -2*t = 4*s + 8, 6*s - 7*s + k = 2*t for s.
-4
Suppose -17 = -3*l + 19. Let m = 14 - l. Solve -4*z + 4 = -0*u - 4*u, m*z = 5*u - 7 for u.
3
Suppose 0 = -5*b - 5*h - 2 + 7, 4*b - 12 = -2*h. Let s(z) = z**2 - 10*z - 9. Let x be s(8). Let c = x + 27. Solve k = b*d - c*k, d + 2 = k for d.
3
Let r = 90 + -43. Let a be (16/4 - r)*-1. Suppose 4*m + 3*g + 2*g - a = 0, 4*m - 3*g = 19. Solve m*u = 2*u - 25, 0 = 4*j + 2*u - 6 for j.
4
Let j = -63 - -76. Suppose -j*d - 60 = -16*d. Solve 3*z - d = 5*i + 4*z, -12 = 3*i + 5*z for i.
-4
Suppose -13*i + 7*i + 30 = 0. Solve -4*x - 22 = -3*c, c + 3*x - 10 = i*x for c.
2
Suppose -y - 2 = -6*f + 5*f, 0 = -5*f + y + 18. Solve m + f = 3*p + 17, 0 = 3*m - 5*p - 27 for m.
4
Let z(m) = -2*m**3 + 9*m**2 + 44*m - 183. Let q be z(5). Suppose -7*t + 3*t = 0. Solve 4*l + o = -t + 3, -4*o + q = 0 for l.
0
Let o(f) = -f**3 - f**2 - f - 7. Let c be o(-3). Suppose -3*i + 27 = 5*g - 47, 0 = -g - i + c. Suppose r = -2 + g. Solve 0 = v - 5*q + 3*q, r = 3*v + q for v.
4
Suppose -p - 6*p + 21 = 0. Solve 3*z + 6 = 3*l - p, 0 = -3*l - 5*z - 7 for l.
1
Let v = -467 - -483. Solve -v = 4*k + 4*z, -k - 2*k = 5*z + 16 for k.
-2
Let v = 2 - 0. Let d(j) = -j**3 + j - 2. Let q be d(-2). Suppose -3*y = -q*y + 2. Solve 4*w + 24 = -4*i, v*w - y = -i + 3*w for i.
-2
Suppose 10 - 1 = 9*c. Suppose 2*p - 9 - 17 = 0. Solve h - c = -2*h - 5*j, 0 = -5*h - j - p for h.
-3
Let j be (-6)/36 + 1/6. Suppose j = -s + 2 + 1. Solve 0 = -w + 3*g - 1, w + 4*g - 3 = s for w.
2
Let m be 1599/273 - (-6)/(-7). Solve -p = -3*b + 2, p + 5*b - 1 = m*p for p.
1
Let l = -1 + 1. Suppose -h + l = -9. Let a be h/(-12)*(-8)/3. Solve 5*x - 5*y + 36 = x, -y - 4 = a*x for x.
-4
Let f = 36 + -35. Let g be f/5 + 116/20. Solve 2*d + g = -5*y - 0, -4*y - 8 = 0 for d.
2
Suppose -5*g + 9 + 11 = 0. Let h be ((-9)/(-3) - 1)*g. Solve -32 = -4*l - 2*o - h, -o + 24 = 5*l for l.
4
Suppose -4*k - 4 = -16. Solve 0 = q - 6*q - 2*h - k, 7 = -q - 2*h for q.
1
Suppose w - 13 = -6. Let s = -4 + 4. Let p = s + w. Solve p = c + 5*u + 1, 4*u = -5*c - 12 for c.
-4
Let y be 2/5*(-60)/(-1 + -2). Suppose -3*z = -3*i - 51, -2*i = 3*z - y*z + 91. Solve -4*p + 0*v + 22 = 2*v, -3*p - 4*v = -z for p.
5
Let u(b) = -b**3 - 6*b**2 + 8*b + 16. Let r be u(-7). Let n = 12 - r. Solve -2*h - 4 = 2*h + 4*j, h + 13 = n*j for h.
-4
Let q(k) = -14*k + 369. Let r be q(26). Solve 0 = -r*g - u - 6 + 2, -u = g + 4 for g.
0
Let p(n) = n**3 + 4*n**2 - 7. Let t be p(-3). Suppose g + 15 = -t*u + 11, 3*g - 10 = 5*u. Solve -3*o - 4*d = -5, -o = -g*o + d for o.
-5
Let b be 7458/1518 + 2/23. Solve -3*x = -b*d + 31, -6*x + 2*x - 33 = -5*d for x.
-2
Suppose -t - t - 4 = -4*w, 2 = -3*t + 4*w. Suppose -t*o + o + 10 = 0. Solve 5*m + o = -10, 45 = -5*u - 5*m for u.
-5
Suppose -m - 4 = 5*n, 11 = -5*n - 2*m + 3. Let o = 2 - 9. Let v = o - -14. Solve l = n, -v*l + 20 = 5*y - 3*l for y.
4
Suppose 5*n + 12*d - 13 = 13*d, -d = 5*n - 17. Solve -3*q = 2*b + 4, -n*b - q = -0*q - 1 for b.
1
Suppose 3*m + 8 = 