= -2*c for c.
-1
Suppose r + 1 - 3 = 0. Let u(h) = -1 + h - 8*h + 2 + h**r + 1. Let p be u(7). Solve -p*y = -y + 5 for y.
-5
Suppose 0 = m - 2*g + 13 - 23, m - 4*g - 20 = 0. Solve m = 9*h - 5*h + 20 for h.
-5
Suppose -3 = -3*x, -5*l - 4*x + 19 = -5*x. Solve j + l + 1 = 0 for j.
-5
Let y(h) = -h - 6. Let w be y(5). Let i be 336/88 + (-2)/w. Let t(g) = 3*g - 7. Let o be t(i). Solve -o*j - 10 = -0 for j.
-2
Suppose -17*c = 58 - 177. Let b = 3 - 0. Suppose 5*t + 7 = -3*l, b*l + 21 - 5 = 4*t. Solve t = 4*m - c for m.
2
Suppose -4*f + 31 = -u, -u - 4*f - 2 = -3. Let w be (-2)/2 + (1 - u/3). Solve 11 - 31 = -w*g for g.
4
Let s(r) = -2*r + 17. Let v be s(5). Suppose 2*y = 1 + v, -y = -5*q + 101. Solve 5 = 4*o + q for o.
-4
Suppose -f = -20 + 5. Suppose 11*o - f = 18. Solve 0 = o*j + 2 - 8 for j.
2
Suppose m + 4 = 3*m. Suppose -2*c = 4*j - 6*c - 80, -m*j = 3*c - 65. Suppose 0 = 2*g + 3*g - j. Solve -2*k = 3*k + g for k.
-1
Let r be 1 + 0 - 2 - -4. Let v be (r/3)/(-1*(0 + -1)). Solve -3*b + 8 + v = 0 for b.
3
Let a(q) = -20*q - 175. Let l be a(-9). Let h(w) = -w - 1. Let u be h(-3). Solve k = u*k - l for k.
5
Let l = 293 - 291. Solve 15 = -l*i - 3*i for i.
-3
Let t be (-10)/2 - (-3 + 0). Let i be (t + -3)/((-2)/2). Suppose 5 = i*p - b, 2*p + 3*b - 4*b + 1 = 0. Solve -p*h = 2*h for h.
0
Let t = 8 - 7. Let d(m) = 2*m. Let b be d(t). Let o be 7/(7/4) + b. Solve 9 = 3*i - o*i for i.
-3
Suppose 121*z = 2972 + 53. Solve -z = -59*g + 64*g for g.
-5
Let v be ((-45)/9)/(-1 - 0). Suppose 0 = -v*s - 7 + 12. Suppose -1 = 2*q - 5*d, 4*d + 1 + 1 = 3*q. Solve -s - 3 = q*l for l.
-2
Let a(t) = t**3 + 5*t**2 + 5*t + 12. Let b be a(-4). Solve -p + b = 13 for p.
-5
Let h = 12 - 7. Let n be 36/(-8)*-6*(-15)/(-45). Solve n*s = 4*s + h for s.
1
Suppose -2*m = -7*m - 155. Suppose 88 = -3*s - 17. Let r = m - s. Solve -r*z = z - 20 for z.
4
Let j(z) = -2*z**3 - 4*z**2 + 7*z + 14. Let v be j(-2). Solve v = 8*n - 7 - 25 for n.
4
Let x be -12*(10/(-2) + 4). Let i = x - 10. Suppose 120 = i*z + 2*z. Solve 10 = -4*s + z for s.
5
Let r = 242 - 239. Solve -r*y - 1 - 14 = 0 for y.
-5
Let p(h) = -3*h - 1. Let c be p(3). Let t(y) = -y**2 - 9*y + 13. Let z be t(c). Suppose b = 5*v - 13, -12 = -z*b - 2*v - 0. Solve 0 = b*x - 3*x + 4 for x.
4
Let z(h) = -47*h - 139. Let l be z(-3). Solve l = -102*t + 103*t for t.
2
Let h = -27 + 27. Let a(r) = -r**2 - 13*r - 7. Let g be a(-12). Solve p + g + 0 = h for p.
-5
Let w(f) = -2*f + 31 + 5*f + 1 - 5*f. Let j be w(11). Solve -a + j = 4*a for a.
2
Suppose t = -o + 10, 18*o - 13*o + t = 38. Solve o = w + 10 for w.
-3
Suppose 9*r - 9 = 36. Solve 3*z = r*z for z.
0
Let z(t) = -6*t**3 + 10*t**2 - 3*t + 1. Let k(b) = -5*b**3 + 9*b**2 - 3*b. Let a(y) = 5*k(y) - 4*z(y). Let f be a(3). Solve 0 = x - f*x for x.
0
Let x(b) = -b**3 - 4*b**2 + 5*b + 4. Let f be x(-5). Suppose 7*s + 0*s = -175. Let h(j) = j**3 + 24*j**2 - 26*j - 16. Let c be h(s). Solve f*m = m - c for m.
-3
Let f(l) = -5*l**3 - l**2 - 2*l - 1. Suppose -3*v - 1 = 2. Let a be 3*(-2)/3 - v. Let r be f(a). Solve r*z + 2 = -8 for z.
-2
Let b(q) = 3*q**2 + 11*q - 4. Let r be b(-5). Suppose 0 = -15*l + 11*l + r. Solve 0 - l = -2*f for f.
2
Suppose -l = 4*m - 8, 2 + 0 = m. Let j(h) = 11*h - 42. Let a = -97 + 101. Let c be j(a). Solve l = -4*w + 2*w - c for w.
-1
Let i(g) = 17*g + 33. Let o be i(-6). Let z = o + 74. Solve -13 = z*w + 7 for w.
-4
Let p be 5/(-10) + (-149)/2. Let g = -50 - p. Solve -4*f = f - g for f.
5
Let o = 7 + -3. Let d = -30 - -22. Let r = -3 - d. Solve -o*z + r + 7 = 0 for z.
3
Let p be 35/(-3) - 2/(-3). Let i be (13 + p)*(-18)/(-4). Solve -2*h - i = h for h.
-3
Suppose 2*y - 2*z - 8 = 0, -y + 2*z + 3*z = -20. Solve -7*k + 22*k - 45 = y for k.
3
Suppose -a + 5*g + 6 + 19 = 0, 2*g = -6. Let i be 4/a + (-186)/(-10). Suppose -i*l = -23*l + 16. Solve l*n + 7 - 3 = 0 for n.
-1
Let q(m) = -8*m - 176. Let x be q(-22). Solve -4*h + x = -4 for h.
1
Let f(a) = 3*a + 9. Let t be f(8). Let h = 36 - t. Solve 7 + 5 = h*b for b.
4
Suppose 13*c + u + 44 = 17*c, 5*c - 5*u - 40 = 0. Solve -6 = -14*v + c*v for v.
3
Suppose 0 = -3*j + 12*j - 576. Let m = 64 - j. Solve m*g = g for g.
0
Let f(p) = -2*p**3 - 60*p**2 - 3*p - 77. Let t be f(-30). Solve -t*u - 5 = -18*u for u.
1
Let k(o) = 2*o + 62. Let w be k(25). Solve w = -m + 112 for m.
0
Suppose -3*p + 3 = 3*q, 13*q - 15*q - p + 1 = 0. Solve f - 2 - 3 = q for f.
5
Suppose -2*d + p = d - 7, p - 11 = -3*d. Suppose d*z + 0*h = 2*h + 70, 0 = -5*z + 5*h + 120. Let v = -19 + z. Solve v*n + 4 = -n for n.
-1
Suppose 43 = -5*j + 5*h - 32, -3 = -3*h. Let c = j - -17. Solve 2*o + c*o - 20 = 0 for o.
4
Let v(p) = -p**3 - p**2 - 4*p + 2. Let j be v(-2). Solve j = 5*y - 6 for y.
4
Let y(t) = -t**2 - 1. Let b(c) = -3*c**2 + 13*c - 16. Let g(l) = b(l) - 6*y(l). Let q be g(-5). Solve q = 5*z + 19 - 4 for z.
-3
Let l(b) = -2*b**3 + 39*b**2 + 20*b. Let i be l(20). Solve -3*q + 23 - 20 = i for q.
1
Let g = 2 - -6. Suppose 3*k + o + 6 = g, -5*k + 22 = -3*o. Let q be (-18)/(-4)*8/6. Solve 4*n = -k + q for n.
1
Let v = -98 + 116. Solve 0 = 14*z - v*z + 4 for z.
1
Let p = -214 + 215. Solve 0 = -l - p - 4 for l.
-5
Let r be -2*(14/35)/((-8)/50). Let y(l) = -l**3 + 8*l**2 + 12*l + 4. Suppose 7*k - 3*k - 36 = 0. Let j be y(k). Solve r*m - 6 = -j for m.
-5
Suppose -3*n + 6 = -22*w + 19*w, -5*n + 8 = -3*w. Solve 0 - n = -l for l.
1
Let v = 48 + -44. Suppose -2*u = 3 - 11. Suppose 0 = -u*j - v + 16. Solve -n - j = -2 for n.
-1
Let j = -51 - -54. Solve j*d = d + 8 for d.
4
Let g = 2273 + -2273. Solve 21*w - 16*w = g for w.
0
Let x be 0/((42/6)/7). Solve 20 + x = -4*m for m.
-5
Let j = 1 + -1. Let z(n) = -20*n**2 - n**3 + 32 + 8*n**2 + 15*n - 2. Let s be z(-13). Solve s*m + m - 25 = j for m.
5
Let a = 12 - 6. Suppose 2 - a = -2*j. Suppose j*k = 1 + 9. Solve -2*y + 7*y = -k for y.
-1
Suppose -2*i - x = -0*i - 78, -196 = -5*i - 2*x. Suppose 43 = j + i. Solve 21 = j*q + 6 for q.
5
Let x(g) = -g**2 - 4*g + 9. Let w be x(2). Let b be (w - -4) + (6 - 5). Solve b*v + 3 = v for v.
-3
Suppose 0 = 3*f - 4*f + 2. Suppose -4*c + 0*i + 16 = 4*i, 0 = -5*c - f*i + 17. Solve -c = q - 1 for q.
-2
Let a = 1283 - 1250. Solve -40*b + a = -29*b for b.
3
Let q = -592 + 596. Solve -4*c + 0 = -q for c.
1
Let i = -48 + 54. Solve -3*r = -9 - i for r.
5
Let l(w) = 2*w**3 - 12*w**2 + 12*w - 10. Let o be l(5). Solve o = h - 285 + 289 for h.
-4
Let l(v) = v + 36. Let q be l(-19). Suppose t = -q + 3. Let u = 16 + t. Solve -u*f = 1 + 5 for f.
-3
Suppose -4*j - 242 + 234 = 0. Suppose 0*w = w - 15. Let l be j/((-6)/w) - 3. Solve -f - l = f for f.
-1
Let o(q) = -3*q - 1. Let y be o(-1). Suppose 0 = -y*p + 46 + 22. Let n be (-74)/(-9) + p/(-153). Solve -b - n = -3*b for b.
4
Suppose 0 = -22*z - 25*z. Solve -u + u - 4*u = z for u.
0
Let m(w) = w**3 + 3*w**2 + 2*w. Let t be ((3 - 3) + 4)/(-1). Let p be m(t). Let y be (4 + 1)/((-20)/p). Solve 5 = -5*i + y*i for i.
5
Let b be 2/10*2*-20. Let m be (-58)/8 - (-6)/b. Let v(u) = -u**3 - 7*u**2 + 8*u + 2. Let y be v(m). Solve 25 = y*w + 3*w for w.
5
Let y be (70/(-6) + 15)*(0 - -6). Solve -y = -5*x - 45 for x.
-5
Let l(g) = -g**2 + 52*g + 112. Let j be l(54). Solve -15*i - j = 11 for i.
-1
Let m(d) = 4*d - 32. Let t be m(9). Suppose -2*w + 3 = j, -t*j + w = -5*j + 2. Solve j = -5*x + 6 for x.
1
Let f(a) = -2*a + 22. Suppose 0*h + 13*h - 104 = 0. Let j be f(h). Solve -2*x = -5*x - j for x.
-2
Let c be (-30)/(-5)*66/(-4). Let k = -98 - c. Solve i - k = 3 for i.
4
Let i(x) = -x**2 - 10*x + 25. Let k be i(-11). Suppose 21*y - k*y = 35. Solve -7*f = -2*f - y for f.
1
Suppose 0 = -4*l, -4*d - 4*l = -0*d - 9*l. Solve 12*y + 31 + 5 = d for y.
-3
Let u be (1 - -3 - 1)/(12/8). Suppose -3*w + 4*o = -16, -2*o = -4*w + 2 + 6. Solve -2*v + 10 - u = w for v.
4
Let j(z) = -z**3 - 5*z**2 - 2*z - 3. Let n be j(-5). Let b = -12 + n. Let c be (-4)/(-2) + b + 8. Solve -1 = r - c for r.
4
Let g(q) = q**2 + q - 3. Let o be g(2). Solve -3*l + o = -2*l for l.
3
Suppose 16*t = 12*t. Let u be -4 + 3 - (t + -1 - 3). Solve 2*m - 3 = u for m.
3
Let b(x) = -x**2 + 9*x - 11. Let p be b(2). Solve -p - 1 = k for k.
-4
Let r be 0 + 2/6 + (-448)/(-42). Solve -t + 6 = r for t.
-5
Let p(m) = m**3 - 3*m**2 + 6*m - 14. Let o be p(3). Solve o*y - 3*y + 3 = 0 for y.
-3
Let p = -843 - -848. Solve 8*g - 12 = p*g for g