v = u*v + 3 for v.
1
Suppose 2*f + 5 - 15 = -2*u, 5*u - 25 = f. Suppose 0 = -u*t + 4*t. Suppose -p = 2*p. Solve p*i - 4*i + 8 = t for i.
2
Let p(h) = -h**3 - 3*h**2 + 4*h. Let r be p(-4). Let w(u) = -u + 1. Let v be w(-1). Suppose v*m = -r*m + 12. Solve 4*g = g - m for g.
-2
Suppose -7 = o - s, 24 - 5 = -2*o + s. Let a = o + 15. Solve -a*i = -4*i for i.
0
Let i be 3/9*0 - -16. Suppose -2*c + i = -c. Solve -2*m - 2*m = c for m.
-4
Let q = 7 + -4. Suppose -2*k = 3 - 13. Suppose -4*p + k*p = 6. Solve q*b + 15 = p*b for b.
5
Let v be ((-25)/10 + 1)*-2. Solve -2 = 4*r - v*r for r.
-2
Let y(z) = -z. Let v be y(-3). Let h = -82 + 86. Solve -7*q - h = -v*q for q.
-1
Suppose -6*n = -8*n + 20. Suppose 0 = -6*m + n*m - 32. Solve -2*s = -0*s + m for s.
-4
Let v be (2/5)/((-4)/180*-6). Solve v*w - 7*w = 0 for w.
0
Suppose j = 3*c + 15, 2*j + 4*c = -3*j - 1. Solve -3 = j*l - 0 for l.
-1
Suppose 16 = 3*a - 26. Let v = a + -10. Solve -2*l - v = 4 for l.
-4
Suppose -a = 4*u - 10 - 5, 4 = 2*u + 4*a. Solve c + u = 6 for c.
2
Let w = 24 + -20. Solve z = w*z + 12 for z.
-4
Let m = -3 + 7. Let f(y) = -y**3 + 4*y**2 + 2*y - 6. Let n be f(m). Solve 0*t + n*t = 8 for t.
4
Suppose -j = -4*j - 12. Let d be (-2)/((-8)/(-2))*j. Solve -7*h = -d*h for h.
0
Let y = 1 + -2. Let o be (4 - 7)/(y/(-1)). Let x = 3 + o. Solve -5*s + s + 12 = x for s.
3
Let o(v) = 3*v**2 - 1. Let i(d) = -d**3 + 7*d**2 - 5*d - 7. Let g be i(6). Let b be o(g). Solve -m = -0*m - b for m.
2
Let j(f) = f**3 - f**2 + 12. Let h be j(0). Let g be 50/(-8) - (-3)/h. Let o be (-70)/(-22) + g/33. Solve -5*m = -4*m + o for m.
-3
Let z = 9 - 18. Let o = z + 13. Suppose -o - 4 = -4*c. Solve -2 = -c*f + 6 for f.
4
Let m(c) = c + 14. Let g be m(-12). Let o be (-1)/3*(-3 - 6). Suppose o*d = -5*a - 10, -d - 5*a = -0*a + 10. Solve -3*x - g*x = d for x.
0
Let h(v) = -v**3 - 4*v**2 - v - 4. Let y be h(-4). Solve y = 5*j + 8 + 7 for j.
-3
Suppose 0 = 4*z + a - 12 - 11, z - 17 = -4*a. Solve z + 15 = -5*o for o.
-4
Let s(u) = -u**2 + 12*u - 5. Let c be s(11). Let j be (c/(-9))/((-4)/78). Suppose 3 = -5*f + j. Solve f*i - 8 = -0 for i.
4
Let f = 6 - 3. Suppose -3*k + 2*m + 3 = -0, 4*k - 3*m - 4 = 0. Solve f = -j - k for j.
-4
Let z(w) = -w**3 + 4*w**2 + w - 4. Let l be z(3). Let v = l + -5. Let a be ((-63)/(-35))/(-1 - (-13)/10). Solve -v*n = -n - a for n.
3
Let y(z) be the second derivative of z**3/6 - 3*z**2/2 + 2*z. Let i be y(7). Solve 0 = i*r + 9 - 21 for r.
3
Let x be 5/3 - 2/(-6). Solve -8 = x*g - 0 for g.
-4
Suppose -5*c = -2*c + t - 20, 0 = -t + 5. Solve 0 = c*i - 3*i + 4 for i.
-2
Let n(z) = -z**3 + 4*z**2 - 2*z + 2. Suppose -5*m + 3*w + 25 = 0, 0*m - 2*w = 2*m + 6. Let s be n(m). Solve -p = p + s for p.
-3
Suppose -u - 21 - 84 = -5*b, 3*b + 4*u - 40 = 0. Solve p + 3*p = -b for p.
-5
Suppose -2*b - 11 = 3. Let c = -4 - b. Solve 0*i = i + c for i.
-3
Let q(h) = -h**3 + 4*h**2 - h - 2. Let s be q(2). Solve -a + s*a = -15 for a.
-5
Let w = 50 - 30. Solve -3*g + 8*g + w = 0 for g.
-4
Let f = 57 + -29. Let s be (8/2)/(f/21). Solve 0 = -5*o - s - 17 for o.
-4
Let s = -11 - -18. Let m be (-2)/s + (-195)/(-21). Let k be 8*(-1)/4*-2. Solve m*i = k*i - 25 for i.
-5
Let v(x) = -x**3 - 4*x**2 + 3*x + 6. Let p be v(-4). Let o = p + 6. Solve 3*y - 1 + 7 = o for y.
-2
Suppose -2*u + y - 13 = 0, -6*y = 2*u - y + 7. Let o(q) = -q - 1. Let p be o(u). Solve 15 = -p*f - 5 for f.
-4
Let o be (-4)/6 + 18/27. Suppose o = 6*s - 4*s - 6. Solve z = -s*z for z.
0
Let r(j) = j**2 - 4*j + 6. Let v be r(4). Suppose 3*p - 52 = p. Suppose 0 = 5*h + v - p. Solve -11 = -h*g + 1 for g.
3
Let m = 2 + 1. Solve m*b = -2*b - 15 for b.
-3
Let l(r) be the first derivative of r**2 - 2*r + 2. Let t be l(4). Suppose 0*a - 3*a = -t. Solve 0 = -a*f + 5*f + 3 for f.
-1
Let x = -8 - -11. Let g be 1*(-3)/x*-4. Solve -3*w = w + g for w.
-1
Let c = -2 + 2. Let p = -10 - -11. Suppose -3*j + 13 = p. Solve c*v - 4*v = -j for v.
1
Suppose a - 10 = -4*a. Solve 3 = -f + a*f for f.
3
Let n(d) = -7*d**2 - 17*d - 10. Let m(s) = 11*s**2 + 26*s + 15. Let v(u) = -5*m(u) - 8*n(u). Let w be v(-5). Solve w = -5*h + 3*h for h.
0
Let p = 5 + -6. Suppose 4 = -4*s + 3*w + 2*w, 2*s - 5*w = -12. Let g be s + 0 + p/(-1). Solve 0 = j - g*j + 16 for j.
4
Suppose 2*x = 5*r + x - 14, 0 = r + 3*x - 6. Solve l + 20 = -r*l for l.
-5
Let g(r) = -4*r + 65. Let k be g(13). Solve 0 = 4*j - k + 9 for j.
1
Let z be 22/6 + (-10)/15. Suppose 2*c = -z*c + 20. Solve 2*m = -2 + c for m.
1
Suppose 0 = -2*c - 4 + 8. Solve c*p = 3*p for p.
0
Let x(r) = -r**3 + 3*r**2 + 4*r + 3. Let h(s) = 4*s**2. Let d be h(1). Let l be x(d). Solve l*n - 3 + 0 = 0 for n.
1
Let c be (0 + 3)*(-10)/(-15). Solve 0 = -7*j + c*j for j.
0
Let v = -2 + 2. Suppose 2*y - 9 + 21 = v. Let o = y + 8. Solve o*p + 25 = 7*p for p.
5
Suppose 0 = 2*r - x - 7, -r - x - 1 = -0*r. Solve -3*f = -r - 4 for f.
2
Let l(u) = 4*u - 1. Let o be l(-1). Let g(s) = -2*s - 5. Let d be g(o). Solve -4 = d*y - 4*y for y.
-4
Let t(d) = 14*d + 28. Let r be t(-2). Solve -v + 3 - 7 = r for v.
-4
Let p = 25 + -13. Let h = 28 - p. Solve 5*g - g = -h for g.
-4
Suppose f + 11*h = 16*h + 8, -3*f - 5*h = -4. Solve 0 = -f*m + 4*m - 3 for m.
3
Suppose -37*k = -39*k + 6. Solve -1 - 2 = k*n for n.
-1
Suppose -6*i + 3*i = -6. Let p be (-3 + 1)*i/(-2). Suppose 0 = 5*r - x - 10, -5 - p = -2*r + x. Solve r = 2*t - 3 for t.
2
Let z be (4*-1)/(-6 + 4). Solve 2*m = -z*m + 16 for m.
4
Suppose 0*a + 3*a = 6. Solve 9 = a*k - 1 for k.
5
Let u(t) be the second derivative of t**5/20 + 5*t**4/6 - 5*t**3/3 + 7*t**2/2 - 2*t. Let a be u(-11). Let z be a/((4/3)/(-2)). Solve -16 = z*w - 2*w for w.
-4
Suppose -1 = 2*v - v. Let x be (v/(-2))/(8/96). Solve -p - 10 = -x*p for p.
2
Let z(w) = w - 6. Let n be z(6). Let t(s) = -s**2 - 11*s - 8. Let h be t(-10). Solve d - h*d + 5 = n for d.
5
Let a = -5 + 3. Let q = a - 5. Let x(n) = n + 7. Let g be x(q). Solve -o + 2*o - 2 = g for o.
2
Let f(z) = z**3 + 12*z**2 - z - 2. Let i be f(-12). Solve -i*h = -6*h - 20 for h.
5
Suppose -4*b - 6 = 2. Let h = -1 - b. Solve 3 - h = 2*m for m.
1
Let r(a) = -a**3 - 5*a**2 - 6*a - 4. Suppose 2*m = -0*m - 8. Let b be r(m). Suppose -3*v + 16 = -3*i + 1, b*v = -5*i + 20. Solve -h + i*h = -3 for h.
3
Let k = -13 - -18. Let g = 8 - k. Let v = g - 1. Solve 0 = u + v*u for u.
0
Suppose 35 = 3*h + 8. Solve x = 4*x + h for x.
-3
Let w = 0 - -8. Let x(s) = 3*s + 21. Let v(r) = 2*r + 11. Let c(i) = 5*v(i) - 3*x(i). Let j be c(8). Solve 4*b + j*b = w for b.
2
Let r(p) = p**2 + 6*p + 5. Let a be r(-5). Suppose -3*m + 4 + 14 = a. Solve -s + m*s + 15 = 0 for s.
-3
Let u be (-2)/(-1) - (-2 - -14). Let k = u + 15. Solve k*s = s for s.
0
Let v(r) = -r**2 + 2*r. Let h be v(4). Let p(n) = -n - 8. Let l be p(h). Solve l = -0*a + a for a.
0
Suppose 0 = 3*n - 2*h + 1 + 3, 5*n - h = -9. Let x be n/(-11) + (-62)/(-22). Solve -x*f + 6*f - 12 = 0 for f.
4
Suppose -12 = -5*u - p, -5*u + 18 = -2*u - 3*p. Solve -u = 3*i + 3 for i.
-2
Let a be -9 - 4/(4/(-3)). Let f = -2 - a. Suppose -11 - 1 = -f*r. Solve 10 = -2*m - r*m for m.
-2
Let u be 8/28 - 9/7. Let b = 1 - u. Suppose -21 + 3 = -3*s. Solve b = r + s for r.
-4
Suppose -4*s = p - 17, -12 - 7 = -4*s - 3*p. Let u(y) = y**2 - 4*y. Let j be u(4). Solve s*c - 20 = -j*c for c.
5
Let l be ((-7)/(-4))/(2/8). Suppose -8 = 3*c - l*c. Solve r + 15 = -c*r for r.
-5
Let x(v) = 2*v + 14. Let p be x(-6). Suppose -6*w = -p*w - 32. Solve -2*l + 2 - w = 0 for l.
-3
Suppose 0 = 4*c - 4*s - 8, 0*s - 4 = c - 4*s. Let h be c/2*(1 + 3). Suppose 0 = -i + k, -3*i - k - h = -8*i. Solve 2*x + i = 8 for x.
3
Suppose 3*b = -4*c + b - 12, 4 = c + 4*b. Let i be c + 7 + (3 - 2). Solve -i*l + 3*l = -2 for l.
2
Let a(i) = -2*i**2 - i. Let f be a(1). Let q = f + 8. Solve -q*w + 0*w + 20 = 0 for w.
4
Let r = -14 - -13. Let p be r + 9 + (-1 - 1). Suppose -y + 4*b = -3, -3*y - 5*b + 2 + 7 = 0. Solve y*j + 15 = p*j for j.
5
Suppose 2*u + u = 51. Suppose 1 - u = -p. Let g be (1 + (-1)/1)/(-1). Solve g = -0*o - 4*o + p for o.
4
Let d(p) = p**3 + p**2 - p + 8. Let k(x) = -x**3 - 7*x**2 - 6*x. Let b be k(-6). Let m be d(b). Let u be (m/(-6))/2*-6. Solve 3*f - f + u = 0 for f.
-2
Let m be 1 - (-1 + (3 - 3)). Solve -m*c - c = -15 for c.
5
Let g be ((-20)/15)/((-2)/3). Suppose -g*l = 3*f + 3, 5*f + 4 = -l - 1. Solve 12 + l = 4*z