= x*y + 3*y + 10 for y.
-2
Let p(h) = h**3 - 8*h**2 + 6*h + 12. Suppose d - 2 = 5. Let r be p(d). Solve z + 0*z - r = 0 for z.
5
Suppose 0*g - 3*o = 3*g - 3, 0 = -4*g - o + 1. Solve g*p + 27 = -9*p for p.
-3
Let z = -474 + 494. Suppose -4*y = 61 - 25. Let g(b) = b**2 + 10*b + 12. Let f be g(y). Solve -7*w + f*w = -z for w.
5
Suppose 3*h + 10 = 34. Suppose h*n = 10 + 14. Solve 3*s = -0*s - n for s.
-1
Suppose z + 3*u = 2, 7*u + 78 = 4*z + 5*u. Solve 3*x + z = 2 for x.
-5
Suppose 2 - 6 = 4*v + b, 4*b = 3*v - 16. Let a be (v - 0) + (-4)/(-2) - -3. Solve a*c - c = -20 for c.
-5
Let d be ((-1)/1)/1 - -4. Suppose -888 = -19*j - 831. Let t be (-2 - -1)/((-1)/3). Solve d*a - j = t for a.
2
Let t be ((-20)/(-6))/((-2)/3). Let c(s) = -s**3 - 5*s**2 + 5. Let g be c(t). Let o(p) = -p**2 + 6*p + 5. Let w be o(6). Solve -w*i - g = -4*i for i.
-5
Let o = -24 + 23. Let z = o - -6. Solve 0 = -z*y + 2*y + 3 for y.
1
Suppose -5*t - 11 = -61. Suppose -t*o + 5*o = 0. Solve q + q = o for q.
0
Let s = 1136 - 1116. Solve 0 = 4*p + p - s for p.
4
Let d(b) = -7*b - 45. Let z be d(-6). Let s be 1 + z/(-6)*2. Solve -t + 3 = s for t.
1
Let u(c) be the first derivative of -c**3/3 + 7*c**2/2 + 3*c + 5. Let t be u(7). Solve 0*g - t*g - 6 = 0 for g.
-2
Let z = -15 - -20. Let p = z - 2. Solve 0 = 3*u + 12 - p for u.
-3
Let r = 310 + -310. Solve 0 = -r*q - q for q.
0
Let h(g) = -12*g - 24. Let p be h(-2). Solve p*s - s = 5 for s.
-5
Let q = 53 - 50. Suppose -q*j + 6 = 0, 5*o = o - 4*j + 16. Solve -2*n + 4*n = -o for n.
-1
Suppose o - 20 = 2*r + 7, 2*r = -2*o + 78. Solve -3*x - 4*x - o = 0 for x.
-5
Let h be 24/9 + (-2)/3. Suppose -h*c + 4 = 5*d - 2, -9 = -3*c. Solve 5*p + d = 5 for p.
1
Let b = 311 - 308. Solve b*z - 22 = -16 for z.
2
Let q(u) = u**2 + 6*u + 11. Let l be q(-2). Solve 0 = l*a - 4 - 11 for a.
5
Suppose 0 = -2*d - 4*t, -2*d + 2*t = -6*d + 6. Solve 8 = d*n + 2*n for n.
2
Let c(y) = -7*y**2 - 32*y + 3. Let o be c(-5). Let h(z) = -z**3 - 10*z**2 + 24*z + 4. Let w be h(o). Solve w = -0*i + 2*i for i.
2
Let v(f) = -f - 6. Let a(q) = -2*q - 13. Let h(x) = 6*a(x) - 13*v(x). Let m be h(4). Suppose -4*s + 1 = 5*t + 2, m*t - 2*s - 20 = 0. Solve -3 = 3*y + t for y.
-2
Let s be ((-1)/5)/(8/(-100))*2. Let w(i) = 6*i - 20. Let p be w(s). Solve 0*z + 2*z = -p for z.
-5
Let j(f) = -f**3 - 3*f**2 + 4*f + 8. Let c be 5*(3/15 - 1). Let h be j(c). Suppose n - 10 = -h. Solve -3 + 1 = -n*t for t.
1
Let h(g) = g**3 - 18*g**2 + 19*g - 32. Let t be h(17). Solve -t*w - 5 = -11 for w.
3
Let u be 294/(-539) - 584/(-22). Solve -32 = -3*r - u for r.
2
Let b(u) = u**3 - 9*u**2 + 15*u - 5. Let p(f) = -f**3 - f**2 + f + 5. Let t be p(-2). Let h be b(t). Solve 0 = 5*r - h - 3 for r.
1
Let v(l) = 17*l + 310. Let h be v(-18). Solve -5*u - h*u = -18 for u.
2
Suppose 3*r = 5*w + 3, 2*r + 3*r + 2*w = 5. Let o = r - 2. Let p(m) = -2*m**3 - m - 1. Let z be p(o). Solve 2*y - 20 = -z*y for y.
5
Suppose -30 = -4*b - 2*b. Suppose 9*v - 12 = b*v. Solve -2 = v*y + 4 for y.
-2
Let l(z) = -5*z - 8. Let s(q) = -24*q - 40. Suppose 30 + 12 = -3*g. Let w(f) = g*l(f) + 3*s(f). Let m be w(-7). Solve -m*o - 6 = -4*o for o.
-3
Let m(u) = -2*u + 25. Let f(i) = 4*i - 50. Let y(x) = -6*f(x) - 11*m(x). Let t be y(11). Let k be (-1278)/(-81) - (-2)/9. Solve -7*j + k = -t*j for j.
4
Let f be 10/(-6)*72/(-60). Solve f*r - 6*r - 20 = 0 for r.
-5
Suppose p + 2*o = 2 + 6, 5*o = -2*p + 20. Suppose -2*j - 1 - 3 = p. Let s = 5 + j. Solve -s*z = -0*z for z.
0
Let v(d) = -3*d**2 - 13*d - 9. Let c be v(-3). Solve -2*n + n - c = 0 for n.
-3
Let q(d) = -d**2 + 20*d - 94. Let n be q(11). Solve c + n = 7 for c.
2
Suppose 17*y = -196 + 638. Solve 2*k + 24 = y for k.
1
Suppose 0 = d - 2*f - 0*f - 2, -13 = -2*d - 5*f. Let o be -2*1/6*(0 + 0). Solve o*y + y = d for y.
4
Let c(h) = h**2 + 8*h + 3. Let s be c(-6). Let a(t) = -2*t - 10. Let k be a(s). Let g be 3*7/(42/k). Solve -4*w = -2*w + g for w.
-2
Suppose -4*k - k = 25, -3*k + 15 = 2*o. Let g be (24/15)/((-6)/(-15)*1). Suppose -v = 5*l + 1 + g, -l + 10 = -2*v. Solve l*p - o = 5*p for p.
-3
Let k be (-117)/(-45) - 4/(-10). Suppose 2*b = -x - 6, 0 = 3*x + b + k*b + 8. Solve -5*n + x*n + 2 = 0 for n.
2
Suppose -k = -8*f + 4*f - 9, 3*f + k + 5 = 0. Let x be (f/5)/(6/(-75)). Solve -13 - 2 = -x*j for j.
3
Suppose -2*r + 3 = -h, 4*r - 6 = h + 5. Let f(w) = -63*w - w**2 + 16*w**2 + w**3 + 24 + 48*w. Let a be f(-16). Solve r*z = -0 - a for z.
-2
Let p(d) = 2*d. Let a be p(1). Let y = 3 - a. Solve -4 - y = -5*q for q.
1
Let y(t) = t**2 + 7*t. Suppose 2 = -q, -2*k + 2*q + 20 = -0*k. Let u = -15 + k. Let n be y(u). Solve a + 3 + 1 = n for a.
-4
Let d(i) = i**2 - i - 1. Let v be d(-1). Suppose 5*x + 3*h = 5, 4*x - 3*h - 35 = -x. Solve -x = -n + v for n.
5
Let v be (-14)/6 + (-2)/(-6). Let n = v - -8. Let l = n - 4. Solve 3 = p - l for p.
5
Let n(r) = -r**3 + 8*r**2 + 11*r - 18. Let l be n(9). Let k = -1 + 4. Solve -k*q + 2 + 4 = l for q.
2
Suppose -8 = -4*p + 2*p. Suppose -5 = -3*k + b, -5*b + 3 = -p*k - 5. Solve -5 = k*a + 1 for a.
-2
Suppose 3*t - 9 = -0. Suppose 0 = -t*u - 2*y - 3*y, -4*y = -2*u + 22. Solve -u*i + 4 = -1 for i.
1
Suppose -7*y - 2*f = -12*y + 82, y - 4*f - 2 = 0. Solve -7*n = 4 - y for n.
2
Let l = -37 - -50. Suppose 47 - l = 17*n. Solve -w = -0*w + n for w.
-2
Let d be -4 - (3 - 3 - 35). Suppose 3*w - 4 = -2*f, 3*w - 3*f - d + 7 = 0. Let v be -5*w/(-40)*4. Solve 0 = z + v - 0 for z.
-2
Let q be 1*(-84)/(-4) - 2/1. Let z = q + -18. Solve z = -2*a + a for a.
-1
Let m = 50 - 42. Suppose -2*f = -0*f - m. Solve 6 + f = -5*b for b.
-2
Let c be 0/((5 + -3)/2). Suppose -5*l + 4*n + 29 + 13 = c, -2*l - 2*n + 6 = 0. Let a be 14/(-21) + 4/l. Solve -j - 2*j = a for j.
0
Let d be ((-531)/236)/((-2)/8). Suppose s + 7*y = 3*y + 3, 0 = -2*s - 3*y + 16. Solve d + s = 5*j for j.
4
Suppose -s - 4*s = -75. Let r(t) = -t**2 - 3*t + 13. Let x be r(-5). Let o be ((-1)/(-9)*x)/((-7)/(-147)). Solve -4*a = -o*a + s for a.
5
Let p = 1848 + -1844. Solve 3*d + p = 5*d for d.
2
Let y = 91 - 25. Suppose y*x = 69*x. Solve 4*q + 4 = -x*q for q.
-1
Suppose i = -3*b + 2, -b = -2*b - 3*i - 10. Suppose -8*k = -b*k - 300. Suppose -o = 4*o - k. Solve 3*h + o = h for h.
-5
Let k(i) = i + 3. Let z be k(-6). Let h be z/(1 - 5/2). Let g = h + 1. Solve -p + g = -0 for p.
3
Let g = 18 - 12. Suppose -8 = -z + 5*t, -g*z + 11 = -2*z + t. Solve z*b + 9 + 0 = 0 for b.
-3
Let x = 55 - 43. Solve x = -11*v + 1 for v.
-1
Suppose 2*o = o + 20. Let i = 12 - 10. Suppose -3*w - 8 = -3*j - 29, i*w + 4*j = 2. Solve -c = -w*c + o for c.
5
Let c be (-2)/14 - (-612)/(-126). Let u be (c - -8)*(-2 + 3). Solve u*m = -m for m.
0
Let r(q) = q**2 - 15*q - 39. Let a be r(18). Suppose -5 = -2*w + a. Solve -w = -t - 4*t for t.
2
Suppose 0 = 5*k, 5*f - 20 = -0*k + 4*k. Let w = f + 11. Solve v = 6*v - w for v.
3
Let z(h) = -h + 32. Let b be z(19). Suppose k - 4*y + b = 0, 0 = -0*k + 5*k + 4*y - 31. Solve 0 = k*j + 1 + 14 for j.
-5
Suppose -4*k = -35 - 1. Let o be (-6)/k*1/((-4)/60). Solve l = 3*l + o for l.
-5
Let g(q) be the first derivative of q**4/4 + 2*q**3/3 - 3*q**2/2 + 2*q + 2. Let h be g(-3). Let a = 884 + -881. Solve 3*z = h*z - a for z.
-3
Suppose 27*c - 2323 - 53 = 0. Solve 23*h + c = h for h.
-4
Suppose v - 8 = -5*y + 15, 5*v = -y - 5. Suppose 0*k = 5*k + 3*j + y, -5*k + 4*j + 30 = 0. Suppose x = -k*u + 6, -3*x = u - x - 3. Solve r = u*r for r.
0
Let j(z) = -z**3 - 5*z**2 + z + 5. Suppose 25 = -11*m + 6*m. Let f be j(m). Let l be (-2)/(-4)*2*3. Solve 2*c - 5*c + l = f for c.
1
Let p = 790 + -787. Solve p - 7 = u for u.
-4
Let m(r) = -5*r + 14. Let a be m(2). Solve 3*w = a*w - 5 for w.
5
Let p(v) = 5*v - 40. Let z be p(17). Suppose -21*q + z = -18*q. Solve -4*s = -s - q for s.
5
Let h(t) = t**2 - 2*t - 13. Let s be h(5). Suppose 2*q = 4*c - 14, 7*c - 3*c - 17 = 5*q. Let f(y) = -6*y - 11. Let m be f(-6). Solve -c*z - s*z = m for z.
-5
Let n(h) = -2*h**2 + 4*h - 3. Let z be n(2). Let b be -1*9/z - -6. Let m = 13 - b. Solve -d - m*d = 0 for d.
0
Suppose -y - 4*x = 0, 8*y - 3*y - 5*x = 25. Suppose -y*c + c = 0. Suppose 0 = 3*f + 4*r - 5, f - 2 = -48*r + 47*r. Solve c = -f*t - 2*t for t.
0
Let x(q) = 7*q. Let v be x(1). Let g = -10 + v. Let w = g - -9. Solve 4*s - s = -w for s.
-2
Suppose 11*q + q = -1188. Let u = -96 - q. Solve -s + 0 - u = 0 f