+ 2*p = -0*p + x for n.
3
Let a = -2665 - -2678. Solve 2*t + 11 + a = 4*m, 2*t + 8 = 0 for m.
4
Let f = 1619 - 1607. Solve -3*s = -f, -s = 55*r - 52*r - 1 for r.
-1
Let a(h) = h**3 - 9*h**2 - 7*h + 153. Let t be a(6). Solve -t*c = 5*v + 20, -16*c - 5*v = -12*c + 20 for c.
0
Let g be (-754)/(-16) + (-1)/8. Suppose 51*l = g*l + 28. Suppose 1 = q - 4, 3*q = -3*y + 15. Solve -z - z + 6 = -2*c, y = c + 4*z - l for c.
-1
Let l(j) = -2*j**3 - 5*j**2 + 16*j - 15. Let n be l(5). Let q = n + 312. Solve -4*y - 20 = 0, 3*t - q*y - 6 = y for t.
-3
Let o be 3420/6*(2/(-3))/(-1). Let j = -376 + o. Solve 6*r - r - j*u = 10, -14 = 2*r + 2*u for r.
-2
Suppose 3*h + 13 = 4. Let w be (-927)/18 + (h/(-6) - 0). Let d = -47 - w. Solve -x - d = -m - 5, 5*m - 30 = -2*x for m.
4
Suppose -42*s + 47*s - 15 = 0. Solve 5*g = 3*l + 14, -8 = -s*g - 2*l + 4*l for g.
4
Let z(f) = -146*f + 2793. Let k be z(19). Solve -q = -20*v + 18*v + 8, 3*v - k = 5*q for q.
-2
Let l(j) = 39*j - 541. Let f be l(14). Solve -3*r = 6*t - 11*t, 40 = -5*t - f*r for t.
-3
Let f be -6 - -7*(-50)/(-35). Solve -3*k = f*x + 18, 16*k - 4*x - 8 = 14*k for k.
-2
Let b be ((-128)/(-768))/((-5)/(-150)). Let h(d) = -d**3 - 6*d**2 + 6*d + 5. Let g be h(-7). Solve 2*s = -b*j + g, -s = -j + 4 - 3 for j.
2
Let g be (0 - 1)*-4 - -1. Let s(r) = -r - 11. Let q(l) = l + 11. Let v(a) = 4*q(a) + 3*s(a). Let t be v(-8). Solve i = -d - g, -5*d = -t*i - 0*i - 15 for d.
0
Let x(i) = 3*i + 40. Let g be x(-11). Let z be ((-8)/3 - -3)*(32 + g). Solve 0 = -2*s + 6*s + q + z, s - 13 = 3*q for s.
-2
Suppose 224 = -8*t + 112. Let g(i) = 9*i + 129. Let s be g(t). Solve 0 = -y + 5*d - s, -4 - 3 = -3*y - d for y.
2
Let v = -384 + 379. Let l(h) = 20*h + 100. Let j be l(v). Solve 0 = -0*d + 3*d + y + 8, j = 5*d - y for d.
-1
Let g be (-11911)/(-19) + (-18)/(-171). Let l = -619 + g. Let f(b) = -b. Let c be f(-2). Solve 3*j + 3 = 3*s, -c*j + 2*s = -6*j + l for j.
1
Let y(x) = -11*x**2 - 239*x - 141. Let n be y(-21). Solve -q = v - 9, -5*v = -30*q + n*q - 5 for v.
4
Suppose 6 = 13*k + 21*k - 96. Solve k*h + h + a = -37, 0 = -2*h - 3*a - 21 for h.
-9
Let l = 499 + -485. Let u(w) = w**2 - 14*w + 2. Let j be u(l). Solve v - 5 = 0, j*v + 0*v = g + 8 for g.
2
Suppose 0 = 14*u - 9*u - 4*l + 62, 2*u = 3*l - 29. Let i(w) = -9*w - 67. Let n be i(u). Solve 2*a = 5*q + n, 0*a = -a + 5*q + 19 for a.
4
Suppose -22 = -81*o + 302. Solve -5 = -2*i - 0*i + 3*j, 2*j = i - o for i.
-2
Let j be 1 + 8 + 96/(-24). Suppose 7*n - j = 16. Solve -2*i - 2 + 0 = -4*o, -n*i - 5*o = 25 for i.
-5
Suppose n + 8*h = 6*h - 5, 0 = 5*n + 5*h. Solve n*q - 3*d + 12 = 0, -3*q - 3*d + 81 = 93 for q.
-3
Let l(m) = 542*m - 15678. Let s be l(29). Solve 3*t + 12 = 0, -5*t - s = -g - 3*g for g.
5
Suppose -4*b - 13*a + 28 = -17*a, 3*a = -6. Let x be (4 - b - 0)/(2/(-22)). Solve -4*i = -3*j - 19, -5*i + 9 + x = 0 for j.
-1
Let h(a) = 3*a + 34. Let w be h(-21). Let n = -20 - w. Suppose 8 = -2*r + 6*r. Solve l + 1 = -d - l, 3*d - n = -r*l for d.
5
Let v(m) = -m - 15. Let k be v(-25). Suppose 3*z + k*z = 52. Solve -l - 4*r - 33 = z*l, -10 = 5*r for l.
-5
Suppose 0 = 132*p - 1129 - 1775. Solve -40 + 10 = -5*h + 4*y, h - 4*y - p = 0 for h.
2
Let n = 8339 - 8334. Solve -n*y - 3*t + 18 = -y, -3*t - 3 = -3*y for y.
3
Let g be 1/7 + 320/(-2240). Let b = 3 - 4. Let w = 1 + b. Solve 9 = -3*x - a, w = -g*a - 4*a for x.
-3
Suppose 239 = 26*l + 31. Suppose 4*s = 3*u, l*u = 9*u + 2*s. Solve 4*z + 0*j + 22 = -2*j, u = 5*z - j + 17 for z.
-4
Let n be 3/(-1)*(28/12 - 4). Suppose -5*x + 4*x = -7. Suppose -x*h + 5*h = -8, -4*j - 4*h = -164. Solve n*w = 4*f, j = 3*w - 0*f + 5*f for w.
4
Suppose 48*z = 33*z + 38*z - 92. Solve 0 = g - 5*d + 12 + 6, z*g = 5*d - 27 for g.
-3
Let s = -8535 + 8538. Solve 3*x + 5*f = 0, -4*x + s*f - 5 = 8*f for x.
-5
Let n(j) = j**3 - 29*j**2 + 33*j - 134. Let u be n(28). Solve -24 = 5*x + 3*y, -3*y = -7*x + 6*x + u for x.
-3
Suppose -64*l = -11*l. Solve 2*z = -4*w, -2*w - 4*z + 3 + 3 = l for w.
-1
Let m = 4 + 11. Let o be (29 - m)*(-1 + (-13)/(-7)). Solve -5*v - 4*c = -9, -o = 3*v - 7*v - 2*c for v.
5
Let u be 2/(-4)*-194 - 0. Let i = u + -94. Solve -5*s = -3*w + 22, 2*s - 4 = -i*w + 4 for s.
-2
Suppose 306*u = 11618 - 1520. Solve -32*d = -u*d, -5 = -y + 4*d for y.
5
Suppose -4*u = -10*u + 18. Suppose 0*h - 15 = -3*h, 0 = u*r + 4*h - 47. Suppose -30 = -r*l + 3*l. Solve s - l*p + 0*p - 26 = 0, 8 = -2*s - 2*p for s.
1
Suppose 5*i = 2*g + 8, -2*g - g + 2*i = -10. Let d(s) = 7*s - 40. Let r be d(g). Solve -5*h + 7 = -4*a, -3*h + a + r = -2*h for h.
-1
Let x be ((-80)/(-60))/((-4)/(-66)). Suppose -25*p + 6 = -x*p. Solve -p*m - 5*o - 7 + 22 = 0, -m + 4*o = -1 for m.
5
Suppose -r - 2*a - 10 = 0, 4*r - a - 119 = -105. Solve -4*m + m + r = 4*y, -4*m + 11 = -3*y for y.
-1
Let p(h) = -25*h - 55. Let f(c) = 8*c - 3. Let o be f(0). Let u be p(o). Solve -3*q = q + 5*m + u, 5*q + 5*m = -20 for q.
0
Suppose -d = 5*q - 5, q = 10*d - 14*d + 96. Suppose -89 = -d*v - 14. Solve -v*a - 10 = -5*j, a + 4*j = -3*a + 40 for a.
5
Suppose 0 = 2*l - 0 - 62. Suppose 173 = 12*u - l. Solve 16 = -4*r, -4*r + 9*r = -3*p - u for p.
1
Let c(m) = -3*m**3 + 2*m**2 - 16*m + 2. Let g be c(3). Let p = -109 - g. Solve 0 = d - 2*f + 2, p = 2*f + f - 9 for d.
4
Suppose 2*v - 42 = -4*s, s = -33*v + 31*v + 18. Solve 3*m - d = s*m - 12, 2*d = 4*m - 18 for m.
3
Let y be -1 - 2 - (84/(-12) + 5 - 6). Solve -y*s = 5*l - 10, s + 0*l = l + 8 for s.
5
Let c(z) = 3*z**3 - 103*z**2 + 36*z - 43. Let g be c(34). Suppose -g*i - 45 = -95. Solve 3*v + 2*m + 15 = 5*m, i*m = -4*v + 10 for v.
0
Suppose 3*u + 5*c - 44 = 0, 2*u - 25 - 6 = -5*c. Let b(q) = -3*q - 1. Let n = 24 + -29. Let k be b(n). Solve -4*r - x = u, 3*r + 2*r - x = -k for r.
-3
Suppose -376 = -26*y - 63*y - 20. Solve -7*r = -5*r, 16 = -y*a - 2*r for a.
-4
Let n(z) = -z**3 + 4*z**2 - 3*z + 3. Let b be n(3). Let y(k) = k**3 - 6*k**2 - 17*k + 13. Let h be y(8). Solve 0 = -b*i - 2 + h, -2*u + 2*i = 0 for u.
1
Suppose 5*s + 10 = 0, -3*q - 3*s + 25 = -170. Let x = -42 - -104. Let b = q - x. Solve -d + 9 = 4*z, b*d - 2 = 3 for z.
2
Suppose 0*t - 20 = 5*t. Let c be -18*t/(-12)*-4. Suppose -4*f - 2*f = -c. Solve -2*n = -5*y + 9, f*y - 12 = 2*y + 5*n for y.
1
Let z be (-20)/9*(-288)/64. Let i(s) = -s**3 + 4*s**2 + 7*s - 6. Let j be i(5). Suppose j*k - z = 6. Solve h + 0 = -a - 4, k*a + 18 = -2*h for h.
1
Suppose -4*z + 13*z = 243. Suppose 324 = -0*f + z*f. Solve -f = 4*c + 2*s, 0*s - s + 2 = 0 for c.
-4
Suppose 20*m - 21*m = 3*l + 1, 2*m - 2 = -2*l. Let d = 5 - 3. Suppose 8*h = 2*h + 30. Solve -18 = -h*n - m*i, d*n - 2*i + 1 + 3 = 0 for n.
2
Let r(c) = -c**2 + 14*c + 36. Let v be r(16). Suppose -18*j = v*g - 20*j - 26, -4*g - 3*j = -1. Solve g*t - 3*o = -31, o + o - 14 = t for t.
-4
Let u be 45/45 - (-3)/1. Solve 5*p - 8 = -3*j, -2*j + u = -2*p + 5*p for j.
-4
Let r(j) = -j**2 + 9*j + 490. Let v be r(-18). Solve -v*g - 2*m - 13 = -5*g, m + 5 = 0 for g.
3
Let y(r) = 367*r - 363. Let b be y(1). Solve 5*k - 45 = -4*x, b*x = 3*k + 3*x - 10 for k.
5
Suppose 4*n - 9*p + 48 = -5*p, 4*n + 4*p + 48 = 0. Let g be (n + 306/27)/(2/(-6)). Solve r - 2*f - 1 = -4, -g*f + 6 = -2*r for r.
-3
Suppose -4*i + 2*s + 252 = 88, -2*i - 2*s + 82 = 0. Let x = 21 - i. Let r be x/130 - (-67)/13. Solve 4*m = 5*d + 3*m - 19, 3*d - 17 = -r*m for d.
4
Let s(p) = -3*p - 5. Let c be s(-11). Suppose 3*y - 26 = c. Suppose y = 3*v - 0*v. Solve -x + v*x + 13 = -4*n, -n - 5 = 3*x for n.
-2
Let z = -218 - -224. Suppose z*s = 24*s. Solve s = 2*f - 3*u - 1 - 6, -4*f + 4*u = -8 for f.
-1
Let n be -3 + 429/21 - 18/42. Suppose 126 = n*c + c. Solve -2*j + 31 = 3*g + 9, 3*j - c = 2*g for g.
4
Suppose 0 = -1711*y + 1721*y. Solve y = k - w - 2, 5*w = -34*k + 32*k + 18 for k.
4
Let v be (30*2/(-54)*3 - -3)*-15. Solve 0 = -3*c + 143*a - 145*a + 9, -v*c = -a + 11 for c.
-1
Let m(p) = p**3 + 86*p**2 + 89*p + 340. Let z be m(-85). Solve 3*h - g + 9 = h, h - 2*g + 9 = z for h.
-3
Let r be 126 - 528/24 - 7. Solve -102*h + 2*d = -r*h - 21, 4*h + 3*d = 3 for h.
3
Let x be (-9)/(-15) - 1827/(-105). Let s be 4 + x/6 + 4. Solve -14 = -3*f + j, 0*f + 4*j + s = -3*f for f.
3
Suppose -7*d + 657 = 482. Solve -p + 15 = -5*q + 2*p, 4*q - d = -5*p for q.
0
Let y(u) = -53*u + 479. Let i be y(9). Solve r = q + 10 - 9, 5*r - i*q = 2 for r.
0
Let x