2*d - 11*d for d.
4
Let p(y) = -2*y**2 + 327*y + 13443. Let a be p(-34). Let v be 2 - (2 - (2 - 1)). Solve 4*i = -2*m, -2*m + a - v = -2*i for m.
4
Suppose 67*u = 108 + 294. Solve 9*t + u = d + 12*t, -t - 14 = -5*d for d.
3
Let z be (-576)/(-528) + 24/(-22). Solve 16 = 4*l + 3*i, z = -4*l + 2*l - 2*i + 8 for l.
4
Suppose -8*m - 5*a = -9*m - 22, 0 = -3*m + 4*a - 11. Let u = 7 - -4. Solve 0 = -2*j - j + 2*o + u, 17 = m*j + o for j.
5
Let g be (-14*1/(-42))/((-3)/(-81)). Solve -2*j - 8 = -2*i, -14*j + g*j - 20 = -4*i for j.
-4
Suppose 3*g + 0 - 3 = 0, -2*g = 5*o - 17. Solve o*y + 3 = -2*z, -5*y - 5 = -3*z + 19 for y.
-3
Let r(d) = d**2 - 151*d + 3541. Let b be r(29). Solve -2*a = 5*f - 2, -b = -3*a + 11*f - 12*f for a.
1
Suppose 0 = -5*x + 2*l + 38, -3*l = 4*x + 11 - 23. Solve -3*p + 14 = a, -x*p - 23 = -11*p - 2*a for p.
5
Let i(g) = g**3 + 2*g**2 - g + 4. Let a be i(-4). Let d be (28 - 14) + -15 - -1*4. Let k be d/15 - a/5. Solve -k*t - 4*j + 16 = 0, -3*t + 11 + 5 = 4*j for t.
0
Let y = -198 - -284. Suppose -5*d + 25 = 2*v, -15*d = -4*v - 13*d + y. Solve 8 = 5*b - 2*n, 0 = -b + 3*b + 5*n + v for b.
0
Let l(c) = 100*c - 1195. Let k be l(12). Solve 0 = -g + k*s + 6, g = 4*g - 4*s + 4 for g.
-4
Let s(b) = b**2 + 476*b - 3867. Let v be s(8). Solve 51*h = z + 55*h - 11, -z - v*h + 13 = 0 for z.
3
Let x(k) = -844*k + 12. Let s be x(0). Solve r = f - 9, -2*f - 4*r + 0*r = s for f.
4
Let c(z) = -2*z + 6. Let f be c(-7). Suppose 4*m - 28 = -f. Suppose -m*q + 2 = -12. Solve q*u = 2*u - 5*b, 4*u + 2*b = -8 for u.
-4
Suppose 3*a = -a + 132. Let d = 36 - a. Let l(s) = 2*s**3 + s**2 + s + 3. Let p be l(0). Solve -d*t = -4*h, -t = 5*h - p*t for h.
0
Let x(f) = -8*f**2 + 138*f - 16. Let g be x(17). Suppose g*b - 2 = 16*b, -l - 3*b = -11. Solve 0 = 5*n - l - 17, n = 4*d - 11 for d.
4
Let l = 46 + -46. Suppose 0*j + 7*j - 28 = 0. Solve l = -n + 5*c + 4, -n - c - 6 = j*c for n.
-1
Suppose -14 = 5*o + 4*j + 11, -4*o + 5*j = -21. Let r be 3 + 0/o - -2. Suppose -6*f + 110*f = 416. Solve 0 = -3*n + f*w + 11 + r, 4*n = -3*w + 13 for n.
4
Let v(o) = 2*o**3 + 3*o + 9. Let a(h) = h**3 + h. Let y(p) = -3*a(p) + v(p). Let c be y(0). Solve -c = 3*w - d, 5*w - 4*d + 15 = d for w.
-3
Let k(r) = r + 35. Let f be k(0). Suppose -10 = -f*l + 30*l. Solve 3*z + 3*n = 27, 0 = -4*z - 0*z - l*n + 28 for z.
5
Let i = -7 - -11. Let t be (0 + -6 - (-14490)/1794) + 2/(-26). Solve -5*r - i = 2*q + 1, -t*r = -5*q + 31 for r.
-3
Suppose -14242*f + 44 = -14231*f. Solve r - 2 = -3*d, f*r + 4*d - 8 = d for r.
2
Suppose 0 = 87*c - 56*c - 49*c + 378. Solve -c*o + 18*o = 4*v - 32, o - 9 = -v for o.
4
Let h = 19 + -1. Suppose 20 = -3*q - 2*l, -1957*q + 1959*q = 4*l + 40. Solve 8*n + 5*z - 30 = 3*n, q = 5*n + z - h for n.
3
Let g be 1/5 - (-28)/10. Suppose -2*x + 4*c = -22, -5*c = 5*x + 3 - 43. Suppose x*n - 2 = 34. Solve y = -t - n, 0 = -2*t - g*t + y - 2 for t.
-1
Let y be 780/50 - 2/20*6. Let w = 11 + 11. Suppose w*l + y = 25*l. Solve 0 = -5*q + l*i - 15, -4*q - i + 11 = -q for q.
2
Let j(g) = -2985*g + 8958. Let k be j(3). Solve -2*c + 9*s - k = 12*s, 4 = -2*c - 2*s for c.
-3
Suppose -4*t + 8 = 4*j - 4, 4*t - 48 = 5*j. Suppose 0 = 5*z - t - 18. Suppose 1 = -i + z. Solve 2*x = i*m + 30, 20 = m - 5*m for x.
5
Suppose 13*r - 12*r = 2. Suppose -r*a = -6*a + 24. Solve -2*u + 3 = -3*n + a, -4*n = 2*u - 4 for n.
1
Let q(u) = 4*u**2 - 19*u + 56. Let s be q(12). Let z = s + -401. Solve -15 = -4*v - 5*b, z*b = v + 6 + 3 for v.
0
Let d = 28869 + -28570. Solve -2*g - 20 = -4*b, -4*g - d*b - 13 = -298*b for g.
-4
Let u = 822 + -800. Solve -59*s = 2*y - 62*s + u, -8 = 4*y + 3*s for y.
-5
Suppose 2*f - f - 12 = 0. Suppose -o = -f - 14. Let l(g) = g**3 + 6*g**2 - 6*g - 31. Let w be l(-6). Solve w*v = -4*z + o - 10, -2*v - z + 4 = 0 for v.
0
Suppose 11*j + j = -60. Let d be (-4 + 4 - -22) + j. Suppose -x + 0*x + q = -6, 2*q + 8 = 0. Solve 3*l = x*c - d, 6 = -5*l - 3*c + 3 for l.
-3
Suppose 5*b - 12 = -2*h + 3*b, -b + 3 = 0. Let c be (23/6*302/3473)/((-2)/(-6)). Solve 0 = -z - 5*y + 12, -2*z - h*y + 4 = c for z.
-3
Let v be (21/4)/((-135)/180)*-1. Solve 0*d - 4*d + 16 = 5*t, -3*d + t - v = 0 for d.
-1
Suppose -10*l = 19*l - 87. Suppose 0 = l*d - 3*i, 9*i = 3*d + 4*i + 10. Solve -2*k = r - 5*k + 5, -d*k = 0 for r.
-5
Let k be (3 - 2)/(6/12). Suppose -4*m + 2*t + 150 = 0, -3*t + 161 = -2*m + 246. Solve r = -2*d - k, 0 = -6*d + d + 5*r - m for d.
-3
Let q = -3129 + 3129. Solve 2*y + 14 = 11*k - 12*k, 3*y + 2*k + 23 = q for y.
-5
Let h be (-1)/3 + 15808/192. Suppose -152 = -14*n - h. Solve -2*x = -6*x, 0 = n*v + x for v.
0
Let u = 11658 + -11654. Solve -15 = 6*g - 3*g, -50 = 5*j + u*g for j.
-6
Suppose 79*g - 144 - 172 = 0. Solve 5*j - j = f + 8, -g*j = -2*f - 12 for f.
-4
Let k = 124 + -118. Suppose z = 0, -4*w - 2*z - 8 = -k*w. Solve -2*a - 2 = 0, -3*r + a = -0*a - w for r.
1
Suppose f = -f + 10, 2*j - 4*f = -14. Suppose 2 = j*s - 58. Solve 0 = 5*z - 2*r + s, -3*r = -2*z + z - 4 for z.
-4
Suppose 11 + 31 = 3*f. Suppose 9*m = f*m - 675. Let h = m + -106. Solve -3*x - k = k - 7, -5*x + k = -h for x.
5
Let t = -3325 - -3237. Let l = -186 - -122. Let x = l - t. Solve 3*p - 1 = 4*g - x, -4*g - p = -19 for g.
5
Let h be (-33)/(297/24)*6/(-8). Solve -h*g = 2*k + 2*k - 2, 2*g = -k + 5 for g.
3
Let d(z) = -z**2 + 8*z + 35. Let p be d(-5). Let i be p/(-20)*1/(-3)*-2. Solve 0 = 4*o - 4*f + 20, -f + i = -5*o - 2*f for o.
-1
Let i = 11552 - 11551. Solve -o - c = -i, 2*o + 3*c + 6 = 11 for o.
-2
Let n = -12227 + 12232. Solve -n*p + 5*m + 7 = 37, 5*m - 20 = -5*p for p.
-1
Suppose -16*p + 47 = 6 - 7. Solve -2*x - 4*y + 11 = 9, 2*x = -p*y + 3 for x.
3
Let r = 17434 - 17434. Solve c + 12*f + 9 = 8*f, f + 3 = r for c.
3
Suppose -115*n + 1582 = 676*n. Solve -4 = v - a, -168*v + 10 = -172*v - n*a for v.
-3
Let x = -6088 + 6114. Solve 3*p + 0 = -2*z - 1, 2*p = 5*z - x for p.
-3
Let v(g) = -g + 19. Let y be v(12). Suppose 0*r = y*r - 35. Suppose 2*p - 2*k - 2*k = 14, 3*p - 2*k = 17. Solve 3*z + 16 = z - p*x, 3*z = r*x + 1 for z.
-3
Let l(d) = d**2 - 7*d - 16. Let z be l(9). Solve -5*t - 5*j = 0, -z*t - 2 = -0*t + 3*j for t.
2
Let q be (-15)/(-6) - 150/(-20). Suppose -6 = f - q. Solve 0 = -5*p + 4*m - 18, f*p - p = m - 8 for p.
-2
Let t(b) = 49*b - 210. Let y be t(5). Solve -3*s + 3*r = 0, 45*s - 49*s - 3*r = y for s.
-5
Let o be 6/(-234)*18 + 12/26. Solve -25*x - 2*d - 19 = -28*x, o = d + 5 for x.
3
Suppose 4*f = -f + 900. Let a = -160 + f. Solve -4*y - a + 6 = -2*c, -c - 17 = 4*y for c.
-1
Let d = 38467 + -38392. Solve 3*o = 3*v - 9, 63 = v + 4*o + d for v.
0
Suppose -10 = -5*l + 31 - 16. Solve 0 = -l*q + 3*t - 30, -3*t = 2*q - 20 + 11 for q.
-3
Let k(c) = -3*c + 41. Let s be (16/(-2))/(10/(-5)). Suppose 0 = 5*o - s*n - 85, n = 4*o + 4*n - 37. Let q be k(o). Solve -l - l = q, -5*y + 9 = -4*l for y.
1
Suppose -636*v = 2*s - 638*v - 24, 3 = 3*v. Solve -s*a = -5*o - 16*a + 29, -3*o + 2*a = -6 for o.
4
Let p(j) = -j + 3. Let s be p(1). Solve r = 0, s*r = t + 2*t - 9 for t.
3
Suppose 7*s + 139*s = 575 + 1761. Solve 6*q - 2*q + s = 0, -o + 5*q + 24 = 0 for o.
4
Suppose 0*c - 3*w - 96 = -3*c, -c = -2*w - 34. Suppose 5*l - c = 5*d, -5*l - 4*d = -2*l + 3. Solve -3*j = -2*f - l - 1, -5*j - 2 = f for j.
0
Let m = -10999 - -11001. Solve 12 = -7*l + 5*l - q, -m*l - 3*q = 16 for l.
-5
Suppose -5*b + 19 + 17 = -4. Solve 0*s - 2*s = -4, -s + b = 3*i for i.
2
Let n be 7/(42/9)*-2. Let w be ((-30)/10*n)/((-6)/(-4)). Solve -c - w = 3*h + 2, h - 3*c - 14 = 0 for h.
-1
Let r(j) = -13*j - 22. Suppose -114*p - 14 = -107*p. Let z be r(p). Solve 2*g - t - z = 2, 2*t = 3*g - 8 for g.
4
Suppose -27*t - 2133 = -2214. Solve -4*v + t*p = -8*v + 2, 0 = -4*v - 5*p - 2 for v.
2
Let x be 29/87*(-9)/21*-259. Solve -u = 4*i + 4, 12 = 2*i - 40*u + x*u for i.
0
Let y be 2 + 16/(-7) - (-11)/(154/74). Solve -2*v + 1 = -y*a, 3*v + 9*a - 4*a - 14 = 0 for v.
3
Suppose -9 = -3*z + 3*u, -3*z - 41*u = -37*u - 9. Solve 13 = 2*i + 11*n - 12*n, -4*n + 3 = z*i for i.
5
Suppose 0*f = -f + 3. Suppose 5*i + 12*t - 50 = 14*t, 5*t + 9 = -2*i. Suppose w + f*w = i. Solve y - 13 = -5*j, -4*j = 2*y + w - 10 for y.
-2
Let w = 395 - 392. Suppose 4*h - 15 = -h. Suppose h*u = -4 + 19. Solve -5*s + 0*s - w = d, 0 = u*s for d.
-3
Let z(l) = l**2 + 10*l - 29. Let r be z(-8). Let o be -6*-5*(-6)/r