-n*p = -3*p + 4 for p.
4
Let a be (-8)/(-3) - ((-1320)/72)/55. Let l(y) = y + 10. Let h be l(-5). Solve h*b - a + 23 = 0 for b.
-4
Let w(g) = -g**3 + 8*g**2 - 18*g. Let i be w(4). Let a = i + 8. Solve 3 = -a*j - j for j.
-3
Let q = -504 - -521. Solve l = -q + 22 for l.
5
Let m(c) = -2*c - 8. Let j be m(-8). Suppose -s - 3*s = -j. Solve s*x + 4 + 2 = 0 for x.
-3
Let t(j) = -j**2 - 15*j - 36. Let k be t(-11). Solve k = -a + 3*a for a.
4
Let y(r) = r**2 - 42*r - 39. Let m be y(43). Solve -m*p - p = 0 for p.
0
Suppose -47 = -l + x + 12, 5*l = x + 311. Let n be 4/6*l/14 + 5. Solve -j - j + n = 0 for j.
4
Let t = -504 + 507. Solve 6*x + 21 = -t for x.
-4
Let c = 25 + -23. Suppose -6*i + 20 = -c*i. Solve -2*b - i = -7*b for b.
1
Let n be 2/7*(-84)/32*-4. Solve 2*j - 25 = -n*j for j.
5
Suppose -7*c + 3*c + 4*j - 8 = 0, c - 3*j = -12. Suppose n + c*q = 2, 3*n - 4 = n - 5*q. Let g = 45 - 43. Solve n*k + g = -0 for k.
-1
Let u(d) = -d**3 - d**2 - d - 1. Let h be u(-2). Suppose -5*a + h = 0, 0 = -i - 2*a - 0*a + 6. Let l be (-19)/(-38) + (0 - 10/(-4)). Solve -x - i = l*x for x.
-1
Suppose 7*l - 12 = 4*l. Solve -l*h - 1 = 3 for h.
-1
Let h be 63/(-42)*(-1 - 1). Suppose h*s - s - 34 = -4*u, 40 = 5*s + u. Solve s*v - 8 = 3*v for v.
2
Let z be (55/22)/1*4/5. Solve 0 = z*v - 20 + 10 for v.
5
Suppose -647*x = -651*x + 16. Solve 7*s - 9 = x*s for s.
3
Let z be ((-28)/6)/(10/(-6) + 1). Solve -z*s + 6*s = 4 for s.
-4
Let t(x) be the second derivative of x**4/12 - 2*x**3/3 - 5*x**2 + 28*x. Let f be t(6). Let z = 1 - -2. Solve -z*a + a = -f for a.
1
Let c be (16/(-20))/(-2)*(-425)/(-17). Solve 9*j = 14*j - c for j.
2
Let k(q) = -q**2 + 3*q + 30. Let s be k(-4). Solve -o = 5 - s for o.
-3
Suppose -2*p = -g - 81, -3*p + 183 = -3*g + 57. Solve 6*f - 51 + p = 0 for f.
2
Let q = -231 + 232. Solve -q = -v - 3 for v.
-2
Let u(d) = -2*d**2. Let a be u(2). Let l = 5 - -7. Let b = l + a. Solve w - b = -3*w for w.
1
Suppose 4*n - r + 36 = 0, -4*n + 6 = 5*r + 18. Let f = -5 - n. Let b be ((-152)/(-228))/(4/18 - 0). Solve 0 - b = f*w for w.
-1
Let d be (-4*(-1)/(-3))/((-6)/9). Suppose 2*q + 3*u - 1 = 0, 0*u - u - 5 = -d*q. Solve q*v = 2 - 6 for v.
-2
Let t be 0/(3 - 1 - 1). Solve t = -4*d + 104 - 112 for d.
-2
Suppose -4*o = -46 - 26. Let a = -14 + o. Solve 12 = a*p - p for p.
4
Suppose 105 = 2*v - 109. Suppose 7*n = -93 + v. Solve 5*h = n + 8 for h.
2
Let i = -85 + 90. Suppose i*a - 8 = -3*z, -4*a - 4*z + 7 = -a. Solve -a = 2*p + 1 for p.
-1
Suppose 2*p + 10 = 5*w - 3*p, p + 8 = 4*w. Let o = -3212 + 3220. Solve -2*t = w*t - o for t.
2
Suppose 2*i + i + 9 = -3*y, 0 = -3*y - 12. Let t = i - 3. Let s be -4 + (-1)/(t/28). Solve 7*v - 2*v + s = 0 for v.
-2
Let x be 399/27 + (-6)/(-27). Let w = 19 - x. Solve -2*v - 6 = w for v.
-5
Suppose 5*h - 4*z = -8*z + 140, 0 = 5*h - z - 115. Solve -26*u - 2 = -h*u for u.
-1
Let y = 361 - 358. Solve 7 = y*t + 10 for t.
-1
Let x(o) = o + 15. Let l be x(0). Let g = 19 - l. Suppose -4*j - g = -5*j. Solve -j = -q - 3*q for q.
1
Suppose -27 + 35 = 8*g. Solve 0 = -5*z - g - 9 for z.
-2
Suppose 3 = 2*b + d, -3*b - d + 4 = d. Suppose -b*u - 22 - 8 = 0. Let f = 18 + u. Solve 0 = -v - f*v for v.
0
Let k(n) be the third derivative of n**4/24 + n**3 - 7*n**2. Let c be k(10). Let s(a) = a + 2. Let g be s(1). Solve -g*x + c = x for x.
4
Let x be (-2)/10*-4*255/102. Solve 0*p = p - x for p.
2
Suppose i = 4*g - 2*i - 17, 10 = 3*g - 5*i. Solve -g*z - 19 = 6 for z.
-5
Suppose 2 + 10 = 3*l. Suppose 2*f = l*v - 2, 2*f + 0*f = 3*v. Suppose -2*x - 2*p = -0*x - 10, 0 = -5*x - 3*p + 29. Solve x = -v*z + 1 for z.
-3
Let w be (-4 + 4 - 1)*0. Solve 2*n = -w*n - 6 for n.
-3
Let x(r) = 3*r**2. Let f be x(1). Suppose f*l + 8 = 5*l. Suppose -2*b - 14 = -4*k, -16 = 3*b - k - l*k. Solve -b*u - 3 - 6 = 0 for u.
-3
Let a be (3 - 2)*9 - -1. Let o(r) be the second derivative of r**4/12 + 5*r**3/2 - 11*r**2/2 + 9*r. Let i be o(-16). Solve i*b + 0 = a for b.
2
Let q be (-1)/(-3 + 4)*-12. Let s = -10 + q. Suppose 5*u - u = -4*l - 4, -3*l - 2 = s*u. Solve l = 3*h - 2*h + 1 for h.
-1
Let n = 208 + -203. Solve 0 = -12*v + n*v for v.
0
Let o be 52/6 + 1/3. Suppose 2*c - 4*m = 10, -2*m = c - 0*c - o. Let t(u) = u - 5. Let h be t(c). Solve j - h + 0 = 0 for j.
2
Let i(f) = f**2 + 35*f + 73. Let n be i(-33). Let t be (-3)/(-12) - (-23)/4. Solve n*k = 5*k - t for k.
-3
Suppose -176*c = -180*c + 56. Let j = -1 + 3. Solve c - 4 = j*l for l.
5
Suppose -5*c - 9 = -8*c. Suppose 4 = -2*o - c*k + 2, -4*o = -2*k - 28. Solve 0 = -3*b + 4*b + o for b.
-5
Let x be 15 - (-4 + 121/11). Solve x*w + 54 = -10*w for w.
-3
Suppose -48 = 30*t - 36*t. Suppose -t*z = -22 - 10. Solve -5*g - 1 = -z*g for g.
-1
Let k(d) = -2*d**2 + 37*d - 17. Let w be k(16). Let a = -62 + w. Solve 0 = 3*j + a + 5 for j.
-2
Suppose 2*q = -14*q + 1424. Solve 0 = 94*m - q*m + 10 for m.
-2
Let m(u) = 19*u + 1199. Let l be m(-63). Solve -l*q = 27*q for q.
0
Suppose 24*j = -10*j + 1088. Solve 5*x - 12 = -j for x.
-4
Let b = -4 - -6. Suppose -22 = -2*t - 4. Suppose -b*x + t = x. Solve -8 = x*l - 2 for l.
-2
Let z = -12 - -16. Suppose 4*d - z = 8. Suppose f - 2*l = -0*l + 9, 0 = -d*l + 9. Solve 5 = 2*y + f for y.
-5
Let m be (-4 - -2) + 10 + -4 + -2. Solve 0 = m*v + 3 + 1 for v.
-2
Let k = -24 + 24. Suppose k = -d + 2 + 3. Solve 10 = 5*m - d for m.
3
Suppose 2*a + 81 = 4*a + 5*m, -m = 3*a - 89. Suppose 2*k + 4*u - a = 0, 4*u = 25 - 5. Let q be -1*4*(-1)/k. Solve -3*c - q = 2 for c.
-1
Let p(a) = -a**3 - a**2 + 4*a - 1. Let r be p(-3). Suppose -d - 10 = -3*m - 0*d, r*m + 5*d = -10. Solve 4*x + 2 = m*x for x.
-1
Suppose -31*y + 27*y = 22*y. Solve 26*f - 12*f - 42 = y for f.
3
Let w = -18 - -28. Suppose 0 = -0*x + 5*x - w. Solve -6*j = -x*j - 4 for j.
1
Let o(s) = 3*s**3 + s**2 + s + 1. Let q be o(-1). Let t(j) = -j**3 + j**2 + 2*j + 2. Let n be t(q). Solve n = c - 3*c for c.
-5
Let u(g) = g - 7. Let x be u(9). Suppose -5*q = -x*q - 15. Suppose 2*h + 3 = -3, -q*h - 40 = -z. Solve 0 = -k - 4*k + z for k.
5
Let s(t) = 3*t**2 + 85*t - 49. Let f be s(-29). Solve -5*l + 12 = -f*l for l.
-3
Let w(f) = -f**3 - 15*f**2 - f - 4. Let h be w(-15). Solve -6*n = -h + 29 for n.
-3
Let j be ((-5)/(-3) - 2)/((-25)/300). Solve -j*p = -p for p.
0
Let u be ((-60)/(-35))/(2/21). Suppose 2*n + 14 - 6 = 0, k + u = -5*n. Solve -k*c - 2 - 6 = 0 for c.
-4
Suppose 5*w = 18 + 12. Let m(v) = 9*v**3 - v**2 + 2*v. Let i be m(1). Solve 0 = 4*x - w - i for x.
4
Let h(d) = 5*d**3 - 2*d**2 - d + 1. Let w be h(1). Solve -3 - 9 = -w*b for b.
4
Let z be (1 - 1)*(-66)/132. Solve 2*b - 5*b - 3 = z for b.
-1
Let t(a) = 8*a - 69. Let b be t(9). Solve -1 = -b*s - 10 for s.
-3
Let y(n) = 39*n**2 - 14*n - 16. Let m be y(-1). Solve -3 = 36*c - m*c for c.
3
Suppose -x = 156 - 160. Solve 14 - x = 5*t for t.
2
Let f = 1 - -4. Let g(o) = -o**2 - 12*o + 21. Let p be g(-13). Solve p*n = 3*n - f for n.
-1
Let c(d) = 3*d**2 - 29*d + 84. Let o be c(7). Solve o*i - 17 = 11*i for i.
1
Suppose 0 = 2*q - 4 - 0. Suppose 4*r = q*r. Solve r - 1 = -b for b.
1
Suppose 2*w - 4*d = -164, 7*w + 415 = 2*w + 5*d. Let t = -84 - w. Solve -2*n - 4 = -t*n for n.
-2
Let h(j) = -2*j**2 - 8*j + 2. Let o be h(-4). Suppose 2*d = 4*t - o*d - 12, -4*t + 5*d = -15. Solve t = -2*x - 2*x + 4 for x.
1
Let o(l) = -9. Let v(y) = y + 9. Let n(i) = -3*o(i) - 2*v(i). Let f be n(3). Suppose -5*m = -4*a - 0*m - 4, -8 = -5*a + f*m. Solve 2*j - a*j + 4 = 0 for j.
2
Let r(w) = -w**2 + 14*w + 6. Let v be r(14). Let i(o) = o**3 - 8*o**2 + 13*o + 3. Let s be i(v). Solve -m + s = 2*m for m.
3
Let r(v) = 20*v + 361. Let g be r(-17). Solve -g = -0*d + 7*d for d.
-3
Suppose 17*d = 16*d + 3, -3 = -4*y + 3*d. Let h(k) = -k**3 - 1. Let q be h(-1). Suppose w + 1 = -2, -3*o - 3*w + 3 = 0. Solve q = -c - o + y for c.
-1
Suppose 3*g - 27 = -3*n, -g - 3*g + 5*n = 9. Let x = 533 + -530. Solve -x*v - 1 = -g for v.
1
Let o = -64 - -72. Suppose 4*l = -20, 5*p - o = 5*l + 17. Solve 6*j - j = p for j.
0
Let q(g) = -g**3 + 8*g**2 - 4*g - 2. Let v be q(7). Let k = v + -13. Suppose 2*b - k = -0*b. Solve -6 + b = p for p.
-3
Let q = 107 + -111. Let m = q - -7. Solve -h = -m - 1 for h.
4
Let n = 517 - 512. Solve 0 = 6*r + 1 + n for r.
-1
Suppose -22 + 8 = -2*z. Suppose -4*p + z*p = 6. Solve 2*k - k = p for k.
2
Let y(q) = q**3 + 4*q**2 - 2*q - 6. Let g be