d(15). Let p be (4 + (-3 - 0))/1. Let v = p + i. Solve 3*t = -4 - v for t.
-3
Let m(h) = -h + 1. Let z(t) = -t**2 - 2*t - 2. Let i(u) = 4*m(u) - z(u). Let v be i(4). Let n = v - 8. Solve n - 2 = y for y.
4
Let h = -15 + 30. Let b(y) = -5*y - 15. Let l(p) = -4*p - 14. Let i(q) = -5*b(q) + 6*l(q). Let n be i(14). Solve -n*d = -0*d - h for d.
3
Let n(f) = f + 3. Let y be n(0). Suppose 30 = y*m - 3*w, -4*m - w + 13 + 52 = 0. Solve 2*t = -3*t - m for t.
-3
Let q = 3 - 0. Let x be (-12 - -8)*3/(-4). Suppose -3*s + 21 = 2*s + x*a, 0 = 4*s + 5*a - 9. Solve -n = -q*n - s for n.
-3
Let h be 6/(-24)*-3 + 3/(-4). Suppose -2*s = -3*s. Suppose n + h*n = s. Solve n*z = 4*z + 12 for z.
-3
Let q be -3*(-3)/3 + (-36)/(-4). Let a(l) = l**3 - 13*l**2 + 11*l + 12. Let o be a(q). Solve o = -0*g + 2*g + 4 for g.
-2
Let y(k) = -k**2 - 10. Let v be y(-5). Let u = 25 + v. Let s be 3/2 - 15/u. Solve 0 = -4*w - 9 - s for w.
-3
Let l = -399 - -402. Solve 4 = 2*z - l*z for z.
-4
Suppose -2*n + 3 = n. Let i be 5/(-5) + (22 - n). Let v = 27 - 27. Solve 3*d + d - i = v for d.
5
Suppose v + 5*l = 19 + 7, 4*v = 5*l + 29. Solve -27 = v*q - 2*q for q.
-3
Let y be ((-24)/14)/(4/(-14)). Suppose -y*q + 2*q = -68. Let k = q - 7. Solve 4*s - 2 = k for s.
3
Suppose -4*r - r = 80. Let k = 20 + r. Suppose 4*j - 2*z = 30, 3*z = k*j - 2 - 33. Solve -p = -j*p + 20 for p.
5
Let g be (4 + -25)*-1 - 0. Let b = g + -16. Solve 2 = -b*d - 8 for d.
-2
Suppose -z - z + 2 = 0, 4*n = 4*z - 96. Let c = n - -27. Suppose m - c*a - 16 = 0, -2*m - 2 - 2 = 4*a. Solve 0*j = m*j for j.
0
Suppose -3*k = -3*h - 39, -4*h + 9 + 11 = 0. Suppose -k*t + 15*t = -6. Solve t*x - 4*x = 6 for x.
-3
Let y(a) = -a + 17. Let p be y(15). Suppose 0 = -p*f + 2 + 2. Suppose -d - 5 = 3*b, f*b - 2*d + 0 = 10. Solve 5 + b = q for q.
5
Let t be (-10)/4*(-28)/35. Let q be 2*(-27)/18*2/(-6). Solve -t*j - q = -3*j for j.
1
Suppose 8*p - 40 + 16 = 0. Suppose 4*n = -3*r + 12, -p*n + 9 = 2*r - 7*r. Solve c + n + 1 = 0 for c.
-4
Suppose -58 = -50*z + 21*z. Solve -1 = -d - z for d.
-1
Let p(x) be the third derivative of x**5/20 + x**4/24 - x**3/3 - 3*x**2. Let v be p(-2). Solve 3*w - 7*w + v = 0 for w.
2
Let v(s) = -s**3 + 13*s**2 + s - 6. Let z be v(10). Let k be (-6)/(-9) + z/12. Suppose 5*w - k = 4. Solve -q = -w + 5 for q.
1
Suppose -g + 1 = -2*n, 0*g - 2*n = -4*g + 34. Suppose k + 2 - g = 0. Solve k + 3 = 3*w for w.
4
Suppose -7*g + 39 - 4 = 0. Solve -6 + g = -w for w.
1
Suppose -8*z = -17 + 9. Solve z + 14 = -5*r for r.
-3
Let t(q) = 31*q - 184. Let i be t(6). Solve -5*y - i*y = -3*y for y.
0
Let f be -2 + 3 + 8 + 2. Solve -f*i = 43 + 12 for i.
-5
Suppose 6*j - 10 - 2 = 0. Solve -j*h - 15 = 3*h for h.
-3
Suppose -3*q + 5*f + 13 = 0, -4*f + 22 = 3*q - 0*f. Let s = -16 + q. Let z = s + 14. Solve z*k - 2*k = -6 for k.
-3
Let l(t) = t + 16. Let s be l(-15). Solve 6*b + 5 + s = 0 for b.
-1
Let x be 14 + 121/(-11) - 3. Solve -3*s - 9*s + 12 = x for s.
1
Suppose -95*o = -m - 94*o + 2, 5*o = -5. Let i(z) = 2*z + 1. Let b be i(1). Solve b*k + 4 - m = 0 for k.
-1
Let l(k) = k - 15. Let c be l(17). Let z(o) = o - 2. Let w be z(c). Let j(i) = -i**3 - i**2 + 2. Let p be j(w). Solve 6*m - p*m - 12 = 0 for m.
3
Let i(u) = -u. Let m(o) = -o**2 - 2*o + 10. Let c(t) = 4*i(t) - m(t). Let r be c(5). Solve 0 = r*b - 3*b - 8 for b.
4
Suppose -5*y = 3*g - 42 - 14, -3*y + 60 = 4*g. Solve -6*j = 18 + g for j.
-5
Let f = -23 + 5. Let q = -9 - f. Let l be 0*4/20 - -1. Solve 2*o + l = q for o.
4
Suppose -c = 2*r - 2*c - 56, c = -4*r + 106. Let d = -19 + r. Suppose 4*w - d = 28. Solve 0 = 3*x + w - 0 for x.
-3
Suppose -v = 2*q - 30, 3*v = -2*v + q + 106. Solve 7*i = -4*i - v for i.
-2
Suppose 5*j - 6 = i, -i + 3 = -4*j + 7. Suppose 5*g - 2*c - j = 14, -2*c = -4*g + 14. Suppose 3*v - w + g = 0, -v + 4*w - 21 = -2*v. Solve v = 2*a + 3 for a.
-1
Let r be (3/(-6))/((-2)/16). Let t(p) = -3 - 2*p**2 - 85*p + 91*p + p**3 - r*p**2. Let o be t(5). Solve -k - 1 = -o*k for k.
1
Suppose 25 + 5 = 6*p. Suppose 9 = v - r - r, 15 = p*v + 5*r. Suppose t - 4*t - 5 = 5*n, t + v = -5*n. Solve 0 = -t*g + g for g.
0
Let f = -411 - -451. Solve 60 - f = -5*q for q.
-4
Let h(w) = w**2 - 3*w - 8. Let t be h(7). Let j be 4/(-18) + 4 + t/9. Solve -15 = -3*z + j*z for z.
-5
Let a be 81/(-108) + -2 + (-11)/(-4). Solve a = 2*f - 13*f + 33 for f.
3
Suppose -5*w = -2*o - 3 + 13, 5*o = w + 25. Suppose -5*r + 2*j + 8 = w, r + 2 = 4*j - 0. Solve -r*v = -v - 5 for v.
5
Let w be 18/(-1 - (-30)/18). Solve 3*t + w = 24 for t.
-1
Let u(t) = t**2 - 5. Let d be u(-3). Suppose 8 - 20 = -d*x. Solve j + x*j + 20 = 0 for j.
-5
Let p = 254 - 219. Solve 3*h + 23 = p for h.
4
Let u be -20 + 3*(-2 + 1 - 0). Let z = 50 - 23. Let a = u + z. Solve 0 = -a*g + 12 for g.
3
Suppose 0 = -9*u - 19 + 127. Solve -2*t = -u*t - 10 for t.
-1
Let m be (2 - 1)/(2/6) - 3. Suppose -9*z + 88 - 7 = m. Suppose 6*a + 5*b = 3*a - 19, 0 = 4*a - 2*b - 18. Solve -z + 3 = -a*s for s.
3
Let c be (2 - 0)/((4 - 1)/3). Solve -c*a = a for a.
0
Suppose -3*f - 6*h = -3*h - 6, -2*h = 4*f - 4. Suppose 5*k + 0*k - 40 = 0. Solve 2*s - k + 0 = f for s.
4
Let q(b) = b**2 - 2*b - 3. Let x be q(4). Let z(o) = o**2 + 4*o + 5. Let g be z(-3). Solve -x*u = -g - 8 for u.
2
Let g be 0*((-22)/28 + (-14)/(-49)). Suppose 2*n - 10 = w, g = -n - w + 3*w + 11. Solve -2 = -n*d + 7 for d.
3
Let t be (-3)/((27/(-4))/9). Suppose 5*z = -t*p + p - 10, 3*p + 3*z = -6. Solve 0 = 2*y - p*y for y.
0
Suppose 9*r - 5*r - 3*s - 32 = 0, -26 = -2*r + 4*s. Solve 12 = r*z - 3 for z.
3
Suppose 2*x = x + 7*x. Solve x = 3*m + 2 - 5 for m.
1
Suppose 4*z + 132 - 24 = 0. Let p = z + 58. Solve -11 = 5*b - p for b.
4
Suppose 5*b = -0*b. Suppose -4*j - l - 2 - 4 = b, 0 = j + 2*l - 2. Let c be (-6)/45 - j/15. Solve -a + 3 = -c*a for a.
3
Suppose -6*x = 3*q - 4*x - 12, 4*q + 7 = 5*x. Suppose -26 = -d - 14. Let l be 27/d + 6/8. Solve l*f + 20 = -q*f for f.
-4
Let t = 10 - 8. Let k be (-4)/(-12)*(t - 2). Solve 3 = b - k for b.
3
Suppose h + 5 = 4*a, 0 = 4*h + a - 8 - 6. Suppose h*z - 17 = -k, 4*z + 5 = 4*k + 1. Solve -s = -z*s - 12 for s.
-4
Suppose 0 = 5*z - 90 - 115. Solve 16 = -45*i + z*i for i.
-4
Let f(i) = -12*i + 36. Let k be f(3). Solve k*d - d = 0 for d.
0
Let i(r) = -r**3 - r**2 - 12. Let a be i(0). Let y be (-2)/6*a/2. Suppose -3*x - 2*d + 10 = 0, -5*x + 12 + 13 = 5*d. Solve x = 4*b - y + 22 for b.
-5
Suppose b + 2*k - 8 = -0*b, -2 = -k. Suppose 2*f - 8 = n, 0 = 2*f - 3*n - b. Solve -f*w = -w + 20 for w.
-5
Let i(n) be the first derivative of n**4/4 + 14*n**3/3 + 2*n - 9. Let r be i(-14). Suppose 38 = 2*w - b, 3 = r*w - 3*b - 31. Solve -2*y = -6*y - w for y.
-5
Suppose -5*u + 3 = -8*u. Let l be (u + 1)*(-3)/6. Suppose l = -q - q + 20. Solve -2*m + q = 3*m for m.
2
Suppose 0 = 39*z - 22*z - 51. Solve -z*a = 2*a for a.
0
Suppose 0 = -10*p + 4*p + 66. Suppose 2*c - 8 = z, -3*c + p + 10 = 3*z. Suppose 0 = -4*j - 5*g + 9 + 12, 10 = 3*j - z*g. Solve 0 = -2*k + 3*k - j for k.
4
Suppose 7 + 2 = 9*f. Let q be f + 4/(-6) - 3/9. Solve -3*b + b - 10 = q for b.
-5
Suppose -b + w = -w - 2, -2 = 2*w. Let s(h) = -h**3 + 5*h**2 + 7*h - 2. Let l be s(6). Suppose z - l - 5 = b. Solve -4*f = -7 - z for f.
4
Let y = -378 - -388. Solve 0 = -6*h + 2 + y for h.
2
Suppose -9 = -5*h - d + 11, 0 = d + 5. Solve h*w = -w for w.
0
Let m be ((-15)/(-4))/(7/(112/6)). Suppose -26*i + 28*i = m. Suppose -b - 9 = -u, 6*b - b = -2*u + 11. Solve -u - 2 = -i*o for o.
2
Let z(i) = -i**2 - 13*i + 99. Let u be z(-18). Solve -u*w + 8*w = 12*w for w.
0
Suppose -j + 35 = 2*i, -4*j + 3*j = 6*i - 43. Solve 6*w = -7 + j for w.
4
Suppose 0 = r + 5*y - 10, -r - 2 + 4 = y. Solve -3*z = -r*z for z.
0
Let g(p) = -p**2 - 10*p + 1. Let c be g(-10). Let r = 1 + c. Let w = r + 3. Solve 3*b = 10 + w for b.
5
Let n = -434 + 437. Solve -6*m = n - 3 for m.
0
Suppose 2*v = 4*k - 3*v - 85, -3*k + 4*v = -65. Let m be 5/(k/48) + -1. Let t = -12 + m. Solve -3*o + 0 - t = 0 for o.
-1
Let f be 6 + 10/(-6) - (-2)/(-6). Solve 5*k = f - 4 for k.
0
Suppose -4*j = -5*h + 17, -5*j - 5*h + 14 + 21 = 0. Suppose 21 = 2*s - 3*y, -22*s = -27*s - y - 7. Solve c - j*c + 3 = s for c.
3
Let c(q) = -20 + q**2 + 8*q + 5*q - 6*q. Let k be c(-10). Solve 3*n - k = -2*n for n.
2
Let x be 1/(-2)*(-16)/4. Suppose 0 = -4*j + x*j. Suppose 34 = 52*v - 70. Solve -w - v*