 -t - 6 = -2*n for n.
2
Suppose 15 = 2*y - 6*y - 5*z, -4*z - 12 = -4*y. Solve -2*p + y = -3*a + 10, 5*p - 9 = -a for a.
4
Suppose 0 = -13*p + 29 + 23. Suppose -2*i + 21 = -r + 6*r, p*i = 4*r. Let c be 2/2*7 + -2. Solve -5*k + c*a - 8 + i = 0, -11 = 5*k - 2*a for k.
-3
Suppose -3*u + 3 = 3*v, -2*u + 4*v - 14 = 14. Let a be u - -3 - 2/(-2). Suppose -2*o = -a + 10, 30 = 5*y - 4*o. Solve -5*s + r + 10 = 2*r, -y*s + 4 = 5*r for s.
2
Suppose -14 = -7*y + 14. Suppose -4*i - 1 = -5*m - 6, y*i = 3*m + 11. Solve -3*s = 7*q - 2*q, -3*q + i*s + 34 = 0 for q.
3
Let o be ((-8)/10)/((-8)/400). Let f = 1 + -1. Suppose f = -9*g + 5*g + 16. Solve -4*j = g*k - o, 2*k - 3*j = -k for k.
5
Suppose -8*l = -38 + 6. Solve -l*x = 4*c, x - 3*c = -4*x + 40 for x.
5
Let h be (16/4)/(-4)*0. Suppose h = j - 3*r + 12, 34 = 3*j - 2*r + 7*r. Solve s + n = -3*s + 11, -j*n - 18 = -5*s for s.
3
Let r be (-16)/(-2 - -6)*-6. Suppose r*q - 13*q - 55 = 0. Solve -2*l = 5*u - 5*l + 25, q*l = 0 for u.
-5
Let b(v) = -v**2 + 7*v + 2. Let p be b(7). Suppose -4*l + p*l + 8 = 0. Let n = 9 - l. Solve -7 = 2*q - 3*y - 20, -2*y + 23 = n*q for q.
5
Let b be (1/3)/(1/3) - 15. Let h(n) = 3*n + 62. Let w be h(b). Solve 0 = 5*f - 2*l + w - 4, f - 5*l + 17 = 0 for f.
-2
Let y be (33/231)/((-3)/(-63)). Solve -m - y*v = -7, 1 = m - v - 2 for m.
4
Let v = -11 - -68. Let x = v + -49. Solve 3*i + 6 = -p, 0*p = 5*p - 4*i - x for p.
0
Suppose 2*n + 5 = 7*n, -5*n + 265 = 5*v. Let q = v + -29. Let y = q + -19. Solve z = -2*j - y, -j + 5*j = 5*z + 20 for j.
0
Suppose 29*v = 35*v - 18. Let j be ((-3)/(-5))/((-2)/(-10)). Solve 0 = j*q - 2*o - 5, 2*q - 16 = -v*o - 2*o for q.
3
Let n(x) = 8*x - 302. Let c be n(38). Solve -2 = -2*p, 0 = c*i + i + 2*p + 4 for i.
-2
Let i = -103 + 106. Solve -12 = -4*q + i*q + 4*p, 3*q + 5*p + 15 = 0 for q.
0
Suppose 0 = -7*s + 5*s + 10. Suppose s*i = 455 - 165. Suppose 2*a - i = -2*a + y, -5*y + 70 = 4*a. Solve a = 3*v - 3*l, 0*v - 2*v - 3*l = 0 for v.
3
Suppose 9*a - 25*a + 2000 = 0. Let s = a - 97. Solve 5*v + 5 = 2*g - 5, -2*v = 4*g + s for v.
-4
Suppose -3*h + 8 = 3*p - 16, -p - 5*h = 0. Suppose 0 = -7*u - p + 94. Solve -5*q - 5*b = 5, -5*q - u = -3*b + 25 for q.
-5
Let t = 12 + -8. Solve 5*w = -3*i + t*i + 5, 0 = 3*i for w.
1
Let r be 0 + 7 + 8/(-2). Suppose 0*m - 23 = m + 5*t, -4*t - 26 = -r*m. Solve m*p + 3*p = -4*n - 7, 5*n = 3*p + 19 for n.
2
Let q = -20 - -20. Let f(z) = z + 13. Let n be f(-8). Suppose 2*m = -3*v + 21, 2*m + m = -n*v + 36. Solve -4 = w + r - 3, q = -w + 4*r + v for w.
1
Let u be 3 + -1*(1 + -2). Let n be (-9)/(27/(-2))*-45. Let z be (-160)/n - ((-2)/3 - -1). Solve d - 2*f - u = 0, -z*d + 16 = -f - 4 for d.
4
Let z be 0*(2/4 - 1). Suppose -3*r + 6 + 3 = 0. Let v be (2 + (2 - r))*(9 + 2). Solve 3*q + 2*l - 4 = q, 2*q - l + v = z for q.
-3
Let p = -1036 - -1038. Solve 4*s - p = -z, -12 = 4*z + z - 2*s for z.
-2
Let q be (-1 - (-1)/1)/1. Suppose q = 9*h - 5*h. Suppose 2*u + 3*d - 18 = h, -3*u - 2*d + 10 = -22. Solve -5*y = -l + 3*l - 1, -4*y + u = -4*l for y.
1
Let o = 12 + -12. Suppose 2*k + o = 6. Suppose -3*l + 25 = 2*l. Solve -5*j + 7 = -3*c, -l*c + j + k = -0*j for c.
1
Let b(u) = -u**3 - 20*u**2 + 23*u + 46. Suppose 7*m - 42 = 9*m. Let d be b(m). Solve k + 8 = -3*k, 0 = -2*h - d*k - 10 for h.
-1
Suppose 4*o = -39 + 15. Let j = -4 - o. Solve -j*b = w + 5, -4*w = -3*w - 3*b for w.
-3
Suppose -2*h + 30 = -2*l + 3*l, -3*l - 36 = -3*h. Solve -4*m = -d - d - h, 2*m + 5*d - 25 = 0 for m.
5
Suppose -4*h = -r + 22, -4*r + 0*r + 4*h + 40 = 0. Let z(w) = -w - 7. Let b be z(-9). Solve 0 = -u + 3*n - 17, 0 = r*u - 3*u - b*n + 16 for u.
-2
Let n be -1*(4 - 4 - 4). Solve 4*g + 3*m = -1, -4*g + 4 = -0*g + n*m for g.
-4
Let a be (5 + 0 + 0)*19/19. Let f be (-8)/(-40) - 1/a - -5. Suppose 0*y - 3*y + 3 = 0, 0 = 2*c - y - 17. Solve c = -2*q + 5*o, -f*q - 2*o = 14 - 6 for q.
-2
Let n(x) = -x**3 - 12*x**2 + 46*x + 20. Let g be n(-15). Solve g*y - y + 16 = 4*r, -r = y - 4 for y.
0
Let k(m) = m**3 - 10*m**2 + 17*m - 3. Let y be k(8). Suppose 5*r + 4*t = r + 24, -2*r - y*t + 24 = 0. Solve r*c - 27 = -5*n, 3*c + 3*n = -0*n + 18 for c.
1
Suppose -15*k = -16*k + 2. Suppose -5*j + 4*d = -4 - 16, -k*d = -3*j + 10. Solve u - 4 = 2*i - i, j = -5*i - 4*u - 2 for i.
-2
Let a(m) = m**3 - 50*m**2 + 142*m - 42. Let v be a(47). Solve -v*p - 5*t - 20 = 0, 5*p - t + 2*t + 16 = 0 for p.
-3
Let u = 2 + 4. Suppose 8 = -4*o - 24. Let b be -3*(42/(-9) + o/(-2)). Solve -5*s = -3*j - b*s - u, -5*s + 20 = 0 for j.
2
Suppose 26*l = 25*l + 23. Let p(g) = g**3 - 24*g**2 + 22*g + 26. Let d be p(l). Solve -3*r + d*a + 12 = 0, -3*a = -2*r - 6 + 18 for r.
0
Suppose 5 = -c + 7. Suppose c = i + 4. Let x be ((-12)/(-14))/(i/(-14)). Solve -3*r - 2 = -g, 2*r - 3*g = -x*g - 16 for r.
-2
Let r = 293 - 288. Solve 4*n + 3 = r*o - 1, -4 = o + 4*n for o.
0
Let k = 452 - 445. Solve -f - 8 = 4*o, k*o = 3*o - 4*f + 4 for o.
-3
Suppose -f + 2*o = 9, -5*f + 5*o - 17 - 13 = 0. Suppose -1 = t - 0. Let q be (9/f + 0)*t. Solve -z - 18 = -6*z + 3*i, q*i = 4*z - 15 for z.
3
Let x = 105 - 73. Let l = 29 - x. Let o(g) = -g**3 - 3*g**2 - 3*g - 4. Let a be o(l). Solve 0 = 5*f - a*s + 35, 5*f + 14 = -s - 3 for f.
-4
Suppose -4*n + 2*x = -166, 3*x + 14 + 1 = 0. Let d = n - 15. Solve 19 = -4*f - o, 5*f - 4*o + d = f for f.
-5
Let y = 491 - 487. Solve -2*r + y*t = -2 - 8, r + t - 5 = 0 for r.
5
Suppose 0 = 4*i + 4*r, 3*i = -4*r - 1 - 1. Suppose -6 - 22 = -i*y. Suppose -o + y = 12. Solve 5*w + 2 = -8, 0 = -o*q - 4*w - 8 for q.
0
Let o(q) = -q**3 - 2*q**2 - q - 9. Suppose -h - 9 = 2*b, -2*h = 2*h - 4*b. Let u be o(h). Solve 26 = 2*a + l - 5*l, u*a = -2*l + 7 for a.
5
Suppose 10*k - 116 + 46 = 0. Solve 4*x - k = 5*f, 2*f - f + 3*x = -9 for f.
-3
Let t(o) = o - 9. Let k be t(6). Let j be k + 5 + (250 - 2). Let z be j/65 - 2/(-13). Solve z*r - 4 = x, 3*x - x - 4 = 2*r for x.
4
Let c be (-1 - -3)*(-25)/(-10). Solve t - c = 2*o, -4*t + 4*o = -3*t - 9 for t.
1
Suppose 3*n = 3*w - 24, -2*n - 2 = -w - 4*n. Let g be (w/15 + 0)*10. Solve 4*p = -12, -3*p - g = 4*z + p for z.
2
Suppose 352*w - 45 = 343*w. Solve -5*i - 6*t - 20 = -t, 29 = -w*i + 4*t for i.
-5
Let y = 21 - 30. Let c = y - -17. Suppose 3*f - f = s + c, -5*f = -5*s - 20. Solve 2*w + f*u = -u + 4, 0 = 5*w - u - 10 for w.
2
Let q = 21 - 8. Suppose -p + 16 = q. Let y = 6 - p. Solve 5*i + 10 = -y*o, 0*i + 17 = -3*i - 4*o for i.
1
Suppose -5*o + 13 = -7. Let g be (-48)/o*(2 + -3). Solve -4*a + 12 = -t, 2*t + 3*a - 32 = -g for t.
4
Let j be 51/12 + 2/(-8). Let b be -4*(2 - -2)/(-16). Let t be ((-14)/(-42))/(b/6). Solve -5*i = 5*x + 20, -i + t*x - j = 3 for i.
-5
Let k(z) = z**3 - 11*z**2 - 1. Let q be k(11). Let w be -5*1/1*q. Solve 5*p - w*t - 35 = 0, -5*p + 2 + 17 = -t for p.
3
Suppose -34 = 2*b - 3*h, 4*h = 2*b - 3*b - 17. Let g(o) = o**2 + 19*o + 39. Let c be g(b). Solve -c*x = 3*v + 8 + 7, -4*x - 10 = 2*v for x.
0
Let y be (-242)/(-605)*(-10)/(0 + -2). Solve -3*k = 3*z - 6, 11*k - y*z + 2 = 15*k for k.
-1
Let w be (6/8 + 0)*4. Let h be (-12)/(-48)*1*16. Suppose -4 = -2*u + h*q, -4*u + q = -4 + 3. Solve -4*y + 3*a = 12, -5*a = y + w - u for y.
-3
Suppose 4*p + n - 12 = -3*n, -3*p = -2*n + 11. Let x be (-12)/(-3) - (p - -1). Solve 0 = -5*r + 20, -3*t + 5*r + x - 9 = 0 for t.
5
Let h(m) = m**3 - 9*m**2 - 34*m - 21. Let s be h(12). Let x be 165/35 + 2/7. Solve 12 = s*g + 3*d, 2*g - 1 = -x*d + 16 for g.
1
Suppose 883 - 106 = 111*v. Let o = -2 - -3. Let r = o + 0. Solve -2*q + 2 = 3*m - v, 0 = -3*q - 2*m + r for q.
-3
Let u = 801 + -789. Solve -g - d - 3*d + u = 0, 12 = 3*g + 4*d for g.
0
Let x be 8/((-16)/(-6)) + 5. Let n = -13 - -25. Let y = n - x. Solve -3 = -3*b - y*i + 16, 0 = -3*i + 3 for b.
5
Let r be (-8 - -8)/(7 + -9). Solve q - 2*k = -3, -5*q + r*k = -3*k - 13 for q.
5
Let h = 566 + -562. Solve -4*d - h = 2*j - 2, d + 5*j - 22 = 0 for d.
-3
Let r be ((-160)/(-8))/4 + 0. Solve 0 + 2 = -2*s + 2*t, -5*t = -r for s.
0
Let j(f) = 3*f**3 - 2*f**2 - 5*f + 7. Let v be j(3). Let a = v + -50. Solve -a*g + 3*m = 2*m + 1, 4*g + 2*m = 2 for g.
0
Let u = -36 - -41. Let a = u + -1. Solve 3 = -x, 3*x = a*v - v - 15 for v.
2
Let y(o) = -o**2 - 27*o - 107. Let i be y(-5). Solve -v = -4*s + 5, 3*s = i*v - v + 10 for s.
0
Let c(h) = 3*h + 2. Let l be c(1). Suppose 7*q - l*q - 18 = 0. Solve 0 = -2*m +