 Let k be 0/(4 + (c - 0)). Solve k*z = -z for z.
0
Suppose 55*j - 2 = 53*j, -2*z + 2 = -4*j. Solve z*b = 6*b for b.
0
Let i be 32/(-144) - 182/(-9). Suppose -5*n = -5 - i. Let u be 1*(3 + -4 + n). Solve -u*a + 0 = 4 for a.
-1
Let m = 12 - 13. Let u = 3 - m. Suppose 4*d - 5*j = 20, u*j = -0*d + d - 16. Solve 4*q - q - 12 = d for q.
4
Let q be 806/(-18) + (-6)/27. Let i = q - -55. Suppose -4 + 2 = -j. Solve 0 + i = -j*d for d.
-5
Let m(a) = 5*a - 12. Let s be m(4). Solve -9*i + s = -7*i for i.
4
Suppose 6*w - 8*w + 50 = 0. Solve -12*o = w + 23 for o.
-4
Suppose 0 = -17*l + 11*l. Solve 2*c + 2*c + 4 = l for c.
-1
Suppose -49 - 51 = -4*r. Solve r = -7*i + 2*i for i.
-5
Let h be (70/245 + 3/14)*8. Solve h*a + 0*a = 4 for a.
1
Suppose 2*s - c - 10 = 0, -c = 3*s - 14 - 6. Solve 0 = -a + s*a for a.
0
Let c(u) = 8*u**3 - 3*u + 2. Let k be c(1). Solve -33 = k*t - 12 for t.
-3
Let i = -2533 - -2538. Solve -4*t - 15 = i for t.
-5
Let u(x) = 12*x**3 + 5*x**2 - 7*x + 6. Let f(q) = -q**3 - q**2 + q - 1. Let b(k) = -6*f(k) - u(k). Let s = -6 - -5. Let z be b(s). Solve z + 2 = 4*j for j.
2
Suppose -45 = -7*s - 17. Let d(z) = -9*z + 1. Let k be d(-1). Solve 0 = -s*c - 10 - k for c.
-5
Suppose -u = -3*p + 16, 3*p = -2*u - p + 18. Let r be 0/(-1) - (-3 + u - 0). Solve -r*g = -3 - 13 for g.
4
Let w = -148 + 213. Let k = -61 + w. Solve -k*z = -6*z - 4 for z.
-2
Suppose -2*h - 5*l + 10 = -l, 4*h = -4*l + 20. Solve h*i - 7 = 18 for i.
5
Suppose -20*a + 2*f = -17*a + 5, 0 = -3*a - 2*f + 11. Solve 1 = -w - a for w.
-2
Suppose 78 = -26*x + 286. Solve 5*o - o = x*o for o.
0
Suppose 5*j + 3*t = 4*t + 61, 2*j - 5*t - 29 = 0. Suppose -16*d + 20 = -j*d. Solve 5*h - d + 30 = 0 for h.
-5
Let d(c) = -c**3 + 8*c**2 - 7*c + 2. Let w be d(7). Let t(b) = -4 + b**3 + 2*b**2 + 3*b + b**2 + w*b**2. Let p be t(-4). Solve p = 2*n + n for n.
0
Suppose -15*n + 29 = -1. Solve n = -l - 3 for l.
-5
Let q = 15 - -10. Suppose -12 = 4*x + 4*v, 0 = -v - 3*v + 16. Let y be 0/x*2/2. Solve -5*r + y*r = -q for r.
5
Suppose -212*t = -209*t - 18. Solve 0 = -t*q + 2*q for q.
0
Suppose 2*b = -b + 9. Let c = 6 - b. Solve -o + 8 = c for o.
5
Suppose 2*p - 5*c = 6*p + 5, -5*c = 5*p. Suppose 112 = -70*g + 84*g. Solve j + g = p*j for j.
2
Let a = 300 - 293. Solve 0 = s + a - 2 for s.
-5
Let t be (-3)/6*(0 + (-12)/2). Suppose -h - 2 = -2*h. Solve -g + t*g = -h for g.
-1
Let p = 104 - 101. Let l be ((3/2)/p - 1)*0. Solve -5*k + 5 = -l for k.
1
Let k = -496 - -500. Solve 8*b = 6*b + k for b.
2
Let r = 81 - 41. Let d be (r/140)/((-1)/(-7)). Suppose 4*q - 3*u - 2 = 6, 0 = q + 5*u - 2. Solve -q*b = d*b + 20 for b.
-5
Suppose -p = 10*p - 132. Solve 7*d - 23 - p = 0 for d.
5
Let y(r) = 3*r + 56. Let x(u) = u + 19. Let f(i) = -11*x(i) + 4*y(i). Let h be f(-12). Solve -7 + 13 = -h*j for j.
-2
Let l(w) = w**2 - w + 2. Let o be l(0). Let y = o - -4. Let p = 945 + -942. Solve 5*u = p*u + y for u.
3
Let m(p) = 2*p**2 + 10*p + 8. Let l be m(-7). Let x be (-21)/(-12) + -3*(-3)/l. Solve 2*j - x = 8 for j.
5
Suppose 3*a - 5*k - 114 = -2, k = 10*a - 436. Solve 0 = d + a - 39 for d.
-5
Suppose -22*p + 15*p = -112. Solve 2*z - 6*z + p = 0 for z.
4
Let h(y) = 15*y**2 - 19*y - 56. Let a(j) = -7*j**2 + 9*j + 28. Let o(x) = -13*a(x) - 6*h(x). Let u be o(7). Solve u*n + 20 = 5*n for n.
4
Let s = 486 + -481. Solve -s*f = 56 - 36 for f.
-4
Let q = 29 + -24. Suppose -q*x + 42 = 2*m, m + 2*x - 7*x - 6 = 0. Let o be 24/m*(-6)/(-9). Solve d + o = -0*d for d.
-1
Suppose -h - 20 = -4*p + h, 0 = 3*p - 3*h - 12. Suppose 3*n - p*n - 9 = 0. Let w be 1 - -3*(-2 - n). Solve 0 = y - w for y.
4
Let j(n) = n**3 - 13*n**2 + 3. Let r be j(13). Let l(o) = o**r - 7*o - 5*o - 6 + 8*o**2 + 11*o. Let c be l(-8). Solve 15 = c*t + t for t.
5
Let c be (-4)/18 - (-20)/90. Let y(n) = 8*n**2 + 15 + 6*n**2 - 14*n + n**3 + c*n**2. Let l be y(-15). Solve l = -r + 6 - 4 for r.
2
Let l be 3/((-6)/(-10)) + -2. Suppose 4*a = 3*k + 7, k - 15 = -0*a - 3*a. Let u be (0 + 0/6)/4. Solve u*c - l = -k*c for c.
1
Let g = 15 + 6. Let d be ((-44)/77)/((-3)/g + 0). Solve h = 3*h + d for h.
-2
Suppose 0 = -3*q - 5*v + 29, 5*q - 2*q + v - 13 = 0. Let j be -52*(q + (-26)/8). Suppose -18*n = -j*n. Solve p + p = n for p.
0
Suppose -5*c - 144*g + 139*g + 20 = 0, c - 5*g - 4 = 0. Solve c = 10*r - 6 for r.
1
Suppose 3*k = 40 + 50. Let j = -26 + k. Let q be (0/((-9)/3))/(-2). Solve q = -j*o - o - 20 for o.
-4
Let w be ((-14)/(-28))/((-2)/(-48)). Solve 26*a - 30*a + w = 0 for a.
3
Let x be ((-8)/6 + 0)/(1500/(-1125)). Suppose -5*a + 4*s + 16 = 0, -5*a + 3*s - 2*s = -19. Solve a*i + 13 = x for i.
-3
Suppose -6 + 10 = 4*s. Let h = 37 - 35. Solve h*g = -s - 9 for g.
-5
Let a(u) = 4*u + 12. Suppose -53*y - 2 = -52*y. Let i be a(y). Let z be 3 - 0/(1 + 1). Solve i*j + 3 = z*j for j.
-3
Let a = 10 - 9. Let p be (-32)/((-3 - -1)*a). Let i be 6/4*p/12. Solve i*n = 8 - 2 for n.
3
Let a(c) = 6*c - 6. Let x be a(2). Solve 4*s + 2*s = -x for s.
-1
Suppose -6 + 42 = 2*x. Solve 2*g = 10 - x for g.
-4
Let n = -33 + 49. Suppose -31*t + 29*t = -n. Solve -8*a = -10*a + t for a.
4
Let y(w) = 2*w**2 + 15*w - 6. Let q be y(-9). Solve q*c = 25*c - 4 for c.
1
Let h(j) = -4*j - 27. Let s be h(-8). Let u = 1 + s. Solve -4*m - 2 = u for m.
-2
Let d = -6 - -6. Let i = 256 - 256. Solve i*n + n - 2 = d for n.
2
Let u = 114 + -114. Solve s - 4 = -u for s.
4
Let k = -44 - -44. Let p = k + 6. Solve p = 3*o - o for o.
3
Let o be (-4)/10 - (-104)/10. Suppose -o*t + 5 + 35 = 0. Let z be 1*12*1/2. Solve -t*i - 10 = z for i.
-4
Suppose -2*p + 84 = 4*m, -10 + 30 = -5*p. Solve -28*n + m*n = -20 for n.
4
Let x = 5 + 3. Suppose u - 5*u = -x. Solve -11 = -u*p - 1 for p.
5
Let z(d) = -d**2 + 18*d - 19. Let c be z(17). Let u be (-5)/c*(4 - 16/5). Solve u = -p - 2 for p.
-4
Let x be (3/12 + 0)*8. Solve 3 = -h - x*h for h.
-1
Suppose 0 = v - 6*v. Suppose v = -9*j + 4*j + 25. Suppose -i = 4*o + 5, 0 = -j*i - o + 28 + 42. Solve 6*t + i = 3*t for t.
-5
Suppose -9*r + 2*b + 4480 = -13*r, 0 = 4*r + 3*b + 4480. Let u be (-1)/(3/2) - r/168. Solve -8*p = -u*p - 4 for p.
2
Let j(b) = b**2 - 18*b + 11. Let y(c) = -c**2 + 19*c - 11. Let i(s) = 3*j(s) + 2*y(s). Let r be i(12). Let k = -36 - r. Solve -3*z - 7 + k = 0 for z.
-2
Let x(y) = y**3 + y**2 + 7*y + 18. Let w be x(0). Solve -w = -10*m + m for m.
2
Let r = -11 + 9. Let n be 35/(0 + 5) + r. Suppose -4*h + 2 = -n*c, -3*c + 5 + 4 = h. Solve -h*t + 1 = -14 for t.
5
Suppose 5*w + 4 = -4*f + 91, 0 = -f + 5*w + 3. Let r = f + -13. Let b(x) = 3*x - 10. Let a be b(r). Solve 0 = a*y + 22 - 7 for y.
-3
Let w = 1237 - 1227. Solve 15*i - w = 50 for i.
4
Suppose -o - 9 - 19 = 0. Let w = 31 + o. Let f = -3 + w. Solve f*j = 4*j - 8 for j.
2
Let u be (-6 - 1 - (36 - 54))/1. Solve 0 = -u*i + 4 + 29 for i.
3
Let t = 287 + -195. Suppose -3*j = -2*j - 3. Suppose 5*q - t = 4*d, q - 3*d = j*q - 46. Solve g = -3*g + q for g.
5
Let d be (-3 + (-31)/(-2))*10. Let a = d - 175. Let l = 75 + a. Solve l = -5*i + 5 for i.
-4
Suppose -5*r + 2*p + 32 = 0, 3*r - p = -0*p + 20. Suppose 6*s = r*s - 42. Let o = s - 18. Solve -o*x - 1 = -4 for x.
1
Let v be -3 - (3 + -15)/3. Let f = -366 + 370. Solve -m - v - f = 0 for m.
-5
Let r be 0 + (-2)/(-5) - 2/5. Solve 4*w + 7 - 19 = r for w.
3
Suppose 3*i - 46 = 2*c, 3*c + 2*i + 56 = -0*c. Suppose 0 = 4*g - 136 + 4. Let o = g + c. Solve -2*k = o - 3 for k.
-5
Suppose 5*i - 35 = 5*g, 7*g - 3*g = -3*i - 7. Suppose i*z - 4*z = -c + 5, -3*z + 5 = c. Suppose 2*t - c = -5*w, 0 = -4*t + w + 18 + 3. Solve n + t = -0*n for n.
-5
Let j(b) = -b - 15. Let f be j(-15). Suppose f*q = 5*q - 20. Solve q = 2*z - 2 for z.
3
Let i = -14 - -8. Let l be 3*(-3)/(-27)*i. Let x be (2 - l)*(-6)/(-8). Solve -x*g = 2*g - 15 for g.
3
Let a = 26 + -42. Let v = 33 + a. Suppose v*f - 12 = 13*f. Solve -f + 0 = 3*p for p.
-1
Let i(q) = -q**2 + 3*q - 4. Let c be i(2). Let v be ((-11)/(-44))/(c/(-56)). Suppose -g + 6*g + v = -4*a, -16 = -2*a + 4*g. Solve -5 = a*r + 1 for r.
-3
Suppose -4 = 5*i + 1. Let c be ((-2)/(-6))/(i/(-9)). Solve 0*y + c = -y for y.
-3
Let k(g) = -16*g + 85. Let u be k(4). Solve -3*r = -u + 6 for r.
5
Suppose 0 = -3*o + 15 + 15. Suppose o*c = 3*c. Solve -5*l - 15 = -c*l for l.
-3
Let p(o) = -2*o**3 - 13*o**2 + 8*o + 7. Let t be p(-7). Solve 3*w + t*w - 3 = 0 for w.
1
Let m = -24 + 36. Suppose 6