
-5
Let a(p) = 3*p - 19. Let b be a(7). Solve b + 2 = n for n.
4
Suppose -m + 0 = -2*x + 14, 3*m - x = -17. Let i be 2/(((-16)/6)/m). Solve 0*c - c = i for c.
-3
Let r be 14/18 - (-32)/144. Solve 2*t - t + r = 0 for t.
-1
Let u = 31 + -9. Let a = -20 + u. Solve 6 + a = -4*c for c.
-2
Let p be (-1)/(2/((-8)/2)). Solve p*l = -2*l for l.
0
Let g(a) = a**3 - 3*a**2 + 2*a - 4. Let s be g(3). Solve s = -3*c - 4 for c.
-2
Let c be 3 + 0 - (-2)/(-2). Solve -c*b = 2 + 2 for b.
-2
Let w = -40 + 41. Solve w = q + 3 for q.
-2
Let u(m) = -2*m - 23. Let t be u(-13). Let v be 2/4 - (-14)/4. Suppose -32 = -0*p - v*p. Solve 0 = t*n - p*n + 5 for n.
1
Suppose y = -0*y. Let c = 3 + y. Solve 0*i = -c*i for i.
0
Suppose -5*u + 2*t = -7, 5*u + 1 = -0*t + 4*t. Solve 4*p + 1 + u = 0 for p.
-1
Let x(p) = -6*p - 2. Suppose -c + 2 + 3 = 0. Let v be x(c). Let q = v + 47. Solve 4*z = -z + q for z.
3
Let a(i) = -i**2 + 3*i + 4. Let v be a(4). Solve 0*o + 4*o + 12 = v for o.
-3
Let t = 2 - -1. Solve 2 = x - t for x.
5
Suppose -7*s + 12 = -4*s. Let r = -1 + s. Solve 0*c = r*c - 6 for c.
2
Suppose 0 = -4*t + 2*t + 20. Solve -2*h = -7*h + t for h.
2
Suppose -3*t - 46 = -5*a + 154, 140 = -2*t + 5*a. Let f be t/21*7/(-2). Solve 2*c = -2 + f for c.
4
Suppose -3 - 11 = -2*z. Let y(t) = 2*t - 3. Let k(r) = r - 1. Let u(d) = -7*k(d) + 4*y(d). Let c be u(z). Solve 7*o - c*o - 10 = 0 for o.
2
Let u = 5 + -3. Suppose 10 = u*p - 0*p. Let r = p + -5. Solve r = 4*b + b + 15 for b.
-3
Suppose w + 7 = 2*k + 2*w, -7 = 4*k - 5*w. Let g be (-1)/(1*k/6). Let a = 2 - g. Solve 0 = a*t + 16 + 9 for t.
-5
Let v be (-158)/(-22) - 2/11. Suppose 4*m - 39 = -3*n + m, -n + m + v = 0. Solve n = 5*l + 30 for l.
-4
Let k = 74 - 59. Solve -2*o - k = o for o.
-5
Let i = -15 + 17. Solve -x - i*x = 0 for x.
0
Suppose -3 + 2 = m. Let x(t) = 2*t**2 + 1. Let f be x(m). Suppose -3*k = -0*k + 5*c, 2*c = f*k. Solve -3*l + k*l + 3 = 0 for l.
1
Suppose 4*o - 22 = 2*o. Let c = -10 + o. Solve 1 + c = -y for y.
-2
Let t(o) = 1 - o + 0*o**2 + 4*o**3 - o**2 - 2 + 3*o. Let y be t(1). Solve -2*x = y + 4 for x.
-4
Let j(s) = -3*s + 1. Let i be j(-4). Suppose 2*b + 3*d - i = b, 4*b - d = 13. Solve 5 - 1 = b*h for h.
1
Let l be 2/(-7) - (-253)/77. Suppose -2*h = l*h - 20. Solve -h*c + 2*c = -2 for c.
1
Let g be (-1 - 0) + 7*1. Let w be 34/10 + g/(-15). Let v = 4 + 3. Solve w*k - v = 5 for k.
4
Let v(n) = -2*n. Let h(s) = 4*s + 1. Let p(x) = -4*h(x) - 9*v(x). Let d be p(3). Suppose 4*c - 3*j + 15 = 0, -2*c + 2 = j - 3. Solve -5*g + d*g - 3 = c for g.
-1
Let z = -11 - -11. Solve -v + z = -2 for v.
2
Let g = 1 - -3. Solve 1 = 5*a - g*a for a.
1
Suppose -6*s + 10 = -s. Suppose -s + 3 = z. Suppose v - 2*v - 12 = 3*w, 4*v + 3*w + 3 = 0. Solve -4*y + v + z = 0 for y.
1
Let a = 61 - 58. Solve 1 = a*x - 2 for x.
1
Let b be -1 - (-2 - -2 - -1). Let p be 5/(-10) - (-13)/(-2). Let j = b - p. Solve -1 = -2*g + j for g.
3
Suppose -2*c = 3*f - 12, -f + c + 3 - 4 = 0. Solve -3*i - 1 - f = 0 for i.
-1
Let w(a) = -a**2 - 11*a + 8. Let d be w(-11). Solve -5*f = -f - d for f.
2
Let b be ((-6)/(-3))/2 + 3. Let y(l) = l**2 - 2*l - 4. Let g be y(b). Suppose 3 = -g*i + 5*i. Solve -2 = -i*m + 1 for m.
1
Let z(h) = -h**3 + 10*h**2 - 6*h - 21. Let k be z(9). Solve k*r = 7*r for r.
0
Suppose -2*k + 24 = -0*k. Let d = k + -6. Solve -2*m + 4 = d for m.
-1
Suppose 0 = -11*g - 29 + 51. Solve 0 = -s - g + 5 for s.
3
Let n be 4/(-14) + 8/28. Solve n = 3*c - 7*c - 12 for c.
-3
Let g be ((-10)/(-6))/((-1)/(-9)). Suppose 2*n = -3*t + 25, 2*t + 96 = 3*n + 39. Suppose -n = -3*x - b + 10, 4*x - 36 = 5*b. Solve -4*h + g = -x*h for h.
-3
Suppose -3*y - 5*x - 3 = 14, 2*y + 9 = -x. Let o = y - -6. Let q = -11 + 31. Solve o*s + 3*s = q for s.
4
Suppose 0 = -2*m - 2 + 4. Let r = m + -1. Solve -4*u + 3 - 15 = r for u.
-3
Let t be (-54)/(-4) - 3/6. Suppose -2 = -x, -2*v + 3 = -3*v + 4*x. Suppose v*a = a + 28. Solve -5*g + t + a = 0 for g.
4
Suppose -4*k - s + 2*s + 21 = 0, -4*s - 14 = -2*k. Solve -k*z = -0*z for z.
0
Let v = 38 + -36. Solve m - v*m = 2 for m.
-2
Suppose -4*r + 6 = i, -2*r - 2*r = -3*i + 2. Suppose 2*s + y = -i*y + 17, -y = 3*s - 8. Let m be ((0 + 0)*s)/2. Solve -c - 1 - 2 = m for c.
-3
Suppose 3*s = 23 + 22. Solve 2*w + s - 5 = 0 for w.
-5
Let w(m) = -m**2 + 24*m + 5. Let l be w(24). Solve -l*q - 5 = 15 for q.
-4
Suppose -3*u - 35 = -5*t + 2*u, 0 = -2*u. Solve 13 = -5*m - t for m.
-4
Suppose -25 = 5*b, -5*q = -3*q - 2*b - 130. Suppose -v = 2*v - q. Solve 8*l - 4*l = -v for l.
-5
Let j(a) = -a**3 + 4*a**2 - 4*a + 3. Let x be j(2). Let l be 28/20 + 2/(-5). Solve x = q - l for q.
4
Let p(l) = -l**2 - 10*l. Let y be p(-10). Solve 3*v - v + 6 = y for v.
-3
Let j(u) = u - 17. Let b be j(12). Let k be 2 - 0 - (b + 2). Solve 0 = -k*t + 5 - 0 for t.
1
Suppose -4 = -2*h - 0. Suppose -h*d - 8 = -4*d. Suppose 5*q = d*p - 6, 14 = -q + 2*p + 2*p. Solve q*m - 4 = m for m.
4
Let r be 2*((-10)/4 + 2). Let b = r + 7. Let o(l) = l**2 - 8*l - 3. Let c be o(9). Solve -c - b = 3*h for h.
-4
Let n = -47 - -48. Solve 0 = -c + n for c.
1
Let w = 2 - -1. Let d(u) = 2*u - 2*u - 4*u + 4*u**2 - 2*u + u**w. Let q be d(-5). Solve q*p = 3 + 7 for p.
2
Let p(h) = h**2 + 6*h - 3. Let f be p(-7). Solve 4*k + f - 16 = 0 for k.
3
Let v(m) = m**3 + 6*m**2 - m - 4. Let c be v(-6). Let b be -4*1*(-9)/4. Suppose 3 = 3*r - i - 3*i, 0 = 4*i. Solve r - b = -c*p for p.
4
Let h = 5 + -3. Solve -q - h*q = 0 for q.
0
Suppose -3*v + 3 = -15. Suppose -3*y = -v - 9. Let n = -15 + 17. Solve o - n = -y for o.
-3
Suppose -5*m = 5*l - 50, 0 = -0*m + m - l - 10. Let k = m + -10. Solve 0*g + 4*g + 8 = k for g.
-2
Let t(h) = h + 7. Let a be t(-3). Suppose a*u = -8 + 32. Solve q + u - 5 = 0 for q.
-1
Let m = 3 - 3. Suppose 2*s = -m*s. Let l = s - 0. Solve -z + 1 = -l*z for z.
1
Let m(n) = -n**3 + 9*n**2 + 3. Suppose -d + 6 = q, -7*d + 3*d + 2*q + 42 = 0. Let y be m(d). Solve -y*f = -5*f for f.
0
Let j = -44 - -49. Solve 0 = j*p - 0*p - 15 for p.
3
Suppose 9*c = c + 72. Solve 0 = 3*y + c + 3 for y.
-4
Suppose 0*x + 5*x - 190 = 0. Let w = -18 + x. Suppose -5*a + 3 + 15 = -2*l, a - 7 = -3*l. Solve 0 = k + a*k + w for k.
-4
Let c(v) be the first derivative of -v**4/4 + v**3 + 5*v**2/2 - 2*v + 1. Let b be c(4). Let d(u) = 4*u**2 - 28*u + 4. Let q be d(7). Solve -b = q*z + 18 for z.
-5
Let b be (24/(-60))/(4/(-5))*4. Let y be (-1)/(-4) - 2/8. Solve y*s - 10 = -b*s for s.
5
Let i(o) = o - 4. Let d = -5 - -12. Let x be i(d). Solve -v - 16 = x*v for v.
-4
Suppose 3*m = -m + 64. Let k(z) = 6*z**3 - 2*z + 1. Suppose -4*w + 8 = f + f, -5*w - f + 7 = 0. Let o be k(w). Solve -n - m = -o*n for n.
4
Let v = 12 + 15. Suppose w - 13 = -5*p + 5, -4*p + v = 5*w. Solve -3*c + p = -12 for c.
5
Suppose 4*i - 15 = -i. Suppose 0 = -p - 3*y - 15, -p - 4*p + 2*y = -10. Let r be (-3)/(-2*i)*p. Solve 0 = -z - r*z for z.
0
Let g be (((-15)/1)/3)/(-1). Let d(i) = -i**2 + 6*i - 3. Let y be d(g). Solve y*j - 5 = 3 for j.
4
Let f be (2/(-5))/(4/(-20)). Solve f = j - 0*j for j.
2
Let t be (-1)/(-2)*0/(-6). Let x(q) = q**3 - 6*q**2 - 6*q - 7. Let s be x(7). Suppose -3*d + 4*o - 14 = s, -2*d - d + 11 = o. Solve 0 = -t*y + d*y - 2 for y.
1
Let y(q) = q + 2. Let d be y(4). Let k = 12 + -7. Suppose -4 = -h + 1, k*v + 4*h - 40 = 0. Solve d*z - 6 = v*z for z.
3
Let o be (-64)/(-10) - (-22)/(-55). Solve -o*g + 3*g + 15 = 0 for g.
5
Suppose 2*k = -28 + 6. Let f = -9 - k. Solve -3*t - f = 7 for t.
-3
Let w = 90 + -90. Solve -s + 1 = -w*s for s.
1
Let a be 18/12*20/2. Suppose 5*s + 4 = -3*v + a, 4*v + 4*s - 12 = 0. Solve v*l = -l - 6 for l.
-2
Suppose 2*k = -q + 10, 4*q - 3*k = 2*q - 1. Solve -2*f + q*f = 6 for f.
3
Suppose -4*b + 2 = -6. Suppose 3*h = b*h. Solve -5*m + 10 + 0 = h for m.
2
Let w(q) = q**3 + 27*q**2 - 3*q - 63. Let r be w(-27). Solve 13*f - r*f = 0 for f.
0
Let x be 2 + -2 + (-25)/(-5). Solve -x*r - 4 = -r for r.
-1
Let z = 36 - 32. Solve 12 = -z*y + y for y.
-4
Let s(u) = -u**2 - 2*u - 1. Let v be s(-2). Let p = 1 - v. Let w = -2 + p. Solve w*z + 9 = -3*z for z.
-3
Suppose -2*m + 5*m - 12 = 0. Let y be 3 - 2 - (-3 - -5). Let k be -3 + 2 + (-1)/y. Solve 2*l + 2 - m = k for l.
1
Let i = 34 - -6. Suppose -4*q = -4*o + i, -2*o + 0*o - 3*q = 5. Suppose -5 = -t + m, o*t = 2*t - 5*m + 15. Solve 2*k - t*k = 0 for k.
0
Let p(a) = 3*a**2 - a. Let s 