*a + z = -c for a.
1
Let u(x) = 4*x - 31. Let i(m) = m + 12. Let l = 49 - 53. Let v be i(l). Let w be u(v). Solve 2 = b + w for b.
1
Let y = -26 - -15. Let p = 13 + y. Suppose 0 = 4*h + 4*b - 60, -25 = -p*b + 7*b. Solve -3*i - h = i for i.
-5
Let x = 6 - 2. Suppose j - s + 11 = 2*j, x*j - 48 = -5*s. Suppose 0 = -j*u + u. Solve -a - 4*a + 20 = u for a.
4
Suppose 3*x + 0*x - 3*g = -27, -6 = -2*g. Let k be -49*(-4)/(-6)*x/4. Let m = -49 + k. Solve -3*h = -m*h for h.
0
Let x = 29 - -12. Suppose -2*q = -2*v + x + 15, -5*v + 2*q + 131 = 0. Solve g = -4*g - v for g.
-5
Let m be -2 - (5 - (-3 + 9)). Let y be 6/m*((-51)/(-18) + -3). Solve -4*j - 7 = y for j.
-2
Let l = -7870 + 7882. Solve -5*a - l = -2*a for a.
-4
Let w = 344 - 342. Let a(z) = -13*z**2 - 7*z + 32. Let y(k) = -3*k**2 - 2*k + 8. Let h(s) = 2*a(s) - 9*y(s). Let b be h(-6). Solve -w*q - b = -q for q.
-4
Let a(m) = -38*m - 56. Let g be a(-2). Solve -6*k = -k + g for k.
-4
Let r(w) be the second derivative of -w**3/6 - 5*w**2/2 - 2*w - 74. Suppose -14 = -t + 3*t. Let n be r(t). Solve n = y - 0 for y.
2
Suppose 3*s + 2*c - 13 = -7, -3*c - 8 = -4*s. Suppose -k + 3*y = 3*k, k + s*y = 0. Solve 3*v + k*v = -3 for v.
-1
Suppose 15*r - 8*r = 147. Suppose -21 + r = -12*p. Solve -2*o = -p*o for o.
0
Suppose 0 = -7*j - 20*j - 1566. Suppose 3*i - 69 = 114. Let n = j + i. Solve 0 = -5*g - 7 - n for g.
-2
Let d = 3574 - 3529. Solve 20 = -49*g + d*g for g.
-5
Suppose -26 = 14*u - 36*u + 18. Solve -u*k = -8*k + 48 for k.
8
Let s = 114 - 112. Suppose 0 = -s*l - 58 + 66. Let o be -5*-2*(-4)/(-32)*l. Solve 0*n - o*n + 25 = 0 for n.
5
Let h(f) = -f - 4. Let z be h(-4). Let y(v) = 14*v - 20. Let l be y(-3). Let r = -59 - l. Solve r + z = m for m.
3
Let m(d) = -4*d**2 + 6*d + 15. Let s be m(-6). Let t be 1/(-2) + -4 + s/(-10). Let f be (-2 + (-20)/(-6))*3. Solve -f*v + v + t = 0 for v.
4
Suppose 0 = 10*a - 17*a + 2*q + 47, -a - q = -8. Solve -a*s = 500 - 563 for s.
9
Let a(b) = -b**3 + 11*b**2 + 18*b - 22. Let n be a(12). Solve 0 = -11*k + n - 28 for k.
2
Suppose 10 = -64*r + 65*r + w, -58 = -4*r - w. Solve -92*k = -88*k - r for k.
4
Let h = -226 + 102. Let t = 134 + h. Solve 0 = -5*o - 0*o - t for o.
-2
Suppose -2*o + 986 - 568 = 17*o. Solve -o*z - 55 - 11 = 0 for z.
-3
Let s(v) = 1043*v**2 + 0 - 1028*v**2 + 1 + v**3 - 17*v. Let a be s(-16). Solve 5 = -3*y + a for y.
4
Let m be (-3 - -3)/(-3)*1 + 2. Suppose 41 = -6*a - 19. Let n = -10 - a. Solve -i + m = -n for i.
2
Let w = -31 + 35. Suppose -2*q = -7*q + 120. Let a be (16/q)/(4/126). Solve -5*t = -w - a for t.
5
Suppose 4*x - 7188 = -7100. Let v(i) = i**2 - 3*i - 16. Let k be v(6). Solve x = -8*n - k for n.
-3
Let a = 140 - 92. Suppose 0 = i + 7*i - a. Solve i*r - 7 = 5 for r.
2
Suppose -5*y - 4*l + 28 = -8*y, -y + 5*l = 2. Let d be (y/(-5))/((-3)/(-10)) + -1. Solve -6 = d*a - 5*a for a.
-3
Let s = -9767 + 9774. Solve -s*i = -34 - 8 for i.
6
Let x = -6775 + 7006. Solve -59*t - 18*t - x = 0 for t.
-3
Suppose 848 = -15*d + 68*d. Solve 3*n = 10 - d for n.
-2
Suppose -307*h = -318*h + 55. Let j(k) = 9*k + 4. Let b be j(4). Suppose -3*c - b = -h*c. Solve 8*t - 3*t = -c for t.
-4
Let v = 74 - 298. Let u = v + 228. Solve 0 = -b + u*b - 9 for b.
3
Let h = 104 + -66. Suppose -5*a = -q + h, 2*a = -5*q + 6*a + 106. Solve -4*r + 2 = -q for r.
5
Let o(z) = -z**2 + 68*z + 104. Let b be o(69). Solve 0 = 110*r - 103*r + b for r.
-5
Let k be 3*1/(-3) - -11. Suppose -8*n - k = -13*n. Let i(m) = -2*m**2 + 17*m - 18. Let c be i(7). Solve n*y - c*y = 5 for y.
-5
Let i(u) = -708*u - 9187. Let k be i(-13). Solve -k = -9*f + 28 for f.
5
Let i be (-12 + (12 - -1))*79/1. Solve -70*n + i*n + 9 = 0 for n.
-1
Let x = -2895 + 2907. Solve 0 = x*h - 4*h for h.
0
Let i = 5 + -1. Let n(h) = -h**2 - 382*h - 4076. Let l be n(-11). Solve i*q = -1 + l for q.
1
Let n be (-210)/40*60/(-35). Solve n*g + 28 = 46 for g.
2
Let h(v) = 10*v - 9. Let r(f) = 4*f + 1. Let w(s) = h(s) - 4*r(s). Let t be w(-3). Solve -2*y = 3*y - t for y.
1
Let y be (-144)/64*(-40)/30 + 10*2. Solve u - 144 = -y*u for u.
6
Suppose 3*b + 3*q - 27 = 9, q = b - 10. Suppose 0*h + b*h = h. Solve h = 2*s - 8*s + 30 for s.
5
Let b(d) = -9*d + 23*d + 0*d + 22*d - 2*d**2 + 3*d**2 + 12. Let m be b(0). Solve -m = -10*i - 2 for i.
1
Suppose -c = 5*n - 3*c + 737, 2*n = 4*c - 282. Let o = -149 - n. Solve -g + 2*g - 4 = o for g.
4
Suppose -12 = g + 5*v, -v + 3*v = 3*g + 19. Let u be (-3 + 1)*(6 + 0 + g). Solve -u*j - 3*j = -25 for j.
5
Let m = -57 - -59. Suppose m*o - 6*o + 8 = 0. Suppose o*f = 3*f. Solve f*u = 5*u - 5 for u.
1
Let j(b) = b**2 + 6*b + 9. Let c be j(-3). Suppose 5*i = 2*z - c*z + 8, 8 = -4*i - 2*z. Solve -g + i - 2 = 0 for g.
-2
Let t(r) = -r - 21. Let p be 3 + (-14)/2 - 20. Let s be t(p). Suppose y = -2*g + 13, s*y - 17 = -2*g - 2*y. Solve 0 = -g*i + i - 5 for i.
-1
Let q(b) = 19*b - 23*b + 11*b + 87 + 14. Let x be q(-13). Solve 5*l - 35 = -x for l.
5
Let f(q) = 7*q**2 + 11*q + 3. Let h be f(-9). Let i = h + -458. Suppose 2*c + 4*z = 20, 0*c + 2*z - 12 = -2*c. Solve -c*n = 5 - i for n.
4
Let h(t) be the first derivative of -13*t**2/2 + 83*t - 132. Let n be h(6). Solve 3*p - n*p = -2 for p.
1
Suppose 0 = 3*n - 2*t - 126, 0 = 3*n - 0*n + 2*t - 102. Solve 6*r - n*r + 32 = 0 for r.
1
Let v = 247 + -242. Let o be 0 - (-21 - (-25)/v). Suppose -2*l - 10 = -3*z + 3*l, -z = 3*l - 8. Solve o = z*u + 1 for u.
3
Let p(a) = -123 + 113 + 4*a - 10*a. Let z be p(-2). Solve -2*x = z*x for x.
0
Let l be ((-63)/(-2))/((-175)/(-150)). Solve 21*s + l = -6*s for s.
-1
Suppose -1603 = -4*l - 1603. Suppose 3*z - 5*z + 4*y = -14, y + 11 = 2*z. Solve l = m + z for m.
-5
Let u = -43715 + 43715. Solve 23*d + 2*d - 225 = u for d.
9
Let m(f) = -2*f**2 - 21*f - 40. Let b be m(-7). Let y be (b/9 + (-10)/4)*-2. Solve -2*c + c = y for c.
-3
Let b(d) = d**3 + 18*d**2 - 22*d - 48. Let h be b(-19). Let p = h - 5. Solve -5*u + p - 9 = 0 for u.
-1
Let d be 42*(9/36 - (-6)/8). Let k = d + -38. Suppose 3*u - 11 = -2*n - 2, -k*n - 2*u + 14 = 0. Solve n*t - 16 = -4 for t.
4
Suppose -19 = 7*c - 19. Solve 9*t + 42 - 15 = c for t.
-3
Suppose b + d + 3 = 2*b, 5*d = -b + 3. Suppose b*w - 3*t - 30 = 0, -5*t - 15 = -8*t. Let m be w/6*(-36)/(-10). Solve -7 = -4*n + m for n.
4
Let r(f) = -f**2 - 8*f - 3. Let q be r(-3). Suppose 23*t + q = 25*t. Suppose -2*j - j + t = 0. Solve -j*i = -7*i + 25 for i.
5
Let k = -6640 + 6642. Solve 0 = k*h + 9*h - 66 for h.
6
Let z(r) = r**2 - 11*r + 28. Let y be z(8). Suppose -y*l - l = -155. Let a = 31 - l. Solve 0 = -g + 5 - a for g.
5
Suppose 0 = q - 2*v, q + 2*v + 2 = 3*v. Suppose -66 - 126 = 8*y. Let j be ((-6)/(-8))/(q + (-98)/y). Solve -j*p = -7*p for p.
0
Let v(c) = -47*c**2 + 2*c - 1. Let n be v(1). Let h = -42 - n. Let r be (5 - h) + 1/(1 - 0). Solve -6 = -4*q + r for q.
2
Let c(o) be the second derivative of -o**3/2 + 9*o**2 + 109*o - 1. Suppose 3*k - 17 = -4*t, -k - 4 = -3. Let r be c(t). Solve -3*s + 18 - r = 0 for s.
5
Let s = 7 + 99. Let d = s + -98. Solve d = 2*f - 0 for f.
4
Suppose 191 = 14*o + 29*o + 19. Solve o*m + 11*m - 15 = 0 for m.
1
Suppose 0 = -4*t + t + 6. Suppose b + 4*b + t*w = 11, 2*w + 13 = 3*b. Suppose -2*y + 2*s = -8 + 2, 15 = 5*y + b*s. Solve -y = -2*g - 1 for g.
1
Suppose -4*i = -42 - 10. Let m(n) = -7*n - 47. Let a(p) = -17*p - 96. Let q(j) = 3*a(j) - 7*m(j). Let u be q(i). Solve -2*z = 3*z - u for z.
3
Let a(k) = 141*k - 846. Let w be a(6). Solve w = -6*r + 517 - 481 for r.
6
Let s(u) = -u**2 + 7*u - 5. Suppose 0 = 4*w - m, -2*m = -w + 2*m. Suppose w = h - 6*h + 25. Let z be s(h). Solve z*n = 3*n for n.
0
Let x = 15227 + -15216. Solve -59 = x*i - 81 for i.
2
Let t be 0*1*3/9. Suppose -5*a + u = -29, 13 = -2*a + 7*a + 3*u. Suppose 5*v - 4*j + a = 0, 3*j = 5 + 10. Solve v*k - 15 = -t*k for k.
5
Let h be -5 + ((-20)/(-8))/((-3)/(-12)). Suppose 5*j - 2*k = 14, 3*j + 4 = h*k - 10*k. Solve -j = 3*l - 8 for l.
2
Suppose 0*o = 23*o + 138. Let b be (-80)/o + (-14)/42. Solve 0 = -6*w + 1 - b for w.
-2
Let i = 114374 - 114374. Suppose -k - 4*d + 76 = 3*k, 2*k - d = 29. Solve -3*z - z - k = i for z.
-4
Let z(j) = -3*j**3 - 30*j**2 + 9*j - 132. Let t be z(-11). Solve 0 = -37*q + 127 + t for q.
7
Let v(f) be the second derivative of -48*f**5/5 + f**4/3 - f**3/2 + f**2 - 25*f. Let a be v(1). Let q be (-7)/(a/6) - 2/9. 