= u*z for p.
4
Let x(p) = -4*p - 9. Let n be x(-3). Suppose n*z - 44 = 4*g, 0*z + 3*z = -2*g + 68. Let s = -303 + 307. Solve -j + 1 = 4*j - 3*y, 0 = s*j + 4*y - z for j.
2
Let q = 3 - 3. Suppose 13*w = 46*w + 33. Let k be 2 + (q/(-3))/w. Solve -3*b = 3, -k*x + 7*x = b - 9 for x.
-2
Let x be 8/10 - (-32)/(-40). Suppose x = 16*j - 12*j - 16. Solve 2*o = -3*r - 0*o + 16, j*r - 33 = -5*o for r.
2
Let a = -762 - -766. Suppose -4*s = -d + 18, 16 = -2*d + a*d - 3*s. Solve -12 = 2*g + 5*y, g = -4*g - d*y - 9 for g.
-1
Let i be -3 + (-42 + -15)*2/(-6). Solve -48 = -2*n - 5*v, -27*n + 31*n - 4*v = -i for n.
4
Suppose 3*y - n + 0*n = -45, 45 = -3*y - 2*n. Let u be 4/(-10) + (-66)/y. Let h be (2/u)/(2/20). Solve -h*m + 2*m + 2 = l, -5*l + 2*m + 27 = 0 for l.
5
Let z be ((-3)/(-2))/(30/(-680)). Let b = z - -62. Suppose 5*r = r + b. Solve 0 = -k - 3*j - 4, -4*k - 4*j - 16 = -r*j for k.
-4
Let h be (8/(-10))/((-25)/46875*10). Solve h*i = u + 149*i + 5, 4*u + 20 = 5*i for u.
-5
Suppose 36 = f + 4*y, 54 = 2*f - 4*y + 6*y. Suppose -f*v = -28*v + 20. Solve -25 = 5*o, -2*o + o = -5*i - v for i.
-2
Suppose 0 = c + 4*a + 1, -3*c + 12 = -6*c - 3*a. Let q be c*1*1 + -28 + 38. Solve 0*k = -2*k + 2*s - 14, -33 = q*k - 4*s for k.
-5
Let u be (-906)/4530 - (6/(-5) - 1). Solve -7 = 3*w + 12*d - 11*d, u*d = -3*w - 11 for w.
-1
Let s(h) = h**2 - h + 43. Let y be s(0). Let m(w) = -w**2 + 18*w - 34. Let i be m(9). Let j = i - y. Solve 5*u - 4*o = 13, j*u - 2*u + 4*o = -6 for u.
1
Let c = -406 + 258. Let p = -141 - c. Solve -5*y = -2*g + 6, -p*g + 2*g = y + 12 for y.
-2
Let b be 23/((-368)/12) + 35/4. Suppose 3 = 2*h - 9. Let o be 9/h*-2*-1. Solve c = y - c - b, -o*c = -4*y + 22 for y.
4
Let b be (-3 - -4)*(8 + 4). Suppose 38*f - 32*f - b = 0. Solve -3*q = 5*n + 8, -f*n - 4*q + 3*q = 4 for n.
-4
Let a = -13 - -13. Let z be (2 + 1)/(-3) + 4. Suppose -z*o - 7 + 13 = a. Solve -3*r - o = 5*m, 0*r - 3*m = 3*r for r.
1
Let f = 27 + -22. Suppose 3*v - f*r = 64, -6*r + r = -v + 38. Solve q - 11 = -4*l + v, 0 = -4*l + 5*q for l.
5
Let t = -46 - -48. Suppose -15 = -3*k - t*k. Suppose 6*h - k*h = 9. Solve -c + 0*c + h*a - 2 = 0, 5*c = a - 24 for c.
-5
Let w be (-76)/(-6) + (0 - (-2)/(-3)). Suppose k - 25 = -5*h - 0*k, 2*h - 4*k = -w. Solve -3*i + g - 2 = 2, h = g for i.
0
Suppose 0 = d + 9*d - 570. Suppose 3*x + d = 72. Solve -4*r - r = -x*j, -5 = -j - 4*r for j.
1
Let h(z) = -15 + 2*z**2 - 7*z**2 + 4*z**2 - 11*z. Let i be h(-2). Suppose -3*x + 3 = -3*f, 6*x = 5*f + 3*x - 3. Solve -10 = b - f*b - 2*n, n = i*b - 15 for b.
5
Let u = -549 - -552. Suppose -u*f - 9 = -5*f - j, -f - 5*j + 27 = 0. Solve 5*s + 2*w - 2 = 3*s, -5*w = f*s - 8 for s.
-1
Suppose -3*w - 1 + 16 = -3*l, 0 = 2*l - w + 14. Let i be (3/(-2))/(l/12). Suppose -i*v = c, 4*v = -2*c + 7*c. Solve k - 13 = -3*y, -4*y + c*y + 12 = 0 for k.
4
Let t(b) = 10*b**2 + 4*b + 4. Let c be t(2). Let r be (c/(-8))/(3/(-6)). Let p(a) = a - 13. Let h be p(r). Solve 2*s + n - 2 = 0, -3*s + 2*n - 4 = -h*n for s.
0
Let b = -2721 + 2724. Solve -2*y = b*l + 1, -3*y - 1 = 3*l + 2 for l.
1
Let m = -12966 - -12976. Solve 0 = w + 5*g - 3, 9*w + 3 = m*w - 4*g for w.
3
Let d(z) = 2*z**3 - 105*z**2 - 162*z + 20. Let v be d(54). Solve 4*k - 6 = 2*i + 12, 0 = -2*i + 5*k - v for i.
-5
Let f(t) be the first derivative of 6*t + 1/2*t**2 - 7. Let n be f(-2). Solve 3*g - n*r = -2*g - 2, r - 8 = 5*g for g.
-2
Suppose -5*f + 27 = -2*f. Let j = 93166 + -93161. Solve 2*d + r - j = 0, -2*d - r = -7*d + f for d.
2
Suppose -5*z = i - 4, 0 = 3*z + 6*i - 4*i - 8. Suppose z = -11*j + 6*j + 105. Solve 3*g + 10 = -5*f + 8*g, 2*f + 3*g - j = 0 for f.
3
Suppose 28*r = 9*r + 171 - 76. Solve -r*i - x + 22 = 0, -i + 4*x = 3*x - 8 for i.
5
Let z = 29 - 23. Suppose -7*c = 6 - z. Let k be 0/2 - 0*(-1 - c). Solve -2*j - 3*j + 5*t = k, 2*j + t - 9 = 0 for j.
3
Let d be (14/105*-35)/((-3)/((-18)/(-4))). Solve 3*l - 24 - 6 = 5*x, d = x + 2*l for x.
-3
Let n be (-8 + 8)*(2 - (-15)/(-6)). Suppose n = -c - 7*c - 6*c. Solve c = -4*i + 3*w - 18, 4 = i - 5*i - 4*w for i.
-3
Suppose 5*b - 25 = -5*u, -5*u = 33*b - 36*b + 31. Solve 5*n + p = -3, -10*p - b = 3*n - 12*p for n.
-1
Suppose -3*i - 5*w + 314 = -2*i, 0 = 2*i - 5*w - 568. Suppose -i*f + 290*f + 20 = 0. Solve f*y - 5*q = -8 - 12, -5*y + 2*q = 5 for y.
1
Suppose 4*o = 2*o - o + 15. Solve 5*m - 37 = -80*x + 76*x, -5*m - o*x + 40 = 0 for m.
5
Let p = 4 + -1. Let a = 5 - p. Let w(d) = 77*d - 3846. Let r be w(50). Solve -3 = -a*y - t, 0*y - 5*y = -r*t - 1 for y.
1
Suppose -4*r + 27 = -r. Let m = -5 + r. Suppose -2*u + 0 = -1 - 1. Solve -z = o - 0*o - u, 2*z = -4*o + m for z.
0
Let x(o) = o**3 - o**2 + o - 1. Let g be x(2). Let v be ((-5)/(-3))/((-118)/6 - -20). Solve 0*z - f = g*z - v, 0 = z - 5*f - 27 for z.
2
Suppose -o - 2*z + 39 = 2*z, -o + z = -29. Suppose 3*s - 40 = -o. Solve -t + 3*t + s*u = -14, 4*u = -4*t - 20 for t.
-1
Let y = -426 - -771. Let s = y + -342. Solve 2*d = 8, -s*d + 10 + 1 = -m for m.
1
Let x(y) = 15*y**2 + 16*y + 58. Let n be x(-3). Suppose 2*w + 3*s = 2*s + 75, -3*w + 5*s = -n. Solve -16 = -4*g - 2*z - w, 2*g + 20 = -5*z for g.
-5
Let l(s) = -s - 22. Let f be l(-26). Suppose -14*c = -13*c - 2*n, -3*c = f*n. Solve -3*t - 9 = 0, 4*q + 2 = -c*t - 2*t for q.
1
Suppose 6*m - 2*m = -724. Let c = -179 - m. Solve 4*b - 10 = c*u, u + b = -3*b - 5 for u.
-5
Let y be -4 - -12 - (-14 + 4 - -16). Solve 5*h - 30 = -5*g, 3*h + y = 5*g + 20 for h.
6
Let t be (12/(-7))/((-198)/462). Solve -5*s - 14 = -2*s + 5*n, t*s = 2*n + 16 for s.
2
Suppose 0 = 80*x + 158*x - 78*x - 480. Solve -x*b + 5*b = 6*p + 2, -3*b = 5*p - 3 for b.
1
Let k(l) = -6*l**2 - 5*l**2 + l**2 + 21*l - 6*l**2 + 15*l**2 + 27. Let d be k(22). Solve -b + 4*r + d = -10, 5*b + 45 = -4*r for b.
-5
Let x(o) = 40*o - 31*o + 0 + 4 - 46. Suppose -p = 4*p - 25. Let z be x(p). Solve 5*s + 0*s - 5 = z*v, -7 = -4*s + 3*v for s.
-2
Let z(y) be the first derivative of 15*y**2/2 - 3. Let w be z(1). Let q = -3078 - -3080. Solve -a = -4*f + 19, -a = q*f + 4*a - w for f.
5
Let k = 366 - 359. Suppose 15 = z + 2*l, 5*z - 45 = -11*l + k*l. Solve 4*o + z*n = 35, -5*o - 4*n = -2*n - 31 for o.
5
Suppose 61 = 3*n + k, -4*k - 85 = -4*n - 9*k. Let o be (-144)/n*-3*10/12. Solve r + o = 5*w, w - 3*r + 4 = r for w.
4
Suppose 42*s - 14 - 21 = 7. Solve -22*n = -27*n + 4*r - 4, -4*n = r - s for n.
0
Suppose -2*k + 2098 = 4*c, 4*c - 35 + 39 = 0. Suppose -401 + k = 25*y. Solve -5*v - 4*s - 8 = 0, -3*s + y = -5*v - s for v.
-4
Suppose -6*z + 4 = -5*z. Suppose z*w - 5 + 20 = b, -4*w - 10 = -2*b. Let p be 2 + (-8 + 3 - b). Solve 5*k + 3*h = -17, h - p*h - 4 = 0 for k.
-1
Let n = -106 - -114. Let g be -2 + 0 - (0 - 0). Let x be (n/10)/(g/(-5)). Solve -x*t = -2*p, 4*p - 4*t + 5 = t for p.
5
Let a(m) = -14*m + 129. Let i be a(9). Let k = -7 + 9. Let y = k + -2. Solve -n = y, q - i*n - 1 - 4 = 0 for q.
5
Let x = -71 + 94. Suppose -121 = -6*o + x. Solve -4*t = -4*v - o, 5*t - 29 = -0*v + 4*v for v.
-1
Suppose -193*v = -192*v. Solve 5*r = -2*k - 6 + 12, v = 2*r - 4*k + 12 for r.
0
Let i be (3 + (-3 - -2))/(3/6). Suppose -4*m + 134 = i*x - 34, -32 = -x + 4*m. Let u = x - 35. Solve u*b + 0 = -4*l - 17, 16 = -4*b - 4*l for b.
-1
Suppose 55*a - 1624 = 10751. Solve 5*k = -5*b - 25, 5*k + 250 = b + a for b.
0
Let a(o) = 2*o**3 + 4*o**2 + 11*o**2 + 7*o**2 - 15*o + 23 + o**2 - 9*o**2. Let d be a(-8). Solve -5*k = 6*l - 4*l + 26, d = -5*l for k.
-4
Let f be ((-19 - 1)/2)/(4/(-2)). Suppose -v - f*t + 15 + 19 = 0, 0 = t - 5. Suppose 6 = 5*z - v. Solve 1 = 2*i - 5*a, 8*i - z*i - a - 14 = 0 for i.
3
Suppose -2*x = -6*x + 4. Suppose -2*b = -7 + x. Suppose -5*i - 8 = -3*s, 2*i + 30*s = 27*s + 22. Solve 4*a + 27 = a + b*t, -a = i*t - 3 for a.
-5
Let z be 4/14 + (18252/(-42))/2. Let m = -96 - z. Suppose -3*w = o - m, -o = 6*w - 4*w - 80. Solve -5*h + 4*v = -w, 3*v - v = -h - 3 for h.
5
Suppose -7 = -b + 28. Suppose -147 = 1434*f - 1455*f. Let z(d) = -d**2 + 8*d - 7. Let o be z(6). Solve -3*a + 0*y = y + f, 3*y = o*a + b for a.
-4
Let i be -18 - -41 - (-3)/(6/(-16)). Solve -p + 5*z = 5, -4*p + p = -z + i for p.
-5
Let a = 2384 - 2379. Solve 5 = -2*p + 3*v, 5*p + 3*v = a*v + 15 for p.
5
Suppose -88*h + 91*h = 54. Solve -v - z - 15 = -6*v, 2*v + 2*z - h = 0 for v.
4
Suppose 0 = 5*s + 14*s - 95. Suppose -25 = -4*n - s*y, y + 15 