p - b*p = a for p.
5
Let k(c) = c**2 + 5*c - 10. Let u be 4*1*((-5)/(-2) - 2). Let b be k(u). Solve -b*n = -0*n - 16 for n.
4
Suppose -4*q + 4 + 9 = 5*c, -4*c - 26 = -2*q. Solve -q*m - 3*m = 50 for m.
-5
Let o = 40 + -37. Solve -o = -6*k + 3 for k.
1
Let s(f) be the second derivative of 4*f - 1/3*f**4 - 1/20*f**5 - 1/6*f**3 + 0 + 1/2*f**2. Let w be s(-4). Solve 0 = -0*x - w*x - 25 for x.
-5
Let c be 0/1 - ((-145 - -14) + 5). Solve -l - c = -124 for l.
-2
Suppose -n + 15 = -4*n. Let g(s) = 49*s**2 + 9*s + 3. Let w(q) = -73*q**2 - 13*q - 4. Let x(z) = n*w(z) - 7*g(z). Let j be x(1). Solve j - 3 = 4*i for i.
5
Suppose 26 = 6*h - 4. Suppose -3*k + 5*k - h*p = -37, 5*k = 5*p - 70. Let l = -11 - k. Solve l = 3*t - 9 - 0 for t.
3
Let c(s) = s**3 - 12*s**2 - 27*s - 13. Let g be c(14). Solve -9*n = -8*n + g for n.
-1
Suppose -f + 2 = -10. Suppose 4*b = -0 + f. Solve -5*k - b = -13 for k.
2
Suppose 21*b + 28 = 4*y + 18*b, 3*b - 8 = -5*y. Solve 2 - 14 = y*h for h.
-3
Let h = 6 - 3. Solve -h*a = 14 + 1 for a.
-5
Suppose 2*n = 2*t - 3 + 5, -2*t + 19 = 5*n. Let u be -12 + n + -1 + 2. Let h = -8 - u. Solve 0*g - 3*g - 6 = h for g.
-2
Let o be 2*(-2 + 22/4). Let s(d) = -2*d + 17. Let r be s(o). Solve -3*q - 15 = -r for q.
-4
Let r be (1 - (5 + -7) - 3)*1. Solve -b + 2*b = -r*b for b.
0
Let g = -14 - -18. Suppose -5*h + 4*h + o + 10 = 0, -4*o - g = -h. Suppose 0*m - 12 = -4*a + m, -2*m + h = 4*a. Solve 3 + 3 = a*f for f.
2
Suppose -3*l = a - 11, l = -a - 0*l + 7. Suppose 0 = -x, -4*f - a*x + 0 = -8. Suppose -f*v = 3 - 7. Solve 0 = -v*i + 5 - 3 for i.
1
Let g be 10 - 1 - (-138)/46. Solve 4*c = -g - 4 for c.
-4
Let r be -1 + -1 + -3 + 5. Solve -5*g + 0*g = r for g.
0
Let o = 7 - 19. Let n be 1*o*(-2)/4. Let c = 8 - n. Solve -13 + 3 = -c*x for x.
5
Suppose -22*i = -27*i + 30. Solve 3*j - i*j = 0 for j.
0
Suppose 2*t - 1 = a, 7 = 4*a - 5. Let z = 4 - 1. Solve c = -t*c - z for c.
-1
Suppose -26*w = -37*w + 176. Solve 3*h = -h + w for h.
4
Suppose p - 3 = 0, s - 3*p - p + 9 = 0. Let h(w) = 2*w**2 - s*w**2 + 0*w + 4*w - 6 + 6*w. Let g be h(9). Solve g*o = -o - 8 for o.
-2
Let a be (9 - 9 - 2) + 4/2. Suppose -4*i = 4*r - 5*r + 31, 16 = -4*i + 4*r. Let h = i + 11. Solve a*z - 4 = -h*z for z.
2
Let w = -2 - -6. Let d be 6*1*(1 - w/8). Solve 0 + 3 = -d*l for l.
-1
Suppose 35*y - 234 = 9*y. Let r be (-3)/(-15)*(2 + 3). Solve y = -4*t + r for t.
-2
Let y(c) = -1430*c + 17160. Let g be y(12). Let d = 0 + 2. Let n = 2 + 0. Solve g*h = -n*h + d for h.
1
Suppose 5*b + c - 10 = 177, -4*b - c + 149 = 0. Solve -b*m - 20 = -28*m for m.
-2
Let i be (0 - -2)*(3 - (-63)/(-42)). Let a = -8 + 8. Solve a = -i*n - 0*n + 12 for n.
4
Let l(r) be the second derivative of -r**3/2 - 3*r**2 - 4*r. Let n be l(-6). Let p be (4/6)/(2/n). Solve 3*a - 11 = p for a.
5
Suppose -4*b + 0*b = -16. Suppose 4 = w - 10. Let o(k) = k**3 + 2*k**2 + 2. Let s be o(-2). Solve b*d = w - s for d.
3
Let x(f) = -f**3 + 17*f**2 - 29*f - 12. Let t be x(15). Solve -6*a = -t*a for a.
0
Suppose -10*c = -11*c - 2*z + 5, -25 = -5*c + 5*z. Solve -7*v + v = c*v for v.
0
Let s = -420 - -423. Suppose -2 = 4*v + 2. Let u be 3 - (-3)/3*v. Solve u*y + 10 = -s*y for y.
-2
Let p = 106 - 79. Suppose 5*o - p = -w - 6, -5*w = 2*o - 13. Suppose 10 = -4*f + 26. Solve -3*q + f = -o*q for q.
-4
Let m = -473 - -476. Solve -2*f = -f + m for f.
-3
Suppose 2*y = x + y - 2, -y = 3*x + 2. Solve x = 10*m - 9*m + 5 for m.
-5
Let g(c) = 10*c + 12. Let a(r) = 9*r + 13. Let x(l) = -7*a(l) + 6*g(l). Let y be x(-16). Solve 4*b + y - 9 = 0 for b.
-5
Suppose -2*j + 43 = 3*h, h = -2*j + 4*h + 37. Suppose -5*o - 5 = -j. Solve -o*z = -5 + 20 for z.
-5
Let d = 2413 + -2356. Solve -28*z = d + 27 for z.
-3
Let a be ((-24)/(-15))/((-4)/10). Let n be (-10)/a*(1 - (-5)/25). Solve 5*x - n*x = -2 for x.
-1
Suppose -r + 2 = i, -5*r - 6 = i - 4*i. Let o be ((-5)/3)/((-20)/24). Suppose -i*y = o - 10. Solve -y*k - k = -10 for k.
2
Suppose -41*y + 237 = -1403. Solve -2*z - y = -30 for z.
-5
Let h = -4 + 6. Let t(d) = 2*d**3 - 2*d**2 - 3*d + 5. Let w be t(h). Solve -2*p = -w*p + 25 for p.
5
Suppose 119*g + 5*i = 116*g + 32, 5*i + 120 = 5*g. Solve g - 15 = -4*w for w.
-1
Let s = 51 + -107. Let m = s - -56. Solve -3 = -m*t - 3*t for t.
1
Let u = -223 + 226. Let d = -4 - -7. Suppose 4*m + 22 = 3*a, -d*m = 2*a - 8*m - 24. Solve a*k = 11 - u for k.
4
Suppose h = -0*h. Let b(r) = -8*r - 59. Let q(z) = -3*z - 20. Let t(g) = 4*b(g) - 11*q(g). Let u be t(17). Solve w + u = -h*w for w.
-1
Suppose 0 = 2*f - 0*c + 4*c, -3 = 3*c. Suppose -2*i - 8 = 0, -5*a = -4*a + f*i + 6. Solve a*l - 5 = -1 for l.
2
Suppose -5*r + r = 12. Let a be (r/(-12))/(1/12). Let c = 4 + -1. Solve 0 = -2*n + a*n - c for n.
3
Let j be 2/1 - (-6 - -4). Let z be 128/j + -1 + 0. Suppose 3*f + 7 - z = 0. Solve -f*w = -3*w for w.
0
Let j = 17 + -11. Suppose 3*b - 21 = j. Let w = b - 9. Solve w*v + 4 = -4*v for v.
-1
Let k(b) = b**2 + 35*b - 106. Let g be k(-38). Solve -7*o + g = -3*o for o.
2
Let g(n) = n**3 - 8*n**2 + 16*n - 2. Let j(o) = -o**3 + 2*o**2 + 7*o + 9. Let q be j(4). Let f be g(q). Solve -2*r - 1 - f = 0 for r.
-2
Suppose 2*k + 43 = 107. Suppose f + k = 2*f. Suppose f = 5*v - 4*m - 22, v - 3*m - 13 = 0. Solve 4*i = 2 + v for i.
3
Let k(j) = -5*j + 9. Let w be k(6). Let n = -21 - w. Suppose 3*s + u - 37 = n, -s + u = 3*s - 40. Solve 14 = 5*i - s for i.
5
Let l(h) = 5*h - 17. Let p(z) = 2*z - 9. Let i(g) = 3*l(g) - 7*p(g). Suppose -26*y = 170 + 90. Let n be i(y). Solve -n*r = 2*r - 8 for r.
2
Let f(h) = -h**3 - h**2 - 5*h - 12. Let m be f(-2). Solve m*t + 3*t = 3*t for t.
0
Let q = -72 + 51. Let a = -18 - q. Let m be (a + 4)*2 - -2. Solve 3*z = -z - m for z.
-4
Let g = 5 + -3. Let i(j) be the first derivative of -j**4/4 - 7*j**3/3 - 11*j**2/2 - 3*j - 1. Let x be i(-5). Solve x*l + 0 = -g for l.
-1
Suppose a + 2*u + 44 = 3*a, -4*a = -5*u - 86. Solve -5*b - a = b for b.
-4
Suppose -2*m - 26 = -3*j, -15*j + 11*j - 3*m + 46 = 0. Solve -2*a = 4 - j for a.
3
Suppose 0 = -3*b + 2*b - f, 0 = b - 3*f - 16. Suppose n = -2*g + 17, 2*n + 14 + 15 = 3*g. Suppose 0*o + g = o. Solve -o + b = -h for h.
5
Let l be (-1)/(0 - 2/4). Suppose 0 = d - 0*d - f + 41, 0 = -4*f + 12. Let m = d - -40. Solve -l + 8 = -m*c for c.
-3
Suppose 26*x - 591 = 449. Solve 2 = -38*t + x*t for t.
1
Let c = -274 - -279. Solve -q + c - 6 = 0 for q.
-1
Let d(r) be the third derivative of -r**6/720 - r**5/40 + r**4/6 - 5*r**2. Let b(p) be the second derivative of d(p). Let v be b(-8). Solve -v = 5*t + 10 for t.
-3
Suppose -21*l + 248 = 17. Let p(h) = 4*h. Let m be p(-1). Let j = m - -8. Solve -j*f - 5 = l for f.
-4
Suppose 16 = -103*q + 107*q. Let f be 2 - (-4 - -1) - q. Solve -11 = -4*n + f for n.
3
Suppose 0 = 8*k - 10*k + 10. Suppose -4 = -t - 4*v, -3*t - 1 = k*v - 6. Solve t*q - 4 = q for q.
-4
Suppose -1 - 1 = -n. Let f(d) = -d + 3. Let c be f(n). Suppose 4*s - c + 0 = h, 0 = s + 4*h + 4. Solve s = 2*m - m + 1 for m.
-1
Let m(q) = 4*q**2 - 56*q + 5. Let z be m(14). Solve 14*r + z = 13*r for r.
-5
Let x be 1184/304 - 6/(-57). Solve 4 + x = 2*f for f.
4
Suppose 3*u - 2*z - 163 = 71, -5*u = z - 377. Let g be 2/6 + u/6. Suppose -g - 2 = -5*k. Solve k*j - 1 = 11 for j.
4
Let c = 29 - 19. Let o be (-1*3)/(-7 - -8). Let d be (1 - (0 - o)) + 2. Solve d = 4*x + x + c for x.
-2
Let t(k) = -k**3 - 6*k**2 + 2*k + 2. Let i be t(-6). Let r be 5/6*-5 - (-2)/12. Let j be 6*(i/3 - r). Solve -1 = g - j for g.
3
Suppose 10*d - 32 = 18. Solve -d*k + 17 = -3 for k.
4
Suppose 0 = -38*n + 7*n. Solve n = 4*j - 2*j + 6 for j.
-3
Suppose d = 3*y - 7*y + 179, 3*y - 4*d - 120 = 0. Suppose 2 - y = -7*h. Solve 0 = 3*v - h*v for v.
0
Let o(u) = -u**2 + 64. Let q be o(0). Suppose -7*c + q = 9*c. Solve 0 = -c*p - 29 + 9 for p.
-5
Let y = -20 + 25. Suppose -2*l + 4*q = l - 32, y*l - 2*q - 44 = 0. Solve 0 = 2*h + 2 - l for h.
3
Let k(l) = l**3 + 8*l**2 + 6*l - 10. Let d be k(-7). Let p(u) = u + 1. Let z be p(d). Let m be ((-27)/6 - -3)*z. Solve -13 = 5*w - m for w.
-2
Let d(m) = 24*m - 93. Let z be d(11). Solve -10 = -176*h + z*h for h.
2
Let p(b) = b + 8. Let v(c) = c**2 - 12*c + 12. Let s be v(10). Let n be p(s). Solve n = -0*u - 3*u - 9 for u.
-3
Let j(c) = 3*c - 12. Suppose -2*q = -17 + 9. Let m be j(q). Solve m = -3*h - 0*h - 3 for h.
-1
Let t(l) = -l**3 - 16*l**2 -