for g.
4
Suppose -3*n = -l - 12, -3*l - 8 = 2*l - 2*n. Let a be -1 - l - (-3 + 2). Solve a*q + 5 = q for q.
5
Suppose -d + 5*b = 2*d - 12, 5*d - b = 20. Let k = -6 - 0. Let w be d/k + (-112)/(-24). Solve 5*h + w + 1 = 0 for h.
-1
Suppose 0 = -4*m + 5*m. Suppose m = -4*g - 3*d - 9, 5*g + 2*d + 2 = -4. Let u be (g - 0) + (-4 - -6). Solve -u - 2 = 4*p for p.
-1
Let j = -12 - -12. Solve j = 2*b - 6*b - 20 for b.
-5
Let p(m) = m**2 + m + 4. Let k be p(0). Suppose -k*q - q = -25. Suppose -x = -q*x. Solve -2*u - u + 12 = x for u.
4
Suppose -26*c = -24*c - 40. Solve 4*d + d = c for d.
4
Suppose -l - 1 + 2 = 0, 2*n - l - 27 = 0. Let c = n + -10. Let h(w) = 2*w**2 - 5*w. Let p be h(c). Solve -m = -4*m + p for m.
4
Let l(k) = 2*k + 51. Let r be l(-22). Solve -17 = 2*a - r for a.
-5
Let a be 2 + 3 - (9 - 7). Solve a*k - 2*k = 0 for k.
0
Suppose -16 = 2*d - 58. Let c be (-6)/(-4)*14/d. Solve c = -t - 0 for t.
-1
Let z = -8 - -12. Suppose 0 = -r + z*r. Solve l + 2 - 3 = r for l.
1
Let u be 0/(-1) - 0/1. Let t(q) be the third derivative of -q**5/60 + q**4/6 - q**3/6 - 2*q**2. Let h be t(2). Solve u*z - h = z for z.
-3
Suppose 0 = -5*a - w + 30, a - 3*a + 5*w = 15. Solve 0*m - m - a = 0 for m.
-5
Let k be 5/(-1*3/(-3)). Solve 0 = -k*l + l + 20 for l.
5
Let q(v) be the second derivative of -v**5/20 + v**4/3 + v**3/3 - 5*v**2/2 - v. Let f be q(4). Solve 2*n - 3 = f*n for n.
-3
Suppose -h + 5 = -0*h. Suppose -2*m + 4*p = -14, -3*p - 52 + 19 = -3*m. Suppose 2*u + m = 7*u. Solve h = -4*n - u for n.
-2
Let r be ((-6)/(-4))/((-48)/(-160)). Let o be 3 - ((-24)/4)/3. Solve r + o = 2*g for g.
5
Suppose -3*n + 12 = -0. Suppose -n*p + 1 = -3. Suppose -2 = -x + p. Solve x*f - 14 + 5 = 0 for f.
3
Suppose 7*k - 2*k = 35. Let r = k + -4. Solve -r*u = -u for u.
0
Let x = 16 - 16. Solve x = -0*l - l for l.
0
Let d(v) = -5 - 4*v + v + 2*v. Let c be d(-6). Solve 0 = 2*i + c - 3 for i.
1
Suppose z + 11 = 2*t, 5*t - 6*z - 28 = -3*z. Solve 20 = -10*l + t*l for l.
-4
Let o be (-34)/(-3) + -4*(-3)/18. Solve -3*f + 0 = o for f.
-4
Suppose 2*u = 5*u - 36. Let r = 5 + -1. Solve -u = -r*p + 8*p for p.
-3
Suppose -u + 1 + 1 = 0. Let p be (-237)/(-12) - u/(-8). Solve n - 6*n + p = 0 for n.
4
Let n(w) = w + 6. Let d be n(-12). Suppose 6*u = u + 45. Let t = d + u. Solve -2*c - t*c = 10 for c.
-2
Let y(a) be the second derivative of -a**3/6 + 2*a**2 - 2*a. Let b be y(2). Suppose b*h - 5 = 1. Solve 3 + h = -2*f for f.
-3
Let f = 22 + -38. Suppose -16 + 5 = r. Let m = r - f. Solve 0 = -3*n - m + 11 for n.
2
Let u(v) = v**2 - 19*v + 34. Let p be u(17). Solve p = -3*l + 1 + 14 for l.
5
Let f(r) = -4*r**3 - r. Let w be f(-1). Suppose 4 = -2*q - k, -2*q + 6*q - 2*k + 24 = 0. Let m be q/w*(-20)/8. Solve x - 3 = m for x.
5
Let i be ((-4)/(-6))/(2/9). Suppose 2*z - 126 = i*x - 6, 50 = -x + 4*z. Let g be x/(-12) - (-1)/(-6). Solve 4*n = 9 + g for n.
3
Let p(w) = w**2 + 13*w + 15. Let n be p(-12). Suppose -3 = -n*z + 3. Solve 0*b - z*b = -2 for b.
1
Suppose -2*j - 4*m = 12, 22 = j - 4*m - 2. Solve -1 = j*o + 11 for o.
-3
Suppose 0 = 6*a - 4*a. Solve a = q + 4 for q.
-4
Let h(b) = b**3 + 15*b**2 + 28*b + 28. Let q be h(-13). Solve q = j + 7 for j.
-5
Let f(n) = -6*n - 8. Let p(l) = 5*l + 7. Suppose 3*w - 3*k + 9 = 0, -2*w - 3 = -k + 4. Let a(i) = w*f(i) - 5*p(i). Let u be a(-7). Solve u = -4*c + 24 for c.
5
Let n = 7 - 5. Suppose p + 2*m + 7 = -1, 2*p + m = -1. Let h = n - p. Solve -4*i + 0*i + 8 = h for i.
2
Let b(u) = -u**3 - 16*u**2 - 16*u - 21. Let n be b(-15). Let w be (-1)/((-15)/n)*-10. Solve 0*r - 2*r = -w for r.
2
Let y(w) = w + 8. Let i be y(-6). Solve -i = -d - d for d.
1
Let s = -11 - -11. Solve s = 3*j - 5*j for j.
0
Suppose y = -m - 1, -y + 2 - 18 = 4*m. Let w(x) = -x - 2. Let f be w(-7). Suppose 0*a - 3*a = -f*d + 9, d + 15 = -5*a. Solve -y*p = -d*p for p.
0
Let z be (2*1)/((-2)/70). Suppose 3*g = 4*i - 2*g + 175, 0 = 4*i + 3*g + 215. Let t = i - z. Solve -o = 3*o + t for o.
-5
Let h(y) = y**3 + 4*y**2 + 2*y. Let l be h(-3). Solve -2*m - 5 = l*m for m.
-1
Let q be (11 - 2) + (-4 - (-3 + -4)). Solve 3*r + q = -r for r.
-3
Let n(x) = x**3 + 4*x**2 + 4*x**2 - x - 4*x**2 + 2*x**2. Suppose -2*c = 2*u + 12, -4*u = -5*c + 6 + 18. Let l be n(u). Solve -3*o - l = -6*o for o.
2
Let c be 1*(0/5 - -4). Solve g - 2 = -c for g.
-2
Let s(j) = j**3 - 5*j**2 - 2*j + 1. Let r be s(5). Let h = r - -12. Solve -6 = -h*g - 0*g for g.
2
Let v(h) = -h. Let y be v(2). Let n = y + 8. Suppose 0 = -2*o - 0*o + n. Solve o*q + 0*q - 6 = 0 for q.
2
Suppose 5*i + x - 11 = 0, 6 = 5*i - 5*x + x. Solve -5 = a - i*a for a.
5
Let y be (-37 - -38) + (2 - 1). Let h = -1 - -4. Solve y*s + 1 = h for s.
1
Let p(j) = -j**2 - 18*j + 6. Let z be p(-18). Solve z*w = 3*w + 9 for w.
3
Let m(o) = -5*o**3 - o**2 - o - 1. Let z be m(-1). Let v(y) = y + 5. Suppose 0 = -3*u - n - 1 - 10, 16 = -4*u - n. Let f be v(u). Solve 2*g + z = -f*g for g.
-2
Let m(q) = 0 + 1 + 6*q**2 - 2*q + 0. Suppose 1 + 4 = 5*n. Let s be m(n). Solve i + s = 1 for i.
-4
Suppose -2*l + 47 = 4*m + 7, -45 = -3*l - 3*m. Suppose -4*j = j - l. Solve j*f = 6*f - 8 for f.
2
Let m be -1 - (-2)/2 - -1. Suppose -i + 14 - 3 = 0. Let q = -8 + i. Solve 0 = q*g + m - 4 for g.
1
Let g(d) = 15*d - 8. Let p(f) = 8*f - 4. Let r(v) = 6*g(v) - 11*p(v). Let h be r(3). Suppose 2 + 2 = h*z. Solve -z*s - 2*s + 20 = 0 for s.
5
Suppose 2*s - 39 = 9. Suppose 0 = 3*i - 0*i - s. Solve 4*c + 12 = -i for c.
-5
Let r(q) = q**2 - 8*q + 10. Let o be r(7). Let k be (o/4)/(1/(-4)). Let y(m) = -m - 3. Let h be y(k). Solve 0 = -4*u - h + 12 for u.
3
Suppose 0 = 4*b - 5*w - 5 - 9, 3*b + 5 = -4*w. Suppose -4*s + b = -3. Solve x - s = 4 for x.
5
Suppose 2*z - 5*n + 6 = -4, 2*z = -n + 2. Solve z = 4*d + d for d.
0
Suppose -4*o + 0*g + g = -25, 0 = o + g. Suppose 5*b - 18 - 7 = 0. Solve -b*h + 25 = o for h.
4
Suppose 3*u - 21 = -3. Suppose 0 = -h + 5*p - u, 3*h + 4*p - 12 = 2*h. Solve h = c - 3*c for c.
-2
Let z(r) = -r - 7. Let o be z(-9). Suppose -o*p - 1 = -9. Suppose 0 = 3*d + 1 - p. Solve 1 + d = -u for u.
-2
Suppose -70 - 10 = -5*a. Suppose x - 5*x + a = 0. Solve -x*t = -5*t + 2 for t.
2
Let b(d) = d**2 - 4*d + 2. Let u be b(4). Solve 0*n + u = n for n.
2
Suppose 3*t = -5*l - 3, l + 3 = 4*l - 3*t. Solve 3*c - 14 + 2 = l for c.
4
Let q(m) be the first derivative of m**4/4 - m**3/3 + m**2/2 + 2*m - 1. Let d be q(0). Solve 0 = o + 3 - d for o.
-1
Suppose -6 = r - 25. Suppose 4*i = r - 7. Let o be (0 + 1)/(1/2). Solve -k + o = -i*k for k.
-1
Let n = -2 - -3. Let c be 2/(-1 - n)*0. Suppose c = -4*b - 1 + 5. Solve b + 7 = -2*s for s.
-4
Suppose -2*m - 5 = -7*m. Suppose m - 4 = -u. Suppose -u*k + 4 = -4*v, -4*v + 2 + 6 = 0. Solve k*z = -0*z - 4 for z.
-1
Suppose 3*x - 4 - 11 = 0. Let g be 0*(1 + -2)*1. Suppose -4*i + 17 - 5 = g. Solve -2*w = i*w - x for w.
1
Suppose 5*t + 39 = 4*r, 4*t + 33 = 4*r + 1. Let q(y) = -y**2 - 7*y - 3. Let m be q(t). Let f be (-1)/m + (-5)/(-3). Solve -12 = -f*c - 4 for c.
4
Let w be 1 + (-6)/3 + 1. Let t be w - (2 + -3 + 1). Solve 0*r + r - 2 = t for r.
2
Let j = 97 + -93. Solve -x = j*x for x.
0
Suppose 29*t - 27*t - 4 = 0. Solve -2*s = -t - 8 for s.
5
Suppose -o + 4*o = 9. Suppose 2*n = 5*q + 4, 3*n - 5*q - 17 = -3*q. Solve 2*z = o + n for z.
5
Let i(x) be the second derivative of -x**4/24 - x**3/3 - x**2 + 3*x. Let g(b) be the first derivative of i(b). Let t be g(-4). Solve -t*j + 5 = -j for j.
5
Let r be 16 - (0 - (-4 - -3)). Solve -k + 6*k = r for k.
3
Suppose a = 4*a. Solve 0 = g - a - 1 for g.
1
Let r = -3 - -12. Let c be (0 + 0)/(r + -7). Solve 0 = -z - 2 - c for z.
-2
Let a(d) = -d - 2. Let h be a(-4). Let j be (2/h)/(1 + 0). Solve 2*f = j + 3 for f.
2
Suppose 0*x = -3*x - 0*x. Solve x = -4*y - 32 + 12 for y.
-5
Suppose -h - 3*x + 2*x = -6, 4*h + 3*x = 23. Let w = h + -2. Let c be 6/9 - (-44)/6. Solve -w*l = -c*l for l.
0
Let o be -3*1/3*-6. Solve 4*h = o + 14 for h.
5
Let q be 8/10*(-5)/(-2). Suppose q*h - 10 = -8*w + 4*w, 3*w = 3*h + 3. Solve 0 + h = -s for s.
-1
Suppose -6*t = -t + 345. Let s be 3*1/(-9)*t. Let r be ((-2)/4)/((-1)/6). Solve -5*n + r = s for n.
-4
Suppose -b - 5 = 0, 2*p + 0*b + 3*b = -15. Solve p*o = -4*o + 16 for o.
4
Suppose -2*f + 4*h = 6, 4*h - 7 = 3*f - 2. Solve 3 = -v + f for v.
-2
Suppose 0 = -3*a + a + 4. Let p = 13 - 8. Let i be p/2 + (-3)/6