*m - 12 for z.
0
Let s(p) = p - 8. Let h be s(10). Suppose -h*f + 16 = 2*f. Let l = -351 + 353. Solve l*r + 3*w = -5, f*r + 3*w + 5 = -2*w for r.
5
Let d = -322 - -297. Let i be d/(-8) - (-29)/(-232). Solve i*u - 2*p - 16 = 0, -2*p + 0*p = -5*u + 24 for u.
4
Let j(c) = 2*c**2 + 8*c + 8. Suppose -9*r - 12*r = 21. Let f be j(r). Solve f*o + 1 = -2*n + 5*n, -12 = -n + 3*o for n.
-3
Let v be (1080/(-48) - -25)/((-10)/(-12)). Solve -v*a - 5*i = 4, -2*a - a + 10 = -2*i for a.
2
Let u be (((-2)/(-16))/((-1)/6))/((-206)/2472). Solve 0 = -5*i + 2*o - 1, -3 = u*i + 59*o - 62*o for i.
-1
Let o be -15*(-10 + -1 + 21666/2070). Solve 226*r = 223*r - 5*i + 14, -i - o = -3*r for r.
3
Let b be 3*(-87)/(-36) - (-252)/(-112). Solve -h + 6 = b*n, 4*n + h - 7 = -3 for n.
2
Let g = 59 - 60. Let v be -3*g/9*3. Suppose 0 = -2*n - 6, 0 = -a - a - 3*n - v. Solve 5*y + 2*d + 26 = 0, a*y + 7 = 2*d - 3 for y.
-4
Suppose 0 = 222*q - 1116 + 228. Solve 6*x = q*x + c, c + 3 = -x for x.
-1
Let x(r) = r**3 + r**2 - 37*r + 4. Let l be x(-6). Suppose 5*w + 2*m + 5*m - l = 0, -4*m = -12. Solve 2*y - w*i = 12 + 17, 4*i + 20 = 0 for y.
2
Let d be (-3794)/(-189) + -16 + (-10)/135. Solve -9*f + 6*f = -x + 4, -d*f + 3*x = 7 for f.
-1
Let s(v) = v**3 + 9*v**2 - 27*v - 163. Let o be s(-10). Solve 4*f + o = 3*u, 1 = -5*f + 4*f for u.
1
Let k(v) = -2*v**3 - 16*v**2 + 101*v + 751. Let l be k(-9). Solve -4*y = 5*r + 17, -l - 10 = 3*y + 5*r for y.
-3
Suppose -177 - 318 + 100 = -79*l. Solve 46*o - 51*o + l*d + 20 = 0, 0 = o - 2*d - 3 for o.
5
Let t be ((-1)/1)/(0 - (-3 - -2)). Let y be (0 - 4)/(t/(3*4)). Let s = 60 - y. Solve 3*u - 3*f - 14 = f, s = 5*u - f for u.
2
Let d(m) = -132*m + 400. Let o be d(3). Let i(j) = -j + 7. Let v be i(5). Solve 0 = -o*c - 4*x - 8, v*c - x + 9 = 2*x for c.
-3
Let g(b) = -b**2 - 5*b + 3. Let t be g(-6). Let a be (t/(-3))/3 + (-177)/(-9). Let u = a + -20. Solve -l + 3*l - 10 = 5*z, -5*z + 3*l - 10 = u for z.
-2
Let d = -152 - -162. Let o be (-13 - 584/(-40)) + 4/d. Solve 3 = 3*v + f, -2 = -o*v + 2*f + 3*f for v.
1
Let g be ((-20)/(-50))/(1/(-25)). Let n(a) = -a - 8. Let l be n(g). Solve x - 2*q - 14 = q, q = -x - l for x.
2
Suppose -6 = 31*h - 34*h. Suppose h*c + 3 = -4*l + 7, -3*c = -5*l - 28. Solve 0 = -5*s - w - 13, -w - c = 2*s - 2 for s.
-3
Suppose -269*j = -272*j - 5*x + 26, -5*j = -x - 6. Solve 5*k + j*w = 4, -2 = 6*k - 12*k - w for k.
0
Let y(s) = 4*s**2 - 5*s - 33. Let n be y(-4). Let o = n + -39. Solve 2*p - 16 = -m - 2*m, 4*p + o = 5*m for p.
2
Suppose -3*b + 7*b = -17*b. Suppose b = 3*z - 2*c + 4, -4*c = 2*z - 9 - 15. Solve t - 2*q + 9 = 0, q - z = -t + 4*t for t.
1
Let r(o) = 115*o - 1353. Let f be r(13). Solve u - 4*z = -5, -2*z - 8 = -146*u + f*u for u.
3
Suppose -h + 2 + 12 = 0. Suppose -13*d + h*d - 6 = 0. Solve d - 25 = -3*v + l, 2*v - 6 = -l for v.
5
Let d be (2 + -7 - (-32 - -24))*7. Solve -3 = -t + 4*k, 18*t + 2*k - d = 23*t for t.
-5
Suppose -2*k + q = -3, 11 = 4*q - 1. Suppose 5*v = -k*v + 24. Solve -4 - 6 = -h - 2*j, 18 = 3*h + v*j for h.
2
Let z be 4*63/(-112) - 29/(-4). Solve -z*d - 3 = -7*u + 6*u, 2*d = u - 3 for u.
3
Let i(z) = z**3 + 5*z**2 - 7*z - 6. Let b be i(-6). Solve -3*y + 5*x - 11 = b, -4*y - 11*x = -16*x + 8 for y.
3
Suppose 60 = -67*y + 73*y. Suppose 2*k + q = -4, 7*k = 2*k - 4*q - 16. Solve 2*t - 26 = -5*w, -4*w + 2*t = -k*t - y for w.
4
Let q(m) = -m**3 + 130*m**2 - 131*m + 258. Let g be q(129). Solve 4*k = -10*f + 14*f, g = 4*k + f + 20 for k.
-4
Suppose -3*v = 3*j - 24, 27*v - 25*v + 26 = 5*j. Solve 2 = -4*c + 2*c - s, -1 = c - v*s for c.
-1
Let u be 0 - (4 - (69 + -4)). Suppose -l - 107 = 5*c - 0*c, -l = -3*c - u. Let h be c/49 + 6/14. Solve h = -5*k - 5*d, 4*k = -5*d - 5 + 1 for k.
4
Let v(p) = p**2 - 10*p - 31. Let z be v(13). Let h be (z - -5)*(2 + -1). Solve -2*q - 3*w = 6, -q + 0*q - 4*w = h for q.
3
Let f be ((-129)/15 - -8)/((-6)/20). Solve -z + 5*w + 5 = 0, 0 = -f*z - 0*z + 5*w for z.
-5
Let u(p) = -10*p - 38. Let b be u(-5). Let i be (-1 - -1)*(6/b - 0). Solve 0 = -5*w - 0*w + 4*g - 40, i = -3*w + 2*g - 22 for w.
-4
Let z = -356 + 359. Suppose -23 + z = -4*p. Solve -p*l + 0*h + 4 = h, -l + 5*h = -6 for l.
1
Let i(k) = k**3 - 7*k**2 + 6*k + 26. Let t be i(6). Suppose 14 + t = 8*u. Solve u*r - 3*r - w = -10, -5*w + 29 = -3*r for r.
-3
Let r = -11 - -18. Suppose 5*x - 3 = k, -5*k - 9 - 6 = 5*x. Suppose -r*g = -x*g. Solve -m = -g*f - f + 5, -m - 3 = f for f.
1
Let m be 1 - 27/(-2) - 43/86. Suppose 0*q - 25 = -5*q. Solve -4*z - 5*d + 22 = 0, -5*z - q*d + 11 = -m for z.
3
Let r(h) = h + 7. Let q = 52 + -57. Let o be r(q). Solve 3 = 3*c + 5*v, -5*v + 0 - 2 = -o*c for c.
1
Suppose -38*c + 14 = -35 - 27. Solve a - 5 = c*a - 5*y, -3*y + 3 = 0 for a.
0
Let p be (-12 - -5) + 96/8. Solve -p*o + 18 = 15*x - 13*x, -5*x = -4*o + 21 for o.
4
Let w(n) = 10*n**3 + 400*n**2 - 2*n - 44. Let b be w(-40). Solve b*y - 37*y - c - 3 = 0, 0 = -y + 4*c + 17 for y.
1
Let u(p) = -p**3 - 5*p**2 + 12*p + 46. Let m be u(-6). Suppose 3*q - 2*q = m. Solve -5*h - q = c, 3*c - 3*h = 7*c + 6 for c.
0
Suppose 4*q + 11 - 30 = -i, 2*q = 4*i - 4. Solve -5*b + 7 = -i*y, -45*y = -43*y - 2 for b.
2
Let q(i) = -4*i**2 + 5*i**2 + 18*i - 2 + 47 - 2*i**2 - i**2. Let r be q(11). Let j(t) = t**2 + 2. Let x be j(0). Solve 4 = -x*b - 4*p, -4*p + r - 5 = -b for b.
0
Let n(d) = -d + 5. Suppose 0 = -276*s + 270*s + 18. Let m be n(s). Solve 2*g + 2*g = m*z - 24, -g = 5 for z.
2
Let o(c) = 3*c**2 + 3*c - 4. Let q be o(1). Let g be (8/4)/2 - -1. Let z be (3/g)/((-1)/(-2)). Solve 0 = -q*x - z*p + 1, 0*x - 5*x - 4*p - 1 = 0 for x.
-1
Let c = -239 - -244. Suppose 5 = c*r, 0*s + s - 9 = 4*r. Suppose 0 = 3*o - 7 - 8. Solve -3*m = 3*p - 27, 2*m - s - 17 = -o*p for m.
5
Let t(d) = -3*d**2 + 16*d + 67. Let i be t(8). Solve -11*v + 15*v = -3*a + 3, i*a + v = 12 for a.
5
Let u be (-48)/36 - (760/(-100))/(6/5). Solve -u*y - 15 = 5*r, -y + 0*r - 3 = -3*r for y.
-3
Let c(a) = -4*a**2 - 3*a + 1. Let o be c(0). Let t be (o - -3)*30/24. Solve -2*g + 19 = -g + 5*f, 5 = t*g - 5*f for g.
4
Suppose -2*z - 21 = -3*b, 19*z + 2 = b + 20*z. Solve 4*g + 10 + 11 = 5*o, 0 = 5*o + b*g + 15 for o.
1
Suppose -5*z + 5 = 2*q, -5 = -3*z + 8*z. Suppose -2*u = 7 - 15. Suppose 3*f + u*f - 35 = 0. Solve -q*b = -7 + 2, -3*k - 4*b = f for k.
-3
Let b be -9 - -7*(0 - 1). Let h be ((-10)/(-4))/(665/40 + b). Solve -5*i - 20 = -2*f, -4*i = f + h + 12 for f.
0
Let u(d) = -2*d - 6. Let s be u(-5). Suppose 2*j + 5*i - 22 = 13, 0 = j + i - 10. Let y = 31 + -16. Solve j*l = 4*x - y, -l + 0*l = s*x + 3 for l.
-3
Let d = 21 - 20. Suppose 0 = r + d - 2. Let k(p) = -36*p - 32. Let m be k(-1). Solve -m*b - 4 = g, 5*g - 2 = b - r for g.
0
Let m = 133 + 355. Let r = 489 - m. Solve 2*p - 1 = 2*l + r, -2*l = -p - 1 for l.
2
Let p(d) = -21*d + 16 + 1 - 20*d - d**2 + 2*d**2 + 49*d. Let j be p(-5). Solve 5*f - 3*c - j = -18, f + 4*c = -17 for f.
-5
Let o = -47 - -89. Let m = -72 + o. Let b = m - -34. Solve -q - 12 = -b*u, 6 = -3*u - 0*q - 3*q for u.
2
Let b = -29 - -29. Suppose b = 11*o - 12*o. Let t be -3*(o - (2 + -1)). Solve 2*r + 15 = -5*s, -s = 2*r - 0*s + t for r.
0
Let h be 4/(-22) - 230/(-55). Suppose -h*t - 4*m = -20, -3*t - 2*m + 12 = -0*m. Let v = 1503 + -1501. Solve -z - 3 = 4*g, t*z + g + 6 = v*g for z.
-3
Let z = -1877 + 1881. Solve 0*y = 4*q + y + 13, -12 = -4*q + z*y for q.
-2
Suppose l + 2*y + 11 - 8 = 0, -3*l + y - 2 = 0. Let s be 54/4 - -2 - l/2. Solve n = 2*d - 3*n - 14, 4*n + s = 0 for d.
-1
Let i be (121/(-726))/(1/(-18)). Solve -5*b + 5*r = -15, 0 = 25*b - 23*b - i*r - 7 for b.
2
Let d(f) = -f**2 - 32*f + 2. Let h be d(0). Solve -o = -h*r + 4, o + 4 = -5*r + 2*r for r.
0
Let n = 6412 - 6410. Solve -28 = -4*u - 2*w, n*u = w - 7 + 13 for u.
5
Let s = -7 - -7. Suppose -4 = 1025*w - 1026*w. Solve -4*g + 2*g = -2, w*n + g - 9 = s for n.
2
Suppose 39 - 135 = -16*r. Solve -57*s + 53*s - r = -2*w, 1 = -3*s + 5*w for s.
-2
Let n be ((-120)/(-270))/(12/162). Solve g = 4*v + n*g - 41, -5*g = -2*v - 17 for v.
4
Suppose -45*j - 40*j = -132*j + 235. Solve -5*n + 6 = -3*n + 2*a, -j*n - 4*a = -16 for n.
4
Suppose z + 3*d = -4, -3*z - 4*d = -8 - 0. Suppose -363*w + 84 = -342*w. Solve -5*a - s = w, a + a + 2*s = -z for a.
0
Let l be ((-5)/(-2))/((-2)/(-4)). Suppose 9*x = 9*x + l*x. Solve 5*r = -20, 2*r = -4*y - x*y - 