Let m(f) = f**2 + 7*f + 4. Let b be m(-6). Let k be a(b). Solve -k*z - z = -w for z.
1
Let s = 190 + -89. Let b = -93 + s. Solve -b*x + 12*x = -12 for x.
-3
Suppose -4*y + 21 + 39 = 0. Suppose -17 = -8*r + y. Solve -r*t = -t for t.
0
Suppose -13 = -3*s - 7. Suppose -5*g = -k - 38, -s*g + 3*k = 3*g - 44. Suppose 14 = 3*z - g. Solve -z*l = -2*l for l.
0
Suppose 5 = 18*y - 247. Solve 4*z = -3*z - y for z.
-2
Let q be 9 - 2/(-4 + 3). Solve -9*u = -q*u for u.
0
Let h(i) = 4*i - 70. Let o be h(19). Solve -o*v = -19 - 5 for v.
4
Suppose -o + 27 = 2*o - 3*h, 2*o - 26 = 4*h. Solve o*w = 7 - 17 for w.
-2
Let x(k) = -k**3 + 11*k**2 - 9*k - 12. Let m be x(5). Let h = m + -91. Solve -h*t - 2 = -t for t.
-2
Let c(z) = 2*z**2 + 16*z - 16. Let g be c(1). Solve 0 = g*m - 1 - 3 for m.
2
Let p be ((-6)/(-10))/((-1)/5) + 10. Solve p*m + 14 = -7 for m.
-3
Suppose -k - k = -26. Suppose 0 = 14*i - k*i. Let p be (-2 + 16/6)*6. Solve p*w = 4 - i for w.
1
Let q = 8 - 2. Let w(n) = -n**2 + 5*n + 8. Let o be w(q). Solve 0 = o*p - 3*p - 4 for p.
-4
Let p = 192 + -184. Solve 2*j = -p - 0 for j.
-4
Suppose -10*o + 45 = -7*o. Let x(b) = 2*b - 4. Suppose -2*u + 14 = 2*u - 2*s, 0 = 3*u + s - 8. Let d be x(u). Solve o = d*i + i for i.
5
Let j = 75 + -49. Let t(o) be the second derivative of -o**4/12 + o**3/3 + 3*o**2/2 + 7*o. Let k be t(3). Solve k = 3*c + j - 11 for c.
-5
Let v be (-1 - -6)*48/20. Let n be 15/(-90) + 74/v. Solve -2*x - 4 = -n*x for x.
1
Let q(g) = 2*g**2 + 17*g - 79. Let c be q(4). Solve 31 = -5*r + c for r.
-2
Let z = -14 - -25. Suppose 50 - z = 3*s. Solve 5*x = -7 - s for x.
-4
Let q be (-46)/(-161)*(13 + (1 - 0)). Solve -15 = q*r - 3 for r.
-3
Let a(i) = -5*i**2 - 7*i - 7. Let m be a(-6). Let v = 145 + m. Solve v*k = 5*k for k.
0
Let r be (0*((-1)/(-2))/(-1))/(-1). Suppose -6*d + r*d = -12. Solve d*o + 0*o - 10 = 0 for o.
5
Let c = -682 + 695. Solve 4 = -c*b - 9 for b.
-1
Let r = -22 - -24. Suppose -x - 2*p - 1 - 3 = 0, 0 = -4*x + p + r. Solve -4*j + x*j + 4 = 0 for j.
1
Suppose 2*y - d + 37 = 0, -4*y + 3*d - 51 = 24. Let x be -1 - -2 - (y - -19). Solve p - 5*p = x for p.
0
Let f be 25 + -15 - (2 - -2). Suppose -k - 5 + f = 0. Solve -3*h = -4 + k for h.
1
Let y be (2/4 + 0)/(3/6). Solve -4*q + y = -7 for q.
2
Let i = -2 + 2. Solve -2 = -2*w - i*w for w.
1
Suppose 2*l - 4*x = 8, -2*l - 2*l - 4*x + 16 = 0. Solve l - 7 = -3*u for u.
1
Let d(m) = -m**3 - 6*m**2 + m + 10. Let a = 129 - 135. Let n be d(a). Solve -n = -2*o + 2 for o.
3
Let c(x) = 9*x + 2. Let b be c(2). Let m(y) = y**2 + y - 2. Suppose -3*u = -u - r + 1, -u + 5*r + 13 = 0. Let j be m(u). Solve n + 4*n + b = j for n.
-4
Suppose -4*z - 20 = -5*p - 5*z, z + 16 = 4*p. Let c(i) = i**3 + 4*i**2 + 1. Let s be c(-4). Let f(g) = 2*g + 1. Let l be f(s). Solve b - l = p*b for b.
-1
Let j(t) = -t**2 + 8*t + 8. Let z be j(7). Suppose 4*n - z = -n. Suppose n*r + 11 = w, 4*w + 0*r = 4*r + 20. Solve -2 = w*i + 2 for i.
-2
Let h(v) = -v**3 - 10*v**2 - 10*v - 3. Let k be h(-9). Suppose 12*z = 9*z + k. Solve 0 = z*f - 3*f for f.
0
Let y(c) = c**2 - 6*c - 11. Let f be y(8). Suppose -4 = -h + f. Solve 0 = 2*k + 3 - h for k.
3
Let m be (-15)/(-10)*40/6. Let u be ((-8)/m)/(10/(-25)). Suppose 5*o - a - 25 + 3 = 0, -2*o = -a - 7. Solve -j = -u + o for j.
-3
Let a = -913 - -934. Solve 3*w = -4*w + a for w.
3
Suppose 0 = 14*m + 37*m - 714. Solve -m = -9*f + 4 for f.
2
Let d be (-2)/6*-3 + (7 - -20). Solve 6*l = -l - d for l.
-4
Suppose -s - 15 = -4*s. Let o(n) = -n**3 - 3*n**2 + 3*n. Let u be (-16)/(-6)*(-60)/40. Let c be o(u). Solve 21 = c*t + s for t.
4
Suppose -4*s + 6 = -2*l, 4*l - s = 2*s + 8. Suppose r - 4*d + l - 1 = 0, d + 67 = -4*r. Let k = r - -19. Solve -5*n = -2*n + k for n.
-1
Suppose -10*z = u - 14*z + 4, -2*z = 2*u - 32. Solve -b - 52 = u*b for b.
-4
Suppose 2*b = -14*b + 48. Solve 0*m = -b*m for m.
0
Let c be (1/((-3)/18))/(-2). Suppose -2*u - 4*v - 23 = v, -2*v = 5*u + 5. Suppose -u = 2*b - 3. Solve -c*w - b = -4 for w.
1
Suppose 5*o = 7*o - 3*i - 100, o + 3*i - 50 = 0. Solve -o*t = -53*t - 6 for t.
-2
Suppose 5*n = -2*h + 19 - 2, 5*h + n - 31 = 0. Suppose -14*o + 32 = -h*o. Solve 0 = o*s - 0*s - 20 for s.
5
Suppose 4*q + 13 - 57 = 0. Suppose -q = 3*z + 5*y - 42, 16 = -2*z + 4*y. Solve 6*a - z*a = 0 for a.
0
Suppose 37*h + 21 = 40*h. Solve -h*j = -3*j - 8 for j.
2
Let g be -1 - 12/(-3) - -4. Suppose -4*o = -g*o. Solve p + 2 + 2 = o for p.
-4
Let x(b) = -b**3 + 9*b**2 - 12*b - 5. Let l be x(6). Let z = l - 28. Solve -z = -u - 0*u for u.
3
Suppose -7*w = -3*w. Suppose w = -g - 3*z + 13, 6*g - 2*g + 3*z - 25 = 0. Solve g = p + 6 for p.
-2
Let t(i) = 6*i. Let m be t(9). Let h = m - 48. Solve -h*q = -q for q.
0
Suppose -14 = 3*v - v. Let h = v - -7. Suppose 9 = 4*t + 1. Solve h = 2*q - t for q.
1
Let w be 19 + 0 + (-16)/4. Solve 10*r + w = 5*r for r.
-3
Suppose 8*o = 33 - 1. Suppose 66 = o*b + 2*y, -2*y = b - 0*y - 24. Solve 6 + b = -5*r for r.
-4
Let l(c) = 2*c**2 + 8*c + 6. Let z be l(-7). Solve 16 = 44*t - z*t for t.
-4
Suppose q = -4*u + 14 + 10, q + 2*u - 14 = 0. Solve -q*r + r = 0 for r.
0
Let h be (-978)/(-27) + -2 - (-32)/(-144). Solve -10*l = 4 - h for l.
3
Suppose 3*r - 7*r + 12 = 0, 0 = -y + 4*r. Let c(b) be the third derivative of -b**4/24 - b**3/6 + 2*b**2. Let i be c(-6). Solve -g - y = -i*g for g.
3
Let u be (-2 + 1)/(1/(-5)). Suppose -b = -2*q, 6 = -4*q + u*q + b. Suppose 4*x = 3*i, 0 = -4*x - q*i - 0*i. Solve x*w - 1 = -w for w.
1
Suppose -3*c = -9*c + 54. Let h be 1/c - (-3)/(-27). Solve -r + h*r = 3 for r.
-3
Let w be 6/9 + (-58)/(-3). Let z = -270 + 276. Solve c + w = z*c for c.
4
Let m = -71 - -72. Solve -9 = 5*g + m for g.
-2
Let r(v) = -v**3 + 31*v**2 - 58*v + 4. Let c be r(29). Let s(y) = y**3 - y**2 - y. Let w be s(2). Suppose 4*b = w*b + 8. Solve b*x + 4 + c = 0 for x.
-2
Suppose 0 = -5*z - 4*g + 6, -2*z - 3*g = -4*g - 5. Let s(n) = -z*n + 0*n - 13 + 5. Let w be s(-6). Solve -w*h + 2*h = 0 for h.
0
Let v be (-4 + 4 - -2)*2 - -1. Solve -3*a - 1 = v for a.
-2
Suppose -2*i = 3*o - 65, -4*o - 6*i = -2*i - 80. Solve 9*s + o = 4*s for s.
-5
Suppose -4*s - 185 - 247 = -5*w, 272 = 3*w + 4*s. Let f = w + -86. Solve -o = f*o - 9 for o.
3
Let s = -13 + 16. Suppose 2*q = 11*k - 13*k + 4, 2*k + 3*q = 1. Solve 2*u - k*u = -s for u.
1
Suppose 5*x - 46 = 3*a - 5*a, 0 = 5*a - 15. Solve 36*r - x = 32*r for r.
2
Let o(p) = -p**2 - 20*p - 15. Let g be o(-19). Suppose 55 = g*z + 7*z. Solve 1 = -2*h - z for h.
-3
Suppose -v = v, 14 = u - 5*v. Suppose 4*c + 2 = u. Suppose 0 = -o + c + 1, 5*p = -4*o + 46. Solve p*m = 4*m + 8 for m.
4
Suppose 45 = d + 21. Suppose -23*s + d*s - 5 = 0. Solve s*h - 5 = 4*h for h.
5
Let k(s) = -s**3 + 13*s**2 - 23*s - 16. Let r be k(11). Let z = 29 + r. Solve 0*d = -d - z for d.
-2
Let j(r) = r**3 - r**2 + 2*r + 17. Let g be j(0). Suppose -z + g = -2*z. Let i = 22 + z. Solve i*p + 20 = -0*p for p.
-4
Suppose 0 = 922*s - 1045*s + 246. Suppose 0 = 5*k - k - 24. Solve -s*a + k*a = 20 for a.
5
Suppose 7*q + 3*q = 470. Let x = q - 46. Solve 0 = -n - x + 6 for n.
5
Let z(y) = -y - 5. Let c be z(-7). Let t(m) = 14*m**c + 0*m + 5 + 7*m - 13*m**2. Let h be t(-7). Solve -h*b - 2 = -17 for b.
3
Let x = -208 - -123. Let r = -69 - x. Solve -4*i + 4 = r for i.
-3
Let n = -5 + -6. Let q = -9 - n. Suppose 3 = 3*b - q*v + 1, -5 = 4*b + 5*v. Solve h + 2*h = b for h.
0
Let n be (27 + 7)/(0 + 1). Let l = n - 34. Solve 0*r + 3*r - 6 = l for r.
2
Let l = 29 + -14. Suppose l = 2*t + 3*t. Suppose t*v - 14 = -4*p, -3*p + 4 = -v - 0*p. Solve o - 6 = -v*o for o.
2
Let u be -6*(-6 - 9/(-3)). Suppose 18 = 4*s + u. Solve 0 = a - s*a for a.
0
Let v(y) = 3*y + 4. Let g be v(2). Suppose -4 = 8*u - g*u. Solve -u*o + 5 = -o for o.
5
Let g(w) = -19*w - 130. Let c be g(-7). Solve c = 2*f - 3 for f.
3
Suppose 0 = -c - 0*c - 15. Let m = -13 - c. Let p be (0/4)/3*1. Solve m + p = 2*u for u.
1
Let n be 2/(-8) + -7 + (-33)/(-4). Let y be 1 - 3 - (-3 - n). Solve 15 = p + y*p for p.
5
Let f(p) = p**3 + 4*p**2 - p - 4. Let g be f(-3). Suppose u = -0*u - 1, 2*n - g = 2*u. Solve 0*i = -n*i for i.
0
Let c = -631 + 681. Solve -10 = -45*p + c*p for p.
-2
Suppose -5*y - 50 + 20 = 0. Let i be 2 + 6/(-4) + (-3)/y. Solve -4*q - 3 - i = 0 for q.
-1
Suppose -2*h = -0*v - 5*v + 6, 9 = -3*h. Let k(f) = 2*f**2 + 43*f + 23. Let l be k(