 2 + 8 = h, 5*n + 12 = g for n.
-3
Let f = -38 - -40. Solve -2*p = -2*k, -3 = -5*p + f*k + 2*k for p.
3
Let o = 5 + -9. Let f(r) = 4*r - 14. Let p be f(5). Let j = o + p. Solve 2*d - 2*w = 2, -j*d - 9 = -7*d + w for d.
2
Let o = -4 + 7. Solve -3*i + 4 = o*w + w, 3*w - 3 = -3*i for w.
1
Let i be 236/(-12) + 4/(-12). Let b = i + 21. Solve 0 = -j + b - 2, -13 = 5*n + 3*j for n.
-2
Let j(b) = -5*b + 1. Let u(s) = 4 - 6*s + 5*s - 3. Let y(t) = j(t) - 3*u(t). Let q be y(-7). Solve o = -5*r - 15, -4*r - 2*o = -4*o + q for r.
-3
Let v(j) = j**3 - 6*j**2 - 5*j - 9. Let t be 5/20 - 54/(-8). Let c be v(t). Solve 3*o = -5*u - 23, -c*u - 16 = -5*o + o for u.
-4
Let m(a) = a**2 - 10*a + 10. Let u be m(8). Let g = -5 - u. Suppose 0 = 2*h - 31 - g. Solve 2*s = 2*q + q - 12, -3*s + h = 4*q for s.
0
Let g be (-4 - (1 - 2)) + 17. Suppose 3*i = -4*f + 3, -2*f + 5*i + 6 = -5*f. Let v be (0 - f)*(-8)/6. Solve v*u + g = -2*n, 5*u = -n + 2*n - 21 for n.
1
Suppose 0 = 7*t + 2 - 86. Suppose -5*g + t = -8. Solve b - g = -i + 1, -5*i + 2*b + 25 = 0 for i.
5
Let v be (1/(-3))/(2/6). Let n = v - -5. Suppose -n*p = -3*p. Solve 0 = 4*b - 5*r - 28, p = b - 3*r - 0 - 14 for b.
2
Let v = 25 + -9. Suppose 2*c = 4 + v. Let k = 7 - 5. Solve c = -b - 5*l, k*b + 3*l - 1 = -0*b for b.
5
Suppose 8*l = 7*l, -3*l = 3*x - 6. Solve -x*h - y = 4, -2*y + 3 - 7 = 0 for h.
-1
Suppose z = -4*z + 10. Let x = z - -1. Suppose 2*t = -i + 12, 27 = 5*t + 2*i - 1. Solve -t*l - 16 = x*v - v, -5*l - 21 = 2*v for v.
2
Suppose 2*c = 4*g - 2*g, -3*c + 5*g = 4. Let b(s) = -4*s + 11*s + s**c - 2 - 4. Let v be b(-9). Solve 2*q = -5*u + 21, -3*u + v + 5 = -q for u.
5
Let z(d) = -d**3 + 9*d**2 - 6*d + 7. Let f be z(8). Suppose f = 5*v + 3. Solve -h - 2*n + v*n = -5, 10 = -4*h + 2*n for h.
-5
Let c = -25 + 29. Solve c*o = -3*a + 22, 4*o - 7 = 5*a - 1 for o.
4
Let i be 0/(4 - (-2 - -3)). Suppose 0 = -i*j - j. Solve -4*l + 20 = o, j*o + 5 = o + l for o.
0
Let u be 1/(2/(15 + -3)). Solve -3*p = -g - 8 + 19, 3*g = u for p.
-3
Let q be (-2 + 1)/((-2)/28). Let f = q - 7. Let y(r) = 2*r**2 - 2. Let p be y(-2). Solve -2*n = -0*x + x + f, -n + 2*x = p for n.
-4
Let w be (-4 + 2)*15/(-6). Suppose -2*c - 3*c = -w. Solve 0 = -4*d + 4*m - 4, -4*d + 3*m - 8 = -c for d.
-4
Let n = 37 + -9. Let z = 74 + -52. Solve 4*i + n = y + 11, 0 = -4*i + 2*y - z for i.
-3
Let l be (-4)/(-2) + 12/(-2). Let t be -5 + 3 - l - -5. Solve -2*a + 27 = 3*v + 3*a, 0 = -v - a + t for v.
4
Let y(z) = z - 3. Let p(t) = t**2 - t + 6. Let c be p(0). Let n be y(c). Solve 0 = -n*a - u + 4, -6 = -u - 5 for a.
1
Let d be 5/10 + (-14)/4 + 6. Solve 0 = 3*i - 4*v + 8, 0*v = i + d*v - 6 for i.
0
Let u(t) = t**3 + 3*t**2 + t. Let v be u(-3). Let a be -9*(2 - (-8)/v). Suppose -a*h = -3*h. Solve -5*j - 3 = -3*w + 4, 4*j - w = h for j.
1
Let z(y) = y**2 - 5*y + 2. Let p be z(5). Let d(x) = -2*x + 1. Let g be d(-1). Solve -2*q - l - 1 = 14, g*q + 5 = p*l for q.
-5
Let o be 2/(-6) - 8/(-6). Suppose 4*y + o = 5. Let a = y - -4. Solve -3*l + 3 = 0, a*l = -4*v + v - 7 for v.
-4
Suppose 0*t = j + t - 5, -2*t + 16 = 5*j. Suppose j*q - 4 = q. Suppose q*k = 7 + 13. Solve 4*y + 7 = -k*a, -a + 2*a = 1 for y.
-3
Let x(y) = y**3 - 6*y**2 - 12*y + 1. Let j be x(8). Let t be 4/3 + (-44)/j. Solve 4*p - 21 = a, -a + 11 = -t*a + 4*p for a.
-5
Let t = 614 - 595. Let q be 53/2 + 1/2. Solve -3*d - t = -4, -3*i - 3*d = q for i.
-4
Suppose -7*f = -4*f - 78. Solve 3*w + f = 5*k, -4 + 16 = 4*w + 5*k for w.
-2
Let u = 40 + 55. Let y = u + -55. Let g be ((-2)/(-2))/(4/y). Solve 0 = c + 4*c - g, c + 4 = -3*q for q.
-2
Let j be (-12)/8 - 36/(-8). Let b be j/1 + 3 + 3. Solve p + 1 = 4*f + 16, f = 2*p - b for f.
-3
Suppose -5 = -3*w + 1. Suppose g - 6 = -w*x, 0 = -5*x + 5*g - 3*g + 6. Solve -5*z + 25 = -8*v + 3*v, x*z + 5 = -v for v.
-5
Suppose -3*s = -9 + 51. Let h(b) = -4*b - 7. Let y be h(-9). Let k = s + y. Solve -5*m - 2*n - 8 = -n, k = -5*n for m.
-1
Let u(r) = -2*r**2 - 8*r - 6. Let x be u(-3). Solve -3*v + 4 = -t + 2, -2*v + 5*t - 16 = x for v.
2
Let y(o) = o**3 + 6*o**2 - 9*o - 8. Let c be y(-7). Let w be 36/21 - 10/(-35). Let k be (-2 + -1)*8/(-6). Solve 0 = -c*j + 4*j + k*n + w, 2*j = 2*n for j.
-1
Let s(j) = -2*j + 4. Let u be s(3). Let n be 18/30*(u - -27). Suppose 2*p - n = -p. Solve -p*i - 5*g = 25, 5*g + 9 = -3*i + 6*i for i.
-2
Let y = -14 - -17. Solve y*l + 4*u + 20 + 4 = 0, 0 = -l + 3*u + 5 for l.
-4
Suppose -89 = -7*q + 2. Solve -u = 2*o + q, u = o - 2*o - 9 for u.
-5
Suppose -f + 5*f = -12. Suppose i = 3*l - 4, l + 2*i = -0*l - 1. Let n be 3 + (f - -6) - l. Solve m - 24 + 8 = n*w, -3*m = 2*w + 20 for w.
-4
Let t = 34 + -21. Suppose 3*o + z = t, -o - z = -4 + 1. Solve 15 = 8*w - 3*w + 2*i, o*w - 5*i = 50 for w.
5
Let l(x) = 2*x**2 + 2*x. Let t be l(-3). Suppose 0 = 4*h - 5*d - 18, -4*h + d = -d - t. Solve 2*j + 11 = -5*a, 2 = j - h*a - 6 for j.
2
Let a = -34 + 44. Solve -2*f - 2 = m, -3*m - 3*f + 1 - a = 0 for m.
-4
Let x = 5 - 3. Let a be 6/(-4)*(-20)/6. Suppose 22 = a*h + x. Solve -1 = -q + j + 3*j, -j = -h*q + 19 for q.
5
Suppose -z - 5*w - 20 = 0, z - 3*w - 12 = 4*z. Suppose n - 2 + 0 = z. Solve 14 = k + 3*k - 2*d, 0 = n*k - 3*d - 17 for k.
1
Let s(i) = -i**2 - 6*i - 3. Let q be s(-2). Solve q*x - 14 = -4*k, -3*k + 4*x + x = 7 for k.
1
Suppose 2*b - 24 = -0. Suppose -6*y + 15 = -y - 5*g, -y = 4*g + b. Suppose -f = -5*h - 0*h, y = 2*h - f. Solve 5 = -4*i + 5*j, -3*i + h = -5*j + 5 for i.
0
Suppose l + 1 = 2*l. Let o be 2/((1 + -3)*l). Let j be 2/(-8) + o/(-4). Solve -n - 3*n - 3*k - 14 = j, 2*n + 3*k = -10 for n.
-2
Let m(x) = -3*x**2 + 3*x + 3. Suppose 4*l + 4 = 2*l. Let u be m(l). Let a be 9/u*-5*1. Solve -10 = -5*s - k, -2*s + 5*k = a*s - 10 for s.
2
Let f = -11 - -18. Let b be 6/(-2) - (f - 10). Solve b = 2*c + 4, 0*c - 5*c + 15 = -5*m for m.
-5
Let q(z) = 5*z**3 + 2*z**2 + 2*z - 4. Let a(v) = -v**3 - v + 1. Let i(g) = -4*a(g) - q(g). Let m be i(-3). Solve 3 = 2*u - y, 5*u - y = -0*u + m for u.
0
Suppose 8*d - 13 = 3. Solve -2*r = d*u + 2*r, u = -5*r - 3 for u.
2
Suppose 3*b + 12 = 7*b. Let n(k) = k**2 + 3*k - 1. Let h be n(-4). Solve -h*z = -p - 9, z - b = -0*p - 4*p for z.
3
Let d = 36 + -22. Let i = -9 + d. Let s be 2/(-4)*(2 - 2). Solve 4*n - i = 5*m + 20, n - 3*m - 8 = s for n.
5
Suppose 1 = 3*l - 8. Let k = 14 - 7. Suppose -2*s - 3 + k = 0. Solve -5*c + 3*f = -1, s*f = 3*c + l*f - 9 for c.
2
Let u(d) = d - 4. Let a be u(5). Suppose a = -t + 4. Solve 9 = -t*r - 6*v + v, -5*r + 3*v + 19 = 0 for r.
2
Suppose -z = 4*z - s - 45, -2*z = -s - 18. Let g = z - 9. Solve -2*h - 3*q = -14, -2*h - 3*h - 4*q + 21 = g for h.
1
Suppose -4*v - 4 = -16. Suppose 0 = -v*h + r + 33, 0*h + r = -h + 15. Solve h = 2*i + 4*o, -2*o + 4 = -6 for i.
-4
Suppose -p + 5*x - 8 = -24, -3*x - 30 = -4*p. Let z be p/(-21) + 16/7. Solve 0*f - 5*n = z*f - 23, -5*f - 5*n = -20 for f.
-1
Let r be (-3 - -7) + -4 + 0. Solve -3*s - 7 = 2*t - r, 0 = -2*t - 10 for s.
1
Suppose 5*l = 52 + 118. Solve 3*z = -4*v - 6 - 23, -3*z - l = 5*v for z.
-3
Suppose 3*b - 4*c + 3*c - 71 = 0, c = 4. Suppose 2*y - 4*v + 6 + 4 = 0, 2*y + 2*v = 20. Solve -3*q = y*i - 8*q + b, -3*q = -5*i - 21 for i.
-3
Let q(m) be the second derivative of -m**3/3 + 2*m**2 - m. Let n be q(0). Solve 0 = 3*y - 2*i, 0*y + n*i = y for y.
0
Suppose -2*z + 10 = 0, 5*x - 2 = -z + 28. Suppose 4*f = 4*t - 24, 2 = -4*t - 3*f + 5. Let d = t - -2. Solve 8*s - m = x*s - 5, -s = 3*m + d for s.
-2
Let y(p) = -5*p**3 - p**2 - p - 1. Let r be y(-1). Solve h - 3*d = 0, -r*h + d = -d for h.
0
Let g(h) = -2*h + 2. Let q be g(1). Solve -4*i + 3*i + 5 = q, 5*n - 5*i + 20 = 0 for n.
1
Let l = 4 - 0. Suppose -l*i - i + 15 = 0. Suppose 2*g - 8 = -0. Solve c + 3 = i*z, 3*c + 4 = -c + g*z for c.
0
Let c(a) be the second derivative of -a**4/12 - 5*a**3/6 + 5*a**2/2 + 3*a. Let z be c(-5). Solve -2*o + z*q + 6 = -4*o, -2*o - 4*q = 6 for o.
-3
Suppose -3 = 2*b + 5. Let q = 9 - b. Solve 0 = 3*i + 5*r + q, -3*r + r - 7 = 3*i for i.
-1
Suppose -2 = -b - 0*b. Suppose -4*z = -b*a + 28 + 8, a = -5*z + 4. Solve 3*v = -5*o + 2*v + 27, 4*o = 3*v + a for o.
5
Let w(g) be the third derivative of g**5/60 - g**3/6 + 2*g**2. Let f be w(2). Solve f*o - 16 = 5*z, 0 = -3*o - 2*o - 5*z for o.
2
Let y = -4 - -4. Suppose -5*n = -2*n - 9. Suppose -4*u + 15 - n = 0. Solve y = -g + 5*v + 16