. Solve -v = r + r for r.
-1
Suppose -4 = -2*b + 2. Solve -7 - 5 = b*f for f.
-4
Suppose -5*r = -44 - 106. Let t be (1/(-3))/((-2)/r). Solve 30 = 5*u + t for u.
5
Let f be -2 + (0 - 1)/1. Let v be f/(-6)*-2*0. Solve -k - k = v for k.
0
Suppose -5*q + 44 = -b, 3*q - 29 + 4 = 2*b. Solve -3*g = -0*g - q for g.
3
Let s be (-27)/6*(-36)/27. Solve -s*t + 5 = -t for t.
1
Let w(t) = 2*t + 46. Let j be w(-15). Solve 10*m = 6*m - j for m.
-4
Let l(v) = 3*v**2 - 4*v**2 + 0*v**2 - 4*v - 3. Let f be l(-3). Suppose -4*k + 4 + 4 = -2*o, f = -2*k - 2*o + 4. Solve 0*b = -k*b - 6 for b.
-3
Let s = 6 - 3. Suppose -s*p = 2*p - 10. Suppose p*o + 1 - 5 = 0. Solve o - 5 = -3*m for m.
1
Let b = -24 + 29. Suppose b*r + k - 10 = 16, 4*r - 5*k - 15 = 0. Solve -p = r - 3 for p.
-2
Suppose 4*d = 2*u - 14, 5 = 4*u - 4*d - 7. Let g be ((-22)/33)/((-1)/3). Let p be (-1 + u + g)/1. Solve p*x - 5 = 5*x for x.
-1
Suppose -4*z = 4*a + z - 13, 15 = 3*z. Suppose 6 = 2*l + l. Let y = l - a. Solve 24 = -y*i - 1 for i.
-5
Let x be (-10)/(-6) - (-25)/(-15). Solve -3*d + x*d - 15 = 0 for d.
-5
Let q(d) = d**2 + 15. Let a be q(0). Solve -j - a = 2*j for j.
-5
Let m(q) = 2*q**2 + 5*q + 2. Let z be m(-3). Suppose 5*i = -2*c + 20, -4*i + 12 = -i - 5*c. Solve i*o - z = 5*o for o.
-5
Let z be -7*((-2)/(-14) - 1). Let r(a) = -a**2 - 6*a + 10. Let i be r(-7). Solve i*q = q + z for q.
3
Let y = -6 - -11. Solve 10 = y*u - 0 for u.
2
Let s(l) = -4*l - 2 + l + 2 + 9 - l**2. Let d be s(-4). Solve 2 + 3 = -d*c for c.
-1
Suppose x - 3 + 1 = 0. Suppose 0 = j + x*o + 7, 2*j = 4*j - 5*o - 31. Solve 0*v - j*v = 0 for v.
0
Let s(y) = y**3 + 8*y**2 + 7*y + 1. Let i be s(-7). Let f be (15*-1)/(-3)*i. Let v(x) = -x**2 + 4*x + 6. Let b be v(f). Solve -2*a + b = -7 for a.
4
Let g = 24 - 8. Suppose -2*w - w + 2*p = -g, 0 = -w + 4*p + 12. Suppose -w = -s - 3. Solve 3*h + s - 16 = 0 for h.
5
Let i(v) = v**3 + 9*v**2 - 9*v + 13. Let q be i(-10). Suppose 0 = -q*c + 2*c + 4. Suppose c*o = 20 - 8. Solve y + 12 = -o*y for y.
-3
Let u(j) be the first derivative of -j**2/2 - 3*j - 2. Let p be u(-6). Suppose i - 8 = -p*i. Solve -i + 0 = 2*r for r.
-1
Suppose -2*v + q + 4*q = 0, 5*q = -2*v + 20. Solve 0 = -v*s + 15 - 0 for s.
3
Let h = -3 + 7. Solve -h*c - c = 0 for c.
0
Suppose i - 2*i + 3 = 0. Solve -t + 8 = i*t for t.
2
Suppose -2*v + 2 = 3*f, 4*v - 3*f = -5*f + 12. Suppose v*g - 3*o = -23, 2*g + 0*o - 2*o = -14. Let j be (-1 + g/(-1))*1. Solve -p - j = 4 for p.
-5
Suppose -2*j = -0*j - 4. Suppose 0 = 2*a - 2*w - 20, 0*a = 2*a + 5*w + 15. Solve a + 3 = j*h for h.
4
Let d = 5 + 4. Solve -2*r - 1 = d for r.
-5
Let z be ((-1)/(-3)*2)/((-3)/(-18)). Solve 3*p + 5 = -z for p.
-3
Let j = 2 + 2. Suppose j*r - 3*r = 0. Solve z - 1 + 2 = r for z.
-1
Suppose -12 = -p + g - 0*g, 4*p - 5*g - 48 = 0. Suppose 4*d + p = d. Let w = -4 - d. Solve w = 5*m - 3*m for m.
0
Let g(w) = -w**3 - 5*w**2 + 5. Let i be g(-5). Let q(o) = o**3 - 5*o**2 + 3*o. Let j be q(i). Solve -3*s = -3 + j for s.
-4
Suppose g - 7*p = -4*p - 21, 4*p = 8. Let h be 12/g*10/(-4). Let x(j) = j**3 + 5*j**2 + 3*j - 2. Let o be x(-4). Solve 4*y - o*y - h = 0 for y.
1
Let u = 56 + -52. Solve 35 - 15 = -u*h for h.
-5
Let s = -13 - -23. Suppose 4*k - 2*h - s = 0, k + 2*h + 10 = -0*k. Solve -3*t + 7*t - 20 = k for t.
5
Let b(f) = -f**2 - 2*f + 6. Let h be b(4). Let c be (-86)/h + (-8)/(-36). Solve 4*r + r = c for r.
1
Let k = 26 - 10. Suppose -3*l - l = -k. Suppose 6*m - m = -2*t + 22, -l = -2*t + 4*m. Solve 0 = 5*y - 1 + t for y.
-1
Let i(k) = -k**3 + 8*k**2 + 9*k. Let c be i(9). Suppose -5*x = m + 14, -m + 3*m - 2*x - 8 = c. Let j be 2/4*(m - -3). Solve 0 = -j*q - 4 - 4 for q.
-4
Let l(k) = k**2 + 7*k - 10. Let c be l(-7). Let x(w) = w**2 + 9*w - 10. Let z be x(c). Solve -3*v - 2*v - 10 = z for v.
-2
Let y(d) = -3*d. Suppose -o + 6*o = -5. Let a be y(o). Solve -a*q = -2*q - 2 for q.
2
Let o = 22 - 13. Suppose o*c + 12 = 12*c. Solve -c*h + 11 = -5 for h.
4
Let a be 2 - (13 - 3)/5. Solve a*n + 12 = -3*n for n.
-4
Let c(h) = 3*h**2 + 2*h + 1. Let k be c(-1). Let a(y) = 1 + 3*y - k*y - 4*y**2 + 5*y**2. Let u be a(-2). Solve 0 = -0*z - u*z for z.
0
Suppose -u - 3*a - 2*a = -36, -2*a = -8. Suppose 4*x - u = 4. Solve x + 0 = -5*p for p.
-1
Suppose 4*d - 2*i = 4 + 12, -4*i = -5*d + 23. Suppose d*f + 6 = 9. Solve t + f = -4 for t.
-5
Let h(q) = -11*q**3 + 11*q**2 - 8*q + 23. Let a(m) = -4*m**3 + 4*m**2 - 3*m + 8. Let d(x) = 8*a(x) - 3*h(x). Let i be d(0). Let f = i + 5. Solve t = -f*t for t.
0
Let n(j) = 2*j**3 - 11*j**2 + 10*j + 6. Let i(u) = 3*u**3 - 12*u**2 + 10*u + 5. Let r(f) = 3*i(f) - 4*n(f). Let y be r(-9). Solve 4 = t - y for t.
4
Let s(z) = 40*z**3 - 2*z + 1. Let u be s(1). Suppose 4*r + u = 7. Let g = -6 - r. Solve 0 = -2*p + g - 12 for p.
-5
Let v(y) = -y + 4. Let w(p) = -p + 3. Let c(t) = 2*v(t) - 3*w(t). Let m be c(7). Solve q = m*q for q.
0
Suppose 0 = -0*y - 2*y + 12. Let j be (3 + -4)/((-2)/y). Solve 6 = j*c - c for c.
3
Let n(q) = -7*q + 37. Let p be n(5). Solve p = 5*s - 8 for s.
2
Suppose 0 = -2*o + 4*o - 10. Suppose -3*a = -o - 1. Solve a = -2*f - 0 for f.
-1
Let v(f) = -4 - f**2 + 0*f**2 + 1 - 7*f. Let m be v(-6). Solve -m*q + 4*q - 4 = 0 for q.
4
Let p(r) = -r**3 - 9*r**2 + 8*r - 12. Let l be p(-10). Suppose -24 = 4*j - m, -j = -5*m + 33 - l. Let x = j + 5. Solve x = -i + 5*i for i.
0
Suppose 16 + 2 = 6*y. Let c(o) = o**3 + 6*o**2 + 4*o - 5. Let z be c(-5). Solve b - y + 5 = z for b.
-2
Let z = 15 + -10. Suppose -4*y + z*y - 14 = -h, 3*h + y - 32 = 0. Let n(v) = v**2 - 5*v + 4. Let c be n(4). Solve -x + 4*x + h = c for x.
-3
Suppose 3*r = r - 10. Let j = r - -21. Solve 2*i - j = -6 for i.
5
Let b be -1 + 2 + (0 - -2). Solve -v - 8 = b*v for v.
-2
Let v(m) = 2*m + 9. Let f(h) = -h - 4. Let s(r) = -5*f(r) - 3*v(r). Let a be s(-7). Solve i = -5 - a for i.
-5
Let f = -49 + 72. Solve -4*x = -f + 3 for x.
5
Let d(v) = 6*v + 7*v - 2 - 12*v. Let h be d(4). Solve -7*y = -h*y for y.
0
Let v be 2/(-6) + (-17)/3. Let t(p) = -p**2 + 4*p + 8. Let l be t(6). Let h = l - v. Solve 4*f = -h - 2 for f.
-1
Let w(s) be the first derivative of -2*s**2 - 3*s - 1/3*s**3 + 1. Let f be w(-2). Solve y - 2 = f for y.
3
Suppose 0 = u - 4*u + 30. Solve 0*x - u = -2*x for x.
5
Let x be -4 + 15/5 - -3. Solve 6*w - x*w = 12 for w.
3
Let b(s) = -s - 5. Let n be b(-7). Solve -p + n = p for p.
1
Let l be (-5)/(5 + 20/(-3)). Solve 3 = 6*h - l*h for h.
1
Suppose -4*x - 10 + 34 = 0. Suppose 0 = w - z - 4, -5*w + 4*z + 18 = -0*z. Suppose -w*i = -5*d + i - 2, -4*i = 5*d - 26. Solve d*c - x = 2 for c.
4
Suppose 5*j + v = 15, v + 2*v = 15. Suppose -j*u + 5*u = 0. Solve -p - 1 = -u*p for p.
-1
Suppose 0 = 3*m - 3*z + 24 - 9, -2*m - 22 = z. Let c = 10 + m. Solve 2*j - j + c = 0 for j.
-1
Let x = -73 - -143. Suppose -x = -9*y + 4*y. Let s = -10 + y. Solve s*k - 3*k = 0 for k.
0
Let b(y) = y**2 - 8*y + 6. Let i be b(8). Suppose -10 = 5*x, 3*c - 6 = -3*x + i*x. Solve c = -2*q - 2*q + 8 for q.
2
Let o be 9/2 + (-1)/10*5. Solve c + o = 3*c for c.
2
Suppose 0 = -h + 4*h - 9. Let g(j) = j**3 - 3*j**2 + 3*j - 4. Let c be g(h). Solve 20 = c*i - 0 for i.
4
Let h(n) = -n**2 - 9*n - 6. Let v be h(-6). Let y = -7 + v. Solve 0*u + 25 = -y*u for u.
-5
Suppose 0 = m + 5*w - 18, -5*w + 7 + 8 = 0. Suppose 8 = v + m*v. Solve 4*a + 6 - v = 0 for a.
-1
Let j = 6 + 0. Suppose -5*q + j = -3*q. Solve 6*f - 9 = q*f for f.
3
Let q be (-20)/2 - (0 + 1). Suppose 4*g + 28 = -4. Let l = g - q. Solve -2*n = 9 - l for n.
-3
Let x = -10 - -13. Solve -5 = -o - x for o.
2
Suppose -7*a + 2*a + 25 = 0. Solve 0 + a = 5*s for s.
1
Suppose -5*u = -2*q - 20, 0 = -5*q + 4*q - 2*u - 1. Let z = q - -9. Solve z*w + 4 = -0 for w.
-1
Let o be (-37)/(-7) + (-10)/35. Let n be o - (0 - (-2 - 0)). Let d = -5 + 5. Solve d*v - 6 = -n*v for v.
2
Let g(n) be the first derivative of 2*n**2 - 3*n - 1/3*n**3 - 2. Let v be g(3). Solve v = -2*f - 2*f - 8 for f.
-2
Suppose -16 = -4*t, 3*l - 4 = 4*t - 2*t. Let k = -6 - -6. Let q be 1 + 0 + 5 + -2. Solve k*m - l = q*m for m.
-1
Let q(b) = -b. Let a be q(-5). Suppose -d = 3*l - 14, 6 = a*l - l - 5*d. Solve 2 + 2 = l*n for n.
1
Let o be (-4)/(-26) - (1 + 228/(-39)). Solve 0 = -o*b + 4*b - 5 for b.
-5
Let j = 51 - 42. Solve 5*u + 11 = -j for u.
-4
Suppose -3*o + 18 = 2*i + i, i = 0. Let h = o - 9. Let v be ((-3)