Let l = 17 - 5. Let g be (26/(-5))/(l/(-30)). Solve 3 = -5*a + g for a.
2
Suppose -5*k - 2*i - 12 = 0, 0*k - 4*i = -2*k. Let l be (-56)/(-12) + k/3. Suppose d + 3*t + 17 = 7*t, 0 = -l*d + t + 7. Solve d*s = s for s.
0
Let h(u) = 3*u**2 - 40*u + 13. Let j be h(13). Solve -4 = 2*g - j for g.
-2
Let j be ((-4)/(-10))/(-2 - 22/(-10)). Solve 0 = j*i - 8 for i.
4
Let d(a) = 4*a**2 + 2*a. Let l be d(-2). Suppose -3*i - 3 + l = 0. Solve i*v = -0*v - 3 for v.
-1
Suppose -3*c = -7*c. Suppose c = -4*p - 4*o - 2 + 46, -15 = -3*o. Solve -4*u - p = -7*u for u.
2
Suppose 6 = 4*p - 2*p. Suppose 10 = -3*m - p*k + 31, -m - 4*k + 16 = 0. Suppose -q + 2*q = m. Solve q*v - 5 + 1 = 0 for v.
1
Let o = -38 - -40. Let r(m) = m + 4. Let f be r(-4). Suppose 5*z = -f*z. Solve z = o*t - 3*t + 4 for t.
4
Let x(h) = 3*h**3 - 24*h**2 - 3*h + 15. Let j(f) = 4*f**3 - 36*f**2 - 4*f + 23. Let g(u) = -5*j(u) + 7*x(u). Let q be g(-12). Solve q*o - 2 = 2 for o.
2
Let q be (3/3)/((-3)/(-111)). Suppose 2 = -5*f + q. Let u(n) = n**3 - 7*n**2 + n - 3. Let b be u(f). Solve -b*x = -x for x.
0
Let p(j) = 2*j**2 - 26*j + 7. Let a be p(14). Solve -5*w - 10 = -a for w.
5
Let j be ((-15)/(-2) - 1)*2. Let h be (-2)/4 + j/2. Let s be (-7 - -8)*(0 + 0). Solve 2*a + s*a = -h for a.
-3
Let x(k) = k**2 + 12*k + 8. Let b be x(-12). Let t(f) = f**3 + 2*f**2 + f. Let z be t(-1). Suppose 0 = -2*g + b - z. Solve -7 = r - g for r.
-3
Let t(u) be the second derivative of -u**3/6 + u**2/2 - 3*u. Let a be t(-3). Solve -z - a = -2*z for z.
4
Let i = 7 + -4. Solve i*b + b = -16 for b.
-4
Let t = -9 + 16. Let d = t - 5. Solve -d*x = x for x.
0
Let r(u) = -2*u - 8. Suppose 4*m - m = -21. Let b = m + 0. Let h be r(b). Solve 0 = 4*a + h + 6 for a.
-3
Let y(a) = -a**2 + a - 1. Let t be y(1). Let u be t*2 - -2 - -20. Suppose -3*k + 2*n - 10 = 0, 6*k - k + 15 = 3*n. Solve k = -0*h - 4*h + u for h.
5
Suppose -3*d - 9 = -18. Solve -2*z + 3*z - d = 0 for z.
3
Let w = -1 - -4. Suppose -w*q = -5 - 7. Solve 3*n = 2*n + q for n.
4
Suppose 2*a = -4*u + 16, -1 + 5 = 4*u. Solve t - 2 = -a for t.
-4
Let p(x) = 14*x**2 + 39*x - 47. Let v(m) = 5*m**2 + 13*m - 16. Let l(j) = 6*p(j) - 17*v(j). Let s be l(12). Solve s*q - 2 = 8 for q.
5
Let y = -4 + 3. Let a be (-34)/2*(y - 0). Suppose o = -3 - 2, -3*v + o = -a. Solve 2*z + v + 0 = 0 for z.
-2
Let w = 13 - 11. Suppose 8 = 4*d - w*d. Solve 0*s - 16 = d*s for s.
-4
Suppose k - 2 = 6. Solve 3*s = s - k for s.
-4
Let q = -1 + 1. Suppose -4*k = -6*k + 6. Solve q = k*a + a - 12 for a.
3
Suppose 10 = 6*p - 11*p. Let v be (-3)/p - 20/(-8). Solve -v*f + 7*f = 9 for f.
3
Suppose 4*t - 1 = 7. Let v(p) = p**2 - p + 2. Let r be v(t). Suppose r*n + 12 = -4*y, 0*y - y + 1 = 3*n. Solve -n*x = -x - 1 for x.
1
Suppose -3*z - 10 = 2*z. Suppose -8 = -y - 0. Let s = z + y. Solve 0 = 3*p - 6*p - s for p.
-2
Let f(m) = -m**2 - 16*m - 13. Let x be f(-15). Solve -5*k + x = -3 for k.
1
Let d be 23 - (2 - 3)*1. Suppose 3*b = -b + d. Suppose 2*r = -2*n + b + 24, -3*n + 10 = -4*r. Solve 4*f + f - n = 0 for f.
2
Let t be 14/(-4)*(-28 + 26). Solve 11*w = t*w + 4 for w.
1
Let q be (-4)/(-26) + 4/(-26). Suppose 2*k + 6 = q, 5*n + 4*k - 111 = k. Solve -5*s + n = 4 for s.
4
Suppose -7*r + 5 = -2*r, -4*r - 2 = -3*a. Solve 0*x + a*x + 10 = 0 for x.
-5
Let j = -22 + 10. Let i(l) = 2*l + 25. Let q be i(-11). Let x be j/(-9)*q/2. Solve x*t - 1 = t for t.
1
Let g = 10 - 8. Let c = -15 - -9. Let b = 8 + c. Solve g*w + b*w + 4 = 0 for w.
-1
Let o be (-2 - (-6)/4)*(3 + -9). Solve -3 = -o*y + 3 for y.
2
Let d = 20 + -16. Solve -d = 5*p - 3*p for p.
-2
Let m be 2/(-7) + 177/7. Let y be -1 - (-2)/((-4)/(-2)). Solve -2*t - 3*t + m = y for t.
5
Let q(u) = -u**3 + 18*u**2 + 19*u + 20. Let c be q(19). Solve 5*r - c = r for r.
5
Let y(z) = 2*z - 8. Let l be y(5). Solve 1 = l*c + 7 for c.
-3
Suppose 0 = -3*m + 4*l + 28, -l = 4*m + 3*l. Let c be 1*2 - (-3 + 1). Let w be (c/14)/(m/28). Solve w*q = 9 + 1 for q.
5
Let a be (-3)/2*(-4)/(-6). Let d be ((-8)/5)/(a/5). Suppose 0 = -4*x - 9*x + 65. Solve -x*r = -3*r - d for r.
4
Let x = 1 - -1. Suppose -4*t - 28 + 0 = -4*z, x*z - t - 9 = 0. Suppose -2*v = -v - 6. Solve -z*r = -0*r - v for r.
3
Suppose -3*n = 3*o + 9, -2*o = -n + 3*o + 27. Solve n*y - 4*y = 4 for y.
-2
Suppose -31 = -11*y - 9. Solve -4*p = -y*p for p.
0
Let s = -3 - -6. Suppose -s*v + 6 = -9. Let o(j) = -11*j**3 + 2*j**2 - j - 2. Let p be o(-1). Solve -v*i + p = -8 for i.
4
Suppose -p = 2*p - 6. Suppose -d - 21 = -4*a, 4*a - 3*d - p*d = 9. Suppose -3*k + 1 = -5. Solve -k*z - z = a for z.
-2
Let k be (-4)/32*-4*-3*-2. Solve k*i - 2*i = 3 for i.
3
Suppose 0 = 5*f - 4*y - 25, 14 = 4*f + 2*y - 4*y. Solve 9 - f = 2*w for w.
4
Suppose 8*y - 3 = 5*y. Let t be (-2)/3*(2 + y). Let z(w) = -w**3 + w**2 - 2. Let m be z(t). Solve 0 = -2*p - 0 + m for p.
5
Suppose 3 + 2 = -5*w. Let z = 1 - w. Suppose 0 = 4*v - 0*v. Solve -z = -v*l - 2*l for l.
1
Suppose 4*d = 2 - 10. Let z = d + 8. Let v be 2*3/z*3. Solve -l = -4*l - v for l.
-1
Suppose 2*d = -4*r, 5*r = -3*d - 5 + 4. Let w be d/(-4) + 75/10. Solve 0 = -a - a + w for a.
4
Let v(z) = z**2 + 8*z + 4. Let j be v(-8). Suppose j*l - 8*l + 36 = 0. Let m be (3 + -4 + l)/2. Solve -m*a + 10 = a for a.
2
Let o = 1 - -3. Let j = -16 + 16. Suppose -5*h - 4*n - 1 = -j*n, o = -n. Solve -3*q - 3 = h for q.
-2
Suppose 16*r + 29 = 109. Solve -15 = r*o - 2*o for o.
-5
Let q be (1 - -14) + -3 + -4. Suppose 4*b - 12 = -q. Solve 4 + b = w for w.
5
Suppose -x - 2 = -7. Solve -3 = -2*b - x for b.
-1
Suppose 0 = -2*a - 3*d + 2, 2*d = -3*a + 2 + 1. Let s(j) = 8*j**3 + j. Let f be s(a). Solve -y = -4 + f for y.
-5
Suppose -3*h - 17 = 4. Let i(u) = u**3 + 8*u**2 + 5*u - 6. Let f be i(h). Let k = -5 + f. Solve k*y = 2 - 5 for y.
-1
Let x be 2/(-6) - 175/(-21). Solve -7*l = -3*l + x for l.
-2
Let n = 1 + -1. Solve n = 5*f - 3*f for f.
0
Suppose -p - 3*k + 1 = 0, 2*p + 3*k - k = 6. Suppose -15 = -p*j + j. Solve -10 = -5*g + j for g.
3
Let r(v) = -v**2 + 17*v + 8. Let d = -8 + 25. Let g be r(d). Solve 0 = -4*n + g - 24 for n.
-4
Suppose -4*y + 82 = 4*m - 2*m, -4*m + 2*y = -194. Suppose -m + 2 = -5*r. Let z = 13 - r. Solve z*x = -2 + 6 for x.
1
Let l = -14 + 10. Suppose 4 = -5*a + 14, -2*d - 52 = -a. Let c be (d/(-10))/((-2)/l). Solve -c*z + 4*z = -5 for z.
5
Suppose 4*b - 1 - 3 = 0. Let j = 1 - b. Suppose -2*d - 2*d - 2*f = -6, 3*d - 7 = f. Solve j = -l + d + 2 for l.
4
Let o = 1 + 2. Suppose 0*d = -o*d. Solve 5*w + d - 5 = 0 for w.
1
Let z = 13 + -7. Let d = 36 - 33. Solve z = -d*c + c for c.
-3
Let j(k) = -k**3 - 6*k**2 - 5*k + 4. Let m be j(-5). Let i be (-4 + m)/(3 + -1). Suppose i = 3*n - 3*q - 21, 0 = 4*n - 0*q - 5*q - 31. Solve -n*y + 1 = 5 for y.
-1
Let x(v) = -v - 8. Let u be x(-11). Solve u*t = 2*t + 2 for t.
2
Suppose -5*i + 4*i = 0. Suppose 4*t + i*t = 0. Solve 4*h - 6 + 2 = t for h.
1
Let t be 9*1 + (-16)/4. Solve t*q - 3 = 2*q for q.
1
Let r = 7 - 5. Suppose 0 = x - r*h - 14, -x + 3*x - 3 = -h. Suppose -v = v + x*c - 4, -c = 3*v - 6. Solve 0 = 5*q + 12 - v for q.
-2
Suppose -4*h - 40 = -12*h. Suppose 2*o - j = 5 + 12, -38 = -3*o + 4*j. Solve -i + o*i = -h for i.
-1
Let k = -11 + 23. Let m(o) = -o + 17. Let f be m(k). Solve 0*q = -f*q + 10 for q.
2
Suppose u + 10 = 5*r - 4*u, -4*r + 15 = 3*u. Solve -11 - 4 = -r*t for t.
5
Let y be (-1)/(205/(-50) - -4). Solve -5*z - 20 = -y*z for z.
4
Suppose n = 4*h - 15, -2*h + 7*n + 21 = 2*n. Let c(k) = k**2 + 5*k - 6. Suppose 21 = -3*b + 3. Let v be c(b). Solve v = h*x + 2*x for x.
0
Let o(m) = -m**2 - 6*m - 3. Suppose 3*a - 5 = 4*a. Let p be o(a). Suppose 8 - p = 3*t. Solve -t*w + 5 = -w for w.
5
Suppose -x + 5*m - 17 = 0, -5*m - 5 = -25. Let n = x + 4. Solve -9 = -4*j + n for j.
4
Let k(i) = -i**2 + 10*i - 10. Let g be k(8). Suppose -4*j + g = -2*n + 3*n, -3*j = n - 6. Solve 2*o + n = -o for o.
-2
Let l(s) = s. Let x be l(5). Solve 6 = -x*b + 31 for b.
5
Let n(t) = 3*t. Let f be n(1). Solve -7*x = -f*x for x.
0
Let j be 0 + 2 - (-10 - -23). Let o = j - -13. Solve -3*t + o*t = 0 for t.
0
Let y be 2 - ((-36)/84 + 22/(-14)). Solve -2*c + c + y = 0 for c.
4
Let d = -6 + 6. Let n = 3 + -6. Let r = n + 8. Solve d = 3*p + 2*p - r for p.
1
Suppose 2*k = -0*k + 5*n + 25, -2*k = -2*n - 10. Solve k*y = -3*y for y.
0
Let j(f) = f**3 + 16*f**2 - 15*f + 36. Let n be j(-17). Sol