4*y + 12 = -10 for d.
5
Let x(u) = -131*u + 1188. Let b be x(9). Solve l - 11*h - 1 = -b*h, 0 = -2*h - 2 for l.
-1
Suppose 4*p + 122*i = 120*i - 4, -p = 4*i + 29. Solve -x - 3 = -p*k, 3*k + 2 = 5*k + 4*x for k.
1
Suppose -14*h + 44 - 67 = -93. Solve 0 = h*i - 5*n - 40, 66*n = 4*i + 61*n - 37 for i.
3
Suppose 2*f - 3*t = 4*f - 22, -t = -2*f + 6. Let i be -22 + -4*627/(-44) + -11. Solve -3*m + 7 = -2*j, -4*m - 5*j - i = f for m.
-1
Let i = -15462 - -15469. Solve -8 = -2*u - 2*p, -15*u - p = -11*u - i for u.
1
Let y(m) be the third derivative of -16*m**2 - 7/2*m**3 + 0 - 1/12*m**4 + 0*m. Let i be y(-13). Solve -3*b + 3*d - 3 = 0, -2*b + 0*d = i*d + 30 for b.
-5
Let f be ((3 + -2)*-1)/((-7)/294*6). Solve y - f*z + 10*z - 20 = 0, 2*z = 3*y - 5 for y.
5
Let n be (-2)/((-8)/(-16)*4/6). Let c be (6 - 1) + 4 + n. Solve 21 + 2 = -c*x - 4*o, 3*o = 2*x + 4 for x.
-5
Suppose -535*g = -539*g - 72. Let b be (-12)/15*((-495)/g)/(-11). Solve -2*s + 4*o + b = 0, -5*s + 3 = -3*o - 9 for s.
3
Let m(b) = 128*b + 2944. Let u be m(-23). Solve -2*x - 2 = 0, 2*j - 5*x + u = -3 for j.
-4
Let y = -16020 - -16023. Solve -y*z - 4*n + 22 = 0, 4*n = -36*z + 37*z + 14 for z.
2
Let q(u) = -u**3 - 32*u**2 - 35*u - 113. Let c = -588 - -557. Let j be q(c). Solve 0 = -2*w - 2, 4*m + j - 1 = 2*w for m.
-3
Suppose 18*n - 23*n + 1000 = 0. Let x be (-38)/(-323) - n/(-34). Solve -2*r - 3*t = -10, 0 = -3*r - t + x + 2 for r.
2
Let u(m) = m**3 - 12*m**2 + 11*m - 69. Let f be u(7). Let r = 240 + f. Let z(w) = 4*w - 1. Let b be z(1). Solve 2*h - 3*a = 15, -23 + b = -r*h + 4*a for h.
0
Suppose 0 = -3*t - 0 + 15. Let f be (-25)/(-6) + (-3)/18. Suppose -5*m = 2*r - 35, -3*r - 3*m = 2*m - 40. Solve 0 = -f*l + l - r*y - 12, -y + 2 = t*l for l.
1
Let s(c) = -640*c + 308*c + 322*c - 67. Let t be s(-7). Solve 5*k - 11 = -t*y, 3*k - 1 = y - 0*k for y.
2
Suppose 5*c - c = -c + 65. Solve -3*r = g + c, 3*g + 22 = -r + 7 for g.
-4
Suppose 0*b + 18*b = 540. Let q be -13*((b/(-5) - -5) + 0). Solve 4*d - q = f, 4*d = -5*f - 5 + 36 for f.
3
Let m = -241 + 244. Let y = 234 - 229. Solve y*o = -v - 3, 2*v - m*o = -0*v + 7 for v.
2
Suppose 3*c = -5*m + 18, 14*c - 20 = -7*m + 15*c. Solve -4*o - n = 1 - 18, 0 = o + m*n - 18 for o.
3
Let q = -34 - -40. Let c be ((-3)/9 + (-7)/3)*q. Let g be (0 + 0)/(c + 18). Solve g = 5*m + 3*s + s - 2, 5*m - 8 = -s for m.
2
Suppose 3*k + 4*n = -0 + 76, -n = 5. Let a = -28 + k. Solve -5*w - q = 20, 2*w + 3*w = -a*q - 20 for w.
-4
Suppose 36*h - 36*h + 121*h = 28314. Solve 225 - h = -2*t - b, 2*b - 10 = 0 for t.
2
Suppose -2*c = -3*h + 11, 4*h - 159*c = -157*c + 16. Suppose 5*n + 0*n = 85. Solve h*m - 3*r - 1 = 0, -m - 3 + n = 4*r for m.
2
Let i(q) = 18*q + 1948. Let z be i(-108). Solve a = 3*a + 4*s - z, 0 = 3*s - 9 for a.
-4
Let m(y) = -y**3 + 13*y**2 - 4*y - 14. Let w be m(13). Let u be -3 + (-2 - w/18)*3. Solve 4*p + 11 = -5*x, 5*p + 22 = -0*p + u*x for p.
-4
Let u(p) = -p**3 + 34*p**2 - 64*p + 19. Let q be u(32). Suppose -q*x - 3*x = -66. Solve 5*i - 5*y = -10*y - 10, 3*y + x = -4*i for i.
3
Let b = 0 + 4. Suppose 3*z - 398 = -5*c, z + 4*c = 3*z - 236. Let k = -122 + z. Solve 0 = b*j - 2*i - 22, -3*j = 5*i - 6 - k for j.
5
Suppose 22*k + 10*k + 512 = 0. Let h be k/(-3) - 175/75. Suppose -2*m + 5*m = 0. Solve m = 2*n + 2*a - 4, -h*n = -6*a + a - 14 for n.
3
Let d be (-1)/((-10)/12*3/40). Suppose -2*p + 4*p - d = 0. Suppose 13*u = p*u + 15. Solve 3*k - 24 = -3*n, 0 = 5*n - 3*k - u - 13 for n.
5
Let s(c) = -c**2 + 15*c - 9. Let u be s(14). Suppose 4*t - u*t + 4 = 0. Suppose -t*r = -3*r. Solve 5*z + 5*w = 15, -3*z + r*w + 5 = -w for z.
2
Let h(g) be the second derivative of 7/3*g**3 + 0 + 1/12*g**4 + 32*g + 22*g**2. Let f be h(-10). Solve -4*c - f*q + 0*q = -16, 2*q = 5*c - 27 for c.
5
Suppose 20 + 60 = 20*p. Suppose -p*m = -q + 8, m + 10 - 1 = 2*q. Solve 0 = 3*o - q*f + 25, 4*o + 7 - 3 = -2*f for o.
-3
Suppose 5*s = 41 - 21. Suppose -11 - 11 = -5*p - 3*q, 16 = s*p + 2*q. Solve -p = 2*o + 4*f + 20, 0 = 3*o - 5*f - 22 for o.
-1
Suppose j - 75 = 9*b - 13*b, 0 = j + 2*b - 67. Solve -3*y - 3*t - 38 = -j, 0 = -2*y + 4*t - 10 for y.
3
Let n be 2/(-11) + 45/(-55) + -2 + 10. Solve 0 = -2*u + 10, -4*u = 3*v + 2 - n for v.
-5
Suppose -6*f + 89 = -79. Suppose x + 54 = f. Let p = x + 28. Solve v = 4*t + 3, -t + 2*t - p*v + 6 = 0 for t.
0
Let p = -14980 + 14983. Solve 3*t + 102 = k + 107, 0 = t - 5*k + p for t.
2
Let a(m) = -1515*m - 1510. Let n be a(-1). Solve -6*v + 4 = -3*g - 8*v, -n*g - 3*v = 7 for g.
-2
Let c be 2 + 2/(-2) + 5. Suppose x - 4*j = -c - 7, 4*j - 10 = 2*x. Let f be (6/4)/(15/(-12) - -2). Solve -x*k + 23 = -4*d, -k = 4*d + 21 - f for d.
-5
Suppose s - 6*i + 8 = -2*i, -5*i + 10 = 3*s. Let v = 30 - 28. Let a = v - -2. Solve -4*k - a*w = 4, 2*k + s*w + 11 = w for k.
-4
Let c(t) = t**3 - 4*t**2 - 19*t + 50. Let b be c(2). Solve -b*s - 3*d = 0, 24 = 4*s + 28*d - 31*d for s.
3
Suppose 53 = 63*y - 58*y - 4*u, 2*u = -3*y + 1. Solve y*d + 9 = 3*x + 3, -3 = -2*d + 3*x for d.
-3
Suppose 292 = 14*h + 3176. Let d = 209 + h. Solve 5*k + 19 = -2*b, 0*b - 12 = b + d*k for b.
3
Let x(d) = 337*d - 1001. Let w be x(3). Solve -5*k - w = -3*a, -2*k - 15 = -0*a + a for a.
-5
Let b(g) = 9*g**2 - 13*g + 7. Let w be b(1). Solve -2*m = -10, m - 14 = w*y - 6*y for y.
3
Let x(j) = -4*j**2 + 194*j + 377. Let m be x(50). Solve -2*k - 3*o - 2 = 0, m*o - 81*o - 2 = 3*k for k.
2
Suppose 5*n - 6 = 9, 92 = 4*w - 4*n. Suppose -2*a + 3*k = 23, -9 + w = -2*a + k. Let g be a/(-14) + (-3)/2*-1. Solve -g*c = -v - 6*c + 6, 5*c = -5*v for v.
-2
Let m be 1*(-31)/((-62)/(-300)). Let f = m - -155. Solve -3*v + 28 = 2*v - 3*j, -5*v = -f*j - 30 for v.
5
Let d be (50/(-5))/((-2)/(-4)). Let f(o) = -2*o + 3*o + 3000 - 2978. Let h be f(d). Solve 0*j + 5*p + 23 = 3*j, -h*j - p = 2 for j.
1
Suppose 2*x + 12 = -4*u, 2*u = 7*x - 4*x - 14. Suppose -x*d - 3 = -2*o + 1, 3*o + 3*d = -6. Solve -2*n + 5*n - 12 = o, l - 4*n = -15 for l.
1
Suppose 0 = 4*k + 166*b - 167*b - 15, -4*k - b = -9. Solve 0 = -19*f + 18*f - k, 0 = 5*v + 5*f + 40 for v.
-5
Let i be -3 - ((-175)/(-10))/((-2)/4). Suppose 19 = 4*w - b, -5*w + i = -0*b - 4*b. Solve -2*z - 4 = -4*x, z - 2 + w = 0 for x.
0
Suppose i = t + 1, -i - 4*t = t + 23. Let o = -1 - i. Suppose s + o*y = -2, -y + 6*y = -3*s - 3. Solve -5*u - 9 = s*b - 0, -4*b = -3*u - 31 for b.
4
Let g be 54/(-189) + 9/7. Let a be g/(14/20 + (-2)/4). Suppose -6 = -3*w + 6. Solve a*b - 16 = -w*c, 0 = -c + 2 + 2 for b.
0
Suppose -4*i + 4*q = 5 + 51, 0 = i + 3*q + 2. Suppose -3 = -y, 0 = -2*s + 2*y + 3*y + 7. Let o = i + s. Solve p = k, -5*k = 5*p - o*k for p.
0
Let a be 19 - 16 - (0 + (7 - 6)). Solve -a*w - u = -5*u, 0 = -4*w + 2*u + 24 for w.
8
Suppose -3 = -3*u - 3*a, 111 = 3*u - 4*a + 87. Solve 3*j + 3 - 18 = 5*f, u*j = -4*f + 20 for j.
5
Suppose 642 = 5*b - 273. Let x = -179 + b. Solve -15 = 3*z + 4*r, 0*r = -x*r for z.
-5
Suppose 20*s + 88*s - 885 = -69*s. Solve 5*a - 29 = -2*p, -2*p - 59 = -s*a - 38 for a.
5
Let a be (2/(-4))/(11 - (-90)/(-8)). Suppose -3*j + 31 = a*s, s - 6*s = 3*j - 64. Solve 8 = f + 4*r, -10 = -4*f + 6*r - s*r for f.
0
Let m(b) = 32*b - 58*b - 75 + 9. Let h be m(-3). Solve 2 = 3*k + 4*q - 1, 4*q + h = 0 for k.
5
Let i = 174 - 170. Let n(a) = -4*a**2 + 0*a - 4*a + 2*a**2 + a**2. Let u be n(-3). Solve -5*v + 10 = u*c, -3*v - 5*c = -5*v + i for v.
2
Let w be ((-306)/(-30) - 11)/(2/25). Let i(o) = o**3 + 13*o**2 + 31*o + 11. Let q be i(w). Solve -7*j = -9*j + 2, -4*j - q = -k for k.
5
Let p = -46 + 56. Suppose 25*q - 6*q = -24*q + 86. Let s(z) = 35*z**2. Let v be s(1). Solve -5*b - 5*n = -v, q = -2*n + p for b.
3
Suppose -5*d - 1480 = 4*v - 1495, 3*v + 43 = 4*d. Solve -4*a = -3*c - 14, -5*a = -d*c - 0*a - 11 for c.
2
Let f = 594 - 578. Solve o - f = 5*o - 3*y, -4*y = -2*o - 18 for o.
-1
Suppose 0*d - 12 = o + 3*d, 0 = 4*o + 2*d + 88. Suppose -5*c - 4*y = 120, -5*c = -c + y + 85. Let i = c - o. Solve 0 = i*u, 6*k - u = k - 5 for k.
-1
Suppose 6*q + 8*q + 5656 = 0. Let f = q + 410. Solve -40 = -5*w - 3*k, f*w - 4*k = 2*w for w.
5
Let c = 437 - 435. Suppose -4*i - 6*d + 6 = -5*d, c*d + 14 = 5*i. Solve 2*x = i*s + 16, -s - 5*x = -4 - 12 for s.
-4
Suppose 2 + 3 = 2*u + 5*h, -3*h = -3. Let y(t) = 11*t + 2. Let x be y(-1). Let o be (1/x)/(2/(-18)). Solve u = w + 1, -c - 5 = 4*w - o for c.
0
Let 