2*h, -2*h + g*h + c = 7 for h.
1
Let h = -34 - -52. Let n(m) = -m**3 + m**2 + 5*m - 4. Let c be n(2). Solve -3*f + c = -x - 3*x, h = -4*x - 5*f for x.
-2
Suppose 0 = -3*h - 9, -3*h - 19 = -10*v + 8*v. Solve 0 = -2*b + 2*n, 2*b + 0*n + 21 = -v*n for b.
-3
Let q be (66/9)/1 + (-5)/15. Solve q*b = 2*b + j + 6, -2*j + 14 = 3*b for b.
2
Suppose n = -3*n + 20. Suppose 0 = -n*f - k - 35 + 4, -1 = k. Let h be (-9)/(27/f) - 0. Solve 5*b = x - h*x, 3*b - 3*x + 18 = 0 for b.
-1
Suppose -260 = -13*g - 13*g. Solve 0 = m + 2*z + 1 - 7, m - 2*z + g = 0 for m.
-2
Suppose -2*t + 2 = 16. Let j = t - -11. Let l be (1/2)/(2/160). Solve 0 = 3*f - o + j, 5*f + 5*o + l = -0 for f.
-3
Suppose 10*k - 11*k = -4. Suppose 2*s = y + 4, k*y = 9 - 1. Solve -16 = 3*b - 4*m, 4*b + 4*m = -s - 9 for b.
-4
Let n = 23 - 14. Let k be (6/2)/(3/n). Solve -2 - k = -3*f - 2*s, -4*s + 19 = 5*f for f.
3
Suppose -25*l - 128 = -33*l. Solve 0 = -q - 6*u + 3*u + 4, 3*q + l = 5*u for q.
-2
Let m(h) = -9*h + 59. Let c be m(6). Solve -p + 1 = 0, -l = 4*l - c*p for l.
1
Let s(v) = 17*v - 51. Let w be s(3). Solve -b - 4*l + w + 18 = 0, 0 = 2*b - 4*l + 12 for b.
2
Let y = 53 + -28. Suppose b = y - 35. Let z be 30*5*(-2)/b. Solve 0 = k + r, 5*r + 15 = 4*k - z for k.
5
Let i be 33/11 - 3/(-3). Solve -2*b + i*q - 2 = 0, 4*b = -q - 1 + 6 for b.
1
Let i = 64 - 57. Suppose -i*t = -0*t - 35. Solve -5*w + 3*w - 2*g - 6 = 0, 4*g + 11 = -t*w for w.
1
Suppose 0*k = 4*k - 48. Suppose 3*t = -0*t + k. Let p = 811 + -793. Solve -3*b - 5*d = -t*b - p, -d - 6 = 3*b for b.
-3
Let q(x) = -x**3 + 18*x**2 - 15*x + 9. Let u be q(17). Let f = u - 39. Solve 5*r + 2*c = -16, 14 = -3*r - f*c - 4 for r.
-2
Let k be (10/30)/(1/12). Let u = 0 + k. Solve p - 3*p - 14 = u*y, 3*y + 8 = -p for y.
-1
Let h be (-10)/10 - (-2)/1. Let u be (-5 + 4 + 2)/h. Solve 2*y - 5*y - o - 1 = 0, -5*y = -o - u for y.
0
Suppose 3*o - 162 = -5*j, -o + 89 = o - 3*j. Let h = -21 + o. Suppose 4*z + 4 = 4*x, 3*x = 5*z - 3*z + 2. Solve h - 10 = 2*y + 3*q, x = -2*y + q + 2 for y.
3
Let h(q) = 2*q**2 + 42*q + 47. Let z be h(-20). Solve -2*f - 13 = -0*f + r, 2*f + z = r for f.
-5
Suppose 4 = c - 4*m, -11*c + 10*c = m - 24. Solve -4*u - 2*i + c = 0, -3*i - 10 = -2*u + i for u.
5
Suppose -3*l = 3*q, 2*q - 12 - 13 = 3*l. Suppose -q*a = -31 - 29. Suppose -25*c = -18*c. Solve -d - d = -4*x - 28, 4*x + 2*d + a = c for x.
-5
Suppose w - 4 = 0, 4*g + 4*w = 1 + 31. Let p(m) = 2*m**3 - 10*m**2 + 10*m - 124. Let s be p(6). Solve -1 + 3 = -x - 5*v, -4*x = g*v - s for x.
3
Let a = 70 + -68. Let k be 474/54 + a/9. Let l(h) = h + 4. Let w be l(-4). Solve -5*s = -g - k, w*s + 2*s - 5*g = -1 for s.
2
Let b = 1070 + -1510. Let s be b/(-242) + 4/22. Solve s*y + 5*k = 13, -2*y - 1 = k - 10 for y.
4
Let c(x) = 5*x + 26. Let f be c(-2). Solve 0 = -4*u - z - 2 - 2, -3*u + 4*z = -f for u.
0
Suppose 2*d = c + 4*d - 29, d = -1. Let f = c - 29. Solve -3*b = -f*b + 2*g - 5, 3*b - 10 = -g for b.
3
Suppose 6 = 24*r - 23*r + 5*t, 0 = -2*r + 5*t - 3. Suppose 3*u = -2*u + 25. Let y be 6 - -2*(-2)/(-4). Solve y = -3*p + g, u*p + r = 4*p + g for p.
-3
Let p(k) = 2*k**3 - k**2 - 9*k + 9. Let a be p(3). Suppose 107*d - 20 = 103*d. Solve 0*t - 2*t + 4*h = 18, 2*t = -d*h + a for t.
1
Suppose 6*o + 39 = 19*o. Solve 0 = -o*k + 5*a - 8 - 2, 2*k = -2*a + 20 for k.
5
Let i(y) = 6*y + 131. Let b be i(-21). Solve -2*s - s + 24 = -b*w, -3*s - 3 = 4*w for s.
3
Let t be (-4)/(-14) + 25/35. Solve 0 = -m - 3*l - t, 0 = 2*m - l - l + 10 for m.
-4
Let p(d) be the second derivative of d**4/12 - 5*d**3/3 + 6*d**2 + 5*d. Let v be p(10). Solve -3*i - v = -0*s - 2*s, 0 = -i + s - 4 for i.
-4
Let i = -921 + 921. Solve j = -5*t - i*t - 8, -5*t - 18 = -4*j for j.
2
Let n(j) = -j**2 - 3*j + 13. Let y be n(-5). Solve -2*w - 2*w - 4*l - 4 = 0, 0 = -2*w + 3*l + y for w.
0
Suppose -l + 3 = -8. Let k = -4 + l. Suppose -4*s + 4*t = 16, -4*s + k = t + 3. Solve 0 = 3*f + 5*w - 20, w + s = -2*f + 11 for f.
5
Suppose -2*t + t = -2*b + 21, 2*b - 18 = -2*t. Let f be -4 - (-5)/b*18. Solve 0 = -f*l + 5*z + 5, z - 12 = -2*l + 5*z for l.
-4
Let h = -43 + 39. Let m(o) = -o**2 - 6*o - 6. Let w be m(h). Solve -5*y = -w*x + 2, -y - 4 = -0*y - 4*x for y.
0
Let i = -81 - -104. Let m = i + -10. Solve 4*s + 4*q + 8 = 3*s, m = -2*s - 5*q for s.
-4
Let q(n) = -7*n - 17. Let p be q(-3). Solve 5*o - 9 = p*x, 6 = -3*x + 3*o - 0*o for x.
-1
Suppose -4*s = -350*o + 355*o - 19, 2*o = -s + 4. Solve 0 = 2*w - 3*y - 12, -3*w + 3*y + 12 = -s*w for w.
0
Suppose 5*l - 15 + 0 = 0. Suppose 0*y - t = -y - 1, -t = 5*y - 19. Let f = y - 2. Solve q = -3*m, 2*m + f = -l*q + 2*q for m.
1
Suppose -3*j - 119 = -10*j. Solve -11 = -4*w - x, 4*w + 0*x - j = -3*x for w.
2
Let c(d) = -12*d - 2. Let w be c(2). Let l = -24 - w. Solve x + l*x + m - 11 = 0, x - 2*m + 1 = 0 for x.
3
Let d(y) = y**3 + y**2 - 37*y - 83. Let s be d(-5). Solve f - 3*f = s*r, -28 = -5*f + 2*r for f.
4
Let o be (-8 - -10) + 1 + -3. Solve l - z = o, 5*l + 3*z = 10*l + 10 for l.
-5
Let l(c) = -c**3 - c**2 - 2*c - 2. Let g be l(-2). Suppose g = 2*h - 0*h. Let x be h*(-1)/12*-4. Solve 5*f - 9 = 2*w, 3*w = 2*f + 2 + x for w.
3
Let f(g) = g**3 + 6*g**2 + 2*g - 2. Let r be f(-6). Let x be (-498)/(-21) + (-4)/r. Solve 7*a + h + 24 = 2*a, 4*h + x = -2*a for a.
-4
Let b be 40/(-15)*(-3)/2. Let v = 2 + b. Let m = -71 - -73. Solve 6 = -2*r - m*j, 4*r + v = -4*j + 2*j for r.
0
Let t be 130/4*6/5. Let r = -37 + t. Solve o = -4*d + 15 - 0, -3*o - r*d = -15 for o.
3
Suppose 93*j = 96*j + 18. Let b = j + 10. Solve n - 3*n = 0, -b*r - n + 12 = 0 for r.
3
Let b be 2/8*(-11 - -11). Solve -3*j = -5*o + j + 15, 4*o - 5*j - 21 = b for o.
-1
Suppose 0 = 2*n + 2*n - 12. Let l = n - 1. Let u = 49 + -45. Solve -3*k + l*k - 4 = 0, 0 = -u*x + k + 8 for x.
1
Let p(g) = 28*g - 946. Let c be p(34). Let m be (-4)/(-6)*(1 + 5). Solve m*v = 4*l - 0*l, v = -l - c for v.
-3
Let v = 13 - 11. Solve 0*k + 2*z = k - 2, -v*k = 2*z - 4 for k.
2
Let l = -69 - -64. Let s be 5 - l/(5/(-3)). Solve s*h - 6 = 3*g, -5*h + 0 + 6 = -3*g for g.
-2
Suppose 2*m = -3*i + 3*m + 13, 4*m - 3 = i. Suppose 13*k = 259 + 521. Let g = 60 - k. Solve -3*a - i*c + c - 2 = g, -2*a + 2*c = 6 for a.
-2
Suppose 0 = 98*u - 86*u - 120. Solve -6*z + 3*b + u = -z, 2*b + 9 = z for z.
-1
Let m be (-3859)/(-102) + (-1)/(-6). Let l = -36 + m. Solve -3 - 5 = -l*z - 2*a, -z - 2*a + 6 = 0 for z.
2
Let n be ((-164)/(-20) - 8) + (-48)/(-10). Solve 0 = w - 2*y + n, 4*y - 2 = 3*y for w.
-1
Let d be 12/20 + (-34)/(-10). Suppose 0 = -h + 2*b + 6, 4*b + d + 8 = -h. Solve 0 = 5*t + k + 17, h = -0*k - k - 2 for t.
-3
Let u(t) = -t**2 + 33*t - 212. Let m be u(10). Solve 2*n + 0 = 3*w + m, w + 4*n = 8 for w.
-4
Suppose 2*x - 44 = -5*u - 11, 0 = -5*u + 25. Solve -3*y - t - 8 = -3*t, x = t for y.
0
Suppose -4*m + 96 = 4*m. Suppose -v = 0, 4*b - v + 6*v = m. Let i = -3 - -8. Solve q - 24 = -i*a + 4*q, -2*a = b*q + 3 for a.
3
Let f be -2 - 1*-1 - -4. Let l(d) = -d**3 + 4*d**2 - d - 6. Let v be l(3). Suppose 3*p = -v*p. Solve -f*o = p, -b - 12 = -5*b + 5*o for b.
3
Let g = -4 - -7. Let y = 145 - 143. Suppose 0 = 2*v - y*h - 2, -h = 4*v + h - 16. Solve -8 = -v*b + q, 12 = g*b + 2*q + q for b.
3
Let o be 4/46 - 9460/(-4945). Solve -o*d = 5*n + 21, -2*d + 0*n + 9 = -5*n for d.
-3
Let b be (-2)/(-4) - (-3)/(-6). Suppose 4*l + 26 = 3*q, 11*q = 12*q - 3*l - 17. Suppose b*u + q*u - 14 = 0. Solve 5*k - 3*p = -9, 2*k + p = u*k + 13 for k.
-3
Let x = -552 - -577. Solve -3*l = 2*l + 4*r - 25, -r = -5*l + x for l.
5
Let q = 9 - 9. Suppose -12*a + 10*a + 8 = q. Solve 0 = -5*s + l - 5 - a, -s = 4*l - 15 for s.
-1
Let m(l) = -5*l**2 + 34*l + 9. Let w be m(7). Suppose 2 = k - w*o, 2*o = -0*o - 2. Solve k = v + 2*v + 3*x - 21, -3*v = -5*x + 19 for v.
2
Suppose -3*k + 4*h = 1, 0 = 19*k - 22*k - 5*h + 35. Solve -k*d = -3*g - 0*g - 24, 0 = 5*g + 2*d + 9 for g.
-3
Let d be (2 - (11 + -3))/(-2). Solve 4*t + t + 45 = 4*o, -t - d*o + 10 = 0 for t.
-5
Let n be ((-90)/40)/(3/(-4)). Solve 0 = -n*z - 5*t - 3, 2*z + t = -2*t - 2 for z.
-1
Let i(w) = -2*w**2 - 116*w + 120. Let h be i(-59). Solve 2*f + 1 = 3*a + h*a, 3*f - 5*a = -4 for f.
-3
Suppose 0 = -6*d - 33 + 75. Let o be -2*(1 + (-7)/2). Suppose 32 = o*a + d. Solve -3*f + 12 = y - 1, -3*f = a*y - 17 for y.
1
Suppose -2*s + 92 = -4*s. Let f be (s + 1)*(-5)/15. 