 4*v - d for v.
5
Let s be 16/(-12)*(-216)/(-2). Let f be (-12)/s - 35/(-12). Solve -f*u + 12 = -5*t, 5*u - 20 = -t - 0*t for t.
0
Let y(p) = -45*p - 5985. Let n be y(-133). Solve n = 3*j + 10*i - 5*i - 12, 13 = -j + 4*i for j.
-1
Suppose -35*d = -2*t - 30*d + 38, -2*t - 4 = 2*d. Solve -t*r + 1 - 2 = n, 2*n + 15 = 5*r for n.
-5
Let m be -17*2*-43*71/6106. Let w be (2/2)/(1/1). Solve 0 = 4*g - m + w, 5*a + 3*g + 8 = 0 for a.
-4
Let t(j) = -6*j - 82. Let z be t(-15). Solve 0 = 12*c - 8*c - 5*l + 17, z = -2*c + 2*l for c.
-3
Suppose 0 = 227*s - 652*s + 12325. Solve 5*a - 2*b = -5, -3*a + 0*a = 4*b + s for a.
-3
Let z(u) = u**2 - u - 2. Let r be z(-2). Suppose -37 - 284 = r*h - x, -420 = 5*h + 5*x. Let k = h + 84. Solve k*f + 4*j = -j - 22, 5*f + 3*j = -10 for f.
1
Let u = -505 - -512. Suppose -221 + 221 = u*l. Solve r - 2*r - 24 = -5*c, -2*r + 3*c - 13 = l for r.
1
Suppose 0 = -8*x + 64 + 64. Suppose 15 = x*h - 13*h. Suppose h*q - 8*q + 6 = 0. Solve -14 = -3*t - 2*k, 3*k - q = -t + 5*k for t.
4
Let p be (536/(-5))/(14/(-10) - -1). Let k = p - 267. Solve z = -s + 5*s - k, 5*s = 4*z + 4 for s.
0
Let x = -75 - -88. Let z(q) = 4*q - 47. Let b be z(x). Solve 5*n - r - 11 = 0, 3*n - b = 3*r - 2*r for n.
3
Suppose -3*h - c = -13 + 5, -5*c = h + 2. Suppose 0 = -4*k - 2*u + 30, -8 = -k - h*u + 12. Solve 2*g = k*z - 7, 2*z + 0*z = -2*g for g.
-1
Suppose b = -2*p + 8, 622*b - 3*p - 10 = 618*b. Solve -6*v - 5*r = -3*v - 14, -2*r = b*v for v.
-2
Let i(v) = -v**2 + 7*v + 9. Let q be i(6). Suppose 6 = q*n - 39. Solve 0 = 4*b - n*r - 16, -5*b + 4*b - 11 = 3*r for b.
1
Let n(r) = r**2 + 12*r - 23. Let t be n(-13). Let g be (-399)/(-76) - t/(-8). Solve i - g*x = 17, 3*x - 7 = -5*i - 37 for i.
-3
Let u(i) = -2*i + 35 - 109 + 20 + 9. Let v be u(-25). Solve -4*r + 7 + 1 = -2*b, 4*b = -3*r - v for r.
1
Suppose 0 = -84*d + 75*d + 1800. Let w = d - 197. Solve -w = 3*k, a + 2 = k - 5*k for a.
2
Let z(f) = -3*f + 76. Let x be z(30). Let r(h) = h**3 + 15*h**2 + 12*h - 26. Let t be r(x). Solve -5*g = -4*o - g + 16, -3*o = t*g + 8 for o.
0
Let o(p) be the second derivative of 0 - 34*p + 7*p**2 + 2/3*p**3. Let l be o(-3). Solve l*z + 1 + 3 = 0, 4*u + 2*z + 20 = 0 for u.
-4
Suppose 250*r - 317*r = -268. Solve -i - 20 = -6*i + 5*s, -r*s = 16 for i.
0
Suppose 3*x + 6 = 18. Suppose -x*g = -0*g - 8. Let p = -394 - -400. Solve 2*l + 4*y = 20, 0 = -p*l + l - g*y + 10 for l.
0
Let c be ((120/42)/(-10))/((-7)/588). Solve -5*q + c*n - 28*n = 7, -9 = 3*n for q.
1
Let y = -30 - -10. Let d = 26 + y. Suppose 6 = d*b - 6. Solve 1 = b*z - 5*g + 2, 2*z - g - 3 = 0 for z.
2
Suppose -91 - 84 = -7*d. Let t be ((-15)/d)/((-3)/165). Solve 3*n - 6 = -5*j - t, 4 = -4*n + 4*j for n.
-4
Let p(d) = d**2 + 8*d - 136. Let x be p(9). Solve 3*u - 2*v = 4*u - 5, 0 = 3*u - 2*v + x for u.
-3
Let h(u) = -4*u**3 + 31*u**2 + 6*u + 38. Let r be h(8). Solve -r*w + 4*o = -25*w - 8, 4*w - 41 = 5*o for w.
4
Suppose 4*h - 33 = 7. Let f be ((-6)/8)/(h/(-120)). Suppose f*d - 21 = 2*d. Solve -3*b = -d*u - 2*u + 10, 5*u = b for b.
-5
Let z = 185 - 181. Let w be 352/128 + 1/z. Solve 4*g - w*d = 17, -2*d + d - 9 = -2*g for g.
5
Let c be (0/48)/((2 - 0) + -6). Let l be ((-2)/2 - (-4)/2) + c. Solve 2*d = 2*z - 6, -3*d + l = -5*z - 2*d for z.
-1
Suppose 3 = 9898*q - 9899*q + 5. Solve 3*s - 4*r + 20 = 0, -14*r = -q*s - 13*r - 10 for s.
-4
Suppose -5*j + 5*z = -5, 4*j + 4*z + 22 = 17*j. Solve 3*p + f - 197 + 186 = 0, j*p - 5*f - 13 = 0 for p.
4
Let y be 2 + (-7 - -4 - -4) + -165. Let d = 164 + y. Solve 2*j + 4*o = -4, 3*o = j - 0*o + d for j.
-2
Let b = -42 - -46. Let p be 3/(2*5/(-10))*-1. Solve -w = -p*w - b, d + 8 = -4*w for d.
0
Let r be (32/10 - 2)/(((-624)/(-325))/16). Solve 3*h + i + 5 = 0, -h = -0*i + 2*i + r for h.
0
Suppose -10*c - 628 = -14*c. Suppose -6*o - 55 = -c. Suppose 0 = o*l - 24*l + 35. Solve 0 = 2*q - p + 6 - 1, 3*p + 29 = -l*q for q.
-4
Let n be (-28)/(-7) - (-4 - 0). Solve 4*f + 0*x + n = -x, 0 = -f + x - 2 for f.
-2
Let o(r) = -1 - 23*r - 3*r**3 + 24*r + 2*r**3 + 3*r**3 + 3*r**3. Let u be o(1). Solve -u*c = -4*l - l + 40, -l = -2*c - 12 for c.
-4
Let c(s) = 4*s**2 + 24*s + 15. Let b be c(-6). Suppose 44*u - 24 = 32*u. Solve 5 = -4*d - f - 15, 3*d + u*f = -b for d.
-5
Let j(a) = -3*a**2 + 24*a + 24. Let f be j(0). Solve 5*p = 3*k - 14, -22*k - 2*p = -f*k + 8 for k.
3
Let l = -50 - -76. Suppose l*i = -2*i + 112. Solve u = -3*h - 3, -u + 3*h - 3 = i*h for u.
-3
Let x = 18832 - 18830. Solve -i - 30 = -25, 30 = -4*h - x*i for h.
-5
Suppose 5*s = 3*l + 21, 12 = -3*l + 4*s - 3. Solve -2*i - 2 = -4, l*i = 3*a + 3 for a.
0
Let z(x) = 3*x**2 - 2*x + 5. Let i be z(-8). Let p = 215 - i. Solve 3*c = -3*s - 0*s, 5 = -p*s + 3*c for s.
-1
Suppose -25*g - 131*g = -780. Solve 3*y = 4*w - w + 6, 4*w + 11 = g*y for y.
3
Let l(y) = -y**2 + y + 33. Let x be l(6). Solve -5*o + 81 - 108 = x*p, 4*p = 2*o - 10 for o.
-3
Let x(i) = i**2 + 10*i - 6. Let r be x(-10). Let z be 28 + -31 + (2 + -2 - r). Solve u + 2*h = 0, -3*u + 4*h - 7 = z for u.
-2
Let j(u) = 2*u**2 - u - 9. Let z be j(0). Suppose -3*l = -5*n + 13, 3*l + 2*n + 2*n + 49 = 0. Let m = z - l. Solve 0 = -p - 4*i + 9, 5*p - 7 = -3*i + m*i for p.
1
Let a = -32257 - -32271. Solve -35*y = -30*y + s - a, -4*s = -2*y - 12 for y.
2
Suppose -4*y - v + 3 + 89 = 0, 2*v - 205 = -9*y. Solve -y*b + 33 = -16*b + 2*s, -4 = -4*b + 4*s for b.
5
Let b(s) = -8*s + 117. Let k be b(-5). Let r = k - 152. Solve 2*q + 0 = r*a - 1, a + 3*q - 7 = 0 for a.
1
Suppose -88*i + 82*i + 2*s + 160 = 0, 4*s = 2*i - 70. Solve i = -4*a - 5*w, 24*w - 28*w = -5*a + 20 for a.
0
Let d(x) = -x**2 - 5*x - 3. Let s be d(-5). Suppose f = -18 + 98. Let n be (1 - s) + f/8. Solve 5*o = -3*j + 16, 0 = -3*j - 0*o + o - n for j.
-3
Let z be ((-2)/(0 - 1))/1. Suppose d - 12 - 14 = -5*y, -15 = -4*y + 5*d. Let i = 3456 + -3407. Solve r + 21 = y*u + i, 31 = z*r - 5*u for r.
3
Let m = 13349 - 13319. Solve u + t + 0*t + 6 = 0, 5*u - 4*t = -m for u.
-6
Let x(l) be the third derivative of -l**6/60 - l**5/60 + 18*l**2. Let w be x(-1). Let g be (3/5)/w*5. Solve 3*f = -t - 15, 5*f - g*t + 6 = -5 for f.
-4
Let x(l) = -l**2 - 2*l + 94. Let j be x(0). Suppose 5*b - j = 206. Suppose -7*m = -12*m + b. Solve -2*w - 2*t - t + m = 0, -7 = -3*w + t for w.
3
Let n(c) = 3*c**2 + 81*c + 5. Let o be n(0). Solve 9 - 12 = -o*r + h, -4*r + 5*h = 6 for r.
1
Let t = 192 - 182. Suppose 5*j = 2*i - 10, -i - 6*j = -t*j - 5. Solve -2*m - 3*y - 3 = 0, -2*m - i*y + 2 - 3 = 0 for m.
-3
Let d be 1/(2/10*-12*(-4)/48). Solve 0 = -28*y + 24*y + 3*v, 0 = d*y + v for y.
0
Let y(z) = z**3 - 18*z**2 + 20*z - 50. Let q(s) = s**2 - 6*s + 10. Let r be q(7). Let u be y(r). Solve 4*l = -v + 6, -v - 11 - u = -5*l for v.
-2
Let x = 31564 - 31562. Solve -x*t = -3*k - 29, 8*k - 3*k + 32 = t for k.
-5
Let x(n) = -2*n**2 - 35*n + 22. Let v be x(-18). Suppose -2*t - 78 = -3*i, -77 - 27 = -4*i - v*t. Solve -p + i = -2*w + 3*p, 40 = -5*w + 5*p for w.
-3
Let s = -170 - -30. Let y = -135 - s. Solve 5*d = -i - 7, -4*i + y*i = 2*d for i.
-2
Suppose -13*t = -45*t + 352. Suppose -t*i - 34 = -34. Solve 0*q = -2*s + 3*q - 6, q = i for s.
-3
Suppose 53*j = 11*j + 210. Solve -25 = -j*s - 4*p - 4, -2*p = -2*s - 6 for s.
1
Let z(f) = f**2 - 3*f - 856. Let i be z(-28). Let h = -12 - -20. Let s be i/h*(-3 + 5). Solve -2*g - 2*u - s = -g, -4*g - 4*u + 4 = 0 for g.
5
Let b be -1073 + 1081 + (-4 - -1)*2. Suppose 0 = 4*h - 5*c - 9, 2*c + 2 + 10 = 3*h. Solve 3*i + u = -3, h*i = i + b*u + 6 for i.
0
Let u(a) = -9*a + 32. Let f(i) = 8*i - 32. Let d(y) = -6*f(y) - 5*u(y). Let x be d(-3). Solve 0 = 4*c - 5*l + x, -5*c - 4*l = -4*c - 16 for c.
-4
Let r(u) = -2*u**3 - 2*u**2 + 2*u. Let f be r(-2). Suppose 8*m + 40 = 18*m. Let q be 24*(1 + 75/20 - m). Solve -x + q = -0*x - f*p, 20 = -5*p for x.
2
Let a = 8272 - 8269. Solve -a*k + 9*m - 24 = 12*m, k = -5*m - 28 for k.
-3
Let z = 554 + -549. Suppose -z = -3*b + 1. Solve -3*g + 1 = a, -27 = 3*a + b*a - g for a.
-5
Let r = -40 + 72. Suppose -20*w + 12*w = -r. Solve 3*x + 15 = 0, 2*s + w*x + 8 = -6 for s.
3
Let q be 1/(1 - (-24)/(-23)). Let t = q - -23. Let h = -104 - -107. Solve 4*w - w + h*m + 12 = t, -4*m = 4 for w.
-3
Let o(f) = 3 - f - 2 + 10. Let g = 2286 + -2277. Let p be o(g). Solve -11 = -p*k - a, -5*k + 0*k + 5*a = -5 for k.
4
Let y = 281 - 274.