 for v.
-2
Let n = -87 - -91. Suppose -5*b - 4 = 2*i - n*b, 4*i + 3*b = -12. Solve 5*m + 3 + 7 = i for m.
-2
Let o(l) = l**3 - 5*l**2 + l - 3. Suppose 8 = -14*j + 78. Let y be o(j). Let d be (1 + -1)/(-5 - -3). Solve d*t = -y*t + 6 for t.
3
Let o = 598 - 591. Solve 18*x + 55 = o*x for x.
-5
Let f = -1284 + 1284. Solve -8*p + 22*p + 14 = f for p.
-1
Let y(n) = -21*n - 61. Let w be y(-3). Solve b = w*b - 3 for b.
3
Suppose -3*m = 4*i - 36, 0 = 5*m - 2*i - 127 + 41. Solve -m*l + 14*l = -4 for l.
2
Suppose 2*p + 3*v + 2 = -1, 4*p + 5*v = -3. Let m = p + -3. Suppose 2*r - 2 = -m*r. Solve -2*l = 5 - r for l.
-2
Suppose -4*d - 3*c = -92, -6*d + 4*d - 5*c = -32. Solve 5*v + 11 = d for v.
3
Let d = -165 - -171. Solve q - d = -q for q.
3
Let j be (0 + 0)/(-1)*-1. Suppose -4*d + d = j. Let c be -3 - (15 - d)/(-3). Solve -c*h = -h for h.
0
Let j be -9*(-7)/(-21)*-1. Solve 0 = 5*i + 22 + j for i.
-5
Let x = -13 - -15. Suppose x*t + 0 = -2*h + 12, -2*t = -10. Let r = h + 2. Solve r*l = 9 + 6 for l.
5
Suppose v + 0 = 2*m - 3, 0 = -4*m + 3*v + 3. Let f be -7*m/(-9)*3. Suppose 0 = -f*t + 4*t. Solve 0 = -t*u + 4*u - 12 for u.
3
Suppose -2*b + 0*b = 18. Let c = b - -10. Solve -c + 9 = -2*f for f.
-4
Suppose 0 = 3*w - 0 - 12. Let q(z) = -z + 2. Let d(a) = a - 1. Let x(p) = -4*d(p) - 5*q(p). Let m be x(8). Solve -n - w = -m for n.
-2
Suppose 31 = 2*c - 59. Let n = c - 32. Suppose 27*g - 125 = 2*g. Solve -g*a - n - 2 = 0 for a.
-3
Let w = 217 + -213. Solve -1 = -o - w for o.
-3
Let m(p) = p**2 - 2*p - 1. Let l be 42/(-7)*(0 + 1). Let h be (1*2)/((-4)/l). Let b be m(h). Solve 5*s - 3 = b for s.
1
Let o = -91 + 97. Let y be (o/(-9))/(7/(-42)). Solve 0 = -x - y - 0 for x.
-4
Let f be (-18)/3 + 16 + 2. Solve 4*o = o + f for o.
4
Suppose -3*k = g - 2*g + 8, -4*g + 18 = 2*k. Let x(p) = -3*p + 6. Let r be x(k). Solve -5*c - r = 1 for c.
-2
Let n be (-5 + 6)/((-3)/(-12)). Suppose -q - 3*k - 1 = -2*q, -8 = -3*q + n*k. Solve 3*t - q*t = -1 for t.
1
Let b be ((-21)/9)/(66/36 + -2). Let c(k) = 3*k - 5. Let m be c(7). Suppose -b*q = -m*q + 4. Solve 0 = -q*z + 4 + 6 for z.
5
Let u = 46 + -53. Let m = 15 + u. Solve -3*n - 2 = -m for n.
2
Suppose 3*f = 5*i - 31, -6*f = -i - 4*f + 9. Suppose -4*j + 53 = 3*h, 0*h = -i*h - 2*j + 93. Solve 3*y = -7 + h for y.
4
Let o(b) = -b**3 + 12*b**2 - 30*b + 102. Let n be o(9). Solve -28*m + n = -9 for m.
3
Let u be (-16)/(-104) + 813/39. Suppose 33*k = 26*k + u. Solve 2 = k*s - 13 for s.
5
Let z be ((-2)/(-4) - (-126)/36) + 0. Solve -5*l = -16 - z for l.
4
Suppose -5*a = y - 10 - 41, 0 = -5*a + y + 49. Solve a*s = 62 - 22 for s.
4
Suppose 2*d - 3*d = -4*d. Solve -4*b - 13 - 7 = d for b.
-5
Let j(r) = -4*r - 12. Let q be j(-3). Suppose -2*b - b + 24 = 0. Solve -2*l + 4*l + b = q for l.
-4
Let i = 10 - 3. Let a(c) = 2*c**2 - 6*c - 7. Let z be a(-4). Let h = z + -46. Solve -i*q = -h*q - 20 for q.
5
Suppose 5*f + 3*d - 36 = 0, -f + 0*d = 4*d - 14. Suppose -f*o + 9*o - 9 = 0. Let w be -2 + ((-14)/(-2) - 2). Solve 4*q = o*q + w for q.
3
Let f(q) = 2*q**2 - 10*q - 24. Let s be f(-2). Solve 2*b + 0*b = -s for b.
-2
Let p = -276 - -278. Solve -7*r = -p*r + 5 for r.
-1
Let o(y) = -y**3 + 9*y**2 - 17*y - 2. Let g be o(4). Solve -4*a - a = g for a.
-2
Let o be 55 - -17 - 1*2. Suppose -o = 8*h - h. Let y be ((-6)/h)/(27/90). Solve b = -b - y for b.
-1
Suppose -21 = -46*u + 43*u. Solve -u*y = -3*y for y.
0
Suppose 5*g = g + 64. Suppose 2*w - 14 = -a + 5*w, 4*w = -g. Solve -a*j = -0*j - 10 for j.
5
Suppose -35 = -2*f - 27. Solve -f*n + 0 = -4 for n.
1
Let x = -33 - -48. Solve -3*g = -0*g - x for g.
5
Let v be -4 + 1 + 15/5. Solve v = -0*r + 3*r - 15 for r.
5
Let k(p) = 2*p**2 - 3*p - 1. Let o(l) = -2*l + 21. Let q be o(11). Let d be k(q). Solve 0 = -d*r + 12 for r.
3
Let v be 2/(308/147 - 2). Solve 36*m + v = 29*m for m.
-3
Let h(b) = -b + 16. Let m be h(-4). Let u(f) = -16*f**2 - 1. Let g be u(-1). Let r = m + g. Solve -2*n - 3 - r = 0 for n.
-3
Suppose 5*f - 11 - 9 = 0, b - 4*f + 18 = 0. Let i be -4 - -2 - (2 - b). Let z = 14 - i. Solve 0 = -d + 5*d + z for d.
-5
Let y be 2*(1 + 21/(-15))*-125. Solve y*o - 8 = 102*o for o.
-4
Suppose b - 4*g - 22 = -0*b, -2*g = 4*b - 16. Solve 0 = 3*q - 0 + b for q.
-2
Let b = 6 + 0. Suppose n + n = b. Let x(u) = u**3 + 4*u**2 + 2*u - 2. Let o be x(-3). Solve 0 = -n*q + o + 8 for q.
3
Let p be 4 - ((-5 - 2) + 0). Solve p*j - 3*j = 0 for j.
0
Let p be (60/9)/5*-3. Let r = 5 - p. Suppose 5*s - r*s + 24 = 0. Solve -c = c + s for c.
-3
Let v(t) = t**3 - 16*t**2 + 2. Let w(u) = -31*u**2 - 4*u - 3. Let h be w(5). Let b be h/(-49) + 4/(-14). Let c be v(b). Solve -c*f - 8 = -4*f for f.
4
Let f(c) = -3*c - 34. Let r be f(-16). Let z = r + -10. Solve 0 = -2*y + z*y for y.
0
Let o = -260 - -266. Solve q = 3*q + o for q.
-3
Let q be (75/9)/(-1 - (-16)/12). Solve 0*i - q = 5*i for i.
-5
Suppose 0 = -2*o + 6*o - 40. Suppose 2*t - 2*h - o = 0, -5*h - 11 = t + t. Solve -1 = t*i - 3 for i.
1
Suppose -c + 19 + 12 = 0. Suppose 46 = 3*p + c. Solve -p*m = -9 - 6 for m.
3
Suppose 64*z - 29*z - 490 = 0. Solve z + 6 = 10*r for r.
2
Suppose 159 = 2*h + 155. Solve 11*o - h = 20 for o.
2
Suppose 5*a + 2*l = 5, 0*l + 4*l + 11 = -3*a. Suppose 2*z + a = -0*f - f, -z = 3*f - 11. Suppose 0*n - 3*j = n + 10, -2*n - f = 3*j. Solve -m + n*m = -8 for m.
-2
Suppose -44*j = -46*j + 8. Suppose 0 = 5*v - 2*v - 5*r - 100, r - 20 = -v. Solve v = -j*w - w for w.
-5
Suppose 9 - 24 = -5*m. Let w be 0 - 2/(-1) - -1. Suppose f - 25 = -w*l + 4, 5*f = 5*l - 15. Solve m = -d + l for d.
5
Let g(s) = 2*s**3 + 7*s**2 - 11*s. Let y be g(2). Solve 3 = 21*x - y*x for x.
-3
Suppose 2*s + m = 11, 15 = 5*s + 6*m - m. Suppose 0 = 2*u - s. Suppose 0 = -3*o - 2*o + 10, u*o - 8 = -4*k. Solve k = 3*d + 2*d for d.
0
Let w = 3 - -2. Suppose 2*t = 3*f - 10 - 6, 5*f + t - w = 0. Suppose -2*h + 6*s + 5 = 5*s, -5*h + 5*s + 25 = 0. Solve -f*p - 6 = -h*p for p.
-3
Let t be 4 + (-2*4)/(-2). Suppose -c = -2*f + 4, 3*c = -4 - t. Solve f = 5*k + 21 + 4 for k.
-5
Suppose 4*z + 12 = p, -3*p + z - 15 = -5*p. Suppose -6*k = -p*k. Suppose -6*h + h = k. Solve -4*q + 7*q + 15 = h for q.
-5
Suppose 5*n = -2*v - 58, 4*n = 7*v - 2*v - 53. Let c be 3 - (2/6 - (-28)/n). Solve 5 = -2*m - c for m.
-5
Suppose 4*q + 3 = -3*o, 0 = -4*q + 3*q - 4*o - 4. Suppose 102*s - 90 = 87*s. Suppose 4*p - 14 = -h - h, -15 = -5*h. Solve -s = -p*z - q*z for z.
3
Suppose -1 = -p + 1. Suppose -30 = -t - p*t. Solve 7*u - 2*u - t = 0 for u.
2
Let r be 2*(-3 - (-7)/2). Let f(b) = b**3 + 2*b - 1. Let w be f(r). Let j be (w - 3) + 1 + 0. Solve 2*g = 2 - j for g.
1
Let c = -465 - -474. Solve c = 2*x - 1 for x.
5
Let g be (-15)/(-20)*1*4. Let h be g/2*-2 - -5. Solve h*u = u for u.
0
Let s be (150/20)/((-15)/(-6) + -1). Solve -9 = -s*o - 19 for o.
-2
Let k(o) = -2*o - 6 + 2*o + o. Suppose 5*f = -6 + 51. Let z be k(f). Solve z*i - 9 = -0*i for i.
3
Suppose -b - 37*v + 39*v = -13, 4*b + 5*v - 117 = 0. Solve -b = -4*f - 27 for f.
-1
Let b be 416/42 + 40/420. Solve -b = -58*d + 53*d for d.
2
Suppose -2*c + 4 = -h - 0*h, 5*h = 4*c - 14. Suppose 22 = -3*p + c. Let s = p + 17. Solve 0 = -3*m - 2 - s for m.
-4
Let s = 902 + -898. Solve s = 8*b - 20 for b.
3
Let a = -319 - -327. Solve 3*n + 4 = -a for n.
-4
Let w(r) = r**3 - 6*r**2 + 5*r + 1. Let q be w(5). Let v(a) = 4*a**2 + 1. Let y be v(q). Suppose -y*b + 20 = -0*b. Solve b*c + c = 15 for c.
3
Suppose 0 = 6*x - 6. Suppose -17 = -4*g - x. Solve -k - g*k = -10 for k.
2
Let i(t) = -5*t + 63. Let y be i(8). Solve -14 + y = 3*r for r.
3
Suppose 0 = -7*i + 5*i + 5*h - 8, 4*i = 5*h - 26. Let v be (40/(-60))/(2/i). Solve v*b + 1 = 13 for b.
4
Let b(p) = -39*p - 14*p**2 - 14 + 19*p + 21*p + p**3. Let r be b(14). Solve r*h + 2*h = 0 for h.
0
Let w = 89 + -81. Solve -4*n = -2*n - w for n.
4
Let h(k) = 15*k**2 + 15*k**2 - 2 - 29*k**2. Let n be h(2). Solve 0 = -n*m - 2*m for m.
0
Suppose -3*k + 10 - 4 = -3*m, 3*m = 6. Suppose -k*x - 3 = -15. Solve -x*a + 7 = -5 for a.
4
Suppose -20 = -2*n - 0. Let q be 32/10*n/4. Let d(p) = 3*p**2 + 2*p - 2. Let g be d(1). Solve -5*v = -g*v - q for v.
4
Let w = 147 + -142. Solve 3*r = 2*r + w for r.
5
Let s be (-58)/(-14) - 14/98. Solve -s*z + 8 = -8*z for z.
-2
Let n = -3 - -6. Let q be 30*(4 + (-18)/5). Suppose -3*c - 6 = -5*d - c, -2*d - 4*c = q. Solve -k - n = -d*k 