c = 0 + b. Solve -4*p + c + 5 = 0 for p.
3
Let b(g) = -4*g**3 - 1. Suppose 0 = 2*p + 30. Let r = p - -14. Let d be b(r). Solve d*n + n = 12 for n.
3
Let j be -2*(-6)/(-4) - (-3 + 4). Let x(v) = -v**2 - 7*v - 8. Let m be x(j). Solve 2*u - m*u = 0 for u.
0
Let p(c) = -c - 5. Let f be p(-10). Solve 24 = -f*q + 4 for q.
-4
Suppose -15 = -5*n - w - 4*w, -n + 5*w = -9. Suppose -6*d + n*d = 0. Suppose 10 = -5*z - 3*x + 32, d = -5*x + 20. Solve 3*c = -z*c - 20 for c.
-4
Suppose -5*l + 25 = -2*c, -4*l - 1 = -c - 21. Solve d = -1 + l for d.
4
Let q = 12 + -2. Let f = q + -3. Suppose -f*w = -l - 6*w + 9, -25 = -5*l + w. Solve l = -2*c - 0*c for c.
-2
Let a be (10/2)/(-12 - -13). Suppose 2*g = -5*t + 16, a*g + 2*t = -t + 21. Solve w = -g*w + 16 for w.
4
Let x(i) = 43 - 22 - i + i**2 - 23. Let n be x(2). Solve -5*t = -n*t for t.
0
Let s be ((-1)/2)/(3/(-54)). Let n be (-1)/(0 + (-2)/218) - -3. Let c = 117 - n. Solve c*u + s = 2*u for u.
-3
Suppose 5*i - 2 = 13. Let p = -1683 + 1687. Suppose -i*r + p*r = 0. Solve 0*s - 3*s = r for s.
0
Suppose 0 = -4*i - 0*i + 64. Suppose 3*g = 9, 4*g + i = 5*y + g. Solve 2 = -y*k - 3 for k.
-1
Let c(g) = g**2 + 13*g - 85. Let d be c(5). Solve 0 = -d*u - 21 - 4 for u.
-5
Let v(o) = -o**2 - 3. Let m be v(-3). Let c = m + 7. Let t = 8 + c. Solve -t*u + 6 = -u for u.
3
Let y be (-56)/(-14) - 2*1. Suppose 1 = t - q - 3, 6 = 5*t + y*q. Solve -i = i - t for i.
1
Suppose 0 = 18*i - 6*i - 96. Solve -2 = -3*f - i for f.
-2
Let d(q) = q**3 + 4*q**2 - 6*q - 17. Let v be d(-2). Solve -z + 0 - v = 0 for z.
-3
Suppose -j = -3 + 1. Suppose j*l + 1 - 4 = i, 0 = 5*l + 5*i - 15. Suppose h + 2*f - 44 = -3*h, -2*f - 46 = -5*h. Solve -l*m + 4 = h for m.
-3
Let m(a) = -2*a - 12. Let k be m(-7). Solve -k*y = y + 15 for y.
-5
Let o = 384 - 368. Solve -4 = 4*j + o for j.
-5
Let f be 2/23 + (-4816)/(-161) + -25. Solve -8*q + f*q = -3 for q.
1
Let w = -636 - -636. Solve -3*h + w = 3 for h.
-1
Let k be ((-1)/(-5))/(3*1/15). Let j be ((-3 + 1)*k - -3)*1. Solve -j + 7 = -3*a for a.
-2
Let t(o) = -o**3 - 7*o**2 - 5*o + 6. Let k be t(-6). Suppose -6 = -m - k. Let x be 0*((-9)/m)/(-3). Solve 5*f + 12 + 3 = x for f.
-3
Suppose -13*t + 21 = 8. Let h be ((-12)/(-10))/((-2)/(-5)). Suppose 2*i + 2 = 3*o + 4, h*i = -4*o + 3. Solve o - t = -g for g.
1
Suppose -27*y = -19*y - 120. Solve -3 = -3*r - y for r.
-4
Let j = 10 - 15. Suppose -76 = -17*r + 111. Let x = r + j. Solve p + x = -p for p.
-3
Let s(m) = -m**2 + 26*m - 36. Let y be s(24). Solve y = 3*c - 7*c for c.
-3
Let y(b) = -b**2 + 2. Let a be y(1). Solve -m = -a - 4 for m.
5
Suppose 5*d - 17 = 23. Suppose -6*a = -d*a + 12. Suppose -12 = s - a*s + 3*p, 3*s + 3*p = 12. Solve -s*k + 0*k = -12 for k.
4
Let o(a) = -a**3 + 4*a**2 + 5*a + 5. Let v be o(5). Suppose 5*g = v*j - 30, j - g = -3*g - 3. Suppose 3*b - j = 27. Solve -3*f = -5*f - b for f.
-5
Let a be 2/(-3) + (-186)/(-9). Suppose 6*g - a = g. Solve 0 = -w - g*w + 5 for w.
1
Let i = -10 + 15. Suppose i*n + 0*l = 4*l + 112, -5*l = 3*n - 45. Solve n = 3*g + g for g.
5
Let q(j) = 2*j**3 + 39*j**2 + 20*j + 44. Let m be q(-19). Solve m = 13*p - 18*p for p.
-5
Let w(j) = -j**2 - j + 8. Let x be w(0). Suppose 7*d - x = 20. Solve 0 = d*q - 4 - 8 for q.
3
Suppose -243*r + 237*r = -120. Solve 7*c + r = 12*c for c.
4
Let w be 32/18 + 4/18. Suppose 10 = -10*z + 15*z. Suppose z*m = -w*m + 60. Solve 4*n = 3 - m for n.
-3
Let j = -258 + 267. Solve -1 = 2*o - j for o.
4
Let u be (-11)/((-110)/(-15)) + 9/6. Solve u*y + y - 8*y = 0 for y.
0
Let v(y) = -y. Let b(z) = -2*z - 4. Let g(w) = -b(w) + 3*v(w). Let l be g(1). Solve l*s = -s - 12 for s.
-3
Let y = 461 + -461. Solve -o + 93 - 93 = y for o.
0
Let t be 27/5 + (-6)/15. Suppose -3*y = -v - 10, v = 4*y + t*v - 40. Suppose -3*u - 5 = -2*w, 15 = -y*u - 0*u + 5*w. Solve -2*r + u = -r for r.
1
Let u = 33 - 17. Suppose -h - 2*w - 12 = -4*h, 0 = 4*h - 4*w - u. Suppose 2*j = 1 + 9. Solve -h*p = -j*p - 3 for p.
-3
Let z = -27 - -11. Let x = 0 - z. Let i = x - -4. Solve 2*w = -2*w - i for w.
-5
Suppose 43*m = 48*m + 15. Let d be 4 - (-2 - m)*1. Solve d*j - 5 = -14 for j.
-3
Let x = -78 - -78. Let p be (x - 4/4) + 3. Solve 5*z - p = -7 for z.
-1
Let r(q) = q**2 - 3*q - 1. Let g be r(4). Let l be (-5 + -3)*g/(-6). Solve 0 = -0*s + l*s - 12 for s.
3
Suppose -2*b + 32 = -x + 65, -45 = -x - b. Solve 38*f - x*f - 6 = 0 for f.
-2
Suppose s = -3*s. Let p = 36 + -16. Suppose 3*a + 6 = 0, 2*j - 5*j + 1 = 4*a. Solve s = -j*y + 8*y - p for y.
4
Let z(p) = p**2 - 11*p + 28. Let t be z(7). Suppose w + 4 = s, -2*s = -2*w - 3*s + 4. Suppose 0 = -d - 2*q + 3, w = -q. Solve l + t = d for l.
3
Let h(y) = y**2 + 3*y - 6. Let r be h(-5). Let b = -24 + 23. Let j be (7 + -8)/(b/r). Solve -j*g - 1 = -5 for g.
1
Suppose -3*c = -173 + 188. Let o be 0/(-2) - (-3 + 23)/c. Solve 0*s - 12 = o*s for s.
-3
Suppose 10*z = 21*z - 253. Solve -25*y + z*y = -2 for y.
1
Let w(m) = m**2 + 15*m - 26. Let q be w(2). Solve -2*u = q - 12 for u.
2
Let s(g) = -g**3 - 3*g**2 + 3*g - 4. Let k be ((-4)/6)/((-1)/(-6)). Let m be s(k). Solve m = -i - i - 4 for i.
-2
Suppose -48*z + 1170 = -9*z. Solve -z = 28*l + 54 for l.
-3
Suppose 3*d = 2*h + 17, 10*h = 2*d + 13*h - 20. Solve -25 = 2*l - d*l for l.
5
Let y = 1133 - 1078. Solve 0 = -2*d - 9*d + y for d.
5
Suppose 3*i - i = 272. Suppose -142 = -4*j + 2*f, 3*f = -4*j - f + i. Let z = j + -32. Solve -4 = -z*k + 2*k for k.
4
Let v = 41 + -45. Let d = 11 + v. Solve -d = 2*i + 1 for i.
-4
Suppose 2*c + 2 = -5*v, 0 = -5*c - 4*v - v + 10. Solve 0 = -2*m - c + 2 for m.
-1
Let p(j) = -2*j**3 + 27*j**2 + 2*j - 35. Let y(v) = -v**3 + 14*v**2 + v - 18. Let x(m) = -3*p(m) + 5*y(m). Let f be x(11). Solve f - 9 = -c for c.
5
Let i be 14/147*7*3. Solve i*m = 314 - 306 for m.
4
Let a(r) = -r**3 - 12*r**2 + r + 16. Let x be a(-12). Suppose q - 11 = x*q - 5*v, 5 = -5*q + 5*v. Solve 3 - 6 = -q*f for f.
1
Suppose 5*s = s. Suppose s = 2*j - 5*j. Suppose -2*w + 0*w = j. Solve w = k + 4 - 3 for k.
-1
Let y be (-2)/(-16) + (-23)/(-8). Suppose 4*j = -r - 5, 0*r - 4*r + y*j + 18 = 0. Let q be (-15)/3*r/(-5). Solve q*i = -0*i for i.
0
Let w(p) = 2*p - 10. Let s be w(7). Suppose y = 0, -5*c - y = -s - 1. Solve -2*o + c = -7 for o.
4
Let d(y) = 2*y - 8. Suppose -4*w - g + 15 = 0, -4*w + 0*w + 5*g = -45. Let k be d(w). Solve p = -k*p - 15 for p.
-5
Let m(h) = h**2 + 3*h. Let d be m(-4). Let s(z) be the second derivative of z**4/12 - z**3/3 - z**2/2 - 3*z. Let r be s(d). Solve 0 = -r*o + 2*o - 25 for o.
-5
Let b(s) = -s**2 + 3*s + 2. Let u be b(2). Solve -u = -3*v + 5 for v.
3
Suppose 2*v - 12 = -2*v. Suppose w - 2*w + 4 = 5*y, -5*w + 4*y = -165. Let m be 2/(-3) + w/3. Solve m = -v*k + 6*k for k.
3
Suppose 1 = -2*k - 1. Let l = 16 - k. Suppose l = 3*h + 5*s, 4*h = -0*s + s + 15. Solve z + h = -0*z for z.
-4
Let c = 118 - 67. Let t = 54 - c. Solve 0*r + 6 = -t*r for r.
-2
Let o be 3*(0 + (-14)/(-6)). Suppose 5*q = 13 + o. Solve -13 = q*v + 7 for v.
-5
Let u be 6 + (1 + -4)*1. Solve u = -i - 0 for i.
-3
Let n be -3 - -5 - (-1 - 0). Let p(w) = -w**n + w**2 - 4 + 5*w**2 - 9*w + 6*w. Let a be p(5). Solve a = -3*c + 6*c for c.
2
Let k(d) = -d**3 + d**2 + d + 4. Let c be k(2). Solve -c*w + 3 = -3 for w.
3
Let i = -8 + 10. Let n(w) = -2*w + w + 2 + 0*w - 12. Let g be n(-15). Solve g*q = 12 - i for q.
2
Let t be 23/(-1)*(-4)/4. Suppose -4*j + 43 = -0*j - 3*a, -a - t = -2*j. Solve -3*k - j = -1 for k.
-4
Suppose 0 = -4*a + 3*d + 25, 0 = -2*a - 5*d + 1 - 8. Suppose -n = -a*o + 8, -2*o + 6*n - 14 = n. Solve 0 = -o*r + 8*r for r.
0
Let s = 1453 + -1443. Suppose -4*z + 11 = -5. Solve 3*u - z = -s for u.
-2
Let j = 322 + -277. Solve -4*l + 29 = j for l.
-4
Let p = 44 - 40. Suppose -2*s + 6 = p*v - 8, 3*v + 12 = 3*s. Solve -2 + v = q for q.
-1
Let c be 12/(-24) - (-190)/4. Let y = -42 + c. Solve 0 = y*u - 5 for u.
1
Let n be (-2)/(-4) + 2/(-4). Let u(j) = -11*j + 1. Let r(s) = -s + 5. Let t be r(6). Let k be u(t). Solve n = -5*a - 13 - k for a.
-5
Suppose -12 = 69*h - 72*h. Solve -h*n + 25 = n for n.
5
Let d = -30 - -5. Let r = 30 + d. Solve r*l - 7 = 13 for l.
4
Let v be ((-48)/(-28))/(12/42). Let i(z) = -z**3 + 6*z**2 + 16*z + 10. Let t be i(8). Solve v*p - p + t = 0 for p.
-2
Let w(o) = o**3 + 21*o**2 + 19*o - 12. Let h be w(-20). Solve 0 = -3*y + 2 - h for y.
-2
Let f =