1). Let o be d/(-4)*(-4 - -4). Suppose 2 = -3*z - 5*y, 9*y + 4 = z + 6*y. Solve -3*v - 14 - z = o for v.
-5
Suppose 4*z = -2*z + 30. Suppose 3*c - 4*b = 9, z*b = 4*c - 1 - 11. Let m be 11/(-2)*-2 - 1. Solve 0 = -c*p + 5*p - m for p.
5
Suppose -20 = l - 3*q, -q = 4*l + l + 52. Let s = -8 - l. Suppose 0*z - 21 = -2*z + 5*r, -s*r - 9 = 0. Solve z*g - g - 10 = 0 for g.
5
Let z = 340 + -335. Let o be (0 - -2)*(-10)/(-4). Suppose -m = z*u - 2, m + 19 = 3*m - o*u. Solve -27 = 4*y - m for y.
-5
Let v(d) = -d**3 - 4*d**2 - 1. Let n be v(-4). Let j be (-5 - -8) + (n - -2). Let m be (-3)/(1 + 5/(-2)). Solve -m*y = -y - j for y.
4
Let n(p) = -p**3 + 1 - 10*p**2 + 7 - 3*p**2 + 7*p**2. Let v be n(-6). Solve 7 = -5*w - v for w.
-3
Let q(s) = 6*s**3 - s**2 + s. Let w be q(1). Let g = 7 + -3. Let h = -1 + g. Solve w*c = h*c + 15 for c.
5
Suppose 26*b - 16 = 18*b. Solve -2*d + 2 = b for d.
0
Suppose 13*y - 7 = 71. Solve -y*j + 9*j + 9 = 0 for j.
-3
Suppose 3*p - 11 = -4*g, 3*g - 31 = -2*g + 2*p. Let z = g - 2. Suppose 2*w - 32 = -l - 2, 2*w - 14 = z*l. Solve w - 3 = -2*q for q.
-5
Suppose b = -4*u + 54 + 6, -4*b + 254 = 2*u. Suppose -41 = -2*c - c + 4*j, -4*c = 4*j - b. Solve 6*o - c = 3*o for o.
5
Let p(l) = l**2 - 4*l + 3. Let z = 22 - 18. Let m be p(z). Solve -m*k = 11 + 4 for k.
-5
Let o(w) = w**2 - 10*w + 9. Let m be (-16)/32*2*-9. Let j be o(m). Solve 0*s + 5*s = j for s.
0
Let w be 8/(64/(-40)) + 39. Solve 39 - w = 5*q for q.
1
Let k = -5 - -7. Let f(j) = j**3 - 6*j**2 + j - 2. Let t = 7 + -1. Let n be f(t). Solve k = b + n for b.
-2
Let k(l) = 2*l**3 - l**2 - 5*l - 7. Let n be k(-3). Let g = n + 56. Solve 4*q = -g - 7 for q.
-2
Let x(m) = -m**3 - 8*m**2 - 8*m - 8. Let u be x(-7). Let s be u/(-1)*27/9. Solve -s*q - 11 = -2 for q.
-3
Let u(z) = -17*z + 136. Let d be u(8). Solve 2*n - 2 = -d*n for n.
1
Let w(b) = -b**2 - 8*b - 10. Suppose -x + 12 - 2 = 5*j, -4*j = 4*x + 8. Let p be w(x). Solve -p*u + 4 = -u for u.
1
Let l = 126 + -102. Solve -20*u = -l*u + 4 for u.
1
Let g be (3/(-6) + 1)*4. Suppose 11*s - 12 = 9*s. Let h be 1*13 + (s - (-30)/(-6)). Solve -g = 4*p - h for p.
3
Suppose -t = 2*x - 47, 176 = 3*t - 5*x + 57. Solve t*y - 4 = 39*y for y.
1
Let v = -346 + 402. Solve -5 = v*u - 55*u for u.
-5
Suppose 20 = 4*k, -4*k = -3*h - 2*h - 5. Let j be (6/4)/(2/4). Suppose -j*n + 6 = -3*o, 0*n - o = 3*n - 10. Solve n*z + 3 = -h for z.
-2
Let p = 42 + -37. Suppose 6*a - 17 = -p. Solve 5 = -x + a for x.
-3
Suppose -3*p - 49 = 5*k, 2*p + 0 - 4 = 0. Let n = k + 13. Suppose -n*h = 2*h. Solve -a + h = -1 for a.
1
Suppose 0 = 3*b + m - 16, -4*b - m + 21 = -0. Suppose -25 + 8 = -3*u - 2*j, 0 = -u + b*j. Suppose u*i + 3 = 23. Solve 6 = -q + i*q for q.
2
Suppose -1747*x + 1752*x = 90. Solve 3*o - 45 = x*o for o.
-3
Let f = 86 + -84. Suppose 5 = -2*q + v, -f*v - 2*v + 20 = 4*q. Solve 3*j - 6*j - 15 = q for j.
-5
Let g(b) = 3*b - b**2 + b**2 - b**2 + 4. Let o be g(3). Let d = 248 - 246. Solve 3*v = -d - o for v.
-2
Let i be -2*2/(-4)*6. Let r(o) = 7*o**2 + o - 2. Let w be r(-1). Suppose 2 = -w*t - 5*d + 17, 3*d = 9. Solve t = -3*u - 6 - i for u.
-4
Suppose 3*k - 2*k + 17 = -3*i, 26 = -4*i + 2*k. Let t = 8 + i. Let v be (t/(-3))/((-8)/12). Solve j = -v - 0 for j.
-1
Suppose -5*m - 3*m + 56 = 0. Suppose -w = -5*h - 3*w + 11, -5*h = 4*w - m. Solve -v - h = -0*v for v.
-3
Let d be (-16)/(7/((-245)/(-2))). Let c be 4/6 - d/(-15). Let x = c - -18. Solve x = 5*j + 1 + 4 for j.
-1
Suppose 12*h - 31 - 17 = 0. Solve -h*y + 9 = 29 for y.
-5
Suppose 5*h = -2*v + 10, 0*v - 6 = 5*v - 3*h. Let n = 1 - v. Solve 4*a + 13 = n for a.
-3
Suppose 15 = -3*i, -2*h - 4*i + 2*i = 6. Solve h*b + 3 = 7 for b.
2
Suppose 0 = 7*p - 26 - 2. Suppose p*s - 11 = 1. Solve 3*h - s = 6 for h.
3
Let x be 1*(-1 - (0 - 0)). Let v be (-11 - -5) + 56/8. Let t = v + x. Solve -4*r + 3*r = t for r.
0
Let a(w) = -6*w. Let v be a(-1). Let b be (-3)/(-6)*(7 - 7). Suppose -5*i + v*i = b. Solve 5 = -5*n - i for n.
-1
Let r be 2 + ((-4)/(-8))/(2/(-8)). Let l(d) = d - 6. Let z be l(12). Solve r = 3*m + 15 - z for m.
-3
Suppose 23*u = -5*d + 19*u + 25, 20 = 4*d - u. Solve -7*w - 2 = -d*w for w.
-1
Let m = -41 + 14. Let r = -23 - m. Suppose -r*g = 3*g. Solve -a + g*a = 4 for a.
-4
Suppose 0 = -16*c + 4*c + 1128. Solve -2*j - c = -90 for j.
-2
Let u(b) = 3*b**2 + 172*b + 64. Let i be u(-57). Solve 14*l = i*l + 35 for l.
5
Let q be 30*(-1)/(-1) - 16/8. Suppose -2*b - q = -7*b + y, 2*y = b - 2. Suppose -4*n - m = -16, -1 = -2*n + 2*m - 3. Solve -12 = b*w - n*w for w.
-4
Let p be 2/9 - (-6)/(-27). Suppose -12*j = -22*j + 30. Solve p = -5*c + 2*c + j for c.
1
Suppose -d = -4*d + 9. Let i(u) = u**2 + u - 7. Let r be i(d). Solve 4*p = r*p for p.
0
Suppose -26*r = -19*r - 14. Solve 3*v + r*v = 5 for v.
1
Let c be 0/2*1 + 4. Let l = c - 3. Let d be (l + 7)/(6/3). Solve 0 = -d*h - 9 - 11 for h.
-5
Let r(s) = -s**3 + 5*s**2 - 5*s - 2. Let c be r(3). Suppose z - 4*z - w + 11 = 0, w = -z + c. Solve z*o - 22 = 3 for o.
5
Let c(m) = m**3 - 16*m**2 - 39*m + 70. Let y be c(18). Solve -7*h = -y + 23 for h.
-1
Suppose 4*j - 2*n + 212 = 256, -5*j = 3*n - 77. Solve 1 = j*a - 12*a for a.
1
Suppose 7 - 1 = 3*m. Suppose -4*a = -m*a. Let r(g) = g**3 + 23*g**2 - 2*g - 43. Let k be r(-23). Solve -k*t + 3 = -a*t for t.
1
Let l(b) = -3*b**3 - b**2 + 2. Let r be l(-2). Suppose -r - 2 = -2*k. Solve -k = 3*a + a for a.
-3
Suppose 4*q + 4 = 5*q. Let d(z) = 8*z**2 + 3*z**2 - 12*z**2 + q. Let i be d(-2). Solve 2*s + i*s = -2 for s.
-1
Let m be -12*(-7)/(-35)*25/(-10). Solve -10 = -16*o + m*o for o.
1
Suppose -3*h = -3*u - u - 8, -u + 2*h = 7. Let k be u/2*(3 - 3). Solve k = -2*a + a - 2 for a.
-2
Let i = 25 + -20. Suppose 0 = -i*d + 8*d. Let t be -1 + 4/(12/9). Solve d = t*a + a + 12 for a.
-4
Suppose 23*h + 60 = 28*h. Suppose -8*c + 5*c = -h. Solve -c = z + z for z.
-2
Let s be (81/15 - 5)/((-3)/(-45)). Let i be s/(8 - -4)*8. Solve i*o - 2*o + 10 = 0 for o.
-5
Let i be (8 - 10)*(-13)/2. Solve -i - 7 = -5*l for l.
4
Let y = -112 - -79. Let l = y - -31. Let n = l + 7. Solve -a - 4*a + n = 0 for a.
1
Suppose 5*w = -8 + 13. Suppose r + 4*f + 11 = 2*r, 4*f - w = -3*r. Solve r*t + t - 8 = 0 for t.
2
Let t be 90/(-14) - 11/((-539)/(-28)). Let v(z) = -2*z**3 - 12*z**2 + 12*z - 11. Let u be v(t). Solve l + u = -2*l for l.
-1
Let b be (-60)/(-90) - (104/(-6))/4. Solve 8 = -b*p - 12 for p.
-4
Let k be 14/(-28) - (3 + (-21)/6). Solve k = 24*g - 31*g for g.
0
Let i be (-15)/(-25) - (-174)/10. Suppose 0 = -0*s + 9*s - i. Solve -s*d + 4 = -6 for d.
5
Let b be ((-336)/392)/((-2)/14). Solve -2*k + 4 + b = 0 for k.
5
Let q(x) = 2*x**2 - 40*x + 72. Let c(i) = -i**2 + 20*i - 36. Let k(t) = 7*c(t) + 3*q(t). Let f be k(18). Solve -3*z = -f*z for z.
0
Suppose 7 = -d - 7. Let s(r) = -r**2 - 16*r - 16. Let w be s(d). Solve 0 = z + 3*z - w for z.
3
Let o(u) = u**2 + u - 3. Let v be o(-2). Let b be (1 + v)/3 - 0. Solve -3*z = -b*z for z.
0
Let t be ((-16)/(-20))/(2/(-5)). Let m be ((-1)/(-3))/(t/(-24)). Suppose -2*l + m = -2. Solve -2*r - l - 7 = 0 for r.
-5
Suppose -7*l = 278 - 19. Let u = 43 + l. Solve -v - u = v for v.
-3
Suppose 4*r - 5*c + 15 = -r, -c - 3 = 2*r. Let t(g) = -4*g - 3. Let b be t(r). Suppose u + 20 = -b*n, -5*u - 6*n = -n + 20. Solve 4 = -u*h + 4*h for h.
1
Suppose 0 = -4*m - s - 96 - 150, -5*s = -m - 51. Let b = m + 63. Solve b*a + 5 = -1 for a.
-3
Let p(h) = 7 + 3*h - h - h. Suppose 0 = 8*k + 20*k. Let q be p(k). Solve 4*v = q*v for v.
0
Let d(f) = f**2 - 14*f + 19. Let b be 28/42 + (-1)/((-3)/37). Let l be d(b). Solve -l = k - 2 for k.
-4
Let p = -67 + 93. Suppose 24 = 5*b + 2*o, 3*o = 3*b - 8*b + p. Solve l + 12 = b*l for l.
4
Let g(u) = u**3 - 14*u**2 - 13*u - 23. Let b be g(15). Suppose f - 11 = -b. Solve -f - 8 = -4*d for d.
3
Let c be 2/(-8) + 3509/484. Solve -c = -3*s - 22 for s.
-5
Let r = -2 - -4. Suppose -5*v - 5 = -5*u, v + u = -18 + 21. Suppose -r*d + 3 = -v. Solve -d*x = -5*x for x.
0
Suppose 6*k = k + 25. Let u be k/25*(-30)/(-3). Suppose 4*d + 4*o - u*o = 12, 0 = 3*o + 6. Solve -b = -d*b + 12 for b.
4
Let o be (18/15)/(2/(-30)*-3). Solve -5*r - 26 = -o for r.
-4
Let r(t) = t**2 + 1. Let h(o) = 6*o**2 - 4*o + 5. Let s(l) = -h(l) + 5*r(l). Let p be s(3). Solve p*n = -1 - 8 for n.
-3
Let q be -2 + 0 + (0 - 2 - -3). Let i be -2 + (q - -4) + 4. So