Let w = q + 1. Solve 0*k = -w*k - 12 for k.
-3
Suppose -18 = 13*r - 44. Solve r*f + 5 = -5 for f.
-5
Suppose 0 = 3*t + 2*d - 21, 32 = 4*t + 4*d - 0*d. Let c = 13 - t. Let i = -5 + c. Solve -o - i - 2 = 0 for o.
-5
Suppose -5*b - 2*g + g = -31, 4*g + 2 = b. Solve -b = -3*q - 0 for q.
2
Let l be -1*(-2 + 4 - 2). Suppose l = -u + 3*u. Solve 2*x - 3*x - 2 = u for x.
-2
Suppose 5*s = 2*o + 20, -4*s + 30 = -3*o - 0*o. Let x be (-16)/o - (-8)/20. Solve x*i + 0*i + 10 = 0 for i.
-5
Suppose 4*g + 3 = 7*g. Let z = 30 + -21. Solve -g - z = -5*m for m.
2
Let w be 9 + -7 - (2 + -3 - 1). Solve -w*h + 7 = 3 for h.
1
Let i(l) = l**3 + 9*l**2 + 17*l - 4. Let g be i(-6). Solve -g*x - x - 12 = 0 for x.
-4
Let x be 5/1*(-32)/(-40). Solve -j - x = -2*j for j.
4
Let j be 2 - -1 - 3/1. Suppose j*g = -g. Suppose g = -i + 2*i. Solve i*f = -4*f - 8 for f.
-2
Suppose -3 = -4*l - 11. Let y be ((-3)/(-2))/((-1)/l). Suppose 4*t + 4*q = 0, 0*t + 5*t = 4*q + 18. Solve y*n - 15 = -t*n for n.
3
Let p = 48 + -39. Let q(o) = -4*o + 6. Let w be q(-7). Solve 5*i - p = -w for i.
-5
Let l = -12 + 16. Let b(i) = i + 8. Let x be b(0). Solve -3*z = l + x for z.
-4
Suppose 15 = -5*f, 0*g = -5*g - 5*f. Let v(l) = l**3 + 2*l - 1. Let u be v(1). Solve -j - u = -g*j for j.
1
Let r(x) = x**3 + x**2 + x - 1. Let m be r(1). Solve s + 1 = -m for s.
-3
Suppose -40 = 2*p + 62. Let h be p/6 + 1/2. Let c = h - -11. Solve -c*a = -0*a - 12 for a.
4
Let a = 1 + -2. Let t be (-4 + 4)*-1*1. Let c be t - (a + 1) - -1. Solve 0 = k + c - 0 for k.
-1
Let m = 35 + -25. Let p = 2 + -5. Let k = p - -5. Solve -k*i = 3*i + m for i.
-2
Let q(o) = 2*o - 3. Let i be q(4). Suppose 0 = a - i - 0. Suppose -a*r + 0*l + 26 = 3*l, -12 = -r - 4*l. Solve 1 = 5*n - r for n.
1
Let d(y) = -y + 5. Suppose 0*p + 2*p - 10 = 0. Let l be d(p). Solve l = 3*w - 10 - 2 for w.
4
Suppose 2*h = -6*h + 32. Solve -h*q + 2 = -14 for q.
4
Let r = -171 + 174. Solve -r*w - 12 = w for w.
-3
Suppose -a - 10 = 1. Let m = -9 - a. Solve -5 = m*n - 3*n for n.
5
Let t = -5 + 3. Let d(p) = -3*p - 1. Let l be d(t). Let q be -1 - -20 - (1 + -2). Solve 0 = -v + l*v - q for v.
5
Let i = -1 - -5. Suppose -20 = -4*x + 2*d + 2*d, 21 = 5*x - i*d. Solve -5 = z - x for z.
-4
Let q = -7 + 11. Suppose -4*y + 41 = -19. Let h = y + -10. Solve -k = -h*k - q for k.
-1
Suppose -1 = -n, 3*c + 8*n = 3*n + 14. Solve c*l = -1 + 4 for l.
1
Suppose 30 = 5*o - 5*n, o + 2*o - 17 = 2*n. Suppose o = 2*y + 2*y + 3*h, 3*y + 4*h = 2. Solve -r + 2 = -y for r.
4
Suppose 2*j = 5*j - 6. Suppose 40 = -j*g + 7*g. Suppose -2*w - h = 2*w - g, 0 = 2*h. Solve 2 = -w*v - 0 for v.
-1
Let w = 20 - 17. Solve -w*x + 10 = -x for x.
5
Suppose 3*o = -o + 4. Let i be (-4 + 2 - -6) + o. Solve 0 = 5*b + 5 + i for b.
-2
Let q = 2 + 0. Let n = -6 + 8. Suppose c = q*y, -4*y + 9 + 7 = n*c. Solve -2*r + 16 = y*r for r.
4
Let d = 15 + -16. Let i be 1 - (d - (-1 + 1)). Solve -i*w - 3*w = 0 for w.
0
Suppose 0 = -c + 5 + 6. Let a = c + -7. Suppose -2*p - 5*j = 5, -3*p + a*j + 18 = 3*j. Solve -p*h + 3*h = 8 for h.
-4
Let b(g) = -g + 5. Let d be b(4). Let h be d/2*0/5. Solve s - 5*s + 20 = h for s.
5
Let g(z) = z**3 + 3*z**2 - 2*z + 1. Let b be g(-3). Suppose -3*p = -5 - b. Solve -p = -n - 3 for n.
1
Let m = 8 - 3. Solve -m*j = 16 + 4 for j.
-4
Suppose 4*t - 34 = -10. Let o = 7 + -4. Suppose 3*f + 4 = -5*b + o*b, 3*f + 12 = 0. Solve 2*i = t*i - b for i.
1
Suppose -3*j + 0*j - 18 = 0. Let y(u) = -u**3 - 7*u**2 - 5*u + 8. Let b be y(j). Solve n + b - 1 = 0 for n.
-1
Let s(x) = x + 4. Let a = -14 + 14. Let k be s(a). Solve 2*u - 2 = -k for u.
-1
Let o = 7 + -4. Solve -3*z - 3 = o for z.
-2
Let n be (-3)/(18/(-4))*3. Let x be (-6)/(-4)*8/3. Let y be n/x*0/2. Solve y = -3*t + t for t.
0
Let p be -2 + 6 - (5 - 4). Let l = -29 + 49. Suppose -j = -p*j + l. Solve 0 = -g - g + j for g.
5
Let s(u) = 2*u + 4. Let i be 1/2 - (-35)/10. Let a be s(i). Solve -6*x + a = -2*x for x.
3
Let p be 90/(-20)*(-4)/6. Solve 6*d - p*d = -9 for d.
-3
Let t(s) be the second derivative of s**5/20 + s**4 - 13*s**3/6 + s**2 - s. Let p be t(-13). Solve -p*k - 3*k = -5 for k.
1
Let c = 17 - 17. Solve c*p - 6 = -2*p for p.
3
Let i(g) = -2*g - 1. Let x be i(-2). Suppose 2 + 14 = 4*y. Suppose -3*a + 4*s = -22, 5*a - a = -x*s - y. Solve 8 = -0*b - a*b for b.
-4
Let w = 12 + -17. Let a = -3 - w. Let c be 0/((-4)/a - -4). Solve -1 = -b - c for b.
1
Suppose 0 = 5*b + 5*h - 35, 2*h = b + 6*h - 16. Suppose 0 = -3*p - b - 8. Let s = -3 - p. Solve -4*u - s = 19 for u.
-5
Let y be 4 + (0 - -1) - 3. Solve -y*c - 1 = 3 for c.
-2
Let l = -1 - -7. Let k(f) = f**3 - 26*f**2 + 23*f + 50. Let p be k(25). Solve l = -p*v - 2*v for v.
-3
Let s(j) = -j**2 + 12*j - 11. Let x be s(11). Solve x = -3*b + 11 - 2 for b.
3
Let s(k) = -7*k. Let x(m) = -8*m. Let y(t) = -7*s(t) + 6*x(t). Let z be y(3). Solve 2*u - 1 = -z for u.
-1
Let f = 2 + 6. Solve f = 4*o - 0 for o.
2
Let v(o) = o**2 - 3*o. Let f(c) = -3 - 4 + 4 + 3*c + 2. Let g be f(2). Let m be v(g). Solve 3*l + 4 = m for l.
2
Let d = 7 - 5. Suppose -4*f - d = 5*b - 5, 5*f - 14 = 4*b. Suppose 4*u = -u + 15, -3*h = 3*u - 18. Solve -f = -h*l + l for l.
1
Suppose 5*i - 3*x = 30, i + 19 = -4*x + 2. Let r(p) = -p**2 + 6*p - 4. Let y be r(i). Solve y*b + 14 = -11 for b.
-5
Let k be (-258)/(-15) - (-5 - (-130)/25). Solve k = -5*c + 42 for c.
5
Let d = -9 - -18. Let h be 24*(-1 + 2 + 0). Suppose 3*m = 3*c - h, 8 = -3*c + 4*m - d*m. Solve 4*y = -0*y + c for y.
1
Let u = -61 + 40. Let q = u + 25. Suppose -d = 3*l - 20, 4*l - 16 = -3*d + 4. Solve l = q*z - 4 for z.
3
Let h = 22 - 16. Suppose -3*q = -h - 3. Solve -q*b = -4*b for b.
0
Let y(n) = n + 6. Let u be 1 - (-7 - 0/3). Suppose 4*t + u = -8. Let s be y(t). Solve -f = s*f for f.
0
Suppose 4 = 5*l - 2*j, -l - 4*j - 4 - 4 = 0. Solve l*k = -3*k for k.
0
Suppose -2*n + 0*n = 2*b + 36, -5*b - 76 = 4*n. Let d = n - -18. Solve 0 = -d*y - 16 - 0 for y.
-4
Suppose 7 = 4*v - 17. Solve 0 = -3*u + v*u for u.
0
Let l = -10 - -14. Suppose 0 = -g - l*g + 20. Let r = g + -1. Solve -r*m = -m + 2 for m.
-1
Suppose -3 = 4*f - 23. Suppose -5*o = 0, -4*o + 40 = -f*c + 100. Solve 0 = w + 3*w - c for w.
3
Let y = -5 + 7. Solve y = a - 0 for a.
2
Suppose -5*b + 32 = -28. Solve 5*o + b = o for o.
-3
Suppose -5*d = 3*z - 16, -5*z - 2*d = -12 - 2. Solve 0 = z*n - 4*n - 10 for n.
-5
Let i(f) = f + 16. Let m be i(-13). Suppose m*n - 2*n - 8 = 0. Solve -3*w + n = 23 for w.
-5
Let q(m) = -3*m - 7. Let l be q(-5). Let n(a) = -a + 3. Let i be n(-1). Solve 4*t = -i + l for t.
1
Let q(y) = -y + 3. Let j be q(-2). Solve 3*g = 2*g - j for g.
-5
Suppose -3*o + 4*x - 6*x + 33 = 0, 4*x = 3*o - 15. Solve -5*i = 1 + o for i.
-2
Suppose 7*y = 31 + 46. Solve 0 = -5*t + y + 14 for t.
5
Let i(f) = 3 + 6*f - 7*f + 3*f**2 - 2. Let o be i(1). Solve -o*x + 2 = -2*x for x.
2
Let z be 4/3 + (-12)/(-18). Let n(g) = -g**3 + 6*g**2 - 6. Let w be n(5). Suppose 4*k = -v + w, z*k + 6 = 5*v - 1. Solve -1 + v = r for r.
2
Suppose -2*r + 3*v - 4 = -3*r, 5*r - 4*v = 39. Solve 2*k - 15 = r*k for k.
-3
Suppose -3*r + i + 15 = 0, 4*r + i - 10 = 10. Solve b - r = -0*b for b.
5
Let k be 36/15 + (54/15 - 3). Solve -k*a = -0*a for a.
0
Let y = 92 + -63. Suppose 3*b - y = 5*d, 5*d + 26 = -0*b + 2*b. Suppose -l + 3*z - 15 = -0*l, -15 = -4*l - b*z. Solve 5*t - 8 + 28 = l for t.
-4
Let g(m) = -4 + 0*m + 3*m - 2*m. Suppose 0*b = 5*a + 4*b - 14, 12 = 4*a + 3*b. Let i be g(a). Solve u = -i*u for u.
0
Let v(c) = c + 9. Let n be v(-9). Suppose -5*x - 8 = -4*p - 40, n = -3*p - 3*x - 24. Let r = -1 - p. Solve 0 = -3*t + 16 - r for t.
3
Let s(q) = -5*q + 3. Let z be (-1 - 1)*(-3)/2. Let a be s(z). Let y be 34/12 + (-2)/a. Solve x - 4 = -y for x.
1
Let n be ((-30)/(-9))/(2/6). Let j = 9 - 7. Suppose -g - j*g = -12. Solve -g*x - x = n for x.
-2
Let i be (-3 - 1 - -10)/3. Let d = 8 + -5. Solve i*z = 5 + d for z.
4
Let u(c) = -2*c + 24. Let a be u(7). Solve -3*j = -a - 5 for j.
5
Suppose -5*j - 24 = -11*j. Solve 2*z = 3*z + j for z.
-4
Suppose -5*f + 7 - 2 = 0. Solve 0 = 4*l - 3*l + f for l.
-1
Let l(o) = o**2 - 6*o - 5. Let j be l(6). Let k = j - -3. Let x be ((-1)/(-2))/(k/(-8)). Solve x*u + 2*u - 12 = 0 for u.
3
Suppose 2*c - 4*c + 10 = 0. Suppose 0*q = -c*q + 45. Suppose -3*m + 6 = -q. Solve m*r = -0*r for r.
0
Let n be (14/(-5) + 2)*-5. Suppose 3*v = 