u.
3
Let d = 6 + -13. Let s = 11 + d. Solve -12 + 0 = s*t for t.
-3
Let p(z) = z**3 - 7*z**2 + 10*z + 5. Let i be p(5). Solve 0*n = -i*n - 5 for n.
-1
Let m(l) = -4*l - 21. Let o be m(-6). Solve o + 0 = 3*d for d.
1
Suppose 22*j = 17*j + 15. Solve j*u = 2 + 13 for u.
5
Suppose j + 4*j - 5*v = 45, 16 = -4*v. Let n be 923/39 - (-1)/3. Let b be -21*2*(-4)/n. Solve -2*w + j = -b*w for w.
-1
Suppose 14*x - 36 = 48. Solve 2*y = 5*y - x for y.
2
Suppose 0*w - 2*w - 4 = -d, 8 = w + 2*d. Solve -3*l + w - 12 = 0 for l.
-4
Suppose 5*s = -3*h + 31, -h + 1 = -5*s + 2*s. Let f = 8 - 6. Solve h*x = f*x for x.
0
Suppose -2 = -4*p + a + 9, -5*a = 4*p + 7. Let h = 12 + -7. Let j = 9 - h. Solve p = j*d - 14 for d.
4
Suppose 0 = 15*v - 9 - 6. Solve 0 = -u - v - 4 for u.
-5
Suppose -q + 5*k - 2 = -8, 3*q - 1 = -2*k. Solve -3*o + 2*o - q = 0 for o.
-1
Suppose -5*t + 13 = -102. Let u = -14 + t. Solve 0*a + u = -3*a for a.
-3
Let u = 20 + -10. Solve -u = 3*w - 1 for w.
-3
Let i = -1 - -3. Suppose 12 = f + i*f. Solve -14 = -f*v + 2 for v.
4
Let k = 15 - 13. Solve 2*u - k = -0 for u.
1
Let q be (-3)/(3/(1*-3)). Suppose 0 = -f - 0 - 11. Let m be -1*f*3/3. Solve 2*b + m = q for b.
-4
Suppose -3*d + 5*a - 2 = 4, -2*d = 3*a - 15. Let v(q) = -q**2 + 2*q + 3. Let u be v(3). Solve -4*h + 7*h + d = u for h.
-1
Suppose 6 = w - 4*s + 21, 0 = -5*s + 25. Suppose 0 = 5*p + 3*t - 20, 0*p + 4*p = w*t + 16. Solve -2*i + p = -2 for i.
3
Let v = -22 + 25. Let f be (v/2)/(15/20). Solve f = t + 3 for t.
-1
Let x = -2 - -4. Solve -1 = x*k + 1 for k.
-1
Suppose 3 = -3*p - 0. Let m(j) = -5*j. Let z(c) = c - 1. Let x(i) = p*m(i) - 6*z(i). Let a be x(4). Solve -2*n = -a + 10 for n.
-4
Suppose 0*u - 7 = -u. Suppose 1 = -5*c - 4. Let m be -1 - (-1 + 4)*c. Solve 0 = 3*t + m + u for t.
-3
Let f = 0 + 3. Let l = f - 1. Suppose 2 = l*c - 2. Solve j = -c*j for j.
0
Let z(f) = -6 + f**2 - f + 6*f - f. Let s be z(-6). Suppose -s*q + 20 = -q. Solve -q*a = -3*a for a.
0
Let i = 16 - 4. Suppose -3*b = 0, 8*p = 5*p + 2*b + i. Solve k = 5*k - p for k.
1
Suppose -4*c - c = 3*j - 65, 5*j - 55 = -3*c. Let z be 4/16 - c/8. Let y be -1 - (2*-1 - z). Solve -l - 2*l = y for l.
0
Let w(n) = -n**2 + 2*n - 1. Let k be w(2). Let x be k - 6 - (5 + -7). Let l = x + 9. Solve -l*o + o = -3 for o.
1
Suppose 4*g = -3*c + 81, 2*g + 5*c - 51 = -0*g. Let q = g - 16. Solve -q*p + p = -1 for p.
1
Suppose 8 = -i + 20. Let p be (-10)/(-3)*(-15)/(-10). Let h = p - 3. Solve -h*r + 6*r = -i for r.
-3
Let m(i) = i**2 + i - 5. Let f be m(0). Let w be (f - -15)*(-1)/2. Let k = -3 - w. Solve 0 = y - k for y.
2
Let i(r) = 7*r - 3. Let m(n) = 6*n - 4. Let s(t) = 5*i(t) - 6*m(t). Let u be ((-10)/4)/((-5)/10). Let f be s(u). Solve 7*z - 3 = f*z for z.
1
Suppose x - 5*h = 18, -4*h - 46 = -5*x - 19. Let n be 1 - (2 - -4)/x. Let a(u) = -3*u - 1. Let l be a(n). Solve t = 2*t - l for t.
2
Suppose 3*v + 4 = 5*v. Suppose 40*y - 4 = 38*y. Solve z = v + y for z.
4
Let d(s) = 19*s**3 - s**2 + s + 1. Let q be d(1). Solve 4*n = 8*n + q for n.
-5
Let u be -6*(11/3 - 4). Suppose 3*l + 0 = 4*y - 8, -u*y = -l - 6. Solve l*p = p - 6 for p.
-2
Let h be 2/6*(20 + -2). Suppose 20 = 4*l + 3*t, 4*l + t - h - 14 = 0. Solve -l*n - 6 - 19 = 0 for n.
-5
Suppose 5*n - 2 - 13 = 0. Suppose -n*f + 5*f - 2 = 0. Solve -f + 11 = 5*t for t.
2
Let j = 2 + -7. Let k = j - -10. Solve 0 = h + k - 0 for h.
-5
Let n = -20 + 27. Solve 0 = 3*v - n*v + 4 for v.
1
Suppose k + 0*k = -3*s - 2, -2*k - 4*s = 0. Suppose 6*q - 9 = -2*u + 3*q, -u - k*q + 7 = 0. Solve 0 = -3*g - u - 6 for g.
-3
Let f be (4/6)/((-18)/(-189)). Let r(c) = -c**3 - c**2 + 5*c + 2. Let q be r(-3). Suppose q*t - f = 3. Solve -t*s + 5 = -3 for s.
4
Let y be 0/(5/(5/2)). Let t be 0/(-2 - 2) - -3. Solve y = -0*x - t*x + 12 for x.
4
Let o be 6/8 + (-68)/(-16). Suppose 12 + 1 = 2*x + 3*j, 5*x - 5*j = -o. Solve x*p - 4*p = 8 for p.
-4
Suppose -4*p - p = -15. Suppose p*s - 2*n = 5, s - 4*s + 10 = -n. Solve -b = 4*b + s for b.
-1
Let d = -1 + -2. Let u be (-3)/(3/1)*d. Solve -2 = -n + u*n for n.
-1
Let g be ((-10)/(-1))/(14/28). Suppose 4*m = -g, 5*m - 5 = -4*a - 2. Solve 0 = -4*y + a + 1 for y.
2
Let m(p) = -p**2 - 6*p + 5. Let l be m(-6). Solve -4*y = -l*y + 1 for y.
1
Suppose -2*f + 0 = -8. Let t be 2/(-3) + (-2)/(-3). Solve t*w = -f*w + 12 for w.
3
Suppose 12 = -o + 7*o. Let p be 0 + (0 - (-4 + 2)). Suppose 0*z = -5*z - 3*s + 55, -50 = -5*z - 2*s. Solve -p*h - o*h = -z for h.
2
Let k(t) = -t + 5. Let i be k(5). Solve 4 = -i*b - b for b.
-4
Let w = 129 - 113. Solve -w - 9 = 5*p for p.
-5
Suppose 0 = g - 6 - 3. Let j = 14 - g. Let y = -4 + j. Solve -y + 3 = -k for k.
-2
Suppose -4*t + 11*u - 6*u = -44, 24 = 2*t - 3*u. Solve k - 3*k = -t for k.
3
Let x(y) = 4*y - 3. Let h be x(6). Let z = h + -15. Suppose -l - t - 1 = 0, -l = -z*l - 4*t. Solve -l = 4*w - 3*w for w.
-4
Let j be (-3 + 2)/(-2)*0. Let g = 56 + -36. Solve 5*n = -j*n + g for n.
4
Suppose x - 4*u - 1 = 24, 3*u = 2*x - 25. Solve 0 = -x*z + 3 + 12 for z.
3
Suppose -3*p + 0*l = l, 0 = 3*p + 4*l + 9. Solve n = 2*n - p for n.
1
Let p be ((-8)/10)/(14/(-105)). Suppose 0 = -5*m + 2*m + p. Solve -m*t - t = -12 for t.
4
Let k(w) = -w**3 - 10*w**2 + w + 13. Let d be k(-10). Solve d*v + v = 0 for v.
0
Let u be (2*4)/((-2)/(-6)). Let p = 36 + -32. Suppose -i = -2*m, -5*i - p*m + 32 = -u. Solve -f + 3 = i for f.
-5
Suppose 11 = 3*i - 25. Let q = -11 + i. Solve -4*u = -q - 15 for u.
4
Suppose 3*d - 35 = -29. Solve -6 = -d*n - 0 for n.
3
Suppose -2*z - 6 = -4*t, -2*t = -2*z - 2*z + 6. Solve 0 = -m - z + 4 for m.
1
Suppose 5*a - 3*a = 8. Solve -19 + 3 = -a*x for x.
4
Let c = 9 + -3. Let v be (-6)/(2/1 - 4). Suppose -c = -v*h - 0*h. Solve 0 = h*j - 8 for j.
4
Let m = 518 - 516. Let g be (-1 - (-1 + -3)) + 1. Solve 2*t = m + g for t.
3
Let j(u) = -u**2 + 5*u - 4. Let z be j(4). Suppose z = -3*l + l. Solve l = -0*f - 5*f - 5 for f.
-1
Let d(p) = -4*p + 13. Let c(g) = 5*g - 14. Let u(a) = 5*c(a) + 6*d(a). Let v be u(-6). Suppose -v*k = -k. Solve k*t = t for t.
0
Suppose -j + 6*j - 15 = 0. Suppose j*w - 43 - 31 = -5*v, 4*v + 4*w = 64. Solve -4*d - v = 7 for d.
-5
Let a = 37 - 37. Solve a*v + 2*v + 8 = 0 for v.
-4
Let r be -2 - (-6 - 6/(-2)). Let w be ((-124)/(-6))/((-4)/(-6)). Suppose o + 3*k = -12, o + o = 5*k + w. Solve o = -2*t - r for t.
-2
Let j be (-4)/10 + (-3)/5. Let k = 3 - j. Solve -k*s + s - 3 = 0 for s.
-1
Let c(d) = 4*d - 22. Let y be c(6). Solve y + 2 = -g for g.
-4
Suppose 4*t + 2*r = -20 - 14, -3*t = 3*r + 30. Let v = t + 11. Solve n = -0*n + v for n.
4
Let p = 71 - 69. Solve 0*m - p*m = 0 for m.
0
Suppose 4*w = 9*w - 75. Let c be ((-8)/(-10))/(3/w). Solve -c*n - 2 = 10 for n.
-3
Let r = -545 + 548. Suppose -57 = -4*z + 5*i, -2*i - 29 - 13 = -4*z. Solve -r*d - z = 7 for d.
-5
Let m(g) = 5*g + 1. Let q be (4/6)/(2/12). Suppose -6*v = -q*v - 2. Let x be m(v). Solve -3*i = x - 0 for i.
-2
Suppose 4*b - 1 - 31 = 0. Suppose -5*f = -v + b, -2*f + 2 - 1 = v. Suppose v*h = 5 - 2. Solve -s = -0 - h for s.
1
Let k(n) = n**2 - 5*n. Let x be k(4). Let i(d) = d**2 + 3*d - 4. Let v be i(x). Solve v = 2*y - 0*y for y.
0
Suppose -5*j + 9 = 5*l - 2*j, -2*j + 6 = 4*l. Let x be (-18)/(-8)*(-16)/(-6). Suppose -w = 2*w - x. Solve p + w + 3 = l for p.
-5
Let l be 2*-1 + (7 - 5). Let t be (l - -1)*(-1 - -5). Let m be (1 + 1 - 4) + t. Solve -f - 3 = m*f for f.
-1
Suppose -s + d = -8, s + 4*s - 4*d - 36 = 0. Suppose 3*y = 7 - s. Solve t - y = -0*t for t.
1
Let v(l) = -8*l**2 + 2*l + 1. Let f be v(-1). Let g = f + 12. Solve g - 11 = 2*c for c.
-4
Let p(x) = -x**2 + x + 1 + x**3 - x - 3*x**3. Let m be p(-1). Solve -m*l + 3 = -3*l for l.
-3
Suppose 0 = -5*v + 29 - 9. Suppose -b + 3*b - v = 0. Let q(a) = -a**2 + a + 2. Let o be q(2). Solve z + o = b for z.
2
Let j(c) = c**3 - c + 7. Let z be j(0). Suppose 4*m - 2*a = 24, 2*m - z*m + a + 30 = 0. Solve m = -q + 2 for q.
-4
Let m be (2/2)/(5/20). Solve 0 = -m*i + 6*i + 4 for i.
-2
Let n = -172 - -173. Solve 7 = -4*i - n for i.
-2
Let q(j) = j + 14. Let h be q(-9). Solve -7 = h*x + 3 for x.
-2
Suppose -6 = 3*r - 3*u, -3*r + 16 = 3*u - 8. Let s(n) = -n - 1. Let o be s(-2). Suppose -10 + 33 = v + 3*c, -3*v = 2*c - 34. Solve -r*m = -v - o for m.
3
Let q(u) = u**2 + 2*u. Let c be q(-3). Suppose 0 = -5*f + 5 + 5. Let n = c - f. Solve -5*d - n = 19 fo