
Let p(h) = h**3 - 2*h**2 - 7*h - 4. Let n be p(4). Solve n = -4*m - 0 + 8 for m.
2
Let y(d) = -d**2 - 9*d + 6. Let c be y(-9). Let u be (0 - 0) + (6 - 6). Suppose u = -3*z + c*z. Solve -2*h + z = 2 for h.
-1
Let w = -4 + 6. Suppose -w*s = 4*s. Solve s = 5*t + 10 - 0 for t.
-2
Let a = 2 + 4. Let b(c) = -75*c - 523. Let i be b(-7). Solve 2 = i*h + a for h.
-2
Suppose 6*t - 3*t - 12 = 0. Let j(r) = -2*r**2 + 19*r - 7. Let x be j(9). Solve -x*d = -4 - t for d.
4
Let s be 13/((-663)/(-4352)) - 4/(-6). Solve s*l - 3 = 87*l for l.
-3
Let h be (-111)/(-1 - 0) + -36 + 39. Let l = 115 - h. Solve 3 = 2*z + l for z.
1
Suppose 0 = -0*k + 5*k + 50. Let q be (-16)/(-7) + k/35. Solve -2 = i + q for i.
-4
Suppose h + 8 = -5*q - 2, 0 = 5*h + 5*q + 10. Let t be (-3)/(-3 - (1 - 3)). Solve -t*c - 6 = -h*c for c.
-2
Let o = 40 - 32. Let s(u) = -u**2 - 5*u - 4. Let q be s(-2). Solve q*t - 2 = -o for t.
-3
Let p(f) = -f**3 - 3*f**2 + 3*f + 1. Suppose 2*y + 0 = -8. Let t be p(y). Let b(g) = g**3 - 5*g**2 + 3. Let w be b(t). Solve v + 0 + w = 0 for v.
-3
Let u(d) = -d**3 + 2*d - 1. Let t be u(1). Suppose j = 3*x + 8 + 7, -125 = -4*j - x. Suppose 0 = -j*w + 27*w. Solve t = -w*s + s - 1 for s.
1
Let k(o) = o**2 - 14*o - 32. Let b be k(16). Solve b = 7*u - 2*u + 25 for u.
-5
Let g(l) = 3*l**2 + 32*l + 85. Let p be g(-8). Solve p*i = 25*i - 12 for i.
3
Let q = -29 - -32. Let w(i) = 2*i**3 + 12*i**2 - 5*i - 7. Let b be w(-6). Solve 0 = -4*s + q - b for s.
-5
Suppose -140 = 30*y - 200. Solve -y*p + 32 = 6*p for p.
4
Let v be (-3)/(-24) + 23/8. Let g(c) = c**2 + 2*c - 2. Let z be g(-4). Suppose -15 = -z*q + q. Solve q = -0*i + v*i for i.
1
Suppose -2 = 3*n - 5. Suppose 4*j + n = 5. Suppose -30*u + 164 + 83 = -11*u. Solve j = -3*z + u for z.
4
Let m(f) = -f**3 - 4*f**2 + 27*f + 136. Let t be m(-6). Solve -t = -3*y - 34 for y.
4
Let l = -114 + 107. Let n = l + 11. Solve 0 = -2*d - n + 2 for d.
-1
Let i(q) = q**3 + 2*q**2 - 2*q. Let v be i(-2). Suppose 2*d = v*d + 6*d. Solve 0*j - 4*j + 4 = d for j.
1
Let l = 169 + -127. Solve -l*v - 5 = -37*v for v.
-1
Suppose -5*t = -t + 5*u + 17, 5*t + 3*u + 31 = 0. Let p(z) = -z - 5. Let b be p(t). Solve b*x = 4*x - 2 for x.
2
Let z = -30 - -14. Let m = 10 + z. Let n = m - -10. Solve w + n = -w for w.
-2
Let p(q) = 2*q + 1. Let r be p(2). Let k = 11 - -9. Suppose -z - 5*g = -k, -1 = -3*z + g - 5. Solve -r*s = -z*s for s.
0
Let k be (5 - 6) + -14 + 0 + 3. Let u be (k/(-42))/((-1)/21*-3). Solve -u*y + 0*y - 6 = 0 for y.
-3
Let m(o) = 1 - 3 - 40*o + 39*o + 11. Let v be m(6). Let a be (-1 - (-8)/v)*6. Solve -z + a = z for z.
5
Let o be (2/6)/(-4 + (-976)/(-240)). Let v be 2*2 - -2 - 1. Solve 0 = o*q + v + 15 for q.
-4
Let w be 6 - (5 + -2) - 0. Let i(q) = -q**2 + 6*q. Let y be i(6). Solve -w*g + g - 4 = y for g.
-2
Let a(t) = 2*t + 10. Suppose 11*j + 11 = -22. Let l be a(j). Solve l*b + 4 = -0 for b.
-1
Let p(k) = -k - 5. Let l be p(-3). Let d be l/(-12) + (-295)/(-30). Solve 0*r - d = -5*r for r.
2
Suppose -294*c + 12 = -290*c. Solve 0 = c*r - 2*r for r.
0
Suppose -4*p - 2*p = -150. Solve 4 = p*l - 21*l for l.
1
Let r(n) = n + 12. Let w be r(8). Suppose 2*k - 16 - w = -5*s, -2*k = 4*s - 36. Let l be 45/k*(-8)/(-5). Solve g - l = -3*g for g.
1
Let g(d) = -4 + 0*d - d + 1 + 6*d. Let i be g(1). Solve -12 = 2*k + i*k for k.
-3
Let u(s) = s**3 + 28*s**2 + 49*s - 57. Let h be u(-26). Solve -h = -4*v - 5 for v.
4
Let o = 293 + -291. Solve o = -2*d + d for d.
-2
Let a be (-1 - -2)/(22/5654). Solve 260*j = a*j - 15 for j.
-5
Suppose 0 = -6*m + 9 + 27. Solve 2*i = -i - m for i.
-2
Let z = 193 + -185. Solve 5*j + z = 13 for j.
1
Suppose -2*d = 5*v - 105, -4*d = -4*v - v + 105. Let s = 4 + v. Suppose 4*t = -t + s. Solve -2*i + t = -i for i.
5
Suppose u + 0*t - t = 4, -20 = -3*u + 5*t. Suppose u = -2*v + k + 4*k + 7, 0 = 3*v - 2*k - 5. Solve g - 4 = -v for g.
3
Let q(i) = -i**3 + 15*i**2 + 18*i - 10. Let k be q(16). Solve -3*t - k = -25 for t.
1
Let a = -23 + 36. Let f = 18 - a. Let i(n) = -3*n**3 + 2*n + 1. Let s be i(-1). Solve -5 = -s*b + f for b.
5
Suppose 5 + 3 = 4*p. Let x be p - (6 + (-3 - -1) + -8). Solve 0 = -m + x*m for m.
0
Suppose -29 = -2*n + b, 3*n - 14*b + 17*b = 48. Solve 10*i - n = 15*i for i.
-3
Let p be -1 - -1 - (7 - 63 - 5). Let l = 64 - p. Solve 0 = 4*s - 3*s + l for s.
-3
Let c be 5/(-2)*2*4/(-5). Let n be 2/1 + (c - (4 - 2)). Solve 0 = 2*g - n - 0 for g.
2
Suppose 7*g + d = 4*g + 11, 0 = -g - 2*d + 2. Solve 0 = -6*l + 5*l - g for l.
-4
Suppose 34*h - 955 + 207 = 0. Solve 5*a + 22 = h for a.
0
Let c(g) = 22 - 9 + 4*g**2 - 7 - 8 + 2*g. Suppose -2*a - 6 = a. Let f be c(a). Solve -f = -0*i - 2*i for i.
5
Suppose -4*p + 63 + 57 = 0. Suppose 16*y - p = 11*y. Let s be ((-6)/(-6))/(2/y). Solve 20 = -s*k + 8 for k.
-4
Suppose 5 = -21*r + 22*r. Let w(l) = 3*l - 7. Let k be w(r). Solve -5*n = 17 + k for n.
-5
Suppose -18 = -5*h + 3*p - 4*p, 30 = 5*h + 5*p. Suppose h*c - 12 = -3*c. Solve 0 = j - c*j + 5 for j.
5
Let x = 49 + -42. Suppose 8*q = x*q + 2. Solve -q = -o + 1 for o.
3
Let a = -723 - -727. Suppose 4*x - 4 = 16. Solve x = a*r - 11 for r.
4
Suppose -5*y = -0*y - 5*h - 65, -h - 21 = -2*y. Solve w - y = -w for w.
4
Let w be (20/12)/((-45)/(-324)). Solve w + 12 = -24*i for i.
-1
Let w be (0 + 9/(-4))/((-11)/528). Solve w*f = 110*f + 2 for f.
-1
Let l = 206 - 198. Solve -4*f + 20 = -l*f for f.
-5
Let g(o) = o + 8. Suppose 16 = -4*h, 0*b - b + 4*h + 7 = 0. Let r = b + 5. Let n be g(r). Solve n*x + 5 = -x for x.
-1
Suppose 0 = -5*o - 3*c + 62, 1 = -o - 2*c + 12. Let y be o + -8 + 0 + -1. Solve y - 10 = 2*k for k.
-3
Let v = -1151 + 1151. Solve v*k = 7*k - 7 for k.
1
Let x be 25*15/(-450) + (-34)/(-12). Solve 28*d = x*d + 130 for d.
5
Suppose 0 = 3*r - 4*u + 3, 8 + 7 = 4*r + u. Suppose 20 = -r*q + 20. Solve l + q*l = 0 for l.
0
Suppose 3 = -3*c + 4*c. Suppose -144 = -c*d - 90. Solve 0 = 4*o + 2 - d for o.
4
Let a be (-10)/6 + 3 + 9/(-27). Solve -2*q + 5 = a for q.
2
Let y = 13 - 8. Let j(k) = -2*k - 10. Let u be j(-6). Suppose y*g - 96 = u*n, -96 = -3*g + n - 38. Solve -2*o + g = 2*o for o.
5
Let m be ((-3)/(-2))/(106/212). Suppose -r - 4 + 14 = 4*z, -3*z + 4*r - 2 = 0. Suppose -v - z = -15. Solve 5*y + m = v for y.
2
Suppose -5*v = -0*u + 4*u - 32, 3*u = -6. Solve -v + 13 = 5*s for s.
1
Suppose -2*d = -44 - 0. Solve d*z = 17*z for z.
0
Suppose -4*c + 30 = -5*c. Let k = 34 + c. Solve k*s + s - 10 = 0 for s.
2
Let l = 572 - 565. Solve 5 = 6*u - l*u for u.
-5
Suppose -341 = -12*h - 209. Solve -j - 12 = -h for j.
-1
Let f = -1109 + 1119. Solve -f = -2*b - 3*b for b.
2
Let u = 57 + -56. Suppose -4*h + 44 + 28 = 0. Let q = 19 - h. Solve -q - u = -n for n.
2
Let f = -4 + 8. Suppose -f*m - 12 = -12. Solve b + 2 = -m for b.
-2
Let c(m) = -2*m**2 - 20*m**3 + 5 - 3 + 4*m**2 + 4*m. Let p be c(-1). Solve 0 = 3*v - 8*v - p for v.
-4
Let t(m) = -m**3 + 4*m**2 + 5*m - 18. Let s be t(4). Solve s*r = 8 - 14 for r.
-3
Let a(f) = 2*f**2 - 21*f - 8. Let y be a(11). Suppose -4*q = -2*j - 48, -y*q - 5*j = -0*j - 23. Let m = 9 + q. Solve -4*b = b + m for b.
-4
Suppose 29 = -5*p + 104. Solve -4*g - 3 = -p for g.
3
Suppose 0 = 3*z - 3*y - 9, -3*z + 19 = 2*z - 4*y. Solve -z = -4*c + 1 for c.
2
Let h = 55 + -52. Suppose -50 = -h*x - 7*x. Solve x*b + 26 = 6 for b.
-4
Let x = 107 - 97. Suppose 0 = -14*k + x*k. Solve 5*r + k = 10 for r.
2
Let t be 9 + 30/18*-3. Solve -20*q - t = -22*q for q.
2
Let d = 540 + -530. Solve 17*b + d = 95 for b.
5
Let j be (2 + -1 + -2)*33. Let t = j - -33. Solve t*g = 3*g - 12 for g.
4
Suppose 4*f = -3*f + 42. Solve -2*r = -f*r + 16 for r.
4
Let p = -164 + 175. Solve p*u - 6*u = 0 for u.
0
Suppose -37*a = -89*a. Solve a = 6*x - 8*x + 2 for x.
1
Suppose 39 = -a + 43. Solve 26*c + a = 28*c for c.
2
Let g(p) = p**2 - 22*p - 130. Let h be g(-5). Solve -26 + 1 = -h*w for w.
5
Let w(x) = -2*x + 20. Let k be w(9). Let g(u) = 11*u + 8. Let z(m) = 4*m + 3. Let o(i) = 3*g(i) - 8*z(i). Let c be o(3). Solve -c*b = 1 + k for b.
-1
Let s be -2 + 2 + 19 - 2. Suppose -3*f + p - s = -5*f, -2*f - 2*p + 22 = 0. Suppose -109*a + 85*a + 85*a - 244 = 0. Solve a + f = -2*v for v.
-5
Let x(y) = 2*y**3 - y**2 + 11*y - 11. Let q be x(2). Solve 3*n + 80 = q*n for n.
4
Suppose -x = -2*y - 5, x = -4*x - 4*y + 39. Suppose -5*g + x*g - 4 = 0. Suppose 2*f + 7 = l - 0*f, 