*y for y.
1
Suppose -2 = w - 2*w. Let m(j) = -j**2 - 8*j + 213. Let y be m(-19). Solve 8 = -w*v + y*v for v.
4
Suppose 0 = -2*u - 5*u + 14. Suppose -2 - 6 = u*a, -28 = -2*k + a. Suppose 8*n - 7*n - k = 0. Solve 7*l = 3*l + n for l.
3
Suppose -491 = -10*s + 159. Let k = s - 53. Solve 2 - k = 2*d for d.
-5
Suppose x = -4*x - i + 17, 0 = 4*i + 12. Suppose x*y = -4*q + 44, -5*y + 5*q = 1 - 6. Solve 2*h = -0*h + y for h.
3
Suppose 0*f + 28 = 5*f + 4*u, 5*f - 12 = 4*u. Solve f*r - 6 = 2*r for r.
3
Let f = -1 - 7. Suppose -5*d - 4*s = -32, d = 4*s - 7*s + 2. Let c = f + d. Solve 3*h - 3 - 6 = c for h.
3
Suppose 16 = 5*s + 4*h, -s - 4*h + 16 = -0*h. Let r be (0 + 18/2)*(-32)/(-144). Let p be -3 + ((-60)/4)/(-3). Solve 0*y + r*y + p = s for y.
-1
Let v = -1 + -4. Let k(j) = -2*j - 4. Let s be k(v). Let f(a) = -2*a**2 + 29*a - 74. Let c be f(11). Solve -c*d + 0 + s = 0 for d.
2
Let c(k) = -2*k**3 - 49*k**2 - 40*k + 33. Let j(w) = -w**3 - 24*w**2 - 20*w + 17. Let x(y) = 2*c(y) - 5*j(y). Let g be x(-21). Solve -m = -0 + g for m.
-2
Suppose 0 = -27*i + 22*i + 20. Suppose -13*z - i = -15*z. Solve 0*h - 2*h - z = 0 for h.
-1
Let q(n) = n**2 - 12*n - 1. Let m(i) = 2*i**2 - 25*i - 2. Let w(c) = -6*m(c) + 13*q(c). Let o be w(8). Suppose -4*h + 1 + o = 0. Solve 2 = x + h for x.
-2
Let u(r) = -r**2 - 5*r - 1. Let y = -23 + 21. Let l be u(y). Solve 0 = 3*k - l + 2 for k.
1
Suppose 18 = 3*q + l, 7*l - 3*l = 2*q - 12. Let j be 4/q + (-1 - (-4)/12). Solve j*a = -a for a.
0
Suppose 4*b + 68 = u, 28 + 24 = -4*b + 5*u. Let j be 2/(-3)*b/3. Solve 1 = -5*x - j for x.
-1
Let l = 11 + -7. Let j be 2/(1*l/4). Suppose 2*x - j - 4 = -r, -3*x - 5*r = 5. Solve -x = 4*k - 3*k for k.
-5
Let q(j) = -j**3 + 5*j**2 - 3*j - 1. Let u be q(4). Suppose -16 = -d - u*d. Let m be (-4)/(-28) + 81/21. Solve m = d*p - 12 for p.
4
Let t(b) = b**2 + 5. Let u be t(5). Let n = 15 - u. Let k = 20 + n. Solve -q = -6*q - k for q.
-1
Suppose c = 5*f + 21 + 8, 3*c = -2*f + 2. Let a be ((-4)/(-6))/(c/12). Suppose -2*r - a*r + 24 = 0. Solve -4*z = -z + r for z.
-2
Let x = 6 - 5. Let f be (9/9)/(0 + x). Suppose 2*g = 7 - f. Solve -g*w = -0*w for w.
0
Let x = -26 + 38. Solve -4*c = -x*c + 16 for c.
2
Let n(y) = y**2 - 3*y - 2. Suppose 4*f = 8 + 8. Let i be n(f). Suppose -z = -4*j - i*z + 29, -j = 5*z - 31. Solve 3*o - 6 = j*o for o.
-2
Let g = 13 + -5. Let h be (-2 - 0)/(g/(-12)). Suppose -s + 8 = l, h*l + 0*s = 3*s. Solve 0 = l*x - 2 - 2 for x.
1
Let j(p) = -p**3 - 4*p**2 + p + 16. Let n be j(-4). Suppose -2*k + 2 = -2. Let q be (4/(-2) + k)/(-2). Solve 3*l - n = -q*l for l.
4
Let m be -3 + 3 + 9/1. Suppose 2*c = -5*l + m - 26, 5*c = l + 25. Let w(j) = j**2 - 5*j + 4. Let g be w(c). Solve -4*d + 0*d = g for d.
0
Suppose -9*d + 137 = 2. Solve 49*x = 44*x - d for x.
-3
Suppose 0 = -4*k - s - 19, 21 = k - 5*k + s. Let q(w) = -5 + 3*w + 21*w**2 - 10*w**2 - 10*w**2. Let n be q(k). Solve -4*r + 3 = -n*r for r.
-3
Let h = -15 + 17. Suppose 262 = -h*l + 268. Solve -2 + 11 = -l*o for o.
-3
Let d = -11 - -7. Let k be (1/(-2))/((-4)/(-72)). Let q = d - k. Solve q*c + 2 - 17 = 0 for c.
3
Suppose -3*i + t + 40 = 0, -t + 4*t = -12. Solve 0*n + 4*n - i = 0 for n.
3
Let f be (-1)/2*0*2/6. Suppose p - 33 + 31 = f. Solve -3*m + m = p for m.
-1
Let v = -152 - -72. Let y be v/(-25) + (-4)/20. Solve -8 = y*u - 5 for u.
-1
Let y = 16 + -11. Suppose -2*j - n + 122 = 3*j, 38 = 2*j - y*n. Let o = j + -9. Solve -6*i + i = o for i.
-3
Let i(n) = -5*n + 6. Let m be i(1). Solve u - 2 - m = 0 for u.
3
Let i be (-1)/((8/16)/(34/(-4))). Let n = i - 14. Let j(f) = f**2 - 4. Let t be j(3). Solve -n*u - 14 = -t for u.
-3
Suppose -3*u - 77 = -14*u. Solve 0 = u*a + 17 - 31 for a.
2
Let h(n) = -2*n - 1. Let m be h(-3). Let l be (-105)/(-6)*8/(-10). Let w be (-4)/l - (-60)/35. Solve 0 = -w*f - 1 - m for f.
-3
Let o(x) = -x - 2. Let v be o(-4). Suppose -3*a + 0*a = -4*q + 49, 5*a = v*q - 105. Let s = a - -25. Solve -s*g = -0*g - 10 for g.
5
Let x be ((-22)/(-4)*-4)/1. Let i be (-130 + 0)*x/55. Let o = i + -34. Solve 2*c = 8 - o for c.
-5
Let h = 1142 + -1029. Solve 0 = 4*i + 93 - h for i.
5
Suppose -4*i = -3*u - 13, -i - u + 2 = -3. Let a(g) = g**2 - 11*g - 18. Let k be a(14). Let h be ((-2)/4)/((-2)/k). Solve -2 + h = -i*o for o.
-1
Let j = 433 + -417. Solve z = j - 21 for z.
-5
Let y(v) = 5*v + 5*v + 2*v**2 - 11 + 0*v**2 - v**2. Let w be y(-11). Solve w = z - 1 - 0 for z.
1
Let f = 263 - 263. Solve 5*r - 10 = -f*r for r.
2
Suppose -2*x = 2*v - 596, -4*x = x - 3*v - 1506. Let i be ((-3)/2)/((-18)/x). Solve -6*a + a - i = 0 for a.
-5
Suppose -5*f = -8*f. Suppose f = u - 3*u. Let n be u + (0 - 0) + 2. Solve 2*t = -n*t for t.
0
Let u be (-18)/18 + -3 + -1. Let j be ((0/5)/u)/(-3). Solve a - 3*a = j for a.
0
Suppose 32 = 5*o + 7. Suppose -o*m + 6*m = -l + 2, -53 = -4*m + 5*l. Solve m = -5*j - 13 for j.
-4
Let l(k) = -k**2 + 9*k + 12. Let t be l(10). Let i be (-12)/40*2 - 116/(-10). Solve 3*f + t = i for f.
3
Let a = -114 - -114. Solve 4 = -2*q - a for q.
-2
Let k(n) = -1. Let t(p) = p + 2. Let d be 3*(20/3)/(-5). Let w(g) = d*k(g) + t(g). Let r be w(-3). Solve r*f = -f - 16 for f.
-4
Let v = -10 + 11. Let s be (v + -3)/(0 + -1). Suppose -3*g - s*y = -11 - 2, -5*y = -5*g + 5. Solve 0 = g*q - 2*q - 2 for q.
2
Let f(t) = -6*t + 205. Let g be f(34). Solve -13 = -6*u - g for u.
2
Let x be 1/(1 + 0 - 2). Let z(f) = f**2 + 23*f - 23. Let l be z(-24). Let g be 2*(l - x/2). Solve 15 = g*k + 2*k for k.
3
Let d be 3 - (0 + 3)/(-4 + 5). Solve -20 = -d*z - 4*z for z.
5
Let t(c) = 10*c + 36. Let u be t(-3). Solve 2*a = 4*a - u for a.
3
Suppose 1 + 5 = 2*d. Let a be (7 - 2 - d) + 4/1. Solve 5*r - 5 = a*r for r.
-5
Suppose 0 = -4*y - u + 9, 28*y - 26*y = 2*u + 12. Solve -y*t = 6*t + 18 for t.
-2
Suppose 3*i - 22 - 20 = 0. Suppose 3*w + 37 + 27 = 2*q, 0 = 4*q + w - 100. Suppose -q + i = -3*c. Solve -c*m - 6 - 10 = 0 for m.
-4
Let t = -309 + 309. Solve 20 + t = 5*j for j.
4
Suppose 0 = -37*d + 22 + 570. Solve 8*f = d - 0 for f.
2
Suppose -2*y + 2*g + 6 + 0 = 0, -5*y - 4*g = -6. Let m be 30/7 - (-2)/(-7). Solve m*c = 3*c - y for c.
-2
Let h = 16 + -9. Suppose y = -3*c + h + 4, 4*c - 5*y = 2. Suppose -5*t = -2*z - 17, t - 3*z = 2*z + 8. Solve 3*k + t = -c for k.
-2
Let t be 2/(-6)*-9 + 3. Let g = t + 10. Solve 3*h - 4 = -g for h.
-4
Let f be (16 + -15)*(6 - -2). Solve 18 = f*l - 2*l for l.
3
Let o(b) = 2*b - 44. Let v be o(27). Solve 8*q - v*q + 4 = 0 for q.
2
Let u(v) = -v + 11. Let d be u(8). Suppose d*n - 9 - 4 = j, n + 3*j = 11. Solve 5*r = 4*r - n for r.
-5
Suppose -105 = 383*n - 390*n. Solve 6*b = -n - 9 for b.
-4
Let l be (-5)/(-2)*(-320)/(-200). Solve -l = m - 0*m for m.
-4
Suppose 4*l = 2*l + 4*t - 12, 4*l - 3*t + 9 = 0. Suppose 4*r + d - 17 = l, 2*d + 2*d - 11 = 3*r. Suppose 0 = -8*x + 9*x - r. Solve 0*j - x = -3*j for j.
1
Suppose -9*g = -2*g + 84. Let p = 16 + g. Solve o + 6 = p*o for o.
2
Suppose -5*l - 455 = -4*i, -3*l = -4*i + 436 + 13. Let t = i + -100. Solve t*k - 5 = 9*k for k.
5
Let f = 533 + -531. Solve -f*c - 30 = 4*c for c.
-5
Let w = -15 - -15. Suppose 0 = 5*u - u - 60. Let p = u + -13. Solve w = a + p*a + 15 for a.
-5
Suppose 0*u + 2*u = 2*z + 98, z = -1. Let x be ((-1)/2)/((-3)/u). Solve -4*q + 4 = -x for q.
3
Let v(c) be the first derivative of -c**3/3 - 3*c**2 + 2*c - 25. Let l be v(-6). Solve l*w + 8 = -0*w for w.
-4
Let d be -1*(-3 + 3)/(-3). Suppose d = -4*c + 16, -q - 4*c + 15 + 4 = 0. Suppose 4*h = -q + 19. Solve -3*a - h = -1 for a.
-1
Suppose 22 = 3*p - 4*n, 3*n + 0 = 6. Suppose 4*u - 4*t + 8 = 0, 0 = u + t + 2 - p. Solve 0 = u*x - 11 - 4 for x.
5
Suppose 9 = 2*b + c, 4*c + 6 - 21 = -b. Solve 4*d + d = b*d for d.
0
Suppose 3*a = -0*a. Suppose 5*u = -a*u. Solve -2*i + 6 + u = 0 for i.
3
Let w be (16/(-11))/(124/(-682)). Solve -w*p + p = -14 for p.
2
Suppose 0 = -2*m - 3*z - 6, -2*m - 4*z = 3*m + 8. Let l be 6/(-4)*(2 - m) + 17. Solve 5*h + 1 + l = 0 for h.
-3
Let k(d) = d - 8. Let n be k(5). Let j be n + (-1 - -5) + -1. Solve 0 = -5*r - j*r + 25 for r.
5
Let t be (4/5)/(13/65). Solve 3*q - t = 2 for q.
2
Suppose 2*z + 5*u = 6*z + 13, 4*u = 20. Solve 0 = -12*s + z*s + 45 for s.
5
Let w = 37 - 34. Let r = 3 - w. Solve r = -f - f for f.
0
Suppose -t = -0*t - 14. Suppose 0 = 3*i - 38 + t. Suppose -8 = 4*v - i*v. Solve 12 = -v*m - m f