*z - 7*z + 25 for z.
5
Suppose 6*x - 16 = 2*x. Suppose 0 = -x*z + 8*z - 12. Solve -p = -0 + z for p.
-3
Suppose -4*s - 2 = -5*s. Let c be (-1)/(-7) - (-65)/35. Suppose -3*h + 16 = -c. Solve -s*d = -h*d for d.
0
Let u(z) = -10*z + z + 157 - 78 + 2*z**3 - 76 + 3*z**2. Let h be u(-3). Solve w - h = -8 for w.
-5
Let v = -488 + 496. Solve -5*p - 13 = -v for p.
-1
Suppose 3*q = -0*q. Suppose -4*x + 75 - 15 = q. Solve -6*a + a = x for a.
-3
Suppose 0 = -18*d + 20*d - 22. Solve -4*g - 14 = -d*g for g.
2
Suppose 112*h + 30 = 118*h. Solve -2*i - 1 = h for i.
-3
Suppose 5*k + 3*z = 37, -3*z = -3*k - z + 7. Suppose 99*l - 108*l + 91 - 1 = 0. Solve k*j + 5 = -l for j.
-3
Suppose 0 = -27*i + 2*i + 150. Solve -8*t + i*t = 8 for t.
-4
Suppose 128 = -2*g + 4*g. Let i be 14/21 - g/6. Let v = i - -13. Solve -4*k + 3*k + v = 0 for k.
3
Let s(g) = -3*g - 6. Suppose -28 + 3 = -5*u. Let p be s(u). Let d be 3*-1 - (p - -11). Solve d*i = 3*i + 12 for i.
3
Let w be -1*(8/(-20))/((-8)/(-20)). Solve 3*m - w = -10 for m.
-3
Let c be 10/20 + (-282)/(-12) + 0. Solve -4*y - 20*y = -c for y.
1
Let a be 1/4 + (-74)/8. Let z(s) = 3*s**2 + 12*s + 13. Let b(m) = -16*m**2 - 61*m - 66. Let o(n) = 2*b(n) + 11*z(n). Let u be o(a). Solve -7*p + u*p = 20 for p.
-4
Let b(p) = -14*p + 130. Let w be b(9). Solve -r - 6 = -w*r for r.
2
Let z(d) be the first derivative of -d**2 + 5*d + 6. Let c be z(3). Let t be 0/(c/(-1) + 1). Solve t = -0*g + g for g.
0
Let g = 39 - 28. Let u = 13 - g. Suppose -5*i - 3*y = y - 5, -2 = -u*i - 5*y. Solve 2*f = -3 - i for f.
-2
Let q = -3 - -11. Let v be 98/6 + 6/9. Solve v = 5*u - q for u.
5
Let a(h) = -8*h + 84. Let m be a(9). Suppose 0*z - 3 = -z. Suppose 5*l - 2*w - 24 = w, -m = -l - z*w. Solve -l = -o - o for o.
3
Let i(c) = -c**3 + 32*c**2 - c + 32. Let m be i(32). Solve m = 3*z + 55 - 49 for z.
-2
Suppose -2*y + 3*c + 2 = 0, 0*y + 5*y - 31 = c. Solve 16 = -3*r + y*r for r.
4
Let c(f) = f - 1. Let n(y) = -18. Let v(s) = 2*c(s) + n(s). Let u be v(20). Solve 8*x - 3*x + u = 0 for x.
-4
Let u = 88 - 154. Let g be u/(-15)*(-15)/(-6). Let h = 11 - g. Solve r - 1 + 0 = h for r.
1
Let k = -979 - -986. Solve -4*d - 3 = -k for d.
1
Suppose 82*g + 48 = 85*g. Solve -17*s + g*s + 3 = 0 for s.
3
Let x be 3/(-1) + (18 - 14). Let p(i) = -i + 4. Let f be p(x). Let j be 2/6*(-2 - -29). Solve 3*w - f = -j for w.
-2
Suppose 3*a - 54 = 2*a - 5*q, -q - 270 = -5*a. Let h = 54 - a. Solve 0 = -s - h + 5 for s.
5
Let v be (-2)/(-19) - 14/133. Solve -3*p + p - 4 = v for p.
-2
Let a(j) = -2*j - 2. Let h be a(-3). Suppose -19 = -u - h. Suppose -u = -5*p + 15. Solve 0 = t - 2 + p for t.
-4
Suppose 27 = 4*u + 11. Let h be 17/u - (-18)/24. Solve h*n = 2*n for n.
0
Suppose -2*a + 4*h = 12, -8 = -5*a + 5*h - 13. Solve 2*s = a*s + 10 for s.
-5
Let x(c) = -c**3 - 20*c**2 - 24*c - 66. Let i be x(-19). Solve i = -5*h + 49 for h.
4
Suppose -282 + 202 = -5*l. Solve -l*b + 5*b = -44 for b.
4
Let c(k) = k**2. Let v(l) = -7*l**2 - 10*l - 1. Let r(p) = 6*c(p) + v(p). Let m be r(-9). Solve 0*f - m = 4*f for f.
-2
Let f be -9 + 10 + 1 + 0. Suppose h + 6*o + 14 = 2*o, 0 = h - f*o - 16. Solve -h*m = -m for m.
0
Suppose 0 = y - 35 + 33. Suppose -2*o - 13 = -3*u, 1 = -3*o - 14. Solve -q - u = -y*q for q.
1
Suppose -13*m + 5 = -12*m. Solve -24 = -m*t - 9 for t.
3
Suppose -10*r - 714 = -6254. Solve 2*q - r = -556 for q.
-1
Let q(l) = -3*l + 14. Suppose 17 = 2*a + 1. Let w be q(a). Let z be ((-4)/(-10))/(w/(-50)). Solve 2*g = -z*g + 20 for g.
5
Let w be 2533/298 - 2/4. Let q(f) = -2*f**3 - f + 2. Let b be q(-2). Solve 4*a = w*a - b for a.
5
Suppose 0 = 637*m - 631*m - 24. Solve 129*v - 133*v = m for v.
-1
Let l = -17 + 21. Let x(m) = 5 + 4*m**2 - 2*m**2 + 2*m**2 + m**3 - l*m + 0*m**2. Let z be x(-5). Solve 2*c = -z + 8 for c.
4
Let c(d) = d**3 + 3*d**2 - 4*d + 2. Let q be c(-4). Let t be (11/(-22))/((-2)/8). Suppose -15 = -4*h - y - 4*y, q*h + t*y = 8. Solve -h - 10 = 5*p for p.
-3
Let w be ((-6)/(-4))/((-6)/12). Let p = -27 + w. Let s = p - -34. Solve 0 = -0*h - s*h for h.
0
Let h = 513 - 505. Solve -g = h*g + 9 for g.
-1
Let i(t) = t**2 + 5*t + 5. Suppose -2*r = -5*v + 100, 3*r + r = -3*v + 60. Suppose 5*y = y - v. Let o be i(y). Solve 0*a - a = o for a.
-5
Suppose 0 = -12*i + 9*i + 42. Solve i*z - 15 = 9*z for z.
3
Suppose 25*c + 2 = 26*c. Solve -c*s = s for s.
0
Let u be -1 + -2 + (-40)/(-4). Suppose 0 = u*f - f. Solve f = 4*d - 5 - 15 for d.
5
Let b(a) = 4*a**3 + 1 + 6*a**2 - 3*a**3 - 3*a - 5 - 6*a. Let n be b(-7). Let z be n/3*9/6. Solve -3 + z = -r for r.
-2
Suppose 5*n = -25, 2*n - 7 = -4*p - 9. Solve 0 = 10*s - p*s + 8 for s.
-1
Let t = 27 - 21. Suppose -5*c = -t - 14. Suppose -c*h + 3*h = 0. Solve h = 5*q - 19 - 1 for q.
4
Let x(z) = -z - 2. Let s be x(-8). Suppose -5*l + 38 = 3*h, 27 = 4*l - 3*h - 25. Let q be ((-32)/(-20) + -1)*l. Solve -3*f - q = s for f.
-4
Let s(b) = b**2 + 6*b - 17. Let n be s(-8). Let i be (1 + n)/((-4)/(-4)). Solve i = -d + 3*d - 6 for d.
3
Suppose 31*t - 134 = 238. Solve 2*g - t = -2*g for g.
3
Let v(a) = -56*a - 87. Let r be v(-2). Let g be 0/((-1 + 5)/(-2)). Suppose 17 = 2*l + q - g*q, 5*q - r = 0. Solve -l = -w - w for w.
3
Suppose 15*x = 14 + 91. Solve -x*g = -6*g - 3 for g.
3
Let o be (8*(-1)/5)/(21/(-105)). Solve -6*z - 2*z = -o for z.
1
Let j be (-36)/(-60) + 2/5. Solve t = -j - 1 for t.
-2
Let l(h) = 9*h - 167. Let v be l(23). Solve 0 = -0*a + 8*a - v for a.
5
Let f(u) = -u**3 - u**2 + 6*u + 10. Let l be f(-2). Solve -l*o = 4*o for o.
0
Let h be 2 + (-2 - -6) + -2. Let r(w) = -w - 1. Let g be r(0). Let f = g - -1. Solve f = -h*n - n - 25 for n.
-5
Let z = -1261 - -1291. Solve 31*a - 5 = z*a for a.
5
Let s be 6*((-10)/4 - -2). Let r(n) = n**2 - 2*n - 3. Let v be r(s). Suppose 19*i + 15 = 24*i. Solve i*g - v = -6 for g.
2
Suppose -17*u + 30 = 2*x - 12*u, -x + u + 8 = 0. Solve 0*t = 2*t + x for t.
-5
Let i(n) = -2 - 2*n - 3 - 5. Let b be i(-6). Suppose d - 2*d = -b. Solve -g = -d*g for g.
0
Suppose 0 = -8*q + 216 - 184. Let x be 2/(-5) + 51/15. Suppose 5*v = x*w - 0*w + 22, 0 = 2*v + 4*w - 14. Solve d = v*d - q for d.
1
Suppose 2*s + 171 = 181. Solve -s*j + 28 = -12*j for j.
-4
Suppose m - c = -10, 4*m + 3*c + 11 = -1. Let g be (-26)/m + 1/(-3). Suppose g*v + 18 = 2*u, -u + 3 = 2*u + 2*v. Solve -a - u = -4 for a.
1
Let m be (242/(-88))/(2/(-8)). Solve m*a - 20 = 13 for a.
3
Let l = -196 - -200. Suppose -16 = -3*y - 1. Suppose 2 = -l*u + y*u. Solve x - u = -3 for x.
-1
Let y(b) = -5 + 38 - 4*b + b + 4*b. Let p be y(-27). Solve -6 = p*h - 8*h for h.
3
Let z = 25 - 25. Suppose -111 = -4*n + 3*i, 132 = 4*n - z*i + 4*i. Suppose -5*g + n = 5*m, 3*g - 2*m + 4*m - 14 = 0. Solve r - 9 = -g*r for r.
3
Let f = 4 + 3. Let v(o) = -o**2 + 5*o + 17. Let m be v(f). Suppose -3*l - m*l = -12. Solve -l*r + r + 1 = 0 for r.
1
Suppose 3*c - 27 - 57 = 0. Solve -23*n - c = -30*n for n.
4
Suppose -5*m - 5*s = -125, -15*m + 34 = -13*m - 2*s. Solve 0 = 23*n + 48 + m for n.
-3
Suppose 39 = -9*v + 444. Solve 66 = -7*k + v for k.
-3
Suppose 5*z - 17 = -4*j + 3*j, z - 5*j = -7. Let a(k) = k**3 + 6*k**2 + 6*k + 6. Let r be a(-6). Let b = r - -34. Solve -4*d - b = -z*d for d.
-4
Let t be 2/(-5) - (-3)/((-15)/488). Let c = 98 + t. Solve c*p = p for p.
0
Suppose -4*y + 33 = 5*r, 0*r = -4*r + 4*y + 12. Suppose -k - 2 + r = 0. Suppose -3*a + 2*a = -k. Solve h - 6 = a*h for h.
-3
Let y(i) = -i + 39. Let d be y(13). Suppose -d + 6 = -4*p. Solve 2*n = n + p for n.
5
Suppose -2*y + 4 = 6, 0 = -4*s + 3*y + 7. Let z be (-3 - 9) + 4 - -8. Solve j = -z*j - s for j.
-1
Let g be 93/(-9) + (-1)/(-3). Let q(l) = -l**2 - 11*l - 1. Let j be q(g). Suppose -2*i - 2 = -0*i, 3*i = 3*d - j. Solve -v - 1 = -d*v for v.
1
Let u be (-1 - -1)/1*1. Let k be ((-27)/(-18))/((-5)/(-20)). Solve -3*n = -u*n + k for n.
-2
Let v = 16 - 0. Let j = 95 + -55. Suppose t - r = -0*r + v, -4*t - 2*r = -j. Solve -2*k - t = -2 for k.
-5
Let l(p) = p**3 + 4*p**2 - 2*p - 4. Let x be l(-4). Suppose 3*k + x = -b - k, b + 3*k + 3 = 0. Solve -4*m - 1 + 13 = b for m.
3
Let j be (32/14)/(28/98). Solve 4*z - j*z = -4 for z.
1
Let l = -40 + 34. Let x be (-30)/(-8) - l*1/(-8). Suppose -3*a + 18 = 3*c, a + 2*c = 15 - 5. Solve 2*y - a = x*y for y.
-2
Suppose -5*t = -b - 4*b + 30, 4*b + t - 14 = 0. Solve 0 = -b*v - 6 + 26 for v.
5
Suppose 3*f + 2*i