4
Let y be (-1 - 2)*(-5)/3. Suppose y*c - 20 = c. Solve 5*p - c - 5 = 0 for p.
2
Let y(n) = 4*n**2 + 3*n. Let i be y(-2). Let v(h) = h**2 - 8*h - 6. Let z be v(i). Let p be 4/3 + z/21. Solve p*k = k - 4 for k.
-4
Let r be (-5 + -1)/(-2*(-1)/(-2)). Solve -r*g + 23 = -1 for g.
4
Let p be -1 - (0 + 1 + -2). Let x(r) be the first derivative of 5*r**2/2 - 23*r - 18. Let l be x(5). Solve p*w = -l*w for w.
0
Let j = -277 - -279. Solve 0 = 4*s - j*s + 10 for s.
-5
Suppose 4*x = -12, 2*x - 45 = -4*i + x. Suppose -7*m + i = -3*m. Suppose 7 = 4*w + 3*f, 0 = -0*w - 2*w - m*f - 1. Solve w*n - n = 3 for n.
1
Suppose 0 = -3*z - z + 3*a + 73, 2*z + 3*a - 41 = 0. Suppose 3*b = -f + 15, z = f + 3*b + b. Solve 0 = -f*l + 11 - 5 for l.
2
Let h be -5 + -4 + 5 - -22. Suppose 3*b - 6 = k, 4*b - h = b + 5*k. Solve -1 = -z + b for z.
2
Let h = 61 + -24. Let b = h - 30. Solve 4 = b*t - 3*t for t.
1
Suppose z + 17 = 4*h, -3*z = -6*z - 3. Solve h*y = 7*y - 12 for y.
4
Suppose -2*a - 1 = -3*i, -a + 448 = -2*i + 449. Solve a = h - 2*h for h.
-1
Let n(z) = -2*z**2 + 11*z + 14. Let t be n(6). Solve 0 = 2*a - t for a.
4
Let o = 182 + -321. Let w be o/(-7) - 12/(-84). Let x be 10*(12/(-10))/(-3). Solve -x*p - w = p for p.
-4
Suppose 4*d - 47*y - 8 = -51*y, 2*d = 5*y - 10. Solve 75*o - 82*o + 14 = d for o.
2
Suppose 0 = 4*s - 2*h - 22, -2*h + 6*h - 4 = 0. Solve s*f = 3*f - 12 for f.
-4
Suppose 4*v - 2*t - 14 = 0, 5*v - v - t - 17 = 0. Suppose 2*k + 3*k - 10 = v*o, 4*o + 10 = 5*k. Suppose -k*j + 7*j = 0. Solve j*d + 2*d - 8 = 0 for d.
4
Let u = -330 - -333. Solve u = 22*c - 23*c for c.
-3
Suppose -4*n - 2*y - 115 = 5, 0 = 2*n + 3*y + 60. Let i = n + 30. Solve i = 4*m - 6*m for m.
0
Let b be (-5)/(20/24)*1. Let t = 10 + b. Suppose 16 = t*w - 4. Solve -5 = w*g - 0 for g.
-1
Let v(h) = h**3 + 6*h + 6*h**3 - 7 - 7*h**2 - 4*h**3 - 4*h**3. Let c be v(-8). Let n = -3 + c. Solve n*a = a for a.
0
Suppose 0 = -2*l + 5*t - 2 + 32, -5*l + 2*t + 54 = 0. Let n = 0 - -5. Solve -l = -s - n for s.
5
Let s = 221 + -214. Solve -s*x + 12*x + 15 = 0 for x.
-3
Let l be ((-13)/26)/(2/(-288)). Let h = l + -68. Solve h*u - 9*u + 5 = 0 for u.
1
Let f be -2 - -2 - -4 - (-15)/3. Solve -6*h = -3*h + f for h.
-3
Let u(s) = -s**3 - 12*s**2 - 12*s - 3. Let g be u(-11). Suppose g = l + 6. Suppose -2*r - 100 = -5*d, l*d - 3*r = 3*d - 20. Solve -3*y = y + d for y.
-5
Let n = 9 - -17. Let z be (-737)/(-143) - 4/n. Suppose 4*y + 5*o = -5, 4*y - z*o + 3 - 8 = 0. Solve y = -d + 3*d for d.
0
Let a be (-2)/(9/3 - 1). Let r be (-8 - -9)/(a/(-11)). Let g be (r + -1)*(-20)/(-8). Solve 4*f + g = -f for f.
-5
Let b be 2/(-8)*(-11 + 7). Suppose -2*p = -5 + b. Solve -p - 7 = 3*w for w.
-3
Let m be (0/(-4))/(2/(-1)). Let c(g) = g - 18 - 3*g + 0*g - g. Let n be c(-7). Solve m = a + n*a - 4 for a.
1
Let w = -65 + 4. Let n = 67 + w. Solve -n = 4*s - 6*s for s.
3
Let n(c) = 4*c**3 - 8*c**2 + 12*c - 2. Let j be n(2). Solve 18*z - j*z = 12 for z.
-3
Suppose 5*p = 3*p - 6. Let v be 1*p/(15/(-70)). Solve -3*f + v = 5 for f.
3
Let c be (15/(-10))/(1/(-2)). Suppose 1 = 3*m - f, -c*m - 5*f = 2*m - 35. Suppose 7*j = m*j. Solve j*q = -4*q - 4 for q.
-1
Suppose -3*b - 1 = -20*g + 21*g, -5*b + 9 = 3*g. Solve -g - 4 = 6*y for y.
-2
Let o = 1 - 1. Let u be (-10)/(-1) - (-40)/8. Solve -2*y - y + u = o for y.
5
Let n be (2/10)/((-22)/(-110)). Solve n = -4*x - 7 for x.
-2
Let k be 3/(-9) + (-35)/(-15). Suppose k*n - 4*n + 20 = 4*h, 5*n + h - 5 = 0. Solve n = s + 4 - 1 for s.
-3
Suppose 0 = 5*m - 13 + 3. Let x(y) = -y**3 - 8*y**2 + 2*y + 12. Let j be x(-8). Let v be (4 + j + 0)/(-3). Solve v = m*h + h - 9 for h.
3
Suppose 220 - 36 = -4*t. Let y be 34/85 + t/(-10). Solve 4 + 6 = y*r for r.
2
Suppose 4 - 2 = j. Let k be 1 + j - 8/(-2). Suppose -39*c = -40*c + 12. Solve c = -k*f + 3*f for f.
-3
Suppose 4*l = -2*a + 24 + 90, 2*a = -10. Suppose 3*v = 4*x - 34, 2*v - 23 = -5*x + l. Solve -3*y + x = -y for y.
5
Let a(s) = -s**2 - 8*s + 12. Let k be a(-9). Let g be -1 + (4 - k) - -4. Suppose -3*b = -g*p + 9, -2*p + 0*b + 2*b = -4. Solve -4 + 1 = p*m for m.
-1
Let j = -11 - -123. Suppose -8*m + 8 = -j. Solve -m = -3*w - 3 for w.
4
Let g(r) = -r**3 - 6*r**2 - 5*r + 3. Let v be g(-5). Let x(u) = -u**3 + 2*u**2 + 7*u - 4. Let l be x(3). Let b = -1 + 3. Solve -l = v*z - b for z.
-2
Let u(p) = -p**3 + 45*p - 14. Let x be u(-7). Solve -x = z + 6*z for z.
-2
Let w = 32 - 26. Solve 3 = w*l - 3 for l.
1
Let g(o) = -14*o + 325. Let l be g(21). Solve 4*s = l - 15 for s.
4
Suppose -40*b + 368 = -32*b. Solve b*f = 51*f + 20 for f.
-4
Let g = 1624 + -1619. Solve -g = -11*f + 6 for f.
1
Suppose -11*r = -25*r + 140. Solve -10 = 7*w - r for w.
0
Suppose -4*f + 4*b = -56, 8*f - 4*b - 67 = 3*f. Let s(z) = -z**2 + 11*z + 2. Let v be s(f). Solve 1 = -v*q - 1 for q.
-1
Let z(p) = -p - 6. Let u be (-6)/1*(-11)/(-11). Let b be z(u). Solve -2*v + 3*v + 4 = b for v.
-4
Suppose -4*l + 2*f = -24, -l - 4 = 2*f - 20. Let a = l + 28. Suppose 8*h - 3*h - a = -4*p, 52 = 4*p + h. Solve 4*z = 6 - p for z.
-2
Let z be 2/(-8) - 3/(-12). Suppose w = 0, 3*i - 12 = -3*w - z*w. Solve -k = -i*k for k.
0
Let p be ((-824)/(-48) + -18)/((-2)/36). Solve w - 64 = -p*w for w.
4
Let t(z) = z**2 - 2*z - 5. Let s be t(4). Suppose 0 = 3*x + b - 15 - 18, -51 = -5*x - s*b. Solve -r = -4*r + x for r.
4
Let c(r) = 13*r - 4*r**2 + r**2 - 5*r + 3 + r**2 + 0. Let b(k) = 4*k. Let f be b(1). Let m be c(f). Solve -m*j + 7 = -5 for j.
4
Let t(g) = -g + 13. Suppose -3*l + 7*l - 32 = 0. Let x be t(l). Solve 13 = -x*p - 12 for p.
-5
Suppose 5*k + 17 = -113. Let m = k - -28. Solve -b = m*b - 6 for b.
2
Let r be (-54)/(-4)*12/(-18). Let d be (-34)/(-8) + r/(-12). Suppose h = -d*h. Solve -i + 3*i + 10 = h for i.
-5
Let b(d) = -d**3 - 20*d**2 + 22*d + 25. Let t be b(-21). Solve 2*k - 8 = -t for k.
2
Let g = -39 - -49. Let o(k) be the second derivative of k**4/12 - 2*k**3/3 + 9*k**2/2 + 7*k. Let i be o(7). Solve i = -5*v + g for v.
-4
Let x(p) = 12*p**2 + 17*p + 10. Let a be x(-2). Solve 4*n = -a + 24 for n.
0
Let l(c) = -c**2 - 8*c - 7. Let s be l(-5). Suppose -4 = 4*m + s. Let g be 1/(m*2/(-36)). Solve 0*z = -2*z - g for z.
-3
Let x(o) = -2*o - 5. Let q be x(-3). Let b be (3/3)/q - 0 - 0. Solve 5*d - b + 26 = 0 for d.
-5
Let o be (2*(6/3)/(-2))/(-2). Solve 2*f - o = -3 for f.
-1
Let c(n) = n**2 + 5*n + 2. Let z be c(-9). Let p be 3 + -1*1 - (-51 + z). Solve 2*f - p = -f for f.
5
Suppose -3*f - 74 = -5*m + 91, 0 = 4*f - 3*m + 209. Let l be 0 - ((-1)/(-4) + f/8). Solve 4*n - 6*n = l for n.
-3
Suppose -5*q + 20 - 75 = 0. Let k(y) = y**2 + 8*y - 26. Let g be k(q). Suppose -f - 3*d + 4 = 0, -f + 2*f - 4 = 2*d. Solve f*u - 15 = g*u for u.
-5
Let t(r) = -37*r - 354. Let c be t(-10). Solve -x + c*x = -45 for x.
-3
Suppose -9*y - 5*q - 8 = -11*y, -2*y + 8 = 4*q. Solve y = 20*l - 22*l for l.
-2
Let m(v) = -v**3 - 5*v**2 + 14*v + 16. Let z be m(-7). Solve 4*o - 4 = -z for o.
-3
Let o = 0 + 0. Suppose 24*q = 31*q - 14. Solve 2*y + o*y = q for y.
1
Let n = -126 + 99. Let f be n/(-5) - 12/30. Solve 0*i = i - f for i.
5
Let c be (-9)/36*-8*2. Let u(b) = -3*b**3 - b**2 + b - 2. Let p be u(-2). Suppose -c*t - 4 + p = 0. Solve -4*r = -t*r for r.
0
Let s = 437 - 421. Solve -5*r + 21 = s for r.
1
Let j = -578 + 581. Solve -j*g = -g - 4 for g.
2
Let z = -53 - -52. Let o be (-23)/(-6) - z/6. Solve -o*y - y = 0 for y.
0
Let y be (-323)/(-38) + (-2)/4. Solve -y*l + 14*l + 30 = 0 for l.
-5
Suppose -3*z + 10 = -z, 5*m + 3*z - 35 = 0. Suppose 2*v = 7*v + 2*d + 8, -2*v + 4*d = 8. Let q be 0/(v*(-4)/(-8)). Solve q = x - 3 + m for x.
-1
Suppose 23 = 4*x + m, 5*x + 7 - 39 = 2*m. Suppose 44 = 5*k + 3*s + x, 44 = 4*k - s. Solve 2*a + k = -0*a for a.
-5
Let s(v) = 5*v + 6. Let a(m) = 4*m + 5. Let z(l) = 7*a(l) - 6*s(l). Let k be ((-15)/45)/(1/9) - -1. Let x be z(k). Solve 0 + x = -w for w.
-3
Let x = -4 - 1. Let v be (-92)/x - 8/20. Let y be (-8)/(-3) + 6/v. Solve -y*m = m - 20 for m.
5
Suppose 42 = -2*x + 10. Let r be 9/(-72) - 82/x. Suppose -r = -4*n - 3*h, 7*h = 2*n + 4*h - 7. Solve -2*j + n = -4*j for j.
-1
Suppose 3*d - 3*k - 26 = 13, -4*d + k = -61. Solve -4*o + d = -12*o for o.
-2
Let m(n) = n**3 - 2*n + 3. Let u be m(1). Let w(f) = 4*f**2 - 8*f + 2. Let h be w(u). Solve -3*r + 20 = h*r for r.
4
Let o be (-1)/(0 + 6 + -5) + 4. Solve -o*x = -21 +