 n*g + 4 = 9 for g.
1
Let g = 7 - 2. Let t be (8/(-6))/(4/(-6)). Suppose -4 = -2*h - t. Solve -4 - h = -g*d for d.
1
Let h(t) = -t**2 + 4*t. Let s be h(3). Suppose 0 = -s*z - 8 + 8. Solve z = 5*w - 0*w + 20 for w.
-4
Let s(z) be the third derivative of z**4/24 + 7*z**3/3 - 6*z**2. Let h be s(-10). Suppose 31 = h*o - 21. Solve 3*p = o - 1 for p.
4
Suppose 6*p - 90 = p. Let s = 23 - p. Suppose -m + s = 3*c, -2*c + 3*c + 4*m - 20 = 0. Solve c*q + 2*q = -4 for q.
-2
Let z = 43 + -41. Let a be 1*-4*(-5)/2. Suppose -z*w = -3*i + 2*i - 3, -4*w = 2*i - a. Solve -w = c - 0 for c.
-2
Let w = 94 - 89. Suppose -3*i = -2*v + 15, -w*v - 2*i = 3*i + 25. Solve v = 4*d + d for d.
0
Let g(q) = 3*q**2 + 50*q - 14. Let i = 101 - 118. Let m be g(i). Solve 0 = -m*p - 6 for p.
-2
Let x be (-7)/((-21)/9 + 2). Let n = x + -17. Suppose 2 = n*b + s, -3*s + 10 = 4*b + 2*s. Solve b = -2*t - 7 + 17 for t.
5
Let o be 14/21 + (-56)/(-6). Solve -22 = o*g + 18 for g.
-4
Suppose 0 = 11*q - 13*q - 4. Let d be -1 + (2 - -1) - (-4)/q. Solve 4*a = -d*a for a.
0
Let m(l) = -l**3 - 6*l**2 - 2*l + 6. Let d be m(-7). Let o = d + -67. Solve -s + 3 = o*s for s.
1
Suppose -n - 20 = -5*x + 17, n = -2*x + 12. Solve -3*c + 0*c = -x*c for c.
0
Suppose -4*s - 7 = 13. Let f be (-2)/(-5) + (-13)/s. Solve 0 = -4*i + 5*i - f for i.
3
Let a(n) = -2*n**3 - 5*n**2 - 8*n - 48. Let u be a(-4). Solve 35*b + 9 = u*b for b.
-3
Suppose 4 + 1 = 5*t. Let i(v) = -1 - 25*v - 18*v + 43*v + v**3. Let r be i(2). Solve -t = -3*f - r for f.
-2
Let g = -235 + 245. Solve -8*u = g + 6 for u.
-2
Let z(k) = 9*k - 2. Let q be z(3). Suppose -j + q = 4*j. Suppose -29 + 4 = -j*o. Solve s - o = 2*s for s.
-5
Suppose -6 = -2*x + 2*g, 41*g + 5 = 3*x + 36*g. Solve -x*l = -13*l + 8 for l.
1
Let q(m) = m**3 + 6*m**2 - 8*m - 7. Suppose -11*c - 28 = -7*c. Let t be q(c). Suppose 2*a - 40 = -2*a. Solve t*k = 2*k + a for k.
-5
Let l(a) = -9*a - 13. Let w(n) = -2*n - 3. Let g(o) = 6*l(o) - 26*w(o). Let v be g(-5). Solve 4*i + i = -v for i.
-2
Let m = 52 - 58. Let z(t) = t**2 + 4*t - 6. Let w be z(m). Suppose 3*n + 0*n = 0. Solve w = -3*v - n*v for v.
-2
Suppose 8*x - 7*x - 70 = 0. Let c = -62 + x. Solve 3*m - c = m for m.
4
Let z be (-21)/(-42)*60/(0 + 2). Suppose 5*p - z = 5. Solve 0 = 4*m - 0 + p for m.
-1
Suppose 2*f = 5*s - 213, -s + 29 - 4 = 4*f. Solve -6 = -s*c + 43*c for c.
-3
Let j be (1*3)/(19 - 18). Let v = 4 + j. Solve 5*l - 8 = v for l.
3
Suppose -315 = 4*g + 5*o, 3*g + 0*g + 235 = -4*o. Let b = g + 88. Solve 4*m + b - 23 = 0 for m.
5
Let a(c) = -c**3 + 6*c**2 + 4*c + 26. Let t be a(7). Solve t*h + 6 = -h for h.
-1
Let z be ((-6)/(-18))/(5 - (-357)/(-72)). Let o(m) = m**3 + 4*m**2 + 3*m. Let r be o(-3). Solve r = -4*d + z for d.
2
Suppose -146 - 66 = -4*n. Let s = n - 47. Suppose -3 = -z + m, 4*z + 0*z - 5*m - 11 = 0. Solve -z*i - 6 = s for i.
-3
Let h = 11 + -1. Let p(t) be the third derivative of -t**4/24 + 5*t**3/3 - 15*t**2. Let s be p(h). Solve 4*n + s*n + 20 = 0 for n.
-5
Suppose 0*z + 2*z + 3*v = -29, 5*z = -2*v - 56. Let y be 1*z/2*14/(-35). Let g(n) = n**3 - 3*n**2 + n + 4. Let u be g(3). Solve 3*f - y = u for f.
3
Let v be ((-30)/18)/(10/(-12)). Let d be (-1)/5 + (-8)/10. Let m(b) = -4*b - 1. Let o be m(d). Solve -o*k = v*k for k.
0
Let a(c) be the third derivative of 3*c**2 - 1/12*c**5 - 1/30*c**6 + 0 - 1/6*c**4 + 0*c**3 + 0*c. Let t be a(-2). Solve 3*k + 2*k = t for k.
4
Suppose -8*a = -11*a + 9. Suppose -6*q = 2*q + a*q. Suppose 20 + 5 = 5*i. Solve q = i*j - 5 + 20 for j.
-3
Let l = -49 - -33. Let u = 16 + l. Solve u = 4*p - 2*p + 8 for p.
-4
Let b(f) = f**2 + 8. Let q = 36 - 39. Let t be b(q). Let s = 6 + -3. Solve -t + 2 = -s*i for i.
5
Let g be ((-305)/(-30))/(8/48). Solve -3*a = -52 + g for a.
-3
Suppose -3*k - 2 = 4. Let q be k/(-10) - (-616)/20. Let p = q + -28. Solve p*o = -o for o.
0
Let y(v) = v**3 + 5*v**2 + v - 9. Let h be y(-4). Solve -h*f = -f + 10 for f.
-5
Let h = -1137 - -1158. Solve 16*a = h*a for a.
0
Let c(f) = f + 5. Let g be c(-5). Suppose 0 = -2*l + t + 9, -4*l + 3*t + 23 = -g*t. Solve 0*i = l*i for i.
0
Let q(h) be the second derivative of -h**5/20 + 7*h**4/12 - 2*h**3/3 - 6*h**2 + 24*h. Let d be q(6). Solve -n + 4*n + 3 = d for n.
-1
Let q = 1 - -2. Suppose -3*x - x = -i - 25, -5*x + 10 = q*i. Solve 2*c - 3 = x for c.
4
Let f be 2/(14*13/273). Let t(b) be the second derivative of b**4/12 + b**3/3 + 2*b**2 + 2*b. Let w be t(-3). Solve -f*n + 4 = w for n.
-1
Let v = 44 - 26. Let n be ((-12)/8)/((-3)/v). Solve -n = 4*w - w for w.
-3
Let m = -57 - -59. Suppose -5*c - m*c = 0. Solve -10 = -c*o + 2*o for o.
-5
Let y(b) = -b + 3. Let q(v) = -v**2 + 6*v - 14. Let h(l) = -2*q(l) - 11*y(l). Let a be h(-2). Solve a*d + 0 = -15 for d.
-3
Let p = -53 - -54. Let n be ((-132)/88)/(p/(-2) + -1). Solve n = -3*t - 2 for t.
-1
Let q = -9 - -9. Let u = q + -3. Let d be (1 - (u + 6))/(-1). Solve 10 = -d*j + 2 for j.
-4
Let d be 1*(2*12 + -1). Let i = -11 + d. Suppose -5*m + i = -m. Solve 2*y = -m*y - 10 for y.
-2
Suppose -2*x - 1 + 5 = 2*t, -8 = x + 3*t. Solve 10 = -x*s - 4 for s.
-2
Let z = -1 + 5. Let l(n) = -n**2 + 19*n - 14. Let m be l(18). Solve m*c + z = -0 for c.
-1
Suppose 350*y = 345*y + 310. Solve -9*i = -y + 26 for i.
4
Let j = -480 + 488. Solve 32 + 8 = -j*x for x.
-5
Let l(b) = 3*b**3 - 10*b**2 + 19*b + 25. Let q(y) = 5*y**3 - 15*y**2 + 29*y + 38. Let z(g) = 8*l(g) - 5*q(g). Let s be z(-6). Solve 4*j = 2*j - s for j.
-2
Let y(x) = x**3 - 15*x**2 + 13*x + 21. Let z be y(14). Solve 12 = 5*b + z for b.
1
Let l = -134 - -142. Let g(o) = -o**2 + 6*o + 18. Let w be g(l). Suppose -t + 0*t + 4 = 0. Solve t*h = w*h for h.
0
Let z be 5*(-1 + 1 + 1). Suppose -3*x + 5*k + 43 = 0, z*x + 2*k - 25 = k. Solve 2*j + x = -j for j.
-2
Let c(z) be the second derivative of z**5/4 - z**4/6 + z**3/2 - z**2 - 19*z. Let x be c(1). Solve 12 = -y + x*y for y.
4
Let u(b) = b**3 + 12*b**2 - 12*b + 18. Suppose 6*h - 5 = -83. Let r be u(h). Solve 4*f = -1 + r for f.
1
Suppose -32 + 2 = -10*p. Solve -8 = -p*q + 4 for q.
4
Suppose -4*a + 5*x - 41 = 0, -x + 46 = 3*a - 8*a. Let y be (1/(-1))/(a/18). Solve 3*s + y*s = 0 for s.
0
Let z be (-48)/(-60)*-1 + (-38)/(-10). Solve -11*j = -z + 14 for j.
-1
Suppose 0 = 6*b - 122 + 122. Solve 6*q + 19 + 11 = b for q.
-5
Suppose -d - d - 2 = -2*a, -12 = -3*a. Solve -2*u = d*u - 2*u for u.
0
Suppose -20 = 5*u - 4*n, u = 6*u + 3*n + 20. Let q be (3/u)/((-6)/24). Solve 2*f = q*f - 5 for f.
5
Suppose -4*i = z + 23, i + 0*i = 3*z - 9. Let c = 7 + -4. Let n be c*(4/i + 2). Solve k + k = n for k.
2
Let i(o) = o + 1. Suppose -5*w + 5*d = -33 - 2, -3*d = 4*w - 21. Let k be i(w). Let m = 4 + k. Solve -2 + m = -3*j for j.
-3
Suppose -s = 2, -6*s - 20 = -2*p - 2*s. Let l be (2*3/9)/(2/p). Solve -2 + 10 = -l*a for a.
-4
Suppose 142 - 30 = 8*l. Let s(y) = y**2 - 12*y - 5. Let d be s(l). Let h(u) = -2*u**3 - 4*u**2 - 3*u - 2. Let t be h(-2). Solve t*j + 7 = d for j.
4
Suppose -4*c + 4 = -3*c. Let y be (-1)/(1*c/(-4)). Solve -y = 5*q - 4*q for q.
-1
Let o be (5 + (-399)/(-15))*-5. Let h = o - -161. Solve -h*q + 18 = 3 for q.
5
Let d(o) = 9*o - 120. Let x be d(14). Suppose 2*y - 4*l = 10, 2*y + 3*l - 2 = -l. Solve -y*h - x = 6 for h.
-4
Let o(v) = -2*v**2 - 15*v + 9. Let r be o(-7). Suppose 30*c = 34*c - r. Solve 0 = -h - h + c for h.
2
Let i be 8/32 + (7/4 - -3). Let g(d) = d**2 - 12*d + 13. Let j be g(11). Solve 3*k + i = j*k for k.
-5
Let q(n) = -2*n**2 - 5*n**2 - 2*n - 2 + 6*n**2 - n. Let m be q(-1). Solve -5 = -5*b - m for b.
1
Let d = 63 + -70. Let f be (-65)/7 + 4/14. Let j = d - f. Solve -4*h = 2 + j for h.
-1
Suppose -9*z - 7 = 2. Let j be (6 - 14)/(-2*(-1)/z). Let d be ((-2)/(-4))/(2/16). Solve -d + 0 = j*q for q.
-1
Suppose 7*a + 30 = 12*a. Let r = 12 - a. Solve -3 = -3*k + r*k for k.
-1
Let t(f) = -f**3 - 6*f**2 + f - 3. Let g be t(-6). Let p be 6/g*(-6 - -3). Suppose -2*h + 24 = 4*q, h + 0*q - p*q + 8 = 0. Solve -u = u + h for u.
-1
Suppose -74 = 5*r + 6. Let d be 61/3 - ((-2)/(-6) - 1). Let j = r + d. Solve j*b + 29 = 4 for b.
-5
Suppose -1 - 14 = -5*a. Suppose -2*q = 3*y + q - 24, 3*q = a*y + 6. Solve y*r - r = -6 for r.
-3
Let a = -2 + 6. Suppose 0 = 3*s + 3*x - 57, 0 = -a*s - x - 2*x + 77. Suppose -t = -3*t + s. Solve -5*w = -10*w + t for w.
2
Suppose -4*c = 3*n - n - 8, -2*n - 3*c + 12