4*j - 20 = 4*t. Let h = 8 + j. Solve -2*f + h + 1 = 0 for f.
3
Let c be ((-12)/8)/((-3)/4). Solve -c = 5*y + 8 for y.
-2
Let c(o) = -o**2 + 5. Let w be c(0). Suppose 3*h + 21 = i + w*h, -87 = -5*i - 4*h. Solve 0*b + i = 5*b for b.
3
Suppose 18 - 10 = 4*j. Solve 2 = -0*z + j*z for z.
1
Let n = 6 - 4. Suppose -5*c = -4*q + 27, n = q + 5*c + 14. Solve -3 = 2*x + q for x.
-3
Let z = 18 - 13. Let v = -106 - -108. Let t(w) = -w + 1. Let u be t(-4). Solve z + u = v*c for c.
5
Let w be (0 - (1 + -1))/(-2*1). Solve -2*s - 2 = -w*s for s.
-1
Let l = 0 + 0. Suppose l = -0*n - n + 3. Solve -7*j = -n*j for j.
0
Let x(y) = 2*y. Let q be x(2). Solve 9*r + 25 = q*r for r.
-5
Let a = -82 + 83. Let i be 2*5*(-1)/(-2). Solve x = a - i for x.
-4
Let m = -23 + 29. Solve 2*g - 12 = m*g for g.
-3
Suppose -6*g = 4*g - 120. Solve 0 = -2*v - v + g for v.
4
Let t = 8 + 8. Let m(q) = q**3 - q**2 + q + 2. Let d be m(2). Suppose -3*r = r - 4*z + t, -r - 2*z = -d. Solve -2 = v - r for v.
-2
Let r(z) = z**2 - 11*z - 12. Let o be r(13). Solve o - 5 = 3*t for t.
3
Suppose h + 15 = 3*u, -5*u + 15 = h - 10. Suppose 8*w + 21 = 5*w. Let g be -2 - (1 + w - -2). Solve h = 5*o - g*o - 9 for o.
3
Suppose 0 = l - 5*l - 12, 4*y + 5*l + 15 = 0. Solve 0 = -y*v + 4*v - 8 for v.
2
Let m(d) = d**2 - 4*d. Let i be m(5). Solve z + 4*z + i = 0 for z.
-1
Let y = 6 + 3. Suppose 5*h = 6 + y. Let p = h + 2. Solve 0 = i - 6*i - p for i.
-1
Let v be 0 - 0/(4/(-4) + 2). Solve -2*y + 10 = -v*y for y.
5
Suppose 4*b + 29 - 8 = 5*n, 2*n = -3*b - 10. Let a = b - -4. Solve a*f = -3*f + 9 for f.
3
Suppose -4*j + 5*f = -20, 0*j - 16 = -3*j + 4*f. Suppose 0*v - 5 = -v. Let n(l) = -l**2 + 5*l + 4. Let o be n(v). Solve j = -o*p + p + 6 for p.
2
Suppose -19 = 2*t - 5*o - 49, -15 = -t - 5*o. Suppose -2*i = i - t. Solve i*f - 2*f = 9 for f.
3
Let a(j) be the first derivative of -5*j - 1/2*j**2 - 2. Let s be a(-5). Solve f = -s*f for f.
0
Suppose -11 = -4*h + 3*g, -h + 6 = 2*h - 3*g. Suppose -5 = 3*i + h*t, 2*i = -3*i - 2*t - 2. Solve -3*d - 12 = -i*d for d.
-4
Let v(t) = t - 9. Let o be v(11). Solve k + k = o for k.
1
Let a(g) = -g**2 + 13*g + 4. Let t be a(13). Solve -3*c - t = -2*c for c.
-4
Let p be ((-8)/4)/(1/(-3)). Suppose -p*k = -4*k - 70. Solve 10 = 5*j + k for j.
-5
Let h be (-3)/((15/(-8))/5). Let r = -4 + h. Solve -6 = r*b - 14 for b.
2
Let l(t) = -15*t**2 + t. Let m be l(1). Let w = m - -18. Solve w = 2*f + 2 for f.
1
Let c(t) = -7*t**2 + 7*t + 24. Let u(b) = -8 - 4*b + 3*b**2 - 4 + b**2. Let a(r) = 3*c(r) + 5*u(r). Let p be a(0). Solve 0 + p = -4*f for f.
-3
Let f = -2 + 5. Suppose 0 = -0*x + f*x + 9. Let q be x + 4 + -3 + 2. Solve -z + 6*z = q for z.
0
Let j = 62 - 35. Suppose -2*n + b = 0, 1 = 4*n + b - 5. Let q be n/(2/14) - 0. Solve j = -5*w + q for w.
-4
Suppose 3*k - 2 = 2*n, -5*n - 6*k = -k - 20. Suppose -2*d = n - 6. Suppose 2 = d*g - 0*w + 5*w, 2*g = 4*w + 2. Solve 15 + g = 4*l for l.
4
Let u(a) = 2*a**3 - 2*a**2 - 2*a + 3. Let g be u(2). Solve g - 2 = -f for f.
-5
Suppose -3*x - 2*a = -4, 12 = -6*x + 5*x + 2*a. Let j = x + 5. Solve 0 = -j*k - 0 - 12 for k.
-4
Suppose -q + 2*q - 6 = 0. Suppose -r - 1 + q = 0. Let b(m) = m**2 - 3*m - 2. Let f be b(r). Solve 5*h - h = -f for h.
-2
Let s(a) = -4*a + 13. Let f be s(-3). Solve -g + f = 4*g for g.
5
Suppose 3*h - 6 = -0*h + 2*f, 15 = -3*h - 5*f. Solve 3 + h = -3*t for t.
-1
Let x(f) = f**2 - 2*f - 3. Let v be x(3). Solve 4*y + v*y = -12 for y.
-3
Suppose 2*w - 12 = -0*w. Solve w = 3*l - l for l.
3
Let v(q) = -q**3 + 6*q**2 + 2. Let r be v(6). Solve r = -p - 1 for p.
-3
Let v = 8 + 1. Suppose v = -a + 4*q - 7, 5*a - 4*q + 16 = 0. Solve a = x - 4*x for x.
0
Suppose 2*w + 3*z = 11, -4*z = 2*w - 12 - 0. Solve 0 = -0*f - 2*f - w for f.
-2
Let q(o) = -o**3 - 8*o**2 + 8*o + 3. Let x be q(-9). Solve 2*m = -2 + x for m.
5
Suppose -5*c = 2*m - 7*m - 45, -m - 4 = 0. Let j be (-15)/(-6)*4/c. Solve j*d = 1 - 9 for d.
-4
Let j be -2*(-8)/6*3. Let q(o) = 2*o + 2. Let g be q(5). Suppose -4*z + 6 = h, -h = 3*h + 4*z - g. Solve h*l + 0*l = j for l.
4
Suppose 5*k + 3*p - 97 = 0, -99 = -5*k - p - 0*p. Solve -k = -y - 4*y for y.
4
Let k = -7 - -10. Solve 6 = 5*c - k*c for c.
3
Suppose 6 = -3*f + 36. Let w = f + -2. Let k be w*((-3)/(-6))/1. Solve 3*s - 2 = k*s for s.
-2
Let r = 11 - 9. Solve 0*f = -r*f for f.
0
Let a(i) = 3*i**2. Let n be a(2). Let k = n - 8. Suppose -4*q - k = 4*v, v + 3*q = -q - 16. Solve 3*r - v*r = -5 for r.
5
Suppose 5*n - 5 = 10. Solve 0 = 3*t - 2*t - n for t.
3
Suppose 2*f - 6*f = 28. Let n be ((-4)/f)/(2/7). Solve 0 - 8 = n*c for c.
-4
Let c = 26 - 16. Let v(o) = -o**3 - 7*o**2 - 6. Let d be v(-7). Let f be 0/1 + d + 8. Solve -7*t - c = -f*t for t.
-2
Let d(x) = -x**2 - 10*x + 5. Let y be d(-10). Suppose -4*r - 3*a + 28 = a, -y*a = -5*r - 15. Solve -r*v = 3*v + 20 for v.
-4
Let i be 3 + 3*4/12. Suppose -2*p + i + 4 = 0. Solve 13 = -p*m - 3 for m.
-4
Let s(b) = -b**3 + 6*b**2 - 5*b + 2. Let w be s(5). Suppose w*n = -4*r - 0 + 2, 4*r = -5*n - 13. Solve -r*j - 4 = j for j.
-1
Let c(d) = d**3 + d**2 - d. Let l be c(0). Solve l = 4*v - 6*v + 4 for v.
2
Let r(i) = i**3 + 8*i**2 + 11*i - 6. Let u be r(-6). Solve u = 2*j + j + 6 for j.
-2
Suppose -5*z = 6*y - 4*y - 23, 3*z - 29 = -5*y. Solve -4 = -y*b - 0*b for b.
1
Let z = 0 - -4. Suppose -z = 2*y - 4*y. Let t be (y*1)/((-18)/(-45)). Solve 10 = -t*q - 0*q for q.
-2
Let k(j) = j**2 - 7*j + 6. Let c be k(9). Suppose 0*d - 3*d = -c. Solve -d = 2*v - 4*v for v.
4
Let w(x) = -x**3 - 2*x**2 - 5*x - 1. Let t be w(-3). Solve 0 = -4*q - 7 + t for q.
4
Let r(l) = l**3 - 6*l**2 + 7*l - 5. Suppose 4*g = 2*g + 10. Let q be r(g). Suppose -13 - 17 = -q*t. Solve -b + t = 1 for b.
5
Let x(y) = -y**3 - 6*y**2 + y + 3. Let d be x(-6). Let k(z) = -z + 25. Let w be k(18). Let i = w + d. Solve i*j = -9 - 11 for j.
-5
Suppose -p + 7 = 5. Suppose 0 = -n + p*n. Let o(k) = -k**2 + 6*k + 6. Let b be o(6). Solve n = b*g - 3*g + 9 for g.
-3
Suppose -2*b - 3*b + 15 = 0. Suppose -5*u - 30 = -i, 0*i + b*i + 3*u - 54 = 0. Solve -7*v + i = -2*v for v.
4
Let k be (-1)/(2 - (-5)/(-3)). Let i(b) = b**3 + 3*b**2 - b + 2. Let y be i(k). Solve -y = 3*p - 4*p for p.
5
Suppose -6*y + 4*y + 28 = 0. Let l be (-2)/7 - (-284)/y. Solve -3*m - l = -7*m for m.
5
Let k = 7 + -4. Let m = -4 + 6. Solve -k + m = -h for h.
1
Let t be (2/(-4))/((-6)/(-96)). Let o = t - -13. Solve -2*u = o - 3 for u.
-1
Suppose -4*s - 4 + 0 = 0. Let r be s/(1/2)*-2. Solve r*q = -q - 25 for q.
-5
Suppose -3*p - 23 = -4*n, -3*p - 3 = -12. Let c be 2/(-3)*(n - 17). Solve -2*i + c = -4 for i.
5
Suppose -2 = 5*p - 3*i - 38, 5*i = p + 6. Let w(j) = -30*j + 29*j + 4 - 3 + 5. Let y be w(4). Solve -1 = y*t - p for t.
4
Let o(f) = 4*f**2 + 4*f - 3. Let j be o(1). Solve 0 = -j*b + 19 + 6 for b.
5
Suppose 13*x = 8*x + 100. Solve -6*z + z + x = 0 for z.
4
Let y be (50/(-8))/((-2)/8). Let m = y + -17. Suppose -t = -z + m, 3*z - 4*t - 37 = -2*z. Solve z*a = -0*a - 25 for a.
-5
Let q be 1 - 2/(-5 - -3). Suppose -20 = -q*y + 4*g, -5*g = 2*y + y + 3. Suppose 2*j - 42 = -8*i + 3*i, 34 = 5*i + 4*j. Solve -10 = y*t + i for t.
-5
Let f = -9 + 4. Let x be 22/10 - (-1)/f. Solve -1 = -x*s + 3 for s.
2
Let p be (-9)/6*2/(-1). Solve -6 = -c + p*c for c.
-3
Let f be 1/(-2 - (-22)/10). Suppose -5*l + 5*b + f = 0, 5 = 6*l - 2*l - 3*b. Solve -l*a = a for a.
0
Suppose -1 = -0*j - j. Let i(d) = -d**2 - d + 1. Let t be i(j). Let h be (-2)/(-3 - t) - -8. Solve -4*x = -x - h for x.
3
Suppose 5*f + 12 - 36 = -3*y, 3*f + 5*y = 24. Suppose -f*s - 2*s + 60 = 0. Solve s = p + 2*p for p.
4
Suppose -5*v - 8 + 2 = 3*b, 5*v + 2 = -b. Suppose 0 = 2*u - v - 10. Let l be (-10)/(-15) + (-13)/(-3). Solve -u*o = -l - 15 for o.
4
Let j be 7/((-21)/(-66)) - -1. Suppose -5*l = -3*g + 11 + j, -4*l = 4*g - 88. Solve 3*m - g = -3 for m.
5
Let j = -4 - -8. Suppose -5*c = -j*c. Solve w = -c*w - 3 for w.
-3
Let x = 29 + -24. Solve 3*o - 4 - x = 0 for o.
3
Suppose -90 - 30 = -3*o. Suppose 0 = -5*m + 3*m + o. Solve -4*r + m = -0*r for r.
5
Let v = -6 + 10. Suppose v = -i + 3*i. Solve 3*u = -i*u - 5 for u.
-1
Suppose -2*x - 38 = -4*b + 8, -4*b + 44 = -4*x. Suppose b = 4*a + 2*g, -3*g + 4*g = -3*a + 10. Solve 19 = a*n - 1 for n.
5
Let a be (-16)/5 - (-1)/5. Let n be -1 + (a - -6) + 3. Solve 0*j = -n*j for j.
0
Let n = -8 + 18. Let 