 - 12. Let l = a + v. Solve y + 0*y = l for y.
0
Let k(x) = 4*x**3 - x**2 + x - 1. Let f be k(1). Suppose f*o - 3 = 3. Solve -5 - 1 = -o*i for i.
3
Let q be 96/10 - (0 + 2/(-5)). Solve -3*j + q = 2*j for j.
2
Suppose 5*s - 7*s = -4. Let d(a) = 2*a**s - 4*a + a**2 - 4 - a**2. Let g be d(4). Solve -2*x + g = x for x.
4
Let o be -2 + -2*(-4 - -1). Suppose 2*m - 10 = 4*n, n + o*m - 11 = -0*n. Let x = 3 + n. Solve -x*a = a for a.
0
Suppose 0 = -4*o - o. Suppose y - 5 = -f, -3*f - 4*y + 18 - 4 = 0. Suppose 5*b - f*b = -1. Solve -3*x + 2 + b = o for x.
1
Suppose 0*y = y - 10. Let z = 264 - 262. Solve 2 = -z*x + y for x.
4
Suppose 5*w - 3*i - 20 = 2*i, -12 = -3*w - 5*i. Suppose -3 = -0*s - s. Suppose 0 = z + t - s + 2, 3*t - 11 = -5*z. Solve z = -w*o - 0 for o.
-1
Let j(k) = -k**2 - k + 6. Let r be j(0). Let n be (-2)/6 - (-2)/r. Solve -5*x = -n*x for x.
0
Suppose -s = 3*s - 96. Suppose -y + 12 = -w, y + w = -w + s. Solve -v - 3*v = y for v.
-4
Let v = -2 + -4. Let y = -2 - -12. Let n be 12/y*(-15)/v. Solve n*t = t + 10 for t.
5
Suppose -5*n - 3 = -18. Suppose 0*q = 2*q - 4*m + 12, 2*q + n = m. Solve -5 = -q*j + j for j.
-5
Let h be (0 - -4)/((-1)/(-2)). Let d = 2 + h. Solve 4*s = -d + 2 for s.
-2
Suppose 0 = -5*q + 4*h - 14, 2 = -5*q - 3*h - 5. Let p = 3 - q. Solve -2*t + p*t = 0 for t.
0
Let h(z) = -z**2 - 10*z - 3. Let o be h(-9). Suppose -o*x = -5*x - 3. Solve -x = -0*p + p for p.
-3
Let t be -3 + 7 - (-6 - (3 - 8)). Solve t*i + 5 + 0 = 0 for i.
-1
Let i = 1 - -1. Solve -i*l - 14 = -4 for l.
-5
Let u(z) = 4*z**2 + 3*z. Let v(d) = -3*d**2 - 2*d. Let m(c) = -5*u(c) - 7*v(c). Let r be m(1). Solve r = -5*k - 5 - 5 for k.
-2
Let h be 2/(-5) - (-85)/25. Solve h*o = 3 - 15 for o.
-4
Let z = 11 - 10. Suppose x = 4 - z. Solve -x*r - r + 12 = 0 for r.
3
Suppose -8*o = -12*o. Solve o = 2*b + 3*b for b.
0
Let v be -1 - (-10 - (-5 - -1)). Solve -1 + v = -2*c for c.
-2
Suppose -4*i + 2*g = -64, -8*g - 4 = -7*g. Let y be (2/(-2))/(2/(-4)). Solve -y*r - i = -4 for r.
-5
Let c(j) = j**3 + 7*j**2 - 20*j - 11. Let p be c(-9). Solve -p*i + 20 = -3*i for i.
5
Suppose 5*o - 5*j = 5, 0 = -2*o - o + j + 11. Suppose -5*n = -37*i + 41*i - 95, 4*i - n = 77. Solve o*q + 0 = i for q.
4
Suppose 0 = 3*z + 2 - 8. Solve 1 = -3*t + z*t for t.
-1
Let g(r) = r**3 + r**2 - 3*r - 2. Let h be g(2). Solve 8 = -2*m + h*m for m.
4
Let o be (-4 + -2)/((-3)/2). Let z = -5 + 8. Solve 3 = z*a - o*a for a.
-3
Let q(r) = 11*r. Let j(h) = -h**2 - 4*h + 1. Let v be j(-4). Let y be q(v). Solve -5*k = -14 - y for k.
5
Let y = 3 + -1. Suppose -8 = f + y*m, 2*f + 21 = -2*m - 3*m. Solve -f*j + 1 - 9 = 0 for j.
-4
Let s(d) = 3*d**2. Let v be s(1). Solve v = -x + 1 for x.
-2
Suppose n - 1 = 1. Solve -n*q - 2 = -q for q.
-2
Let r(o) = o**3 - 4*o**2 - 6*o - 1. Let s be r(5). Let n be 1/s - (-38)/12. Let d be 0/2*2/(-4). Solve -n*c = -d*c + 15 for c.
-5
Let f(k) = -k**3 - 3*k**2 + k + 7. Let w be f(-3). Solve w*u = u + 9 for u.
3
Let h(m) = -m**2 + 3. Let k be h(0). Let r be (-12)/(-10)*15/k. Let i(y) = 3*y - 8. Let j be i(4). Solve 5*f = r*f + j for f.
-4
Suppose -11 - 6 = -4*k + f, -5*k - 4*f = 5. Let u be (10/8)/(k/12). Solve u = q + 2 for q.
3
Let y(d) = d**3 + 7*d**2 - 4*d - 21. Let z be y(-7). Solve 0 = z*v - 4*v for v.
0
Suppose -7*x + 8*x - 20 = 0. Solve 4*l = -0*l + x for l.
5
Suppose 5*a = 4*g - 7, 0 = -0*a - a - 3*g - 9. Let o be 0/(a/2*2). Suppose -f = -o*f - 5. Solve 10 = -f*c - 0*c for c.
-2
Suppose 0*m - 3*v - 9 = 2*m, 3*m + 3*v + 9 = 0. Solve 0 = 2*c - m + 10 for c.
-5
Suppose 7*q = 3*q + 8. Solve q = -4*b - 2 for b.
-1
Let n(i) = -i + 1. Let l(k) = k - 11. Let y be l(6). Let h be n(y). Solve -h*b = -2*b + 8 for b.
-2
Let p = 15 - 10. Suppose 0 = -f + p*f. Solve 3*j - 15 + 3 = f for j.
4
Let y be (-5)/(-30) - 142/(-12). Let i(j) = -j**2 + 12*j + 1. Let b be i(y). Solve 3*f - b = -10 for f.
-3
Suppose q + 5*o = 1, 0 = q - 0*q - 4*o - 10. Solve -3*m + q*m = 6 for m.
2
Let b be 14 - (16/(-4) + 3). Let f be (0/(-1))/(1 + -3). Solve -b = -f*j - 3*j for j.
5
Suppose 12 = 4*i + 2*m, -3*i - 12 = -4*m - 32. Suppose 2*s = -i*p - 10, 20 = 4*p - 0*s - 4*s. Solve -w - w = p for w.
0
Let q be (-5)/2*-2 - 0. Suppose 9 = q*h - 6. Suppose 1 = -h*v + 4. Solve -v - 3 = -y for y.
4
Suppose -p - 5*k = 5, -k = 4*p - 29 - 8. Solve 5*j = 3*j + p for j.
5
Let o be (28/2)/(6/3). Suppose 4*v = o + 5. Solve n - 1 = -v for n.
-2
Let u(f) = -2*f**3 - 4*f**2 - 3*f - 2. Let r be u(-2). Suppose 0 = 2*v - 0*v - r. Solve 0 = 3*y + v*y for y.
0
Suppose -3*z = -2*x + 2*z + 29, -4*z = -20. Suppose -x + 3 = -4*w. Solve 3*l - l + w = 0 for l.
-3
Let q be -1 + 3/3 - -3. Solve -16 = q*x + x for x.
-4
Let s(a) = -a**2 + 10*a + 11. Let u be s(11). Suppose 40 = 5*r - 2*x, u = -r - 2*x + 6*x - 10. Solve -5 = -3*y + r for y.
5
Let b(l) = -l + 8. Let o be b(2). Suppose -2*i + o*i = 4. Solve i = -n - 2 for n.
-3
Let x(w) = w**2 - 5*w + 4. Let t be x(5). Suppose 3*n = -t*f + 55, n = 4*f + 2*n - 61. Suppose -8*h + f = -4*h. Solve -10 - 6 = -h*l for l.
4
Suppose a - 2 = -0*a. Let d = -2 + a. Suppose -14 = -4*s - 6. Solve 2*x = -s - d for x.
-1
Suppose 5 = -b + 2*b. Suppose -28 = -o - b*j, 0*j - 2*j = -10. Let k = o - -1. Solve 2*u + 6 = k for u.
-1
Suppose 30 = 6*q - 0. Solve 4 = q*y - y for y.
1
Let u(k) = -k**2 + 14*k + 4. Let i be -3*(-1 - 33/9). Let a be u(i). Solve a = 5*h + 19 for h.
-3
Let o be 8*3/(24/2). Solve 0 = c + o*c + 3 for c.
-1
Let u(q) = 16*q + 96. Let o be u(-6). Solve o = -0*g - 2*g + 8 for g.
4
Let l(a) = 2*a**2 - 2*a - 9. Let d be l(4). Solve -d = 4*z - 9*z for z.
3
Suppose -2 = 2*p - 16. Suppose -10*s + p*s = 0. Solve -10 = -2*i - s*i for i.
5
Let x = 0 + 0. Let w = 59 - 57. Solve w*m = -x*m + 10 for m.
5
Let r(i) = i - 6. Let w be r(7). Let l(a) = -4*a**2 + a. Let k be l(w). Let m = k + 3. Solve 0 = 2*t - m - 4 for t.
2
Let w(v) = v - 3. Let z be w(5). Suppose z = -g + 8. Let d = g + -5. Solve -q + 3 = -d for q.
4
Let c(h) = -h**3 - 8*h**2 + 10*h + 13. Let s be c(-9). Solve n = s*n for n.
0
Suppose -6*i - 25 = -i. Let l = i + 15. Solve -30 = -4*k - l for k.
5
Let w be ((10/(-8))/1)/((-32)/256). Solve 2*l + w = -3*l for l.
-2
Suppose w - 24 = -2*v, 0 = 3*v - 2*w - 19 - 3. Suppose -v = -h - h. Solve 1 = 2*d + h for d.
-2
Let l(j) = -j**2 + 3*j. Let d be l(2). Solve d*c + c + 6 = 0 for c.
-2
Let y(m) = m**3 + 5*m**2 + 2*m - 4. Let a be y(-4). Let r(v) = v**2 - 4*v + 0 - 3 + 0. Let o be r(6). Solve o*p = a*p for p.
0
Suppose -4*k - 4 = -2*v - 0, 2*v = -k + 9. Let m = 4 + -4. Suppose m = t - h + 1, -2*h = -5*t + t + 6. Solve v = -t*o + 3*o for o.
-4
Let n(j) = -3*j + 42. Let p be n(14). Solve p = r - 3*r - 10 for r.
-5
Let y(g) = g - 4. Let u be y(4). Suppose u = -j - j. Let r = -7 - -10. Solve j = r*c + c - 8 for c.
2
Let o = -3 + 5. Suppose 4*v = -4*z + 24, 5*v - o*z - 1 - 15 = 0. Let s be (-6)/v*12/(-9). Solve s*n = n for n.
0
Let c be 4 - (1 + 1*-1). Let x be 1*-2*(-10 - -8). Suppose -2*v - 10 = 4*o + 3*v, 0 = 5*o - x*v - 8. Solve o*i = i - c for i.
4
Let b = -18 - -22. Let h = b - 3. Solve 0 = -2*x + h - 7 for x.
-3
Let z be -9 + 18 + (1 + 0 - 3). Solve -3*g - z = 2 for g.
-3
Let x = -23 - -31. Solve -k - 3*k = -x for k.
2
Suppose 4 = 4*v - 0*v. Solve v = 2*x - x for x.
1
Let m = -3 + -7. Let p = 16 + m. Solve -p = n - 2 for n.
-4
Let p(b) = -2*b + 8*b**2 - b**3 - 2*b - 4*b + 2*b**3 + 10. Let o be p(-9). Suppose 2*g - 5 = o. Solve 0 = -g*t - t + 16 for t.
4
Let k be (1 - (-6)/(-4))*0. Suppose s + 1 - 9 = k. Solve -20 = -3*x + s*x for x.
-4
Let a = -7 - -11. Solve -6 = s - a*s for s.
2
Let o be ((-3)/(-5))/((-4)/20). Let a be (9/(-12))/(o/12). Let g be (-6)/21 + (-4)/(-14). Solve -u + 1 - a = g for u.
-2
Let d = 1 + 12. Suppose 2*j + h = -4*h + d, -j = -3*h - 1. Solve j = q + 7 for q.
-3
Let d(p) = -2*p**2 - 2*p - 2. Let m be d(-2). Let l be ((-2)/(-3))/(m/(-9)). Solve 1 = -v - l for v.
-2
Suppose 0 = 2*n + 2*n + 12, -4*a + 11 = 3*n. Let g be (42/28)/(3/8). Suppose -5*h + 1 = -g. Solve 9 = a*p - h for p.
2
Let w be 0 - ((-18)/3 + 4). Solve 5*f - 8 = w for f.
2
Let t(y) = y + 9. Let u(j) = j**2 + 6*j + 3. Let s be u(-4). Let f be t(s). Solve n - 10 = -f*n for n.
2
Suppose 2*t + d + 2*d = -16, 0 = 4*t - 5*d + 32. Let n(v) = -v**2 - 7*v + 8. Let g be n(t). Solve g = -m - 5 for m.
-5
Let q = -3 + 7. Let h = 9 + -13. L