u for p.
2
Suppose 0 = -v + 8 + 4. Solve 4*w = -3*y + 1 + 8, -v = -4*y + 4*w for y.
3
Suppose 3*n - 140 = -2*n. Let q be -2 - (n/(-2))/2. Solve -j - 2 = -4*c, 2*j - q*c + 4 = -10*c for j.
-2
Suppose 0 = -4*g - 16, -4*g = -2*r - 2 + 22. Solve 0 = 3*o, 0 = -r*m - m + 4*o + 6 for m.
2
Let a = -4 + 6. Let t = 9 - a. Solve 0 = -4*c - 5*b - 14, 0*c + 3*c + 2*b = -t for c.
-1
Suppose -34 = 5*h - 9. Let a be h/(-3) + (-1)/(-3). Let g = -25 + 35. Solve -2*v - a = 4*j, 5*j = j + 2*v + g for j.
1
Let d be ((-4)/(-6))/(2/12). Suppose 0 = 3*h - d - 8. Solve -4*f + o + 15 = f, h*f - 28 = 4*o for f.
2
Let d(p) = -3*p - 4. Let j be d(-3). Solve 8 = -a + 2*n, -j*a - n + 20 = 4*n for a.
0
Let q(h) = h**3 + 3*h**2 - 8*h - 10. Let x be q(-4). Solve 0*o + o + 4*j + 4 = 0, -o - 5*j - x = 0 for o.
4
Suppose 4 = -4*h + 20. Solve 5*t = -3*m - 37, -5*t = -h*m + 9 - 0 for m.
-4
Let l = 2 - 5. Let y be (l*6)/(6/(-3)). Solve -y + 29 = -5*b - 5*x, -b + 3*x + 4 = 0 for b.
-2
Suppose 0 = 2*t - 8 - 4. Let o be (-1 - 1)*(-9)/6. Solve 0 = -5*n + 5*i - 4 - 6, -t = -o*i for n.
0
Let v(x) = 4*x - 2 - 5*x - x - 3. Let g be v(-5). Solve g*k = 5*a - 25, -12 - 8 = -5*a for k.
-1
Suppose 3*c - 4 = 3*s + 8*c, -7 = 3*s + 2*c. Let x = s + 2. Let k be (-2 - x) + (6 - 1). Solve 5*n = -2*l - 2, -l + 0 - 1 = k*n for n.
0
Suppose 0 = 3*l + l. Suppose 2*i - 5 = -g, -i + 30 = -5*g - l*g. Solve 0 = -p - 4*q + i, -4*p + 0*q = -5*q - 20 for p.
5
Let v = -28 - -30. Solve 2*y - 12 = 4*h, v*y + 2*h = h - 8 for y.
-2
Let p = -6 + 10. Suppose x - p*b = -4, -2*b = -4*x + 2*b + 8. Solve 5*k + x = -u - 11, 4*u - 2*k = -16 for u.
-5
Suppose 3*b - 4 - 17 = 0. Let z = 10 - b. Suppose 5*w - z*u = -4*u + 16, 4*w - 4 = -3*u. Solve -d - 3 = -w*p, 0 = 5*d - p - 12 - 11 for d.
5
Let r be (5/3)/(1/(-3)). Suppose -4*f - 3*g + 23 = 0, 5*f + 2*g + 0 = 27. Let l = r + f. Solve -y + 2 = l, 4*o = 5*y - 12 - 14 for o.
-4
Let d = -14 + 16. Let q(o) = 2*o**2 - 4*o + 3. Let s be q(d). Solve 0*h = -h + u - 1, -s*h - 19 = u for h.
-5
Let l be (-2)/8 + 34/8. Let k(a) = 2*a + 8. Let s be k(-6). Let f be s/18 + 20/9. Solve -2*t = -f, 2*c + 0*c = -l*t + 6 for c.
1
Let m(w) = -w**3 + w**2 + 3. Let f be m(0). Let d be ((-12)/(-18))/((-1)/(-3)). Let b be d + -2 + 4 + 2. Solve -4*v + 18 = b, 0 = -f*n - 5*v + 24 for n.
3
Suppose -3*c + 0*b + 33 = -5*b, 0 = 4*c + 3*b - 15. Let m be 39 + 3/(c/4). Solve 4*k - m = -5*v, 14 = 4*k + 2*v - 12 for k.
4
Let f be (-35)/10 + 6/4 + 6. Solve 2*u + f*r = -2, 5 = -5*u - 2*r - 2*r for u.
-1
Let j be ((-15)/5)/(-1) - 0. Let u be (-6)/(-21) - 37/7. Let o be 2*1/u*-5. Solve -3*t + 0*k + o*k = 13, -j*k = -4*t - 19 for t.
-1
Suppose 3*x - 4 - 8 = 0. Let w be (-30)/x*(-4)/6. Solve -15 = 5*z + j, z + 9 = -2*z + w*j for z.
-3
Let o = 30 + -4. Solve -m + 14 = -4*z, -5*m = -0*z + 4*z + o for m.
-2
Suppose 0 = -y - y + 12. Let w(x) = x**2 - 2*x. Let v be w(4). Let f = v - y. Solve -i - f*i + r + 20 = 0, -3*i - 3*r = 0 for i.
5
Let g be 2*(-1)/3*-3. Let p be (-2 - (-1 - -1)) + g. Solve 2*i = 2*d - 6, 4*i + p*i = -5*d - 21 for d.
-1
Let o be -1 + 16 + -6 + 4. Suppose -5*c + 2*y + 56 = 0, 0 = -2*c + 5*c + 4*y - 18. Let z = c - 6. Solve 5*g + 0*k - o = -z*k, 3*k + 9 = 0 for g.
5
Suppose -75 = -6*a - 9*a. Solve 4*z - 3*p + 4 = 0, z = 4*z + a*p + 32 for z.
-4
Suppose -1 = 2*y - 7. Solve -y*u - 20 = 4*a, -4*u - 22 = -a + 4*a for a.
-2
Let v(x) = 5 + 2*x - 3 - x - x**2. Let y be v(0). Let q be 0/(-2 - (1 - y)). Solve q*g - 3*z + 9 = -4*g, 4*z + 7 = -g for g.
-3
Let c = 3 - 0. Suppose 9 = 2*t + c. Suppose v - t*d - 9 = -v, -2*v + d + 7 = 0. Solve f + 10 = -x, 2*x + 8*f + 35 = v*f for x.
-5
Suppose -130 = 5*q - 5*c, -2*q + 4*c - 44 = -0*c. Let w be (-36)/q*20/3. Solve 4*t - 12 = 3*v, t + 4*v + w + 8 = 0 for t.
0
Let r(n) = -n**2 - n + 2. Let v be r(1). Suppose 0 = -0*a + 3*a - 66. Let c be a/5 + (-4)/10. Solve -g + f + 6 = v, 6 = -3*g - c*f + 17 for g.
5
Let v be 2/(-2 - 0) - -11. Solve -6 = a - 2*p, -3*a - 5*p = -8*a - v for a.
2
Suppose 17 = 5*f - 3. Let d(u) = 2*u. Let g be d(f). Suppose -2 = -3*s + 1, 2*p + 2*s - g = 0. Solve 3*w + y = -2*y + 3, -p*y = 4*w - 5 for w.
2
Let q be (36/(-24))/(6/(-64)). Suppose -3*a = j - 8, -4*a + j = a - q. Solve -6 = s + 3*r, a*r + r + 8 = s for s.
0
Suppose 1 = 4*l - 3. Let m be 8/6*9/(-6). Let o = l - m. Solve o*q - 3*w - 15 = 2*q, -q - 5*w = 25 for q.
0
Suppose -2 = -2*r + 16. Suppose -20 = 4*f - r*f. Suppose -3*d = 2*d - f*p - 3, 12 = 2*d + 2*p. Solve 3*j + d*z = -18, 4*j + 5*z = 2*j - 15 for j.
-5
Suppose -t + 3*f + 4 = -1, -f = 2*t + 18. Let m = t - -13. Let a be m/4*(5 - 3). Solve -3*g + 21 = a*u, 0*u - 2*u = -2*g - 2 for u.
4
Suppose -5*b + 56 - 36 = 0. Solve -4*h - 4*c = 4, b*h - 2*c + 0*c = 20 for h.
3
Suppose 45 = 4*a - 9*a. Let o = a + 11. Solve 13 - 5 = -2*c + h, 0 = -3*c - o*h - 12 for c.
-4
Suppose -5*z = -164 - 11. Suppose 5*i - 28 = 2*d, 0 = -4*i + 3*d - 7 + z. Solve -3*u + 0*u - i = -2*n, -4 = 4*u - 3*n for u.
-4
Suppose -d - 4 = -6. Solve 2*j - 9 = -r - 2, d*j - 12 = -2*r for j.
1
Let z(j) = j**3 + 5*j**2 - 8*j - 7. Let m be z(-6). Solve m*g = -0*g - 2*p - 10, -5 = 2*g + p for g.
0
Suppose -26*a = -29*a + 15. Solve -2*j - 2 = -3*l - 0*l, 0 = a*j - 5*l + 5 for j.
-1
Let u(d) = 2*d**3 - 3*d**2. Suppose s + 15 = 4*m, 2*m + s = 2*s + 5. Let n = m - 3. Let x be u(n). Solve 8 + 0 = 2*b, 8 = -x*p + 3*b for p.
1
Let s = -5 + 7. Suppose 3*y = -s*y + 5. Solve -y = 3*i + 4*q, -i + q = 4*q + 2 for i.
1
Let g(d) = -2*d**2 - 4*d - 4. Let i be g(-3). Let q be 12*(2 + i/6). Solve 0 = 4*y + 4*o + 10 + 14, 3*y - q*o - 3 = 0 for y.
-3
Let o be (-2)/(-3)*(6 - 3). Suppose 6 = -o*w + 30. Solve -h + 4 = -3*d, 3*d + w = -7*h + 4*h for d.
-2
Let g be (-2)/((-2)/5 + 0). Let a be (4 - -1) + -12 + 13. Solve 4*u + 2*l - a = 0, u - g*u + 21 = 5*l for u.
-1
Let l = 47 - 43. Solve -5*a = -15, l*a - 18 = 2*w - 4*w for w.
3
Let w(m) = -m. Let x be w(2). Let b = 1 - x. Let a = 25 + -18. Solve -4 = -2*v, -b*t - a = 2*v - v for t.
-3
Let y(s) = s**3 + 7*s**2 - 11*s - 12. Let z be y(-8). Let n be -1*-2*2*1. Suppose n*u - u - z = 0. Solve -f + 5*f + 2*x = -6, -u*f = -4*x - 12 for f.
0
Let v be 2/((-2)/(-5))*1. Suppose 3*l = 10 + v. Solve -16 - l = -3*n - 2*s, -2*s - 14 = -4*n for n.
5
Suppose -8 + 4 = -2*c. Solve 0 = -5*v - 10, -2*d + c*v = -2*v - 10 for d.
1
Suppose -r = -2*r + 4. Solve -2*j + 4*u + 20 = -r*j, -5*u = 4*j + 28 for j.
-2
Let j = 126 + -119. Solve -r + 4 = -3*g - 1, -3*r + 5*g = -j for r.
-1
Let r be 28 + (-4)/2 + -2. Suppose 0 = f - 4*b + 3 + r, -5*f + 4*b = 55. Let c = 12 + f. Solve -4*h = -c*l - 19, -h - l = h + 1 for h.
1
Suppose -s - 4*h + 17 = 2*s, 0 = -3*s - 2*h + 13. Solve 6 = z - 3*c + 6*c, -s*z = -2*c + 4 for z.
0
Suppose 0*m + 30 = 6*m. Solve -5*l = -m*v + 15, 2*l = -1 - 5 for v.
0
Suppose 5*c - 26 - 4 = -5*x, -4*x = 3*c - 21. Solve -1 = 2*a + 3*l - x, 5*a + 18 = 4*l for a.
-2
Let r(o) = o**3 - 5*o**2 - 8*o + 4. Let v be r(6). Let m = -5 - v. Solve -m*y + 16 = f - 5*f, 0 = -4*f + 4*y - 20 for f.
-1
Suppose 3*h - j - 54 = 0, -4*h + 0*h + 3*j + 67 = 0. Let n = -115 - -118. Solve -w + n*b = -b + h, 5*w = 5*b - 20 for w.
1
Suppose 10 - 25 = -5*g. Suppose 38 = 5*y - 22. Let x be (1 - 9/y)*12. Solve 0 = p - o + g - 0, -2*p + x = o for p.
0
Let w(u) = u + 7. Let o be w(-4). Suppose o*r + 3 = -3, -76 = a - 3*r. Let d be a/(-8) + 2/(-8). Solve -2*k - 11 = -5, j + d = -4*k for j.
2
Let g be (2/(-5))/((-6)/15). Suppose 0*t = 4*t. Suppose -7 = -x + 5*n, -5*x + 2*n + 3*n + 15 = t. Solve -13 = 5*y + x*s, -3*s = y - s + g for y.
-3
Let x be 6/2*(1 + 0). Let m be (2/x)/((-14)/(-105)). Solve -3*l + 0 = f + 1, -21 = -l + m*f for l.
1
Let z = 11 + -9. Solve 3*u - 4 = g, -2*u - 4 = -3*g - z for g.
2
Suppose 0 = -5*p + 2 + 13. Solve -8 = -p*q - t, 0*t - 2 = -t for q.
2
Let a be (1 - (-1 - -2))/(-2). Let q be (1*-4)/(a - 1). Suppose 0 = y + y - 4*v, 0 = 5*v - 10. Solve 4*p + q = -y, -p - 2 = 2*x for x.
0
Let x(n) = -2*n. Let o be x(-3). Let q be 18/o + 2 + -3. Solve q*c = l + 1, -c = 4*l - 0*c - 5 for l.
1
Suppose 0 - 12 = -i. Let p(q) = -q**3 + 8*q**2 + q + 4. Let u be p(8). Suppose 2*c - u = -c. Solve i = -c*b + b, -4*b - 13 = 3*d for d.
1
Let k(h) = -3*h**3 + 5*h**2 - 4*h - 3. Let x be k(6). Let w be x/30*(-4)/6. Solve -l + t - w = 2*l, -3*t = 3 for l.
-4
Suppose 12 = 5*z - 13. Solve 3*k = -3*h