 + 2*u + 12 = c*u for d.
2
Suppose 4*u - 11 = 4*y - 3, 2*u - 5*y = 13. Let q = 2 + u. Let g = 14 - 8. Solve 2*s - g = -3*b, 4*s - q - 1 = -b for b.
2
Let b(g) = -10*g - 75. Let x be b(-8). Solve x*j - q = 15, 5*j + q - 6 - 9 = 0 for j.
3
Let y be (-112)/4*(2 + 22/(-8)). Solve 5*d - 1 = -y, -2 = -2*n + 3*d for n.
-5
Let b be 1 + ((-15)/(-15) - (-8)/2). Solve b*j + 3*p + 32 = j, 4*p + 24 = -2*j for j.
-4
Let s(r) = r**3 + 14*r**2 + r + 18. Let q be s(-14). Suppose 6*x = 4*x + q. Solve -x*m + 28 = 5*f, 2*f + m = 2*m + 4 for f.
4
Let d = -21 + 61. Let f = 60 - d. Solve -z + 2*t + 5 = 0, 4*z - 3*t - f = -5 for z.
3
Let y be (16*2/(-2))/1. Let l be (-12)/y + (-51)/(-12). Solve v = 3*p + 6, 0*p = 4*v + l*p + 27 for v.
-3
Let i(p) = 2*p**2 - 8*p + 2. Let y be i(4). Solve 4*z + y*a = -14, -5*a + 10 + 0 = -5*z for z.
-3
Let w = 6 + -4. Solve -1 = -w*r - 4*z - 3, -5*z - 19 = -3*r for r.
3
Let c(r) = 2*r - 26. Let l be c(13). Solve l = 2*o + 2*f - 4, 0 = 2*o - 2*f - 1 - 11 for o.
4
Suppose -7*o + 2*o = -10. Suppose o*t + 15 = 111. Suppose 2*f - t = -f. Solve -3*h - 4*m - f = 0, 3*h + 6*m - m = -17 for h.
-4
Let l be (-5 + 7)*5/2. Suppose a + 3*i = -4, -l*a - 3*i + 4 = -0. Solve -2*b = a*b + 3*m - 15, -7 = -3*b + 2*m for b.
3
Let k = 4 + -1. Suppose k = l - 1. Solve -l*z = -2*z - y + 6, 5*z = -5*y for z.
-2
Let y = -56 - -58. Solve -2*f - 3*c = 4, -2*f + 5*c - y*c = 16 for f.
-5
Let h(i) = i - 6. Let d be h(6). Suppose u - 4*j = 21 + 1, 3*j + 15 = 0. Suppose d = -u*c - 2*c + 12. Solve -4*k + 3*t = 7*t + 8, 5*t = -c*k - 12 for k.
1
Let m = 11 - 11. Let j = m - -3. Solve -5*k + z = -25 + 7, j*k - z = 10 for k.
4
Let k be (-18)/(-4)*2/3. Suppose -k - 22 = -5*d. Suppose -d*p = -30 - 15. Solve -2*u - m - 4*m - p = 0, 3 = -3*m for u.
-2
Let a(t) = -t + 2. Suppose -l = 3*l - 8. Let x be a(l). Solve x*h - 4*h + 7 = -3*s, 5*h + 5 = s for s.
-5
Let h be (1 - 0)*-4 - -4. Suppose 4*q = h, -2*z + 0*q + 4*q + 6 = 0. Solve -2*s - 2*p + 2 = 0, -z*s = 2*s - 3*p - 21 for s.
3
Let n be ((-3)/(-2))/(5/(-10)). Let y(g) = -2*g - 1. Let x be y(n). Solve 2*v - 14 = -4*i, -3*v - x*i = -4*v - 28 for v.
-3
Let x be (-7)/(49/(-2))*7. Let k be x/3 + (-14)/(-6). Solve -g = -t + 6*t - 13, k*t - 3 = g for g.
3
Suppose 5*l + 4*k + 3 = 18, -4*l + 12 = 5*k. Solve 0 = -5*y - 3*t - 25, l*t + 5 = 7*y - 2*y for y.
-2
Let k(j) = -2*j - 4. Let y be k(-3). Suppose -3 - 5 = -y*f. Solve -3*p + 30 = -3*z, -10 = 3*z - 3*p + f*p for z.
-5
Suppose 6*j - 2*j = -64. Let m = 28 + j. Solve -4*r - m = 2*d, 4*d - 6*r + 2 = -3*r for d.
-2
Suppose -27*h = -23*h - 32. Solve -4*j + y - 4 = -2*y, 0 = 5*j - 3*y + h for j.
-4
Let n be (-1)/(-1) - (-17 + -2). Suppose n = 9*t - 4*t. Solve -t*h + d = 19, -2*d - 3*d - 15 = 2*h for h.
-5
Let r be 2/(-7) + 38/(-14). Let l(g) = 2*g + 4. Let n be l(r). Let f be 3 - n/(-2)*-1. Solve z - 13 = f*j, -j = -2*z - 4 + 2 for z.
-3
Let s = -29 - -21. Let k = 13 - s. Solve z + 20 = -4*i, k = -3*z - 3*i - 3 for z.
-4
Let y(z) = z**3 + z**2 + z + 3. Let j = 0 - 0. Let v be y(j). Solve t - 6*t = v*q + 14, -q + 14 = -3*t for q.
2
Let v(l) = l + 35. Let n be v(-30). Solve 3*g - 2*s = 6, -4*g - 3*s + 13 - n = 0 for g.
2
Suppose -4*l - 5*h + 23 = 0, -2*l + 10 = 2*h - 0*h. Solve -m - m = -l, 5*p + 2 = 2*m for p.
0
Let n(l) = -l**3 - 3*l**2 + 2*l + 3. Let f be n(-2). Let m(j) = -j**2 + 7*j - 7. Let x be m(6). Let v = x - f. Solve 3*u = -z - v, u + z + 1 = -u for u.
-3
Let v(q) = q**2 - 1. Let g be v(-2). Solve 0 = 2*b - p + 5, -b - 4*p - p + g = 0 for b.
-2
Suppose 0 = -6*x + x + 5. Let z = x + 5. Solve 3*g = -w - 6, -5*w + 3*g - z = -2*w for w.
-3
Suppose 0 = -3*u + y + 10, -u + 20 = u - 4*y. Suppose -4*c + 0*c = -48. Solve -j + u*r - 8 = -3*j, -3*j - 4*r + c = 0 for j.
4
Suppose 2*q - g - 2*g - 29 = 0, -10 = 2*g. Let v = q - 4. Suppose v*n + 3*w - 9 = -3, 2*n = 4*w - 8. Solve -m = 0, 4*a + n*a - 4 = -2*m for a.
1
Let u be (-1*(-3 + 2))/1. Solve -5*s + 0*s - 3*n + u = 0, 4*s + 8 = 2*n for s.
-1
Let x(l) = 7*l - 35. Let f be x(7). Solve 2*a - f = -3*q - q, -4*a = 5*q - 16 for a.
-1
Suppose -d - 3*d = 0, -2*d + 10 = -5*w. Let s(v) = -1. Let t(x) = 2*x + 4. Let a(p) = -3*s(p) - t(p). Let k be a(w). Solve 0*g + 3*m + k = -5*g, 3 = -3*m for g.
0
Let i be -2 - (-2)/((-6)/(-9)). Solve 0 = -v - 2 - i, 3*v = z - 10 for z.
1
Suppose 0 = -v + 33 - 12. Let m be (-2)/7 - (-214)/14. Suppose 3*h + 3 = m. Solve -h = x + 3*w, w - v = -4*x - 4 for x.
5
Let z(b) = -b**2 + 9*b + 23. Let a be z(11). Suppose 9 = 5*l - a. Solve j = 5*u + 12, 0 = l*u + 2*j - 0*j for u.
-2
Suppose -2*a = -5*a. Suppose -o - 2*g + 1 + 4 = a, 2*g + 23 = 3*o. Suppose -s + o = 3. Solve 0 = s*h - 2*l - 14, -3 = 2*h - 4*h - 3*l for h.
3
Let y = -14 + 20. Solve -2*p - 6 = -2*k + y*k, -9 = k + 2*p for k.
1
Let z(o) = o**3 + 4*o**2 + 2*o - 1. Let i be z(-2). Let g = -6 + 10. Solve -i*t = t + g*r - 4, r - 17 = 3*t for t.
-4
Suppose -19*o = 2*o - 420. Solve -4*w = 4*d - 1 - 39, o = 4*w for d.
5
Let i be (4 - 1)/(-1 + 2). Suppose 0 = -5*u + u + 2*x + 4, 3*u - 4*x = 8. Suppose u*p - p = -7. Solve h + 15 = -i*l, 4*l - p*h + 20 = -2*h for l.
-5
Suppose 14*a = 5*a. Solve a = -2*g + 4*u - 4, 5*u = -2*g - 13 - 0 for g.
-4
Suppose -g = 2*u - 13, -g = -0*g - 2*u + 3. Let v = -78 + 47. Let a be 0 + 2 - (-2 + v). Solve g*o - a = -2*t - 3*t, -o + 3*t = 1 for o.
5
Let y(b) = -5*b + 4. Let m be y(0). Solve 2*o - 3*o = -3*n + 7, n + m*o = 11 for n.
3
Let h(q) = -q**2 - 4*q + 1. Let m be h(-4). Let o = 5 - m. Let i = o + -3. Solve i = -d, 3*d + 8 = -z + 2*z for z.
5
Suppose 0*h - 12 = -4*q - 2*h, -3*q + 12 = 3*h. Suppose -2*u - q - 2 = 0. Let g be (-25)/((-2)/((-4)/u)). Solve -3*z - g = 2*m + 3*m, 3*m = -6 for z.
-5
Let x be (-3 - 1/(-1)) + 39. Suppose -x = -3*h - 7. Solve -4*t + 21 - 1 = -5*i, -2*t + 4*i + h = 0 for t.
5
Let w be ((-3)/9)/((-2)/12). Solve 4*u + 16 = -w*q + 5*q, -16 = 4*u + 5*q for u.
-4
Suppose -3*b + t + 16 = 0, -8*b = -3*b + 5*t - 20. Let g = 8 + -3. Let n(s) = s**2 - 1. Let f be n(1). Solve f = 5*z + 4*r - 4, -z + 3*z + b*r - g = 0 for z.
0
Suppose -7 = -3*d - 0*f - f, 2*f = -d - 6. Let m(h) = 6*h - d - 3 - h**2 + 5. Let u be m(4). Solve 5*p = -2*b + 3, 0 = -p + 5*b - u*b for p.
1
Let z be -3 - (56/(-2))/4. Suppose -41 + 1 = 4*j. Let o be 6/j - (-3)/5. Solve o = -z*g + f + 17, -3*f + 2 = -5*g + 18 for g.
5
Suppose 0 = r - 0*b + 5*b - 5, -r = -4*b - 5. Let y(n) = -4 - 12 + n**2 + 11 - 3*n. Let l be y(r). Solve 21 = -h - t + l*t, 2*h + 3*t = 2 for h.
-5
Suppose 0 = -2*w + 12 + 4. Solve i = -5*y + w, -2 + 8 = 2*i for y.
1
Let r = -12 + 17. Suppose 3 = -5*x - 72. Let k = 18 + x. Solve -r*t - 28 = -h, t + k*t + 2*h = -14 for t.
-5
Let h = 23 + -15. Let x = 8 + h. Suppose 4*l + 3*s = -0*l - 12, 3*l - x = 4*s. Solve 4*b + 20 = l, -2*z - 2*b = 28 - 12 for z.
-3
Let k(m) be the first derivative of -m**2/2 - 8*m + 1. Suppose -32 = 3*g + g. Let z be k(g). Solve z = w + 2*b + 3, 2*w + 0*b + 5*b + 9 = 0 for w.
3
Let c be 3 - (-3)/(3/2). Let w = -13 + 5. Let o = -4 - w. Solve c*i + 15 = 5*s, o*i + 0*s = -3*s + 2 for i.
-1
Let b = 36 + -31. Solve 2*w - b*y + 19 = -w, -2*y = -5*w for w.
2
Suppose 2*u - 19 = 17. Solve 0 = -o + 2*v - 6, u = -2*o - 3*o + 4*v for o.
-2
Let f be -5*(3 + (-18)/5). Suppose -2*t + f = -5. Solve t = -a - u - 4*u, 4*u = 0 for a.
-4
Let g = 6 - 4. Solve 3*h = 4*m - 6*m, 0 = -g*m + 6 for h.
-2
Suppose 15 = 3*p + 3*c, -2*p = -3*p - 3*c + 7. Solve n + w + p*w + 24 = 0, 4*n + 6 = -2*w for n.
1
Suppose -6 = -6*l + 3*l. Suppose 0 = 2*p + 2*p. Let f = 2 - p. Solve -15 = z - 3*q, -f*q + 10 = l*z + z for z.
0
Let v = 11 + -3. Solve 2*c - 2 = -2*n - v, -3*n = 0 for c.
-3
Let m(v) = 3*v**2 - 7*v + 11. Let i(j) = -4*j**2 + 8*j - 12. Let q(z) = -4*i(z) - 5*m(z). Let d be q(-6). Solve d = 2*w + 3*u, u - 14 = -3*w - u for w.
4
Let y = -9 + 5. Let s = 4 + y. Solve 0 = 4*l - 3*j + 3, s = -4*l - 3*j + 7*j for l.
-3
Let f(h) = 2 - h + 0*h**2 - 6*h**3 + 0 + 4*h**3 - 4*h**2. Let z be f(-2). Solve 3*i = 12, z*q - 5*i = 3*q - 15 for q.
5
Let b(t) = t**3 - 6*t**2 + 8. Let n be b(6). Suppose 2*w - 22 = -n. Let d = -7 + w. Solve d*k - 5*i - 5 = k, -5*k - 4*i - 25 = 0 for k.
-5
Let t = 64 - 56. Solve 8 = -l - 5*f - 12, 0 = 2*f + t for l.
0
Let b = -1 + 1. Suppose 0 = -v - b*v - 3*t + 5, 0 = 5*t - 5. Let w = v - 0. Solve 2*f = 6*f - a + 20, 0 = w*a for f.