- 13, -b + 6*b = -3*v + r for v.
1
Let o = -32 - -34. Suppose -4*a + o*a + 6 = 0. Let c be (-3)/2*(-16)/a. Solve 3*r - 4*k + 5*k = -c, 2*k - 8 = 2*r for r.
-3
Let f(a) = 4*a**2 - 6*a + 279. Let u be f(14). Let z = -974 + u. Let k = 1 + -1. Solve h + 21 = 2*c - 4*h, -2*c - z*h - 9 = k for c.
3
Suppose -15 = 15*k - 20*k. Let o be k/(-4) - (-33)/12. Solve -o*y = 7*t - 2*t - 2, t + 10 = -3*y for y.
-4
Let g(b) = b**2 + 6*b + 7. Suppose 0 = 2*k, z - 4*k - 5 = -2. Let y be z*((-52)/12 - -3) + -1. Let w be g(y). Solve 6 = 3*n - p - p, 5*p + 15 = -w*n for n.
0
Let h(q) = -q**3 + 24*q**2 - 135*q - 101. Let p be h(13). Solve -p*g = -4*b + 20, 17*b = 15*b + 5*g + 10 for b.
5
Suppose 53*l - 52*l = 3*m + 9, -m + 13 = l. Let p(c) = -c**3 + 10*c**2 - c + 14. Let b be p(10). Suppose b = o + 3. Solve 5*g = -2*y + l, 5 = g + o for y.
-4
Let n be (-3 - 307) + -2 - (23 - 24). Let g = -309 - n. Solve 5*y + 3*o = -8, -g*o - 7 = y - 4 for y.
-1
Suppose 0 = -40*u + 20*u + 80. Solve 7 = -4*c - u*k + 15, 3*c = 5*k + 30 for c.
5
Suppose -3*y + n = -7, -627*n + 623*n = 3*y - 2. Solve -y*t = 8, -3*i + 3*t = -6*i for i.
4
Let t(l) = 12*l + 196. Let h be t(-16). Let s be h/(126/108*(-3)/(-14)). Solve -3*c - 12 = -6*c, -w + s = 4*c for w.
0
Suppose 0 = -8*c - 31*c + 78. Solve 5*f - 9*f + 15 = o, -2*o = c*f for o.
-5
Let k = 28052 - 28049. Solve 3 + 3 = k*l - 4*t, 2*t = -3*l - 12 for l.
-2
Let y = -28766 + 28771. Solve -4*u + 4 = -6*u, -y*a = 4*u + 23 for a.
-3
Let v be (-8)/3*54/(-24). Suppose -v + 10 = i. Let w = -15 - -17. Solve 2*k - 7 = -u - w*k, -i*k = -u - 17 for u.
-5
Suppose 0 = -20*m + 182*m - 25*m - 65*m. Solve w - 5*q + 11 = m, 0*w = 4*w - q + 6 for w.
-1
Suppose 104*l - 183 = 43*l. Solve -5*c = -l*n + 9 - 46, -5*c + 17 = 2*n for c.
5
Let h be 4/18 + (-48)/(-27). Suppose -3*p = -6, -h*u - 2*u - 2*p = 156. Let z be 10/u + 1/4*13. Solve -5*n + 5*m = 4 + 1, z*n + 2*m = -18 for n.
-4
Let j(d) = -10*d**3 - 130*d**2 - 2*d - 17. Let q be j(-13). Solve 3*f - 7 = 2*r, -2*f - 6*r = -q*r + 2 for f.
5
Let w be (0*(15/6)/5)/(-1). Solve h + y - 3 = w, -2*y + 4 = -h - 5 for h.
-1
Let q(c) = 18*c + 2. Let b be q(1). Suppose 0 = -6*t + 11*t - b. Let m(n) = n**2 + 31*n + 61. Let k be m(-29). Solve i - g + 6 - 14 = 0, -g + t = k*i for i.
3
Suppose -2*z = 2*z + 1588. Let q = 427 + z. Solve 2*h - 7*y + q = -2*y, y = -h - 1 for h.
-5
Let x be (-69)/92*(-91 - 1). Suppose 2*v - 3*v - 67 = 0. Let b = x + v. Solve -q = 2*t - b - 1, 3 = -5*t + q for t.
0
Let o(b) be the first derivative of -b**3/3 + 3*b**2 - 6*b + 7. Let l be o(2). Suppose 8 = l*s - 2. Solve 3*w + 0*d - s = -2*d, 3*d = 2*w - 12 for w.
3
Let q be -2 + ((-66)/(-88))/(1/12). Suppose q = u - t, 4*t + 24 + 9 = 5*u. Suppose b = -0*b + 2. Solve -5*x = -3*x + 10, -b*l = -x - u for l.
0
Let h = 25 + -25. Suppose 3*a + 2*l = -6, h = -2*a + 4*a - 5*l + 4. Let s be (a/(-10))/((-2)/(-50)). Solve -s = -3*m - 2*m, 4*m + 1 = -r for r.
-5
Let i = 0 + -196. Let q = i + 200. Solve -2*r + 3*f = -11, 5*r + 29 = -q*f - 1 for r.
-2
Let l = 10291 - 10288. Solve -5*r - 25 = l*i, -i + 15 - 12 = -4*r for r.
-2
Let c = -31238 - -31246. Solve 4*h + 2*w = 2 + 8, -w + c = -h for h.
-1
Let g(q) = 4*q - 55. Let a be g(14). Let z be (-104)/(-28) + ((-9)/(-7) - a). Solve 7 = s - t + 2, z*t = -4*s + 20 for s.
5
Let l = 2346 + -2337. Solve 4*p - 26 = -2*g, l*p - 7*p = -4*g + 28 for g.
5
Let a = 220 + -237. Let n = 22 + a. Solve n*l - 5*w - 30 = -0*l, 0 = l - 5*w - 14 for l.
4
Let j = -999 + 652. Let b = j + 351. Solve -3*i = 4*o - 35, -b*i = i + 5*o - 50 for i.
5
Suppose p + 8*p = 10*p. Let n be (p + 2)/((-42)/(-105)). Suppose 42 - 10 = 2*k. Solve -3*v - 5*q = -k, 0 = -n*q - 4 + 14 for v.
2
Let b(h) = -79*h - 4104. Let c be b(-52). Solve -15 = 5*t - r, c*t = 9*t + 3*r - 5 for t.
-2
Suppose -2*f = -3*b - 7*f + 14, -4 = -3*b + 5*f. Suppose -2*y + b*y = 15. Suppose y = 3*q + 3. Solve 2*w + 3 = 3*j - q, 2*w - 2*j + 8 = 0 for w.
-5
Suppose 0 = -38*x + 66*x - 11088. Let t = -392 + x. Solve -t*q = 0, -3*q - 20 = -4*n - 0 for n.
5
Let v = -226 + 206. Let x(f) = -2*f - 14. Let r be x(-9). Let g be r/v + 2/10. Solve -4*q = -i - 11 - 8, 4*q - 16 = g for i.
-3
Let p(z) = -5*z**3 + 6*z**2 - 10*z - 17. Let j be p(-1). Solve 0 = 2*y - 4*x + 12, j*y = -y + 3*x - 16 for y.
-2
Let a be ((-21)/4 + 4)/((-3)/12). Let j = -3 - -5. Suppose 15 = a*p - 2*p, -j*p = 5*s - 35. Solve 2 = -2*n - s*u - 18, 4*n - 20 = 5*u for n.
0
Suppose 70 = 33*h + 2*h. Suppose h*k - 4*i - 27 = 9, -2*k + 2*i = -28. Solve 4*u = 3*c + k, -c + 2*u = -0*u + 6 for c.
2
Suppose 23*u - 28*u - 5*a = -880, 3*a + 704 = 4*u. Let h = -175 + u. Solve t - h = 5*m, -t + 3*m = 2 - 1 for t.
-4
Let n = 283 + -183. Let j = n + -98. Solve -a + 15 = -4*l, -2*l = 2*l + j*a + 6 for l.
-3
Let c(s) = s**3 + 13*s**2 + 15*s + 36. Let i be c(-12). Let t be (2 - 7)*(i - (-6)/(-15)). Solve 2*o - t = 3*l, 0*o = 2*l - 2*o for l.
-2
Let x(b) be the second derivative of b**4/12 - 7*b**3/2 + 56*b**2 + 111*b + 2. Let o be x(10). Solve -4*r + 6 = o*m, 2*m = 4*r - 18 - 0 for m.
-3
Let u be ((-10)/15*10)/((-48)/9 - -5). Solve u = -5*c, -10*y + 9*y - 4*c - 11 = 0 for y.
5
Let r = -11 + 52. Let z = 87 - 42. Let u = z - r. Solve 15 = -2*n - 3*m, u*n + 2*m + 10 = n for n.
0
Suppose 12*v = 64 - 16. Suppose v*w - 40*w = -108. Solve -3*h - 34 = 2*h + w*i, 0 = h + 4*i + 17 for h.
-5
Let i = -479 + 428. Let b = i + 53. Solve 2*j - j + 4*z = -15, b*j = -4*z - 10 for j.
5
Let t be -11 + (-7 - -11) - -11. Suppose -z + 5 = 0, 3*z + 31 = t*h + 6*z. Solve 0 = -5*g - h*o + 6, 2*o = -0*o + 8 for g.
-2
Let n(y) = y**3 - 5*y**2 - 5*y - 6. Let f be n(6). Let m = 38 + -35. Suppose 2*h + m*h - 15 = f. Solve 4*d + 2*p = -p - 5, -13 = -4*d + h*p for d.
1
Let m be 1/4 - (-11)/4. Let i(q) = 73326*q**3 - 29 - 13 + 29*q**2 - 73328*q**3 - 11*q. Let j be i(14). Solve -2*y - p - m = -j*p, 4*p = y - 12 for y.
0
Let y = -333 + 362. Suppose -5*q - 14 = -y. Solve o = q*i - 0*i - 8, 0 = 4*i - 2*o - 14 for i.
1
Let w be (-447)/298*(-1 - 1). Solve -6*g + 4 = -w*g - x, -5*g - 2*x = -14 for g.
2
Suppose 4*y = -4*c + 8, 7 - 18 = -3*y + 2*c. Solve -4*q - 2 = 2*p - 8, -2*q = -5*p + y for p.
1
Let q be (-20)/((-540)/(-144) + 0 + -5). Solve 0*i + 2*i = -4*b + q, 5*b = -5*i + 30 for b.
2
Suppose 10*w - 29 - 15 = -4. Solve w*c = 2*b - 4, -5*b - 2*c + c = -10 for b.
2
Let k be (-42)/4*5*36/(-270). Solve -f = 4*v - 8, 5*v + k - 26 = f for v.
3
Let j be 18/10 + 1/5. Let p(l) = 2*l**2 + 8 + 0*l - 7*l + 3*l + 0*l**j. Let q be p(3). Solve 0 = 4*o - i - 10, -2*o + q = o - 4*i for o.
2
Let j(h) = -244*h + 1222. Let x be j(5). Solve -z - z + 8 = 0, -z = x*k - 12 for k.
4
Let r(w) = 5*w - 49. Let x be r(11). Suppose -x*k + 0 = -36. Solve 3*f + z + k = 0, -5*f - 6 = -2*f + 2*z for f.
-2
Let g = -456 - -452. Let k be -4 - (25/g + (-75)/100). Solve 5*u + 5*x = 5, -4 = u + 5*x + k for u.
3
Suppose -3*x - 5*k = 5, -2*x - x + 5*k + 5 = 0. Suppose x = 14*h - 3*h - 22. Solve 3*g - 3 - 6 = -l, -2*l + 2*g = -h for l.
3
Let a be (-1)/(-4) - 15/(-24)*54. Let h = 36 - a. Let x be 0/(1 - (5 - h)). Solve x = 2*b + 3*i - 11 - 6, b + 4*i - 21 = 0 for b.
1
Let g(n) = n**2 - 4*n + 4. Let r be g(4). Let a(j) = -558*j - 156235. Let f be a(-280). Solve -5*q - 27 = -2*c - r, f*c = 4*q + 32 for c.
4
Let u(r) = 6*r**2 - 217*r + 39. Let o be u(36). Solve -27*l = -5*t - 28*l + 5, -o*l = 0 for t.
1
Let a be ((-80)/(-120))/((-2)/(-543)) - 5. Suppose -127*n + 116*n + a = 0. Let x = 40 - 28. Solve 4 = 3*j + 4*l + n, -2*l - x = 3*j for j.
-4
Let u(s) = -s - 1 + 2*s + s**2 + 3 - 19*s. Let z be u(18). Solve -5*t = z*l + 25, 2*l + 20 = -0*l - 4*t for l.
0
Suppose -7*g = 3*g - 0*g. Suppose -5*z - 4 = -h - 4*z, g = -4*h - 4*z. Solve 4*k - k + h*x = 7, -k - 21 = -4*x for k.
-1
Let m(g) = -g - 2. Let b be m(-8). Suppose 6 + b = -2*k. Let o be k/(-4)*(-8)/(-6). Solve -4*j - w = 8, o*w + 3 + 3 = 2*j for j.
-1
Let o = 10531 - 10526. Solve 35 = 4*z + z + o*i, 5*z + 3*i = 29 for z.
4
Suppose -3*g + 45 = -n, 4*g + 18*n - 67 = 17*n. Solve -5*d + 2*q = 16, -2*d - g*q - 12 = -14*q for d.
-4
Suppose -13*m - 2*b + 48 = -10*m, -3*m = 5*b - 48. Solve 9 = -5*j - d, -m = 2*j - 3*d + 8 for j.
-3
Let i = 1 - -4. Let m(l) = l**2 - 2*l + 2. Let a be m(2). Suppose 56*o = 52*o + 20. Solve -o*v + i*p = 0, -3*v = a*p + 3*p for v.
0
Let m = -12 - -96. Let j