-1
Let p(l) = -l**3 - 7*l**2 - 11*l + 8. Let c be p(-4). Solve c = j + 2 for j.
2
Let t be (0*(-10)/(-60))/(1/(-1)). Solve 5*m + t*m = m for m.
0
Let u be 14/(-56) - 1/(-4). Solve u = -5*p + 24*p + 76 for p.
-4
Suppose -13*i - 4*i + 23*i = 0. Let u be (2 - 2)*(-2)/(-4). Let a(f) = f**2 - 3*f + 3. Let v be a(3). Solve i = -u*z + z + v for z.
-3
Let j be 14*(54/21)/3. Let i be 0 + j/4 + 3. Solve 2*h - i*h - 20 = 0 for h.
-5
Let k(s) = 13*s + 156. Let c be k(-12). Solve c = 2*i - 5*i + 6 for i.
2
Let w = -11 - -13. Let u be -2*(-3)/w + 3. Solve 0 = -2*s + u*s for s.
0
Let u(p) = p**3 - 3*p**2 - 4*p + 3. Suppose 0 = -4*g - 7 + 19. Let d be u(g). Let b = 11 + d. Solve 4*j - b*j - 10 = 0 for j.
5
Let l = 388 + -384. Solve 0 = -l*m + 14*m + 50 for m.
-5
Suppose r = -5*o + 10, 0 = 3*r - 3*o + 8*o - 20. Suppose -45 + r = -10*h. Solve l = 7 - h for l.
3
Let n(w) = 5*w**3 - 2*w + 1. Let o be n(1). Let j(z) = z**3 + 2*z**2 - 64*z + 9. Let i be j(7). Solve -3*f + o*f = -i for f.
-2
Let o = -21 + -3. Let y = 25 + o. Solve -6 = -5*x - y for x.
1
Let g be ((-8)/10)/(2/(-10)). Let k = -2300 - -2300. Solve 8 + k = g*s for s.
2
Let i(m) = -m**2 + 6*m + 2. Let r be i(6). Let w = 56 - 52. Suppose w*t + 0*t = 16. Solve t = -0*g + r*g for g.
2
Let i(r) = -r + 10. Let o be i(6). Let f(y) = 4*y + 1. Let w be f(o). Solve -7 = -2*c - w for c.
-5
Let r = 225 - 220. Solve 1 = -r*m - 9 for m.
-2
Let b(p) = p**3 - 21*p**2 + 20*p + 4. Let w be b(20). Let n be 4 - 2/w*(-8 + 6). Solve 10 = -0*y - n*y for y.
-2
Suppose -52*i = -692 - 816. Suppose 0*b = -5*t + 3*b - 157, 0 = -3*b + 12. Let y = t + i. Solve m - 5*m + 20 = y for m.
5
Let x(h) = 2*h**2 + 18*h + 18. Let g be x(-8). Solve 3 = c + g*c for c.
1
Let m(z) = -5*z + 70. Let r be m(13). Solve -5 - r = -10*n for n.
1
Let o = -62 + 102. Let c = -35 + o. Solve 5*t + 25 = c for t.
-4
Let r(o) be the first derivative of o**2/2 + 14*o - 34. Let j be r(-7). Solve -2*l = j - 13 for l.
3
Let n(u) = u + 6. Let z be n(-3). Let w = 68 + -47. Suppose w = 4*t - 55. Solve t = z*g + 4 for g.
5
Let a be (6/(-7))/(-2 - (-39)/21). Let h be (1/(-3))/(6/(-36)). Solve -8 = -a*w + h*w for w.
2
Let c(v) = -v**3 - 19*v**2 - 34*v - 3. Let b be c(-17). Let f be ((21/(-2))/(-7))/(b/(-4)). Solve -4 + 0 = -f*w for w.
2
Let w(o) = o**2 + 1 - 8*o + o**2 + 0*o**2. Suppose 3*h = -a - a + 12, 0 = -3*a - 9. Let v be w(h). Solve 2*z = 7*z + v for z.
-5
Let d = -66 + 54. Let c be (d/(-4) + 1/1)/1. Solve c*p = 2*p + 8 for p.
4
Suppose -4709 = -590*i + 573*i. Solve 0 = -6*u - 259 + i for u.
3
Let p(t) = 3*t**2 - 79*t - 48. Let l be p(27). Solve l = -3*v - 3 for v.
-3
Let u be ((-30)/(-8))/((-3)/16). Let q be 4/16 + (-55)/u. Solve x + q - 4 = 0 for x.
1
Let d(r) be the third derivative of 0*r + 1/2*r**3 + 1/24*r**4 + 0 + r**2. Let n be d(0). Solve 1 = -v + n for v.
2
Suppose 15*k + 81 = 12*k. Let y = k - -27. Solve 0 = -y*r + 2*r - 10 for r.
5
Suppose 0 = 2*l + 5*c - 4*c, 3*c = -12. Let b(j) = 10*j**3 + 2*j**2 - j. Let z be b(1). Solve -1 = l*v - z for v.
5
Let c be (-24)/28*(-2 - 5). Let x be (20/(-30))/(4/c)*-1. Suppose -6 = 2*g - 5*g. Solve x = -3*q - g for q.
-1
Let o = -40 + 45. Suppose 0 = -o*i - 0*w + 3*w + 23, -8 = -2*w. Solve h - 3 + i = 0 for h.
-4
Let s = 304 + -304. Solve -7*c + 2*c - 25 = s for c.
-5
Let d(o) = -o**3 - 6*o**2 - 7*o + 8. Let w be d(-4). Solve 2*i - w*i + 8 = 0 for i.
4
Let c = -30 + 55. Suppose -c = a + 3. Let t be (-8)/a - 19/(-7). Solve -t*y = -2*y - 4 for y.
4
Let s(t) = -5*t**2 - 2*t + 2. Let b(i) = -4*i**2 - 3*i + 3. Let g(w) = -6*b(w) + 5*s(w). Let k be g(4). Suppose 4*o = k*o - 20. Solve -o*n = -16 - 4 for n.
4
Let n be -1 - 1 - 1*(-28)/(-1). Let l be (n/(-4))/(3/6). Solve 4*o = -o + l for o.
3
Let c(p) = 2*p**3 + 2*p - 2. Let d be c(2). Let v = 21 - d. Let i be (-4)/v*(-33)/2. Solve 0 = -5*f + 7 - i for f.
-3
Let u be 3 + 0 - (1 + 4). Let a be (-5 - 0)*(u - -3). Let y = a - -6. Solve -6 = o - y for o.
-5
Let x = 0 + 2. Suppose 3*b - 21 = -5*l, 4*l - 1 = x*b + 7. Let d = l - -5. Solve 0 = 3*n - n - d for n.
4
Suppose 0 = -5*n - 7*n - 240. Let f = 28 + n. Solve -5*z - 12 = f for z.
-4
Let o(p) = -p**3 - 14*p**2 - 13*p + 5. Let d be o(-13). Suppose -d*l + 5*n + 27 = -l, 0 = -l - 3*n - 6. Solve -l*i = i for i.
0
Let c be (-11 - -8) + 5 + 0. Solve 4*f = 18 - c for f.
4
Let h = 10 - 5. Suppose -h*i = 2*i. Solve o - 5 = -i*o for o.
5
Suppose 3*c = 2*z - 61, -2*z - 4*c + 3*c + 41 = 0. Solve 19*q - 12 = z*q for q.
-3
Suppose 112 = 7*k + 28. Solve -k = -15*j + 19*j for j.
-3
Let x = 9 + -6. Suppose 4*s = -3*a + 80, 4*s - 3*a = -0*s + 104. Suppose 0 = -6*h + s + 19. Solve -x*v - 20 = -h*v for v.
5
Let p(u) = 11*u**2 + 18*u - 23. Let h(b) = 7*b**2 + 12*b - 15. Let c(w) = 8*h(w) - 5*p(w). Let y be c(-7). Let l be 2/4 - (77/14 - 5). Solve l = j + y*j for j.
0
Suppose -t = -3*z - 20, 5*z = 2*t + t - 40. Suppose -3*q = 5*h - 34, 0 = -t*h + 10*q - 7*q + 46. Solve -h + 0 = 2*j for j.
-4
Suppose 2 = -2*r + 6. Let k(i) = -i**3 - 12*i**2 - i. Let y be k(-12). Suppose 3*v + v - y = 0. Solve v - r = f for f.
1
Suppose -21 = -8*n + 3. Suppose -5*u = n*c - 4*u - 23, 0 = c - 4*u + 1. Solve c*y = 5*y - 4 for y.
-2
Let k = -9 + 14. Suppose 7*s + 6 = 4*s + k*p, -4*p + 21 = 3*s. Let v be ((3 - s)/2)/(-1). Solve 0 = -3*z - v - 6 for z.
-2
Let a be 15/(-5) - -1 - -2. Solve 0 = 2*i - a*i - 6 for i.
3
Let l(q) = q**3 - 12*q - 16. Let d be l(-2). Solve d = 3*b - 5*b + 10 for b.
5
Suppose 10*h = 7*h + 306. Let a = 162 - h. Let m = a - 26. Solve -m = -5*x - 9 for x.
5
Let i = 36 - 35. Let u be (i - 1)*-3*6/(-54). Solve -2*h + 4 = -u*h for h.
2
Suppose -r + 44 = 34. Solve r*c - c - 6*c = 0 for c.
0
Suppose 5*j - 5*x - 109 = -x, -5*j + 141 = 4*x. Suppose 0 = -5*y + j, 3*y + 0*y = -4*d + 27. Solve d*o = -o for o.
0
Suppose 13*w - 8*w - 45 = 0. Suppose -w*h = -h. Suppose 5*i - 6 + 1 = 0. Solve -u + h + i = 0 for u.
1
Let y(c) be the first derivative of -c**4/4 + c**3/3 + 5*c**2/2 + c + 20. Let d be y(-2). Solve -g + d = -4*g for g.
-1
Let z be 2 - -35 - 14/2. Solve 7*f = z - 37 for f.
-1
Let m(s) be the first derivative of 2*s**2 - 7*s - 1. Let k = -144 - -152. Let y be m(k). Solve 3*p = -2*p + y for p.
5
Suppose -4*u = -5*g - 7 - 8, 4*g - 10 = u. Suppose 5*w = 2*w. Solve r + 4*r + u = w for r.
-2
Let l be 3/(-2)*640/(-120). Solve -13*o + 5 = -l*o for o.
1
Let d = 5 - 19. Let g = d + 18. Solve 0*l - g = -2*l for l.
2
Let o be (-12)/(-18) - (-42)/18. Solve -o*x + 4 = x for x.
1
Let a(p) = -4*p + 6. Let g(w) = -3*w + 5. Let c(u) = -4*a(u) + 5*g(u). Let b be c(2). Suppose -l - 4*x = 6, b*l - 1 = -2*x + 1. Solve -2*d - 4 = l for d.
-3
Let f(d) = 2*d**2 - 4*d + 4. Let r be f(2). Let z be 6/10*(2 - -3). Suppose -4*c - 10 = -2*b, -r*c - z*b + 8*b - 25 = 0. Solve -k + 3*k = c for k.
0
Let t be (2 - 1)/(3 + -4). Let c(m) = 4*m**2 + 2*m + 1. Let j be c(t). Suppose -f = -2*f + j. Solve 0 = -a + f - 1 for a.
2
Suppose -d + 4*q + 0*q + 56 = 0, 2*d - 134 = -3*q. Suppose d - 4 = 5*w. Solve 5*y - y = w for y.
3
Let v = -22 - -13. Let u = v + 14. Suppose -5*x = -u*z + 65, -2*x + 4 + 20 = 3*z. Solve -2 + z = -2*i for i.
-4
Suppose 3*k = 4*k. Suppose 0 = -3*g + 4 - 1, g = -3*f + 19. Suppose k = -2*z - f + 36. Solve 7*b = 2*b - z for b.
-3
Suppose 0 = 3*x + 16*x - 152. Solve 23 = -3*f + x for f.
-5
Suppose -3*s + 1 = -4*h, -26*s = -27*s - 2*h + 7. Solve 0 = s*i + 187 - 202 for i.
5
Let o = -256 - -258. Solve 6*c = o*c - 20 for c.
-5
Let h = -6 - -11. Let l be 7/(35/4)*h. Let k = l + -3. Solve c + 6 = k for c.
-5
Suppose 21*p = 33 + 9. Solve -5*c - p*c = -35 for c.
5
Let c(h) = -24 + 2*h - h**2 + h + 27. Let y be c(5). Let t = y - -7. Solve 3*d + 2*d = t for d.
0
Let f = 1 - 0. Suppose 4*r + 1 = -5*b, 4*b + 1 = -2*r - f. Solve -2*a + r - 7 = 0 for a.
-3
Let f(m) = m + 5. Let l be f(-3). Suppose l*u + 4*c - 32 = 0, -3*c + 4*c = 5. Suppose a - 9 = -u. Solve -5*o = -2*o + a for o.
-1
Suppose 0 = -4*m + 5*u + 11, 0 = -5*m + 2*u - 1 + 2. Let c be 6/(-30) - m/5. Solve -s + 3*s + 8 = c for s.
-4
Suppose 5*c = c + 16. Suppose 87*h - 168*h + 39 = -68*h. Solve -h = c*z + 1 for z.
-1
Suppose 12*s - 34 = 14. Suppose 2*q - 14 = 4*w + 4, -3*q - 2*w = -51. Solve -q = s*k + 5 for k.
-5
Suppose -29 = 7*t - 50. Let r(a) = 11*a**2 + 3*a - 4. Let k(h) = -10*h**2 - 4*h + 5. Let n(o) = 5*k(o) + 6*r(o). Le