 + z = -2*h for h.
-3
Suppose 2*y - 6 = 3*d, 2*y + 2*d = -2*d - 8. Suppose y*f - 12 = -4*s + 4*f, 0 = -3*f. Solve n - s = -2 for n.
1
Suppose -3*q + 8 = 5*d - 2*q, 0 = 2*d + 2*q. Solve -d*u = -3*u + 2*u for u.
0
Let v(r) = r**3 + 3*r**2 - 19*r + 2. Let y be v(-6). Solve 7*k = 9*k + y for k.
-4
Let k = 11 + -2. Let n be k*2/(-12)*-2. Solve 0 = i - n for i.
3
Let l(k) = -k + 12. Let i be l(9). Solve 6*x + i*x - 9 = 0 for x.
1
Suppose 34 = a + j + 3*j, -3*j + 15 = 0. Let o(v) = 13*v**2 - a*v**2 + 0*v - 6*v + 0*v. Let z be o(-6). Solve 20 = -z*t - 4*t for t.
-5
Let a be (-1 + 3)*(-20)/(-8). Let k be (0*(-4)/(-16))/(19/(-19)). Solve k = -r - a for r.
-5
Let v be 6 - -12*7/(-28). Solve v*d + 15 = -0 for d.
-5
Suppose 5*a + 240 = 2*z, -4*z - a = -86 - 350. Solve -107*x = -z*x - 12 for x.
-4
Suppose 6*f = 5*f. Suppose -s - 13 + 27 = 0. Suppose -2*j + s + 2 = f. Solve 4*g = -j + 20 for g.
3
Let b be (8/(-12))/((-24)/(-108)) + 3. Let x(h) = -2*h. Let m be x(-2). Let k(v) = v**3 - 5*v**2 + 2*v - 2. Let i be k(5). Solve m*l + i + 12 = b for l.
-5
Let j(v) be the second derivative of v**3/3 - 3*v**2 + 4*v. Let u be j(4). Let y be u*20/2 - 0. Solve -a - y = 3*a for a.
-5
Let y = 55 - 60. Let h(i) = -i**2 - 9*i - 12. Let p be h(y). Solve p*d = 10*d + 4 for d.
-2
Suppose -p + 3*k = -21, 11 + 31 = 2*p - 3*k. Solve -p*r + 23*r = 0 for r.
0
Suppose 106 = -46*y + 566. Solve 2*c - y = -0*c for c.
5
Suppose 0 = 9*g + 9 + 81. Let p be (-16)/(-3)*(-7 - g). Solve -4*o = -0*o - p for o.
4
Let y = -2 - -3. Let o = 6 - y. Suppose 3*j - 4 = o. Solve 10 = -j*x + 8*x for x.
2
Let k = -661 + 725. Solve w + 69 - k = 0 for w.
-5
Let q(r) = -r**2 - 28*r + 12. Let f be q(-28). Solve 8*l - f = 4*l for l.
3
Suppose w = -4*j - w + 8, -4*j + w + 8 = 0. Suppose j*y = x + 8, 0*y + 17 = -x - y. Let z = -11 - x. Solve -z*k = -4*k + 3 for k.
3
Let v be (-16)/32 - (-9)/2. Suppose -5 - 25 = -v*j - 2*t, -j - 2*t + 15 = 0. Solve 0 = -4*l + j - 9 for l.
-1
Let q be (114/(-7))/((-6)/42). Let w be (-2)/12 + (-209)/q. Let d be (3 + w)/(3/24). Solve d = 5*u - 12 for u.
4
Suppose 0 = 2*m + 75 - 75. Suppose 9*f + 10 - 28 = m. Solve -f*s + 9 = 11 for s.
-1
Let l(b) = -3*b - 44. Let j be l(-18). Suppose 3*a - j = 5*u, -4*u = -3*a - 2*u + 4. Solve -k = -a*k + 4 for k.
-4
Suppose -15*m - 38 = -113. Solve j + m*j = j for j.
0
Suppose 0*l = -0*l + 6*l. Suppose 4*t = -5*k - l*t + 18, 4*k + 5*t = 18. Solve 2*q - 8 = -k*q for q.
2
Suppose -7 = -2*p + 2*n + 7, -3*n + 14 = 4*p. Let k(u) = 4 - 4*u - 6 + p + 5*u**2. Let x be k(2). Solve -o - x = -4*o for o.
5
Suppose -1718*i = -1722*i + 32. Solve 50*z - 46*z = i for z.
2
Suppose -f = -6 - 36. Suppose -5*c = -6*c + f. Suppose 3*k = -5*d + 41, 4*k - 4*d - c = 2. Solve -q = 3*q - k for q.
3
Let j be 9/(-1)*(-1 + (-25)/(-45)). Let g(y) = y**2 + 8*y + 10. Suppose 0 = 5*f + 6 + 29. Let l be g(f). Solve -j*p = l + 5 for p.
-2
Suppose 82*m - 83*m + 2*j + 12 = 0, 2*m = j + 18. Solve 7 + m = 15*s for s.
1
Let d = 3 - -11. Let v = -3 + d. Solve 5*f - v = 4 for f.
3
Suppose -3*k = -3*d + 3, -2*d = 2*d - 4. Solve k*j = 5*j - 25 for j.
5
Suppose 0 = -12*f - 34*f + 92. Solve f*x = x - 5 for x.
-5
Suppose -7 = -3*x - 1. Suppose 3*w - 14 = -x. Solve -6 = w*u - 26 for u.
5
Let y be 1*12*61/122. Solve y*d - 7 = 5 for d.
2
Let v(p) = 2*p**3 + 1. Let f be v(1). Suppose -8 - 2 = -5*u. Let r be (-2)/(-4 + u) - -1. Solve -g + f = r for g.
1
Let x(a) = a**2 + 14*a - 400. Let n be x(15). Solve 10*y + n = 3*y for y.
-5
Let p be (2 - 6) + (-2 - -3). Suppose -5*z = -20 + 5. Let v = z - p. Solve v = -2*m - 0*m for m.
-3
Suppose r = -4*q, -r = -5*r - q. Suppose -17*l + 13*l = r. Solve l = -6*c + c for c.
0
Let c be (-288)/(-6)*1/(3 - 2). Solve c*g + 5 = 49*g for g.
5
Suppose 0*i + 5*i + 144 = 2*w, -59 = -w - 4*i. Solve -64*s + 15 = -w*s for s.
-5
Let u = 15 - 12. Let o be (-2)/6*3 + u. Solve -12 = -o*a + 6*a for a.
-3
Let q(j) be the first derivative of -j**3/3 - 6*j**2 + 8*j - 5. Let h be q(-12). Suppose 0 = -0*i + 4*i - h. Solve 0 = 2*c + i*c - 12 for c.
3
Let k(l) = -l**3 + 6*l**2 + l - 1. Let j(u) = u + 6. Let i = -1 - -1. Let n be j(i). Let p be k(n). Solve -p = 4*b - 1 for b.
-1
Let w = 36 + -26. Suppose -w = n - 3*p - 2*p, -4*p = -2*n - 8. Solve n = -0*o - o + 3 for o.
3
Suppose -80 - 40 = -30*k. Solve 5*h = k*h - 3 for h.
-3
Suppose -16*y = -1585 - 1183. Solve 177*w = y*w + 16 for w.
4
Suppose -3*a - 4*o = 10, 15 = a - 4*o - 3. Let v(c) = -c**3 - 3*c**2 + 3*c + 2. Let r be -3 + -1 - (6 - 6). Let d be v(r). Solve p + d = -a*p for p.
-2
Let n = -360 + 378. Solve n*z - 22*z = -4 for z.
1
Suppose 4*t + 5*t = 63. Solve -t*f - 9 = 5 for f.
-2
Let f(n) = n + 1. Let w be f(-1). Let i be 17 - (w - -3) - -3. Suppose -d - 26 = 3*h - 8*h, 3*h = 2*d + i. Solve 3*k + h - 20 = 0 for k.
5
Suppose 0 = -5*z - 5*a, 3*z + 5*a = -14 + 4. Let d(r) = -5*r + 15. Let m be d(4). Let k = m + z. Solve k = -b - b for b.
0
Let s(o) = o + 0*o - 7*o + o**2 + 6. Suppose 0*d + 18 = d + 4*a, d = a + 3. Let k be s(d). Solve k*q = 2*q - 12 for q.
-3
Let n = 276 - 268. Solve n*x + 1 = 7*x for x.
-1
Suppose -17*d = -18*d. Suppose d = v - 5 + 2. Solve -2 = 5*z + v for z.
-1
Let v be (1 - 0)*(1 - -4). Suppose 4*u - 23 - v = 0. Suppose 0 = 4*o - 13 - u. Solve 9 + 11 = o*l for l.
4
Let o(b) = b**2 - 13*b + 4. Let j be o(7). Let s = 40 + j. Solve s = 3*g - 4 for g.
2
Let q(m) = -4*m**2 - 15*m + 29. Let z be q(-4). Solve -13*b + 8*b = -z for b.
5
Let p(r) = -r**3 + 10*r**2 - 7*r - 12. Let h be p(9). Solve 0 = -h*t + 11*t for t.
0
Let r = -453 - -456. Solve m - r + 8 = 0 for m.
-5
Suppose -8*w + 5 = -11. Let r be (-2 + w + 0)/2. Suppose -2*k = -r*k - 6. Solve 2 = -k*g + g for g.
-1
Let l(g) = g**2 - 47*g - 260. Let y be l(-5). Solve 10*p + 22 + 18 = y for p.
-4
Let z = 1855 + -1816. Solve -18*n + 5*n = z for n.
-3
Suppose 6*q - 33 + 3 = 0. Suppose y = -4*s + 5*y, 0 = 4*s - 2*y. Suppose -2*i - 2*i = s. Solve 3*t + q + 4 = i for t.
-3
Let w be -2 + (-4)/((-8)/8). Solve 12 = w*p + 22 for p.
-5
Let g(j) = -j**2 + 31*j - 120. Let r be g(5). Solve 5*h + 20 = r*h for h.
4
Let v(u) = 82*u - 404. Let o be v(5). Solve 10*h - 20 = o*h for h.
5
Suppose -4*w - 11 = -c + 7, w + 5 = 0. Let f be ((-2)/(-5))/(c/80). Let x be ((-28)/f + -2)*-12. Solve -x*j - 5 = -8*j for j.
1
Let g = 120 + -45. Suppose -4*n - n = -g. Suppose 2*h = 12 - 4. Solve h*d - n = d for d.
5
Let t be 2/(-8) + (2 - (-570)/40). Solve t*i = 12*i + 20 for i.
5
Let m = -110 + 130. Suppose -8*v = -m*v. Solve v = -g + 2*g + 2 for g.
-2
Suppose 5*z + 3 = 4*z. Let m be 11/2 - z/(-6). Let a be 8/(-16)*-12 - 5/1. Solve -6 = m*k - a for k.
-1
Suppose -75*s + 5040 = 9*s. Solve s = -5*i - 7*i for i.
-5
Let h(f) = -3*f - 3*f - f**2 + f. Let q be h(-4). Solve -q*p + 3 = -13 for p.
4
Let d be (1 - 7)/(63/(-42)). Solve -5*p = -d + 14 for p.
-2
Let x = 4 - -1. Solve 4*h - x = 7 for h.
3
Let d be (-4)/(-14) - 756/(-98). Suppose -4*s = -d*s. Solve s*c - 2 = -c for c.
2
Let d(b) = 4*b**3 + 27*b**2 + 23*b + 5. Let t(j) = 3*j**3 + 26*j**2 + 23*j + 4. Let h(x) = -4*d(x) + 5*t(x). Let f be h(23). Solve 0 = -f*p - p for p.
0
Suppose 3*o = -0 - 15, -5*m + 2*o + 35 = 0. Suppose -5*x = -20 - m. Solve 0 = 4*b - x*b for b.
0
Suppose -5*y = -3*u + 17, 7 = -2*u + 3*u - 3*y. Suppose u*j + 6*m - 44 = 2*m, -19 = -5*j + 4*m. Let a be (j + -7)*(-2)/6. Solve a = 2*s + 10 - 2 for s.
-4
Suppose -q + 5*k + 17 + 17 = 0, 0 = -4*q + 3*k + 68. Let z = 5 + q. Solve 4*n - z = 1 for n.
5
Suppose -3*d - 16 = -5*o, -d = -4*o - 7 + 24. Let f be (7/(-7))/((-2)/(-4)). Let r be (f - (-2 + 2)) + 9. Solve -d = -4*g - r for g.
-1
Let f(n) = -4*n + 0 + 1 + n. Let m be f(-1). Let x be 3 + 20/(-10) + -1. Solve b + x + m = 0 for b.
-4
Let j be 0/(2/(3 - 1)). Suppose 42*t - 416 = -10*t. Solve t = -2*p - j for p.
-4
Suppose 3*y - 3*v - 9 = 0, -2*y - 3 = -0*y + v. Suppose y = -16*z + 24*z - 56. Solve 0 = 4*o - 3 + z for o.
-1
Let p be (1 + -1)*(-1 + 2). Let z(j) = j**3 - j**2 + 2*j + 24. Let u be z(p). Suppose -4 = 2*w - u. Solve 3*i - i = -w for i.
-5
Let v(f) = 8*f + 25. Let k(m) = -17*m - 51. Let t(b) = -3*k(b) - 7*v(b). Let o be t(-5). Solve o*y = y for y.
0
Let c(t) = 3*t**2 + 32*t - 7. Let k be c(-11). Solve 18 = 10*s - k*s for s.
3
Let l = 456 - 448. Solve 0 = -6*c + l*c for c.
0
Let n(s) = -3*s - 14. Let q(f) = -2*f - 7. Let