-4*p + 7 + 7 = -m, 2*p = m + n for p.
3
Suppose 4*u - 2 = 3*u. Suppose -20 = -u*i + 5*p - 0*p, 3*p = -12. Solve 2*x - 8 = -m - i, x + 4*m + 3 = 0 for x.
5
Let t be (-2)/6*(-150)/(-20)*-2. Let i be (8/10)/(7*t/175). Solve 5*f - 5 = 5*d, 3*d + f = 7*d + i for d.
-1
Suppose 0 = 4*w + 4*w + 16. Let t be w*1 + (-40)/(-10). Solve -b + 4*b + 4*s = -4, -2 = 5*b + t*s for b.
0
Let z be ((-24)/42)/(-1 - 12/(-14)). Solve 3*m - 31 = -z*c, 0 = 2*m - 3*c + 20 - 18 for m.
5
Suppose 17 = n - 2*c - 19, 3*c - 153 = -3*n. Solve -5*s = 4*r + 15 - n, -r = -4*s + 8 for r.
4
Let k be (-4)/(-5)*40/2. Let l(h) = -h**3 + 3*h**2 + 4*h + 32. Let s be l(5). Solve q = s*z - 8, 2*z + 3*q + 2*q + k = 0 for z.
2
Let h be 0 + 6/((-91)/(-14) - 5). Solve 0 = h*a - j + 12, 2*j = j - 4 for a.
-4
Let n(v) = v - 5. Let c be n(-6). Let r = c - 0. Let j = r - -11. Solve -3*t - 4*f = 2*t - 2, j = 2*f + 4 for t.
2
Let v(n) = -n**2 + 14*n + 18. Let t be v(15). Suppose 0*y = -t*y + 6. Solve 5*a + 15 = 5*s, -y*a + s - 4*s = -19 for a.
2
Let v(c) = 2*c**2 - c**2 - 1 - c + 3. Let f be v(0). Suppose -5*n + 4*t = -4, f = -4*n + 5*t + 7. Solve -2*d = -3*w + 10, n = d - 4*w + 7 + 3 for d.
-2
Let t(o) = -4*o + 159. Let g be t(39). Solve -25 = -g*y - 0*y - 4*c, -4*c = -16 for y.
3
Suppose o + 3*d + 12 = 0, 7*d = 4*o + 3*d - 32. Suppose 3*z + b = -o, -17 = -2*z + 5*b - 2. Solve -5*y + 3*y = 3*k, z = 4*k + 4*y + 4 for k.
2
Suppose 0*h = 3*h + 51. Let l be 13 + h + 15 + 0. Solve 4*r + 16 = -2*v, -l - 12 = 4*v + 5*r for v.
-2
Let b be (-4 + 5)*0/(0 + -5). Solve -4*j + 3*m + 3 = 0, b*m - 3*m - 3 = 5*j for j.
0
Let h(n) = 22*n**2 - n - 2. Let d be h(-1). Let v = 28 - d. Solve -5 = -i + 3*k - v*k, 0 = -5*k for i.
5
Let j be (-5 + 5)/(2 - 0). Let a be 2 + 0 + j/1. Solve c = -4*q + 20, 3*q + a*q = c + 16 for c.
4
Let q(l) = 8*l**2 - 3*l + 4. Let k be q(2). Suppose -3*m + 0 = -k. Suppose 3*y - m = 2. Solve 3*w = -3*h - 15, -w + 5*h = y*w + 25 for w.
-5
Suppose 4*p = 4*x - 12, p = -4*x - 2*p + 12. Solve -5*l = x*t - 23, 0 = -t + 3*t - 2 for l.
4
Let s be (-52)/(-14) - (-2)/7. Suppose -s*g - 159 = 5*k, -3*k + 3*g = 109 + 8. Let x = k - -37. Solve 5 = x*i - 4*i + 5*u, -u + 9 = -2*i for i.
-5
Suppose d - 20 = -2*c, -4*c - 3*d = -3*c - 15. Suppose 0 = -0*s - 3*s + c. Suppose -74 = -22*g - 15*g. Solve 6*t - y = g*t, s*t + 5*y = 23 for t.
1
Let y be 2800/500 + 3/(-5). Solve -4*g + 8*g + 8 = -f, 0 = 5*f + y*g + 25 for f.
-4
Let b be (-9)/(-1)*(42/7 + -5). Solve -2 + b = i + 4*c, 5*i + 15 = 5*c for i.
-1
Let x be ((-3)/3)/(4/(-8)). Solve -x*w - y - 8 = -3*y, 0 = -2*w - y - 8 for w.
-4
Let w be ((-20)/(-2) + 2)*(-5)/(-15). Solve -w*q = s + 9, 0*q + 5*s + 23 = 2*q for q.
-1
Suppose 0 = -6*j + 10*j - 12. Suppose -j*i + 7 = -11. Solve -4*r - 2*x + i*x = 28, 0 = -5*r - 5*x + 5 for r.
-3
Let s = 202 + -199. Solve -s*z - 15 + 6 = 0, 0 = 4*x + 4*z + 16 for x.
-1
Let o = 62 - 48. Suppose -a = 4*a - 5*z + 5, -o = -a - 4*z. Solve -4*l - 18 = -a*r, 4*r = 3*l - 2*l + 8 for r.
1
Suppose -12*a = a - 26. Solve a*t - 10 = 0, -5*d = -2*t + t + 5 for d.
0
Let z be (-11 + 11)*(1/(-2))/1. Solve -4*w + x = -z*x + 15, 0 = -2*w + 5*x - 21 for w.
-3
Suppose a + 4*y - 2*y = 14, -y + 25 = 5*a. Solve -a*z + j = 11, 0*z + 4*j = -z - 7 for z.
-3
Suppose 60*t + 6 = 63*t. Suppose -3*v + 34 = -101. Suppose 2*b + 4*n + v = 7*b, -5*b + 5 = 4*n. Solve -b*s + 2*z = -4, -4*z + 4 = -2*s - t*s for s.
2
Let t be (13 - (-1540)/(-112)) + (-11)/(-4). Solve -5*d + 19 = -6*c + 5*c, d = -t*c - 5 for c.
-4
Let l(p) = -p**3 + 3*p**2 - 3*p + 5. Let x be l(2). Suppose 8 = 5*k - 2*c, -x*k + 4*c = -6*k + 10. Solve -5*f - 30 = k*w, 0 = -4*f - 12 - 4 for w.
-5
Suppose 0 = -35*o + 190 - 50. Solve 5*w - 4 = o*m, -5*w + 0*m + 2 = -2*m for w.
0
Let t = -772 - -774. Solve -3*w + t*w = -n + 5, 2*n = 8 for w.
-1
Suppose -2*z - z + 3 = 0, 0 = -3*o + 4*z - 28. Let b be ((-2)/o)/(2/32). Solve -1 = -2*v + 3*u - 3, 0 = -4*v + b*u + 4 for v.
5
Let z be ((-2)/3 - -4)/((-4)/(-6)). Let p = 11 - 7. Suppose x = u - 4*u + z, 5*x = p*u + 25. Solve -w - c - 4 = u, 0*w - 3*c - 18 = -3*w for w.
1
Let n(w) = -8*w + w**2 + 0*w**2 + 146 - 139. Let g be n(7). Suppose 2*r = 0, g*r - 5*r = -2*b. Solve -3*c + 5*s + 37 = b, -s = -2*c - 6*s - 17 for c.
4
Let b = -10 + 5. Let m be (1 - 0)/((-1)/b). Suppose 3*k - 3*w - 10 = m, w = -2. Solve 0 = -a - 5*g + 12, -g - k = 5*a + 3*g for a.
-3
Let p(b) = 3*b**2 - b - 1. Let l(x) = 2*x + 3. Let y be l(-2). Let r be p(y). Solve -2*g = r*f - 1, -2*f + g - 6 = 5 for f.
-3
Let v = -1081 + 1083. Solve -3*x = 15, 5*p - v*x - 50 = 3*x for p.
5
Suppose 3*n + 28 = 34. Solve -4*g - 16 = 0, -12 = -2*b - n*b + 2*g for b.
1
Let p = -30 + 47. Suppose p + 8 = 5*r. Let z = 7 + -5. Solve z = -t + 2*x, t - r*x = 3*t - 23 for t.
4
Suppose -11*o = -31 - 2. Solve 4*j - 16 = 5*y, -5*j - y - o*y - 21 = 0 for j.
-1
Suppose 2*k - 57 = -9. Let b be ((-3)/2)/((-12)/k). Solve 5*q = -b*t, 3*q - 2*t + 19 = -0*t for q.
-3
Suppose 7*y - 14 = -0*y. Solve v - y*h + 12 = 5*v, 5*v + 3*h = 13 for v.
5
Let z = 280 + -260. Solve -m + 5*t + 3 = 0, 5*m - 2*t + 5 = z for m.
3
Suppose -9*h + 10*h + 1 = -x, -4*x = 5*h + 5. Solve 3*d + y - 2 - 2 = 0, 3*y + 6 = x for d.
2
Let q be (-1 + 4)/(6/4). Let h(k) = 2*k + 3. Let b be h(7). Suppose 0 = 2*r - 2, 3*n + r + b = 5*n. Solve -q*u = -3*d + n, 5*u - 8*d + 5 = -4*d for u.
3
Suppose -2*f - 5*g + 12 = 0, 2*f - f = 2*g - 3. Solve 3*a = 5*w - f - 4, -a = 4*w - 4 for w.
1
Let u(q) = -q**2 + 1. Suppose c = -3*c + 3*a - 11, c + 4 = a. Let y be u(c). Solve -i + y = 2*n + 3, 4 = -2*n - 2*i for n.
-1
Let u be (-5 - (-98)/21)/((-4)/60). Solve -u*k + q + 2 = 0, -3*q - 10 = 5*k - 4 for k.
0
Suppose -4*y + z = 6*z - 22, -4*y = -z - 10. Suppose 316 = 10*g - 94. Suppose 0 = 2*w - f - 26, g + 0 = y*w - 2*f. Solve -5*q + w = u, 5*u + 3 - 8 = 0 for q.
2
Let n be ((-324)/45 + 7)*(0 + -25). Solve -5*v + 3*h + 13 = 0, -4*h = -v + n + 1 for v.
2
Let k be (-39482)/247 - 2/13. Let f be 3/(8/(k/(-15))). Solve f*y = -4*d + d - 6, -4*y - 18 = -3*d for d.
2
Let p be 1/3 + 86/(-6). Let a = -12 - p. Let d be (0 + 14)/(21 - 19). Solve -d = -u - 2*c, 3*u + 4*c - 15 + a = 0 for u.
-1
Suppose 0 = -15*q + 24 + 51. Let i(j) = j**3 - 18*j**2 + 18*j - 4. Let k be i(17). Solve -q*z - 15 = -h, -4*z - k = -0*h - h for z.
-2
Suppose 5*k + 104*b - 5 = 102*b, 32 = 4*k - 4*b. Solve -5*i - 3*u - 5 = 0, -3 = k*i + u - 0 for i.
-1
Let i(s) = -4*s - 1. Let x be i(1). Let h = 9 + x. Suppose -y - h = -5*y. Solve 2*b + 3*u = -8, u - 3 = -3*b - y for b.
2
Let v(g) = g + 8. Let u be v(0). Let s be u + 3 + (-3 - -4). Solve 3*h + d + s = 0, -2*h - 8 = -0*d - 2*d for h.
-4
Let o be 17/5 - (1 + (-9)/15). Solve u + 4 = -3*k + 7, -3*u - 15 = -o*k for k.
2
Let v = -816 - -817. Solve 0 = 3*j + 15, -4*o + j + v = -3*o for o.
-4
Let z(g) = -14*g - 123. Let n be z(-9). Solve t - 15 = -4*t, -n = 4*y - t for y.
0
Let n(u) = -2*u**2 - 7*u - 5. Let d be n(-2). Solve x = 4, -3*h + 2*x - 7 = d for h.
0
Let w be (216/20)/(1/(-5)). Let i = w + 57. Solve -a = -i*a + 2*r + 2, 4 = 2*a - 4*r for a.
0
Let z = 26 + -24. Let n be (4 - 0/4)/z. Solve -3*i - 5*p = 20, 0*i + 5*i + n*p + 27 = 0 for i.
-5
Let o = -2 - -4. Let u be 8/8*(-1 + o). Solve 0 = r + 3*i - u, 0 = -3*r - i - 5 for r.
-2
Let m(i) = 3*i - 1. Let o be m(2). Suppose -163 + 8 = -o*w. Suppose 0 = 6*l - 2*l - 20, 3*l - w = -4*d. Solve 2*c = 3*h + d, 3*c + 2*h - 6 = 5*h for c.
2
Let v = -40 + 46. Suppose -y - 20 = -v*y. Solve -a + y*w = 12, 2*a + 3*w - 19 = 1 for a.
4
Suppose -21 = -z + b + 4*b, 3*z = -2*b - 5. Solve 2*j + j = -5*q + z, 3*q - 1 = -2*j for j.
2
Let b = 199 - 197. Solve 3*p + 9 - b = -4*a, 3*a = 3*p - 21 for a.
-4
Let n(h) = -8*h - 10. Let s be n(-10). Suppose 0 = -4*i - i + s. Let m = i + -12. Solve 9 = b - 3*y, -m*y - 2 = 6 for b.
-3
Let h(l) = -4*l - 42. Let q be h(-11). Solve 4*b - 2*w - 18 = 0, 5*b + 4*w - 9 = q*w for b.
3
Let d = -10 - -11. Solve 5*k = -3*q + d, -k - 7 = -3*q - 0 for q.
2
Suppose -2*q - p = 47, -6 - 30 = q - 2*p. Let m = 30 + q. Solve -35 = m*o - 3*v, o - v + 30 = 4*v for o.
-5
Let l(u) = u**3 - 5*u**2 + 4*u + 2. Let w be l(4). Let q(j) = j**2 - 70*j + 72. Let z be q(1). Solve -z*r - 2 - w = y, -2*r - 2 = y for y.
2
Let j = 5 + -5. Let a be -12 + (4 - 2) + j. Let o = a - -13. Solve 0 = -o*r + 15, 0 = 2*z + z - 3*r + 15 for z.
0
Suppos