12 + m. Suppose 0 = -y + l*c + 15, y - 2*c = c + 12. Solve -a + 5*x - 15 = 0, -y = -a - 2*x + x for a.
0
Let u be (8 - 14)*(-2)/6. Let q be (3 - 2) + 0 + 4. Let j = 66 + -61. Solve q = -j*g - w, 11 = -3*g - u*w + 1 for g.
0
Suppose -83 = n - 110. Suppose n = i + 3*i + 5*k, 0 = 4*k - 12. Solve o - 2*u - 6 = -5*u, 0 = -i*o - 3*u for o.
-3
Let r = 1136 - 1126. Solve 3*l + r = -4*s, 2*l = -4*s + 8*s for l.
-2
Suppose 4*w + 1 = 5. Suppose 2*q + 3*k = k + 10, -5*q = -3*k - w. Suppose q*d + 3*a + 6 = 0, 2 = -a - 0. Solve d = 5*s - j + 1, s + j = 4*j - 3 for s.
0
Let u(j) = 1. Let a(z) = 2*z - 7. Let r(v) = -a(v) - 6*u(v). Let q be r(-2). Solve -m - q = -3*x, 4*m - x - 4 = 3*x for m.
4
Let h(q) = q**3 + 3*q**2 - 5*q - 2. Let f be h(-4). Let j be ((-72)/(-84))/(32/14 - f). Solve -4*w = 4*z - 28, w - 13 - j = -4*z for w.
4
Let f(n) = -n**2 - 4*n - 2. Let m be f(-3). Let x(o) = -o**2 - 15*o + 19. Let c be x(-16). Suppose c*q = -0*q + 9. Solve -q*t = v + m, -3*v = 6*t - t + 7 for t.
1
Suppose 3 = -u, -2*t - 10 = -4*u - 26. Suppose 7*l - 10 = t*l. Let y = 11166 + -11159. Solve -b - l*v - y = 0, -5*b - 20 = 3*v - 8*v for b.
-5
Let o be 4*6/(-30) + 308/10. Let p(m) = -2*m**2 + 58*m + 62. Let n be p(o). Solve n*y - 18 = 4*s, -4*y + s = -2*s - 21 for y.
3
Suppose 3*m - 1 = 14. Let r be 5/10 - 7/(-2). Let d be -6 - (7 + -9 - 28). Solve r*h = -4*n + d, -4*n = -m*h - n + 14 for h.
4
Suppose -3*g + 28 = 11*g. Suppose 3*f - 15 = -3*u, 4*u - 9 = -g*f + 3. Solve 4*h = s + 2*s - f, -4*s + 26 = 5*h for h.
2
Suppose 2 - 17 = -5*z. Solve 2 = 5*d - 5*n - z, 4*n - 26 = -2*d for d.
5
Let b be (-22)/(-55)*150/12. Solve 5*y - 2*a = -18, 2*a + 4 = -b*y + 2 for y.
-2
Let j be (-4 - ((-10)/2 + 4)) + -12. Let q = j - -33. Solve 5*n = 5*h + n + q, 3*h + 16 = 5*n for h.
-2
Suppose 0 = -31*a + 34*a - 84. Let w = 31 - a. Solve c - 12 = -0*m - 2*m, 0 = -w*m - 2*c + 19 for m.
5
Suppose -5 = 3*j + 5*b, -5*b + 1 + 4 = 5*j. Solve 0 = -i + j*y - 15, i = 2*i + 5*y - 25 for i.
5
Let a be (-11)/(-3) - (-2)/(-3). Let r = 0 - -36. Let x = -33 + r. Solve -5*f + 10 = -0*f, x*v = a*f for v.
2
Let b(v) = v**3 + 5*v**2. Let z be (-8)/2 - (2 + -1 + 0). Let a be b(z). Solve o + 0*y + 3*y + 12 = a, 0 = -4*y - 16 for o.
0
Let x be (-47)/(-9) + 2/(-9). Let c be 2/x + 36/10. Suppose 40 = 4*o - 5*n, -7 + 3 = -c*o - 4*n. Solve 0 = -o*i - 3*y + 25, 2*i + 7 = -5*y + 17 for i.
5
Suppose -32*n = -27*n - 2*f - 130, 3*f = -n + 9. Solve -c + n = 5*z, 3*c + 1 = 3*z - 17 for c.
-1
Let y(s) = -s**3 + 15*s**2 + 37*s - 41. Let v be y(17). Solve -3*b = 2*d - 5, -7*d - v = -2*d for b.
3
Suppose 0 = 3*j - p - 102, 7*p - 2*p = 15. Suppose 3*o - j = 4. Solve 3*i = -3*m + 5 + o, 2*i = 4*m for m.
2
Let h(t) = t**3 + 5*t**2. Let k be h(-5). Let v = 2438 - 2433. Solve v*s + m = 23, 0 = 4*s - m - k*m - 22 for s.
5
Let r = 11 - 4. Let u be 42/12*4/r. Solve 9 = -p - 3*h, -u = p + h + 3 for p.
-3
Let j(b) = -b**2 - 4*b + 2. Let n be j(-4). Suppose -a = 4*a - 0*a. Suppose -p + 8 = -2*y, -p + 6 = -a*p - y. Solve n*v + v = -u - 7, p*u = 2*v + 14 for v.
-3
Let x(t) = 3*t**2 - 10*t + 7. Let z be x(3). Solve 5*y = -3*v + 35 - 4, 20 = z*y for v.
2
Let c = 10 + -7. Let z be (0/2 + 1)/(-1). Let f be (-8)/2*(z + -2 - -2). Solve 0*g - f*b - 7 = -c*g, 0 = g + b for g.
1
Suppose 12*t - 63 = -39. Solve q + 4*h + 16 = -3*q, -5*q + h = t for q.
-1
Let o be 4/(1*-2)*-10. Let p = -13 - -12. Let z(y) = -5*y - 1. Let d be z(p). Solve -r = -5*m + o, -d*r + 29 + 11 = 4*m for m.
5
Let l be 100/(-3) + ((-35)/21)/(-5). Let y(k) = k + 49. Let z be y(l). Solve -4*p + 4*o = z, 4*o + 22 = -5*p - 7 for p.
-5
Let b be (24/(-15))/(5/(50/(-4))). Let s = -62 - -65. Solve 3*h = -4*r - b, -s*r + 7*r + 16 = 0 for h.
4
Suppose 3*g - 5*a - 8 = 16, -2*a - 18 = -4*g. Solve j = -3*f - j, 3*f = -g*j for f.
0
Suppose -6 = -2*v, -31 = n + 4*n - 2*v. Let k(w) = -4*w - 15. Let h be k(n). Suppose 4 = 6*c - h*c. Solve -2*d - c = -4*t, -3*d - d = 4*t - 4 for d.
0
Suppose 2*n - 5 = -7. Let y be (4/(-3 - n))/(-4)*10. Suppose u + 0 = 2. Solve y*s - 17 = -2*h - 44, u*s + 5 = 5*h for s.
-5
Let j = 22 - 14. Suppose 4*a - 2*a = j. Solve -a*w + 14 = -3*c, -8 = 3*c + c for w.
2
Suppose 95 = 2*x + 3*w, -3*x + 32 = -5*w - 63. Suppose -x = -3*s - 5*s. Solve 3*l = 2*o - 2*l - 30, -s*o = -l - 29 for o.
5
Suppose 2 = -3*w + 11. Suppose 39 = w*l - 3*b, 44 = 2*l + 2*l - 2*b. Let q be (-1)/(-2 + 18/10). Solve -t + 5 = h, 0 = 2*t - q*h + l + 2 for t.
2
Suppose 3*i + 0 = 3*l + 6, -5*l = -2*i + 10. Suppose -7*s + 5*s + 4 = i. Solve -3*n - 2 = -5*n + s*c, -n - 2*c + 10 = 0 for n.
4
Suppose 4*v + 12 = 3*w, -3*v - 15 = -6. Suppose -3*b - 31 - 38 = w. Let p = -20 - b. Solve -z = -3*h + 1 + p, 5*z = -5*h - 20 for z.
-4
Let h(s) = 2*s**3 + 5*s**2 - 7*s + 3. Let o be h(1). Solve -2*a + 2*q - 8 = -2, 0 = 3*a + o*q - 21 for a.
2
Let k = -5 + 2. Let q = k - -8. Let a = 14 + -11. Solve -q*d + 3*t = -20, t + 12 = a*d - 0*t for d.
4
Let z = -15 - -19. Suppose -4*j + z = -20. Suppose 5*m = 4 + j. Solve -3*s - m*q + 11 = 0, 0 = -s + 3*q + q - 15 for s.
1
Let z(d) = -d**3 + 8*d**2 + 31*d + 22. Let h be z(11). Solve h = q - m + 1, -m - 7 = -3*q + 6*q for q.
-2
Let i(w) = 2*w - 24. Let x be i(13). Suppose -m + 12 = -5*h - 17, -x*h + 36 = 3*m. Suppose -6 = -3*t + 6. Solve -4*o = 2*s - s + 7, t*s - m = -2*o for s.
5
Suppose 5*r - 27 = -5*i + 2*i, -2*r - 2 = -2*i. Solve 4*z - i = 3*b, 0*b - 1 = b - z for b.
0
Suppose 2*p - 167 = 3*g, -5*p + 0*g + g + 411 = 0. Let d be p/(-3) + 4/(-6). Let l = 32 + d. Solve 2*n + 7 = 3*y - 6, -l*y + 5*n = -29 for y.
1
Suppose -5*p = -2*d - 16, 6 = d + p - 0*p. Suppose 3*i = -5*l - 100, -4*l = -6*i + i - 216. Let q = -36 - i. Solve b = x + 4*b + q, -2*x + d = b for x.
2
Let l be ((-43)/(-3))/(1/3). Let w = -18 + l. Solve -2*f - s = 5, s + 0*s = 4*f + w for f.
-5
Suppose 0*y + 4*y = -4*g, -y + 3*g = -8. Suppose 4*f + y*c = -2 + 32, -f = 3*c - 15. Solve 5*k - u = 27, -31 = -f*k + k + 3*u for k.
5
Let f(y) = -y**2 + 6*y - 6. Let s be f(3). Solve 4 = -2*q, -2*q - q - 21 = s*k for k.
-5
Let w(a) = -a**3 - 3*a**2 + 10*a + 2. Let i be w(-5). Suppose i*b = -d + 5, b - 1 = d - 0*d. Solve -4*c = -b*q + 12, 2*q + 16 + 2 = -2*c for c.
-5
Let j = 70 - 62. Let d be -1*(5 - j - 3). Solve u - d = -2*t - 3, 5*u - 15 = 3*t for u.
3
Let m(h) be the third derivative of h**5/60 + h**4/6 - 2*h**3/3 - h**2. Let x be m(-5). Suppose 5 + x = 3*k. Solve a = -2*c + 3 - k, 3*c = 4*a + 29 for c.
3
Let g(w) = w**3 - 9*w**2 + 10*w - 13. Let z be g(8). Suppose r - 5*a = 30, -5*a - 32 - 8 = -z*r. Solve -2*i - 3*x + 6*x = 4, r*i - 2*x - 12 = 0 for i.
4
Let j = -34 + 6. Let t = j + 16. Let v = -7 - t. Solve -4*w - 15 = 5*u + v, 5*u + 3*w + 15 = 0 for u.
0
Let i be (-70)/(-60)*6 + -4. Solve -5*s = -2*y, i*s + 0*y = 5*y for s.
0
Suppose 3*q = 7*q - 32. Suppose -i + 45 = -4*i. Let y = i + 15. Solve -3*m + 0*a = 2*a + 10, -4*a - q = y for m.
-2
Suppose -q - 4 - 4 = -5*r, -5*r - 3*q = 4. Suppose -r = -v + 1. Suppose -v*g + 20 = 3*g. Solve -5*a - k - 19 = 0, -g*a - 8 = 5*k + 24 for a.
-3
Let a(h) = h**2 + 33*h + 65. Let y be a(-31). Solve -3 = -4*x - u, 6*x + y*u - 2 = x for x.
1
Let x(z) = z. Let j be x(3). Suppose -3*k = 4*r - 3, -2*k + j*r + 18 + 1 = 0. Suppose -21*i + 209 = -10*i. Solve -5*d + o + o + i = 0, 0 = 4*d - k*o - 5 for d.
5
Let z be 4*1/4 + (-1 - -5). Solve -a - 16 = 4*x, 3*a - 2*x - 2 = z*a for a.
4
Let r = -18 - -14. Let z be (40/15)/r*-6. Solve -2*o = -z*c - 1 - 3, -c = 4*o + 1 for o.
0
Suppose 23 - 29 = -2*k, -k = 4*z - 31. Let m = 5 - 0. Suppose 0 = 3*o - 0*o - m*n + 5, 0 = -3*o + 2*n + z. Solve 0 = 5*u - b - 7 + 22, b = -o*u - 5 for u.
-2
Let h be 2/(-6) - (-78)/18. Suppose -w + 3*w = h. Solve -2*v = -w*a + 2*v - 16, 3*v = -3*a - 6 for a.
-4
Suppose 2*v + 12 = 4*a, 2*a + 2*a = -3*v + 12. Let c be 9/(-6)*(a - 5). Let g be (c + 0)/((-21)/(-175)). Solve 0*n - g = p - 5*n, 4*n - 20 = -2*p for p.
0
Suppose -u = 12*u - 39. Solve -4 = 2*r - 4*v + 2*v, v - 10 = -u*r for r.
2
Let q be 2/(-7) + (-23)/(-7). Let h(f) = -f**2 + 3*f + 3. Let d be h(-1). Let y be (-2 + q)*7 - d. Solve 4*v + 6*k - y = 2*k, -5*v + 16 = 2*k for v.
4
Suppose -3*f + 16 = f. Let v(q) = q**2 + 5*q + 9. Let n be v(-2). Suppose -13 - 29 = -n*y. Solve -4*p - 20 = -3*z, -f*z + 0*p - p + y = 0 for z.
4
Let j = 47 - 47. Suppose -7*p + p = j. Let q be