 6 = -y for y.
2
Let g(r) = r**3 - 5*r**2 - 4*r - 1. Let j be g(6). Suppose 5*f = j + 4. Solve f*q = -10 - 2 for q.
-4
Let y be (9 + 3)*4/6. Let k = -3 + y. Solve 0*g = k*g + 10 for g.
-2
Suppose t - 63 = -2*z - 3, 4*t - 3*z - 240 = 0. Suppose 6*d = d + t. Solve 6*h - 2*h + d = 0 for h.
-3
Suppose 0 = -0*i + 4*i - 40. Let q be (3/(-2))/((-1)/2). Suppose -r - 20 = -q*r. Solve -i - r = 5*w for w.
-4
Let w = 32 - 12. Suppose 0 = 4*g - w - 0. Solve 4 + 6 = g*k for k.
2
Let a = -8 + 13. Suppose 2*t + 0*n = -a*n - 21, n = t - 7. Solve -u = t*u for u.
0
Suppose 12*l - 9 = 15. Solve -8*u = -l*u for u.
0
Let p(f) = f**2 - 3*f + 5. Let w be p(2). Suppose 0 = -w*i + 4*i. Solve -g - 3 = -i*g for g.
-3
Suppose -x - 3*n - 8 = 0, -5*x + 5*n + 21 + 19 = 0. Let s be ((-24)/28)/(6/(-28)). Solve x = -4*j - s for j.
-2
Let q(w) = -w**2 + 6*w - 4. Let u(x) = x**2 - 9*x + 4. Let j be u(9). Let z be q(j). Suppose 5*d - 41 = -h, -z*d + 3*h + h = -28. Solve -4*n - d = 8 for n.
-4
Suppose -2*z = -6*z + 12. Solve -12 = -5*u + z for u.
3
Let c be 1*(2 - 2)*1. Let t be c - (1 + -1 + -1). Let x be (-3 + 20 - -3)*t. Solve x = -3*f - 2*f for f.
-4
Suppose 3*x = 4 + 5. Solve -5*z + x*z + 6 = 0 for z.
3
Let t(p) = -p**3 + 9*p**2 + p + 13. Let d be t(9). Suppose -2*w + m = -d, 24 = -4*w - 2*m + 76. Solve -3*s = -0*s + w for s.
-4
Suppose -n = 4*f, 0 = 3*n - 2*n - 3*f - 7. Solve -5 = -n*o - 1 for o.
1
Suppose 2*m - 14 = -2*o, 7*m - 5*o = 2*m + 5. Let h be m - 1*(-1 + 4). Suppose 58 + 20 = 3*s + 3*a, 27 = 2*s - 3*a. Solve -5*j + h = s for j.
-4
Suppose 0 = -z - 17 - 1. Let f be (z/10)/(1/(-5)). Suppose -3 = -3*n + 9. Solve -n*q = -7 - f for q.
4
Let h be (1 + (-12)/4)/(-1). Suppose -3*v + 20 = h*v. Solve 5*x = v*x for x.
0
Let h(m) = -m + 5. Let b be h(0). Solve 2*k + 15 = b for k.
-5
Let b be 3/((-3)/(-8))*2. Solve 3*n + 4 = b for n.
4
Suppose -4*q = -5*u + 3*u - 12, 3*q - 9 = u. Let t be (0 - q)/(-1 - 0). Solve 7 = 4*f + t for f.
1
Let w(g) = 7*g. Let d(t) = -15*t + 1. Let k(b) = 6*d(b) + 13*w(b). Let l be k(0). Solve -1 + l = -5*u for u.
-1
Let j(b) = b**2 - 7*b - 4. Let q be j(5). Let c be 0*(-3 - q/4). Solve -o + 6*o - 25 = c for o.
5
Let h(j) = -j**3 - j**2 + j. Let d be h(-2). Let w = 45 - 41. Solve a + w = d for a.
-2
Suppose 1 = 3*r + 4*k - 8, 4*k = 3*r - 9. Let i be r/(-3) - -8*5. Suppose 4*w - 97 = -3*x, i = x - w - w. Solve 0 = 5*c + x - 10 for c.
-5
Let z be -3 + -1 + 2/(-2). Let p be 1 + -2 - 0 - z. Solve -n - p*n + 20 = 0 for n.
4
Let a(z) = z**2 - 10*z - 8. Let u be a(11). Solve -2*f - u*f - 25 = 0 for f.
-5
Let b(i) = 3 + i**3 + 3*i**3 - 3*i**3 - 6*i**2. Suppose 0 = 3*a - 4 - 14. Let f be b(a). Solve -20 = -f*u - 2*u for u.
4
Let j = -83 - -83. Solve j = 2*p + p for p.
0
Let i be ((-4)/10)/(5/50). Let d be 1/(i/(-48)*4). Solve -q - d = 2 for q.
-5
Suppose -48 = -5*w + 22. Suppose -m = -3*m + w. Solve 3*f - m*f = 4 for f.
-1
Let q(t) = -t**3 + 7*t**2 - 5*t - 4. Let k be q(6). Solve -k*p = 2*p for p.
0
Let o(z) = -z**2 + z. Let v be o(1). Suppose 0*s + 5*s + 60 = v. Let m be (-12)/(-16) + (-3)/s. Solve m = -0*y - y for y.
-1
Let q(i) = -i**3 + 4*i**2 - i + 4. Let v be q(4). Solve v = 3*t - 2*t + 1 for t.
-1
Let l be (-18)/(-4)*(-10)/(-5). Suppose 2*f = 5*f - l. Let j be 0/(-2 + -1 + 2). Solve j = -f*y + 3 + 3 for y.
2
Let p(s) = -s - 8. Let u be p(-12). Solve u*c - 2*c - 6 = 0 for c.
3
Let m be 3/(27/(-15))*-6. Solve 3*t + 2 = -m for t.
-4
Suppose -5*l = 3*o - 14, l = 1 - 0. Solve 2*v + o = -v for v.
-1
Let b(w) = -w + 2. Let l be b(5). Let t be (-6)/(-18) + l/9. Solve t = -j - j + 10 for j.
5
Suppose -8 = -n - n. Suppose -b - 4*k + 1 = 0, 4*b + 3*k = 4*k + n. Solve -5 + b = 2*t for t.
-2
Let h(c) = c**2 + 4*c - 1. Let q be h(-5). Solve q*f = -f for f.
0
Let u be (0*5/15)/2. Solve u = -i + 4*i + 6 for i.
-2
Suppose 0 = -6*w - 15 - 3. Let u be ((-3)/w)/(-1) - -6. Solve -j = u - 3 for j.
-2
Suppose -2*w = 7 - 23. Suppose 4 - w = -4*g. Let b(u) = u**2 - u. Let p be b(2). Solve p + g = c for c.
3
Let i = -50 + 53. Solve i*j - 4*j = -4 for j.
4
Let a be 2/(-8) + (-42)/(-8). Suppose 0 = a*y + 5*o - 30, 2*y + 4*o - 10 - 12 = 0. Let x be 2 - (-2)/(-2 + y). Solve 6 = 2*g - x for g.
3
Let i = 36 + -6. Suppose 0 = -4*v + i + 2. Let j(f) = -f**2 + 8*f + 2. Let x be j(v). Solve -2*b - 8 = -x for b.
-3
Let a(r) = -r**2 + 11*r + 6. Let f be a(6). Suppose -f - 2 = 2*t. Let d = 39 + t. Solve 0*l - d = 5*l for l.
-4
Let t(g) = g**3 + 5*g**2 + 7*g + 6. Let b be t(-3). Let s be (2 + -1 + -4)/1. Let l = s + 3. Solve l = -b*p + 17 - 2 for p.
5
Let b be (-34)/(-6) - 4/6. Solve -b = -c - 0 for c.
5
Let y be (-256)/(-18) + 4/(-18). Solve -2 = -4*s + y for s.
4
Suppose 0 = -3*o + 4*i + 10, o - 2*i - 2*i = 6. Let t = 2 - o. Solve -g = -t*g for g.
0
Let z be 11/2 - (-2)/(-4). Let k be 0 - (-1 - 6 - -1). Suppose -a + k*a = 0. Solve f - z*f + 16 = a for f.
4
Let u = -1 - -3. Suppose -6*c = -c + 10. Let p be -6*1*4/c. Solve -5*k = -u + p for k.
-2
Let n = 58 + -53. Solve n = -2*k + 1 for k.
-2
Let z(f) = f**3 - f**2 - 6*f. Let v be z(3). Solve v = 3*u + 2*u for u.
0
Let u be 0*(2 - 2/2). Let z be u + (1 - 0 - -12). Suppose 5*n - z = -g - 3, -n = g + 2. Solve 0*d = d - n for d.
3
Let c(w) = -w**3 - 3*w**2 + 3*w + 6. Let u be c(-4). Let s = 5 + -3. Suppose s*m = -0*m + u. Solve 9*j - 4*j = m for j.
1
Suppose 0 = -5*y + 4*y. Suppose -o - l + y + 4 = 0, 3*o = 3*l + 12. Suppose 0 = -2*m - 5*c - 8, 2*c = -0*c - o. Solve -m = -k + 4 for k.
5
Suppose -3*h + 10 = -5. Solve -h = r - 4 for r.
-1
Let a(w) = -w**2 + 9*w. Let t be a(9). Solve k + 2*k = t for k.
0
Suppose -2*m = -y - 3*y + 8, 2*m - 5*y + 10 = 0. Let c be ((-3)/(-5))/((-3)/(-15)). Solve m = -f + c*f for f.
0
Let r be (-4)/3 + 1 - (-1258)/102. Solve -o + r = -4*o for o.
-4
Suppose 4*q + 2*h = 2, 0*h = -3*q + 5*h - 5. Suppose -7*p + 6 = -8. Let i be (-1)/4 + (-122)/(-8). Solve -p*n - n + i = q for n.
5
Let w be ((-1)/4)/((-1)/8). Suppose j - 3 - 6 = -w*b, -3*j + 27 = 5*b. Solve -5*l - j = -24 for l.
3
Let m be (10*2/12)/((-3)/(-9)). Solve -m*q - 22 - 3 = 0 for q.
-5
Let a(y) = -y**3 - 11*y**2 - 11*y - 7. Let l be a(-10). Suppose 4*j = -r - r - 8, 0 = -l*j - 15. Solve 2*c - 5*c + r = 0 for c.
2
Let z be 0 - 92/(-1 + -1). Suppose 266 = 5*b - 4. Suppose -5*r + 2*v = -z, -3*v - b = -4*r - 13. Solve -3*m + 20 = r for m.
4
Suppose -2*t = -2*n + 26, 1 = -3*n - 4*t + 5. Let o be 74/n - (-5)/(-20). Suppose 0 = 4*z - z - o. Solve 13 + 2 = z*i for i.
5
Suppose -30 = -d - d. Suppose -2*w + 5*w = d. Solve 1 + 9 = -w*m for m.
-2
Let h be (3 + 3)/(9/12). Let k(g) = -g**2 + 8*g. Let a be k(h). Solve -4*v + 16 = -a*v for v.
4
Let p(c) = c**2 - 6*c. Let y be p(6). Let a be -2*(-1 - y) - -8. Solve 0 = 2*g - 0*g + a for g.
-5
Let i(r) = -r. Let m be i(-3). Let p(t) = -2*t**2 - 14*t - 9. Let w be p(-6). Suppose -b = -w*b + 4. Solve b*c - c = m for c.
3
Let d(r) = -15*r + 23. Let j(x) = 7*x - 11. Let p(k) = 6*d(k) + 13*j(k). Let q be p(5). Solve v - 2 - 2 = q for v.
4
Let d = -8 + 14. Solve d*m = 2*m + 8 for m.
2
Suppose -48 = -5*d - 23. Solve 18 + 2 = -d*x for x.
-4
Let d(z) = -z**2 - z + 13. Let t be d(0). Let v = -7 + t. Solve -3*s = -v*s for s.
0
Let a = -8 + 10. Suppose 0 = 4*q + 2*w - 20, 3*w = -q + 4*q - 24. Let t = 2 + -2. Solve a*y + y + q = t for y.
-2
Let q = -46 + 66. Solve l = -3*l - q for l.
-5
Suppose -5*k - 2*b - 103 = -28, -3*k - 4*b - 45 = 0. Let o = -12 - k. Solve o*m - 14 = -2 for m.
4
Suppose 2*h = -3*k + 17, -3*h + 21 = -k + 4*k. Solve -h + 0 = -f for f.
4
Suppose 1 = 2*m - j, 3*m - 3*j = -2 + 5. Let l = m + 0. Suppose 3*g = -5*d - 19, -2*g + 24 = -l*g - 4*d. Solve -g = a + 1 for a.
-3
Suppose -25 = 5*q, j = -q - q - 9. Let h be 1*(2 + 1)*1. Solve 2*k = j - h for k.
-1
Let r = -18 + 26. Solve -r*b + 4*b = 12 for b.
-3
Let o be (-9)/6*10/(-3). Let c(u) be the first derivative of -u**3/3 + 5*u**2/2 + u - 5. Let y be c(o). Solve 0*s + y = -s for s.
-1
Suppose 5*j + 30 = 7*j. Solve t - j = -4*t for t.
3
Let r(m) = -m + 12. Let b be r(8). Let x be ((-6)/b)/((-15)/20). Solve -x*t - 2*t - 8 = 0 for t.
-2
Let s(x) = -2*x - 1. Let z be s(-3). Suppose 5*u = -0*r + r + 18, -z*r - 6 = -4*u. Solve -11 = -u*c + 1 for c.
3
Let w(m) = -4*m - 11. Let z be w(-4). Solve z + 1 = 2*j for j.
3
Let d(q) = -q**2 - 6*q - 6. Let l be d(-3). Suppose -z + l = -2*x - 0*