p for p.
-3
Let c be (1 - 1)*6/(-12). Suppose 12 = 2*a - 3*d, 2*a + 4*d - 12 + 0 = c. Let m = a - 2. Solve -m = -4*k + 8 for k.
3
Let u = 76 - 25. Suppose -u = -4*m + 3*q, -2*q - 42 - 4 = -4*m. Solve -3*s + m = -3 for s.
4
Suppose -5*p = -5*o + 10 - 0, 0 = 5*o + 5*p - 40. Solve 7*v = o*v - 10 for v.
-5
Let m(p) = 3*p - 1. Let l(b) = b + 1. Let n(v) = 2*l(v) - m(v). Let j be n(-7). Solve 5*z - 5 = j for z.
3
Let r = -22 + 31. Solve r = -3*m + 24 for m.
5
Let p = -30 - -32. Let v = 0 + 2. Solve i + p = -v for i.
-4
Suppose 5*d + 0 = 10. Suppose -d*l + 42 = -2*n, n + 0*n = -3*l + 43. Let r(i) = 2*i - 7. Let o be r(6). Solve -l = -m + o*m for m.
-4
Let y be (15/2)/(3/4). Let m(z) = -z**2 + 11*z - 7. Let w be m(10). Suppose -y = -3*a - 2*g + 7, 15 = a + w*g. Solve -a*s + 2*s = 1 for s.
-1
Let q = -9 + 11. Let r be -2 + q + -1 - -23. Solve 2 - r = -5*v for v.
4
Let v be (-38)/(-7) + -2 + (-3)/7. Solve 0 = -v*p + 6 + 3 for p.
3
Let c = -12 + 13. Let l = 13 + -10. Solve -l*v = 2 + c for v.
-1
Suppose 5*u = 8*k - 4*k - 2, 3*k - 3*u = 0. Let v = k - -8. Solve -p + 10 = -v*p for p.
-2
Suppose 4*h + 5*g - 17 = 0, 10 = 4*h + h - 5*g. Suppose h*t = 2*n + 10, t - 2*n + 5 = -3*n. Solve c + c = t for c.
0
Let z = -8 - 1. Let u = z - -20. Solve 5 = -4*c - u for c.
-4
Let d be 5/(-10) + (-1)/(-2) - 0. Solve d*s = -4*s - 8 for s.
-2
Let j = 2 - -1. Let c(f) be the third derivative of f**4/24 + f**3/6 - f**2. Let m be c(j). Solve -z - 15 = m*z for z.
-3
Let a be (-1)/(-2)*(6/(-3) - -2). Solve -5*y - 19 - 6 = a for y.
-5
Let q = 5 + -7. Let t = -1 - q. Solve 5*s - 14 = t for s.
3
Let u(q) = -3*q**2 - q**2 + 15 - q + 4*q**2 - q**2. Let w be u(0). Solve 5 - w = 2*d for d.
-5
Suppose -4*o + 7 + 9 = 0. Solve -2*k + 6 = o for k.
1
Suppose -7*v + 25 = -2*v. Solve 0 = -v*m + m - 12 for m.
-3
Let g = -67 - -67. Suppose -4*r + 55 = -5*p, 3*p + 39 = 3*r - 0. Let x = r - 6. Solve g = -h + x*h for h.
0
Let x(q) = q**3 + 15*q**2 - 17*q - 14. Let k be x(-16). Solve k*p - p = 4 for p.
4
Suppose -2*x - x + 18 = 0. Let y(q) = -q**3 + 7*q**2 - 5*q - 6. Let r be y(x). Solve -5*m + m + 20 = r for m.
5
Suppose 0 = h - 4*h. Suppose -4*g + 1 + 3 = h. Let c be (5/2)/(2/4). Solve -2*y = g + c for y.
-3
Let a(b) = -b**2 + b + 2. Let m be a(0). Let k = -2 + 2. Let u = 0 - k. Solve 2 = m*w - u for w.
1
Suppose m - 4 = 1. Suppose 0*v - 1 = 4*v - 5*s, 2*s = -m*v - 26. Let z = 2 - v. Solve 2*x + z = 4*x for x.
3
Suppose 3 = -t + 2*m - 5, 3*t + 2*m - 16 = 0. Solve -2*p + 16 = t*p for p.
4
Let d(p) = -p**2 - 4*p - 4. Let v be d(-2). Solve 3*a - 7 + 1 = v for a.
2
Let l(y) = 2*y + 4. Let x be l(-2). Solve 0*s + 3*s - 15 = x for s.
5
Let b be (2 - 1)/((-5)/(-35)). Let p = -5 + b. Solve f = p*f - 3 for f.
3
Let p(i) = -13*i + 9. Let s(b) = -3*b + 2. Let t(l) = -4*p(l) + 18*s(l). Suppose 0 = 5*n - 3 + 13. Let g be t(n). Solve -g*r - 9 = -1 for r.
-2
Let c = -3 - -7. Let b(t) = t**2 - 3*t - 4. Let a be b(c). Suppose -3*w + 2*w + 4 = a. Solve -w*f - 2 = -3*f for f.
-2
Suppose 0 = 5*z - 3*i + 8, -2*i - 25 - 3 = 5*z. Let t be -15*1*(-3)/9. Let m = z + t. Solve m - 7 = 2*r for r.
-3
Let f be -2 + 1 - 21/(-3). Solve -b = f - 2 for b.
-4
Let u be 39/8 - 3/(-24). Solve -3*j = -u*j + 6 for j.
3
Let q(n) = -4*n - 5. Let d be q(-3). Solve d = -k + 2 for k.
-5
Let c be 2 + (-1 + -2 - -1). Suppose 6*f + 27 = 45. Solve l + f*l = c for l.
0
Let g = 16 - 26. Let m = g + 22. Solve -j + 4*j + m = 0 for j.
-4
Let j = -11 - -7. Let k = j - -6. Suppose -k*a + 0 + 2 = 0. Solve 3 - a = 2*u for u.
1
Suppose 4*c = 0, o = -c + 3*c + 2. Solve 0 = -0*p + p + o for p.
-2
Suppose 3*d + 10 = 16. Solve -j = d*j for j.
0
Let t = -3 + 6. Solve z + 4 = t*z for z.
2
Suppose 0*t = 2*t - 10. Let w = -2 + t. Suppose 2*m - w*m = -3. Solve 0 = -m*n + n - 2 for n.
-1
Suppose 2*b + r - 2 = 0, -5*b + 2*r + 20 + 3 = 0. Let c = b - 2. Suppose a - 6 = -c. Solve -a*l - 4 = 1 for l.
-1
Let l(m) = m - 1. Let i(p) = -5*p + 22. Let r(u) = -i(u) - 3*l(u). Let q be r(10). Solve 2*b - 5 = -q for b.
2
Suppose -5 = n + p - 17, -5*n = 3*p - 54. Let o = 11 - n. Solve o*x = 5*x - 12 for x.
4
Suppose 4*m + 3 + 0 = t, -5*t + 4*m + 63 = 0. Solve 3*k = -2*k - t for k.
-3
Let a be -1 + 132/21 + (-4)/14. Solve a = -9*l + 4*l for l.
-1
Let z = 38 + -31. Solve z*k - 5 = 2*k for k.
1
Suppose 0*y = 4*y - 12. Let n(s) = -4*s. Let g be n(1). Let q be (-2)/(g/6 + 0). Solve -y*x + q = -3 for x.
2
Let a = -64 - -66. Suppose 0 = -4*i - 5*j + 23, -3*j + 7*j = 3*i + 6. Solve -a*u = -u + i for u.
-2
Let o(s) = -2*s + 28. Let i be o(8). Solve 4*a - 8 - i = 0 for a.
5
Let a = -4 + 8. Let n be 0 + 1 - -2 - 0. Solve -23 = -a*c - n for c.
5
Let w(h) = -h**2 + 13*h - 11. Let v be w(11). Suppose 2*j - p = 7, 4*j = p - 0 + v. Solve 2*s + j = 3*s for s.
2
Suppose -3 = 4*j - 15. Solve -j*f - 6 = 3 for f.
-3
Suppose 0 = -0*k - 2*k + 8. Suppose -d = -k - 8. Suppose d*x - 8*x = 0. Solve x = -2*y + y + 3 for y.
3
Suppose 5*f - 10*f = 0. Solve 12 = 3*k - f*k for k.
4
Let n(s) = 7*s**2 + 9*s + 15. Let a(k) = 4*k**2 + 4*k + 8. Let q(c) = 5*a(c) - 3*n(c). Let t be q(-6). Suppose -4*o + 3*o + 5 = 0. Solve -m + o = t for m.
4
Suppose -3*c - 5 = 7. Let n = c + 9. Solve 2 = -n*o + 12 for o.
2
Suppose 4*x = -0*x. Let s(j) = j. Suppose -2*y = -b + 1, b - y - 5 + 2 = 0. Let d be s(b). Solve x = 3*k - d*k + 10 for k.
5
Suppose 0 = 6*i - 2*i - 20. Solve -4*c = -9*c - i for c.
-1
Suppose 2*g - 15 = 5*u, 0*u + 9 = g - 4*u. Suppose -5*d - g*y + 30 = 0, 4*d + 0*y = y + 4. Let l be (d/4 - 1)*-4. Solve l*a = -a for a.
0
Let u be 2*(75/(-6))/(-5). Solve 5*r = -0*r - u for r.
-1
Suppose -1 - 3 = -a + 2*z, 4*a - 3*z - 11 = 0. Solve -4*r = -a - 10 for r.
3
Let t(l) = l**3 + 6*l**2 + 4*l + 1. Let v be t(-5). Suppose 0 = a + 3*a. Suppose v*b - 2*b = a. Solve 2*z - 4*z + 8 = b for z.
4
Suppose -3*c + s = -15, 5*c - 2 = 4*s + 16. Suppose -5*h = -c*h + 2. Solve -15 = h*r - 5*r for r.
5
Let l(q) = 9*q**2. Let t be l(-1). Suppose 0*x - t = -3*x. Let k be (-28)/(-6) + 1/x. Solve k*d + 8 = 23 for d.
3
Suppose x + 4*c = 6*x - 11, 1 = -x + 4*c. Let z be x + -2 - (-8)/4. Solve l + 2*l - z = 0 for l.
1
Let x(l) = l**2 + 4*l + 1. Let p be x(-5). Let w = 10 - p. Suppose -w = -v - 1. Solve 0*d - d = v for d.
-3
Let z be 1 + 5 + 1 - (-26 + 30). Solve -7 + 1 = -z*a for a.
2
Let o be (-2)/(-6) - (-10)/6. Let a be -6*4/(-18) + (-2)/(-3). Solve 6 = -o*d + a for d.
-2
Let s(c) = -3*c + 22. Let r be s(6). Solve -d - r + 1 = 0 for d.
-3
Suppose 2*f - 4 = o, 2 + 11 = f + 5*o. Suppose -3*c + 2*i - 4 = 0, -2*c + 0*i + f*i = 11. Solve -4*n = -2*n - c for n.
1
Let c(x) = x**3 - 9*x**2 + 8*x - 2. Let d be c(8). Let q be (2/8*0)/d. Solve q*p + 2 = 2*p for p.
1
Let p = 3 - -4. Let q(v) = v**3 - 7*v**2 + v - 4. Let u be q(p). Solve -13 = u*z - 4 for z.
-3
Let q(c) = c**3 + 2*c**2 - 2*c - 1. Let d be q(-2). Suppose d*t = -t + 16. Suppose 0 = -t*p + 5*p. Solve p = -0*w - 2*w + 8 for w.
4
Let v(r) = r**3 + r**2 + 7. Let a be v(0). Let b = 13 - a. Solve p = b - 2 for p.
4
Let v = -22 + 53. Solve -4*x = 11 - v for x.
5
Suppose -2*j = u + 4*u, 3*j - 25 = 5*u. Let s(c) = -c**2 + 4*c + 6. Let y be s(j). Solve -3*p - 10 + y = 0 for p.
-3
Let m = 24 + -14. Suppose -2*j = 3*j - 20. Suppose -3*v + 5*v = 2*s - 10, 0 = -s - 3*v - 7. Solve j = -s*n + m for n.
3
Suppose -v + 6*v = 20. Suppose -3*n + 2*q + 18 = 5*q, 0 = -3*n - 5*q + 22. Suppose 0 = -4*w - 5*r - 17 + 85, -n*r = 3*w - 52. Solve w = v*k - 0 for k.
3
Let h = 52 + -49. Solve -z + 6 = h for z.
3
Let t(q) = 0*q - 13 - 2*q + 0*q. Let u(l) = -1. Let w(b) = t(b) - 4*u(b). Let h be w(-6). Solve -13 = h*a + 2 for a.
-5
Suppose 3 = -m + s - 9, -4*m - 63 = s. Let l = 18 + m. Solve -f - 6 = -l*f for f.
3
Let k(n) be the first derivative of n**2/2 + n + 4. Let x be k(2). Solve -x*u + 16 = u for u.
4
Let o be (-54)/90*10/(-3). Let u(d) = 4*d**2. Let r be u(1). Solve x + r - o = 0 for x.
-2
Let r be (-12)/(-3) + 2 + -2. Let c = -6 + r. Let z be 6*(c/(-3))/2. Solve i - 1 = z for i.
3
Let c be 6*(10/(-16))/(30/(-40)). Solve -c*f + 2*f = -9 for f.
3
Suppose -3*r + 0*r = -12. Suppose 3 = r*f + 5*p, -2*f = f + 5*p - 1. Solve -3 - f = -t for t.
5
Suppose -2*u - 2 = 3*z, 6 = -5*u + 3*u - 5*z. Suppose 3*l = -5*h + 80, 0 = -5*l - 5*h + 134 - 14. Solve 0 = -3*y - u*y + l for y.
4
Let t = -66 - -66. Solve t = u - 3 + 7 f