 d = 3*q + 2*q + 15 for q.
-3
Let a be 4/8 + (-1)/2. Suppose a = 2*c + 2*c. Solve c = 6*w - 3*w - 15 for w.
5
Let a(i) = i**2 + 12*i - 12. Let m be a(-13). Suppose -5*v + 2*v + 9 = 0. Solve 2*k + m = v*k for k.
1
Suppose -8 = -20*l + 18*l. Solve -l*y = -8 - 0 for y.
2
Suppose 3 + 1 = 4*f + 5*w, -28 = 3*f - 4*w. Let i be ((-3)/f - 0)*8. Solve 0 = 3*x + i for x.
-2
Let p(i) = -i - 4. Suppose -h = 3*h + 24. Let m be p(h). Let c(x) = x**3 - 2*x**2 + 2*x - 2. Let w be c(m). Solve 0 = w*y - y - 1 for y.
1
Let o = -156 + 162. Solve 4 + o = -5*i for i.
-2
Suppose 0 = 2*r + 5*g + 15, 7*g - 2*g = -15. Solve r*i - 5*i - 5 = 0 for i.
-1
Let x be (-6)/8*2*-2. Suppose 5*i = 5*d + 35, -2*i + 5 + 0 = d. Let v be x + 1 + i + -4. Solve 0 = v*j - 11 - 5 for j.
4
Let r(n) = n + 17. Let w be r(-8). Let g = w - 2. Solve -3*q + 2 = -g for q.
3
Suppose 5*s = -20, -3*p = -5*p + 5*s + 20. Let c(m) = m**2 - 8*m + 3. Let h be c(7). Let k = h - -6. Solve p = -a - k*a for a.
0
Let t = 8 - 5. Let g = t - 1. Solve 7*o = g*o - 25 for o.
-5
Suppose 0*j + 28 = -4*j. Let a(q) = -2*q + 2. Let x be a(j). Solve x - 1 = -3*u for u.
-5
Let q(a) = -a**3 + 9*a**2 - 7*a - 10. Let w be q(8). Let o(s) = -9*s + 2. Let p be o(w). Solve 0 = 7*y - 3*y - p for y.
5
Let m(x) = -x**2 + 6*x + 1. Let a be m(3). Let k = a + -6. Solve 0 = -2*p - k + 10 for p.
3
Suppose 10 = 2*h - 4*x - 10, -5*x + 5 = 0. Suppose a + h = 5*a. Solve -a*s = s for s.
0
Let o(x) = x**3 + 3*x**2 + 2*x + 1. Let k be o(-2). Solve k = -y + 5 for y.
4
Let n(i) = 3*i**2 + 2*i + 1. Let l be n(-1). Solve l*z - 4*z = 4 for z.
-2
Let b(z) = -z**3 + z**2 + z. Let x be b(0). Let l(f) = -5*f - 6. Let k be l(-2). Solve k*o + 16 = -x*o for o.
-4
Let z be (-45)/6*(-16)/6. Let y be ((-26)/4 - -3)*2. Let f = 12 + y. Solve f + z = -5*h for h.
-5
Let m(y) = y**2 + 4*y - 3. Let a be m(-6). Let l(o) = -o**2 + 10*o - 9. Let j be l(a). Solve 3*u - u - 6 = j for u.
3
Suppose 2 = 3*z - 4*p, -4*z + 4*p + 6 = 2*p. Suppose z*o - 20 - 12 = 0. Let d be -4*2/(-8)*15/5. Solve t - o = -d*t for t.
4
Let w = -9 - -14. Suppose 0 = -w*i + 6*l - 4*l, 2*l = 10. Solve -1 = i*q - 3*q for q.
1
Let k = 1 + 2. Let u = k + -1. Suppose 6 = 2*a + 2*p - 0*p, 0 = -3*a - 4*p + 12. Solve 3*z - 4 - u = a for z.
2
Let b(k) = k**2 + 8 + 0*k - 7*k + 0*k. Let l be b(6). Suppose -l = 3*m - 5. Solve -4 = -5*v + m for v.
1
Suppose 5*z = 2*z + 12. Let r be (z/2)/((-26)/(-39)). Solve -2*i = r*i + 25 for i.
-5
Let u(d) be the first derivative of -5*d**4/4 + d**3/3 + d**2 + d + 3. Let a be u(-1). Solve -2*o = -a*o for o.
0
Suppose 11*p = 7*p + 16. Solve -8 = -4*y + p for y.
3
Let s be 99/21 + -5 - 424/(-14). Solve 10 = 4*o + s for o.
-5
Let c be -2 - (21/(-3) - -4) - -2. Solve l + 4 = -c*l for l.
-1
Suppose -4*j + 5*p + 54 = 0, 3*j = -5*p + p + 56. Solve 5*x + j - 1 = 0 for x.
-3
Let s = 2 - -6. Solve -s = -3*g - g for g.
2
Let l be -2*(-1 - (-18)/4). Let o(p) = p**3 - 8*p**2 - 2*p + 9. Let x be o(8). Let i be l/x*(-18)/(-2). Solve -4*k = i + 3 for k.
-3
Suppose y - 2 = 2. Suppose 0*l + y*l = 0. Let a = 0 + 8. Solve l = -6*n + 2*n + a for n.
2
Let h = 3 - 1. Suppose -17 = -4*c - 3*v, -h*c + 8 = v - 1. Let x(y) = y - 1. Let d be x(c). Solve a - 25 = -d*a for a.
5
Suppose 9 = 3*f - 3. Suppose f*c + 16 + 24 = -4*b, -5*b - 15 = -2*c. Let l be -4 - c - -1*3. Solve -l*s - 2 = 10 for s.
-3
Suppose 0 - 3 = -i. Solve 2*z + i - 1 = 0 for z.
-1
Let o be 36/(-15) + (-3)/5. Let b = o - -6. Solve -f = -b*f for f.
0
Let v(i) = -i**2 - 7*i + 6. Let p be v(-7). Solve 6 = 4*n - p for n.
3
Let o = 7 - 5. Suppose -o*n = -6 - 0. Suppose y = -4*y + 15. Solve n = -0*t + y*t for t.
1
Let p(m) = -m + 7. Let l be p(5). Suppose -2 = -o + 2. Suppose -2*i - o = -c - i, -l*c + 11 = -3*i. Solve -4*n = c - 9 for n.
2
Let b = 2 - 5. Let h be (b - -2)/(3/(-6)). Solve -h = 2*z - 8 for z.
3
Let b be -1 + 2 - 20/4. Let u = 8 + b. Solve 0 = -0*q + u*q - 8 for q.
2
Let o be (2/(-5))/(6/(-15)). Solve 3*i = 2*i - o for i.
-1
Suppose -5*u + 8 = -u. Suppose -2*f + 20 = x, 2*f - u*x = f. Suppose h - 3 = 2*i, -4*i = i - h + 3. Solve i*z = 2*z + f for z.
-4
Suppose a = -3*p + 15, -21 + 1 = -4*a - 4*p. Let q be (-4)/(-3) + 2/(-6). Let v = a + q. Solve l = -2 + v for l.
-1
Suppose -4*y - 7 = n + y, -2 = 2*n + 4*y. Suppose n*u - 2*z = 13, -1 + 2 = z. Suppose 3*h - 3*k = 15, k + u = 2*h - 0*k. Solve h*d + 4 = d for d.
4
Let t(h) = -5*h - 35. Let c be t(-7). Solve -r = -c*r - 4 for r.
4
Let f(d) be the second derivative of -d**4/12 - d**3/6 + 3*d**2 - 9*d. Let v be f(-3). Solve 0 = -v*r + r + 4 for r.
-4
Suppose n = -4*o + 19, 2*o + 2*n = -n - 3. Let a = o - 2. Solve 5*v - 4 = a*v for v.
4
Suppose 0 = -4*k - 0*k - 192. Let y be ((-18)/(-8))/((-9)/k). Suppose -2*g = 2*g - y. Solve -d = 8 - g for d.
-5
Let u(h) = -h**2 + h + 11. Let d be u(0). Suppose 3*i = -d - 16. Let q be 32/6 - (-3)/i. Solve 3 = -q*y + 8 for y.
1
Let t = 4 - 5. Let x be t - ((-6 - -3) + 1). Let v be ((0/1)/2)/x. Solve -f = -v*f for f.
0
Let h(v) = -v**3 + 10*v**2 - 8*v - 4. Let p be h(9). Solve 0*c - c = -p for c.
5
Let a(t) = -t**2 + 6*t - 2. Let l be a(5). Solve -l*s = -s - 10 for s.
5
Let f be -51*(-3)/((-6)/(-2)). Let p = -31 + f. Solve p + 5 = 5*z for z.
5
Let c = 39 + -38. Solve l - 2 = -c for l.
1
Let v = 25 - 16. Let n = 1 + v. Suppose n - 35 = -5*a. Solve a = -j - 0 for j.
-5
Let f(v) = v**2 - 10*v + 11. Let u be f(9). Suppose 0 = -0*i + i + u, 2*w + 2*i = 2. Solve 0 = -w*h - 4 - 5 for h.
-3
Let p = -205 - -207. Solve p*z + 2 = -0 for z.
-1
Suppose 2 = -0*i + i. Let h be 3 - (-18 - (i - -1)). Suppose -2*b + h = 4*u, -5*u + 9 = -5*b - 6. Solve -3*o + 2*o = b for o.
-2
Suppose -4*n - 1 = -d, 6*n + 4*d - 4 = 2*n. Solve n*r = r + 5 for r.
-5
Suppose 3*m + 5 = -2*m. Let t = 3 + m. Let b be (-3)/((-9)/42) - t. Solve -h + 5*h = -b for h.
-3
Let w(d) = d**3 + 4*d**2 + 3*d + 1. Let t be w(-2). Let k(z) = -z + 2. Let j be k(t). Let h(v) = -12*v - 1. Let m be h(j). Solve -5*b + m = -4 for b.
3
Let k = -99 + 100. Solve 0 = 3*m + k + 8 for m.
-3
Suppose 7*v + 15 = 2*v. Let o be (1/v + -1)*-3. Solve 5*x - 4*x = -o for x.
-4
Let o = 5 + -3. Suppose 60 = o*d + d. Solve -3*f = f - d for f.
5
Let q be 3/(3/(-2)) - -2. Solve q = -2*h - 0*h + 10 for h.
5
Let g(n) be the first derivative of n**2/2 - 8*n - 1. Let h be g(8). Suppose h*q - 3*q = 0. Solve 5*v - 2*v = q for v.
0
Let p be 232/12 + 5/3. Solve -5 = 4*q - p for q.
4
Suppose 56 = 19*s + 18. Suppose -75 = -5*b - 4*r, -4*b - b = 2*r - 75. Solve -s*y - b = y for y.
-5
Let y be 16*(1 - 0) + 2. Suppose -3*m + 5 - 2 = 0, -3*m + y = 5*d. Solve -2*n = d*n - 15 for n.
3
Let j = 4 + -21. Let i = j + 20. Solve i*p + 1 = 10 for p.
3
Suppose 2*j = -3*j. Solve 4*p - 1 - 3 = j for p.
1
Suppose 0 = -3*f - 6*f + 18. Solve f*l = l for l.
0
Suppose -u + 6 = -2*k, 3*u - k - 19 = -1. Solve 0 = -s + u*s + 5 for s.
-1
Let y be (-4)/6 - 2/(-3). Suppose 5*m = x + 145, -4*x = 2*m + 8 - 66. Suppose 4*o = -y*o - 3*w + m, -3*o + 19 = 5*w. Solve -5*v - o = -3 for v.
-1
Let l(m) = -m**3 + 14*m**2 - 14*m + 15. Let s be l(13). Solve s*j = -3*j - 10 for j.
-2
Let p(n) be the first derivative of 3*n - 1/2*n**2 - 1. Let w be p(-3). Solve 3*r + 0 - w = 0 for r.
2
Let c = 162 + -152. Solve 2*a - c = -0*a for a.
5
Let d = 56 - 54. Solve 7*n - 9*n + d = 0 for n.
1
Suppose 0 = -3*i + 24 - 0. Suppose -3*q + 6*q = 0. Solve q = -0*t + 2*t - i for t.
4
Let a(f) = -f**2 + 6*f - 8. Let p be a(4). Solve p = k - 0*k - 5 for k.
5
Let n be 1*(1 + (-4 - -4)). Let s(q) be the first derivative of q**4/2 + q**3/3 - q**2 + q - 1. Let c be s(n). Solve k = c*k for k.
0
Suppose 0 = 2*w - 56 - 32. Suppose 3*i - 1 = 2*i, -i = -5*b + w. Solve -b = -t - 4 for t.
5
Suppose -2*v - 3 = -v + p, v = -2*p - 4. Let a be 0/v*1/2. Let n be a/((-6)/(-3) - 1). Solve -3*z + n = 15 for z.
-5
Suppose -5*p + g + 9 + 0 = 0, 0 = 2*p + 5*g + 18. Let d be ((-6)/8)/(p/(-4)). Solve -d = -h - 2*h for h.
1
Suppose 22 = k - 4*c, 0 = k + 2*c - 0*c + 8. Solve 6*p + 4 = k*p for p.
-1
Suppose -5*c = 5*z - c - 5, -3*c + 1 = z. Solve 2*v = 5 + z for v.
3
Let i = -5 - -7. Suppose -i = -5*y + 18. Let a be (-28)/(-16) - (-1)/y. Solve -2 = a*u - 12 for u.
5
Let i = 2 + 0. Let h be 0/(i - (-1 + 2)). Suppose 2*z + z - 9 = h. Solve -z*x = -2*x + 5 for x.
-5
Suppose 2*k + 3*t - 5 = 0, -k + 2 = -0*k + 2*t. Solve k =