 13 = 0. Let k(x) = -x**3 + 4*x**2 - x - 4. Let h be k(3). Solve -p = -a + h for p.
3
Suppose -3*l + 3 + 3 = 0. Solve -6 - l = 4*i for i.
-2
Suppose -5*z + 30 = -4*x, 3*x - 4 = -z + 2. Let p be 0*-2*1/z. Solve p = -f - f for f.
0
Suppose 2*h + 6 = 3*h. Let k(u) = -u**2 + 5*u + 8. Let x be k(h). Let z = 46 - 26. Solve x*l = -3*l + z for l.
4
Let a(z) = -z**2 - 3*z + 3. Let p be a(-3). Suppose 3*c = 3*y, -p*c + 0*c = -y - 8. Solve y = -4*n - 0 for n.
-1
Suppose 8*c - 44 = 36. Solve 0*v + 2*v - c = 0 for v.
5
Let m = -14 + 9. Let s be 4/(-20) - 1/m. Let c(u) = u + 9. Let h be c(-4). Solve -20 = -s*z + h*z for z.
-4
Let o(v) = v**2 - 6*v - 13. Let h be o(8). Solve h*g + 0*g + 15 = 0 for g.
-5
Let m(c) = c**3 - 6*c**2 - 3. Let d be m(4). Let y = d - -51. Solve 6 = 2*s + y for s.
-5
Let h = -17 - -20. Solve -h = -3*x + 3 for x.
2
Let r = -4 - -4. Solve r = 7*g - 3*g - 16 for g.
4
Let l = -4 - 2. Let a(h) = -2*h - 8. Let p be a(l). Suppose 4*o + 0*j + 3*j = 5, 0 = p*o - j - 25. Solve x - o = 6*x for x.
-1
Let u(y) = -5*y - 1. Let d be u(-1). Solve -3*r + d = -2*r for r.
4
Suppose 13 + 2 = 5*k - 4*z, 3*k - 4*z - 9 = 0. Solve -k*m = -7*m - 12 for m.
-3
Suppose -2*x + 1 + 1 = 5*a, 34 = 5*x - 2*a. Suppose b - x*b = -30. Solve -b*r + 2*r = 0 for r.
0
Let d be (-17)/2 - 9/(-18). Let m(l) = -2*l - 12. Let p be m(d). Solve p*g - 5 = 15 for g.
5
Suppose -3*a + 28 = 4*x - 52, -2*a = 2*x - 40. Solve -5*y - x = -0*y for y.
-4
Let i(w) = w**3 + 4*w**2 + w. Let n be i(-2). Suppose -r = -n*r. Solve j + r*j + 1 = 0 for j.
-1
Let n be 1*(-3)/(-6)*18. Let s be (n + -6)*(1 - 0). Suppose -s*m - 6 = -3*o, 3*o - 16 = -2*m - 0*m. Solve o*x - 15 = -3 for x.
3
Let b be 3 + 3/(3/10). Solve 3 + b = -4*s for s.
-4
Let j = -124 + 125. Solve 0 = -2*s - 5 - j for s.
-3
Let o(z) = z**2 + 3*z - 3. Let x be o(-6). Let h(a) = -a**2 - 3*a + 4. Let v be h(-4). Let n be (v - (1 - 1))*1. Solve n*i = 3*i + x for i.
-5
Let q = 4 - 3. Let v be 4/12 + q/(-3). Suppose z + 3*r = 23, -z + 0*z + r + 7 = v. Solve 4*k + 1 = -z for k.
-3
Suppose -3*t - 2*t + 10 = 0. Suppose t + 2 = s. Solve s*v = -v for v.
0
Suppose 4*k + 32 = -z + 4*z, -3*k - 52 = -4*z. Suppose z = -4*f + 4*h, 5*f + 2*h - 8 = f. Let l = 0 - f. Solve l = -4*p + 8*p + 16 for p.
-4
Let q(n) = n**3 + n**2 - 3*n - 3. Let k be q(2). Solve -s = k*s for s.
0
Let k(q) = -q**2 - 8*q + 4. Let i be k(-8). Let z be 2/(3 - 2) + 0. Suppose z*r - 3*r = 0. Solve r = -i*a - a + 10 for a.
2
Let f be (1 + 0/(-3))*15. Solve -4*t + 9*t = -f for t.
-3
Let q(x) = -x - 8. Let a be q(-10). Suppose y + 2 = 3*n, 2*n = 3*y - n - 6. Suppose y*r - 3*r = 0. Solve 4*m + a - 14 = r for m.
3
Suppose 5*r - 4*r - 3*b + 10 = 0, -4*r + 25 = b. Solve 0*a - r*a = 5 for a.
-1
Let o = -99 + 99. Solve o = 3*a - 5*a for a.
0
Let p be 6/(-27) - (-1090)/45. Suppose -2*b = 5*o - 17 - p, 0 = b - 3. Suppose -2*r + 8 = 2*a, 7*r = 3*r + a + 16. Solve -o = -r*y - 23 for y.
-4
Let r be 0/2*(-1)/(-1). Suppose 0 = -3*s + 4*j - 0*j + 20, 0 = 3*s - 2*j - 10. Let v = r + s. Solve v = 4*n + n for n.
0
Let w(l) = 2*l**2 - 2*l - 1. Let m be w(-1). Solve -m = -q - 7 for q.
-4
Let i be 1/(-2) + 7/2. Let t be (i - 2)*3 + 1. Suppose -9 - 27 = -t*s. Solve -2*r = r + s for r.
-3
Suppose -4*n + 5*c - 40 = -8*n, -5*n - c + 29 = 0. Suppose -n*i + 4*i = 0. Solve 2*f + 6 - 2 = i for f.
-2
Suppose -4*k + 28 = -0. Solve -3*g - 4 = -k for g.
1
Suppose -7*u + 8 = -3*u. Let i(y) = y**3 + 3*y**2 + 4*y + 2. Let l be i(-2). Let a = u + l. Solve a*r + 5*r = -15 for r.
-3
Suppose -4*v = 5*w + 5, -2*v - 15 = 6*w - w. Solve z = v*z - 12 for z.
3
Suppose -2*r = -0*m + 3*m + 37, 2*m - 1 = r. Let t = r - -11. Solve t = 4*c + c + 25 for c.
-5
Suppose 5*n + 4*k = 5, 4*n - 4*k = 8 + 32. Solve n = -m - 0 for m.
-5
Suppose -1 - 4 = -k. Let l be (-1 + 2)/((-5)/(-35)). Let d(b) = -b**3 + 8*b**2 - 5*b - 7. Let n be d(l). Solve 4*c = n + k for c.
3
Suppose 18 = 4*n + 2*w, 0*w = -2*n + 2*w. Suppose -b + 39 = 4*s, n*s - b - 36 = -4*b. Solve -l - 2*l = -s for l.
3
Let s be 1/(-2) - 22/(-4). Solve s*t - 15 + 5 = 0 for t.
2
Let q(k) = -8 + 2 + k + 0. Let v be q(6). Let x be 4 - ((-2 - -2) + v). Solve -x*b = b - 10 for b.
2
Let f be (-4 + 5)*(-1 + 14). Let w = 6 + -13. Let i = f + w. Solve -n = -i*n for n.
0
Let n be 5/(10/6) - 3. Let g = 3 + n. Solve 4*y - y - g = 0 for y.
1
Let y = -38 + 9. Let d = -17 - y. Solve 3*m + m - d = 0 for m.
3
Let q(w) = w - 8. Let i be q(0). Let l(n) = n**3 + 7*n**2 - 9*n + 4. Let m be l(i). Solve -m + 0 = 3*j for j.
-4
Let w be 8 - (4/(-26) - 270/(-65)). Solve 3 = -w*g - 1 for g.
-1
Let c = -29 - -43. Solve c + 11 = 5*v for v.
5
Let n be (-3 - (2 - 4)) + 11. Solve 4*u = -n + 2 for u.
-2
Let n be (-16)/6*(-168)/28. Solve -c = -5*c + n for c.
4
Let g(i) = i**2 - 8*i - 6. Let s be g(9). Let d = s + 2. Solve -2*k + d*k = 0 for k.
0
Suppose r + 3*y - 5 = 4, -9 = -5*r + 3*y. Let b(g) = g + 4. Let n be b(3). Let i(s) = s**2 - 6*s - 3. Let j be i(n). Solve -1 = -j*h + r for h.
1
Let f be (14/21)/((-2)/(-24)). Suppose 2*w = 7 + 7. Solve -f = 3*z + w for z.
-5
Let y be 2/8 + (-63)/(-36). Solve 1 + y = 3*z for z.
1
Let y be 0/(2 - 0) + 1. Let l = 0 - -5. Let x = 10 - l. Solve y = x*o - 9 for o.
2
Let x(f) = f**2 - f + 2. Let w be x(0). Solve q = -q + w for q.
1
Let v(w) = w**3 - 9*w**2 + 12*w - 7. Let t be v(8). Let f = t - 23. Solve -x - f = -1 for x.
-1
Suppose 2*p - u - 3 = -0*p, -p = 4*u - 6. Solve 0 = p*d - 5 + 15 for d.
-5
Suppose -y + 5 + 1 = 0. Let s(z) = z + 13. Let r be s(-9). Suppose -3*x - 6 = 0, 11 = -r*m - 4*x + 3. Solve m*h + y = 2*h for h.
3
Let y be -2 - 3*(-4)/3. Solve y*z + 5 = z for z.
-5
Suppose 22 = 3*d - 0*p + 2*p, -4*d + 16 = -4*p. Solve 21 = 5*t + d for t.
3
Let d = 11 + -8. Let x be (-33)/22*(-20)/d. Solve o = 6*o - x for o.
2
Let g = -2 - 13. Let m be 2/5 + 6/g. Suppose -12 = -m*f - 3*f. Solve 0*x = 4*x - f for x.
1
Suppose 4*p = g + 78, 6 = 3*g - 0*g. Suppose 2*c = 6*c - p. Suppose 10 + 24 = 5*l + q, c*l + 5*q - 30 = 0. Solve 0 = 4*z - l - 13 for z.
5
Let r(u) = 6*u**2 + 3*u - 2. Let n(q) = -7*q**2 - 3*q + 2. Let k(o) = 5*n(o) + 6*r(o). Let w be k(-4). Suppose 1 = -j + w. Solve -j = -5*d - 11 for d.
-2
Let x = -6 + 15. Suppose 0 = 4*o + 3*w + x, 4*w - 3 + 15 = 5*o. Solve -5*m + o*m = -20 for m.
4
Let s = -173 + 182. Solve 0 = 2*i + i + s for i.
-3
Let j = 16 - 14. Let y = 13 - 7. Suppose y*n - j*n = 0. Solve g - 5*g + 4 = n for g.
1
Suppose -2*q - 1 = 2*p - 7, 0 = -3*q + 3*p + 21. Suppose -3*v = -q*s + 97 - 20, 0 = -4*s + 5*v + 72. Solve -3*d + 2 = -s for d.
5
Suppose 5*r + 37 = 2*u, 6 = 2*u + 4*r - 4. Solve 4*j = -u - 5 for j.
-4
Suppose 21 + 27 = 4*d. Let z be (-8)/6*(-54)/d. Solve q + z = -q for q.
-3
Let b(p) = p**3 - 7*p**2 + 7*p - 2. Let g = -9 + 13. Suppose 3*u - 15 = -g*s, -s + 1 = -2*u - 11. Let j be b(s). Solve j = r + 3 for r.
1
Let o = 61 + -56. Solve -7*t = -o*t - 6 for t.
3
Let o = 31 + -14. Let b = -15 + o. Let y = 5 - 3. Solve -b*l = y*l - 8 for l.
2
Suppose -2*z = a - 1 - 14, -a - 4*z + 23 = 0. Suppose 0 = 5*t - 8 - a. Suppose -60 = t*s - 7*s. Solve 3*l - s = -3 for l.
4
Let q(u) = -u**3 - 2*u**2 - u + 2. Let k be q(-2). Suppose -k*w + 2 = -2*w. Suppose 4*p = o - 15 + 4, -4*p - 5 = o. Solve w = o*n + 4 for n.
-1
Suppose 0 = 5*t + 2*p - 17, -3*t + 2*p - p = -8. Solve t*f - 7 = -1 for f.
2
Let y = 155 + -139. Solve -f - 3*f + y = 0 for f.
4
Let f = -7 - -14. Solve -5*z - f = 3 for z.
-2
Suppose 3*w + h + h - 1 = 0, 4 = -4*w - 4*h. Solve -w*j = -j + 6 for j.
-3
Let r = 6 - 12. Let u be (-4)/(-6)*(-63)/r. Let t = u + -5. Solve t*f = 4*f for f.
0
Let c be 3 + -1 - (8 - 3). Let s(l) = -l + 3. Let a be s(c). Solve 6*k + a = 4*k for k.
-3
Let v(m) = -m**2 - 14*m - 15. Let w = 10 - 20. Let q be v(w). Let d = 6 + -1. Solve d*b = -q - 0 for b.
-5
Let f(h) = h**3 + 8*h**2 - 11*h - 4. Let v be f(-9). Let q = -11 + v. Solve -q*y = -2 + 17 for y.
-5
Let l(x) = -x + 11. Let f be l(9). Suppose -t - 9 = -q, t + 18 = f*q - 4*t. Let h(m) = -m**2 - 3*m + 3. Let i be h(-3). Solve -i*z + 0*z + q = 0 for z.
3
Suppose 3*u = 5*u. Suppose 3*q = -u*q. Solve -1 = t - q*t for t.
-1
Let z be 5 - (0 + 2 + 1). Suppose -z + 10 = 4*b. Solve -b*i + i = 1 for i.
-1
Suppose 12 = u - 4*x, -5 = -2*x + 5. Suppose 2*f + 2 = 3*f - 2*k, 4*f - 2*k - u = 0. Suppose f = -s + 6*s. Solve 0 = n + s*n - 6 for n.
