-4
Suppose -11*d + d = -20. Solve 2*s - s = d for s.
2
Let v = 1321 - 1319. Let n(c) = 4*c**2 + 12*c - 8. Let i(u) = u**2 + u - 1. Let q(k) = 5*i(k) - n(k). Let r be q(7). Solve t - v = r*t for t.
-1
Let k be 4 + (0 - 364*-1). Let i be 3 - ((-2)/5 + k/(-80)). Solve 5*r - i = 12 for r.
4
Suppose -3*c - 4*z - 12 = -c, -3*z - 9 = -4*c. Solve -n + 0 + 5 = c for n.
5
Let u = 6 - 3. Suppose 0 = 7*s + s + 40. Let n be 0/(-1) - s/(15/12). Solve -u = 3*a - n*a for a.
3
Let q = -2092 + 2196. Solve -11*t = 15*t - q for t.
4
Suppose 35*l - 39*l + 12 = 0. Let o be (1 + 3)*(-6)/(-12). Solve 5 = -o*x - l for x.
-4
Let n be (5 - 11)*173/(-6). Solve -171*q + 8 = -n*q for q.
-4
Suppose -11*c = -39 + 6. Solve -11*l - c = -14*l for l.
1
Let w(c) = -2*c**2 - 55*c - 4. Let i be w(-27). Solve -t = -i + 18 for t.
5
Let p = 7 - 2. Let h = 271 + -269. Suppose -4*b - 4 = -2*g - 24, -3*g = 3*b + 3. Solve -b*a - p = h*a for a.
-1
Let h be -2*1 + (-594)/(-27). Suppose 3*s + t - h - 1 = 0, -4*s + 3*t + 41 = 0. Solve 3*r = r + s for r.
4
Suppose -a - 4*a - 2*o + 37 = 0, -5*a = -3*o - 32. Solve -5*l + a*l = -8 for l.
-4
Suppose 3*g - 4*s - 3 = 0, -3*g - 5 = -g - 5*s. Let b be (-2 - (-4 - -4)) + g. Solve -7 + 1 = b*a for a.
-2
Suppose -2*h = -0*h - r - 1, 2*h = -2*r + 16. Let g(z) = z**2 - 3*z + 2. Let v be g(h). Let n be v/(-3)*(-12)/4. Solve n*b = b for b.
0
Let b(g) = -9*g - 12. Let n(c) = 28*c + 36. Let f(l) = 7*b(l) + 2*n(l). Let t be f(-2). Solve -t*a - 20 = -6*a for a.
5
Let o be -2 + -2 + 5 - -1. Suppose -7 = k - o. Let j(y) = y**2 + 4*y - 1. Let m be j(k). Solve -m*v + 3*v = 1 for v.
-1
Suppose -5*w = -111 - 189. Let b = -56 + w. Solve -b*f + 12 = -4 for f.
4
Let h(g) = -3*g + 7. Let r be h(5). Let w be (r/(-5))/(2/10). Suppose 0*z + z = -4*s - w, 2 = -s. Solve j = -z*j - 3 for j.
-3
Suppose 4*f - 10 = -3*q + 6, 5*f = -5*q + 20. Suppose -v = -5*c - 9, -v + 0 + 2 = 2*c. Suppose f = 4*o, x - 2 = -v*o + 2. Solve x = t - 3*t for t.
0
Suppose -4*k = 3*k - 5*k. Solve k = -4*c + 28 - 16 for c.
3
Let c(f) = f**3 - 7*f**2 + 9*f + 10. Let n be c(5). Suppose 2 = n*l - 23. Solve 5*y + 0 + l = 0 for y.
-1
Let y be 2/6*1/((-1)/(-42)). Solve y = -3*i - 4*i for i.
-2
Let q be 0/((1 - 4) + 2). Let c(m) = -5*m - 6. Let w be c(-2). Let x(n) = -n**3 + 8*n**2 + 2. Let k be x(8). Solve q = 3*f - k*f - w for f.
4
Let t = -731 + 756. Solve 30*b = t*b - 25 for b.
-5
Suppose -6*c - 24 = -14*c. Suppose c*d + 48 = 3*a, -2*d = 5*a - 0*d - 45. Solve -5*w - 4 = a for w.
-3
Let x be (-16)/(-6) + -4*(-4)/(-24). Suppose -3*f + x = -4. Solve 0*g = f*g for g.
0
Let d(u) = 3*u**2 - 5*u - 34. Let g be d(-3). Solve -4*q + 6*q = g for q.
4
Suppose -12 + 5 = -5*f - 4*x, 0 = f + 5*x + 7. Suppose 4*i + i - 31 = -f*l, 4*i = -3*l + 26. Solve 2 = 2*n - l for n.
2
Suppose 2*m - 20 = -2*m. Suppose m*l - 12 = -2. Solve l*w = -0*w - 6 for w.
-3
Suppose -5 = -3*i + 5*s + 34, 3*s + 9 = 0. Let o be (-6)/24 + 10/i. Solve -2*k + 9 = o for k.
4
Let b = -600 + 652. Solve 0 = k - b + 47 for k.
5
Let r(x) = x + 2. Let u be r(2). Suppose 9*c - u*c - 15 = 0. Suppose -135 = -5*y - 35. Solve c*j + j = y for j.
5
Suppose -20 - 2 = -11*f. Let g be -1*f/2*0. Solve g = -m - m + 6 for m.
3
Suppose 34*s - 36*s = -68. Suppose 2*t - 38 + s = 0. Solve 0 = -t*r - 0*r for r.
0
Let f be (0 + -1)*(6 - 1). Let d be (0/2)/(f - -7). Solve -5 = -k - d for k.
5
Let d = 406 - 278. Solve -5*y - 103 = -d for y.
5
Suppose 0 = -i + 2*p - 4, 5*i + 9 - 4 = 5*p. Suppose -i*k - 68 + 2 = -5*n, -5*k - 75 = -5*n. Let t = -10 + n. Solve -t*z = -2 - 8 for z.
5
Suppose -5*t = 2*a - 3*t + 8, -5*a + 3*t - 20 = 0. Let d be -6*(a/(-3) + -2). Let l be 6/(-4) + 46/d. Solve -2 = 4*f + l for f.
-3
Let u be 6/15 + 108/(-20). Let x = u + 10. Solve -x*o - 3 = -2*o for o.
-1
Suppose -n - 150 = n + 5*p, -4*n - 3*p - 272 = 0. Let c = -62 - n. Solve c*x = 1 + 5 for x.
2
Let a = 556 + -519. Solve -38*k = -a*k - 1 for k.
1
Let t = -22 + 36. Suppose 0 = -5*k + 66 + t. Suppose i + i - k = 0. Solve r = i - 3 for r.
5
Let u(l) be the first derivative of -1/2*l**2 + 10*l - 1. Let c be u(5). Solve 0 = -3*k + 2*k - c for k.
-5
Let y(a) = 17*a - 20. Let v(z) = -8*z + 10. Let k(n) = 13*v(n) + 6*y(n). Let d be k(5). Solve 5*w - 14 - 11 = d for w.
5
Let f = -19 + 11. Let g = 13 + f. Let t(a) = 11*a**3 + 2*a**2 - 1. Let c be t(1). Solve -g*i = -i - c for i.
3
Let h be (-3)/(-6)*(19 + -19). Solve h = 16*y - 18*y - 2 for y.
-1
Suppose -2*s = -5*s + 3*x - 12, -5*s + 2*x = 8. Suppose -3*h + m + 2 = -14, 5*h - 3*m - 28 = s. Solve h*r = 6 + 9 for r.
3
Suppose -7*t = -0 - 35. Suppose -1 = -3*g - t*l, 0 = -4*g + 2*l + 5 + 5. Solve -2 = g*m + 6 for m.
-4
Suppose 5*h + 3*q = 70, 33*q = 4*h + 31*q - 78. Solve h*y = 21*y + 16 for y.
-4
Suppose 5*d + 5*k - 55 = 3*d, d = 3*k + 55. Suppose -3*m + 6 = 3*g, -6*m + d = -m - 5*g. Solve -2*l = m + 5 for l.
-5
Let r be (-12)/8*8/(-3). Let t = -19 + 34. Suppose -3*o + 2*o = 4*g - t, 4*g - 3 = 3*o. Solve -g*y - r = y for y.
-1
Suppose -180*q + 193*q - 26 = 0. Solve -16 = q*p - 6*p for p.
4
Suppose 5*z + 390 = 101*z + 34*z. Let d(i) = -i - i + 2 - 3. Let l be d(-4). Solve z*r - l - 2 = 0 for r.
3
Suppose 4*k - 2 = -3*a, -4*k + 5 = a - 1. Let x be 68/14 + 1/7 - -7. Solve -k*s = -5*s + x for s.
4
Suppose 0 = -4*d - 2*a - 24, -2*d = -3*a - 2*a + 36. Let c be ((-2)/d)/((-2)/(-8)). Solve -4*u - 9 = -c for u.
-2
Let u be ((5 - 4) + -2)*2. Let z be -4*u/16*0. Solve 3*d + z*d = 0 for d.
0
Suppose 36 = 35*v + 386. Let c = 11 - 7. Let z be (-16)/v*(1 + c). Solve 3*p - 7 = z for p.
5
Suppose u + 3*z + 0 + 1 = 0, 5*z = -5. Suppose 3*w + 70 = 8*w - u*x, 4*w = 2*x + 58. Solve 4*g = 7*g - w for g.
4
Suppose 19*g - 63 = 16*g. Let k be -4 + (g*-1)/(-3). Solve k*m = m - 6 for m.
-3
Suppose 0 = k + 2*z - 15, -5*k - 4*z + 61 = -32. Let y = -11 + k. Suppose 24*s = 26*s - y. Solve -s*o - 4 = 1 for o.
-1
Let h = -11 - -56. Let m = h - 43. Solve -m*g - g - 9 = 0 for g.
-3
Let z be 2/(-6)*(-12 - -12). Suppose z = -5*n - 4*v + 31, 3*v = -5*n + 25 + 2. Solve -3*s + 0*s - n = 0 for s.
-1
Suppose 5*s - 19 = -5*n + s, -n + 4 = s. Suppose -p - n = -2*p. Solve -l - p*l = -20 for l.
5
Suppose 3*j - o + 4*o - 285 = 0, j - o - 99 = 0. Suppose -j = -3*a - 91. Solve 5*i + 22 = a for i.
-4
Let f(t) = t**3 + 2*t**2 - 6*t + 3. Let w(i) = i**2 + 14*i + 26. Let u be w(-12). Let h be f(u). Solve -2*j + 5 = -h*j for j.
-1
Let a = 5 + -7. Let h be -3 + 10 + (a + 8)/(-2). Solve -3*g + h = 1 for g.
1
Let g(j) = -4*j - 187. Let d be g(-48). Solve d*c - 108 + 118 = 0 for c.
-2
Let n(f) = -f**3 - 6*f**2 - f - 1. Let w be n(-6). Let c be -3*w*7/(-21). Solve 4 = c*z - 16 for z.
4
Let y = -13 - -19. Solve -5*i = -y*i - 1 for i.
-1
Suppose -2*k + 2*f = 6, k + f - 1 - 2 = 0. Suppose -t + 5*p - 16 = k, -2*p + 4*p = -5*t + 28. Solve -3*m - 7 = -t for m.
-1
Let t(u) = 15*u - 82. Let j be t(6). Solve -8 + 0 = -j*d for d.
1
Let d = 24 + -17. Suppose 3*b - 53 = d. Solve 2*i - b = -3*i for i.
4
Let v(n) = 49*n + 199. Let d be v(-4). Solve -5*o + d*o = -8 for o.
4
Let u(v) = 12*v + 28. Let i be u(-2). Solve -8*r + i*r = 12 for r.
-3
Suppose 5*d + 2*k + 2*k = -12, -4*d - k - 3 = 0. Solve d = -t - 3 + 2 for t.
-1
Let g = -426 + 431. Suppose 3*z - 4 = -1. Solve g - z = -y for y.
-4
Suppose 10*z - 9*z + 1 = 0. Let c(b) = 2*b + 2*b - 2*b + 2. Let g be c(z). Solve g*n - n = 5 for n.
-5
Let g = 15 - 18. Let x be -2 + g + (-8 - -1). Let d be (-26)/(-4) + 6/x. Solve -d*s + 4 = -2*s for s.
1
Suppose -7 = 3*u - 13. Solve 3*g = -u*g for g.
0
Let w = -11 - -5. Let g = -4 - w. Suppose -144*c - 9*c + 2295 = 0. Solve i = -g*i - c for i.
-5
Suppose 0 = 4*f - 7*f - 18. Let r be 3/1 - (9 + f). Solve t = -r*t - 1 for t.
-1
Suppose 3 = -2*t - 3. Let y(p) = -14*p - 3. Let f be y(2). Let a be 1*f*t/3. Solve 4*o + a - 11 = 0 for o.
-5
Let g be (6 - (-12)/(-3))/(32/144). Solve 139 = g*t + 103 for t.
4
Suppose -166 = -5*t - 2*b, 5*t - 5*b - 34 = 111. Let u = t - 27. Solve -6*c = -c - u for c.
1
Let w be 260/(-8)*(-2 + -2 + 6). Let v = w + 67. Solve 0*f - v*f = 8 for f.
-4
Let l(t) = 2*t + 8. Let c be l(-6). Let r(z) = z**3 + 4*z**2 - 2*z - 1. Let a be r(c). Let s(o) = o - 7. Let i be s(a). Solve -2*g = -i*g for g.
0
Suppose 0 = -6*s + 3*s + 3. Suppose 3 = 2*f - s. Suppose 0 = w - 5*l - 4 - 6, -3*w + 6 = -3*l. Solve w = 2*d + f*d for d.
0
Suppose 