Suppose -4*p - 5*k + 25 = 0, 5*k = 2*p + 3*p + 25. Suppose -3*q = 2*j - 4, -4*q - 4*j - j + 3 = 0. Suppose -q*s - s = p. Solve 2*n - 5*n + 9 = s for n.
3
Suppose -94 = 5*g + 16. Let s = 42 + g. Solve 0*j + s = -4*j for j.
-5
Suppose 0 = 31*n + 4*n - 665. Solve 12 = -23*a + n*a for a.
-3
Let a(h) = -20*h + 7. Let c be a(0). Solve c = -25*z + 18*z for z.
-1
Let m be 304/19 - (-1)/(4/20). Solve -3 = m*y - 24*y for y.
1
Let h = -34 - -39. Suppose -4*s - 4 = -h*t, 1 = 4*t - 3*s + 2*s. Let y be ((-8)/(-10))/((-1)/(-5)). Solve t*g = y*g - 16 for g.
4
Let y be (-3)/(-2) + (-165)/6. Let h be (-20)/(-11) - y/143. Solve 3*c + h*c = 5 for c.
1
Suppose u + z = 3*z + 4, -2*u - 1 = 5*z. Suppose y = t + u*y - 2, 0 = -5*t + y + 22. Solve -t*s - 6 + 26 = 0 for s.
5
Suppose -l = -3*b + 13, 3*b + 68*l = 72*l + 25. Suppose -t + 9 = -m, -3*t + 4*t = -m + 9. Solve -b*g + 6*g = -t for g.
-3
Let m(i) = -i**3 + 8*i**2 - 8*i + 7. Let v be m(7). Suppose v*c = -2*c. Let l(d) = 2*d - 15. Let s be l(10). Solve s*o + 15 = -c*o for o.
-3
Let s(i) = -i**2 + 3*i + 2. Let g be s(3). Let v(b) = 10 - g*b + 16 - 27. Let l be v(-2). Solve -l = c - 0 for c.
-3
Suppose 0 = 2*y - 5*s - 29, -s = -4*y - 4*s - 7. Let o = -13 + 16. Solve w + y = -o for w.
-5
Let y = 61 - 58. Suppose -4*q + y*q = -7. Solve -q*c = -2*c + 15 for c.
-3
Let x be (-3)/(6/8)*180/(-120). Solve 0 = 7*z - 10*z + x for z.
2
Suppose 2*q = -5*z + 31 - 43, -3*z = -2*q + 20. Solve 150*m = 149*m - q for m.
-4
Let g(n) = 8*n - n**2 - 5*n + 9 - 10*n. Let w be g(-8). Solve -7 = -4*c + w for c.
2
Let w(r) = r**3 - 45*r**2 + 45*r - 44. Let b be w(44). Solve 9*l - 2*l + 21 = b for l.
-3
Suppose 3*t - 4 = 2. Suppose 4*x + 3*j - 17 = 0, -2*x + t*j = 3*x - 27. Solve -3 - x = 2*k for k.
-4
Let c be (-48)/18*(-6)/4. Let o be (c/16 + -2)*-4. Let y be (-2)/6*(-42)/o. Solve -2*z + y = -8 for z.
5
Let j be (-102)/9 + (-3 - 35/(-15)). Let z be (-51)/j + (-2)/8. Solve 7*n + 15 = z*n for n.
-5
Suppose -6*o + 5*o = -2, 4*o - 28 = -5*h. Solve h*s = 2 - 22 for s.
-5
Let a(s) = s - 1. Let d be a(2). Let r(i) = -i**3 - i**2. Let x be r(-2). Suppose -o = o - x. Solve o*n = -7 + d for n.
-3
Suppose -2*k + 4*u - 10 = 0, -8*k + 3*k - 58 = u. Let y = k - -13. Suppose 0 = -s + y. Solve 0 = s*f + 3*f + 15 for f.
-3
Let z = -4 + 6. Let x be 284/6 + 4/(-12). Let f = -43 + x. Solve 2*p + f = -z*p for p.
-1
Let i be (-9)/15 - 498/(-30). Let x be 34/6 - 20/30. Solve -i = -x*g + g for g.
4
Let n = -20 - -24. Let j be -3 + n + (2 + 2)/(-4). Solve 5*x = -j*x for x.
0
Let n(i) = -i**3 - 15*i**2 + 2*i + 27. Let y be n(-15). Suppose 4*d = 2*d + 4. Let o = d - y. Solve 0 = -o*p + 4*p - 2 for p.
-2
Suppose b + 7 - 3 = 0. Let y be (0/(-1))/(2/(6 + b)). Solve -4*h + 12 = -y*h for h.
3
Let k(z) = z**2 - 22*z - 162. Let s be k(-6). Solve 7*f = -s - 1 for f.
-1
Suppose -21*g = -17*g + 4. Let w be (g + -1)*(-1)/1. Solve -6 = 4*b - w for b.
-1
Suppose 5*r - 603 = -b, 5*b + 162 = -2*r + 417. Let w be (4/(-10))/((-24)/r). Solve w*d - 16 = 6*d for d.
-4
Suppose -2*m + 5*m - 342 = 0. Let o = m - 107. Solve 5*c = -o + 2 for c.
-1
Let a = 1405 + -1375. Solve k = 11*k + a for k.
-3
Suppose -23 = -4*f - 7. Solve 0 = f*g - 2*g - 2 for g.
1
Let u(g) = -g**3 + 5*g**2 - 2*g - 7. Let w be u(3). Solve w - 3 = -2*p for p.
-1
Let y(w) = 3*w**2 + 23*w - 16. Let x be y(-9). Solve -10*f = -0*f - x for f.
2
Let l = -1073 - -1084. Solve -11*v + 33 - l = 0 for v.
2
Suppose 5*p = 20, -2*p + 5 = -3*y - 3. Let n be (2 - (9 - 4))/(-3 + 2). Let c be (0 - -1)*1*1. Solve -n*q - c + 4 = y for q.
1
Suppose 12*x + 3*x - 435 = 0. Solve -4*y - 41 = -x for y.
-3
Let y = -1628 + 1639. Solve -14*f + 3*f = y for f.
-1
Let w(f) = f**3 + 5*f**2 + 1. Let o be w(-5). Solve -2 - o = -3*r for r.
1
Let a(d) = d**2 - 4*d + 1. Let g be -1 - 0 - -1 - -4. Let y be a(g). Suppose 2*p = 4*m - 16, -3*p + m - 3 = y. Solve p = -4*z - 5 + 17 for z.
3
Let o = 240 - 237. Solve -1 + o = c for c.
2
Let c(o) = -o**3 - 6*o**2 + 7*o + 5. Let i be c(-7). Suppose -6*m + 55 = -65. Suppose -r = -i*r + m. Solve 5*n = -r - 5 for n.
-2
Suppose -5*w = 5*h - 70, -h = 3*h - 4*w - 88. Let m = 21 - h. Let o = 15 + -8. Solve 0 = -o*z + m*z for z.
0
Let m(i) = 7*i**2 + 12*i - 28. Let y be m(2). Solve 0 = 22*t - y*t - 8 for t.
-4
Let c = -1133 + 1137. Solve -1 = c*a - 5 for a.
1
Suppose -2*f - 4*m - 48 = 0, 6 + 2 = 4*m. Let u = 33 + f. Solve u = n + 4*n for n.
1
Let b be 4 + (-15)/5 + 5. Let o(q) = -9*q**2 + 55*q - 2. Let p be o(6). Let k be (1 + 0)*(-5)/(-1). Solve -k*f - b = p for f.
-2
Let r = 40 - 44. Let l(i) = -i**3 - 5*i**2 - 5*i - 1. Let q be l(r). Solve -q*c - 4 - 2 = 0 for c.
-2
Let j be ((-2)/7)/((66/(-420))/11). Solve j*n = 13*n + 28 for n.
4
Suppose -3*y + 5*b + 43 = 0, 0 = 3*y + 5*b + 25 - 18. Solve -5*m + y*m = -2 for m.
-2
Let n be 3*1/(-1) + 7. Let x be ((2 - 5) + n/2)*0. Solve x = t - 0*t - 5 for t.
5
Let w = -5 + 8. Suppose -10*q + 408 - 68 = 0. Suppose -36*s + 16 = -q*s. Solve -s + w = j for j.
-5
Suppose -5*j = 4*g - 113, 0*j - 4*j - 4*g + 88 = 0. Solve -2*f + 7*f = -j for f.
-5
Suppose -q - 4*q = -30. Suppose q*n = -n. Suppose -5*u + 4*o + 14 = -2*u, -5*o - 10 = n. Solve -2 - 6 = -u*b for b.
4
Suppose z = 5*g + 25, -g - 2*g - 3 = 0. Solve z = -0*f + 5*f for f.
4
Let c = 2392 + -2384. Solve 0 = -684*o + 682*o - c for o.
-4
Suppose -5*d = 2*u - 6 - 6, -3*d + 3*u = -3. Suppose 0 = m + d*l + 4, 0 = -3*m + l - 3 + 12. Let r be 3 + (m - (-5)/(-1)). Solve 8 = -2*z - r for z.
-4
Suppose 3*h + 692 = 731. Solve -6*k = -h*k + 35 for k.
5
Suppose 0 = -2*s - 5 + 7. Let v be -1*s - (-36)/9. Solve 4*o - v = -11 for o.
-2
Let l be 1182/78 + (-2)/13. Let v(j) be the first derivative of j**4/4 - j**2/2 - 2*j - 6. Let r be v(2). Solve r*d - l = 1 for d.
4
Suppose 4*u = 5*u - 4. Solve -u*p - 2 + 6 = 0 for p.
1
Suppose 0 = -2*b + 5*g - 12 - 0, -32 = 3*b - 4*g. Let t be 2 + (4 - b/(-4)). Solve -t*q + 5*q = 15 for q.
5
Suppose -2*z + 4*k + 28 = 0, 4*z - 84 = -0*z + k. Let l = 62 + -57. Suppose -3*v = -l*m + z, 6 = m - 0*m - v. Solve m = -2*h - 6 for h.
-4
Let w(s) = s**2 + 6*s + 3. Let a be w(-5). Let p be ((-18)/(-3))/((-3)/a). Suppose -2*t = -5*m + 3 - 7, -p*m + 8 = 4*t. Solve t*d + 3*d + 20 = 0 for d.
-4
Let v be (-4)/(4/(-7)) + 1. Let l(a) = a**3 + 2*a**2 - 6*a - 3. Suppose 3*o = -2*i - 6 + 5, 2*o + 26 = 5*i. Let x be l(o). Solve -v = -4*d + x*d for d.
-4
Let c = -8 + 13. Suppose 0 = -c*d + 24 + 1. Suppose 0 = -3*n + 7 + d. Solve -5*f - n = -4*f for f.
-4
Let a = 32 - 13. Let t = 11 - 18. Let c = -2 - t. Solve -c*r = -4 + a for r.
-3
Let d be 5 + 1*(-15)/5. Suppose 5*w + 11 = d*l, -5*l + 7 + 7 = w. Solve l*c + 2 = c for c.
-1
Let w = 611 + -580. Solve w = -2*p + 23 for p.
-4
Let t(a) be the first derivative of -a**5/120 + 2*a**3/3 - 4. Let u(c) be the third derivative of t(c). Let d be u(-1). Solve 0 = -3*r + 2 + d for r.
1
Let r = -7 - -11. Suppose 2*j + 1 = -z - 6, -5*j - z = 10. Let c = j + r. Solve -1 + c = -u for u.
-2
Let c be 8 + ((-126)/105)/((-6)/(-40)). Solve 51*p - 59*p + 24 = c for p.
3
Let d(w) = 2*w**2 + 2*w - 4. Let m be d(3). Suppose -11*h = -12*h. Suppose -6 = -k - h. Solve -z + k*z = m for z.
4
Let i be -4 + -3*52/(-12). Let t be 4 + 93/(i/(-3)). Let v be (-2)/9 - 60/t. Solve -v*n = -n for n.
0
Let y(a) = 10 + 0*a - 4*a + 5*a. Let l be y(-6). Suppose l*x - 5*x = -2. Solve -v = -x*v - 1 for v.
-1
Let r be 42 + -46 - (-2 + -6). Solve -2*w - 18 = r*w for w.
-3
Let w(q) = -4*q**2 - 47*q - 21. Let r be w(-14). Let g = 162 + r. Solve 2*l = -l - g for l.
-5
Suppose 21 + 9 = 3*g. Suppose 3*v + v + 5*b = 49, v - b - g = 0. Solve 3*f - 2 = -v for f.
-3
Let j be 9*((-16)/6)/4. Let o be 22/5 - j/(-15). Solve o = -0*x + x for x.
4
Let l be (-3)/(-1) + 1 + 2. Let m be -4*((-6)/9 + (-2)/l). Solve 2*p = m + 4 for p.
4
Let a(k) = -k**3 + 3*k**2 - 16*k + 84. Let o be a(4). Let g be ((-2 + 1)*-3)/(-1). Let r be 40/6*g/(-2). Solve 0 = -o*c - 30 + r for c.
-5
Suppose 0 = q - 4*q + 69. Let c = -23 + 25. Suppose q = -o - 5*f, -f + c*f = -5*o + 5. Solve 0 = 3*i + o + 1 for i.
-1
Suppose -17*t = -19*t + 4*o + 8, -4*t - o = -43. Solve -2*v - t = -0*v for v.
-5
Let x be (1 + (-7)/3)*54. Let c = x + 78. Suppose 5 = 3*j + w - 10, -4*w - 15 = -3*j. Solve 0 = -j*n - c + 1 for n.
-1
Let t(v) = 24*v + 150. Let y be t(-6). Suppose 4*x - 8*x + 16 = 0. Supp