2
Let a(v) = -v**2 - 7*v + 39. Let z be a(-9). Suppose -3*l - 4*k - 3 = 8, 0 = 2*l - 3*k - z. Solve -3*p + 0*g - 3*g + 27 = 0, l*p + g = 17 for p.
4
Let u be (3 - (-52)/(-12))*-3. Let r(c) = 5*c - 15. Let o be r(u). Solve -o*x = -3*i - 3*x + 9, i - 7 = 2*x for i.
1
Let b(t) = -2*t + 10. Let k be b(4). Suppose k*w = -4*w. Suppose -5*c + w*a + 2*a + 25 = 0, -5*c = a - 25. Solve -3*r - 32 = -4*x, -r - c = -6*r - 5*x for r.
-4
Let o(v) = v**3 - 6*v**2 + 2*v + 15. Let c be o(6). Suppose 17*n - 20*n = -c. Solve 4*d = 4*t - n - 19, -2*d = -4*t + 22 for t.
4
Let d be -1*((0 - 27) + -2). Let i = 31 - d. Solve 0*y - 5*m = -5*y + 5, 7 = 3*y - i*m for y.
5
Let t(m) = -3*m + 0*m**3 + 33 - 23 - m**3 - 6*m**2 - m**2. Let c be t(-7). Let f = c + -17. Solve 3*g = p + f, 4*p - 24 = -0*p - 4*g for p.
1
Suppose -5*i = -0*x - 3*x + 83, -4*i - 121 = -5*x. Suppose 26 + x = 5*z + j, 5*j = -2*z + 5. Solve -4*a + 3*a = s - z, 0 = -4*a + 20 for s.
5
Let d(s) = -s**3 - 3*s**2 + s + 6. Suppose -2*f + 1 = 7. Let t be d(f). Solve t*n + 6 = -3*z, 5*z = -0*n + 4*n - 1 for n.
-1
Suppose 0 = 2*z, -i - 3*z + 5 = -0. Suppose -i*t = -3*t - 4*t. Solve l = -5*a + 16, t = -3*l - 8 - 4 for a.
4
Suppose 63*m = -9 + 324. Solve m*t = t + 2*j + 18, -3*j - 3 = 0 for t.
4
Suppose f - 33 = -4*n, -3*n = -8*n - 5*f + 45. Solve c - n = -4*p - 3*c, 4*p = 4*c - 32 for p.
-3
Let x = 7 - -12. Let s(w) = -24 - 6 + 3*w - 16*w**2 + 15*w**2 - 15*w. Let g be s(-8). Solve x = 3*k + 4*m, -3*k - 2*k + g*m = 3 for k.
1
Suppose -2*n + 60 = 4*q, -5*q + 23 = n - 19. Let f = 26 - n. Solve -5*r + f*c = c - 19, 0 = -2*r + 2*c + 6 for r.
5
Suppose -b + 711 = 707. Let o(d) = 2*d**2 - 8*d - 6. Let q be o(6). Solve m - 5*r - q = -m, -b*m = -r for m.
-1
Let t(n) = -n**3 - 7*n**2 - 5*n - 19. Let z be t(-6). Let b be (z/(-15)*-3)/(-1). Solve -v - g - 4 = 0, -b*g = 5*v - g + 17 for v.
-1
Let z be (-1)/(-2) - (-255)/(-10). Let d = -21 - z. Solve -d*o = -5*v - 27, v = -v - 4*o + 6 for v.
-3
Let q = 399 + -395. Let a be -2*(0 + -10) - 0. Suppose -j + a = -q. Solve 0 = 4*m - 4*x - j, 5 = -4*m - 4*x - 11 for m.
1
Suppose 4*p - 6 = a, 2*a + p = 3*a. Solve 0 = -g + a, 0 = -0*v - 5*v + 5*g + 5 for v.
3
Suppose 4*j = -d + 2*d + 11, -25 = -5*d. Suppose -16 - 5 = -5*p + y, -4*p + 36 = j*y. Suppose -15 = -10*x + p*x. Solve 2 = w - 4*k, 4*k + x - 7 = 4*w for w.
-2
Suppose -2*n - f = -0*n - 17, 4*n + 4*f = 44. Solve -n = c - 3*x, 5*c - 5*x - 5 + 25 = 0 for c.
-3
Let u(f) = f. Let n be u(3). Suppose -5*b = 2*g + 8, -9 = 3*g + n. Solve -5*o + b = -3*s + 3, -4*s = -5*o - 4 for s.
1
Let f be (-20)/(-490)*14 + 10/7. Solve 0 = 4*p - f*i + 2, 2*p - 6*p + i = -3 for p.
2
Let t(k) = k - 12*k - 7 + 8*k + 31. Let o be t(10). Let y be 162/45 - o/(-10). Solve -3*m + y*g = 7*g + 9, 2*m - 4*g - 14 = 0 for m.
1
Let w(s) = -s**3 - 4*s**2 + 12*s + 2. Let x be w(-6). Solve 4*z + x*f - f - 9 = 0, z = -4*f - 9 for z.
3
Let y(a) = 2*a**2 + a - 20. Let x be y(7). Let b = 87 - x. Solve 2*j = 5*q - 7, -b*j + 4*q = j for j.
4
Suppose -10*i - 4 + 34 = 0. Let p be 0 - (45/i)/(-3) - 1. Solve -17 + 5 = 5*c - 3*d, -5*c + 16 = p*d for c.
0
Let c = -4 - -9. Let v(o) = o**3 - 13*o**2 - 17*o + 32. Let g be v(14). Let m be 2 + (1 - g) + -2. Solve 3*k + 4 = k + c*i, -3*k - i = -m for k.
3
Suppose 0*i + i - 4 = 0. Let w be ((-2)/(-6))/((-2)/42). Let f = w - -15. Solve 33 = -i*d + a + f, -5*a + 35 = -2*d for d.
-5
Let a(o) = -3*o**2 - 2*o + 5. Let k be a(3). Let f = -25 - k. Solve 0 = 5*h - 2*c + 19, f*c = -4*h - 2*c - 2 for h.
-3
Let k = 7 + -6. Let b be 6/39 + k + (-37)/(-13). Solve -b*s = -4*h, -3*s + 5 = -5*h - 3 for s.
-4
Let j be 1 - (0/3 + -2). Suppose 2*n - 6 = -j*n - 2*g, -2*g = 2*n. Let h = -33 - -35. Solve -n*s - 24 = -4*o, -o + h*o - 8 = s for s.
-4
Suppose 22*p - 24*p + 4*h = -4, 0 = 2*p - 3*h - 4. Solve 0*r + 2*y - 4 = 4*r, -4 = 3*r - p*y for r.
0
Suppose -18*q = -72 - 72. Let a(u) = -u**3 + 9*u**2 - 9*u + 13. Let x be a(q). Solve 2*z = x*f + 3*z + 3, -5*f = -3*z + 11 for f.
-1
Let s = -8 + 11. Suppose -d - d - s = -q, 5*d = 0. Let m = 7 - 4. Solve -m*g - 3 = v, -2*v - q = g - v for g.
0
Let n(u) = -10*u + 63. Let c be n(6). Solve 6*o - 5 = o - 5*z, -c*z + 7 = 2*o for o.
-4
Let b(r) = -7*r + 9. Let m be b(1). Suppose -3*h - 2*h = -2*k + 14, -4*h - 14 = -m*k. Solve 2*z - k = z - 4*f, 3*z - 13 = -4*f for z.
3
Let q = -6 - -9. Let r = 326 + -322. Solve 5*w - 2*l + 45 = 2*l, q*l - 35 = r*w for w.
-5
Suppose 0 = -132*x + 122*x + 50. Solve 4*k = -2*u - 4, 0*k - 18 = x*k - 4*u for k.
-2
Suppose -125*l = -4*b - 122*l + 57, -b + 12 = -3*l. Solve -20 = -4*s + 3*w, 0 = -3*s + 3*w - 0 + b for s.
5
Let z(u) = u**3 - u**2 + u + 2. Let h be z(0). Suppose 36 = x + h*x. Solve -2*m = -5*m - 3*t + x, 20 = m + 5*t for m.
0
Let t(g) = 19*g - 52. Let a be t(3). Solve a*k - 5*l + 5 + 20 = 0, 4*k - 5*l + 21 = 0 for k.
-4
Let x = -1168 - -1177. Solve 0 = -3*p + b - x, 4*p + b + 31 = -4*b for p.
-4
Let c be 0/(-1 - 2) - (-25 + 25). Solve 3*p + 6 = -2*j + p, c = p for j.
-3
Let t(q) = -102*q + 617. Let x be t(6). Solve -i + 3*w = 5, i = 3*i - w + x for i.
-2
Suppose -b - 8*b = 0. Suppose -m - m = b. Solve -2*j + 3*y = m, -j = -0*y - 2*y + 1 for j.
3
Let v(n) = -7*n - 64. Let y(k) = 4*k + 32. Let m(q) = -3*v(q) - 5*y(q). Let j be m(-10). Solve -l = -3*l + 4*g - j, -g + 6 = -l for l.
-1
Let t(c) = c - 5*c - 9 + 2*c. Let b be t(-6). Solve -2*o + 3*o - 6 = v, b*v + 16 = o for v.
-5
Let h = -123 + 127. Solve 9 = 3*k + h*y - 2*y, -3*k - 3*y = -12 for k.
1
Suppose -32 = -2*z - 2*z. Let y = z + 1. Suppose y = d + 2. Solve 3*v - 5*g + 21 = -d, -4*g = 5*v - 15 for v.
-1
Let b(n) = 2*n**2 + 13*n - 4. Let r be b(-8). Suppose -r = -2*s - 3*h, -3*s + 2*h + 0*h + 4 = 0. Solve 0 = -4*d - 3*z + 23, 6*d - 2*d = s*z + 16 for d.
5
Suppose -4*c - 27 = 10*k - 15*k, 19 = 3*k - c. Solve 0 = 4*q + w - 15, -4*q - 20 = -k*q + w for q.
5
Suppose -4*o + 7*o + 4*a = 61, -5*a - 25 = 0. Solve -5*t - 2*x = 15, -3*t + 5*x - 5 = -o for t.
-1
Suppose -3*b = 5*w - 22, 0 = b - 3*w + 5 - 3. Solve j = 2*n + b + 8, -2*n - 3*j = -4 for n.
-4
Let o = -372 + 376. Solve -4*b - 20 = o*k - 0, 2*k = 0 for b.
-5
Suppose 5 = -y + 12. Let t = 0 + y. Suppose g = t*g - 18. Solve g*h + 17 = 4*w, -h + 3*h - 4*w + 14 = 0 for h.
-3
Let i be ((-18)/(-21))/(1/7). Suppose -3*h = -2*r - r - 84, 3*r = -i. Solve h = 5*p - m, p + 5*m = -3*p + 15 for p.
5
Suppose 30*t - 7*t - 46 = 0. Solve -3 = t*q + j, 0 = 3*j + 1 - 16 for q.
-4
Suppose -414 = 6*k - 52*k. Solve 11 = -2*g - 2*g + x, 0 = 3*x - k for g.
-2
Let w be 23 + -6 + (-2)/((-8)/(-12)). Solve -w = 2*q - 4*o, 4*o + 0 - 21 = -5*q for q.
1
Let w = 309 + -306. Solve 4*b = 3*j + 31, 2*b - 1 = -2*j - w for j.
-5
Let k(t) = 43*t**2 - t. Let h be k(1). Suppose -h = 3*u + 39. Let r = u + 30. Solve 28 = 3*p - 0*p - 4*v, -r*p = -2*v - 20 for p.
4
Suppose 4*o - 40 = 104. Let g = o + -51. Let s be ((-18)/g)/(3/10). Solve 2*f - 14 = -5*t, 2 + 0 = s*t - 3*f for t.
2
Let p = 28 - 17. Let q(a) = 10*a**2 + 8*a + 2. Let w be q(-1). Solve w*u + r - 2 = 11, p = 4*u - r for u.
3
Let y be (12/(-10))/((-16)/40). Suppose y*g + 10 = 2*g. Let i = -2 - g. Solve -5*a + 14 = -0*a + 2*d, 0 = -5*a + d + i for a.
2
Suppose -3*b + 2*v + 26 = -8, 2*b - 3*v = 21. Let p(r) = -r + 3. Let x be p(-4). Let l = -1 + x. Solve 3*q - 8*c + l*c = -4, -4*q = -c + b for q.
-4
Suppose -i - 5*m + 3 + 21 = 0, 0 = 2*i + 5*m - 28. Solve -s - i*u + 4 = 0, 2*u = 5*s - 2*u - 20 for s.
4
Let p(y) = 6*y - 112. Let k be p(19). Suppose 2*w = -2*w. Suppose -s + 3*s - 6 = w. Solve -6*u + 14 = -o - u, k*o = -s*u + 11 for o.
1
Suppose -4*o + v = -5, 4*o - 2*v - 2 = -0. Solve -4*c = -2*h + 10, o = c - 3*h + h for c.
-4
Let q = 327 - 322. Solve -5*s + 5*w = 5, w = q*s - 0*w - 3 for s.
1
Let y be (-2)/(-6) - (-60)/(-72)*-2. Solve p - y = -m - 4, -7 = 2*m + p for m.
-5
Let j be (-2 + 2)/4 + 0. Suppose j = 6*t - 4*t - 2. Solve 0 = 3*c - t - 5, 3*s - 2*c + 7 = 0 for s.
-1
Let c = -7 + 32. Suppose -32 = -29*v + c*v. Solve 0 = 4*w + 3*r - v, -5*w + 2*r = -0*r - 10 for w.
2
Let t be 6/3 - 14*-8. Let p = 176 - t. Suppose -53 - p = -5*f. Solve 4*q - y - f = 2*y, q = y + 6 for q.
5
Let b(p) = p**3 + 10*p**2 + 18*p + 18. Let d be b(-8). Solve 2 = o + o + 4*k, d*o = -k + 2 for o.
1
Suppose 2*u + 0*u - 40 = -2*k, -k + 5*u = -2. Suppose 0 = -12*p + k*p. Solve -5*b + p