.
5
Let z(j) = 2*j**2 - 7*j - 28. Let y be z(6). Solve -y*a - 30 = 8*a for a.
-3
Let i be 4/2 + -8 + 9. Solve 0 = -4*y + i + 1 for y.
1
Let j = 691 + -689. Solve j*s + 11 = 13*s for s.
1
Let n be 6/(-10) + 3/(-35)*-7. Solve 2*i + n*i - 10 = 0 for i.
5
Let l(g) = 6*g - 2. Let j be l(3). Let u be 1365/429 - 4/22. Suppose -u*t - j = -7*t. Solve 5*c - t*c = -5 for c.
-5
Suppose -t + 4 = -2. Suppose 0 = 2*u + 7 - 11. Suppose w - u + 3 = 3*q, -2*w = -5*q. Solve -r - t = -q for r.
-4
Suppose 3*n = 7 - 1. Suppose p = -3*p + 12. Let w be (-24)/40 + p/5. Solve -r + 0 - n = w for r.
-2
Suppose -2*u = -3*v - 99, -u + 10*v = 6*v - 47. Solve u - 47 = p for p.
4
Let n be (-20)/((-80)/(-6)) - 10/(-4). Solve w = -n + 1 for w.
0
Suppose 0 = j, j + 3*j = -3*t + 141. Suppose -46*w - 2 = -t*w. Solve w*u = -2 + 4 for u.
1
Let a = -226 - -230. Solve a*p + 20 = -p for p.
-4
Let n(c) = 19*c + 16. Let g(v) = 6*v + 5. Let f(u) = 7*g(u) - 2*n(u). Let j(m) = -m**2 - 3*m + 21. Let k be j(3). Let r be f(k). Solve 0*h = 3*h - r for h.
5
Suppose -4*g - 35 = g. Let r(v) = 12*v**2 + 8*v - 5*v**2 + 10 - 6*v**2. Let q be r(g). Solve c - 16 = -q*c for c.
4
Let p be (-10)/4 + (-90)/(-12). Let k be 5/4 + 1/(-4). Solve k - 6 = p*i for i.
-1
Suppose 14 = 2*l + 4*r, r = -3*l - 4*r + 22. Let n = l + -6. Solve n*s - 2 = 1 for s.
1
Let z(t) = t**3 + t**2 - 3*t - 4. Let h be z(4). Let j = h + -63. Solve -5*g + 4 = -j for g.
1
Let q = 170 + -156. Solve -15*g = -q*g - 2 for g.
2
Let h(c) = 6*c**2 + 8*c - 15. Let p be h(4). Solve 9 = -110*q + p*q for q.
3
Let t be 6/(-8) + ((-370)/40 - -10). Solve t = -28*u + 25*u for u.
0
Suppose 4*g = 5*g - 5. Suppose 2*w = w + 2. Suppose 6*f = w*f. Solve f = -0*t + g*t for t.
0
Suppose 10*q - 5*q = 15. Suppose -5*h + 3*n + n = -53, 2*n - 23 = -q*h. Solve -h = 3*a - 0 for a.
-3
Let a(h) = h**2 - h - 1. Let r be a(-2). Let t be 2 + 20 + 2 + 2. Let s = 32 - t. Solve -r*j = -3*j + s for j.
-3
Suppose 2*t = h + 12, 5*t + h - 24 = t. Suppose 0 = t*c - 0*c - 150. Solve -3*r - 2*r = c for r.
-5
Suppose -210 = -5*z + q + 3*q, -2*q - 86 = -2*z. Suppose -t - z = 12. Let v be t/(-6) + 1/(-3). Solve 4*l = -0*l + v for l.
2
Let n be 3*(240/(-9))/(-5). Suppose 2*s + 3*s + 5*j = -20, 0 = -5*s - 4*j - n. Solve 4*d + d + 10 = s for d.
-2
Let t(m) = -m + 8. Let l be t(6). Let p be ((2/(-3))/2)/(-6*(-12)/(-864)). Solve p*q = l*q + 2 for q.
1
Suppose -14 = -x + 9. Let q be 29 + 12/4 + 0. Let h = q - x. Solve 2*t = 1 - h for t.
-4
Let i be 9/(-5) - (-4)/(-20). Let r be ((-4)/(-6))/(i/(-54)). Suppose 8*d - 2*d = r. Solve -d*j = -0*j for j.
0
Let p(m) = m. Let r = 30 + -27. Let z be p(r). Solve -4*x - 2 = -z*x for x.
-2
Suppose 3*d + 46 = z - 3, -188 = -5*z - 4*d. Solve 0 = 38*h - 28*h + z for h.
-4
Let l be ((-3)/(-5))/((-1359)/(-270) + -5). Solve l = -0*i - 9*i for i.
-2
Let a be ((-40)/9)/(-2) + (-6)/27. Let c = -4 - -5. Suppose -3*q + 1 + c = 4*p, 2*p = 3*q - 26. Solve 0 = -a*u - 0*u - q for u.
-3
Suppose 0 = -3*p - 4*z + 19, 3*z + 4 + 3 = 2*p. Let c be 6 + -3 + 6 - p. Solve 0 = c*n - 5 - 11 for n.
4
Let x(r) be the first derivative of -2*r**3/3 + 14*r**2 + 35*r - 57. Let h be x(15). Suppose 2*z + 0*z = 20. Solve 0 = h*p + z for p.
-2
Suppose -4*p = -4*j - 116, 0*j - 25 = j + 3*p. Let y = -28 - j. Solve y*r = -4*r - 12 for r.
-3
Let l(j) = 28*j + 2. Let b be l(1). Let x be 620/b - 4/6. Solve k - x = 6*k for k.
-4
Let m = -55 + 59. Let u = -111 - -111. Solve -m*k + u*k - 4 = 0 for k.
-1
Suppose 0 = -34*w + 48*w - 420. Solve w = -6*z + 12*z for z.
5
Let q(a) = 9*a - 13. Let m be q(6). Suppose -34 = 3*g + m. Let k be (g/(-35))/(2/14). Solve k*l - 5 = 5 for l.
2
Let w(f) = 6*f + 242. Let z be w(-39). Solve -5*x = -3 + z for x.
-1
Let d be (-2*3)/((-123)/164). Solve -d*k = -k + 35 for k.
-5
Let u = 27 - 16. Suppose -5 = -8*o + u. Solve 4*g + o = 6 for g.
1
Let i = -1 - -3. Let c(t) = t**2 + 6*t + 10. Let d be c(-4). Suppose -2*v - 5*n - 7 = -0*v, d*n = 4*v - 22. Solve v*g + i - 10 = 0 for g.
2
Let o = -54 - -136. Suppose -2*p - 3*h + o = 0, 3*p + p - 2*h = 132. Suppose p = -3*x + 8*x. Solve -3*k - 8 = x for k.
-5
Let l = 2 + 4. Let p(n) = n**2 - 36*n - 76. Let m be p(38). Solve -g + l*g = m for g.
0
Suppose 0 = -s - 4*j + 24, -2*s = j - 35 - 6. Let r be s/(-6)*(-15)/10. Suppose -2*q + r*q + 10 = 5*z, -5*z = -2*q - 15. Solve -15 = 2*n - z*n for n.
5
Suppose -5*h + 115 + 20 = 4*p, -105 = -5*h + 2*p. Suppose -9 = 4*y + h. Let w = y + 8. Solve w = 4*g - 4 - 0 for g.
1
Let p(j) = 26*j + 198. Let i be p(-7). Solve i*g = 3*g - 39 for g.
-3
Let p be (-1 - (0 + -7)) + -1. Suppose 0 = p*l - 8 - 7. Solve 2*h - l = 3 for h.
3
Suppose -11*s + 69 = -6*s + v, 0 = 2*v + 2. Solve 37*m - 23*m = s for m.
1
Suppose -56 = -5*h - 4*v, h - 10*v + 6*v = -8. Solve 8 = -4*n - h for n.
-4
Suppose -n = -3*m - 6*n - 22, -4*n = 4*m + 40. Let q be (43/3)/(m/42). Let o be q/(-4) + (-2)/(-8). Solve -5 - o = -4*u for u.
4
Let m be -5*(-8)/20 + 1 + -1. Solve m*s = 11 - 21 for s.
-5
Let r(q) = 5 - 8*q + 3*q**2 + 5*q**2 + q**3 - q**2. Let g be r(-8). Suppose -6 = g*i - 16. Solve -i = n + 2 for n.
-4
Let u = 28 - 27. Suppose 2*c + 39 = u. Let w = c - -22. Solve r - w*r = 0 for r.
0
Let q be (-4)/22 + (-3363)/(-649). Solve -q*p + 8 = -2 for p.
2
Let g = 3 + 0. Let o(f) be the second derivative of -f**5/20 - f**4/4 + f**3/2 - f**2 + f. Let k be o(-4). Solve -1 = -g*t + k for t.
1
Let h(f) = 4*f - 13. Suppose -4*v - 9 + 25 = 0. Let x be h(v). Solve 3 = x*y + 9 for y.
-2
Let h = -335 - -337. Solve z - 4 = h*z for z.
-4
Let w = 54 + -98. Suppose 38 = -5*j + 3*v - 105, 3*j - 4*v + 88 = 0. Let z = j - w. Solve -5*d + z = 1 for d.
3
Suppose 2*z - 12 = 3*g, -g - 3 = -5*z + 1. Suppose o + z*o = 2*o. Solve o = n + 1 + 1 for n.
-2
Suppose -3*k + 120 = -2*u - 2*k, 3*u + 180 = -k. Let l = u + 64. Solve -b = 1 + l for b.
-5
Let q(t) = t**3 - 19*t**2 - 44*t - 17. Let d be q(21). Let x = 64 + d. Solve 0 = 3*n - x*n for n.
0
Let h = -582 - -585. Solve -h*c = 8 - 14 for c.
2
Let w be ((-2)/(-8))/(2/24). Suppose 2*z = -3*p - 28, -3*p - z + 2 = -5*z. Let u = p - -6. Solve -4*o + 3*o + w = u for o.
3
Let i(t) = 2*t**2 - 3*t - 2. Let b be i(3). Let w = 8 - b. Solve 3*s + w - 7 = 0 for s.
2
Suppose u - 4 = 0, -8*b + 10*b - 8 = -4*u. Let i(s) be the first derivative of -s**4/4 - 4*s**3/3 + s**2/2 + 4*s + 1. Let p be i(b). Solve -f + 3 + 0 = p for f.
3
Let y(k) = -10*k + 5. Let z be y(-5). Let o = 56 - z. Solve 3*i + o = -2 for i.
-1
Suppose 0 = -4*t - j + 45, 2*t + 5*j - 4 = 5. Solve k - 7 = -t for k.
-5
Let q(f) = f**2 + 9*f + 1. Let p be q(-8). Let g = 6 + p. Let r be (-1)/g*(-6)/(-2). Solve -i - 6 = -r*i for i.
3
Let q = 21 + -29. Let x(p) = -2*p - 14. Let w be x(q). Solve -g + 3 = w*g for g.
1
Let s(u) = -u**3 + 2. Let g be s(0). Suppose -n + 6*x - 2*x = 24, g*n = 2*x - 42. Let w = -18 - n. Solve h = w*h - 4 for h.
4
Suppose 0 = 2*q + 6 - 8. Let k be 1*((2 - 1) + q). Suppose -g - 1 = -2*j - 3, g = -4*j + k. Solve g*f = -2*f for f.
0
Let g = 2011 - 1966. Solve -g*b - 15 = -50*b for b.
3
Suppose 4*l = 7*l + 33. Let d be (-9 - l) + 0 + 2. Solve -t + 2 = d for t.
-2
Let q be 42/462 + (-42)/(-22). Solve 4 = 2*z + q*z for z.
1
Let l = 13 - 5. Let q(x) = -x + 28. Let z be q(l). Solve 2*t + z = -2*t for t.
-5
Suppose 3*m - 2 = -g + 9, -2*m + 5*g = -30. Let x be (-2)/m + (-111)/(-15). Suppose 2*a - 10 = -k, 2*k - 5 = -2*a + x. Solve f + k*f - 15 = 0 for f.
5
Suppose 2*d - 105 = -d. Suppose n = -3*k + 19, 5*n - d = -5*k - 0*k. Solve q - k = -q for q.
3
Let b be ((-3)/18)/(115/30 + -4). Suppose -5*h = -b + 1. Solve h = -0*a + 4*a for a.
0
Suppose -3*c = 2*r - 1, c - 5*r = -2 + 25. Let z(s) = s**2 + 7*s - 1. Let j be z(-4). Let d = 19 + j. Solve c*g + d + 6 = 0 for g.
-4
Let d = 9 + 2. Suppose 5*k - 6*p + 4*p = 17, 2*k = 4*p + 10. Let v be k + -1 + (10 - d). Solve -g = -v - 1 for g.
2
Let c(k) = 3*k**2 + k. Let b be c(-1). Suppose -2*n + b*f = 6*f - 10, 4*n = 5*f + 59. Suppose 5 = 4*w + 4*x - n, 28 = 3*w - 5*x. Solve 2 + w = -4*r for r.
-2
Let q be (-1 - 35)/(-3) - 2. Suppose 0*y + 2*o = -y + 12, -4*y + o = -3. Suppose y*h - 1 = 7. Solve d + h*d = -q for d.
-2
Let j(u) = 4*u**3 + 30*u - 3*u**3 - 61*u + 29*u. Let y be j(2). Solve 2*f = 6*f - y for f.
1
Suppose -5*l + 29 = 9. Suppose -4*d = -5*o - 1 + 11, 3*o - 6 = -l*d. Solve -12 = 6*m - o*m for 