Solve -3*p = p + u for p.
-5
Suppose 4*i - 6*i + 8 = 0. Suppose l + i = 8. Solve 2 - l = 2*k for k.
-1
Let c be 12/32 - 52/(-32). Solve 3*r = -c*r for r.
0
Let d(g) = -g**3 + 10*g**2 + 12*g + 5. Let t be d(11). Solve 0*s = -4*s + t for s.
4
Let z(i) = i + 2. Let q be z(-2). Solve q = u - 2*u for u.
0
Suppose -8 = 3*f - 26. Solve -2*p = -f*p + 12 for p.
3
Let c(o) = 2*o**2 + 4*o + 3. Suppose -3*v - 8 = -2. Let s be c(v). Solve s*z = z + 10 for z.
5
Let c be 1*-2 + 2 + 2. Suppose 3*v = 13 + c. Let n = 10 - 6. Solve v = 5*p - n*p for p.
5
Let q(s) = 2*s**3 - 3*s**2 - 2*s - 1. Suppose -4*n = n - 15. Let i be q(n). Solve 4*b = -b + i for b.
4
Suppose -2*a - 8 = 0, -3*p - a + 4 - 2 = 0. Solve 0 = p*y - y for y.
0
Let n(q) = q - 3. Suppose 0 = a - 5 - 2. Let i be n(a). Solve 8*t - i*t = -8 for t.
-2
Let s = 82 - 82. Solve -l + s*l = 2 for l.
-2
Let b = 1 - -6. Suppose 3*y = 5*v - 14, b*v = 4*v + 4*y + 4. Suppose 3*l - 3*t = 66, t = -0*l - v*l + 88. Solve -5*z = -l + 7 for z.
3
Let c(n) = 4*n**3 + 1. Suppose 3*b = -5*g - 2*b, b = -3*g + 2. Let s be c(g). Solve -s*z = 4 + 1 for z.
-1
Suppose -5*r + 4*y + 30 = -3*r, 0 = y. Suppose 3*t + 2*t - r = 0. Solve -t*m + 0*m = -6 for m.
2
Let s(f) = -f + f + f + 0. Let m = -5 + 5. Let t be s(m). Solve t = 4*r + 2 + 14 for r.
-4
Let f(y) be the second derivative of 0 + 1/12*y**4 - 1/2*y**3 + 2*y - 2*y**2. Let d be f(4). Solve d = 3*s + s for s.
0
Let x(g) = 3*g**2 + 6*g + 1. Let h(u) = -u**2 + u - 1. Let d(v) = -4*h(v) - x(v). Let p be d(10). Let c be ((-2)/(-4))/((-3)/(-24)). Solve p*q - 1 = -c for q.
-1
Let r be 64/10 + 6/(-15). Suppose 2*c + r = 8*c. Solve o - c = 2 for o.
3
Let n = -7 - -11. Suppose 16 = -n*a, -3*s = 2*a - 0*a - 28. Let o be (-2)/6*(0 - s). Solve 1 = -o*k - 7 for k.
-2
Let p = 2 - 2. Suppose -s = -p - 12. Let n be ((-160)/200)/((-2)/(2 + 8)). Solve n*y = -0*y + s for y.
3
Suppose -13 = -4*f - 5. Suppose -5*h + f*j = -19, 4*h + 9 = 3*j + 27. Let l = 5 - h. Solve 3 = d - l*d for d.
-3
Let v = -18 - -20. Suppose -d - v*d + 3 = 0. Solve 2*r + d = -1 for r.
-1
Suppose -2*y - y + 3 = 0. Let c(h) = 4*h**3 - 2*h**2 + 1. Let p be c(y). Solve -p*n = n - 4 for n.
1
Let q be 76/6 + 4/(-6). Suppose 5*n - 4 - 6 = 0. Solve n*z + q = -z for z.
-4
Let c(l) = -l**3 + 13*l**2 + 29*l + 15. Let o be c(15). Solve 5*t = -o*t + 10 for t.
2
Let g(k) = -k - 2. Let w be g(-7). Solve 10 = -0*q - w*q for q.
-2
Let o(l) = -6*l - 9. Let g be o(-4). Solve -g = d - 6*d for d.
3
Let f be (2/6)/((-2)/(-30)). Let v(x) = -x + 6. Let y be v(6). Solve y = 2*g - g + f for g.
-5
Let l(j) = 4*j + 37. Let f be l(-9). Solve y + f = 4 for y.
3
Let s(f) = f**3 - 6*f**2 + f - 5. Let j be s(6). Solve -3*h + j + 5 = 0 for h.
2
Suppose 2*m = 7*m - 5*g - 25, 0 = -2*m - 4*g - 8. Suppose -m*q - 20 = -7*q. Solve -15 - 5 = q*n for n.
-5
Let q(u) = u. Let m(a) = a**2 + 7*a - 5. Let x be m(-8). Let l be q(x). Suppose -l = -n + 2. Solve w + 2 = n for w.
3
Suppose 0 = -2*i + 3*i - 1. Let k = 22 - 16. Solve q = -i + k for q.
5
Suppose -2*b = 4*b. Solve 2*w - w - 1 = b for w.
1
Let p(c) = -4 + 2 + 3 - 3 + c. Let q be p(6). Let r(x) = x**2 + 4*x. Let k be r(-4). Solve k = q*o - 3*o for o.
0
Let u(m) = 3*m - 56. Let x be u(20). Solve -3*a = 19 - x for a.
-5
Let h(o) = -2*o**2 + 8*o - 2. Let x be h(3). Solve -x*g = -3*g + 1 for g.
-1
Suppose 2*w = 3 - 1. Suppose -3*p = -6, 2*c - 5*p = 5*c - 10. Solve k + c = w for k.
1
Let j = -9 + 15. Let r be (40/j)/((-7)/(-21)). Solve -5*w - r = -w for w.
-5
Let q be 0 + 2 + 6 + 2. Let t be ((-8)/(-5))/(4/q). Solve -4*f = -2*f - t for f.
2
Suppose 0*k + k - 45 = 0. Suppose -5*r - 15 - k = 0. Let t = 19 + r. Solve -t + 2 = h for h.
-5
Let t be (-4)/(1 + 1) + -1. Let q be 1 + (-1)/(t/6). Solve -q = -3*j + 2*j for j.
3
Suppose -2*p = -2*r - p + 11, 5*r + p = 17. Let w(c) = 4*c**2 + 5*c**3 - 4*c**3 + 4*c + 2 + 0. Let s be w(-2). Solve r*z + 8 = s*z for z.
-4
Let x be (24/(-40))/(3/(-10)). Solve 15 = -f - x*f for f.
-5
Suppose -5*a + 14 = 2*q - 0, 0 = -3*q + 5*a - 4. Suppose -g + 12 = -6*k + 4*k, 36 = 5*g + 2*k. Suppose g = q*l + 2. Solve -2 - l = 5*y for y.
-1
Suppose 2 = -4*x + 6. Suppose 15 = 4*p + 5*t, 0*p + p + 4*t = x. Let m = 89 + -89. Solve m = p*d + 10 + 15 for d.
-5
Let y be 7 + (-2 - 1) - -6. Solve 2*r - 4*r = -y for r.
5
Let h = -206 - -206. Solve 0*t - t - 1 = h for t.
-1
Suppose -2*g + 5*r - 13 = 0, -5*g - 28 = -r - 7. Let k = g - -4. Solve -3*c - 18 + 3 = k for c.
-5
Let k be 156/27 - 10/(-45). Let u be (-1 + 2)/(2/k). Solve x + u*x = 0 for x.
0
Suppose 5*n + 4*b - 7 = 15, 3*b = 5*n - 36. Solve -15 = -w + n*w for w.
-3
Suppose 4*k = -2*n + 12, 11 = 2*n - k + 4*k. Solve n*y - 8 = -20 for y.
-3
Suppose 3*u = 3*i + 8*u - 14, -i - 1 = -4*u. Solve 0 = -0*q + i*q + 6 for q.
-2
Let f(o) = -3*o - 15. Let b be f(-5). Let l(y) = -y**2 + 3*y + 7. Let g be l(5). Let i be -2*4/6*g. Solve b = i*v - v for v.
0
Let q(t) = t**2 + 4*t + 4. Let m be q(-4). Suppose -4*x + 5*c + 8 = c, -5*c - 1 = m*x. Solve -3*z - 8 - x = 0 for z.
-3
Suppose -4*i - 4*c + 45 = -23, 78 = 5*i - 2*c. Solve -4 = -4*z + i for z.
5
Let m = 4 + 1. Let r = m - 1. Solve 0 = -r*l - l - 10 for l.
-2
Let r = 5 + 10. Solve r = -4*m - m for m.
-3
Let g be ((-2)/4)/((-2)/100). Suppose 2*b = 5*b + 2*z + 1, -2*z - g = -5*b. Solve 0 = -3*w + b for w.
1
Suppose 5*g - 25 = -5. Let v = g - 0. Let m be ((-1)/(-1) - 3) + v. Solve m = 3*a - 4 for a.
2
Suppose -6 - 14 = 5*a, -2*m = -5*a - 20. Solve m = 5*g + 22 - 2 for g.
-4
Let r = -81 - -81. Solve r = 2*d + d for d.
0
Let i(d) = -d + 3. Let f be i(2). Suppose -3*r - 21 = -2*x - 3, 3*x - 5 = -r. Solve -2*v = f + x for v.
-2
Let c be 10/25 + 159/15. Let h = 15 - c. Solve -2*t + 6 = -h*t for t.
-3
Suppose -4 = -u - 0. Suppose 160 = 3*a + a. Let q be (-6)/(-33) - a/(-22). Solve q + 14 = -u*z for z.
-4
Let u(m) = m**2 + 12*m + 5. Let w be u(-12). Let o(i) = -i. Let c be o(-3). Solve 0 = w*q + 2 + c for q.
-1
Suppose 2*o + 10 + 2 = 4*g, 5*g - 4*o = 21. Solve -g - 3 = 2*t for t.
-2
Suppose -3*s + 8 = -s. Let j be (-931)/(-63) + 2/9. Suppose 3*g + 5*f - 20 = f, -3*f + j = 0. Solve m + s*m - 25 = g for m.
5
Let z be 6/(1 + -3) - -4. Solve 0 = 2*n - z + 9 for n.
-4
Suppose -5*d - j + 11 = 0, 4*d - 4*j = -0*j + 4. Let l = -23 + 23. Solve l*p + d*p - 2 = 0 for p.
1
Let v = 3 + -1. Suppose 0 = v*f - 11 + 1. Suppose f*l - 68 = 7. Solve -x - 2*x + l = 0 for x.
5
Suppose q - 10 = -3*v, -2*v + 1 = 5*q + 3. Suppose v*t - 8 - 4 = 0. Suppose 4 = -2*u - p, -u + 3*p = t*u - 12. Solve 3*h + 3 + 0 = u for h.
-1
Let h be 0 + -2 + (-4 - -6). Solve c + 3*c - 12 = h for c.
3
Let s(c) = -c**2 - c. Let v(o) = o**3 - 8*o**2 + o - 9. Let z be v(8). Let d be s(z). Suppose 2*q - 6 - 10 = d. Solve 0 = 3*a - q*a for a.
0
Suppose 0 = 2*d + d + 132. Let u = d + 62. Suppose 0 = s - 3*s + u. Solve n + s = -2*n for n.
-3
Let g(j) = -j**3 + 5*j**2 - 5*j + 4. Let h be g(2). Solve -h*r - 10 = -r for r.
-2
Let g be (-18)/72 - (-50)/16*2. Solve g*d = 5*d - 5 for d.
-5
Suppose 3*p + 0*p - 3 = 0. Let l = 2 - 0. Let t be -1*(4/(-4) + 0). Solve p = -l*b - t for b.
-1
Suppose -50 = -5*a + 2*t, 2*a = -2*t + 5*t + 9. Solve 3*p + 3 + a = 0 for p.
-5
Let s = -16 - -10. Let r be 21/(-14)*(-4)/s. Let b be (0 - (-12)/(-2))/r. Solve 0 = 5*x - 2*x - b for x.
2
Let w = 9 + 6. Solve -2*u = u + w for u.
-5
Suppose -4*a = a - 40. Solve 3*k = 20 - a for k.
4
Let p = 5 + -1. Suppose -5*s - 4*d - 72 = 0, 0 = 3*d + 4 + 5. Let m be (-1)/(-4) + (-57)/s. Solve 0 = m*r - p*r for r.
0
Let b be (-1 + 0)/((-1)/2). Suppose 0 = 5*v + 5*f + 3 - 28, -v = b*f - 7. Solve -2 = v*d + 1 for d.
-1
Suppose -3*i = -8*i. Solve i = -h - 7 + 4 for h.
-3
Let p = -98 + 99. Solve 0 = k + 4 + p for k.
-5
Let w(n) = n**3 + n**2 - 2*n - 1. Let c be w(2). Let h be (4 - c) + 5 - 0. Solve -h*m - 9 = m for m.
-3
Suppose 3*h - 8 = p, 5*h + 2 = -4*p + 4. Solve 5 = -h*r + 15 for r.
5
Let l be 6/4*2*1. Let j(d) = -d**3 - 8*d**2 - 7*d + 4. Suppose 5*q - w + 30 = 0, q = -2*q - 4*w - 41. Let x be j(q). Solve g = -l*g - x for g.
-1
Let x(m) = m**3 - 7*m**2 - 7*m - 4. Let t(k) = -2*k**3 - 8*k + k**3 + 8 - 3*k**2 - 6*k**2. Let r be t(-8). Let z be x(r). Solve q = z*q for q.
0
Let g(w) = w - 7. Let p be g(10). Let q be -2 + (p - 2/2). Let x be (-4 + 2)*1/(-2). Solve q = -3*z - x - 8 for z.
-3
Suppose -4*m + 2*m = 0. Let f b