 = -u for g.
-2
Let u(k) = -3*k**2 + 17*k + 115. Let q be u(9). Solve q = -3*j + 25 for j.
0
Let j(c) = 12*c - 49. Let v be j(5). Solve -h + 10 - v = 0 for h.
-1
Let f = 0 - -8. Suppose 0 = -2*j + f + 12. Suppose -4*v - 8 = -8*v. Solve v - j = -4*a for a.
2
Let t(u) be the first derivative of u**4/4 - u**2/2 - u - 4. Let x be t(2). Let g be x/10*1*10. Solve -g = -0*q + q for q.
-5
Let f = -426 - -434. Solve -2*x + 12 = -f*x for x.
-2
Let x(b) = b**2 + 14*b - 23. Let z be x(-16). Solve -21 - 6 = -z*a for a.
3
Let b be (2/4)/(10/260). Let a(l) = -l**3 + 12*l**2 + 14*l - 7. Let v be a(b). Suppose -3*t + v*t - 33 = 0. Solve -t = 4*p + 9 for p.
-5
Let i = 642 + -638. Solve -i = 3*h - 4*h for h.
4
Suppose -g - 2*g + h + 2 = 0, g - 4*h = -14. Suppose -5*k + 56 = 2*f + 2*f, -5*f = 4*k - 61. Solve g*z + z = -f for z.
-3
Suppose 0 = -2*l + 6. Suppose 0*y = -y + l. Suppose 4*s - 2 - 58 = 0. Solve 0 = -2*a - y*a - s for a.
-3
Suppose 8*j - 5*j = -9. Let h be (7 - j)/((-3)/(-3)*2). Solve 31 = h*c + 6 for c.
5
Suppose -32*j + 27*j = -55. Solve j*m = 5*m - 18 for m.
-3
Let w(f) = -3*f + 12. Let q be w(8). Let j be (-4)/3*q/40*10. Solve -j*p + 4 = -12 for p.
4
Let c be 2*(-4)/(-16)*24. Solve 5*o + c = 9*o for o.
3
Let b(v) = v**3 + 7*v**2 + 7*v - 8. Let h be b(-4). Solve -3*d + h = -0 for d.
4
Let t(r) = 2*r + 9. Let q be t(-6). Let b be 1 + q + (-4)/(-2). Let z be b/(3 + -2) - -20. Solve -4*h + z = h for h.
4
Let r be 1/(2 + 45/(-23)). Suppose b + r = 5*v, 4*b - 2*b + 4*v = 24. Solve b*d = d + 2 for d.
2
Suppose -2*v = 5 + 3, 0 = -5*z + 4*v + 31. Let y = 2 + 0. Suppose y*q + z = 7. Solve -5*b - q = 8 for b.
-2
Let p be (-2)/6 + 20/6. Suppose 0 = -5*d + 5*k + 10, -k = -2*k. Let l = d - 2. Solve -p*r - 6 = -l*r for r.
-2
Let v be ((-2)/4)/(4/(-24)). Suppose 6*x = -v*x + 36. Solve -p = -x*p for p.
0
Let a(w) = 2*w + 16. Let h be a(12). Let l(v) = -2*v - 21. Let r be l(-13). Solve -r*d - 15 = -h for d.
5
Let l = 6 + -1. Let u be -37 + 2 + (-4 - 0). Let f = u + 40. Solve -f = 3*v + l for v.
-2
Let i(o) = -2*o**3 + 11*o**2 + 8*o - 9. Let k be i(6). Suppose -32 = -z - k*z. Solve 0 = -2*q - 2*q + z for q.
2
Suppose 0 = -2*a + l + 3*l + 40, -5*l = -3*a + 57. Suppose 6*c - 10 = a. Solve 3*j = c*j + 4 for j.
-4
Let f be ((-12)/(-9))/(12/54*3). Solve 0*u - f*u = -9*u for u.
0
Let a(q) = -2*q - 15. Let i be a(-5). Let v be -2 - (3 + -2)*i. Solve 3 = 3*y - v for y.
2
Suppose -2*g + 3*p = p, p = -g. Solve 0 = 4*r - g - 16 for r.
4
Let r = 594 - 468. Solve -r*o = -125*o - 4 for o.
4
Suppose -4*l - 10 = -6*l. Suppose -5*m - 3 = -5*s + 7, -l*s + 24 = 2*m. Suppose 0 = 2*y + 4*t - 10, 9 = y - 0*t - m*t. Solve -5*x - 3 = y for x.
-2
Suppose -5*r = -10, x - 2*r + 5 = r. Suppose 4*y - 9 = c, -5*y + 2*c - c + 11 = 0. Solve 0 = -y*w + x + 3 for w.
2
Let k(h) = -h**3 + 51*h**2 + 47*h + 267. Let q be k(52). Solve 15*y + q*y = -110 for y.
-5
Let c = 0 + -8. Let v = 8 + c. Solve 3 = u - v for u.
3
Let z = -45 + 49. Let b be (-4)/(-8) + 18/z. Solve -b*c + 8 + 2 = 0 for c.
2
Suppose 36 = 4*d + 124. Let b be 2 + d/(-18) + (-40)/180. Solve -j + b - 1 = 0 for j.
2
Let l be -3 + -3 + (-15)/(-5). Let u be 2/l - 100/(-15). Solve 0 = -8*p + 6*p + u for p.
3
Let j = 3 + 1. Let v(c) = -c**2 - 6*c + 2. Suppose 5*z + g = -7 - 22, -28 = 5*z + 2*g. Let l be v(z). Solve -l*i = -3*i - j for i.
-4
Let d = 0 - 9. Let g = d - -11. Suppose 0 = -4*c - 8, x = 6*c - 5*c + 2. Solve -o - o - g = x for o.
-1
Suppose -448 = 16*q - 20*q. Solve -102*f + q*f = 0 for f.
0
Let z be (-2)/(-6) + 4/(-12). Suppose z = -0*i - i. Suppose 4*m - 8 + i = 0. Solve 2*q - m = 4 for q.
3
Suppose -2*g = m - 13, 4*g - 1 = 4*m + 7. Let c be (m + -5)*11/(-2). Solve 0 = 5*y + c - 1 for y.
-2
Suppose -17*h - 269 = -864. Solve 23*x - h*x - 12 = 0 for x.
-1
Suppose -15 = -5*o - 4*p + 12, 4*o - 5*p - 38 = 0. Solve 3*i = -o*i + 40 for i.
4
Let a be (-3 - 143/(-44)) + 1/(-4). Suppose 0 = -2*w + 4*h - 4, -w = w - 3*h + 2. Solve a = 2*t - 0 + w for t.
-1
Suppose -v - 3*f = -13, -8*v = -5*v - 2*f - 39. Solve -15*l - 4 = -v*l for l.
-2
Let n(g) = -g**2 - 18*g - 70. Let j be n(-12). Solve 6*c = -j*c for c.
0
Let m(q) = -q**2 + 7*q + 18. Let c(v) = -2*v**2 + 15*v + 37. Let d(t) = -2*c(t) + 5*m(t). Let g be d(7). Solve 2*s - 12 = -g*s for s.
3
Let o(d) = d**3 + d**2 + 6*d - 2. Suppose 11*c - 6*c = 10. Let m(p) = 2*p**3 + 7*p - 1. Let z(v) = c*m(v) - 3*o(v). Let n be z(4). Solve j = -n*j + 25 for j.
5
Suppose -x + 1 + 3 = 0. Suppose -2*l + 19 = -6*i + 3*i, -i = -x*l + 3. Let r be (-2)/i + 183/21. Solve -3*t + r = -6 for t.
5
Suppose 24 + 2 = -2*f. Let q be (-3)/(-6)*(5 - f). Suppose -4*h + 3*z + q = 0, 5 = -h + 2*z + 1. Solve -4*g + 6 = -h*g for g.
-3
Let z be (-156)/(-32) - 5/(-40). Solve b = -z*b for b.
0
Let q = 0 + 2. Suppose 7*l - q*l = 5*a - 20, 3*a = -l. Solve -2*k - 5 = -a for k.
-2
Let j be 1 - -2 - (-7 + 83 + -5). Let f = j + 72. Solve -3 + f = -i for i.
-1
Let b be 2/(-4)*(2 - 44). Suppose 0*x + 5*o + 45 = 5*x, -x - b = 5*o. Solve -x = -u + 2*u for u.
-4
Let u(w) = 13*w + 118. Let p be u(-7). Solve 28*l - 19*l = p for l.
3
Suppose 5*f = 3*t - 16 - 36, 3*f - 98 = -5*t. Solve -6*c = 7 - t for c.
2
Suppose 6*g - 107 - 13 = 0. Solve 4 - g = 4*h for h.
-4
Let v(n) = 3*n**3 - 61*n**2 + 20*n + 14. Let h be v(20). Solve 3*x - 17*x - h = 0 for x.
-1
Let l = 269 - 263. Solve 85 = -l*d + 103 for d.
3
Let f = 32 - 29. Let n be (-51)/(-6) + f/6. Solve 5*z + 1 + n = 0 for z.
-2
Suppose 5*y - 24 - 6 = 0. Suppose -5*a + 2*p + 0 + y = 0, -4*a + p = -6. Solve 6*j = a*j - 12 for j.
-3
Suppose 340*i - 45 = 335*i. Solve -i*l + 29 + 7 = 0 for l.
4
Suppose -i = 4*h - 33 + 6, -h + 3*i = -23. Solve -42 = h*l - 18 for l.
-3
Suppose 0*j = 2*j + 5*j. Solve j = -3*d - 1 - 5 for d.
-2
Let c(a) = a - 1. Let r be c(0). Let d = r + 5. Let m(p) = -p**3 + 28*p**2 + 37*p - 227. Let s be m(29). Solve s + 3 = -d*x for x.
-2
Suppose -3 = -3*o, -4*o = 3*r - 4*r - 1. Suppose 0 = -r*d - x + 38, 0 = -3*d + 3*x - 27 + 81. Suppose 3*f - d = f. Solve 3*w - 1 = -f for w.
-2
Let x(y) = y**3 + 6*y**2 + 7*y + 12. Let p be x(-5). Suppose p*s + 10 = 0, 4*s + 29 = 3*q + 9. Solve q = 5*w - 13 - 7 for w.
4
Let d be 0 - -1 - (0 + -8). Let f(g) = -2*g - 7. Let y be ((-8)/10)/(15/75). Let u be f(y). Solve d = -2*i + u for i.
-4
Let d(f) = f**2 + 10*f + 10. Let y be d(-8). Let m be (3*y/27)/((-14)/21). Solve 2*v + 5 = -m for v.
-3
Let g be 3/2 + 12/8. Suppose 0 = -2*m + 5*h - 15, 3*m - 25 = m - g*h. Solve 2*a - 5 = m for a.
5
Let c(h) = h**2 - h + 3. Let f be c(0). Suppose 4*g - f*g + 108 = 5*t, t - 16 = 3*g. Suppose k - t = 4*d, 4*k - d - 69 + 26 = 0. Solve 4*q = -2 - k for q.
-3
Let a(v) = -v**3 - 4*v**2 + 6*v + 7. Let b be a(-5). Let h be 88/(-6) - b/(-3). Let c be (-58)/(-18) + h/63. Solve -7 = -4*n - c for n.
1
Suppose 0 = -q - 4*p - 12, 5*q = 20*p - 17*p + 9. Solve -16*r + q*r = 48 for r.
-3
Let g(q) = 5*q - 1. Let x = 13 - 12. Let s be g(x). Let u be s*-2*33/(-24). Solve -4 = -5*f + u for f.
3
Let h(w) = 4 - w - 2*w - 3 + 4*w. Let l be h(3). Suppose -z = -l*z. Solve z = -0*d - 3*d for d.
0
Suppose 40 = 4*n - 4*h, -7*n = -8*n - 3*h - 10. Solve -3*p = 14 - n for p.
-3
Let f(u) be the second derivative of -u**5/20 + u**4/2 - 3*u**3/2 + 5*u**2/2 - 23*u. Let k be f(4). Solve -i = -2 + k for i.
1
Suppose 4*k + 26 = 5*l, 0*l = -l - 2. Let f = 3 + k. Let u be 3 + f + 3 + 3. Solve 2*o - 25 = -u*o for o.
5
Let g(q) = q**2 + 4*q + 1. Suppose -3*u - 18 = -3. Let p be g(u). Let a be (-3)/(2 - 21/p). Solve i = -7 + a for i.
-5
Let v = 0 + 4. Solve 10 = -v*y - 2 for y.
-3
Suppose -5*r = -2 + 7. Let w be 9 - (-3)/r - 1. Let y = -30 - -30. Solve -g + w - 3 = y for g.
2
Let q = 2217 - 2217. Solve q = -12*y - 21 + 69 for y.
4
Suppose 14*v + 8 = 18*v. Suppose 2*w + 19 = -5*m, -2 = -v*m - 12. Suppose -48 = -4*r - 0*r. Solve w*o + 3 - r = 0 for o.
3
Let m be 1*4/2*2. Let p = -829 - -840. Solve -m = -3*f + p for f.
5
Suppose 3*a - b + 129 = 0, -5*a - 6*b + b - 235 = 0. Let r = -41 - a. Solve -r*x = -2*x - 5 for x.
5
Let d(f) = f**3 + 3*f**2 - 6*f - 11. Let p be d(-3). Solve -2 = j - p for j.
5
Let a(j) = j**3 + 53*j**2 - 50*j + 219. Let f be a(-54). Let o(g) = g**2 - 2. Let c be o(2). Suppose l = -c + 5. Solve -6 - l = -f*w for w.
3
Let c(r) = -r**2 - 7*r + 12. Let n be c(-8). Solve 3*i = n*i + 3*i for i.
0
