 for p.
-1
Let w(k) = k - 4. Let o be w(8). Suppose -8*f + o = -6*f. Solve -8 = -5*u + f for u.
2
Let h(z) be the first derivative of -z**4/4 + 7*z**3/3 + 4*z**2 - 20. Let u be h(8). Solve u = -s - 0*s + 3 for s.
3
Let t = 594 + -554. Solve 0 = 6*v + 4*v + t for v.
-4
Let w(n) be the first derivative of n**3/3 + 5*n**2 - 8*n - 8. Let v be w(-11). Solve 0 = -v*y + 2*y - 3 for y.
-3
Let y be (2 - 5 - -4)*1. Solve 2 + y = n for n.
3
Let b be 18/45*40/16. Solve 6*n + 7 = b for n.
-1
Let d be (-42)/28 + (-17)/(-2). Solve d*p + 13 = -1 for p.
-2
Let l be (2/(-5))/(7/70) - 6. Let k be 2*1/((-1)/(-5)). Let g = k + l. Solve -h - h = g for h.
0
Suppose 0 = 55*b - 58*b. Suppose b = 5*a + 5*p + 10 + 10, 5*p = -2*a - 20. Solve a = -4*q + q + 3 for q.
1
Let f be 2 - -1 - -6 - -48. Solve -f - 33 = 18*w for w.
-5
Let b(d) be the third derivative of d**6/120 - d**5/20 - d**4/3 + d**3/2 + 10*d**2. Let o be b(5). Solve -28 + o = -5*q for q.
3
Let q(f) = 49*f - 339. Let n be q(7). Solve 3 - n = u for u.
-1
Suppose 0 = -3*t - 5*g + 62, -t - g + 16 = 3*g. Solve -24*x + 18*x = t for x.
-4
Suppose 3 = 4*f + 2*u + 1, -3*u = 5*f - 1. Suppose f*l - 28 = i, 42 = 3*l - 2*i + 4*i. Solve 4*b = -l - 2 for b.
-4
Suppose 8*z + 0 = -0. Let h be (-2)/(-1) - (z + -7). Solve l = -2*l + h for l.
3
Let w = -3 - -5. Suppose 2*d = -w - 6. Let t be (1/d*0)/(-2). Solve t = -c - 0*c - 5 for c.
-5
Suppose 5*l - 72 + 22 = 0. Let c be (27/(-18))/((-3)/l). Solve 10 = -c*k - 5 for k.
-3
Let s = 7 - 3. Let b(v) = 4*v**2 - 6. Let y be b(2). Solve 0 = -s*g + y + 10 for g.
5
Let z = 24 + -21. Suppose j - 22 = -z*w + 3, 5*j = -w + 55. Solve 6*t = t - j for t.
-2
Let j be (5*(-13)/130)/(1/(-10)). Solve -j*q = 19 - 4 for q.
-3
Let r be 4/(-4)*-1 - -3. Suppose k + 4*j - 1 = -8, r*j = -8. Solve -3*a - 4 = -k for a.
-1
Suppose -2*y - 2 = -7*c, 3*c = 5*y - 8*y - 3. Let a be (2/5)/(1/20). Let p = 13 - a. Solve c*w + p*w = 5 for w.
1
Let f(i) = -4*i + 118. Let k be f(27). Solve -k = 4*q - 2 for q.
-2
Let v(b) = 3*b. Let q be v(1). Suppose -3*i + 310 = -5*y - i, -62 = y - 5*i. Let h = 67 + y. Solve -q - 2 = h*g for g.
-1
Let r = 226 - 136. Let f = 98 - r. Solve p + f = -p for p.
-4
Let u be (-20)/25*(-10)/4. Let b(k) = 7*k + 22. Let a be b(-4). Let h = a - -6. Solve h = u*r - r + 4 for r.
-4
Suppose 2*o - 145 = -x, -5*x + o - 3*o + 685 = 0. Let u = x + -133. Solve 0 = -3*m + 2*m + u for m.
2
Let y(n) = n**3 - 2*n - 1. Let l be y(-1). Suppose 5*f + f = l. Solve -5 = h - f for h.
-5
Let l(j) = -2*j**2 - 7*j - 4. Let w be l(-2). Solve -w = 2*y + 8 for y.
-5
Suppose 4*t - 7*c = -11*c + 32, c = -5*t + 36. Solve 42 - t = -7*f for f.
-5
Suppose 0 = 100*d - 35*d - 260. Suppose -4 = -0*g - g. Solve -d*r = -2*r - g for r.
2
Suppose -5*i + 407 = 3*u, -1 - 2 = 3*u. Suppose f + i = 5*v - 120, -3*v - f + 118 = 0. Suppose 3*c + c + 2*l = v, 3*l = 5*c - 28. Solve -3*n + 2 = c for n.
-2
Suppose 3*v - 12 = 5*p, 2*p = 4*v + 7*p - 51. Solve -v*n + 14 = -31 for n.
5
Suppose -15*p + 47 = -28. Solve 8 = p*i - 7*i for i.
-4
Let p(x) = 4*x**3 - 3*x**2 + 2*x + 2. Let b be p(2). Let t be 9/6 - b/(-4). Solve 2*m = -t - 2 for m.
-5
Suppose -5*z + 3*g - 15 = -37, -5*z - 3*g = 2. Let n = 8 + -21. Let s be (0 + 2)*-6*n/26. Solve 0 = -z*t - s for t.
-3
Suppose -2*l + 30 - 4 = 0. Let q be (23 - 8) + -12 - (0 - 2). Solve q = -2*g + l for g.
4
Let m(w) = -w - 5. Let a be m(-11). Let q(y) = 2*y**2 - 4*y**2 - y**2 + 2*y**2 - 9*y - a. Let s be q(-6). Solve 6*h - 2*h + s = 0 for h.
-3
Let s(q) be the second derivative of -q**3/6 - q**2 - 10*q. Let u be s(-3). Solve -2*v + 3 = u for v.
1
Let d be (-33)/(-7) - (-10)/35. Suppose 1 = -d*s - 4*y + 9, 0 = 3*y - 6. Let r = 20 + -5. Solve -3*c + r + s = 0 for c.
5
Let c(b) = -15*b**3 + 3*b**2 - 3*b + 1. Let j be c(1). Let q be 3*(-4)/(-2)*(-7)/j. Solve 0 = q*i - i - 8 for i.
4
Suppose -12*h - 37 = 35. Let m be (((-45)/h)/3)/((-10)/(-8)). Solve m*j + 3*j - 10 = 0 for j.
2
Let q = -10 - -11. Let m(k) = 8*k**2 - k + 1. Let b be m(q). Suppose 0 = -4*l - 3*t + 11, 3*l + 4*t = 2 + b. Solve 5*c - 3*c = l for c.
1
Suppose 2*w = 4*t - 49 - 51, -t + 5*w + 16 = 0. Let j = -22 + t. Solve -i + j = i for i.
2
Suppose -2*k - 4*z + 22 = 0, -z + 1 = -20*k + 19*k. Solve 0 = k*a + a for a.
0
Suppose 2*s + 6*s = 24. Let n(c) = -c**2 + 10*c - 12. Let y be n(8). Solve 0 = -y*q + s + 1 for q.
1
Let o(l) = -l**2 + 29*l - 199. Let d be o(14). Suppose -4*i + 2*r = -16, 3*i - 12 = 2*r + r. Solve i*y - d = -3 for y.
2
Let k be (280/(-30) + 9)*(-9 - 0). Solve -2 + 5 = -k*y for y.
-1
Let u(m) = m + 6. Let a be u(-3). Let c = 5 - a. Solve c*r + 16 = 6*r for r.
4
Let c(a) = -a**3 - 5*a**2 - 5*a + 1. Let x be c(-4). Suppose -d - 8*q + 3*q = 4, -3*d = x*q + 42. Let y = d + 19. Solve y*t + t = -2 for t.
-2
Let b(u) = 3*u**3 - 67*u**2 - 47*u + 26. Let i be b(23). Solve -i*y + 10 = 4 for y.
2
Let w be (1 - 4)*(-1 - 0). Let f(d) = 3*d + 37. Let y be f(-11). Suppose -5*a = -3*i - 4, -4*a - 2 = -a - y*i. Solve w*l = a*l + 3 for l.
3
Suppose -5*l + 5 = 2*w, 107*l - 5*w + 2 = 109*l. Solve -4*z + 13 = l for z.
3
Suppose 0 = 3*x - 2*i - 24, 4*x + 29*i - 28*i - 21 = 0. Solve -4*b = -7*b - x for b.
-2
Suppose 0 = 5*b - 2*b - 15. Suppose -3*r + 31 = -4*o - 0, 4*r - 24 = o. Solve 4*n - b = r*n for n.
-5
Let u = -9 + 11. Suppose -3*z + u*g = 0, 0 = z + 2*g + 2*g - 14. Suppose z*h = h. Solve 0 = p - 3 - h for p.
3
Let h be (6/4)/((-11)/(-22)). Let r = 19 - h. Suppose 0 = -20*s + r*s + 16. Solve 2 = 2*g - s*g for g.
-1
Let h = -186 + 186. Solve 0 = c - h*c + 4 for c.
-4
Let v be ((-240)/28)/3*-7. Solve v = -8*b + 4*b for b.
-5
Let k be (3 + -1)*(-10)/4. Let l(g) = g**3 - 4*g. Let o be l(-2). Let x = o - k. Solve 0 = -4*b + x - 1 for b.
1
Suppose -15 = -61*w + 56*w. Solve 0*c + 15 = -w*c for c.
-5
Let h be (-124)/(-9) + 2/9. Suppose -z = z + h. Let j = -4 - z. Solve j + 2 = -g for g.
-5
Let t(y) = 2*y - 4. Let c be t(4). Let h = c + -4. Solve h*v + 10 = -5*v for v.
-2
Let w be 20/70 + 4/(-14). Let q be 1*6 - (2 - w). Let l = 9 - q. Solve 1 = l*m + 11 for m.
-2
Suppose 0 = 5*i - m - 207, -62 + 11 = -i - 3*m. Suppose -44*n = -i*n - 18. Solve n = -v - 2*v for v.
-3
Let f be (-3)/12 - 13/(-4). Let y be 9 - 3/(0 - f). Suppose 5*p = 15 + y. Solve 0*c - c + p = 0 for c.
5
Suppose 0 = -0*l - 2*l + 16. Solve -6*r + 2*r = -l for r.
2
Let s(v) = -v - 3. Suppose 6*k - o + 32 = 2*k, -2*o = -2*k - 22. Let p be s(k). Solve p*t - 15 = t for t.
5
Let g = 1 + 3. Solve -g*j = 89 - 69 for j.
-5
Let d = 39 + -27. Solve n + 2*n + d = 0 for n.
-4
Let x(l) = -l**3 + 7*l**2 - 7*l + 6. Let r be x(6). Let n = 4681 + -4677. Solve -y + n = -r for y.
4
Let z be -4 + 0 - (-4 - (2 - -1)). Let c = 7 + -4. Solve -3*g - z = c for g.
-2
Let m(k) = k**2 - 3*k - 8. Suppose 4*j = 2*p + 30, 0*j + 20 = 2*j - 2*p. Let v be m(j). Solve 0 = v*z - 1 - 9 for z.
5
Suppose -48 = -3*k - 3*x, 2*x - 16 = k - 23. Solve 42 = k*p + 3 for p.
3
Suppose -11*c = 5*c - 0*c. Solve c = -3*y - 11*y for y.
0
Let u be (-2)/(-2 + 6/4). Suppose 0 = -3*c - 4*p + 26, -2*p = -7*p + 25. Let l be ((3 + -3)/1)/c. Solve l*s + u = -4*s for s.
-1
Suppose -5*v - 3*d = -2*d - 10, -d + 7 = 4*v. Suppose -4*f + 16 = -2*h, -3*h - 1 = -2*f + v. Solve 2*r + 6 = -h for r.
-4
Suppose 10*s - 5*s - 15 = 0, 0 = j - 2*s. Solve 0*p - 7*p = -j*p for p.
0
Let k(r) = -r**2 + 11. Let l be k(0). Let x = 11 + l. Let u = 32 - x. Solve 3*q + 2*q = -u for q.
-2
Let t = 47 - 53. Let r be (-1 - 1)/(1/t). Solve r + 0 = -3*u for u.
-4
Let m = -1255 + 1267. Solve 0 = t - m*t - 22 for t.
-2
Suppose -61*k + 640 = -41*k. Solve 0 = 2*b + k - 42 for b.
5
Suppose -14*k + 15 + 41 = 0. Solve -11 = -k*y + 9 for y.
5
Let g(s) be the second derivative of -s**3/3 + 9*s**2 - 4*s. Let f be g(8). Let p = f - -8. Solve p = 2*u - 0 for u.
5
Suppose 0 = 3*l + l. Let d(g) = g**2 + 12*g - 18. Let o be d(-14). Let n be (-15)/10*o/(-3). Solve -r - 4*r + n = l for r.
1
Let c be (-13)/(65/(-15)) - (-8)/(-2). Let p be 0 - 0/(1 + c - 1). Solve -2*m + p = 8 for m.
-4
Let h = 33 + -20. Suppose -15 = -5*i, 3*i - h = -4*l + 3*l. Solve -1 = -k + l for k.
5
Suppose -14*l + 66 = 10. Let s be 4/(-6) + (210/18 - l). Solve 9 + s = 4*i for i.
4
Let x(v) = 4*v**2 + 14*v + 6. Let o be x(-6). Let n be 12/o - 18/(-22). Solve 2*d = d - n for d.
-1
Let l(y) = y**2 - 3*y - 25. Suppose -2*f = -0