*f + 3 = -a for f.
-1
Let i(v) = 6*v - 10. Let p be i(7). Let m be -1 + 0 - p/(-8). Solve -m*d - 9 = -0 for d.
-3
Suppose -3*q = 0, -3*w = -q + 6*q. Let m = w - -1. Let g(f) = -f**3 - 9*f**2 - 10*f - 12. Let p be g(-8). Solve l = -m - p for l.
-5
Let y(p) be the second derivative of -2*p**3/3 + p**2/2 + p. Let r be y(-3). Solve -3 = -2*c - r for c.
-5
Suppose -4*x - x + 20 = 0. Suppose 6*u - x = 5*u. Solve -2*j + 2 = -u*j for j.
-1
Let t(l) = -3*l**3 + l. Let x be t(1). Let d be (x/(-8))/((-1)/(-8)). Solve -5 + d = -3*m for m.
1
Let y(w) be the second derivative of 1/6*w**4 - 1/20*w**5 + w**2 + 0 + 2*w + 1/2*w**3. Let x be y(3). Solve -x*p = 3*p for p.
0
Suppose 3*q = 8*q - 15. Solve -7 = q*a - 1 for a.
-2
Let h(f) = 3*f + 2 - 2*f + 0*f. Let a be h(6). Let w be (5 + 1)*a/12. Solve 4 + 0 = w*z for z.
1
Suppose -8 = -4*l + 2*q, -2*l = l - 3*q - 3. Solve j + 16 = -l*j for j.
-4
Let j(y) = -y**3 - y**2 + y - 2. Let r be 1/5 - (-22)/(-10). Let b be j(r). Let a(v) = v**2 + 6*v + 3. Let h be a(-6). Solve 5*d + 2 + h = b for d.
-1
Let u = 125 - 110. Solve -m - 2*m + u = 0 for m.
5
Let p(s) = -s - 1 - 4*s**3 - 4*s**3 - 5*s**2 + 2*s**3 + 4*s**2. Let n be p(-1). Solve -n = -2*l + 3*l for l.
-5
Let b(r) = r**2 - 6*r - 5. Let j be b(7). Solve -6*x = -j*x for x.
0
Let j(a) = -a**2 - 11*a - 14. Let n be j(-9). Solve 0 = 2*d - 6*d + n for d.
1
Suppose 0 = 5*l - 11 - 9. Suppose -l*b + 63 = -b. Let p = b - 7. Solve -4*n - p - 6 = 0 for n.
-5
Suppose -3*x - 11 = -14. Solve -13 = -4*t - x for t.
3
Suppose -p = 2*p + 5*d - 27, 5*p = 5*d + 5. Suppose 5*s = 3*s. Suppose -n + 2*n = s. Solve -p*g - 4 = -n for g.
-1
Suppose 0*z = -3*z - 18. Let h be (-16)/8*z/4. Solve -h*s - 1 = 8 for s.
-3
Suppose -45 = -7*q + 60. Solve -5*z + q = -0 for z.
3
Let m(z) = z**3 + 6*z**2 - 7*z + 2. Let p = 11 + -18. Let n be m(p). Suppose g - 5*g - 4*f = 8, -g - 14 = 4*f. Solve g = n*r + 10 for r.
-4
Let a be 1/3 + 1/(-3). Suppose 3*m - 24 = 2*m. Suppose 2*v - 3*u - 14 = 0, -v + 2*u + m = 4*v. Solve h - v*h - 3 = a for h.
-1
Suppose -14*k + 15*k = 0. Solve -2*y + y + 5 = k for y.
5
Suppose 5*u - 83 = 97. Suppose u = 5*h - 14. Let l = -4 + 11. Solve l*p - 2*p - h = 0 for p.
2
Let j(u) = u**2 - 6*u + 5. Let s be j(5). Let a(t) = -t**2 - 9*t - 4. Let d be a(-7). Solve n + n - d = s for n.
5
Let k = -3 + 13. Let b(a) = -a**2 + 10*a. Let n be b(k). Solve 0 = -g - n*g - 1 for g.
-1
Let d = 18 + -10. Solve -4*y + 0*y = d for y.
-2
Let d(w) = -w**2 - 4*w. Let m be d(-4). Suppose -3*f - y = 0, 2*y - 7 = f - m*f. Let i be f/(-1) + 2 + 1. Solve 1 = -i*b + 21 for b.
5
Suppose 3*m + 10 = 4*c - 3, 3*c - 12 = 0. Solve -2*f + m = -3 for f.
2
Suppose 0 = -2*k + f + 19, 0 = -4*k + 6*k - 5*f - 23. Solve -7*y + k*y = -10 for y.
-5
Suppose -1 = 4*d - 21. Suppose 2*p - d = 7. Solve 0*g + p = 2*g for g.
3
Let i be (5 - 3) + -3 - 0. Let k = i + 1. Solve -3 + k = -p for p.
3
Let i = 93 - 89. Solve 3*g = -i - 2 for g.
-2
Let k = 2 + 1. Suppose -k*f - 126 = -4*u + 63, 3*u + 2*f - 129 = 0. Suppose u = 2*b + b. Solve 4*q + b = q for q.
-5
Suppose -o - 4*o + 5 = 0. Let m be (4/4 - -2)*o. Solve 1 = m*w + 13 for w.
-4
Let v(g) = g**3 + 4*g**2 - 6*g - 1. Let i be v(-5). Solve -i*f + 3*f + 1 = 0 for f.
1
Let q(r) = r**2. Let n(u) = 4*u**2 - 8*u - 3. Let d(s) = n(s) - 3*q(s). Let w be d(9). Solve -g - w = -1 for g.
-5
Let k be 2/1 + (2 - 0). Suppose 5*t + 4*q - 20 = 0, 0*q = -4*t - 4*q + 20. Suppose t*l = -l + k. Solve 3*c = l*c + 5 for c.
-5
Let n = 4 - -1. Solve n*v - 2*v = 12 for v.
4
Let y be (810/(-42) - 6/(-21))*-1. Solve -y = 2*j - 9 for j.
-5
Suppose -7*n + 2*n = 7*n. Let g be 0 + -1 + (-1)/(-1). Suppose g*b - b + 4 = n. Solve -r - r + b = 0 for r.
2
Let l(b) = -b - 5. Suppose 5*j = -2*r - r - 10, -j - 14 = 3*r. Let y be l(r). Let a = 0 - 0. Solve 4*z + a*z = y for z.
0
Suppose 0*v + p - 18 = -3*v, 0 = -4*v - 4*p + 32. Suppose 22 = v*d - 23. Suppose -2*y - 8 = -6*y. Solve 1 = y*s + d for s.
-4
Let a be (-8)/(-28) - 6/21. Solve a*w + 5*w = 25 for w.
5
Let i be ((-4)/10)/(1/(-15)). Let m be (-4)/i*(-3)/2. Suppose -q + 17 = -4*f, -q + 2*f + 8 = -m. Solve -t = -4 - q for t.
5
Suppose 19 = -2*r + 3*r + 5*i, 5*i - 7 = 2*r. Solve r*n + 9 = -3 for n.
-3
Let q(t) = t**3 - 9*t**2 + 10*t - 12. Let a be q(8). Solve 3*y + a = -y for y.
-1
Let m = -5 + -3. Let d be (m + 4)*(-1)/2. Solve -d*y = -y + 5 for y.
-5
Let k(j) = j + 7. Suppose -2*b = -0*b + 8. Let o be k(b). Solve -3 = -o*n + 9 for n.
4
Let d(y) = 1. Let i(j) = -j**2 + 6*j + 14. Let l(q) = -5*d(q) + i(q). Let v be l(7). Solve 4*h + 6 = v for h.
-1
Suppose 0 = 7*h - 2*h. Suppose h = 2*j + 2*j. Let q be 4/(-6) + 84/18. Solve -q*p - 17 - 3 = j for p.
-5
Let h be -12*1/3*-1. Suppose 2 = 2*s - 2*k - h, -3 = 5*s + 4*k. Let y(w) = -w**2 - 6*w - 3. Let t be y(-4). Solve -9 = -t*x + s for x.
2
Let w(x) = 2*x - 4. Let g be w(6). Let f = g + -5. Suppose 0 = 3*s - 4*s + f. Solve 0 = 4*y - s*y - 2 for y.
2
Let k be (-4)/6 + (-200)/15. Let z = k - -15. Solve z + 2 = 3*h for h.
1
Suppose f - 4 - 37 = 0. Let y = f + -21. Solve -3*s = s + y for s.
-5
Suppose 39*k - 40*k + 2 = 0. Solve k*z + 2 - 6 = 0 for z.
2
Let v(d) = -2*d - 1. Let r be v(-3). Suppose -2*z = -r*z. Suppose -c + 2*c = z. Solve w + 0*w + 1 = c for w.
-1
Let y be 2*1/2 - 2. Let s = 4 + y. Solve n + s = -2 for n.
-5
Let p(o) = -o**3 + 7*o**2 + 9*o - 10. Let u be p(8). Let b be (-11)/(-2) - (-3)/u. Solve -2*z = 2*z + b for z.
-1
Suppose -4*y + 15 = -5*f, 5*y - 4*f - 30 + 0 = 0. Let m = 14 - y. Suppose 3*z + 11 = z - 3*l, -24 = -2*z + m*l. Solve 1 = -3*u - z for u.
-1
Let p be (-12)/(((-27)/(-6))/(-3)). Suppose p*s = 3*s + 30. Suppose -c = -s*c. Solve c = -2*h + 6*h - 20 for h.
5
Suppose 1 = q, 2*j + 3 - 12 = q. Solve j = -0*a + a for a.
5
Suppose 3*q - 2*q - 48 = 0. Suppose 0 = 4*i - 0*i - 3*s - 38, 5*i = 4*s + q. Solve -5*p - i = 2 for p.
-2
Let x = -5 + 11. Suppose u = x*u. Solve u = 4*v - 3 + 19 for v.
-4
Let m be (-1 + 2)/(1/2). Let z = 4 - 8. Let u = z + 7. Solve -2*h = -u*h - m for h.
-2
Suppose 0 = 8*x - 0*x - 16. Solve 0 = -5*z - 3 - x for z.
-1
Let q be (-13)/2 + 5/10. Let i(h) = h + 8. Let f be i(q). Solve f*t - 5 - 3 = 0 for t.
4
Let o be (-1048)/(-52) - (-4)/(-26). Suppose o = w + 3*w. Solve -w*i - 9 = -4 for i.
-1
Let x(c) = c**2 - 3*c - 6. Let p be x(5). Suppose -2*t - 3*t + 2*u + 24 = 0, p*u + 8 = 0. Suppose t*a - 36 = 4*z, a - 3*z = 3*a + 7. Solve -4 - 12 = a*g for g.
-4
Let s be 2/(-2)*2*-1. Let n = s + 0. Solve -n*j = -0*j - 8 for j.
4
Let d(k) = -k**3 - 2*k**2 + 3*k + 3. Let s be d(-3). Solve 0 = 5*r - s - 12 for r.
3
Let c be (-2 + 2)/(-2) - 0. Suppose c*k + 24 = 3*k. Solve -k = 2*z - 4*z for z.
4
Suppose -l - 4 = -5*l. Let i be -1*-2*l/2. Let f = -56 + 58. Solve -f*s + 7 = -i for s.
4
Suppose -u + 4*b + 17 = 2, b = 2*u - 9. Solve -u*y = 2*y + 20 for y.
-4
Let l = 24 - 2. Suppose -5*y = l - 62. Solve 2*s - 2 + y = 0 for s.
-3
Let o = -6 + 8. Solve -k + 6 = o*k for k.
2
Suppose -3*g + 12 = -g + 4*r, -4*r + 10 = g. Solve 3*y - 1 = g for y.
1
Let k(q) = 17*q + 2. Let p be k(-2). Let v be p/(-18) + (-2)/(-9). Suppose 3*u - v*u = 4. Solve -t + u*t = -12 for t.
-4
Suppose 12 = 5*r + 3*t, -5*r = -3*t - 10 - 8. Suppose r = 3*s - 3. Suppose 2*w - 10 = 0, l + l + w = 45. Solve -l = -6*z + s*z for z.
5
Let o = -26 - -27. Solve a + o = -0 for a.
-1
Let u(r) = -r**2 + 23*r - 22. Let b be u(22). Solve -4*k + 0 - 8 = b for k.
-2
Let l = 40 + -40. Solve l = 3*f - f for f.
0
Let o(r) = -3*r - 2. Suppose 2*c = 4*i - 28, -3*i = -c - 8*i + 21. Let h be o(c). Solve 0 = x + x - h for x.
5
Suppose 0 = p - 4. Suppose -3*g + g = -6. Solve -p*a - g = 1 for a.
-1
Let y(g) = g**3 + 4*g**2 - g - 6. Let o(z) = -z**3 - 5*z**2 + z + 7. Let v(w) = -4*o(w) - 5*y(w). Let c be v(0). Solve -c*t + 3*t = 3 for t.
3
Let y = 0 + 0. Suppose -5*p = 3*x + 42, 0*p + 5*x - 4 = 4*p. Let g be ((-6)/4)/(3/p). Solve 5*v - g - 2 = y for v.
1
Let x(u) = 9*u**2 - u. Let f be x(1). Solve -3*t = 2 - f for t.
2
Let j(u) = -u**2 - 7*u + 1. Let x be j(-7). Solve -v = x + 4 for v.
-5
Suppose 0 = 2*a - 2 - 0. Suppose -4*p - 13 = -4*k - 5, 3*k = 5*p + 14. Let z be 1 + (0/k)/a. Solve y - z + 3 = 0 for y.
-2
Let u(c) = -c**2 - 17*c + 2. Let i be u(-17). Suppose -i*o + 10 = o + p, o = 2*p + 1. Solve -2 + 5 = o*x for x.
1
Let d be (-72)/20 + 4/(-10). Suppose -4 =