*x - 42. Let p be y(-5). Solve g + 0 = p for g.
3
Let g be 4/18 - 10*(-3)/(-135). Let t = 6 + -2. Suppose -3*r + 4*r - 2 = 0. Solve g*i - r*i + t = 0 for i.
2
Suppose 0 = t - 9 + 7. Suppose -2*y + 26 = -2. Suppose t = -4*i + y. Solve 2*u - i = -1 for u.
1
Let h be ((-2)/1)/(2/(-4)). Suppose -h*o + 2*z + 12 = -6, 25 = 5*o - 3*z. Suppose 2*y - r - 27 = 0, 2 = -o*y + 5*r + 49. Solve 4*s + 5 = -y for s.
-4
Suppose c + c - 10 = 0. Let t(o) = -6*o - 1. Let b be t(-1). Let k = b + -5. Solve k*p + p = c for p.
5
Let r be (-12)/9*(1 + 2). Suppose 4*l + 36 = -2*v, -13 + 35 = -3*l - 4*v. Let x = r - l. Solve 4*g + 6 = -x for g.
-3
Let i be (-6)/(-1) - 69/23. Solve i*n = 5 + 10 for n.
5
Let i be -3 + 2 + (-1 - -2). Suppose 5*q = 3*t - 173, i = -t - 2 + 3. Let a = -24 - q. Solve 2*n - 2 = -a for n.
-4
Let x = -8 + 7. Let j be 9/3*(x - -5). Let p = -9 + j. Solve 0 = -p*c + 7*c for c.
0
Let v be 5/3*(3 + 0). Suppose 0 = -0*r - v*r + 25. Suppose -9 = 2*h - r*h - 3*d, -2*h - 5*d = -15. Solve -2 + h = -p for p.
2
Let t be 91/26 + (-1)/(-2). Solve 2*r + 0 = t for r.
2
Suppose 4*u + 9 = -3*s, 2*u - 1 = -4*s - 13. Let q be (-8)/6*(-3)/2. Let o = q - u. Solve 3*r - 8 = -o for r.
2
Let v be (0/(-2) - 2)*-1. Let k = v - -2. Suppose k*c = -0*c + 8. Solve 2*w + c = -4 for w.
-3
Let y = -202 + 204. Solve 0 = -y*o - 7 + 1 for o.
-3
Suppose -4*j + 7*j = 15. Solve 2*w + j = 1 for w.
-2
Suppose 0 = -g + 5. Solve u = -4*u + g for u.
1
Let f be 1*4*2/4. Let s be 46/14 - f/7. Suppose -4*p = w, w - p - 2 = -s*p. Solve w*i + 1 = -7 for i.
-2
Let y be (-4)/10 - 24/(-10). Solve 2 = -y*b + 10 for b.
4
Let k be (4/(-12))/(3/(-27)). Solve w + 1 = k for w.
2
Let z = -19 + 20. Solve z = -5*t + 11 for t.
2
Let r(q) = -q - 4. Let n be (10/2)/(1/(-3)). Let i = n + 9. Let l be r(i). Solve 0*y - y = l for y.
-2
Suppose -2*l + 2 = -10. Let f(s) = -5*s - 3. Let o be f(-3). Solve -3*d + o = -l*d for d.
-4
Suppose -4*b + 4*n = -16, 31 = 4*b - 3*n + 2*n. Let t = b - 7. Solve 1 - t = u for u.
-1
Let h(b) = b**2 + b + 2. Let a be h(-3). Suppose -f - 4*v + 2*v = 8, -v = 5*f + 4. Suppose -t - 3 = -0*t - 4*x, f = x - 5. Solve t + a = -5*q for q.
-5
Let r = -52 - -55. Solve r*m + 8 = m for m.
-4
Let b be (-6)/(2*(2 + -3)). Suppose -3*w + 2*w = -4*w. Suppose 15 = 4*p + l, 10 = 2*l + 4. Solve w = -b*h + 15 - p for h.
4
Suppose -5 = 5*c - 3*z, -5*c + 4*z - 22 = -6*c. Suppose -3*b = -b - 8. Solve -c*i + b = -i for i.
4
Let f(n) = n**2 - 5*n - 6. Let o be f(6). Suppose o*r = 4*r - 16. Let t be (-1 - 1)/(r/(-6)). Solve 0*q + t = -q for q.
-3
Let a be ((-20)/6)/(-5)*(30 - 0). Solve -5*f = a + 5 for f.
-5
Let a(w) = w**3 + 12*w**2 - 15*w - 18. Let o be a(-13). Solve -2*z - 2 = -o for z.
3
Suppose -18 = 5*q - 63. Suppose 3*g = h + 2*h + 9, -2*h = 2*g + 2. Let w = 22 + -18. Solve q = -w*u + g for u.
-2
Suppose 2*r + 199 - 201 = 0. Solve -7 + r = -3*y for y.
2
Let c = 26 + -26. Suppose c*y + 6 = 3*y. Solve 3*b = -y - 1 for b.
-1
Suppose 6 = 2*q + 4*x, -3*q + 3*x + 20 = -2*x. Solve -20 = -0*j - q*j for j.
4
Let x(m) = -m**3 - 2*m**2 - 4*m - 4. Let l be x(-2). Solve l = 3*n + 1 for n.
1
Suppose 4*t + 12 = t, 0 = 4*v + 4*t. Let c be 8/(-6)*6/4. Let z be (1 - -2 - c)/1. Solve v*a + z = -a for a.
-1
Let u(y) = 2*y - 18. Let d be u(10). Let j(f) = 3*f**2 - 2*f - 1. Let b be j(-1). Solve d*z = b*z for z.
0
Let j(f) = -f**2 - 4*f + 8. Let i be j(-5). Suppose 0 = 2*o - 2 + 8. Let c = o - -3. Solve c = 3*q - i - 6 for q.
3
Suppose 0 = g - 2*r - 5, -r = -4*r + 12. Suppose -2*k + g = -1. Solve 5*a - 3 = k for a.
2
Let o = -132 - -134. Solve o*f = f for f.
0
Let f = -6 + 3. Let u = f - -8. Solve -4 = u*x - 4*x for x.
-4
Let s(c) be the second derivative of -c**3/3 + c**2/2 - 2*c. Let i be s(-1). Suppose 0 = -6*o + 3*o, 5*o = -p + i. Solve 0 = -4*w + p*w for w.
0
Suppose u - 4*v = 5*u - 116, -24 = -u + 4*v. Suppose 3*l + 3 = 2*l + 2*a, 4*l - 5*a + 3 = 0. Suppose -y - u = -3*c + y, l*c - 14 = -5*y. Solve -c = t - 3 for t.
-5
Suppose -3*v - 18 = -33. Solve -v*t = 15 + 5 for t.
-4
Let l = -13 + 19. Let j = -1 + l. Solve -b + j = -0*b for b.
5
Let v(g) = g - 7. Let c be v(7). Let j be (c - 0)/(8/(-4)). Solve -12 = 3*q - j*q for q.
-4
Suppose 5 = -5*f + 4*s, 2*s - 14 = -4*f + 8. Suppose -y + r = f, 4*y - 12 = -5*r + 3. Suppose -3*j - 2*x + 18 = y, 3*x = -2*j + 7 + 10. Solve h + j = -0 for h.
-4
Let b = -22 - -24. Solve 4*l + 22 = b for l.
-5
Let w(k) = -3*k - 5. Let s be w(-5). Let x be ((-4)/6)/((-4)/(-6)). Let g be s/8 + x/4. Solve g + 3 = -4*v for v.
-1
Let n = -1 - -6. Solve -n*s - 2 = 23 for s.
-5
Let s(n) = 2*n**3 - n**2 - n - 2. Let y be s(2). Let v be y/(-6)*(-42)/4. Suppose -r + 55 = 6*k - 2*k, 4*r = 2*k - v. Solve 3*j - 4 = -k for j.
-3
Suppose -5*b = -2*b, 8 = 2*g - 3*b. Let f(s) = -s**3 + 8*s**2 + 10*s - 7. Let z be f(9). Solve g = -z*r - 0 for r.
-2
Let p be 7/(2/(-6)*-3). Solve -s - 2 = -p for s.
5
Suppose r = 4*z - 16, -9 = -5*z + 11*r - 7*r. Solve w - z*w = 0 for w.
0
Suppose -37 + 13 = -8*v. Solve -v*y - 4 - 5 = 0 for y.
-3
Let p(w) = 2*w**2 - w + 2. Let d be p(2). Let f(g) = -d*g + g**2 - 1 - 5 + 3*g. Let x be f(6). Solve b + x = -1 for b.
-1
Let b be ((-4)/(-2))/4*-2. Let r be b/(-3) - (-5)/3. Suppose -2*n + 10 - r = g, -2*n + 5*g = -20. Solve 0 = i - n + 3 for i.
2
Let s be 8/(-44) - (-2)/11. Let d be s/((-4 - -2) + -1). Solve d = 3*r + r - 12 for r.
3
Suppose 4*h = -3*b + 23, 5*h - 30 = -5*b - 0*b. Solve 3*g + h = -2*g for g.
-1
Suppose -2*u + 4 = -b, 0 = -5*u + 3*b + 14 - 4. Solve 0 = u*y - 0 + 6 for y.
-3
Let g = -4 + 6. Let l be (g + 16/(-10))*10. Solve 0 = -j - l*j - 20 for j.
-4
Suppose 5 = -y + 6*y. Let i be 2 - y*(-8)/2. Let o = i - 4. Solve 0 = z + o - 0 for z.
-2
Let w(h) = 2*h**2 + 3*h - 7. Let a be w(-3). Solve 4*x + a = -14 for x.
-4
Let d(g) = g + 11. Let x be d(-9). Suppose -3*c + 1 = -2*q - 0, -5*c = -5*q. Solve -x = n + c for n.
-3
Let j = 17 + -6. Let n(i) = i**2 + 2*i + 3. Let d be n(-2). Solve 2 - j = -d*l for l.
3
Let g(m) = -m**3 - 11*m**2 - 11*m - 6. Let a be g(-10). Solve -a*c - 1 = -3*c for c.
-1
Suppose -8 = -0*u + 4*u. Let o = -2 - u. Solve l - 4*l - 6 = o for l.
-2
Let g(y) = -y**2 - 5*y + 2. Let o be g(-5). Solve o*m - 20 = -2*m for m.
5
Let j be 2 + (4 - (0 + 2)). Suppose 3*q - 22 = -0*q + i, 11 = -q + 4*i. Suppose -q*v = -j*v. Solve 0 = 3*g - 9 - v for g.
3
Let u(o) = o**3 - 4*o**2 + 4*o. Suppose g = 4*q + 21 + 1, 5*q = 3*g - 31. Let k = -2 - q. Let d be u(k). Solve -r + d*r - 2 = 0 for r.
1
Let t(x) = x**2 + 4*x - 21. Let m be t(-8). Suppose -4*q + 15 = 7. Solve -m + 1 = -q*k for k.
5
Let o(k) = 2*k**2 + 1. Suppose -2*i + 3 = 2*x - x, -5*i - 4*x + 3 = 0. Let r be 1/(i - 0 - 2). Let d be o(r). Solve -d = 5*c + 2 for c.
-1
Suppose 9 - 11 = -f. Solve -f - 7 = 3*l for l.
-3
Let l = 0 - -9. Suppose -2*f + 3 + 5 = 0. Let h(s) = -s**2 + s + 2. Let w be h(2). Solve w = f*o - l*o - 15 for o.
-3
Let c(t) = t**3 + t**2 + 2. Let u be c(0). Let m be (9/u + 0)*2. Suppose 3*s - m = 39. Solve s + 9 = -5*w for w.
-5
Suppose 20*v = 18*v + 46. Solve -v = 5*t - 3 for t.
-4
Let u be 3 + (-7)/(7/(-12)). Let o be (8/20)/(3/u). Solve 0 = o*b + b for b.
0
Suppose 6 = 3*c + 3, -3*i + 4 = -2*c. Solve -i*a + 3 = -3 for a.
3
Let o = 12 + -12. Solve 3*l + 0 + 3 = o for l.
-1
Let v(t) = t - 1. Let f be v(3). Let x be 2/f - (-6)/3. Solve 0*b = x*b for b.
0
Let k = 29 + -20. Suppose -6*p = -k*p. Solve p = b + 4*b - 20 for b.
4
Let i(h) = 61*h**3 - 2*h**2 + 2*h - 1. Let v(o) = o - 1. Let x be v(2). Let w be i(x). Let a be w/7 - 6/(-14). Solve -6 = -3*m + a for m.
5
Let q = 5 + -5. Let j be 0*1/3 - -3. Suppose j*m + q*m = 0. Solve 5*a - a - 4 = m for a.
1
Suppose 0 = -5*r + r - 32. Let c = r - -13. Solve 5*m + 0 - c = 0 for m.
1
Suppose -4*q + 5*y = -2*q + 16, -4*y + 8 = -4*q. Let h be 1*q/(-4)*-2. Let o = 9 + h. Solve -4*d - d + o = 0 for d.
2
Suppose 0 = 5*j - 3*y + y - 40, 0 = 3*j - 5*y - 24. Solve 3*n - j*n - 10 = 0 for n.
-2
Suppose 2*i - 2*l - 12 = 0, 0 = -i - 2*l - 2 - 7. Solve 5 + i = 2*k for k.
3
Let r(s) = 4*s + 2. Let a be r(0). Solve 2*f = -2 - a for f.
-2
Let h(p) = -2*p**2 + 5*p - 4. Let l be h(3). Let a = l + 7. Solve a = -2*j - j for j.
0
Let q = -15 + 25. Suppose 0 = -3*o + 4*a + q, -o - 5*a + 45 = o. Solve h + o = -h for h.
-5
Let w = 3 - 1. Suppose -6*h + 5*f + 20 = -w*h, 0 = 4*f + 16. Solv