 + 442. Let y be z(20). Let b be (-16)/(-3) - (-2)/3. Let t be b - (-1 - (-1 + 0)). Solve -2*v - t = -y for v.
-2
Let z = 1947 - 1816. Solve z*p - 14 = 124*p for p.
2
Let y = 23 + -22. Let g be 54/27*(y - 3)/(-2). Solve k + g = 1 for k.
-1
Let v be 1/((-1)/(-1) + 128/(-124)). Let m = -27 - v. Solve 2*d + 2*d = -m for d.
-1
Suppose 15 = 3*u + x, -17*u + 18*u + x = 7. Solve 2*v - 2 = -u for v.
-1
Let w = 4 - 2. Suppose -5*r = -6*r. Let h(i) = 2*i - 2. Let g be h(1). Solve -c + r*c + w = g for c.
2
Suppose 0 = -n - 3*o + 12, -2*o = 2*n - 6*o + 6. Solve 0 = 5*u + 8 - n for u.
-1
Let j = 222 + -203. Solve 0 = j*v - 22*v - 6 for v.
-2
Suppose 2*y + 16 - 1 = 3*a, -y = -3*a + 12. Let p = 4 - -3. Let h = p - a. Solve h*s = -s for s.
0
Suppose -2*k = 2*s - 0*k, -s - 4*k = 0. Suppose 9 = 3*y + 2*p, 5*y + s*p = 2*p + 31. Solve 0*t - y*t = 5 for t.
-1
Let v(h) = -h + 8. Suppose -4*i = -5*x + 20, 1 - 6 = -5*x + i. Suppose -6*b + 7*b - 6 = x. Let l be v(b). Solve 0 = -r + l*r for r.
0
Let v(w) = 4 + 3*w + w**3 - 3*w - w. Let h be v(0). Suppose -2*o = 2*k + 2*k - h, 0 = 2*k. Solve c - o = 3*c for c.
-1
Suppose -5*q + 7 = 3*v, 2*q + v - 9 = -3*q. Let h = -16 + 20. Suppose -2*b + 8 = 4. Solve -b = q*c + h for c.
-3
Let h(g) = -g**2 + 3*g + 158. Let z be h(-11). Solve z*n + 2*n = -24 for n.
-4
Let u(a) = -a**2 - 8*a + 14. Let w be u(-6). Suppose -w = -3*j + 25. Solve -3*m = j - 2 for m.
-5
Suppose 5 = -4*b + 3*v - 4*v, -5*b - 3*v - 15 = 0. Solve 5*r - r - 16 = b for r.
4
Suppose 0 = -4*v - 5*m - 0 + 7, -22 = -4*v - 2*m. Suppose -9*i + v*i + 6 = 0. Solve -i*z + 12 = -2*z for z.
3
Let w be -15*((-35)/(-15) - 2). Let u(s) = -s**2 + 12. Let b be u(w). Let j = -5 - b. Solve 3*y + 1 + j = 0 for y.
-3
Let v(f) = -4*f + 89. Let g be v(20). Solve g*m + 14 = 50 for m.
4
Let r(k) = k**3 - k**2 - k + 18. Let h be r(0). Let p = h + -15. Suppose f + 1 - p = 0. Solve -f*n = -0*n + 8 for n.
-4
Suppose -r - 69 = -74, -d = 4*r - 64. Solve -16*p = -4 - d for p.
3
Let x(k) = 2*k**2 - 42*k - 32. Let w be x(22). Solve 0 = w*u - 2 + 2 for u.
0
Let n(k) = 157*k + 4871. Let q be n(-31). Let d(b) = b**3 + 6*b**2 + 5. Let c be d(-6). Solve 21 = c*o - q for o.
5
Let m be (-1*1)/((-1)/25). Suppose -5*n = 3*i - 20, -114*i + 111*i + 11 = -4*n. Solve 0*q = i*q - m for q.
5
Let i = -29 + 31. Let v be (1/i)/(3/18). Solve 0 = -2*z + z + v for z.
3
Suppose -30 = -3*z + 3*s, 0*s + 5*s = -z - 20. Let g be (z/((-25)/(-3)))/(1/5). Solve 2 = w - g*w for w.
-1
Suppose 5 = 3*d - 4. Suppose d*n - 6 = 0, -l + 4 + 3 = 2*n. Solve -l*x = 2*x - 25 for x.
5
Suppose 0 = 456*v - 454*v - 74. Solve v*a = 35*a for a.
0
Let b(k) = k**2 - 14*k + 22. Let m(s) = s**3 + s - 1. Let p be m(2). Let q be b(p). Let f = -20 - q. Solve 2*o - 5 = -f*o for o.
1
Suppose -c - 4*t = 18, 0 = -2*c + 7*c + t + 90. Let v be c/(-4)*(-20)/(-30). Solve 9 + v = 3*h for h.
4
Let p(m) = -m + 15. Let f be p(11). Suppose 0 = 5*c - f - 6. Suppose -c = -5*n + 8. Solve 3*g = -n*g + 25 for g.
5
Let z(c) = -c**2 + 11*c + 17. Let f be z(12). Let o = f + 0. Solve -4*p + 1 = o for p.
-1
Suppose 5*l - 2*c - 430 = 0, 5*l - 15*c + 20*c - 465 = 0. Solve -20 = -l*b + 84*b for b.
5
Suppose -25*g = -28*g + 9, 5*u = 2*g + 99. Solve u*p - 14*p = -7 for p.
-1
Let l = -25 + 40. Suppose 0 = -x + 3*u - 12, -5*u + l = 2*x - 5. Solve x = -18*s + 16*s for s.
0
Let d = -1227 - -1254. Solve -8*l + d = l for l.
3
Suppose 2*h - 3*h = -9. Solve -4*b + 25 = -h*b for b.
-5
Let q(n) = -4*n - 35. Let r be q(0). Let b = r + 42. Suppose 0 = 5*j - 7*j + 4*u - 6, 5*u = 3*j + 6. Solve -j + b = 2*o for o.
2
Let j = 2 + -1. Let p be 4 + (-5 + 5 - -1). Suppose 4*l = -5*l + p*l. Solve -o - j = -l for o.
-1
Let a be 7 - 3*((-21)/(-9) + -1). Solve 4*m + a*m = m for m.
0
Suppose 5*t = 15 + 25. Let k = t - 0. Suppose 4*a + k = 16. Solve -o + 12 = a*o for o.
4
Let o(m) = -m**3 + 2*m**2 + 4*m + 5. Let a be o(3). Solve -a*i - 22 = 2 for i.
-3
Suppose -3*w - 9 = 0, -2*i + 4 = 3*i + 2*w. Suppose 3*s + 4 - 1 = -4*q, 4*s + 14 = -i*q. Solve -q*b - 2*b = -25 for b.
5
Let s = -2 - -1. Let w be 2 - (s - -5) - -2. Let b = -48 - -51. Solve -b*x - 6 + 0 = w for x.
-2
Suppose 51*q + 10 = 61*q. Solve -u = -4 + q for u.
3
Let n(q) = q. Let k be n(2). Let o be 92/9 - k/9. Solve 2*x = -0*x + o for x.
5
Suppose 2*h - 2 = h. Let i = 0 + h. Suppose 2*g - 8 = -i. Solve g*d = -d for d.
0
Let r(d) = 124 - 138 + 0*d - 2*d. Let g be r(-8). Solve -v - 3 = g for v.
-5
Suppose -2*q + 0 = 3*f - 38, 3*f - q - 53 = 0. Solve -f = 12*t - 76 for t.
5
Let m = -5868 - -5883. Suppose 0*k - 4*k - n = -17, -5 = -k - n. Solve y + m = k*y for y.
5
Let d(c) = c**3 + 5*c**2 - 3*c - 5. Let k be d(-5). Suppose -34 = 3*p - 4*h, h = -p - 0*p - 9. Let j = -5 - p. Solve k + j = -5*y for y.
-3
Let s(j) be the third derivative of -j**4/6 - 8*j**3/3 - 4*j**2. Let o be s(-5). Solve -4 = -2*n + o for n.
4
Suppose -43 = -20*k + 57. Solve 8 = -k*a + 3 for a.
-1
Suppose -5*q + 2 = -4*q. Suppose 0 = 3*y + 4*l + 9, q*l = -3*y + 4*y - 7. Solve 0 = 2*d - 3*d + y for d.
1
Suppose -517 = -14*d + 575. Solve -d*n - 6 = -84*n for n.
1
Let j be (1/(-2))/(-1 + (-45)/(-50)). Solve -x = j*x + 12 for x.
-2
Let a(u) = u**3 - 2*u**2 - 3*u. Let t(n) = -n**2 - 6*n - 5. Let j be t(-4). Let y be a(j). Suppose -3*d + 12 + 0 = y. Solve -d*r + 17 = 1 for r.
4
Let a be (1 + 2 - 0)*1. Suppose -g - a*h + 18 = 2*g, -4*g = -h - 4. Solve b + g = -0*b for b.
-2
Let b be 6/4 + (-2)/(-4). Suppose 4*m = -c - 3*c + 40, 3*m - 5 = b*c. Let g = 5 - c. Solve -i + 2 = -g for i.
2
Suppose -4*m = h - 0*h - 143, 4*m + 595 = 5*h. Let a = h - 121. Solve -a*f + 3 + 7 = 0 for f.
5
Let u(v) = 3*v - 25. Let c be u(7). Let b(o) = o**2 + 4*o + 6. Let h be b(c). Solve -7*q = -h*q for q.
0
Let j = -14 + 18. Suppose 2*u = j*u - 6. Suppose 0 = 4*r - u - 1, 3*h + r = 7. Solve -q - h = 1 for q.
-3
Let q = 1160 - 1154. Solve q*g = 14 - 38 for g.
-4
Suppose -a = -5*a + 16. Suppose 1 - 9 = -a*g. Solve -g*j = j - 15 for j.
5
Let y(l) = -l**2 + 4. Let r be y(0). Suppose -r*x + 67 = 7. Let n = -13 + x. Solve -z = z + n for z.
-1
Suppose -449*t + 12 = -446*t. Solve t*p - 8 = 8*p for p.
-2
Suppose -4*o + 12 = 2*b, -4*o + 0*o - 4*b = -8. Solve h + o = 2*h for h.
4
Let w(j) = j - 5. Suppose 3*o = 2*y + 3*y - 22, -4*y + 21 = o. Let t be w(y). Solve 5*i - 23 + 3 = t for i.
4
Let j(y) = y**3 - 9*y + 5. Let o be j(3). Suppose -o*q + 50 = 5*s, -8*s + 49 = -3*s + 4*q. Solve -s*c = -12*c for c.
0
Let u = -5 - -7. Suppose 0 = u*q - 2 - 8. Suppose -7 = -4*g + q. Solve 4*c + 17 = -g for c.
-5
Suppose -2 = 2*a - 2*r, 6*a - 5*r = 2*a - 9. Solve -a*s - 27 = 5*s for s.
-3
Let v = -10 + 10. Suppose v = -2*d + 1 + 7. Solve -d = 2*j + 6 for j.
-5
Suppose -427 = -5*a - l, -3*a + 91 = -2*a + 3*l. Let y = 94 - a. Solve 0 = -x + y - 4 for x.
5
Let m(a) = a**2 + 9*a + 8. Let q = 8 + -16. Let o be m(q). Suppose o = i + 5*v - 27, 23 = 3*i - 4*i + 5*v. Solve 0 = -i*d - 3*d for d.
0
Let m be 20/(-25) - (-4)/5. Let i(a) = m*a + a + 26 - a**3 + 13*a**2 - 32*a**2. Let z be i(-19). Solve 3 - z = -2*k for k.
2
Let v(l) = -l**2 - 7*l - 7. Let x be v(-6). Let g(r) = 4*r**2 + 2*r + 1. Let n be g(x). Let o be (1*(-6 - -4))/(-1 + -1). Solve n + o = s for s.
4
Suppose 21 = 2135*j - 2128*j. Solve j*m - 3 = 2*m for m.
3
Suppose 6*l - 2*l = -5*t + 14, -3*l + 3 = 0. Suppose -t*g = -g. Solve g*j + 5 = -j for j.
-5
Let g(j) = 3*j**3 - 3*j**2 + 6*j - 24. Let d be g(3). Suppose -d = -3*v - 3*a, 4*v + 2*a - 2 = 60. Solve -v = 3*f - 0*f for f.
-5
Suppose -2 + 0 = 3*j + 2*r, -3*r - 6 = 3*j. Solve j*l - 1 + 5 = 0 for l.
-2
Let o(i) = -2*i**2 - 14*i - 9. Let r = -1 + -5. Let j be o(r). Solve j*l = -2*l - 5 for l.
-1
Suppose 4*n - 4*k = -4, k + 23 = n + 6*k. Solve 7*x - 4*x - n = 0 for x.
1
Let b = 102 + -64. Solve 14 = 8*f + b for f.
-3
Let a(p) = -4*p**3 + p**2 + p + 5. Let f be a(-2). Solve 0 = -4*c + 17*c + f for c.
-3
Suppose 24*z = 80 + 568. Solve -z = -2*a - 37 for a.
-5
Suppose 3*o + 11 = -j, 6 = -3*j - 2*o + 1. Let y be (j - -2) + (-4)/(1 + -5). Solve 2*m - m - y = 0 for m.
4
Let u = 88 - 72. Solve -5*c + 9 + u = 0 for c.
5
Let s be (-56)/21*9/(-2). Suppose 3*b = -b + 16. Solve b*v - s = v for v.
4
Let z(m) = 3*m - 163. Let o be z(56). Solve 40 = 15*j - o*j for j.
4
Let u = -1485 + 1486. Let w(z) = -z**2 + 5*z. Let f be w(4). Solve 5*b + f = -u for