 0, -10 = -2*p for a.
0
Let x be 1*(16/4 + -4). Suppose x + 5 = y. Solve -a - 7*i = -4*i + 8, -5*i - y = 0 for a.
-5
Let k = -148 + 150. Solve a + 0*a = i + k, -4*i + 5*a - 13 = 0 for i.
3
Let t be ((-45)/(-5))/(3/4) - 3. Suppose -t = -2*s - 1. Solve 0 = -5*m + b + 16, -m + s*m - b = 10 for m.
3
Suppose -4*r + 23 = a, 2*r - 12*a + 7*a + 5 = 0. Solve -2*x + 14 = l + 3*l, x = -r*l + 16 for l.
3
Let a be (-1 - (1 + -4))/((-1)/(-2)). Solve -a*j = -3*h + 10 + 10, 3*h - 10 = 2*j for h.
0
Let k be 138/(-276)*(9 - -1)/(-1). Solve 4*a = k*f - 2*f - 9, 4*f = -a - 7 for f.
-1
Suppose 2*m - 22 = -2*n, -3*m - 5*n + 25 = -10. Let b be -1 + 8*5/m. Solve 6*k - k = -15, -k - b = -l for l.
0
Let d(c) = -c**2 - 32*c. Let n be d(-32). Solve -m - 5*q = -n*m + 25, -3*q = m + 17 for m.
-5
Let j(l) = 2*l. Let d(c) = -c**2 + 8*c + 9. Let w be d(9). Let u be j(w). Suppose 0 = -2*f - f + 15. Solve 5 = -z - f*n, u*n + 2 = 2*z + 4*n for z.
5
Let j be 9/1 + 13/(52/(-24)). Solve -3*v + 0*b + 3*b = -j, b - 7 = -3*v for v.
2
Let m(t) = -t**3 - 3*t**2 + 4*t + 7. Let s be m(-4). Solve -2*l - 3*c = -0*c - s, 11 = 3*l + 4*c for l.
5
Let a(t) = -11*t + t**3 + 4*t - 3*t**2 + 3 + 6*t + 3. Let o be a(3). Solve 0 = 3*h + 3*y - 2 + 5, -3 = -o*y for h.
-2
Let b = -813 + 815. Solve 4*l = -2*z + 20, 3*l - z = 2*l + b for l.
4
Let r(a) = a**2 - 27*a + 162. Let o be r(18). Solve o = k + 4*f + 18, -2*k - 6*f - 24 = -f for k.
-2
Suppose 4*w + 8 = -4*n, -5*n = 3*w + 8 + 6. Suppose -32 = -0*u + 4*u. Let m = -5 - u. Solve 7 = -f - 3*y, f - m*f - w*y - 10 = 0 for f.
-4
Let k(v) = -v**2 - 4*v + 7. Suppose 0*c - 5*c + 5 = 0. Suppose 4 = -n - c. Let d be k(n). Solve -5 = -5*o - 5*h, o - 1 - 3 = d*h for o.
2
Let b be -4*114/(-20)*(-30)/(-12). Let u = -53 + b. Solve -5*m = -u*p - 0 + 13, -3*p = -m - 7 for m.
-1
Suppose -2*z + 0*z - 3*q = 3, 0 = q + 3. Let r be (z - 5)/(4/(-6)). Suppose 0 = -2*p - 8 + 18. Solve r*w - 2*w = -p*g, -22 = 2*g - 4*w for g.
-1
Let b(y) = y + 2. Suppose -12*k + 14*k - 28 = 0. Suppose 3*d - 5*d = 5*x - 23, -k = -5*d + 2*x. Let u be b(d). Solve 0 = -2*h - 3*q + 8, -q + u = h + 4 for h.
-2
Let f be 70*(-6 - 52/(-8)). Suppose 5*a + 1 = 4*l - 3*l, 4*a = -4*l + 4. Let q = f + l. Solve 4*y + 0*w + 2*w = 24, 4*w - q = -5*y for y.
4
Suppose -2*z - 2*z + 7 = g, -5*z = -g - 2. Solve 3*a = -g*l + 7*l + 1, 3*a = -l - 19 for a.
-5
Let d = 430 - 428. Solve d*c - 2 = 2*x, 4*c + 3 = x + 4 for x.
-1
Let h be (-63 - -67)/(-2 + 4). Solve 5*w - 10*w = -4*f + 4, h*f = 5*w + 2 for f.
1
Let l be (-1)/(-4) + (-44)/(-16). Suppose -4*c = l*c - 28. Let n = 11 - -4. Solve -i - n = -c*i + 2*p, 0 = -p for i.
5
Let r be (-2)/(-4) + (-51)/(-6). Solve 3*m + t - r = -3*t, -4*m = -5*t + 19 for m.
-1
Let k = 456 - 451. Solve -d - 13 = -u + 2*d, -3*d - 17 = -k*u for u.
1
Let k(j) = j**2 - j + 15. Let y be k(0). Suppose -3*x + y = -0*x. Let d be 14 - (0/(-3) - 0). Solve x*b - 24 = 2*z, 3*z + 2*b + 3*b = d for z.
-2
Let f be ((-2)/10)/((-12)/180). Suppose 0 = -0*a + a - 4. Solve 4*i = -a*j, j - f*i = -0*j - 4 for j.
-1
Suppose 8*j - 3*j - 30 = 0. Suppose -2*d + j = 3*d - 2*z, 6 = 4*d - z. Solve s = d*u - 2*s + 1, -3*s + 3 = 0 for u.
1
Let r = -13 + 15. Suppose -r*p - 177 = 3*k - 0*p, 0 = k + p + 58. Let f be k/(-3) - (-12)/(-36). Solve 0 = 2*l - 4*v - 0*v - f, 5*l - 6 = -v for l.
2
Let k = -283 - -288. Solve -4*w + 14 = 2*p, 2*w - k*w = 3*p - 15 for w.
2
Suppose -4 = 6*m - 112. Solve -z = -j - 2, 4*z + 5*j - m + 1 = 0 for z.
3
Suppose -3*f + 8 = j, -4*f - j = -4*j - 15. Solve 3*u - 2*l - 1 = 0, l - f*l = -5*u + 3 for u.
1
Let q = -2637 + 2638. Solve 2*u = 3*u - 2*o + q, 4*u - 8 = 4*o for u.
5
Suppose -4*t = -k - 2*t + 22, -3*k - t + 59 = 0. Let n = k + -15. Suppose 16 + 19 = n*l. Solve 2*f - l = 3*x, f - 3*x - 2*x - 21 = 0 for f.
-4
Let o be 1*4*3/12. Suppose 3*g - 3*y = -2 - 1, -4*g + y - 1 = 0. Suppose -5*v - 15 = g, 5*z - 3*v - 13 = -2*v. Solve -s = -3*s + z*k + 6, 3*k + o = s for s.
4
Suppose -5*u - 312 = -u - 2*n, 5*n = 3*u + 227. Let w = u + 92. Solve 0 = -2*d - 10, 0 = v + 3*d + w for v.
2
Let b = 0 - -4. Suppose -16 = -3*q - b. Solve 12 = 4*m + q*x, 2*m - 5*m + x + 1 = 0 for m.
1
Let h = 4 + 3. Let t be (-8)/(-32) - h/(-4). Solve -4*x - 4*v - t = 18, 3*v + 3 = x for x.
-3
Suppose -s + 36 = 5*s. Suppose 3*k + 2*k - 28 = 4*q, 0 = -3*q - s. Let m be (-1 + 0)*(-7 + k). Solve 3*b - m*p = -0*b + 9, b + 6 = -2*p for b.
0
Let q(s) be the third derivative of 0*s - 1/6*s**4 + 9*s**2 + 1/60*s**5 + 0 - 1/6*s**3. Let r be q(5). Solve -3*k + r*c = -28, -k - c = k - 4 for k.
4
Let d(p) = p**2 - 14*p + 23. Let g be d(14). Suppose 13*t - g = 3. Solve 5*c - 16 = -4*y, 6*c - 5*y = t*c + 21 for c.
4
Let b = -22 + 18. Let p be -2 - (b + 1/(-1)). Solve -12 = p*n - 5*l + 2*l, -3*l + 9 = 0 for n.
-1
Let p(x) = x**3 - 8*x**2 - 11*x + 20. Let i be p(9). Solve 5*l + 5 = -4*h - 0*l, l = -i*h - 7 for h.
-5
Let m be 2/3 + (-280)/42. Let h be (-60)/8*m/5. Solve 1 = -3*i - b - h, -4 = 3*i + 4*b for i.
-4
Let d(f) = -f**2 + f + 1. Let z(q) = 2*q**2 + 1. Let v(o) = 3*d(o) + z(o). Let p be v(3). Solve 0 = -4*i - 2*c + 3*c + 24, 0 = 4*i + 4*c - p for i.
5
Let l(t) = t**3 + 9*t**2 + 12*t - 10. Let r be l(-7). Solve 8 = -0*b + r*b, 2*w + 4*b = 8 for w.
0
Let g(s) = -s**2 + 4*s + 7. Let w be g(5). Suppose -x + 8 = w*l, 4*x - 5*x + 12 = 4*l. Solve 3*t - 5*k = -5, -x*t + 3*k - 2 = 12 for t.
-5
Let f be (-18)/(-7) + (-12)/21. Let l(o) = 63 - o**2 + 13*o - 73 + f*o**2. Let w be l(-14). Solve -w*k + 4 = 4*h, 3 = 4*h + k - 4 for h.
2
Let w = 812 + -808. Solve 5*l = -0*o + 2*o - 4, -w*o + 3*l = 6 for o.
-3
Let d = -12 - -45. Let b be -2 + d/12 + (-5)/(-4). Solve u - 2*a = -7, 1 - 7 = -b*a for u.
-1
Suppose 2*o - 30 = -3*o. Let t(b) = -2*b + 12. Let i be t(5). Let s(d) = -2*d + 8. Let l be s(-5). Solve -o*v - l = -z - i*v, -5*v - 30 = -5*z for z.
2
Let p be (-15)/6*(-3 - -1). Suppose -92*t - 82 = 23*t - 772. Solve -w - 1 = -3*u, -t = p*u + 2*w - 26 for u.
2
Suppose -3*y + 2*f - 3 = -21, -f = 5*y - 17. Solve 5*w - t - 4 = 9, -2*t + 2 = y*w for w.
2
Let o be (-18)/36 + (-81)/(-2). Let q be 38/9 - o/180. Solve -4*h - 5*t = 4, -q*h + 9*h + t = -5 for h.
-1
Let a = 640 - 637. Solve -5*w = 3*v + 18, -w - a = -v - 1 for v.
-1
Let c(v) = 7*v - 63. Let s(i) = i - 1. Let u(l) = -c(l) + 5*s(l). Let t be u(27). Solve 3*z + 4 = -3*f - 2, -5*f + t*z = -35 for f.
3
Let b = 594 - 594. Solve 4*h + 2*s - 20 = b, -h - 4*h + 16 = -2*s for h.
4
Let u be (-2)/(-3) + 0 - (-3072)/144. Solve -5*q + u = -3*p, -2*q + 14 = -p + q for p.
1
Let s be ((-3)/(-6))/(19/114). Solve -7*r - s*q = -4*r + 21, -3*r + 2*q - 11 = 0 for r.
-5
Suppose 6*g - 14 = -2. Suppose 0 = 4*o - 8, -6 = -g*f + 2*o - 0. Solve 5*s = 4*n - 27, -3*n - f*s + 10*s = -24 for n.
3
Suppose -21*k + 20*k = -10. Let n(l) = 2*l - 18. Let b be n(k). Suppose b*o - j - 25 = -4*j, -3*o = 2*j - 25. Solve -5*r - 15 = 0, 3*r + 0 = o*t - 9 for t.
0
Suppose -10*t - 185 = -295. Solve -3*s - 1 = -x + t, -20 = 3*x + 5*s for x.
0
Let y be -1*2/(1*1/(-2)). Suppose m = -y*m + m. Solve -5*g - 5*b - 30 = 0, 2 = -5*g + 2*b - m*b for g.
-2
Suppose 29*g - 25 = 62. Solve 6*c - 2*c - 2*w = -4, 5*w = -3*c - g for c.
-1
Suppose 3*o + 29 = 5*t - 32, 5*t - 47 = -4*o. Let n = -14 - -17. Suppose 3*x - n = 6. Solve -x*s - 10 = 2*s, 0 = -3*l - 4*s - t for l.
-1
Let u(q) = -q**3 + 10*q**2 + 9*q + 1. Let p = 20 - 9. Let n be u(p). Let a = -21 - n. Solve -2*k - 5 = 5*c, -5*k + 6*c - 2*c + 4 = a for k.
0
Let z(w) = w**2 - 13*w - 9. Let k be z(14). Let x(d) = -d**2 + 10*d + 12. Let u be x(k). Solve u = 3*q + 5*o, 2*o + 10 = 3*q + 2*q for q.
4
Let m be (-4)/(-10) + 56/35. Suppose m*j = j + 3. Solve 3*f - 3*b - 1 = -19, 2*f = -b - j for f.
-3
Let y(t) = t**2 + 3*t - 13. Let z be y(-5). Let w be (4/z + (-10)/15)/(-1). Solve w*q + 2 = 3*d, 11 + 11 = -3*d - 4*q for d.
-2
Let g(y) = 5*y**3 - 5*y**2 + 25*y + 6. Let j(f) = -f**3 + 1. Let b(c) = g(c) + 6*j(c). Let a be b(-8). Solve 0*u + 3*x + 10 = u, a*u - x = -15 for u.
-5
Suppose -j = 2*l - 25, -4*j + 40 = 5*l - 2*l. Suppose -4*n + 6*n = -28. Let i be n/4*l/(-21). Solve k = 0, -5*c - k = i*k - 15 for c.
3
Suppose -2*o = -6, -2*o - 75 = 3*h - 87. Solve 4*v = 2*s + 7 + 15, -h*s - 16 = -2*v for v.
3
Suppose 132 + 16 = 4*l. Let d = -35 + l. Solve 4*x = p + 18, -3*p = d*p - 2*x for p.
2
Let m be ((24/(-10))/(-2