 for v.
-3
Let m(c) = -4*c**2 + 42*c - 10. Let i be m(10). Solve 5*d + i + 5 = 0 for d.
-3
Let o be 5 + (-30)/(-12) + (-5)/(-2). Solve 2*d + 6 = o for d.
2
Let r be (-1 - -2)*(-11 - (11 - 23)). Solve 4*t + r - 17 = 0 for t.
4
Suppose 4*g + 2*d = 92 - 38, -3*d + 21 = g. Let s be (-24)/(-10)*20/g. Solve 2*b = s*b + 8 for b.
-4
Let t be 27 - (-16)/((-64)/8). Solve -11*s = -16*s + t for s.
5
Let o(q) = q - 6. Let r be o(10). Let y(n) = -n**2 + 11*n - 8. Suppose 4*s - 48 = -4*j, 0*s = j - 4*s - 2. Let z be y(j). Solve -r*a = -2*a - z for a.
1
Let i(l) = l + 11. Let n be i(-6). Suppose 9*g = 4*g + 35. Solve 3*z = g + n for z.
4
Let d(i) = i**3 - 7*i**2 + 3*i + 26. Let f be d(6). Solve -f*l - 3 = -11*l for l.
1
Let a = -49 - -76. Suppose 2*o - a = -7*o. Solve -2 = -o*v - 5 for v.
-1
Suppose -3*g - 4*m = 18, -2*g + 3*m + 3 = -2. Let p be (g + (1 - 1))*-1. Let w(b) = 12*b - 120. Let t be w(10). Solve -c - p*c - 6 = t for c.
-2
Let c(p) = -p**2 - 3*p - 5. Let i be c(-2). Let m be 1/(0 + i/(-24)). Solve 0*z = 2*z - m for z.
4
Let a = 116 - 115. Suppose 0 = -5*g + 2*g + 6. Solve a = g*f - 9 for f.
5
Let g be -37 - (-4 - (-7 - -3)). Let b = g + 39. Solve -2*j - b*j = -12 for j.
3
Suppose -6 = -3*b, r - 2 = -5*b + 36. Solve -57*i = -50*i - r for i.
4
Let z(u) be the first derivative of u**4/4 + 4*u**3/3 + u**2 + 3*u - 1. Let r be (6 + -9)*(1 - 0). Let d be z(r). Solve d*n - 25 = n for n.
5
Let j(u) = u**3 - 12*u**2 + 10*u + 13. Suppose -110*w + 105*w + 55 = 0. Let t be j(w). Solve a = -t*a + 15 for a.
5
Let v = -770 + 779. Solve -24 - v = 11*o for o.
-3
Let q(h) = -h + 10. Let a(j) = -j**3 - 5*j**2 - 4*j - 12. Let m be a(-5). Let r be q(m). Suppose 3*o = -r*w + 2, -5*o + w + 3 - 4 = 0. Solve o = -k - 5 for k.
-5
Let x be (15/(-10))/((-6)/8). Let h be 7*(x + -1)/1. Suppose -7*j = 9*j - 64. Solve -j*o + 23 - h = 0 for o.
4
Let f be 42*((-3)/(-10) - (-5)/25). Solve 4*a = -f + 5 for a.
-4
Let h(l) = -l**2 + 8*l - 10. Let w be h(6). Suppose 4 = w*k - k. Suppose -k*t - 3*z + 41 = 2*z, 2*t = -z + 13. Solve 14 = -t*a - 2 for a.
-4
Suppose 21*z = 18*z + 30. Solve 9*s + z = 4*s for s.
-2
Let v be (-6)/4 - (-91)/14. Suppose 0 = v*t - 11 + 6. Suppose b - 15 = 4*k + t, 2*b - 5*k - 20 = 0. Solve 4 = -b*c - 2*c for c.
-2
Suppose -4*w + 15 = u, -4*w = -u - w + 8. Let h = -5 + u. Let c be (-6)/9 + 16/h. Solve -5 = -3*v + c*v for v.
5
Let u be 675/12 + 3/(-12). Let b(v) = -v**2 - 4*v + 25. Let m be b(-7). Suppose m*s = 4*l + 40, 2*s - 6*s = 4*l - u. Solve c + 3*c = s for c.
3
Let s be ((-84)/8)/7*14. Let u = s + 24. Let g be (-6)/4*(-2)/u. Solve g = q - 1 for q.
2
Let c(k) = -13*k - 222. Let q be c(-25). Solve q*i - 8 = 107*i for i.
-2
Let c = -108 + 118. Solve -2 = -2*l - c for l.
-4
Suppose 0 = -2*p - 0*p + 4. Suppose -p*k + 8*k = 72. Let z(i) = -i + 2. Let j be z(-3). Solve 13 = -j*a - k for a.
-5
Suppose 4*z = 3*z - 5*g + 17, -z - 4*g = -13. Let a(n) = -2*n - 4. Let q be a(z). Solve q = -2*i - 2 for i.
-2
Let q(k) = -k**2 + 19*k + 19. Let p be q(19). Let r be (-1)/(-1) + -5 + p. Solve -2*u + 7*u + r = 0 for u.
-3
Let n be 1/(-2)*(9 + -13 - 10). Solve 0 = 6*w + n + 17 for w.
-4
Let k(u) = -u**3 - 19*u**2 - 3*u + 17. Let m(z) = -6*z**3 - 96*z**2 - 16*z + 86. Let p(n) = -11*k(n) + 2*m(n). Let l be p(17). Solve 6 = 4*t + l for t.
1
Let n = 0 - -8. Suppose 11*z = 15*z - n. Suppose -z*x = x. Solve -1 = r - x for r.
-1
Let o be ((-2)/(-4))/((-4)/232). Let i = o + 29. Solve i*b = -b for b.
0
Let v = -6 - -8. Suppose 8*d = -1268 + 1300. Let u be (-2)/(-7) - (-24)/14. Solve 0 = v*z - u + d for z.
-1
Let n be (-20 + -27)/(0 + 1). Let x = n - -49. Solve d - 6 = -x for d.
4
Let k be 0 + (1/1*1 - -11). Let j be ((-16)/k - 0)*-3. Solve -7 = j*i - 3 for i.
-1
Let f(u) = -u**2 - u + 15. Let c be f(0). Let t = -13 + c. Suppose t*p = -1 + 5. Solve -k - 3 + p = 0 for k.
-1
Let x(g) = -6*g**3 - 54*g**2 + 3*g + 30. Let n be x(-9). Solve 0 = n*k - 2*k - 5 for k.
5
Let i be (3/(-2) + 2)*638/29. Solve 14*y - i*y = 0 for y.
0
Let s(x) = x**2 - 4*x - 6. Let i be (13 - 16)*(1 + -3). Let q be s(i). Let z be q*6/(-45)*-5. Solve 0 = -z*u + 5 - 1 for u.
1
Suppose 0 = y + 4*y - 10. Suppose 0 = -2*t - y*t, 0 = m + t - 4. Suppose -n - a = a + 2, -8 = m*a. Solve n*l - l + 1 = 0 for l.
-1
Suppose 4*i = s - 3, -i + 3*s - 9 = 2*i. Suppose j - 1 = 3. Solve i = j*o + 7 + 13 for o.
-5
Let a(i) = -i**3 + 6*i**2 + 9*i - 8. Let p be a(7). Let q be (-6)/3*(-9)/p. Solve q*k = -14 - 1 for k.
-5
Let r be (-2)/(-9) - ((-5027)/99 - -13). Solve 0 = 2*b + r - 44 for b.
3
Suppose -767*w + 768*w = 16. Solve 0 = 18*q - w*q - 6 for q.
3
Let v be (-57)/(-12) + (-15)/20. Suppose 3*n = n + 4. Suppose 0 = -n*p + 53 - 11. Solve -5*z = -p - v for z.
5
Let v = 48 + -25. Suppose 10 = 28*p - v*p. Solve g = p*g - 1 for g.
1
Suppose 3*n - 45 = 4*d - 0*d, -5*n + 75 = 5*d. Let o = n - 12. Suppose r = 3*i, -o*i = 2*r - 4*i. Solve r = x - 2*x - 1 for x.
-1
Let b be (131/524)/(2/48). Solve b*s = 14*s - 16 for s.
2
Let s(x) = -40*x - 270. Let j be s(-7). Solve -j + 18 = 4*t for t.
2
Suppose 0 = 2*m + 4, 4*q - 81 - 137 = 5*m. Let a be (q/16)/((-3)/(-12)). Solve a = 5*d + 3 for d.
2
Suppose 8 = -4*r, -f + 1 = 2*f - 2*r. Let y be (1 + f)*2/4. Let a(w) = 2*w + 4. Let x be a(y). Solve -2 = -3*q + x for q.
2
Let v = -1041 + 1045. Solve 7 = v*x + 23 for x.
-4
Let s(x) = 2*x**3 + 17*x**2 + 3*x - 17. Let g be s(-8). Solve 15*c = g*c for c.
0
Let h be ((-6)/18)/(-4*3/900). Solve h*i = 26*i + 3 for i.
-3
Let x = -2 - -6. Let i(d) = -d**2 - 14*d + 15. Let g be i(-15). Suppose t + 5 = g, -6*n - 3*t = -7*n + 17. Solve 0 + x = -n*q for q.
-2
Suppose 0 = 6*l + 7 - 1. Let i be (-15)/25*-5 + l. Suppose 3*q - 11 = 4. Solve -q*h - i - 3 = 0 for h.
-1
Suppose 57 + 33 = 9*c. Solve -4*k - c = -6*k for k.
5
Suppose -20*r + 24 = -18*r. Solve 0 = c + 2*c - r for c.
4
Let x(i) be the first derivative of -i**3/3 - 6*i**2 - 9*i - 34. Let l be x(-11). Let b(g) = -3*g**3 - g**2. Let t be b(-1). Solve l = t*j - 0 for j.
1
Let w(j) be the third derivative of j**4/12 + 5*j**3/3 + 9*j**2. Let b be w(-5). Suppose 3*s = 15 + 3. Solve b = g + 2*g + s for g.
-2
Suppose -2 = -2*l + 18. Suppose 0 = r - 2*n - 0*n - 38, 0 = 2*n + l. Suppose 3*v - 75 = -3*c, -4*c - 8 + r = 0. Solve a + v = -3*a for a.
-5
Suppose -4*v + 15 = -v. Suppose -6*a + 41 = v. Solve a*n = 2*n for n.
0
Suppose 4*h - 7 = 1. Let r be 0/2 - (3 + -6). Solve -h*b - r = -b for b.
-3
Let s = -25 + 17. Let i be (-5)/20 + (-162)/s. Solve -k + i = 3*k for k.
5
Let z(q) = -q**3 - 2*q**2. Let o be z(-5). Suppose 0*k = 3*k - o. Suppose -3*j - 2*j = -k. Solve 16 = m - j*m for m.
-4
Let c be 9*84/162 - 2/(-6). Solve -j = -9 + c for j.
4
Let h be 12/((-6)/(-4) + 0). Let d be 0*(-3)/((-4)/(12/9)). Suppose d = b + 4*x + 6, x = -2. Solve -b*a - 2 = h for a.
-5
Suppose -i + 7*i = -0*i. Let z(j) be the third derivative of -13*j**4/24 - j**3/6 + 4*j**2. Let a be z(-2). Solve i = -3*l - 2*l - a for l.
-5
Suppose 4*h = -5*p + 47, h - 4*p + 1 = 18. Solve -8 = -o - h for o.
-5
Let u(c) = 5*c + 6. Let v be u(-4). Let o be -3 - (9/3 - 4). Let h be o/v + 9/(-63). Solve 2 = k - h*k for k.
2
Let l(b) = b**3 - 8*b**2 - 9*b + 9. Suppose -10 + 1 = -t. Let c be l(t). Solve -3*o = 3 - c for o.
2
Suppose 66 = 59*c - 1173. Solve 23*i - c*i + 10 = 0 for i.
-5
Suppose 3*l + 0*r = r + 16, -2*l = 4*r - 20. Let o be (-301)/(-21) - 2/l. Let f be (-3 + 1)/((-7)/o). Solve f*c - 20 = -c for c.
4
Let a(u) = 2*u - 6. Let s be a(-3). Let f = s + 14. Solve 0 = f*p - 4 for p.
2
Let y = 1061 + -1043. Solve 6*m - 42 + y = 0 for m.
4
Let r = -349 + 365. Solve 4*b = 8*b - r for b.
4
Let r(y) = 56 - 5*y + 4*y + 4*y - 5*y. Let n be r(20). Solve -2*p + n = 2*p for p.
4
Suppose -5*r + 2*r = -15. Suppose -9*v = -r*v - 16. Suppose -71 = -v*y - 3*p, y + p - 11 = 8. Solve -5*q + 11 = -y for q.
5
Let o be (-3)/6*(-28 - -18). Solve 4*b = 15 + o for b.
5
Let n = -12 + 3. Let t(r) = -7*r - 28. Let i be t(-3). Let v = i - n. Solve -v*w + 4 = -w for w.
4
Let k(r) = 2*r + 64. Let n be k(-31). Solve -4*h + 3*h = n for h.
-2
Let n = 7931 + -7928. Let l be (-2)/(-6) - (-28)/6. Let p = 8 - l. Solve -2*w + p = -n*w for w.
-3
Suppose -2*d = -0*d. Suppose 0 = 5*i - 5*p - 1 - 9, i - 4*p = 8. Suppose 3*q = -i*q. Solve -5*g + q*g = d for g.
0
Let l be (-6)/10 + 4/(-10). Let i = 196 + -199