
-4
Let a(n) = n**3 - n**2 + n + 7. Let r be a(0). Let q = r + -6. Let o be q/4 - (-2)/(-8). Solve -4*p - 4 = -o for p.
-1
Let f be 3/2 + (-50)/(-20). Suppose 3*k - 15 = 0, -n = f*n - 5*k. Solve 4 + 1 = -n*l for l.
-1
Suppose -3*h = 5*x + 22, -3*h - 12 = -x - 2. Let k be (60/(-16) - h)*0. Solve 4*g + k*g = 8 for g.
2
Let u = -14 - -7. Let x(k) = -k**3 - 8*k**2 - 9*k - 9. Let y be x(u). Solve -3*h - 2*h = y for h.
-1
Let z be -4 + 1 - (12 - 2). Let b = z + 13. Solve q + 0 + 4 = b for q.
-4
Let c(t) = t**2 + 7*t - 6. Let w be c(-8). Suppose w*y - 5*n + 4 = 33, -24 = -2*y + 4*n. Solve 6*o = y*o - 20 for o.
-5
Suppose -4*n + 7*n = -6, 3*d + 4*n + 14 = 0. Let v(u) = -u**3 - 2*u**2 - u - 2. Let o be v(d). Solve o = 4*j - 4 for j.
1
Suppose -2*o - 16 = -2*u, -2*u - 4*o = -o - 1. Suppose -u*r + 2*v - 4 - 6 = 0, 0 = -5*r - 4*v + 20. Suppose 2*d = -r*d. Solve d = -3*b + b - 8 for b.
-4
Let o be 30/8 + 3/12. Let x be (o/12)/1*6. Solve 2*p + x = 4*p for p.
1
Suppose -t - 6 = -2*q, 4*q - q - t = 10. Solve 0 = -0*w - q*w for w.
0
Let j(g) = g**2 + 8*g + 5. Suppose 4*v + 47 = 5*u, 3*v + 21 = 4*u - 15. Let i be j(v). Suppose -i*p + 51 = -2*p. Solve 2*k + 7 = p for k.
5
Let a be (-522)/(-30) + 91/(-65). Let c(m) = m**2 + m - 1. Let g = 4 - 2. Let b be c(g). Solve z + a = b*z for z.
4
Let i(j) = 7*j**2 - 15*j + 5. Let g be i(2). Solve -g*f - 20 = 2*f for f.
-4
Suppose -4*k + 63 = 23. Let z = k + -7. Solve -6 = -p - z for p.
3
Let o = -2 - -2. Let z be o + 1 - (4 - 1). Let t = 8 + z. Solve -v = 2*v - t for v.
2
Let l = 27 + -18. Solve 4*d - l = 3 for d.
3
Let t(k) = -k**2 + 8*k - 9. Let u be t(6). Solve 2 = u*q - 1 for q.
1
Suppose -80 = -4*v + 3*k, -21 - 19 = -2*v - k. Let w(s) = -s**3 + 6*s**2 + 3. Let m be w(6). Solve m*z + z + v = 0 for z.
-5
Let a be (4/(-5))/((-22)/165). Solve -2*o + a*o + 20 = 0 for o.
-5
Let s(b) = b**2 - 4*b - 8. Let f be s(6). Let x(j) = j + 4. Suppose 6 - 1 = 5*l + 5*w, 8 = 5*l + 4*w. Let y be x(l). Solve 0 + y = f*o for o.
2
Let h = -25 + 28. Solve 5*d = 13 - h for d.
2
Let m = -46 - -50. Solve -m*a + 2 = -2 for a.
1
Let n(x) = -x**3 + 8*x**2 - 7*x + 1. Let l be 1 + (2 - (-4)/(-2)). Suppose -5*v + 34 + l = 0. Let p be n(v). Solve -2 = r + p for r.
-3
Suppose 0 = -4*q - 5*n - 10, -n = -3*q - 5*n - 8. Solve -3*a + q*a = 12 for a.
-4
Suppose -i = f - 6*f - 11, -3*i = -5*f - 13. Let l be ((-9)/12)/((-2)/(-16)). Let t = l + 6. Solve t = 5*a + i + 4 for a.
-1
Let s(p) = 0*p + 0 + 2 + p. Suppose -6 = -4*n - 14. Let g be s(n). Solve -a = -g + 4 for a.
-4
Let d(a) = -a**2 + 12*a + 12. Let m be d(12). Suppose -m = o - 5*o. Solve b + o*b = 4 for b.
1
Suppose 7*m = 2*m + 30. Let q(s) = 7*s + 1. Let a be q(2). Let p be 39/a + (-4)/(-10). Solve -p*g - m = -0 for g.
-2
Suppose 3*c - c - 2 = 0. Let s be 12/16 - c/(-4). Solve s + 2 = -j for j.
-3
Let c = 1 + 5. Solve -2*t - 14 = -c for t.
-4
Suppose -2*x - 3*x - 15 = 0. Let c be 0/((-2)/x*3). Solve w - 2 = -c*w for w.
2
Let b be 4 + -3 - (-3 + 1). Suppose -b*t - t = -4*h - 24, 2*t = -2*h + 20. Let d = -1 + t. Solve d = -4*x + 3 for x.
-1
Let d be 1/(-1)*(1 - 10). Let x = d + -5. Let j = 2 - 2. Solve x*g - 1 - 7 = j for g.
2
Suppose 4*l + 31 = 5*n, -4*n = n - 3*l - 27. Let g = -11 + 8. Let q = g + 9. Solve y + n = q for y.
3
Let n = 19 - 15. Suppose 3*t - n*u + 12 = 0, -2*u + 9 = t + u. Solve -3*j + j + 4 = t for j.
2
Let x(m) = 2*m**2 + 4*m + 2. Let j be x(-2). Let g = -2 + j. Solve 0 = -g*p + 2*p for p.
0
Let s(a) = -3*a**3 + a**2 + a. Let k be s(-1). Suppose 0*y - 5*y + 40 = -2*t, -k*y - 2*t + 8 = 0. Solve y + 4 = 5*l for l.
2
Let j be (-4 + 5 + 3)/(2/4). Solve 3*l - l = -j for l.
-4
Let j(z) = 6*z + 3*z**2 - z - 4*z**2 + 6. Suppose -5 = -w, -4*w = p - 0*p - 25. Let q be j(p). Solve q*i = 2*i - 16 for i.
-4
Let r = -3 - -11. Let j = -2 + r. Let c be j/(-9)*(-9)/2. Solve a + 8 = -c*a for a.
-2
Suppose -10 = -p + d + 15, -p + 3*d = -33. Solve p = -5*z - 4 for z.
-5
Suppose 3*s + 110 = 3*l - 2*s, 3*s - 15 = 0. Solve -l + 20 = 5*x for x.
-5
Let c be (2/(-5))/(4/(-20)). Solve -c*u + 0 - 4 = 0 for u.
-2
Let o(d) = 10*d**3. Let p be o(1). Let q be 9/5 - 8/p. Solve -5*m - q = -16 for m.
3
Let r = -10 - -18. Let b be (-17)/(-4) - (-13)/(-52). Solve r*a = b*a + 12 for a.
3
Suppose -5*t + 0*t = 0. Suppose -2*n = z - 4, 0 = -3*n + 2*z + 6 - 0. Suppose s - 2*c - 8 = -4*s, t = 2*s - n*c - 8. Solve -3*p - p = s for p.
0
Let k be -2 - -4 - 6/(-2). Suppose 3*s + 4 = 6*s - m, -20 = k*s + 5*m. Solve -a + 0*a = s for a.
0
Let j(i) = i + 2. Let m be j(5). Suppose m = -5*o + 22. Let n = o + 3. Solve -w + n = 1 for w.
5
Let f(r) = -2*r - 37. Let m be f(-20). Solve 0 = m*n - 2*n + 4 for n.
-4
Suppose -2*i = n - 7, 0*i + 3*i + n - 9 = 0. Suppose i = c + 4. Let z = 4 + c. Solve z*x + 3 + 5 = 0 for x.
-4
Suppose -5*a = -15, -3*d - 2*d - a = 2. Let b = d + 3. Solve 0 = 3*f - b*f + 1 for f.
-1
Suppose 0 = -3*r + 25 - 10. Suppose -r*f + 90 = 2*h, 75 = 5*f + 5*h - 0*h. Solve 3*a = 8*a + f for a.
-4
Suppose 4*v - 2 = 10. Let l be (v - 2)/(1/9). Solve -q = 2*q - l for q.
3
Let q(p) = -18*p. Let a be q(-1). Suppose -3*w + a = 3. Solve -5*x + 15 = w for x.
2
Let c = -14 + 22. Let o(f) = f**3 - 8*f**2 + 2*f - 10. Let v be o(c). Solve 0 = -v*l + 2*l + 12 for l.
3
Let g(n) = n + 4. Let q be g(0). Suppose -5*z - f = -2, 4*z + 4 = -2*f + q*f. Suppose -11*a - a = -24. Solve z = -4*j + a*j + 6 for j.
3
Suppose 2*v - 6 = 4*q, -3 = 2*q + q. Solve -2*d - v = -3*d for d.
1
Let u(z) = -2*z**2 - 16*z + 8. Let l(p) = p**2 + 8*p - 4. Let j(s) = -13*l(s) - 6*u(s). Let a be j(-6). Solve 2*y + a = -2*y for y.
-4
Suppose 0 = -7*g + 23 - 2. Solve -g*w = 2 + 10 for w.
-4
Let i(l) = l**2 + 11*l. Let g be i(-11). Suppose -5*k = -g*k - 20. Solve -4*p - k = -2*p for p.
-2
Let z = -38 + 39. Let d = -14 - -29. Suppose c = -5*b + 9 + d, 0 = -5*c + 5*b. Solve 3 = c*p - z for p.
1
Suppose -2*v + 247 = -2*d + 5*d, 5*v = -5. Suppose -d = -5*c + 37. Suppose 0 = 2*q - c. Solve 4*n = n - q for n.
-4
Let a = -5 - -10. Suppose a*s + m + 4 = -0*s, s = -3*m - 12. Solve 5 + s = -5*n for n.
-1
Let h be (-9)/4*16/(-3). Let w be 56/12*h/14. Solve 3 = w*k - 1 for k.
1
Suppose 0 = 5*h - 20. Suppose 17 - 41 = -h*k. Let r be 4/(-6)*3/(-1). Solve 0 = 5*b - k*b + r for b.
2
Let d(y) = -y**3 - 8*y**2 - y - 8. Let c = -21 - -13. Let w be d(c). Solve -x + 4 + w = 0 for x.
4
Let g(r) = r**3 + 5*r**2 - 8*r - 8. Let b be g(-6). Solve 0*v - b = -2*v for v.
2
Suppose 3*z = -5*m - 2*z + 30, 0 = -5*m - 2*z + 18. Suppose -10 - 4 = -m*v. Solve v + 3 = 5*d for d.
2
Suppose 4*b + 103 = 5*w, -7*w + 2*w = -b - 97. Let v = -14 + w. Solve -v*f + 3*f = 0 for f.
0
Let o be 4/(-18) - (-302)/(-18). Let k be o/(-3) - 4/6. Solve 0 = -k*s + 12 + 13 for s.
5
Let q be 9/3*(-1)/3. Let g be (2/(-3))/(q/18). Let l = 68 + -63. Solve l*v = 2 - g for v.
-2
Suppose -u = 4*v - 0*u - 7, -5*v + 5*u + 40 = 0. Suppose -3*p + 5 = -v*b + p, -5*b + p = -3. Solve 5*g + b - 11 = 0 for g.
2
Suppose 6 = 5*t + 1. Suppose 2*p + t + 3 = 2*x, -5*x - 2*p + 31 = 0. Suppose 3 = x*z - 2. Solve 3*m = -z - 2 for m.
-1
Let k be (-3*(2 - 0))/((-9)/6). Solve k*t + t = 10 for t.
2
Let s be 0/2 - 185 - 0. Let j be (-1)/3 + s/(-15). Solve 6*a - 3*a - j = 0 for a.
4
Let q(f) = f**2 + 9*f + 13. Let k be q(-8). Solve 0*n + k*n = 25 for n.
5
Suppose 0 = -4*x + x - 2*y + 4, -5*x - 2*y + 4 = 0. Solve l = -x*l - 1 for l.
-1
Let o = -4 + 10. Let h be o*2*(-3)/(-9). Let j = -3 + h. Solve -3*k - j = -4*k for k.
1
Let q(a) = -3*a**2 - 3*a - 11. Let h(l) = 2*l**2 + 2*l + 7. Let n(g) = -8*h(g) - 5*q(g). Let o be n(-2). Let k be -1*9/o + 2. Solve k*z = 2*z + 12 for z.
4
Suppose 6*w = 8*w. Solve 0 = 5*z - w*z + 5 for z.
-1
Let x = 43 + -42. Solve 0 = -t - 0*t + x for t.
1
Let p be (-9)/(36/80)*-1. Solve 3*h - p = -h for h.
5
Suppose 37*k + 18 = 38*k. Suppose 0 = k*v - 19*v + 3. Suppose -30 = -5*b - 5*i, -4*b + 3*i + 24 = -i. Solve b*z + 9 = v*z for z.
-3
Let u be 1*9/6*8. Let l be -1 + u*(-3)/(-3). Let c = l - 6. Solve -9 = -c*s - 4 for s.
1
Let g be ((-18)/(0 + 3))/(-2). Let b(s) = 0 - 3 + 2*s - g*s. Let i be b(-5). Solve -i = l - 3 for l.
1
Let t(c) = c - 3. Let o be t(4). Suppose -5*u - 3*v + 10 = -0*v, 0 = -v. Solve 7 = -u*r - o for r.
-4
Let c = 9 - 6. Let i = -1 + c. Solve -4*a - i = 2 for a.
-1
Let k = 37 - 34. Solve -k*m = -2 - 4 for m.
2
Let 