4 = a - h*a for a.
4
Let u(r) = r. Let c be u(-12). Let i be 21/(-7) + (-2 - c). Solve -2*z + 5 = -i*z for z.
-1
Let k = -373 - -441. Solve -8*m - 9*m = k for m.
-4
Suppose 14*p - 2393 + 2337 = 0. Let q be (1 - 7)/(3/(-4)). Solve -8*s + p*s = q for s.
-2
Suppose 0 = 10*c - 22 + 62. Let a(b) = -7*b - 26. Let p be a(c). Solve 1 = p*l - l for l.
1
Suppose 111 = 5*n - 3*p, 42 = 2*n + 3*p + 6. Suppose x = n + 11. Let t be 468/x - 9/(-24). Solve 0 = -6*i + 3*i + t for i.
5
Let o be (-1)/2 - 65/(-26). Suppose -3*f + 9 = -o*k, k = f - 0 - 3. Solve k = s - 0 - 5 for s.
5
Let r = -404 - -404. Let m be (2/(-4)*0)/(-1). Let l be m + 0 + 3 + 0. Solve r = -0*x + l*x + 9 for x.
-3
Let t be (-4*3)/((-6)/(-4)). Let p be (-38)/t + (-1)/(-4). Suppose -3*b = y - 14, 4*b = p*y + 10 - 4. Solve 0 = b*i + 6 - 2 for i.
-1
Let v(o) = 20*o**3 + 4*o**2 - 3*o - 1. Let n be v(1). Let g = 7 + -22. Let r = g + n. Solve 4*z = r*z for z.
0
Let q(g) = g**2 + 20*g + 101. Let v be q(-12). Solve -3 = -b - v for b.
-2
Let r be ((-2)/(-3))/(52/156). Suppose 3*t - 9 = -0*t. Let p be (-2 - -2)/(-3) + t. Solve -r = p*d - 5*d for d.
1
Let c = 0 + 3. Suppose 14 = c*g + 2. Solve -3*j = -g*j for j.
0
Let a(h) = -h**3 - 2*h - 7. Let d be a(0). Let b = d + 10. Let v be ((-6)/4)/(3/(-4)). Solve v*t - b = -t for t.
1
Let p(o) = -o + 1. Let t(j) = 1. Let f(v) = -p(v) + 2*t(v). Let l be f(1). Solve 0 = -2*x + l - 6 for x.
-2
Suppose -19 - 18 = 5*r + 3*q, -13 = r + 2*q. Let h = r - -10. Suppose 1 = -h*s + 11. Solve 0 = -3*i - s*i for i.
0
Suppose u = 11*u - 200. Solve 0 = h + 4*h + u for h.
-4
Suppose 2*s + h = 5*h - 24, 0 = h - 5. Let p be 0/(s/13 - (-15)/13). Solve p*c = -2*c for c.
0
Let b(w) = w**3 - 2*w**2 + w. Let g be b(1). Suppose 4*m = 3*d - 5*d - 32, 5*d - m + 58 = 0. Let z = -7 - d. Solve -z*o + o = g for o.
0
Suppose 6*d - d - 2*v = -237, -3*d = -3*v + 135. Let c = -28 - d. Suppose -y = -3*y - 6, 0 = -3*l + 4*y + c. Solve -4*h = 23 - l for h.
-5
Let l(g) = 3*g + 4. Let r be l(6). Suppose -r*h = -24*h. Let n(k) = -k**2 + 12*k - 16. Let i be n(10). Solve h = o - i*o for o.
0
Let y(w) = -9*w + 27. Let l(h) = -5*h + 14. Let a(u) = -7*l(u) + 4*y(u). Let i be a(10). Suppose t - 5*t + 16 = i. Solve 0 = k - 2*k - t for k.
-4
Let h be ((-24)/(-4 - -1))/(-2). Let k be 3 - 1 - (-2 - -2) - h. Solve -s - 25 = -k*s for s.
5
Suppose 0 = -14*j + 13*j - 5*k + 13, -4*k + 8 = 0. Suppose -2*m = m + j*i, -2*i - 30 = -4*m. Solve -5*r - m = -4*r for r.
-5
Let x = -218 - -228. Solve p + x = 5 for p.
-5
Let m(d) = -4*d**2 - 36*d + 7. Let v be m(-9). Solve 0 = -3*i + v + 8 for i.
5
Let o(a) = 7*a + 235. Let l be o(-33). Solve -3*r = l*r + 21 for r.
-3
Let r(c) = 2*c**3 - 2*c**2 + 4. Let m be r(2). Solve 0 = -4*l + m*l for l.
0
Let i(s) = -2*s - 2. Let l be i(-3). Suppose -6*v - 3*v = -l*v. Solve v*m - 10 = 5*m for m.
-2
Suppose -5*o + 3*q + 93 = 36, 0 = 4*o + 4*q - 20. Solve 5*l - o*l + 8 = 0 for l.
2
Let f(w) = -w**3 - 3*w**2 - w - 4. Let r be f(-3). Let m be ((-9)/6 - r)*(-4)/1. Solve -u - 3 = m*u for u.
-1
Suppose -16*h + 19*h - j - 13 = 0, 29 = 4*h + j. Solve 6 - 30 = -h*i for i.
4
Suppose 0 = 3*a - a - 2. Suppose -5*t = t. Suppose 2*y + t*y + 2 = 0, -3*y = l + 2. Solve 0 = -o - l - a for o.
-2
Suppose 11*a - a + 240 = 0. Suppose 4 = 4*q + 40. Let k = q - a. Solve -8*g + k = -3*g for g.
3
Suppose 9*l - 2*l + 7 = 0. Let a be (l - -8) + 4/(-1). Suppose -5*y - 10 + 35 = 0. Solve 17 = a*h + y for h.
4
Suppose 2*k = 2*d - 5*d + 20, -4*d = 2*k - 24. Let v be (-224)/(-24) - d/(-6). Suppose 2*j + 0*j - v = 0. Solve -j*r = 13 - 3 for r.
-2
Let w = -245 - -174. Let l = 73 + w. Solve l*v = 7*v + 10 for v.
-2
Let x(h) = 2*h**2 - 31*h + 105. Let p be x(12). Solve -p = i - 16 for i.
-5
Suppose 4*j = -2*c, 0 = j - 2*j - 5*c. Let l(k) = k**2 + k + 3. Let a be l(j). Suppose -2 = -m - 5*b, -7*b + 8 = 4*m - a*b. Solve m*p - 8 = -0*p for p.
4
Suppose -5*q - 4*o + 6*o + 74 = 0, 4*o - 44 = -2*q. Solve 10*s - 52 = -q*s for s.
2
Let q(t) = -t**2 - 2*t - 2. Let n be q(-5). Let l = 74 - 85. Let z = l - n. Solve 2*i + 4 = -z for i.
-5
Let u(q) = 35*q + 38*q - 3 - 75*q. Let x be u(-6). Solve 4 = -5*c + x for c.
1
Let j = -3 - -3. Suppose 74 = 4*d - 2*x, 5*x - 87 = -3*d - 12. Solve j*l + d = -5*l for l.
-4
Let i = 19 + -9. Suppose 0*q + q = -5*t - i, 3*q + t = 26. Solve -6*u = -u - q for u.
2
Suppose 20 = -4*a + 56. Solve -21*f + 18*f - a = 0 for f.
-3
Let h(j) be the second derivative of j**5/20 + j**4/2 + 5*j**2/2 - 12*j. Let u be h(-6). Solve -d = -2*d - u for d.
-5
Let w = -54 - -56. Solve -2*n - 4 = -w for n.
-1
Let a(f) = -f**2 + 3*f + 7. Let s be a(4). Suppose -5*u - w = 4, -3*u + 10 + 2 = -3*w. Suppose u*b = -5*t + b, -t - 5*b + 26 = 0. Solve -s = -2*c - t for c.
1
Let u(n) = n**2 + 5*n + 1. Let d be u(-5). Suppose -11 = -4*m + d. Solve -5 = -s - m for s.
2
Let u(j) = -j**3 - 18*j**2 - 3*j - 52. Let t be u(-18). Solve -14*g = -12*g + t for g.
-1
Let d = 988 + -985. Solve -c + 5 - d = 0 for c.
2
Let c be (-9 + 91/39)*-9. Solve -34*s = -22*s - c for s.
5
Let n(z) = 9*z - 7. Let i be n(2). Suppose -i*b + 29 = -26. Solve 0*s + b*s - 15 = 0 for s.
3
Let d = 151 + -145. Let z be -6 + (0/2)/(-1). Let p be 4/5*(-15)/z. Solve p*v - d*v = 0 for v.
0
Suppose f + 1 = -2*q - 0, 4*f + 4 = -3*q. Let t be (21/(-42))/(f/6). Suppose -3*v - y = -5*v + 6, 3*v - 22 = -5*y. Solve 0 = t*n + 2 + v for n.
-2
Suppose -5*z + 35 = -m + 5*m, m - 4*z + 7 = 0. Let r be -1 + (-18)/(-3) - (4 + -2). Solve 4*n - m = r for n.
2
Let c(a) = 2*a**2 - 5*a + 3. Let w be c(3). Let i be 728/20 + (-8)/20. Suppose 40*d = i*d. Solve d = -z - 4 + w for z.
2
Suppose 3*b + 6 - 24 = 0. Solve -b*r + 40 = 2*r for r.
5
Suppose 0*t - 5*o = -3*t - 61, 5*t = -2*o - 81. Suppose -5*c - 45 = -150. Let r = t + c. Solve r = -z - 0 for z.
-4
Let f(q) = 2*q**3 - 5*q**2 + q + 4. Let c be f(3). Suppose -5*n + 4*z = -c, z + 4 = -0*z. Solve n = i - 3*i for i.
0
Let i = 49 - 39. Suppose i*w - 11 - 9 = 0. Solve -2*t + 0*t + w = 0 for t.
1
Suppose 0 = b - 4, -3*l + 0*b + 2*b = 59. Let m(y) = -2*y**2 - 5*y - 5. Let t be m(-4). Let n = l - t. Solve n = 2*r + 3*r for r.
0
Suppose -l - 3 = -8*f + 6*f, -5*f + 5*l = 0. Solve f*q + 4 = -2 for q.
-2
Let s be 1*-6*1/(-2). Suppose -m + 3 = -s. Let p be -1*(-24)/(m/3). Solve 3*q + q = -p for q.
-3
Let n be (-18)/30 + 414/15. Solve 5*p + n = 2 for p.
-5
Let r(z) = z**2 + 26*z + 101. Let m be r(-4). Solve -m*p = 12 + 1 for p.
-1
Let m be 2 + (66/4)/((-42)/(-56)). Solve -10 = 17*b + m for b.
-2
Let g(a) = -a**2 + 13*a - 8. Let k be g(12). Solve k*l = 2*l - 4 for l.
-2
Let y be ((-40)/(-15))/((-4)/(-6)). Suppose 2*b = -y*b. Solve -h + 3 = -b*h for h.
3
Let u be (7 - (-4)/4) + -5. Solve 0 = -u*a + 9*a + 30 for a.
-5
Let p = 1159 - 1142. Solve -4*b - p + 1 = 0 for b.
-4
Let x = 16 + -17. Let r be x/2*-3*4. Solve 0*n = 2*n - r for n.
3
Suppose -2*j + 4 + 0 = 0. Suppose 0 = -2*w - 2*a - 10 + 132, -w = -5*a - 73. Let l be 9/21 + 162/w. Solve o = l*o - j for o.
1
Let v = 13 - 4. Suppose f + 5 = 3*f - d, -2*f - 3*d = -v. Solve -o - 8 = -f*o for o.
4
Suppose 62*o + g = 61*o - 3, -g - 3 = 0. Solve o = -9*c - 20 - 7 for c.
-3
Let j be (-44)/(-77) + 48/14. Solve 4 = -j*k + 12 for k.
2
Suppose 17*y - 15*y = 0. Solve -7*m = 14 - y for m.
-2
Suppose -2*h - 6*t + 12 = -8*t, -5*h + 2*t = -27. Solve h*j = -29 + 34 for j.
1
Suppose 57 = 5*r + 2. Solve r = -d + 8 for d.
-3
Suppose 2*x - 22 = 2*j, -x - 10*j = -5*j - 5. Solve -3*q + x = -q for q.
5
Let l(p) = p**3 - 25*p**2 + 5. Let j be l(25). Solve -j*s = 23 - 3 for s.
-4
Let j = 275 - 270. Suppose -2*d = -a + 5*a + 4, a - 13 = 3*d. Solve -j*k + 6 - a = 0 for k.
1
Suppose 27 = -7*h + 10*h - t, 3*h = 3*t + 27. Suppose -z = -0*g - 4*g - 8, -3*z - 3*g = -h. Solve 4*u = 8*u + z for u.
-1
Let u be (-1 - -1)*8/(-24). Let k be (0 - 1) + (4 - u). Suppose -k*q - 3*q + 30 = 0. Solve q*s = s + 8 for s.
2
Let o be -1 - 1 - (54 - 58). Solve -o*h - 57 + 59 = 0 for h.
1
Suppose -3*r - 21 = -3*k, -2*r - 2 = -0*r + 4*k. Let i(t) = -5*t - 7*t + 11*t - 2. Let q be i(r). Solve c - 16 = -q*c for c.
4
Suppose 0 = 32*a - 916 - 332. Solve -38*s + a*s - 2 = 0 for s.
2
Suppose 2 = -4*b - s, b + 0*b + 3*s + 6 = 0. Solve 0 = -b*u + 8*u + 24 for u.
-3
Let t be 18 - (60/5)/2. Solve 4*x = -4 - t for x.
-4
Let c be -6 + (9 + -3 - -9). Let k = 38 - 18. Sup