4*a, 3*w + 27 = -4*a for w.
-5
Let b be (-4)/8 + 1305/(-18). Let f = 76 + b. Solve -n - 4 = -4*r + 3*n, -f*r + 4*n + 6 = 0 for r.
-2
Suppose -1009*c - 4*n + 2 = -1011*c, 0 = -c + 4*n - 13. Solve -4*d - 5*s - 36 = -c, 0 = -2*d - 5*s - 25 for d.
0
Let r(l) = -3*l**3 - 24*l**2 - 8*l + 28. Let k be r(-8). Solve 5 = f - 2*i, -k*i = -3*f - 96*i + 5 for f.
3
Suppose 0 = 4*q - n + 2 - 17, 0 = 2*q + 2*n. Solve -19 = 3*z - j, z - 50*j + 52*j = q for z.
-5
Let j be (3/(-9))/((-7)/(-21)). Let x be (-16 - -12)/(j/13). Suppose -4*p = -2*d - x, 11*p + d - 10 = 10*p. Solve l - b = 0, 3*l + 2*l = 2*b - p for l.
-4
Let w = 79 + -77. Let x be (33/(-22))/(w/(-4)). Solve -x = -m + 2*o, 4*m - 4 = 2*o + 2 for m.
1
Suppose 0 = -0*r + 3*r + 618. Let l = 78 + r. Let f = -127 - l. Solve 5*w = 4*o + 45, 2*w + 16 - f = -5*o for o.
-5
Let n(p) = -p**3 - 21*p**2 + 24*p + 44. Let y be n(-22). Suppose y = -3*w + d + 45, -d + 50 + 17 = 4*w. Solve z + b = -4*b, 3*z - b - w = 0 for z.
5
Suppose -2*v = -v + 2*l + 93, -5*v = 4*l + 489. Let j = v - -111. Suppose -j*w + 35 = -3*w. Solve 5*x - 3*q = q - 4, w*x - 1 = -q for x.
0
Suppose -c + 17 = 5*x, x + 2*c + 10 = 17. Let f be 1/x*(-8 + (5 - -18)). Solve 0 = 4*w + f*m + 8, 5*w - 5 = 6*w + 2*m for w.
3
Suppose -235 = 6*y - 307. Suppose 4*a - 2*c = -c - 35, 6 = -a + 3*c. Let b = y + a. Solve t = -2*j - t, 0 = b*t for j.
0
Suppose 3*n - 27 = -3*v, -2*n - v + 4 = -7. Solve -4*h = 3*b + 7 - 4, 0 = n*b - 4*h - 18 for b.
3
Let u = 666 - 666. Solve r - 4*z = u, 3*r + 4*z + 16 = -0*r for r.
-4
Suppose -60 = -15109*c + 15079*c. Solve -5*m = -7*k + 3*k + 28, c*m - 2*k + 12 = 0 for m.
-4
Let t(k) = 5*k + 17. Let s be t(-3). Suppose 0 = -2*b - s*w, -2*b - w + 11 - 7 = 0. Solve -2*h = -5*h - 2*x + 6, 2*h = -x + b for h.
2
Let a(n) = 32*n**2 - 8. Let w be a(3). Suppose 283*q - w*q = 57. Solve q = 2*h - 5*v, -4*h + 2 = -0*v + 2*v for h.
2
Suppose -3*y + 36*y = 59 + 7. Solve -u + 3*f = 4*u - 19, 0 = u - y*f - 8 for u.
2
Let h(c) = 2*c**2 - 11*c - 42. Let u be h(8). Let i(v) = 5*v + 12. Let w be i(u). Solve -3*o = 0, w = -4*s - 4*o + 6 for s.
1
Let d = -8 + -13. Let w = d + 30. Suppose 2*t + 3 = w. Solve -5*v + t*v + 16 = -2*p, p = -v for p.
-4
Let j = -6 + -14. Let g = 32 + j. Solve -4*a = 2*f - g, a = -3*a + 20 for f.
-4
Suppose 0 = 206*y - 197*y - 18. Solve -3*f + 2*x + 2 = 0, -y + 14 = f + 5*x for f.
2
Let l be (-117)/(-195) - (-14)/10. Solve 0 = -5*b + 2*b - 4*x - 6, 5*b - 4 = -l*x for b.
2
Suppose 4 = 2*v - 2. Suppose 8*h = 10*h + 4. Let m be -2 - (h/8 + (-76)/16). Solve -4*w - m = i, 3*i + w = 4*i + v for i.
-3
Let t = 104 - -186. Let b = 290 - t. Solve 3*z + 5*i - 19 = -b*z, -z - 5 = -4*i for z.
3
Let n = 898 + -639. Let z = -259 + n. Solve -2*b + 5*s = -6*b - 26, z = 4*s + 8 for b.
-4
Let t(p) be the first derivative of p**4/2 - 4*p**3/3 - p**2/2 + 7*p + 90. Let v be t(2). Solve -a - 3*a - 5 = -v*f, 3*f + 2*a + 19 = 0 for f.
-3
Suppose 39*q = 41*q + 144. Let i be (6 - q/(-16))*(-8)/(-6). Solve -20 = 5*j + c, i*j + 2*j = 2*c - 2 for j.
-3
Let d be (1710/48)/5 + 2/(-16). Let a be 21/4 + 116/(-16) + d. Suppose 5 = 4*x + 17, -2*v - a*x = -1. Solve -4*l = -4*z + v, -3*z - z + 1 = 3*l for l.
-1
Let b be (-802)/(24/12)*1*-1. Let j = b + -398. Solve 4*k + 8 = -4*g, -j*g = -4*g - 2*k + 1 for g.
-5
Let w(m) = -2*m + 18. Let p be w(8). Let u(g) = 1174*g**2 - 8*g - 12*g - 16 - 1176*g**p. Let j be u(-8). Solve 3*y + 1 - 5 = a, j = 2*y + 2*a for y.
3
Let c = -636 - -634. Let u(f) = -28*f - 52. Let k be u(c). Solve 0 - 25 = 5*n, 0 = -k*m - 5*n - 21 for m.
1
Let x = -421 + 373. Let w be 0 + x/(-12) + (-1 - -1). Solve -5*j = -0*q - 4*q + 16, -w*j - 16 = 0 for q.
-1
Suppose 5*v - 1 = -2*c, 0*c + 3*c = -v + 8. Suppose -c*j = j - 28. Suppose j = 2*i - 1. Solve 8 = 4*u, -m = i*m - 4*u + 13 for m.
-1
Let b be ((-1)/(-3))/(18 - 2415/135). Solve -5*t = 5, b*t + 3 = m + 2*t for m.
2
Let j be 37/(296/32) - 1. Solve -12 = j*h - 4*i, 0 = -h + i + 7 - 11 for h.
-4
Suppose -251*l = 62*l. Solve -w + 3*a - 4 = l, -15*w - 2*a - 12 = -12*w for w.
-4
Suppose -5*k + 8 = 5*l - 27, 5*k = 4*l + 8. Suppose 2*x - 1 + l = -5*n, 10 = 5*x + 5*n. Solve -5*h - 7 = 3*m, 0 = h - 5*h + x for m.
-4
Let g(w) = -w**3 - 6*w**2 - 6*w - 7. Let c be (-22)/(-33)*(-42)/4. Let a be g(c). Let l = 85 - a. Solve -5*s - 1 = -j, 0 = j - s - 0*s - l for j.
1
Let o be (-1)/(-10)*46 - (-138)/(-230). Solve 0 = -i, 8 = -o*y + 3*i - 7*i for y.
-2
Let v be (-5)/(110/(-12)) + (-3724)/(-836). Let q = -18 - -21. Solve 0 = v*x - 5*p - 10, q*p = -5*x - 0*p + 18 for x.
3
Suppose 751*t + 15 = -5*i + 756*t, -4*i - 2 = -2*t. Solve -23*z + 21*z + 6 = 2*k, -i*k + 3*z = 9 for k.
0
Let l be -2*-2*2*1. Let x(h) = -17*h + 1. Let c(m) = 175*m - 35. Let s(w) = c(w) + 10*x(w). Let t be s(l). Solve -3*y + t = -3*n, 13 = -5*y + 6*y - 3*n for y.
1
Suppose 4*w - 28 = -2*z, 2*z = 35*w - 30*w - 8. Solve 2*r = -2*a - 11 + 1, w*r + 14 = -2*a for r.
-2
Suppose -q = -535*a + 530*a - 43, 5*q = -a + 33. Solve -4*u + q = 0, -6*h + 10 = -3*h - u for h.
4
Let u = 249 - 773. Let k = -523 - u. Solve -5*v - 2 = -i - k, 2*i = -4*v + 2 for i.
1
Suppose -499*y + 77*y = -3798. Solve 5*w + 2*t = -31, 23 = -4*w - 4*t - y for w.
-5
Suppose 5*o - 2 = -3*h + 16, 3*h = -3*o + 24. Let f be (h - 12)/((-2)/(-30)). Let c be f/9*99/(-55). Solve -a = a + 2*g - 18, -c*a + 4*g - 8 = 0 for a.
4
Let a(y) = 4*y**2 - 44*y + 115. Let j be a(4). Solve -2*m + 6*m - 3*f = -j, -m + 28 = 5*f for m.
3
Suppose 7*y = 2*y - d + 16, 5*y = -4*d + 4. Let x be (y/(-5))/(2/(-30)). Let j be 64/x - 3/9. Solve -4*p - 4*r + 20 = -0*p, -j*p + 3*r - 7 = 0 for p.
1
Let y(m) = -4*m**2 - 21*m - 3. Suppose -45 = -36*c - 225. Let v be y(c). Solve -3*t - v = 2*g - 10, -4*g + t + 16 = 0 for g.
4
Suppose -40 = -18*m + 8*m. Let d be ((-6)/m)/(4/((-8)/1)). Solve 0 = -0*c - d*c, 2*j + 4 = -2*c for j.
-2
Suppose -772 = -32*q - 644. Solve -3*d = -15, -q*j + 34 = 2*d + 40 for j.
-4
Let o = -139 - -148. Suppose -41 + o = -8*j. Solve f = -4*u + 6*f - 23, j*f = u + 14 for u.
-2
Let b(n) = -n**2 - 10*n. Let m be (196/18*-3)/((-6)/9). Let o = m + -59. Let g be b(o). Solve g = 3*a - 5*h - 6, a + 4 = -3*h - 8 for a.
-3
Let p = 5 + -1. Let b(q) = 2*q**2 - 6*q - 19. Let c be b(5). Suppose -a + 4 = 1, 0 = -5*w + 3*a + c. Solve -y + 7 = -3*i, 4*y - w*y = -p*i - 6 for i.
-2
Suppose -10*n + 21*n = -44. Let a be (-66)/n + (-9)/6. Let c(v) = 2*v - 6. Let g be c(9). Solve -4*i + 2*b - g = -i, -5*b + a = 0 for i.
-2
Suppose -2*c + 3 = x - 0*x, -5*x + c + 48 = 0. Let b be 1/x - (40/(-45) + 1). Solve b = -3*h - 3*r + 9, 3*h - 9 + 2 = -r for h.
2
Let m = -31 + 51. Suppose -4*a - m = -2*y, -5*a - 25 = y + 4*y. Suppose y = -11*t + 9 + 13. Solve -2*z - z + t*f = 11, -5*z - 35 = 5*f for z.
-5
Let t be (-1 - -1)/(4/(-8)*4). Let m(j) = 5*j + 75. Let u be m(t). Let d = u - 71. Solve -13 = -d*v - 5*a - 6, 2*a + 11 = 3*v for v.
3
Suppose 6*d - 18 = -3*t, -7*d = -3*d - 4*t - 24. Solve d*z + 19*b = 22*b + 17, 2*b = -2*z + 12 for z.
5
Suppose 17*b = 656 + 2370. Suppose -i = 176 - b. Solve -11 = 4*y + 5*n, -6 = 3*y + i*n + n for y.
1
Let k(g) = 9*g + 47. Let m be k(-5). Suppose 0 = 4*s + y - 32 + 10, -m*s = -2*y - 6. Solve -r - s*h = -3*r - 7, 4*r = 4*h - 8 for r.
-1
Suppose -1819*m = -1865*m + 782. Solve 2*x = -3*v - 14, 16*v - 6 = x + m*v for x.
-4
Let r(d) = d**3 + 5*d**2 - 4*d + 14. Let q be r(-6). Suppose 5*b - 10 = 0, -i + 1 + 6 = q*b. Solve i*v - 2*n = -6, -v = 3*n - n + 10 for v.
-4
Suppose -8*g - 40*g + 816 = 0. Let c(t) = 36 + t - 4*t + t. Let h be c(g). Solve -3*w - 2*q = q, 3*q + 5 = -h*w for w.
5
Let g(f) = -2*f**3 + 16*f - 11*f**2 + 4*f**2 - 6 - 10*f**2 - 25*f. Let w be g(-8). Let p be 2/4*(w + -2). Solve -5*b + 4*q = -31, -4*q = -p*q + 16 for b.
3
Let z be (1 - -4)*(-4)/(-10). Let t(y) = -91 - z*y + y - 64 + 182. Let i be t(-4). Solve -2*d - i + 11 = 5*l, 0 = 4*l + 5*d + 16 for l.
-4
Suppose 2*d - 1149 = -3*n - 1137, -4 = 5*d - n. Solve 5*u + b + 5 = 0, 5 = -4*u - d*u - b for u.
0
Let w(j) = -8*j + 10. Let d be w(-2). Let h = 43 - d. Let z = -15 + h. Solve 0 = -5*p + 2*p + 2*x + 12, z*x = -5*p + 20 for p.
4
Let y(u) be the first derivative of 3*u**2/2 + 5*u + 47. Let c be y(6). Solve 6*k - k - 2*d + c = 0, -5*d = -k for k.
-5
Suppose 9 + 36 = 9*l. Let f(d) = 3*d**2 - 13*d - 7. Let k be f(l). Solve -4 = 8*p - k*p + 