 + 3*a = -7, -2*n + 3*a + 23 = j*n. Let t = -2 + n. Solve 4 + 2 = -t*h for h.
-3
Let y = 198 - 198. Solve y = -4*b - 15 - 1 for b.
-4
Let q = 26 - 23. Suppose -3*t - 3 - 21 = -q*w, 3*t + 4 = w. Solve -5*x - w = -5 for x.
-1
Let y(s) = s**2 + 48*s + 135. Let z be y(-45). Solve 24*f - 17 - 55 = z for f.
3
Let k = -98 + 103. Suppose 0 = -k*h + 23*h. Solve d - 1 - 2 = h for d.
3
Let j = 8 - 8. Suppose j*s = 5*s - 20. Suppose b + b = s. Solve 2*c = -b*c for c.
0
Let x be (-12)/(-18)*39/2. Solve -w + 10 = x for w.
-3
Let z = 244 - 207. Solve -10*d + z + 3 = 0 for d.
4
Suppose -2*u = 3*h + 15, 3*u + 0*h - 2*h - 10 = 0. Suppose 0 = -2*j - 4*f - 32, u = 4*j - 4*f + 28. Let n be (-8)/j*(-50)/(-20). Solve -n*v = -v for v.
0
Let p(z) = -12*z - 21. Let g be p(-2). Solve 0 = -g*h - 12*h for h.
0
Let d(g) = 13*g**3 - g. Let i be d(-1). Let m be 0/((-2)/5 - i/(-20)). Solve -4*f + 17 - 5 = m for f.
3
Let o = 120 - 115. Solve -r = -0*r - o for r.
5
Let x = 124 - 84. Let g = x + -36. Suppose 5*h - g*q = -2, 0 = 4*h + 3*q - 5*q - 2. Solve -h*f = f for f.
0
Suppose 35*z - 80 = 25. Solve 0 = -z*m + 6 + 6 for m.
4
Let z = 18 + -12. Let r = 7 + -3. Suppose 15 = 3*g, r*a + 3*g = -2*g + 37. Solve 9 = a*s - z for s.
5
Let x be ((-2)/3 - 0)/(428/(-8346)). Solve x*o = -73 + 8 for o.
-5
Let c(r) = -r**3 - 16*r**2 - 5*r - 60. Let o be c(-16). Solve 64 = -o*f + 4*f for f.
-4
Suppose 6*m = -12*m + 6*m. Solve 2*a + 54 - 46 = m for a.
-4
Let v = -757 - -773. Solve 28*w - v = 32*w for w.
-4
Let j = 0 + 3. Suppose 5 = 2*p - j. Suppose 0*g + g + 4 = 3*l, -4*g = -p*l. Solve g*i = -3*i for i.
0
Suppose -36*b + 9*b = -14*b. Solve -5 = -5*y - b for y.
1
Let r = -270 + 516. Let l be (-6)/(-33) - r/22. Let n be (-2)/l - (-6)/(-33). Solve n = -5*t - 6 - 4 for t.
-2
Suppose 2588*j = 2591*j - 33. Solve -30 = -j*s - 4*s for s.
2
Let q(k) = -k**3 + 4*k**2 + 4. Let w be q(4). Suppose 3*m + 7 = 4*y, w*y + y - 5 = 5*m. Suppose y*d - 25 = 23. Solve 4*j - d = j for j.
4
Suppose -56*m + 895 - 55 = 0. Solve 14*f - m = -1 for f.
1
Suppose g + 5 = 3*w, 5*w - g - 2*g = 3. Suppose 5*k + w*t + 9 = 0, 0 = -4*k + 4*t - 8*t - 12. Solve k*s = s for s.
0
Let x be -4 - 2*(-39)/2. Let h = x - 30. Let l = -3 - -8. Solve -h = l*c - 4*c for c.
-5
Suppose 0 = -q + 5*q - 20. Suppose -6 = -z + 4*d, 5*z - 4*d = -q*d + 72. Suppose 62 = 4*p + z. Solve 4*h = p - 32 for h.
-5
Let q be (1 - 7)*(-7)/14. Suppose -q*g = -g - 4. Suppose -4 - 4 = -4*d. Solve 3*n - d*n + g = 0 for n.
-2
Suppose 5*h + 59 = -86. Let q = -28 - h. Solve -2*y - q = -3*y for y.
1
Let k = -2289 + 2292. Let b be 3 - (-1)/(-2)*-2. Solve -b*h = -h + k for h.
-1
Let u = -6 + 8. Let d be (-2)/(-4) + u/(-4). Let q = d - -15. Solve -5*l = -5 - q for l.
4
Suppose -y + 1 = 0, k + 4*y = 6*y. Solve -3*n - k*n - 5 = 0 for n.
-1
Let j = 3 - 3. Suppose j*o - 4*o + 24 = 0. Let x = 6 - o. Solve 2*b + x*b = -4 for b.
-2
Let b be (-3 - -39)*1*-1. Let g be (-3 + 1)*b/(-8). Let t be 5/(g + -1)*-10. Solve -t*p = 2 + 3 for p.
-1
Let u = -28 - -11. Let s be (u/17)/(14/(-6) - -2). Solve 2*y - s = y for y.
3
Suppose 0 = 3*u + 5*g - 30, 2*u + 5*g + 8 = 33. Suppose u = 3*x + 5. Solve x = -2*l + 3 + 5 for l.
4
Let j be 2 - -1 - (-88)/(4 - -7). Solve 9*r - j*r + 6 = 0 for r.
3
Let t = 443 + -438. Solve t*s = 1 - 6 for s.
-1
Let s = 527 + -527. Let z be 34/3 - (-2)/3. Suppose 4*w - z = -5*j, 2*w - 3*j - 6 = -0*j. Solve s = f - w for f.
3
Suppose 0 = -9*y + 24*y - 105. Solve 0 = 10*t - y*t for t.
0
Let v be (-4 - -5)/(3/9). Let k be (-92)/(-6) + v/(-9). Let g be 22/8 - k/20. Solve 3 = -g*c - 3 for c.
-3
Let u(z) = -z**2 - 4*z + 10. Let w be u(-5). Suppose c + w = i - 4, -2*i + 4*c = -24. Solve -4*a = -a - i for a.
2
Suppose 3*h = -3, -r + 5*h = 3*r - 45. Suppose 0 = a - 2*a + r. Let g be ((-12)/(-30))/(2/a). Solve 4 = g*x + 2*x for x.
1
Let j(i) = i**3 - 5*i**2 + 5*i - 2. Let k be j(4). Suppose 0*p + 12 = p. Let g be p/k + -1*1. Solve 4*q + g = 1 for q.
-1
Let g(z) = z**3 + 5*z**2 + 4*z + 2. Let j(k) = k - 2. Let t(p) = 3*p - 5. Let x(f) = 5*j(f) - 2*t(f). Let u be x(4). Let n be g(u). Solve 1 = -n*h + h for h.
-1
Let p(b) = -5*b - 6. Let c = -24 - -22. Let k be p(c). Solve -3*y + k*y = -4 for y.
-4
Let w be 0 + 6/21 + (-33)/(-7). Solve 5 - w = -d for d.
0
Let x = 2465 + -2463. Solve -18 = -x*k - 12 for k.
3
Let x(j) = -j**3 - 20*j**2 + j + 22. Let f be x(-20). Solve 3*i - i = f for i.
1
Suppose -2*v = -5*a - 26, -2*a - 5*v = a - 3. Let y be 3 + 0 + 26 + a. Solve 0*m + y = -5*m for m.
-5
Let u(a) = 2*a**3 + 2*a - 1. Let z be u(1). Suppose -3*p = -2*j - 24, z*j + 4 = 5*j + 4*p. Let n = -3 - j. Solve -n*c + 25 = 2*c for c.
5
Suppose -5*g - f - 4*f = 15, -2*g - 6 = -2*f. Let z be 4/g*(-180)/24. Solve z = -0*q - 2*q for q.
-5
Suppose 6 - 37 = -b - 5*s, -3*b + 3 = -3*s. Suppose -b*r = -5*r - 2. Let h be (-4)/(-3) - (-12)/(-9). Solve h = -g - g + r for g.
1
Let a be 5/2 - (-10)/(-20). Let i be (0 + 4)*1/a. Solve -k = -0 - i for k.
2
Suppose -3*c + 258 = 3*c. Suppose -44*t + 4 = -c*t. Solve z - t*z = 3 for z.
-1
Let u(z) = -3*z + 43. Let n be u(13). Let q(j) = -3*j + 12. Let f be q(n). Solve -4*h = 20 - f for h.
-5
Let l be (90/(-9))/((4 + 3)/(-7)). Solve l*r + 15 = -5*r for r.
-1
Let g(p) = 11*p + 44. Let k be g(-4). Solve k = 3*n - n - 8 for n.
4
Let u be (-1)/(4 - (-9)/(-2)). Suppose 3*v - 6 - u = 4*q, 0 = -v. Let c be 0*(q/(-3) - 1). Solve c*h + 1 = h for h.
1
Let g be 5/((-57)/(-18) - 3). Suppose -5*m = -g + 5. Solve 0 = 5*j - m for j.
1
Let r be (36/144 + 6/8)*17. Solve 0 = -r*a + 15*a - 2 for a.
-1
Let s = -447 - -464. Solve 15*v = s*v - 8 for v.
4
Let y(a) = -a. Let j be y(3). Let n(o) = -o**2 - 5*o - 4. Let d be n(j). Suppose 0 = 3*u + 12 - 24. Solve -d*i - u - 4 = 0 for i.
-4
Let g = 350 - 341. Solve g*w + 12 = -6 for w.
-2
Let r(l) = 8*l - 8. Let p be r(1). Solve p = -6*k + 3*k + 3 for k.
1
Let v be 376/24 - (-2)/3*-1. Let j be -3*(112/(-6))/(-4). Let w = v + j. Solve -2*f = 7 + w for f.
-4
Let r = 414 + -409. Suppose k + 2*k = 15. Solve 10 = k*v - r for v.
3
Let p be (18/(-15))/((-5)/25). Let r = -16 + 19. Suppose -2*o + 3*j - 2 - r = 0, -3*o + 3*j = 0. Solve -o*b - p = 4 for b.
-2
Suppose -5*m + 7 + 3 = 0. Suppose m*g - 6 = -g. Solve g*q = -0*q - 10 for q.
-5
Let m(h) = h + 13. Let p be (3/9)/(10/45)*-6. Let l be m(p). Solve -l*q - 15 = -q for q.
-5
Suppose 20*p - 16 = 16*p. Suppose 0*h = -p*i + h + 3, -10 = 5*i - 4*h. Suppose 0 = -i*k + 7 - 1. Solve -k*l = -4*l - 4 for l.
-4
Let k = -26 + 25. Let x(i) = -i**3 - 2*i**2 - 2*i - 1. Let j be x(k). Solve j = 2*b + b + 9 for b.
-3
Suppose -29*a - 33 = -40*a. Let x = 6 + -2. Suppose 3*h = -s - 12, -3*h = -x*s + 2*h + 20. Solve c = -s*c + a for c.
3
Let l = 167 + -177. Let s be (1 - 5) + 3 - (l - -2). Solve -4 + s = k for k.
3
Let p be (3/12)/((-6)/(-841 + 1)). Solve -2*d = 29 - p for d.
3
Let t be (-4 + 60/18)*-3. Let v be (1 - t)*(1 + -1). Solve -2*c + v = -2 for c.
1
Let q(l) = l**3 - 3*l**2 + 3*l. Let z be q(2). Suppose -z*s + 24 = 16. Solve 2*d - s + 0 = 0 for d.
2
Let c(n) = -n**3 + 11*n**2 + 13*n + 4. Let z = -138 - -150. Let o be c(z). Solve 0 = -0*i - 4*i - o for i.
-4
Let d be 90 + -98 + (-12)/(-1). Solve -d*o = -17*o + 26 for o.
2
Let q(p) = -p**3 + 9*p**2 + 14*p + 5. Let y be q(10). Suppose -g + 31 = 3*h, 3*g = 4*h - 5 - y. Let i = 15 - h. Solve i = -x - 1 for x.
-5
Let n be (-5)/(15/(-9)) + 1. Suppose -3 = 8*z - 27. Solve 0 = i - z*i + n for i.
2
Let b(w) = w**3 + 18*w**2 - 61*w + 44. Let i be b(-21). Solve -21 + 31 = i*t for t.
5
Let n = -30 - -34. Let f(k) = 4*k - 16. Let q be f(n). Solve q = 2*v + 2*v - 4 for v.
1
Let u = 18 - 11. Let a be 2/(-4) + (1 - (-183)/6). Suppose a = 3*l - 44. Solve u*s - 2*s = l for s.
5
Let z(b) = -b**3 + b - 2. Let s be z(-2). Let h(w) = 3*w - 2 + s*w - 5*w - 4*w. Let d be h(-7). Solve -i - 2*i + d = 0 for i.
4
Let i be 8/((-32)/(-12)) + 1. Suppose -11*o = -i*o - 28. Solve 5 - o = q for q.
1
Let p = 10 - 2. Let y(m) = -3*m + 16. Let d be y(8). Let r be (2 - 5)*d/12. Solve 4*z - p = r*z for z.
4
Suppose 12*s = 9*s - 2*y + 2, 45 = 5*s - 5*y. Solve 0 = -s*v + 15*v - 33 for v.
3
Let u = -52 - 12. Let t = 66 + u. Solve 5*n - 3 = t for n.
1
Suppose -3*g + 4*c = -0*g, 3*c = -2*g + 17. Solve -g = -12*y - 16 for y.
-1
Let d(q) = 15*q - 42. Let j be d(3). Let x(t) = 3*t + 1. Let s be x(1). Sol