4*t - c = j for j.
-3
Let x be -1 + 0 - (0 + -15). Let o(s) = s**3 + 4*s**2 - 2*s - 4. Let n be o(-4). Let l = n + 9. Solve 3*q + x = -3*t - q, 3*q + l = -t for t.
2
Suppose -5*b - 6 = -21. Suppose y + b = 2*y. Solve -n = -c - 4, c = y*c for n.
4
Let p(r) = -2*r**3 + r**2 + r + 1. Let c be p(-1). Suppose -c*y = 4*k - 5, -4 = -5*k - 5*y + 1. Solve 2*u - q = 3 + 3, -k*q + 3 = u for u.
3
Let s(q) = -2*q + 11. Let z(l) = 2*l - 12. Let f(w) = -6*s(w) - 5*z(w). Let c be f(4). Suppose c = -0*j + j. Solve -2*i - 12 = 3*t, -5*i = -t + j + 11 for i.
-3
Suppose -3*s = -s. Suppose -3*g + 3 = -15. Suppose -16 = 2*r - g*r. Solve r*u + z = 2, -5*u + z = -7 - s for u.
1
Suppose -2*q + 4*q - 4 = -m, 3*q - 3 = -3*m. Solve 6 = 3*g - u, -4*g = -u - q*u - 16 for g.
1
Suppose 0 = 4*y - 4*f - 36, -y - y + 4*f = -28. Solve 0 = m + 2*x + 2 + 2, m - y*x = -4 for m.
-4
Suppose -2*d + 11 = -a - 5*d, -3*a + 3*d = -15. Suppose -14 = -u + a. Let c be (u/(-9) - -2)*6. Solve y = -2, y + c*y + 14 = -2*b for b.
-4
Suppose -2*c + 4 = 4*s, s + 4 - 5 = -3*c. Let t = 3 - c. Solve t*n = 4*l - 3 + 15, -n = 0 for l.
-3
Let o be 5/10*(2 - -22). Suppose l = -2*l + o. Solve 2*g - n = -0 - 13, -2*g = -l*n + 22 for g.
-5
Suppose 0 = x - 3. Suppose 3*p = 2*f + 118, 4*p - x*f - 110 - 48 = 0. Suppose 5*n - p = -13. Solve 2*t + n*k - 25 = 0, 0*t + 2*k = 3*t + 10 for t.
0
Let z be 2*(-1)/(-2) - 4. Let g be z/1 - 3*-2. Suppose 0 = g*u + 3 - 30. Solve -5*y = -4*r - u, -4*r + 4 = y + 7 for y.
1
Suppose 0 = -2*y - 5*f + 2, 2*y - 27 = y + 4*f. Let v(a) = a**2 - 11*a + 1. Let n be v(y). Solve o = 5, -3*i - 2*o + 0 = -n for i.
-3
Suppose 3 = -z + 6, 5*o - z + 3 = 0. Solve -20 = -4*t, o = -4*f + 3*t - 1 - 10 for f.
1
Suppose 0 = -z - 5*y - 18, -z = -y - 3 - 9. Solve -2*q - 4*f - 10 = 0, -4*q = -q + 2*f + z for q.
-1
Let v(u) = -2*u**2 + 4*u - 3. Let j(t) = t - 1. Let l(x) = j(x) - v(x). Let o be 8/6*(-12)/(-8). Let i be l(o). Solve -2*g - g + i*y = 26, 20 = 4*y for g.
-2
Let s = 6 - 2. Let r = 12 - 2. Solve 0 = 3*v + 6, s*f = 6*f + 4*v + r for f.
-1
Suppose 4*p - 4 = 12. Let k be ((-6)/9)/(p/(-18)). Solve 4*n - f = 6, k = n - 0*f - f for n.
1
Suppose 2*c + 26 = 5*s, 2*c + s = 5*s - 22. Let f = -8 - c. Let z = f + 8. Solve 3*g + 5*p = -8 - 1, 0 = -z*g - 3*p - 9 for g.
-3
Let b(a) = -a + 9. Let i be b(9). Solve 3*d + d + 2*q - 6 = i, -4*d - 5*q = 3 for d.
3
Let q = 128 + -126. Solve 3*y - 11 = -o, -3*y + 27 = q*o - 5*o for o.
-4
Let i(p) = p**3 - 11*p**2 - 3*p + 35. Let m be i(11). Solve -2*l = 8, -m*l = -5*y - 3*l - 19 for y.
-3
Suppose 0 = 53*q - 54*q + 2. Solve -3*a + 5 = l, q - 7 = 5*a - l for a.
0
Suppose 4 = -5*k + 3*k - 2*q, q + 2 = 4*k. Suppose -19 - 1 = -4*b, k = 4*m - 4*b - 56. Solve -3*l + 0*l - 18 = o, 0 = -3*o - 2*l - m for o.
-3
Let t(z) = z**3 - 7*z**2 - 7*z - 3. Let q(u) = -u + 3. Let v be q(-5). Let r be t(v). Solve 3*k + 4*h - 5 = r*h, -4*h + 1 = -5*k for k.
3
Let b(a) = a**3 + 7*a**2 - 8*a + 8. Let h be b(-8). Let l be h/32 + (-19)/(-4). Solve 0*r = -r - 4*m - 7, -5*m = l*r + 20 for r.
-3
Let r be -10*1/(-2)*1. Suppose -2*n - 18 = 3*j - 5*j, n = 2*j - 16. Solve -4*i - 1 = 3*p, 2*i + j + 4 = -r*p for p.
-3
Suppose 3*u + 2*u = 15. Let i be 3*(-2 - 10/(-3)). Let v be (-2)/u*(-30)/i. Solve a - 2*y = -v, -5*a + 2*y - 14 = -5 for a.
-1
Suppose 5*a - 5*d = -0*a, 0 = 4*a - 2*d + 4. Let t be (2/(-3))/(a/(-3)). Let h = t - -5. Solve 2*o + 0 + 4 = -r, 0 = -o + h*r - 20 for o.
-4
Let x(f) = -f - 3. Let y = 0 + -7. Let i be x(y). Solve 36 = -4*u + 4*p, 0 = -3*u + i*p - 0 - 31 for u.
-5
Suppose u + 5*q + 1 = -1, 2*q + 2 = 0. Suppose r - 2 = -3*s - u, 0 = 3*r + 12. Solve 4 = -2*f, -s - 5 = -2*o + 5*f for o.
-2
Suppose -5*j + 3 = -7. Suppose -5*y + j = -q - 4, 0 = -2*q + 4*y. Solve m = 2*i + 2 + 5, q*m = 5*i + 16 for i.
-4
Suppose f + 14 = 5*y - 3*f, 3*f = -3*y + 3. Suppose 0 = -0*n - n + 4*x + 12, 3*n = 5*x + 36. Let p = 19 - n. Solve 2*a - y = -4*v, -3*a - p = v - 5*v for a.
-1
Let q(a) = -a**2 - 10*a + 13. Let g be q(-11). Solve -g = -3*n + 5*n, 3*o - 4*n + 2 = 0 for o.
-2
Let o = 4 + 5. Suppose 0 = 5*w - o - 1. Solve -r = z + 3, -4*r - r - 9 = w*z for r.
-1
Suppose -j + 10 = -5. Solve 6*b - 4*b + 9 = n, 0 = 4*b - 5*n + j for b.
-5
Let c = 1 - -3. Let u be c + (4 - 7) - 1. Solve -2*y - 3*d - 3 = u, 5*d + 6 = y + 1 for y.
0
Let s(t) = -t**2 + 15*t - 50. Let n be s(6). Solve -3*d - n = 2*z, 7*d - 8 = 4*d + 4*z for d.
0
Suppose i = -0*i. Suppose -5*k + 3*u + 102 = i, -4*k = k - 5*u - 100. Solve -k = j + 4*b, -7*j - b = -2*j + 10 for j.
-1
Suppose 4*i - 2*i = -4*l + 10, 3*l - 15 = i. Suppose -3 = l*d - 11. Solve -13 = z - 5*t, 0 = 2*z + z - d*t for z.
2
Let r be 3/(-1*9/6). Let u be (r - 2)/(2/(-1)). Let p be (-72)/(-7) + u/(-7). Solve -5*n - 20 = -j, 2 = -3*n - p for j.
0
Let r(w) = -w**2 - 15*w - 11. Let j be r(-13). Let c be (-5)/(j/9) - -3. Solve -5*d + g - 22 = c, 3*d + 5 = -3*g - 1 for d.
-4
Suppose 4*m - c - 19 + 1 = 0, -m - c + 7 = 0. Solve 6*w = -2*v + w - 12, -16 = v + m*w for v.
4
Suppose -q = 2*q - 12. Let b be 0 + 0 + q/2. Suppose 3 = b*w - 13. Solve 0 = -w*a + 3*a + 4*x - 30, 2*x = a + 12 for a.
-2
Suppose 5 = -3*m + 14. Solve -m*d - 9 = -w - 2*w, 0 = -5*d - 20 for w.
-1
Suppose -2*f - 3*m - 2 = 0, 3*m + 18 = 2*f - 4. Suppose 175 = f*l + 45. Solve -5*b + l = 2*p, 3*p - 13 = -4*b + 12 for b.
4
Suppose 24 = 4*z + f, -4*f = 2*z - z + 9. Let g be 1/(-3) + (-4)/(-3). Let u be (4 - 3) + (5 - g). Solve -u*q - z = 2*y + 12, -2*q = 5*y + 16 for q.
-3
Let u = 20 + -8. Let x = u - 7. Solve c + 13 = 3*b, 2*b + x*c = 11 + 9 for b.
5
Let j = -5 - -8. Suppose 3*s + 2*t - 3*t - 10 = 0, -6 = -4*s + 5*t. Solve s*c + j*k = c + 12, 2*k = -3*c + 8 for c.
0
Suppose -2*k - 21 = 5*s, -7*s = -2*s + 25. Solve -k*j - 12 = -2*l, 4*j = -5*l + 3 - 9 for j.
-4
Let h(m) = -2*m - 1. Let a be h(-1). Let c be ((-3)/(-3))/(a/3). Suppose c*n + 2 = 14. Solve i + 5*l = 13, 0 = -9*l + n*l + 15 for i.
-2
Let b be 15/75 - -3*(-6)/(-10). Solve z - 3*x - 8 = b*x, 3*x + 3 = 0 for z.
3
Let z(i) = -i**3 - 7*i**2 - 9*i - 11. Let h be z(-6). Solve 3*a - a - h = 5*u, -26 = 2*u + 5*a for u.
-3
Let y be 0/19 + 2/(-2) - -4. Solve -4*v - 2 = -y*q - 0*v, 4*v - 6 = -q for q.
2
Let b be 1 + (-3 - (-4)/1). Solve 4*v - 8*v + 5*k - 41 = 0, -b*k + 30 = -5*v for v.
-4
Let u be (-72)/(-30) - 2/5. Suppose 4 = y - u. Let j = y + -4. Solve 5*s + g = 4*g + 6, 4 = -2*s - j*g for s.
0
Let n be ((-63)/(-6))/((-54)/(-16) - 3). Solve 0 = -5*j + 3*a - a + n, 0 = 2*j - 3*a - 20 for j.
4
Let t be (-28)/70 - 44/(-10). Suppose 3*q = t*n - 24, 2*n + 4*q + 13 = n. Solve n*z + 0*z - 6 = -v, -3*v - 5*z = -10 for v.
0
Let d be (-6)/(-39) - (-150)/39. Solve d = l + 2, -4*y = 4*l - 12 for y.
1
Let w = -2 + 6. Solve -q = -2*q + 3*x + w, 4*q - 2 = -2*x for q.
1
Suppose 3*z + 4*f + 11 = 0, 15 = z - 3*f - 3. Let w = 1 + z. Solve -w*o + 3 + 1 = 0, 0 = -2*j - o - 7 for j.
-4
Suppose 1 = -i - 4*o - 15, 3*i = -3*o - 12. Let m(p) = p**2 - 2*p + 1. Let v be m(3). Solve -4*z + 4*d = i, -v*d = 3*z - 23 + 2 for z.
3
Suppose 7*b = 2*b + 25. Solve -10 = 2*w + 4*k, b*k - 9 = -4*w - 23 for w.
-1
Suppose 3*k = -3 + 15. Suppose 3*p = -k*g + 14 + 2, 5*g - 3*p = 20. Solve -3*b - 4*y = 9, 2*b - y = 9 - g for b.
1
Suppose -3 = l + 3*o + 3, 2*l + 5*o = -10. Suppose -4*i + 5 + 3 = l. Solve -4*m = 5*y - 36, 2*y + 2*m - 14 = i for y.
4
Suppose 5*w = -2*m + 12, -9 - 2 = -4*w - 3*m. Let u = -169 - -173. Solve -w*h = 10, 0 = 4*f - 2*h + u*h + 30 for f.
-5
Let b(d) = 23*d - 1. Let g be b(1). Suppose a + 28 = 2*j, -3*a - 10 = -2*j + g. Let x = -9 + j. Solve -4*s - 20 = x*c, -2*s = 5*c - 0*s + 22 for c.
-4
Let h(c) = 3*c**2 - 2*c - 1. Let n be h(2). Let y = n - 3. Let a = 7 - y. Solve -2*j = -5*x + 3, -j - a*j + 7 = 3*x for x.
1
Let g = -14 + 8. Let u be g + 9 + 3*1. Solve -d + u*j = 3*j + 7, d + j = 1 for d.
-1
Let f(x) = 6*x - 2. Let k be f(-3). Let o = -12 - k. Let m be (6/(-4))/((-4)/o). Solve 7*w - 2 = m*t + 2*w, -3*t + 1 = -2*w for t.
1
Let j be (0 - -3) + 4 + -1. Let t be (-1)/((-3)/j) - 2. Solve 4*u - 5 - 3 = t, c = -4*u + 7 for c.
-1
Let i be 6*(-1 + 3) - -4. Suppose -2*r + 3*m + i = m, 5*r = -m + 10. Solve 0 = 5*z + r*j - j - 21, 15 = 5*j for z.
3
Let s(x) = -x**2 - 6*x - 2. Let l be s(-5). Let v = l - 3. Let k = -46 - -82. Solve -2*u = 3*u - 20, v = -4*q + 5*u - k for q.
-4
Suppose -34 =