j for p.
3
Let i(t) = t**2 - 3*t - 5. Let o be i(4). Let n = o - -6. Solve -7 = n*x + 3 for x.
-2
Let w be 10*(14/(-10) - -1). Let x be 60/6*(-2)/w. Suppose 0*s + 18 = 5*p - 2*s, -10 = 5*p + x*s. Solve -f + p*f = 0 for f.
0
Let p be 2/((-1)/(2/(-2))). Suppose 2*u = -5*o - 20, -p*o - u - 7 = -0*o. Let y be (-9)/o - (-1)/2. Solve 5*h = y*h for h.
0
Suppose -3*c - 4*f = -31, 3*f = 5 - 2. Solve 0*y - c = 3*y for y.
-3
Suppose -3*g + 9 = -3. Suppose -7*t = -g*t - 6. Suppose 3*p + 0*p = 5*n + t, -5*p + 30 = 5*n. Solve -p = -v - 0*v for v.
4
Let t be 1 - 1/(-1 + 0). Solve -2*f = -f - t for f.
2
Let c be (-3)/2 + 312/48. Solve c*g - 2 + 22 = 0 for g.
-4
Let g be -3*(-2 - (-5)/3). Solve 2*t = -g + 3 for t.
1
Suppose 0 = 2*p + 3*k + 12, -4*p + 4*k + k + 20 = 0. Solve -4*n + p = -16 for n.
4
Let z = -7 - -15. Suppose -4*r + 17 = -n - z, n = 5*r - 31. Suppose r*s - 10 = s. Solve 15 = -s*d + 5*d for d.
5
Suppose -3*f - 4 = -5*f. Solve -x - f*x = -6 for x.
2
Let l = 4 + -7. Let n = -3 - l. Solve 0*s + 2*s = n for s.
0
Let h be (1/2)/((-24)/(-96)). Solve -r = h*r + 12 for r.
-4
Suppose 11*h + 964 = 7*h. Let r be h/(-9) + 22/99. Solve 0 = 5*i + r - 2 for i.
-5
Suppose -10 + 16 = 2*s. Solve -s*l = 2*l for l.
0
Suppose o - 5*h + 7 = -23, -5*h = -4*o - 90. Let t be 2/(-5) - 8/o. Solve -4*p - 8 - 4 = t for p.
-3
Let a = -2 - -3. Suppose -5*d + 9 = -16. Suppose 4*w + 3*v - d = -a, -3*w + v = -16. Solve -w*c = 3 + 17 for c.
-5
Suppose -5*d + m = -42, -3*m = -3*d + 4*d - 2. Let z be (-2)/(1 - -1)*-2. Suppose r = z*r - 5. Solve d = -k + r*k for k.
2
Let u be 1845/(-54) - 2/(-12). Let k be (16/6)/(u/(-51)). Solve -k*f + 3*f = 5 for f.
-5
Let y = 5 + -8. Let h = y + 4. Solve -4*k = -5*k + h for k.
1
Suppose 2*o + 1 = n, 4 = -0*o - 4*o + 4*n. Solve o = -0*a - 2*a - 4 for a.
-2
Suppose 2*y + 12 = 4*y. Let m = -3 + y. Solve m = 4*f - 17 for f.
5
Let v(c) = -c**3 - 7*c**2 - c - 4. Let s be v(-7). Let o be -2 + 1 + (s - -1). Solve 0 + o = -q for q.
-3
Suppose -3*r + 5*c - 25 = 0, -2*c + 4*c - 19 = 3*r. Let h = 7 + r. Solve -3*n - h = 13 for n.
-5
Suppose 0*d - 2 = -d. Suppose -s - d*h = s - 50, -h - 95 = -5*s. Suppose 6*u - s = 2*u. Solve 0 = -4*b + u - 1 for b.
1
Suppose -a - 4*l = -2*l + 2, -4*a - 2*l = 2. Let i(f) be the second derivative of f**4/12 + f**3 - 3*f. Let w be i(-6). Solve w = 2*g + 4 - a for g.
-2
Let q = -49 + 49. Solve -t + 2*t + 2 = q for t.
-2
Let h = -94 + 46. Let s be h/(-21) + (-4)/14. Suppose 4*w + 4 = -5*j, -5*j - 2 = -s*w + 4*w. Solve b + 0*b + 3 = j for b.
-3
Suppose -2*y = -0*y + 2*d - 62, 0 = y - 4*d - 21. Let v = y + -18. Solve -v + 3 = 4*t for t.
-2
Let r = -2 + 2. Suppose -p + 0 + 5 = r. Suppose -p*n + 4 = -21. Solve -2 = -n*w + 3 for w.
1
Suppose -15 = -25*j + 24*j. Solve -j = -0*a - 3*a for a.
5
Let m = -22 + 24. Let i(x) be the first derivative of -x**3/3 + 7*x**2/2 + 2*x - 2. Let k be i(5). Solve -m*q = -6*q + k for q.
3
Suppose 5*h + o = 21, 0 = 2*h + 3*o - 5*o - 6. Let u = -9 + 35. Suppose 5*m = u - 11. Solve m*a = h*a - 1 for a.
1
Let q(x) = x + 13. Let r(z) = -3*z - 25. Let t(o) = 5*q(o) + 2*r(o). Let j be t(14). Solve j - 3 = -2*m for m.
1
Let w(g) = -g**3 - 2*g**2 + g. Let k be w(-2). Let j = -6 - k. Let p be (j + 1)*40/(-15). Solve -5*h + 12 = -p for h.
4
Let t = 16 - 30. Let b = t + 18. Solve 8 = -0*d - b*d for d.
-2
Suppose -8*y + 11*y - 18 = 0. Solve n = 4*n - y for n.
2
Suppose 60 = 3*q + 2*q. Solve -2 = -2*i - q for i.
-5
Let o be -1 + (-4 - 3/(-3)). Let f = o - -4. Solve 0 = 2*d + 4 - f for d.
-2
Let r = 2 - -1. Let a(v) = v**3 + 12*v**2 - 15*v - 16. Let i = -22 + 9. Let b be a(i). Solve t = r*t - b for t.
5
Let v(y) = y**2 - 2*y - 3. Let h = -6 - -9. Let r be v(h). Solve r = c + c + 10 for c.
-5
Let w(i) = i**2 - 3*i - 4. Let x = -2 + 7. Let h be w(x). Solve 0 = 4*z - h*z for z.
0
Let k = 106 - 102. Solve 0*w = -k*w for w.
0
Let w(v) = -v + 14. Let g be w(9). Solve n - g*n = 0 for n.
0
Let m be (-15)/3*4/(-5). Let v(q) = q - 4. Let o be v(7). Let s = 5 - o. Solve 4 = s*h - m*h for h.
-2
Let a(v) = -1. Let r(k) = -k - 16. Let c(i) = -2*a(i) - r(i). Let x be c(-13). Solve -2*j + x = 15 for j.
-5
Suppose -1 + 16 = 5*i. Solve 0 = -i*j + 8 + 1 for j.
3
Let r be 1 + 2 + 0 + 0/(-3). Solve 4*o + 9 = -r for o.
-3
Let o(n) = 3*n - 51. Let r be o(17). Solve r = -4*x + 8 + 4 for x.
3
Let x(n) = 4*n + 1. Let k be 2/(-4) - (-3)/2. Let v be x(k). Suppose 0 = m - v*m + 20. Solve -m*a = 6 + 4 for a.
-2
Let j(i) = -i**2 - i + 3*i - i. Let f be j(1). Let u = -20 - -28. Solve f*m = -4*m - u for m.
-2
Suppose 0*h = -h + 15. Solve 0 = -y + 6*y - h for y.
3
Suppose 4*n - 5*n = 0. Suppose -64 = -r - 4*r + i, n = 5*r + 3*i - 68. Solve 0 = 4*q + 1 - r for q.
3
Suppose 0*n - 2*n - 5*g + 30 = 0, 5*g = 4*n. Suppose 21 = 3*h - 3*c, -22 = -4*h + 2*c + 4. Suppose 0 = -h*t + 5*t + 5. Solve -n*a - 15 - t = 0 for a.
-4
Suppose 0*o - 6 = -3*o. Suppose 3*u = 9, -2*p - 42 = -6*p + o*u. Suppose -3*z + 7*z - p = 0. Solve -f = -z*f for f.
0
Suppose 0 = -l + h + 3, 0*l - 6 = -4*l + 2*h. Suppose l = -z + 3*y - 6, -4*y + 2 = z - 6. Solve 2*w + z = -2 for w.
-1
Let m = 25 + -22. Solve -m*z + 8 - 20 = 0 for z.
-4
Suppose s - 1 + 4 = 0, 0 = x - 5*s - 19. Suppose 0 = -a - 3*m + x*m + 1, -3 = a - 2*m. Solve -a*z = 5 + 10 for z.
-3
Suppose 0*r = -4*r. Suppose r = -4*j - j + 10. Solve j*f + f - 6 = 0 for f.
2
Let v(b) = 7*b**2 + b. Let z be v(-1). Let h = 17 - 8. Solve z = -s + h for s.
3
Suppose 3*h - 8*h + t = -17, 5 = 2*h - t. Let l be (-4)/(-8)*4 + -1. Solve -x + l = h for x.
-3
Let l = 42 - 38. Solve -7*h + l*h = 3 for h.
-1
Suppose 5*k = -s + 22, k + 2 - 8 = -s. Solve 0 = -5*b + s*b - 9 for b.
-3
Let h be 0/(2/(-2)) + 5. Let a(u) = -7*u**2 + u. Let z(v) = -6*v**2 - 1. Let p(x) = 5*a(x) - 6*z(x). Let l be p(-7). Solve c - h*c + l = 0 for c.
5
Suppose 4*w - 4*f + 1 = 21, -3*w - 3*f = 15. Solve -4*v - 4 + 12 = w for v.
2
Let v be 4/6 + (-4)/6. Let d = 0 + v. Solve b + 3 + 0 = d for b.
-3
Let q = -8 - -12. Solve -a = -q*a + 15 for a.
5
Let q = 6 - -1. Solve -5*m + q = 32 for m.
-5
Suppose 9 = i - 4*i, 10 = 2*p - 2*i. Suppose -5*j + 1 = -2*n, -3*n + p*j = -9 - 17. Solve n = 4*b - 4 for b.
4
Suppose 0*p + 3*p = 6. Suppose -6*o = -3*r - o - 27, 5*r - 2*o = -26. Let g be p/r*(-18)/3. Solve 0 = 4*s - s - g for s.
1
Suppose 82 = 5*i + 27. Let k = -6 + i. Suppose -18 = -3*x - 4*s, 0*x + 5*x - 3*s - 59 = 0. Solve 5*b + k + x = 0 for b.
-3
Suppose 0 = -3*z - 2 + 17. Solve -6*a - z = -7*a for a.
5
Let p = -1 + -3. Let y be 1*(2 - 3)*0. Let n = y - p. Solve -n*j - 6 = 14 for j.
-5
Let y = -6 - -9. Solve -q = -y*q + 4 for q.
2
Let b = 28 + -20. Let i(x) = x**3 - 7*x**2 - 6*x - 11. Let z be i(b). Suppose -z*k - c = c - 5, -2*k + 31 = -5*c. Solve h = -k*h - 16 for h.
-4
Let a be 9*4/(-2 + 14). Suppose 0 = -5*p + z + z + 32, -3*p = 2*z - 16. Solve 0*i - p = a*i for i.
-2
Let n = 3 - 5. Let u = -2 - n. Let w be (2 + 3/(-4))*4. Solve -4*t + w - 13 = u for t.
-2
Suppose -3 = -i - 1. Let a = -15 + 17. Suppose i + a = h. Solve u = -h*u - 25 for u.
-5
Let u(q) = 2*q + 1. Suppose 0 = 2*k - 3 + 1. Let y be u(k). Suppose 4*o - 10 = 14. Solve y = 3*x - o for x.
3
Let v(x) = x**3 - 13*x**2 + x - 8. Let s be v(13). Suppose -6 = -z - s. Solve -w - z = -4 for w.
3
Let t be 8/28 + 4/(-14). Suppose 0 = d - 1 - t. Solve -19 = -5*h + d for h.
4
Let m be (4/22 + 10/(-55))/1. Solve m = -2*b - 8 for b.
-4
Suppose -4*x + 51 = -33. Solve -1 = -5*n - x for n.
-4
Let h(f) = f**2 + 6*f + 5. Suppose -6 = 4*n - 26. Let s be h(n). Suppose 4*w = 8*w - s. Solve 0 = -t + 6*t + w for t.
-3
Let s(q) = -5*q**3 + 7*q**2 - 4 - 3*q + 6*q**3 + 4*q - 2*q**3. Let o be s(7). Solve -o*f + 7*f = 20 for f.
5
Let p be (-2)/(4/22 + (-30)/44). Solve 0*t = -p*t - 8 for t.
-2
Let w(n) = 2*n**2 - 3*n + 1. Let o be 0 + (2 - 2) - 3. Let u be -6*(-2 - 5/o). Let k be w(u). Solve -k*j - 4 = -5*j for j.
2
Let k = 17 - 14. Solve 0*d - k*d + 12 = 0 for d.
4
Suppose n = 2*p - 6, -5*p + 4*n = -2*p - 4. Solve -15 = p*x - 3 for x.
-3
Let l = -53 - -59. Solve 10 = l*u - u for u.
2
Let w(o) = -2*o - 7. Let q(j) = j + 3. Let p(l) = 15*q(l) + 6*w(l). Let i be p(4). Solve -2*b = -7*b + i for b.
3
Let y be 3 - (-5)/((-5)/(-16)). Let z = y + -16. Suppose -l - l + 4 = 0. Solve 4 + l = -z*f for f.
-2
Let v be (0 + 0)/(2/(-2)). Suppose v = -2*u - u. Solv