 + 3. Let h be q(-19). Suppose 2*r + r - 12 = 0. Solve -h*y = y + r for y.
-1
Let a = 5 + -9. Let r = a - -7. Let p be 11 + (-2 - (r + -2)). Solve -y + p = y for y.
4
Suppose 2*v = -2*v. Suppose v*y - 56 = -4*y + 4*z, 4*y - 5*z = 61. Let o = -6 + y. Solve o*c - 15 = -2*c for c.
3
Suppose 3*t + 66 = -5*z, t - 2*z - 66 = 4*t. Let a be -18 - t - 4*1. Solve -i + a = -3 for i.
3
Suppose 6*p - 20 = 2*p. Suppose -4 = -4*h - 2*q, -q - 7 = -4*h + 3. Suppose -p*x + 85 = 5*f, 108 = 4*f + h*x + 30. Solve 4*m - 2 = -f for m.
-5
Let a be 5/1 + -2 + 1. Let i = -3 + a. Solve -i = n - 0 for n.
-1
Let q = -5 - -8. Suppose -3*f + q*z + z = -32, 0 = -4*f - 3*z + 1. Suppose -1 + f = 3*u, -2*u = -3*r + 13. Solve -2*n + n = -r for n.
5
Suppose 5*w - 1 = 3*l - 24, -2*l + 18 = -4*w. Suppose 5*y - 2*q + l = -7, -3*q = -y - 12. Suppose -3*u = -y*u - 6. Solve -16 = u*x - 6 for x.
-5
Let b(v) = v**2 + v - 2. Let c be b(2). Let l(m) = -5*m**2 + 2*m - 1. Let d be l(1). Let n be (-1 - d/2)*2. Solve -3*a + c = -n*a for a.
4
Let g(s) = -s**3 + 1. Let r be g(-1). Let a be 2/(-2)*(-2 - 5). Let f = a - r. Solve -10 = 5*l + f for l.
-3
Let x(s) = -s**3 - 3*s**2 + s + 5. Let t be x(-3). Solve 6*u + 20 = t*u for u.
-5
Suppose -2*l = 4*v + 10 + 6, 2*l - v - 4 = 0. Suppose 0 = 3*k + 5*u, 3*u = 2*u. Solve -i + 4 + k = l for i.
4
Let m(a) = a**3 + a. Let q(v) = -8*v**2 - 2*v - 2. Let f(y) = -m(y) - q(y). Let s be f(8). Solve 6*d - s = d for d.
2
Let t(q) = q**2 - 7*q - 16. Let g be t(9). Solve 4*i + 2 = -g for i.
-1
Let s be (-2)/(2*(-3 - -2)). Let w be (3 - (2 + s))/1. Solve 3*a - 6 = -w for a.
2
Let b = -128 - -130. Suppose 0 = -f - 0*f + 4. Suppose 4*h = 4*c + 20, -4*c + 7 = h + f*h. Solve -h*s = -2*s - b for s.
2
Let r be 3 + (-9)/((-9)/(-3)). Let v be 5/5*r/(-2). Solve 0 = 3*h - v*h - 9 for h.
3
Let k be (-1 - (0 - 1))/1. Suppose -5*i + 0*i + 105 = k. Solve -5*b = 1 - i for b.
4
Let j(l) = 3*l**2 - 8*l - 2. Let x be j(4). Solve -5*v + x = 4 for v.
2
Let x(i) be the third derivative of i**5/60 + i**4/24 + 28*i**3/3 - 4*i**2. Let h be x(0). Suppose -3*p = -h + 11. Solve q = -2*q - p for q.
-5
Suppose 3*s - 41 = 5*z - 0*z, 3*s - 32 = -4*z. Let v = -4 - -6. Solve v*r + s = -r for r.
-4
Let o be (-2)/8 - (-26)/8. Solve -1 + 16 = -o*x for x.
-5
Suppose -c + 25 = -4*l, 3*c - 3*l - 40 = 2*l. Solve c*j - 9 = -4 for j.
1
Let m(j) = j**3 - j**2 + j - 2. Let y be 0/(0 + -1 + -1). Let s be m(y). Let w = 2 + s. Solve w*p = -3*p for p.
0
Let x(g) = -g**3 + 5*g**2 - 3*g. Let d be x(2). Suppose d*f - 15 = f. Suppose a = -f*a. Solve a = 3*z + 2*z - 20 for z.
4
Suppose -6*x = 2*x. Solve -h = -x*h for h.
0
Suppose 10*b - 7*b - 12 = 0. Let o(a) = -14*a + 1. Let t be o(-1). Solve -b*x = x - t for x.
3
Let s be 3/(-7) - 38/(-7). Solve s*j + 4 = j for j.
-1
Let h(a) = -3*a - 3. Let c be h(-2). Let k = 9 - c. Suppose 6 = k*t - 3*t. Solve -6*m + t*m = 16 for m.
-4
Suppose 5*y - 14 = 1. Let a(j) = 0*j**3 + 0*j**y + 0*j - j**3 - 4*j**2 - 4 - 2*j. Let m be a(-4). Solve -m*r + 2*r + 8 = 0 for r.
4
Let t = -55 - -56. Solve -4*c - 9 = -t for c.
-2
Suppose -2*a - 3*k + 51 = 0, -2*a = a + 3*k - 75. Let f = -14 + a. Solve 2*r + f = -0*r for r.
-5
Let m(n) = n + 2. Let q be m(2). Solve t = q*t + 15 for t.
-5
Suppose -5*u = -4 - 11. Suppose 0*z - 12 = -u*z. Solve 0 = -z*c + 3*c for c.
0
Let y(h) = -h**3 + 7*h**2 + h - 7. Let z be (-150)/(-22) - 2/(-11). Let j be y(z). Solve j = k + k for k.
0
Let g(y) = y - 4. Let i be g(6). Let f(s) = s**3 + 2*s**2 - 4*s - 4. Let m be f(-3). Let t be (-1*(m + 1))/i. Solve -4*c + 6 + 14 = t for c.
5
Let j(k) be the third derivative of k**5/60 - k**4/8 + k**3/2 + k**2. Let u be j(6). Suppose c = -5*p + u, 0*c + 5*c = -20. Solve -h + 20 = -p*h for h.
-5
Let q(y) = 5*y + 7*y + 1 - 10*y + y. Let k be q(3). Solve u + u = -k for u.
-5
Let k be (-7)/(-49)*(6 - -1). Solve i + k = -3 for i.
-4
Suppose -56 + 66 = 2*w. Solve 3 = w*i - 2 for i.
1
Let s(z) = 2*z + 1. Let h be s(7). Let w = h - -12. Let q = -15 + w. Solve -q = -k - 2*k for k.
4
Suppose -1 = 5*p - 6. Suppose -5*h = p + 4. Let b be 17/2 + h/(-2). Solve -b = -3*f + 6*f for f.
-3
Suppose -k = -r + 6, -2*r - r = 3*k - 30. Let s(l) = -l**2 + 7*l + 3. Let d be s(7). Solve -a - r = -d*a for a.
4
Let p = 4 - 2. Suppose 0 = 3*a - 4*a. Solve a*i - p = i for i.
-2
Let r = -25 - -42. Suppose 0 = -f - 0*f + 2. Suppose n - 7 = -f*n - 2*h, -4*h - 4 = 0. Solve n*u = -r + 2 for u.
-5
Suppose 16 = 5*l - 4*i, l + 5*i = 3*i - 8. Solve 4*u - 4 = -l*u for u.
1
Let a be 60/(-21)*21/(-6). Suppose 2*f + l - 3 = 0, 4*f + 0*l - 2*l = a. Solve f*w + 2*w = 0 for w.
0
Suppose -6*m = -10 - 2. Solve -10 = -4*j + m*j for j.
5
Let x(a) be the third derivative of a**5/60 - a**3/6 + 3*a**2. Let n be x(-2). Solve 0 = 3*o - 0 + n for o.
-1
Suppose 25 = 5*c, -2*o + 2*c - 11 = -1. Suppose -2*t + o + 2 = 0. Solve -4*b - t = -5 for b.
1
Suppose 48 = 4*s - 5*w, 3*s - 37 = 2*w + 2*w. Suppose -2*p = g - s - 0, 0 = g - 3*p + 18. Let a be (((-9)/g)/(-3))/(-1). Solve 0 = k - a + 3 for k.
-2
Let y be 73/5 + (-6)/(-15). Suppose -5*w + y = -2*d, 2*d - 3*w + 5*w = 6. Solve d = 2*j + j for j.
0
Let m be -2 + (6/(-3) - -1). Let i be -2 - -11 - (m + 1). Solve 5*f = i + 4 for f.
3
Suppose 5*m - 3*m - 264 = 0. Let i be 4/12 - m/(-9). Solve -4*b - i = -b for b.
-5
Let y(n) = -n + 2 + 2*n + n**2 - 3*n. Let c(u) = 2*u**2 - 3*u + 3. Let a(p) = -3*c(p) + 7*y(p). Let h be a(5). Solve 3*b - 10 = h*b for b.
-5
Let h(l) = 5*l - 77. Let b be h(16). Solve 5*w - b*w + 6 = 0 for w.
-3
Let o(t) = -2*t**2 + 10*t + 5. Let k be o(5). Suppose 1 = 2*c + g, -2*g + 6*g + k = c. Solve -8 = -3*p + c for p.
3
Let j = -5 + 7. Suppose -3*t + 5*d + 25 = 0, 0 = -j*t - 2*d - 7 - 3. Solve -2*s + 5*s - 3 = t for s.
1
Let x be 1/2 - (-5)/2. Solve q - x*q = 0 for q.
0
Let b = -6 - -4. Let a be (-1*(6 + -2))/b. Solve a = -3*h + 11 for h.
3
Let b(y) = 2*y - 10. Let m be b(8). Let k = 8 - m. Solve k*u - 6 + 2 = 0 for u.
2
Suppose 2*m - 5 = -1. Let l(c) = -c - 3. Let v be l(5). Let y = v + 13. Solve y*q - 3 - m = 0 for q.
1
Let c be 8 - 8 - (-8)/2. Solve c*g = 3*g - 1 for g.
-1
Let j(o) = -o**2 - 6*o + 10. Let q be j(-7). Let m be -1 + -1 + q + 7. Solve -m*i - 15 = -3*i for i.
-3
Let q(j) = j**2 + j + 2. Let d be q(-1). Solve d = -x - x for x.
-1
Let k(u) = -u**2 + 5*u + 6. Let q be k(6). Let b be -3 - (q/2 - 8). Solve -b*v = -10*v + 25 for v.
5
Suppose 11 = 4*h - 4*t - 21, 3*h - 14 = -2*t. Suppose 2*d = h + 34. Solve -8*v + d = -3*v for v.
4
Suppose -2 = -4*y + 2*y. Let p be (2/6)/((-5)/(-30)). Let m be p/(-5) + (-2)/(-5). Solve m*l - l = y for l.
-1
Let i be (-2 - -1) + -1 - -3. Solve 0 = m - i + 2 for m.
-1
Let d be 0*(-1)/(6/(-2))*3. Solve d = -4*h - 5 + 1 for h.
-1
Let t(n) = -3*n - 25. Let i be t(-10). Solve i*s + 17 = 2 for s.
-3
Suppose 0 = -5*u - 0*u + 15. Let k = 32 - 24. Solve u*a - a = -k for a.
-4
Let y(c) = c**2 + 4*c + 3. Let j be y(-4). Suppose -a = -3*b - 2*b + 23, j*a = -4*b + 7. Suppose 16 = -3*q + b, -2*q - 28 = -5*s. Solve s*l = -0*l for l.
0
Let v(p) = p**2 - 10*p + 1. Suppose -r - 10 = -2*u, 24 = -5*r + 4. Suppose u*x = 7*x + g - 38, 3*g + 16 = x. Let c be v(x). Solve -4 = -5*h + c for h.
1
Let n be 12/3 - (6 + -6). Solve 0 = 5*d - 3*d + n for d.
-2
Let p be 5/(-1 + (-8)/(-6)). Suppose -p = -2*j + y, -4*y = -2*j - 0*y. Solve -c + j = c for c.
5
Suppose 8*i - 7*i = 8. Solve -i = l + l for l.
-4
Suppose 6*a + a - 35 = 0. Solve -a*t - 28 = -13 for t.
-3
Suppose -5*r + 3 = -47. Solve 0*d + r = 5*d for d.
2
Let r be (-4)/(-38) - 6/57. Solve 0 = -o - r - 5 for o.
-5
Let v(y) = y**3 - 7*y**2 + 5*y + 8. Let l be v(6). Suppose 0 = l*q + q - 4*o + 4, 4*o + 28 = -q. Let a = q - -15. Solve -a*b + 25 = -2*b for b.
5
Suppose -a = -5*i - 4, -5*i + 2*i = 4*a - 85. Solve 4*k - a - 1 = 0 for k.
5
Let y(f) = f + 10. Let r be y(-7). Suppose r*g = 5*z - 3 - 0, 0 = 5*z. Let t(v) = 2*v**2 - v - 1. Let p be t(g). Solve 0*q + 10 = -p*q for q.
-5
Let h(v) = v**2 + 12*v + 25. Let j be h(-12). Solve -4*w + 5 = j for w.
-5
Let g be 0 - 4/(-6)*3. Let a = g - -1. Suppose -5*c + 14 = 4*i, 0*c + 11 = 5*i + a*c. Solve -2 - i = -b for b.
3
Let r be ((-6)/(-4))/((-4)/16). Let b be (-1)/((-10)/r - 2). Solve 2*x = b*x for x.
0
Let s(f) be the first derivative of -f**2/2 - 1. Let n(l) = -24*l - 4. Let m(v) = n(v) - 20*s(v). Let d be m(