 5*j + 4*m - 7 = 18 for j.
5
Suppose 33 = 5*t - 87. Suppose -t = -12*p - 0. Solve 3*v - 3*y + 9 = -0*v, 0 = -p*v - 4*y for v.
-2
Suppose 4*z = 3*r - 26, 2*r + 0 = -z - 1. Let o(f) = f**2 + f - 20. Let m be o(-7). Suppose 8*y = 6*y + m. Solve -5*d = 3*x - y, r*d + 6 = 8 for x.
2
Suppose -2*g = -r, -r = 18*g - 22*g + 2. Solve r = -2*t, -t - 2 - 8 = 3*j for j.
-3
Let k = 11 + -6. Suppose -4*t + 2*m + 12 = -0*t, -t - 2*m + 3 = 0. Let y be 4/(-7)*(-14)/4. Solve 5 = -k*x + t*g, x + 4*g = -y*x - 3 for x.
-1
Let p be 11 + 24*2/(-6). Solve -7*r - 2*k = -2*r - 3, -2*k + 11 = -p*r for r.
-1
Let j(w) = w**3 + 4*w**2 - w - 1. Let t be j(-4). Suppose 0 = 5*i - 2*m - 50, 0*i + i + t*m = 27. Let k be (i/10)/(9/30). Solve -v - k = -u, 6*v = 3*v for u.
4
Let z(f) = -f**3 + 8*f**2 + 2. Let a be z(8). Suppose a*m = -3*m + 30. Solve -4*s + 3*i = i + 2, -m = -3*s - i for s.
1
Let q be 6/3 + (2 - -5). Let f(s) = s**3 - 10*s**2 + 9*s + 9. Let k be f(q). Solve 4*w = 5*p + 6, -2*w - 4*p + k = -7 for w.
4
Let u be 1/(-2) + (-7)/(-42)*15. Solve 15 = 5*w, o + u*w = -2*o - 6 for o.
-4
Suppose -y + 6*y = -s - 16, 2*y + 28 = -4*s. Let h(l) = 7*l + 44. Let z be h(s). Solve a = z*q - 3, 4*a - 2*a + 4*q - 26 = 0 for a.
5
Let g = 202 + -197. Solve 0 = -5*v + 5*b, g*v - 7 = b + 9 for v.
4
Suppose 7*n - 8*n = -6. Let a(g) = 5*g - 20. Let l be a(n). Solve 0 = -3*x - 3*d + 6, -3*x - d - l = 2*x for x.
-3
Let i = -27 + 26. Let m be i*(5 + -2 + -3). Suppose m = 3*f + f - 32. Solve c - 3*p = -f, -2*p + 1 = 2*c - 7 for c.
1
Let b = 382 - 376. Solve -2*y + b*y = -2*r + 14, 25 = 4*r + 5*y for r.
5
Let i be (6 - 16)*(1 + -5*1). Suppose -7*k = k - i. Solve k*y = 5*n, 2*n + y - 4*y = 2 for n.
-2
Let d be (2 + (-7)/3)/(4/(-36)). Solve 9 + 31 = -d*i + 5*a, a = 5 for i.
-5
Let p(f) = -2*f**3 - 11*f**2 - 8*f - 1. Let w be p(-5). Solve -w = 4*k + t + t, 4*t = -2*k - 22 for k.
-1
Let k be (-6 - -5)*10/(-2). Solve 4*u - 32 = k*w, -2*w = 4*u + 3 - 7 for u.
3
Let m(v) = -v - 4. Let i be m(-6). Let b(h) = 19 - h**3 - 31 + 2*h - 2*h**2 + 13. Let q be b(-3). Solve 0 = -4*a - q*u - u, i*a = u + 14 for a.
5
Let y be 20*((-56)/(-20) - 2). Suppose y*j = 21*j. Solve j*m - 6 = -2*i + 2*m, -m - 4 = -2*i for i.
1
Let m be -4 + 3 + 5 + -1. Solve 0*w - 2*w - 8 = 0, 0 = 2*c - m*w - 12 for c.
0
Suppose 39 = 5*s - 31. Let a = -1 + 33. Suppose 4*t = 8*t - a. Solve -3*m + 3*q - q - s = 0, q - t = 2*m for m.
-2
Let g be 20/(-6)*12/(-10). Suppose -3*i - o - 13 = -5*i, 40 = 5*i - g*o. Solve 1 = a - 0*a + 4*p, i*p - 21 = -5*a for a.
5
Let t(a) = -4 + a**2 - 3*a + a**2 + a**3 - a. Let o be t(-3). Let i be o/(-5) - 95/(-25). Solve 4*n - i = 16, 41 = 4*j + 5*n for j.
4
Suppose -11*l - 79 = -3*f - 6*l, -2*f + 60 = 4*l. Suppose 0 = -v - v + 2, -2*q + 7 = 3*v. Solve -5*c = -3*k + 35, -f = -7*k + 3*k + q*c for k.
5
Let d = 105 - 104. Solve -5*b + v + 10 = d, 5*v + 20 = 0 for b.
1
Suppose 0 = 8*d - 9*d + o + 3, 4*o = -3*d + 2. Solve -4*q - 4*c = -d*q + 8, q = 3*c + 6 for q.
0
Let t be 3/(-2)*78/(-9). Let o be -1 - (-1 - (t - -4)). Solve 0 = -5*k - 4*g - o, -2*g + 0 - 1 = -5*k for k.
-1
Let b = -37 + 37. Let w(l) = -8*l + b*l + 8*l + l. Let g be w(4). Solve -t = 2*d - d + g, 0 = t - 4*d - 21 for t.
1
Let z be (-1)/((-6)/(-54)*-3). Solve -23 - z = -3*f + 4*h, 0 = -4*f + 5*h + 33 for f.
2
Suppose -f + 2*w = -0*w, -3*f + 7 = w. Suppose 3*j + 0*k - 17 = -f*k, -13 = -3*j + 2*k. Solve -5*a - 13 = -2*n + j*n, 0 = -5*n - 5 for a.
-2
Let n = 7 - -10. Let a = n - 13. Solve -a*b + 2*i - 10 = -2*b, -3*b - i + 5 = 0 for b.
0
Let d be ((-7 - -9) + -3)/((-4)/12). Suppose -4*l + 0 = -12. Solve a - l*i = d, -4*a - 2*i = -0*i + 2 for a.
0
Let d(i) = -i**2 + 2*i**2 - 3 + 2. Let k be d(-2). Solve c - 7 = 3*u + 3*c, 5*u - 4*c = k for u.
-1
Let r = 9 + -5. Suppose -y - 4*d - 18 = y, -r*y - 2*d = 54. Let b = y + 20. Solve 2*j = s + b, 5*j = -6*s + 3*s + 40 for j.
5
Let c = 25 - 21. Suppose 3*u + 15 = 8*u + 2*x, c*u + 2*x - 12 = 0. Solve 13 = -u*n + w, 5*w - 16 = 3*n + w for n.
-4
Suppose -18 = -3*m - 6. Solve 4*t + m*a + 2 = a, 4 = -2*a for t.
1
Let w be (0 - 1)/(2/(-6)). Let t be 2/(-1*(-4)/(-38)). Let x = t + 29. Solve n - 2*g = x, 2*n + w = -g - 2 for n.
0
Let o be ((-24)/28)/((-6)/28). Solve -5*h - p - 21 = -4*p, -o*p = -2*h - 14 for h.
-3
Suppose -3*g + 3*b + 27 = 0, 9*g - 2*b + 10 = 11*g. Let l be 1/(1 + 4/(-5)). Solve -4*h = 3*d - 2, -2*d = -l*h + 21 - g for h.
2
Let w be 76/(-114)*(-9)/3. Solve j + 5*o = 4*j + 19, -o = -w for j.
-3
Suppose 5*a - 20 = 0, -3*w + 140 = w + 3*a. Let l = w + -28. Solve -3*v = -p - 3 - l, 0 = -3*p + 4*v - 16 for p.
-4
Let j(z) = -z - 5. Let g be j(-3). Let b be 3/(-3*g/10). Solve 5*n + y + y = 11, b*y - 12 = 3*n for n.
1
Suppose 0 = 31*i - 28*i + 15. Let b(u) = -u - 12. Let p(h) = -1. Let x(l) = -b(l) + 4*p(l). Let c be x(i). Solve d + 3 = -5*r, 0 = -c*d - r + 2*r + 7 for d.
2
Let l = 104 + -99. Suppose 2*g = -2 + 8. Let k be 2 + (0 - g) + 4. Solve -k*o - 4*u - 4 = o, -25 = 5*o - l*u for o.
-3
Let u be 1 - (4*(-9)/(-12) - 50). Let m = 53 - u. Solve -2*h - 20 = -m*h + s, h + s = 0 for h.
5
Let x be (-2)/4*(8 - 12). Let d be 1 + x/(2/11). Let k be -2 + d/3 - -1. Solve h + 5*n - 3 = 1, -k*h - 3*n = 0 for h.
-1
Suppose 0 = -51*y + 53*y - 8. Solve 4*k - 9 = 2*c + 5, 4*k = y for c.
-5
Let h be (104 + -7)*(0 - 1). Let p = -95 - h. Solve -p*b = -2*l, 2*b + 10 = -2*l - l for l.
-2
Suppose -2*p + 0*p + 24 = -h, 0 = -5*p - h + 53. Solve 0 = -2*w + q + 2*q - p, 0 = -4*q + 12 for w.
-1
Let o(p) be the third derivative of -p**6/120 - p**5/20 - p**4/8 - 14*p**3/3 + 48*p**2. Let b be o(-4). Solve -17 = v - 4*s, -4*v + b*s - 2*s = -22 for v.
3
Suppose -8*p + 5 = -11. Suppose p*k - 19 = -5. Solve -3*n = -8*n + 25, k = 4*a + 3*n for a.
-2
Let p(t) = t**2 + 2*t. Let x be p(-1). Let s be (x - 11)*2/(-8). Solve d - 2 = 2*w - 11, d + 12 = s*w for w.
3
Suppose 88 = y + 21*y. Let z be 1/(-2)*(-4)/2. Solve 4*d + 2*x - z = d, y*x - 13 = 5*d for d.
-1
Let c(n) = 3*n**3 - 4*n**2 + 6*n - 3. Let w be c(1). Solve -m + 0*m - 10 = 2*x, w*m + 5 = x for x.
-3
Let d = 90 + -34. Let i = -56 + d. Solve y - 17 = 4*q, i = -y - 4*q - 7 for y.
5
Suppose v + 2 = 4*w, 5*w - v - 1 = 2*w. Let x be -1 + ((-20)/(-5) - w). Solve 4*n + 4*f = 0, x*n = -2*n + 3*f - 21 for n.
-3
Let h be (17/5 - 3) + 80/50. Solve -5*a - u - 10 = -a, -8 = 4*a + h*u for a.
-3
Suppose 5*j - 296 = 129. Suppose 90*m - j*m = 15. Solve 4*s + 11 = -m*x, 0 - 2 = -4*x - 2*s for x.
3
Suppose 2*p - 40 = -2*k, 7*p + 25 = k + 3*p. Let a = 29 - k. Suppose 3*x = -3 + 3. Solve x = q + h - 5, -3*q - 1 = -h - a for q.
3
Suppose -6*w + 180 = -w. Let u = w + -34. Solve -5*z = 0, -4*x - u*z - 5 - 15 = 0 for x.
-5
Let a be -3*((-50)/6)/(-1). Let d = -9 - a. Let b(w) = -w**2 - 5*w - 2. Let g be b(-4). Solve -2*y - 5*j + 8 = 37, 3*y + g*j = -d for y.
-2
Let i(a) = 7*a + 6. Let t be i(-3). Let r = -10 - t. Solve 3*l - l + 5 = -n, l - 20 = -r*n for l.
-5
Let c(m) = m**2 + 6*m + 4. Let y be c(-7). Let t = y + -14. Let q be (-5)/(-20) - t/(-12). Solve 5*s + 20 = -5*j, -5*s + q*j + 20 = -3*j for s.
1
Suppose -2 = -l, -4*m + 0*l + 112 = -4*l. Suppose -10 = -2*c, 4*c = -w - c + m. Solve 4*s + 3 = 3*q - 1, 5*q - w*s = 0 for q.
-4
Let n(d) = d**3 + 4*d**2 - 7*d + 1. Suppose 0*t - 15 = 3*t. Let g be n(t). Let b = -308 + 315. Solve -s = -3*m - b, -3*s - m + 5*m = -g for s.
1
Suppose 13 = 3*c - p - 0, 0 = -5*c - 3*p + 31. Let y(r) = -r**2 - 8*r - 2. Let n be y(-7). Let o be 2*n/(-6)*-3. Solve -c*f + 1 = o*s - 4, -4*f = 3*s for s.
4
Suppose 7*k - 1679 = -1504. Solve -5*y + 4*s - 2*s = 11, -5*s = 5*y + k for y.
-3
Let o = 63 + -62. Let m = 6 + -5. Let l = o + m. Solve -5*f = -l*g + 23, 3*f + 13 = 4*g - 3*g for g.
4
Let z(f) = f + 2. Let o be z(0). Let q(r) = -10*r - r - 5 - 3 + 2*r**o - 3*r**2. Let k be q(-10). Solve b + k = 2*u, -u + b = -5*u + 4 for u.
1
Let y = -138 + 143. Solve 11 = -3*d - y*k, 0*d - 3*d - 4*k = 10 for d.
-2
Let p = -1787 + 1789. Suppose -22 = -5*r - 2. Solve p*c - 10 = k, 0 = -r*c - 4*k - 1 + 9 for c.
4
Let c = 77 - 70. Suppose -c*p + 36 = 2*p. Solve 3 = -w - 2*g, 4 = -p*w - 4*g - 8 for w.
-3
Let c be -6*4/32 - 66/(-24). Solve 4*t = 4*f + 22 - 6, c*f = -3*t + 7 for f.
-1
Suppose 47 + 140 = 11*w. Solve 4*c - w = 2*i - 1, -5*c - 6 = 4*i for c.
2
Let d = -24 + 4. Let v be ((-4)/5)/(4/d). Solve 6 = -2*g