(10/15). Solve -c*i - 2 = 6 for i.
-4
Suppose 4*u - 9*u = -30. Let t = -7 - -4. Let i = t + u. Solve -16 = i*x + x for x.
-4
Suppose -9*v + 15 = -4*v. Solve -4*w + 4 = -v*w for w.
4
Let f be -3 + 2 + 2 - 6. Let r(o) = -2*o - 8. Let j be r(f). Solve j*p + 2 = 8 for p.
3
Let c be 1/(-2)*0 + 0. Suppose v - 2 = -c*v. Solve v*r = 1 + 3 for r.
2
Suppose 3*n - 2*n + 3 = 0. Let y be -3 + (-3)/(n/5). Solve -y - 1 = -t for t.
3
Suppose -4*h + 5 = -3*h + 2*k, 0 = h - k - 8. Solve -x = h - 5 for x.
-2
Let j be 4/6 - (-4)/12. Let c(m) = -m**3 - 6*m**2 - 6*m + 4. Let g be c(-5). Solve -2*f - j = -g for f.
4
Let u(r) = r + 23. Let a be u(-22). Solve -a + 7 = 2*k for k.
3
Suppose 0 = -6*g + 2*g. Suppose -4*q - 6 + 2 = 0. Let r be 2 + (q - -3) + 0. Solve 2*y + g = -r for y.
-2
Suppose g + 9 = 2*g - 2*z, -4*z - 8 = 0. Solve g*n - 12 = -n for n.
2
Let u(k) = k**2 + k. Let n be u(-1). Let z be (-7)/(-14)*-2*-3. Solve 2*c + z + 5 = n for c.
-4
Suppose -3*b - 24 = -4*b + 5*s, 3*b = -2*s + 4. Suppose -b*j - 2 = -18. Suppose 9 = c + j*o, 6 = 3*c + 2*o - 1. Solve -3*k + c + 14 = 0 for k.
5
Suppose -2*g + 12 = 2. Solve 0 = -g*q + q - 20 for q.
-5
Let q = -1 - -4. Suppose 0 = 7*p - q*p - 8. Suppose 4*a + 4*h - 4 = -0, -p*h = a + 3. Solve -27 = -a*b - 2 for b.
5
Let i = 98 + -98. Solve i = -4*q + 2*q + 10 for q.
5
Let i(s) = s**3 - 6*s**2 + s - 8. Let g be i(6). Let v(x) be the third derivative of -x**4/4 - x**2. Let a be v(g). Solve -3*c + a = 3 for c.
3
Let d be (-2)/(-5)*(1 - -39). Let v = 7 - 1. Let c be v/1 + 0/(-8). Solve -c*n = -2*n - d for n.
4
Suppose -y = -3 + 2. Solve 0 = -b + y + 1 for b.
2
Let w = 2 - 1. Suppose -2*z = -3*o + 8, -3*o + 3*z + 3 = -6. Let v be 0/(w*(o + 0)). Solve -3*x + x = v for x.
0
Let g be (-3)/(6/(-16))*2 - 1. Solve 2*r - 7*r - g = 0 for r.
-3
Suppose -26 = -4*i - 6. Let z = -25 + 27. Suppose 0 = -d - z*d + 3. Solve -3*h + d = -i for h.
2
Suppose -j - 2 = 2*l, 5*l + 5*j + 15 = -0*l. Solve 2*g - 5 = l for g.
3
Let t = -9 + 11. Let g(i) = -i**2 + 7*i - 2. Let o be g(5). Solve -t*f - 2*f = -o for f.
2
Suppose 12 = 3*d - 15. Solve -v - d = -4 for v.
-5
Let r = 14 - 8. Let m(y) = -2 - 2*y - r*y - y**2 - 4. Let p be m(-4). Solve -4*v + 6*v = -p for v.
-5
Let y = 41 - 41. Solve 0 = -y*h + 2*h + 6 for h.
-3
Let d be 4/6 + (260/(-12))/(-5). Solve -2*i - d = -i for i.
-5
Let t be (4/(-18) - (-7)/(-9)) + 4. Solve t = 3*u + 9 for u.
-2
Suppose 0 = i + 2*i - 6. Suppose 2*y = -i*x - x + 5, -3*y + 15 = -3*x. Solve -y*k = k - 25 for k.
5
Let n(f) = 8*f**2 + 3*f + 2. Let l be n(-1). Solve -4*u + l = -9 for u.
4
Suppose 4*a + 1 - 9 = 0. Let u(t) = 3*t. Let v be u(a). Solve -2*z = -v*z + 16 for z.
4
Let k be (-6*6/9 + 4)/(-2). Solve 3*l - 8*l + 25 = k for l.
5
Let z be 0/(0 - -6 - 3). Suppose -2*i + 2*j + 24 = z, -5*j - 23 + 7 = -i. Let o = i - 5. Solve 2*u = 4 - o for u.
-1
Let d be (-2 + 6)/(2/(-11)). Let l be 2/(0 + (-4)/d). Suppose 2*k - l = -m, 0*m + 5*m - 28 = -k. Solve -1 = -m*u + 4 for u.
1
Let v = -10 - -21. Let y = v + -11. Solve y*j - 4*j - 8 = 0 for j.
-2
Let l be 4 + 5 - -1*(-4)/2. Let z(b) = b**2 + 2*b - 5. Let a(c) = -c**3 + 5*c**2 - 5*c. Let j be a(4). Let x be z(j). Solve -x*h + 1 = l for h.
-2
Suppose 3*y - 29 = -2*h, h - 2*y - 3*y - 21 = 0. Solve -5*a + h = 6 for a.
2
Let a be 3 - 3 - (-7 + 2). Suppose 2*n - 7 = a. Solve n*q = 3*q - 6 for q.
-2
Let a = 25 + -7. Let r be -5 + a - (1 - 0). Solve 7*z = 4*z - r for z.
-4
Let j be (-1 - 14)*5/(-15). Let u be (-8)/(-10) - 4/j. Solve d + u = 3 for d.
3
Let v(m) = -2*m. Suppose -5*a = 4*q - 2, 4*a + 8 = 2*q - 6. Let p be v(a). Suppose -37 = -p*b - 2*z + 25, -b + 5*z = -32. Solve -3 = 4*d + b for d.
-5
Let x = -64 - -75. Solve 3*w = -1 - x for w.
-4
Let d = -6 - -9. Suppose -d*u - 15 = 3*w, 2*w = 4*u - 4 - 0. Let l(k) = k**3 + 3*k**2 - 6*k - 3. Let g be l(w). Solve -g - 5 = 2*r for r.
-5
Suppose f - 15 = 3*d, 0*d = -4*d - 2*f - 20. Let h = 6 + d. Solve 0 = o - h - 0 for o.
1
Suppose -3*h + 3 = -12. Solve -2*c = -h*c - 6 for c.
-2
Let v = 2 + 8. Suppose 2*n - 4*w = -12, -4*n - 3*w + 21 = -v. Solve 0 = -4*b - n for b.
-1
Let k(w) = w - 3. Let p be k(11). Solve v - p = -3*v for v.
2
Suppose -29 = -2*q + 15. Let x = 25 - q. Solve x*h + 1 = 4 for h.
1
Suppose 0 = 2*o - 7*o + 20. Solve -4 = -5*n + o*n for n.
4
Let z(x) = x**3 + x**2. Let o(b) = -3*b**3 - b**2 - 2*b - 4. Let m(q) = -o(q) - 4*z(q). Let h be m(-3). Let k be h/(-6) - 11/(-3). Solve -k*p = -8 + 24 for p.
-4
Let c = 7 - 16. Let x = c - -13. Suppose -x*v + 6 = -v. Solve -3*i = -v - 13 for i.
5
Let g be 9 - 13 - (1 + -6). Solve 1 = -2*f - g for f.
-1
Suppose -4*k = -2*k - 6. Let g = k - 3. Let f = -9 - -15. Solve n - 3*n + f = g for n.
3
Suppose 0 = -3*t - 4*j - 20, 3*j - j + 10 = -3*t. Solve t = -6*w + 7*w + 1 for w.
-1
Let j(t) = t**2 + t - 1. Let c be j(2). Suppose -c*k = -6*k. Solve 2*o = -k*o + 6 for o.
3
Let y(z) = -z**3 - 5*z**2 + 6*z + 3. Let a be y(-6). Solve -2 = 5*w + a for w.
-1
Let c be (-22)/(-8) + (-1)/(-4). Let w = 3 + 0. Suppose -c - w = -k. Solve -3 = 3*b - k for b.
1
Suppose -5*c + 3*x + 14 = 0, -4*c - 4*x - 10 = -2. Suppose 3*o - 2 - 4 = 0. Solve o*k + c + 1 = 0 for k.
-1
Let u(q) = 2*q**2 + 12*q - 3. Let c(m) = 5*m**2 + 25*m - 6. Let j(i) = -3*c(i) + 7*u(i). Let r be j(8). Solve -3*a - r - 1 = 0 for a.
-2
Suppose -2*j = j. Let s(q) = -3*q - q**2 - 7 + j*q - 5*q. Let f be s(-7). Solve -l - 2 + f = 0 for l.
-2
Let c = 12 - -4. Suppose -3*n - 2*k + 24 = k, 2*n - c = -4*k. Solve -7*o - n = -3*o for o.
-2
Let n = 35 + -35. Solve n = -4*y + 1 + 7 for y.
2
Let j(u) be the first derivative of u**3/3 - 4*u**2 - 3*u - 2. Let z be j(8). Let l be z + -10*(-3)/6. Solve 2*o + 8 = l for o.
-3
Let g = -90 - -95. Solve 0 = -3*z - 2*z + g for z.
1
Suppose -2*q - z + 26 = -0*z, 3*q - 4*z - 50 = 0. Let k be ((-6)/4)/((-7)/q). Solve k + 5 = -4*j for j.
-2
Let c be (-3)/(-2 - 2/(-4)). Suppose 0 = -5*s + c*j, 3*s - 3*j = 8*s. Suppose 0*z + 4*n = 5*z - 36, s = z - 3*n - 5. Solve 2*k - z = -0*k for k.
4
Let r be (-3)/(-5) - 60/100. Solve 15*a - 12*a = r for a.
0
Let z(t) = -t**3 + 3*t**2 + 3*t + 3. Let u be z(4). Let l be (3/u)/1*-5. Solve c + l = 6*c for c.
3
Let w = -10 - -11. Solve 2 = j + w for j.
1
Let g = -7 + 5. Let i be 80/45 + g/(-9). Solve 3*a + i = 2*a for a.
-2
Let h be (3 + -4)*(2 + -7). Solve -h = -3*y - 2 for y.
1
Let v(c) = -c**2 + 6*c - 4. Let l be v(4). Let m(x) = x + 3. Let b be m(-3). Suppose b*s - 17 = -s + l*f, -4*s + 23 = -f. Solve j - s = -4*j for j.
1
Let n = 4 + -4. Suppose 2*a - 4*a = n. Let v be ((-1)/2 - -1)*a. Solve -5*t - 2 + 12 = v for t.
2
Let h = 11 - 3. Let f = -4 + h. Solve 0 = -7*k + f*k - 9 for k.
-3
Suppose 0 = 2*g - 4*p - 16, 3*p + 4 = 5*g - 8. Suppose 5*j = 2*c - g + 11, -5*c + 13 = j. Suppose 3*h = c*x - h - 12, 5*x = -h + 8. Solve -4*b = -x*b for b.
0
Let x = 11 - 11. Solve x = 2*b + 2 - 10 for b.
4
Let n(o) = o**3 + 3*o. Let p be n(3). Suppose 0 = 3*l + 9 - p. Let x = 9 - l. Solve 4*i = -x*i for i.
0
Let d be 4/12*-2*-3. Solve 0 = u + 1 + d for u.
-3
Suppose 5*r - 17 = -2*t, 0*t - 20 = -3*t - 2*r. Suppose -8*j = -5*j - 24. Suppose -j = -2*n + 2. Solve 0 = n*h - t*h for h.
0
Suppose -3*z = -3 - 0. Solve z = -0*r - r for r.
-1
Suppose 2*j = -5*y + 4 - 5, -12 = -5*j + 2*y. Suppose -k = j + 2, -5*s + 5 = 5*k. Suppose 5 = s*b - 25. Solve x + 20 = b*x for x.
4
Suppose 6*k = 3*k + 3. Let j = 4 + 0. Suppose 5*l = -d + 2 + 1, -2*d + 6 = -j*l. Solve d*r = 5 + k for r.
2
Let w(o) = -o**3 - 5*o**2 - o - 7. Let a be w(-5). Let j = a + 4. Suppose j*c - 5*c = 0. Solve -5*n + 0*n = c for n.
0
Let k = -6 + 11. Suppose k*b - 19 + 4 = 0. Solve 7 = b*t + 1 for t.
2
Let h(d) = -d**3 + 8*d**2 + 2*d - 12. Let g be h(8). Suppose -b = 2*f + 3*f - 1, g*f - 4 = -4*b. Solve f*p = 3*p for p.
0
Let n be 315/36 + ((-30)/(-8))/(-5). Solve 0 = 4*q - n*q for q.
0
Let o(f) = -5*f - 24. Let z be o(-8). Solve 5*q - q = -z for q.
-4
Let q = 1 - 7. Let m be q/(48/(-21) + 2). Let a = m + -6. Solve 4*r + a = -1 for r.
-4
Let f = 6 - 4. Let r be (-2 + 2)*1/f. Let x be (-1 - (1 + -2)) + 2. Solve -x*p - p + 3 = r for p.
1
Suppose 3*j - 4*j = -7*j. Solve j = g - 2*g - 3 for g.
-3
Let j be (-11)/(-3) + (-1)/(-3). Let f = j + -4. Solve f = -0*v - 2*v for v.
0
Let k = -99 - -104. Solve 10*d - k*d = 20 for d.
4
Let c be 2 - (3 - 4) - -1. Suppose c