67*y + 1673. Let l be p(-10). Solve 3*s = g*c - 18, -l*s - 3 = -c + 13 for c.
1
Let h be (1/(-3))/(5/(-30)). Suppose -5*n - h = -6*n. Solve n*p = -s + 3, 0 = 3*p + p - 4*s for p.
1
Let x = -26 + 28. Suppose 0 = -x*s - b + 41, -4*s - 3*b = -115 + 38. Solve 2*d = -5*t - s, 4*d = -4 - 12 for t.
-3
Let p be (-28)/(-6) + (-2)/(-6). Solve u + 0*u + 5*l - 26 = 0, 2*u + p*l = 27 for u.
1
Let j(o) = -o**2 - 3*o + 11. Let f be j(-6). Let g be (-4)/2*2 - f. Solve -1 = -g*p + 5*a, -3*p - 2*p - 5*a = -15 for p.
2
Let i be 2/(-5)*(-6 + -4). Suppose -i*g - 13 = 75. Let r = -22 - g. Solve 3*k + 1 - 10 = r, o = -2*k + 1 for o.
-5
Suppose o + 5*w + 7 = 0, 4*o - 14 = -26*w + 27*w. Solve 18 = n + o*m, -n + 0*n - m + 8 = 0 for n.
3
Let f(z) = z**3 - 7*z**2 + 8*z - 8. Let c be f(6). Let r = 1282 - 1282. Solve 0 = -c*h + i + 18, 5*h + r*h - 22 = i for h.
4
Suppose -2*h - 16 + 34 = 0. Let b = 13 - h. Solve 5*p + 3 + 12 = 5*y, 3*p + b*y + 9 = 0 for p.
-3
Let s = -133 + 136. Solve -i - 5 = 0, -d + 2*d = -s*i - 20 for d.
-5
Let y(h) = -h**3 + 10*h**2 + 15*h - 18. Let k be y(11). Solve 14 = -2*a + 4*l - 5*l, 4*l + k = -2*a for a.
-5
Suppose -9*b + 3*m + 15 = -6*b, 13 = 5*b + m. Solve 0 = -b*d + 5*l + 12, 8*d - 20 = 3*d + 5*l for d.
4
Let n = 15 + -12. Let s be (8/(-10))/(3/(-15)). Suppose -9 = -n*l + s*l - 3*u, -4*l + 6 = 2*u. Solve -2*c - d = -10, -4*c + 2*d + 4 = -l*d for c.
3
Let g be (-4)/(-6)*(-20 + -4). Let h = -11 - g. Solve 17 = 5*v - 3*b, -v - h*b = -b + 15 for v.
1
Suppose 0 = -w + 2*f + 3, 7*f - 10 = -w + 2*f. Solve 0 = -4*o + 4*l - 5 + 45, 0 = -2*o - w*l - 15 for o.
5
Suppose 6*o - 205 - 71 = 0. Let r = -41 + o. Solve -r*b - 3*d = -14, d = 3*b + 2*d - 6 for b.
1
Let j(b) = 3*b**3 + 15*b**2 + b + 1. Let v be j(-5). Let y be v/(-6)*(17 - 14). Solve 13 = -3*u + 5*i, -u - 3*i + y = -3 for u.
-1
Let r(z) = 2*z**2 - 12*z + 14. Let d be r(10). Suppose -2*o = -3*q - 3*o + 77, -4*q + d = -3*o. Solve 2*l - 4*y = l - 22, 5*l - 3*y + q = 0 for l.
-2
Suppose 8*c = 16*c - 384. Suppose 13*q = 9*q + c. Solve -5*r - q = -2*o + o, 4*r + 27 = -5*o for r.
-3
Suppose -3*t - 8 = s, 0 = 2*t + 3*s - 8*s - 23. Let a(h) = 2*h**2 + h + 1. Let v be a(t). Suppose v*x = x. Solve x = -3*n - 3, 3*b + 25 = -b - 5*n for b.
-5
Suppose 16*t - 12*t = -8. Let f = t + 5. Suppose 0 = -5*p - 0*w + 3*w + 14, 0 = -3*p + f*w + 6. Solve q - 2 = -4*q + 4*v, -2*v + p = 0 for q.
2
Suppose 12 = 3*j + 3. Let o be 1/j + 80/30. Solve o*d + 4*g = 22 - 2, -5*d + 5*g = 25 for d.
0
Let u = 0 + 2. Let m be -3*(16/12 - u). Suppose -c + 0*c = 5*l - 29, -33 = -5*l - m*c. Solve -4*x + 2*b + 20 = 0, -l*x - 3*b + 15 - 1 = 0 for x.
4
Suppose -4*b - f - f = 220, -2*b = 3*f + 102. Let q = b + 60. Solve -c - 6 = 2*m - 1, -q*c - 3 = 2*m for m.
-3
Let w(u) = -39*u - 3. Let x be w(7). Let c be x/9 - 4/(-6). Let q be (-128)/(-10) + (-6)/c. Solve 4*k = -p + q, 2*k + 10 = -2*p + 3*k for p.
-3
Let c be 2/((-1)/(-25)*5) - 3. Solve -2*b = -5*s + c, 0 = -3*s + 3 - 0 for b.
-1
Let t be 13/39 + 8/3 + 0. Solve 4*i = -t*s - 1, 4*i = 4*s - i + 22 for s.
-3
Let h(n) = n**3 - 8*n**2 - 10*n + 14. Let d be h(9). Solve 0 = -2*u - 3*i - 6, -u - 4*u - d*i - 10 = 0 for u.
0
Let p be (254/(-381))/(1 - (-58)/(-54)). Solve p*s = -4*u + 12*s - 21, -5*s + 24 = -3*u for u.
-3
Let l = -21 + 29. Let d = l - 3. Suppose 4 - 74 = -d*m. Solve -j - m = 5*y - 36, -3*j = -4*y + 29 for y.
5
Let d = -2528 - -2528. Solve -2*n = -2*w - 2, d = -2*n + 6*n - 5*w for n.
5
Let j be (-6)/(-6) - (1 + -6 - -4). Solve -r + 3 = 0, j*p + 2 = -3*r + 15 for p.
2
Let k = 19 + -22. Let w be (28/(-8) - k)*0. Solve -3*q + w + 4 = -5*r, -4*r + 7 = q for q.
3
Let y be 68/(-85)*5/(-2). Let g(l) = -2*l - 1. Let j be g(-2). Let v = j + 1. Solve 21 = -y*c + 3*k, -c - v*k = -4*c - 29 for c.
-3
Suppose 6*x - 76 = -10. Solve 2 = 3*q + 4*p, 5 - x = 4*q + p for q.
-2
Suppose -3*u = -3*l + l - 34, 0 = -5*u - l + 48. Suppose -5*o + 40 = u. Solve -5*z = 4*q + 10, 21 = -5*z - 5*q + o for z.
2
Suppose 0 = 5*x - 10. Solve 2*c - 6 = 2*q, -x = 4*q - 2*c + 2 for q.
1
Suppose 37 - 25 = 4*a. Let l = 11 + 17. Suppose 2*v - 3*v + 4*i = -17, -5*v = -i - l. Solve -2*n = 3*h - v - 3, -h - 1 = -a*n for h.
2
Suppose -d = -2*k - 2, 0 = d - 3*d + 5*k + 3. Solve -6 = 5*l - d*x, 0*l = l - 5*x + 18 for l.
2
Let c be 6/2 + 1 + -1. Let w = 14 - 20. Let b be (5/2)/(-5)*w. Solve 3*u + 3 = p, -c*u + 2*u + b = p for u.
0
Let b = 728 + -723. Solve 4*o - 2 = -0*h - 2*h, -o + 17 = -b*h for h.
-3
Let x = 22 + -12. Suppose 2*p + 3*p = 3*n + 10, 0 = 5*p - 25. Solve n*j + x = -3*m, m + 13 = -5*j - 7 for m.
5
Suppose -s + 4 = -1. Let a = -875 - -876. Solve -u + 0 = -a, 0 = 2*c - s*u + 3 for c.
1
Suppose -k - 3*o + 5 = 0, -2*k - 3*k = -4*o - 44. Let l be ((-7)/(-2) - 4)/((-2)/k). Solve -l*q + 2*b = 0, b + 12 = 2*q + 2*b for q.
4
Let n(l) = l**3 - l**2 + 7*l + 5. Let a be n(0). Solve a*s - 23 = 3*m, 0 = s - m - 4*m - 9 for s.
4
Let m be 3 - (0 + (-3)/3)*-3. Solve l + l = 4*n, m = l + 2*n for l.
0
Let g(y) = -y + 15. Let w be g(13). Solve -w*p + 6 = -4*v - v, 5*p - 3*v = 15 for p.
3
Suppose -14 = -5*x + 1. Let v(t) = t - 2 + 4*t**2 + 2*t**2 + t**2 - 12*t**2 + t**x. Let n be v(5). Solve 5*r + 2*o - 25 = 0, -2*r + 0*r = -n*o + 9 for r.
3
Let j(d) = -11*d - 27. Let x be j(-5). Suppose 4*u + 4 = x. Solve 5*f - 2*f = -4*n - 14, -4*f + n = u for f.
-2
Suppose -4*j = -13 + 1. Suppose -4*w = o - 17, 2*o + 4*w = 27 + 11. Let d = 64 - 62. Solve 0 = -j*p - 0*r + 3*r + o, -r = d*p - 8 for p.
5
Let f(d) = -d**2 + 23*d + 3. Let p be f(23). Solve -p*b - 4*n = -3, -3 = -2*n + 3*n for b.
5
Let l = 615 - 610. Solve -i + 2*k + 2*k = -4, 4*i = 5*k + l for i.
0
Suppose -391 = 4*d + 69. Let p be d/(-23)*6/10. Solve -5*f + 4*y - 14 = 9, 7 = -p*f - y for f.
-3
Let y(h) = h**2 - 2*h - 3. Let f be ((-3)/2)/(1/2). Let c be y(f). Solve -c = -4*n - w, -n = -3*w + 2 + 8 for n.
2
Let i be (8/10)/((-2)/(-10)). Let a = 119 + -115. Let v(q) = -q**3 + 3*q**2 + 5*q. Let l be v(a). Solve 9*d = 3*s + l*d - 16, 2 = 5*s + i*d for s.
2
Let s(o) be the first derivative of -o**3/3 + 11*o**2/2 + 2*o + 4. Let c be s(11). Solve m = 2, -c*m + 0*m + 1 = -w for w.
3
Let t be -19 - (0/1)/2. Let o be (2 + 20)*3/3. Let j = o + t. Solve 2*v + 2*g - 3 + 1 = 0, -7 = -j*v + g for v.
2
Suppose 1 = f - 4. Let s be (f + -4)*-1 + 6. Solve -4*v - 2*g + 2 = -8, -s*g = -3*v - 12 for v.
1
Let v(l) = -42*l - 165. Let i be v(-4). Solve 31 = 5*k + i*c, k = -4*c + 5 + 8 for k.
5
Let k = 144 - 143. Solve d = v, 0 = -0*v + v - 2*d - k for v.
-1
Let x = 5 - 5. Let c(s) = -s - 1. Let y(g) = -3*g - 17. Let q(a) = 4*c(a) - y(a). Let d be q(10). Solve -d*o = 3*m, x = 2*m - 3 + 9 for o.
3
Suppose 13*u - 52 = -0*u. Let w(i) = 9*i + 2. Let l be w(2). Suppose -5*q - 73 = 5*y - 248, 0 = 4*q + l. Solve y = -5*h - 0*j - u*j, -h = -5*j - 21 for h.
-4
Let o be 7/21*-33 - -11. Solve -5*f + 0 = v + 1, 3*f - 2*v - 2 = o for f.
0
Let b = 54 - 54. Let r be 68/8 + (-1)/(-2) + b. Suppose 4*d - 3*l - 100 = 0, 2*l + 25 = d + l. Solve -o = 2*u + 1, -2*o + 2*u - r = -d for o.
5
Suppose 27*m = 178 - 16. Solve 0 = 3*v - 4*r + 1, 0 = 4*v - m*v + 3*r - 1 for v.
1
Suppose 5*y = 4*u - 9, 4*u - 13 = -2*y - 39. Let v = -1 - y. Solve -v*x = 4*s, 0*s - 4*s = x + 15 for x.
5
Let c(k) = 2*k - 4. Let z be c(3). Let y be 18/5*5/z. Solve -5*l + y = b - 7, b - 4 = -2*l for l.
4
Let s = -8 + 3. Let l(j) = 0 - 13*j + 10*j - 2 + 0. Let y be l(s). Solve -3*p + 2*u + 0*u = 7, -5*p = -3*u + y for p.
-5
Suppose -7*p - 8*p = -300. Solve 5*b - 5*y = 0, -6 = -3*b + p*y - 15*y for b.
-3
Let v be 96/(-72)*6/(-4). Solve -4 = -v*p, 5*c = 2*c - p + 17 for c.
5
Let l(c) = c**2 - 8*c + 4. Let m be 2/(-10) + 3/15. Suppose -z + 8 + 0 = m. Let q be l(z). Solve -q*y + 0*b = -b + 23, -3*y = -4*b + 27 for y.
-5
Suppose 38 = 5*y - 2. Suppose 3*i - y*i = 10*i. Solve 2*a - 1 - 9 = i, -4*a = -4*o - 32 for o.
-3
Suppose -50 + 23 = -9*l. Solve -a + l*a = g - 8, 0 = -2*a + 2*g - 10 for a.
-3
Suppose 6*v = 5*v + 42. Suppose 166 + v = 4*r. Let m be 22/10 - r/(-65). Solve 2*j - m*l = 6*j - 9, 4*j = l - 3 for j.
0
Let j = -181 + 183. Solve -7 = -5*l - u, l - u = j + 3 for l.
2
Let v(i) = -85*i**3 - i**2 + 1. Let y be v(1). Let x = 87 + y. Solve -h + 4*p = -0*h - 16, x*p + 6 = h for h.
-4
Suppose -3*b = -270 + 255. Solve -9*p - 4 = -8*p - t, -4*p + b*t = 20 for p.
0
Let 