*u + 12 for c.
4
Let k(y) = -y + 19. Let r be k(19). Let a be (5/2 - 3)*0. Solve -j + r*j - 4*w - 4 = a, 2*j - 2*w = 12 for j.
4
Suppose 8 = 3*z + z. Let n(d) = -d**3 + 5*d**2 + 5. Let a be n(5). Solve 0 = a*k + 6*p - 2*p - 12, -p = z for k.
4
Suppose 0 + 15 = 3*o. Solve -o*t + 5*s - 10 = 0, 29 = -t - 3*t - 3*s for t.
-5
Suppose 292 = -3*y - 158. Let a be y/(-24) - 1/4. Suppose 6*c - 3*c - a = 0. Solve -c*o = 7 + 3, 20 = -4*l - 4*o for l.
0
Suppose 0 = -2*h + 17 - 45. Let o be 4/h + 2/7. Suppose -b + 2 = o, 4*f + 4*b - 24 = -0*b. Solve 0 = -f*x - x - 2*r - 5, 0 = 5*x - 3*r + 5 for x.
-1
Let l(x) = -x**3 - 3*x**2 + x - 3. Let j be l(-3). Let s = 8 + j. Let k = 6 - s. Solve 5*o - 3*y + 31 = -0*y, k = 2*y for o.
-5
Let v be 1/(-2)*(6 + -26). Let d = v + -7. Let h(g) = -g + 6. Let y be h(d). Solve 2*o = 4*o - 5*a + 12, -y*o - 4*a = -5 for o.
-1
Let g(v) = v**2 + 14*v + 23. Let o be g(-13). Solve 3*d = 0, d - o = -5*k - 0*d for k.
2
Suppose 16 = 4*l + d, -21 = -4*l - l - d. Let w = l + -3. Suppose -a - c + w = -0*a, -3*a - 4*c + 3 = 0. Solve 4*z = -3*k - 6 + 34, 40 = a*k + 5*z for k.
4
Let r be 8/28 - 19/(-7). Solve r*k + 3 + 2 = 2*u, -4*u - 5*k = 45 for u.
-5
Suppose 3*h = -3*c + 8 + 7, 0 = -c + 2*h - 4. Let o(r) = -2 + 1 - r**2 + 4*r + 0 + 2. Let v be o(2). Solve v*g - c*y + 35 = 0, -g + 3*y - 20 = -0*y for g.
-5
Let n = 32 + -23. Let v = n + -6. Solve -y - y = -3*d - 6, 9 = -v*d + y for d.
-4
Let x = -19 + 19. Solve x = -b - 0*b + 1, 4*i = -5*b + 9 for i.
1
Let t(m) = -1 + 3 - 5 - m**3 + 4*m**2. Let a be t(5). Let h = 53 + a. Solve 0 = -5*q - 5*p - h, q + 4*p + 6 = 1 for q.
-5
Let r be 0/(-3 + 8 - 4). Solve r = 3*o + 3*q + 15, -2*o + 3*q + 5 = -10 for o.
0
Let f be 7 - (-2 + 2)/(-2). Let i be (-2)/4*2*5. Let t = 9 + i. Solve 2*d - 2*a - 1 = -f, 2*a = -t for d.
-5
Let l be ((-68)/12 - -2)/((-1)/3). Solve -i - l = -3*n, 21 = 5*n + 2*i - 1 for n.
4
Let p be 170/(-4) - 2/(-4). Let c be (0 + p/9)*-3. Suppose 3*a = 2*v - 16, 0 = -0*v + 4*v + 3*a - c. Solve -3*w + 4*i - v = 8, 4*w = -i + 8 for w.
1
Suppose 0*k - 5*k = -25. Suppose -5*b + 2*d = -2*d + 1, 2*b = -k*d + 26. Suppose 5*t = 3*w - 8*w, -3*w + t + 12 = 0. Solve w*y = 1 + 2, 5*y = -b*f + 8 for f.
1
Suppose -f + 22 = 2*j - 5*f, 4*f + 16 = 0. Solve 2*y - 2*q + j + 11 = 0, y - 2*q = -12 for y.
-2
Let g = -2 + 5. Suppose -22 = -5*b + 43. Solve -2*j - b + 3 = g*c, 20 = c - 4*j for c.
0
Let s = -4 - 0. Let h = s - -9. Let i(p) = -p**3 - 11*p**2 - 11*p - 6. Let x be i(-10). Solve -2*k = -0*d - h*d + x, -d - 5*k = 10 for d.
0
Let p(h) = h - 8. Let z be p(6). Let o be z/(-4) - 3/(-2). Let j = o - -3. Solve -m + 5*m = 3*c - j, 0 = 4*c + m + 25 for c.
-5
Let p = -6 - -7. Suppose 0 = -4*g + 9 - p. Solve 5*u = -i - 12, -g*u = 2*i + 3 + 5 for i.
-2
Let x(w) = -3*w - 3. Let s be x(-3). Let h(r) = -4*r - 5*r + r**3 + r**2 + s*r**2 - 3. Let c be h(-8). Solve -c*k + 2*n + 31 = 0, -4*k + 26 = 3*n - 5*n for k.
5
Suppose -2*x + l - 3*l + 20 = 0, -4*x + 35 = 3*l. Suppose 4*i + 11 + 1 = 0. Let w = x + i. Solve -2*h - m - w*m + 1 = 0, 0 = -3*h - m - 2 for h.
-1
Let p(i) be the third derivative of -i**4/24 + 7*i**3/6 - 3*i**2. Let x be p(5). Let q be 9 + (-2 + 2)/2. Solve 4*c + 4*a - 6 = -x, -a + q = 5*c for c.
2
Let o be (2/(-6))/((-9)/81). Solve 4*d - 2*a - 12 = 0, -2*d - o*a = -10 - 4 for d.
4
Let c = 1 + 3. Let r(b) = -2 + 0 + b - 1 - c. Let f be r(10). Solve -y + d = 0, -f*d = d + 16 for y.
-4
Suppose n - 28 = -0*u + 5*u, 0 = 5*u + 25. Suppose -6*i + 5*i = -n. Suppose b - i - 1 = 0. Solve -t + c = 2 - 8, -b*c = 12 for t.
3
Let v be ((-4)/(-6))/(26/(-429)). Let u = 13 + v. Solve u*j - j = 3*p - 3, 2 = 2*p - 2*j for p.
1
Let z = 1 - 2. Let y be -6*z/6*2. Solve 2*a + 2 = a + y*j, -a - 6 = -4*j for a.
2
Suppose 2*l + b + 2*b = 8, -3*l = -2*b - 12. Solve 5*y - l = 2*z, z + 2*z = 4*y + 1 for y.
2
Let n(x) be the third derivative of x**5/60 + 3*x**4/8 + 2*x**3 - x**2. Let q be n(-8). Solve -d - 4 = q*j, 4 + 0 = -5*d - 4*j for d.
0
Suppose n + 2 = 0, 0 = -3*z - 2*z - n - 2. Solve 3*u = -l, z*u = 3*u + 5*l for u.
0
Let n = 38 - 9. Suppose -h + n = 4*a + 11, -5*a + 15 = 5*h. Suppose 6 + 2 = 2*i. Solve a*r - 7 = -3*f, -i*f - f + 19 = r for f.
4
Let m be (-16)/(-10)*(-30)/(-12). Suppose -4*t + m*d = -20, 3*t - 3*d = -t + 15. Solve -z + 0*z + 2*p = -8, t = -5*z + p + 4 for z.
0
Suppose -11 + 41 = -5*f. Let d be (4/6)/((-1)/f). Solve -2*t = d*g, 0*t = -3*t - g for t.
0
Let f(p) be the first derivative of 2*p**3/3 + 1. Let s be 1*(-1)/(-1 + 0). Let y be f(s). Solve -4*u + 5*t + 28 = 0, -12 = y*u + 6*t - 2*t for u.
2
Suppose 14 = -2*b - 4*h, -2*h + 6 = -2*b - 14. Let g be (-1)/(b/6 + 1). Solve 4 = r - 3*j, 3*r + j + 4 = g*r for r.
-2
Suppose 5*b + 0*i - 6 = -3*i, -3*i = -5*b + 24. Suppose 2*y + 5*k + 5 = 26, 4*k - 21 = -b*y. Solve -4*g - 10 = 2*n - 30, -y*g = -3*n - 6 for g.
4
Suppose 5*d - 37 = -4*g, 5*d + g = -g + 31. Solve -2*w - 4 = d*h + w, -8 = 4*h + 4*w for h.
1
Suppose -3*f + 2*f + 11 = -4*u, -13 = -3*f + 2*u. Solve 5*v - 3*m - m - 1 = 0, -3*v = -f*m - 3 for v.
-3
Suppose i - 4 = 1. Let k be (-2)/(-4)*5*2. Solve 0 = 3*w + i*x + k, -6*w - 5*x + 35 = -11*w for w.
-5
Let u be (-35)/10*(-8)/14. Solve c + u*c - 4*o - 6 = 0, 4*c + 3*o = 8 for c.
2
Let l be 20/(-6)*6/(-5). Solve 5*k - t = 2*t + l, -4*k - 7 = t for k.
-1
Let i(x) = 6*x**2 + 9*x + 1 - x**3 - 10 + 0*x. Let w be i(7). Solve 3*s + c - w*c + 21 = 0, 3*s - 2*c + 15 = 0 for s.
-3
Let u be (1 - -6)*12/28. Solve -u*o - 4 = 5*m, 3*o + 4 + 4 = -m for m.
1
Let j(k) = -5*k**3 + k. Let u be j(1). Let s be 114/22 + u/22. Suppose -3*b - 2*m + 12 = 0, -2*b + s*m = -7 - 1. Solve 3*i = 4*y + i - 4, 4*y + 2*i = -b for y.
0
Let z = -24 + 41. Solve 4*b + 13 = -3*u, -4*u - u = 2*b + z for u.
-3
Let k be 16/56 - 33/(-7). Let a be (-4)/(-2) + -2 + 2. Solve a*s + 0*s = -2, -4*r - k*s - 21 = 0 for r.
-4
Let t be 612/(-45) + 4/(-10). Let z = t + 35. Solve 0 = 3*n + 9, 5*n + z = -3*o + 3*n for o.
-5
Let h(q) be the third derivative of -q**4/24 + 5*q**3/3 - 3*q**2. Let k be h(7). Solve -4*p + 1 + k = -2*m, 2*p = 4*m + 8 for m.
-2
Suppose 8*d = 5*d - g + 1, -4*d + 5*g = 5. Solve d*x + 19 = -3*f - 4*x, 3*f = 3*x + 9 for f.
-1
Let a(g) = -g**3 - 7*g**2 - 7*g - 4. Suppose -2*l = 2*l - 40. Let h = 4 - l. Let x be a(h). Solve v + 2*t = -x*t + 10, -2 = 4*v + 2*t for v.
-2
Suppose -9*q - 3*k = -6*q - 12, -2*k - 4 = -q. Let y be ((-2)/(-6) - 0)*15. Solve g - y*u - 25 = -4*g, 16 = -q*u for g.
1
Let n be 4/14 - (-2)/(-7). Let x = n - -2. Let z be ((-4)/6)/(x/(-15)). Solve 2*u + u + 2*v = -10, 0 = -z*u + 2*v - 22 for u.
-4
Let s(f) = -f + 31. Let n be s(26). Solve 0*v + 10 = 2*v, -40 = n*y - 5*v for y.
-3
Let n(h) = h**3 - 7*h**2 + 7*h - 4. Let b be n(6). Suppose -i - 4 = -2*i. Solve b*f - 4 = d - 1, -i*f - 5*d = 1 for f.
1
Suppose 3*s - 3 = 2*n, 5*n - 4*n - s = -1. Let b = 5 + 3. Let l be (-16)/b + 5*1. Solve -h + 3*j + 12 = -5*h, n = l*h - 3*j + 9 for h.
-3
Suppose -10*h = -6*h - 44. Solve -2*c = 3*m + h, 4*m - 2*m - 10 = 3*c for c.
-4
Let q be (4/(-6))/(2/(-9)). Suppose -n + 12 = q*n. Let f = n - -1. Solve -h + 4*b = 8, 2*b + 1 = f*h - 9 for h.
4
Let g = -1 - -3. Let w(j) = -1 - j - 3*j + 2*j - j**2 + 5*j**g. Let h be w(-1). Solve h*p = -5*d - 2 - 3, 7 = -d + p for d.
-4
Let q(d) = d**3 + 6*d**2 + 9*d + 4. Let b be q(-4). Solve b = 5*m + 4*a + 2, -5*m - 3*a = -0*a - 1 for m.
2
Suppose -2*y - 5 - 13 = 0. Let v be 2*1/(-6)*y. Let a be 7 + -1 + -1 - 0. Solve 2*i + 2 = -a*l, v*i + 3 - 19 = 2*l for l.
-2
Let z = -6 - -12. Let i = z + -2. Solve v - 2 = -2*u, -4*u + i*v - 20 = -0*v for u.
-1
Let n = 1 - 4. Let t = n + 5. Solve -2*u = -t*z - 6, -u - 5*z + 5 = -4 for u.
4
Let t = -9 - -13. Solve -3*i - t*w = -10, 0 = -4*i - 4*w + 2*w for i.
-2
Suppose 3 = 2*t + b - 2, 2*b + 8 = 5*t. Let m = 1 - 1. Suppose 2*l - l = m. Solve l = -t*h + 4*h + 2*n, 3 = 2*h + n for h.
3
Let k be 1 - (2 + 0 + -4). Suppose l - 16 = 3*p, k*p = -l + 5*p + 14. Let n be (-1)/2 - 195/(-10). Solve 2*x = -0*m - m - l, x = -4*m - n for m.
-4
Suppose -3*w = -3 - 6. Let f be w*(-2)/4*-6. Solve -5*p = -2*p + 9, a - f = 3*p for a.
0
Let y(i) = 9*i + 2. Let g be y(1). Solve -3*r + 2*a + 2*a = 18, -2*r = 5*a - g for r.
-2
Suppose 0 = 5*v - 2*r + 4, 4*v - 10 = 5*r - 10*r. Suppose v = 4*q - 2 - 6. Solve -g = -1, -q*g + 14 = 2*s + 2*s for s.
3
L