 s = 14, -y - 5*s - 5 = 2*y. Solve y*w - 5 = 15 for w.
4
Let a = 416 - 411. Let n be -5 - -4 - (-2 + -6). Solve a = 4*r - n for r.
3
Let i = 28 + -17. Suppose 7*h = i*h. Solve h = z - 5*z - 20 for z.
-5
Let g(p) = -p**3 + 34*p**2 - 29*p - 111. Let r be g(33). Solve -12*h = -5*h + r for h.
-3
Let t be (1/(-2))/((-876)/432 - -2). Solve -20 = t*f - 74 for f.
3
Let v be (-22)/(-6) + ((-128)/(-24) - 5). Solve -z = -5*z - v for z.
-1
Let c be (-2 - -8) + 24/(-6). Suppose f = -2*f + 24. Let t = f + -4. Solve 3*q = t + c for q.
2
Let h be (-10)/4*54/(-45). Suppose -c + 17 = 5*i, -h*i + 1 = c - 8. Solve -i*x - 7 = -19 for x.
3
Let k be ((-28)/(-21))/(4/18). Suppose -4*p + k = -14. Solve -p = 6*g - g for g.
-1
Suppose -9*k = -368 + 44. Suppose n - 2*u = -4*n + 12, -5*n + k = 4*u. Solve -n*m + 2*m = 6 for m.
-3
Let t = -189 + 271. Let h = -77 + t. Solve -h*o + 1 + 9 = 0 for o.
2
Let j be 0 - 0 - (-1 + 6 + -7). Let p(r) = 2*r**3 - 3*r**2. Let h be p(j). Solve -d = d - h for d.
2
Let q = -14 + 17. Let m(w) = 0 + 3*w**2 + 3 - 6*w**2 + w**q - 2*w - w. Let n be m(4). Solve -5*o - n + 22 = 0 for o.
3
Suppose 4*x - 2*q - 76 = 0, q - 20 = 6*q. Solve 9*i = -62 + x for i.
-5
Let w(s) = 5*s**2 - 4*s**2 - 5 - 9 + 13*s. Let l be w(-14). Solve -3 = -f - l for f.
3
Suppose 18*r - 33 = 21*r. Let h(s) = -4*s + 2*s - 21 + 7. Let k be h(r). Solve b + k = 3*b for b.
4
Let s be ((-10)/3)/(2/6). Suppose 40*w - 38*w = -16. Let y = w - s. Solve y*q = 3*q + 3 for q.
-3
Let w = -26 - -56. Let z = -18 + w. Let f = z + -12. Solve y + 3 - 8 = f for y.
5
Suppose 2*p = 12 - 4. Let r be 95/35 + p/14. Solve r*m + 0 = -6 for m.
-2
Suppose 840 = -6*d + 924. Solve 7*m = -21 - d for m.
-5
Let t(d) = d**2 + 2*d + 4. Let x be t(-3). Let z(k) = k - 7. Let v be z(x). Solve -y + 2*y - 1 = v for y.
1
Suppose -11*t = 4*t. Solve -g - 3 - 2 = t for g.
-5
Suppose -5*h - 2*s + 4*s = 189, -36 = h - s. Let i be (-193)/(-13) + 228/h + 6. Solve -3*a + 0*a = i for a.
-5
Suppose -5*i = -4*b - 10, -2*i + 2*b + 17 - 13 = 0. Solve 0 = -i*z - 3*z - 15 for z.
-3
Let r(d) = -d**2 - 8*d + 3. Let t be r(-8). Suppose -t*z + 10 = 4*o - 2, z + 4*o = 12. Solve 0*f - 5*f + 20 = z for f.
4
Suppose 5*q - 2*q + 2*h - 8 = 0, -2*q - 2 = 5*h. Suppose -5*m - 30 = 5*k, -3*k - 17 - 2 = 4*m. Let d = 3 + m. Solve -2*p + q - d = 0 for p.
1
Suppose 2 = -s + t, 24 = 4*s + 2*t + 8. Solve 3*n - s - 4 = 0 for n.
2
Let a = -525 - -622. Solve -2*t = -91 + a for t.
-3
Suppose -d + 6*m = 9*m - 15, 5*m + 26 = 4*d. Solve j = -d*j + 50 for j.
5
Suppose 3*t = 3*g - 3, -t + 29 = -g + 5*g. Solve -g*c - 31 = -25 for c.
-1
Suppose 0 = 59*a - 15*a - 1364. Solve -4*o + a = 39 for o.
-2
Let y = -12 - 3. Let z = y + 17. Solve -z*c - c + 9 = 0 for c.
3
Let u be 1/((-2)/14*(3 + -4)). Solve -4*r = -u*r for r.
0
Suppose -2*h - 24 = v - 2*v, 3*h + 37 = 2*v. Let m be 8/3 + h/(-33) - -2. Solve 0 = -m*p - 11 - 14 for p.
-5
Suppose 0 = -3*x + 2*x - 4. Let c = x + -3. Let s = 10 + c. Solve 4*w + s = 11 for w.
2
Let u(s) = -4*s + 29. Let g be u(13). Let z be (3 - (1 + 0))*(-21 - g). Solve 9*n - z*n = -15 for n.
-3
Suppose 0*f = -5*f. Let s = -135 + 161. Suppose -18*w = -s*w. Solve f = -w*u + 5*u + 20 for u.
-4
Let k = -26 - -26. Let q be (k*1/(-2))/(0 + -1). Solve -25 = -q*h - 5*h for h.
5
Let b be (-1016)/(-32) + (-1)/(-4). Suppose -t - 58 = -4*d + 2*d, 144 = 5*d - 2*t. Suppose -d = -5*g + b. Solve 0*s = 3*s - g for s.
4
Suppose -24*q - 11*q = 0. Solve s + q = -4 for s.
-4
Let j(p) = -2*p - 17. Let h be j(-21). Solve -5*r + h = -0*r for r.
5
Let z = -359 + 372. Solve 0 = -5*m + z - 8 for m.
1
Let f = 1282 + -1282. Solve f = z - 0 + 2 for z.
-2
Suppose -2*c = -21 - 47. Suppose -3*i + c = -2*a, -3*i = -2*i + a - 13. Let u = 27 - i. Solve 0 = 5*x - u for x.
3
Suppose b - 52 = -5*o, -4*o = -5*b - 0*b + 260. Solve -9*v - b = 4*v for v.
-4
Let a be (-2)/9 + 13/(1053/180). Solve -2*w + a + 8 = 0 for w.
5
Let y be 3/((-54)/(-15) - 3). Suppose y*z = -4*m + 32, -3*z + 0*z = -4*m. Solve -m*w = -4*w - 4 for w.
-4
Let i be (-8 - -4)*(-8)/8. Solve -i*v - 10 - 2 = 0 for v.
-3
Let c(d) = -d**3 + 3*d**2 - 2*d. Let z be c(2). Suppose z = 4*x - 73 + 9. Suppose -3*y = 9, -2*y - 4 = -w + 6. Solve 0 = -w*n - 0*n - x for n.
-4
Let q(y) = 18*y**3 + 19*y**3 + 8*y**2 - 4*y - 17 - 38*y**3. Let f be q(7). Solve z + f + 1 = 0 for z.
-5
Suppose 2*n = 3*n + 2. Let w = 0 + 4. Let h be 7 + 1/(n/w). Solve -h*z - 30 = -5 for z.
-5
Suppose -2*b + 26 = 4*o, 5 = 2*b + o - 6. Solve -1 = -b*y - 7 for y.
-2
Let n(m) = 2*m**2 - 5*m - 2. Let j be n(-1). Solve -j*c = -7*c - 10 for c.
-5
Suppose -175*k = -165*k - 120. Solve p - 14 + k = 0 for p.
2
Let l = -1 - -2. Let k be l*-3*2/(-3). Let g be (0/(-3))/(-5 - -2). Solve -3*j - k*j + 25 = g for j.
5
Let f = 0 - -3. Suppose -15 = 5*k - 2*j - f*j, 3*j - 5 = 5*k. Suppose -k*v + 3*v - 15 = 0. Solve i = 4*i - v for i.
5
Let b(i) = 44*i - 4. Let q be b(4). Let c be 10/(-35) + q/14. Suppose 5*r - 2*l = c, 2*l - 6*l - 4 = 0. Solve 0 = s - r*s - 3 for s.
-3
Let o be 11*-1*2/4*-2. Suppose -5*t = -29 - o. Solve -2*k = -4*k + t for k.
4
Let p(h) = h**3 + 19*h**2 + 19*h + 18. Let a be p(-18). Solve -2*t + 8 - 10 = a for t.
-1
Let u(l) = l**3 + 16*l**2 + l + 18. Let b = -8 + -8. Let z be u(b). Solve -z*t - 2*t + 20 = 0 for t.
5
Let g be ((-2)/4)/(27/(-918)). Solve 3 + g = 4*v for v.
5
Let t(v) = v**2 + 6*v + 7. Let i be t(-5). Suppose -p + 2*m - 7*m + 19 = 0, 2 = i*p - 2*m. Let w = -78 - -81. Solve p*o - w*o = 1 for o.
1
Let h(x) = x + 8. Let k be h(-8). Solve k*f - 2*f = 4 for f.
-2
Let o be ((-12)/(-39))/(2/(-26)*-2). Solve 0 = -o*s + 5*s - 9 for s.
3
Suppose -5*c - 88 = 117. Let l = 41 + c. Solve -3*x + 0*x = l for x.
0
Let p be (91/52)/((-2)/(-16)). Suppose -2*u = 2*u + y - p, -2*y = -u + 8. Solve 2*n + u = -2*n for n.
-1
Suppose 3 = 2*i - 29. Let f = 20 - i. Solve -f*j = -0*j + 8 for j.
-2
Suppose d - 5*g + 21 = -d, 23 = 4*d + 3*g. Suppose w - 8 = -w. Suppose -d*u + 0 = -w. Solve u*x + x + 3 = 0 for x.
-1
Let a = -8 - -11. Let k be 10/a*12/5. Let v be 14 + 4 + -4 + 3 + 0. Solve 0 = -5*d + k + v for d.
5
Let r be (-2)/(-8)*38*2. Suppose h + 2*h + 5*u + r = 0, 0 = 4*h + 4*u + 12. Solve 1 = h*i - 7 for i.
4
Suppose -16 + 79 = -3*a. Let v = -29 + 52. Let h = v + a. Solve 0 = h*q + 9 - 1 for q.
-4
Let c(p) = -5*p**2 - 37*p + 6. Let y be c(-7). Solve 48*i = 44*i - y for i.
-5
Suppose 5*r = 4*a - 5*a + 5, -15 = -3*a - 3*r. Suppose -a*i + y - 41 = -3*y, -10 = i + y. Let j be -6*(0 - (-6)/i). Solve -p = -j*p + 3 for p.
1
Suppose 4*v + 5*q + 0 = -2, 5*q = 5*v - 20. Suppose b + 3 = v*b. Suppose -g - 3*o + 36 - 17 = 0, -4*o = -20. Solve g*t - t - b = 0 for t.
1
Let p(z) = -6 - z + 3 + 0*z**2 - 5*z**2 - 4*z**3 + 5*z**3. Let n be p(5). Let m = n - -10. Solve 3*f - 20 = -m*f for f.
4
Let d = 226 - 176. Solve -d*k + 53*k - 15 = 0 for k.
5
Suppose 5*i - 20 = 3*i + 2*y, 40 = 4*i - 5*y. Solve -6*k = i + 20 for k.
-5
Let h = -117 + 95. Let c(m) = m**2 + 24*m + 44. Let w be c(h). Solve w = 4*k - 3*k for k.
0
Let a = 93 + -89. Suppose -2*u + 4*u + 2*w = 4, a*w - 11 = -5*u. Solve 4 = -z + u for z.
-1
Suppose -q - 10 = -6*q. Let u be -2 - (q/(-1) - 5). Suppose -l - 4*n + 16 = 0, 3*n + 2 = -u*l + 31. Solve l*o - 5 - 3 = 0 for o.
2
Suppose -4*l - 7*l = -44. Suppose -7*s + 4*v - l = -5*s, 3*v = 3*s - 9. Solve q = -q + s for q.
4
Suppose 6*q = 19 - 7. Let s be 1*-120*(-1)/q. Suppose 0*w + 4*f - 30 = -2*w, 0 = -4*w - 4*f + s. Solve 0 = -3*i - 3 + w for i.
4
Let b(n) = n**2 + 2*n + 4. Let o = -75 + 72. Let d be b(o). Solve -3 + d = -r for r.
-4
Let x(o) = -3*o - 5. Let d be x(-9). Suppose -d*r = -27*r. Solve -l - l - 4 = r for l.
-2
Let c = 30 + -25. Suppose -c*o = -q - 16, 4*o - 5*q - 2 + 6 = 0. Solve -8 = -0*l - o*l for l.
2
Suppose -2*y + y = -9. Suppose 3*x - 3 = y. Suppose -k = 4, x*r = -3*k - 16 + 52. Solve 8 + r = 4*g for g.
5
Suppose 2*f = 4*d + 42, -f - 13 = -4*f - 4*d. Suppose -f = 2*v - 15. Solve 0 = v*y - 6 - 0 for y.
3
Let g(u) be the third derivative of -u**4/24 - 2*u**3/3 + 6*u**2. Let c be g(-7). Solve -c = 3*i - 0 for i.
-1
Let g(p) = 13*p**2 - 234*p + 3. Let d be g(18). Let l(b) = -4 + 3*b - 2*b + 5. Let k be l(d). Solve -10 - 10 = k*s for s.
-5
Suppose -168 - 60 = -3*a. Suppose -17 = -4*l + 3*w, -10*l + 13 = -8*l + 3*w. Let m be a/20 + 1/l. Solve 0 = m*g - 5*g for g.
0
Su