
-4
Let z(o) = o**3 + 16*o**2 + 16*o + 18. Let g be z(-15). Solve -2*l - 5 = g for l.
-4
Let y = 79 + -70. Solve 2*f = -f - y for f.
-3
Suppose 4*m + 0*m + 5*g = -64, -4*m - 2*g - 76 = 0. Let u be (-9)/m + 72/28. Solve u*c = 4*c for c.
0
Let u(j) = -j**3 + 3*j**2 - j - 1. Suppose 0*s + 2*s - 6 = 0. Let p be u(s). Let z(y) = -2*y - 5. Let m be z(p). Solve 0 = -5*r - m - 17 for r.
-4
Suppose 6 = 2*w + 4*y, w - 5*y = 24 - 0. Let c = -6 + w. Solve 3*o + c = -0*o for o.
-1
Suppose -k = -3*q + 19, 5*k = -q + 5*q - 29. Suppose -4*v = -2 - q. Solve 0 = 3*l + v + 1 for l.
-1
Suppose j - 1 = 2*d - 0*d, -d - 3*j + 10 = 0. Solve -p + 3 + d = 0 for p.
4
Let m(v) = 4*v**2 - 14*v + 2. Let o be m(4). Solve 6*x = o*x for x.
0
Let l(i) = -i**3 + 4*i**2 - 3*i. Let x be l(2). Solve 4 + x = 3*r for r.
2
Let m(j) = j. Let f be m(9). Let g = 11 - f. Let t = g + 1. Solve 4*o - t = -11 for o.
-2
Let y(z) = z**2 + 4*z - 3. Let q be y(-5). Suppose -q = -3*x + 1. Solve -m + 4 = -x for m.
5
Let p(b) = 4. Let h(l) = -l - 13. Let u(g) = -4*h(g) - 14*p(g). Let a be u(2). Solve a - 1 = -z for z.
-3
Let c(g) = 0*g**3 + 3 + 0*g**3 - g**3 + g**2. Let d be c(0). Let w = d + -3. Solve w = -2*f + f + 4 for f.
4
Let u = -37 + 39. Solve 2*t = -u*t for t.
0
Suppose 5*o = 3*o - o. Solve 4*x + 4 = -o for x.
-1
Suppose 0 = 2*h - 12. Let t = h + -2. Solve t + 1 = -w for w.
-5
Let d(l) = -2*l - 12. Let r be d(-8). Suppose r*v - 6 = 6. Solve 6*z - 6 = v*z for z.
2
Let h be 3*(2 - (-4)/(-3)). Suppose 5*f - 39 = h*f + 5*n, 0 = 5*f + 3*n - 65. Suppose d = 2*j - 2 + 9, -3*d - 2*j = -f. Solve 10 = -d*w - 10 for w.
-4
Let a be (-6)/(-2) - -1*1. Suppose -5*d + 25 = 0, -p + 5*d = -0*d + 26. Let o = a + p. Solve -o*b = -0*b for b.
0
Let a(t) = 3*t + 15. Let h be a(-3). Solve -r - 5 = -h for r.
1
Let a(w) = -w**3 - 7*w**2 + 7*w - 6. Let y be a(-8). Let i be 0*(y - 3/2). Suppose -3*v = -i*v - 24. Solve 7 = 5*h - v for h.
3
Suppose 0*w + 1 = w. Suppose -z + w = -4. Suppose -z*r = 3*n - 60 + 20, n - r = 0. Solve n*j - 34 = -9 for j.
5
Let f be (-10)/3*(-3)/2. Suppose 5 = 3*l + x, f*l + 0*x - 7 = -3*x. Solve 2 = 3*n - l*n for n.
2
Let r(h) = h**3 + 2. Let s be r(0). Solve -c + s = 3 for c.
-1
Let g(p) be the first derivative of 2*p**3 - p**2/2 + 1. Let k be g(1). Solve -k*q + 0*q + 5 = 0 for q.
1
Let u = -4 + 4. Let n be (3 - (1 - 1)) + u. Let x = 14 - 6. Solve -n*j = -x*j - 25 for j.
-5
Let d = 13 + -6. Suppose -3*n = 4*u - d*n - 4, -7 = -3*u - n. Solve -3*k - 15 = u*k for k.
-3
Let i be 0 + -2 + (-5 - -7). Solve i = 2*v - 1 + 3 for v.
-1
Suppose 0 = c - 5*c - o + 12, 3*c + 4 = -4*o. Let h = 67 - 65. Let b be h/c + 2/(-4). Solve 8*v - 3*v = b for v.
0
Let d(q) = 6*q - 1. Let w be d(1). Suppose -22 = -2*a + 3*s, -2*a + 4*s + 21 = -5. Let f = w - a. Solve f = 3*t - 0*t + 6 for t.
-2
Let z = -5 - -6. Let h be (0 - -1)/(1/3). Suppose v + 0 = h. Solve -2 = v*n + z for n.
-1
Suppose 7*s - 3*n - 3 = 3*s, 0 = s - 2*n - 2. Solve 0 = -j - s - 4 for j.
-4
Suppose -32 = 5*g - 2*b, 3*b = g - 1 - 3. Let s = 11 + g. Solve -5 = z - s for z.
-2
Let g be (3/(-2))/(6/(-8)). Suppose -4*z + 4*q - g = 6, 0 = -2*z + 3*q - 6. Suppose z*u + 5 = u. Solve 0 = 2*k - k + u for k.
-5
Let n(b) = -b - 2*b**2 + 4*b**3 + 5*b**2 - 7 + 6*b**2 - 3*b**3. Let y be n(-9). Solve -1 = -a + y*a for a.
-1
Let c be (-4)/(-18) - 7/(-9). Suppose -2*x + x + c = 0. Let r be x/(-1 - (-12)/10). Solve -3*f + 10 = -r for f.
5
Let d = -145 - -148. Solve 5*a - 12 = d for a.
3
Let m(n) = -n**2 - 7*n - 1. Suppose -4*w + 0*w - 24 = 0. Let z be m(w). Suppose -a = -z*f - 12, 0 = 5*a + 4*f + 2 - 4. Solve a*u = u + 5 for u.
5
Let d = -12 - -14. Let f be -1 - (d - (-12)/(-4)). Solve u - 4 = -f for u.
4
Let z be -1 - (2 - 13)*2. Solve 4*j - z + 1 = 0 for j.
5
Let v = 43 + -41. Solve 0 = -m + 3*m + v for m.
-1
Suppose 0 = 3*q - 8*q + 55. Let d = q + -11. Solve d*o = o + 2 for o.
-2
Suppose -2*o - 3*o = -25. Suppose -4*z = o*p - 0*z - 5, 4*z - 29 = 3*p. Let c = 1 - p. Solve 0 = 2*k - c - 6 for k.
5
Let o(y) = -y. Suppose r - 2*c - 6 = 0, -6 = -3*r - c + 12. Let l be o(r). Let a = 6 + l. Solve b + a = -5 for b.
-5
Let y(f) = -f**2 + 7*f + 9. Let i be y(8). Let x = i - 1. Solve x = -l + 1 + 3 for l.
4
Let t = -18 - -11. Let i(n) = 2*n + 6. Let y be i(t). Let m be (-1)/2 - 4/y. Solve m = -u + 1 - 4 for u.
-3
Suppose 3*m - 2 = 25. Suppose -4*z = -z - m. Solve z*g - 2*g = -2 for g.
-2
Suppose 0 = -g + 10 + 8. Suppose 0*v - g = -v. Let n = -3 + 5. Solve 4*y + n = -v for y.
-5
Let u = 6 + -1. Solve 3*t = u*t for t.
0
Suppose -2*o - 3*o + 70 = 5*m, o + 46 = 5*m. Solve t + m = -4*t for t.
-2
Suppose 2*i = 3*i - 13. Let q(j) = -j**2 + 5. Let c be q(0). Suppose -3*z = 9, -c*z + 2 = 4*y - 3. Solve -i = -y*h + 7 for h.
4
Let g be 4/(-6)*-3 + -3. Let q be 2 + 1/(g/(-1)). Solve -2 = -q*c + 4 for c.
2
Let w be (-24)/(-10) + 7 + 148/(-20). Solve -4 = w*y - 0 for y.
-2
Let b(v) = -v + 9. Let y be b(6). Solve 4 = y*h + h for h.
1
Let b(y) = -2*y**3 + y**2 - 4*y - 8. Let x be b(-2). Solve -q - 4*q + x = 0 for q.
4
Let u be (-2)/(-4 - (-21)/3)*-9. Solve 0 = 4*n - 2*n + u for n.
-3
Suppose -5*x + 9 = -6. Suppose 3*k = 0, -4*n - 2*k = -6*k. Solve h - x*h = n for h.
0
Let a = 1 - 0. Suppose -2*r - q = -0 + 1, -2*q - 10 = 0. Suppose h + 3*h = 0. Solve h = r*k - a + 11 for k.
-5
Let o(a) = -2*a + 7. Let z be o(2). Solve -4 = z*q + q for q.
-1
Let x(a) = 2*a + 2. Let z be x(8). Let r(n) = n**3 - n**2 + n - 2. Let q be r(2). Suppose 3 = -q*u + 15. Solve 5*d + z = u for d.
-3
Suppose -a - 3*i + 69 = 0, a - 302 = -3*a + i. Let w be (a/6)/5*2. Suppose -w*y = -4*y. Solve y = v + 1 for v.
-1
Let k(i) = i**2 - 18*i + 6. Let p be k(18). Solve p = 2*m - 4*m for m.
-3
Let a be (-4)/5*(-25)/10. Let u be 7 + 2 - (2 + 0). Suppose u*g = 2*g. Solve 0 = 2*h - g*h + a for h.
-1
Let x = 34 + -22. Let i be (-9)/(-6)*(-8)/(-6). Solve a + i*a = -x for a.
-4
Let s(m) = -3*m + m**3 - 4*m**3 + 4*m**3 - 2*m**2 + 4*m. Let h be s(2). Solve 0 = -h*o - 0 + 4 for o.
2
Suppose 8 = -29*f + 31*f. Solve -2*n - 10 = -f*n for n.
5
Suppose 0*k + 3*k + 42 = 0. Let r be ((-12)/14)/(2/k). Solve -21 + r = 5*a for a.
-3
Let w = 13 - 8. Suppose 3*l - w = 2*l. Let a = 7 - l. Solve a*q = -q for q.
0
Let l be -2 - -2 - 3/(-6)*0. Solve -3*v = -l*v - 3 for v.
1
Let c(d) be the third derivative of -d**8/20160 + d**6/80 - d**5/60 + 3*d**2. Let n(r) be the third derivative of c(r). Let m be n(0). Solve 4*a - a = m for a.
3
Suppose -10 = -5*r, 3*j + 5*r = -6 + 37. Solve 2*b = 3 + j for b.
5
Let z be 0*-2*3/(-12). Suppose 2*c - 7 + 17 = z. Let q(g) = g**3 + 5*g**2. Let n be q(c). Solve m + m + 2 = n for m.
-1
Let i(r) = r**2 + 6*r + 8. Let c be i(-4). Solve c = 7*v - 8*v for v.
0
Suppose 5*t = 34 + 26. Solve -3*m - t = -6*m for m.
4
Let p(c) = c**2 + 8*c + 7. Let a be p(-7). Solve -4*g + 7 + 5 = a for g.
3
Let m(j) = j**2 - 6*j - 3. Let s be m(8). Suppose s*q - 8*q = 80. Solve -r + q = 3*r for r.
4
Let h(w) = 2*w + 20. Let t be h(-9). Solve -t*m - 1 - 3 = 0 for m.
-2
Let b(v) = v + 2. Let r be b(2). Solve 0*x - r*x = 0 for x.
0
Suppose -6*n + 40 = -2*n. Suppose 7*u = 3*u + 16. Solve -n = -u*a + 2*a for a.
5
Suppose 0 = 2*s - 5*n + 4, 3*n - 20 = 2*s - 3*s. Suppose -12 = -5*o + s. Solve 0 = o*l - 4 + 24 for l.
-5
Suppose b = 3*b + 2*m - 4, 4*b + m - 17 = 0. Suppose g + 0*g - 3*j = 1, -g = 2*j + 14. Let n(a) = 2*a + 16. Let w be n(g). Solve -b*x - 8 - 7 = w for x.
-3
Suppose 2*v - 2 = 2. Let g = -20 + 28. Solve v = 2*w - g for w.
5
Suppose -3*w - 3 = -0. Let a = w - -4. Suppose a*x - 9 = -0*x. Solve 4*p = -x - 17 for p.
-5
Let h = 119 - 119. Solve 0*r + 4*r = h for r.
0
Let i(m) = -m**2 + 10*m + 1. Suppose 0*t = -t + 3*v + 25, 5*t - 55 = v. Let w be i(t). Solve -3*b + 4 = w for b.
1
Let v be -3 + 1 + 4/(-8)*-10. Solve 2*k - 10 = -v*k for k.
2
Let h be (-2 - -4)*(-15)/(-5). Let u = h + 18. Suppose 9 = g + g + n, 5*g - u = -2*n. Solve -i + g*i + 15 = 0 for i.
-3
Let l(w) = w**3 + 6*w**2. Let j be l(-6). Let u be (-6)/3*-1 + j. Solve -u - 4 = -2*q for q.
3
Suppose 10 = -0*i - 5*i. Let r be -4*(i - 2/(-4)). Suppose -18*x = -14*x - 20. Solve -x*h + r = -8*h for h.
-2
Let l = -6 + -1. Let c = -1 - l. Solve -3*v - 9 = -c*v for v.
3
Suppose 5*b + g = -g + 6, -4 = -3*b - g. Solve 0 = b*c - 5*c + 3 for c.
1
Suppose -w + 9 = -d + 3*w, 3 = w. Solve -4*i + 