Solve d = x*l + 3 for l.
-1
Suppose 4*k - 15 = -11, 0 = 3*v - k - 17. Solve -4*z + z = -v for z.
2
Let i(n) = 7*n**3 - 9*n**2 + 9*n - 20. Let u(l) = 6*l**3 - 10*l**2 + 10*l - 19. Let k(b) = 5*i(b) - 6*u(b). Let c be k(14). Solve c - 4 = -4*h for h.
1
Let c be ((-1)/(-1))/(-4 + (-54)/(-12)). Solve c*f = 2*f + 2*f for f.
0
Let j = -339 + 353. Solve 0 = -15*m + j*m - 1 for m.
-1
Let n(g) = -g**2 - 19*g - 15. Let l be n(-18). Suppose -f = l*f. Solve -w = -f - 3 for w.
3
Suppose -8*o + 12*o = 16. Suppose 0 = o*d + 6 + 10, z + d - 10 = 0. Let l(f) = -f**3 + 3*f**2 + 4*f. Let w be l(4). Solve w = -4*b - z - 6 for b.
-5
Let k(g) = -g**2 + 10*g + 7. Let t be k(11). Let w be 1 + t/6*-6. Solve 1 = -w*b - 14 for b.
-3
Let g(q) = -q + 2. Let c = 7 + -20. Let r be g(c). Suppose r - 11 = m. Solve 5*h - 16 = m for h.
4
Let c(u) = u**2 + 10*u + 4. Let z be c(-10). Suppose 4*n - 5*q + z*q = 22, -4*n + 26 = q. Solve 2*k + n = 4*k for k.
3
Suppose 5*j + 2*z - 20 = 0, -3*j = -5*z - 54 + 11. Let w be (12 - j) + (-4)/2. Let h be -1*(-100)/(16/w). Solve -6*i = -i - h for i.
5
Let r(s) = 2*s - 3. Let t be r(4). Let l = 10 - t. Solve -6 - 9 = -l*h for h.
3
Let a be (-6)/21 + 32/14. Let x(p) = -3*p - 25. Let u be x(-10). Suppose u*k - 25 = -5*z, -z + 0*z - a*k + 9 = 0. Solve 2*i + z = 7 for i.
3
Suppose c = 4*k + 18, 3*c + k - 30 = 5*k. Suppose -c*n = n - 2*n. Solve n = -u + 6*u for u.
0
Let l(s) = 13*s**3 + s**2 - 2*s - 2. Let c be l(-1). Let b be 56/c*6/(-4). Suppose -32 = -t - b*t. Solve g = -t*g - 25 for g.
-5
Let p(s) = 2*s + 109. Let h be p(0). Let r = -107 + h. Solve -2*w - 12 = r*w for w.
-3
Suppose -3*f - 1 - 11 = 0, 5*c + 2*f = -28. Let d = 9 + c. Suppose d*h = h. Solve -s + h*s + 1 = 0 for s.
1
Suppose 14 = -3*y + 62. Suppose -4*k = -5*q - y, 2*q - q - 4 = -k. Let p be 6/(-33) + (-204)/(-33). Solve 2*h = -q*h - p for h.
-3
Suppose -5 = -2*x + 3, 0 = 4*f - x + 4. Suppose -10 + f = -5*m, -r + 5*m - 10 = 0. Solve -3*g - 2*g = r for g.
0
Let d(g) = -g**3 + 5*g**2 - 2*g + 10. Let c be d(5). Solve -14*t + 7*t + 7 = c for t.
1
Let p(s) = -s + 2. Let c be p(-8). Let f be (1/2)/(3/12). Solve c = -3*z - f*z for z.
-2
Suppose 8 + 7 = 5*k. Suppose -k*b = t, t + 3 = -5*b + 1. Let o be -2 - (-4 - -3 - t). Solve -4*r + 22 = o for r.
5
Let d(f) = -5*f + 50. Let a be d(7). Solve -a = z - 16 for z.
1
Suppose -v + 25 = -4*k, -5*k = -2*v + 30 + 11. Solve 0 = -5*j - 28 + v for j.
-3
Let q = 169 - 164. Solve q*r - r = 16 for r.
4
Suppose 33 = 11*x - 10*x. Solve j - 35 + x = 0 for j.
2
Let t(u) = -4*u**2 - u + 2. Let c be t(0). Solve c*d + 0*d = 2 for d.
1
Let n(q) = q**3 + 8*q**2 - 10*q - 9. Let d be n(-9). Let k be (-4 + d)/(-2 + 1). Let r be 2/7*658/47. Solve -k*h - r = -16 for h.
3
Suppose -3*b = -2*b, -3*q = 5*b + 3. Let g be -1*(q + 2)*-13. Solve g = -3*h + 4 for h.
-3
Let b = -127 + 197. Let i be 2/10 + b/25. Solve 0*n - n = i for n.
-3
Let v(a) = -a + 31. Let m be v(-17). Let g = -44 + m. Solve -g*y + 9 = 1 for y.
2
Let z(r) = -28*r - 78. Let a be z(-3). Solve 13*t = 7*t - a for t.
-1
Let w = 32 - 20. Suppose 51*k - 54*k + w = 0. Solve o = -k*o for o.
0
Let d(f) = f**3 + 11*f**2 + 28*f + 38. Let a be d(-8). Solve -24*i = -27*i - a for i.
-2
Let y be (4 - (-116)/(-32))*8. Suppose 4*h - y*h - 3 = 0. Let a be h*(-18)/(-3) - 1. Solve 3*w + a = 5 for w.
-4
Suppose -4*s + 4*v = -44, s - 5*v = 3 + 28. Let n be (15/s)/((-10)/(-8)). Solve 11*o - 10*o - n = 0 for o.
2
Let w = -141 + 65. Let v = 91 + w. Solve 2*u + v = 5*u for u.
5
Let d(f) = f + 3. Let q be 58/(-18) - 2/(-9). Let h be d(q). Let b = 18489 - 18487. Solve h = b*m + m for m.
0
Let k be (4/7)/((-4)/(-14)). Suppose -17 = -5*c - k. Solve -4 - 8 = -c*a for a.
4
Let s(g) = 29*g - 11*g - 12*g. Let i be s(1). Let v = 2 - -4. Solve -i*j + 4*j = -v for j.
3
Suppose -3*j - 11 + 110 = 0. Suppose 4*z - j = -21. Solve z*h - 4 = 2 for h.
2
Let s(x) = -x**3 - 5*x**2 - 6*x - 6. Let b be s(-4). Let f be 4/b*(-6)/(-4). Suppose 28*y - 35 = 23*y. Solve -y = -2*o - f for o.
2
Let s(w) = w**2 - w + 2. Let p be s(5). Suppose 0 = -6*t - 1169 + 1277. Let d = p - t. Solve -2*m = -m - d for m.
4
Suppose 6 = b + 2*b. Suppose -b*c + 5*v = -20, 3*v = -0*c - 4*c - 12. Let g be c + 0 - (3 + -5). Solve -g*x = 3*x + 10 for x.
-2
Let s be 12/(-4) - (-1 - -13). Let k = s - -12. Let f be 4 - (2 + -1) - k. Solve f = -2*v + 2 for v.
-2
Suppose 6*n + 290 + 22 = 0. Let f be n/(-14) - (-6 - (-240)/42). Solve -f + 0 = -d for d.
4
Suppose -4*i = -3*i - 2. Let u be 3/((-14)/((-280)/15)). Solve -u*x + 6 = i for x.
1
Let r(w) = w**2 - 13*w + 13. Let u be r(12). Let x be 2/(u/(10 + 0)). Solve x = 3*c + 2*c for c.
4
Suppose 4*n = 3*y, 0 = -2*n - 3*n + 3*y. Suppose -3*w - 9 = 7*j - 4*j, 0 = 2*j - 4*w - 12. Solve 2*s + j*s = n for s.
0
Let m be ((-10)/(-8))/((-226)/(-904)). Let k = 3 - -1. Solve c - m = -k for c.
1
Let w = 16 - 8. Suppose 5*m = -w*s + 5*s + 6, 0 = -s - 3. Suppose -7 = -f - m. Solve 0 = -f*d - 0*d for d.
0
Let p(n) = n**2 + 6*n + 9. Suppose 23 = -5*k + k - 3*h, -5*k + 2*h - 23 = 0. Let x be p(k). Solve x*r = 22 - 10 for r.
3
Let n(c) = 3*c**2 + c + 1. Let m be n(-1). Solve -a - m*a = 16 for a.
-4
Let z = -1217 - -1222. Solve 12 = y + z*y for y.
2
Let p be 36/8*4/(-3). Let m = p + 16. Suppose -n + 3*f = 12, 5*f - 15 = m. Solve -k = n*k for k.
0
Let w(r) = -7*r + 1. Let k be w(1). Let n be (k/1)/((-6)/4). Suppose -i - n*l = i, 2*l + 10 = 4*i. Solve -i*u = -u for u.
0
Let c(k) = -4*k**3 - 7*k - 6. Let n be c(-1). Let l(o) = -o + 1. Let w be l(-1). Solve n + 5 = -w*b for b.
-5
Let q(v) = 2*v**2 - 46*v + 47. Let o(f) = 2*f + 34. Let d be o(-6). Let b be q(d). Solve -4*p + 9 = -b for p.
3
Let h = 5 - 1. Let r(v) = v - 1. Let x be r(h). Suppose -x*i + 7 = 5*q, 3*i - 1 = -2*q + 9. Solve i*d = 2*d + 10 for d.
5
Let v be (-1)/(-1*4/12). Let u be (-2)/(-5)*(-30)/(-2). Solve v*y + u = -0*y for y.
-2
Let t = 26 + -13. Suppose -6 = 7*a - t. Solve 4 = -y + a for y.
-3
Let b = 1404 + -1385. Solve -b*t - 3 = -20*t for t.
3
Suppose -o + 10 = o. Suppose -6 + 21 = o*a. Suppose 2*k + 4*z - 2 = 4*k, 2*z - 29 = -a*k. Solve -2*v = -1 - k for v.
4
Let j = -508 - -778. Let o be (-4)/(-6)*j/36. Let p be -1*10/o*-1. Solve 3*q - p = -8 for q.
-2
Let i(f) = -f + 12. Let o = 9 - 1. Let n be i(o). Suppose 5*g - n*u + 20 = 0, 3*g + 1 - 21 = -4*u. Solve g*z + 4 = 2*z for z.
2
Let x = -24 + 28. Let q be (-7 - -5)/x - (-9)/2. Solve -2*k + q = -0*k for k.
2
Let y(d) = -d - 1. Let j(f) = 4*f + 8. Let t(a) = -j(a) - 3*y(a). Let i be t(-10). Let r be 9/i + (-3)/(-15). Solve z = r*z + 4 for z.
-4
Let u be 9270/2163 - ((-8)/(-14))/2. Solve -u*t = -7*t - 6 for t.
-2
Suppose 3*o = y + 18, 4*y - 4*o = -47 + 15. Let v be 0/((-5)/(-15)*y). Solve 0 = m - v*m for m.
0
Suppose -4*v = -31 - 13. Let u(h) = -6*h**2 + h + 1. Let o be u(-1). Let t = o + v. Solve -4*y - 17 = -t for y.
-3
Let q = -990 - -1011. Solve q*j - 13*j = 24 for j.
3
Let v = -3448 - -3460. Let s be ((-2)/2 + 2)*7. Solve v*z - s*z = 20 for z.
4
Let d be 3*-1*(-36)/(-54). Let s be d/(-8)*(-1 + 1). Solve s = -h + 6*h - 5 for h.
1
Let f be (2/5)/((-12)/60). Let y = f - -10. Suppose -4*w + 5*w = 5*i + 23, -y = 4*w + 5*i. Solve 0 = -j + w - 1 for j.
2
Let d = -12 - -19. Suppose 3*x = -t + 3 + d, 0 = -4*x - 5*t + 17. Let i be (5/x)/(2/6). Solve -3 = -2*r + i*r for r.
-1
Let l(r) = -r**2 + 11*r + 16. Suppose -29 = -4*t + 15. Let p be l(t). Suppose 0 = -4*k + q + p, -5*k + 12 = 5*q - 8. Solve c = -k*c + 5 for c.
1
Suppose 24 = 3*d - 2*a, -3*d + 0*a - 5*a = -45. Let p(b) = -b - 11. Let h be p(-8). Let j be h/(-1) + 12/4. Solve j*k - k = -d for k.
-2
Let w be 8/(-64) + 435/24. Solve -3*p + w - 12 = 0 for p.
2
Let k = -40 - -222. Suppose -4*l - 26 + k = 0. Suppose -15 + l = 3*m. Solve -m = 2*j - 0 for j.
-4
Suppose -6*r - 150 = -11*r. Suppose -4*x = -y + 6, -5*y + r = -2*x + 7*x. Solve y = 2*z - 0*z for z.
3
Let g(t) = -5*t**3 + 3*t**2 + 4*t + 2. Let j be g(-1). Let r(n) = -n**2 + 8*n - 11. Let s be r(j). Solve s + 2 = f for f.
3
Let i be ((-7)/2)/(1 - 27/18). Solve u - i*u = 24 for u.
-4
Let f(l) = 3*l**2 - l + 1. Let w be f(1). Let i be ((-84)/56)/((-3)/20 + 0). Suppose -m = h - 2*h + 2, -m - i = -3*h. Solve b = -m*b - w for b.
-1
Suppose 0 = -3*h + 8 + 1. Suppose -4 = g + h*i, -g + 4*i - 2*i = -6. Let b be 5 - (g - 0) - -1. Solve -b = -r - 0