1, 4*p = 4*c + 8. Solve -5*a - 3*g + 11 - p = 0, -4*a + 3*g + 21 = 0 for a.
3
Let p = -7 + 11. Let w be -4*(16/(-24))/(16/30). Suppose 9*v - w = p*v. Solve 3*u = 5*o + 8, o - v - 2 = -4*u for u.
1
Let t = -1 + 3. Suppose p + t = l, 12 = -2*p + p + 3*l. Suppose 0*x = -p*x + 18. Solve 3*m = x*m + 3*z - 9, 5*m - 12 = -4*z for m.
0
Let z be (-2)/(4*-1)*12. Suppose -z*y = -2*y - 8. Suppose r - 8 = 4*k, -4*r - 5*k + 627 - 637 = 0. Solve y = u + 3*u + 2*q, r = -2*u + 4*q + 6 for u.
1
Suppose 0 = 13*v - 18*v + 5. Let s be 14 + -14 - -2*v. Solve -2*o = -z - 0*o, -4*z = s*o for z.
0
Let c = -451 + 451. Let b be ((-8)/10)/(2/(-5)). Solve -2 = -2*q, c = -u - u + 2*q - b for u.
0
Suppose -4*l + l + 15 = 0. Let c be (-4)/3*(8 - l). Let g(d) = -d - 2. Let j be g(c). Solve 0 = 4*u - t - 28 + 3, 0 = -j*u + 2*t + 20 for u.
5
Let g = -322 - -325. Solve g = -2*i - p, 4*i - 3*p + 5 = -16 for i.
-3
Let k(c) = -c**3 - 9*c**2 - 15*c - 3. Let w be k(-7). Suppose 5*s - 4*z = 94, w*s = 5*s - z - 19. Solve -s = 5*g + 2*v, 2 = -5*v - 18 for g.
-2
Suppose -7*j + 5*w + 25 = -2*j, 3*w + 23 = 5*j. Solve 0 = r + 4, -4*r + 7*r + 32 = j*y for y.
5
Let t = 2 - 2. Suppose t = f - s + 6*s - 12, 4*f + s - 105 = 0. Suppose f = 5*h + 3*i, 5*h + 3*i = -i + 26. Solve 4*j - 5*c - h = -46, -c = -4 for j.
-5
Suppose g + 1 = 2*z - 0*z, 2*z = -5*g + 31. Suppose -u + 84 = z*u. Let y = u - -1. Solve -6*q = -2*q + 3*v + y, v = 4*q + 14 for q.
-4
Let o be 3/((-6)/4) - -11. Let k be (o + -8)/((-2)/(-4)). Solve -4*r = -5*n - 15 - 18, k*r - 19 = 3*n for r.
2
Let b = 3 - 5. Let a be b/(-2)*(-8)/(-1). Let c = 17 - a. Solve 2*o - c = 5*w, -5*w - 11 = -0*o - 3*o for o.
2
Let n(t) = -3*t**2 + 11. Let w be n(0). Solve 2*h + 5 = z, -2*z - w = 4*h - 5*z for h.
-2
Suppose -3*a - 2*d + 254 = 3*d, 3*d - 324 = -4*a. Suppose 5*x = a + 7. Solve -3*p - 2 = -4*k - 3, -3*k - p - x = 0 for k.
-4
Suppose 5*p - 5*a = -105, 2*p + 4*a = 8 - 20. Let o = -11 - p. Suppose -14 = o*n - 24. Solve t = -3, 4*y - n = 2*t - 4*t for y.
2
Let y = 139 + -136. Let t = 1 + 2. Suppose 3*x - 3 = t. Solve -5*m - u = -9, x*m = 7*u - y*u - 14 for m.
1
Let p(u) = u**2 - u - 110. Let i be p(11). Solve -5*n + 0*x - 5*x - 30 = i, -3*n + 3*x = -12 for n.
-1
Let t = 56 + -56. Solve -4*c = -o + 17, t = -5*o + c - 8 - 2 for o.
-3
Let k be (40/(-15) + 2)*3/(-2). Let h(o) = -o - 1. Let d be h(-4). Solve n + 0*n = 2*c - 5, k = -2*c + d*n for c.
4
Let t(y) = -6*y - 12. Let i be t(-5). Suppose 9 = -z + 2*z - 2*a, -3*a = -2*z + 23. Solve 2*d = -3*x - 2*x + z, 3*x - d = i for x.
5
Let c(n) = -10 - 553*n**3 - 3 - 16*n - 9*n**2 + 552*n**3. Let w be c(-7). Solve 3*f - w - 5 = -l, f - l = -2 for f.
1
Let v = -65 + 63. Let z be (7 + v)*2/2. Solve q = 5*i - 24, q - 10 = -z*i + 6 for q.
-4
Let j = 0 - -4. Suppose -4*h - 2*f + 8 = -3*f, 5*h = 2*f + 7. Suppose -9*q = -5*q - h*q. Solve 12 = -j*y + 3*p, 3*y + 2*p = -q*p - 9 for y.
-3
Let z(l) = -l - 8. Let u be z(-10). Suppose -f - 4*f = 0. Suppose f = 3*x - 4*s - 0*s - 6, -u*s = -4*x + 8. Solve -w = 2*a - 3 + 1, -5*a - x = -w for a.
0
Let s = -89 - -89. Suppose s = 3*x + u - 7 - 11, -x - 4*u + 17 = 0. Let r be (-1*24)/(6/(-4)). Solve x*f + 16 = f, -3*p = f + r for p.
-4
Suppose 11*t = 6*t + 3*h + 105, 82 = 4*t - 2*h. Let i = t + -7. Solve -2*k + 6 = 2*z, -3*z - i = -k - 8*z for k.
1
Let z be (10/(-15))/((-25)/6 - -4). Solve -4*d - 19 + z = 3*u, d = -2*u - 5 for d.
-3
Let q(h) = 2*h - 3. Suppose j - 7 = -2*u, 3*u + 5*j - 9 - 5 = 0. Let v be q(u). Solve -4*r = -v*f - 3, 0 = -2*r - 3*f - 1 - 2 for r.
0
Let v(i) = -22*i. Let k be v(-1). Let o = -19 + k. Solve -o*m + 4*x = m - 8, 3*m = -4*x - 22 for m.
-2
Let h(t) = -t**2 - 22*t - 74. Let i be h(-17). Let y be (-13)/2*(-4)/2. Suppose 5*l - i = k + l, 5*k - 3*l - y = 0. Solve k*j = -x - 25, 0 = j + x + 5 for j.
-5
Let b(l) = -l**2 - 15*l - 5. Let m = 20 - 33. Let x be b(m). Solve -q + 5*g = 0, -6*q + q + x = -4*g for q.
5
Let t = 1191 - 1191. Solve t = 2*s - 6*s + 4*b, -3*s - 2*b = 5 for s.
-1
Suppose -4*f + 64 = -3*o, -8*f = -3*f - 3*o - 80. Solve -3*t + 2*s = -t + f, -s - 7 = 2*t for t.
-5
Suppose -n + 12 = 2. Suppose 6*z = z + n. Suppose 0 = 5*t - z*q - 69, 2*t - 27 = 2*q - q. Solve -15 = -2*g - 2*r + r, 0 = -g - 2*r + t for g.
5
Suppose f = -o - o + 3, -4*f - 8 = 3*o. Suppose o*g - 26 - 62 = 0. Solve -3*v - 4*c - g = 0, -12 = v + 4*c + 6 for v.
-2
Let t be 4/(-6)*33/(-11). Suppose l - t*v - 7 = 0, l = -2*v + v + 13. Solve 5*s + 10 = 5*d, 2*d - l = d + 4*s for d.
-1
Let m = 52 + -69. Let q = m - -21. Solve -w = -2*k - 11, 5*w - 3*k = -q*k for w.
1
Let q be 501/33 + -15 - 4/22. Solve -2*b + 5*x - 3 = -q, -17 = 3*b + 5*x for b.
-4
Let j be (0 + -1)*3/(-6)*14. Suppose 0 = 4*x - j*x. Solve -4*b + x = 3*n + 3, 0 = -4*b for n.
-1
Let f be 38/(-95) + (-51)/(-15). Solve t + 0 - f = 3*s, 4*t = -5*s - 5 for s.
-1
Suppose -9*c - 64 = -82. Solve 0 = 4*y - c*i + 10, 0 = -5*y - 2*i + 7*i - 20 for y.
-1
Suppose q - 37 = -3*x, 5*q = x - 0*x + 265. Suppose 5*s - 76 = -0*r + r, -3*s - r + q = 0. Solve 0 = -y - 5*b - 20, 5*y - 2*b + s = b for y.
-5
Let i(f) = 2*f**3 - 3*f**2 - 12*f + 15. Let s be i(4). Let v = -43 + s. Solve -v*q = a - 11, 2*q = a - 3 + 10 for a.
-1
Let z be 0/(-5)*(-5)/10. Solve -6*w + w + 4*y + 20 = z, -5*y = 0 for w.
4
Let y = -16 - 6. Suppose 66 + 93 = -3*n + 5*d, 3*n - 3*d = -153. Let u = y - n. Solve -2*l = 2*i - 5*i + 13, u = l + 5*i for l.
1
Suppose -2*l + 6 = 10, 3*l = 4*v - 22. Solve -2*y - 17 = -f - 10, v*y = 5*f - 11 for y.
-4
Suppose -5*h - 5*w = -15, -w = -5*h + 3*w + 33. Suppose 3*c - 2*x - 5 = -1, 5*c = h*x + 5. Solve 4*n + 7*m + 33 = 2*m, 6 = c*n - 2*m for n.
-2
Suppose -4*u + 12 = 2*z, -u + 5*z - 8 + 0 = 0. Solve 0 = 2*s + 5*p - 11, 3*s = -0*s - u*p for s.
-2
Suppose v = -4*d + 83, 0 = -0*v - v + 3. Solve 0 = -5*m + 2*p + 15, -5*p = -5*m + 4*m - d for m.
5
Let t be 25/(-3) - (-1)/3. Let h = t + 6. Let x be 0 + -1 + 3 + h. Solve -2*s - 4 = -4*m + m, x = s - 4*m - 3 for s.
-5
Let b = 5 + -1. Let y be 4*((-3)/2)/(-3). Suppose -30 = -y*v - b*l, -v + 31 = 5*l + 1. Solve v*n = 3*w - 5 - 2, -3*w + 3*n = -9 for w.
4
Suppose -s = 2*t - 258, -4*t + 0*s + 502 = -5*s. Let u = -126 + t. Solve -z - 4*v + 5 = 19, -u*z + 2 = -2*v for z.
-2
Let t = -23 + 25. Suppose 5*p + 3*s = 1 + 16, 5*s = 3*p - 17. Solve -z - t*v + 16 = -3*z, p*z + v = -12 for z.
-4
Suppose -7*n + 82 = 12. Suppose n = 5*g - 5. Solve 3*l + x = 0, 2*l - g*x = -0 - 11 for l.
-1
Let n be 1/((-2)/(5*-6)). Let l(q) = 9*q - 4*q**3 + 3 + 53*q**2 + 3*q**3 - 45*q**2. Let h be l(9). Solve 3*s = -3*b - 15, h*b - 4*s + n = -s for b.
-5
Suppose -2*m = b + 69, -2*b = 4*m - 2*m + 74. Let s(f) = -f**2 - 30*f + 64. Let k be s(m). Solve 0 = -2*c - 3*w + 4*w, c + 4*w + 9 = k for c.
-1
Suppose 0 = 3*m - 2*u - 203, m = -3*u - 18 + 93. Suppose -3*w = -6*w + m. Suppose 6*k - 1 = 17. Solve 0 = 5*r - f + w, -4*r - 26 = k*f - 0 for r.
-5
Let u(h) = 9*h**2 - 2*h + 1. Let p be u(1). Let f be ((-12)/(-14))/(-3 + (-4550)/(-1519)). Let l be 12/(-2) - f/31. Solve l*z - 2*z = t, t = 2*z + p for z.
-2
Let k = 434 + -430. Solve k*p = p - 3*z - 6, -3*p = -3*z + 6 for p.
-2
Suppose -83*a + 450 = 7*a. Solve 3*v = -a*s + 2 - 1, 2 = s for v.
-3
Let u be (-2)/(-9) + 325/117. Let l be -3*(u/9 - 2). Let j = 9 - l. Solve 0*v + j*v = -4*k + 28, -12 = -3*k for v.
3
Let i(o) = o + 10. Let u be i(-8). Let h(p) = -21*p - 9 + 0*p + 2*p - 9 + p**2. Let l be h(20). Solve 0 = -l*f + 4*x - 18, -f = x + u*x - 1 for f.
-5
Suppose g + o = 14, -2*g + 4*g - 3*o - 33 = 0. Suppose -4*y + 2*i + 45 = -i, 3*y - 2*i - 33 = 0. Let r = g - y. Solve -3*k - 6 = 0, 2*k - r*k = -3*s + 23 for s.
5
Let d be (-6)/((4/18)/(14/21)). Let f be ((-6)/(-27))/((-2)/d). Solve -w + f*q = -6, -q + 20 = -6*q for w.
-2
Suppose -2*v + n = -7*v - 15, 5*n = 0. Let l be (1 - 1)/v - -6. Solve -b + 2*j = l, b + j - 2*j = -5 for b.
-4
Suppose 31 - 16 = 5*f. Solve 2*a + 16 = -2*s, a + f*s + 8 = 2*a for a.
-4
Let s be (8/(-6))/(7/(-21)). Suppose s*l - 10 = -2. Suppose -3*r + 2*r - 5 = -3*m, 3*m - 4*r - l = 0. Solve -8 = -0*v + m*v + 5*b, 2*v + 2*b + 2 = 0 for v.
1
Let w = -14 + 18. Suppose w*f = -f. Solve -2*p + 0*p = f, 5*l = 3*p - 10 for l.
-2
Suppose 6*c - 56 - 16 = 0. Suppose 0 = -40*p + 37*p + c. Solve 2*m = p*v + 2 + 12, -3*v + 5*m = 21 for v.
-2
Let f = 64 - 60. Let i be 37/f - (-