pose 2*q + q = g. Solve 3*w + 1 + q = 0 for w.
-1
Let p(k) = k**3 + 3*k**2 - 3*k - 6. Let q be p(-3). Solve 0 = -q*c - 0 - 3 for c.
-1
Let b(j) = -j**3 + j**2 + 8*j - 5. Let f be b(3). Solve c - 2*c = f for c.
-1
Suppose -5*k = 30 - 90. Suppose 3*w - 28 = -7*q + 2*q, 3*w = 3*q - k. Let t be 1 + 0 + 0/(-2). Solve 16 - t = q*g for g.
3
Let g = 5 - -1. Let u = 10 + -8. Suppose 6 = u*a - 24. Solve w + a = g*w for w.
3
Suppose z - 12 - 7 = -5*w, 2*w + 2 = 2*z. Suppose -2 = w*s - 8. Solve 0*d + d = -s for d.
-2
Let n(c) = c**3 - 6*c**2 + 2*c + 7. Let r be n(5). Let j be 9/7 - r/(-28). Let v be (1 + j + -1)*3. Solve -4*p + 17 = -v for p.
5
Let a = -13 - -19. Let f = 6 - a. Solve 0 = -4*l - f*l for l.
0
Suppose -2*d - 2*p = -6, d - 10 + 3 = p. Suppose 4*g + 10 - 58 = 0. Suppose d*h - h - g = 0. Solve -2*i - h*i = -5 for i.
1
Let p(a) = -a**2 + 10*a - 10. Let m = 6 + 2. Let y be p(m). Solve -20 = s - y*s for s.
4
Let l be -1 - 2 - (-8 + 6). Let i be ((-4)/(-12))/(l/(-3)). Solve -t + i = 5 for t.
-4
Suppose -k + 5*k + 24 = 0. Let j(h) = h**2 + 8*h + 9. Let t be j(k). Let f be (-17)/(-3) + (-1)/t. Solve f = x + x for x.
3
Suppose b + 4*f + 16 = 0, b + 2*f = -4*b + 10. Let h = 8 - b. Suppose p = h*p - 48. Solve -p = -4*l - 0*l for l.
4
Let u be (-104)/(-3)*(-3)/(-2). Let k = u - 36. Solve 3*w = -w + k for w.
4
Let m(f) = f**3 - 11*f**2 - 9*f - 12. Let h be m(12). Let c be 18/8 + (-6)/h. Solve v - c = -5 for v.
-3
Suppose -5*h + 5 = -5. Suppose -h*u + 4*p + 0*p = -2, 5*p - 10 = 0. Let n = u - -10. Solve -m + 4*m = -n for m.
-5
Let x(f) = f**2 + 2*f + 3. Suppose 2 = -i + 2*i. Suppose -3*t - i = -2*t. Let a be x(t). Solve 6*p = a*p for p.
0
Suppose -108 = -4*g - 2*l, g - 5*l = 39 + 10. Solve 9 - g = 4*m for m.
-5
Suppose 2 = 2*s - j, 0 = -2*j + 3*j - 2. Let h(l) = -s*l - 2*l + l + 2*l - 5. Let i be h(-8). Solve 0 = -i*n + 16 - 4 for n.
4
Suppose 0 = -5*u + 2*r - 30, 0 = 4*u - 3*r + 11 + 13. Let x be (-8)/(-5) - u/15. Solve -c = x + 3 for c.
-5
Suppose -11*d = -15*d + 16. Solve -t = -d*t - 12 for t.
-4
Suppose -98 = -4*i - 2*z, -3*i - 2*z + 0*z = -74. Suppose 10 - i = -2*o. Let c = o - 3. Solve 0 = t - c*t - 15 for t.
-5
Let r be (-46)/(-5) - 3/15. Let h(d) = 3*d - 12. Let j be h(5). Solve j*v - r = 3 for v.
4
Suppose -21 = -5*d - 0*d - x, 13 = 4*d - 3*x. Suppose -2*n + d = -0. Solve 0 = -5*f + n - 17 for f.
-3
Let j be ((-2)/(-8))/((-12)/(-144)). Solve -2*k - 2 = -j*k for k.
2
Let r be (-2)/(-12) + 2047/138. Solve 0 = -4*t + t - r for t.
-5
Suppose 0*m + 4*s = 4*m - 8, 5*m - 2*s = 7. Suppose 7 - m = 3*k. Solve k*u - 2 = -10 for u.
-4
Suppose -d - 2*w = -2*d - 4, w - 3 = 0. Suppose 2 + d = 4*s. Solve -t - 4 = s for t.
-5
Suppose 0 = -g - 2*g + 6. Suppose 4 = g*u - u. Solve n + 5 = u for n.
-1
Let t(r) = -r**3 - r + 8. Let d be t(0). Solve 4 = -4*i - d for i.
-3
Let u(k) be the third derivative of -k**4/24 + 3*k**2. Let h be u(-3). Suppose h*o - 12 = 0, 8 = -2*j + 4*o + 2. Solve 17 = -j*f + 42 for f.
5
Let w be (-4)/(3/(-3)) - 0/(-8). Solve 0 = -w*y + 13 - 9 for y.
1
Suppose 0 = -2*n + 4*d - 20, 2*d = 4*n - d + 15. Solve n = -0*c - 5*c for c.
0
Suppose -2*z + 16 = 2*m, -2*z = -0*m - 3*m - 1. Let j = -6 + 8. Suppose -j*s - 1 = -3*b, -2*s + 0*s + 23 = 5*b. Solve -q + s = m for q.
1
Let m(d) = -d**2 - 8*d. Let s be m(-8). Suppose -5*t - 4*j + 2*j + 75 = 0, 2*t + 5*j - 51 = s. Solve -3 + t = -2*c for c.
-5
Suppose 3*u = 3*o + 2*o + 25, 5*u + 2*o - 21 = 0. Solve -20 = u*s - 0 for s.
-4
Suppose -5*s + 102 + 68 = 0. Let l = -14 + s. Solve 4*i - l = -i for i.
4
Suppose 0*o = 4*o. Suppose 5*f = 3*x - 6*x + 65, -2*x = 4*f - 46. Let h be (-1)/((9/x)/(-3)). Solve o = -2*k + h*k - 6 for k.
2
Suppose 5*w - 25 = 0, 5*v + 15 - 60 = -5*w. Suppose -4*i + n = 136, -3*n + 6 = -i - 17. Let b be i/(-11) - (-10)/(-55). Solve -b*u - v = u for u.
-1
Let c(b) = -b**3 + 6*b**2 + 8*b - 7. Let f be c(7). Solve f = -3*p + 7*p + 8 for p.
-2
Suppose -4*g + 3*g + 26 = 0. Let v(m) = -m - 3. Let k be v(-7). Suppose 0*h - 2*i = h + 1, 0 = k*h - 2*i - 26. Solve 1 = h*w + g for w.
-5
Let w = -4 - -4. Solve 0 = 2*s - w*s - 10 for s.
5
Suppose 7*k = 10*k - 66. Suppose -4*a = -3*j + 23, -6*a - 3 = j - 2*a. Solve j*t = k + 3 for t.
5
Let m = -7 + 19. Suppose 0 = n - 5*d - m, -3*n + d + 12 = -2*d. Suppose -3*p + 6*p = 0. Solve p = -y - n*y - 9 for y.
-3
Suppose 5*a = 3 + 2. Suppose 3 = 2*u - a. Solve 3 = -u*v + 9 for v.
3
Suppose -22 = -2*a + 4*l, 2*a + 2*l = 7*a - 23. Solve -2*d = -a*d for d.
0
Let t(z) = z + 4. Let u be t(-5). Let y = 4 + u. Let j be 4/6 + 7/3. Solve 0*g + j = -y*g for g.
-1
Let b(h) = -h**2 - 12*h. Let l be b(-12). Solve l*u - 9 = 3*u for u.
-3
Let o be 2/2*5 + 2. Suppose -3*g + 3*c - o = 35, 4*c + 21 = -3*g. Let q = -8 - g. Solve -q*m - 16 = m for m.
-4
Let j be 2/2 + -1 + 3. Let p(v) = v**2 + 1. Let x be p(j). Solve 0 = -5*q - 5 + x for q.
1
Suppose -1 = b + 2. Let a be (18/2)/(-3) - b. Solve a*j - 2*j = 0 for j.
0
Suppose h + 2*h = 0. Solve h - 6 = 2*x for x.
-3
Let n = 2 + 6. Solve -n = 3*p - 5*p for p.
4
Let i(y) = 2*y - 4. Let b be i(6). Suppose -32 = 4*h - b*h. Suppose -3*s + 25 = 2*a, 0 = 2*a - 7*a - 3*s + 40. Solve -q = -a*q - h for q.
-2
Let w = 4 - 5. Let u be (0 + w)*50/(-2). Solve -2*m = 3*m + u for m.
-5
Suppose 0 = -2*f - 6 - 10. Let h be (3/2)/((-3)/f). Suppose -29 = -4*v + 7. Solve h*a = a + v for a.
3
Let q be (-2 - 32/12)*3. Let s = -13 - q. Solve s = 5*i + 6 for i.
-1
Let w be ((-22)/55)/((-2)/20). Solve -w = 2*v + 2*v for v.
-1
Let h be (-15)/(-6)*6/5. Suppose h*i - 1 = 5. Let g(k) = -k**3 - k**2 + k. Let w be g(0). Solve w = i*c + c for c.
0
Let t(v) = v + 1. Suppose 0 = 2*c - 15 + 5. Let x be t(c). Solve -f - f = x for f.
-3
Suppose -4*u + 0*u - 10 = -2*m, 2 = 2*u. Let x(v) be the second derivative of v**3/6 + 3*v**2/2 + 5*v. Let b be x(m). Solve o + 4*o = b for o.
2
Suppose u = 6*u - 2*u. Solve u = -4*c + 6*c for c.
0
Suppose -11 = 5*o - 21. Solve -o*w + 0 = 8 for w.
-4
Let s be 5 + (7 + -1)/(-3). Suppose s*x = -t + 9 + 28, t + 15 = x. Let p be ((-4)/6)/(3/(-18)). Solve 0 = -p*l - 3 - x for l.
-4
Let r(q) = -q**3 - 2*q**2 + q + 2. Let t be r(0). Solve 6 = -a + t for a.
-4
Suppose 0 = 2*m - 16 + 6. Solve 0 = 7*k - 2*k - m for k.
1
Suppose 1 - 9 = -2*t. Suppose 2*a + 0 = t. Solve -s - a*s = 3 for s.
-1
Let m = 48 - 40. Suppose 0*g - g = 2. Let v = g + m. Solve 0 = -v*n + 5*n - 1 for n.
-1
Let v be 27/(-6)*4/(-2). Let q = v - 1. Solve 2*c + q = -0 for c.
-4
Suppose a - 2*a = 0, 5*a - 7 = -o. Let v = -5 - -7. Solve o*t = v*t for t.
0
Let h = -6 - -8. Suppose c = -h*c. Suppose -4*n + 12 + c = 0. Solve z = 4*z - n for z.
1
Let x(a) = 5*a**2 - 2*a**2 + 2*a**2 - 4*a**2 + 5. Let b = -1 + 1. Let d be x(b). Solve 0 = -d*w - 3 - 12 for w.
-3
Suppose 23*t + 64 = 31*t. Solve 0 - t = -4*x for x.
2
Let j(t) = t**3 - 4*t**2 + 4. Let a be j(4). Solve 0*f = -a*f + 4 for f.
1
Suppose -16 = -k + 5*k, -2*y - 5*k - 10 = 0. Suppose 0 = -2*r - 2*z - 2*z + 24, 5*z - 54 = -4*r. Solve o - y*o = r for o.
-4
Let b be (-3 - (2 - 1)) + 1. Let h = b + 9. Suppose -3*n - 12 = -h*n. Solve 2*j = n*j for j.
0
Let l(k) = k**3 - 2*k**2 + 2*k - 1. Let h be l(2). Let z be h/(-12) - (-49)/4. Suppose 5*d - 3*d - z = 0. Solve -4*y = -2*y + d for y.
-3
Suppose 7*k - 3*x = 4*k + 24, -4*x = 0. Let c(j) be the second derivative of j**3/6 + j**2/2 + 3*j. Let v be c(1). Solve 2*u + k = -v*u for u.
-2
Suppose 4*v - 4 = 4. Solve x = 1 + v for x.
3
Let j be 1 + (3/1)/(-3). Let b = j - -2. Suppose 2*m + 3*a - 16 = 15, 0 = 4*m + b*a - 50. Solve m = 3*z + 2 for z.
3
Let j(i) = -2*i**3 - 3*i**2 - 2*i - 2. Let m be (-16)/6 - (-2)/3. Let o be j(m). Let g(q) = q**3 - 5*q**2 - 7*q + 7. Let z be g(6). Solve o - z = -5*r for r.
-1
Let f = 152 - 149. Solve -f*w = -4*w for w.
0
Let t(j) = j**3 - 8*j**2 - 8*j - 7. Let l be t(9). Let n be 0/l + (-8 - -11). Solve 5*s = 2 + n for s.
1
Suppose -5*i = -2*f + 11 - 3, -2*f + 8 = -i. Let u = i - -5. Solve 0 = -u*c - 16 + 1 for c.
-3
Suppose -k = -4*q + 2, 2*k + 1 = -2*q + 7. Suppose 4*s - k = 3*s. Solve -s - 2 = -2*m for m.
2
Let n(z) = -z**2 + z + 1. Let h be n(0). Solve -h - 3 = 2*v for v.
-2
Suppose k + 6 = -2*o - 3, 13 = -4*o + 3*k. Let f be o/(0 + -3 + 1). Solve 0 = -c + f - 4 for c.
-2
Let v = 11 - 5. Suppose -g + 4 = -v. Solve 4*p = -p - g for p.
-2
Let n = 11 + -23. Let