*c - 15. Solve n = -t*n + 16 for n.
4
Let v(t) = -2*t - 7. Let d be v(-3). Let u be d + 5 - 0/(-3). Solve u + 5 = 3*g for g.
3
Suppose -v = 4*a - 25 + 2, 4*v - 4*a - 192 = 0. Suppose -v = -5*r - 18. Solve 2*k = 7*k + r for k.
-1
Let f(h) = h**3 - 8*h**2 + 2*h + 47. Let y be f(7). Solve -y*p + 11*p = 1 for p.
-1
Suppose -p = -2*c + 4, 3*p + 2*p - 10 = -5*c. Solve -i + 4*i + i = p for i.
0
Suppose -m - 2 - 2 = -b, 4 = b. Suppose 0 = -5*c + 3*u + 27, -5*c - 86 = -4*u - 112. Solve -5*y + c*y - 3 = m for y.
3
Let t = 32 + -32. Let s(f) = -f**3 - f**2 - 2*f + 3. Let b be s(t). Solve -p = -4*p - b for p.
-1
Suppose 2*z = 5*z - 15. Suppose z*l = l. Suppose 4*q - 8 + l = 0. Solve 5*c = -3 - q for c.
-1
Let w(c) = -2*c**2 - 10*c + 8. Let i be w(-5). Solve -52 + 12 = i*x for x.
-5
Let z(r) = r**3 + 9*r**2 + 6*r - 17. Let a be z(-7). Suppose a = 3*m - 6. Suppose -2*i + 11 = 5*l - 6*l, i = l + 6. Solve 0*t + i*t = -m for t.
-3
Suppose d - 40*s - 29 = -39*s, -2*d - 5*s = -23. Solve 13 = d*k + 61 for k.
-2
Suppose 2*j - 3*g - 17 = 14, 0 = -2*j + 5*g + 37. Solve -15*w = -4*w - j for w.
1
Let a be ((-23)/2)/(-1) - 140/56. Solve -a*i = -17*i - 8 for i.
-1
Suppose y + 5*m - 7 = 0, 0 = -4*y - 4*m - 8 + 52. Let n(i) = -2*i**3 + 2*i**2 + 3*i - 2. Let x be n(2). Let z be (90/(-9))/(x/2). Solve -s + z*s = y for s.
3
Let g = 8 - 8. Let b = g + 6. Let c = -136 + 136. Solve 2*h - b = -c*h for h.
3
Suppose 4*z + 41 = -5*p - 198, -5*z + 2*p - 274 = 0. Let w = -36 - z. Solve -a + 5*a - w = 0 for a.
5
Let x(d) = 23*d + 242. Let z be x(-10). Solve 2*y + 70 = -z*y for y.
-5
Let v be -39*(-7)/(42/4). Suppose -u + 4 = 2*w - 2, 4*w - 5*u - v = 0. Suppose -3*s = 3*x + 6, -w = 3*s + 2. Solve i + x + 1 = 0 for i.
-1
Let n = 716 - 712. Solve -26 = n*p - 22 for p.
-1
Suppose -4*h + 60 = 6*l - 2*l, 4*h = -5*l + 76. Suppose 0 = 2*a - 0*a - 10. Suppose -11 - a = -4*m. Solve -m = -3*p - l for p.
-4
Let n = 0 - 0. Suppose -4*y + k = -15, 48*k = 5*y + 50*k - 22. Solve -2*s + 0 + y = n for s.
2
Suppose 0 = 6*w - 255 + 231. Solve -3*j = w*j for j.
0
Let z = 206 + -194. Solve 26*h + z = 22*h for h.
-3
Suppose 15 = -38*b + 43*b. Solve b*f + 4 = f for f.
-2
Let n be (-12)/(-9) + (-4)/(-6). Let i(x) = 0*x - 8*x + n*x - 2 + 5*x. Let h be i(-4). Solve 1 + h = -s for s.
-3
Suppose -5*w + 2*w = 4*j + 357, w = -3*j - 124. Let g = 117 + w. Solve 0 = -b - b - g for b.
-1
Let o be 4/16 - (-219)/(-12). Let j = -15 - o. Solve j*i + i = -8 for i.
-2
Let r = -1 + 26. Suppose 56*j - 28*j = -82*j + 220. Solve -3*l - j*l = -r for l.
5
Let x(s) = 0*s - 11*s + s - 8*s. Let g be x(-1). Let j = -18 + g. Solve j = 2*l + 2*l + 20 for l.
-5
Let g = 1213 - 1183. Solve -27*n + g*n = 3 for n.
1
Let r be (-4 - -20)/((-1)/1). Let j = -22 - r. Let l be 142/8 + j/8. Solve 0 = -4*c - 3 - l for c.
-5
Suppose -o + 11 = 2*i - 0*o, 3*o - 9 = 0. Suppose -2*z - 13 = -3*z + 2*b, -2*z - 14 = i*b. Solve -2 - 1 = z*r for r.
-1
Let g(n) = n**2 - 5*n - 4. Let w be g(6). Suppose -w*p = 4*p - 36. Let k be ((-12)/15)/(p/(-15)). Solve 0 = t - 0*t + k for t.
-2
Suppose 5*x - 15 = 0, 11*v + 2*x = 9*v + 102. Solve v*f = 49*f - 5 for f.
5
Suppose -6*g = -2*g + 64. Let i = 18 + g. Solve -i*u = -u + 4 for u.
-4
Let w be (-25208)/(-137) - -1*8. Solve 4*i - w = -200 for i.
-2
Suppose 0 = -44*i + 38*i. Solve i*q = -4*q - 8 for q.
-2
Let x(n) = 61*n**2 + n. Let v be x(-1). Let t = v + -54. Solve -b + t = b for b.
3
Let g(w) = w**3 - 6*w**2 - 8*w + 7. Let n be g(7). Suppose -2*k = 5*l - 0*l - 494, n = -4*k - 12. Suppose l = 6*m - m. Solve -6*i = -i - m for i.
4
Suppose -378 = 5*c - 12*c. Let h = c + -54. Solve h = 5*j - 3*j - 8 for j.
4
Let g(l) = -2*l**2 + 7*l + 15. Let t be g(5). Suppose 0 = 2*c + 2*c - 2*z - 20, -5*c + 5*z + 30 = 0. Solve t = -4*u - c for u.
-1
Let c(z) = 7*z - 3. Suppose 0*y + 2*y = 10. Let k = y + -4. Let s be c(k). Solve -s*b = -2*b for b.
0
Suppose 5*w - 3*w = 0. Suppose w = m - 3*m - 18. Let z be 3/m + 26/6. Solve 0 = -z*t + 3*t + 1 for t.
1
Let z = -175 + 180. Solve 8 = z*d - 3*d for d.
4
Let o be (-1 + 6)*(19 - 18). Solve 5*l + 15 = o for l.
-2
Suppose 44 = -3*a + 8. Let l be (-1)/(-3) - (-22)/(-3). Let o = l - a. Solve -1 - 9 = -o*r for r.
2
Let a be 8/10*5/(-2). Let w be (28/21)/(a/(-3)). Solve -w*j + 10 = -7*j for j.
-2
Let k(p) = 5*p**3 + p**2 - p + 1. Let s be k(1). Let b(h) = -h**3 - 24*h**2 - 41*h + 72. Let w be b(-22). Solve -8*u + w*u = -s for u.
3
Suppose -17 = k + x - 21, -3*k - 4*x = -13. Let n(i) = -i**3 + 4*i**2 + 5*i - 5. Let z be n(4). Solve k*u + 2*u - z = 0 for u.
3
Let a(g) = 5*g - 4*g**3 + 3 + 0*g + 5*g**2 + 3*g**3 + 2*g**3. Let y be a(-4). Let z(p) = -p**3 - p - 2. Let t be z(y). Solve t*u = -4*u + 8 for u.
2
Suppose -3089*n = -3091*n + 156. Solve 16*d - 30 = -n for d.
-3
Let t = -116 + 70. Let u = -26 - t. Solve -3*s + u = -8*s for s.
-4
Let t(s) = s**3 - 30*s**2 + 32*s - 79. Let b be t(29). Solve -h = -b*h + 7 for h.
1
Suppose -c + 1 = 5*t - 0*c, 4*t - 1 = -c. Suppose 3*p + 0*p + 3 = t. Let f be (5 + -7)/(-1 + p). Solve f - 5 = -2*u for u.
2
Let x = -6 - -6. Suppose 6 = -w - 2*q, -4*w + 3*w = -2*q - 10. Solve -w*t = -x - 2 for t.
1
Suppose 6*n = 11 + 37. Solve n*i - 18 = -58 for i.
-5
Let o(p) = -7*p**2 + 2*p + 4. Let w be o(2). Let q = w - -45. Solve 2*n + 3*n - q = 0 for n.
5
Let d(x) = -x**3 + 4*x**2 - x - 4. Let n be d(2). Suppose c = 2*c - n. Suppose -2*z + a + c = 0, a + 2*a + 6 = 3*z. Solve z = g + 2*g - 6 for g.
2
Suppose 5*m - 3*f - 80 = 2*f, -m + 10 = -3*f. Solve 0 = 3*g - 31 + m for g.
4
Let y = -7 + -4. Let n = y + 15. Solve -v = -0 - n for v.
4
Suppose -20 = -5*r + 5*n, 3*r + 2*n - 6 = -2*r. Suppose -r*x = 3*l - x - 16, 0 = -l - 5*x + 24. Solve l - 10 = 3*s for s.
-2
Let u(y) = 4*y + 19. Let c be u(-5). Let d(i) = -10*i. Let o be d(c). Solve -o = -4*s + 2 for s.
3
Let q = 115 + -115. Solve q = -7*h + 2*h + 25 for h.
5
Suppose -22 - 3 = -5*n. Let x be 25/10*8/n. Solve -x*l - 2 = 18 for l.
-5
Let p = -3 + 5. Suppose 75 = 5*t - p*t. Let q = -19 + t. Solve -26 = 4*v - q for v.
-5
Let z(s) = 2*s - 13. Let j be z(11). Suppose -5*b = -j*b - 24. Let x be (b/18)/(3/(-27)). Solve -o + 2 = x for o.
-1
Let o = 2 + -2. Let m(z) = 3*z - 6. Let i be m(-2). Let y be (2/3)/(((-2)/i)/1). Solve -y*w - w = o for w.
0
Suppose 5*s - 5 = d - 15, 2*d - 20 = 2*s. Solve -d*h = -12*h - 4*h for h.
0
Suppose 0 = -3*x - 0 + 6. Let w(q) = -2*q**2 + 2*q + q**x - q + 4*q. Let j be w(5). Solve -3*a + j = 12 for a.
-4
Let p be 3/5 + 7/5. Solve -8 = p*m - 2 for m.
-3
Suppose 3*g - 39 = 4*r + 9, -2*g + r + 37 = 0. Solve 6 = 22*d - g*d for d.
3
Let g(q) = q**3 - 13*q**2 - 21*q - 15. Let w be g(15). Suppose w = 7*b - b. Solve -4*o - o = b for o.
-4
Let l(w) = -w**3 - 4*w**2 - 5*w - 15. Let v(h) = 2*h**3 + 3*h**2 + 6*h + 16. Let n(g) = 3*l(g) + 2*v(g). Let z be n(7). Solve -2*o - z = o for o.
-5
Let x(r) = -r**3 - 5*r**2 - 5*r + 3. Let a be x(-3). Suppose 3*b + 3*w - 2*w - 20 = a, -16 = -3*b - 2*w. Suppose -8*z + 6*z + b = 0. Solve 0 = -4*m + z for m.
1
Let g be -6 + 12*-9*(-5)/15. Solve -32*s - 6 = -g*s for s.
-3
Let z = -474 - -477. Let r be (2/(-5))/(1/(-10)). Solve z = -l + r*l for l.
1
Let p(i) = i**3 + 6*i**2 - 6*i + 13. Let a be p(-7). Suppose 3*o - a = 15. Let m be (0 - 0)/(-8 + o). Solve h + 5 = -m*h for h.
-5
Let m = 67 + -60. Let n = 7 - m. Solve n = -p - 5 + 10 for p.
5
Let i = 17 - 7. Let j = i - -8. Let u = 22 - j. Solve -u*v = -v - 12 for v.
4
Suppose 0 = 5*g - g. Let p be ((-37)/(-74))/(1/12 - 0). Suppose 2*u = 4*u - 16. Solve -2*j + p*j + u = g for j.
-2
Suppose -2*u + 2*o + 14 = 0, 0 = -5*u - 2*o + 93 - 30. Solve 10*d - u = -1 for d.
1
Suppose -8*o = -5*o - 6. Let f be (o - (-12)/(-3))*-1. Solve f*g - g + 2 = 0 for g.
-2
Let v(p) = -p**3 + 8*p**2 - 2*p - 4. Let t be v(6). Suppose -t = 3*j - 2*c, j - 3*c + 2*c + 20 = 0. Let y = -16 - j. Solve y*d = -d + 4 for d.
4
Suppose 3*j = 4*l + 21, 4*j + 1 = 4*l + 17. Let a be (-4)/l + (-164)/(-36). Solve a*i = 9*i + 20 for i.
-5
Let c(d) = 6*d**2 + 17*d + 20. Let h(u) = 2*u**2 + 6*u + 7. Let m(g) = 3*c(g) - 8*h(g). Let t be m(-3). Solve -5*z = -t + 33 for z.
-4
Let f(m) = 3*m**2 + 4*m - 2. Let u be f(-2). Suppose -18 = -3*b - 3*t, 0 = 3*b - 2*t - u*t + 3. Solve 4*v + b = 19 for v.
4
Let b be 28/(-21)*9*(-3)/6. Suppose b = 3*z - c - 94, 20 = -5*c. Suppose 6*t - 7*t = 