n be -7*2*(-3)/6. Suppose -n*g + 3*g = -8. Solve 0 = -g*h - 5 - 1 for h.
-3
Suppose 7*b + 0 + 0 = 0. Suppose 4*w + o - 68 = -7, 2*o + 6 = 0. Solve b = 5*q - q - w for q.
4
Let i(k) = k**2 - 3*k + 6. Let a = 0 - -1. Suppose 0 = -3*x - 4 - 5, 2*x = -w - a. Let h be i(w). Solve 0 = 4*c - 0*c + h for c.
-4
Let h be (-24)/40 - (-18)/5. Solve h*l + 5 = 20 for l.
5
Suppose 5*l - 18 + 3 = 0. Solve -k + l*k = 10 for k.
5
Suppose -5*j + 59 = -4*v, -23 = -0*j - j - 2*v. Solve 0 = -13*k + j*k + 10 for k.
-5
Suppose -h - 1 = -3. Suppose h*n = -3*n. Solve n = c - 2 - 3 for c.
5
Let a(h) = h**2 + 7*h - 8. Let g be a(-8). Suppose -2*i - 2*x = -7*x - 16, 4*x = -8. Solve 6*w - i*w + 12 = g for w.
-4
Suppose -5*z - 11*m = -9*m - 10, -20 = -4*m. Solve 11*d - 12*d - 4 = z for d.
-4
Let x be ((-66)/12)/(2/(-4)). Let t = 0 + 6. Let y = x - t. Solve y*z + 1 = 6 for z.
1
Suppose -5*o - 29 = 4*n - 2*o, -3*n - 3*o - 21 = 0. Let l(a) = -a**2 - 10*a - 10. Let d be l(n). Solve g = d*g - 5 for g.
1
Let p(v) = -v + 9. Let z(c) = -3*c + 27. Let f(u) = -8*p(u) + 3*z(u). Suppose 2*b = 11 + 3. Let o be f(b). Solve o*r = 5*r - 3 for r.
1
Let b = 3 + 2. Suppose 11 = -b*g + 26. Solve g*i + 3 = -0 for i.
-1
Let a = -19 - -24. Solve 0*n + a = n for n.
5
Let l(x) = -x - 1. Let m be l(-3). Solve -s - 3 = m*s for s.
-1
Let q = -48 + 53. Solve -17 + q = -4*m for m.
3
Let v(i) = i**2. Suppose -10 = 2*d + d + 2*o, 12 = -4*d - 2*o. Let k be v(d). Solve -6*w + 2*w = -k for w.
1
Let t be (0 + 1)*((6 - 4) + 2). Solve j - 9 = t*j for j.
-3
Suppose 0 = 4*p + 11 + 9. Let r(f) = f**3 - f**2 + 3*f - 3. Let k be r(2). Let z = k + p. Solve 0*a - z = a for a.
-2
Suppose -3*i = j - 16, 48 = 4*j - 4*i - 0*i. Let y = -5 + j. Solve y = -0*x + 2*x for x.
4
Suppose 3*a + 0*d - 65 = 5*d, 3*a = -2*d + 37. Suppose 0*h = h - 11. Let z = a - h. Solve z*s - 1 = 3 for s.
1
Suppose 3*n + 19 = 2*k, -2*k + k - 4*n = 18. Let d(o) = 2*o - 5. Let b(q) = 5*q - 14. Let c(w) = -3*b(w) + 8*d(w). Let v be c(-2). Solve -z + 3 + k = v for z.
5
Let y(c) = -c**2 + 2*c + 3. Let x be y(3). Solve x = o - 1 - 4 for o.
5
Suppose 12 = 3*n - v, -3 = -n + 4*v + 1. Suppose -t + n = t. Suppose t*h + 2*h - 108 = 0. Solve 11 - h = -4*m for m.
4
Suppose -5 = 2*f - 5. Solve 0 = -5*q - f*q + 25 for q.
5
Let b = -26 - -4. Let j = -17 - b. Solve -15 + 0 = -j*h for h.
3
Suppose 0 = u + 8 - 10. Solve i = 3*i - u for i.
1
Let m(i) = i**3 + 2*i**2 + i. Let o be m(-1). Let y = 13 - 13. Let f = y + o. Solve -2*t + 6 = -f for t.
3
Suppose 3*c - 6 - 18 = 0. Solve 4*l + c = -0*l for l.
-2
Let y(x) = -6*x - 5. Let r(b) = -b - 1. Let a(h) = 5*r(h) - y(h). Let p be a(3). Solve p*j - 5 = 2*j for j.
5
Let g(o) = -o**2 - 2*o - 1. Let b be g(3). Let h be (-4)/b - (-11)/4. Solve 0 = -0*r - h*r + 6 for r.
2
Let x be 20/(-6)*18/(-4). Let q = -47 - -49. Solve q*n + x = 7*n for n.
3
Let c = 127 - 124. Suppose -2*l = -2*g - 2, -3*g + 9 = 3*l - 6. Let h be ((2 - g)/(-1))/(-2). Solve -m - c*m = h for m.
0
Let k be ((-6)/4)/((-6)/16). Suppose -4*u - y = -15, -u - 5*y = 4 - 3. Solve 4 = -u*v - k for v.
-2
Let i be 2/10 + 12/(-60). Solve i + 1 = q for q.
1
Suppose 0 = -4*w - 22 + 54. Let u be w/52 - (-4)/(-26). Suppose 0 = -5*p + 3*a + 2*a - 5, u = p + 4*a - 4. Solve -5*m + 10 + 10 = p for m.
4
Let m be -3 + 1 + 2 - -1. Let a = m - 1. Solve a = -2*j - 3*j + 25 for j.
5
Let k = 3 - 4. Let m = -1 - k. Suppose -4*d - 3*j = -4 - 62, 2*j - 19 = -d. Solve q + 4*q - d = m for q.
3
Let k(t) = t - 9. Let n be k(19). Solve 0 = -3*h + h - n for h.
-5
Let t(b) = b + 9. Let o be t(-5). Solve 3 = o*r - 13 for r.
4
Let o = -62 + 71. Solve -1 = 2*n - o for n.
4
Let j be -3 - -1 - (-6 + 0). Let z(m) = 2*m**2 - m + 1. Let r be z(1). Let q be 5/((-25)/r)*-30. Solve j*c - q = c for c.
4
Let w = -30 + 30. Solve w = 4*l + l + 15 for l.
-3
Suppose t = -t - 2*r, -2*r = 3*t + 4. Let c be (-1)/t + 30/8. Suppose 32 = 4*v + 2*i, -3*v + 2*i = -c - 6. Solve -4 = 2*j + v for j.
-5
Let s = 3 - 0. Suppose -1 = f - s. Suppose -1 = x - f*z + 6, -x = -4*z + 17. Solve x*l = -2 - 4 for l.
-2
Suppose -3*j - j + 2 = -s, 0 = -2*j + 3*s - 4. Suppose p - 1 = j. Solve -p*b - 4 - 4 = 0 for b.
-4
Let h(v) = 2*v - 3*v + 9 - 1. Let o be h(6). Suppose -4 = -2*t + o. Solve 2*x = t*x + 3 for x.
-3
Let b(f) = -f**3 + 6*f**2 + 3*f - 3. Let l be b(6). Suppose l = 4*k + k. Suppose -11 = -k*d - 2. Solve -x = 5 - d for x.
-2
Let c(p) = p**2 + 6*p + 1. Suppose -5*u + 6 = 36. Let j be c(u). Solve r - j - 3 = 0 for r.
4
Let n be (-80)/(-24) - (-2)/3. Suppose 0 - 24 = -4*d. Suppose 5*m - 49 = 3*c - d*c, -2*c - m + 28 = 0. Solve -n*g + c = -3 for g.
4
Suppose g - 385 = 6*g. Let s = -115 - g. Let z be 4/(-18) - s/9. Solve -z*t = t - 25 for t.
5
Let z(f) = f**3 - 5*f**2 - 4*f - 9. Let d be z(6). Solve -3*q + d = 12 for q.
-3
Suppose 3*s + 12 = 5*g, 4*g + 0*s + 4*s - 16 = 0. Suppose 21 + 15 = g*f. Solve 3*u + u + f = 0 for u.
-3
Let s = 1 - -1. Let v(a) = 2 + 0*a - 3 + 2*a. Let g be v(s). Solve -2*z = g*z - 5 for z.
1
Let n = 6 + -3. Let x be -2 + (14 + 1)/n. Solve -x = 4*d + 1 for d.
-1
Let i = -4 - -22. Suppose 5*z + i = 4*z. Let f = z - -29. Solve -4*s = 27 - f for s.
-4
Let y = 3 + -4. Let q = 2 + y. Let k be (1 - -2)*q + 1. Solve -5*o + k = -o for o.
1
Suppose 4*n - 12 = -4*r, -2*n - 1 - 2 = -r. Suppose -8*h + 3*h = n. Suppose 0 = -3*a + 5*a. Solve a*i + 3*i - 9 = h for i.
3
Suppose -5*n = -4*n - 38. Suppose 5*z = 3*a - 22 - 17, 4*a - 2*z = n. Solve -y + a = y for y.
4
Let d(o) = -2*o**3 - 2*o**2 + 6*o + 4. Let y be d(-2). Solve y = 4*l + 4 + 4 for l.
-2
Let m(v) = -3*v + 12. Let d be m(4). Solve q - 4 + 0 = d for q.
4
Let j(r) = r**2 - 4*r - 7. Let s be j(5). Let y be 0/(9/3 + s). Suppose h + 2*p - 3*p = -1, -4*h - p + 16 = y. Solve -h*z = -0*z for z.
0
Let w = -24 + 36. Solve -m + 5*m = -w for m.
-3
Let n(p) = p**2 - p. Let j be ((-15)/(-10))/((-6)/(-8)). Let a be n(j). Solve -a*u - 1 = 5 for u.
-3
Let c be ((-24)/(-9)*-5)/((-2)/3). Suppose -4*u = -3*r - 27, -4*u - 2*r + 1 + 1 = 0. Solve -h + c = u*h for h.
5
Suppose -6*f = -4*f + 8. Let g be 78/12 - 2/f. Solve 2*w + g - 1 = 0 for w.
-3
Let q = 210 + -204. Solve 0 = 3*n + 21 - q for n.
-5
Let n(j) = 3*j**3 + j - 1. Let x = 13 - 12. Let d be n(x). Solve -d*v + 5 = -4 for v.
3
Suppose 5*v + x = -0*x + 23, 4*x - 12 = 0. Solve 0 = v*i + 17 + 3 for i.
-5
Suppose -r = -2*k - 0*r - 50, -5*r = k + 47. Let h be (2*k/6)/(-1). Solve -h = -5*v + 2*v for v.
3
Suppose 3*w - 12 = 3*d, -5*w + 16 = d - 4*d. Let x be 0 - (0 - -4)*-1. Let o = x - w. Solve -2*m = -o - 2 for m.
2
Suppose -10 = -4*a + 6. Suppose b - 3*t - t = a, -t + 12 = 3*b. Solve -2*v + 8 = -b*v for v.
-4
Let k = 10 - -10. Suppose k = -i + 6*i. Suppose i = 5*p + 5*r + 9, -r + 1 = 2*p. Solve 9 = p*m + 3 for m.
3
Suppose -2*v - 2 = -3*v + 5*d, 3*d = 0. Solve -4*r + 14 = v for r.
3
Suppose -27 - 27 = -6*s. Solve s = -p - 2*p for p.
-3
Let y be 14/(-4)*(-220)/77. Let l be (-1)/(4/2)*-2. Let h be (l - 1)/(-1)*1. Solve 0*g - 2*g + y = h for g.
5
Let r = 28 - 8. Solve -d + r = 3*d for d.
5
Let x(r) = -r**2 - 12*r - 28. Let i be x(-8). Let q = 25 + -12. Solve -q = -i*s + 3 for s.
4
Let u be ((-22)/8)/(4/16). Let m = -7 - u. Solve m = -2*t + 4*t for t.
2
Suppose 0 = -3*o + o + 6. Suppose -l = -2*l + o. Solve 0 = 2*w - 11 + l for w.
4
Let q(i) = i**2 + i + 1. Let h(w) = 8*w - 16. Let s(c) = -h(c) - q(c). Let r be s(-9). Solve 4*d = 3 - r for d.
-3
Let o be (-10)/(-4)*(3 + 3). Suppose 5*g + o - 45 = 5*l, -3*l = 12. Suppose -b - 8 = 2*z, 4*b + 4 = -3*z + g*z. Solve b*s = -4*s - 4 for s.
-1
Let l be 1 - -1 - (-8 + 2). Suppose 0 = 3*f - 5*b - 17, 7*f + 4*b = 4*f + l. Solve 0 = 5*m - f*m for m.
0
Let r = -9 + 11. Solve 0 = -r*n - 0 + 4 for n.
2
Suppose -3*r - 3*w + 3 = -0*r, 2*w - 6 = -4*r. Solve r*l - 7*l = 10 for l.
-2
Let k be 195/25 - (-12)/(-15). Solve k*z = 3*z for z.
0
Let c = -8 + 13. Solve -c*a - 5 = -10*a for a.
1
Suppose -7*c = -5*c - 40. Solve -6*s + s - c = 0 for s.
-4
Suppose -3*y = -5*j - 2, -y + 4*y - 4 = 4*j. Suppose -3*p - 8 = -4*k, j*p + 0*k + 8 = 4*k. Solve p*w - 1 = -w for w.
1
Suppose 2*m + 3*r = 5*r + 10, 3*r = -5*m + 1. Solve m*q = -q for q.
0
Let n be (-10)/(-15) - (-20)/(-3). Let y be n/(-4)*(-16)/(-6). Solve 7*g + 15 = y*g for g.
-5
Let v(g) = 11*g**2 - g. Suppose 3*i - l + 1 - 2 = 0, l = 4*i. Let f be v(i). Solve