 j*v = 7*v + 10 for v.
5
Let i(r) be the second derivative of r**4/12 + r**3/3 + 5*r. Let d be i(-2). Solve -c + 5 = -d*c for c.
5
Let m be 27/(-5) + (-4)/(-10). Let y(c) = c + 4. Let k be y(m). Let i be ((-6)/4)/(k/2). Solve -15 = 2*g + i*g for g.
-3
Suppose 2*o + 3*m + m + 4 = 0, -4*o - 2*m = 2. Solve o = -5*d - 8 - 2 for d.
-2
Let s be -1*(-1 - 7 - -3). Suppose -5*b - 2 = -17. Suppose 0 = -0*c - b*c. Solve c = s*d - 4*d + 3 for d.
-3
Let j = 14 - 12. Solve -5*g - 8 - j = 0 for g.
-2
Suppose -5*a = -3*s - 35, 0 = -a - 4*a - s + 35. Suppose a*b - 2*b - 16 = 3*j, 0 = 4*b + 4*j. Solve 0 = -3*r - 8 + b for r.
-2
Suppose -3*c = c. Solve 0 = -5*r + 15 - c for r.
3
Suppose b - 3*b - 8 = 0. Let z = 1 - b. Solve 2*i = 5 + z for i.
5
Suppose 5*b + f = 37, 3*f - 6 = 5*f. Let d be 4/6 - (-464)/24. Let z = d - b. Solve -q + z = -4*q for q.
-4
Let t(o) = o**3 + 2*o**2. Let q be t(-2). Let n = 9 - 7. Suppose -4*v - 4*g + 24 = 0, -n*g + 0*g = 5*v - 21. Solve -7*h + v*h = q for h.
0
Let v be 1*-7*(-3 - -2). Suppose -2*a + 4*d = 8, 4*d = 5*a + 3 - v. Solve -12 = -4*n + a for n.
4
Let p be (-6)/(2/(-14)*-2). Let t be (-6)/p + 57/21. Solve -9 = -3*s + t for s.
4
Let n(q) = -4*q + 6. Let i be n(-3). Let k be 1/(-1) + 16 + 0. Suppose 0 = -2*g + 3*v + i, -3*v - 9 - k = -4*g. Solve -2*t - 7 = g for t.
-5
Let p(a) = a + 8. Suppose 0 = -7*l + 2*l. Suppose l = 2*f + 2*f. Let m be p(f). Solve u + u + m = 0 for u.
-4
Let k(f) = 5*f - 2*f**2 - 3*f - 1 - f**2 + 2. Let q(n) = 10*n**2 - 7*n - 4. Let u(d) = -7*k(d) - 2*q(d). Let p be u(1). Solve -p*j + 1 + 9 = 0 for j.
5
Let m = 16 - 11. Suppose 2*k - 10 = -m*y + 14, 3*y - 6 = 3*k. Solve 0 = y*s - s for s.
0
Let k = -4 + 5. Let n be k/(0 - (-1)/(-2)). Let s be (-2)/n + (1 - 2). Solve s = -2*d + 1 + 5 for d.
3
Let j be 36/54*(-1 - -1*31). Solve 3*z + z = -j for z.
-5
Let g = 7 - 2. Suppose -g*i + 3*i = -4. Solve 0 = l - i for l.
2
Suppose 0 = -8*u - u + 9. Solve -3*s + 11 = -u for s.
4
Suppose -a - 8 = -3*a. Let b be (-1)/a - (-50)/8. Solve t - 3*t = b for t.
-3
Let g(n) = n + 1. Let s be g(0). Suppose 3*i = 2*r + 15, -2*i - 2*i + 2*r + 20 = 0. Let w = i - s. Solve -w*l = l for l.
0
Let m(x) = 2*x**2 + 3*x + 3. Let f be m(-2). Suppose -2*w + f = 3*w, -d + 2*w = -10. Suppose 4*y + 2*z = 2*y + d, 20 = -4*z. Solve -3 = -2*t - y for t.
-4
Suppose -4*m = 6*m - 60. Solve 9*u = m*u - 6 for u.
-2
Let z = 6 - 8. Let j be (z - -7)/((-4)/(-4)). Solve 18 = j*h + 3 for h.
3
Suppose 0*d - 5*d + 5 = -5*y, 5*d = -5*y + 45. Solve 2 = y*j - 6*j for j.
-1
Let s(h) = -h**3 - 7*h**2 + 7*h - 8. Let p be s(-8). Solve p*q - 3*q = -3 for q.
1
Let l be (-330)/(-25) - (-2)/(-10). Suppose -4*c + l = -19. Solve 0 = 5*x + c + 7 for x.
-3
Let b be 115/5 + 3*1. Let x be (-168)/(-78) + (-4)/b. Solve x*k = -0*k - 4 for k.
-2
Let z be 1/1*(-2 - -3). Suppose 4*g - 15 = g. Let i(l) = 11*l. Let d be i(1). Solve 0 = g*r + z - d for r.
2
Suppose 0*w + 4*w = 0. Solve w*g + 5 = g for g.
5
Let h(r) = -12*r**2 - 3*r - 7. Let y(v) = 18*v**2 + 5*v + 11. Let f(o) = 8*h(o) + 5*y(o). Let s be f(1). Let l be (-4)/s*(2 + 7). Solve 5*m - 1 = -l for m.
-1
Let d(v) = 2*v. Let z be d(1). Let k be (z/(-5))/(2/(-10)). Solve -13 = -5*h + k for h.
3
Suppose 17*v - 34 = -0*v. Solve f + v*f = 12 for f.
4
Let f(a) = -7*a**2 - 12*a + 13. Let n(m) = -10*m**2 - 18*m + 19. Let g(s) = -7*f(s) + 5*n(s). Let d be g(-6). Solve y = -d*y for y.
0
Let b = 21 + -18. Suppose -5*k - 23 = -3*a, 3*k = 3*a - 13 - 2. Solve -b*i = a - 10 for i.
3
Let k = 11 + 1. Let j(a) = 1 + a**2 - 3*a**3 + a**2 - 3*a**2. Let r be j(-1). Solve -r*x = -0*x - k for x.
4
Let s be (-10)/(-6)*(4 - -2). Solve 3*z + s = -5 for z.
-5
Suppose -3*w = -5*w + 2*l, 4*w - 15 = l. Solve w = 6*o - o for o.
1
Let r(k) = 2*k + 2*k**2 - 3*k**2 + 0*k + 1 + 2*k**2. Let w be r(-3). Solve w*m + 19 = 7 for m.
-3
Suppose -3*v = -n - 20, 0*v - 5*n = -v - 12. Solve 2*y - v = 4*y for y.
-4
Let x = -26 + 40. Let f = 22 - x. Suppose 2*i - f = -2*i. Solve -y + i*y + 3 = 0 for y.
-3
Let u = 5 - -12. Solve 0 = -2*b - u + 7 for b.
-5
Let v = 14 + 11. Solve -9*p + v = -4*p for p.
5
Let m be 2/(3/(-15) + 0). Let f = -8 - m. Suppose l + 18 = f*l - 5*a, 2*a + 6 = 0. Solve -l*k - 2 - 10 = 0 for k.
-4
Suppose -3*q + 96 = 3*a, 0 = -4*a + 2*q + q + 100. Suppose 0 = 5*u + c - a, -5*u + c = -2*c - 36. Suppose -5*v + 125 = -0*v. Solve u*s + v = s for s.
-5
Suppose 3*r - 6 = m + 2*m, -r = 3*m - 2. Solve 3*l + 15 = -m*l for l.
-5
Let o = 24 - 21. Solve 0 = -2*d - 7 + o for d.
-2
Let i = -21 + 14. Suppose -2*g = 3*k - 0*k + 6, -3*g + 3*k - 39 = 0. Let n be (-3)/(g/(-6)) - i. Solve -n*v - 15 - 5 = 0 for v.
-4
Let v(k) = 6*k**2 + 4*k. Let p(r) = -6*r**2 - 3*r. Let h(x) = -3*p(x) - 2*v(x). Let t be h(-1). Solve 0 = -t*w - 0*w + 5 for w.
1
Let d be -2 + 2 + -2 + 3. Let g = -1 + -2. Let c be (1 - 2)*(g + 2). Solve -2*l = -d - c for l.
1
Suppose 9*d - 10*d + 3 = 0. Suppose -3*a + 2*w = 2*a - 127, -d*w + 122 = 5*a. Solve 0 = 4*f + f - a for f.
5
Let z(s) = -s + 4. Let i be z(-5). Let q(u) = -u**3 - 3*u**2 - u + 2. Let l be q(-5). Suppose -2*g - 3*y = -4*g + 23, 3*g + 3*y = l. Solve i = 5*t - g for t.
5
Suppose -4*a + 34 = 10. Let s be ((-8)/(-6))/((-2)/a). Let c be (2/s)/((-4)/16). Solve 0 = -c*v - 3*v for v.
0
Let n(w) = 2*w**2 + 5*w. Suppose -3*p - 1 + 0 = -2*g, 2*g - 2*p = -2. Let v be n(g). Let x = -10 + 12. Solve -x*u = -5*u + v for u.
4
Suppose -4*x = -20 + 4. Solve x*m + 3 = 3*m for m.
-3
Suppose 3*v + 2*v - 10 = 0. Let x = -1 + 6. Solve -v*p + 3 = x for p.
-1
Let b be (-14)/(-4) - (-2)/(-4). Suppose -n - b*n + 52 = c, 163 = 4*c + n. Solve -5*s + 15 = c for s.
-5
Let d = 0 - -3. Suppose -8 + 3 = -5*h - m, h + d*m - 1 = 0. Solve -h = -q + 2 for q.
3
Let i = 0 + 8. Let c = i - 6. Suppose 0*t + 6 = c*t. Solve 0 = 5*s + 2 + t for s.
-1
Suppose m - 2 = 3*m + 2*h, -5*h = -4*m + 5. Let a be 2/(-3) + (-32)/(-3). Solve m = -3*r - 2*r - a for r.
-2
Suppose 4*i = 3*i + 4. Let k be -3*33/(-9)*-1. Let o = k + 31. Solve 4*c - i = -o for c.
-4
Suppose -4*c - 5 = -13. Solve 0 = 3*t + c*t + 5 for t.
-1
Suppose -4*a + 2 = -5*l, -5*l + 13 = 3*a - 2*a. Solve -5*k - 6 = -l*k for k.
-2
Suppose 250 = -3*n + 5*n. Suppose 0*f + 5*f = n. Solve 5*y = -0*y - f for y.
-5
Suppose -5*g = -51 + 1. Let b(k) = k**3 + 4*k**2 - 6*k - 2. Let y be b(-5). Suppose -2*a = -2*z - 0*a + g, 5*z - y*a - 19 = 0. Solve 4 = -z*m - 0 for m.
-2
Let q be (-11)/1 - 4/(-2). Let z be q - -2 - -1 - -2. Let m = -1 - z. Solve -5*j + m*j = 0 for j.
0
Let x = -9 + 23. Let v(n) = 5*n**2 - n + 1. Let l be v(1). Suppose 4*f - x = 3*b - b, -l*f - 4*b + 50 = 0. Solve f = -2*y - y for y.
-2
Let t = 4 + -4. Let c be (t/(-1))/3 + 2. Solve -2*a = c*a for a.
0
Let z(s) = -s**2 + 5*s. Let b be z(5). Suppose -2*u - u = b. Let y = -1 + 2. Solve 0 = i - u - y for i.
1
Let f be (-7*2/(-28))/(1/4). Solve -6 + 0 = -f*s for s.
3
Suppose 0*y - 3*y = -15. Let o(s) = s**2 - 7*s - 8. Let b be o(8). Solve -y*f + 5 + 5 = b for f.
2
Let z(w) = -w + 12. Let j(f) = f**3 - 6*f**2 - f + 8. Let x be j(6). Suppose 0*d + x*d = 18. Let l be z(d). Solve l*s + 4 = s for s.
-2
Let m = 1 + 4. Suppose -5*z = 4*h - 32, -1 - 28 = -3*h - 5*z. Solve -8 = -m*j - h for j.
1
Let u(i) = i**2 + 8*i + 1. Let f be u(-8). Let y be (-2 - f)*(-2)/2. Solve 0 = -0*w - 3*w + y for w.
1
Let p(f) = -2*f + 6. Let h(g) = -2*g + 7. Let x(w) = 5*h(w) - 6*p(w). Let t be x(1). Let i be (3/3)/(t/4). Solve i*m = -0 + 12 for m.
3
Let c = -16 + 28. Let k = -10 + c. Solve 6 = 4*p - k*p for p.
3
Suppose -2*l + 6 = -5*g, -4*g = 5*l - 14 - 1. Suppose g = 3*i - 7 + 1. Solve i*x = 7*x + 10 for x.
-2
Suppose 16 = 2*h - 4*i, -3*h = -5*h - 4*i - 16. Suppose -4*q - 24 = -3*g, h*g - 8 = -g + q. Let s = g - 6. Solve -s + 17 = 5*b for b.
3
Suppose 22 + 8 = 3*m. Let t be ((-8)/m)/((-8)/60). Solve -z = -t*z for z.
0
Let f(i) = -i**3 + 7*i**2 + i - 1. Let y be f(7). Let l be ((-4)/(-3))/(4/y). Solve -u = l*u + 3 for u.
-1
Let g(s) = 2*s**2 - 10*s - 4. Let y be g(6). Solve 6*d + y = 2*d for d.
-2
Suppose 0 = -5*c + 4*j + 26, 0 = -5*c - 5*j - 0*j - 10. Solve -h - c*h = -3 for h.
1
Suppose f + r + 1 = 0, f + 3*r + r + 4 = 0. Let l be 3/((-18)/4)*3. Let z be (l/5)/(2/(-10)). Solve f = 2*o - o - z for o.
2
Suppose -2*u + 3 = -5*d, 5*d + 12 = 4*u + 1. Solve 0 = g - 0*g + u for g.
-4
Suppose -15*x = -9*x. So