 y be (-33)/a - 12/16. Suppose -6*h + 3*g + 15 = -h, 5*g = -3*h + 9. Solve 1 = -h*j - y for j.
-1
Let u(b) = b**2 - 5*b + 4. Let v be u(6). Solve -5*w + 10 = -v for w.
4
Suppose -2*x = -4 - 4. Solve 0 = x*c - 20 for c.
5
Let c(h) = h**2 + 6*h - 7. Let y be c(-7). Solve y = -t + 4 - 0 for t.
4
Let a = 3 - 3. Suppose -3*s - 2*s + 20 = a. Solve -12 = -c + s*c for c.
-4
Let c = 13 + -5. Let z(l) = -l**3 + 8*l**2 + 4. Let x be z(c). Let m be 200/x*(-2)/(-5). Solve -m = -5*w + 5 for w.
5
Let t be -4*(2/(-2))/1. Suppose -u - 16 = 3*u. Let a = t + u. Solve 2*i + 1 - 9 = a for i.
4
Let s = -11 + 15. Suppose -9*b + 4*b = 0. Solve -m = -b - s for m.
4
Suppose -6*i + 0*i = 0. Solve -h + 2*h + 5 = i for h.
-5
Let v(c) = 2*c**2 + 4*c + 3. Let h be v(-2). Suppose -h*y + 0*y + 6 = 0. Let i = 7 - 4. Solve y*w - w = -i for w.
-3
Let l(a) = a**3 - 4*a**2 + 2. Let t be l(4). Solve 0 = 4*o - t*o + 8 for o.
-4
Let i be 14*((-10)/(-4) - 2). Let l = -4 + i. Solve l*j + 5 = 2 for j.
-1
Let n = -14 + 12. Let q be (3 - (-7)/n)*-22. Solve 4*j - 31 + q = 0 for j.
5
Suppose 145*j = 144*j + 5. Solve -j*n - 5 + 25 = 0 for n.
4
Suppose 0*i = -2*i. Let x be (i - 2)*1/2. Let d be (x + 0)*(-9 - -6). Solve 0 = d*f + f for f.
0
Suppose -4 = -x - 3. Let h be 2 + x*0/(-2). Solve h - 6 = 4*t for t.
-1
Let k(l) = -2*l**3 - 11*l**2 + 5*l - 3. Let n be k(-6). Solve 6*t = n*t - 6 for t.
-2
Let p be -7*(-8)/56 + 1 + 10. Let y(x) = 6*x**2 - x + 1. Let u be y(1). Solve 2*j - p = u*j for j.
-3
Let o = 19 - 76. Let q be (-4)/(-14) + o/(-21). Solve 5 = q*m - 4 for m.
3
Let r(k) = k - 1. Let x be r(3). Suppose 0 = 7*m - 3*m. Suppose 5*l + 5*o = 0, m = -3*l - x*l + 5*o + 20. Solve 0 = l*j - 3*j + 2 for j.
2
Let n(b) = b**3 + 7*b**2 + 3. Let p be n(-7). Solve u = p*u for u.
0
Let o be (-6)/((-1 + -1)*1). Let c(g) = -g**2 - 10*g + 13. Let w be c(-11). Solve 10 = -o*d - w*d for d.
-2
Suppose 4 = b - s, 3*b + 3*s - 6 = -0*b. Suppose -2*r + b*v = -3, -4*r - 3*v - 3 = -0*v. Suppose 0*q - q + 2*j = 0, -j + 1 = r. Solve -q - 1 = -3*x for x.
1
Let b = 97 + -72. Solve -b = -9*q + 4*q for q.
5
Suppose -40*d = -31*d - 45. Solve -u = -d*u + 12 for u.
3
Suppose -2*h + 5 = -y - 0, 5*y - 4*h + 1 = 0. Solve -y*j - 2 = -j for j.
-1
Let k(u) = -u**2 + 15*u + 3. Let o be k(15). Solve o*a - 10 = -25 for a.
-5
Let b(t) = t + 9. Let u be b(-7). Suppose u*s = -s. Let m = -6 + 11. Solve d + s*d = -m for d.
-5
Let g = -19 - -29. Solve p + g = 6*p for p.
2
Let w(t) = -t**3 - t + 15. Let l be w(0). Solve 0*r + 5*r + l = 0 for r.
-3
Suppose 0 = 2*k - 15 + 5. Suppose -s = 3, 4*s = 2*h - 13 - k. Solve 0 = 4*b - h*b for b.
0
Let u be (-2)/5 - (-77)/5. Suppose u + 53 = 4*c. Solve 4*l = 5 - c for l.
-3
Suppose 0 = -x + 5*q - 18, -5*q + 2*q = -2*x - 8. Solve x*l = 3*l for l.
0
Let o = -21 + 24. Suppose 0*b + b = 0. Solve o*n = -b*n + 6 for n.
2
Suppose 4*u = 9*u - 25. Solve 2 = -u*l - 8 for l.
-2
Let p(m) = -m**3 + 6*m**2 + 4. Let a be p(6). Suppose a = f - 0. Solve -f = 3*w - 1 for w.
-1
Let z = 2 + 1. Suppose -21*q - 3*q + 48 = 0. Solve -z*k = q*k - 25 for k.
5
Let k be (-12)/3 - (-8)/1. Solve 3*x = k*x for x.
0
Let a(c) = -c - 9. Let g = -11 - 1. Let k be a(g). Let s(y) = y**2 - y - 3. Let x be s(k). Solve 0 = x*n - 16 + 4 for n.
4
Suppose -5*h + 5*x = 35, -6*h + h - 19 = -x. Let q be (-1 - -2)*(0 - h). Suppose -12 = -v - 2*u, -2*v + 74 = 3*v + 3*u. Solve -q*t = t - v for t.
4
Let g = -8 - -8. Let q be 0 + g/(-3 + 4). Solve -k + q = 2 for k.
-2
Suppose 3*p - 12 = -t - 1, -3*p + 2*t = -5. Let v(g) = g + 4. Let u be v(-2). Solve 0 = -p*s - u*s + 10 for s.
2
Suppose 0 = 9*d - 5*d - 16. Solve 0*f - d*f = 4 for f.
-1
Let m = -15 + 15. Solve m = 3*x + 2*x for x.
0
Let a be (-3 - (-5)/2)*2. Let v be 1 - a - (-1 - -3). Solve v = x - 4*x for x.
0
Let h be (-1)/((7/2)/(-7)). Suppose 7*v = h*v + 25. Solve s - v = -0*s for s.
5
Suppose -5*q + 37 = -2*c + 11, 4*q + 5*c - 1 = 0. Solve 0 = 2*t + q*t - 12 for t.
2
Let t(k) = -k**3 + 31*k**2 + k - 25. Let p be t(31). Solve -3*i = -p*i + 6 for i.
2
Let z(u) = -u - 1. Suppose 0 = 4*x + 6 - 2. Let k be z(x). Suppose q + q = k. Solve -t - 3*t - 4 = q for t.
-1
Let f(r) = -r. Let i be f(-2). Suppose x = -i*x. Solve x = -j + 1 - 0 for j.
1
Suppose -10 = -6*a + a. Let p = a - -2. Let k = 1155 - 1128. Solve p*z - k = -11 for z.
4
Let a(j) = j + 1. Let b = 11 + -9. Let d be a(b). Solve -z = -2*z + d for z.
3
Let y be -2 - 18/(6/3). Let a = -7 - y. Solve a*b = b - 12 for b.
-4
Suppose 7*u = 4*u + 3*r, 5*u + 2*r - 7 = 0. Let t be u*3 - (-2 - -3). Suppose -f + 12 = t*f. Solve -g + f*g = -9 for g.
-3
Let h(n) = -n - 5. Let m(t) = -t**3 - 7*t**2 + 2*t + 10. Let l be m(-7). Let w be h(l). Let a = -1 - w. Solve 4*p + a - 12 = 0 for p.
3
Let i be (-4 - -2)*24/(-16). Solve -5*p = -6*p - i for p.
-3
Let d = -3 - -8. Suppose -3*s = -d*n + s + 7, n - 9 = -3*s. Solve -1 = n*q - 4*q for q.
1
Suppose 3*r = -2*w - 9, -5*w - 5*r - 6 = -3*r. Solve w = -x - 0 + 4 for x.
4
Suppose 0 = 5*j + 4*b - 32, -5*j = -0*b + 2*b - 26. Solve j*v - 2 = -14 for v.
-3
Let c(t) = -t**2 + 5*t + 15. Let a be c(7). Solve -a = 2*h + 3 for h.
-2
Let c(b) be the second derivative of -b**5/20 - 7*b**4/12 - b**3/6 - 3*b**2/2 - b. Let l be c(-7). Solve 0*h + 2*h - l = 0 for h.
2
Let q be (-96)/12*(-1)/2. Suppose q*d = 2*d. Solve d = -b + 2 - 1 for b.
1
Let t(d) = -d**3 + 4*d**2 + 6*d - 3. Let b(c) = -c + 12. Let p be b(7). Let z be t(p). Solve -r + z*r - 3 = 0 for r.
3
Suppose -22 = -3*t + 14. Solve 11*j = 15*j + t for j.
-3
Let o be 4/10 + 4 + 66/(-15). Solve c + 0*c + 4 = o for c.
-4
Let t(q) = 2*q**2 - 2*q - 1. Let r be t(2). Let b = r - 1. Let g = b + 1. Solve 0 = -2*w - g*w + 15 for w.
3
Let t(z) = -1 + 9 + z**3 - 1 + 5*z + 6*z**2 + z. Let l be t(-5). Solve l*a - 10 = -3*a for a.
2
Suppose 2*d - 55 = 29. Suppose -i - 2*i = -d. Solve -4*m - 6 + i = 0 for m.
2
Let m = -7 - -11. Suppose -2*g + 2 = -m. Suppose -g + 18 = 5*j. Solve 11 - j = 4*l for l.
2
Let y(p) = -p**3 + 4*p**2 - 4*p + 2. Let j be y(2). Solve 7*s - j*s = -10 for s.
-2
Let w be (2/12)/((-5)/(-75))*2. Solve -w*j = -4*j - 5 for j.
5
Let i = 24 - 20. Suppose -x - 45 = 4*x. Let y = x - -20. Solve 5*h = i + y for h.
3
Let x = -5 - -9. Let i(n) = n. Let w be i(x). Solve -w*g = -12 - 0 for g.
3
Let p(s) = -4*s - 2. Let h be p(-2). Solve -h = 4*l + 6 for l.
-3
Let t be 0/((-5)/((-20)/16)). Solve 0*v - 3*v = t for v.
0
Let c(j) = -3*j - 24. Let a be c(-16). Let p = a + -24. Solve p = 5*n - 4*n - 2 for n.
2
Let b(d) = 2*d - 1. Let r be b(2). Suppose r*n + i - 24 = -i, 3*i = 4*n - 15. Solve -2*q + n = -4*q for q.
-3
Suppose 0 = y + 4*y - 10. Let n = y + 8. Solve 3*b = -2*b - n for b.
-2
Let c(z) = z**3 + 5*z**2 + 5. Let a be c(-5). Let v = a + -3. Solve 6*t - v*t - 12 = 0 for t.
3
Let l(i) = -i**2 + 2*i + 10. Let r be l(4). Solve -r*h = h - 3 for h.
1
Let k(b) = -2*b + 4. Let l be k(4). Let j be ((-9)/l)/(6/16). Solve j*r = 3*r for r.
0
Let k(p) = -6*p**3 - p**2 - p - 1. Let s be k(-1). Let b = s - 8. Let h be 13/3 - b/(-9). Solve 2 = -2*w + h*w for w.
1
Suppose -2*a + 3*w = 15, 2*w + 9 = -5*a - 0*w. Let r be 0/a*(-2)/(-8). Solve -3*d + d = r for d.
0
Let m be 1/2 + (-4)/8. Solve z - 2*z = m for z.
0
Let t(y) = -y**3 - 8*y**2 - 2*y - 8. Let s be t(-8). Let x = s - 3. Solve 4*m + 3 + x = 0 for m.
-2
Suppose 9*n - 24 = 12. Solve n*b - 2 = 2*b for b.
1
Let c(z) = -z + 13. Let w be c(11). Solve -8 = w*d - 2 for d.
-3
Suppose 3 + 5 = 2*n. Suppose -b = n*b + 55. Let l = b - -16. Solve 0 = -5*v - 0 - l for v.
-1
Let g be 20/7 - (-8)/56. Solve -g*k = 2*k for k.
0
Let t(z) = z**2 - 5*z - 4. Let n be t(6). Suppose n*s = s. Let w be s + 0 - (-5 + 4). Solve -w + 3 = -k for k.
-2
Let c = 2 + -3. Let k be (-8 + -1)*(-8)/12. Let o = k + c. Solve -o*r = -0 - 25 for r.
5
Suppose 3*w = 11 + 1. Solve h + w = -0*h for h.
-4
Let l(d) = d**3 + 4*d**2 - 8*d - 6. Suppose 5*z = 0, 3*v - 7 = -4*z - 22. Let m be l(v). Solve -3 = -4*x + m for x.
3
Suppose b + 9 = -5*s - 6, 3*b = 4*s + 12. Let k be ((-2)/6*b)/(-1). Solve m + 3*m + 16 = k for m.
-4
Let v be ((-25)/(-1) - -2)*1. Let r = v - 7. Suppose 7*x = 2*x + r. Solve -5*y = 16 + x for y.
-4
Let u(o) = 6*o**2 + o. Let m be u(-1). Solve -m*c + 9 + 6 = 0 for c.
3
Suppose 2*j - 4*g = 16, -j + g + 8 = 3*g. Suppose -w - w = -j. Solve -w + 0 = 4*k for k.
-1
Let s be (