- 4*p = 17 for h.
1
Let a(b) = 19*b**2 - 96*b - 781. Let l(i) = 7*i**2 - 32*i - 261. Let j(f) = 4*a(f) - 11*l(f). Let r be j(-15). Solve 11 = 5*w + o, -16 + 5 = -w + r*o for w.
3
Let m(h) = 506*h + 1012. Let i be m(-2). Solve 5*w = 4*n - 4 + 12, i = 5*n - 4*w + 10 for n.
-2
Suppose -1 = p, -5*j = -3*j + 5*p - 1. Let h(x) = 7*x**3 - 4 - 5*x**j + 0*x**3 - 4*x**2 + 4*x. Let b be h(2). Solve -7 = -5*k + b*i - 1, 2*k + i + 8 = 0 for k.
-2
Let s(a) = a**3 - 4*a**2 - 3*a + 6. Let n be s(5). Suppose -3*d - 5*f = -7, 5*d - 3*f = -122 + 145. Solve 4 = 4*g + d*y, -4*g + 5*y + n = 3*y for g.
3
Suppose -1525*z + 84 = -1504*z. Let u be 2 + 2/(-2)*-1. Solve 0 = 2*w - 7*w + z*k + 28, -5*w = -u*k - 26 for w.
4
Suppose -268*z = -281*z + 26. Solve z*t = -10, 5*t = -w - 4*w for w.
5
Let b = 45961 + -45955. Suppose 0 = s + s. Solve 5*f - 3*p = 9, -2*p = -s*f + f + b for f.
0
Let n = -131 - -126. Let k be (n - 5) + 1 + 1 + -6. Let w be 4/k - (6 - 65/7). Solve i = -c - c + w, -5*c = -i + 10 for i.
5
Let d be (-15 + 162/(-4))*6/(-9). Solve 2*f - 3*n + d - 16 = 0, f = -n + 2 for f.
-3
Suppose 0 = 9*t - 11*t + 1040. Suppose 0 = 148*k - 153*k + t. Let x = 106 - k. Solve 14 = -4*a + 2*u, -7 = 2*a + a + x*u for a.
-3
Suppose 4*k + 0*g + 4*g = 24, -2*k - 4*g = -14. Let r = 56 - k. Let h = r + -47. Solve 3*j = 3, 0 = h*c - 0*j + 2*j - 18 for c.
4
Let a = 7345 - 7341. Let c = -29 - -51. Solve 30 = z - a*z - 5*i, c = -2*z - 4*i for z.
-5
Let c(l) = -8*l**2 + 115*l - 167. Let j be c(12). Solve 5*s - 101 + j = 3*b, -b + 3*s = 20 for b.
-5
Suppose 5*d + 2*z - 3011 + 793 = 0, d - 2*z = 446. Let f = d + -444. Solve 0*w - 3*w = -3*r - 21, 2*w - 4*r - 18 = f for w.
5
Suppose 23*h + 2 = 24*h. Solve 0 = 4*j + m + 18, 5*m = -h*j + m - 16 for j.
-4
Let d(o) = -422*o - 407. Let f be d(-1). Solve 5*u + 2*k = 17, -3*u + 3*k + f = -12 for u.
5
Let d = 39817 - 39812. Suppose -5*x - u + 42 = 0, -x + 0 - 2 = -5*u. Solve d*f + 0*p = -p + x, -3*f = 4*p - 15 for f.
1
Suppose 0 = -5*c + 24*q - 23*q + 35, -4*c + q = -28. Solve 4*p = -3*t - c, 0 = 12*t - 17*t - 5*p - 10 for t.
-1
Let k(f) = f**2 + 36*f + 51. Let r be k(-31). Let s = r - -107. Solve 0 = 3*n - c + 2 - 4, -s*n + 3*c + 12 = 0 for n.
-1
Suppose -24*u + 21*u - 96 = 0. Let d = u + 35. Solve b + 2*v = 4*b - 2, b - d*v = -4 for b.
2
Let h = 922 - 917. Solve 0 = 4*g + p - 2, -p - 8 + h = -g for g.
1
Let l(t) = 2*t**3 - t**2 + 9*t + 4. Let h be l(0). Suppose 7 - 3 = h*k, 3*k = -x + 6. Solve -m - 3*j = 3, 4*m + 2 = x*j + 5 for m.
0
Suppose -4*r = -4*i + 24, 108*i - r + 9 = 112*i. Solve -i*d = -4*l + 26, 4*d + 28*l - 12 = 24*l for d.
-2
Let n = 13 + -43. Let u = -16 - n. Let m be 0/2 - 2/(-1). Solve -5*l + 6*v - 3*v - 23 = 0, -u = 3*l - m*v for l.
-4
Suppose -15*d + 86 = 86 - 60. Solve -3*u + 4*b = 0, 7*b = -2*u + d*b for u.
0
Suppose -37 = 5*g + 3. Let k = g + 11. Let y be 2 + (k - (2 + -1)). Solve 0*b - 5*b = y*h + 28, 3*h + 6 = 0 for b.
-4
Suppose 43*k = 81*k - 39*k + 6. Solve f + 5 = 3*x, f + k = -3*x + 13 for x.
2
Let g be (-2 - -14) + -8 + 1. Solve 0 = -x - 3*n + 12, -n = -g + 2 for x.
3
Let l = -1676 + 1684. Solve -3*s = 4 - 10, 0 = -w + 4*s - l for w.
0
Suppose -5*q + 753 + 52 = 0. Suppose 11*a - q = 4*a. Let d = a + -18. Solve 0 = -4*g + 15 + 1, d*p + 22 = 3*g for p.
-2
Let m(x) = -6*x - 22. Let h be m(-17). Let j be 2/(8/(-11)) + (-20)/h. Let g be (j/(-9))/(3/144*4). Solve -g*z + y + 9 = 0, -3*z - y + 8 = -4 for z.
3
Let x(s) = 10*s**3 - 392*s**2 + 79*s - 39. Let r be x(39). Solve 3*o + 15*u = 17*u - 13, r = o + u + 1 for o.
-3
Suppose -7*g = 3*u - 2*g - 596, -g = -3*u + 572. Let m = -176 + u. Solve -o - 3*r - 7 = -19, -m = -5*o - 4*r for o.
0
Suppose 32*d - 35 = 27*d. Suppose s = d*s. Solve 2*k + 3*o - 9 = 0, s*o + 2*o = -5*k + 6 for k.
0
Let m = 25424 + -25416. Solve -2*g = x + m, 46*g - 4*x - 23 = 51*g for g.
-3
Suppose -566*s + 584*s - 90 = 0. Let c be (-1)/(-1 + (-44)/(-46)). Solve s*f + c - 9 = -3*n, n = 3*f for f.
-1
Let q = 10 - 6. Let p = 4621 - 4617. Solve -k = 4*l - q - p, 0 = -2*k + 4*l - 20 for k.
-4
Let p(i) = -i**3 + 36*i**2 + 262*i - 415. Let t be p(42). Solve t*b + 145*q = 140*q - 15, -5*b + 3 = -q for b.
0
Let c(h) = -h**3 + 13*h**2 + 10*h - 122. Let p = 762 - 749. Let z be c(p). Solve 5*q + l = 21, -l - z = l for q.
5
Let a = 141 - 132. Suppose n + a - 13 = 0. Solve -3*z = n*h - 32, z + 16 + 0 = 4*h for z.
4
Let m be (-90)/(-6)*(0 - (1 - -1)). Let u = m - -32. Solve 4*p - 2 = -u*j, -6 = -p - 2*j + 2 for p.
-2
Let c be (21 - 25) + 8*1. Suppose 3*j + 4*i = -2, 0 = c*j + j - 3*i - 16. Solve -2*v - 10 = -7*v, -8 = 2*w - j*v for w.
-2
Let u be 48*48/(-18)*(-10)/4. Suppose -15*n - 17*n + u = 0. Solve 0 = f + j + 2, -3*f = -6*f - j - n for f.
-4
Suppose -25 = -5*v + 3*c, -2*v + 2*c = -7 - 3. Let x = -15 - -22. Suppose 0 = x*h - 3*h - 16. Solve -5*w - 40 = 5*q, -v*q - 8 = -2*w + h for w.
-4
Let o(r) = -2*r**2 + 49*r + 53. Let p be o(25). Suppose p*h + 3 = 31. Solve -b - 2*b + 8 = -5*m, b = -2*m - h for m.
-1
Let z(y) = 11 - 27*y + 5*y + 110 - 51. Let j be z(3). Solve -2*w + 4*x = -18, j*x = -w + x - 6 for w.
3
Let b = -3383 - -3388. Suppose 0 = 5*t - r - 4, 4*t - 4*r + 2 - 18 = 0. Solve 3*c - g - g = t, 0 = b*c - 2*g for c.
0
Let s be ((-6)/8)/(145/(-72) - -2). Suppose -58*n = -s*n. Solve -5*p - b = -3*p + 6, n = -4*p - 5*b for p.
-5
Let l(b) = -17*b - 133. Let y = -199 - -191. Let h be l(y). Solve -15 = -3*o + 2*j, 5*j + h = o - 5*o for o.
3
Let p = -4000 - -4004. Solve -3*l + 25 = p*f, 5*l = -f + 29 - 10 for f.
4
Let v = -5 + 7. Suppose -258 + 258 = 20*k. Solve k = -v*q - 3*o, q - 3*q + 5*o = 0 for q.
0
Let i = -6 - -10. Let s(n) = n**2 + 5*n - 61. Let g(l) = 8*l - 59. Let z be g(6). Let t be s(z). Solve 4*k + i*v - 4 = 20, 4*v = t*k - 3 for k.
3
Let v(s) = 6*s - 55. Let l be -4*((-9)/(-6) + -4). Let a be v(l). Let b(r) = -11*r - 4. Let y be b(-3). Solve -4*u = -5*o + y, 2 + 28 = 5*o - a*u for o.
5
Suppose 0 = -4*k - 3*q - 3, 4*k - 2*q - 37 = 3*q. Let y = -299462 + 299467. Solve 2 = k*d + x, -x = d - y*x + 8 for d.
0
Let m be (4 + (-1 - 2))*-3. Let l be ((-30)/(-9))/(-2)*m. Let c be ((-17)/34)/(1 + (-27)/24). Solve -a + 5*a - 16 = -l*x, -c*a = -2*x + 12 for x.
4
Suppose -3 = -2*h + r, 4 + 11 = 4*h - 5*r. Let p be ((-11)/((-33)/9))/(1 - h). Solve 0 = 2*f + 4*n + 2, -p*f = 9*n - 4*n for f.
5
Let f(k) = k**2 + 9*k - 3. Let v(d) = -d**2 - 9*d + 3. Let g(q) = 2*f(q) + 3*v(q). Let a be g(0). Solve 2*i - a*i = -n, 2*n = i for i.
0
Let w = 2760 - 2756. Solve y = 2*s + 2*s - w, 2*s + 4*y = 20 for s.
2
Suppose 2*y - 35*h + 40*h = 34, 2*y - 30 = -4*h. Solve -p = 4*s - y, -s + 12 = -3*p - 6 for p.
-5
Let q(d) = 1738*d - 1748*d - 80 - 26. Let y be q(-11). Let w be (33/(-15) + 3)*10. Solve -4*x = -y*a - w, -5*x - 5*a + a = -1 for x.
1
Let j be (-8 - 126/(-15)) + 1386/110. Solve 6 = 3*c - 3*v, 4 = -j*c + 9*c - 2*v for c.
0
Let m(q) = -2*q - 20*q + 3*q + 7*q - 126 + 3*q. Let y be m(-15). Solve -2*d + 2*j = 2, d = 5*d - 5*j + y for d.
4
Suppose -480 = 5*v - 510, 31 = 5*s + v. Solve -n + 2 = -s*k + 3*k, -3*k = 0 for n.
2
Let d(j) = j**3 - j**2 + j + 5. Let x be d(0). Let g be (3/(-6) + 0/3)*74. Let v = 39 + g. Solve x*f - 3*r + 10 = v*r, 0 = 4*f - 5*r + 8 for f.
-2
Let z(c) = -c**2 - 315*c + 956. Let s be z(3). Solve 0 = s*w + 4*h - 24, -8*w + 4*h = -9*w + 22 for w.
2
Let s = 3 - 3. Suppose 0 = -d - s*d + 5. Let i be 3*((-4)/(-6) - (-175)/75). Solve 3*r + 3*a + 3 = -0, -i = 4*r + d*a for r.
4
Let t(m) = -2*m**3 - m**2 + 11*m + 6. Let u be t(-3). Let h be -5 + 153/u + (-1)/2. Solve h*n - s = 4*s - 40, -2*s = -10 for n.
-5
Let q be (-216)/(-48)*(1/5)/((-39)/(-130)). Solve -q*h - 2*p = 3*p + 22, -2*h + 2*p = 4 for h.
-4
Let a = -11380 + 11384. Solve a*m + 14 = -h, h + 7*m - 6*m = -2 for h.
2
Let i(y) = 2*y**2 + 2*y - 1. Let n(q) = q**2 - 3*q. Let w(d) = 2*i(d) + n(d). Let x be w(1). Solve -4*t = -x*o + 4 + 4, 4*t + o = 17 for t.
3
Suppose -36 = 2*n + j, j - 44 = -n + 4*n. Let h = 26 + n. Suppose h*o - 4 = 9*o. Solve -l + 0*p - p - 1 = 0, 0 = -o*l + 4*p + 36 for l.
4
Let g(d) be the second derivative of -d**5/10 + d**4/4 + 2*d**3/3 - d**2 - 23*d. Let f be g(2). Solve -4*c - 20 = -f*n, -5*n = 3*c - 0 + 2 for n.
2
Suppose -4431*p + 4597*p - 1162 = 0. Solve -p*w + 2*k + 45 = -12*w, 3*w + 46 = -5*k for w.
-7
Suppose 0*r - 76 = -4*u + 4*r, -3*u