 = 0 for y.
3
Let t be 4*(-1 + 6/4). Let k be 0/t*(-2)/4. Solve k = 4*c - 0*c + 12 for c.
-3
Let w = 6 - 8. Let m be (2/(-2))/(1/w). Let u = -2 + m. Solve 3 = l - u for l.
3
Suppose 0*m + 60 = 3*m. Let z be (5/10)/((-2)/m). Let i be (z/(-1))/(3 + -2). Solve -4*y - i = 3 for y.
-2
Suppose 0 = g - l, -4*l + l + 15 = 0. Let k be -3*5/((-15)/2). Solve -k*j - g = -j for j.
-5
Suppose -c = -2*c + 1. Solve -14 = -3*y + c for y.
5
Suppose 5*s + 5 = 4*y, -5*y + 4 = -5*s - 6. Let z be s/(-6) - 10/(-4). Let c(w) = -w**2 + 12*w - 9. Let m be c(11). Solve -p + m*p + z = 0 for p.
-2
Let v(o) = 2*o + 5. Let f be v(0). Suppose f*g = 55 - 20. Solve -g*q + 2*q + 5 = 0 for q.
1
Let c(r) = r - 1. Let q be c(4). Suppose 5*x - 14 = -4. Solve x*z - 1 = q for z.
2
Let w be 2*(2 - 6/(-4)). Suppose 3*t - w = 2. Solve -t*o + 6 - 3 = 0 for o.
1
Let u = 12 - 3. Solve -u - 11 = 5*l for l.
-4
Suppose 3*o = b + 15, 6*o - 5*o - 19 = 5*b. Let m = 4 - o. Let p be 2 + 0 - m - 0. Solve l - p + 1 = 0 for l.
1
Suppose -21 = -2*s + 21. Let i = 24 - s. Solve -i*f = 2*f for f.
0
Let l be 10/14 + 6/21. Let u be (1/l)/((-2)/(-4)). Let a(w) = w**3 - 11*w**2 + 9*w + 12. Let d be a(10). Solve d*j - 4 = -u*j for j.
1
Suppose 0 = -2*p + 10 - 6. Solve 0 = p*x - x + 2 for x.
-2
Suppose 4*u + 3 = 2*o + 29, 5*u = 5*o + 40. Let p = u - 2. Solve p*a - 4 = -19 for a.
-5
Suppose -1 + 9 = -3*z + 5*m, 0 = z + 3*m - 16. Solve -3*w - z = -4*w for w.
4
Suppose -2*k + 5*n = 2*n - 4, 0 = 3*k - 3*n. Let r be 3 + k/(4/2). Solve -5*a = -4*a - r for a.
1
Suppose 5*m = 3*b + 12, -m + 4 = -10*b + 11*b. Solve -12 = -m*x - x for x.
3
Suppose 0 = -2*x + 4*k - 4 + 20, 5*k - 8 = -x. Suppose g + 4*g - x = t, 0 = 4*g - 20. Let s(c) = c**2 - 5*c - 1. Let j be s(6). Solve 4*l + t = j for l.
-3
Let l(j) = j + 5. Let t be l(-4). Let s = 12 - 9. Let y = 5 - s. Solve -y = -r + t for r.
3
Suppose -3*w - 5*z + 23 = 0, 3*w = 3*z + 1 - 10. Suppose -9 = -2*o + 1. Solve 4 = -o*g - w for g.
-1
Let f(r) = r**2 - 10*r + 3. Let q be f(10). Solve -2*i + q*i = 1 for i.
1
Let m(p) = -p**2 + 6*p + 8. Let i be m(7). Let j(n) = -n + 1. Let c(f) = f**2 + 4*f - 5. Let z(s) = -c(s) - 3*j(s). Let y be z(0). Solve -y*v - i = 3 for v.
-2
Let t be 14/4 + (-2)/4. Suppose a = 3*o - 16, t*o + 2*o - 27 = 2*a. Let q(n) = -n**3 - 4*n**2 + 2. Let z be q(-4). Solve z*d = 5 + o for d.
5
Suppose -14 + 4 = -2*a. Suppose 4*q = a*g - 61, 5*g - 7 = q - 3*q. Let p = q - -13. Solve -p*b + 9 = -7*b for b.
-3
Let o be 6/((-5)/(20/6)). Let c be (0 - 1) + (0 - o). Solve 0 = c*a - 1 + 16 for a.
-5
Let x(h) = h**3 - 11*h**2 - 5*h - 6. Let d(u) = -u**3 + 12*u**2 + 4*u + 6. Let q(r) = 3*d(r) + 4*x(r). Let c be q(9). Solve -y = -0 + c for y.
-3
Let f(d) = 2*d**2 + 2*d. Let b be f(-2). Let g = -30 - -55. Suppose -b*n - n = -g. Solve n*v - 2 = 3 for v.
1
Suppose 0 = 3*f - 1 - 2. Suppose x + f = -14. Let j = x - -42. Solve j = 5*p + 2 for p.
5
Suppose -4*u - 2*h + 24 = 0, h - 16 = -3*h. Solve -3 = -r - u for r.
-1
Let o(z) = -z**3 + 2*z - 1. Suppose 0*g - 5*g = -10. Let r be o(g). Let d be (-1 - r) + 6/6. Solve p + 20 = d*p for p.
5
Let c be (3 - 2) + (0 - -2). Solve -5*v = -12 - c for v.
3
Let v = 3 + 1. Let u = -5 - -6. Let q = v + u. Solve q*y - 30 = -5 for y.
5
Suppose 4*x = -4*g + 20, 0*x - 2*g + 10 = -2*x. Suppose -20 + 26 = 3*v. Solve x = h - v*h for h.
0
Let z = -24 + 29. Solve -2*q - 5 = z for q.
-5
Let w(p) = 3*p**2 - 19*p - 11. Let d be w(7). Solve f = -d - 0 for f.
-3
Suppose 4*z + 22 = v, 3*v - 18 = 4*z - 0*v. Let c be z/(-2)*(-8)/(-6). Let t = 10 + -8. Solve -t*x + 10 = -c*x for x.
-5
Let t = 17 + -14. Solve t*g - 4 + 1 = 0 for g.
1
Let y = -16 - -37. Let s = y - 14. Let x = -6 - -9. Solve s*b - x*b = -12 for b.
-3
Let w = 8 - 3. Suppose 0 = -10*g + 167 - 27. Solve g = w*z - 6 for z.
4
Let u = 30 + -17. Solve 2 = 3*m - u for m.
5
Suppose -2*r + 1 = -r. Suppose u = 3 - r. Suppose -2*d = -b + 8, -4*b + 7*d - u*d + 20 = 0. Solve -9 = -3*g - b for g.
3
Let a be 20/(-8)*(-12)/5. Let x(i) = i**2 + 3*i. Let r be x(-4). Let k = a - r. Solve -t = t + k for t.
-1
Let d be (-3)/(12/(-23)) - 7/(-28). Solve d*k = k + 15 for k.
3
Let y(a) = -a + 1. Let p be y(-2). Suppose -p*t = -t - 6. Solve -x = -t + 2 for x.
1
Let z be (-4)/3*(-126)/12. Solve -6 = 5*k + z for k.
-4
Suppose 4*n - 44 = 4. Let g(a) = 2*a - 2. Let w be g(2). Let i = 1 + 1. Solve w*d + n = i for d.
-5
Let u(k) = 2*k + 4. Let f be u(4). Suppose -2*c = -3*b - 3*c - 23, -4*c = -b - f. Let h be 2/(14/b - -2). Solve 0 = h*o - 4*o for o.
0
Suppose -7*q - 14 + 42 = 0. Solve 2*b = q*b + 8 for b.
-4
Let j(x) = -x**2 - 5*x - 4. Let g be j(-1). Solve -2*z + g*z - 4 = 0 for z.
-2
Let o = 0 - -4. Suppose 39 + 1 = 2*c. Solve -o*w = -0*w - c for w.
5
Let n = -46 + 24. Let a = n - -24. Solve a*t = t for t.
0
Let z(t) = -4 + 1 - 1 - t. Let r be z(-6). Solve 0 = -v - r*v - 3 for v.
-1
Suppose 2*z + 19 - 69 = 0. Solve p = -4*p + z for p.
5
Let p(n) = -2*n**2 + 6*n - 2. Let m be p(6). Let d = 65 + m. Solve 4*j + 11 = d for j.
4
Let o(b) = b**3 + 6*b**2 + 5*b - 4. Let p be o(-4). Suppose -4*f = 4*h - p, 4*f - h = 3*h + 8. Solve -4*k - 10 = -f*k for k.
-5
Suppose 32*d - 27*d - 20 = 0. Solve x = -3*x - d for x.
-1
Let l(j) = 4*j - 2. Let u be l(3). Suppose -s = -6*s + u. Solve 0 = -7*d + s*d + 5 for d.
1
Suppose 48*v + 40 = 53*v. Solve 3*t + v = 2 for t.
-2
Let k(b) = 2*b**2 - 3*b - 2. Let j be k(3). Let t = 7 - j. Solve t = 2*w + w for w.
0
Let a(z) = 3*z**2 - z. Let o be a(-1). Suppose -3*d - o*p = -d - 6, -p = 0. Solve -d*j = -5 + 20 for j.
-5
Suppose -5*n - 44 = -3*x, x - 3*n - n - 17 = 0. Solve -x*q + 8 = -9*q for q.
2
Let y be ((-15)/(-2))/((-96)/(-64)). Solve y*w = 2 + 3 for w.
1
Let v be 6*-1*(-2)/3. Let x be ((-2)/v)/((-3)/(-18)). Let y = x - -8. Solve 3 = 4*b - y for b.
2
Suppose 0 = j + 1 - 2. Solve -3*v + j = -2 for v.
1
Let l = -53 - -57. Solve -5*x + 4 = -l*x for x.
4
Let f = -8 - -2. Let y = -2 + 4. Let g be ((-8)/f)/(y/3). Solve g*a = -5 - 1 for a.
-3
Suppose h = 2*j - 28, j - 2*h + 64 = 5*j. Solve -j - 5 = -4*v for v.
5
Suppose -6*w + 2 = -10. Solve 2*h = w - 6 for h.
-2
Suppose -a - 3*a = u - 12, 2*a - 6 = -u. Suppose 3*n + u*g - 1 = -2*g, -5*n - 2*g + 7 = 0. Solve n*s + 3 = -6 for s.
-3
Suppose -3*h = h - 5*t - 30, 2*h = -4*t + 2. Suppose 5*g + 3*q - 60 = 0, q - h*q = -3*g + 7. Solve -34 + g = -5*m for m.
5
Let a be 195/27 + 4/(-18). Solve -a = -3*v + 8 for v.
5
Suppose 5*v + 0*v = 0. Suppose 7*g - 20 = -2*i + 3*g, 5*i - 5*g + 10 = v. Let o(d) = d**3 - 12*d**2 - 2*d + 26. Let b be o(12). Solve -b*s + 0*s = i for s.
-1
Suppose 0 = -2*t + t + 5*c - 19, -3 = -3*t - 5*c. Let u = 14 + t. Solve x + u = -x for x.
-5
Let i be (-36)/(-3)*(-5)/(-3). Suppose 5*z = -5*b + 3*b + 9, -6 = 3*z + 5*b. Solve -z*d = d + i for d.
-5
Let c(f) = f**3 + 10*f**2 - 12*f - 8. Let x be c(-11). Suppose -7*m + 16 = -x*m. Solve m = -3*i + 1 for i.
-1
Suppose -49 + 4 = -9*i. Solve -a + i*a = 0 for a.
0
Suppose 4*x = -x + 25. Suppose 4*u + x*a - 3 = 0, 1 = 3*u + 2*a + 3*a. Solve 0 = -u*v - 1 + 7 for v.
3
Suppose u + 4*s = -16, 4 = 3*u - s - 0*s. Solve u + 3 = b for b.
3
Let b be (4/(-5))/((-12)/30). Solve -b*w = -3*w + 3 for w.
3
Let y(v) = -v - 11. Let p be y(-10). Let r be 8*((-3)/(-2) + p). Let h be (-1)/(-2) - (-6)/4. Solve 2*t - r = h for t.
3
Let y = -41 - -22. Let j = 23 + y. Solve 4 = j*a - 0*a for a.
1
Let i(o) = -5*o. Let j be i(-6). Suppose -x + 4*x = j. Solve 0*s - x = -2*s for s.
5
Suppose -4*l + 18 = 2*m, 1 + 0 = 3*l + 4*m. Solve 2*f = l*f for f.
0
Let s(y) = y**3 + 5*y**2 + 4*y. Let t be s(-4). Let f be 15/10*(-8)/(-6). Solve -f*a = -t*a + 8 for a.
-4
Let y(o) = -o**3 - 7*o**2 - 7*o - 4. Let m be y(-6). Suppose 0 = 7*b - m*b. Solve 0*f + f - 5 = b for f.
5
Suppose 10 = 4*v + v. Solve -v*a = -5*a + 15 for a.
5
Let z be 0*(2/6 + 0). Solve l + l + 6 = z for l.
-3
Suppose -2*w - 2*x + 14 = 0, -5*w + 26 + 25 = x. Suppose 1 = 4*m - p - 13, 3*m - p - w = 0. Solve -m*c + 4*c = 1 for c.
1
Suppose 3*b = -5*u + 23, 9 = 3*b + 3*u - 6. Let h be (0*b/3)/1. Solve 0 = -h*p - 3*p + 3 for p.
1
Let z(v) = 2*v**2 + 7*v + 1. Let y = 6 - 11. Let w be z(y). Let q = -1 - -2. Solve q - w = 5*c for c.
-3
Let y = 17 - 7. Let n(i) = i**2 - 10*i + 3. Let z be n(y). Suppose -z*o + 47 = 4*q, -4*q = 5*o - 18 - 39. Solve -5*x = 7 + q for x.
-3
Let l be 11 + 