 for p.
-2
Let b(u) = -u + 3. Let s be b(0). Let n(d) = -5*d + 10. Let m be n(2). Let p = 17 + -16. Solve m = q - s + p for q.
2
Let j(k) = -2*k**2 + 51*k - 147. Let c(p) = p**2 - 14. Let q be c(-6). Let y be j(q). Solve y*a = 2*a - 15 for a.
-3
Let o(h) = h**2 + 9*h + 11. Suppose q = 5*m - 8, 4*q + 0*m = -5*m - 57. Let p be o(q). Let t be 3/(-12) + p/28. Solve 0 = 3*c - t*c - 1 for c.
1
Suppose -52*h = 182*h - 6*h. Solve h*r = 5*r for r.
0
Suppose 277 + 787 = 28*q. Solve -q*o - 5 - 71 = 0 for o.
-2
Let n be (1 + -17 + -1)/(-1) - 0. Suppose n*h + 4*h - 42 = 0. Solve 3 = -f - h for f.
-5
Suppose 17*m = -204 - 306. Let w be ((-68)/(-85))/((-3)/(m/4)). Solve 1 = -w*n + n for n.
-1
Let h be (-16)/18 + (-23)/207. Let c be (-46)/(-16) - (h + (-7)/(-8)). Solve -7*y + c*y - 8 = 0 for y.
-2
Let g = 6501 - 3703. Solve -o - g = -2805 for o.
7
Suppose x = -3*i + 4, i - 8 = x - 3*x. Suppose 9 = -4*v + 2*d + 23, 0 = 4*v + 4*d + 4. Solve v*w = 2 - i for w.
1
Suppose -8*j = 210 + 30. Suppose 79 + 17 = 3*t. Let a = t + j. Solve s - a = -0*s for s.
2
Suppose -4*i + 130 = -10. Let d = 43 - i. Suppose -7*x = -5*x - d. Solve 0*u = -x*u for u.
0
Suppose -2*i - 1 = 2*s - 21, 0 = 5*s - 5*i - 50. Suppose 2 = -b - s. Let r be 7/((-21)/2) + (-56)/b. Solve 0*d + d + r = 0 for d.
-4
Let d(z) = z**3 + 22*z**2 + 19*z - 37. Let i(v) = -18*v + 447. Let u be i(26). Let r be d(u). Solve -7*n = -r*n + 4 for n.
-2
Let j(f) = -2*f - 18. Suppose n = -4*n - 30. Let h be j(n). Let p be (-112)/h + 24/(-36). Solve -5*x = -2 - p for x.
4
Let u be (6040/680 - 9) + ((-1296)/(-34) - -1). Solve -u*c - 1 = -118 for c.
3
Let d(x) = -5*x - 72. Let b be d(-15). Let j be (-6)/(-15) - 16/(-10). Suppose 19 = 5*n + 3*k, -b*n + 5*k + 21 = j*k. Solve 4 + 1 = n*g for g.
1
Suppose 5*n = 3*t - 199, 984*n - 986*n - 4 = 0. Solve 0 = 61*c - t*c + 2 for c.
1
Suppose 8 = -0*l + 4*l. Suppose -4*y = -2*v - 20, -158 + 144 = -2*y. Suppose -l = -p + v. Solve p = -s - s for s.
-3
Let f = -115 + 115. Suppose f = -51*c + 58*c - 217. Solve 0 = 2*v - c + 27 for v.
2
Suppose -8*b + 233 + 127 = 0. Let u be (-36)/b*5 + 4*2. Solve 3*k = 5 + u for k.
3
Suppose 8*i + 0 = 32. Suppose -2*a + 5*b + 75 = 0, 103 = 4*a + i*b - 5. Solve -10 + a = -5*v for v.
-4
Suppose -3*g = 0, 4*k - 80 + 28 = 4*g. Let s = -17031 + 17039. Solve -5*y - s + k = 0 for y.
1
Let y = 238 - 222. Let j(n) = -2*n**3 + 34*n**2 - 33*n + 23. Let v be j(y). Solve 6*t - 5*t + v*t = 0 for t.
0
Let z = 364 + -373. Let u(q) = q**3 + 9*q**2 - q - 3. Let b be u(z). Solve b*h = 9*h + 3 for h.
-1
Suppose 354*m = -193*m + 1374101 + 83654. Solve -40 = 2675*g - m*g for g.
-4
Let q(i) be the first derivative of i**4/4 + 5*i**3/3 + i**2/2 - 5*i - 91. Let n be q(-3). Solve -o - 4*o - n = 0 for o.
-2
Suppose 3835 - 3763 = 6*f. Solve 36 = -f*h + 3*h for h.
-4
Suppose -8*k - 3*k = -77. Suppose 2*y = k*y. Suppose 6 = -4*w + 3*n, 7*w - 2*w + n - 2 = y. Solve w = -v - 4*v - 15 for v.
-3
Suppose -2903 = -296*k + 685 + 2036. Solve -15*r - 4*r = k for r.
-1
Let z(s) be the second derivative of 6*s + 1/12*s**4 + 2*s**2 + 0 - 1/3*s**3. Let t be z(0). Solve -f + t = -2*f for f.
-4
Suppose -58*x + 325 = 7*x. Suppose x*n - 4*i = -0*n + 312, 2*n - 122 = 3*i. Solve -4*o = 68 - n for o.
-1
Let s = -184 + 135. Let l = s - -53. Solve 2 = -3*u - l for u.
-2
Let x(v) = -592*v + 24. Let t be x(0). Solve 508*q + t = 504*q for q.
-6
Let i = -163 - -169. Let o be (6 - i)/(2 + 0). Solve -s + 7*s = o for s.
0
Suppose -3*t = -4*r - 248, -2*t - 41*r + 163 = -46*r. Solve -85*k + t*k - 6 = 0 for k.
-6
Let b(k) = k**3 + 3*k**2 - 2*k - 2. Let n be b(6). Let o = -305 + n. Solve 0 = o*x + 10 - 35 for x.
5
Suppose 9*r - 18*r + 36 = 0. Suppose r*m = -2*l + 46, 6*m = 5*m - l + 9. Let o be 6/10 - m/(-10). Solve 3*g - 2*g = -o for g.
-2
Let v = 26 + -26. Suppose 2*g + g = v, 2*k = -2*g - 140. Let c be (20/k)/((-2)/14). Solve 10 + c = -4*x for x.
-3
Let i(f) = -f**3 + 95*f**2 + 103*f - 506. Let k be i(96). Solve -214 + k = -24*q for q.
2
Suppose 347*a = 350*a - 6. Suppose 4*p - 22 = -3*l, -2*l - 8 = -4*p + 4. Suppose -l*m = -5 - 7. Solve -a*t - 4 = m for t.
-5
Suppose 3*x + 9 = 0, q + 2*x - 174 = -4*q. Solve -9*k + q = -21*k for k.
-3
Let l(f) be the third derivative of -f**6/120 + f**4/12 - f**3 + 7*f**2. Suppose u + 0 = -3. Let n be l(u). Solve -b + n = 2*b for b.
5
Suppose 4*r = 36 + 40. Let j be (-1)/18*(454 - 472). Let a(q) = -q**3 + 2*q**2 + 2*q + 3. Let k be a(3). Solve k = -4*b - j - r for b.
-5
Let t = 316 + -2. Let l = t + -314. Solve l*j - 6 = 2*j for j.
-3
Let n be (5/((-30)/(-9)))/(6/8). Suppose -n*v + 5*v = 12. Suppose 3*q + v*b = 16, -3*q - 5*b + 1 + 19 = 0. Solve q = 4*h - 11 + 3 for h.
2
Suppose -5*m + 60 = w, 4*w + 12 = -6*m + 7*m. Suppose m*h - 23 - 1 = 0. Suppose 4*c = 3*s + 32, -6 - h = -c + 3*s. Solve c = -0*r - 4*r for r.
-2
Suppose 2*i - 36 = c + 28, 2*i - 4*c - 52 = 0. Solve 0 = -i*o + 39*o - 25 for o.
5
Let s(a) = 5*a**2 - 3*a - 1. Let c be s(-2). Let g(d) = -2*d**2 - 2*d + 5. Let w be g(2). Let b be -1 + w/(-7) + 6. Solve -b*x = -x - c for x.
5
Let j be (1 + -2)/(1/(-2)) + 0. Let h = j - -1. Suppose -7*b = -h*b - 4. Solve -f = -2 - b for f.
3
Suppose -673*x = -785*x + 2688. Solve -x = 8*n - 4*n for n.
-6
Let l(p) be the second derivative of p**5/20 + 7*p**4/6 + 5*p**3/2 + 29*p**2/2 - 23*p + 1. Let d be l(-13). Let j = -23 + 32. Solve -d*f - j = -0*f for f.
-3
Let x = -1475 - -1520. Solve -12*d + x = 33 for d.
1
Suppose -4*g - 230 = r + r, 0 = 5*r - 3*g + 510. Let s = r - -107. Let q be ((-3)/2)/(24/(-32)). Solve b - q = s for b.
4
Suppose 3*j + 2*j = 2*u + 15, 5*j + 2*u = 15. Suppose 3*m - j*m = 2*m. Suppose 0 = 2*a + 10, a + 6 = -p - 2*a. Solve -5*d + p*d + 8 = m for d.
-2
Let b(v) = 8*v + 12. Let g be b(-12). Let s = g + 91. Let p be 2 + (-6 - (3 - s)). Solve p = -t - t for t.
0
Let a(w) = 76*w + 488. Suppose 3*b = 10*k - 14*k - 10, -3*k = 2*b + 6. Let l be a(b). Solve -3*v + 26 - l = 0 for v.
-2
Suppose -8*k = -3*k. Suppose 2*n = 2, r + 2*n - 4 = -k*r. Suppose 4*i - z = -0*i + 19, -i = -4*z + 14. Solve i = g + r for g.
4
Suppose -4*j = -4*o - j - 151, 3*o + 123 = -j. Let t = 46 + o. Suppose t = y + 2*y. Solve -f = f + y for f.
-1
Suppose -7*z - 4 = -3*z, -5*m - 4*z = -21. Suppose -m*v + q = 0, 0*v - 5*q = -2*v. Let f be (-1 + (-18)/6)*(v - 2). Solve -3*l + f = -1 for l.
3
Let w be (2 + 2 + -4)*1. Let q(y) = -3*y**2 - 32*y - 39. Suppose 90 = -30*k + 20*k. Let s be q(k). Solve w = -2*z + s*z + 16 for z.
-4
Suppose 0 = -545*q + 549*q - 6624. Suppose 4*i - 40*i = -q. Solve 7*v + 11 = i for v.
5
Let t = 5 + -3. Suppose 0 = 4*q + 2*c - 54, 823*q - 826*q = c - 43. Solve 0 = t*n - 10*n + q for n.
2
Let u(c) be the first derivative of c**2/2 + 5*c - 51. Let a be u(-1). Solve -a*p - 5 + 1 = 0 for p.
-1
Let g be (-21)/(-3) - (4 + -1). Let k be (-24)/(-16) + (-3)/(-6). Suppose 0 = -k*u - 60 + 70. Solve -u*d - 6 = g for d.
-2
Let a(q) = -2*q**2 + 32 - 20*q + 34*q + q**2. Let u be a(16). Suppose 5*m + 6 = 26. Solve -m*b - b = u for b.
0
Let r(n) = -n**3 - n**2 - 6*n + 37. Let z be r(-9). Suppose 0 = 737*i - z*i + 18. Solve 6*k + 6 = i*k for k.
2
Let g be 36/(-8) - ((-243)/18)/3. Solve -745*y + 713*y + 256 = g for y.
8
Let h(q) = 9*q - 198. Suppose -6*k = -3*k - 78. Let b be h(k). Solve f + 37 - b = 0 for f.
-1
Suppose -8*d + 9*d = -18*d. Solve d = 38*g + 8*g + 230 for g.
-5
Suppose 64 = -2*u + 6*u + 4*h, -4*u = 3*h - 60. Solve 2*i = -i + u for i.
4
Suppose 0 = -4*p - 11 + 3. Let r(s) = 1561*s - 7775. Let q be r(5). Let y be p/15 - (-94)/q. Solve 0 = -2*l - y - 1 for l.
-2
Let c(x) = x**2 - 15*x + 23. Suppose -18 - 52 = -5*z. Let t be c(z). Suppose -v - 4 + t = 0. Solve 5*b - v = -0*b for b.
1
Suppose -4680 = 101*i - 105*i. Suppose 15*h = 5*h + i. Let u = 122 - h. Solve -u*q + 7*q = 0 for q.
0
Suppose 0 = -2*l - 5*i + 128, -51*i = 4*l - 55*i - 200. Suppose -19*c + 13*c = -l. Solve -3*m + 3 - c = 0 for m.
-2
Suppose 0*a = -a. Suppose 6*f + 31 = 8*f - p, 2*f = 2*p + 34. Suppose 5*m - j - f = 0, 0 = -3*m + 3*j - j + 14. Solve -5*c + m + 23 = a for c.
5
Let j be 0 - (-1 - -1)/3. Suppose 3*u = -4*q - 31, 0*q = -3*q + 4*u - 42. Let m(g) = g**2 + 10*g + 12. Let t be m(q). Solve 0 = 4*w - j*w + t for w.
-3
Suppose 5*x = -4*r + 449, 3*r - 569 + 236 = -3*x. Solve r + 159 = -53*v for v.
-5
Let b = 165 + 