*k + 5, 0 = 3*p - 2*k - 4 for p.
4
Let y(t) = -18*t**3 - 2*t**2 - 2*t - 1. Let h be y(-1). Let q = -13 + h. Solve -4*m = -3*o + 16, q*m + 0*o - o + 16 = 0 for m.
-4
Let r = -78 - -81. Suppose -5*a + 2*k = -2*a - 9, -5*k = -a + r. Solve 4*d = -2*v, 0*d - a*v = -5*d for d.
0
Let c(g) = -g**3 + 7*g**2 - 6*g + 2. Let z be c(6). Solve 0 = h + 3*x - x, x = -z*h for h.
0
Suppose 0 = 5*s + 5*r - 27 - 143, -3*r - 63 = -2*s. Solve -3*g - 5*b + 2*b = 27, 0 = 2*g + 5*b + s for g.
-4
Let i be (-4)/(-3)*63/28. Solve q - 6*l + i*l = 0, -4*l = -3*q + 5 for q.
3
Suppose 3*v = 4*t + 21, -5*v + 3*t + t + 27 = 0. Solve -3*s = 3*k + 3, 6*s = 5*k + v*s - 19 for k.
2
Let b(d) = -d**3 + 14*d**2 + 17*d - 17. Let r be b(15). Let l = 19 - r. Solve 3*f + 0*g - 3*g = 9, g = 2*f - l for f.
3
Let m be (-8)/((-48)/18) - 4. Let c be 3/6*(m + -2 - -3). Solve 0 = 2*t - 3*g + 10, c*g = -2*g for t.
-5
Let w = 2237 - 2231. Solve x - 3 = -z, w*x = 4*z + 9*x - 12 for z.
3
Let a be 7 + (4/6)/(8/(-48)). Solve -2*w - a*p - 9 = 0, p - 4*p - 15 = 0 for w.
3
Let w be 1/(-5) + (-74)/5. Let s be ((-3)/(-2))/(w/(-20)). Let o be s + 2 + (0 - -1). Solve 19 - 2 = -5*v + a, -19 = o*v - 2*a for v.
-3
Let i = -261 - -284. Solve -5*k = 3*w - i - 7, 2 = w - k for w.
5
Let g = 0 - -6. Suppose 19*k = -48*k + 268. Solve -3*b - g*x + k*x = 4, 3*x = -3*b for b.
-4
Suppose -5*s - 6 - 7 = -x, -4*x + 27 = 5*s. Solve -4*d - 2*z - 16 = 0, -5*d = x*z - 13*z - 10 for d.
-2
Let n = 370 - 365. Solve 4*k - 5*y = -6 - 1, k = -n*y - 8 for k.
-3
Suppose -26*k + 35 = -17. Solve 5*q = -o - 19, 0 = -o - k*o + q + 7 for o.
1
Suppose -5 = -154*q + 149*q. Solve -3*w - h - q = 0, 2*w - 3*h - 2*h - 5 = 0 for w.
0
Let g(w) = w**2 + 7 + 4 + 2*w - 2 - 5. Let r be g(-2). Solve 3*c + r = -2*j, 1 = -2*j + 3 for c.
-2
Suppose -5*n + 20 = k, 2*n = 3*k - 2*k + 15. Suppose -5 = -3*u + 1. Solve i = -n*m, -i = u*i for m.
0
Let u = 2850 - 2845. Solve u*f = -2*v + 27, 5*f - 8*f + 20 = 5*v for f.
5
Let a(o) = o**3 - 7*o**2 + 9*o - 59. Let d be a(7). Solve -g + 6 = -w, -4*w - 5 - 3 = d*g for w.
-4
Suppose -32 = 15*h - 19*h - 4*c, -4*c + 35 = 5*h. Solve h*i + 4*q = 12, -4*i + 5*q + 0*q - 15 = 0 for i.
0
Suppose -2*x + 57 = -3*x. Let j = x - -62. Solve -q - 3*k = 4, 15 = 3*q - 2*k + j for q.
2
Suppose 3*v - 202 + 175 = 0. Solve -u + 4 - 8 = 0, v = -5*j + 4*u for j.
-5
Suppose 18*m - 45 = 27. Solve -3*r = -4*w + w, 0 = m*r + 5*w + 36 for r.
-4
Let r = 39 - 37. Solve r*d + 0 = -3*w - 7, -d - 3 = 2*w for d.
-5
Let w = -453 - -458. Solve -5*u + 7 - 35 = -2*m, w*u + 5*m = 0 for u.
-4
Let x = 2140 - 2136. Solve 5*h + 8 = 8*h + k, 0 = -2*h - 2*k + x for h.
3
Suppose -7*u + 40 = -16. Let d be (-30)/((-12)/u - (-3)/(-6)). Solve -3*j - 4*v - 15 = 0, d = -3*j - 0*j - 5*v for j.
-5
Let h = -384 + 386. Solve -2*n + 5*b - 18 = 0, -1 - 7 = 3*n + h*b for n.
-4
Let l(f) = f**2 + 18*f - 83. Let c be l(4). Let a be 0/((-1 - 1)/(-2)). Solve a*s = 3*s - c*q + 16, 5*q - 14 = 2*s for s.
-2
Suppose 0 = -h + 2*b - 7, h = -2*h - 2*b + 19. Let o be (h/2)/(3/10). Solve -4*x - 2 = -o*f, -11 - 5 = -5*f - 3*x for f.
2
Suppose 0 = -3*b + 2*q + 8 + 9, -5*q - 5 = 0. Solve 2*t - 11 = -5*w, -b*t + 12 = -3 for w.
1
Let y be (-3 - 0) + (-4)/((-24)/42). Suppose y = 4*b - 4. Solve 4*q + 1 = -v, b*v - 1 = -3*q - 3 for q.
0
Let o = -1186 + 1162. Let j = -115 + 78. Let g = o - j. Solve 4*z + 1 = -n + 4, -n - g = -4*z for n.
-5
Let h(z) = z**3 + 9*z**2 + 6*z - 10. Let k be h(-8). Let j be ((-1)/3)/((-1)/k). Suppose -j*x - 2 = -3*x. Solve -15 = -2*f - 5*d, -x*d = -4*f - 3*d - 15 for f.
-5
Let w(h) = h**3 + 4*h**2 - 3*h - 8. Let r be w(-4). Suppose 28 = 4*p + k, -3*k = 4*p - 9 - 19. Solve -m + 5*f - f - 13 = 0, f - p = r*m for m.
-1
Suppose 3*m = a - 3*a + 35, m + 5*a + 10 = 0. Let t = m - 17. Let z = 3 - t. Solve -5*r = -15, -5*r = -z*o + 3 - 28 for o.
-2
Let o be (-1 + 2)/((7 + -3)/16). Solve -2*x - 3*j = -1, 7*j = o*x + 2*j - 13 for x.
2
Let w(f) be the second derivative of -3*f**3/2 - 3*f**2/2 - 4*f. Let r be w(3). Let b = 50 + r. Solve -u - 7 = 5*i, 0*u - 4*i = -4*u + b for u.
3
Let x(l) = -l + 5. Let n be x(0). Let v = -2 - -6. Let j be 5/(-20) - (-101)/v. Solve 15 = -6*c + c, 5*c + j = -n*z for z.
-2
Suppose 28*j = -7 + 7. Solve b - 3 = k - j, -5*k - 3*b + 25 = 0 for k.
2
Let y be ((-4)/(-6))/(2/12). Suppose -5*r = r - 18. Solve -v = -r*v - 4, y*m = 5*v + 14 for m.
1
Suppose 3*o + 2*w = -22, 0 = o - 3*w - w - 2. Let k be 26/10 + o/10. Solve -7*u + 3*u - 6 = k*x, 3*u - 3*x = 18 for u.
1
Let v be (0/((-15)/(-3)))/(-1). Suppose -3*f + 2*f + 8 = v. Solve 5*l - 3*n = -f*n - 25, 0 = -2*n - 10 for l.
0
Let f = -394 - -397. Solve 0 = -5*a + f*m - 3 - 12, 2*m = 2*a + 6 for a.
-3
Suppose -3*g - k + 5 = 0, -7*g + 9*g - 2*k = 6. Solve -o = -f + 2*o - 11, -8 = -g*o for f.
1
Suppose -5*y - 15 = 0, -2*n + 4 = 15*y - 13*y. Solve u = -2*f + n - 12, -5*u = -f + 24 for u.
-5
Suppose 21*b = 46 + 59. Suppose -k - 4*i - 11 = 2*k, -5*k + 40 = -5*i. Suppose k*d - 2 = 13. Solve 2*t - 35 = -2*t + d*x, -2*t + b*x = -25 for t.
5
Let k = -28 + 68. Let n be (-1)/(28/k)*-7. Let x be (n/(-15))/(1/(-3)). Solve 0 = 3*f - 3*l + 6, l - 2 = 2*f + x for f.
-2
Suppose -2*u + 14 - 10 = 0. Solve -v + 2*v - 4*c - 9 = 0, -3*v = u*c + 1 for v.
1
Suppose -4*q - q - 45 = -l, -5*l + 5*q + 125 = 0. Suppose -3*a + l = 83. Let d = a - -34. Solve 2*v + 2*v + d = -p, 4*v - p = -19 for v.
-4
Let j be 5 + -11 + 0 + 7. Solve -3*s + 13 = y - j, 2*y + 22 = 4*s for y.
-1
Let p(t) = 23*t - 127. Let o be p(6). Solve o = 3*j - 4*g, 6 + 1 = j + 2*g for j.
5
Suppose q - 3*z - 19 = 4, 4*z - 26 = -2*q. Solve -4*x + p + 22 = 0, -5*p = -5*x - q + 52 for x.
5
Let u = -24 + 43. Suppose -43 + u = -4*k. Solve -2*f + 4*g = 4, 5*f - 3*g - 29 = -k*g for f.
4
Let r(p) = 5*p + 140. Let v be r(-27). Solve 2 = 2*l - c + 15, -l - 29 = -v*c for l.
-4
Suppose 0 = -7*l + 393 - 295. Solve -2*j = 2*r - 7*j - 18, -3*r + l = -j for r.
4
Let k = 3158 - 3145. Let i be -2 - (2 + -1 - 1). Let z be ((i - -3)*-3)/(-1). Solve q - 2*y + k = 0, -3*y + z = q - 4 for q.
-5
Let b(f) = f**2 + 6*f - 12. Suppose 4*l = -a - 6 - 22, 0 = 3*l + a + 20. Let n be b(l). Solve -17 = -c + n*u, -u = -4*c - 3 + 11 for c.
1
Let v(k) = -k**3 + 9*k**2 - 4*k + 18. Let g be v(9). Let d(t) = -2*t - 33. Let c be d(g). Solve -5*y = -3*z + z + 16, 0 = -c*y + 3*z - 15 for y.
-2
Let l(f) = f**2 - 2*f + 3. Let p be l(0). Suppose 25 = p*v - 5*d, -3*v + 2*d + d + 15 = 0. Solve -o - 2*z - 10 = -4*o, v = -4*z - 8 for o.
2
Let s(b) = -11*b - 72. Let m be s(-7). Solve -m*a + 2*o + 9 = 0, -a - o = 4*a - 3 for a.
1
Suppose 0*z + 2*z - 6 = 0. Let p(a) = a - 3 + 1 + 2*a**2 - z - a**2. Let l be p(-5). Solve 0 = 3*n + l, k = -n - 12 + 4 for k.
-3
Let y = -34 - -36. Let l(h) = 2*h**2 - 6*h + 4. Let d be -8*(6/(-4))/3. Let z be l(d). Solve 3*g - z = 2*b, 4*g - y*b - 16 = -0*b for g.
4
Suppose -4*h = 4*o - 40, 0 = -7*o + 3*o + 4*h. Solve -2*d + 3 = -10*c + 9*c, 4*c = o*d - 12 for d.
0
Suppose -5*z = 0, 2*z + 4 = -9*g + 10*g. Solve 20 = v - 6*v + 5*t, -8 = -g*t for v.
-2
Let c(g) = g**3 - 15*g + 2. Suppose 12 = 77*h - 74*h. Let q be c(h). Solve -4*j - 11 = -q*r + r, -2*r = -5*j - 18 for j.
-4
Let l = -53 - -55. Suppose 0 = -p - 3, -3*x - l*p + 0*p = -9. Solve 4*g + g - 20 = -5*q, x*q - g - 20 = 0 for q.
4
Let v(w) = w**2 - w - 2. Suppose 0 = 4*g + 5*j - 2, -2*j = 2*j + 8. Let a be v(g). Suppose 26*d - 18*d = 16. Solve 0*b + 2*b + 12 = -f, -24 = d*b + a*f for b.
-4
Let a be 3 - (4/(-2) + 2). Suppose 12 - 3 = a*j. Suppose 2*h + h = j. Solve -3*t + 14 = -h, -4*r + 3*t = 35 for r.
-5
Let p be (-12)/2*-1*3395/(-105). Let x be p/(-12) + (-6)/(4 + 32). Let r = 4 - 2. Solve 0 = 4*v - x + 4, q - 8 = -r*v for q.
2
Suppose 5 - 5 = 8*n. Solve n = 4*t - 20, 3*q + 1 - 2 = t for q.
2
Let x = 771 - 768. Solve 10 = -2*g - 2*t + 4*t, x*t = -5*g - 1 for g.
-2
Suppose 0 = h - 13 + 15. Let b be -12*h*5/30. Solve -3*g + 23 = -2*w, b*g + 5*w + 25 = 5*g for g.
5
Let y be ((-6)/(1 + 0))/(-1). Let a be (-26)/(-5) + (-2)/10. Solve -10 - y = 5*l + 2*u, -3*l = a*u + 2 for l.
-4
Suppose -6 = 4*o - 22. Suppose -15 = -11*g + 8*g. Suppose g*f = 27 - 2. Solve 5*a - 3*w - f + 0 = 0, 17 = o*a - 5*w for a.
-2
Let l = 1886 - 1884. Solve 2*v + 2 = 0, 4*k - k + 17 = -l*v for k.
-5
Suppose 0*z = -z + 2*c - 7, 0 = 3*z + 4*c + 1. Let b be 3 + -2 - (-3)/z.