 14 - 12 for p.
1
Let v(w) = -3*w**2 - 2*w - 1. Let g be v(-1). Let f be g/(-7) + -36*84/(-49). Solve 17 = -9*s + f for s.
5
Let h be (-4 - 1) + 141 + -122. Solve -7*j = -9*j - h for j.
-7
Suppose -36 - 9 = -4*v + 5*w, 4*v - 48 = 4*w. Let h be -1*3 + (20 - v). Suppose -b - 9*b = -90. Solve -h*r - b = -5*r for r.
3
Let a(p) = 2*p**3 + p**2 + 2*p - 2. Let n be a(1). Suppose 0 = -2*d - b - 8, d + d - 8 = 3*b. Let x be (-1 + 1)*2/d. Solve -n*f - 15 + 0 = x for f.
-5
Suppose 6*q = 9*q. Suppose 5*s - 20 - 30 = q. Solve 0 = s*y + y - 55 for y.
5
Let v be (-6 - 25/(-2)) + 3/6. Suppose -j - 7 = -b, 4*b = j - 4*j + v. Solve -b*t = t - 25 for t.
5
Suppose 0 = 2*g + 1 + 3, 4*v - 46 = -5*g. Let h be (-2)/3 + 2*(-355)/(-30). Let j = h - v. Solve j = -n - 2*n for n.
-3
Suppose 44*h = 942 + 334. Solve -26 - h = -11*w for w.
5
Suppose 0 = 4*l + 3*s + 13 + 7, -4*s + 8 = l. Let m(o) = 9*o**2 - 3 + o**3 - 5 - 903*o + 1823*o - 913*o. Let w be m(l). Solve w*h - h - 3 = 0 for h.
-3
Let b be (2 + -4)/(-4)*(-53 - -315). Solve b = -18*q + 23 for q.
-6
Let w = 42 + -37. Let i be (-4)/w*(-11)/((-44)/(-240)). Let x = 53 - i. Solve x*r - 6 = 4 for r.
2
Let c be -4*8/(-240) + (-219)/(-45). Suppose -q + 3*q - 28 = -4*o, c*o + 2*q = 33. Solve -1 = 2*a + o for a.
-3
Let q(y) = -y + 2. Let a be q(2). Suppose -25*g = 1348 + 18527. Let s = g - -796. Solve -h - 2 + s = a for h.
-1
Let v(w) = 111*w + 3. Let u be v(3). Suppose 3*t = u + 54. Let h be 4/(-6) + (0 - t/(-6)). Solve -4*c + 9 = h for c.
-3
Let a = -59 + 64. Let q = 68 + -68. Solve q*o = o + a for o.
-5
Let i(k) = k**3 + 20*k**2 + 21*k + 40. Let u be i(-19). Suppose r = 5*q - q + 14, -r - 4*q = u. Solve -r*j + j - 25 = 0 for j.
-5
Let y(m) = m + 38. Let o = 364 - 379. Let v be y(o). Solve -3*n = -v + 23 for n.
0
Let k be 2 - (15 - 6)*(-2)/(-9). Suppose -4 + 1 = 3*u - 2*r, 0 = 3*u + 4*r - 15. Let w(y) = 2*y**2 + 50*y + 51. Let c be w(-24). Solve 4*z + u + c = k for z.
-1
Let j = 2118 - 2110. Solve j = 12*b + 20 for b.
-1
Let b = 747 + -419. Suppose -b*x + 339*x = 44. Solve 11*r - x = 10*r for r.
4
Let b(i) be the first derivative of -i**4/4 + 2*i**3 - 5*i**2 + 8*i + 96. Let f be b(4). Solve -2*m = -f - 2 for m.
1
Let r = 235 - 158. Let p be 0/2*r/(-154). Suppose z = 5, -4*c - 3*z + 8*z = 9. Solve 2*g + 2*g - c = p for g.
1
Let n be -1 + (-2 - 5) - -108. Suppose 175 - n = 3*g. Solve 20*i - 20 = g*i for i.
-4
Let j be 14/(-217) + -2*(-1)/31. Let z(n) = 3*n - 4. Let r be z(2). Solve j = -7*v + r*v - 10 for v.
-2
Let s(q) be the second derivative of 1/20*q**5 + 1/3*q**4 + 1/6*q**3 + 7/2*q**2 - 25*q + 0. Let a be s(-4). Solve -2*t = -a*t - 4 for t.
-4
Let r = -6599 + 6648. Solve 0 = 8*i + 9 - r for i.
5
Let g(h) = -3*h + 12. Let f be g(10). Let s = 59 + f. Suppose -3*q = -47 + s. Solve -5 = q*n + 3*n for n.
-1
Suppose -153 = -64*u + 295. Solve u*q - 17*q + 40 = 0 for q.
4
Let o be 1035/(-2)*28/770*-11. Solve -56*v = -o + 711 for v.
-9
Let n(d) = -d**3 + 9*d**2 + d - 4. Let b be n(9). Suppose 61 + 44 = -b*p. Let c be p/(-12) + (-18)/24. Solve -c = -2*t - 3 for t.
-1
Let g(m) = -m**2 + 7*m + 27. Let d be g(10). Let v be (30/(-4))/(d/4). Suppose 0 = -2*n + v, -y = -4*y + 4*n - 14. Solve 0 = 3*o - 4 - y for o.
2
Let s(u) = -5*u**2 + 580*u. Let h be s(116). Solve h = -139*g + 148*g for g.
0
Let x be -3*6*(10 + -12). Suppose 16*m = 22*m - x. Solve -m*t = -10*t for t.
0
Let a(c) = 2*c**2 - 12*c + 27. Let r be a(5). Let w be r - 13 - 2/(-2). Let b be (5 - w)/((-2)/(-1)). Solve -3*g + 4*g = b for g.
0
Suppose 148*x = 168*x. Solve x = 141*k - 127*k - 14 for k.
1
Suppose 0 = -8*u + 3*u + 10. Let b(o) be the third derivative of -o**5/30 - 23*o**4/24 + 41*o**3/6 - 2*o**2 - 11. Let z be b(-13). Solve u = 4*q - z*q for q.
1
Let x be (24/(-27))/((-6)/27). Suppose 5*t = -20 - 0, -a - 7 = x*t. Solve -a - 11 = 5*u for u.
-4
Let q = -124 + -71. Let m = -191 - q. Solve c = -1 + m for c.
3
Let m(a) be the second derivative of a**3/2 + 23*a**2/2 - 2*a. Let f be m(-7). Suppose 13 = 5*y - f. Solve -d - y*d + 8 = 0 for d.
2
Let x be (1 - -4) + -2 + 3. Let l be 2/(3/(x - 0)). Suppose -35*q = -14*q. Solve q = -l*y - 4 - 4 for y.
-2
Suppose -19*o + 29 = -28. Suppose 2*q - 9 = 4*a - a, 5*q - 27 = o*a. Solve -10*f + q = -7*f for f.
2
Suppose -t + 2 = -3. Suppose t*n = -429 + 144. Let l = 59 + n. Solve l*j - 10 = -0*j for j.
5
Let x be 20/110 + (-4)/22. Let n = 453 + -449. Solve -v + x = n for v.
-4
Let b = -63 + 64. Suppose -z = 5*c + 6 - 19, 0 = 2*z - 6. Solve o - c*o = -b for o.
1
Let a(q) = q**3 + 5*q**2 + 3. Let r be a(-5). Let n(l) = 23 + 8*l + 20 + l - 87 + 19. Let g be n(r). Solve -2*z + 20 = g*z for z.
5
Let v = -7851 + 7859. Solve 46*n - v = 222 for n.
5
Let m(r) = -5*r**2 + 56*r - 11. Let i be m(11). Suppose -2*o = 4*y - 8*y + 26, 0 = 3*y - 3*o - 24. Solve -y*g = -10 - i for g.
2
Suppose -4*g - 140 = 6*g. Let j = 24 + g. Let w = 18 - 13. Solve -j = w*v - 10*v for v.
2
Let a(o) = 16*o + 4. Suppose -d = -5*f - 13, 2*f + 11 = f + 3*d. Let k be a(f). Let b = 33 + k. Solve 0*i = -i - b for i.
-5
Suppose 20 = 2*u + 3*u. Suppose 3*t + u*s - 15 = 0, 3*t - 20 = -t + s. Solve -13 + 38 = -t*l for l.
-5
Let x(p) be the first derivative of 5*p**3/3 - 3*p**2/2 - p + 4. Let c be x(-2). Suppose -5*l = -c - 5. Solve l*o - o - 10 = 0 for o.
2
Let h(k) = 11*k**2 - 15*k - 25*k**2 + k**3 - 5 - 12*k**2 - 40*k. Let m be h(28). Solve x + 18 = m for x.
5
Let r = -7 + 21. Suppose -5*g + 66 = 4*c, 3*g - 5 + 23 = 0. Solve 8*z - c = r*z for z.
-4
Let t be -31*(0 + 0 - 12/(-4)). Let i be t/(-33) + (-20)/(-110). Suppose -z - i*z = -8. Solve z*a = -a for a.
0
Let j be (-1736)/24 - 8/12. Let o = -70 - j. Solve o + 3 = -2*g for g.
-3
Let s = -72 - 111. Let p = 187 + s. Solve 7*z - 9*z - p = 0 for z.
-2
Let h(p) = 4*p - 34. Let l be h(9). Suppose 4*m - 2*f = 12, -2*m + f + l*f = -2. Solve -5*t - 29 = -m for t.
-5
Suppose -30 = -3*g + 3*i, -36*i = -2*g - 31*i + 17. Solve 51 - g = -40*v for v.
-1
Let x be -41*((5 - 2)/(-3) + 0). Let y = -34 + x. Suppose 7*i = 28 - y. Solve -p + i = 1 for p.
2
Let s be (((-352)/152)/11)/((-2)/19). Solve -d - s = -8 for d.
6
Let x be 3 + (-114)/30 - 4/(40/(-818)). Solve -21*r = -48*r + x for r.
3
Let u(h) = 39*h**3 + 2*h**2 + 3*h - 5. Let i be u(2). Solve 7*d + 328 = i for d.
-1
Let l = -88 + 148. Suppose -28 = x - l. Solve -8*w = -0*w - x for w.
4
Let i = -1281 - -1357. Solve i*r = 85*r for r.
0
Let f(b) = -15*b - 7. Let i be f(-2). Suppose -i*m = -31 + 8. Solve -6 + m = k for k.
-5
Let y be 56/(-11)*(-462)/84. Solve -52*s - y + 80 = 0 for s.
1
Let l = -1253 + 1271. Solve -9 = 27*s + l for s.
-1
Let v(u) = -u**3 - 34*u**2 - 4*u - 115. Let f(j) = -j**3 + 10*j**2 + 31*j + 70. Let b be f(13). Let g be v(b). Solve -7*t + 0 + g = 0 for t.
3
Suppose -9 - 4 = -3*w + 5*r, -4*w = 2*r. Let v be (-24 - w)*120/50. Let g be ((-9)/((-81)/v))/(2/(-6)). Solve -x - g = -6*x for x.
4
Let f = -68 + 68. Suppose -4*h + 17 - 1 = f. Suppose h*s - 42 - 14 = 0. Solve -2 = 4*v + s for v.
-4
Let u = 1216 - 1216. Solve -8*i + 13 + 35 = u for i.
6
Let s(b) be the second derivative of -b**3/3 - 15*b**2/2 + 10*b. Let c(p) = p + 1. Let z(w) = 3*c(w) + s(w). Let f be z(15). Solve -3*n + f - 12 = 0 for n.
-3
Let i be 0 + (4/2)/1. Suppose -3*h = 3*b - i*h - 7, 0 = b + 3*h + 3. Let g be -2 + 0 + 2 - -2. Solve -1 = b*t + g for t.
-1
Suppose -4*v - 2*s = -16, 0 = v + s - 5 - 1. Let f be (24/v)/(2 - 0). Let y be (-1 + 15/10)*f. Solve -k = -0 + y for k.
-3
Suppose m + l = 6 - 0, 5*m - 2*l - 30 = 0. Suppose 0*u = -m*u + 30. Suppose 2*p = -0*s + u*s - 16, 4*p + 8 = -2*s. Solve s*x = 5*x for x.
0
Suppose 229 = g + 2*h, 0 = -3*g - 5*h + 355 + 333. Let v = g - 228. Solve -v*l = -8*l for l.
0
Let y be (-44)/616 - 954/(-28). Solve -y = 4*q - 46 for q.
3
Let o(x) = 3*x + 113. Let k = -115 - -78. Let q be o(k). Solve q*r = r - 2 for r.
-2
Let r = 34 - 10. Suppose 5*p + r = t, 2*t - 21 = -2*t + 5*p. Let b(j) = -j**3 + j**2 + j. Let c be b(t). Solve -c = -x - 0 for x.
1
Suppose 35 = 9*t - 2*t. Suppose 5*z - 15 = -t*f, 5*z + f - 4*f = 23. Solve z*c = c + 15 for c.
5
Let j = -18210 + 18290. Solve 0 = -8*p + j*p for p.
0
Suppose -3*q - 9*w + 4*w - 20 = 0, q - 4*w = 16. Suppose -4*l = -0*o - 4*o - 32, l + 3*o - 24 = q. Solve 16*k - 20*k = l for k.
-3
Let o(r) = r**3 - 222*r**2 + r. Let p be o(0). Solve