17 = 0 for q.
-1
Let y = 8 - -3. Suppose -10 = -0*u - 2*u. Solve 0*b + 2*b = -u*w - y, -5*b - 12 = -3*w for w.
-1
Let f = -14 + 14. Suppose f = -a + 4 - 3. Let d = a + 5. Solve 5*k = 2*t - 17, -3*k - d = -t + 4 for k.
-3
Suppose 4*q + 34 = 6*q. Suppose 0 = -o + 29 - q. Let p be (-1 - o/(-8))*0. Solve 2*u - 3*u = 3*l - 15, 4*l - 20 = p for u.
0
Let c(m) = -m. Let v(t) = -7 + 3*t + 7*t - t - 2*t**2. Let o(z) = -5*c(z) + v(z). Let r be o(6). Solve -r*d - 7 = -2, -2*x - 3*d = -7 for x.
5
Let y(g) = -g**2 - 25*g - 44. Let f be y(-23). Solve -15 = -m - 3*x, -5*x = -m - f*x - 9 for m.
3
Let t be 0*(4 - (-27)/(-6)). Suppose t*s - 4*s + 28 = 0. Solve -9 = 3*r + 4*w - s*w, w = -3*r + 7 for r.
1
Let f be (-1 + (-7)/(-5))*5. Suppose 3*y - 3*s - 24 = 0, 3*y - 18 = -f*s + 1. Let a = 7 - y. Solve a = -4*k - 3*b + 19, 3*k + 7 = 2*b for k.
1
Suppose -k = 3*i + 9, -5*i + 1 + 4 = -5*k. Let h be (-2 - -33) + i + 3. Let n = 23 - 19. Solve 0 = -2*d + 7*d + 4*c + n, -3*d + 5*c = h for d.
-4
Let c be (2 - (4 - 1))*13. Let v = -7 - c. Solve -f - v = 3*b, 2 = -f + 2*f - 5*b for f.
-3
Let z(d) = -d**2 + d + 2. Let r be z(-3). Let u = -3 - r. Solve -2*h - 16 = h - y, 2*y - u = h for h.
-5
Suppose -92 - 13 = -5*t. Suppose 3*h - 11 = -4*a + t, h + 1 = a. Let z be (2/(-4))/((-1)/(-2))*-17. Solve -a*w = 4*b - z, 0 = 5*w - b - 2 for w.
1
Let u(b) = -11*b - 72. Let c be u(-7). Solve -3*v - c + 23 = 3*a, 4*a - 4*v = -8 for a.
2
Let o = 5 + 0. Suppose -r + 6*r + 80 = -o*t, t = r + 16. Let l be -2*4/r*6. Solve -2*d - l - 3 = 2*z, -3*z + 4*d = 16 for z.
-4
Let n = 959 + -955. Solve 0 = 2*z + 3*d + 21, z + 14 = -n*d - 9 for z.
-3
Let q be (-1 - 4)*-6*(-2 + 3). Let t = q - 26. Solve -t*m - 2 = -y, 3*y = 4*m + m - 1 for y.
-2
Let v be -1*(-1 - (-2)/(-2)). Let k(w) be the third derivative of -5*w**4/12 - 4*w**2. Let b be k(-1). Solve 0 = 4*q - v*a - a + 20, b = 5*q + 5*a for q.
-2
Let x = 27 - 25. Let g = 3 + 4. Let v be (3 - 0) + (g - 9). Solve -2*m = -a - 2, -a + x*m - v = m for a.
0
Suppose -4 = 3*d - 4*d. Let q be (d - 3)*(2 - -3). Let w(v) = 2*v - 9. Let k be w(9). Solve -z - 5*i = -q*z + 14, z = -5*i - k for z.
1
Let h be ((-3)/(-7))/((-126)/(-588)). Solve -10 = -3*o - h*j - 5, 2*o + 2*j - 4 = 0 for o.
1
Let a(t) = 2*t**2 + 2*t + 4. Let p be a(-3). Suppose 0 - p = -4*v. Solve -u = -3*s - 2 - 8, -v*s - 2*u = 10 for s.
-3
Let f(k) = -k**2 + 5*k. Let b be f(6). Let v be (b - -3 - -15) + 1. Let i(y) = y**2 + 4*y - 2. Let a be i(-5). Solve -a = -4*u + v, 4*u - 13 = t for t.
3
Let v be (1 - 3)/((-2)/3). Suppose -11 = -v*t + 2*u + 7, 4*u + 4 = -2*t. Suppose -3*r = -t - 2. Solve 0 = -2*n + 3*o - 9, o - 3*o = -r for n.
-3
Suppose 24 = 7*s + 3. Suppose -5*t - 2*f + 79 = 0, 0 = -t + 6*t - s*f - 69. Solve 2*h = b + 5, 0*b = 2*b + h - t for b.
5
Suppose -3*h - 7*o = -2*o + 10, 0 = -o - 5. Solve -3 - 10 = h*m + 4*l, 0 = 5*m - 5*l - 5 for m.
-1
Let a(t) = -t**2 + 10*t + 42. Let p be a(-3). Solve -p = d + 2*s, -3*d + 0*d + 2*s - 1 = 0 for d.
-1
Let l be (0/((-3)/3))/(-1). Let n = l - -1. Let y be -57*(n + (-12)/9). Solve 3*z - 2*z = -2, -y = -5*b - 3*z for b.
5
Suppose 0 = -3*y + 4*m + 11, -m = 2*y - 4*y + 9. Solve -r + 5*c = -3*r + 9, 5*c - y = 0 for r.
2
Let j(l) = l**2 - 14*l - 46. Let b be j(-3). Solve -b*d - 3*c - 2*c - 35 = 0, -5*d - 4*c - 32 = 0 for d.
-4
Suppose 0 = m - 4*z - 1 - 21, 2*m + 4*z + 16 = 0. Suppose -m*k - 9 + 41 = 0. Solve d - 1 - 1 = 0, -3*q - 5*d + k = 0 for q.
2
Suppose 2*k = 3*k - 5*l + 9, -5*l = -20. Let z(h) = 0*h - h**2 - 7 - 1 + 12*h. Let y be z(k). Solve -y*t + 5*p + 32 = 0, -p = 3*t + 4*p + 8 for t.
4
Suppose 11 + 13 = 3*q. Let b be 39/65 + q*4/5. Solve -3*a - 4*t = -b*t + 3, 2*a - 4*t = 0 for a.
-2
Suppose 8*l - 66 = -3*u + 10*l, -4*l + 12 = 0. Let i = 16 - 12. Solve -5*j + i*p = u + 2, -3*p = -3*j - 18 for j.
-2
Let b be (22/(-6))/((-3)/9). Suppose -3*v + 2*n = -4, -46*v - 10 = -50*v - 2*n. Solve v*c + u - b = 0, 0 = u + 4 - 5 for c.
5
Let m = 82 + -62. Suppose 0*o - m = 3*a - 5*o, -a - 16 = -4*o. Solve a = f - 0*f - 1, -5*d - 3*f + 28 = 0 for d.
5
Let o be (-11 + 108/10)*0. Solve -2*t - 3*g - 23 = o, 4*t + 2*g = -3*g - 41 for t.
-4
Let s be 4/(-3) - 76/(-57). Solve 0 = 2*z - s*l - l + 8, z - 2*l + 7 = 0 for z.
-3
Suppose 4*x = 3 + 1. Let s(q) = -q**2 - q + 1. Let p be s(0). Suppose -3*h + 2 + p = -4*b, h = 3*b - 4. Solve 5*v = 2*r - 14, -b = v + x for r.
-3
Let n(o) = -3*o**3 + 0*o**3 + o + o**2 - 2*o - 1. Let c be n(-1). Solve g + c*f - 20 - 1 = 0, g + 5*f = 25 for g.
5
Suppose -7 = -2*o - l, -l - 14 + 1 = -3*o. Solve -3*d + 3*c - 1 = 2*c, 0 = d - o*c - 7 for d.
-1
Suppose -5*n - 3*m + 25 = 0, -4*n + 2*m = 7*m - 33. Solve 4*z - 5*w = -11, -2*z - z - n*w + 9 = 0 for z.
1
Let d(c) = 262 - 260 + c**2 - 8*c - 4*c. Let s be d(12). Solve x + t = -4 + 3, -s*x = 4*t - 4 for x.
-4
Let l be -10*9/(-12)*-2. Let j be l*(2/(12/10) + -2). Solve 0 = -j*c + 5, -4*h - 3*c - 23 = -6*c for h.
-5
Let s = 50 + -88. Let p = -35 - s. Solve p*y = -f - 12, 0 = 2*y + 3*y - 2*f + 9 for y.
-3
Let m = -118 + 120. Solve y - i - 3 = 4*y, m*y = -i - 1 for y.
-2
Let v = 14 - 2. Suppose -2*t + v = t. Solve -s + t*f = -25, 10 = 2*s + s + f for s.
5
Let r = -41 - -39. Let u be (-6*(-5)/(-10))/(r + 1). Solve 24 = 3*l - 5*i, -u*i = 6*l - 2*l - 3 for l.
3
Suppose 0 = -p + 3 - 1. Suppose i = 3*i. Suppose b - p*b = i. Solve -5*j = 5*l + 35, -2*l + 5*j + b + 21 = 0 for l.
-2
Let w be (40/12)/(5/30). Suppose -8*u = -9*u + w. Solve 0 = 5*i - u, -j + 4 = j + i for j.
0
Let b(y) = y**3 + 7*y**2 - y - 8. Let c be b(-7). Let m be (-1)/(3*c/9). Solve 3*d + 5*h = -m - 0, -7 = -4*d - 3*h for d.
4
Let f(j) = j**2 - 5*j + 2. Let m be f(0). Solve 3 = -5*v + r - m, 4*v - 15 = -3*r for v.
0
Suppose -7*u = 109 - 123. Suppose -5*n - l - 7 + 24 = 0, l - 5 = -2*n. Solve -15 = 3*i - j - 2*j, -u*j = n*i + 14 for i.
-4
Suppose 2*f = f + 5. Let u = -2058 - -2058. Solve -5*x + c - 6*c + 10 = u, f*x - 8 = -4*c for x.
0
Suppose -2*p + 3*p = 3. Suppose -5*r + 3*r - p*v = 0, 5*v + 7 = -r. Solve 2*c - 16 = -2*m - 3*m, -r*m + 4*c - 6 = 0 for m.
2
Let t be (-12)/90 + 0 + (-488)/(-60). Solve -4*o + 2*m + 6 = -t, 11 = -4*o - 3*m for o.
1
Let v = 41 - 39. Let k be v*(-1 + 6/2). Let a be (-32)/(-6) + (-4)/12. Solve -5*b = 4*t + 28, a*b + 3*t - k*t = -18 for b.
-4
Let a = -1083 + 1088. Solve -k = -a*j + 16, -j + 19 = -4*k + 4*j for k.
-1
Let a = 14 + -23. Let z(i) = -i**3 - 8*i**2 + 10*i + 7. Let h be z(a). Let r(n) = -3*n - 3. Let c be r(h). Solve 4*b = 0, -4*g = -5*b - 1 - c for g.
1
Let b be ((-10)/25)/((-12)/10 + 1). Suppose 5*a = c + 25, a + 5 = b*a - 4*c. Let q = 2 + 0. Solve -5*l + q*t = -23, -l + 2*t - 4 = -a*l for l.
3
Suppose -3*t - t - 438 = l, 0 = -2*l - 4. Let m = t - -120. Suppose -5*a = 5*g - 20, -2*g = -5*g - 5*a + 18. Solve -g = r - 3*d - 0, 5*d = -3*r + m for r.
2
Let j(k) = -242*k - 477. Let u be j(-2). Solve u*x - 8*x - w = 0, 0 = -x + 3*w + 8 for x.
2
Suppose 3*n - t = t + 46, 2*n = 5*t + 49. Suppose 11*h - n = 8*h. Solve h*m + 4 = 3*q, 5*m + 4 = -4*q + m for q.
0
Suppose -10*a - 6*a = 48. Let q be 2/6*-1 - 49/a. Solve -q = 3*x - w, 0*w + w = 4 for x.
-4
Suppose -8*b = -14*b + 18. Solve -b*i = 2*d - 4, i + 6 - 14 = d for d.
-4
Let d = -208 - -212. Solve -5*f - 2 = 4*c - 6, -c + d = 2*f for f.
4
Let p = 140 + -133. Let v(b) = -3*b + 25. Let t be v(p). Suppose 7 = u + 3. Solve -5*z = -t*g + 14, 5*g + z + 1 = u for g.
1
Let f = 89 - 50. Suppose -f*x + 34*x + 10 = 0. Suppose 0*w - 3*w = -18. Solve 5*p = -4*t + w, 2*p + 4*t - 2*t - x = 0 for p.
2
Let f = -117 + 133. Let v(l) be the first derivative of 5*l**3/3 + l**2/2 + 1. Let z be v(-1). Solve -o = -z*x - f, -x + 3 = 8 for o.
-4
Let m = -244 + 248. Solve 5*s = -0*i - i - 17, m*i - 4 = -2*s for s.
-4
Suppose -3*f - 3 = -6. Suppose f = -2*q + 25. Let s(a) = a**3 - 13*a**2 + 11*a + 14. Let d be s(q). Solve -d*t = 2*i - 6, 5*i - 3*t = 7 + 24 for i.
5
Let t be (78/21)/2 - 2/(-14). Let r(i) = 2*i**2 - 3*i + 1. Let n be r(3). Suppose -f + t*f = n. Solve b - 7 = 4*s, s + 4*s + f = b for s.
-3
Suppose -22*u - 279 = -25*u. Suppose 89*x = u*x. Solve 4*g - 3*g + q - 6 = x, -8 = -2*g - q for g.
2
Suppose l = -4*l + 345. Suppose -v - l = -74. Solve s + 3*x = -14, -2*x - 2*x = v*s + 26 for s.
-2
Let j = 34 + -24. Suppose -13*l + 6 = -j*l. Solve -4*k = m, 5*m + 19 = l*k - 3 for 